Rysunek pomocniczy:

Wyznaczamy długość odcinka , korzystając z twierdzenia o dwusiecznej dla kąta przy wierzchołku :

   → skracamy ułamek  przez 
   → mnożymy "na