🔢 mathematics

A torsion-intersection proof of perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers

Dit artikel levert een onvoorwaardelijk bewijs van de conjectuur over de perfecte kuboid voor 1.072 expliciete vezels van hoofdtuples door vast te stellen dat elke primitieve Euler-baksteen voortkomt uit een standaardparametrisatie en aan te tonen dat, onder geverifieerde voorwaarden met rang nul, de bijbehorende elliptische krommen uitsluitend degeneratieve rationale punten bezitten.

Oorspronkelijke auteurs: René Peschmann

Gepubliceerd 2026-05-01

📖 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

Het Grote Geheel: De Jacht op de "Perfecte Doos"

Stel je voor dat je een timmerman bent die probeert een perfect rechthoekige doos (een balk) te bouwen van hout. Je hebt drie regels voor deze doos:

Alle drie de zijlengtes moeten gehele getallen zijn (zoals 3, 4 of 5 inch).
Als je de diagonaal over een van de zes vlakke zijden meet, moet die meting ook een geheel getal zijn.
Als je de diagonaal meet van de ene hoek van de doos naar de tegenoverliggende hoek (door de lege ruimte erin), moet die meting ook een geheel getal zijn.

Dit is het Perfecte Balk-probleem. Wiskundigen zoeken al sinds 1740 naar zo'n doos. Tot nu toe heeft niemand er één gevonden, maar ze hebben ook niet kunnen bewijzen dat er geen één bestaat. Het is alsof je op zoek bent naar een eenhoorn: iedereen heeft het bos afgezocht, maar niemand heeft bewezen dat eenhoorns onmogelijk zijn.

De Strategie van de Auteur: De "Meesterblauwdruk"

De auteur, René Peschmann, probeerde niet om elke mogelijke doos één voor één te bouwen. In plaats daarvan besefte hij dat elke mogelijke doos volgt uit een specifieke "Meesterblauwdruk".

Zie het probleem als een enorme bibliotheek. In plaats van elk boek te controleren (elke mogelijke doos), besefte de auteur dat de bibliotheek is georganiseerd in 1.072 specifieke planken (zogenaamde "vezels"). Elke plank bevat een specifieke familie van dozen die gegenereerd worden door een eenvoudige set getallen.

Het artikel bewijst dat op 1.072 van deze specifieke planken het wiskundig onmogelijk is om een perfecte doos te bouwen.

Hoe het Bewijs Werkt: Het "Verkeerslicht"-Systeem

Om te bewijzen dat een perfecte doos niet kan bestaan op een specifieke plank, gebruikt de auteur een slimme wiskundige truc met "verkeerslichten" en "dode hoeken".

De Kaart (De Kromme): De auteur zet het probleem van het bouwen van dozen om in een kaart (een wiskundige kromme). Elke mogelijke doos komt overeen met een stip op deze kaart.
De Triviale Stippen: De auteur weet dat er 8 stippen op deze kaart zijn die "gebroken" dozen vertegenwoordigen (waarbij één zijde een lengte van nul heeft). Dit zijn de "triviale" oplossingen. We weten dat deze bestaan, maar het zijn geen echte dozen.
Het Doel: Het doel is om te bewijzen dat er geen andere stippen op de kaart zijn. Als er geen andere stippen zijn, dan zijn er voor die plank ook geen perfecte dozen.

De "Torsie-Intersectie"-Analogie

De auteur gebruikt een methode genaamd Torsie-Intersectie. Stel je voor dat de kaart een snelweg is en de "stippen" auto's.

De auteur kijkt naar een kleinere, eenvoudigere weg (een "elliptische quotiënt") die verbonden is met de hoofdweg.
Hij controleert of het verkeer op deze kleinere weg is gaan staan (wiskundig: de "rang" is nul). Als het verkeer stilstaat, zitten de auto's vast in een klein parkeerterrein (de "torsie"-groep).
Hij telt de auto's op dat parkeerterrein. Hij ontdekt dat het parkeerterrein alleen ruimte biedt voor de 8 "gebroken" dozen.
De Conclusie: Aangezien de kleinere weg alleen leidt naar de 8 gebroken dozen, en de hoofdweg ermee verbonden is, moet de hoofdweg ook alleen die 8 gebroken dozen hebben. Er kunnen daar geen "perfecte" dozen bestaan.

Het "Magische Certificaat": Bewijzen dat het Verkeer Stilstaat

Het moeilijkste deel van het bewijs is aantonen dat het verkeer op de kleinere weg daadwerkelijk stilstaat (Rang = 0). Soms raken standaard computertools in de war en zeggen ze: "Het verkeer staat misschien stil, of het beweegt misschien langzaam."

De auteur ontwikkelde een tweestaps "Magisch Certificaat" om dit uit te maken:

De Eerste Check: Een standaard computertool (PARI) probeert de auto's te tellen. Als het zegt "0 auto's", prima.
De Tweede Check (Het Kolyvagin-Certificaat): Als de eerste tool niet zeker is, gebruikt de auteur een geavanceerdere, strikte methode met "modulaire symbolen". Denk hierbij aan het controleren van de motor van de auto met een superprecieze diagnose-tool. Als de tool aangeeft dat de motor uit is (de "L-waarde" is niet-nul), dan beweegt de auto zeker niet. Deze stap is "onvoorwaardelijk", wat betekent dat het niet afhankelijk is van onbewezen gissingen of aannames.

De Resultaten: 52,5% van het Bos

De auteur voerde dit hele proces op een computer uit voor alle planken waarbij de betrokken getallen relatief klein waren (tot 100).

Er waren 2.040 planken om te controleren.
De auteur slaagde erin te bewijzen dat 1.072 ervan geen perfecte dozen bevatten.
Dit dekt ongeveer 52,5% van de planken in dit specifieke bereik.

Wat Dit Betekent (en Wat Niet)

Wat het doet: Het bewijst dat voor een enorme, specifieke lijst van 1.072 families van dozen een perfecte balk onmogelijk is. Het is een enorme stap voorwaarts, wat bewijst dat de "eenhoorn" niet bestaat in deze specifieke delen van het bos.
Wat het niet doet: Het bewijst niet dat een perfecte balk nergens bestaat. Er zijn nog steeds 968 planken (en oneindig veel meer buiten het bereik van 100) die de auteur nog niet kon bewijzen. Sommige van deze resterende planken zijn "moeilijk" omdat het verkeer op de kleinere wegen lijkt te bewegen, waardoor de "vastzittende auto"-analogie faalt.

Samenvatting

René Peschmann bouwde een geavanceerd wiskundig filter. Hij nam de onmogelijke taak om elke mogelijke doos te controleren en splitste deze op in 1.072 hanteerbare groepen. Met een combinatie van het tellen van "gebroken" dozen en geavanceerde motordiagnose, bewees hij dat in 1.072 specifieke groepen een perfecte doos wiskundig onmogelijk is. Het is een grote overwinning in de zoektocht, zelfs als het hele bos nog niet is opgeruimd.

1. Probleemstelling

Het artikel behandelt de Perfecte Kubus Conjecture (Conjecture B), een langdurig open probleem in de elementaire getaltheorie.

Definitie: Een Euler-baksteen is een rechthoekig parallellepipedum met gehele ribben $(X, Y, Z)$ en gehele vlakdiagonalen. Een perfecte kubus is een Euler-baksteen die bovendien een gehele ruimtediagonaal bezit ( $\sqrt{X^2+Y^2+Z^2} \in \mathbb{N}$ ).
De Conjecture: Er bestaat geen perfecte kubus in $\mathbb{N}^3$ .
Huidige Status: Hoewel computationele zoektochten perfecte kubussen met ribben tot $5 \cdot 10^{11}$ hebben uitgesloten, bestaat er geen algemeen bewijs. Eerdere algebraïsch-geometrische benaderingen waren beperkt tot specifieke sub-families of leunden op onbewezen hypothesen (bijv. de Algemene Riemann-hypothese).

2. Methodologie

De auteur hanteert een combinatie van structurele getaltheorie, algebraïsche meetkunde en rigoureuze computationele verificatie. De aanpak verloopt in drie hoofdfasen:

A. Structurele Reductie tot Master-tupels

Het artikel stelt een structureel classificatietheorema (Theorema 2.4) op dat bewijst dat elke primitieve Euler-baksteen voortkomt uit een unieke "master-tupel" $(a, b, m, n) \in \mathbb{N}^4$ die voldoet aan specifieke copriemheids- en pariteitsvoorwaarden.

De ribben van de baksteen worden afgeleid uit standaard Pythagorese parametriseringen: $U_1 = a^2-b^2, V_1=2ab$ en $U_2=m^2-n^2, V_2=2mn$ .
De voorwaarde voor een perfecte kubus reduceert tot het controleren of een specifiek polynoom $f_1$ (dat de kwadraat van de ruimtediagonaal voorstelt) een perfect kwadraat is.
Dit reduceert de oneindige zoekruimte tot het analyseren van specifieke vezels gedefinieerd door de parameters $(m, n)$ .

B. Decompositie van Genus-3 Curven

Voor een vaste master-tupel-vezel $(m, n)$ wordt de voorwaarde voor een perfecte kubus gecodeerd in een genus-3 hyperelliptische kromme $H_{m,n}$ .

De kromme wordt gedefinieerd door $v^2 = P(t^2)Q(t^2)$ , waarbij $t = a/b$ .
De Jacobiaan van deze kromme, $\text{Jac}(H_{m,n})$ , decomposeert (tot op isogenie) in een product van drie elliptische krommen: $E_{PQ}$ , $E_{uV}$ en $E_3$ .
Het artikel richt zich op de elliptische quotiënten $E_{uV}$ en $E_3$ .

C. Het Torsie-Intersectie Argument

De kern van het bewijsmechanisme berust op het Torsie-Intersectie Lemma (Lemma 4.2).

Premisse: Als een elliptisch quotiënt $E_q$ rang 0 heeft (d.w.z. zijn rationale punten zijn eindig en bestaan alleen uit torsiepunten), dan is het aantal rationale punten op de genus-3 kromme $H_{m,n}$ begrensd door de grootte van de torsieondergroep van $E_q$ .
Logica:
1. Verifieer $\text{rk}(E_q(\mathbb{Q})) = 0$ .
2. Bereken $|E_q(\mathbb{Q})_{\text{tors}}|$ .
3. Map rationale punten van $H_{m,n}$ naar $E_q$ . Aangezien de afbeelding graad 2 heeft, geldt $|H_{m,n}(\mathbb{Q})| \le 2 \cdot |E_q(\mathbb{Q})_{\text{tors}}|$ .
4. Cruciale Stap: De kromme $H_{m,n}$ bezit altijd 8 bekende "triviale" rationale punten die corresponderen met degeneratieve bakstenen (waarbij één of meer ribben nul zijn).
5. Als de bovengrens afgeleid uit de torsie-intersectie exact gelijk is aan 8, dan bestaan er geen niet-triviale (perfecte kubus) punten op die vezel.

D. Ondingde Rangcertificatie

Om ervoor te zorgen dat het bewijs onvoorwaardelijk is (niet leunend op onbewezen conjecturen zoals GRH), gebruikt de auteur twee complementaire technieken om de rang-nul-hypothese te verifiëren:

2-Descent: Met behulp van ellrank van PARI/GP om rigoureuze grenzen $[r_{low}, r_{up}]$ te verkrijgen. Als $r_{low} = r_{up} = 0$ , is de rang bewezen nul.
Modulaire Symbolen (Kolyvagin's Theorema): Voor gevallen waar 2-descent ambigu is (bijv. $[0, 2]$ $[0, 2]$ ), berekent de auteur $L(E, 1)/\Omega_E$ $L (E, 1) / Ω_{E}$ exact met behulp van modulaire symbolen van Sage.
- Volgens het Modulariteitstheorema en Kolyvagin's theorema, als $L(E, 1) \neq 0$ , is de rang 0.
- Voor semistabiele krommen (waar alle aangetroffen factoren toe behoorden) is de Manin-constante 1, wat garandeert dat de berekening van modulaire symbolen exact en onvoorwaardelijk is.

3. Belangrijkste Bijdragen

Structurele Classificatie (Theorema 2.4): Bewijst de omgekeerde richting van de master-tupel-parametrisatie, en toont aan dat elke primitieve Euler-baksteen correspondeert met een master-tupel. Dit was een ontbrekende schakel in eerdere literatuur.
Torsie-Intersectie Argument: Past een verfijnde intersectiegrens toe op de elliptische quotiënten $E_{uV}$ en $E_3$ . In tegenstelling tot eerdere werken die zich richtten op $E_A$ , exploiteert dit artikel de specifieke geometrie van $E_{uV}$ en $E_3$ om het puntenaantal exact tot 8 te dwingen.
Verfijnde Lift-telling: Wanneer de naïeve torsiegrens te los is (bijv. torsiegrootte 8 levert een grens van 12 op), voert de auteur een expliciete enumeratie uit van de 8 torsiepunten op het kwartische model. Door te controleren welke punten rationeel "lift" naar de genus-3 kromme, verfijnen zij de grens terug tot 8.
Onvoorwaardelijke Certificatie-pijplijn: Een robuuste computationele workflow die PARI/GP en SageMath combineert en vermijdt afhankelijkheid van de Algemene Riemann-hypothese (GRH) of de Birch en Swinnerton-Dyer-conjecture, en in plaats daarvan leunt op Kolyvagin's theorema en Edixhoven's grens voor de Manin-constante.

4. Resultaten

Reikwijdte: Het onderzoek bestrijkt alle coprieme paren $(m, n)$ met $\max(m, n) \le 100$ en $m-n$ oneven. Er zijn 2.040 dergelijke paren.
Succespercentage: De methode bewijst onvoorwaardelijk het niet-bestaan van perfecte kubussen op 1.072 vezels (ongeveer 52,5% van de zoekruimte).
Uitsplitsing van Bewezen Vezels:
- 827 vezels via $E_3$ : 359 via scherpe 2-descent, 468 via modulaire symbolen-certificatie.
- 245 vezels via $E_{uV}$ : Allen vereisten het verfijnde lift-telargument (Geval c) omdat de torsiegrootte 8 was.
Uitkomst: Voor deze 1.072 vezels is de verzameling rationale punten op de bijbehorende genus-3 kromme exact de verzameling van 8 degeneratieve punten. Aldus bestaat er geen perfecte kubus voor enige master-tupel afgeleid van deze $(m, n)$ -paren.

5. Betekenis en Beperkingen

Betekenis:
- Dit is het eerste onvoorwaardelijke bewijs van het niet-bestaan van perfecte kubussen op een grote, expliciete set vezels zonder afhankelijkheid van onbewezen conjecturen.
- Het demonstreert de kracht van het combineren van expliciete descent met berekeningen van modulaire symbolen om rang-nul gevallen op te lossen in families van krommen.
- Het biedt een concreet raamwerk (master-tupels) voor toekomstige exhaustieve zoektochten.
Beperkingen & Toekomstig Werk:
- Dekking: Het resultaat bestrijkt slechts ~52% van de vezels tot $m,n \le 100$ . De resterende 968 vezels hebben óf ambiguë rangen die de huidige computatiebudgetten overschrijden (geleider $> 10^{12}$ ), óf een totale Jacobiaan-rang $\ge 3$ , waardoor standaard Chabauty-methoden niet toepasbaar zijn.
- Moeilijke Vezels: Vezels waarbij alle drie de elliptische factoren rang $\ge 1$ hebben (bijv. $(5,2)$ ) blijven open.
- Extensies: De auteur suggereert dat Kwadratische Chabauty (p-adische methoden) en Mordell-Weil zeven de noodzakelijke volgende stappen zijn om de resterende "moeilijke" vezels aan te pakken en mogelijk de grens uit te breiden naar hogere $m, n$ .

Kortom, Peschmann levert een rigoureus, computergestut bewijs dat de mogelijkheid van perfecte kubussen elimineert voor een aanzienlijke subset van de parameterruimte, en een nieuwe benchmark vestigt voor onvoorwaardelijke resultaten in dit klassieke probleem.