1 Montrer que : \(\forall\ x \in \R,\ |\sin x| = \frac8\pi\sum_{n=1}^\infty \frac{\sin^2nx}{4n^2-1}\).