Suma miar kątów wewnętrznych trójkąta wynosi .

Przyjmujemy oznaczenia zgodnie z przedstawionymi na rysunku:

Zwróćmy uwagę, że kąt  jest jednym z kątów wewnętrznych zarówno w trójkąci