设AB=x，BC=y，C点坐标（t，t）， 则有 y^2 = (t-x)^2 + t^2, 记作式(1)

然后就可以直接表示各点坐标了，E((x+t)/2, t/2), D(x+t, x-t), F((x+t)/2, (x-t)/2)

注意到E、F两点横坐标坐标一样，所以 EF = t-x/2 (纵坐标相减)。

到这里就已经算出了来了，只不过，题目要求用x,y表示EF，式(1)代进去，把t去掉，就有 EF^2=y^2/2 - x^2/4


【 在 S20060040 的大作中提到: 】
: 人大附初三开学考的一道几何题，我做出一种方法，很繁琐，不是很简洁
: 大家看看有什么简洁快速的证明方法？
: [upload=1][/upload]
--
FROM 114.249.125.155