证明：在AB上截取BG=BE
∴AG=EC ∠AGB=180°-45°=135°=90°+45°=∠ECF
∠FEC=∠EAB=90°-∠AEB
∴△AGC≅△ECF (ASA)
∴AE=EF
在正方形ABCD中,E是BC边上任意一点,P是BC延长线上一点,F是∠DCP的平分线上一点,若∠AEF=90°,说明AE=EF
证明：在AB上截取BG=BE
∴AG=EC ∠AGB=180°-45°=135°=90°+45°=∠ECF
∠FEC=∠EAB=90°-∠AEB
∴△AGC≅△ECF (ASA)
∴AE=EF