Suma miar kątów w trójkącie jest równa
. W trójkącie prostokątnym suma miar kątów ostrych jest równa mierze kąta prostego, czyli
. Zauważ, że kąt beta tworzy z kątem
kąt półpełny
.