Wiadomo, że suma miar kątów w trójkącie wynosi .

Oznaczamy miary kątów tego trójkąta:

 - miara najmniejszego z kątów tego trójkąta
 - miara kąta dwa razy większego od miary najmniejszego z kątów tego