Для доказательства того, что луч OE является биссектрисой угла XOY, рассмотрим треугольники OAD и OBC.
Дано:
Тогда:
OC = OA + AC = OB + BD = OD
Рассмотрим треугольники OAD и OBC:
Следовательно, треугольники OAD и OBC равны по первому признаку равенства треугольников (по двум сторонам и углу между ними).
Из равенства треугольников следует, что:
∠OAD = ∠OBC
∠ODA = ∠OCB
Теперь рассмотрим треугольники ACE и BDE:
Тогда треугольники ACE и BDE равны по второму признаку равенства треугольников (по стороне и двум прилежащим углам).
Из равенства треугольников ACE и BDE следует, что AE = BE и CE = DE.
Теперь рассмотрим треугольники OAE и OBE:
Следовательно, треугольники OAE и OBE равны по третьему признаку равенства треугольников (по трем сторонам).
Из равенства треугольников OAE и OBE следует, что ∠AOE = ∠BOE.
Таким образом, луч OE является биссектрисой угла XOY.
Способ построения биссектрисы угла, основанный на этом факте:
Ответ: Доказано, способ построения описан.