Так как  – высота пирамиды, то . Следовательно,  перпендикулярно любой прямой из , значит, . Тогда  перпендикулярна двум пересекающимся прямым  и  из плоскости , значит, .
Заметим, что тогда  – проекция наклонной  на эту плоскость. Значит, по теореме о трех перпендикулярах .
По теореме Пифагора из :
Следовательно,