Le formule di prostaferesi permettono di trasformare una somma di funzioni trigonometriche nel loro prodotto.
Le formule di prostaferesi sono:
Le formule di Werner permettono di trasformare un prodotto di funzioni trigonometriche nella loro somma.
Le formule di Werner sono: