La ley de reciprocidad cuadrtica fue probada por Gauss en su libro Disquisitiones

Arithmeticae en 1801. Gauss dio 3 pruebas diferentes de este teorema, despus de eso, han
aparecido ms de 150 demostraciones distintas.
A travs de esta ley se puede determinar si existen soluciones o no de un ecuacin
cuadrtica de tipo:
2
mod x a p
Donde p es primo y
( ) , 1 a p =

Smbolo de Legendre
Definicin 1.1:
Diremos que un entero a es un resto cuadrtico modulo p si la ecuacin
2
mod x a p
tiene solucin.
Para simplificar las demostraciones se introduce el siguiente smbolo.
Definicin 1.2:
Sea p primo, y sea a entero, con
( ) , 1 a p = . Entonces
a
p
| |
|
\ .
, llamado smbolo de Legendre
de a sobre p, se define por
0, si divide a
1, si es un resto cuadratico mod
1, si no es un resto cuadratico mod
p a
a
a p
p
a p

| |
=

|
\ .

Ejemplo 1:
2
1
7
| |
=
|
\ .
, porque
2
2 3 mod7 .

Ejemplo 2:
5
1
7
| |
=
|
\ .
, porque no existe
2
5 mod7 x .
Algunas propiedades del smbolo de Legendre vienen dadas en el siguiente teorema.
Teorema 1.3:
Sea p primo y , a benteros, primos relativos con p . Se tiene
i.
1
1
p
| |
=
|
\ .

ii.
2
1
a
p
| |
=
|
\ .

iii. Si mod a b p , entonces
a b
p p
| | | |
=
| |
\ . \ .


Teorema 1.4
(Criterio de Euler) sea p primo y a entero, con
( ) , 1 a p = , entonces
1
2
mod
p
a
a p
p

| |
=
|
\ .


Ejemplo:
Probar que 5 es un resto cuadrtico modulo 13.
Solucin.
Usando el criterio de Euler con 5 a = y 13 p = se tiene
13 1
2
5
5 mod13
13

| |

|
\ .


6
5 mod13
15625mod13
12mod13
1mod13

As,
5
1
13
| |
=
|
\ .

Teorema 1.5:
Sea p un nmero primo, a y b dos enteros primos relativos con
( ) , 1 a p = y
( ) , 1 b p = .
Entonces
ab a b
p p p
| | | || |
=
| | |
\ . \ .\ .

Teorema 1.6:
Si
( ) , 1 a b = y
( ) , 1 c p = se tiene
2
c a a
p p
| | | |
=
| |
\ . \ .


Ejemplo:
Calcular
70
11
| |
|
\ .

Solucin
Aplicando las propiedades anteriormente vistas se tiene
70 7 5 2
11 11 11 11
| | | || || |
=
| | | |
\ . \ .\ .\ .

Para calcular estos tres valores del lado derecho de la igualdad, construimos una tabla de
cuadrados modulo 11:

x 0 1 2 3 4 5 6 7 8 9 10
2
x
0 1 4 9 5 3 3 5 9 4 10

Utilizando los valores de la tabla, se calculan los smbolos de Legendre por inspeccin
directa.


As,
7
1
11
| |
=
|
\ .
,
5
1
11
| |
=
|
\ .
,
2
1
11
| |
=
|
\ .


Luego,
70
1
11
| |
=
|
\ .



Lema2.1:
( )
2
1
8
2
1
p
p

| |
=
|
\ .






Teorema 2.1 (Teorema de reciprocidad cuadrtica)
Sean p y qdos primos impares distintos, entonces
( )
1 1
2 2
1
p q
q p
p q

| || |
=
| |
\ .\ .


Ejemplo:
Calcular
13
37
| |
|
\ .
usando el teorema de reciprocidad cuadrtica.
Solucin
( )
13 137 1
2 2
13 37
1
37 13

| | | |
=
| |
\ . \ .
(Teorema 2.1)
37
13
| |
=
|
\ .

11
13
| |
=
|
\ .

Pero,
( )
11 1 13 1
.
2 2
11 13
1
13 11

| | | |
=
| |
\ . \ .
(Teorema 2.1)
13
11
| |
=
|
\ .

2
11
| |
=
|
\ .


( )
2
11 1
8
1

=

( )
15
1 =
1 =





Ejemplo
Determinar si la congruencia
2
5mod227 x tiene solucin
Solucin.
La congruencia tendr solucin si y solo si 5 es un resto cuadrtico modulo 227; si solo si

5
1
227
| |
=
|
\ .

Luego

( )
5 1 227 1
.
2 2
5 227
1
227 5

| | | |
=
| |
\ . \ .


227
5
| |
=
|
\ .

2
5
| |
=
|
\ .


( )
2
5 1
8
1

=
1 =


Smbolo de Jacobi
El smbolo de Legendre
a
p
| |
|
\ .
, se define nicamente para p, un nmero primo. Pero ahora
veremos una generalizacin de este smbolo donde el denominador p, puede ser un
nmero compuesto.
Definicin2.1
Sean a y b dos enteros primos relativos y adems b tiene descomposicin como producto
de primos
1 2
. ...
n
b p p p = , donde los
i
p no son necesariamente distintos. Entonces, el
Smbolo de Jacobi
a
b
| |
|
\ .
se define por
1
n
i i
a a
b p
=
| |
| |
=
| |
\ .
\ .
[

Donde
i
a
p
| |
|
\ .
es el smbolo de Legendre.

Ejemplo:
7 7 7
15 3 5
| | | || |
=
| | |
\ . \ .\ .


Teorema 2.2
Sean , , a b c y d enteros tales que
( ) , 1 a c = . Entonces
1.
a a a
b d bd
| || | | |
=
| | |
\ .\ . \ .

2.
a c ac
b b b
| || | | |
=
| | |
\ .\ . \ .

3.
2
1
a
b
| |
=
|
\ .

4.
2
1
a
b
| |
=
|
\ .

5.
2
ac a
b b
| |
| |
=
| |
\ .
\ .


Teorema 2.3
Si b es impar positivo, entonces
( )
2
1
8
2
1
b
b

| |
=
|
\ .


Teorema 2.4
Si a y b son enteros positivos impares y primos entre s, se tiene
( )
1 1
.
2 2
1
a b
a b
b a

| || |
=
| |
\ .\ .