théorème d'Abel-Ruffini

Pour les équations du second degré, une formule donne les solutions à partir des coefficients. Des formules analogues existent encore aux degrés 3 et 4. Au degré 5, la marche se brise : aucune recette unique faite d'additions, de soustractions, de multiplications, de divisions et d'extractions de racines ne fonctionne pour toutes les équations.

Cela ne rend pas chaque équation de degré 5 insoluble. Certaines gardent une forme particulière qui livre leurs racines ; c'est la formule universelle qui devient impossible.

Le théorème d'Abel-Ruffini est un théorème d'impossibilité sur les équations polynomiales. Résoudre par radicaux signifie construire les racines à partir des coefficients au moyen d'un nombre fini d'opérations algébriques élémentaires et d'extractions de racines.

Pour un degré supérieur ou égal à 5, il n'existe pas de formule de ce type qui traite tous les choix possibles de coefficients complexes. Le mot « générale » est essentiel : le théorème ne prétend ni que les racines n'existent pas, ni qu'aucun polynôme particulier de degré 5 ou davantage ne se résout par radicaux. Il ferme seulement la voie à un analogue universel des formules des degrés 2, 3 et 4.

Ruffini a formulé cet énoncé, puis Abel en a donné une démonstration rigoureuse en 1824. Galois a ensuite fourni le critère structurel complet mentionné dans la définition source : sur un corps K de caractéristique 0, avec la convention usuelle sur les extensions radicales, une équation est résoluble par radicaux exactement lorsque le groupe de Galois de son corps de décomposition sur K est résoluble. Ce critère décide donc le cas d'une équation donnée, là où Abel-Ruffini exclut une formule valable sans distinction pour toutes les équations du degré considéré.

Si une équation polynomiale a un degré au moins égal à 5 et si l'on exige une formule valable pour tous ses coefficients complexes, alors aucune expression finie composée seulement des quatre opérations algébriques et d'extractions de racines ne peut donner toutes ses racines. Pour une équation particulière sur un corps K de caractéristique 0, avec la convention usuelle sur les extensions radicales, la conclusion change : elle est résoluble par radicaux si et seulement si le groupe de Galois de son corps de décomposition sur K est résoluble.

Le résultat concerne une équation polynomiale en une inconnue, de degré 5 ou plus, et une formule symbolique qui devrait fonctionner pour tout choix des coefficients. Les opérations admises sont l'addition, la soustraction, la multiplication, la division et l'extraction de racines. L'impossibilité porte sur cette demande universelle, pas sur une équation isolée.

Au degré 4, le seuil n'est pas atteint et une formule générale par radicaux existe. Même au degré 5, l'équation x⁵ − 32 = 0 se ramène directement à une extraction de racine. Quand aucune expression par radicaux n'est disponible pour un cas donné, on peut chercher une factorisation, étudier son groupe de Galois ou approcher numériquement ses racines.

Considérons l'équation x⁵ − 32 = 0. Les données sont son degré, égal à 5, et l'identité exacte 32 = 2⁵. Cet exemple teste la portée du théorème sans chercher une formule pour tous les quintiques.

1. On isole la puissance : x⁵ = 32.

2. L'extraction d'une racine cinquième donne immédiatement la solution réelle x = 2. Dans les nombres complexes, elle donne les cinq racines cinquièmes de 32.

3. Si la lettre grecque ζ désigne une racine cinquième primitive de l'unité, les cinq solutions s'écrivent :

4. Le contrôle consiste à élever chaque solution à la puissance 5 :Cette équation de degré 5 est donc résoluble par radicaux. Elle confirme que le théorème interdit une formule générale, et non la résolution de chaque quintique.

Face à une équation de degré 5, on commence par rechercher une structure particulière : une factorisation visible, une puissance ou une symétrie peut ramener le problème à des équations plus simples. L'équation x⁵ − 32 = 0 en donne un exemple direct.

Si l'objectif est une expression exacte, la théorie de Galois remplace la quête d'une formule universelle. Le caractère résoluble ou non du groupe de Galois fournit le critère pertinent pour l'équation étudiée.

Si l'objectif est seulement d'obtenir des valeurs exploitables, une méthode numérique est préférable. Elle approche les racines avec une précision contrôlée, sans contredire l'impossibilité d'une expression générale par radicaux.

Absence de formule générale et absence de solutions. Le premier constat concerne la forme d'une expression construite à partir des coefficients ; le second concernerait l'existence des racines. L'équation x⁵ − 32 = 0 possède cinq racines complexes, bien qu'elle soit du degré visé par le théorème.

Résolution par radicaux et approximation numérique. Une expression par radicaux est exacte et obéit à une liste d'opérations déterminée. Une approximation fournit des décimales avec une précision annoncée. Le théorème exclut la première méthode dans le cas général, pas la seconde.

Théorème d'Abel-Ruffini et critère de Galois. Abel-Ruffini affirme l'impossibilité d'une formule universelle à partir du degré 5. Le critère de Galois tranche la résolubilité par radicaux d'une équation particulière au moyen de son groupe de Galois.

Le seuil est 5, mais il ne condamne pas chaque cas. Le symptôme trompeur consiste à déclarer un quintique insoluble dès que son degré est lu. Il faut d'abord rechercher sa structure propre ; x⁵ − 32 = 0 se résout par extraction d'une racine cinquième.

« Impossible » qualifie une famille de formules. Des racines calculées numériquement ne réfutent pas le théorème. Il faut distinguer une approximation contrôlée d'une expression exacte obtenue par les opérations et radicaux autorisés.

Les coefficients et le corps de base comptent. Le groupe de Galois se définit relativement au corps K qui contient les coefficients. Pour appliquer le critère de Galois, il faut donc annoncer ce corps au lieu de parler d'un groupe attaché au polynôme sans préciser le cadre.

Le mot « radicaux » a un sens technique. Il autorise des extractions de racines imbriquées avec les opérations algébriques élémentaires. Une autre représentation exacte qui emploie des fonctions plus générales ne constitue pas, à elle seule, une résolution par radicaux.

La théorie de Galois explique l'obstacle révélé par Abel-Ruffini : la structure des permutations des racines détermine si des radicaux suffisent. Cette perspective transforme une recherche de formule en une étude de groupe.

Galois en BD — Une porte d'entrée narrative vers Galois et le contexte intellectuel de la théorie qui complète le théorème d'Abel-Ruffini.