Rysunek pomocniczy:

Wiemy, że:

Oznaczmy:

Zatem kąt przyległy do  jest równy 
 

Półprosta OP jest dwusieczną kąta  (patrz na rysunek). W związku z tym:

Skoro