Demostramos que para todo número natural el número de soluciones
, con
enteros, de
es ocho veces la suma de los divisores de
que no son múltiplos de cuatro. (Jacobi, 1834)
En el siguiente recuadro se puede comprobar ese teorema, para .
Además cuando es 4 veces un impar aparece en rojo la verificación del resultado de la entrada anterior sobre soluciones impares positivas.
a2 + b2 +c2 + d2 =
Suma de los divisores impares de 204:
1 + 3 + 17 + 51 = 72.
Por tanto hay 24 x 72 = 1728 soluciones enteras de la ecuación anterior.
O bien, contando las soluciones con sus permutaciones y signos:
( 0, 2, 10, 10) 12 8 96
( 1, 1, 9, 11) 12 16 192
( 1, 3, 5, 13) 24 16 384
( 2, 6, 8, 10) 24 16 384
( 3, 5, 7, 11) 24 16 384
( 5, 7, 7, 9) 12 16 192
La suma de la última columna es ... 1728
Soluciones impares positivas: 72
La paridad de los términos
La paridad de los términos
Si la suma
Si la suma
Si la suma
Si la suma
Como y
, observamos que:
Lema 1. Las representaciones de un número impar como suma de cuatro cuadrados de enteros en que el término de diferente paridad ocupa una determinada posición son un cuarto del total de representaciones, y las representaciones en las que ocupa una de dos determinadas posiciones son la mitad del total de representaciones.
Lema 2. Las representaciones de un número doble de un impar, es decir de la forma , en que los dos primeros términos sean pares, y por tanto los dos últimos impares, son un sexto del total de representaciones.
Una transformación
La transformación convierte cada solución
de
en una solución de
, en que los dos primeros términos tienen la misma paridad y los dos últimos también.
Y si sucede que los dos primeros términos tienen la misma paridad y los dos últimos también, la transformación inversa convierte una solución
de ese tipo de
en una solución de
.
en función de
Sea el número total de soluciones
, con
de
.
Si es par, es decir de la forma
, los términos de cada solución de
tienen la misma paridad y entonces la transformación anterior es una biyección entre las soluciones de
y las de
y por tanto
.
Si es impar, el número de soluciones de
en que el término de diferente paridad está en una de las dos últimas posiciones es
por el lema 1, y el número de soluciones de
en que los dos primeros términos son pares y los dos últimos impares es
por el lema 2.
Como la transformación anterior también establece una biyección entre esos dos conjuntos de soluciones, , es decir, para todo
impar
.
Por tanto si es par
y si
es impar
.
El número de soluciones
Entonces, si es impar
.
Por otro lado, como los términos de cada solución de tienen la misma paridad,
es la suma del número de soluciones con todos los términos pares más el número de soluciones con todos los términos impares.
El número de soluciones de con todos los términos pares es
porque dividiendo cada término de esas soluciones entre 2 tenemos una biyección entre las soluciones de
en que los términos son pares y todas las soluciones de
.
Entonces el número de soluciones de con todos los términos impares es
.
Pero esas soluciones se obtienen a partir de las soluciones con los términos impares positivos, colocando signos de 16 formas posibles, y por tanto el número de esas soluciones para impar, por el resultado obtenido en la entrada anterior, es
, donde
es la suma de los divisores de
.
Entonces, si es impar,
y
.
Por tanto el número de soluciones enteras de
es 8 veces la suma de los divisores de
si
es impar o 24 veces la suma de los divisores impares de
si
es par.
O, dicho de otra forma, el número de soluciones enteras de
es 8 veces la suma de los divisores de
que no son múltiplos de 4.
Esta entrada participa en la Edición 4.12310 del Carnaval de Matemáticas cuyo anfitrión es el blog Geometría Dinámica.
Pingback: Sumas de cuatro cuadrados II
Pingback: Geometría Dinámica » Resumen del Carnaval de Matemáticas 4.12310