Le formule di Werner risolvono il problema inverso rispetto a quello delle formule di prostaferesi, cioè permettono di trasformare espressioni contenenti prodotti di funzioni seno e coseno in somme o differenze di funzioni seno e coseno.
$$\operatorname{sen} \alpha \cos \beta=\frac{1}{2}[\operatorname{sen}(\alpha+\beta)+\operatorname{sen}(\alpha-\beta)]$$
$$\cos \alpha \cos \beta=\frac{1}{2}[\cos (\alpha+\beta)+\cos (\alpha-\beta)]$$
$$\operatorname{sen} \alpha \operatorname{sen} \beta=\frac{1}{2}[\cos (\alpha-\beta)-\cos (\alpha+\beta)]$$
ESEMPIO
$$
\begin{aligned}
\cos \frac{5}{12} \pi \cos \frac{\pi}{12} &=\frac{1}{2}\left[\cos \left(\frac{5}{12} \pi+\frac{\pi}{12}\right)+\cos \left(\frac{5}{12} \pi-\frac{\pi}{12}\right)\right]=\frac{1}{2}\left(\cos \frac{\pi}{2}+\cos \frac{\pi}{3}\right)=\frac{1}{2}\left(0+\frac{1}{2}\right)=\frac{1}{4}
\end{aligned}
$$