连接OA、OB、OC,从O做BC的垂直线与BC相交于点D
∵EF垂直平分AB,GH垂直平分AC,
∴OA=OB,OA=OC
即OB=OC,
又∵△OBD和△OCD均为直角三角形,且有公共边OD,
∴DB=DC
∴O也在边BC的垂直平分线