∵ABCD为正方形 ∴∠ADE+∠CDE=90°
∵EF⊥AC ∴∠DEF+∠CED=90°
∵CE=CD ∴∠CDE=∠CED ∴∠DEF=∠ADE ∴△DEF为等腰三角形 ∴ EF=FD
∵EF⊥AC且∠CAD=∠EAF=45°∴△AEF为等腰直角三角形 ∴ AE=EF
∴AE=EF=FD