Định lí:
Trong một tam giác bất kì, bình phương một cạnh bằng tổng các bình phương của hai cạnh còn lại trừ đi hai lần tích của hai cạnh đó nhân với cosin của góc xen giữa chúng.
Ta có các hệ thức sau: a2 = b2 + c2 - 2bc.cosA (1)
b2 = a2 + c2 - 2bc.cosB (2)
c2 = a2 + b2 - 2bc.cosC (3)
Hệ quả: Từ định lí cosin suy ra:
cosA = cosB =
cosC =