Source : http://fr.wikipedia.org/wiki/Probl%C3%A8me_de_Waring

Problème de Waring

Aller à :Navigation,rechercher

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 k^e d'entiers. La réponse affirmative fut apportée par David Hilbert en 1909. Ce sujet est parfois décrit comme le théorème de Hilbert-Waring.

Pour chaque k, nous notons le plus petit s par g(k). Nous avons g(1) = 1. Quelques calculs montrent que 7 requiert 4 carrés, 23 requiert 9 cubes, et 79 requiert 19 puissances quatrièmes. Waring conjectura que ces valeurs étaient 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. Ce théorème fut conjecturé par Fermat en 1640 et sa première mention date de 1621.

Au fil des années, divers résultats sur les valeurs de g furent établis, en utilisant des techniques de démonstration de plus en plus sophistiquées et complexes. Par exemple, Liouvillemontra que g(4) vaut au plus 53. Hardy et Littlewood démontrèrent que tous les nombres suffisamment grands sont la somme d'au plus 19 puissances quatrièmes.

L'égalité g(3) = 9 fut établie entre 1909 et 1912 par Wieferich et A. J. Kempner, l'égalité g(4) = 19 en 1986 par R. Balasubramanian, F. Dress et J.-M. Deshouillers, l'égalité g(5) = 37 en 1964 par Chen Jingrun et l'égalité g(6) = 73 en 1940 par Pillai.

Toutes les autres valeurs de g sont connues aujourd'hui, grâce au travail de Dickson, Pillai, Rubugunday et Niven. Leur énoncé 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) + 2^k - 2     pour k ≥ 6.

Sommaire

 [masquer]

• 1 Les majorations provisoires
  • 1.1 Majoration de g(3)
  • 1.2 Majoration de g(4)
  • 1.3 Majoration de g(5)
  • 1.4 Majoration de g(6)
  • 1.5 Majoration de g(7)
  • 1.6 Majoration de g(8)
• 2 Bibliographie

Les majorations provisoires [modifier]

Avant que soient trouvées les valeurs exactes de g(n), des majorations avaient été déterminées. En voici quelques unes, pour n de 3 à 8.

Majoration de g(3) [modifier]

• 17 (Maillet, 1895)
• 13 (A. Fleck, 1906)
• 9 (Wieferich, 1909), valeur exacte.

Majoration de g(4) [modifier]

• 53 (J. Liouville, 1859)
• 47 (S. Réalis, 1878)
• 45 (É. Lucas, 1878)
• 41 (É. Lucas, 1878)
• 39 (A. Fleck, 1906)
• 38 (E. Landau, 1907)
• 37 (A. Wieferich, 1909)
• 35 (L. E. Dickson, 1933)
• 22 (H.E. Thomas, 1973)
• 21 (R. Balasubramanian, 1979)
• 20 (R. Balasubramanian, 1985)
• 19 (R. Balasubramanian, F. Dress, J.-M. Deshouillers, 1986), valeur exacte

Majoration de g(5) [modifier]

• 192 (A. Fleck, 1906)
• 59 (A. Wieferich, 1909)
• 58 (Baer, 1913)
• 54 (L.E. Dickson, 1933)
• 37 (Chen Jingrun, 1965), valeur exacte.

Majoration de g(6) [modifier]

• 970, (A.J. Kempner, 1912)
• 478 (Baer, 1913)
• 183 (James, 1934)
• 73 (K.C.S. Pillai, 1940), valeur exacte.

Majoration de g(7) [modifier]

• 3806 (A. Wieferich, 1909)
• 322 (James, 1934)
• 143, valeur exacte.

Majoration de g(8) [modifier]

• 36 119 (A. Hurwitz, 1908)
• 31 353 (A.J. Kempner, 1912)
• 595 (James, 1934)
• 279, valeur exacte.

Bibliographie [modifier]

• 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 et Otto Toeplitz, The Enjoyment of Mathematics (1933) (ISBN 0-691-02351-4). (Contient une preuve du théorème de Lagrange, accessible aux étudiants)

•  Portail des mathématiques

Catégorie : Équation diophantienne | [+]