将△ADF绕A顺时针旋转90度,使AD与AB重合,形成新△ABG则△ADF≌△ABG
∵∠GAE=∠EAF=45,AE=AG,AE=AE
∴△EAF≌△EAG,BG=DF
∴EF=BE+BG=BE+DF