延长AE交BC的延长线于点F,
则 可证的三角形ADE全等于三角形FCE
则可以得到 ∠1=∠CFE
AD=CF
又因为:
BF=BC+CF
BA=AD+BC
所以 BF=BA
所以∠2=∠CFE
所以可得 ∠1=∠2