Rysunek pomocniczy:

Skoro zachodzi i odcinki oraz są dwusiecznymi kątów oraz , to zachodzi także:

.

Dzięki temu otrzymujemy, że trójkąty i są przystające