将三角形ADF沿着A点旋转至AB(把那个新的点叫做“H”)
∵BE+DF=FE
∴BE+BH=BE+DF=EH=EF
在⊿AFE和⊿AEH
{AH=AF
{AE=AE
{EF=EH
∴⊿AFE≌⊿AEH
∴∠FAE=∠EAF
又∠DAB=∠FAE=90°
∴∠EAF=45°