Пусть M- cередина АС, N - середина АВ. Продолжим ВМ на расстояние ВМ, получим Q, продолжим CN на расстояние CN, получим Р. Рассмотрим четырехугольник APBC, в нем диагонали РС и АВ точкой пересечения N делятся пополам, значит, это параллелограмм (признак такой), значит АР параллельна ВС (определение параллелограмма). Рассмотрим четырехугольник ABCQ, в нем диагонали AС и ВQ точкой пересечения M делятся пополам, значит, это параллелограмм (признак такой), значит АQ параллельна ВС (определение параллелограмма). Итак, в точке А проведены две прямые АР и АQ, параллельные ВС. По 5 постулату Евклида (аксиома параллельности) через точку вне прямой можно провести единственную прямую, параллельную данной, значит, точки А, Р, Q лежат на одной прямой
Для доказательства равенства отрезков следует доказать равенство треугольников, образованных указанными отрезками, высотой равнобедренного треугольника,которая как раз соединяет вершину равнобедренного треугольника и середину основания, и сторонами равносторонних треугольников, построенных на сторонах равнобедренного треугольника. Доказательство проводится через признак равенства треугольников по двум сторонам и углу между ними. Стороны равны по условию и построению, а углы равны по условию и по тому, что высота в равнобедренном треугольнике является также и биссектрисой.