Перпендикуляр к прямой

Отрезок AH называется перпендикуляром, проведенным из точки A к прямой a, если прямые AH и a перпендикулярны.

Теорема. Из точки не лежащей на прямой, можно провести перпендикуляр к этой прямой, и притом только один.