mate.txt - Teorema de los cuatro cuadrados Ir a la...

This preview shows page 1 - 3 out of 7 pages.

Teorema de los cuatro cuadradosIr a la navegaciónIr a la búsquedaEl 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 2310 = 17 2 + 4 2 + 2 2 + 1 2Más formalmente, para cada entero positivo n, existen números enteros no negativos a, b, c, d como que:n = a2 + b2 + c2 + d2Adrien-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 sin 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.Índice1Evolución histórica2La prueba clásica3Prueba usando los números enteros de Hurwitz4Generalizaciones5Algoritmos6Número de representaciones7Singularidad8Otras mejoras9Véase también10Enlaces externosEvolución históricaA 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 {\displaystyle 4^{k}(8m+7)}{\displaystyle 4^{k}(8m+7)}para los números enteros {\displaystyle k}ky {\displaystyle m}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 delos 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ó conla Conjetura de Ramanujan–Petersson.La prueba clásicaExisten varias versiones modernas muy similares de la prueba de Lagrange. La siguiente prueba es una versión ligeramente simplificada, en el que los casos enlos 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 delhecho de que el teorema se cumple para los números 1 y 2).

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture