Formule di Werner

In trigonometria, le formule di Werner permettono di trasformare prodotti di funzioni trigonometriche di due angoli in somme e differenze di funzioni trigonometriche. Prendono il nome dal matematico tedesco Johann Werner che le definì agli inizi del XVI secolo. Le formule inverse delle formule di Werner si chiamano formule di prostaferesi.

Questa categoria di formule trigonometriche è raramente utilizzata nella risoluzione di equazioni trigonometriche, poiché, in genere, porta a una formulazione più complessa dell'espressione matematica.

Il valore di queste formule risiede, tuttavia, nel ruolo fondamentale che esse rivestono nell'algoritmo di prostaferesi che storicamente è stato uno degli strumenti che hanno permesso ad astronomi e naviganti di semplificare l'esecuzione manuale di moltiplicazioni.

Inoltre, le formule di Werner sono usate in radiotecnica per descrivere la formazione delle bande laterali nei segnali in modulazione di ampiezza.

È necessario aver presente, nel leggere testi in inglese, che l'evoluzione del linguaggio adottato dai matematici anglofoni ha portato a definire queste formule Prosthaphaeresis Formulas^[1] (traduzione letterale: Formule di prostaferesi) e a definire Werner Formulas (traduzione letterale: Formule di Werner) quelle che in italiano si indicano con il nome Formule di prostaferesi.