Rysunek pomocniczy:

Teza: (czyli to, co mamy udowodnić)

Dowód:

Wyznaczamy długość odcinka , korzystając z twierdzenia o dwusiecznej:
  → mnożymy "na skos" (tak jak w