У колі з радіусами АО і ОВ пряма а проходить через середини радіусів так, що ОЕ = ОА/4. Оскільки відстань - це перпендикуляр, маємо прямокутний трикутник КОЕ та РОЕ. З прямокутного трикутника КОЕ: ОК = ОА/2, ОЕ = ОА/4. Тобто, катет ОЕ у два рази менший за гіпотенузу ОК. Катет, що дорівнює половині гіпотенузи, лежить проти кута 30 градусів. Тобто, кут ОКЕ = 30 градусів. Кут КОЕ = 90 - 30 = 60 градусів. Трикутники КОЕ та РОЕ рівні за прямим кутом та гіпотенузою, тобто кути КОЕ та РОЕ рівні і дорівнюють по 60 градусів. Кут АОВ = <KOE + <POE = 60 + 60 = 120 градусів.
Рассмотрим треугольники AKO и CMO. Они равны как прямоугольные треугольники по катету (KO=MO) и прилежащему острому углу (KOA=MAC как противоположные углы пересекающихся прямых). Следовательно высоты поделены точкой пересечения на равные отрезки, это свойство равнобедренного треугольника. Если этого мало, то треугольник AMC равен треугольнику CKA по двум катетам (MO=KO, MC=KA из предыдущего доказательства). Следовательно в них равны и углы КАС и МСА, которые являются углами при основании, а это значит что треугольник равнобедренный
