Frmulas de Prostafrese

As Frmulas de Prostafrese tambm so conhecidas como Frmulas de Transformao em Produto. Existem situaes em que podemos obter o valor numrico de uma determinada expresso aplicando clculos diretos. Outras vezes precisamos transforma-la, ou fatorala para sua resoluo. Veremos agora algumas transformaes de soma e diferena de funes trigonomtricas em produto. Com isso, teremos recursos necessrios para adaptar algumas frmulas trigonomtricas ao clculo de logaritmos e realizar fatoraes, que so teis na resoluo de equaes trigonomtricas. Consideremos as Identidades Trigonomtricas abaixo: I Seno da Soma de Arcos: sen(a+b) = sen(a) cos(b) + sen(b) cos(a) II Seno da Diferena de Arcos: sen(a-b) = sen(a) cos(b) sen(b) cos(a) III Cosseno da Soma de Arcos: cos(a+b) = cos(a) cos(b) sen(a) sen(b) IV Cosseno da Diferena de Arcos: cos(a-b) = cos(a) cos(b) + sen(a) sen(b) Se combinarmos adequadamente essas identidades trigonomtricas, obteremos as chamadas Frmulas de Werner. Ento, se fizermos: I + II, I II, III + IV e III IV Obteremos: I + II sen(a+b) + sen(a-b) = sen(a) cos(b) + sen(b) cos(a) + sena(a) cos(b) sen(b) cos(a) sen(a+b) + sen(a-b) = 2 sen(a) cos(b) I II sen(a+b) - sen(a-b) = sen(a) cos(b) + sen(b) cos(a) - sena(a) cos(b) sen(b) cos(a) sen(a+b) - sen(a-b) = 2 sen(b) cos(a) III + IV

cos(a+b) + cos(a-b) = cos(a) cos(b) sen(a) sen(b) + cos(a) cos(b) + sen(a) sen(b) cos(a+b) + cos(a-b) = 2 cos(a) cos(b) III IV cos(a+b) - cos(a-b) = cos(a) cos(b) sen(a) sen(b) - cos(a) cos(b) + sen(a) sen(b) cos(a+b) - cos(a-b) = -2 sen(a) sen(b)

Se fizermos uma mudana de varivel nestas frmulas de Werner, onde:

(a+b) = p (a-b) = q

obtermos o sistema abaixo:

Resoluo do sistema: Somando membro a membro, obtemos:

Substituindo o valor de a na primeira equao, temos:

Se substituirmos os valores de a e b nas Frmulas de Werner, temos:

Que so as Frmulas de Transformao em Produto, de soma e diferena de senos e cossenos, tambm conhecidas como Frmulas de Prostafrese. Das frmulas de prostafrese, podemos deduzir as frmulas em relao s tangentes: