Для доказательства используем свойства углов и биссектрис углов. Пусть ∠AOC = 2α и ∠BOD = α, где α больше 60°. Нам нужно доказать, что угол между биссектрисами углов AOD и COD равен α.
Поскольку OD и OC - лучи, разделяющие угол AOB, то имеем следующие отношения: ∠AOD + ∠DOC + ∠COB = ∠AOB
Так как ∠AOC = 2α и ∠BOD = α, то весь угол AOB равен сумме углов AOC и BOD: ∠AOB = ∠AOC + ∠BOD = 2α + α = 3α
Теперь рассмотрим биссектрисы углов AOD и COD. Пусть L - точка пересечения этих биссектрис. Так как луч OL является биссектрисой угла AOD, то он делит этот угол пополам: ∠AOL = ∠LOD = 1/2 * ∠AOD = 1/2 * (3α - ∠DOC)
Аналогично луч OL является биссектрисой угла COD, и он делит этот угол пополам: ∠COL = ∠LOD = 1/2 * ∠COD
Для того, чтобы выразить угол между биссектрисами, нам необходимо найти величину угла LOL', где L' - точка на луче OB, таким образом, чтобы OL' была продолжением OL.
Рассмотрим угол LOL', который является внешним углом для треугольника COL: ∠LOL' = ∠COL + ∠LOD = 1/2 * ∠COD + 1/2 * (3α - ∠DOC)
Обратим внимание, что ∠COD = ∠AOC - ∠AOD = 2α - (3α - α) = α
Теперь подставляем значение ∠COD в наше предыдущее равенство: ∠LOL' = 1/2 * α + 1/2 * (3α - α) = 1/2 * α + α = 3/2 * α - 1/2 * α = α
Таким образом, угол между биссектрисами углов AOD и COD равен ∠BOD, что и требовалось доказать.
