A la vista de la interesante conversación sobre la expresión de un número natural como suma de cuatro cuadrados que se ha formado en los comentarios del post sobre el número 252 vamos a hablar un poco del tema.
El teorema de los cuatro cuadrados aparece en el libro Arithmetica de Diofanto (libro que ya nombramos aquí). Dice básicamente lo siguiente:
Todo número entero positivo puede expresarse como suma de cuatro cuadrados de números enteros
Por ejemplo:
Para la demostración es interesante utilizar la identidad de los cuatro cuadrados de Euler, que dice que el producto de dos números expresables como suma de cuatro cuadrados también es expresable de esa forma. Esto es:
Esta identidad puede probarse de forma directa realizando las operaciones o de otra forma más corta. A ver quién la comenta.
Con esto sólo hace falta comprobar el resultado para números primos. Además, como cada potencia de 2 es un cuadrado o la suma de dos cuadrados se tiene que el tema se reduce a demostrar el resultado para primos impares.
La idea de la demostración en este punto es clasificar los números primos impares en dos grandes grupos: los que son congruentes con 1 módulo 4 y los que son congruentes con 3 módulo 4. Después se demuestra el teorema para cada uno de los grupos y se completa con ello la demostración. Podéis verla en esta web, donde además tenéis algunos applets en java para calcular la descomposición de un número como suma de cuatro cuadrados. Aquí podéis ver uno de ellos.
Como decíamos antes este resultado se conoce desde los tiempos de Diofanto (siglo III a.C.), pero la primera demostración conocida es de Lagrange en 1770. Algo después, en 1798, Legendre mejoró el resultado demostrando que un número entero positivo puede expresarse como suma de tres cuadrados si y sólo si ese número no es de la forma . Aunque en principio la prueba estaba incompleta el hueco que contenía fue rellenado por Gauss poco después.
En 1834 Jacobi encontró el número exacto de formas en las que se puede expresar un número entero positivo como suma de cuatro cuadrados. Este número es 8 veces la suma de los divisores de
si
es impar y 24 veces la suma de los divisores impares de
si
es par.
Una de las generalizaciones de este teorema es teorema de los números poligonales de Fermat que básicamente dice que todo número entero positivo puede ser expresando como suma de, como mucho, 3 números triangulares, 4 números cuadrados, 5 números pentagonales, etc. Gauss demostró el resultado para números triangulares y Cauchy demostró el resto.
Otra de las generalizaciones es la siguiente: dados números naturales podemos resolver la ecuación
para todo
siendo
enteros?
Como puede verse el teorema de los cuatro cuadrados es un caso particular de este hecho: el caso . La solución general de este problema fue dada por Ramanujan:
Si asumimos, sin pérdida de generalidad, que
entonces hay exactamente 54 elecciones de
tal que la ecuación anterior puede resolverse en enteros
para todo
(en realidad Ramanujan dio una elección más,
, pero en este caso la ecuación no tiene solución para
).
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
A ver, a ver, ¿primos pares? si un número es par no puede ser primo ya que al ser par se podría dividir entre dos. El único primo par que yo sepa es el propio 2.
Esto…¿dónde pone lo de primos pares?
No se dice «primos pares» pero … «Con esto sólo hace falta comprobar el resultado para números primos. Además, como cada potencia de 2 es un cuadrado o la suma de dos cuadrados se tiene que el tema se reduce a demostrar el resultado para primos impares». Todos los números primos, salvo el 2, son impares.
Interesante. El teorema de Jacobi sobre número de representaciones es una de las joyas de la Teoría de Números…estaría bien una demostración elemental en Gaussianos…
Es un poco fuerte (es decir, contra el rigor histórico) lo que afirmas de Diofanto. Que yo sepa, no hay ningún teorema demostrado en la obra de Diofanto ni ninguna afirmación general sobre números. Sólo se puede conjeturar (lo hicieron Bachet y Fermat) que sabía que todo número es suma de 4 cuadrados a partir de las condiciones y números concretos que usa en sus problemas.
^DiAmOnD^: «Además, como cada potencia de 2 es un cuadrado o la suma de dos cuadrados se tiene que el tema se reduce a demostrar el resultado para primos impares.»
Me refiero a «solo primos impares»… ¿qué hay ptimos pares?
Sí, el 2. Con la frase anterior a lo de «primos impares» quería decir que tanto para el 2 (único primo par) como para cualquier potencia de 2 el resultado era evidente.
con decir todos los primos excepto el 2 evitamos confundir a los demás con el tema de primos pares o impares? (además no hay primos pares hay el único primo par) !
Acabo de llegar rebotado a este post de hace más de 7 años y acabo de leer la propuesta de dar una prueba de la identidad de Euler. Ahora mismo estoy en último año del grado de Matemáticas y estoy haciendo mi TFG sobre cuaternios.
La identidad de Euler se puede interpretar como que la norma del producto de cuaternios es el producto de las normas lo cual es fácil de ver:
Donde
es la función «norma».
***La primera barra de conjugación debería ser más larga y afectar a xy.
que casualidad yo estoy haciendo un seminario sobre los cuaterniones y estaba buscando una demostracion de este teorema usando los cuaterniones
[…] Una de las que usamos anteriormente como ejemplo, es universal (hecho que está garantizado por el teorema de los cuatro cuadrados). Y, evidentemente, la segunda pregunta sería ésta: ¿qué condiciones debe cumplir una forma […]
lo preciso para la definición es decir que todo número entero mayor a la unidad ………..puede representarse con hasta cuatro sumas de cuadrados de números enteros!
bueno me corrijo igual o mayor a la unidad!
Lo descifra como desarrollo del propio UTF, del caso 21, del caso 4x+1, etc…etc…etc…