把△ABE以A点为原点旋转,使AB与AD重合,E到E'处.
AE=AE' ,BE+DF=E'F
E'F‖AB,
∴∠AFE'=∠BAF=∠BAE+∠EAF=∠DAF+∠DAE'=∠E'AF
所以AE'=E'F
即：AE=BE+DF