如图,延长AD到F',使得DF=DF',
DF=DF’ =>∠EDF=2 ∠ F’ 因为∠EDF=2 ∠ E, 所以 ∠ E=∠F’
三角形EFF'中,∠ E=∠F’,AF⊥ED得出AE=AF’=AD+DF’ 又DF=DF’, 得AE=AD+DF
在AE上截取AB=AD,则:AF垂直平分DB,
所以:DF=BF,∠D=∠DBF
而:∠DBF=∠E+∠BFE
所以:∠D=2∠E=∠E+∠BFE
即:∠E=∠BFE
所以:BF=BE
所以:AE=DF+AD
这真的是初一的??