🔢 mathematics

Catalan's conjecture is Mihăilescu's theorem

Ce texte, dérivé de notes de cours pour un cours de l'hiver 2025/26, vise à fournir une exposition complète de la preuve de la conjecture de Catalan par Mihăilescu en développant systématiquement les résultats de théorie des nombres nécessaires, depuis les théorèmes d'Euler et de Lebesgue jusqu'aux relations de Cassels pour aboutir au théorème final.

Auteurs originaux : Martin Klazar

Publié 2026-01-22

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Martin Klazar

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 êtes un détective essayant de résoudre un mystère très spécifique et tenace dans le monde des nombres. L'affaire s'appelle la Conjecture de Catalan, et elle a été proposée pour la première fois en 1844 par un mathématicien nommé Eugène Catalan.

Voici le mystère en langage clair :
Dans le monde des nombres entiers, nous avons des « puissances parfaites ». Ce sont des nombres comme les carrés ( $2^2=4$ , $3^2=9$ ), les cubes ( $2^3=8$ , $3^3=27$ ), ou les puissances quatrièmes ( $2^4=16$ ).
Catalan a remarqué qu'il existe exactement une paire de puissances parfaites qui se trouvent juste à côté l'une de l'autre sur la droite numérique : 8 et 9.

$8 = 2^3$ (un cube)
$9 = 3^2$ (un carré)
Ils sont consécutifs ( $9 - 8 = 1$ ).

Catalan a supposé que c'est la seule fois que cela se produit. Il a affirmé que si vous cherchez toute autre paire de puissances parfaites qui sont voisines (comme $x^m - y^n = 1$ ), vous n'en trouverez jamais une autre.

Pendant 160 ans, ce n'était qu'une supposition. Puis, en 2004, un mathématicien nommé Preda Mihăilescu a prouvé que c'était vrai. Ce document, écrit par Martin Klazar, est un guide qui vous fait parcourir sa preuve, en la décomposant en étapes gérables.

Voici comment le document explique la solution, en utilisant des analogies simples :

1. Les cas faciles (les « fruits à portée de main »)

Avant de s'attaquer à la partie la plus difficile, le document élimine les scénarios faciles où l'un des exposants est un petit nombre (comme 2 ou 3). Considérez cela comme le fait de vérifier d'abord les suspects évidents.

Le cas Carré vs Cube ( $x^2 - y^3 = 1$ ) :
Le document examine l'équation où un carré moins un cube égale 1. Il utilise une méthode similaire à l'ancienne astuce d'Euler. Imaginez que vous essayez de faire entrer un pion carré dans un trou rond. Les mathématiques montrent que la seule façon que cela s'ajuste est que les nombres soient 8 et 9 (ou certains zéros triviaux). L'auteur, Klazar, fournit en fait trois manières différentes de résoudre ce puzzle spécifique, comme pour montrer qu'une serrure peut être ouverte avec trois clés différentes.
Le cas Haute Puissance vs Carré ( $x^m - y^2 = 1$ ) :
Ici, nous avons une puissance énorme (comme $x^5$ ) moins un carré égale 1. Le document utilise un outil appelé entiers de Gauss (des nombres avec une partie imaginaire, comme $a + bi$). Considérez cela comme le passage d'une carte en 2D à une carte en 3D pour voir le problème sous un nouvel angle. Cela prouve que peu importe la hauteur de la puissance, vous ne pouvez pas trouver un carré voisin.
Le cas Carré vs Haute Puissance ( $x^2 - y^q = 1$ ) :
C'est l'inverse : un carré moins une énorme puissance égale 1. Un mathématicien nommé Chao Ko a prouvé cela il y a longtemps. Le document explique sa logique : si une telle paire existait, les nombres devraient se comporter d'une manière qui crée une contradiction mathématique, comme une horloge qui tourne à l'envers.

2. La partie difficile (le « sommet de la montagne »)

Une fois les petits nombres écartés, le document s'attaque au véritable monstre : deux nombres premiers impairs distincts (comme 7 et 11, ou 13 et 17) en tant qu'exposants.
L'équation est : $x^p - y^q = 1$ .

C'est là que le génie de Mihăilescu intervient. Le document présente sa preuve comme une série de pièges logiques qui forcent les nombres à admettre qu'ils n'existent pas.

Les « Relations de Cassels » (le piège de la divisibilité) :
Imaginez que vous avez deux suspects, $x$ et $y$ . Le document montre que s'ils existent, ils doivent avoir des « liens familiaux » très spécifiques.
- Une relation dit : « Si vous existez, votre nombre $x$ doit être divisible par l'exposant $q$ . »
- Une autre dit : « Votre nombre $y$ doit être divisible par l'exposant $p$ . »
  C'est comme dire : « Si vous êtes un espion, vous devez porter un chapeau rouge et une chaussure bleue. » Le document prouve que ces conditions sont nécessaires.
Les « Super-Relations de Cassels » (le double piège) :
Mihăilescu est allé plus loin. Il a prouvé que la divisibilité n'est pas seulement simple ; elle est au carré.
- $x$ doit être divisible par $q^2$ .
- $y$ doit être divisible par $p^2$ .
  C'est comme dire : « Non seulement vous avez besoin d'un chapeau rouge, mais vous avez besoin d'un énorme chapeau rouge. » Cela rend les nombres incroyablement grands et restrictifs.
Le « Groupe d'Obstruction » (le mur) :
La preuve passe ensuite dans un domaine plus abstrait appelé théorie des nombres algébriques. Imaginez que les nombres essaient de grimper une montagne, mais qu'il y a un mur magique (un « groupe d'obstruction ») qui les arrête.
Le document explique que la structure de ces nombres (spécifiquement dans les « corps cyclotomiques », qui sont comme des systèmes de coordonnées spéciaux pour les racines de l'unité) crée une barrière. L'« idéal de Stickelberger » est un nom sophistiqué pour une règle qui dit : « Vous ne pouvez pas franchir ce mur. »

3. Le coup de grâce final (le théorème « M4 »)

Le document culmine avec le Théorème M4. C'est le coup de grâce final.
Mihăilescu a montré que si vous combinez toutes les règles précédentes (la divisibilité par les carrés, la taille des nombres et les propriétés du « mur »), les seuls candidats possibles pour les exposants $p$ et $q$ sont les minuscules nombres 3 et 5.

Mais attendez ! Le document a déjà prouvé dans les chapitres précédents que si les exposants sont 3 ou 5, l'équation n'a pas de solution (hormis les solutions triviales).

Si les exposants sont grands (7, 11, etc.), le « mur » les arrête.
Si les exposants sont petits (3, 5), les preuves des « cas faciles » précédents les arrêtent.

La Conclusion :
Il n'y a plus aucun endroit où une solution puisse se cacher. La seule paire de puissances parfaites consécutives dans tout l'univers des nombres est 8 et 9.

Résumé

Ce document est un manuel complet, étape par étape, sur la manière de prouver que 8 et 9 sont les seuls voisins dans la famille des puissances parfaites.

Il commence par des puzzles simples (carrés et cubes).
Il passe à des outils complexes (nombres imaginaires et règles de divisibilité).
Il construit une structure logique massive (le groupe d'obstruction) qui prouve qu'aucune autre paire ne peut jamais exister.

C'est l'histoire de la façon dont les mathématiciens ont utilisé une combinaison de vieilles astuces et de machines mathématiques nouvelles et de haute technologie pour résoudre une énigme de 160 ans.

Résumé technique : La conjecture de Catalan est le théorème de Mihăilescu

Énoncé du problème
Le document traite de la conjecture de Catalan, proposée à l'origine par Eugène Ch. Catalan en 1844. La conjecture affirme que la seule solution dans les entiers naturels à l'équation diophantienne $x^m - y^n = 1$ pour $m, n \ge 2$ et $x, y > 0$ est la paire $(x, y, m, n) = (3, 2, 2, 3)$ , correspondant à $3^2 - 2^3 = 1$ . Le texte vise à fournir une preuve complète et autonome de cette conjecture, qui a été prouvée par Preda Mihăilescu en 2004. La preuve est structurée pour traiter l'équation en réduisant les exposants à des nombres premiers impairs distincts $p$ et $q$ , divisant ainsi le problème en une partie « élémentaire » (où l'un des exposants est 2) et une partie « non élémentaire » (où les deux exposants sont $\ge 3$ ).

Méthodologie et structure
Le texte est organisé comme une exposition complète de la preuve de Mihăilescu, complétée par les connaissances nécessaires en théorie algébrique des nombres. La méthodologie procède en trois phases distinctes :

Cas élémentaires (Chapitres 1–3) : L'auteur résout les cas où au moins un exposant est égal à 2.
- Chapitre 1 ( $x^2 - y^3 = 1$ ) : Trois résolutions élémentaires distinctes sont présentées : une version moderne de l'argument d'Euler de 1737 utilisant les courbes elliptiques et les points rationnels ; une résolution de 1989 par l'auteur (Klazar) utilisant la factorisation et les propriétés des équations de Pell ( $x^2 - 3y^2 = 1$ ) ; et une résolution de l'équation liée $x^3 + y^3 = 2z^3$ par A. Wakulicz.
- Chapitre 2 ( $x^m - y^2 = 1$ pour $m$ impair $\ge 3$ ) : Le texte présente la preuve de V. Lebesgue de 1850, qui repose sur la propriété de domaine de factorisation unique (UFD) des entiers de Gauss $\mathbb{Z}[i]$ . L'auteur prouve que les domaines euclidiens sont des UFD pour établir cette propriété de manière rigoureuse.
- Chapitre 3 ( $x^2 - y^q = 1$ pour un premier $q \ge 5$ ) : Le texte détaille la preuve de Chao Ko de 1965, utilisant les propriétés des corps cyclotomiques et des lemmes spécifiques concernant le plus grand commun diviseur des facteurs de l'équation.
Relations de divisibilité (Chapitre 4) : Le texte établit deux conditions de divisibilité critiques pour d'hypothétiques solutions non triviales de $x^p - y^q = 1$ (où $p > q > 2$ sont des nombres premiers distincts). Suivant John W. S. Cassels, l'auteur prouve que $q \mid x$ et $p \mid y$ . Ces relations sont dérivées de la théorie élémentaire des nombres et des propriétés des ordres $p$ -adiques.
Le cas non élémentaire (Chapitres 5–8) : Cette section expose la preuve de Mihăilescu pour le cas où les deux exposants sont des nombres premiers impairs.
- Chapitre 5 : L'auteur expose la déduction logique du théorème principal à partir de quatre théorèmes spécifiques (M1–M4) de Mihăilescu. Ces théorèmes établissent :
  - M0.95/M1 : Les relations de super-Cassels ( $p^2 \mid y$ et $q^2 \mid x$ ) et les doubles conditions de Wieferich ( $pq^{-1} \equiv 1 \pmod{q^2}$ et $qp^{-1} \equiv 1 \pmod{p^2}$ ).
  - M2 : Une condition de congruence ( $p \equiv 1 \pmod q$ ou $q \equiv 1 \pmod p$ ) pour les nombres premiers $p, q \ge 7$ .
  - M3 : Des bornes sur la taille des nombres premiers ( $p < 4q^2$ et $q < 4p^2$ ).
  - M4 : L'exclusion des solutions où l'un des nombres premiers est 3 ou 5.
- Chapitres 6–8 : Ces chapitres fournissent la machinerie algébrique nécessaire aux preuves non élémentaires. Ils introduisent les corps de nombres, les anneaux d'entiers et les corps cyclotomiques. Plus précisément, le chapitre 6 définit le « groupe d'obstruction » et établit que les nombres de classes de $\mathbb{Q}(\zeta_3)$ et $\mathbb{Q}(\zeta_5)$ sont égaux à 1 (impliquant que leurs anneaux d'entiers sont des UFD). Le chapitre 7 expose la dérivation des relations de super-Cassels en utilisant l'idéal de Stickelberger, et le chapitre 8 traite des cas spécifiques impliquant les nombres premiers 3 et 5.

Contributions clés et résultats

Preuve autonome : La principale contribution de ce texte est la présentation d'une preuve complète et autonome de la conjecture de Catalan. L'auteur note que les ouvrages existants sur le sujet (par exemple, ceux de Ribenboim, Schoof, Bilu et al.) ne sont pas autonomes et s'appuient sur des résultats pris pour acquis. Ce texte comble ces lacunes, particulièrement dans les sections élémentaires et les fondements algébriques requis pour le travail de Mihăilescu.
Résolutions multiples : Le texte propose trois preuves distinctes pour le cas $x^2 - y^3 = 1$ , incluant la propre résolution élémentaire de l'auteur de 1989 et une version modernisée de l'argument d'Euler.
Fondations rigoureuses : Le texte prouve explicitement que les domaines euclidiens sont des UFD et applique cela à $\mathbb{Z}[i]$ et aux corps cyclotomiques $\mathbb{Z}[\zeta_3]$ et $\mathbb{Z}[\zeta_5]$ , garantissant que les propriétés algébriques nécessaires sont établies au sein du texte plutôt que supposées.
Synthèse logique : Le document synthétise les résultats élémentaires (chapitres 1–3) avec la théorie algébrique des nombres avancée (chapitres 6–8) pour démontrer qu'aucune solution n'existe pour des nombres premiers impairs distincts, achevant ainsi la preuve de la conjecture.

Signification
Le document revendique une importance en tant que ressource pédagogique et technique qui démystifie la preuve de Mihăilescu. En fournissant une « présentation complète et autonome », il vise à rendre la preuve accessible aux lecteurs qui pourraient trouver les articles originaux ou d'autres monographies trop condensés ou trop dépendants de références externes. Le texte souligne que si la partie « élémentaire » (exposants égaux à 2) n'est pas nécessairement facile, elle est distincte de la partie « non élémentaire », laquelle nécessite des outils profonds de la théorie algébrique des nombres. Ce travail sert à valider la preuve de 2004 de Preda Mihăilescu, confirmant que 8 et 9 sont effectivement les seules puissances parfaites consécutives.

1. Les cas faciles (les « fruits à portée de main »)

2. La partie difficile (le « sommet de la montagne »)

3. Le coup de grâce final (le théorème « M4 »)

Résumé

Articles similaires