已知O为锐角三角形ABC三边垂直平分线的交点,求证:(1)∠BOC=2∠BAC; (2)∠OCB=90°-∠BAC.