如题所述
证明:
延长CB到G,使BG=DF,连接AG
∵四边形ABCD是正方形
∴AB=AD,∠BAD=∠ABE=∠D=90°
∴∠ABG=∠D=90°
又∵BG=DF
∴△ABG≌△ADF(SAS)
∴AG=AF,∠BAG=∠DAF
∵∠EAF=45°
∴∠BAE+∠DAF=45°
∴∠BAE+∠BAG=45°
即∠EAG=45°=∠EAF
又∵AG=AF,AE=AE
∴△EAG≌△EAF(SAS)
∴EF=EG=BE+BG=BE+DF