— высота тетраэдра, проведенная к грани площадью , , , тогда по ТТП наклонная , следовательно, . Так как , то . Из прямоугольного имеем , следовательно,

Мы рассмотрели случай, когда . В случай, если , точка находится вне грани и работать мы будем с тем же треугольником , но с его углом , синус которого равен синусу угла . Следовательно, формула останется прежней.