Let be the angle .
Cosines law on says and thus
Using cosines law on and noting that and thus we get
From the expressions above we obtain