Định lí Cosi (hay còn gọi là định lí Cosin) có dạng như sau:

Trong tam giác ABC, với đỉnh A, cạnh BC là cạnh đối diện với đỉnh A, ta có:

cos A = (b^2 + c^2 - a^2) / 2bc

Trong đó, a, b, c lần lượt là độ dài của các cạnh tương ứng với đỉnh A, B, C.