Teorema de los cuatro cuadrados

Carol Rodrı́guez Torres

November 8, 2021

1 Introduction
El teorema de los cuatro cuadrados de Lagrange, también conocido como la conjetura de Bachet se
demostró en 1770 por Joseph Louis Lagrange. Dice que cada número entero positivo puede expresarse
como la suma de cuatro cuadrados de enteros. Por ejemplo,

31 = 52 + 22 + 12 + 12
310 = 172 + 42 + 22 + 12
Más formalmente, para cada entero positivo n, existen números enteros no negativos a, b, c, d como
que:

n = a2 + b2 + c2 + d2
Adrien-Marie Legendre mejoró el teorema en 1798 demostrando que un entero positivo puede
expresarse como la suma de tres cuadrados si y sólo si no es de la forma 4 k (8 m + 7). Su prueba
estaba incompleta, dejando un hueco que después llenó Carl Friedrich Gauss.

En 1834, Carl Gustav Jakob Jacobi encontró la fórmula exacta para el número total de maneras en
que un número entero positivo n dado puede representarse como la suma de cuatro cuadrados. Este
número es ocho veces la suma de los divisores de n si n es impar y 24 veces la suma de los divisores
impares de n si n es par.

El teorema de los cuatro cuadrados de Lagrange es un caso especial del teorema del número poligonal
de Fermat y del problema de Waring.

1.1 Evolución Histórica

A partir de ejemplos proporcionados por Arithmetica es evidente que Diofanto de Alejandrı́a era
consciente de dicho teorema. Este libro fue traducido en 1621 al Latı́n por Claude Gaspard Bachet de
Méziriac quien declaró el teorema en las notas de su traducción. Pero el teorema no fue demostrado
hasta 1770 por Lagrange.

Adrien-Marie Legendre completó el teorema en 1797 con su Teorema de los tres cuadrados, de-
mostrando que un entero positivo puede ser expresado como la suma de tres cuadrados de enteros si y
sólo si no es de la forma 4k (8m + 7) para los números enteros k y m . Más tarde, en 1834 Carl Gustav
Jakob Jacobi descubrió una fórmula sencilla para el número de representaciones de un entero como la
suma de los cuatro cuadrados con su propio Teorema de los cuatro cuadrados.

Además, la fórmula está ligada al Teorema de los cı́rculos de Descartes, lo cual implica la suma de
los cuadrados de las curvas de cuatro cı́rculos. Esto también está relacionado con el Tamiz de Apolonio
que más recientemente se relacionó con la Conjetura de Ramanujan–Petersson.

1
1.2 La prueba clásica
Existen varias versiones modernas muy similares de la prueba de Lagrange. La siguiente prueba es
una versión ligeramente simplificada, en el que los casos en los que m es par o impar no requieren
argumentos distintos.
Es suficiente con demostrar el teorema para cada número primo impar p. Esto inmediatamente
se deduce de la Identidad de los cuatro cuadrados de Euler (y del hecho de que el teorema se cumple
para los números 1 y 2).
Los restos de a2 módulo p son distintos para todo a entre 0 y (p − 1)/2 (inclusivo). Para ver esto,
toma algún a y define c como a2 módulo p. a es una raı́z delo polinomio x2 − c sobre el espacio Z/pZ.
También lo es p-a (que es distinto de a). En el espacio K cualquier polinomio de grado n tiene a lo
sumo n raı́ces distintas (Teorema de Lagrange (teorı́a de números)), por lo que no hay ningún otro a
con esta propiedad, en particular no entre 0 y (p − 1)/2.
Del mismo modo, para b que toma valores integrales entre 0 y (p − 1)/2 (inclusivo), los −b2 − 1 son
distintos. Por el Principio del palomar, hay un a y un b en este intervalo para los cuales a2 y −b2 − 1
son congruencia módulo p, que es por lo que

a2 + b2 + 12 + 02 = np
Ahora dejemos que m sea el entero positivo más pequeño de modo que mp es la suma de cuatro
cuadrados, x21 + x22 + x23 + x24 acabamos de demostrar que hay algún m (concretamente, n) con esta
propiedad, por lo tanto hay al menos un m, que es más pequeño que p). Demostramos por contradicción
que m es igual a 1: suponiendo que no sea el caso, probamos la existencia de un número entero positivo
r menor que m, para el cual rp es además la suma de cuatro cuadrados (esto está basado en el método
del Descenso infito de Fernant.
Para este fin, consideramos para cada xi su yi que está en la misma clase de residuo módulo m
y entre (−m + 1)/2 y m/2 (incluido). De ello se deduce que y12 + y22 + y32 + y42 = mr para cualquier
estrictamente entero positivo r menor que m.
Por último, otra referencia a la Identidad de los cuatro cuadrados de Euler demuestra que mpmr =
z12 + z22 + z32 + z42 .Pero el hecho de que cada xi es congruente a su correspondencia yi implica que todos
los zi son divisibles por m. De hecho,


 z1 = x1 y1 + x2 y2 + x3 y3 + x4 y4 = x21 + x22 + x23 + x24 = mp = 0 (mod m),
z2 = x1 y1 − x2 y2 + x3 y3 − x4 y4 = x1 x2 − x2 x1 + x3 x4 − x4 x3 = 0 (mod m),


 z 3 = x y
1 3 − x y
2 4 − x y
3 1 + x y
4 2 = x x
1 3 − x x
2 4 + x x
3 1 + x x
4 2 = 0 (mod m),
z4 = x1 y4 + x2 y3 − x3 y2 − x4 y1 = x1 x4 + x2 x3 − x3 x2 − x4 x1 = 0 (mod m),


De ello se deduce que, para wi = zi /m, w12 + w22 + w32 + w42 = rp y esto entra en contradicción con
la minimalidad de m.
En el descenso anterior, debemos excluir en ambos casos y1 = y2 = y3 = y4 = m/2 (lo que nos darı́a
r = m y ningún descenso), y además el caso y1 = y2 = y3 = y4 = 0 (el cual nos darı́a r = 0 en lugar
de ser estrictamente positivo). Para ambos casos, uno puede comprobar que mp = x21 + x22 + x23 + x24
serı́a un múltiplo de m2 , contradiciendo el hecho de que p es un número primo mayor que m.

1.3 Prueba usando los números enteros de Hurwitz

Una de las maneras para demostrar que dicho teorema se apoya en el Cuaternion de Hutwirz que son
la analogı́a de los números enteros para cuaterniones. Los Cuaterniones de Hurwitz consta de todos
los cuaterniones con componentes enteros y todos los cuaterniones con componentes semienteros Estos
dos conjuntos pueden ser combinados en una sencilla fórmula
1
α= E0 (1 + i + j + k) + E1 i + E2 j + E3 k = a0 + a1 i + a2 j + a3 k
2
donde E0 ,E1 ,E2 ,E3 son enteros. De esta manera, los componentes del cuaternio a0 , a1 , a2 , a3 son
todos los números enteros o semienteros, dependiendo de si E0 es par o impar, respectivamente. El
conjunto de cuaterniones de Hurwitz forma un anillo es decir, la suma o producto de dos cuaterniones
de Hurwitz cualesquiera es también un cuaternión de Hurwitz.
La norma de campo N( α) de un cuaternión racional α es el número racional no negativo

2
 N( α) = αᾱ = a20 + a21 + a22 + a23
donde ᾱ = a0 − a1 i − a2 j − a3 k es el conjugado de α . Tengamos en cuenta que la norma de un
cuaternión de Hurwitz es siempre un número entero. (Si los coeficientes son semienteros, entonces sus
cuadrados son del la forma 41 + n : n ∈ Z y la suma de cuatro de estos números es un número entero).
Ya que la multiplicación de cuaternio es asociativa, y los números reales conmutan con otros
cuaterniones, la norma de un producto de cuaterniones es igual al producto de las normas:

N(αβ) = αβ(αβ) = αβ β̄ ᾱ = αN(β)ᾱ = αᾱN(β) = N(α)N(β)

Para cualquier α ̸= 0, α−1 = ᾱN(α)−1 .De ello se deduce fácilmente que α es una unidad en el
anillo de los cuaterniones de Hurwitz si y sólo si N(α) = 1.
La prueba del teorema principal comienza por la reducción al caso de los números primos. La
identidad de cuatro cuadrados de Euler implica que si el teorema de los cuatro cuadrados de Langrange
es válido para dos números, es válido para el producto de los dos números. Puesto que cualquier
número natural puede ser facotrizado en potencias de los números primos, basta con probar el teorema
de los números primos. Esto es cierto para 2 = 12 + 12 + 02 + 02 . Para demostrarlo para un número
entero impar primo p lo representamos como un cuaternión (p, 0, 0, 0) y asumimos por ahora (como
mostraremos más adelante) que no es un Hurwitz irreductible; es decir, puede ser factorizado en dos
cuaterniones Hurwitz no unitarios.
p = αβ

References
Teorema de los cuatro cuadrados 2021Españolcolaboradores de WikipediaWikipedia, la enciclope-
dia libre