你是想求证:∠EAF=45°吧。
延长EB至G,使BG=DF。
∵ABCD是正方形,∴AB=AD,∠ABE=∠ADF=90°,∠ABG=∠ADF,又BG=DF,
∴△ABG≌△ADF,∴AG=AF,∠BAG=∠DAF。
∵AG=AF,EG=BG+BE=BE+DF=EF,AE=AE,∴△AEG≌△AEF,∴∠EAG=∠EAF。
但∠GAF=∠BAG+∠BAF=∠DAF+∠BAF=∠BAD=90°,
∴∠EAF=∠BAD/2=90°/2=45°。
将三角形ABE绕A点旋转使B点与D点重合,设旋转后的E点为G点,三角形GAF与三角形EAF全等EF=GF=GD+DF=BE+DF