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