Rysunek pomocniczy: 

a) Wiemy, że dwusieczna kąta podzieliła przeciwprostokątną na odcinki długości . Możemy zapisać:

Korzystamy z twierdzenia o dwusiecznej kąta. Mówi ono, że