Wprowadźmy oznaczenia:
 - jest najmniejszym kątem ostrym trójkąta prostokątnego
 - jest większym kątem ostrym trójkąta prostokątnego

Suma miar wszystkich kątów w trójkącie wynosi :