Niech ABC będzie trójkątem prostokątnym o przeciwprostokątnej AB, a P niech będzie dowolnym punktem należącym do przeciwprostokątnej BC. 
Poprowadzimy prostą prostopadłą do AB przechodzącą przez punkt P. Punkt przecięcia tej prostej z odcinkiem AB oznaczymy przez Q. Poprowadźmy jeszcze odcinki PA i QC.

Przyjmijmy oznaczenia:

$\sphericalangle PAQ=\alpha ,\sphericalangle PCQ=\beta .$  

Wykonajmy rysunek pomocniczy.