初二数学求大神解析啊

---

将△ADF绕A点圆斗顺时针旋转90°使AD与AB重合，令外面的那一点为G
则有GE=BE+DF
再由AE=AE
∠GAE=∠BAE+∠FAD=90°-∠EAF=45°=∠EAF
AF=AG
则羡慎△兄腔敬AGE≌△AFE
即GE=EF
即EF=BE+DF

---