9. Перпендикулярные прямые

Две прямые называются перпендикулярными, если они пересекаются под прямым углом.

Обозначение: \(a\perp b\).