🔢 mathematics

On Regular Higher Power Rational Diophantine Triples

Dit artikel onderzoekt rationale Diophantische drietallen waarbij het product van twee elementen plus één een vierde macht is, en bewijst het bestaan van oneindig veel dergelijke drietallen met positieve elementen, terwijl ook de uitdagingen bij hogere machten zoals zesde en achtste worden besproken.

Oorspronkelijke auteurs: Alen Andrašek

Gepubliceerd 2026-04-21

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Alen Andrašek

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 voor dat je een groepje vrienden hebt die een heel speciale club vormen. In de wiskundige wereld heten deze groepjes Diophantische drietallen. De enige regel voor lidmaatschap is simpel: als je twee willekeurige leden uit de groep pakt en hun getallen met elkaar vermenigvuldigt, en dan 1 optelt, moet het resultaat een perfect vierkant zijn (zoals 4, 9, 16, 25...).

Voorbeeld: Als je 3 en 8 hebt, dan is $3 \times 8 + 1 = 25$ . En 25 is $5^2$ . Perfect!

Nu, in dit nieuwe onderzoek, wil de auteur, Alen Andrašek, de regels van deze club iets strenger maken. Hij zegt: "Oké, het resultaat moet niet zomaar een vierkant zijn ( $k=2$ ), maar het moet een vierde macht zijn ( $k=4$ )."

Dit betekent dat als je twee getallen vermenigvuldigt en 1 optelt, het antwoord een getal moet zijn dat je kunt schrijven als $n \times n \times n \times n$ (zoals $16 = 2^4$ of $81 = 3^4$ ). Dit is veel moeilijker dan de originele versie.

Hier is wat de paper doet, vertaald naar alledaagse taal:

1. Het probleem: De "Vierde Macht" uitdaging

Het vinden van drie getallen die aan deze strenge regel voldoen, is als zoeken naar drie sleutels die precies in één slot passen. De meeste combinaties werken niet. Wiskundigen wisten al dat er een paar voorbeelden bestonden, maar ze waren beperkt tot één specifieke, saaie formule die altijd één negatief getal opleverde (alsof je een club hebt met een lid dat eigenlijk niet mag komen).

De vraag was: Bestaan er oneindig veel van deze groepjes, en kunnen ze allemaal positieve getallen zijn?

2. De oplossing: Een "Regelmatige" manier

De auteur bedacht een slimme truc. Hij introduceerde het concept van een "regulier" drietal.

De analogie: Stel je voor dat je een driehoek bouwt. Als je de afstanden tussen de hoekpunten op een specifieke manier relateert, wordt de wiskunde veel makkelijker.
In de paper betekent dit: als je de getallen op een bepaalde manier kiest (waarbij het derde getal een soort "som" is van de eerste twee plus een extra stukje), dan verandert het hele probleem van een onmogelijke zoektocht in het vinden van punten op een elliptische kromme.

Voor de leek: Een elliptische kromme is als een speciaal soort bergpad. Als je een punt op dit pad vindt, kun je wiskundige "springtechnieken" gebruiken om oneindig veel nieuwe punten te vinden.

3. De ontdekkingen

Door deze "bergpaden" te verkennen, vond de auteur drie nieuwe manieren om deze groepjes te bouwen:

Familie 1: Hij zocht naar situaties waarbij een deel van de formule een kwadraat was. Dit leidde tot een pad met oneindig veel oplossingen.
Familie 2: Hij probeerde een andere verhouding tussen de getallen, wat weer een ander pad opleverde.
Familie 3 (De verrassing): Hij keek naar een oude wiskundige vergelijking (de Pell-vergelijking) die vaak voorkomt bij het benaderen van de wortel van 3. Dit bleek een goudmijn te zijn voor het vinden van nieuwe, positieve getallen.

Het belangrijkste resultaat: De auteur bewees dat er oneindig veel van deze groepjes bestaan waarbij alle drie de getallen positief zijn. Dit is een grote doorbraak, omdat de oude bekende formule altijd een negatief getal opleverde.

4. De grenzen: Waarom is dit zo moeilijk voor hogere machten?

De auteur probeerde ook om deze methode uit te breiden naar nog strengere regels:

Zesde macht ( $k=6$ ): Hier wordt het pad zo steil en complex dat het bijna onmogelijk is om nieuwe oplossingen te vinden met dezelfde methoden. Hij vond wel een paar rare, geïsoleerde voorbeelden, maar geen oneindige familie.
Achtste macht ( $k=8$ ): Hier is het pad zo hoog dat het waarschijnlijk geen enkele oplossing heeft die we kunnen vinden met huidige methoden. Het is alsof je probeert een berg te beklimmen die boven de wolken uitsteekt; je kunt er niet bij.

Samenvatting in één zin

Deze paper toont aan dat je, door slimme wiskundige patronen te gebruiken, oneindig veel groepjes van drie positieve getallen kunt vinden waarbij het product van elk paar plus 1 een vierde macht is, maar dat dit soort magie waarschijnlijk stopt als je de regels nog strenger maakt (naar zesde of achtste macht).

Het is alsof de auteur een nieuwe sleutel heeft gevonden die een deur openmaakt naar een kamer vol met schatten (de positieve drietallen), maar die deur waarschijnlijk dicht blijft voor de volgende, nog zwaardere kamers.

Titel en Context

Het artikel behandelt rationele Diophantische $m$ -tupels, specifiek gericht op de veralgemening van het klassieke probleem waarbij het product van twee elementen plus één een kwadraat is ( $a_i a_j + 1 = \square$ ), naar het geval waarbij dit resultaat een $k$ -de macht moet zijn ( $a_i a_j + 1 = t^k$ ). De auteur focust voornamelijk op het geval $k=4$ (kwartische machten) en bespreekt kort de uitdagingen voor $k=6$ (sextisch) en $k=8$ (octisch).

Het Probleem

Een rationele Diophantische $m$ -tupel is een verzameling van $m$ verschillende, niet-nul rationale getallen $\{a_1, \dots, a_m\}$ zodanig dat voor alle $1 \le i < j \le m$ geldt dat $a_i a_j + 1$ een $k$ -de macht is van een rationaal getal.
Hoewel er voor $k=2$ (kwadraten) veel bekend is (bijv. oneindige families van sextupels), is de situatie voor hogere machten ( $k \ge 3$ ) minder goed begrepen. Voor $k=3$ en $k=4$ zijn enkele voorbeelden bekend, maar het bestaan van oneindige families met specifieke eigenschappen (zoals alle elementen positief) was voor $k=4$ niet eenduidig bewezen of geconstrueerd via parametrische methoden, behalve voor een triviale familie die altijd een negatief element bevat.

Methodologie

De auteur introduceert het concept van regulariteit voor hogere machten, analoog aan de definitie voor kwadratische Diophantische tupels.

Definitie van Regulariteit:
Een kwartische Diophantische drietal $\{a, b, c\}$ (waarbij $ab+1=r^4$ , $ac+1=s^4$ , $bc+1=t^4$ ) wordt regulier genoemd als $a = s^2 - r^2$ (of equivalent $c = a + b + 2r^2$ ).
Deze voorwaarde reduceert het probleem van het vinden van $a, b, c$ tot het oplossen van de vergelijking:
$\frac{s^2 r^2 - 1}{s^2 - r^2} = t^2$
Dit is een oppervlak dat geïnterpreteerd kan worden als een elliptische kromme met een parameter.
Constructie van Parametrische Families:
De auteur zoekt naar rationale punten van oneindige orde op deze elliptische krommen om oneindige families van oplossingen te genereren. Dit wordt gedaan via drie verschillende strategieën:
- Methode 1 (Vierkante $a$ ): De voorwaarde $a = s^2 - r^2 = \ell^2$ wordt opgelegd. Dit leidt tot een nieuwe elliptische kromme met een punt van oneindige orde, wat resulteert in een parametrische familie.
- Methode 2 (Lineaire relatie $s = \alpha r$ ): Door $s$ als een rationaal veelvoud van $r$ te beschouwen, wordt een andere parametrische familie afgeleid via de Weierstrass-vorm van de bijbehorende kromme.
- Methode 3 (Pell-vergelijking): Er wordt gezocht naar gehele oplossingen waarbij $r$ en een ander getal $p$ voldoen aan de Pell-vergelijking $p^2 - 3r^2 = 1$ . Dit leidt tot een specifieke parametrisatie die voortkomt uit de convergenten van $\sqrt{3}$ .
Analyse van Hogere Machten ( $k=6, 8$ ):
Voor $k=6$ en $k=8$ wordt het probleem gereduceerd tot het vinden van rationale oplossingen voor systemen van de vorm:
$X^k + Y^k = Z^k + W^k \quad \text{en} \quad XYZW = Q^2$
Dit vereist het vinden van getallen die op twee manieren als som van $k$ -de machten kunnen worden geschreven (vergelijkbaar met Taxicab-getallen), waarbij het product van de basisgetallen een kwadraat is.

Belangrijkste Resultaten

Oneindige Families voor $k=4$ :
De auteur presenteert drie nieuwe, niet-triviale oneindige parametrische families van reguliere kwartische Diophantische drietallen.
- Positieve Elementen: Een cruciale bijdrage is het bewijs dat er oneindig veel kwartische Diophantische drietallen bestaan met uitsluitend positieve elementen. Dit wordt bereikt door specifieke waarden voor de parameter $u$ te kiezen in de gevonden families (bijvoorbeeld in Familie 1 en Familie 3), zodat alle factoren in de uitdrukkingen voor $a, b, c$ positief zijn.
- Integrale Oplossingen: De auteur bevestigt dat de enige bekende gehele kwartische drietal $\{1352, 9539880, 9768370\}$ inderdaad regulier is en voortkomt uit de gevonden structuur (via de punten $(337, 339)$ en $(337, 3107)$ ).
Elliptische Krommen en Rank:
- De onderliggende elliptische kromme $E_r$ (voor de algemene reguliere vergelijking) heeft over $\mathbb{Q}(r)$ rank 0 en een torsiegroep $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}$ . Dit betekent dat er geen generieke parametrische oplossing is zonder extra voorwaarden.
- Door extra voorwaarden op te leggen (zoals $s=r+2$ of de Pell-voorwaarde), worden krommen met rank $\ge 1$ verkregen, wat de constructie van oneindige families mogelijk maakt.
Uitdagingen voor $k=6$ en $k=8$ :
- Sextisch ( $k=6$ ): Het probleem reduceert tot het vinden van rationale punten op een hyperelliptische kromme of een oppervlak met genus 4. Hoewel er brute-force voorbeelden zijn gevonden (bijv. gebaseerd op identiteiten zoals $243^3 + 1600^3 = 484^3 + 1587^3$ ), is het vinden van een parametrische familie extreem moeilijk. De auteur noteert dat er slechts een handvol voorbeelden van niet-reguliere sextische drietallen bekend zijn.
- Octisch ( $k=8$ ): Het vereist het oplossen van $X^4 + Y^4 = Z^4 + W^4$ met een productvoorwaarde. De auteur toont aan dat bekende parametrisaties (zoals die van Euler) leiden tot krommen van genus 2, wat impliceert dat er slechts eindig veel rationale oplossingen zijn. Er zijn geen voorbeelden gevonden van reguliere octische drietallen die niet uit de triviale familie (1) komen.

Significantie en Conclusie

Structuur van Kwartische Tupels: Het artikel biedt een diepgaand inzicht in de structuur van kwartische Diophantische drietallen door het concept van regulariteit te formaliseren en te koppelen aan de theorie van elliptische krommen.
Oplossing van een Open Vraag: Het bewijst het bestaan van oneindig veel kwartische drietallen met positieve elementen, wat een belangrijk verschil is met eerdere bekende parametrisaties die altijd een negatief element bevatten.
Grenzen van de Methode: Het artikel schetst duidelijk de grenzen van de huidige methoden voor hogere machten. De complexiteit van de bijbehorende algebraïsche variëteiten (hoge genus) maakt het vinden van parametrische families voor $k \ge 6$ met huidige technieken zeer onwaarschijnlijk, tenzij er nieuwe inzichten in de som van machten worden verkregen.

Samenvattend levert dit werk een significante bijdrage aan het gebied van Diophantische vergelijkingen door nieuwe oneindige families te construeren voor het kwartische geval en een realistische inschatting te geven van de moeilijkheidsgraad voor hogere machten.