Teorema de los tres cuadrados de Legendre
From Wikipedia, the free encyclopedia
En matemáticas, el teorema de los tres cuadrados de Legendre establece que un número natural se puede representar como la suma de tres cuadrados de números enteros, es decir, de la forma
si y sólo si no es de la forma para enteros no negativos y .
Los primeros números que no se pueden expresar como la suma de tres cuadrados (es decir, números que se pueden expresar como ) son: 7, 15, 23, 28, 31, 39, 47, 55, 60, 63, 71... (sucesión A004215 en OEIS)
| a b | 0 | 1 | 2 |
|---|---|---|---|
| 0 | 7 | 28 | 112 |
| 1 | 15 | 60 | 240 |
| 2 | 23 | 92 | 368 |
| 3 | 31 | 124 | 496 |
| 4 | 39 | 156 | 624 |
| 5 | 47 | 188 | 752 |
| 6 | 55 | 220 | 880 |
| 7 | 63 | 252 | 1008 |
| 8 | 71 | 284 | 1136 |
| 9 | 79 | 316 | 1264 |
| 10 | 87 | 348 | 1392 |
| 11 | 95 | 380 | 1520 |
| 12 | 103 | 412 | 1648 |
| Unexpressible values
up to 100 are in bold | |||
Pierre de Fermat afirmó que los números de la forma 8 a + 1 y 8a + 3 son sumas de un cuadrado más el doble de otro cuadrado, pero no proporcionó una prueba.[1] N. Beguelin observó en 1774[2] que todo número entero positivo que no tenga la forma 8 n + 7, ni la forma 4n, es la suma de tres cuadrados, pero tampoco proporcionó una prueba satisfactoria.[3] En 1796, Gauss se subió al tren del mame y demostró su teorema de Eureka de que todo entero positivo n es la suma de 3 números triangulares ; esto es equivalente al hecho de que 8 n + 3 es la suma de tres cuadrados. En 1797 o 1798 Legendre obtuvo la primera demostración de su teorema de los 3 cuadrados.[4] En 1813, Cauchy señaló[5] que el teorema de Legendre es equivalente a la afirmación de la introducción anterior. Anteriormente, en 1801, Gauss había obtenido un resultado más general,[6] que contenía como corolario el teorema de Legendre de 1797-8. En particular, Gauss contó el número de soluciones de la expresión de un número entero como la suma de tres cuadrados, lo que es una generalización del resultado de Legendre,[7] cuya demostración era incompleta. Este último hecho parece ser la razón de afirmaciones incorrectas posteriores que decían que la demostración del teorema de los tres cuadrados de Legendre era defectuosa y que tuvo que ser completada por Gauss.[8]
Con el teorema de los cuatro cuadrados de Lagrange y el teorema de los dos cuadrados de Girard, Fermat y Euler, el problema de Waring para está completamente resuelto.
Demostraciones
La parte del "sólo si" del teorema es sencilla, ya que cualquier cuadrado módulo 8 es congruente con 0, 1 o 4 y, al hacer la suma de tres de ellos no podemos obtener un número de la forma
Del recíproco hay varias demostraciones (además de la de Legendre). Una de ellas fue publicada en 1850 por Dirichlet, y se ha convertido en clásico.[9] Requiere tres lemas principales:
- la ley de reciprocidad cuadrática ,
- el teorema de Dirichlet sobre progresiones aritméticas, y
- la clase de equivalencia de la forma cuadrática ternaria trivial.
