Seção 6.3 Identidades Trigonométricas
Já sabemos que
Para \(x\neq \frac{\pi}{2}+n\pi (n\in \mathbb{Z})\text{,}\) se dividirmos a Equação (6.3.1) por \(\cos^2{x}\text{,}\) obteremos a seguinte equação:
Agora, para \(x\neq n\pi (n\in \mathbb{Z})\text{,}\) se dividirmos a Equação (6.3.1) por \(sen^2{x}\text{,}\) obteremos a seguinte equação :
Teorema 6.3.1.
São válidas as seguintes identidades:
- \(\displaystyle cos(a-b)=cos(a)cos(b)+sen(a)sen(b)\)
- \(\displaystyle cos(a+b)=cos(a)cos(b)-sen(a)sen(b)\)
- \(\displaystyle sen(a-b)=sen(a)cos(b)-sen(b)cos(a)\)
- \(\displaystyle sen(a+b)=sen(a)cos(b)+sen(b)cos(a)\)
- \(\displaystyle sen(2a)=2sen(a)cos(b)\)
- \(\displaystyle cos(2a)=cos^2(a)-sen^2(a)\)
Demonstração.
item 1. Sejam \(\stackrel{\frown}{AM}, \stackrel{\frown}{AN}\) e \(\stackrel{\frown}{AP}\) arcos trigonométricos de medidas \(a, b\) e \(a-b\text{,}\) respectivamente.
- \(\displaystyle A = (cos(0),sen(0)) = (1,0);\)
- \(\displaystyle P = (cos(a-b), sen(a-b));\)
- \(\displaystyle N = (cos(b), sen(b));\)
- \(\displaystyle M = (cos(a), sen(a)).\)
Lembrando que a distância entre dois pontos \(p_1=(x_1,y_1)\) e \(p_2=(x_2, y_2)\text{,}\) do plano cartesiano, é dado por
Vamos usar que a distância de \(A\) até \(P\) é igual a distância de \(N\) até \(M\text{.}\) Assim, \(d_{AP}=d_{NM}\text{,}\) implica em
Elevando ambos os membros ao quadrado obtemos
Calculando os quadrados,
Reorganizando, ficamos com
Ou seja,
Cancelando o \(+2\) de ambos os membros e em seguida multiplicando tudo por \(-\frac{1}{2}\) obtemos a igualdade:
itens 2., 3., 4., 5. e 6. Exercício.