Zaczynamy od rysunku pomocniczego:

Skoro trójkąt  jest prostokątny, to z  funkcji cosinus:

Z twierdzenia o dwusiecznej kąta z trójkącie :

Podstawiamy: