证明：作AF⊥BC于F，
∵AB=AC（已知），
∴BF=CF（三线合一），
又∵AD=AE（已知），
∴DF=EF（三线合一），
∴BF-DF=CF-EF，即BD=CE（等式的性质）．