Formule di prostaferesi

In trigonometria, le formule di prostaferesi permettono di trasformare somme e differenze di funzioni trigonometriche di due angoli in un prodotto di funzioni trigonometriche.

La parola prostaferesi deriva dalla giustapposizione di due parole greche, prosthesis (πρόσθεσις) e aphairesis (ἀφαίρεσις), che significano rispettivamente "somma" e "sottrazione".

Le formule di prostaferesi furono definite, nella forma attualmente nota, da Johann Werner agli inizi del XVI secolo, tuttavia è probabile che, almeno in parte, fossero già note in precedenza.^[1]

Questa categoria di formule trigonometriche viene utilizzata poiché, in genere, conduce a una semplificazione dell'espressione trigonometrica studiata. Sono in particolare utili nella descrizione dei battimenti.

Le formule inverse delle formule di prostaferesi si chiamano formule di Werner, su cui si basa l'algoritmo di prostaferesi.