那就简单很多了
原点在B点
正方形四点(0,0),(1,0),(0,1),(1,1)
DH这条直线路过（2，0）和（0，2）两点
它的方程很好算
F点（0.5,f),A点（0，1）
过F点做AF垂线可以用代数法算出
G 点是两条方程已知的直线的交点
所以线段长度是可以算的
【 在 wfunny 的大作中提到: 】
: 用代数方法证明，思路一目了然呀。
: 所有的点的位置只和左边的动点的位置相关
:
: ...................
--
修改:Realpig FROM 93.22.149.*
FROM 93.22.149.*