Note liminaire : Tout ce qui suit est une fiction narrative. Les résultats mathématiques et les œuvres citées sont historiquement documentés. Seule la conversation est inventée.
Pendant des millénaires, résoudre une équation du second degré était le sommet de l’algèbre. Al-Khwārizmī (IXe siècle, Bagdad) avait découvert que toute équation quadratique se résout en complétant le carré : on transforme \(x^2 + bx\) en un carré parfait \((x + b/2)^2\) en ajoutant ce qui manque. C’est le cœur de votre formule du discriminant.
Mon Ars Magna (1545) franchit un pas décisif : je publie une méthode générale pour résoudre les équations du troisième degré. Et la clé, c’est exactement la même idée, poussée un cran plus loin : au lieu de compléter le carré, on complète le cube. On pose \(x = u + v\) et on cherche \(u, v\) tels que \((u+v)^3 = u^3 + v^3 + 3uv(u+v)\) se simplifie — ce qui ramène la cubique à un système en \(u^3\) et \(v^3\) qu’on résout comme une quadratique.
La technique d’al-Khwārizmī pour le degré 2, transposée au degré 3 — voilà l’essence de ma formule.
Je dois être honnête : la formule n’est pas de moi seul. Tartaglia m’en a révélé le secret sous serment de ne pas la publier. Je l’ai publiée quand même — avec la justification que del Ferro l’avait trouvée avant lui. L’affaire a fait scandale.
Pour résoudre l'équation réduite \(x^3 + px + q = 0\) (toute cubique s’y ramène par changement de variable), Cardano donne :
Exemple : \(x^3 - 6x - 9 = 0\). Ici \(p = -6\), \(q = -9\).
Donc \(x = \sqrt[3]{\frac{9}{2} + \frac{7}{2}} + \sqrt[3]{\frac{9}{2} - \frac{7}{2}} = \sqrt[3]{8} + \sqrt[3]{1} = 2 + 1 = 3\). ✓
Tout va bien… tant que l’expression sous la racine carrée est positive.
Oui. Prenons l'équation \(x^3 - 15x - 4 = 0\). On peut vérifier que \(x = 4\) est solution — c’est un nombre parfaitement réel et raisonnable. Mais quand on applique ma formule :
On doit calculer \(\sqrt{-121}\). La racine carrée d’un nombre négatif !
J’ai écrit dans l'Ars Magna que ces quantités sont « aussi raffinées qu’inutiles ». Franchement, cela me dépasse. Comment un calcul qui passe par l’impossible peut-il aboutir à une réponse réelle ?
Note historique : C’est le « casus irreducibilis » (cas irréductible) : une cubique à trois racines réelles dont la formule de Cardano passe forcément par des racines carrées de nombres négatifs. Ce n’est pas un bug de la formule — on a démontré depuis qu’il est impossible d’exprimer ces racines par radicaux réels seuls. Le passage par les complexes est nécessaire.
J’ai cessé d’avoir peur. Là où Cardano voyait un obstacle, j’ai vu une invitation. J’ai décidé de faire comme si \(\sqrt{-1}\) existait — un nombre que j’appelle « più di meno » (« plus de moins ») — et de calculer en suivant les règles habituelles.
Reprenons l'équation de Cardano : \(x^3 - 15x - 4 = 0\). La formule donne :
J'écris \(\sqrt{-121} = 11\sqrt{-1}\). Puis je devine que \(\sqrt[3]{2 + 11\sqrt{-1}}\) pourrait s'écrire sous la forme \(a + b\sqrt{-1}\). Essayons \(a = 2\), \(b = 1\) :
De même, \(\sqrt[3]{2 - 11\sqrt{-1}} = 2 - \sqrt{-1}\). Donc :
Les \(\sqrt{-1}\) s’annulent et on retrouve \(x = 4\) ! Le passage par l’imaginaire était nécessaire pour atteindre le réel.
Vous avez traversé l’impossible pour revenir au possible. C’est… audacieux.
C’est plus que de l’audace. Dans mon Algebra (1572), j'établis les règles de calcul complètes pour ces nouveaux nombres :
Ce sont les premières règles de calcul sur ce que vous appelez aujourd’hui les nombres complexes.
Note historique : L'Algebra de Bombelli (1572) est le premier ouvrage à traiter les nombres complexes de façon systématique. Il faudra encore deux siècles pour que la théorie soit pleinement acceptée — Euler introduit la notation \(i\) pour \(\sqrt{-1}\) en 1777, et Gauss l’interprète géométriquement en 1831.
On définit \(i\) comme un nombre vérifiant \(i^2 = -1\). Ensuite, tout nombre complexe s'écrit :
Les règles de calcul découlent de là :
C’est exactement ce que Bombelli faisait — en notation moderne.
Attention : \(i\) n’est pas un nombre réel. Il ne se situe pas sur la droite des réels. Mais il se situe sur un plan — le plan complexe, où l’axe horizontal porte la partie réelle et l’axe vertical porte la partie imaginaire. Cette représentation géométrique (Argand, 1806 ; Gauss, 1831) est la clé de toute la théorie.
À mon époque, beaucoup les considéraient comme un tour de passe-passe. Mais regardez : ma méthode donne la bonne réponse. Si un calcul passe par des quantités « impossibles » et aboutit à un résultat vérifiable, alors ces quantités ne sont pas impossibles — elles sont simplement d’une nature différente de ce à quoi nous étions habitués.
Bombelli a raison. Les nombres négatifs aussi étaient considérés comme absurdes avant qu’on les accepte. Les irrationnels ont été un scandale chez les Grecs. À chaque élargissement de l’univers des nombres, les mathématiciens ont d’abord résisté, puis accepté quand la cohérence l’a emporté sur le préjugé.
Chaque élargissement répond à une équation qui n’avait pas de solution :
| Équation | Problème | Solution |
|---|---|---|
| \(x + 3 = 1\) | Pas de solution dans \(\mathbb{N}\) | On invente \(\mathbb{Z}\) (entiers négatifs) |
| \(2x = 3\) | Pas de solution dans \(\mathbb{Z}\) | On invente \(\mathbb{Q}\) (fractions) |
| \(x^2 = 2\) | Pas de solution dans \(\mathbb{Q}\) | On invente \(\mathbb{R}\) (irrationnels) |
| \(x^2 = -1\) | Pas de solution dans \(\mathbb{R}\) | On invente \(\mathbb{C}\) (complexes) |
Et \(\mathbb{C}\) est le dernier élargissement nécessaire : le théorème fondamental de l’algèbre (d’Alembert-Gauss) garantit que toute équation polynomiale a ses racines dans \(\mathbb{C}\). On n’a plus besoin d’aller plus loin.
Que j’ai eu la formule mais pas le courage. J’ai reculé devant \(\sqrt{-1}\) parce que mon intuition géométrique me disait que c'était absurde. Bombelli a eu l’intelligence de suivre le calcul là où il menait, même quand l’intuition protestait. C’est une leçon pour tout mathématicien : il faut parfois faire confiance aux symboles plus qu’aux images.
Et moi, je n’aurais rien fait sans vous, Cardano. C’est votre formule qui a créé le problème — et sans problème, pas de solution. Les nombres complexes ne sont pas nés d’une spéculation abstraite. Ils sont nés d’une nécessité : la formule l’exigeait, et les mathématiques ont obéi.
| Date | Auteur | Contribution |
|---|---|---|
| vers 1510 | Del Ferro (Bologne) | Découvre la formule de la cubique, la garde secrète |
| 1535 | Tartaglia (Brescia) | Redécouvre la formule, la révèle à Cardano sous serment |
| 1545 | Cardano (Milan) | Publie la formule dans l'Ars Magna ; bute sur \(\sqrt{-1}\) |
| 1572 | Bombelli (Bologne) | Ose calculer avec \(\sqrt{-1}\), établit les règles de \(\mathbb{C}\) |
| 1777 | Euler (Suisse) | Introduit la notation \(i\) pour \(\sqrt{-1}\) |
| 1806 | Argand (France) | Représentation géométrique : le plan complexe |
| 1831 | Gauss (Allemagne) | Théorie complète de \(\mathbb{C}\), théorème fondamental de l’algèbre |
Idée centrale : Les nombres complexes ne sont pas une fantaisie de mathématicien. Ils sont nés d’une nécessité algébrique : la résolution des équations cubiques. Cardano a posé le problème, Bombelli a osé la solution. Aujourd’hui, \(\mathbb{C}\) est indispensable en physique (mécanique quantique), en électronique (signal), en aérodynamique, et bien sûr en mathématiques pures.