Т.к.  – перпендикуляр к плоскости ,  – прямая в плоскости , а  – наклонная, перпендикулярная к прямой , то согласно теореме о трех перпендикулярах   – равнобедренный прямоугольный треугольник с прямым углом   по теореме Пифагора   . В прямоугольном треугольнике : .