ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 4 — Nombres complexes et trigonométrie · Racines nn-ièmes

Exercice 39

DémonstrationCalcul

Résoudre dans ℂ\mathbb{C} les équations suivantes, où n⩾2n \geqslant 2 est un entier.

(a) (z−1)5=(z+1)5(z - 1)^{5} = (z + 1)^{5}

(b) (z+i)n=(z−i)n(z + \mathrm{i})^{n} = (z - \mathrm{i})^{n}

(c) 27(z−1)6+(z+1)6=027(z - 1)^{6} + (z + 1)^{6} = 0

Pour la deuxième, montrer que toutes les solutions sont réelles, et les exprimer à l'aide de la fonction tangente.

Corrigé

(a) Le réel z=1z = 1 n'est pas solution. Pour z≠1z \neq 1, l'équation s'écrit w5=1w^{5} = 1 avec w=z+1z−1w = \frac{z + 1}{z - 1}, et w≠1w \neq 1. Donc w=e2ikπ/5w = \mathrm{e}^{2\mathrm{i} k\pi/5} avec k∈[ ⁣[1 ;4] ⁣]k \in [\![1\,;4]\!], et z=w+1w−1z = \frac{w + 1}{w - 1} ; l'angle moitié donne w+1w−1=2cos⁡(kπ/5)2isin⁡(kπ/5)\frac{w + 1}{w - 1} = \frac{2\cos(k\pi/5)}{2\mathrm{i}\sin(k\pi/5)}. z=−i cos⁡(kπ/5)sin⁡(kπ/5), k∈[ ⁣[1 ;4] ⁣]\boxed{z = -\mathrm{i}\,\frac{\cos(k\pi/5)}{\sin(k\pi/5)},\ k \in [\![1\,;4]\!]} Ce sont quatre imaginaires purs : l'équation est de degré 44, puisque les termes en z5z^{5} se simplifient.

(b) De même, z=iz = \mathrm{i} n'est pas solution, et w=z+iz−iw = \frac{z + \mathrm{i}}{z - \mathrm{i}} vérifie wn=1w^{n} = 1, w≠1w \neq 1, d'où z=i w+1w−1z = \mathrm{i}\,\frac{w + 1}{w - 1}. Avec w=e2ikπ/nw = \mathrm{e}^{2\mathrm{i} k\pi/n}, on obtient z=cos⁡(kπ/n)sin⁡(kπ/n)=tan⁡(π2−kπn), k∈[ ⁣[1 ;n−1] ⁣]\boxed{z = \frac{\cos(k\pi/n)}{\sin(k\pi/n)} = \tan\Big(\frac{\pi}{2} - \frac{k\pi}{n}\Big),\ k \in [\![1\,;n-1]\!]} Toutes les solutions sont réelles, et elles sont distinctes, car la tangente est injective sur ]−π2 ,π2[]-\frac{\pi}{2}\,,\frac{\pi}{2}[.

(c) On a (z+1z−1)6=−27=27 eiπ\big(\frac{z + 1}{z - 1}\big)^{6} = -27 = 27\,\mathrm{e}^{\mathrm{i}\pi}, donc w=z+1z−1=3 eiφw = \frac{z + 1}{z - 1} = \sqrt{3}\,\mathrm{e}^{\mathrm{i}\varphi} avec φ=π6+kπ3\varphi = \frac{\pi}{6} + \frac{k\pi}{3}, k∈[ ⁣[0 ;5] ⁣]k \in [\![0\,;5]\!]. Alors z=w+1w−1=(w+1)(w‾−1)∣w−1∣2=∣w∣2−1−2iIm⁡w∣w∣2−2Re⁡w+1=1−i3sin⁡φ2−3cos⁡φ,z = \frac{w + 1}{w - 1} = \frac{(w + 1)(\overline{w} - 1)}{|w - 1|^{2}} = \frac{|w|^{2} - 1 - 2\mathrm{i}\operatorname{Im} w}{|w|^{2} - 2\operatorname{Re} w + 1} = \frac{1 - \mathrm{i}\sqrt{3}\sin\varphi}{2 - \sqrt{3}\cos\varphi}, et les six valeurs de φ\varphi donnent z∈{2±i3,  1±i32,  2±i37}\boxed{z \in \Big\{2 \pm \mathrm{i}\sqrt{3},\ \ \frac{1 \pm \mathrm{i}\sqrt{3}}{2},\ \ \frac{2 \pm \mathrm{i}\sqrt{3}}{7}\Big\}}

À retenir : une équation de la forme An=BnA^{n} = B^{n}, ou An=cBnA^{n} = cB^{n}, se ramène aux racines nn-ièmes par le quotient AB\frac{A}{B}, après avoir écarté les valeurs qui annulent BB.

Ouvrir dans l'atlas interactif →