- Ley de reciprocidad cuadrática
-
En matemática, dentro de la teoría de números la ley de reciprocidad cuadrática designa al "teorema áureo" que relaciona la solubilidad de dos congruencias de segundo grado relacionadas:
donde p y q son números primos impares.[1]
Contenido
Enunciado
El enunciado del teorema áureo es el siguiente:
Teorema áureo (ley de reciprocidad cuadrática)
Si ninguno de los primos p o q pertenece a la sucesión 4k + 1 entonces una de las congruencias tiene solución si y sólo si la otra no tiene solución. Si alguno de los primos pertenece a la sucesión 4k + 1 entonces o bien ambas congruencias tienen solución o bien ninguna de las dos tiene solución.
El enunciado puede simplificarse utilizando el símbolo de Legendre:
entonces el enunciado del teorema puede resumirse de la siguiente forma:
Como es par si alguno de los primos p o q es congruente con 1 mod 4, y es impar en otro caso, es igual a 1 si p o q es congruente con 1 mod 4, y es igual a –1 si ambos son congruentes con 3 mod 4.
Algunas de las demostraciones más sencillas de la ley de reciprocidad cuadrática utilizan el lema de Gauss que trata sobre residuos cuadráticos, y que el mismo utilizó en dos de sus ocho demostraciones.
Historia
El teorema (como conjetura) fue enunciado inicialmente por Euler en 1742 en una carta a Goldbach. Alrededor de medio siglo después, en 1798 Legendre publicó una demostración que se basaba en argumentos no probados.
El teorema fue, por primera vez, fehacientemente demostrado por Gauss,[2] en 1801 en su libro Disquisitones Arithmeticae, donde da dos demostraciones del mismo. Gauss lo tenía en gran estima y lo denominó el teorema áureo.
Ya en el siglo XXI, en el libro Reciprocity Laws: From Euler to Eisenstein, de Franz Lemmermeyer, publicado en 2000, aparecen citadas 196 demostraciones diferentes de la ley de reciprocidad cuadrática.
Tabla de características cuadráticas de los números primos
Claves R q es un residuo (mod p) q ≡ 1 (mod 4) o p ≡ 1 (mod 4) (o ambos) N q es no residuo (mod p) R q es un residuo (mod p) ambos q ≡ 3 (mod 4) y p ≡ 3 (mod 4) N q es no residuo (mod p) q 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 p 3 N R N R N R N N R R N R N N N R R N R R N N R 5 N N R N N R N R R N R N N N R R N R N R N R N 7 N N R N N N R R N R N R N R N N R R N R N N N 11 R R N N N N R N R R N N R R R N R R N N N R R 13 R N N N R N R R N N N R N R N R N N N R N N N 17 N N N N R R N N N N N R R R R N R N N N R R N 19 N R R R N R R N N N N R R N N R N N R N R N N 23 R N N N R N N R R N R N R N R N N R R N N N N 29 N R R N R N N R N N N N N R R N R R N N R N N 31 N R R N N N R N N N R N R N R N R R N N N N R 37 R N R R N N N N N N R N R R N N R R R N R N N 41 N R N N N N N R N R R R N N R R N N R N R N N 43 N N N R R R N R N R N R R R R N R N N R R N R 47 R N R N N R N N N N R N N R R R N R N R R R R 53 N N R R R R N N R N R N R R R N N N N N N R R 59 R R R N N R R N R N N R N N R N N R N R N N N 61 R R N N R N R N N N N R N R N N N N R N R N R 67 N N N N N R R R R N R N N R N R N R R N R R N 71 R R N N N N R N R N R N R N N N N N R R R R N 73 R N N N N N R R N N R R N N N N R R R R N R R 79 N R N R R N R R N R N N N N N N N R N R R R R 83 R N R R N R N R R R R R N N N R R N N N N N N 89 N R N R N R N N N N N N N R R N N R R R R N R 97 R N N R N N N N N R N N R R R N R N N R R N R Otras leyes de reciprocidad
Existen otras leyes de reciprocidad: cúbica, bicuadrática y otras de grados superiores o de naturaleza algo diferente, aunque normalmente se encuentran fuera del ámbito de la aritmética de números enteros, y es necesario acudir a cuerpos de números algebraicos.
Notas y referencias
Véase también
Enlaces externos
- Un juego que compara dos demostraciones de la Ley de Reciprocidad Cuadrática (en inglés)
- Weisstein, Eric W. «QuadraticReciprocityTheorem» (en inglés). MathWorld. Wolfram Research.
Categorías:- Aritmética modular
- Teoría de números elemental
Wikimedia foundation. 2010.