Chapitre 24 — un nouvel ensemble $\mathbb{C}$ où $i^2=-1$ : forme algébrique, conjugué, module, et toute la géométrie du plan complexe.
Naviguez avec les flèches ← → du clavier, ou via le Sommaire.
Le plan complexe traduit la géométrie en calculs sur les nombres : souvent bien plus simples.
Il existe un ensemble $\mathbb{C}\supset\mathbb{R}$ et un nombre $i$ vérifiant $i^2=-1$. Tout complexe s'écrit sous forme algébrique :
$a=\operatorname{Re}(z)$ est la partie réelle, $b=\operatorname{Im}(z)$ la partie imaginaire (un réel !). Si $a=0$, $z$ est imaginaire pur ($z\in i\mathbb{R}$).
Le point $M$ d'affixe $z=a+bi$ : abscisse $\operatorname{Re}(z)=a$, ordonnée $\operatorname{Im}(z)=b$.
Deux complexes sont égaux si, et seulement si, leurs parties réelles et imaginaires coïncident :
$z=0\iff\operatorname{Re}(z)=0$ et $\operatorname{Im}(z)=0$. La forme algébrique est unique : c'est ce qui autorise la méthode d'identification.
On remplace $-1$ par $i^2$ pour révéler une différence de carrés $A^2-B^2=(A-B)(A+B)$.
Pour calculer $i^n$, on regarde le reste de $n$ modulo $4$.
$2026=4\times 506+2$, donc $i^{2026}=(i^4)^{506}\times i^2=-1$.
Pour la forme algébrique d'un quotient, on multiplie haut et bas par le conjugué du dénominateur (qui le rend réel) :
$\dfrac{2+\sqrt{3}\,i}{5-2i}=\dfrac{(2+\sqrt{3}\,i)(5+2i)}{25+4}=\dfrac{10-2\sqrt{3}}{29}+\dfrac{4+5\sqrt{3}}{29}\,i.$
Le conjugué de $z=a+bi$ est $\overline{z}=a-bi$ : géométriquement, la symétrie par rapport à l'axe réel.
$M'$, symétrique de $M$ par rapport à l'axe réel, a pour affixe $\overline{z}=a-bi$.
$\overline{z+z'}=\overline{z}+\overline{z'}$, $\ \ \overline{zz'}=\overline{z}\,\overline{z'}$, $\ \ \overline{z'/z}=\dfrac{\overline{z'}}{\overline{z}}$, $\ \ \overline{z^{\,n}}=\overline{z}^{\,n}$.
Le point $M(a,b)$ a pour affixe $z_M=a+bi$ ; de même pour un vecteur $\vec{U}(a,b)$. Chaque complexe correspond à un unique point.
Une relation vectorielle se réécrit directement sur les affixes — souvent plus rapide qu'avec les coordonnées.
Le module est la distance $OM$ : $\ |z|=\sqrt{x^2+y^2}$.
Pour deux points $A(z_A)$ et $B(z_B)$ : $\ AB=|z_B-z_A|$. Le module mesure les longueurs.
En revanche $|z+z'|\neq|z|+|z'|$ en général (voir l'inégalité triangulaire).
$\mathbb{U}=\{z\mid |z|=1\}$ est stable par produit et inverse. Exemple : $\left|\left(\tfrac{1}{\sqrt2}+\tfrac{1}{\sqrt2}\,i\right)^{2026}\right|=1^{2026}=1.$
$|z-z_0|=r$ : cercle
$|z-z_1|=|z-z_2|$ : médiatrice
$|z-z_0|\lt r$ : disque ouvert de centre $\Omega(z_0)$. Distance : $AB=|z_B-z_A|$.
Triangle $OMN$ : un côté est plus court que la somme des deux autres.