De la « chose » inconnue des scribes à la lettre x de Descartes : quatre mille ans pour apprendre à résoudre des équations, puis à les écrire, et enfin à comprendre pourquoi certaines résistent. Chaque méthode historique est rejouée sur une planche et contrôlée par le calcul.
De quoi parle-t-on ?
L'algèbre est l'art de calculer avec une quantité inconnue comme si on la connaissait, pour la retrouver. Le mot vient du titre d'un livre de Bagdad, vers 820 : al-jabr wa-l-muqābala, « la restauration et la comparaison ». Son histoire tient en quatre questions, qui structurent cette page.
Deviner
Comment trouver un nombre inconnu sans écrire d'équation ? Les essais corrigés d'Égypte et de Chine. Planche 1.
Résoudre
Une recette pour le second degré, justifiée par un découpage de carré : Babylone, puis al-Khwārizmī. Planche 2.
Écrire
Comment passer de phrases entières à x² + 10x = 39 ? Diophante, Viète, Descartes. Planche 3.
Dépasser
Le troisième degré et ses racines « impossibles » (1545), puis le mur du cinquième degré : on apprend alors à compter et à approcher les racines. Planches 4 et 5.
Le scribe ne pose pas d'équation : il essaie un nombre commode, regarde ce qu'il obtient, puis corrige par une règle de trois. Pour « un tas et son septième font 19 », il essaie 7 : 7 + 1 = 8 au lieu de 19, donc il faut multiplier l'essai par 19/8. C'est la simple fausse position. Elle est exacte dès que le résultat est proportionnel à l'inconnue. Quand il ne l'est pas, les Chinois font deux essais et combinent les erreurs : c'est la double fausse position, que Fibonacci appellera elchataym, d'après l'arabe.
Bleu : ce que donne chaque valeur essayée. Vert : le résultat voulu. Orange : les essais. Rouge : la valeur corrigée. Pour la simple fausse position, les deux triangles grisés sont semblables : c'est la règle de trois.
Essai(s) et résultat obtenu
—
Valeur corrigée
—
Écriture à l'égyptienne
—
Contrôle : on reporte la valeur dans l'énoncé
—
Ce qu'il faut voir. Changez l'essai : dans les trois premiers problèmes et dans l'achat chinois, la réponse ne bouge pas d'un iota, car le résultat est proportionnel (ou affine) à l'inconnue — la droite bleue le montre. Avec le problème babylonien, la courbe est une parabole : deux essais donnent seulement une approximation, qu'il faut répéter. La fausse position est donc une méthode d'arithmétique ; pour le second degré, il fallait autre chose.
Problème : « un carré et dix de ses côtés font 39 », soit x² + 10x = 39. Le scribe de Babylone donne une recette en cinq gestes ; al-Khwārizmī la justifie par une figure. On coupe le rectangle de 10 sur x en deux moitiés, on en déplace une sous le carré, et il manque un petit coin de 5 sur 5 pour obtenir un grand carré. On l'ajoute des deux côtés : 39 + 25 = 64, le grand carré a pour côté 8, donc x = 8 − 5 = 3.
Bleu : le carré inconnu x². Orange : les b rectangles de côté x, coupés en deux moitiés. Vert : le coin (b/2)² qu'on ajoute. Rouge : le grand carré complété, de côté x + b/2. À droite, la recette du scribe, éclairée pas à pas.
Aire du grand carré c + (b/2)²
—
Côté du grand carré
—
x = côté − b/2
—
Contrôle x² + bx − c
—
L'autre solution, ignorée
—
Al-jabr et al-muqābala : ramener toute équation à six formes
Al-Khwārizmī n'admet que des quantités positives. Une équation qui contient un terme « manquant » (soustrait) doit d'abord être restaurée : c'est al-jabr, on ajoute ce qui manque des deux côtés. Puis on compare les deux plateaux et on retire ce qui est commun : c'est al-muqābala. On ramène enfin à un seul carré. Il reste alors six formes, chacune avec sa recette.
Les deux membres sont deux plateaux en équilibre. Carré bleu : les carrés x² ; barre orange : les racines x ; pièces vertes : les nombres (dirhams). Un terme en pointillé rouge est « manquant » (soustrait).
Étape
—
Solutions admises
—
Contrôle dans l'équation de départ
—
Ce qu'il faut voir. La figure est une démonstration : l'aire c + (b/2)² se lit sur le dessin, et le contrôle x² + bx − c tombe à zéro (aux arrondis près pour une racine irrationnelle). Mais elle ne voit qu'une solution : la seconde, négative, n'a pas de sens pour une longueur. Il faudra attendre Brahmagupta (628) en Inde, puis l'Europe du XVIIᵉ siècle, pour qu'on l'accepte. Les six formes d'al-Khwārizmī n'existent que parce que les nombres négatifs étaient refusés : avec eux, une seule équation ax² + bx + c = 0 suffit.
3
Écrire l'équation : de la phrase au symbole
De Diophante (vers 250) à Descartes (1637)
Pendant des siècles, l'algèbre s'écrit en phrases : c'est l'algèbre rhétorique. Diophante, puis les maîtres d'abaque italiens, abrègent les mots les plus fréquents : c'est l'algèbre syncopée. Viète (1591) a l'idée décisive de désigner par des lettres les inconnues et les quantités données ; Descartes (1637) fixe l'usage de x et des exposants : l'algèbre devient symbolique. Choisissez une équation x² + bx = c et parcourez les époques.
En haut, l'équation telle qu'on l'aurait écrite à l'époque choisie (reconstitution fidèle aux usages de chaque auteur, pas citation d'un texte). En bas, la frise des notations : points bleus pour les écritures, traits rouges pour l'apparition des symboles.
Auteur et date
—
Style
—
Longueur (caractères, espaces compris)
—
Lexique
—
Ce qu'il faut voir. L'écriture ne suit pas une ligne droite : Diophante abrégeait dès le IIIᵉ siècle, et al-Khwārizmī revient à la phrase entière cinq siècles plus tard. Comparez les longueurs : la phrase rhétorique est trois à quatre fois plus longue que l'écriture moderne. Surtout, la notation symbolique permet de calculer sur l'écriture elle-même, sans relire le sens de chaque mot : c'est elle qui rendra possibles les formules générales.
4
Le défi du troisième degré : Cardan, Tartaglia, Bombelli
Del Ferro (vers 1515), Tartaglia (1535), Cardan, Ars magna (1545), Bombelli (1572), Viète (1593)
Au XVIᵉ siècle, les mathématiciens italiens s'affrontent en défis publics. Tartaglia sait résoudre x³ + px = q ; il confie sa méthode à Cardan, qui la publie en 1545. On pose x = u + v avec uv = −p/3 : u³ et v³ sont alors les deux racines d'une équation du second degré, et l'on obtient la formule de Cardan : x = ∛(q/2 + √D) + ∛(q/2 − √D), avec D = (q/2)² + (p/3)³. Mais quand D est négatif, la formule demande la racine carrée d'un nombre négatif — alors même que l'équation a trois solutions bien réelles. C'est le cas irréductible, que Bombelli résout en 1572 en osant calculer avec ces quantités « impossibles ».
La courbe y = x³ + px − q : ses points sur l'axe sont les solutions réelles (rouge).
Plan des nombres complexes : les trois racines cubiques u (bleu) et les v = −p/(3u) correspondants (orange). Chaque solution x = u + v (rouge) est le bout de la flèche u puis v.
D = (q/2)² + (p/3)³
—
Formule de Cardan, avec les nombres
—
Solutions par la formule
—
Contrôle par dichotomie sur la courbe
—
Cas irréductible : Bombelli (1572) et Viète (1593)
—
Ce qu'il faut voir. Avec Bombelli (p = −15, q = 4), D = −121 : la formule passe par √−121, pourtant la courbe coupe l'axe trois fois. Les deux racines cubiques sont 2 + i et 2 − i, dont la somme vaut 4 : l'imaginaire disparaît. Les nombres complexes sont nés là, non pour résoudre x² = −1, mais pour justifier une formule qui donnait des solutions réelles. Viète trouvera en 1593 une autre voie, par le cosinus de l'angle tiers, qui évite l'imaginaire : les deux méthodes concordent à l'arrondi près.
5
Le mur du cinquième degré : compter et approcher les racines
Descartes (1637), Newton (1669), Sturm (1829), Cayley (1879) — après Abel (1824) et Galois (1832)
Ferrari résout le quatrième degré dès 1545. Puis tout bute sur le cinquième : Ruffini (1799), Abel (1824) puis Galois (1832) démontrent qu'aucune formule générale avec des racines n'existe à partir du degré 5. L'algèbre change alors de question : au lieu de chercher une formule, on apprend à compter les racines sans les calculer, et à les approcher aussi près que l'on veut. Deux onglets rejouent ces deux réponses.
Descartes (1637) : le nombre de racines positives est au plus le nombre de changements de signe dans la suite des coefficients, et il en diffère d'un nombre pair. Sturm (1829) va plus loin : à partir de P et de sa dérivée, il construit une suite de polynômes (par des divisions euclidiennes successives) dont les changements de signe en a et en b donnent exactement le nombre de racines entre a et b. Tous les calculs sont faits ici en fractions exactes.
En haut, les signes des coefficients ; un arc rouge marque chaque changement de signe. En bas, la courbe de P ; la bande jaune est l'intervalle ]a ; b], les racines réelles sont en rouge.
Descartes : changements de signe de P(x) et de P(−x)
—
Racines réelles distinctes (Sturm, de −∞ à +∞)
—
Racines dans ]a ; b] (Sturm)
—
Contrôle : racines trouvées numériquement
—
Newton (vers 1669) améliore une valeur approchée en suivant la tangente : z ← z − P(z)/P′(z). Près d'une racine, le nombre de décimales justes double à chaque pas. En 1879, Cayley se demande quelle racine on atteint selon le point de départ, dans le plan complexe. Pour z² − 1, la réponse est simple ; pour z³ − 1, il avoue ne pas savoir. On sait aujourd'hui pourquoi : les frontières des bassins d'attraction sont des fractales.
Chaque point du plan est coloré selon la racine (point blanc) vers laquelle la méthode de Newton le conduit ; plus la teinte est sombre, plus il a fallu d'itérations. Gris foncé : pas de convergence en 60 pas. Cliquez pour voir le trajet d'un point de départ.
Part du disque central attirée par chaque racine
—
Départs qui ne convergent pas
—
Itérations moyennes
—
Orbite cliquée (écart à la racine à chaque pas)
Cliquez dans la figure.
Ce qu'il faut voir. Pour x⁵ − x − 1, aucune formule n'existe, mais Sturm dit sans hésiter qu'il y a exactement une racine réelle, et la recherche numérique la trouve (1,1673…). Descartes ne donne qu'une borne ; Sturm donne le compte exact, et les deux concordent toujours avec le calcul. Côté Newton, la symétrie de z³ − 1 partage le plan en trois parts égales — mesurées à quelques millièmes près — mais leurs frontières s'enroulent à l'infini : agrandissez. Avec z³ − 2z + 2, un domaine entier de départs tourne en rond entre 0 et 1 sans jamais converger. Approcher une racine est facile ; savoir d'où l'on part ne l'est pas.
Frise : vingt-huit jalons de l'algèbre
En trois idées
Des recettes aux preuves
Babylone donnait des recettes ; al-Khwārizmī les justifie par des figures, puis Cardan par des cubes découpés. La justification géométrique précède la justification symbolique.
La notation est un outil
Écrire x² + 10x = 39 au lieu d'une phrase n'est pas une coquetterie : c'est ce qui permet de manipuler l'équation mécaniquement et de découvrir des formules générales.
De la formule à la structure
Le cinquième degré a résisté non par manque d'astuce, mais pour une raison de structure : les permutations des racines. L'algèbre moderne (Galois, Noether) étudie ces structures pour elles-mêmes.
Pour aller plus loin
Plusieurs planches ouvrent sur des pages plus détaillées de ce cahier : les polynômes (division, racines et relations de Viète) ; les nombres complexes (dont Bombelli en six étapes) ; Lagrange et la résolution des équations par les résolvantes ; la théorie de Galois et l'impossibilité du cinquième degré ; les structures algébriques (groupes, anneaux, corps).
Lectures : Roshdi Rashed, Al-Khwārizmī : le commencement de l'algèbre ; Jens Høyrup, Lengths, Widths, Surfaces (sur l'algèbre babylonienne) ; Jacqueline Stedall, From Cardano's Great Art to Lagrange's Reflections ; Victor Katz et Karen Parshall, Taming the Unknown.
Précautions : les écritures de la planche 3 sont des reconstitutions dans l'usage de chaque auteur, non des citations ; les dates anciennes sont approximatives, et la lecture « algébrique » des tablettes babyloniennes reste discutée par les historiens, qui y voient plutôt des manipulations de longueurs et d'aires.