As Fórmulas de Prostaférese também são conhecidas como Fórmulas de Transformação em Produto.
Existem situações em que podemos obter o valor numérico de uma determinada expressão aplicando cálculos diretos. Outras vezes precisamos transforma-la, ou fatora-la para sua resolução.
Veremos agora algumas transformações de soma e diferença de funções trigonométricas em produto. Com isso, teremos recursos necessários para adaptar algumas fórmulas trigonométricas ao cálculo de logaritmos e realizar fatorações, que são úteis na resolução de equações trigonométricas.
Consideremos as Identidades Trigonométricas abaixo:
I – Seno da Soma de Arcos:
sen(a+b) = sen(a) cos(b) + sen(b) cos(a)
II – Seno da Diferença 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 Diferença de Arcos:
cos(a-b) = cos(a) cos(b) + sen(a) sen(b)
Se combinarmos adequadamente essas identidades trigonométricas, obteremos as chamadas Fórmulas de Werner. Então, 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 mudança de variável nestas fórmulas de Werner, onde:
obtermos o sistema abaixo:

Resolução do sistema:
Somando membro a membro, obtemos:
![clip_image002[4] clip_image002[4]](matematica/matematica-57ac2746dd1ae.gif?imgmax=800)

Substituindo o valor de a na primeira equação, temos:
![clip_image002[6] clip_image002[6]](matematica/matematica-57ac2746e02f6.gif?imgmax=800)
![clip_image004[4] clip_image004[4]](matematica/matematica-57ac2746e19e8.gif?imgmax=800)


Se substituirmos os valores de a e b nas Fórmulas de Werner, temos:
![clip_image002[10] clip_image002[10]](matematica/matematica-57ac2746e5c04.gif?imgmax=800)
![clip_image004[9] clip_image004[9]](matematica/matematica-57ac2746e70aa.gif?imgmax=800)
![clip_image002[12] clip_image002[12]](matematica/matematica-57ac2746e84c5.gif?imgmax=800)
![clip_image004[11] clip_image004[11]](matematica/matematica-57ac2746e98e4.gif?imgmax=800)
![clip_image002[14] clip_image002[14]](matematica/matematica-57ac2746eacf1.gif?imgmax=800)
![clip_image004[13] clip_image004[13]](matematica/matematica-57ac2746ec08f.gif?imgmax=800)
![clip_image002[16] clip_image002[16]](matematica/matematica-57ac2746ed3cf.gif?imgmax=800)
![clip_image004[15] clip_image004[15]](matematica/matematica-57ac2746ee64d.gif?imgmax=800)
Que são as Fórmulas de Transformação em Produto, de soma e diferença de senos e cossenos, também conhecidas como Fórmulas de Prostaférese.
Das fórmulas de prostaférese, podemos deduzir as fórmulas em relação às tangentes:
![clip_image002[18] clip_image002[18]](matematica/matematica-57ac2746ef83b.gif?imgmax=800)
![clip_image004[17] clip_image004[17]](matematica/matematica-57ac2746f0ac7.gif?imgmax=800)
![clip_image006[4] clip_image006[4]](matematica/matematica-57ac2746f1ce1.gif?imgmax=800)
![clip_image002[20] clip_image002[20]](matematica/matematica-57ac2746f2e9d.gif?imgmax=800)
![clip_image004[19] clip_image004[19]](matematica/matematica-57ac2746f3fb7.gif?imgmax=800)
![clip_image006[6] clip_image006[6]](matematica/matematica-57ac274700eaf.gif?imgmax=800)
Veja mais demonstrações aqui!