ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 5 — Géométrie complexe · Pour aller plus loin

Exercice 27

DémonstrationCalcul

On veut résoudre l'équation d'inconnue z∈ℂz\in\mathbb{C} : (1)z5=z‾.(1) \qquad z^{5}=\overline{z}. Montrer que, si zz vérifie (1), alors zz est nul ou de module 11. Conclure ; on montrera en particulier que l'équation admet 77 solutions.

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 365

Corrigé

Si z5=z‾z^{5}=\overline{z}, alors ∣z∣5=∣z‾∣=∣z∣|z|^{5}=|\overline{z}|=|z|, donc ∣z∣(∣z∣4−1)=0|z|\left(|z|^{4}-1\right)=0 : ∣z∣=0|z|=0 ou ∣z∣=1|z|=1, puisque ∣z∣|z| est un réel positif.

Le nombre 00 est solution. Si ∣z∣=1|z|=1, alors zz‾=1z\overline{z}=1, donc z‾=1z\overline{z}=\dfrac{1}{z} et l'équation équivaut à z6=1z^{6}=1. D'après l'exercice 22, zz est l'une des six racines sixièmes de l'unité eikπ3e^{i\frac{k\pi}{3}}, k∈⟦0;5⟧k\in\llbracket 0;5\rrbracket, qui sont bien de module 11. Réciproquement, ces six nombres vérifient z5=z6z=1z=z‾z^{5}=\dfrac{z^{6}}{z}=\dfrac{1}{z}=\overline{z}. 𝒮={0}∪{eikπ3  ;  k∈⟦0;5⟧}\boxed{\mathcal{S}=\left\{0\right\}\cup\left\{e^{i\frac{k\pi}{3}}\;;\;k\in\llbracket 0;5\rrbracket\right\}} L'équation admet donc 77 solutions : 00 et les sommets de l'hexagone régulier de l'exercice 22.

Dans l'édifice

Thèmes

module

Notions

module (d'un complexe)

Ouvrir dans l'atlas interactif →