Ce que fait ce calculateur
Voici un outil de recherche ludique en théorie des nombres, inspiré du dernier théorème de Fermat. Ce théorème affirme que, pour un entier \(n \ge 3\), il n'existe aucun triplet d'entiers positifs \(X, Y, Z\) vérifiant \(X^n + Y^n = Z^n\). Cet outil généralise le membre de gauche à une somme de \(n\) puissances \(n\)-ièmes consécutives et met à l'épreuve la conjecture suivante : il n'existe aucun couple d'entiers naturels \(a, b\) tels que la somme de \(n\) puissances \(n\)-ièmes consécutives commençant à \(a\) soit égale à \(b^n\), pour \(n \ge 4\). Pour chaque exposant \(n\) de votre intervalle, l'outil parcourt chaque base de départ \(a\) de votre intervalle et signale tout couple \((a, b)\) trouvé, ou affiche « -- » lorsqu'il n'en existe aucun dans cette plage.
Comment l'utiliser
Saisissez le plus petit et le plus grand exposant \(n\) à tester (\(n \ge 2\)), ainsi que la plus petite et la plus grande base de départ \(a\) à tester (\(a \ge 1\)). L'outil boucle sur chaque \(n\) et, pour chaque \(a\), calcule $$S = a^n + (a+1)^n + \ldots + (a+n-1)^n,$$ détermine la racine \(n\)-ième entière de \(S\), puis la vérifie exactement à l'aide de l'arithmétique des grands entiers. Attention : explorer de larges intervalles est lent, car \(S\) croît extrêmement vite.
La formule expliquée
L'équation s'écrit $$\sum_{j=0}^{n-1}\left(a+j\right)^{n} = b^{n}, \qquad \begin{aligned} n &\in \left[\text{n Start},\, \text{n End}\right] \\ a &\in \left[\text{a Start},\, \text{a End}\right] \end{aligned}$$ Pour éviter les faux positifs liés à la virgule flottante, l'outil calcule \(S\) comme un grand entier exact, en déduit une racine candidate \(b\) par dichotomie, puis teste à nouveau \(b-1\), \(b\) et \(b+1\) avec la vérification exacte \(b^n == S\). Des solutions connues existent pour de petites valeurs de \(n\) : pour \(n = 2\), on a \(3^2 + 4^2 = 5^2\) et \(20^2 + 21^2 = 29^2\) ; pour \(n = 3\), on a \(3^3 + 4^3 + 5^3 = 6^3\).
Exemple concret
Posons nStart = 3, nEnd = 3, aStart = 1, aEnd = 10. Pour \(a = 3\) : $$S = 27 + 64 + 125 = 216,$$ et la racine cubique entière de 216 vaut 6, avec \(6^3 = 216\). L'outil enregistre alors \(n = 3 \rarr a = 3\), \(b = 6\).
FAQ
Cela démontre-t-il la conjecture ? Non. L'outil se contente d'explorer une plage finie à la recherche de contre-exemples ; n'en trouver aucun ne constitue pas une preuve.
Pourquoi autorise-t-il \(n = 2\) et \(n = 3\) ? Ces cas possèdent des solutions connues : l'outil peut donc les illustrer, même si l'affirmation d'absence de solution ne concerne que \(n \ge 4\).
Pourquoi le calcul peut-il dépasser le temps imparti ? La somme croît à peu près comme \(n \cdot (a + n)^n\) ; de larges intervalles engendrent donc des nombres gigantesques. Mieux vaut garder des plages raisonnables.
