Formule di Werner

Si tratta di tre formule che permettono di trasformare il prodotto di due seni, due coseni o di un seno per un coseno nella somma o nella differenza:


Si ottengono dalle tre formule che compaiono durante la dimostrazione delle formule di prostaferesi:

cos(m+b) - cos(m-b) = - 2sinmsinb

cos(m+b) + cos(m-b) = 2cosmcosb

sin(m+b) + sin(m-b) = 2sinmcosb