Zacznijmy od rysunku:

Zauważmy, że po namalowaniu symetralnej przeciwprostokątnej powstał nam znów trójkąt prostokątny. (), o kącie 

Skoro suma miar kątów w trójkącie wynosi  zatem