🔢 mathematics

Catalan's conjecture is Mihăilescu's theorem

Deze tekst, afkomstig uit college-notities voor een cursus in de winter van 2025/26, beoogt een volledige uiteenzetting te bieden van het bewijs van Mihăilescu voor de vermoedens van Catalan door systematisch de noodzakelijke getaltheoretische resultaten te ontwikkelen, van de stellingen van Euler en Lebesgue via de relaties van Cassels tot aan de uiteindelijke stelling.

Oorspronkelijke auteurs: Martin Klazar

Gepubliceerd 2026-01-22

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Martin Klazar

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een detective bent die probeert een zeer specifieke, hardnekkige mysteries op te lossen in de wereld van getallen. De zaak heet Catalans vermoeden (Catalan's Conjecture), en werd voor het eerst voorgesteld in 1844 door een wiskundige genaamd Eugène Catalan.

Hier is de mystery in gewone mensentaal:
In de wereld van hele getallen hebben we "volkomen machten" (perfect powers). Dit zijn getallen zoals kwadraten ( $2^2=4$ , $3^2=9$ ), kubussen ( $2^3=8$ , $3^3=27$ ), of vierde machten ( $2^4=16$ ).
Catalan merkte op dat er precies één paar volkomen machten is die direct naast elkaar liggen op de getallenlijn: 8 en 9.

$8 = 2^3$ (een kubus)
$9 = 3^2$ (een kwadraat)
Ze zijn opeenvolgend ( $9 - 8 = 1$ ).

Catalan vermoedde dat dit de enige keer is dat dit gebeurt. Hij beweerde dat als je zoekt naar enige andere naburige volkomen machten (zoals $x^m - y^n = 1$ ), je nooit een ander paar zult vinden.

Voor 160 jaar was dit slechts een gok. Pas in 2004 bewees de wiskundige Preda Mihăilescu dat dit waar is. Dit artikel, geschreven door Martin Klazar, is een gids die je door zijn bewijs leidt, door het op te breken in hanteerbare stappen.

Hier is hoe het artikel de oplossing uitlegt, met eenvoudige analogieën:

1. De Makkelijke Gevallen (De "Lage Hangende Vruchten")

Voordat het moeilijkste deel wordt aangepakt, ruimt het artikel de eenvoudige scenario's op waarbij een van de exponenten een klein getal is (zoals 2 of 3). Zie dit als het eerst controleren van de voor de hand liggende verdachten.

Het Kwadraat versus Kubus Geval ( $x^2 - y^3 = 1$ ):
Het artikel kijkt naar de vergelijking waar een kwadraat minus een kubus gelijk is aan 1. Het gebruikt een methode die lijkt op de oude truc van Euler. Stel je voor dat je probeert een vierkante pen in een rond gat te passen. De wiskunde laat zien dat de enige manier waarop dit past, de getallen 8 en 9 zijn (of enkele triviale nullen). De auteur, Klazar, biedt zelfs drie verschillende manieren om deze specifieke puzzel op te lossen, alsovergelijkbaar met het laten zien dat een slot met drie verschillende sleutels geopend kan worden.
De Hoge Macht versus Kwadraat Geval ( $x^m - y^2 = 1$ ):
Hier hebben we een enorme macht (zoals $x^5$ ) minus een kwadraat is gelijk aan 1. Het artikel gebruikt een hulpmiddel genaamd Gaussische getallen (getallen met een imaginair deel, zoals $a + bi$). Denk hierbij aan het overstappen van een 2D-kaart naar een 3D-kaart om het probleem vanuit een nieuwe hoek te bekijken. Het bewijst dat, ongeacht hoe hoog de macht gaat, je geen naburige kwadraten kunt vinden.
Het Kwadraat versus Hoge Macht Geval ( $x^2 - y^q = 1$ ):
Dit is het omgekeerde: een kwadraat minus een enorme macht is gelijk aan 1. Een wiskundige genaamd Chao Ko bewees dit lang geleden. Het artikel legt zijn logica uit: als een dergelijk paar zou bestaan, zouden de getallen zich op een manier moeten gedragen die een wiskundige tegenstrijdigheid creëert, zoals een klok die achteruit loopt.

2. Het Moeilijke Deel (De "Bergtop")

Zodra de kleine getallen zijn uitgesloten, pakt het artikel het echte monster aan: Twee verschillende oneven priemgetallen (zoals 7 en 11, of 13 en 17) als exponenten.
De vergelijking is: $x^p - y^q = 1$ .

Dit is waar de genialiteit van Mihăilescu naar voren komt. Het artikel schetst zijn bewijs als een reeks logische vallen die de getallen dwingen toe te geven dat ze niet bestaan.

De "Cassels Relaties" (De Deelbaarheidsval):
Stel je voor dat je twee verdachten hebt, $x$ en $y$ . Het artikel laat zien dat als zij bestaan, ze zeer specifieke "familierelaties" moeten hebben.
- Eén relatie zegt: "Als je bestaat, moet jouw getal $x$ deelbaar zijn door de exponent $q$ ."
- Een andere zegt: "Jouw getal $y$ moet deelbaar zijn door de exponent $p$ ."
  Het is alsof je zegt: "Als je een spion bent, moet je een rode hoed en een blauwe schoen hebben." Het artikel bewijst dat deze voorwaarden noodzakelijk zijn.
De "Super-Cassels Relaties" (De Dubbele Val):
Mihăilescu ging dieper. Hij bewees dat de deelbaarheid niet slechts één keer plaatsvindt, maar gekwadrateerd is.
- $x$ moet deelbaar zijn door $q^2$ .
- $y$ moet deelbaar zijn door $p^2$ .
  Dit is alsof je zegt: "Niet alleen heb je een rode hoed nodig, je hebt een reusachtige rode hoed nodig." Dit maakt de getallen ongelooflijk groot en restrictief.
De "Obstruction Group" (De Muur):
Het bewijs beweegt zich vervolgens naar een abstracter gebied genaamd Algebraïsche Getaltheorie. Stel je voor dat de getallen een berg proberen te beklimmen, maar er is een magische muur (een "obstruction group") die hen tegenhoudt.
Het artikel legt uit dat de structuur van deze getallen (specifiek in "Cyclotomische Velden", die als speciale coördinatensystemen voor eenheidswortels dienen) een barrière creëert. De "Stickelberger ideal" is een chique naam voor een regel die zegt: "Je kunt deze muur niet beklimmen."

3. De Laatste Knockout (Het "M4" Theorema)

Het artikel culmineert in Theorema M4. Dit is de laatste klap.
Mihăilescu toonde aan dat wanneer je alle voorgaande regels combineert (de deelbaarheid door kwadraten, de grootte van de getallen en de eigenschappen van de "muur"), de enige mogelijke kandidaten voor de exponenten $p$ en $q$ de kleine getallen 3 en 5 zijn.

Maar wacht! Het artikel heeft al in de eerdere hoofdstukken bewezen dat als de exponenten 3 of 5 zijn, de vergelijking geen oplossing heeft (behalve de triviale oplossingen).

Als de exponenten groot zijn (7, 11, enz.), stopt de "muur" hen.
Als de exponenten klein zijn (3, 5), stoppen de bewijzen van de "makkelijke gevallen" hen.

De Conclusie:
Er is geen plek meer waar een oplossing zich kan verschuilen. De enige opeenvolgende volkomen machten in het hele universum van getallen zijn 8 en 9.

Samenvatting

Dit artikel is een volledige, stap-voor-stap handleiding over hoe je bewijst dat 8 en 9 de enige buren zijn in de familie van volkomen machten.

Het begint met eenvoudige puzzels (kwadraten en kubussen).
Het gaat over naar complexe hulpmiddelen (imaginaire getallen en deelbaarheidsregels).
Het bouwt een enorme logische structuur (de obstruction group) die bewijst dat geen enkel ander paar ooit kan bestaan.

Het is een verhaal van hoe wiskundigen een combinatie van oude trucs en gloednieuwe, hoogtechnologische wiskundige machines gebruikten om een 160 jaar oud raadsel op te lossen.

Technische Samenvatting: De Vermoeden van Catalan is de Stelling van Mihăilescu

Probleemstelling
Het artikel behandelt het vermoeden van Catalan, oorspronkelijk voorgesteld door Eugène Ch. Catalan in 1844. Het vermoeden stelt dat de enige oplossing in natuurlijke getallen voor de Diophantische vergelijking $x^m - y^n = 1$ voor $m, n \ge 2$ en $x, y > 0$ het paar $(x, y, m, n) = (3, 2, 2, 3)$ is, wat overeenkomt met $3^2 - 2^3 = 1$ . De tekst beoogt een volledig, zelfstandig bewijs van dit vermoeden te leveren, dat in 2004 werd bewezen door Preda Mihăilescu. Het bewijs is gestructureerd om de vergelijking te behandelen door de exponenten te reduceren tot verschillende oneven priemgetallen $p$ en $q$ , waardoor het probleem wordt onderverdeeld in een "elementair" deel (waarbij één exponent 2 is) en een "niet-elementair" deel (waarbij beide exponenten $\ge 3$ zijn).

Methodologie en Structuur
De tekst is georganiseerd als een uitgebreide uiteenzetting van het bewijs van Mihăilescu, aangevuld met de noodzakelijke achtergrond in de algebraïsche getaltheorie. De methodologie verloopt in drie afzonderlijke fasen:

Elementaire Gevallen (Hoofdstukken 1–3): De auteur lost de gevallen op waarbij ten minste één exponent 2 is.
- Hoofdstuk 1 ( $x^2 - y^3 = 1$ ): Er worden drie verschillende elementaire resoluties gepresenteerd: een moderne voltooiing van Euler's argument uit 1737 met behulp van elliptische curven en rationale punten; een resolutie uit 1989 door de auteur (Klazar) die gebruikmaakt van factorisatie en eigenschappen van Pell-vergelijkingen ( $x^2 - 3y^2 = 1$ ); en een resolutie van de gerelateerde vergelijking $x^3 + y^3 = 2z^3$ door A. Wakulicz.
- Hoofdstuk 2 ( $x^m - y^2 = 1$ voor oneven $m \ge 3$ ): De tekst presenteert het bewijs van V. Lebesgue uit 1850, dat steunt op de eigenschap van het unieke factorisatiedomein (UFD) van de Gaussische gehele getallen $\mathbb{Z}[i]$ . De auteur bewijst dat Euclidische domeinen UFD's zijn om deze eigenschap rigoureus vast te stellen.
- Hoofdstuk 3 ( $x^2 - y^q = 1$ voor priem $q \ge 5$ ): De tekst beschrijft het bewijs van Chao Ko uit 1965, gebruikmakend van eigenschappen van cyclotomische velden en specifieke lemma's betreffende de grootste gemeenschappelijke deler van factoren in de vergelijking.
Deelbaarheidsrelaties (Hoofdstuk 4): De tekst stelt twee cruciale deelbaarheidsvoorwaarden vast voor hypothetische niet-triviale oplossingen van $x^p - y^q = 1$ (waarbij $p > q > 2$ verschillende priemgetallen zijn). Volgens John W. S. Cassels bewijst de auteur dat $q \mid x$ en $p \mid y$ . Deze relaties worden afgeleid met behulp van elementaire getaltheorie en eigenschappen van $p$ -adische orden.
Het Niet-Elementaire Geval (Hoofdstukken 5–8): Dit gedeelte schetst het bewijs van Mihăilescu voor het geval waarbij beide exponenten oneven priemgetallen zijn.
- Hoofdstuk 5: De auteur schetst de logische deductie van het hoofdbewijs uit vier specifieke stellingen (M1–M4) van Mihăilescu. Deze stellingen stellen vast:
  - M0.95/M1: Super-Cassels relaties ( $p^2 \mid y$ en $q^2 \mid x$ ) en dubbele Wieferich-condities ( $pq^{-1} \equiv 1 \pmod{q^2}$ en $qp^{-1} \equiv 1 \pmod{p^2}$ ).
  - M2: Een congruentievoorwaarde ( $p \equiv 1 \pmod q$ of $q \equiv 1 \pmod p$ ) voor priemgetallen $p, q \ge 7$ .
  - M3: Grenzen aan de grootte van de priemgetallen ( $p < 4q^2$ en $q < 4p^2$ ).
  - M4: De uitsluiting van oplossingen waarbij één priemgetal 3 of 5 is.
- Hoofdstukken 6–8: Deze hoofdstukken bieden de noodzakelijke algebraïsche machinekamer voor de niet-elementaire bewijzen. Ze introduceren getallenvelden, ringen van gehele getallen en cyclotomische velden. Specifiek definieert Hoofdstuk 6 de "obstruction group" en stelt het vast dat de klassengetallen van $\mathbb{Q}(\zeta_3)$ en $\mathbb{Q}(\zeta_5)$ gelijk zijn aan 1 (wat impliceert dat hun ringen van gehele getallen UFD's zijn). Hoofdstuk 7 schetst de afleiding van de super-Cassels relaties met behulp van de Stickelberger-ideaal, en Hoofdstuk 8 behandelt de specifieke gevallen met betrekking tot de priemgetallen 3 en 5.

Belangrijkste Bijdragen en Resultaten

Zelfstandig Bewijs: De primaire bijdrage van deze tekst is de presentatie van een volledig en zelfstandig bewijs van het vermoeden van Catalan. De auteur merkt op dat bestaande boeken over dit onderwerp (bijv. die van Ribenboim, Schoof, Bilu et al.) niet zelfstandig zijn en rusten op resultaten die als gegeven worden beschouwd. Deze tekst vult die hiaten op, met name in de elementaire secties en de algebraïsche fundamenten die vereist zijn voor het werk van Mihăilescu.
Meerdere Resoluties: De tekst biedt drie verschillende bewijzen voor het geval $x^2 - y^3 = 1$ , inclusief de eigen elementaire resolutie van de auteur uit 1989 en een gemoderniseerde versie van het argument van Euler.
Rigoureuze Fundamenten: De tekst bewijst expliciet dat Euclidische domeinen UFD's zijn en past dit toe op $\mathbb{Z}[i]$ en cyclotomische velden $\mathbb{Z}[\zeta_3]$ en $\mathbb{Z}[\zeta_5]$ , waardoor wordt gewaarborgd dat de noodzakelijke algebraïsche eigenschappen binnen de tekst worden vastgesteld in plaats van aangenomen.
Logische Synthese: De paper synthetiseert de elementaire resultaten (Hoofdstukken 1–3) met de geavanceerde algebraïsche getaltheorie (Hoofdstukken 6–8) om aan te tonen dat er geen oplossingen bestaan voor verschillende oneven priemgetallen, waarmee het bewijs van het vermoeden wordt voltooid.

Betekenis
De paper claimt significant te zijn als een pedagogische en technische bron die het bewijs van Mihăilescu ontmystificeert. Door een "volledige en zelfstandige presentatie" te bieden, beoogt het de bewijsvoering toegankelijk te maken voor lezers die de originele artikelen of andere monografieën te beknopt of te afhankelijk van externe referenties vinden. De tekst benadrukt dat hoewel het "elementaire" deel (exponenten gelijk aan 2) niet noodzakelijkerwijs eenvoudig is, het wel onderscheidt van het "niet-elementaire" deel, dat diepe instrumenten uit de algebraïsche getaltheorie vereist. Het werk dient om het bewijs van 2004 door Preda Mihăilescu te valideren, en bevestigt dat 8 en 9 inderdaad de enige opeenvolgende machten zijn.

1. De Makkelijke Gevallen (De "Lage Hangende Vruchten")

2. Het Moeilijke Deel (De "Bergtop")

3. De Laatste Knockout (Het "M4" Theorema)

Samenvatting

Meer zoals dit