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