Udowodnij, że jeśli , zobacz rysunek obok, to dwusieczne kątów  i  są prostopadłe.

Rozwiązanie:

Wiemy, że jeśli  to .

Wiemy, że suma kątów wewnętrznych w dowolnym trójkącie jest równa , zatem: