La loi des cosinus généralise le théorème de Pythagore à un triangle quelconque :
où est le côté opposé à l'angle , et sont les deux autres côtés. Par symétrie : , .
Cas particulier : lorsque , , et la formule se ramène à — le théorème de Pythagore.
Cas d'usage :
- CCC : trois côtés connus, trouver un angle : .
- CAC : deux côtés et l'angle compris connus, trouver directement le troisième côté.
Complément de la loi des sinus . Ensemble, elles traitent les quatre cas de résolution de triangles (CCC, CAC, ACA, AAC) — seul le CCA (le cas ambigu) demande une attention particulière.
La loi des cosinus est aussi l'origine géométrique du produit scalaire en analyse vectorielle : .