Teorema de legendre

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 27 de mayo de 2016; la verificación requiere 1 edición .

El teorema de Legendre  es un enunciado sobre las condiciones para la existencia de soluciones para una determinada subclase de ecuaciones diofánticas cuadráticas , establecido por Legendre en 1785 .

Redacción

La ecuacion

cuyos coeficientes no son todos del mismo signo y son números coprimos  por pares , tiene una solución no trivial en números enteros si y solo si:

Acerca de la prueba

La necesidad de estas condiciones es obvia, la suficiencia se sigue del teorema de Minkowski-Hasse para formas cuadráticas : una forma cuadrática representa cero en si y solo si representa cero en y en todos los campos de números -ádicos . Para resolver en , se necesitan diferentes signos, para resolver en for  , se necesitan las relaciones simétricas anteriores.

Conexión con el teorema de los cuatro cuadrados

Este teorema se puede usar para demostrar el teorema de los cuatro cuadrados de Lagrange, que establece que todos los números naturales se pueden escribir como la suma de cuatro cuadrados. Gauss señaló que el Teorema de los Cuatro Cuadrados se sigue fácilmente del hecho de que cualquier número entero positivo igual a 1 o 2 es la suma de 3 cuadrados, ya que cualquier número entero positivo que no sea divisible por 4 puede reducirse a esta forma por sustracción. 0 o 1 de eso. Sin embargo, la prueba del teorema de los tres cuadrados es significativamente más difícil que la prueba directa del teorema de los cuatro cuadrados, que no utiliza el teorema de los tres cuadrados. De hecho, el teorema de los cuatro cuadrados se demostró antes, en 1770.

Literatura