Où sont-ils ?

Une torture mentale

Allez, c’est parti, nous allons donc inventer un nouveau type de nombre…

Bon, en fait nous n’allons rien inventer du tout. Nous avons quelques siècles de retard…

En effet, c’est en 1545 que Jérôme Cardan, un mathématicien italien, publie un livre dans lequel il tente de résoudre le problème suivant : « Trouver deux nombres dont la somme est 10 et le produit 40 ».

Quelle mouche l’a piqué de vouloir résoudre un problème pareil ?

En fait ce problème peut avoir une utilité bien pratique. Imaginons que vous vouliez créer dans votre jardin un enclos rectangulaire de 40m240m^2 et que vous disposiez de 20m20m de palissade pour le clôturer. Quelles dimensions allez-vous choisir pour votre enclos ?

On cherche donc la longueur xx et la largeur yy de notre enclos. On sait que l’aire doit être égale à 4040, ce qui nous donne une première équation :

  • xy=40xy = 40

Le périmètre vaut 2020. On sait que x+yx + y représente la moitié du périmètre, donc vaut 1010. Ce qui nous donne notre deuxième équation :

  • x+y=10x + y = 10

On retrouve donc bien le problème de Cardan : "Trouver deux nombres dont la somme est 10 et le produit 40".

Nous nous retrouvons donc confrontés à un système d’équations à deux inconnues. Ce genre de problèmes nécessiterait un tuto entier pour bien le traiter. Je vais me contenter ici de vous donner une méthode : la substitution.

Comme à chaque fois que nous sommes confrontés à un problème nouveau, il faut essayer de nous ramener à une forme de problème déjà connue. Ici, nous aimerions donc bien retrouver des équations à une inconnue, avec lesquelles nous sommes familiers.
Regardez : nous avons x+y=10x + y = 10, nous pouvons donc exprimer yy en fonction de xx. Cela nous donne y=10xy = 10 - x. Remplaçons alors yy dans la première équation par son expression en fonction de xx (c’est la substitution dont je vous ai parlé).
Ce qui donne : x(10x)=40x(10 - x) = 40.

Eurekâ ! Nous avons maintenant une équation à une inconnue. Le reste du calcul devrait couler de source :

Nous avons : x(10x)=40x(10 - x) = 40
qui nous donne : 10xx2=4010x - x^2 = 40

Ce qui nous conduit à une équation du second degré ! Procédons comme nous savons faire, c’est-à-dire en regroupant tous les termes d’un côté pour avoir une expression égale à 00 :

x2+10x40=0- x^2 + 10x - 40 = 0
Nous retrouvons la forme ax2+bx+c=0ax^2 + bx + c = 0.
Premier réflexe, on calcule le discriminant :
Δ=b24ac=100160=60\Delta = b^2 - 4ac = 100 - 160 = -60
et ensuite on prend…

Et là, toutes vos alarmes clignotent en rouge : il n’y a pas de solution, le déterminant est négatif.

Ça, Cardan le savait. Cependant, il va faire un truc de fou : il va continuer la résolution de son équation, malgré « la torture mentale » (le mot est de lui1) que ces racines négatives lui inspirent. Il va tout simplement considérer que ces « racines impossibles » suivent les mêmes lois algébriques que les autres nombres.
1: Le terme qu’il a utilisé est dismissis incruciationibus. « Torture mentale » ? Cette traduction est controversée, certains pensent qu’il aurait voulu dire « les produits en croix étant enlevés ».

Il trouve donc deux solutions : x1=5+15 et x2=515x_1 = 5 + \sqrt{-15} \quad \text{ et }\quad x_2 = 5 - \sqrt{-15}

Solutions, vraiment ? Voyons voir : prenons x1x_1 et calculons y1y_1. Le calcul nous donne y1=10x1=515y_1 = 10 - x_1 = 5 - \sqrt{-15}.
Maintenant, calculons le produit de nos deux solutions :

x1×y1=(5+15)×(515)x_1 \times y_1 = (5 + \sqrt{-15}) \times (5 - \sqrt{-15})
=25515+515(15×15)= 25 - 5\sqrt{-15} + 5\sqrt{-15} - (\sqrt{-15} \times \sqrt{-15})
=25(15)2= 25 - (\sqrt{-15})^2

Si on considère que 15\sqrt{-15} se comporte comme n’importe quelle racine, c’est-à-dire que 152=15\sqrt{-15}^2 = -15, on obtient :
x1×y1=25(15)=40x_1 \times y_1 = 25 - (-15) = 40

On retrouve bien les conditions demandées au départ : la somme vaut 1010 et le produit vaut 4040. Notre équation avait bien des solutions !

Absolument fou ! Impensable !
Cardan termine d’ailleurs son problème par cette phrase :

Cette torture mentale achevée, en multipliant 5+155 + \sqrt{-15} par 5155 - \sqrt{-15}, cela donne 4040.
[…]
Et l’on pousse la subtilité arithmétique à une extrémité où, comme je l’ai dit, elle devient tellement subtile qu’elle est inutile.

Inutile, car il nous est impossible de construire notre enclos. À moins de pouvoir mesurer une longueur de (5+15)(5 + \sqrt{-15}) mètres… Si vous y arrivez, appelez-moi…

Mais c’était sans compter sur les équations du troisième degré. En effet, les mathématiciens vont s’apercevoir que pour résoudre une équation du troisième degré, il leur faut passer par une équation intermédiaire du second degré, dont il faudra prendre en compte toutes les solutions, même imaginaires, pour mener à bien la résolution finale.
Pour les plus curieux, cette méthode est présentée en annexe. Pour les autres, il faut retenir que les mathématiciens se retrouvent maintenant avec un nouveau nombre sur les bras : 1\sqrt{-1}

Cachez ces nombres que je ne saurais voir

Nous allons tout de suite voir l’un des plus gros problèmes posés par ce nombre :

Calculons 1×1\sqrt{-1} \times \sqrt{-1}. La réponse devrait être 1-1.
1=1×1=1×1=1=1-1 = \sqrt{-1} \times \sqrt{-1} = \sqrt{-1 \times -1} = \sqrt{1} = 1

On obtient 1=11 = -1 !

Est-ce une incohérence ? Nos nombres, à peine nés, sont-ils voués à disparaître ?
Non, le problème, c’est que l’on a appliqué la formule suivante : a×b=ab\sqrt{a} \times \sqrt{b} = \sqrt{ab}, qui est valable pour les nombres positifs, mais pas pour les nombres négatifs.

C’est un problème qui a torturé le grand Euler lui-même, au point qu’il a inventé une notation pour éviter l’écriture 1\sqrt{-1}. Ce nombre, il va le noter « ii », avec comme propriété que : i2=1\boxed{i^2 = -1}

Ainsi, hormis cette propriété qui le caractérise, ce nombre peut se manipuler comme n’importe quel autre nombre, sans difficultés particulières.

Pourquoi ii ?
Parce que c’est un nombre imaginaire, nom donné par Descartes par opposition aux nombres réels, pour souligner l’étrangeté de ces racines « impossibles ».

Descartes n’est pas le seul à trouver ces nombres étranges. On proposera même de faire de cette entité, non pas un nombre mais… un signe. Nous aurions donc eu le signe « + », le signe « - » et le signe « 1\sqrt{-1} ». Et tout comme on aurait des nombres tels que 33 ou 4-4, on aurait le nombre 212\sqrt{-1} ou 41-4\sqrt{-1}.
ii sera d’ailleurs nommé à ses débuts piu di meno, c’est-à-dire plus de moins, une sorte de nombre hybride ni positif, ni négatif…
Que devient alors la propriété i2=1i^2 = -1. Elle devient… une règle des signes. Tout comme on a « moins par moins donne plus » (meno fa meno da piu), on a « plus de moins fois plus de moins donne moins » (piu di meno fa piu di meno da meno).

buee_nombre_complexe

Abbé Buée, Mémoire sur les quantités imaginaires (1805)

Sortons du cadre...

Mais une question demeure : qu’est-elle donc, cette quantité, ni positive, ni négative ? Que représente ce signe ? La réponse donnée par le mathématicien suisse Argand (1768–1822) va vous surprendre : il s’agit du signe de la … perpendicularité !

Que vient faire la géométrie dans un problème purement algébrique (la résolution d’une équation) ?

Peut-être sans vous en rendre compte, vous faites de la géométrie lorsque vous utilisez des nombres. Vous savez par exemple que les nombres réels sont représentés sur une droite.

  • Pour faire 3+23 + 2 par exemple, vous vous placez sur le nombre 33, puis vous vous décalez de 22 vers la droite (vous faites une translation). Pour faire 323 - 2, vous vous déplacez au contraire de 22 vers la gauche.
  • Et pour les multiplications ? Elles représentent un agrandissement. Lorsque vous faites 3×53 \times 5, vous prenez la distance entre 00 et 33, et vous l’agrandissez 55 fois, pour arriver à 1515.
  • Et pour un nombre négatif ? Vous faites une rotation de 180° ! Regardez comment la règle des signes est représentée :

regle_des_signes

La règle des signes

La multiplication par 1-1 peut être vue comme une rotation de 180°. Deux rotations équivalent à un tour complet, ce qui explique que 1-1 multiplié par 1-1 donnent +1+1.
Pour i2=1i^2 = -1, nous devons chercher une rotation, qui combinée à elle-même, donne une rotation de 180°. Qu’est-ce donc, si ce n’est une rotation de 90° ?

i_fois_i_egal_moins
La multiplication par ii

Voilà donc la solution proposée par Argand : notre nombre ii se trouve en dehors de la droite : au-dessus du zéro, sur un axe perpendiculaire à la droite des réels ! Et il n’est pas seul. Tout comme la droite des réels, cette droite peut contenir plein de nouveaux nombres : 2i2i, 3.5i-3.5i, 2i\sqrt2i,…

Tout un monde s’ouvre à nous : en plus de la droite des réels, nous avons maintenant la droite des imaginaires, qui lui est perpendiculaire.

imaginaire_pur
La droite des imaginaires

Complexifions tout ça...

Ces nombres devraient pouvoir s’additionner. Par exemple, 2i+3i=5i2i + 3i = 5i, 2i3i=i2i - 3i = -i
Mais que vaut 3+2i3 + 2i. Et où se trouve ce nombre ?
Pour le savoir, revenons à notre représentation géométrique des additions sur la droite des nombres. Comment représentait-on l’opération 232 - 3 par exemple ?
Souvenez-vous : à partir de 00, on se translatait de 22 vers la droite (dans la direction des nombres positifs), puis de 33 vers la gauche (dans la direction des nombres négatifs), et on arrivait à notre résultat, 1-1.
Faisons pareil avec 3+2i3 + 2i : à partir de 00, translatons-nous de 33 vers la droite puis de 2 vers… vers le haut, dans la direction des nombres imaginaires.

a_plus_ib

En fait, il n’y a pas que sur nos deux droites qu’il existe des nombres, il en existe dans tout le plan ! Ce sont des nombres de la forme a+iba + ib, avec aa et bb des nombres réels, et ii l’unité imaginaire.

complexe
Le plan complexe

Ces nombres ont reçu un nom : les nombres complexes, qui sont composés d’une partie réelle (aa) et d’une partie imaginaire (bb), représentés dans le plan par un point de coordonnées (a,b)(a,b).

Ce plan est appelé plan complexe, ou plan d’Argand, en hommage à son découvreur.
De même, ce nouvel ensemble de nombres que nous venons de découvrir s’appelle l’ensemble des nombres complexes, que l’on note C\mathrm C.

Un nombre sans partie réelle, comme 2i2i, 4,32i4,32i ou 5i-5i, sera appelé nombre imaginaire pur.
A contrario, un nombre réel est un nombre avec partie imaginaire nulle (22 peut ainsi s’écrire 2+0i2 + 0i)

Représentations géométriques

Appelons notre nombre complexe zz.

forme_cmplx

z=a+ibz = a + ib

Ce nombre peut donc être représenté par ses coordonnées (a,b)(a, b) dans le plan : c’est ce qu’on appelle la représentation cartésienne.
Remarquons aussi qu’on peut le représenter par deux autres grandeurs géométriques :

  • une longueur : c’est la distance entre 00 et le point représentant ce nombre. On appelle cette grandeur le module du nombre complexe, noté z|z|.
    Comment est-elle calculée ? Si vous regardez bien le schéma, vous pouvez voir apparaître un triangle rectangle, de côtés aa et bb, et dont l’hypoténuse est le côté dont on aimerait calculer la longueur. Donc un bon vieux Pythagore va nous aider ! (Quand on vous disait que vous le retrouveriez partout, celui-là :) ).
    L’application du théorème de Pythagore nous donne donc : z=a2+b2|z| = \sqrt{a^2 + b^2}
  • un angle : c’est l’angle θ\theta sur la figure. On l’appelle l’argument du nombre complexe, noté arg(z)arg(z).
    Encore une fois, c’est le triangle rectangle que l’on voit sur la figure qui va nous aider à trouver l’argument, grâce à la trigonométrie, qui nous donne les deux formules suivantes :
    cosθ=aa2+b2sinθ=ba2+b2cos \theta = \frac{a}{\sqrt{a^2 + b^2}} \qquad sin \theta = \frac{b}{\sqrt{a^2 + b^2}}
    Ces deux formules permettent de retrouver la valeur de θ\theta.

Cette représentation par module et argument s’appelle la représentation polaire du nombre complexe.