在△ABE和△ACD中,∠B=∠C(已知),∠A=∠A(公共角),AD=AE(已知)
∴△ABE≌△ACD(AAS)
∴AB=AC(全等三角形,对应边相等)
又∵AD=AE,
∴AB-AD=AC-AE,
即DB=EC。