Рассмотрим трехгранный угол OABC, у которого ∠AOB = ∠AOC = 60°, ∠BOC = 90°.
Плоскость BAC перпендикулярна плоскости BOC и AB = AC. Тогда перпендикуляр AM, опущенный из точки A на плоскость BOC, попадет в точку M — середину BC, т.е. в центр описанной около прямоугольного треугольника BOC окружности. Отсюда следует, что MB = MC = MO.
Так как ∠AOC = ∠AOB = 60°, ∠(OMB, AMB) = 90° ∠BOM = ∠COM = 45° ⇒ по теореме косинусов ∠AOM = 45° ⇒ AO = OB = OC, что и требовалось доказать
Плоскость BAC перпендикулярна плоскости BOC и AB = AC. Тогда перпендикуляр AM, опущенный из точки A на плоскость BOC, попадет в точку M — середину BC, т.е. в центр описанной около прямоугольного треугольника BOC окружности. Отсюда следует, что MB = MC = MO.
Так как ∠AOC = ∠AOB = 60°, ∠(OMB, AMB) = 90° ∠BOM = ∠COM = 45° ⇒ по теореме косинусов ∠AOM = 45° ⇒ AO = OB = OC, что и требовалось доказать