AO是公共边
ob=oc 三个条件可推出三角形 aoc全等于 aob
角aob=角aoc
因此 AB=AC
又 o为bc中点推出 oa垂直于bc