Nos fijamos en el triángulo de la derecha, donde hemos llamado t al lado BC Si conocemos $\alpha$ entonces también conocemos $180-\alpha$
Dado que conocemos dos lados (m y n) y el ángulo comprendido entre ellos, podemos aplicar el teorema del coseno para hallar el lado t $$t^2=m^2+n^2-2mn (…)