🔢 mathematics

Sum of consecutive powers as a perfect power

Cet article démontre que pour l'équation $x^k + (x+1)^k = y^n$ avec $n \geq 3$ et $k \equiv 2 \pmod{4}$ , les seules solutions sont les cas triviaux $x=0, -1$ lorsque $6 \leq k \leq 100$ ou lorsque $k$ possède des facteurs premiers impairs congrus à $3 \pmod{4}$ , en utilisant des formes linéaires de logarithmes, la méthode modulaire et les équations de Thue.

Auteurs originaux : Angelos Koutsianas, Nikos Tzanakis

Publié 2026-05-19

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Angelos Koutsianas, Nikos Tzanakis

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous soyez un détective tentant de résoudre une énigme très précise et tenace impliquant des nombres. L'énigme est la suivante : Pouvez-vous trouver deux nombres qui se trouvent juste à côté l'un de l'autre (comme 3 et 4, ou 100 et 101), les élever tous deux à la même puissance élevée, les additionner et obtenir un résultat qui est également une puissance parfaite ?

Par exemple, si vous prenez $3^3 + 4^3$ , vous obtenez $27 + 64 = 91$ . 91 est-il une puissance parfaite (comme un carré, un cube, etc.) ? Non. Les mathématiciens de cet article, Angelos Koutsianas et Nikos Tzanakis, ont passé leur temps à chasser les rares moments où la réponse est oui.

Voici une décomposition de leur enquête utilisant des analogies simples.

L'Énigme Principale

L'équation qu'ils étudient ressemble à ceci :
$x^k + (x+1)^k = y^n$

$x$ et $x+1$ : Deux voisins.
$k$ : La « puissance » à laquelle vous les élevez. L'article se concentre sur un type spécifique de puissance : des nombres comme 6, 10, 14, 18, etc. (des nombres qui sont 2 de plus qu'un multiple de 4).
$y^n$ : Le résultat doit être une puissance parfaite (comme un cube parfait, une quatrième puissance, etc., où $n$ est au moins 3).

Les Solutions « Fantômes »

Avant de commencer, ils connaissaient deux solutions « fantômes ».

Si $x = 0$ , alors $0^k + 1^k = 1$ . Puisque 1 est une puissance parfaite ( $1^n$ ), cela fonctionne.
Si $x = -1$ , alors $(-1)^k + 0^k = 1$ . Cela fonctionne également.

Les auteurs voulaient savoir : Y a-t-il des solutions « réelles » où les nombres sont en fait supérieurs à 1 ?

La Boîte à Outils du Détective

Pour résoudre cela, les auteurs n'ont pas simplement deviné des nombres. Ils ont utilisé une stratégie d'enquête à « trois volets », comme un détective utilisant trois types d'outils médico-légaux différents :

Le « Ruban à Mesure Logarithmique » (Formes Linéaires de Logarithmes) :
Imaginez que vous essayiez de trouver une aiguille dans une botte de foin. Vous savez que l'aiguille est quelque part, mais la botte de foin est infinie. Cet outil les aide à réduire la botte de foin à une taille gérable. Il prouve que si une solution existe, les nombres impliqués ne peuvent pas être trop énormes. Il fixe une limite supérieure, disant : « Si une solution existe, elle doit être inférieure à ce nombre spécifique. »
Le « Miroir Modulaire » (La Méthode Modulaire) :
C'est l'outil le plus complexe. Imaginez regarder un reflet dans un miroir. Si vous avez une forme spécifique (votre équation), elle projette une ombre (un objet mathématique appelé courbe elliptique). Les auteurs ont examiné cette ombre et l'ont comparée à une bibliothèque d'ombres connues (appelées « nouvelles formes »).
- Si l'ombre de leur équation correspondait à une ombre dans la bibliothèque, ils pouvaient vérifier s'il s'agissait d'une correspondance « fausse ».
- Ils ont utilisé cela pour prouver que pour de nombreuses puissances spécifiques ( $k$ ), l'« ombre » ne correspondait à rien qui pourrait produire une solution réelle. C'est comme dire : « Cette empreinte digitale n'appartient à aucun criminel de notre base de données, donc ce crime n'a pas pu se produire. »
Le « Résolveur de Puzzle » (Équations de Thue) :
Pour les plus petits nombres que les autres outils n'ont pas pu écarter, ils ont transformé le problème en un type spécifique de puzzle mathématique appelé équation de Thue. Ceux-ci sont comme des grilles de Sudoku pour les nombres. Ils ont résolu ces puzzles pour des cas plus petits afin de prouver qu'aucune solution n'existait non plus dans ces cas-là.

La Grande Découverte

Après avoir fait passer ces outils à travers un contrôle informatique massif (en utilisant un ordinateur de bureau standard, pas un supercalculateur), ils ont trouvé la réponse :

Pour chaque puissance $k$ comprise entre 6 et 100 (qui respecte leur règle spécifique), les SEULES solutions sont les « fantômes » que nous connaissions déjà : $x = 0$ et $x = -1$ .

Autrement dit, vous ne pouvez pas prendre deux entiers positifs se trouvant l'un à côté de l'autre, les élever à une puissance comprise entre 6 et 100, les additionner et obtenir une puissance parfaite. L'univers ne le permet tout simplement pas dans cette plage.

Pourquoi Cela Compte (En Termes Mathématiques)

L'article mentionne que c'est la première fois que quelqu'un résout avec succès ce type spécifique d'énigme pour de telles puissances élevées ( $k$ ) lorsqu'il n'y a que deux nombres à additionner.

Généralement, lorsque vous avez deux nombres qui s'additionnent pour former une troisième puissance, c'est un problème très difficile (lié au célèbre Dernier Théorème de Fermat). Les auteurs ont réussi à décomposer le problème en pièces plus petites et solubles. Ils ont montré que même si les mathématiques sont incroyablement profondes et impliquent des concepts abstraits comme les « courbes » et les « logarithmes », le résultat final est un simple « Non » pour tous les grands nombres qu'ils ont testés.

Le « Et Après ? »

L'article se termine en disant : « Nous avons fait cela pour des puissances jusqu'à 100. Les mêmes méthodes devraient fonctionner pour des puissances supérieures à 100, mais c'est un travail pour un autre jour. » Ils notent également que si la puissance $k$ est un nombre impair (comme 5 ou 7), tout le jeu change, et les règles qu'ils ont utilisées ici ne s'appliquent plus. C'est un mystère beaucoup plus difficile pour l'avenir.

En résumé : Ils ont prouvé que pour une large gamme de puissances élevées, la somme de deux nombres consécutifs n'est jamais une puissance parfaite, sauf si vous commencez par zéro ou moins un. Les « fantômes » sont les seuls à gagner.

Résumé technique : Somme de puissances consécutives comme puissance parfaite

Énoncé du problème
Ce papier étudie l'équation diophantienne représentant la somme de deux puissances parfaites consécutives égales à une puissance parfaite :
$x^k + (x + 1)^k = y^n, \quad n \geq 3$
Les auteurs se concentrent spécifiquement sur le cas où l'exposant $k$ satisfait $k \equiv 2 \pmod 4$ . Bien que les cas pour $k=2, 3, 4$ et diverses longueurs de sommes consécutives ( $d$ ) aient été traités dans la littérature antérieure, le cas $d=2$ avec de grands $k$ reste largement non résolu. Les auteurs notent que pour $d=2$ , l'équation est un cas particulier de l'équation de Fermat généralisée de signature $(r, r, p)$ , qui présente généralement des obstructions liées aux courbes hyperelliptiques de Frey non singulières à multiplication complexe (spécifiquement pour $x=0, -1$ ). L'objectif principal est de déterminer toutes les solutions entières pour $6 \leq k \leq 100$ sous la condition $k \equiv 2 \pmod 4$ .

Méthodologie
La stratégie de preuve combine trois techniques mathématiques distinctes : les formes linéaires en logarithmes, la méthode modulaire et la résolution d'équations de Thue. L'approche procède comme suit :

Transformation et réduction :
Les auteurs transforment l'équation originale en posant $x$ comme un entier impair (via la substitution de variable $x \to (x-1)/2$ ), conduisant à la forme symétrique :
$\frac{(x-1)^k + (x+1)^k}{2} = 2^{k-1}y^n$
En utilisant le Lemme 4.1, ils factorisent le membre de gauche sous la forme $(x^2+1)f_k(x^2)$ , où $f_k$ est un polynôme de degré $k/2 - 1$ .
Réduction aux équations de Lebesgue-Nagell et de Thue :
Une contribution clé est le Lemme 4.2, qui démontre que pour $k \geq 6$ et $n$ suffisamment grand, toute solution $(x, y, n)$ se réduit à un système fini de deux équations :
$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$
Ici, $d_1, d_2$ sont des diviseurs spécifiques de $k/2$ déterminés par les facteurs premiers de $k$ congrus à $1 \pmod 4$ .
- Pour les petits $n$ ( $n \leq 7$ ), la résolution de la première équation se réduit à résoudre un nombre fini d'équations de Thue sur les entiers de Gauss $\mathbb{Q}(i)$ .
- Pour le cas général, le problème se réduit à résoudre des équations de Lebesgue-Nagell de la forme $x^2 + 1 = 2d y^n$ .
La méthode modulaire :
Pour la plage $6 \leq k \leq 100$ et $n$ premier $\geq 11$ , les auteurs emploient la méthode modulaire. Ils associent une courbe elliptique de Frey-Hellegouarch $E$ à la solution potentielle. En utilisant la modularité et les théorèmes d'abaissement de niveau, ils établissent un isomorphisme entre la représentation galoisienne de $E$ et celle d'une forme nouvelle $f$ .
- La Proposition 3.1 est utilisée pour borner $n$ en comparant les coefficients de Fourier $a_\ell(f)$ et $a_\ell(E)$ pour divers nombres premiers $\ell$ .
- La Proposition 6.3 introduit une technique d'élimination affinée utilisant les nombres premiers $\ell = tn + 1$ pour écarter certaines formes nouvelles que la comparaison standard des coefficients n'aurait pas pu éliminer.
Formes linéaires en logarithmes :
Pour gérer la borne supérieure de $n$ , les auteurs appliquent la théorie de Baker des formes linéaires en logarithmes. Ils dérivent une borne supérieure explicite $n_0$ pour $n$ (présentée dans le Tableau 2) en analysant la forme linéaire $\Lambda = n \log \alpha_1 - \log \alpha_2$ . Cette borne garantit que pour $n > n_0$ , aucune solution n'existe.

Résultats clés
Le papier établit le théorème principal suivant :

Théorème 1.1 : Supposons $k \equiv 2 \pmod 4$ . Si $6 \leq k \leq 100$ , les seules solutions entières de $x^k + (x+1)^k = y^n$ avec $n \geq 3$ se produisent lorsque $x \in \{-1, 0\}$ .

De plus, les auteurs prouvent le Théorème 1.3, qui traite le cas où $k \equiv 2 \pmod 4$ et tous les facteurs premiers impairs de $k$ sont congrus à $3 \pmod 4$ . Dans ce scénario spécifique, les solutions sont $(x, y, n, k) = (0, 1, n, k)$ , $(119, 13, 4, 2)$ , et $(-120, 13, 4, 2)$ .

La vérification computationnelle a impliqué :

La résolution d'équations de Thue pour $n \leq 7$ en utilisant Pari/GP.
L'application de la méthode modulaire pour éliminer les formes nouvelles pour $11 \leq n \leq n_0$ en utilisant des scripts Sage.
Le calcul de bornes supérieures explicites $n_0$ pour chaque $k$ dans la plage $[6, 100]$ (allant d'environ $1,7 \times 10^5$ à environ $3 \times 10^7$ ).

Portée et importance
Les auteurs déclarent que ce travail représente la première tentative de résolution de l'équation (1.1) pour $d=2$ avec de grandes valeurs de $k$ . L'importance réside dans la réussite à surmonter les obstructions associées aux courbes de genre $>1$ (spécifiquement les cas $x=0, -1$ ) en réduisant le problème à un nombre fini d'équations résolubles.

Le papier est modeste quant à sa portée au-delà de la plage testée. Les auteurs notent que bien que leurs méthodes soient « en principe » applicables à tout $k \equiv 2 \pmod 4$ avec $k > 100$ , la complexité computationnelle augmente considérablement. Ils déclarent explicitement que le cas où $k$ est impair présente une situation « très différente » et « très difficile » où leur Lemme clé 4.2 échoue, et que le cas $k=5$ reste un problème ouvert. Le papier ne prétend pas résoudre l'équation pour tout $k$ , mais fournit plutôt une résolution complète pour la plage spécifique $6 \leq k \leq 100$ sous les conditions de congruence énoncées.