四边形ABCD为正方形，△EBD又是以斜边BD为边长的正三角形。
AC与BD相互垂直且平分，可得∠AED=30°，∠EAD=180°-45°=135°，则∠EDA=15°，那么∠EAF=45°，∠AEF=45°
