использована определение расстояния от точки до прямой, теорема о трех перпендикулярах, теорема Пифагора