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