Introdução às Fórmulas de Adição e Subtração Cosina

As fórmulas de adição e subtração cossenas são identidades fundamentais na trigonometria, que expressam o cosseno da soma ou diferença de dois ângulos em termos de senos e cossenos dos ângulos individuais, que permitem a simplificação de expressões trigonométricas complexas e servem de blocos de construção para temas avançados, como análise de Fourier, mecânica de onda e análise complexa. As formas padrão são:

Fórmula de Adição Cossena: cos(A + B) = cos A cos B – sin A sin B

Fórmula de Subtração Cossena: cos(A – B) = cos A cos B + sin A sin B

Compreender as provas dessas fórmulas fortalece o conhecimento conceitual da trigonometria e revela conexões entre geometria, álgebra e cálculo. Este artigo apresenta três provas rigorosas: uma prova geométrica usando o círculo unitário, uma prova algébrica baseada na fórmula de distância e uma prova sucinta através da fórmula de Euler. Cada abordagem oferece uma visão única sobre por que essas identidades se sustentam, confirmando sua validade universal em domínios matemáticos.

Prova geométrica usando o círculo unitário

Derivação para adição de cossenos

Comece com um círculo unitário centrado na origem O. Deixar apontar P corresponde ao ângulo A medido no sentido anti- horário a partir do eixo x positivo. As coordenadas de P são (cos A, pecado A). Da mesma forma, vamos Q corresponde ao ângulo B com coordenadas (cos B, pecado B). Encontrar o cos (A + B), considerar a rotação dos eixos de coordenadas padrão por ângulo A para que o eixo x se alinhe com PO. Neste quadro girado, o ponto que originalmente tinha ângulo B agora tem um ângulo líquido de A + B em relação ao eixo x original.

A rotação pode ser expressa usando uma matriz de rotação 2D. Rotacionando o ponto (cos B, pecado B) por ângulo A dá- se:

R( A) = [pos A   – sin A ]
          [ sin A       cos A ]

Multiplicando a matriz pelo vetor de coluna (cos B, pecado B) rendimentos:

x = cos A coss B - pecado A pecado B
y = pecado A coss B + porque A pecado B

Como o ponto girado está no círculo unitário, sua coordenada x é igual ao cosseno do ângulo total A + B. Portanto:

cos(A + B) = cos A cos B – sin A sin B

Esta derivação ilustra como a rotação transforma o problema em uma configuração de geometria de coordenadas, tornando a fórmula de adição visualmente intuitiva.

Derivação para Subtração Cossena

A fórmula de subtração segue diretamente da fórmula de adição, substituindo B com - B. Usando as propriedades par e ímpares de cosseno e seno-cos(–B) = cos B e pecado(–B) = –pecado B- Nós calculamos:

cos(A – B) = cos(A + (–B)) = cos A cos(–B) – pecado A pecado(–B) = cos A coss B + pecado A pecado B

Assim, a fórmula de subtração emerge naturalmente das propriedades simétricas do círculo unitário, que reforça que a mudança de signo no termo seno é consequência direta da estranheza do seno.

Prova Algébrica Usando a Fórmula de Distância

Uma abordagem alternativa usa a distância Euclidiana entre dois pontos no círculo unitário. Este método depende apenas da geometria de coordenadas e da lei dos cossenos, tornando-a puramente algébrica. P e Q ser pontos no círculo unitário em ângulos A e B respectivamente.

  • Coordenadas: P = (cos A, pecado A), Q = (cos B, pecado B)
  • Distância ao quadrado (por diferença de coordenadas): (cos A – porque B)2 + (pecado A - pecado B)2
  • Expandir: cos2A – 2 porque A coss B + cos2B + sin2A – 2 pecado A pecado B + sin2B
  • Simplifique usando cos2 + sin2 = 1: (1) – 2 porque A coss B + (1) – 2 pecado A pecado B = 2 – 2 (dois) A coss B + pecado A pecado B)

Agora considere o triângulo OPQ. O ângulo no centro entre vetores PO e OQ é .A – B.. A aplicação da lei dos cossenos ao lado PQ dá:

PQ2 = OP2 + OQ2 – 2·OP·OQ·cos(A – B) = 1 + 1 – 2 cos(A – B) = 2 – 2 cos(A – B)

Equacionando as duas expressões para PQ2:

2 – 2 (cos) A coss B + pecado A pecado B) = 2 – 2 cos(A – B)

Dividir ambos os lados por –2 e cancelar o fator comum produz a fórmula de subtração. Como com a prova geométrica, substituindo B com - B imediatamente produz a fórmula de adição.Esta derivação algébrica confirma a identidade sem depender da rotação, usando apenas álgebra básica e a lei dos cossenos.

Provas Usando a Fórmula de Euler

Fórmula de Euler, eiγ = cos Δ + i sin Δ, liga trigonometria a exponenciais complexos e fornece uma prova elegante. Para números reais A e B, considere o complexo exponencial da soma:

ei(A+B) = = eiA eiB = (cos A + i pecado A)(cos B + i pecado B)

Expandindo o produto usando a propriedade distributiva e recordando que i2 = –1:

= cos A coss B + i porque A pecado B + i pecado A coss B + pecado i2 A pecado B
= (cos A coss B - pecado A pecado B) + i (pecado A coss B + porque A pecado B)

Mas, pela fórmula de Euler, ei(A+B) também é igual a cos(A+B) + i sin(A+B). Equacionar as partes reais de ambas as expressões produz a fórmula de adição para cosseno:

cos(A + B) = cos A cos B – sin A sin B

A fórmula de subtração segue-se substituindo B com - B e utilizando as propriedades par/odd de cosseno e seno. esta prova demonstra elegantemente como a estrutura algébrica de números complexos encapsula identidades trigonométricas, oferecendo uma ferramenta poderosa para exploração posterior em análises complexas e equações diferenciais.

Aplicações das Fórmulas de Adição e Subtração Cossena

Resolvendo Equações Trigonométricas

Estas fórmulas são essenciais para simplificar equações que envolvem somas ou diferenças de ângulos. Por exemplo, resolver cos 2x + cos x = 0 torna-se simples quando cos 2x é reescrito como cos(x + x) = cos2 x - sin2 x. A identidade reduz a equação para um em termos de uma única função trigonométrica, permitindo soluções exatas. As técnicas comuns incluem converter somas em produtos usando as fórmulas produto- a-soma derivadas, que são corolários diretos das fórmulas de adição e subtração.

Superposição de onda e interferência

Na física, a sobreposição de duas ondas de frequências diferentes produz batimentos e padrões de interferência. A soma de duas ondas cossenas, cos(ω1t) e cos(ω2t), pode ser expressa usando a identidade:

cos α + cos β = 2 cos((α+β)/2) cos((α-β)/2)

Esta identidade, derivada da fórmula de subtração, mostra que a onda resultante tem um envelope lentamente variável (a frequência de diferença) modulando um transportador rápido (a frequência média). Os engenheiros usam esta relação no rádio de modulação de amplitude (AM) e na concepção de misturadores para conversão de frequência. O mesmo princípio fundamenta o fenómeno das batidas na acústica, onde duas bifurcação ligeiramente diferentes produzem uma variação rítmica na loudness.

Série Fourier e processamento de sinal

As séries Fourier representam sinais periódicos como somas infinitas de sinos e cossenos. A ortogonalidade destas funções de base — comprovada com as identidades produto- a- soma derivadas das fórmulas de adição — permite uma decomposição eficiente dos sinais. A transformada de cosseno discreta (DCT), amplamente utilizada na compressão de imagens e áudio (JPEG, MP3), explora diretamente as propriedades de adição de cossenos. Ao quebrar um sinal nos seus componentes de frequência, o DCT reduz a redundância e permite a compressão com perdas com distorção perceptiva mínima. Para mais detalhes, veja o Artigo da Wikipédia sobre a transformação discreta de cosenos.

Mudança de Fase em Engenharia Elétrica

Na análise alternada do circuito de corrente (CA), a tensão e a corrente estão frequentemente fora de fase. As fórmulas de adição de cosseno permitem aos engenheiros combinar funções senoidais com diferentes ângulos de fase. Por exemplo, a soma de duas tensões com a mesma frequência, mas diferentes fases podem ser expressas como um cosseno único com uma magnitude e mudança de fase determinada pela identidade de adição. Isto simplifica a análise dos sistemas de potência e do desenho do filtro. Guia de Circuitos para operações de onda AC.

A lei dos cossenos, que generaliza o teorema de Pitágoras para qualquer triângulo, é derivada da fórmula de subtração cossena. Navegadores usam a lei dos cosenos na trigonometria esférica para calcular distâncias de grandes círculos entre pontos na Terra. Os astrônomos aplicam as mesmas identidades para calcular separações angulares entre objetos celestes. Essas aplicações práticas enfatizam a importância da adição e subtração de fórmulas além da matemática pura.

Resumo das Provas e Ligações

As fórmulas de adição e subtração cossenas não são fatos isolados; elas emergem naturalmente da geometria do círculo unitário, da álgebra de coordenadas usando distância e das propriedades algébricas de exponenciais complexos. A prova geométrica oferece intuição visual, a prova algébrica depende da distância euclidiana e da lei dos cossenos, e a fórmula de Euler revela uma profunda ligação entre trigonometria e análise complexa. Cada prova valida o mesmo resultado, reforçando a consistência da matemática.

Para os que buscam mais estudo, a Academia Khan Secção de trigonometria fornece prática interativa, enquanto Página do MathWorld sobre fórmulas trigonométricas de adição O domínio destas provas equipa alunos e profissionais com uma base sólida para trabalhos avançados em ciência, engenharia e matemática.