Aturan kosinus menggeneralisasi teorema Pythagoras ke segitiga apa pun:
dengan adalah sisi yang berhadapan dengan sudut , dan adalah dua sisi lainnya. Secara simetris: , .
Kasus khusus: ketika , , dan rumus menyusut menjadi — teorema Pythagoras.
Kasus penggunaan:
- SSS: diberikan tiga sisi, cari sebuah sudut: .
- SAS: diberikan dua sisi dan sudut yang diapitnya, cari sisi ketiga secara langsung.
Pasangan dari aturan sinus . Bersama-sama keduanya menangani keempat kasus penyelesaian segitiga (SSS, SAS, ASA, AAS) — hanya SSA (kasus ambigu) yang memerlukan kehati-hatian ekstra.
Aturan kosinus juga merupakan asal-usul geometris hasil kali titik dalam analisis vektor: .