先证三角形ABD全等于三角形ACD(AB=AC,BD=CD,AD=AD),所以,角BAD=角CAD.
又因为AB=AC,所以,AE⊥BC,BE=EC(等腰三角形底边上的高、中线和顶角的平分线重合,简称“三线合一”.)