外心就是外接圆的中心
那么外心到三角形各顶点的距离相等
即OA=OB=OC
又因为是垂心,即 各边垂直平分线的交点
可得到垂直和平分
然后利用三角形全等,得出
AB=AC=BC
就证明到为正三角形