🔢 mathematics

Integers representable as a difference of two rational fourth powers

Motiviert durch Cohens Untersuchung von Summen rationaler vierter Potenzen bestimmt diese Arbeit die vollständige Liste der positiven ganzen Zahlen bis 10.000, die als Differenz zweier von null verschiedener rationaler vierter Potenzen dargestellt werden können.

Ursprüngliche Autoren: Ashleigh Ratcliffe, Tho Nguyen Xuan

Veröffentlicht 2026-04-28

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Ashleigh Ratcliffe, Tho Nguyen Xuan

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 haben eine riesige Kiste mit Bausteinen. Einige Blöcke sind perfekte Quadrate (wie $2^2 = 4$ ), und einige sind perfekte Kubikzahlen ( $2^3 = 8$ ). In diesem Papier spielen die Autoren mit einer sehr spezifischen, etwas schwierigeren Art von Block: vierten Potenzen. Eine vierte Potenz ist einfach eine Zahl, die viermal mit sich selbst multipliziert wird (wie $2^4 = 16$ ).

Die große Frage, die die Autoren stellen, lautet: Können Sie jede ganze Zahl (wie 1, 2, 3... bis 10.000) konstruieren, indem Sie einen dieser vierten-Potenz-Blöcke nehmen und einen anderen davon subtrahieren?

Können Sie zum Beispiel zwei Brüche (rationale Zahlen) finden, sodass Sie, wenn Sie sie zur vierten Potenz erheben und voneinander subtrahieren, genau die Zahl 5 erhalten?
$x^4 - y^4 = 5$

Die große Herausforderung

Die Autoren suchen nicht nur nach ganzen Zahlen-Blöcken; sie dürfen Bruch-Blöcke (wie $3/2$ oder $7/5$ ) verwenden. Dies macht das Rätsel viel schwieriger, da unendlich viele Brüche zu überprüfen sind. Man kann sie nicht einfach nacheinander ausprobieren; man braucht eine Karte.

Das Papier ist im Wesentlichen eine massive „Ja/Nein"-Liste für jede Zahl von 1 bis 10.000.

Ja: „Hier ist ein spezifisches Paar von Brüchen, das funktioniert."
Nein: „Es ist mathematisch unmöglich, diese Zahl auf diese Weise zu konstruieren."

Wie sie es gelöst haben: Das Detektiv-Werkzeugset

Um dies zu lösen, verwendeten die Autoren eine Mischung aus hochmodernen mathematischen Werkzeugen und cleverer Detektivarbeit. Stellen Sie sich das wie eine dreistufige Untersuchung vor:

1. Die „einfache Suche" (Suche nach kleinen Hinweisen)
Zuerst verwendeten sie einen Computer, um nach „kleinen" Lösungen zu suchen. Stellen Sie sich vor, Sie suchen in einem Raum nach einem verlorenen Schlüssel. Wenn der Schlüssel auf dem Boden liegt, finden Sie ihn schnell. Der Computer scannte nach einfachen Bruchkombinationen. Wenn er eine Übereinstimmung fand, wurde die Zahl als „Lösbar" markiert.

2. Der „Gestaltwandler" (Umwandlung des Problems in eine Kurve)
Wenn der Computer keine einfache Antwort finden konnte, mussten die Autoren beweisen, dass keine Antwort existiert. Sie verwendeten einen mathematischen Trick, um die Gleichung $x^4 - y^4 = n$ in eine andere Form zu verwandeln: eine elliptische Kurve.

Analogie: Stellen Sie sich vor, die ursprüngliche Gleichung ist ein verknotetes Seil. Die Autoren fanden einen Weg, es zu entwirren und als glatte, geschlossene Kurve flach auszulegen.
Wenn diese Kurve einen „Rang" von Null hat, bedeutet dies, dass die Kurve zu klein oder unterbrochen ist, um Lösungen zu tragen. Es ist wie eine Straße, die an einem Abgrund endet; man kann nirgendwohin fahren. Dies bewies, dass viele Zahlen unmöglich sind.

3. Der „Mordell-Weil-Sieb" (Der ultimative Filter)
Für die hartnäckigen Zahlen, bei denen die Kurve vielversprechend aussah (sie hatte einen „positiven Rang", was bedeutete, dass sie könnte Lösungen haben), verwendeten sie einen ausgefeilten Filter namens Mordell-Weil-Sieb.

Analogie: Stellen Sie sich vor, Sie versuchen, eine bestimmte Person in einer riesigen Menge zu finden. Sie wissen, dass sie einen roten Hut trägt. Sie fragen jeden in der Menge: „Haben Sie einen roten Hut?" Dann fragen Sie: „Haben Sie ein blaues Hemd?"
Das Sieb prüft die Zahlen gegen verschiedene „Moduli" (wie das Prüfen von Resten bei der Division durch 5, 7 oder 11). Wenn die Mathematik sagt: „Damit eine Lösung existiert, müssen die Zahlen durch 5 teilbar sein", aber eine andere Regel sagt: „Sie dürfen nicht durch 5 teilbar sein", haben Sie einen Widerspruch. Die Person (die Lösung) kann nicht existieren. Das Sieb fand diese Widersprüche für die verbleibenden schwierigen Zahlen.

4. Der „pythagoräische Trick" (Verwendung alter Freunde)
Für einige spezifische Fälle verwendeten sie eine Methode, die pythagoräische Tripel (die berühmten $a^2 + b^2 = c^2$ -Dreiecke) einbezog. Sie erkannten, dass, wenn eine Lösung existierte, sie in das Muster dieser alten Dreiecke passen müsste. Indem sie prüften, ob die Zahlen den Dreiecksregeln entsprachen, konnten sie weitere Möglichkeiten ausschließen.

Das Endergebnis

Nachdem sie diese Tests für jede Zahl bis 10.000 durchgeführt hatten, erstellten die Autoren Tabelle 3.

Diese Tabelle listet die „glücklichen" Zahlen auf, die als Differenz zweier rationaler vierter Potenzen geschrieben werden können.
Für diese glücklichen Zahlen lieferten sie sogar die tatsächlichen Brüche (die „Schlüssel"), die die Gleichung funktionieren lassen.
Für alle anderen Zahlen bewiesen sie mathematisch, dass keine solchen Brüche existieren.

Warum dies wichtig ist (laut dem Papier)

Das Papier behauptet nicht, dass dies beim Brückenbau oder bei der Heilung von Krankheiten helfen wird. Stattdessen vervollständigt es ein Rätsel, an dem Mathematiker schon lange arbeiten.

Es beendet die Arbeit, die von anderen Mathematikern (wie Cohen, Grechuk und Tho) begonnen wurde, die ähnliche Probleme für Summen von Potenzen oder kleinere Bereiche gelöst hatten.
Es liefert eine definitive „Karte" für die Differenz vierter Potenzen bis 10.000 und füllt die Lücken, die frühere Methoden nicht lösen konnten.

Kurz gesagt, handelten die Autoren als Meisterkartografen und zeichneten die vollständige Grenzlinie zwischen den Zahlen, die aus vierten-Potenz-Brüchen konstruiert werden können, und denen, die es nicht können.

1. Problemstellung

Das Papier behandelt die Lösbarkeit der diophantischen Gleichung:
$n = x^4 - y^4$
wobei $n$ eine positive ganze Zahl und $x, y$ nichtverschwindende rationale Zahlen sind.

Dieses Problem wird durch den letzten Satz von Fermat für den Exponenten $n=4$ motiviert, der impliziert, dass $1$ nicht als Differenz zweier nichtverschwindender rationaler vierter Potenzen geschrieben werden kann. Während der Fall der Summe zweier rationaler vierter Potenzen ( $x^4 + y^4 = n$ ) von Cohen, Bremner und Tho für $n \le 10.000$ weitgehend gelöst wurde, blieb der Fall der Differenz für bestimmte Werte unvollständig. Die Autoren zielen darauf ab, eine vollständige Liste aller positiven ganzen Zahlen $n \le 10.000$ zu erstellen, die in dieser Form dargestellt werden können.

Mathematisch ist das Problem äquivalent zur Suche nach ganzzahligen Lösungen $(x, y, z)$ mit $xyz \neq 0$ für die homogene Gleichung:
$x^4 - y^4 = nz^4$
Aufgrund der Eigenschaften von vierter Potenzen genügt es, $n$ zu analysieren, die vierfrei (vierter Potenz-frei) sind.

2. Methodik

Die Autoren wenden einen mehrschichtigen rechnerischen und theoretischen Ansatz an, der Methoden aus elliptischen Kurven, lokalen Hindernissen und Faktorisierung in den Gaußschen ganzen Zahlen kombiniert. Der Arbeitsablauf ist in drei Hauptphasen unterteilt:

A. Einfache Reduktionen und elliptische Kurven (Abschnitte 2.1 & 2.2)

Der erste Schritt besteht darin, das Problem auf die Suche nach rationalen Punkten auf bestimmten elliptischen Kurven zu reduzieren.

Transformation: Jede nichttriviale ganzzahlige Lösung von $x^4 - y^4 = nz^4$ $x^{4} - y^{4} = n z^{4}$ impliziert die Existenz rationaler Punkte auf einer von drei zugehörigen elliptischen Kurven:
1. $Y^2 = X^3 + nX$
2. $Y^2 = X^3 - nX$
3. $Y^2 = X^3 - n^2X$
Rang-0-Prüfung: Wenn eine dieser Kurven Rang 0 hat, ist die Menge der rationalen Punkte endlich (nur Torsionspunkte). Die Autoren verwenden das Computeralgebrasystem Magma, um den Rang und die Torsionspunkte zu berechnen. Wenn die Torsionspunkte keine gültige Lösung liefern (wobei $xyz \neq 0$ ), ist die Gleichung als unlösbar bewiesen.
Reduktion auf oktische Gleichungen: Für Fälle, in denen die Kurven einen positiven Rang haben, wird das Problem (via Theorem 2) auf die Lösung von Gleichungen der Form reduziert:
$a^2u^8 + b^2v^8 = cw^4$
wobei $a, b, c$ paarweise teilerfremde ganze Zahlen sind, sodass $abc \in \{n/8, 2n\}$ .
Lokale Hindernisse & Mordell-Weil-Sieb:
- Lokale Hindernisse: Die Autoren prüfen auf Lösungen modulo $p^k$ . Wenn keine teilerfremden Lösungen modulo einer Primzahl existieren, hat die globale Gleichung keine Lösung.
- Mordell-Weil-Sieb: Für Gleichungen, bei denen lokale Hindernisse keine Lösungen ausschließen können, bilden die Autoren das Problem auf die Suche nach rationalen Punkten auf elliptischen Kurven ab, die aus der oktischen Gleichung abgeleitet sind. Sie verwenden das Mordell-Weil-Sieb, um zu prüfen, ob die erzeugte Gruppe von Punkten modulo einer Primzahl $p$ disjunkt von der Menge der möglichen lokalen Lösungen ist, wodurch die Unlösbarkeit bewiesen wird.

B. Methode der pythagoreischen Tripel (Abschnitt 2.3)

Für spezifische Fälle, in denen der Koeffizient $c$ in der oktischen Gleichung $a^2u^8 + b^2v^8 = cw^4$ eine perfekte Quadratzahl ist ( $c=k^2$ ), kann die Gleichung in ein System umgewandelt werden, das pythagoreische Tripel beinhaltet:
$x^2 + y^2 = z^2$
Unter Verwendung der Standardparametrisierung primitiver pythagoreischer Tripel reduzieren die Autoren das Problem auf die Lösung von Gleichungssystemen, die vierter Potenzen beinhalten (z. B. $d^2U^8 - e^2V^8 = bv^4$ ). Diese Methode löst erfolgreich viele Fälle, die das Sieb-Verfahren nicht bewältigen konnte.

C. Faktorisierung in $\mathbb{Z}[i]$ (Abschnitt 3 & Anhang B)

Für die verbleibenden hartnäckigen Fälle (aufgelistet in Tabelle 2 des Papiers) nutzen die Autoren die Methode der Faktorisierung im Ring der Gaußschen ganzen Zahlen $\mathbb{Z}[i]$ .

Faktorisierung: Die Gleichung $a^2u^8 + b^2v^8 = cw^4$ wird umgeschrieben als:
$(au^4 + bv^4i)(au^4 - bv^4i) = cw^4$
Gaußsche ganze Zahlen: Durch Analyse des ggT in $\mathbb{Z}[i]$ und der Primfaktorzerlegung von $c$ folgern die Autoren, dass:
$au^4 + bv^4i = \alpha(s + ti)^4$
wobei $\alpha$ ein Teiler von $c$ in $\mathbb{Z}[i]$ ist.
Lokale Unlösbarkeit von Schemata: Das Gleichsetzen von Real- und Imaginärteil ergibt ein System von zwei homogenen quartischen Gleichungen in den Variablen $s, t, u, v$ . Dies definiert ein Schema im projektiven Raum $\mathbb{P}^3(\mathbb{Q})$ . Die Autoren verwenden Magma, um zu prüfen, ob dieses Schema an einer bestimmten Primzahl (üblicherweise 2, 3, 5 oder 17) lokal unlösbar ist. Wenn das Schema keine Lösungen modulo $p$ hat, hat die ursprüngliche diophantische Gleichung keine ganzzahligen Lösungen.

3. Hauptbeiträge

Vollständige Klassifizierung: Das Papier liefert die vollständige Liste aller positiven ganzen Zahlen $n \le 10.000$ , die als Differenz zweier nichtverschwindender rationaler vierter Potenzen darstellbar sind.
Lösung offener Fälle: Die Autoren lösen die spezifischen Fälle, die von früheren Arbeiten (Grechuk und Tho) offen gelassen wurden, einschließlich $n = 219, 463, 514$ und anderer bis $n=10.000$ .
Algorithmischer Rahmen: Das Papier beschreibt eine robuste rechnerische Pipeline, die Ränge elliptischer Kurven, das Mordell-Weil-Sieb, Parametrisierung durch pythagoreische Tripel und Faktorisierung in Gaußschen ganzen Zahlen kombiniert. Dieser Rahmen ist auf ähnliche diophantische Probleme mit höheren Potenzen anwendbar.
OEIS-Folgen: Die Ergebnisse sind in der On-Line Encyclopedia of Integer Sequences (OEIS) als Folgen A393616 (nichtverschwindende rationale vierter Potenzen) und A393617 (Erlaubnis von Null) katalogisiert.

4. Ergebnisse

Lösungsfähige ganze Zahlen: Tabelle 3 im Papier listet 136 ganze Zahlen $n \le 10.000$ auf, die als $x^4 - y^4$ darstellbar sind. Für jede wird eine spezifische rationale Darstellung angegeben (z. B. $5 = (3/2)^4 - (1/2)^4$ ).
Unlösliche ganze Zahlen: Das Papier beweist, dass die verbleibenden ganzen Zahlen im Bereich $1 \le n \le 10.000$ keine nichtverschwindenden rationalen Lösungen haben.
Spezifische Fälle: Die Anhänge liefern exhaustive Beweise für die 33 „harten" Fälle, die die Faktorisierungsmethode in $\mathbb{Z}[i]$ erforderten. Beispielsweise wird für $n=463$ gezeigt, dass die Gleichung $214369u^8 + v^8 = 2w^4$ keine Lösungen hat, indem bewiesen wird, dass das zugehörige Schema an $p=2$ und $p=3$ lokal unlösbar ist.

5. Bedeutung

Vollendung der Übersicht: Diese Arbeit parallelisiert Cohens Übersicht über die Summe von vierter Potenzen und vervollständigt das Bild für den Fall der Differenz bis 10.000.
Methodischer Fortschritt: Sie demonstriert die Kraft der Kombination klassischer Zahlentheorie (Gaußsche ganze Zahlen, pythagoreische Tripel) mit modernen rechnerischen Werkzeugen (Magma, Mordell-Weil-Sieb) zur Lösung diophantischer Gleichungen hohen Grades.
Grundlage für zukünftige Forschung: Die detaillierten Anhänge und die spezifischen Techniken, die für die „harten" Fälle verwendet wurden, bieten einen Bauplan für die Bewältigung ähnlicher Probleme, wie Summen oder Differenzen von sechsten Potenzen oder höheren Exponenten.

Zusammenfassend haben Ratcliffe und Tho die Lücke in der Literatur bezüglich der Differenz rationaler vierter Potenzen erfolgreich geschlossen und eine definitive Liste darstellbarer ganzer Zahlen sowie rigorose Beweise für die nicht-darstellbaren innerhalb des angegebenen Bereichs geliefert.