\exo {\' Etablir une formule de trigonométrie} Montrer que l'égalité ci-dessous est vraie pour tout réel $x$~: $$ \big( \sin x + \cos x \big) ^2 = 1 + 2 \sin x \cos x $$ \finexo