Для доказательства равенства отрезков следует доказать равенство треугольников, образованных указанными отрезками, высотой равнобедренного треугольника,которая как раз соединяет вершину равнобедренного треугольника и середину основания, и сторонами равносторонних треугольников, построенных на сторонах равнобедренного треугольника. Доказательство проводится через признак равенства треугольников по двум сторонам и углу между ними. Стороны равны по условию и построению, а углы равны по условию и по тому, что высота в равнобедренном треугольнике является также и биссектрисой.
Так как A внутри BCD, AB=AD, то BAD - тоже равнобедренный треугольник, и у него общее с BCD основание BD. Поставим точку K так, что BK=KD, тогда KC - медиана BCD, KA - медиана BAD. Докажем второй пункт. Как известно, высота равнобедренного треугольника совпадает с его медианой и биссектрисой и является его осью симметрии. Также, любые два равнобедренных треугольника, построенные на одном основании, обладают общей осью симметрии и, как следствие, общей высотой/медианой/биссектрисой. Тогда получаем, что KA⊂KC и все три точки лежат на KC. Это автоматически доказывает первый пункт, т.к. непонятные ∠ACB и ∠ACD превращаются в углы при биссектрисе ∠KCB=∠KCD, которые равны между собой.
Доказательство проводится через признак равенства треугольников по двум сторонам и углу между ними. Стороны равны по условию и построению, а углы равны по условию и по тому, что высота в равнобедренном треугольнике является также и биссектрисой.