∵AD平分∠EDC（已知）∴∠ADE=∠ADC（角平分线定义）∴在△AED和△ADC中：∵DE=DC（已知）∠ADE=∠ADC（已证）AD=AD（公共边）∴△AED≌△ADC（SAS)∴∠C=∠E(全等三角形对应角相等）∵∠E=∠B（已知）∴∠C=∠B（等量代换）∴AB=AC（等角对等边）
连接eb，证明三角形aeb全等于三角形adc
