Demonstração trigonométrica
Em primeiro lugar, vamos
deduzir uma fórmula trigonométrica que será bastante útil.
Dado um ângulo
qualquer, temos:
Sejam ,
,
e
o circunraio de
.
Então, aplicando a lei dos senos ao triângulo
,
temos:
Consideremos agora o triângulo
.
As amplitudes dos seus ângulos são dadas por:
,
e
.
Aplicando a lei dos senos
ao triângulo ,
temos:
Analogamente, considerando
agora o triângulo ,
temos:
Note-se que ,
logo é possível construir um triângulo
com ângulos de amplitude
,
e
.
Supondo ainda que o seu circunraio é dado por
,
pela lei dos senos os lados adjacentes ao ângulo de amplitude
terão como medida os mesmos valores obtidos para
e
.
Este triângulo é
congruente com o triângulo
pelo facto de terem um ângulo igual e os lados adjacentes a esse ângulo
iguais, sendo este um dos critérios de congruência de triângulos.
Portanto, temos: