then prove that angle BOC = 90°-1/2angle BAC.