W kąt BAC wpisujemy okrąg o środku w punkcie O i promieniu  $r$ . Poprowadźmy odcinki łączące środek okręgu O z punktami styczności okręgu z ramionami kąta. Promień okręgu poprowadzony do punktu styczności tego okręgu z prostą jest prostopadły do tej prostej.

Przyjmijmy oznaczenia:

$\sphericalangle BAC=\alpha ,\sphericalangle BOC=\beta .$  

Ponadto długość łuku okręgu wyznaczonego przez kąt  $\beta$  oznaczmy przez  $l$ .

Wykonajmy rysunek pomocniczy.