Дано: АВ = ВС. ∟ABO = ∟CBO.
Довести: ∟DAO = ∟DCO.
Доведення:
Розглянемо ∆ABD i ∆CBD.
За умовою АВ = ВС, ∟ABO = ∟CBO, BD - спільна сторона.
За I ознакою piвності трикутників маємо: ∆ABD = ∆CBD.
Звідси маємо: AD = DC.
Отже, ∆ADC - рівнобедрений (АС - основа).
За властивістю кутів рівнобедреного трикутника маємо: ∟DAO = ∟DCO.
Доведено.
