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