🔢 mathematics

Integers representable as a difference of two rational fourth powers

Gedreven door Cohens onderzoek naar sommen van rationale vierde machten, bepaalt dit artikel de volledige lijst van positieve gehele getallen tot 10.000 die kunnen worden uitgedrukt als het verschil van twee niet-nul rationale vierde machten.

Oorspronkelijke auteurs: Ashleigh Ratcliffe, Tho Nguyen Xuan

Gepubliceerd 2026-04-28

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Ashleigh Ratcliffe, Tho Nguyen Xuan

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

Stel je een enorme doos met bouwstenen voor. Sommige blokken zijn perfecte vierkanten (zoals $2^2 = 4$ ) en sommige zijn perfecte kubussen ( $2^3 = 8$ ). In dit artikel spelen de auteurs met een zeer specifiek, iets moeilijker type blok: vierde machten. Een vierde macht is gewoon een getal dat vier keer met zichzelf wordt vermenigvuldigd (zoals $2^4 = 16$ ).

De grote vraag die de auteurs stellen is: Kun je elk geheel getal (zoals 1, 2, 3... tot 10.000) bouwen door één van deze vierde-machtsblokken te nemen en er een ander van af te trekken?

Bijvoorbeeld, kun je twee breuken (rationale getallen) vinden zodat wanneer je ze tot de vierde macht verheft en ze van elkaar aftrekt, je precies het getal 5 krijgt?
$x^4 - y^4 = 5$

De Grote Uitdaging

De auteurs zoeken niet alleen naar gehele getallen als blokken; ze mogen ook breukblokken gebruiken (zoals $3/2$ of $7/5$ ). Dit maakt de puzzel veel moeilijker omdat er oneindig veel breuken zijn om te controleren. Je kunt ze niet één voor één proberen; je hebt een kaart nodig.

Het artikel is in wezen een enorme "Ja/Nee"-lijst voor elk getal van 1 tot 10.000.

Ja: "Hier is een specifiek paar breuken dat werkt."
Nee: "Het is wiskundig onmogelijk om dit getal op deze manier te bouwen."

Hoe Ze Het Oplosten: Het Detectivemateriaal

Om dit op te lossen, gebruikten de auteurs een mix van geavanceerde wiskundige hulpmiddelen en slimme detective-werk. Denk hierbij aan een onderzoek in drie stappen:

1. Het "Gemakkelijke Zoektocht" (Kijken naar Kleine aanwijzingen)
Eerst gebruikten ze een computer om te zoeken naar "kleine" oplossingen. Stel je voor dat je een kamer doorzoekt naar een verloren sleutel. Als de sleutel op de vloer ligt, vind je hem snel. De computer scanneerde op eenvoudige breukcombinaties. Als het een match vond, werd het getal gemarkeerd als "Oplosbaar".

2. De "Vormveranderer" (Het probleem omzetten in een kromme)
Als de computer geen eenvoudig antwoord kon vinden, moesten de auteurs bewijzen dat er geen antwoord bestaat. Ze gebruikten een wiskundige truc om de vergelijking $x^4 - y^4 = n$ om te zetten in een andere vorm: een Elliptische Kromme.

Vergelijking: Stel je voor dat de oorspronkelijke vergelijking een verwarde knoop is. De auteurs vonden een manier om deze te ontwarren en plat te leggen als een gladde, slingerende kromme.
Als deze kromme een "rang" van nul heeft, betekent dit dat de kromme te klein of gebroken is om oplossingen te bevatten. Het is als een weg die eindigt in een afgrond; je kunt nergens naartoe rijden. Dit bewees dat veel getallen onmogelijk waren.

3. De "Mordell-Weil Zeef" (De ultieme filter)
Voor de koppige getallen waarbij de kromme veelbelovend leek (het had een "positieve rang", wat betekende dat het leek alsof het oplossingen kon hebben), gebruikten ze een verfijnde filter genaamd de Mordell-Weil zeef.

Vergelijking: Stel je voor dat je probeert een specifieke persoon te vinden in een enorm menigte. Je weet dat ze een rode hoed dragen. Je vraagt iedereen in de menigte: "Heb je een rode hoed?" Vervolgens vraag je: "Heb je een blauw overhemd?"
De zeef controleert de getallen tegen verschillende "moduli" (zoals het controleren van resten bij deling door 5, 7 of 11). Als de wiskunde zegt: "Om een oplossing te laten bestaan, moeten de getallen deelbaar zijn door 5", maar een andere regel zegt: "Ze mogen niet deelbaar zijn door 5", dan heb je een contradictie. De persoon (de oplossing) kan niet bestaan. De zeef vond deze tegenstrijdigheden voor de overige moeilijke getallen.

4. De "Pythagorese Truc" (Oude vrienden gebruiken)
Voor sommige specifieke gevallen gebruikten ze een methode die Pythagorese drietallen betreft (de beroemde $a^2 + b^2 = c^2$ driehoeken). Ze realiseerden zich dat als een oplossing bestond, deze moest passen in het patroon van deze oude driehoeken. Door te controleren of de getallen voldeden aan de driehoeksregels, konden ze meer mogelijkheden uitsluiten.

Het Eindresultaat

Na het uitvoeren van deze tests op elk getal tot 10.000, produceerden de auteurs Tabel 3.

Deze tabel lijst de "gelukkige" getallen op die kunnen worden geschreven als het verschil van twee rationale vierde machten.
Voor deze gelukkige getallen gaven ze zelfs de daadwerkelijke breuken (de "sleutels") die de vergelijking werkend maken.
Voor alle andere getallen bewezen ze wiskundig dat dergelijke breuken niet bestaan.

Waarom Dit Belangrijk Is (Volgens Het Artikel)

Het artikel beweert niet dat dit zal helpen bij het bouwen van bruggen of het genezen van ziekten. In plaats daarvan voltooit het een puzzel waar wiskundigen al lang aan werken.

Het voltooit het werk dat door andere wiskundigen is begonnen (zoals Cohen, Grechuk en Tho), die vergelijkbare problemen oplosten voor sommen van machten of kleinere bereiken.
Het biedt een definitieve "kaart" voor het verschil van vierde machten tot 10.000, en vult de gaten in die eerdere methoden niet konden oplossen.

Kortom, de auteurs traden op als meester-cartografen, die de volledige grenslijn trokken tussen de getallen die kunnen worden gebouwd uit vierde-machtsbreuken en diegene die dat niet kunnen.

Hier volgt een gedetailleerde technische samenvatting van het artikel "Integers Representable as a Difference of Two Rational Fourth Powers" van Ashleigh Ratcliffe en Nguyen Xuan Tho.

1. Probleemstelling

Het artikel behandelt de oplosbaarheid van de Diophantische vergelijking:
$n = x^4 - y^4$
waarbij $n$ een positief geheel getal is en $x, y$ niet-nul rationale getallen zijn.

Dit probleem wordt gemotiveerd door Fermats Laatste Stelling voor de exponent $n=4$ , wat impliceert dat $1$ niet kan worden geschreven als een verschil van twee niet-nul rationale vierde machten. Hoewel het geval van de som van twee rationale vierde machten ( $x^4 + y^4 = n$ ) grotendeels is opgelost door Cohen, Bremner en Tho voor $n \le 10.000$ , bleef het verschil-geval onvolledig voor bepaalde waarden. De auteurs beogen een volledige lijst te geven van alle positieve gehele getallen $n \le 10.000$ die in deze vorm kunnen worden weergegeven.

Wiskundig is het probleem equivalent aan het vinden van gehele oplossingen $(x, y, z)$ met $xyz \neq 0$ voor de homogene vergelijking:
$x^4 - y^4 = nz^4$
Vanwege de eigenschappen van vierde machten volstaat het om $n$ te analyseren die vierde-machts-vrij zijn.

2. Methodologie

De auteurs hanteren een meerlagige computationele en theoretische aanpak, waarbij methoden uit elliptische krommen, lokale obstructies en factorisatie in Gaussische gehele getallen worden gecombineerd. De workflow is verdeeld in drie hoofdfasen:

A. Eenvoudige Reducties en Elliptische Krommen (Paragrafen 2.1 & 2.2)

De eerste stap bestaat uit het reduceren van het probleem tot het vinden van rationale punten op specifieke elliptische krommen.

Transformatie: Elke niet-triviale gehele oplossing van $x^4 - y^4 = nz^4$ $x^{4} - y^{4} = n z^{4}$ impliceert het bestaan van rationale punten op een van drie geassocieerde elliptische krommen:
1. $Y^2 = X^3 + nX$
2. $Y^2 = X^3 - nX$
3. $Y^2 = X^3 - n^2X$
Rank 0 Check: Als een van deze krommen rank 0 heeft, is de verzameling rationale punten eindig (alleen torsiepunten). De auteurs gebruiken het computeralgebrasysteem Magma om de rank en torsiepunten te berekenen. Als de torsiepunten geen geldige oplossing opleveren (waarbij $xyz \neq 0$ ), is de vergelijking bewezen onoplosbaar.
Reductie tot Octische Vergelijkingen: Voor gevallen waarin de krommen een positieve rank hebben, wordt het probleem (via Stelling 2) gereduceerd tot het oplossen van vergelijkingen van de vorm:
$a^2u^8 + b^2v^8 = cw^4$
waarbij $a, b, c$ paarsgewijs onderling ondeelbare gehele getallen zijn zodat $abc \in \{n/8, 2n\}$ .
Lokale Obstructies & Mordell-Weil Zeef:
- Lokale Obstructies: De auteurs controleren op oplossingen modulo $p^k$ . Als er geen onderling ondeelbare oplossingen bestaan modulo een priemgetal, heeft de globale vergelijking geen oplossing.
- Mordell-Weil Zeef: Voor vergelijkingen waarbij lokale obstructies geen oplossingen uitsluiten, mappingen de auteurs het probleem naar het vinden van rationale punten op elliptische krommen die zijn afgeleid van de octische vergelijking. Ze gebruiken de Mordell-Weil zeef om te controleren of de gegenereerde groep van punten modulo een priemgetal $p$ disjunct is van de verzameling mogelijke lokale oplossingen, waardoor onoplosbaarheid wordt bewezen.

B. Methode van Pythagorese Drietallen (Paragraaf 2.3)

Voor specifieke gevallen waarin de coëfficiënt $c$ in de octische vergelijking $a^2u^8 + b^2v^8 = cw^4$ een perfect kwadraat is ( $c=k^2$ ), kan de vergelijking worden getransformeerd tot een systeem dat Pythagorese drietallen omvat:
$x^2 + y^2 = z^2$
Met behulp van de standaardparametrisatie van primitieve Pythagorese drietallen reduceren de auteurs het probleem tot het oplossen van systemen van vergelijkingen die vierde machten bevatten (bijvoorbeeld $d^2U^8 - e^2V^8 = bv^4$ ). Deze methode lost succesvol veel gevallen op die de zeefmethode niet kon oplossen.

C. Factorisatie in $\mathbb{Z}[i]$ (Paragraaf 3 & Appendix B)

Voor de overige hardnekkige gevallen (vermeld in Tabel 2 van het artikel) maken de auteurs gebruik van de methode van factorisatie in de ring van Gaussische gehele getallen $\mathbb{Z}[i]$ .

Factorisatie: De vergelijking $a^2u^8 + b^2v^8 = cw^4$ wordt herschreven als:
$(au^4 + bv^4i)(au^4 - bv^4i) = cw^4$
Gaussische Gehele Getallen: Door de ggd te analyseren in $\mathbb{Z}[i]$ en de priemfactorisatie van $c$ , leiden de auteurs af dat:
$au^4 + bv^4i = \alpha(s + ti)^4$
waarbij $\alpha$ een deler is van $c$ in $\mathbb{Z}[i]$ .
Lokale Onoplosbaarheid van Schema's: Het gelijkstellen van reële en imaginaire delen levert een systeem van twee homogene quartische vergelijkingen in variabelen $s, t, u, v$ op. Dit definieert een schema in projectieve ruimte $\mathbb{P}^3(\mathbb{Q})$ . De auteurs gebruiken Magma om te controleren of dit schema lokaal onoplosbaar is bij een specifiek priemgetal (meestal 2, 3, 5 of 17). Als het schema geen oplossingen heeft modulo $p$ , heeft de oorspronkelijke Diophantische vergelijking geen gehele oplossingen.

3. Belangrijkste Bijdragen

Volledige Classificatie: Het artikel biedt de volledige lijst van alle positieve gehele getallen $n \le 10.000$ die kunnen worden weergegeven als een verschil van twee niet-nul rationale vierde machten.
Oplossing van Open Gevallen: De auteurs lossen de specifieke gevallen op die open bleven door eerder werk (Grechuk en Tho), waaronder $n = 219, 463, 514$ , en anderen tot $n=10.000$ .
Algoritmisch Kader: Het artikel beschrijft een robuust computationeel proces dat ranken van elliptische krommen, de Mordell-Weil zeef, parametrisatie van Pythagorese drietallen en factorisatie in Gaussische gehele getallen combineert. Dit kader is toepasbaar op vergelijkbare Diophantische problemen die hogere machten betreffen.
OEIS-Seqenties: De resultaten zijn gecatalogiseerd in de On-Line Encyclopedia of Integer Sequences (OEIS) als seqenties A393616 (niet-nul rationale vierde machten) en A393617 (toestaan van nul).

4. Resultaten

Oplosbare Gehele Getallen: Tabel 3 in het artikel somt 136 gehele getallen $n \le 10.000$ op die representabel zijn als $x^4 - y^4$ . Voor elk wordt een specifieke rationale representatie gegeven (bijvoorbeeld $5 = (3/2)^4 - (1/2)^4$ ).
Onoplosbare Gehele Getallen: Het artikel bewijst dat de overige gehele getallen in het bereik $1 \le n \le 10.000$ geen niet-nul rationale oplossingen hebben.
Specifieke Gevallen: De appendices bieden uitgebreide bewijzen voor de 33 "moeilijke" gevallen die de factorisatiemethode in $\mathbb{Z}[i]$ vereisten. Bijvoorbeeld, voor $n=463$ wordt aangetoond dat de vergelijking $214369u^8 + v^8 = 2w^4$ geen oplossingen heeft door te bewijzen dat het geassocieerde schema lokaal onoplosbaar is bij $p=2$ en $p=3$ .

5. Betekenis

Voltooiing van het Overzicht: Dit werk loopt parallel aan Cohens overzicht over de som van vierde machten en vervolledigt het beeld voor het verschil-geval tot $10.000$.
Methodologische Vooruitgang: Het demonstreert de kracht van het combineren van klassieke getaltheorie (Gaussische gehele getallen, Pythagorese drietallen) met moderne computationele hulpmiddelen (Magma, Mordell-Weil zeef) om Diophantische vergelijkingen van hoge graad op te lossen.
Fundering voor Toekomstig Onderzoek: De gedetailleerde appendices en de specifieke technieken die voor de "moeilijke" gevallen worden gebruikt, bieden een blauwdruk voor het aanpakken van vergelijkbare problemen, zoals sommen of verschillen van zesde machten of hogere exponenten.

Concluderend hebben Ratcliffe en Tho de lacune in de literatuur met betrekking tot het verschil van rationale vierde machten succesvol gedicht, door een definitieve lijst te bieden van representeerbare gehele getallen en rigoureuze bewijzen voor de niet-representeerbare binnen het gespecificeerde bereik.