🔢 mathematics

On unsolvable equations of prime degree

Cet article présente une nouvelle preuve concise du théorème de Kronecker concernant les racines réelles d'équations irréductibles solubles de degré premier et rectifie des inexactitudes trouvées dans les présentations modernes de la preuve originale de Weber.

Auteurs originaux : Juliusz Brzeziński, Jan Stevens

Publié 2026-06-03

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Juliusz Brzeziński, Jan Stevens

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez de résoudre un puzzle géant et complexe. Dans le monde des mathématiques, ces puzzles sont des équations. Pendant des siècles, les mathématiciens ont disposé d'un ensemble spécial d'outils appelés « radicaux » (comme les racines carrées, les racines cubiques, etc.) qui permettaient de résoudre des puzzles de certaines tailles (équations quadratiques, cubiques et quartiques).

Mais une grande question a surgi : peut-on résoudre toutes les équations en utilisant ces mêmes outils ?

Ce document, écrit par Juliusz Brzeziński et Jan Stevens, s'attaque à un type spécifique de puzzle : les équations de degré premier (comme 3, 5, 7, 11...). Plus précisément, ils examinent des équations qui ne peuvent pas être décomposées en morceaux plus petits (appelées irréductibles).

Voici l'histoire de ce qu'ils ont découvert, expliquée simplement :

1. Les racines « réelles » vs « imaginaires »

Chaque équation possède des solutions, appelées « racines ». Certaines de ces racines sont des nombres réels (comme 2, -5 ou $\pi$ ), que l'on peut placer sur une droite numérique standard. D'autres sont des nombres complexes (impliquant l'unité imaginaire $i$ ), qui existent dans une dimension différente, « invisible ».

Il y a longtemps, un mathématicien nommé Leopold Kronecker a fait une observation fascinante sur ces équations de degré premier :

Si vous avez une équation qui peut être résolue avec des radicaux, et qu'elle possède un nombre premier impair (comme 5 ou 7) comme degré, alors soit TOUTES ses racines sont réelles, soit UNE SEULE est réelle.

Il n'y a pas de juste milieu. Vous ne pouvez pas avoir une équation où 3 racines sont réelles et 2 sont imaginaires. C'est tout ou rien.

2. Le travail de détective « élémentaire »

Habituellement, prouver cela nécessite un ensemble d'outils massifs et de haute technologie appelé la Théorie de Galois (qui est comme une clé maîtresse pour l'univers de l'algèbre). Cependant, les auteurs voulaient prouver cela en utilisant un ensemble d'outils plus « élémentaires » — comme résoudre un mystère avec une loupe plutôt qu'avec un supercalculateur.

Ils ont examiné une preuve de Heinrich Weber datant de plus d'un siècle. Weber a tenté de démontrer cela en utilisant une logique simple, mais sa preuve contenait un piège caché.

Le Piège (Le « seau percé ») :
La preuve de Weber supposait que chaque fois que vous ajoutiez un nouvel outil (un radical) à votre chaîne de résolution, il s'agissait d'un outil « propre ». Mais parfois, les outils que vous ajoutez sont « percé » ou « cassés » (mathématiquement, ce sont des radicaux réductibles).

L'analogie : Imaginez que vous construisez une tour de blocs. Weber supposait que chaque bloc était un cube parfait et solide. Mais parfois, vous saisissez accidentellement un bloc qui est déjà fissuré ou creux. Si vous construisez sur un bloc fissuré, toute la tour pourrait vaciller ou s'effondrer d'une manière que Weber n'avait pas prévue.
La conséquence : Parce que Weber n'avait pas pris en compte ces « blocs fissurés », sa preuve présentait une faille logique. Plus tard, des manuels scolaires ont copié sa preuve, propageant ainsi l'erreur.

3. La solution des auteurs

Brzeziński et Stevens sont intervenus pour colmater la fuite. Ils n'ont pas jeté l'idée de Weber ; ils ont simplement renforcé les fondations.

Ils ont créé une nouvelle preuve, plus courte, qui traite correctement à la fois les « blocs parfaits » (radicaux irréductibles) et les « blocs fissurés » (radicaux réductibles).

Ils ont montré que même si vous utilisez un « bloc fissuré » (un radical réductible) pour résoudre l'équation, la règle tient toujours : soit vous obtenez toutes les racines réelles, soit une seule.
Ils ont utilisé une astuce ingénieuse impliquant la conjugaison complexe (imaginez regarder l'équation dans un miroir). En vérifiant comment l'équation se comporte dans le miroir, ils ont pu prouver que si deux racines sont réelles, le « miroir » force toutes les autres racines à être réelles aussi.

4. Pourquoi cela importe-t-il (Le « Et alors ? »)

Le document explique que cette règle est un moyen puissant de prouver que certaines équations sont impossibles à résoudre avec des radicaux.

Le Test : Si vous trouvez une équation de degré 5 (une quintique) qui possède trois racines réelles et deux racines imaginaires, vous savez immédiatement qu'elle ne peut pas être résolue avec des radicaux.
L'Exemple : Les auteurs citent l'équation $X^5 - 4X - 2 = 0$ . Si vous tracez son graphique, vous voyez qu'elle traverse la ligne réelle trois fois. Parce qu'elle possède plus d'une racine réelle mais pas toutes les racines réelles, elle contredit la règle de Kronecker. Par conséquent, il est mathématiquement impossible d'écrire une formule pour ses racines en utilisant des radicaux standards.

Résumé

Voyez ce document comme une équipe de réparation réparant un pont célèbre.

Le Pont : Une règle (le théorème de Kronecker) qui nous indique quels puzzles mathématiques peuvent être résolus et lesquels ne le peuvent pas.
La Fissure : Une erreur dans un ancien plan (la preuve de Weber) qui ignorait les « outils cassés » (radicaux réductibles).
La Réparation : Les auteurs ont colmaté le pont, montrant que la règle reste vraie même lorsqu'on utilise des outils cassés.
Le Résultat : Nous pouvons désormais affirmer avec confiance : « Ce puzzle spécifique est insoluble », sans avoir besoin de la machinerie mathématique la plus avancée et la plus complexe, simplement en comptant combien de ses solutions sont « réelles ».

Ce document est une enquête historique qui nettoie une erreur mathématique vieille d'un siècle et fournit un moyen clair et simple d'identifier les équations insolubles.

Résumé Technique : Sur l'insolubilité des équations de degré premier

Énoncé du Problème
L'article traite du problème de la construction d'exemples spécifiques d'équations polynomiales de degré premier qui ne sont pas solubles par radicaux. Bien que l'impossibilité générale de résoudre les équations de degré quintique et supérieur soit un résultat standard de la théorie de Galois, les auteurs se concentrent sur la fourniture d'une preuve relativement élémentaire pour un critère spécifique : le théorème de Kronecker. Ce théorème stipule que pour un polynôme irréductible de degré premier impair ayant des coefficients dans un sous-corps des nombres réels, si l'équation est soluble par radicaux, alors soit toutes ses racines sont réelles, soit exactement une racine est réelle. Par conséquent, tout polynôme irréductible de ce type possédant plus d'une racine réelle et au moins une paire de conjugués complexes sert d'exemple concret d'une équation insoluble.

Méthodologie et Préliminaires
Les auteurs adoptent une approche « élémentaire », définie par l'évitement de toute la machinerie du théorème fondamental de la théorie de Galois (spécifiquement la correspondance de Galois entre les sous-groupes normaux et les extensions normales). Au lieu de cela, la preuve repose sur :

Les bases de la théorie des corps : Propriétés des extensions simples, la loi de la tour (théorème de la base) et la structure des corps de décomposition.
Les groupes de Galois comme groupes d'automorphismes : Utilisation de la définition du groupe de Galois comme le groupe des automorphismes d'un corps de décomposition fixant le corps de base, sans invoquer les théorèmes structurels profonds de la solvabilité.
Les extensions radicales : Analyse des chaînes d'extensions radicales simples $K = K_0 \subset K_1 \subset \dots \subset K_n = L$ , où $K_i = K_{i-1}(\alpha_i)$ et $\alpha_i^{q_i} = a_i \in K_{i-1}$ .
L'invariance par conjugaison : Un ajout méthodologique critique est la construction de chaînes d'extensions radicales qui sont invariantes par la conjugaison complexe. Les auteurs prouvent (Lemme 11) que pour toute extension radicale d'un corps invariant par conjugaison, il existe une chaîne raffinée où chaque corps intermédiaire est également invariant par conjugaison. Cela implique de traiter à la fois les radicaux irréductibles et les « radicaux réductibles » (où $X^q - a$ est réductible sur le corps de base).

Contributions Clés et Corrections
La principale contribution de l'article est une preuve corrigée et unifiée du théorème de Kronecker qui traite les inexactitudes historiques dans les preuves « élémentaires » précédentes, spécifiquement celles de Heinrich Weber et Heinrich Dörrie.

Identification de l'erreur : Les auteurs retracent une erreur spécifique dans les preuves de Weber et Dörrie liée à l'hypothèse selon laquelle le degré de l'extension radicale ( $q$ ) doit être égal au degré du polynôme ( $p$ ) lorsque le polynôme devient pour la première fois réductible. Cette hypothèse échoue lorsque le radical est réductible (c'est-à-dire que $X^q - a$ possède une racine dans le corps de base). Dans ces cas, le degré de l'extension $q$ peut différer de $p$ , et l'argument standard selon lequel $q=p$ s'effondre.
Gestion des radicaux réductibles : Le papier traite explicitement le cas des radicaux réductibles. Il démontre que si un polynôme devient réductible via un radical réductible, l'extension implique l'ajout d'une racine primitive de l'unité et potentiellement d'une racine réelle $\rho = \sqrt[q]{a\bar{a}}$ .
Stratégie de preuve unifiée : Les auteurs fournissent une preuve qui traite à la fois les cas de radicaux irréductibles et réductibles.
- Cas I (Radical irréductible) : Si $X^q - a$ est irréductible, le lemme de Nagell implique que $q=p$ . Le groupe de Galois est cyclique d'ordre $p$ . Si deux racines sont réelles, la structure de l'automorphisme force toutes les racines à être réelles.
- Cas II (Radical réductible) : Si $X^q - a$ est réductible, l'extension est normale et cyclique. Les auteurs utilisent la propriété du nombre réel $\rho = \alpha\bar{\alpha}$ pour montrer que si une racine est réelle, l'invariance par conjugaison du corps et la transitivité du groupe de Galois impliquent que toutes les racines sont réelles.

Résultats
Le papier établit le Théorème 14 (Théorème de Kronecker) : Soit $K$ un sous-corps de $\mathbb{C}$ invariant par conjugaison. Si un polynôme irréductible $f(X) \in K[X]$ de degré premier impair $p$ avec des coefficients réels est soluble par radicaux, alors exactement une racine ou toutes les racines du polynôme sont réelles.

La preuve confirme que l'existence d'un polynôme irréductible de degré premier impair à coefficients entiers ayant à la fois des racines réelles et non réelles (par exemple, $X^5 - 4X - 2$ ) implique que l'équation n'est pas soluble par radicaux.

Signification et Revendications
Les auteurs présentent modestement la signification de l'article dans le contexte de la pédagogie mathématique et de la correction historique :

Valeur Pédagogique : La preuve offre une voie pour comprendre l'insolubilité de la quintique qui nécessite moins de bagage qu'un cours complet de théorie de Galois, ce qui la rend adaptée aux cours d'algèbre de premier cycle avancé couvrant les extensions de corps mais pas la pleine correspondance de Galois.
Correction Historique : Le papier clarifie que les présentations modernes des preuves de Weber (souvent dérivées de l'ouvrage de Dörrie, Triumph der Mathematik) contiennent des inexactitudes concernant les radicaux réductibles. Les auteurs fournissent les corrections nécessaires pour sauver la nature « élémentaire » de la preuve sans recourir à la pleine puissance de la théorie de Galois.
Unification : En distinguant les cas basés sur la réductibilité du radical et les propriétés de $\rho$ , les auteurs fournissent un argument complet qui évite le raisonnement circulaire trouvé dans les versions antérieures de la preuve.

Le papier ne propose pas de nouvelles applications ou de nouvelles directions de recherche, mais vise à solidifier le fondement théorique d'un résultat classique de la solvabilité algébrique.

1. Les racines « réelles » vs « imaginaires »

2. Le travail de détective « élémentaire »

3. La solution des auteurs

4. Pourquoi cela importe-t-il (Le « Et alors ? »)

Résumé

Articles similaires