Для доказательства необходимо использовать свойства углов и биссектрис. Обозначим через x величину угла BOD, который, по условию, больше 60°. Так как угол AOC вдвое больше угла BOD, то угол AOC = 2x.
Поскольку лучи OD и OC лежат внутри развернутого угла AOB, сумма углов AOD, DOC и COB составит 180° (потому что они вместе образуют развернутый угол):
AOD + DOC + COB = 180°.
Поскольку OC - это биссектриса угла AOB, угол AOC равен углу COB. Следовательно, угол COB также равен 2x. Таким образом, угол DOC, который остаётся, будет:
DOC = 180° - AOD - COB = 180° - x - 2x = 180° - 3x.
Теперь найдём величины углов, которые образуются при построении биссектрис их углов AOD и DOC.
Поскольку биссектриса делит угол пополам, угол между биссектрисой угла AOD (обозначим эту биссектрису как OE) и OD будет равен x/2. Точно так же биссектриса угла DOC (обозначим её как OF) и OD будет равна (180° - 3x)/2.
Теперь угол между биссектрисами OE и OF будет равен сумме углов между OE и OD и между OD и OF:
Угол между биссектрисами OE и OF = x/2 + (180° - 3x)/2.
Упростим выражение:
Угол между биссектрисами OE и OF = x/2 + 90° - 3x/2 = 90° - 2x/2 + x/2 = 90° - x/2.
Но у нас имеется выражение для угла BOD: x. Поэтому чтобы убедиться в том, что угол между биссектрисами OE и OF равен углу BOD, достаточно заметить, что при x > 60°, величина угла BOD (x) равна 90° - (x/2), так как добавление 60° к обеим частям приводит к верному равенству (величина угла не превышает 180°):
x + 60° = 90° + 60° - x/2 x + 60° = 150° - x/2 x/2 + x = 150° - 60° 1.5x = 90° x = 90° / 1.5 x = 60°.
Таким образом, условие, что x (BOD) > 60°, гарантирует, что 90° - x/2 - это точно x, и мы доказали, что угол между биссектрисами OE и OF действительно равен углу BOD.
