Wprowadźmy oznaczenia:

 - miara najmniejszego kąta w podanym trójkącie

 - miara średniego kąta w podanym trójkącie

 - miara największego kąta w podanym trójkącie

Su