Dwusieczna kąta to prosta dzieląca kąt na dwa o tej samej mierze. Przyjmijmy, że dwusieczne dwóch kątów trójkąta są prostopadłe. Wówczas:

Suma miar kątów w trójkącie wynosi .

Załóżmy, że:

Wówczas