On Arithmetic Progressions and a Proof of the Nonexistence of Magic Squares of Squares

Der Artikel untersucht die Eigenschaften aufeinanderfolgender, gleichsummierender arithmetischer Progressionen ungerader Zahlen und nutzt diese Erkenntnisse, um zu beweisen, dass keine $3\times3$-Magischen Quadrate aus verschiedenen Quadratzahlen existieren.

Das Wesentliche

Die große Frage: Gibt es den perfekten Zahlen-Zauberwürfel?

Stell dir vor, du hast ein 3x3-Raster (wie ein Tic-Tac-Toe-Brett). Du sollst Zahlen in die 9 Kästchen schreiben. Die Regel ist einfach: Wenn du jede Zeile, jede Spalte und beide Diagonalen addierst, muss das Ergebnis immer genau dasselbe sein. Das nennen wir einen „magischen Quadrat".

Das ist schon schwer genug mit normalen Zahlen. Aber die Mathematiker haben sich eine noch härtere Aufgabe ausgedacht:
Kann man ein solches magisches Quadrat bauen, bei dem alle 9 Zahlen Quadratzahlen sind?

Das heißt, die Zahlen müssen so aussehen wie $1, 4, 9, 16, 25, 36$ usw. (also $1^2, 2^2, 3^2, 4^2, 5^2, 6^2 \dots$).

Seit Jahrhunderten suchen Mathematiker nach so einem Quadrat. Bisher haben sie nur „halb-magische" Quadrate gefunden (bei denen die Diagonalen nicht passen) oder Quadrate mit wiederholten Zahlen. Oscar Hill behauptet in diesem Papier nun: Es ist unmöglich. Ein solches Quadrat existiert nicht.

---

Wie hat er das bewiesen? (Die Reise durch die Zahlenlandschaft)

Um das zu beweisen, nutzt Hill keine komplizierten Formeln, sondern eine clevere Beobachtung über die Natur der Quadratzahlen.

1. Die Treppe der ungeraden Zahlen

Stell dir vor, du baust eine Treppe aus Quadratzahlen:

• $1^2 = 1$
• $2^2 = 4$ (Unterschied zu vorher: 3)
• $3^2 = 9$ (Unterschied zu vorher: 5)
• $4^2 = 16$ (Unterschied zu vorher: 7)

Die Unterschiede zwischen den Quadratzahlen ($3, 5, 7, 9 \dots$) sind immer ungerade Zahlen, die sich wie eine perfekte Leiter verhalten. In der Mathematik nennt man das eine „arithmetische Folge".

2. Das Paar-Problem (Die Waage)

Hill schaut sich nun Paare dieser „Leitern" an. Stell dir vor, du hast zwei verschiedene Leitern (zwei Folgen von ungeraden Zahlen).

• Die erste Leiter hat eine bestimmte Länge und beginnt an einem bestimmten Punkt.
• Die zweite Leiter beginnt etwas später und ist auch eine bestimmte Länge.

Die magische Bedingung für unser Quadrat ist: Die Summe der Zahlen auf der ersten Leiter muss exakt gleich der Summe der Zahlen auf der zweiten Leiter sein.

Hill untersucht nun, wie diese beiden Leitern zueinander stehen müssen, damit ihre Summen gleich sind. Er findet heraus, dass es dafür sehr strenge Regeln gibt. Es ist wie bei einer Waage: Wenn du auf der einen Seite ein schweres Gewicht hast, musst du auf der anderen Seite eine ganz spezifische Kombination aus Länge und Startpunkt wählen, damit es im Gleichgewicht bleibt.

3. Der magische Würfel als Puzzle

Jetzt bringt er das 3x3-Raster ins Spiel.
Wenn ein solches magisches Quadrat aus Quadratzahlen existieren würde, müsste es im Inneren des Rasters drei solcher „Leiter-Paare" geben, die alle die gleiche Summe haben. Und diese Paare müssten sich auf eine ganz bestimmte Art und Weise überlappen und verbinden, genau wie Puzzleteile.

Hill zeigt auf, dass die mathematischen Regeln für diese „Leiter-Paare" (die er in den Abschnitten 2 und 3 seines Papers detailliert berechnet) im Widerspruch zu den Regeln des 3x3-Rasters stehen.

4. Der finale Knall (Der Beweis)

Stell dir vor, du versuchst, drei verschiedene Schlüssel in ein Schloss zu stecken, das nur einen einzigen Schlüssel akzeptiert.

• Die Mathematik sagt: „Damit die Summen gleich sind, müssen diese drei Paare fast identisch sein."
• Aber die Definition eines magischen Quadrats sagt: „Alle Zahlen müssen verschieden sein!"

Hill führt die Rechnung bis zum Schluss und zeigt:
Wenn man annimmt, dass so ein Quadrat existiert, führt die Mathematik unweigerlich zu einem Widerspruch. Es würde bedeuten, dass die drei verschiedenen Teile des Puzzles eigentlich dasselbe Teil sind. Wenn sie aber gleich sind, sind die Zahlen im Quadrat nicht mehr verschieden.

Das ist wie wenn du versuchst, ein Haus aus Lego zu bauen, aber die Anleitung sagt: „Alle Steine müssen unterschiedlich sein", und am Ende herauskommt, dass du eigentlich nur drei identische Steine nebeneinander gelegt hast. Das ist kein magisches Quadrat mehr.

Das Fazit

Oscar Hill hat also bewiesen, dass die Natur der Quadratzahlen (diese „ungeraden Treppen") zu starr ist. Sie lassen sich nicht so geschmeidig biegen und kombinieren, dass sie ein perfektes 3x3-magisches Quadrat bilden können, bei dem alle Zahlen unterschiedlich sind.

Kurz gesagt:
Es ist wie ein unmögliches Puzzle. Die Teile (die Quadratzahlen) passen mathematisch einfach nicht so zusammen, wie es die Regeln des magischen Quadrats verlangen. Man kann es versuchen, man kann es mit Computern suchen, aber es wird niemals funktionieren. Die Mathematik hat hier ein „Nein" gesagt.

Technische Zusammenfassung

Titel und Kontext

Titel: „On Arithmetic Progressions and a Proof of the Nonexistence of Magic Squares of Squares" (Über arithmetische Progressionen und ein Beweis der Nichtexistenz von magischen Quadraten aus Quadratzahlen).
Autor: Oscar Hill.
Datum: Oktober 2025 (veröffentlicht auf arXiv im April 2026).

1. Problemstellung

Das Papier adressiert ein klassisches und langjähriges ungelöstes Problem der Zahlentheorie: Die Existenz eines 3×3 magischen Quadrats, dessen Einträge ausschließlich verschiedene Quadratzahlen (ganze Zahlen der Form $n^2$) sind.

• Hintergrund: Ein magisches Quadrat der Ordnung $n$ besteht aus $n^2$ verschiedenen positiven ganzen Zahlen, bei denen die Summen aller Zeilen, Spalten und der beiden Hauptdiagonalen gleich einer „magischen Konstante" $K$ sind.
• Status Quo:
  • Für $n=3$ wurde ein magisches Quadrat aus Quadratzahlen bisher nie gefunden, obwohl viele „semi-magische" Varianten (mit Wiederholungen oder unterschiedlichen Konstanten) existieren (z. B. das Parker-Quadrat).
  • Für $n \ge 4$ wurde bewiesen, dass solche Quadrate existieren (Euler konstruierte 1770 ein 4×4-Beispiel; Rome und Yamagishi zeigten, dass für jede Potenz $d \ge 2$ eine untere Schranke $n_0(d)$ existiert).
  • Die Frage nach der Existenz für $n=3$ und $d=2$ (Quadratzahlen) blieb offen.

2. Methodik

Der Autor entwickelt einen neuen Beweisansatz, der auf der Analyse von Paaren aufeinanderfolgender arithmetischer Progressionen (APs) aus ungeraden Zahlen basiert.

• Grundlegende Beobachtung: Die Differenzen zwischen aufeinanderfolgenden Quadratzahlen ($x^2, (x+1)^2, \dots$) bilden eine arithmetische Progression ungerader Zahlen mit der Differenz $d=2$.
• Konstruktion der AP-Paare:
  • Das Papier definiert ein „AP-Paar" $P = (p_1, p_2)$ als zwei aufeinanderfolgende arithmetische Progressionen ungerader Zahlen, die die gleiche Summe $\Sigma_P$ haben.
  • Es werden Beziehungen zwischen den Startoffsets ($P_1, P_2$), der Länge der Progressionen ($P_{n1}, P_{n2}$) und der gemeinsamen Summe hergeleitet.
  • Eine zentrale Variable ist $\kappa = P_{n1}/P_{n2}$, die das Verhältnis der Längen beschreibt.
• Verknüpfung mit dem magischen Quadrat:
  • Ein 3×3 magisches Quadrat aus Quadratzahlen wird in eine Struktur zerlegt, die aus drei solchen AP-Paaren besteht, die durch eine zweite Differenz $D_2$ verbunden sind.
  • Die magischen Konstanten und die Beziehungen zwischen den Zellen des Quadrats werden in Gleichungen für die Summen dieser APs übersetzt.
  • Der Beweis nutzt algebraische Manipulationen, um zu zeigen, dass die Bedingungen für die Existenz eines solchen Quadrats zu einem Widerspruch führen.

3. Schlüsselbeiträge und Herleitung

Der Kern des Beweises liegt in der Ableitung einer komplexen algebraischen Gleichung (Gleichung 29 im Papier), die die Parameter der drei notwendigen AP-Paare ($P_1, P_2, P_3$) miteinander verknüpft.

1. Algebraische Reduktion: Durch die Einführung rationaler Variablen ($\alpha, \beta$) und die Nutzung der Summenformeln für APs wird gezeigt, dass die Summen der Zwischen-Progressionen ($\Sigma_{pA}$ und $\Sigma_{pB}$) gleich sein müssen (Lemma 3.2).
2. Analyse der Gleichung (29): Der Autor stellt eine Gleichung auf, die links und rechts Terme enthält, die von den Parametern der APs abhängen.
3. Der Widerspruch:
   • Durch den Vergleich der Koeffizienten (insbesondere der ungeraden Potenzen von $\alpha_{1d}$) wird gezeigt, dass eine Bedingung erfüllt sein muss: $\beta_{1d}^2 - \beta_{1n}^2 = 0$.
   • Dies impliziert $\beta_1 = 1$.
   • Aus $\beta_1 = 1$ folgt, dass die Längen der Progressionen gleich sind ($P_{n2}^1 = P_{n2}^2$).
   • Da die Summen der AP-Paare gleich sein müssen ($\Sigma_{P1} = \Sigma_{P2} = \Sigma_{P3}$), führt dies zwingend dazu, dass auch die Startoffsets identisch sind ($P_1 = P_2 = P_3$).
   • Konsequenz: Wenn die AP-Paare identisch sind, sind die zugrundeliegenden Quadratzahlen im magischen Quadrat nicht mehr verschieden (distinct), was die Definition eines magischen Quadrats verletzt.

4. Ergebnisse

Das Papier liefert einen formalen Beweis für Theorem 3.1:

Es ist unmöglich, ein 3×3 magisches Quadrat zu konstruieren, das ausschließlich aus verschiedenen Quadratzahlen besteht.

Der Beweis zeigt, dass die algebraischen Anforderungen an die Summen und Differenzen der Quadratzahlen in einer 3×3-Anordnung zu einem logischen Widerspruch führen, sofern alle Einträge verschieden sein müssen.

5. Bedeutung und Relevanz

• Lösung eines offenen Problems: Dies ist ein signifikanter Beitrag zur Zahlentheorie, da er eine jahrhundertealte Vermutung (die Nichtexistenz eines 3×3 Quadratzahl-Magischen Quadrats) formal beweist.
• Neue Methode: Der Ansatz, magische Quadrate durch die Analyse von Paaren arithmetischer Progressionen ungerader Zahlen zu untersuchen, bietet einen neuen, strukturellen Blickwinkel auf das Problem, der sich von früheren Versuchen unterscheidet.
• Abgrenzung: Der Beweis bestätigt, dass die bekannten semi-magischen Quadrate (wie das Parker-Quadrat) die einzigen möglichen Konfigurationen sind, da echte magische Quadrate für diesen Fall mathematisch ausgeschlossen sind.
• Klarheit: Das Papier schließt die Lücke zwischen den Existenzbeweisen für $n \ge 4$ und der Nichtexistenz für $n=3$, was das Verständnis der Eigenschaften von magischen Quadraten aus Potenzen vertieft.

Zusammenfassend stellt dieses Werk einen rigorosen mathematischen Beweis dar, der die Unmöglichkeit eines 3×3 magischen Quadrats aus Quadratzahlen endgültig feststellt, indem es die zugrundeliegenden arithmetischen Strukturen als inkompatibel mit der Forderung nach verschiedenen Einträgen nachweist.