🔢 mathematics

Quartic reductions and elliptic obstructions for perfect Euler bricks

Dit artikel toont aan dat het probleem van de perfecte Euler-bak gelijkwaardig is aan het bestaan van specifieke gehele getallen die een paar kwartische uitdrukkingen tegelijkertijd tot kwadraten maken, en onderzoekt dit door de reductie tot een familie van hyperelliptische krommen met elliptische obstructies, waarbij computergestuurde verificaties tot nu toe geen oplossingen hebben gevonden.

Oorspronkelijke auteurs: René Peschmann

Gepubliceerd 2026-04-13

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: René Peschmann

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Droom van het Perfecte Baksteen

Stel je voor dat je een baksteen hebt. Een gewone baksteen heeft drie afmetingen: lengte, breedte en hoogte. Als je deze maten meet, zijn het hele getallen (zoals 4, 5 en 6).

Nu komt de uitdaging:

Als je de diagonaal op het oppervlak van de baksteen meet (van hoek tot hoek op één kant), moet dat ook een heel getal zijn.
Als je de ruimtediagonaal meet (van de ene onderste hoek naar de tegenoverliggende bovenste hoek, dwars door de lucht in de baksteen), moet dat ook een heel getal zijn.

Dit heet een Perfecte Euler-baksteen. Wiskundigen zoeken al eeuwenlang naar zo'n baksteen. Ze hebben er talloze gevonden waarbij de vlakken kloppen, maar nog nooit één waarbij ook de ruimtediagonaal een heel getal is. Het is alsof je een puzzel hebt waarbij alle stukjes passen, behalve één cruciaal stukje dat altijd ontbreekt.

Wat doet dit nieuwe artikel?

René Peschmann heeft niet bewezen dat zo'n baksteen bestaan kan of niet kan. In plaats daarvan heeft hij een nieuwe manier van zoeken bedacht en een reeks valstrikken ontdekt die elke mogelijke baksteen moet vermijden.

Hij doet dit in drie stappen:

1. Het Vertalen naar een Wiskundige "Tweeling"

Stel je voor dat je de zoektocht naar de baksteen vertaalt naar een heel specifiek raadsel. Je moet twee getallen vinden die bijna identiek zijn, maar net iets anders.

Getal A is de som van twee kwadraten.
Getal B is ook de som van twee kwadraten, maar het eerste deel is net iets anders dan bij A.

De vraag is simpel: Kunnen deze twee getallen tegelijkertijd perfecte kwadraten zijn? (Dus getallen die je kunt schrijven als $3^2$ , $4^2$ , $5^2$ , etc.)

Peschmann laat zien dat als er een perfecte baksteen bestaat, deze twee getallen altijd perfecte kwadraten moeten zijn. Als je kunt bewijzen dat dit nooit gebeurt, dan bestaat de baksteen niet.

2. De "Magische Berg" (De Genus-3 Kromme)

Om dit raadsel op te lossen, vertaalt Peschmann de twee getallen naar een wiskundig landschap dat hij een kromme noemt.

Denk aan deze kromme als een berg met een heel ingewikkeld pad eroverheen.
De "perfecte baksteen" zou overeenkomen met een punt op dit pad waar je precies op de juiste plek staat.
Peschmann heeft ontdekt dat dit pad een berg van complexiteit is (een zogenaamde "genus-3 hyperelliptische kromme"). Het is zo complex dat je er niet zomaar over kunt lopen; het vereist speciale sleutels om erop te komen.

3. De "Magische Spiegel" en de Blokkades

Hier wordt het interessant. Peschmann kijkt niet alleen naar de berg, maar ook naar een spiegelbeeld ervan (een elliptische kromme).

Hij gebruikt een wiskundige "spiegel" (een functie genaamd $f$ ) om te kijken of een punt op de berg een "perfecte kwadraat" is.
Hij ontdekt dat deze spiegel een geheime code (een karakter) heeft. Deze code zegt: "Als je op dit punt staat, is het antwoord niet een perfect getal."

De grote ontdekking:
Peschmann bewijst dat voor bepaalde speciale punten op deze berg (de "torsiepunten"), de code altijd zegt "Nee".

Het is alsof je probeert een deur te openen, maar het slot is zo ontworpen dat het de sleutel altijd weigert als je op een verkeerd moment probeert te draaien.
Hij heeft ook berekend dat voor duizenden verschillende pogingen (tot aan getallen van 1000), er altijd wel een blokkerend getal (een priemgetal) is dat verhindert dat de vergelijking klopt. Het is alsof je een muur tegenkomt die je niet kunt doorboren.

Wat betekent dit voor de zoektocht?

Het artikel zegt: "We hebben nog niet bewezen dat de baksteen niet bestaat, maar we hebben de zoektocht enorm ingekrompen."

Wat we weten: Als er een perfecte baksteen is, moet hij zich verstoppen in een heel klein, speciaal hoekje van de wiskundige berg dat we nog niet volledig hebben onderzocht.
De hindernissen: Peschmann heeft laten zien dat de meeste routes naar die berg geblokkeerd zijn door wiskundige wetten (zoals de "Kummer-karakter" en "2-descent").
De toekomst: Om het definitief te bewijzen, moeten we de laatste "geheime gangen" in de berg onderzoeken. Hij suggereert zelfs dat je misschien een nog complexere berg (genus-5) moet beklimmen om de laatste blokkades te vinden.

Samenvattend in één zin

René Peschmann heeft bewezen dat het vinden van een perfecte baksteen neerkomt op het vinden van een naald in een hooiberg, maar hij heeft bewezen dat de meeste hooibergen leeg zijn en dat de naald, als hij er is, zich moet verstoppen in een deel van de berg dat zo moeilijk te bereiken is dat het waarschijnlijk onmogelijk is.

Het is een stap dichterbij het oplossen van een eeuwenoud mysterie, waarbij de wiskunde fungeert als een onverbiddelijke bewaker die bijna elke mogelijke oplossing uitsluit.

Titel: Quartische reducties en elliptische obstructies voor perfecte Euler-bakstenen

Auteur: René Peschmann
Datum: 7 april 2026 (gepubliceerd op arXiv:2604.09328)

1. Het Probleem: De Perfecte Euler-baksteen

Een perfecte Euler-baksteen (of perfecte kubus) is een rechthoekig parallellepipedium met gehele zijden $e_1, e_2, e_3$ zodanig dat alle drie de vlakdiagonalen ( $d_{ij}$ ) en de ruimtediagonaal ( $D$ ) ook gehele getallen zijn. Dit leidt tot het volgende stelsel vergelijkingen:
$e_i^2 + e_j^2 = d_{ij}^2 \quad (1 \le i < j \le 3)$
$e_1^2 + e_2^2 + e_3^2 = D^2$

Hoewel er Euler-bakstenen bestaan die alleen voldoen aan de voorwaarden voor de vlakdiagonalen (de kleinste heeft zijden 44, 117, 240), is er nog nooit een perfecte baksteen gevonden. Het bestaan ervan is een open probleem sinds de 18e eeuw. Dit artikel claimt geen onvoorwaardelijk bewijs van niet-bestaan, maar biedt wel een nieuw raamwerk voor reductie en leidt tot onvoorwaardelijke obstructies.

2. Methodologie en Reductie

De auteur reduceert het probleem via een reeks algebraïsche transformaties:

Pythagorese Parametrisatie: De zijden worden uitgedrukt via twee Euclidische paren $(a, b)$ en $(m, n)$ . Dit reduceert de voorwaarden tot het zoeken naar twee specifieke uitdrukkingen die tegelijkertijd perfecte kwadraten moeten zijn.
Quartische Paar: Het probleem wordt gereduceerd tot het vinden van coprieme gehele getallen $a, b, m, n$ $a, b, m, n$ zodat de volgende twee uitdrukkingen kwadraten zijn:
1. $f_1 = (2(a^2-b^2)mn)^2 + ((a^2+b^2)(m^2-n^2))^2$
2. $f_2 = (4abmn)^2 + ((a^2+b^2)(m^2-n^2))^2$
  Deze structuur verschilt slechts in het eerste term.
Genus-3 Hyperelliptische Kromme: Door de verhouding $s = a/b$ en een parameter $\lambda = m/n$ in te voeren, wordt het probleem gemodelleerd als het zoeken naar rationale punten op een hyperelliptische kromme van genus 3:
$C_A: w^2 = \lambda^8 + A\lambda^4 + 1$
waarbij $A = 2 - 4c^2$ en $c$ een functie is van $s$ . Een oplossing voor de baksteen correspondeert met een niet-degenererend rationaal punt op deze kromme.
Elliptische Quotiënten: De Jacobiaan van $C_A$ decomposeert (tot isogenie) in een product van drie elliptische krommen: $J(C_A) \sim E_A \times E'_A \times E''_A$ . De auteur focust op de elliptische kromme $E_A$ met Weierstrass-model:
$E_A: y^2 = (x + A)(x - 2)(x + 2)$

3. De Brug: Kummer-karakter en Kwadratische Voorwaarde

Het kernidee is het vertalen van de voorwaarde dat een punt op $C_A$ bestaat, naar een voorwaarde op de elliptische kromme $E_A$ .

Er wordt een rationale functie $f$ gedefinieerd op $E_A$ :
$f(P) = \frac{2y(P)}{(x(P)-2)(x(P)+2)}$
Corollary 5.2: Er bestaat een niet-degenererend rationaal punt op $C_A$ dan en slechts dan als er een punt $P \in E_A(\mathbb{Q})$ bestaat zodanig dat $f(P)$ een niet-nul rationaal kwadraat is (en $f(P) \neq 1$ ).

4. Belangrijkste Bijdragen en Resultaten

A. Algebraïsche Obstructies (Kummer-karakter)

De auteur analyseert het Kummer-karakter $\chi_f$ op de torsie-subgroep van $E_A$ . Dit karakter meet hoe $f$ verandert bij translatie met een torsiepunt.

Stelling 5.4: Het karakter $\chi_f$ is triviaal op het punt $T_3$ (orde 2), maar niet-triviaal op $T_1, T_2$ (orde 2) en op elk punt van orde 4.
Implicatie: Voor elk punt $P$ van orde 4 geldt dat als $f(P)$ een kwadraat is, $f(P+T_4)$ geen kwadraat kan zijn (en vice versa). Dit creëert een structurele obstructie die het vinden van punten met de vereiste eigenschappen sterk beperkt.

B. 2-Descent Argumenten

Via 2-descent worden klassen van rationale punten geanalyseerd.

Stelling 6.2: Als de 2-descent-class $\delta_3 = 1$ is, dan is $f(P)$ geen kwadraat (want $f(P) \equiv 2 \pmod{\mathbb{Q}^{*2}}$ ).
Verder worden voorwaarden afgeleid voor priemgetallen die $\delta_3$ delen, wat leidt tot exclusie van bepaalde families van oplossingen.

C. Computatieverificatie

Er is een uitgebreide computationele verificatie uitgevoerd voor alle parameters tot $10^3$ .
Resultaat: Voor geen enkel getest tuple $(a, b, m, n)$ is het product $f_1 f_2$ een perfect kwadraat.
Belemmerende priemgetallen: Voor elke getest case bestaat er een priemgetal $p$ (vaak $p=2$ of $p \equiv 1 \pmod 4$ ) dat de kwadratische eigenschap blokkeert. Er werden geen blokkers gevonden met $p \equiv 3 \pmod 4$ , wat consistent is met de theorie over normen in $\mathbb{Z}[i]$ .

5. Status en Open Vragen

Hoewel de resultaten sterke aanwijzingen geven voor het niet-bestaan van perfecte Euler-bakstenen, sluiten ze het probleem niet onvoorwaardelijk af.

Het resterende gat: De huidige obstructies dekken niet alle mogelijke 2-descent klassen. Er is nog een theoretische mogelijkheid voor punten waar $\delta_3 \neq 1$ en de priemfactoren van $\delta_3$ op een specifieke manier $\delta_1$ en $\delta_2$ delen.
Genus-5 Overdekking: De auteur suggereert een verdere aanpak via een overdekking van genus 5 (gebaseerd op de niet-trivialiteit van $\chi_f$ op orde-4 punten). Volgens de stelling van Faltings heeft zo'n kromme slechts eindig veel rationale punten. Als de rang van de Jacobiaan laag genoeg is, zou Chabauty-Coleman-methodiek kunnen leiden tot een volledig bewijs.
Verbinding met $\mathbb{Q}(\sqrt{2})$ : Er wordt een link gelegd met de factorisatie van de coëfficiënt $c(s)$ in het veld $\mathbb{Q}(\sqrt{2})$ , wat mogelijk nieuwe inzichten biedt.

6. Conclusie en Significantie

Dit artikel biedt een fundamentele verschuiving in de aanpak van het perfecte kubus-probleem:

Reductie: Het transformeert een Diophantisch probleem in drie variabelen naar een probleem over rationale punten op een genus-3 kromme en een elliptisch quotiënt.
Nieuwe Invarianten: De introductie van het Kummer-karakter $\chi_f$ op de torsie-subgroep biedt een krachtig nieuw instrument om kwadratische obstructies te detecteren.
Computationeel Bewijs: Het levert het meest uitgebreide computationele bewijs tot nu toe (tot $10^3$ ) dat geen oplossingen bestaan, ondersteund door een diepgaande analyse van blokkerende priemgetallen.

Hoewel het definitieve bewijs van niet-bestaan nog ontbreekt, schuift dit werk de "barrière" van het probleem aanzienlijk op en biedt het concrete wegen (zoals genus-5 overdekkingen en Chabauty-methoden) om het probleem in de toekomst mogelijk op te lossen.