⊿ABF绕A逆时针旋转90º,到达⊿ADG.则∠FAG＝90º,GE＝GD+DE＝BF+DE＝EF.
⊿AEG≌⊿AEF（SSS）.∴∠EAG＝∠EAF.而∠EAG+∠EAF＝90º.∴∠EAF＝45º