У колі з радіусами АО і ОВ пряма а проходить через середини радіусів так, що ОЕ = ОА/4. Оскільки відстань - це перпендикуляр, маємо прямокутний трикутник КОЕ та РОЕ. З прямокутного трикутника КОЕ: ОК = ОА/2, ОЕ = ОА/4. Тобто, катет ОЕ у два рази менший за гіпотенузу ОК. Катет, що дорівнює половині гіпотенузи, лежить проти кута 30 градусів. Тобто, кут ОКЕ = 30 градусів. Кут КОЕ = 90 - 30 = 60 градусів. Трикутники КОЕ та РОЕ рівні за прямим кутом та гіпотенузою, тобто кути КОЕ та РОЕ рівні і дорівнюють по 60 градусів. Кут АОВ = <KOE + <POE = 60 + 60 = 120 градусів.
Пусть ad = a1d1 — равные биссектрисы, ∠a = ∠a1, ac = a1c1 — равные стороны. в δаdс = δa1d1c1: ∠dac = ∠d1a1c1 (т.к. ∠dac половина угла ∠bac ∠dac = ∠bac : 2 = ∠b1a1c1 : 2 = ∠d1a1c1). ad = a1d1, ас = а1с1. (по условию: ad = a1d1 — равные биссектрисы, aс = a1c1 — равные прилежащие стороны). таким образом, δadc = δа1d1c1 по 1-му признаку равенства треугольников, откуда ∠с = ∠с1 как лежащие против равных сторон в равных треугольниках) в δabcи δа1в1с1: ас = а1с1, ∠а = ∠а1 (по условию) ∠с = ∠с1. таким образом, δabc = δа1в1с1 по 1-му признаку равенства треугольников, что и требовалось доказать.