Dany jest ostrosłup prosty z prostokątem w podstawie.

Przyjmijmy oznaczenia jak na rysunku.

Załóżmy, że , gdzie .

Odcinek  jest jego wysokością trójkąta :

, gdzie