你的证明上半部正确.由三角形ABD全等于三角形ACD.得到:角BAO=角CAO又BA=CA,DA=DA所以,三角形BAD全等于三角形CAD.(SAS)所以得:角ADB=角ADC.又角ADB+角ADC=180所以,角ADB=ADC=90度.即AO垂直于BC.