绕A旋转△ADF，使得AD与AB重合，F旋转至点G，则角G=角AFD=角BAF=角BAE+角EAF=角BAE+角FAD=角BAE+角GAB=角GAE故AE=EG=BG+BE=BE+DF.得证。
一个完美的回答~
