🔢 mathematics

Sum of consecutive powers as a perfect power

Dieser Artikel beweist, dass für die Gleichung $x^k + (x+1)^k = y^n$ mit $n \geq 3$ und $k \equiv 2 \pmod{4}$ die einzigen Lösungen die trivialen Fälle $x=0, -1$ sind, wenn $6 \leq k \leq 100$ gilt oder wenn $k$ ungerade Primfaktoren besitzt, die kongruent zu $3 \pmod{4}$ sind, wobei lineare Formen in Logarithmen, die modulare Methode und Thue-Gleichungen verwendet werden.

Ursprüngliche Autoren: Angelos Koutsianas, Nikos Tzanakis

Veröffentlicht 2026-05-19

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Angelos Koutsianas, Nikos Tzanakis

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 mit Zahlen zu lösen. Das Rätsel lautet: Können Sie zwei Zahlen finden, die direkt nebeneinander liegen (wie 3 und 4 oder 100 und 101), beide auf dieselbe hohe Potenz heben, sie addieren und ein Ergebnis erhalten, das ebenfalls eine perfekte Potenz ist?

Nehmen wir zum Beispiel $3^3 + 4^3$ . Das ergibt $27 + 64 = 91$ . Ist 91 eine perfekte Potenz (wie ein Quadrat, eine Kubikzahl usw.)? Nein. Die Mathematiker in diesem Papier, Angelos Koutsianas und Nikos Tzanakis, verbrachten ihre Zeit damit, nach den seltenen Momenten zu suchen, in denen die Antwort ja lautet.

Hier ist eine Aufschlüsselung ihrer Untersuchung mit einfachen Analogien.

Das Haupträtsel

Die Gleichung, die sie untersuchen, sieht so aus:
$x^k + (x+1)^k = y^n$

$x$ und $x+1$ : Zwei Nachbarn.
$k$ : Die „Potenz", auf die Sie sie heben. Das Papier konzentriert sich auf eine bestimmte Art von Potenz: Zahlen wie 6, 10, 14, 18 usw. (Zahlen, die um 2 größer sind als ein Vielfaches von 4).
$y^n$ : Das Ergebnis muss eine perfekte Potenz sein (wie eine perfekte Kubikzahl, vierte Potenz usw., wobei $n$ mindestens 3 ist).

Die „Geister"-Lösungen

Bevor sie begannen, kannten sie zwei „Geister"-Lösungen.

Wenn $x = 0$ , dann ist $0^k + 1^k = 1$ . Da 1 eine perfekte Potenz ist ( $1^n$ ), funktioniert dies.
Wenn $x = -1$ , dann ist $(-1)^k + 0^k = 1$ . Dies funktioniert ebenfalls.

Die Autoren wollten wissen: Gibt es irgendwelche echten Lösungen, bei denen die Zahlen tatsächlich größer als 1 sind?

Das Werkzeug des Detektivs

Um dies zu lösen, haben die Autoren nicht einfach nur Zahlen geraten. Sie verwendeten eine „dreifache" Untersuchungsstrategie, wie ein Detektiv, der drei verschiedene Arten forensischer Werkzeuge einsetzt:

Das „Logarithmus-Messband" (Lineare Formen in Logarithmen):
Stellen Sie sich vor, Sie versuchen, eine Nadel in einem Heuhaufen zu finden. Sie wissen, dass die Nadel irgendwo ist, aber der Heuhaufen ist unendlich. Dieses Werkzeug hilft ihnen, den Heuhaufen auf eine handhabbare Größe zu reduzieren. Es beweist, dass, falls eine Lösung existiert, die beteiligten Zahlen nicht zu riesig sein können. Es setzt eine Obergrenze fest und sagt: „Wenn eine Lösung existiert, muss sie unter dieser spezifischen Zahl liegen."
Der „modulare Spiegel" (Die modulare Methode):
Dies ist das komplexeste Werkzeug. Stellen Sie sich vor, Sie schauen in einen Spiegel. Wenn Sie eine bestimmte Form haben (Ihre Gleichung), wirft sie einen Schatten (ein mathematisches Objekt, das als elliptische Kurve bezeichnet wird). Die Autoren betrachteten diesen Schatten und verglichen ihn mit einer Bibliothek bekannter Schatten (die sogenannten „Neuformen").
- Wenn der Schatten ihrer Gleichung mit einem Schatten in der Bibliothek übereinstimmte, konnten sie prüfen, ob es sich um eine „falsche" Übereinstimmung handelte.
- Sie nutzten dies, um zu beweisen, dass für viele spezifische Potenzen ( $k$ ) der „Schatten" mit nichts übereinstimmte, was eine echte Lösung produzieren könnte. Es ist so, als würde man sagen: „Dieser Fingerabdruck gehört zu keinem Kriminellen in unserer Datenbank, also konnte dieses Verbrechen nicht passiert sein."
Der „Puzzlesolver" (Thue-Gleichungen):
Für die kleineren Zahlen, die die anderen Werkzeuge nicht ausschließen konnten, verwandelten sie das Problem in eine bestimmte Art mathematisches Puzzle, das als Thue-Gleichung bezeichnet wird. Diese sind wie Sudoku-Raster für Zahlen. Sie lösten diese Puzzles für kleinere Fälle, um zu beweisen, dass es dort ebenfalls keine Lösungen gab.

Die große Entdeckung

Nachdem sie diese Werkzeuge durch eine massive Computerprüfung laufen ließen (unter Verwendung eines Standard-Bürocomputers, nicht eines Supercomputers), fanden sie die Antwort:

Für jede Potenz $k$ zwischen 6 und 100 (die ihrer spezifischen Regel entspricht) sind die EINZIGEN Lösungen die „Geister", die wir bereits kannten: $x = 0$ und $x = -1$ .

Mit anderen Worten: Sie können zwei positive ganze Zahlen, die nebeneinander liegen, nicht auf eine Potenz zwischen 6 und 100 heben, sie addieren und eine perfekte Potenz erhalten. Das Universum erlaubt dies einfach nicht in diesem Bereich.

Warum dies wichtig ist (in mathematischen Begriffen)

Das Papier erwähnt, dass dies das erste Mal ist, dass jemand dieses spezifische Rätseltyp für so große Potenzen ( $k$ ) erfolgreich gelöst hat, wenn nur zwei Zahlen addiert werden.

Normalerweise ist es, wenn zwei Zahlen zu einer dritten Potenz addiert werden, ein sehr schwieriges Problem (im Zusammenhang mit dem berühmten Fermatschen Lasten Theorem). Die Autoren schafften es, das Problem in kleinere, lösbare Teile zu zerlegen. Sie zeigten, dass, obwohl die Mathematik unglaublich tief ist und abstrakte Konzepte wie „Kurven" und „Logarithmen" beinhaltet, das Endergebnis eine einfache „Nein"-Antwort für alle großen Zahlen ist, die sie getestet haben.

„Was kommt als Nächstes?"

Das Papier endet mit der Aussage: „Wir haben dies für Potenzen bis 100 getan. Dieselben Methoden sollten für Potenzen größer als 100 funktionieren, aber das ist eine Aufgabe für einen anderen Tag." Sie stellen auch fest, dass, wenn die Potenz $k$ eine ungerade Zahl ist (wie 5 oder 7), sich das gesamte Spiel ändert und die Regeln, die sie hier verwendeten, nicht mehr gelten. Das ist ein viel schwierigeres Rätsel für die Zukunft.

Kurz gesagt: Sie bewiesen, dass für eine breite Palette hoher Potenzen die Summe zweier aufeinanderfolgender Zahlen niemals eine perfekte Potenz ist, es sei denn, man beginnt mit Null oder minus Eins. Die „Geister" sind die einzigen, die gewinnen.

Technisches Fazit: Summe aufeinanderfolgender Potenzen als perfekte Potenz

Problemstellung
Diese Arbeit untersucht die diophantische Gleichung, die die Summe zweier aufeinanderfolgender perfekter Potenzen gleich einer perfekten Potenz darstellt:
$x^k + (x + 1)^k = y^n, \quad n \geq 3$
Die Autoren konzentrieren sich speziell auf den Fall, in dem der Exponent $k$ die Bedingung $k \equiv 2 \pmod 4$ erfüllt. Während die Fälle für $k=2, 3, 4$ und verschiedene Längen aufeinanderfolgender Summen ( $d$ ) in der vorherigen Literatur behandelt wurden, bleibt der Fall $d=2$ mit großem $k$ weitgehend ungelöst. Die Autoren stellen fest, dass für $d=2$ die Gleichung ein Spezialfall der verallgemeinerten Fermat-Gleichung mit Signatur $(r, r, p)$ ist, was typischerweise Hindernisse im Zusammenhang mit nicht-singulären Frey-hyperelliptischen Kurven mit komplexer Multiplikation (insbesondere für $x=0, -1$ ) aufwirft. Das Hauptziel besteht darin, alle ganzzahligen Lösungen für $6 \leq k \leq 100$ unter der Bedingung $k \equiv 2 \pmod 4$ zu bestimmen.

Methodik
Die Beweisstrategie kombiniert drei unterschiedliche mathematische Techniken: lineare Formen in Logarithmen, die modulare Methode und die Auflösung von Thue-Gleichungen. Der Ansatz verläuft wie folgt:

Transformation und Reduktion:
Die Autoren transformieren die ursprüngliche Gleichung, indem sie $x$ als ungerade ganze Zahl setzen (durch Variablensubstitution $x \to (x-1)/2$ ), was zur symmetrischen Form führt:
$\frac{(x-1)^k + (x+1)^k}{2} = 2^{k-1}y^n$
Mithilfe von Lemma 4.1 faktorisieren sie die linke Seite als $(x^2+1)f_k(x^2)$ , wobei $f_k$ ein Polynom vom Grad $k/2 - 1$ ist.
Reduktion auf Lebesgue-Nagell- und Thue-Gleichungen:
Ein wesentlicher Beitrag ist Lemma 4.2, das zeigt, dass für $k \geq 6$ und hinreichend großes $n$ jede Lösung $(x, y, n)$ auf ein endliches System aus zwei Gleichungen reduziert wird:
$x^2 + 1 = 2 \frac{d_2}{d_1} y_1^n$
$f_k(x^2) = 2^{k-2} \frac{d_1}{d_2} y_2^n$
Hierbei sind $d_1, d_2$ spezifische Teiler von $k/2$ , die durch die Primfaktoren von $k$ bestimmt werden, die kongruent zu $1 \pmod 4$ sind.
- Für kleine $n$ ( $n \leq 7$ ) wird die Auflösung der ersten Gleichung auf das Lösen einer endlichen Anzahl von Thue-Gleichungen über den Gaußschen ganzen Zahlen $\mathbb{Q}(i)$ reduziert.
- Für den allgemeinen Fall wird das Problem auf das Lösen von Lebesgue-Nagell-Gleichungen der Form $x^2 + 1 = 2d y^n$ reduziert.
Die modulare Methode:
Für den Bereich $6 \leq k \leq 100$ und Primzahl $n \geq 11$ wenden die Autoren die modulare Methode an. Sie ordnen einer potenziellen Lösung eine Frey-Hellegouarch-Elliptische Kurve $E$ zu. Durch die Nutzung von Modularität und Sätzen zur Senkung des Niveaus stellen sie einen Isomorphismus zwischen der Galois-Darstellung von $E$ und der einer neuen Form $f$ her.
- Proposition 3.1 wird verwendet, um $n$ zu begrenzen, indem Fourier-Koeffizienten $a_\ell(f)$ und $a_\ell(E)$ für verschiedene Primzahlen $\ell$ verglichen werden.
- Proposition 6.3 führt eine verfeinerte Eliminationstechnik unter Verwendung von Primzahlen $\ell = tn + 1$ ein, um spezifische neue Formen auszuschließen, die durch den Standardvergleich der Koeffizienten nicht eliminiert werden konnten.
Lineare Formen in Logarithmen:
Um die obere Schranke für $n$ zu behandeln, wenden die Autoren die Theorie von Baker über lineare Formen in Logarithmen an. Sie leiten eine explizite obere Schranke $n_0$ für $n$ her (dargestellt in Tabelle 2), indem sie die lineare Form $\Lambda = n \log \alpha_1 - \log \alpha_2$ analysieren. Diese Schranke stellt sicher, dass für $n > n_0$ keine Lösungen existieren.

Hauptergebnisse
Die Arbeit etabliert den folgenden Hauptsatz:

Satz 1.1: Angenommen, $k \equiv 2 \pmod 4$ . Wenn $6 \leq k \leq 100$ , dann treten die einzigen ganzzahligen Lösungen von $x^k + (x+1)^k = y^n$ mit $n \geq 3$ auf, wenn $x \in \{-1, 0\}$ .

Darüber hinaus beweisen die Autoren Satz 1.3, der den Fall behandelt, in dem $k \equiv 2 \pmod 4$ gilt und alle ungeraden Primfaktoren von $k$ kongruent zu $3 \pmod 4$ sind. In diesem spezifischen Szenario lauten die Lösungen $(x, y, n, k) = (0, 1, n, k)$ , $(119, 13, 4, 2)$ und $(-120, 13, 4, 2)$ .

Die rechnerische Überprüfung umfasste:

Das Lösen von Thue-Gleichungen für $n \leq 7$ mit Pari/GP.
Die Anwendung der modularen Methode zum Ausschließen neuer Formen für $11 \leq n \leq n_0$ mittels Sage-Skripten.
Die Berechnung expliziter oberer Schranken $n_0$ für jedes $k$ im Bereich $[6, 100]$ (im Bereich von $\approx 1,7 \times 10^5$ bis $\approx 3 \times 10^7$ ).

Bedeutung und Umfang
Die Autoren stellen fest, dass diese Arbeit den ersten Versuch darstellt, Gleichung (1.1) für $d=2$ mit großen Werten von $k$ zu lösen. Die Bedeutung liegt darin, die Hindernisse, die mit Kurven vom Geschlecht $>1$ verbunden sind (insbesondere die Fälle $x=0, -1$ ), erfolgreich zu überwinden, indem das Problem auf eine endliche Anzahl lösbarer Gleichungen reduziert wird.

Die Arbeit ist hinsichtlich ihres Umfangs über den getesteten Bereich hinaus bescheiden. Die Autoren stellen fest, dass ihre Methoden „im Prinzip" auf jedes $k \equiv 2 \pmod 4$ mit $k > 100$ anwendbar sind, die rechnerische Komplexität jedoch signifikant zunimmt. Sie stellen ausdrücklich fest, dass der Fall, in dem $k$ ungerade ist, eine „sehr unterschiedliche" und „sehr herausfordernde" Situation darstellt, bei der ihr zentrales Lemma 4.2 versagt, und dass der Fall $k=5$ ein offenes Problem bleibt. Die Arbeit beansprucht nicht, die Gleichung für alle $k$ zu lösen, sondern bietet vielmehr eine vollständige Lösung für den spezifischen Bereich $6 \leq k \leq 100$ unter den angegebenen Kongruenzbedingungen.