如图 在正方形ABCD中 E是对角线AC上的一点 且CE=CD EF⊥AC交AD于F 则AE EF

问题补充：

如图 在正方形ABCD中 E是对角线AC上的一点 且CE=CD EF⊥AC交AD于F 则AE EF DF的关

答案：

相等,△AEF是直角三角形,∠EAF=45,所以AE=EF,连CF,因为CE=CD,CF=CF,由HL定理得到两个直角三角形全等,所以EF=FD,所以EF=FD=AE