Teorema de los cuatro cuadrados

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 = 5 2 + 2 2 + 1 2 + 1 2
310 = 17 2 + 4 2 + 2 2 + 1 2

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.

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, demostrando 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 para los números enteros y . 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.

Other Languages
日本語: 四平方定理
Piemontèis: Teorema ëd Bachet