Kwadrat długości jednego boku każdego trójkąta jest równy sumie kwadratów długości dwóch pozostałych boków, pomniejszonej o podwojony iloczyn długości tych boków i cosinusa kąta zawartego między nimi.

$a^2=b^2+c^2-2bc\cdot \cos \alpha$
$b^2=a^2+c^2-2ac\cdot \cos \beta$
$c^2=a^2+b^2-2ab\cdot \cos \gamma$