Теорема о единственности опущенного перпендикуляра.

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

Уроки курса