Для доказательства того, что бисектрисы вертикальных углов лежат на одной прямой, мы можем использовать свойства вертикальных углов и свойства бисектрисы.
Пусть у нас есть две пересекающиеся прямые AB и CD, которые образуют вертикальные углы AOC и BOD.
Допустим, что бисектрисы этих углов HM и LN не лежат на одной прямой.
Пусть точка M лежит на прямой AB, а точка N на прямой CD.
Поскольку угол AOC и угол BOD являются вертикальными углами, они равны между собой.
Hence, we have ∠MOA = ∠NOB (по свойству бисектрисы).
Также у нас есть ∠MOA = ∠NOB = 90° (по определению вертикальных углов).
Отсюда следует, что углы ∠MOA и ∠NOB являются прямыми углами.
Таким образом, МО и NO являются продолжениями бисектрис AOC и BOD.
Это приводит к противоречию, так как бисектрисы не могут пересекаться.
Поэтому наши предположения о том, что бисектрисы не лежат на одной прямой, являются неверными.
Следовательно, мы можем заключить, что бисектрисы вертикальных углов лежат на одной прямой.