Mamy dany trójkąt ABC, w którym: |AB| = c, |BC| = a, |CA| = b 

Twierdzenie cosinusów (Carnota):

W dowolnym trójkącie kwadrat długości jednego boku równy jest sumie kwadratów długości dwóch pozostałych boków pomniejszony o podwojony iloczyn długości tych boków i cosinus kąta zawartego między tymi bokami.