Wyznaczamy odcinek , korzystając z twierdzenia o dwusiecznej dla kąta :

  → skracamy ułamek po prawej stronie przez 
 → obustronnie mnożymy prze