Additionnons, multiplions...

On peut les additionner, en additionnant leur partie réelle et leur partie imaginaire :
$(a + ib) + (c + id) = (a + c) + i(b + d)$
On obtient bien un nombre complexe (de la forme $a + ib$).

Voyons ce que cela donne visuellement :

Si vous avez déjà vu les vecteurs, vous pouvez remarquer que les nombres complexes s’additionnent comme des vecteurs.

Soustrayons

Peut-on alors, comme dans les nombres réels, trouver l’opposé d’un nombre complexe ? Cela nous permettrait d’utiliser aussi la soustraction. Si on a un nombre $z$, quel nombre faut-il lui additionner pour obtenir $0$ ? Graphiquement, on le voit très bien, et vous pouvez vérifier en faisant le calcul, que l’opposé de $a + ib$, c’est le nombre $-a -ib$.

Comment multiplier deux nombres complexes ? Par exemple $(a + ib) \times (c + id)$.
Sans plus de difficulté qu’avec les nombres réels. Vu que $a, b, c$ et $d$ sont des réels, nous allons utiliser la double distributivité, en n’oubliant pas que $i^2 = -1$. Ce qui nous donne :

On obtient toujours un nombre complexe (de la forme $a + ib$). Voyons ce que cela nous donne graphiquement :

Qu’observe-t-on ? En multipliant deux nombres, on multiplie leur module et on ajoute leur argument. On le voyait déjà avec la multiplication par $i$ : cette multiplication consistait à faire une rotation de $90°$, qui est l’argument de $i$. De même, multiplier par un nombre $z$ consiste à effectuer une rotation d’angle $arg(z)$, et a multiplier le module du nombre par $|z|$.

Divisons

Peut-on alors diviser deux nombres complexes ? Essayons de trouver le résultat de l’opération $\displaystyle{\frac{a + ib}{c + id}}$.
On devrait trouver un nombre de la forme $a' + ib'$. Mais ce qui nous gêne pour l’instant, c’est le $i$ au dénominateur. Essayons de l’éliminer.
Pour cela, nous allons nous servir d’une identité remarquable (cela vous rappelle de vieux souvenirs, n’est-ce pas ?). Remarquez que si on effectue l’opération suivante :
$(a + ib)(a - ib)$, on obtient $a^2 + b^2$, une expression dans laquelle on a éliminé $i$.
Multiplions donc le numérateur et le dénominateur par $c - id$, pour éliminer l’unité imaginaire du dénominateur :
$\frac{a + ib}{c + id} = \frac{(a + ib)(c - id)}{(c + id)(c - id)} = \frac{(ac + bd)}{c^2 + d^2} + i\frac{cb - ad}{c^2 + d^2}$

On obtient bien un nombre complexe.
PS : inutile de vous souvenir de cette formule par coeur, l’important c’est de savoir la retrouver.

La technique que je viens de vous présenter est d’ailleurs souvent utilisée lorsqu’on manipule des nombres complexes, au point que le nombre $c - id$ a eu droit à une dénomination spéciale :

Regardez ces deux nombres : leurs arguments sont opposés. Si on les multiplie, comme on l’a vu précédemment, on additionne leurs arguments, ce qui nous donne $0°$. Le résultat de la multiplication se trouve donc sur l’axe des réels, c’est un nombre réel ! Cela explique pourquoi cette technique nous permet d’éliminer la partie imaginaire dans le résultat.

Non, regardez le résultat : il ne peut exister que si ${c^2 + d^2}$ est différent de $0$. Donc si $c \neq 0$ et $d \neq 0$, donc si le diviseur ${c + id}$ est différent de $0 + 0i$, qui vaut $0$.

Avant de passer à la suite, remarquons que tout ce que nous faisons subir aux complexes s’appliquent aussi aux nombres réels. Les nombres réels ne sont finalement que des nombres complexes dont la partie imaginaire est nulle !

• un réel $a$ peut s’écrire sous la forme $a +0i$
• un réel possède un module, qui est égal à sa valeur absolue (c’est-à-dire sa distance par rapport à $0$, exactement comme les nombres complexes.
• un réel possède aussi un argument : s’il est positif, son argument vaut $0$, s’il est négatif, son argument vaut $\pi$.
• la multiplication des réels obéit aux mêmes règles "géométriques" que la multiplication des complexes. Lorsqu’on multiplie deux réels, on multiplie leur module, et on ajoute leurs arguments, ce qui justifie la règle des signes : multiplier par un nombre négatif revient à ajouter $\pi$ à l’argument du premier, donc donne un nombre négatif. La multiplication de deux nombres négatifs donne un argument égal à $\pi + \pi$, ce qui donne un angle de $0$, donc un nombre positif.

Il y a cependant une grosse différence entre $\mathbb R$ et $\mathbb C$ : il n’y a pas de relations d’ordre dans $\mathbb C$. En clair, on ne peut pas dire si un nombre est plus grand ou plus petit qu’un autre. Géométriquement, on le voit bien : sur la droite des réels, on peut aller de gauche à droite, du plus petit nombre vers le plus grand. Mais dans le plan complexe, comment ferait-on ?

Alors certes, on peut essayer d’en bricoler une, de relation d’ordre.
Il faut tout d’abord qu’elle soit compatible avec $\mathbb R$. On pourrait donc par exemple dire qu’un nombre est plus grand qu’un autre si sa partie réelle est plus grande. Mais cette règle seule ne permettrait pas de différencier $0$ et $i$ par exemple. Rajoutons donc une autre règle : si les parties réelles sont égales, le nombre ayant la plus grande partie imaginaire sera considéré comme le plus grand.

Nous avons donc créé une relation d’ordre parfaitement définie. Oui mais voilà, cette relation n’est pas compatible avec la multiplication. Rappelez-vous, la multiplication entraîne une rotation, donc par exemple la multiplication de deux nombres à parties réelles ou imaginaires positives peut donner un nombre à parties réelles ou imaginaires négatives… donc plus petit…

C’est pour cela qu’on n’utilise pas cette relation d’ordre sur $\mathbb C$. Qu’est-ce que cela change, me direz-vous ? Eh bien, beaucoup de choses :

• Sur $\mathbb R$, on a l’habitude de parler d’intervalles ($]a,b[$ par exemple). Or sur $\mathbb C$, cela n’a plus aucun sens de parler d’un nombre compris entre $a$ et $b$ !
• Lorsqu’on étudie des fonctions complexes, peut-on encore parler de fonction croissante ? décroissante ? de suites bornées ou majorées ?
• La notion de limite a-t-elle encore un sens ? (Que signifie «$z$ tend vers $0$ » dans $\mathbb C$ ?)

Bref, beaucoup de questions. Mais rassurez-vous, tout ne s’écroule pas. Au contraire, tout cela ouvre un autre monde, entièrement nouveau, celui de l’analyse complexe. Et un monde complet à découvrir, rien ne peut faire plus plaisir à un mathématicien.