Es una generalización del teorema de Pitágoras en los triángulos rectángulos que se utiliza, normalmente, en trigonometría.
El teorema relaciona un lado de un triángulo cualquiera con los otros dos y con el coseno del ángulo formado por estos dos lados:
Dado un triángulo ABC, siendo α, β, γ, los ángulos, y a, b, c, los lados respectivamente opuestos a estos ángulos entonces:
