🔢 mathematics

Seven squares from three numbers

Der Artikel zeigt, dass es unendlich viele Tripel aus verschiedenen nicht-null rationalen Zahlen gibt, bei denen die Summen von jeweils einem, zwei oder allen drei Elementen mit der Zahl 1 perfekte Quadrate ergeben, während keine solche Tripel aus positiven ganzen Zahlen existiert.

Ursprüngliche Autoren: Andrej Dujella, Matija Kazalicki, Vinko Petričević

Veröffentlicht 2026-04-13

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Andrej Dujella, Matija Kazalicki, Vinko Petričević

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

Die große Suche nach dem perfekten Zahlen-Trio

Stellen Sie sich vor, Sie haben drei verschiedene Zahlen. In der Welt der Mathematik ist es schon eine große Herausforderung, wenn man nur zwei dieser Zahlen nimmt, sie multipliziert und dann 1 addiert – und das Ergebnis ist eine perfekte Quadratzahl (wie 4, 9, 16, 25...). Das ist wie ein magisches Puzzle, bei dem die Teile nur dann zusammenpassen, wenn sie genau richtig gewählt sind.

Die Autoren dieses Papers, Andrej Dujella, Matija Kazalicki und Vinko Petričević, haben sich eine noch viel schwierigere Aufgabe gestellt: Sie suchten nach einem Dreier-Team (nennen wir sie A, B und C), bei dem sieben verschiedene Kombinationen alle gleichzeitig perfekte Quadrate ergeben müssen.

Hier ist die Liste der sieben magischen Kombinationen, die funktionieren müssen:

A + 1
B + 1
C + 1
A × B + 1
A × C + 1
B × C + 1
A × B × C + 1

Wenn alle diese Ergebnisse Quadrate sind (z. B. 4, 9, 100), nennen die Autoren das ein „exotisches Diophantisches Tripel".

Das große Ergebnis: Zwei Welten, zwei Regeln

Die Forscher haben zwei fundamentale Entdeckungen gemacht, die wie zwei Seiten einer Medaille wirken:

1. Die Welt der Brüche (Rationale Zahlen): Ein unendlicher Schatz

Wenn man erlaubt, dass die Zahlen Brüche sind (also Zahlen wie 3/4 oder 11/192), dann gibt es unendlich viele solcher magischen Dreier-Teams.

Die Analogie: Stellen Sie sich vor, Sie suchen nach einem Schlüssel, der sieben verschiedene Türschlösser gleichzeitig öffnet. In der Welt der ganzen Zahlen gibt es vielleicht gar keinen Schlüssel. Aber in der Welt der Brüche gibt es einen riesigen Schlüsselbund, aus dem Sie unendlich viele passende Schlüssel heraussuchen können.
Wie haben sie das gefunden? Die Autoren haben einen cleveren Trick angewendet. Sie haben das Problem in eine Art „mathematische Landkarte" (eine sogenannte elliptische Kurve) übersetzt. Auf dieser Karte gibt es unendlich viele Punkte. Jeder Punkt auf dieser Karte entspricht einem neuen, gültigen Zahlen-Trio. Sie haben gezeigt, dass diese Karte nicht leer ist, sondern voller Schätze steckt.

2. Die Welt der ganzen Zahlen: Eine geschlossene Tür

Wenn man jedoch verlangt, dass die Zahlen ganze positive Zahlen sein müssen (1, 2, 3, 4...), dann ist die Antwort eindeutig: Es gibt kein solches Trio.

Die Analogie: Stellen Sie sich vor, Sie versuchen, ein Haus aus ganzen Ziegeln zu bauen, das sieben verschiedene Fenster gleichzeitig hat, die alle perfekt quadratisch sind. Die Mathematiker haben bewiesen, dass es physikalisch unmöglich ist, ein solches Haus zu bauen. Egal wie viele Ziegel Sie probieren, eines der Fenster wird immer schief sein.
Der Beweis: Die Autoren haben einen sehr eleganten Beweis geführt. Sie haben angenommen, ein solches Trio existiere doch, und haben dann gezeigt, dass dies zu einem logischen Widerspruch führt. Es ist wie ein mathematisches „Unmöglichkeits-Theorem": Die Zahlen würden in einer Lücke stecken bleiben, die es in der Welt der ganzen Zahlen nicht gibt.

Warum ist das wichtig?

In der Mathematik gibt es das Konzept der „Diophantischen Tupel". Das sind Gruppen von Zahlen, die sich gut miteinander multiplizieren lassen.

Früher wusste man, dass es Quadruplets (4 Zahlen) gibt, die fast alle Bedingungen erfüllen.
Dieses Paper zeigt, dass man, wenn man die Regeln noch verschärft (alle sieben Bedingungen), in der Welt der Brüche unendlich viele Lösungen findet, aber in der Welt der ganzen Zahlen absolut keine.

Zusammenfassung in einem Satz

Die Forscher haben bewiesen, dass man aus drei Bruchzahlen ein magisches Trio zaubern kann, bei dem sieben verschiedene Rechenoperationen perfekte Quadrate ergeben (und das unendlich oft!), aber dass es keine drei ganzen Zahlen gibt, die dieses Kunststück vollbringen können.

Es ist ein schönes Beispiel dafür, wie sich die Regeln der Mathematik ändern, je nachdem, ob man mit ganzen Zahlen oder Brüchen spielt – manchmal ist eine Tür für die einen offen, während sie für die anderen fest verschlossen bleibt.

Titel: Sieben Quadrate aus drei Zahlen (Seven Squares from Three Numbers)

Autoren: Andrej Dujella, Matija Kazalicki, Vinko Petričević

1. Problemstellung

Das Paper untersucht die Existenz und Eigenschaften von Tripeln $\{a, b, c\}$ aus verschiedenen, nicht-null rationalen Zahlen, die folgende Bedingung erfüllen:
Die folgenden sieben Ausdrücke müssen alle perfekte Quadrate sein:

$a + 1$
$b + 1$
$c + 1$
$ab + 1$
$ac + 1$
$bc + 1$
$abc + 1$

Solche Tripel werden von den Autoren als "exotische Diophantische Tripel" bezeichnet.
Äquivalent dazu ist die Menge $\{1, a, b, c\}$ eine rationale Diophantische Quadrupel, bei der zusätzlich das Produkt aller vier Elemente plus eins ($abc + 1$) ein perfektes Quadrat ist.

Der zentrale Konflikt der Arbeit liegt in der Unterscheidung zwischen dem Fall der rationalen Zahlen und dem Fall der positiven ganzen Zahlen.

2. Methodik

Die Autoren verwenden eine Kombination aus numerischer Suche, algebraischer Geometrie (elliptische Kurven) und elementarer Zahlentheorie.

A. Untersuchung rationaler Tripel (Theorem 1)

Numerische Suche: Die Autoren starteten mit einer computergestützten Suche nach Beispielen. Zwei spezifische Beispiele wurden identifiziert, die als Ausgangspunkt dienten.
Reguläritätskonzept: Um die algebraische Struktur zu verstehen, wurde das Konzept der "Regulärität" (basierend auf früheren Arbeiten von Dujella et al.) eingeführt. Ein Tripel $(a, b, c)$ ist regulär, wenn ein bestimmtes Polynom $r_3(a, b, c) = (a+b-c)^2 - 4(ab+1)$ verschwindet.
Algebraische Reduktion:
- Es wurde beobachtet, dass für fast die Hälfte der gefundenen exotischen Tripel die Menge $\{1, a, b, c\}$ ein reguläres Diophantisches Quadrupel ist.
- Durch die Symmetrie des Polynoms $r_3$ wurde festgestellt, dass die Bedingung $r_3(1, ab, c) = 0$ automatisch sicherstellt, dass $ab+1$, $abc+1$ und $c+1$ Quadrate sind.
- Um auch $a+1$ und $b+1$ als Quadrate zu erzwingen, wurden Substitutionen $a = r^2 - 1$ und $b = s^2 - 1$ gewählt.
Elliptische Kurven:
- Das resultierende Gleichungssystem wurde auf eine Gleichung für eine Kurve vom Geschlecht 1 (Genus 1) reduziert.
- Diese Kurven wurden birational auf elliptische Kurven abgebildet.
- Der Fall, der zu einer Kurve mit Mordell-Weil-Rang 0 führte, wurde verworfen (keine unendliche Familie).
- Der relevante Fall führte zur elliptischen Kurve $E_2: y^2 = x^3 - 111x + 450$ .
- Da die Mordell-Weil-Gruppe von $E_2$ über $\mathbb{Q}$ einen unendlichen Rang hat (erzeugt durch einen Punkt unendlicher Ordnung), existieren unendlich viele rationale Punkte, die zu unendlich vielen exotischen Tripeln führen.

B. Untersuchung ganzzahliger Tripel (Theorem 2)

Widerspruchsbeweis: Für den Fall positiver ganzer Zahlen wurde ein Beweis durch Widerspruch geführt.
Schrankenabschätzung:
- Es wurde angenommen, dass ein solches Tripel $\{a, b, c\}$ mit $3 \le a < b < c$ existiert.
- Unter Verwendung bekannter Eigenschaften ganzzahliger Diophantischer Quadrupel (insbesondere $c > 4ab$) wurde eine Hilfsgröße $M$ definiert: $M := 2r(zu - st)$, wobei $r, s, t, z, u$ die Wurzeln der entsprechenden Quadrate sind.
- Durch algebraische Umformungen wurde eine Identität hergeleitet: $(zu)^2 - (st)^2 = c(a-1)(b-1)$ .
- Anschließend wurden scharfe Schranken für den Term $zu + st$ bestimmt, um $M$ einzuschließen.
Der Kern des Widerspruchs: Die Abschätzungen führten zu der Ungleichung:
$(a-1)(b-1) < M < (a-1)(b-1) + \frac{1}{2}$
Da $M$ eine ganze Zahl sein muss, liegt sie strikt zwischen zwei aufeinanderfolgenden ganzen Zahlen (bzw. innerhalb eines Intervalls der Länge 0,5), was unmöglich ist.

3. Wichtige Beiträge und Ergebnisse

Existenz unendlicher rationaler Familien (Theorem 1):
Der Hauptbeweis zeigt, dass es unendlich viele exotische rationale Diophantische Tripel gibt. Die Autoren konstruieren diese explizit über die rationalen Punkte auf der elliptischen Kurve $E_2$ . Sie liefern konkrete Beispiele und Formeln, um aus Punkten $(x, y)$ auf $E_2$ die Werte für $a, b, c$ zu berechnen.
Nichtexistenz ganzzahliger Lösungen (Theorem 2):
Es wird streng bewiesen, dass es keine exotischen Diophantischen Tripel aus positiven ganzen Zahlen gibt. Dies steht im Kontrast zu verwandten Problemen (wie denen von Dujella und Szalay), bei denen unendlich viele ganzzahlige Tripel existieren, wenn die Bedingung $a+1, b+1, c+1$ weggelassen wird.
Verbindung zur Theorie elliptischer Kurven:
Die Arbeit demonstriert erneut die Kraft der elliptischen Kurven bei der Konstruktion rationaler Diophantischer Mengen. Die Reduktion des Problems auf eine Kurve mit positivem Rang ist der Schlüssel zur Existenzbeweise.
KI-Unterstützung:
In den Danksagungen wird erwähnt, dass das "Cantab Pi AI Math Research Assistant" bei der Findung des Beweises für Theorem 2 (den ganzzahligen Fall) geholfen hat. Dies unterstreicht den wachsenden Einfluss von KI in der mathematischen Forschung.

4. Signifikanz und Einordnung

Erweiterung des Wissensstands: Während die maximale Größe rationaler Diophantischer Tupel (m-tuples) noch unbekannt ist (es gibt keine Septupel, aber viele Sextupel), klärt diese Arbeit eine spezifische, stark eingeschränkte Variante des Problems. Sie zeigt, dass die zusätzliche Bedingung $abc+1 = \square$ bei rationalen Zahlen lösbar ist, bei ganzen Zahlen jedoch unmöglich wird.
Methodische Präzision: Der Beweis für die Nichtexistenz ganzzahliger Lösungen ist elegant und nutzt klassische Abschätzungstechniken, um einen "leeren" Bereich für eine ganze Zahl zu erzeugen.
Beitrag zur Diophantischen Geometrie: Die Arbeit fügt sich in die langjährige Forschung von Dujella und Kollegen ein, die sich mit der Struktur und Größe von Diophantischen Mengen befasst. Sie liefert neue Einblicke in die Grenzen zwischen rationalen und ganzzahligen Lösungen.

Zusammenfassend liefert das Paper eine vollständige Klassifikation für dieses spezifische Problem: Unendlich viele Lösungen im rationalen Bereich, aber gar keine im positiven ganzzahligen Bereich.