Предположим, что через точку А можно провести еще один перпендикуляр АК1 к прямой ВС. Тогда две перпендикулярные к прямой ВС прямые АК и АК1 пересекаются в одной точке А. ... Следовательно, из точки А можно провести только один перпендикуляр. Теорема об единственности перпендикуляра доказана.
Предположим, что через точку А можно провести еще один перпендикуляр АК1 к прямой ВС. Тогда две перпендикулярные к прямой ВС прямые АК и АК1 пересекаются в одной точке А. ... Следовательно, из точки А можно провести только один перпендикуляр. Теорема об единственности перпендикуляра доказана.