Leis dos senos, dos cossenos, projeções e áreas
Fixar a notação Em um triângulo não degenerado, os ângulos $A,B,C$ estão opostos aos lados $a,b,c$, respectivamente. Todos os lados são positivos e $A+B+C=\pi$.
Demonstração da lei dos cossenos Coloque o vértice A na origem, B em $(c,0)$ e C em $(b\cos A,b\sin A)$. A distância entre B e C é $a$. Pelo teorema de Pitágoras aplicado às diferenças de coordenadas:
$$\begin{aligned} a^2&=(b\cos A-c)^2+(b\sin A)^2\\ &=b^2(\cos^2A+\sin^2A)+c^2-2bc\cos A\\ &=b^2+c^2-2bc\cos A. \end{aligned}$$O argumento vale também para ângulos obtusos. Se $A=\pi/2$, o termo de cosseno é zero e reencontramos Pitágoras. Permutar as letras fornece as outras duas leis dos cossenos.