Давайте использовать обозначения для углов для удобства доказательства.
Обозначим:
- \( \angle AOC = 2\alpha \)
- \( \angle BOD = \alpha \) где \( \alpha > 60° \).
Также мы знаем, что сумма углов внутри развернутого угла AOB равна 180°. Поскольку \( \angle AOC \) и \( \angle BOD \) — части этого угла, мы можем выразить угол \( \angle COD \) как разность 180° и суммы углов \( \angle AOC \) и \( \angle BOD \): \( \angle COD = 180° - (2\alpha + \alpha) \) \( \angle COD = 180° - 3\alpha \)
Теперь найдем углы, которые образуют биссектрисы углов \( \angle AOD \) и \( \angle COD \). Биссектриса делит угол пополам, значит:
- Биссектриса \( \angle AOD \) будет равна \( (180° - \alpha) / 2 \)
- Биссектриса \( \angle COD \) будет равна \( (180° - 3\alpha) / 2 \)
Угол между биссектрисами углов будет равен разности \( (180° - \alpha) / 2 \) и \( (180° - 3\alpha) / 2 \): \( \angle\text{(между биссектрисами)} = \left(\frac{180° - \alpha}{2}\right) - \left(\frac{180° - 3\alpha}{2}\right) \)
Выполним вычитание, раскрыв скобки: \( \angle\text{(между биссектрисами)} = \frac{180° - \alpha - 180° + 3\alpha}{2} \)
Произведем упрощение: \( \angle\text{(между биссектрисами)} = \frac{2\alpha}{2} \) \( \angle\text{(между биссектрисами)} = \alpha \)
Мы получили, что угол между биссектрисами равен углу \( \angle BOD \), что и требовалось доказать.
