🔢 mathematics

Sum of consecutive powers as a perfect power

Dit artikel bewijst dat voor de vergelijking $x^k + (x+1)^k = y^n$ met $n \geq 3$ en $k \equiv 2 \pmod{4}$ de enige oplossingen de triviale gevallen $x=0, -1$ zijn wanneer $6 \leq k \leq 100$ of wanneer $k$ oneven priemfactoren bezit die congruent zijn aan $3 \pmod{4}$ , met gebruikmaking van lineaire vormen in logaritmen, de modulaire methode en Thue-vergelijkingen.

Oorspronkelijke auteurs: Angelos Koutsianas, Nikos Tzanakis

Gepubliceerd 2026-05-19

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Angelos Koutsianas, Nikos Tzanakis

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 detective bent die probeert een zeer specifieke, hardnekkige raadsel op te lossen dat met getallen te maken heeft. Het raadsel luidt als volgt: Kun je twee getallen vinden die direct naast elkaar liggen (zoals 3 en 4, of 100 en 101), ze beide tot dezelfde hoge macht verheffen, ze bij elkaar optellen en een resultaat krijgen dat ook een perfecte macht is?

Neem bijvoorbeeld $3^3 + 4^3$ , dan krijg je $27 + 64 = 91$ . Is 91 een perfecte macht (zoals een kwadraat, kubus, enzovoort)? Nee. De wiskundigen in dit artikel, Angelos Koutsianas en Nikos Tzanakis, hebben hun tijd besteed aan het jagen op de zeldzame momenten waarop het antwoord ja is.

Hieronder volgt een uiteenzetting van hun onderzoek met behulp van eenvoudige analogieën.

Het Hoofdraadsel

De vergelijking die ze bestuderen ziet er als volgt uit:
$x^k + (x+1)^k = y^n$

$x$ en $x+1$ : Twee buren.
$k$ : De "macht" tot welke je ze verheft. Het artikel richt zich op een specifiek type macht: getallen zoals 6, 10, 14, 18, enzovoort (getallen die 2 meer zijn dan een veelvoud van 4).
$y^n$ : Het resultaat moet een perfecte macht zijn (zoals een perfecte kubus, vierde macht, enzovoort, waarbij $n$ ten minste 3 is).

De "Spook"-oplossingen

Voordat ze begonnen, waren ze op de hoogte van twee "spook"-oplossingen.

Als $x = 0$ , dan is $0^k + 1^k = 1$ . Aangezien 1 een perfecte macht is ( $1^n$ ), werkt dit.
Als $x = -1$ , dan is $(-1)^k + 0^k = 1$ . Dit werkt ook.

De auteurs wilden weten: Zijn er enige echte oplossingen waarbij de getallen eigenlijk groter zijn dan 1?

De Toolkit van de Detective

Om dit op te lossen, gokten de auteurs niet zomaar getallen. Ze gebruikten een "drie-prongige" onderzoeksstrategie, net als een detective die drie verschillende soorten forensische hulpmiddelen gebruikt:

De "Logaritmische Meetlint" (Lineaire vormen in logaritmen):
Stel je voor dat je probeert een naald in een hooiberg te vinden. Je weet dat de naald ergens zit, maar de hooiberg is oneindig. Dit hulpmiddel helpt hen de hooiberg te verkleinen tot een hanteerbare grootte. Het bewijst dat als er een oplossing bestaat, de betrokken getallen niet te groot kunnen zijn. Het stelt een bovengrens vast en zegt: "Als er een oplossing bestaat, moet deze onder dit specifieke getall liggen."
De "Modulaire Spiegel" (De Modulaire Methode):
Dit is het meest complexe hulpmiddel. Stel je voor dat je kijkt naar een reflectie in een spiegel. Als je een specifieke vorm hebt (je vergelijking), werpt die een schaduw (een wiskundig object genaamd een elliptische kromme). De auteurs keken naar deze schaduw en vergeleken deze met een bibliotheek van bekende schaduwen (genaamd "nieuwe vormen").
- Als de schaduw van hun vergelijking overeenkwam met een schaduw in de bibliotheek, konden ze controleren of het een "nep"-match was.
- Ze gebruikten dit om te bewijzen dat voor veel specifieke machten ( $k$ ), de "schaduw" niet overeenkwam met iets dat een echte oplossing kon voortbrengen. Het is alsof je zegt: "Deze vingerafdruk behoort niet tot een crimineel in onze database, dus deze misdaad kon niet hebben plaatsgevonden."
De "Puzzeloplosser" (Thue-vergelijkingen):
Voor de kleinere getallen die de andere hulpmiddelen niet konden uitsluiten, veranderden ze het probleem in een specifiek type wiskundige puzzel genaamd een Thue-vergelijking. Deze zijn als Sudoku-roosters voor getallen. Ze losten deze puzzels op voor kleinere gevallen om te bewijzen dat er ook daar geen oplossingen bestonden.

De Grote Ontdekking

Na het uitvoeren van deze hulpmiddelen via een enorme computertest (met behulp van een standaard kantoorcomputer, geen supercomputer), vonden ze het antwoord:

Voor elke macht $k$ tussen 6 en 100 (die aan hun specifieke regel voldoet), zijn de ENIGE oplossingen de "spook"-oplossingen die we al kenden: $x = 0$ en $x = -1$ .

Met andere woorden, je kunt niet twee positieve gehele getallen die naast elkaar liggen, verheffen tot een macht tussen 6 en 100, ze bij elkaar optellen en een perfecte macht krijgen. Het universum staat dit simpelweg niet toe in dit bereik.

Waarom Dit Belangrijk Is (In Wiskundige Termen)

Het artikel vermeldt dat dit de eerste keer is dat iemand dit specifieke type raadsel succesvol heeft opgelost voor zulke grote machten ( $k$ ) wanneer er slechts twee getallen worden opgeteld.

Meestal, wanneer je twee getallen hebt die optellen tot een derde macht, is het een zeer moeilijk probleem (gerelateerd aan de beroemde Laatste Stelling van Fermat). De auteurs slaagden erin het probleem op te splitsen in kleinere, oplosbare stukken. Ze lieten zien dat, hoewel de wiskunde ongelooflijk diep is en abstracte concepten zoals "krommen" en "logaritmen" omvat, het eindresultaat een simpele "Nee" is voor alle grote getallen die ze testten.

"Wat Komt Er Vandaan?"

Het artikel eindigt met de opmerking: "We hebben dit gedaan voor machten tot 100. Dezelfde methoden zouden moeten werken voor machten groter dan 100, maar dat is een taak voor een andere dag." Ze merken ook op dat als de macht $k$ een oneven getal is (zoals 5 of 7), het hele spel verandert en de regels die ze hier gebruikten niet langer van toepassing zijn. Dat is een veel moeilijkere mysterie voor de toekomst.

Kortom: Ze bewezen dat voor een breed scala aan hoge machten, de som van twee opeenvolgende getallen nooit een perfecte macht is, tenzij je begint met nul of negatief één. De "spook"-oplossingen zijn de enigen die winnen.

Technische Samenvatting: Som van Opeenvolgende Machten als Volledige Macht

Probleemstelling
Dit artikel onderzoekt de Diophantische vergelijking die de som van twee opeenvolgende volledige machten voorstelt die gelijk is aan een volledige macht:
$x^k + (x + 1)^k = y^n, \quad n \geq 3$
De auteurs richten zich specifiek op het geval waarbij de exponent $k$ voldoet aan $k \equiv 2 \pmod 4$ . Hoewel de gevallen voor $k=2, 3, 4$ en diverse lengtes van opeenvolgende sommen ( $d$ ) in eerdere literatuur zijn behandeld, blijft het geval $d=2$ met grote $k$ grotendeels onopgelost. De auteurs merken op dat voor $d=2$ de vergelijking een speciaal geval is van de gegeneraliseerde Fermat-vergelijking met signatuur $(r, r, p)$ , wat doorgaans obstakels met zich meebrengt die gerelateerd zijn aan niet-singuliere Frey-hyperelliptische krommen met complexe vermenigvuldiging (specifiek voor $x=0, -1$ ). Het primaire doel is het bepalen van alle gehele oplossingen voor $6 \leq k \leq 100$ onder de voorwaarde $k \equiv 2 \pmod 4$ .

Methodologie
De bewijsstrategie combineert drie verschillende wiskundige technieken: lineaire vormen in logaritmen, de modulaire methode en de oplossing van Thue-vergelijkingen. De aanpak verloopt als volgt:

Transformatie en Reductie:
De auteurs transformeren de oorspronkelijke vergelijking door $x$ te stellen als een oneven geheel getal (via variabele substitutie $x \to (x-1)/2$ ), wat leidt tot de symmetrische vorm:
$\frac{(x-1)^k + (x+1)^k}{2} = 2^{k-1}y^n$
Met behulp van Lemma 4.1 ontbinden ze de linkerkant als $(x^2+1)f_k(x^2)$ , waarbij $f_k$ een polynoom is van graad $k/2 - 1$ .
Reductie tot Lebesgue-Nagell en Thue-vergelijkingen:
Een belangrijke bijdrage is Lemma 4.2, dat aantoont dat voor $k \geq 6$ en voldoende grote $n$ , elke oplossing $(x, y, n) reduceert tot een eindig systeem van twee vergelijkingen:
$x^2 + 1 = 2 \frac{d_2}{d_1} y_1^n$
$f_k(x^2) = 2^{k-2} \frac{d_1}{d_2} y_2^n$
Hierbij zijn $d_1, d_2$ specifieke delers van $k/2$ bepaald door de priemfactoren van $k$ die congruent zijn aan $1 \pmod 4$ .
- Voor kleine $n$ ( $n \leq 7$ ) wordt de oplossing van de eerste vergelijking gereduceerd tot het oplossen van een eindig aantal Thue-vergelijkingen over de Gaussische gehele getallen $\mathbb{Q}(i)$ .
- Voor het algemene geval wordt het probleem gereduceerd tot het oplossen van Lebesgue-Nagell-vergelijkingen van de vorm $x^2 + 1 = 2d y^n$ .
De Modulaire Methode:
Voor het bereik $6 \leq k \leq 100$ en priemgetal $n \geq 11$ passen de auteurs de modulaire methode toe. Ze koppelen een Frey-Hellegouarch-elliptische kromme $E$ aan de potentiële oplossing. Door gebruik te maken van modulariteit en stellingen over het verlagen van het niveau, stellen ze een isomorfisme vast tussen de Galois-representatie van $E$ en die van een nieuwe vorm $f$ .
- Propositie 3.1 wordt gebruikt om $n$ te begrenzen door Fourier-coëfficiënten $a_\ell(f)$ en $a_\ell(E)$ te vergelijken voor diverse priemgetallen $\ell$ .
- Propositie 6.3 introduceert een verfijnde eliminatietechniek met behulp van priemgetallen $\ell = tn + 1$ om specifieke nieuwe vormen uit te sluiten die door standaard coëfficiëntvergelijking niet konden worden geëlimineerd.
Lineaire Vormen in Logaritmen:
Om de bovengrens van $n$ te behandelen, passen de auteurs de theorie van Baker voor lineaire vormen in logaritmen toe. Ze leiden een expliciete bovengrens $n_0$ voor $n$ af (weergegeven in Tabel 2) door de lineaire vorm $\Lambda = n \log \alpha_1 - \log \alpha_2$ te analyseren. Deze grens garandeert dat voor $n > n_0$ geen oplossingen bestaan.

Belangrijkste Resultaten
Het artikel stelt de volgende hoofdstelling vast:

Stelling 1.1: Stel $k \equiv 2 \pmod 4$ . Als $6 \leq k \leq 100$ , dan zijn de enige gehele oplossingen van $x^k + (x+1)^k = y^n$ met $n \geq 3$ die optreden wanneer $x \in \{-1, 0\}$ .

Daarnaast bewijzen de auteurs Stelling 1.3, die het geval behandelt waarbij $k \equiv 2 \pmod 4$ en alle oneven priemfactoren van $k$ congruent zijn aan $3 \pmod 4$ . In dit specifieke scenario zijn de oplossingen $(x, y, n, k) = (0, 1, n, k)$ , $(119, 13, 4, 2)$ en $(-120, 13, 4, 2)$ .

De computationele verificatie omvatte:

Het oplossen van Thue-vergelijkingen voor $n \leq 7$ met behulp van Pari/GP.
Het toepassen van de modulaire methode om nieuwe vormen te elimineren voor $11 \leq n \leq n_0$ met behulp van Sage-scripts.
Het berekenen van expliciete bovengrenzen $n_0$ voor elke $k$ in het bereik $[6, 100]$ (variërend van $\approx 1,7 \times 10^5$ tot $\approx 3 \times 10^7$ ).

Betekenis en Reikwijdte
De auteurs stellen dat dit werk de eerste poging vertegenwoordigt om vergelijking (1.1) op te lossen voor $d=2$ met grote waarden van $k$ . De betekenis ligt in het succesvol overwinnen van de obstakels die geassocieerd zijn met krommen van genus $>1$ (specifiek de gevallen $x=0, -1$ ) door het probleem te reduceren tot een eindig aantal oplosbare vergelijkingen.

Het artikel is bescheiden wat betreft zijn reikwijdte buiten het geteste bereik. De auteurs merken op dat hoewel hun methoden "in principe" toepasbaar zijn op elke $k \equiv 2 \pmod 4$ met $k > 100$ , de computationele complexiteit aanzienlijk toeneemt. Ze stellen expliciet dat het geval waarbij $k$ oneven is, een "zeer verschillende" en "zeer uitdagende" situatie presenteert waar hun belangrijkste Lemma 4.2 faalt, en dat het geval $k=5$ een open probleem blijft. Het artikel claimt niet de vergelijking op te lossen voor alle $k$ , maar biedt eerder een volledige oplossing voor het specifieke bereik $6 \leq k \leq 100$ onder de gestelde congruentievoorwaarden.