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