Problema de Waring

Maitane Amor, 16/03/2013

El problema de Waring es un famoso problema de teora de nmeros.

Fue propuesto por Edward Waring en 1770 en su obra Meditationes Algebraicae.
Waring enunci, sin demostrar, que todo nmero natural puede expresarse como suma de no
ms de cuatro cuadrados, 9 cubos, 19 cuartas potencias y en general n potencias k-simas
positivas.
O sea, que si expresramos todos los enteros positivo como suma de nmeros al cuadrado, no
hara falta usar 5 de ellos para expresar as ningn nmero.
La conjetura fue demostrada por primera vez en 1909 por David Hilbert conocindose
actualmente como el teorema de Hilbert-Waring.

Historia del problema

No se considera que Waring tuviera la suficiente capacidad para probar su propia conjetura, de
hecho ni siquiera para probar alguno de los casos particulares (k = 2, 3 o 4) que l mismo
conjetur.
El mismo ao 1770 en el que formul la conjetura, el caso k = 2 queda demostrado
por Lagrange dando como resultado que Waring tena razn: todo entero positivo puede
expresarse como suma de 4 cuadrados. Y tres no son suficientes. Fermat obtuvo una prueba de
este resultado, pero no la public.
Este resultado se denomina teorema de los cuatro cuadrados y, aunque Fermat ya pensaba
que era cierto, fue Lagrange el primero en dar una demostracin.
En 1909 Hilbert demostr el caso general. Es decir, dado cualquier entero positivo, el nmero n
de potencias k-simas que hay que sumar para obtener cualquier entero positivo est acotado,
sea cual sea el nmero entero positivo que queramos expresar as.
Pero la demostracin de Hilbert no da ningn procedimiento para calcular ese nmero mximo
de sumandos.
Ejemplo: Sabemos que todo nmero natural puede ser expresado como, a lo sumo, un cierto
nmero concreto de potencias de exponente 12, pero la demostracin de ello no nos dice cul
es ese nmero concreto de ellas.

El nmero g(k)
Definicin: Para todo k, denotamos g(k) al mnimo nmero n de k potencias necesitadas para
representar todos los enteros como suma de ellas. g(1) = 1.
1

Problema de Waring

Maitane Amor, 16/03/2013

Por el teorema de los cuatro cuadrados de Lagrange, g(2) = 4.

Por ejemplo:
31 = 52 + 22 + 12 + 12
y es imposible escribirlo utilizando menos cuadrados.
Lo mismo ocurre con 310:
310 = 172 + 42 + 22 + 12
Adrien-Marie Legendre, en 1798 demostr que un entero positivo puede expresarse como la
suma de tres cuadrados si y solo si no es de la forma 4k (8 m + 7). Su prueba estaba incompleta,
dejando un hueco que despus llen Carl Friedrich Gauss.
En 1834, Carl Gustav Jakob Jacobi encontr la frmula exacta para el nmero total de maneras
en que un nmero entero positivo n dado puede representarse como la suma de cuatro
cuadrados. Este nmero es
8 , si n es impar
|

24
{

, si n es par
|

Otros valores de g(k) conocidos:

g(3) = 9, demostrado por Wieferich yKempner entre 1909 y 1912. Por ejemplo, 23 es
suma de 9 cubos,
23 = 23 + 23 + 13 + 13+ 13+ 13+ 13+ 13+ 13 = 8 + 8 + 1 + 1 + 1 + 1 + 1 + 1 + 1 = 16 + 7
y no hay manera de escribirlo con menos cubos.
g(4) = 19, demostrado por Balasubramanian, Dress y Deshouillers en 1986. Por
ejemplo, 79 requiere 19 potencias de 4.
g(5) = 37, demostrado por Chen Jingrun en 1964.
g(6) = 73, demostrado por Pillai en 1940.

J. A. Euler, demostr que una cota inferior para g(k) era la siguiente:
3
2 + ( ) 2
2

Si calculamos las cotas inferiores de los casos conocidos:

Cota para k=2 es 4

Cota para k=3 es 9
Cota para k=4 es 19
Cota para k=5 es 37
Cota para k=6 es 73

O sea, que coinciden exactamente con los valores de g(k). De hecho, Euler conjetur que el
valor de g(k) es el de la cota.
2

Problema de Waring

Maitane Amor, 16/03/2013

Gracias al trabajo de Euler, Dickson, Pillai, Rubugunday y Niven, se conocen, con un poco de
ambigedad, todos los valores g:
3
3
3
2 + [( ) ] 2 2 {( ) } + [( ) ] 2
2
2
2
3
4
3
3
4
3
4
3
2 + [( ) ] + [( ) ] 2 2 {( ) } + [( ) ] > 2 [( ) ] [( ) ] + [( ) ] + [( ) ] = 2
2
3
2
2
3
2
3
2

() =

3
4
3
3
4
3
4
3
2 + [( ) ] + [( ) ] 3 2 {( ) } + [( ) ] > 2 [( ) ] [( ) ] + [( ) ] + [( ) ] > 2
2
3
2
2
3
2
3
2
{

Donde [ ] denota la parte entera y { } la parte fraccionaria.

3

Se ha conjeturado, y probado para valores de k pequeos, que 2 {(2) } + [(2) ] > 2 nunca
3

se verifica, y por tanto () = 2 + [(2) ] 2.

Est comprobado que se cumple para 6 k 471.600.000.

El nmero G(k)
Definicin: Para todo k, denotamos G(k) al mnimo nmero n de k potencias necesitadas para
representar todos los enteros, desde un cierto entero en adelante, como suma de ellas.
Propiedades:

G(k) g(k)
Si k 2, G(k) k+1 (Maillet, 1908)

Ejemplo:

Para k=3, hemos dicho que g(3) = 9. Pero solo hay dos enteros que necesitan 9 cubos
para poder representarse, el 23 y 239. El resto se representan con 8 cubos o menos.
Entonces G(3) 8 (a partir del 239).
Pero adems, solo hay 15 enteros que precisan 8 cubos: 15, 22, 50, 114, 167, 175, 186,
212, 231, 238, 303, 364, 420, 429 y 454. Entonces, G(3) 7.
Podra ser que el nmero de enteros que requieren 7 cubos para representarse sea
finito y por tanto G(3) sea an menor, pero no lo sabemos. El mayor nmero conocido
que necesita siete cubos es 8.042.

Para k=2, es fcil comprobar que G(2) 4, porque todo entero congruente a 7 mdulo
8 no puede ser representado como suma de tres cuadrados. Por la propiedad, como
g(2) = 4, G(2) tambin es 4.

Para k=4 se conoce que G(4) = 16, demostrado por Davenport en 1939. Para ello,
mostr que cualquier nmero grande congruente a 1 o 14 mdulo 16 puede ser escrito
como suma de 14 potencias a la 4 (Vaughan redujo el trmino de 14 a 13 en 1985).

Propiedades:
Littlewood y Hardy demostraron entre 1920 y 1928 que:
3

Problema de Waring

Maitane Amor, 16/03/2013

() ( 2)21 + 5

es ms,
() 22 (), ()

Tambin conjeturaron que:

2 + 1, 2
() < {
4, 2

Heilbronn, en 1936, obtuvo:

2
() 6 log + [4 + 3 log (3 + )] + 3

Y Vinogradov, en 1935, demostr la cota:

() < (3 log + 11)
y en 1959, que para k suficientemente grande,
() < (2 log + 4 log log + 2 log log log + 13)

Karatsuba demostr en 1985 que si k > 224.791, entonces

() < 2 log + 2 log log + 6
o sea,
() (log + log log + (1))
Y para k grande, Wooley en 1992, que
() < (1 + ) log

para cualquier c positivo.

FUENTES DE INFORMACIN:
1.
2.
3.
4.

Problema de Waring en Wikipedia

El problema de Waring en Gaussianos
Warings problem, Mathworld
Sobre el problema clsico de Waring, Rev. Real Academia de Ciencias. Zaragoza. 66:
105-125, de Catalina Caldern
5. Teorema de los cuatro cuadrados en Wikipedia