Avant Galois, qu’avait préparé Cauchy pour les groupes ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Pour commencer aujourd'hui, le postulat de départ est vraiment digne d'un roman de mystère.

Intervenant 20:08

Ah oui, un vrai thriller mathématique.

Intervenant 10:10

C'est ça. Imaginons un instant qu'on possède le plan exact, la clé mathématique absolue, pour résoudre une énigme vieille de plusieurs millénaires. Un truc sur lequel les plus grands esprits se cassent les dents.

Intervenant 20:22

Le genre de problème qui rend fou.

Intervenant 10:23

Exactement. Et là, on dépose la preuve décisive sur un bureau, on demande formellement une évaluation, et la réaction, c'est un silence total. Le document est purement et simplement ignoré.

Intervenant 20:36

C'est juste insensé quand on y pense.

Intervenant 10:37

Totalement insensé. Eh bien aujourd'hui, notre exploration plonge au cœur de ce paradoxe, avec le cas d'Augustin-Louis Cauchy. L'objectif, en fait, c'est de réhabiliter ce génie absolu. C'est l'un des mathématiciens les plus prolifiques de l'histoire, mais paradoxalement, c'est le grand oublié quand on parle de la théorie des groupes.

Intervenant 20:56

Ouais, et la mission de notre discussion aujourd'hui repose sur un point hyper fascinant qui ressort vraiment de toutes nos sources. En fait, Cauchy a forgé les outils qui ont carrément révolutionné l'algèbre moderne. Mais, et c'est ça le truc dingue, il l'a fait en tournant sciemment le dos au problème mathématique star de son époque.

Intervenant 11:15

Le fameux problème de la résolution des équations algébriques, c'est ça ?

Intervenant 21:18

Ouais, exactement. C'est une trajectoire invraisemblable. On va y croiser des fulgurances théoriques, un exil politique totalement ubuesque, une indifférence glaciale envers la nouvelle génération et, in fine, un basculement total de la manière dont on conçoit les maths.

Intervenant 11:36

Et pour bien saisir l'ampleur de ce décalage, je pense qu'il faut replanter un peu le décor. On est dans les années 1770. Et là, la communauté mathématique est face à un mur énorme. Un très gros mur, oui. Parce que, depuis la Renaissance, on sait résoudre les équations du troisième et du quatrième degré. Tu sais, avec ces formules hyper compliquées qui impliquent des racines. Ouais, des trucs interminables à écrire ! C'est ça. Mais l'équation du cinquième degré, la fameuse équation quintique, elle résiste à tout le monde. C'est un peu le Pierrot, quoi. Et pour tenter d'y voir clair, des figures comme Edward Waring, Alexandre Théophile Vandermonde et surtout Joseph-Louis Lagrange commencent à regarder un truc nouveau.

Intervenant 22:17

Ils regardent comment les solutions potentielles de ces équations peuvent être réarrangées entre elles, non ?

Intervenant 12:22

Tout à fait. Ils étudient ce qu'on appelle les permutations.

Intervenant 22:25

Et d'ailleurs, la logique de Lagrange est brillante pour l'époque. Il comprend que la clé ne se trouve pas dans le calcul brut, mais vraiment dans la symétrie.

Intervenant 12:33

D'accord, la symétrie, c'est-à-dire ?

Intervenant 22:35

En gros, la question, c'est comment l'équation réagit. Lagrange pressent que c'est en étudiant l'architecture de ces permutations qu'on pourra trouver la formule générale de résolution.

Intervenant 12:45

Ah, donc il pose un peu les toutes premières briques de cet édifice conceptuel.

Intervenant 22:50

Voilà, c'est majeur. Mais le chantier stagne complètement.

Intervenant 12:53

Jusqu'en 1799, c'est ça ?

Intervenant 22:55

Avec Paolo Ruffini.

Intervenant 12:57

Ouais, un médecin et mathématicien italien. Lui, il tente un renversement total. Au lieu de chercher la formule pour le cinquième degré, il essaie de prouver qu'elle n'existe tout simplement pas. Que c'est impossible de résoudre ça avec les méthodes classiques.

Intervenant 23:11

C'est osé comme approche.

Intervenant 13:13

Très osé.

Intervenant 23:13

Et sa démarche préfigure véritablement la notion abstraite de groupe. Il s'appuie sur les propriétés de ce qu'il appelle l'ensemble des permutations.

Intervenant 13:21

Mais alors, pourquoi Ruffini n'a pas raflé toute la mise ?

Intervenant 23:24

Le problème, c'est que sa démonstration s'étend sur des centaines de pages qui sont particulièrement obscures. Aïe. Et surtout, elle est fondamentalement incomplète. Tu vois, il veut prouver une impossibilité. Ce qui exige de démontrer qu'aucune formule imaginable ne peut fonctionner.

Intervenant 13:40

C'est le genre de preuve le plus dur à faire en maths.

Intervenant 23:43

Exactement. Or, il présuppose sans le prouver que les expressions mathématiques intermédiaires doivent forcément s'écrire comme des fractions rationnelles des racines. Du coup, la communauté de l'époque sent bien qu'il manque un maillon logique. L'outil mathématique pour analyser ces permutations manque de tranchants.

Intervenant 13:59

Et c'est précisément là que l'histoire devient fascinante. Parce que pendant que tout le monde s'acharne sur ces équations polynomiales, Cauchy entre dans l'arène, mais attention, par une porte dérobée. Mais pour des questions de théorie des nombres. Il étudie comment les fonctions se comportent quand on en mélange les variables. Vraiment pour la beauté pure de la structure, quoi.

Intervenant 24:17

Ouais, ça ne l'intéresse pas de résoudre le problème de tout le monde.

Intervenant 14:21

Voilà. En fait, si on cherche une analogie, c'est l'équivalent d'un ingénieur qui met au point le moteur d'une Formule 1 ultra sophistiquée, alors que son but initial, c'était juste d'améliorer une tondeuse à gazon. C'est

Intervenant 24:32

une

Intervenant 14:33

excellente métaphore.

Intervenant 24:34

Il conçoit l'outil parfait pour un problème qui ne l'intéresse même pas, en fait.

Intervenant 14:38

C'est complètement fou.