Чтобы доказать, что биссектрисы вертикальных углов лежат на одной прямой, рассмотрим два вертикальных угла, образованных пересечением двух прямых.
Обозначим угол \( \angle AOB \) и угол \( \angle COD \), где точки \( O \) – это вершина углов, а \( A, B, C, D \) – точки на сторонах углов. Углы \( \angle AOB \) и \( \angle COD \) являются вертикальными углами, и, следовательно, они равны, то есть:
\[ \angle AOB = \angle COD \]
Теперь рассмотрим биссектрисы этих углов. Биссектрисой угла \( \angle AOB \) будем называть прямую, которая делит этот угол пополам. Обозначим биссектрису \( OB \) как прямую, которая проходит через точку \( O \) и делит угол \( \angle AOB \) следующим образом:
\[ \angle AOC = \angle BOD \]
Так как \( \angle AOB = \angle COD \), и обе биссектрисы делят свои углы пополам, то можно записать:
\[ \angle AOC + \angle BOD = \angle AOB = \angle COD \]
Так как углы \( AOC \) и \( BOD \) находятся на одной и той же линии, это означает, что биссектрисы углов \( AOB \) и \( COD \) пересекаются в точке \( O \) и расположены на одной прямой.
Таким образом, мы можем заключить, что биссектрисы вертикальных углов действительно лежат на одной прямой, что и требовалось доказать.
