Ley de reciprocidad cuadrática

25 idiomas
 Artículo
 Discusión
 Leer
 Editar
 Ver historial

Herramientas












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  y  son números primos impares.1 Esta proposición fue descubierta
por Carl Friedrich Gauss a los 18 años de edad y la demostró un año
después.2 Es reconocida como uno de los resultados más preciosos de la
teoría de los números; fue formulada por el prolífico Leonhard Euler en
1783, y trece años después se encargó de probarla Gauss. 3

Enunciado[editar]
El enunciado del teorema áureo es el siguiente:
Teorema áureo (ley de reciprocidad cuadrática)
Si ninguno de los primos  o  pertenece a la sucesión  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  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 él mismo utilizó en dos de sus
ocho demostraciones.

Historia[editar]
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,4 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[editar]
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)

1 1 1 1 2 2 3 3 4 4 4 5 5 6 6 7 7 7 8 8 9
3 5 7
1 3 7 9 3 9 1 7 1 3 7 3 9 1 7 1 3 9 3 9 7
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

1
R R N   N N N R N R R N N R R R N R R N N N R R
1

1
R N N N   R N R R N N N R N R N R N N N R N N N
3

1
N N N N R   R N N N N N R R R R N R N N N R R N
7

1
N R R R N R   R N N N N R R N N R N N R N R N N
9

2
R N N N R N N   R R N R N R N R N N R R N N N N
3

2
N R R N R N N R   N N N N N R R N R R N N R N N
9

3
N R R N N N R N N   N R N R N R N R R N N N N R
1

3
R N R R N N N N N N   R N R R N N R R R N R N N
7

4
N R N N N N N R N R R   R N N R R N N R N R N N
1

4 N N N R R R N R N R N R   R R R N R N N R R N R
3

4
R N R N N R N N N N R N N   R R R N R N R R R R
7

5
N N R R R R N N R N R N R R   R N N N N N N R R
3

5
R R R N N R R N R N N R N N R   N N R N R N N N
9

6
R R N N R N R N N N N R N R N N   N N R N R N R
1

6
N N N N N R R R R N R N N R N R N   R R N R R N
7

7
R R N N N N R N R N R N R N N N N N   R R R R N
1

7
R N N N N N R R N N R R N N N N R R R   R N R R
3

7
N R N R R N R R N R N N N N N N N R N R   R R R
9

8
R N R R N R N R R R R R N N N R R N N N N   N N
3

8
N R N R N R N N N N N N N R R N N R R R R N   R
9

9
R N N R N N N N N R N N R R R N R N N R R N R  
7
Otras leyes de reciprocidad[editar]
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.

Véase también[editar]
 Criterio de Euler
 Aritmética modular

Notas y referencias