В равнобедренном треугольнике АВС с основанием АВ медиана СМ является также высотой и биссектрисой. Это означает, что СМ перпендикулярна АВ, и угол СМА равен углу СМВ (по 90 градусов).
Рассмотрим треугольники АМС и ВМС:
По двум катетам (СМ и AM = BM, так как М — середина АВ) треугольники АМС и ВМС равны. Значит, ∠ САМ = ∠ СВМ.
Теперь рассмотрим треугольник АОВ. В нём:
Так как ∠ CAB = ∠ CBA, то и ∠ OAB = ∠ OBA. Треугольник АОВ имеет два равных угла при основании АВ. Следовательно, треугольник АОВ равнобедренный.
Доказано.