Чтобы доказать, что биссектрисы вертикальных углов лежат на одной прямой, начнем с определения вертикальных углов и биссектрис.
Два угла называются вертикальными углами, если их стороны образуются пересечением двух прямых. Пусть у нас есть две пересекающиеся прямые, которые образуют углы \( \angle AOB \) и \( \angle COD \), где \( O \) - точка пересечения, а \( A \), \( B \), \( C \) и \( D \) - точки на сторонах углов.
Биссектрисы углов \( AOB \) и \( COD \) - это линии, которые делят каждый угол пополам. Обозначим биссектрисы как \( OA' \) и \( OC' \), где \( A' \) и \( C' \) - точки на биссектрисах.
Поскольку биссектрисы делят углы на две равные части, то угол \( AOB \) равен углу \( A'OA \), а угол \( COD \) равен углу \( C'OC \).
Заметим, что так как углы \( AOB \) и \( COD \) являются вертикальными, они равны: \( \angle AOB = \angle COD \).
Это означает, что сумма углов \( AOA' + AOB \) равна 180 градусам. Таким образом, углы \( AOA' \) и \( C'OC \) являются односторонними углами и, следовательно, дополнениями друг к другу.
Таким образом, биссектрисы \( OA' \) и \( OC' \) находятся на одной прямой, поскольку они разделяют вертикальные углы и образуют 180 градусов.
В результате мы доказали, что биссектрисы вертикальных углов действительно лежат на одной прямой.