Założenie:

 (dwusieczna podzieliła bok AB w stosunku )

Teza (czyli to, co należy udowodnić):
Trójkąt ABC jest trójkątem prostokątnym.

Dowód:

Rysunek pomocniczy:

Twierdzenie o dwusiecznej