🔢 mathematics

On $k$ -th power Diophantine triples of the form $\{a^k, b, c\}$

In dit artikel wordt bewezen dat er voor $k \geq 3$ en $c > 1$ geen $k$ -de macht Diophantische triples bestaan van de vorm $\{a^k, b, c\}$ .

Oorspronkelijke auteurs: Clemens Fuchs, Miriam Schönauer

Gepubliceerd 2026-04-28

📖 3 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Clemens Fuchs, Miriam Schönauer

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 getallen hebt dat een soort "magische vriendschap" heeft. In de wiskunde noemen we dit een Diophantische rij.

Hier is een eenvoudige uitleg van het onderzoek van Fuchs en Schönauer, vertaald naar het dagelijks leven.

De Magische Formule: De "Plus-Eén-Vriendschap"

Stel je voor dat je een groepje vrienden hebt (getallen). De regel voor hun vriendschap is heel streng: als je twee vrienden met elkaar vermenigvuldigt en er 1 bij optelt, moet het resultaat een "perfect getal" zijn.

In de gewone wereld zijn "perfecte getallen" getallen die je kunt maken door een getal met zichzelf te vermenigvuldigen (zoals $2 \times 2 = 4$ , $3 \times 3 = 9$ , of $5 \times 5 = 25$ ). Dit noemen we een kwadraat.

De wiskundigen uit de tekst kijken echter naar een nóg moeilijkere versie: de $k$ -de macht. Dat is alsof je een getal niet met zichzelf vermenigvuldigt, maar met zichzelf, zichzelf, zichzelf... (zoals $2 \times 2 \times 2 = 8$ ). Dit is veel zeldzamer en veel moeilijker te vinden.

Het Probleem: De Onmogelijke Driehoek

De onderzoekers keken specifiek naar een setje van drie getallen die aan deze extreem strenge regels moeten voldoen. Ze gebruikten een specifieke vorm voor het eerste getal: $a^k$ (een getal dat al een perfecte macht is).

Hun vraag was eigenlijk: "Kun je een perfecte driehoek van deze magische getallen bouwen?"

Je kunt het vergelijken met het bouwen van een perfecte driehoek met blokjes. Je hebt drie blokjes nodig ( $a, b,$ en $c$ ), en elk paar blokjes moet precies in een speciaal soort mal passen.

De Ontdekking: "Het kan niet!"

Na een heleboel ingewikkelde berekeningen (die ze vergelijkden met het zoeken naar een speld in een hooiberg met behulp van supercomputers), hebben de auteurs bewezen dat het onmogelijk is.

Hun conclusie is: Er bestaat geen dergelijke magische driehoek.

Als je probeert om drie getallen te vinden die aan deze regels voldoen, zul je altijd tegen een muur aanlopen. Het is alsof je probeert een driehoek te tekenen waarbij alle zijden precies 10 centimeter zijn, maar de hoeken ook allemaal precies 90 graden moeten zijn. Dat klinkt logisch, maar de wetten van de ruimte (of in dit geval: de wetten van de getallen) laten het simpelweg niet toe.

Hoe hebben ze dat bewezen? (De Metafoor van de Afstandsmeters)

Om dit te bewijzen, gebruikten ze een techniek die lijkt op het meten van de afstand tussen sterren:

De Gap-Principe (De Kloof): Ze ontdekten dat als je probeert getallen te vinden die bijna aan de regels voldoen, de getallen extreem snel heel groot worden. Het is alsover een sprong van een stap naar een kilometer, en dan naar een lichtjaar. De getallen "vluchten" weg van elkaar.
Continued Fractions (De Kompasnaald): Ze gebruikten een wiskundig kompas om te kijken of de getallen ergens "dichtbij" een oplossing kwamen. Ze ontdekten dat de getallen zo ver uit elkaar liggen, dat ze nooit de "magische plek" kunnen raken.
De Computer als Scheidsrechter: Voor de allerlaatste, lastigste gevallen waar de logica bijna niet meer uitrekende, lieten ze een computer de laatste check doen. De computer bevestigde: "Nee, er is hier geen oplossing te vinden."

Samenvatting in één zin

De onderzoekers hebben bewezen dat in de wereld van de getallen een bepaalde soort "perfecte vriendschap" tussen drie getallen simpelweg een wiskundige onmogelijkheid is; de regels zijn zo streng dat de getallen elkaar nooit kunnen vinden.

Technische Samenvatting: Over $k$ -de machts Diophantische triples van de vorm $\{a^k, b, c\}$

1. Het Probleem (De Context)

Het onderzoek vindt zijn oorsprong in de klassieke Diophantische $m$ -tuples: verzamelingen van positieve gehele getallen $\{a_1, \dots, a_m\}$ waarvoor de productsom van elk paar plus één een perfect kwadraat is ( $a_i a_j + 1 = x^2$ ). Waar de klassieke theorie zich richt op kwadraten ( $k=2$ ), onderzoekt dit artikel de generalisatie naar $k$ -de machts Diophantische triples.

Concreet richt het onderzoek zich op de vraag of er triples bestaan van de vorm $\{a^k, b, c\}$ waarbij $k \geq 3$ en $1 < a^k < b < c$ , zodanig dat:

$a^k b + 1 = r^k$
$a^k c + 1 = s^k$
$bc + 1 = t^k$
voor gehele getallen $r, s, t$ .

2. Methodologie

De auteurs hanteren een bewijsstrategie die gebaseerd is op de technieken van Bennett (2007), waarbij gebruik wordt gemaakt van de methoden van Thue en Siegel (hypergeometrische methode) en de theorie van rationale benaderingen. Het bewijs is opgedeeld in drie hoofdfasen op basis van de waarde van $k$ :

Fase 1: Algemene benadering en grenswaarden. De auteurs stellen eerst vast dat als een dergelijke triple bestaat, $c$ extreem veel groter moet zijn dan $a$ en $b$ . Ze leiden een effectieve rationale benadering af van de wortel $\sqrt[k]{1 + \frac{1}{a^k b}}$ .
Fase 2: Gebruik van de Lemma van Bennett. Voor $k \geq 5$ wordt de Lemma van Bennett toegepast om een contradictie aan te tonen tussen de groei van de termen en de nauwkeurigheid van de rationale benadering.
Fase 3: Gap-principes en Continued Fractions (voor $k=3$ en $k=4$ ). Voor de lagere waarden van $k$ is de algemene benadering niet sterk genoeg. De auteurs introduceren "gap principles" (hiermee wordt aangetoond dat de getallen in de set zeer snel moeten groeien) en bewijzen dat de ratio $\frac{a^{2t}}{s}$ een convergent moet zijn van de oneindige continued fraction (gecontinueerde breuk) van $\sqrt[k]{a^k b}$ .

3. Belangrijkste Bijdragen en Resultaten

De kernbijdrage van dit artikel is het bewijs van de volgende stelling:

Hoofdstelling (Theorem 1.1):
Voor $k \geq 3$ en gehele getallen $1 < a < b < c$ met $a^k < b < c$ , bestaat er geen $k$ -de machts Diophantische triple van de vorm $\{a^k, b, c\}$ .

De technische details van de resultaten per geval zijn:

Voor $k \geq 5$ (priem): Er wordt direct een contradictie gevonden via de ongelijkheden afgeleid uit de Lemma van Bennett. De groei van de termen is simpelweg incompatibel met de vereiste Diophantische eigenschappen.
Voor $k = 4$ : De auteurs gebruiken een complexer gap-principe om aan te tonen dat $s > 3r^3 z$ . Door de eigenschappen van de continued fraction van $\sqrt[4]{a^4 b}$ te analyseren, tonen ze aan dat de partiële breuken ( $a_{j+1}$ ) een waarde zouden moeten hebben die onmogelijk groot is voor de gevonden grenzen.
Voor $k = 3$ : Dit is het meest arbeidsintensieve deel. De auteurs gebruiken de bekende partiële breuken van $\sqrt[3]{r^3 - 1}$ en elimineren systematisch alle mogelijke kandidaten voor $r$ . Voor grote $r$ wordt een contradictie gevonden via de groei van $s$ , en voor kleine $r$ (tot $r=7972$ ) wordt een computerberekening (met Sagemath) gebruikt om aan te tonen dat er geen oplossingen bestaan.

4. Betekenis van het onderzoek

Dit artikel sluit een belangrijk gat in de Diophantische analyse. Terwijl er al bekend was dat triples van de vorm $\{1, a, b\}$ niet bestonden voor $k \geq 3$ , breidt dit werk dit uit naar de vorm $\{a^k, b, c\}$ .

De significantie ligt in:

Verfijning van de grenzen: Het versterkt de kennis over de absolute bovengrenzen van $k$ -de machts Diophantische $m$ -tuples.
Methodologische integratie: Het combineert klassieke getaltheorie (Diophantus) met moderne computationele methoden en geavanceerde benaderingstheorie (continued fractions), wat aantoont dat de grenzen van deze verzamelingen zeer strikt zijn.