因为AD平分角BAC
所以角BAD=角CAD
在三角形ABD和三角形ACD中
AB=AC
角BAD=角CAD
AD=AD
所以三角形ABD全等于三角形ACD(SAS)
所以BD=DC(全等三角形的对应边相等)