Problème de Prouhet-Tarry-Escott

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, et plus particulièrement en théorie des nombres et en combinatoire, le problème de Prouhet-Tarry-Escott est de trouver, pour chaque entier , deux ensembles et de entiers chacun, tel que :

pour chaque de jusqu'à un entier donné[1]. Si et vérifient ces conditions, on écrit .

On cherche une solution de taille minimale pour un degré donné. Ce problème, toujours ouvert, est nommé d'après Eugène Prouhet, qui l'a étudié en 1851, et Gaston Tarry et Edward Brind Escott, qui l'ont considéré au début des années 1910.

La plus grande valeur de pour laquelle on connaît une solution avec est . Une solution correspondante est donnée par les ensembles suivants[2] :

Exemple[modifier | modifier le code]

L'entier de la définition est le degré, et l'entier est la taille. Il est facile de voir que pour toute solution, on a . On cherche donc une solution de taille minimale.

Pour la taille et le degré , les deux ensembles

et

sont une solution du problème, puisque :

.

Une solution idéale est une solution dont la taille est égale au degré + 1. La solution ci-dessus est donc idéale.

Histoire[modifier | modifier le code]

En 1851, Eugène Prouhet pose le problème plus général de répartir les entiers x de 1 à nm en n classes, de façon que la somme des puissances k-ièmes des entiers de chaque classe soit la même, pour k = 0, 1, ... Le procédé qu'il propose[3] revient à numéroter les classes de 0 à n – 1, à décomposer chaque entier x – 1 dans la base de numération n, à faire la somme de ses chiffres, à calculer le reste r de cette somme modulo n et à affecter l'entier x à la classe r.

Dans le cas où n = 2, le placement de l'entier x dans l'une des deux classes d'indice 0 ou 1 se fait selon que le x-ème terme de la suite de Prouhet-Thue-Morse est 0 ou 1. Par exemple, les 8 premiers entiers sont répartis en : 1, 4, 6, 7 d'une part, et en 2, 3, 5, 8 d'autre part, et la somme des puissances k-ème des entiers de ces deux classes coïncide jusqu'à k = 2.

Leonard Eugene Dickson consacre un chapitre de son Histoire de la théorie des nombres aux « Sets of integers with equal sums of like powers »[4], et liste pas moins de 70 articles sur ce sujet. Dans son article historique[5], Edward Maitland Wright note que l'article de Prouhet n'a été redécouvert qu'en 1948.

Les récents développements sont décrits par Peter Borwein et ses coauteurs[6],[7],[8]. Une version en deux dimensions a été étudié par Alpers et Tijdeman (2007).

Propriétés et résultats[modifier | modifier le code]

  • Si le couple et est une solution de degré , alors pour tout et tout le coupleest encore une solution du même degré. Ainsi, la solutiondonne aussi la solutionCette observation permet de normaliser les solutions, en imposant par exemple qu'elles ne contiennent que des entiers positifs ou nuls, et que zéro y figure.
  • On ne connaît pas de solution idéale pour tout degré, mais on sait[6] que pour tout degré , il existe une solution de taille .
  • Solutions symétriques : une solution de taille paire est symétrique si chaque composante est de la formeLa solution donnée dans l'introduction est de cette forme.
  • Une solution de taille impaire est symétrique si les composantes de la solution sont opposées, c'est-à-dire et

Solutions idéales et symétriques[modifier | modifier le code]

Des solutions idéales et symétriques sont connues pour les degrés , sauf pour [9] :

Cette dernière solution est donnée, avec d'autres, dans Borwein et al. (2003). Aucune solution idéale n'est connue pour .

Une formulation algébrique[modifier | modifier le code]

Il existe une façon plus algébrique de formuler le problème[10] :

Proposition —  Les conditions suivantes sont équivalentes :

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Prouhet–Tarry–Escott problem » (voir la liste des auteurs).

Notes[modifier | modifier le code]

Références[modifier | modifier le code]

  • (de) Albert Gloden (lb), Mehrgradige Gleichungen : Mit einem Vorwort von Maurice Kraitchik, Groningen, P. Noordhoff, , lien Math Reviews
  • (en) G. H. Hardy et E. M. Wright, An Introduction to the Theory of Numbers [détail des éditions]
    Les sections 20.5 "The four-square theorem" et 21.9 "The problem of Prouhet and Tarry: The number " traitent de ce sujet
  • (en) Edward M. Wright, « Prouhet's 1851 solution of the Tarry-Escott problem of 1910 », Amer. Math. Monthly, vol. 66,‎ , p. 199-201
  • (en) Peter Borwein et Colin Ingalls, « The Prouhet-Tarry-Escott problem revisited », Enseign. Math., vol. 40, no 1-2,‎ , p. 3-27 (lire en ligne)
  • (en) Peter Borwein, Computational Excursions in Analysis and Number Theory, Springer, coll. « CMS Books in Mathematics », (ISBN 0-387-95444-9, lire en ligne)
    Le chapitre 11: The Prouhet–Tarry–Escott problem (pages 85-96) est consacré au problème
  • (en) Peter Borwein, Petr Lisonĕk et Colin Percival, « Computational investigations of the Prouhet-Tarry-Escott problem », Math. Comp., vol. 72, no 244,‎ , p. 2063-2070 (lire en ligne)
  • (en) Andreas Alpers et Robert Tijdeman (de), « The two-dimensional Prouhet-Tarry-Escott problem », J. Num. Th. (en), vol. 123,‎ , p. 403-412

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]