Для доказательства этого утверждения мы можем использовать свойства подобных треугольников. Итак, пусть OA = OB = a, AC = BD = b. Также предположим, что угол XOY равен α.
Треугольники OAC и OBD подобны по стороне-по стороне (ss).
Таким образом, мы можем сделать следующее утверждение:
OA/OB = AC/BD a/a = b/b 1 = 1
Следовательно, треугольники OAC и OBD подобны.
Теперь рассмотрим углы треугольников OAC и OBD. Угол OAC равен α, так как угол XOY равен α. Тогда угол OCB также равен α.
Таким образом, углы AOE и COE также равны, так как это углы между биссектрисой и сторонами подобных треугольников.
Из этого следует, что луч OE является биссектрисой угла XOY.