У колі з радіусами АО і ОВ пряма а проходить через середини радіусів так, що ОЕ = ОА/4. Оскільки відстань - це перпендикуляр, маємо прямокутний трикутник КОЕ та РОЕ. З прямокутного трикутника КОЕ: ОК = ОА/2, ОЕ = ОА/4. Тобто, катет ОЕ у два рази менший за гіпотенузу ОК. Катет, що дорівнює половині гіпотенузи, лежить проти кута 30 градусів. Тобто, кут ОКЕ = 30 градусів. Кут КОЕ = 90 - 30 = 60 градусів. Трикутники КОЕ та РОЕ рівні за прямим кутом та гіпотенузою, тобто кути КОЕ та РОЕ рівні і дорівнюють по 60 градусів. Кут АОВ = <KOE + <POE = 60 + 60 = 120 градусів.
Так как 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, которые равны между собой.