因为在三角形ABC中,角A=90度,AB=AC 所以LABC=BCA=45度
又因为点D是斜边BC的中点,连接AD,则BD=DC=AD 且LBDA=LCDA=90度
（因为BE不等于FC,所以ED不平行AC,DF不平行AE）
因为ED垂直FD,所以LEDF=90度
因为LEDA+LADF=90度 LADF+LCDF=90度
所以LEDA=LCDF
所以三角形AED全等三角形CFD
所以ED=DF AE=FC=12 AF=BE=5
利用勾股定理得
EF=（AE的平方+AF的平方 ）的算术平方根
=13