🔢 mathematics

Catalan's conjecture is Mihăilescu's theorem

Dieser Text, der aus Vorlesungsnotizen für einen Kurs im Winter 2025/26 stammt, zielt darauf ab, eine vollständige Darlegung von Mihăilescus Beweis der Catalanschen Vermutung zu liefern, indem er die notwendigen zahlentheoretischen Ergebnisse systematisch von Eulers und Lebegues Theoremen über Cassels' Relationen bis hin zum abschließenden Theorem entwickelt.

Ursprüngliche Autoren: Martin Klazar

Veröffentlicht 2026-01-22

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Martin Klazar

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Detektiv, der versucht, ein sehr spezifisches, hartnäckiges Rätsel in der Welt der Zahlen zu lösen. Der Fall trägt den Namen Catalans Vermutung und wurde erstmals 1844 von dem Mathematiker Eugène Catalan aufgestellt.

Hier ist das Rätsel in einfachem Deutsch:
In der Welt der ganzen Zahlen haben wir „vollständige Potenzen“. Das sind Zahlen wie Quadrate ( $2^2=4$ , $3^2=9$ ), Kuben ( $2^3=8$ , $3^3=27$ ) oder vierte Potenzen ( $2^4=16$ ).
Catalan bemerkte, dass es genau ein Paar vollkommener Potenzen gibt, die direkt nebeneinander auf der Zahlengeraden liegen: 8 und 9.

$8 = 2^3$ (ein Kubus)
$9 = 3^2$ (ein Quadrat)
Sie sind konsekutiv ( $9 - 8 = 1$ ).

Catalan vermutete, dass dies der einzige Fall ist. Er behauptete, dass man, wenn man nach anderen benachbarten vollkommenen Potenzen sucht (wie $x^m - y^n = 1$ ), niemals ein weiteres Paar finden wird.
Dies war 160 Jahre lang nur eine Vermutung. Dann bewies der Mathematiker Preda Mihăilescu im Jahr 2004, dass dies wahr ist. Dieses Papier, geschrieben von Martin Klazar, ist ein Leitfaden, der Sie durch Mihăilescus Beweis führt und ihn in handhabbare Schritte zerlegt.

Hier erklärt das Papier die Lösung unter Verwendung einfacher Analogien:

1. Die einfachen Fälle (Die „leicht zu erbeutende Beute“)

Bevor das schwierigste Teilstück angegangen wird, räumt das Papier die einfachen Szenarien aus dem Weg, in denen einer der Exponenten eine kleine Zahl (wie 2 oder 3) ist. Betrachten Sie dies als das Überprüfen der offensichtlichen Verdächtigen zuerst.

Der Fall Quadrat vs. Kubus ( $x^2 - y^3 = 1$ ):
Das Papier untersucht die Gleichung, bei der ein Quadrat minus ein Kubus gleich 1 ergibt. Es verwendet eine Methode, die ähnlich dem alten Trick von Euler ist. Stellen Sie sich vor, Sie versuchen, einen quadratischen Steckpfosten in ein rundes Loch zu passen. Die Mathematik zeigt, dass dies nur möglich ist, wenn die Zahlen 8 und 9 sind (oder einige triviale Nullen). Der Autor, Klazar, liefert tatsächlich drei verschiedene Wege, um dieses spezifische Rätsel zu lösen, als würde man zeigen, dass ein Schloss mit drei verschiedenen Schlüsseln geöffnet werden kann.
Der Fall Hohe Potenz vs. Quadrat ( $x^m - y^2 = 1$ ):
Hier haben wir eine riesige Potenz (wie $x^5$ ) minus ein Quadrat gleich 1. Das Papier verwendet ein Werkzeug namens Gaußsche ganze Zahlen (Zahlen mit einem imaginären Teil, wie $a + bi$). Denken Sie daran als den Wechsel von einer 2D-Karte zu einer 3D-Karte, um das Problem aus einem neuen Blickwinkel zu betrachten. Es beweist, dass man, egal wie hoch die Potenz geht, kein benachbartes Quadrat finden kann.
Der Fall Quadrat vs. Hohe Potenz ( $x^2 - y^q = 1$ ):
Dies ist das Gegenteil: ein Quadrat minus eine riesige Potenz gleich 1. Ein Mathematiker namens Chao Ko bewies dies schon vor langer Zeit. Das Papier erklärt seine Logik: Wenn ein solches Paar existieren würde, müssten sich die Zahlen so verhalten, dass sie einen mathematischen Widerspruch erzeugen, wie eine Uhr, die rückwärts läuft.

2. Der schwere Teil (Der „Gipfel des Berges“)

Sobald die kleinen Zahlen ausgeschlossen sind, widmet sich das Papier dem eigentlichen Ungeheuer: Zwei unterschiedliche ungerade Primzahlen (wie 7 und 11 oder 13 und 17) als Exponenten.
Die Gleichung lautet: $x^p - y^q = 1$ .

Hier kommt Mihăilescus Genie ins Spiel. Das Papier skizziert seinen Beweis als eine Serie von logischen Fallen, die die Zahlen dazu zwingen, zuzugeben, dass sie nicht existieren.

Die „Cassels-Relationen“ (Die Teilbarkeitsfalle):
Stellen Sie sich vor, Sie haben zwei Verdächtige, $x$ und $y$ . Das Papier zeigt, dass sie, falls sie existieren, sehr spezifische „familiäre Bindungen“ haben müssen.
- Eine Relation besagt: „Wenn du existierst, muss deine Zahl $x$ durch den Exponenten $q$ teilbar sein.“
- Eine andere besagt: „Deine Zahl $y$ muss durch den Exponenten $p$ teilbar sein.“
  Es ist, als würde man sagen: „Wenn du ein Spion bist, musst du einen roten Hut und einen blauen Schuh tragen.“ Das Papier beweist, dass diese Bedingungen notwendig sind.
Die „Super-Cassels-Relationen“ (Die Doppel-Falle):
Mihăilescu ging tiefer. Er bewies, dass die Teilbarkeit nicht nur einmalig, sondern quadratisch erfolgt:
- $x$ muss durch $q^2$ teilbar sein.
- $y$ muss durch $p^2$ teilbar sein.
  Dies ist, als würde man sagen: „Nicht nur brauchst du einen roten Hut, du brauchst einen riesigen roten Hut.“ Dies macht die Zahlen unglaublich groß und einschränkend.
Die „Obstruction Group“ (Die Mauer):
Der Beweis bewegt sich dann in einen sehr abstrakten Bereich der algebraischen Zahlentheorie. Stellen Sie sich vor, die Zahlen versuchen, einen Berg zu erklimmen, aber es gibt eine magische Mauer (eine „Obstruction Group“), die sie stoppt.
Das Papier erklärt, dass die Struktur dieser Zahlen (speziell in „Zyklotomischen Körpern“, die wie spezielle Koordinatensysteme für Einheitswurzeln sind) eine Barriere schafft. Das „Stickelberger-Ideal“ ist ein schicker Name für eine Regel, die besagt: „Du kannst diese Mauer nicht überwinden.“

3. Der finale Knockout (Das „M4“-Theorem)

Das Papier gipfelt in Theorem M4. Dies ist der entscheidende Schlag.
Mihăilescu zeigte, dass, wenn man alle vorherigen Regeln kombiniert (die Teilbarkeit durch Quadrate, die Größe der Zahlen und die Eigenschaften der „Mauer“), die einzigen möglichen Kandidaten für die Exponenten $p$ und $q$ die winzigen Zahlen 3 und 5 sind.

Aber warten Sie! Das Papier hat bereits in den früheren Kapiteln bewiesen, dass die Gleichung, wenn die Exponenten 3 oder 5 sind, keine Lösung hat (außer den trivialen).

Wenn die Exponenten groß sind (7, 11 usw.), stoppt die „Mauer“ sie.
Wenn die Exponenten klein sind (3, 5), stoppen sie die Beweise der „einfachen Fälle“.

Das Fazkilitat:
Es gibt keinen Ort mehr, an dem sich eine Lösung verstecken kann. Die einzigen konsekutiven vollkommenen Potenzen im gesamten Universum der Zahlen sind 8 und 9.

Zusammenfassung

Dieses Papier ist eine vollständige, schrittweise Anleitung dazu, wie man beweist, dass 8 und 9 die einzigen Nachbarn in der Familie der vollkommenen Potenzen sind.

Es beginnt mit einfachen Rätseln (Quadrate und Kuben).
Es bewegt sich zu komplexen Werkzeugen (imaginäre Zahlen und Teilbarkeitsregeln).
Es baut eine massive logische Struktur auf (die Obstruction Group), die beweist, dass kein anderes Paar jemals existieren kann.

Es ist die Geschichte, wie Mathematiker eine Kombination aus alten Tricks und brandneuer, hochtechnologischer mathematischer Maschinerie nutzten, um ein 160 Jahre altes Rätsel zu lösen.

Technische Zusammenfassung: Die Vermutung von Catalan ist das Theorem von Mihăilescu

Problemstellung
Die vorliegende Arbeit befasst sich mit der Vermutung von Catalan, die ursprünglich von Eugène Ch. Catalan im Jahr 1844 aufgestellt wurde. Die Vermutung besagt, dass die einzige Lösung in den natürlichen Zahlen für die diophantische Gleichung $x^m - y^n = 1$ mit $m, n \ge 2$ und $x, y > 0$ das Paar $(x, y, m, n) = (3, 2, 2, 3)$ ist, was $3^2 - 2^3 = 1$ entspricht. Der Text zielt darauf ab, einen vollständigen, in sich geschlossenen Beweis dieser Vermutung zu liefern, die im Jahr 2004 von Preda Mihăilescu bewiesen wurde. Der Beweis ist so strukturiert, dass er die Gleichung durch die Reduktion der Exponenten auf unterschiedliche ungerade Primzahlen $p$ und $q$ behandelt, wodurch das Problem in einen „elementaren“ Teil (in dem einer der Exponenten 2 ist) und einen „nicht-elementaren“ Teil (in dem beide Exponenten $\ge 3$ sind) unterteilt wird.

Methodik und Struktur
Der Text ist als umfassende Exposition von Mihăilescus Beweis organisiert, ergänzt durch das notwendige Hintergrundwissen der algebraischen Zahlentheorie. Die Methodik verläuft in drei distinkten Phasen:

Elementare Fälle (Kapitel 1–3): Der Autor löst Fälle, in denen mindestens ein Exponent 2 ist.
- Kapitel 1 ( $x^2 - y^3 = 1$ ): Es werden drei verschiedene elementare Lösungen präsentiert: eine moderne Vervollständigung von Eulers Argument aus dem Jahr 1737 unter Verwendung elliptischer Kurven und rationaler Punkte; eine 1989 von dem Autor (Klazar) durchgeführte Lösung unter Nutzung der Faktorisierung und der Eigenschaften von Pell-Gleichungen ( $x^2 - 3y^2 = 1$ ); sowie eine Lösung der verwandten Gleichung $x^3 + y^3 = 2z^3$ durch A. Wakulicz.
- Kapitel 2 ( $x^m - y^2 = 1$ für ungerade $m \ge 3$ ): Der Text präsentiert V. Lebegues Beweis aus dem Jahr 1850, der auf der Eigenschaft des eindeutigen Faktorisierungsbereichs (UFD) der Gaußschen Zahlen $\mathbb{Z}[i]$ beruht. Der Autor beweist, dass euklidische Bereiche UFDs sind, um diese Eigenschaft rigoros zu etablieren.
- Kapitel 3 ( $x^2 - y^q = 1$ für Primzahl $q \ge 5$ ): Der Text detailliert Chao Kos Beweis aus dem Jahr 1965, der Eigenschaften von zyklotomischen Körpern und spezifische Lemmata bezüglich des größten gemeinsamen Divisors der Faktoren in der Gleichung nutzt.
Teilbarkeitsrelationen (Kapitel 4): Der Text etabliert zwei kritische Teilbarkeitsbedingungen für hypothetische nicht-triviale Lösungen zu $x^p - y^q = 1$ (wobei $p > q > 2$ unterschiedliche Primzahlen sind). In der Folge von John W. S. Cassels beweist der Autor, dass $q \mid x$ und $p \mid y$ . Diese Relationen werden mittels elementarer Zahlentheorie und der Eigenschaften von $p$ -adischen Ordnungen abgeleitet.
Der nicht-elementare Fall (Kapitel 5–8): Dieser Abschnitt skizziert Mihăilescus Beweis für den Fall, in dem beide Exponenten ungerade Primzahlen sind.
- Kapitel 5: Der Autor skizziert die logische Deduktion des Haupttheorems aus vier spezifischen Theorem (M1–M4) von Mihăilescu. Diese Theorem etablieren:
  - M0.95/M1: Super-Cassels-Relationen ( $p^2 \mid y$ und $q^2 \mid x$ ) und doppelte Wieferich-Bedingungen ( $pq^{-1} \equiv 1 \pmod{q^2}$ und $qp^{-1} \equiv 1 \pmod{p^2}$ ).
  - M2: Eine Kongruenzbedingung ( $p \equiv 1 \pmod q$ oder $q \equiv 1 \pmod p$ ) für Primzahlen $p, q \ge 7$ .
  - M3: Schranken für die Größe der Primzahlen ( $p < 4q^2$ und $q < 4p^2$ ).
  - M4: Den Ausschluss von Lösungen, bei denen eine der Primzahlen 3 oder 5 ist.
- Kapitel 6–8: Diese Kapitel liefern die notwendige algebraische Maschinerie für die nicht-elementaren Beweise. Sie führen Zahlenkörper, Ringe der ganzenzahlen und zyklotomische Körper ein. Speziell definiert Kapitel 6 die „Obstruction Group“ (Hindernisgruppe) und stellt fest, dass die Klassenzahlen von $\mathbb{Q}(\zeta_3)$ und $\mathbb{Q}(\zeta_5)$ gleich 1 sind (was impliziert, dass ihre Ringe der ganzen Zahlen UFDs sind). Kapitel 7 skizziert die Ableitung der Super-Cassels-Relationen unter Verwendung des Stickelberger-Ideals, und Kapitel 8 behandelt die spezifischen Fälle unter Beteiligung der Primzahlen 3 und 5.

Wesentliche Beiträge und Ergebnisse

Selbstkontrollierter Beweis: Der primäre Beitrag dieses Textes ist die Präsentation eines vollständigen und in sich geschlossenen Beweises der Vermutung von Catalan. Der Autor stellt fest, dass existierende Bücher zu diesem Thema (z. B. von Ribenboim, Schoof, Bilu et al.) nicht in sich geschlossen sind und auf Ergebnissen basieren, die als gegeben vorausgesetzt werden. Dieser Text schließt diese Lücken, insbesondere in den elementaren Abschnitten und den algebraischen Grundlagen, die für die Arbeit von Mihăilescu erforderlich sind.
Multiple Auflösungen: Der Text bietet drei verschiedene Beweise für den Fall $x^2 - y^3 = 1$ , einschließlich der eigenen elementaren Lösung des Autors aus dem Jahr 1989 und einer modernisierten Version von Eulers Argument.
Rigide Fundamente: Der Text beweist explizit, dass euklidische Bereiche UFDs sind, und wendet dies auf $\mathbb{Z}[i]$ sowie auf die zyklotomischen Felder $\mathbb{Z}[\zeta_3]$ und $\mathbb{Z}[\zeta_5]$ an, wodurch sichergestellt wird, dass die notwendigen algebraischen Eigenschaften innerhalb des Textes etabliert und nicht nur vorausgesetzt werden.
Logische Synthese: Das Paper synthetisiert die elementaren Ergebnisse (Kapitel 1–3) mit der fortgeschrittenen algebraischen Zahlentheorie (Kapitel 6–8), um zu zeigen, dass keine Lösungen für unterschiedliche ungerade Primzahlen existieren, und schließt damit den Beweis der Vermutung ab.

Bedeutung
Das Paper beansprucht eine Bedeutung als pädagogische und technische Ressource, die den Beweis von Mihăilescu entmystifiziert. Durch die Bereitstellung einer „vollständigen und in sich geschlossenen Präsentation“ zielt es darauf ab, den Beweis für Leser zugänglich zu machen, die die Originalarbeiten oder andere Monographien als zu gedrängt oder zu stark auf externe Referenzen angewiesen empfinden könnten. Der Text betont, dass der „elementare“ Teil (Exponenten gleich 2) nicht zwangsläufig einfach ist, aber dennoch vom „nicht-elementaren“ Teil verschieden ist, welcher tiefgreifende Werkzeuge der algebraischen Zahlentheorie erfordert. Die Arbeit dient dazu, den Beweis von Preda Mihăilescu aus dem Jahr 2004 zu validieren und zu bestätigen, dass 8 und 9 in der Tat die einzigen aufeinanderfolgenden vollkommenen Potenzen sind.

1. Die einfachen Fälle (Die „leicht zu erbeutende Beute“)

2. Der schwere Teil (Der „Gipfel des Berges“)

3. Der finale Knockout (Das „M4“-Theorem)

Zusammenfassung

Mehr davon