由直角三角形HL（斜边与直角边）可知：
Rt△CDE≌Rt△CBF
∴DE=BF
设EA=AF=x；DE=y
∴x+y=1
2x²=y²+1
联立消元，得
2x²=（1-x）²+1
化简，x²+2x-2=0
解得 x=-1-根号3(舍） 或x=（根号3）毕亩-1
EF²=2x²
∴EF=根号手迅森【8-4倍根号3】
（应该是这样的 那个“昌逗根号”是二次的 不会输入）
1 如果是填胡灶空题滚猜，连接AC交EF于大做型H，设边长为X
CH=根号3/2*X，AH=X/2，CH+AH=AC=根号2，自分解一下喽
2 计算题的话，用面积做
蛮容易，相信你能行，呵呵