L'Ensemble des Nombres Complexes : Cours Complet et Encyclopédique

Introduction à l'Ensemble des Nombres Complexes

L'ensemble des nombres complexes, noté $\mathbb{C}$, est une extension de l'ensemble des nombres réels $\mathbb{R}$. Tout nombre complexe $z$ peut s'écrire sous sa forme algébrique de type $z = a + ib$, où $a$ et $b$ sont des nombres réels et $i$ est l'unité imaginaire définie par la relation fondamentale $i^2 = -1$. Dans cette écriture, $a$ représente la partie réelle, notée $\text{Re}(z)$, et $b$ représente la partie imaginaire, notée $\text{Im}(z)$.

Les règles de calcul dans $\mathbb{C}$ sont identiques à celles utilisées dans $\mathbb{R}$, à l'exception notable de la gestion de l'unité imaginaire $i$. Il est impératif de noter qu'il n'existe pas de relation d'ordre naturelle dans $\mathbb{C}$ ; ainsi, on ne peut pas comparer deux nombres complexes à l'aide des symboles d'inégalité ($<$, $>$). Un nombre complexe est dit imaginaire pur si sa partie réelle est nulle ($a = 0$), et il est réduit à un nombre réel si sa partie imaginaire est nulle ($b = 0$).

Représentation Géométrique et Notion d'Affixe

Le plan complexe est un plan muni d'un repère orthonormé direct $(O, \vec{u}, \vec{v})$. Chaque nombre complexe $z = a + ib$ est associé de manière unique à un point $M$ de coordonnées $(a, b)$, appelé image de $z$. Inversement, le nombre complexe $z$ est appelé l'affixe du point $M$, noté $M(z)$ ou $z_M$.

Cette correspondance s'étend aux vecteurs. Si on considère un vecteur $\vec{w}$ de coordonnées $(x, y)$, son affixe est le nombre complexe $z_{\vec{w}} = x + iy$. Pour deux points $A$ et $B$ d'affixes respectives $z_A$ et $z_B$, l'affixe du vecteur $\vec{AB}$ est donnée par la formule $z_{\vec{AB}} = z_B - z_A$. Ces propriétés permettent de traduire des configurations géométriques par des calculs algébriques complexes.

Conjugué et Module d'un Nombre Complexe

Soit un nombre complexe $z = a + ib$. On appelle conjugué de $z$, noté $\bar{z}$, le nombre complexe défini par $\bar{z} = a - ib$. Géométriquement, l'image de $\bar{z}$ est le symétrique de l'image de $z$ par rapport à l'axe des abscisses (l'axe réel).

Le module d'un nombre complexe $z$, noté $|z|$, est un nombre réel positif ou nul défini par la formule $|z| = \sqrt{a^2 + b^2}$. Géométriquement, le module $|z|$ correspond à la distance entre l'origine $O$ et le point $M$ d'affixe $z$, soit $|z| = OM$. Par extension, la distance entre deux points $A$ et $B$ du plan complexe est égale au module de la différence de leurs affixes, soit $AB = |z_B - z_A|$.

Pour illustrer ces concepts, considérons les points $A$, $B$ et $C$. Pour déterminer la nature d'un triangle $ABC$, on calcule les distances $AB$, $AC$ et $BC$ en utilisant les modules. Par exemple, si $AB = AC$, le triangle est isocèle en $A$. Si les distances vérifient le théorème de Pythagore (comme $AB^2 + AC^2 = BC^2$), le triangle est rectangle.

Argument et Forme Trigonométrique

Soit $z$ un nombre complexe non nul d'image $M$. On appelle argument de $z$, noté $\arg(z)$, toute mesure $\theta$ en radians de l'angle orienté entre le vecteur de base $\vec{u}$ et le vecteur $\vec{OM}$. Cette valeur est définie à un multiple de $2\pi$ près, ce que l'on note $\arg(z) \equiv \theta \pmod{2\pi}$.

La forme trigonométrique d'un nombre complexe met en relation son module $r = |z|$ et son argument $\theta$. Elle s'écrit $z = r(\cos(\theta) + i\sin(\theta))$. Le passage de la forme algébrique $a + ib$ à la forme trigonométrique se fait par les relations suivantes :

$\cos(\theta) = \frac{a}{r}$

$\sin(\theta) = \frac{b}{r}$

Ces formules permettent d'identifier l'angle $\theta$ à partir des valeurs du cosinus et du sinus, souvent en s'appuyant sur les valeurs remarquables du cercle trigonométrique.

Forme Exponentielle et Propriétés de Calcul

En utilisant la notation d'Euler, le nombre complexe $\cos(\theta) + i\sin(\theta)$ est noté $e^{i\theta}$. Ainsi, tout nombre complexe non nul peut être écrit sous sa forme exponentielle $z = r e^{i\theta}$, où $r = |z|$ est le module et $\theta = \arg(z)$ est l'argument.

Cette notation est extrêmement efficace pour les opérations de multiplication, de division et de puissance. Par exemple, si nous avons deux nombres complexes $z = r e^{i\theta}$ et $z' = r' e^{i\theta'}$, leur produit est donné par $z \times z' = (rr') e^{i(\theta + \theta')}$. Pour les puissances, on utilise la formule de Moivre qui s'exprime très simplement sous forme exponentielle : $(r e^{i\theta})^n = r^n e^{in\theta}$. Ces propriétés simplifient considérablement l'étude des transformations géométriques et des rotations dans le plan.