In trigonometria, formule che permettono di trasformare somma e differenze di funzioni trigonometriche di due angoli in un prodotto di funzioni trigonometriche