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