ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 5 — Géométrie complexe · Formules de Moivre et d'Euler

Exercice 21

Démonstration

En utilisant les formules d'Euler, montrer que pour tout réel xx, cos⁡2(x)sin⁡2(x)=1−cos⁡(4x)8\cos^{2}(x)\sin^{2}(x)=\frac{1-\cos(4x)}{8}

Corrigé

On démontre ici l'égalité cos⁡2(x)sin⁡2(x)=1−cos⁡(4x)8\cos^2(x)\sin^2(x)=\dfrac{1-\cos(4x)}{8}.

Soit xx un réel quelconque. On applique les formules d'Euler au produit cos⁡(x)sin⁡(x)\cos(x)\sin(x) : cos⁡(x)sin⁡(x)=eix+e−ix2×eix−e−ix2i=(eix)2−(e−ix)24i=e2ix−e−2ix4i\begin{aligned} \cos(x)\sin(x) &= \frac{e^{ix}+e^{-ix}}{2}\times\frac{e^{ix}-e^{-ix}}{2i}\\ &= \frac{\left(e^{ix}\right)^2-\left(e^{-ix}\right)^2}{4i}\\ &= \frac{e^{2ix}-e^{-2ix}}{4i} \end{aligned} On élève alors cette égalité au carré, en remarquant que (4i)2=16i2=−16(4i)^2=16i^2=-16 : cos⁡2(x)sin⁡2(x)=(e2ix−e−2ix)2−16=e4ix−2e2ixe−2ix+e−4ix−16=e4ix+e−4ix⏞= 2cos⁡(4x)−2−16=2cos⁡(4x)−2−16\begin{aligned} \cos^2(x)\sin^2(x) &= \frac{\left(e^{2ix}-e^{-2ix}\right)^2}{-16}\\ &= \frac{e^{4ix}-2e^{2ix}e^{-2ix}+e^{-4ix}}{-16}\\ &= \frac{\overbrace{e^{4ix}+e^{-4ix}}^{=\,2\cos(4x)}-2}{-16}\\ &= \frac{2\cos(4x)-2}{-16} \end{aligned} On en déduit donc que pour tout réel xx : cos⁡2(x)sin⁡2(x)=1−cos⁡(4x)8\boxed{\cos^2(x)\sin^2(x)=\frac{1-\cos(4x)}{8}}

Dans l'édifice

Thèmes

forme trigonométrique, formules d'euler

Notions

π, cosinus et sinus

Ouvrir dans l'atlas interactif →