Rysunek pomocniczy:

Przeciwprostokątna trójkąta prostokątnego jest średnicą  okręgu opisanego na tym trójkącie, zatem:

Korzystając z twierdzenia o dwusiecznej kąta zapisujemy:

Wykor