т.к. ∠BAC + ∠BOC = α + 180° - α = 180°, то около ABOC можно описать окружность, но это та же окружность, которая описана около треугольника АВС и на ней лежит точка О. Что и требовалось доказать
Для доказательства равенства отрезков следует доказать равенство треугольников, образованных указанными отрезками, высотой равнобедренного треугольника,которая как раз соединяет вершину равнобедренного треугольника и середину основания, и сторонами равносторонних треугольников, построенных на сторонах равнобедренного треугольника. Доказательство проводится через признак равенства треугольников по двум сторонам и углу между ними. Стороны равны по условию и построению, а углы равны по условию и по тому, что высота в равнобедренном треугольнике является также и биссектрисой.
