Problème de Waring
Un article de Wikipédia, l'encyclopédie libre.
Vous avez de En théorie des nombres, le problème de Waring, proposé en 1770 par Edward Waring, demande si, pour tout entier naturel k, il existe un entier naturel s tel que tout entier soit la somme d'au plus s puissances kième d'entiers. La réponse affirmative fut apportée par David Hilbert en 1909. Quelquefois, ce sujet est décrit comme le théorème de Hilbert-Waring.
Pour chaque k, nous notons le plus petit s par g(k). Notons que nous avons g(1) = 1. Quelques calculs simples montrent que 7 requiert 4 carrés, 23 requiert 9 cubes, et 79 requiert 19 puissance quatrièmes. Waring conjectura que ces valeurs étaient en fait les meilleures possibles.
Le théorème des quatre carrés de Lagrange de 1770 affirme que chaque nombre naturel est la somme d'au plus quatre carrés ; puisque trois carrés ne sont pas suffisants, ce théorème établit g(2) = 4. Le théorème des quatre carrés de Lagrange fut conjecturé par Fermat en 1640 et fut indiqué en premier en 1621.
Au fil des ans, diverses limite furent établies, en utilisant de plus en plus des preuves techniques sophistiquées et complexes. Par exemple, Liouville montra que g(4) est au plus 53. Hardy et Littlewood montrèrent que tous les nombres suffisamment grands sont la somme d'au plus 19 puissances quatrièmes.
L'égalité g(3) = 9 fut établit à partir de 1909 jusqu'en 1912 par Wieferich et A. J. Kempner, g(4) = 19 en 1986 par R. Balasubramanian, F. Dress, et J.-M. Deshouillers, g(5) = 37 en 1964 par Jing-run Chen et g(6) = 73 en 1940 par Pillai.
De nos jours, toutes les autres valeurs de g sont aussi connues, grâce au résultat du travail de Dickson, Pillai, Rubugunday et Niven. Leur formule contient deux cas, et il est conjecturé que le second cas ne peut jamais se produire ; dans le premier cas, la formule se lit
- g(k) = E((3/2)k) + 2k - 2 pour k ≥ 6.
[modifier] Lectures pour aller plus loin
- W. J. Ellison: Waring's problem. American Mathematical Monthly, volume 78 (1971), pp. 10-76. Exposé, contenant une formule précise pour g(k) et une version simplifiée de la preuve d'Hilbert.
- Hans Rademacher and Otto Toeplitz, The Enjoyment of Mathematics (1933) (ISBN 0-691-02351-4). Dont une preuve du théorème de Lagrange, accessible aux étudiants.
