🔢 mathematics

Quartic reductions and elliptic obstructions for perfect Euler bricks

Dieser Artikel zeigt, dass das Problem des perfekten Euler-Quaders äquivalent zu einer bestimmten diophantischen Fragestellung ist, die auf eine Familie hyperelliptischer Kurven vom Geschlecht 3 reduziert wird, für die mittels elliptischer Hindernisse und 2-Descent-Argumente keine Lösungen für Parameter bis $10^3$ gefunden wurden, wobei eine vollständige Widerlegung der Existenz solcher Quader noch offen bleibt.

Ursprüngliche Autoren: René Peschmann

Veröffentlicht 2026-04-13

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: René Peschmann

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

Das Rätsel des perfekten Kuchens: Eine Reise in die Welt der Zahlen

Stellen Sie sich vor, Sie bauen einen Kasten aus Holz. Ein ganz normaler, rechteckiger Kasten, wie ein Schuhkarton.

Die Kanten sind ganze Zahlen (z. B. 3 cm, 4 cm, 5 cm).
Wenn Sie von einer Ecke zur gegenüberliegenden Ecke auf einer Fläche messen (die Diagonale), ist das Ergebnis auch eine ganze Zahl.
Das ist schon eine ziemliche Herausforderung! Solche Kästen nennt man „Euler-Ziegelsteine". Es gibt sie viele.

Aber das perfekte Euler-Brick (oder der perfekte Würfel) ist der Heilige Gral der Mathematik:
Es soll ein Kasten geben, bei dem alle drei Kanten ganze Zahlen sind, alle drei Flächen-Diagonalen ganze Zahlen sind UND auch die Raumdiagonale (die Linie, die durch das Innere des Kastens von einer Ecke zur gegenüberliegenden Ecke führt) eine ganze Zahl ist.

Seit über 200 Jahren suchen Mathematiker nach so einem Kasten. Bisher hat ihn niemand gefunden. Die Frage ist: Gibt es ihn überhaupt?

Was hat dieser neue Artikel getan?

Der Autor, René Peschmann, hat nicht behauptet, das Rätsel gelöst zu haben. Er hat aber einen neuen, sehr cleveren Weg gefunden, um das Problem zu betrachten. Er hat den Kasten in ein mathematisches Labor verpackt und dort nach Hinweisen gesucht.

Hier ist die Geschichte, wie er das gemacht hat, mit ein paar einfachen Vergleichen:

1. Der Kasten wird zu einem komplizierten Rezept

Statt direkt nach dem Kasten zu suchen, hat Peschmann die Formeln für die Kanten in ein „Rezept" verwandelt. Er hat gezeigt, dass die Suche nach dem perfekten Kasten genau so schwer ist wie die Suche nach zwei ganz bestimmten, riesigen Zahlen, die gleichzeitig „perfekte Quadrate" sein müssen.

Die Analogie: Stellen Sie sich vor, Sie suchen nach einem Schlüssel, der zwei verschiedene, sehr komplexe Schlösser gleichzeitig öffnen kann. Die beiden Schlösser sehen fast identisch aus, unterscheiden sich aber in einem winzigen Detail. Bisher hat niemand einen Schlüssel gefunden, der beide öffnet.

2. Die Reise durch die Landschaft der Kurven

Peschmann hat diese beiden schwierigen Zahlenformeln in eine Art „Landkarte" umgewandelt. In der Mathematik nennt man diese Landkarten Kurven.

Er hat eine spezielle, sehr krumme und komplexe Landkarte (eine Kurve mit „Geschlecht 3") gezeichnet.
Die Regel: Wenn es einen perfekten Kasten gibt, dann muss es auf dieser Landkarte mindestens einen Punkt geben, der „vernünftig" ist (ein rationaler Punkt).
Das Ergebnis: Wenn wir beweisen können, dass auf dieser Landkarte keine solchen Punkte existieren, dann gibt es auch keinen perfekten Kasten.

3. Der Wächter am Tor (Die elliptische Kurve)

Die Landkarte ist so komplex, dass man sie nicht direkt absuchen kann. Also hat Peschmann sie in drei einfachere, runde Landkarten (elliptische Kurven) zerlegt. Eine davon ist der Hauptwächter.
Er hat einen „Wächter" (einen mathematischen Charakter, genannt $\chi_f$ ) an dieses Tor gestellt.

Die Aufgabe des Wächters: Er prüft jeden Besucher, der ankommt.
Die Entdeckung: Der Wächter hat eine sehr seltsame Eigenschaft. Wenn ein Besucher versucht, das Tor zu passieren, sagt der Wächter: „Nein, das geht nicht!"
Warum? Weil der Wächter auf einer speziellen Ebene (der 4-Torsion) immer „Nein" schreit, wenn jemand versucht, eine bestimmte Art von Zahl (ein Quadrat) zu finden. Es ist, als würde der Wächter sagen: „Hier ist das Schloss kaputt, man kann es nicht mit einem normalen Schlüssel öffnen."

4. Der Computer als Suchhund

Da die Mathematik allein noch nicht ausreicht, um alle Möglichkeiten auszuschließen, hat Peschmann einen riesigen Computer-Check durchgeführt.

Er hat Millionen von Kombinationen von Zahlen durchprobiert (bis zu einer Größe von 1000).
Das Ergebnis: Bei keiner einzigen Kombination hat sich der perfekte Kasten ergeben. Immer wieder gab es einen „Blocker" – eine kleine Zahl (eine Primzahl), die verhinderte, dass die Formel aufgeht.
Die Metapher: Es ist, als würde man Millionen von Schlüsseln ausprobieren. Bei jedem Schlüssel klemmt an einer anderen Stelle. Manchmal ist es ein rostiger Zahn, manchmal ein Kratzer. Aber niemals passt ein Schlüssel perfekt.

Was bedeutet das jetzt?

Der Artikel sagt: „Wir haben den perfekten Kasten noch nicht gefunden, aber wir haben starke Beweise, dass er wahrscheinlich nicht existiert."

Was wir wissen: Wir haben gezeigt, dass, wenn ein solcher Kasten existiert, er sich in einem sehr speziellen mathematischen Bereich verstecken müsste, der von unseren neuen „Wächtern" und „Blockern" fast vollständig abgesperrt ist.
Was noch fehlt: Es gibt noch eine kleine Lücke im Zaun. Der Wächter hat nicht jeden möglichen Besucher geprüft. Es gibt theoretisch noch eine winzige Gruppe von Besuchern, die der Wächter vielleicht übersehen könnte.
Der nächste Schritt: Der Autor schlägt vor, noch tiefere Landkarten (Geschlecht 5) zu zeichnen und noch ausgefeiltere mathematische Werkzeuge (wie die Chabauty-Methode) zu benutzen, um diese letzte Lücke zu schließen.

Zusammenfassung in einem Satz

René Peschmann hat das alte Rätsel des perfekten Kastens in eine moderne mathematische Geschichte verwandelt, in der er zeigt, dass die „Türen" zu diesem Kasten durch eine Reihe von mathematischen Wächtern und Computertests so gut wie verschlossen sind, auch wenn der letzte Schlüssel noch nicht gefunden wurde.

Es ist ein mächtiger Schritt in Richtung der Lösung eines der ältesten Rätsel der Zahlentheorie.

Titel: Quartische Reduktionen und elliptische Hindernisse für perfekte Euler-Steine

Autor: René Peschmann
Datum: 7. April 2026 (vorläufiges Datum im Kontext des Papers)

1. Problemstellung

Das Paper adressiert das klassische Problem des perfekten Euler-Steins (auch perfekter Quader genannt). Gesucht ist ein Quader mit ganzzahligen Kantenlängen $e_1, e_2, e_3$ , bei dem nicht nur die drei Flächenhalbierenden $d_{ij} = \sqrt{e_i^2 + e_j^2}$ , sondern auch die Raumdiagonale $D = \sqrt{e_1^2 + e_2^2 + e_3^2}$ ganzzahlig sind.
Obwohl Euler-Steine (nur Flächenhalbierende ganzzahlig) existieren, wurde bisher kein perfekter Euler-Stein gefunden, und die Existenzfrage ist seit dem 18. Jahrhundert offen. Das Paper behauptet keinen endgültigen Beweis der Nichtexistenz, sondern entwickelt ein neues Reduktionsframework und leitet unbedingte Hindernisse (Obstruktionen) ab.

2. Methodik und Reduktionsrahmen

Von Euler-Steinen zu quartischen Paaren

Der Autor nutzt die Parametrisierung pythagoreischer Tripel mittels euklidischer Paare $(a,b)$ und $(m,n)$ . Durch Gleichsetzen der gemeinsamen Kante und Anwendung der Pythagoras-Bedingungen für die Flächen- und Raumdiagonale wird das Problem auf zwei simultane quadratische Bedingungen reduziert.
Diese lassen sich auf ein symmetrisches Paar von quartischen Polynomen $f_1$ und $f_2$ zurückführen:
$f_1 = W_1^2(\lambda^2 - 1)^2 + 4U_1^2\lambda^2$
$f_2 = W_1^2(\lambda^2 - 1)^2 + 4V_1^2\lambda^2$
wobei $U_1, V_1, W_1$ von einem euklidischen Paar $(a,b)$ abhängen und $\lambda = m/n$ ist.
Ein perfekter Euler-Stein existiert genau dann, wenn es rationale $\lambda$ gibt, sodass sowohl $f_1$ als auch $f_2$ perfekte Quadrate sind.

Geometrische Formulierung: Die Kurve $C_A$

Das Produkt $f_1 f_2$ definiert eine hyperelliptische Kurve vom Geschlecht 3:
$C_A: w^2 = \lambda^8 + A\lambda^4 + 1$
wobei $A = 2 - 4c^2$ ein Parameter ist, der von der Normierung $s = a/b$ abhängt.

Hauptreduktion: Die Existenz eines perfekten Euler-Steins impliziert die Existenz eines nicht-degenerierten rationalen Punktes auf $C_A$ .
Elliptische Quotienten: Die Kurve $C_A$ besitzt eine Kleinsche Vierergruppe von Involutionen. Die Quotienten nach diesen Involutionen führen zu drei elliptischen Kurven $E_A, E'_A, E''_A$ . Der Jacobische der Kurve $C_A$ zerfällt (bis auf Isogenie) in das Produkt dieser drei elliptischen Kurven.

Die elliptische Brücke und der Kummer-Charakter

Ein rationaler Punkt auf $C_A$ entspricht einem rationalen Punkt $P$ auf der elliptischen Kurve $E_A$ , für den eine bestimmte rationale Funktion $f(P)$ ein perfektes Quadrat in $\mathbb{Q}^*$ ist.
Die Funktion ist definiert als:
$f(P) = \frac{2y(P)}{(x(P)-2)(x(P)+2)}$
Das Problem wird somit auf die Frage reduziert: Existiert ein Punkt $P \in E_A(\mathbb{Q})$ , sodass $f(P)$ ein Quadrat ist?

3. Schlüsselbeiträge und Ergebnisse

(i) Algebraische Hindernisse (Kummer-Charakter)

Der Autor analysiert den Kummer-Charakter $\chi_f$ auf der Torsionsuntergruppe von $E_A$ . Dieser Charakter misst, wie sich der Wert von $f$ unter Translation um Torsionspunkte verhält (modulo Quadrate).

Theorem 5.4: Der Charakter $\chi_f$ $χ_{f}$ ist auf der 4-Torsion nicht-trivial.
- Für die 2-Torsionspunkte $T_1, T_2$ gilt $\chi_f(T_i) = [-1]$ (Vorzeichenwechsel).
- Für jeden rationalen Punkt $T_4$ der Ordnung 4 gilt $\chi_f(T_4) \neq 1$ .
Implikation: Dies stellt eine strukturelle Barriere dar. Wenn $f(P)$ ein Quadrat wäre, würde die Translation um $T_4$ generisch verhindern, dass $f(P+T_4)$ ebenfalls ein Quadrat ist. Dies schränkt die möglichen Lösungen stark ein.

(ii) 2-Descent und algebraische Obstruktionen

Mittels 2-Descent auf $E_A$ werden die Punkte in Klassen $(\delta_1, \delta_2, \delta_3)$ in $\mathbb{Q}^*/(\mathbb{Q}^*)^2$ eingeteilt.

Theorem 6.2:
- Falls $\delta_3 = 1$ , dann ist $f(P) \equiv 2 \pmod{(\mathbb{Q}^*)^2}$ , also kein Quadrat.
- Falls eine ungerade Primzahl $p$ den Wert $\delta_3$ teilt, muss sie auch $\delta_1$ oder $\delta_2$ teilen.
Dies eliminiert ganze Familien von möglichen Lösungen basierend auf der quadratischen Klasseneinteilung.

(iii) Computergestützte Verifikation

Es wurde eine exhaustive Suche für alle Parameter $a, b, m, n$ bis zu $10^3$ durchgeführt.
Ergebnis: Für keinen dieser Fälle ist das Produkt $f_1 f_2$ ein perfektes Quadrat.
Für jedes getestete Tupel existiert eine "Blocker-Primzahl" $p$ (entweder $p=2$ oder $p \equiv 1 \pmod 4$ ), die die Quadratbedingung verletzt. Keine Primzahl $p \equiv 3 \pmod 4$ trat als Blocker auf (konsistent mit der Norm-Eigenschaft in $\mathbb{Z}[i]$ ).

4. Aktueller Status und offene Fragen

Obwohl die Ergebnisse starke Hinweise auf die Nichtexistenz liefern, schließen sie das Problem noch nicht vollständig aus:

Die verbleibende Lücke: Die algebraischen Hindernisse decken nicht alle möglichen Descent-Klassen ab. Insbesondere der Fall, in dem $\delta_3 \neq 1$ und alle ungeraden Primfaktoren von $\delta_3$ nur $\delta_1$ teilen (nicht aber $\delta_2$ ), ist noch nicht ausgeschlossen.
Genus-5-Überlagerung: Die Nicht-Trivialität von $\chi_f$ auf der 4-Torsion impliziert, dass die Überlagerung $z^2 = f(\cdot + T_4)/f(\cdot)$ eine Kurve vom Geschlecht 5 ist. Nach dem Satz von Faltings hat diese nur endlich viele rationale Punkte. Eine effektive Behandlung (Chabauty-Coleman-Methode) wäre möglich, wenn der Rang der zugehörigen Jacobischen kleiner als 5 wäre. Dies ist für kleine Parameter konsistent, aber für große Parameter noch nicht bewiesen.
Verbindung zu $\mathbb{Q}(\sqrt{2})$ : Die Faktorisierung des Zählers von $c(s)$ in $\mathbb{Q}(\sqrt{2})$ wird diskutiert, aber eine vollständige Übertragung auf das simultane Quadratproblem steht noch aus.

5. Bedeutung

Dieses Paper stellt einen bedeutenden methodischen Fortschritt dar, indem es das Problem der perfekten Euler-Steine von einer rein diophantischen Frage in den Kontext der arithmetischen Geometrie (hyperelliptische Kurven, elliptische Quotienten, Kummer-Theorie) überführt.

Es liefert die ersten unbedingten algebraischen Hindernisse, die auf der Struktur der Torsionspunkte basieren.
Es etabliert eine Verbindung zwischen der Existenz des Quaders und dem Verhalten einer rationalen Funktion auf einer elliptischen Kurve.
Es bietet einen klaren Pfad für zukünftige Beweise, entweder durch den Nachweis der Nicht-Trivialität des Charakters auf dem gesamten Mordell-Weil-Gruppen oder durch die Anwendung von Chabauty-Methoden auf die Genus-5-Überlagerung.

Zusammenfassend zeigt das Paper, dass das Problem äquivalent zu einer sehr spezifischen Frage nach quadratischen Werten auf einer Familie von elliptischen Kurven ist, wobei starke strukturelle und rechnerische Evidenz gegen die Existenz einer Lösung spricht.