13. Свойство перпендикулярных прямых.

Если две прямые перпендикулярны, то при пересечении они образуют четыре прямых угла. Обратно: если при пересечении двух прямых образовался прямой угол, то эти прямые перпендикулярны.

Знаки: принадлежность точки прямой обозначают \(A\in a\), параллельность прямых — \(a\parallel b\), перпендикулярность — \(a\perp b\). Пересечение прямых можно обозначить \(a\cap b\).