过AO作直线AH,交BC于H
因为,AO垂直于BC
所以,AH垂直于BC
因为,AB=AC,
所以,三角形ABC为等腰三角形
所以,AH为中垂线
即,OH为中垂线
所以有,三角形BOC为等腰三角形
所以：OB=OC.
将因为,所以换为相应的符号即可.