Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

9. RESTOS CUADRATICOS Y LEY DE RECIPROCIDAD CUADRTICA

9.1 Restos cuadrticos
1.1 Concepto de restos.
Si la congruencia x a ( md .m ) es una relacin de equivalencia que permitir clasificar a los
nmeros enteros, y por tanto los naturales, en clases de equivalencia, conjuntos formados por
cada nmero entero y todos sus congruentes. En este caso se llaman clases de restos o residuales, porque cada clase se puede representar por el resto que resulta al dividir cualquier
elemento entre el mdulo m.
Las clases mdulo m se representan por / por .
1. Para / 2 = {0,1} , que son los dos restos producidos al dividir entre 2. El elemento 0
representa a los nmeros pares y el 1 a los nmeros impares.
2. Para / 5 = {0,1, 2,3, 4} , en el que, por ejemplo el elemento 3 representa a los nmeros 3,8,13,18, 23, , que dan resto 3 al dividir por 5.
La clase / m contiene exactamente m elementos: {0,1,3, 4,5,6,, m 1} . A veces se usan restos mnimos, admitiendo nmeros positivos y negativos, mediante la eleccin entre a y a m
del nmero con menor valor absoluto.
En los sistemas algebraicos las clases de restos tienen estructura de anillo para la suma y el
producto. El grupo aditivo de ese anillo es cclico, pues para cada elemento a del mismo existe
un h tal que a h = 0. Ese nmero h ha de ser divisor del mdulo m.
No todos los elementos tienen inverso. En caso afirmativo, se llaman inversibles, y su conjunto
coincide con las clases representadas por nmeros primos con m, incluyendo el 1. Por tanto,
su nmero coincide con (m) = m (1 1 p1 ) ,, (1 1 pn ) , denominado indicador de Euler o funcin fi. El inverso vendr determinado por a ( m) 1(md .m).
Los elementos inversibles forman un grupo multiplicativo, al que representaremos por * m,
que son las clases residuales reducidas. Este carcter de grupo da lugar a que, si a es inversible en * m, existe un nmero natural r tal, que a r = 1. El nmero r mnimo que cumple la
anterior igualdad se llama, para todos los grupos , . Es fcil
ver que si a n 1(md .m), el exponente n deber ser mltiplo del orden r. Otra consecuencia
es que, si a es primo con m y se cumple que a x = a y entonces, han de ser x = y.
Si m es primo, sern inversibles todos los elementos y constituirn un cuerpo.
Se llama sistema completo de restos al conjunto de m enteros tomados, cada uno de ellos, de
una de las clases de restos mdulo m, donde {0,1,3, 4,5,6,, m 1}.

Se llama sistema reducido de restos al conjunto de m enteros tomados, cada uno de ellos, de
una de las clases de restos mdulo m, que no comparten con m factores comunes. Se denotan mediante la funcin (m) = m (1 1 p1 ) ,, (1 1 pn ) que da el nmero de enteros que son
primos con m.
Se llaman restos potenciales del nmero natural n, respecto a un mdulo dado m, a los restos
producidos por las distintas potencias naturales de n.
El conjunto de restos potenciales sigue unas pautas muy sencillas de seguir:

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

1. Si m slo contiene factores primos con n, se llegar a cierta potencia de n que ser
mltiplo de m y por tanto, a partir de ella todos los restos potenciales sern nulos.
2. Si m es primo con n, los restos son peridicos en periodo gaussiano con n respecto a
m. El resto 1 se producir en los mltiplos de ese gaussiano.
3. Si el mcd ( m, n) = d , con d > 1, los restos potenciales tendrn una parte peridica y
otra no peridica.
El sistema reducido de restos, respecto al mdulo p, consta de ( p 1) / 2 restos cuadrticos,
los cuales son congruentes con los nmeros 12 , 22 , 32 ,..., (( p 1) / 2) y de ( p 1) / 2 no-restos
cuadrticos. Si a es un resto cuadrtico respecto al mdulo p, se tiene a ( p1)/2 1(md . p); si a
es no resto cuadrtico respecto al mdulo p, entonces a ( p1)/2 1(md . p). Esto se conoce como criterio de Euler. Segn el teorema de Fermat, a p1 1(md . p), luego
(a ( p1)/2 1)(a ( p1)/2 + 1) 0(md. p). Esto nos lleva a que, el nmero de restos cuadrticos de la
forma ( p 1) / 2 es igual al nmero de restos no cuadrticos.
El producto de dos restos o de dos no restos siempre es un resto cuadrtico, y el producto de
Un restos cuadrtico con otro no cuadrtico produce un no resto.
El conjunto de restos cuadrticos forma un grupo multiplicativo en / p, de ndice 2.
2

1.2 Calcular los sistemas completo y reducido de restos del nmero 10.
El sistema completo de restos es el conjunto de m enteros, tomados cada uno de ellos, de una
de las clases de restos respecto al mdulo m, esto es, {0,1, 2,3,, m 1} . En nuestro caso, para

el nmero 10 tendremos {0,1, 2,3, 4,5,6,7,8,9} . Observar que si se produce un resto 0, la divi-

sin es exacta y, por tanto, el nmero es de la forma 10m y genera un cociente que es divisor
de 10m.
El sistema reducido de restos es el conjunto de m enteros tomados, cada uno de ellos, de una
de las clases de restos mdulo m, que no comparten con m factores comunes. La funcin
(m) = m ( p1 1 p1 ) ,, ( pn 1 pn ) da el nmero de enteros que son primos con m. En nuestro

caso, para el nmero 10, (10) = 10 (1 1 2 )(1 1 5) = 10 (1 2 4 5) = 4. Cuatro nmeros que son
coprimos con 10, {1,3,5,7} . Es la solucin del problema.

1.3 Calcular los restos potenciales de 5 respecto al mdulo 13.

Si el sistema completo de restos, respecto al nmero 13 es {1, 2,3, 4,5,6,7,8,9,10,11,12} , los restos potenciales de 5, respecto a 13 sern {5, 12, 8, 1, 5, 12, 8, 1, 5, 12, 8, 1}, que hemos calculado de la siguiente forma:

51 5
52 12
53 8
54 1

55 5
56 12
57 8
58 1

59 5
510 12
511 8
512 1

Si observamos los clculos anteriores, podemos establecer un mtodo sencillo para obtener
estos restos.
Supongamos que r1 , r2 , r3 , , rh son los restos de n respecto al mdulo m, esto es,

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

n r1 (md .m)
n 2 r2 (md .m)
n3 r3 (md .m)

n rh (md .m)
Entonces, para encontrar el resto rh+1 de la potencia nh+1 , bastar multiplicar las congruencias
primera y ltima anteriores, es decir, n nh = n h +1 r1 rh ( md .m), por lo que bastar con calcular r1 rh ( md .m), siendo r1 rh un nmero ms pequeo que n h +1 .
En nuestro caso particular

51 5(md .13)
52 = 25 12(md .13)
53 = 52 5 8(md .13)
54 = 52 52 1(md .13)

1.4 Calcular los restos cuadrticos respecto al mdulo 17.

El sistema completo de restos, respecto al mdulo 17 es {1, 2,3, 4,5, 6, 7,8,9,10,11,12,13,14,15,16} .
El sistema cuadrtico de restos, respecto a 17 es {1,4,9,16,8,2,15,13,13,15,2,8,16,9,4,1}, que
hemos calculado de la siguiente forma:

12 1
22 4
32 9
4 2 16

52 8
62 2
7 2 15
82 13

9 2 13
10 2 15
112 2
12 2 8

132 16
14 2 9
152 4
16 2 1

Observar que los restos cuadrticos, respecto a un mdulo, forman parejas donde la suma de
las bases es igual al mdulo. Esto forma un conjunto simtrico que nos permite obtener la totalidad de restos cuadrticos utilizando slo la mitad de los nmeros base. Veamos cmo:

12 y 162 1(md .17)

52 y 122 8(md .17)

22 y 152 4(md .17)

62 y 112 2(md .17)

32 y 142 9( md .17)

72 y 102 15(md .17)

42 y 132 16(md .17)

82 y 92 13(md .17)

1.5 Resolver la ecuacin x 2 + 8 0(md .11).

La ecuacin x 2 + 8 0(md .11) se puede escribir como x 2 3(md .11). Esta ecuacin
tendr solucin s, y slo si, 3 es un resto cuadrtico respecto al mdulo 11.
Los restos cuadrticos respecto al mdulo 11 son {1,4,9,5,3,3,5,9,4,1} donde aparece el nmero 3 luego, la ecuacin tiene solucin. Dado que el nmero 3 se encuentra en el epicentro del

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

11 1
11 + 1
=5 y
= 6, estas
2
2
sern las soluciones de la ecuacin. Efectivamente, 52 3 = 22 = 2 11 y 6 2 3 = 33 = 3 11.

conjunto de restos, y dado que las bases de este epicentro sern

Podemos decir que, del sistema completo de restos {1, 2,3, 4,5,6,7,8,9,10} , el 5 y el 6 satisfacen a la ecuacin.
Para la determinacin de si un nmero es o no resto cuadrtico respecto a un mdulo m, podemos utilizar el criterio de Euler, a ( p1)/2 1(md .m), con m primo y donde a representa el
nmero a investigar. Para nuestro caso, 3(111)/2 = 35 1(md .11), donde el resto de la unidad positiva denota que 3 es resto cuadrtico respecto al mdulo 11.

1.6 Si a es restos cuadrtico respecto al mdulo p, siendo mcd ( a , p ) = 1, demostrar

que x 2 a(md . p) admite dos soluciones.
Si a es resto cuadrtico, la congruencia x 2 a(md . p) admite la solucin x x1 (md . p)
entonces, como ( x1 ) 2 = x 2 , la misma congruencia admitir una segunda solucin, esto es,

x x1 (md . p), que es distinta a la anterior. Luego, x 2 a(md . p) admitir como soluciones x x1 , x2 (md . p ) si, y slo si, a es resto cuadrtico respecto al mdulo p.

1.7 Resolver la ecuacin x 2 3(md .13). .

Si aplicamos el criterio de Euler, 3(131)/ 2 = 36 1(md .13) que denota que el 3 es resto cuadrtico respecto al mdulo 13.
El sistema completo de restos del nmero 13 es {1, 2,3, 4,5,6,7,8,9,10,11,12} , de los que el

4 y el 9 satisfacen a la ecuacin x 2 3(md .13) por tanto, x1 = 4 + 13t y x2 = 9 + 13t son

sus soluciones.
El sistema cuadrtico de restos respecto al mdulo 13 es:

12 y 122 1(md .13)

42 y 92 3(md .13)

22 y 112 4(md .13)

52 y 82 12(md .13)

32 y 102 9( md .13)

62 y 7 2 10(md .13)

1.8 Resolver la ecuacin x 2 19(md .29). .

Mediante el criterio de Euler, 19(291)/ 2 = 1914 -1(md .29), que indica que 19 no es resto
cuadrtico respecto al mdulo 29. Efectivamente, el sistema de restos cuadrticos respecto a
29, es
{1, 4,9,16,25,7, 20,6, 23,13,5, 28, 24, 22,22, 24, 28,5,13, 23,6, 20,7,25,16,9, 4,1}
en donde no aparece el nmero 19, por tanto, la ecuacin no tiene solucin.
1 2 3 4 5 6 7 8 9 10 11 12 13 14
28 27 26 25 24 23 22 21 20 19 18 17 16 15
Races
1 4 9 16 25 7 20 6 23 13 5 28 24 22
Observar la simetra de las bases del exponente formando parejas cuya suma es 29.

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

9.2 Smbolos de Legendre y Jacobi

2.1 Smbolo de Legendre y sus propiedades.
Sea p un primo impar. Diremos que un nmero natural a primo con p es un resto cuadrtico mdulo p si x 2 a (md . p), para cierto entero x. En caso contrario, siempre suponiendo que p es primo, diremos que a es un resto no cuadrtico. Se conoce como smbolo de Legendre a la expresin

1 si a es resto cuadratico mdulo p

a
p = ( a p ) = 1 si a es resto no cuadrtico mdulo p

0 si p 6 a

Si a es un resto cuadrtico respecto al mdulo p, se tiene a

cuadrtico respecto al mdulo p, se tiene a

Fermat, a p 1 1(md . p) donde a

p 1
2

p 1
2

)(

1(md . p). Si a es un no

-1(md . p). En efecto, segn el teorema de

p 1
2

-1 a

p 1
2

+ 1 0(md . p). De aqu podemos deducir

a
que a ( p 1)/ 2 ( md . p ) que nos permite la solucin a la ecuacin x 2 a (md . p) aplicando
p

propiedades del smbolo de Legendre.

El smbolo de Legendre satisface algunas propiedades interesantes como:
a

i.

Si a b( md . p ), entonces = . Esta propiedad se debe a que los nmeros de

p p
una misma clase son simultneamente restos o no restos cuadrticos.

ii.

Si a 1( md . p ), tenemos = 1. En efecto, 1 = 12 y, por tanto, 1 es un resto

p
cuadrtico.

iii.

Si a -1(md . p), entonces = ( 1) 2 . Esta propiedad se deduce de la anterior

p
para a = 1 y denota un resto no cuadrtico.

iv.

Si a 2(md . p), entonces = ( 1)

p

v.

Si a -3( md . p), entonces =

.
p 1 si p 5(md .6)

vi.

Si a 5(md . p ), entonces =
.
p 1 si p 3, 7(md .10)

vii.

Sea p = p p p . Se deduce, en particular, que p = p p p = p ,

abb

p 1

p 2 1
8

1 si p 1(md .6)

1 si p 1,9(md .10)

ab 2 a b b a

a b b

b
ya que p = 1. Esto significa que en el numerador del smbolo de Legendre se puede

eliminar cualquier factor cuadrtico.

viii.

p 1 q 1

2 2

Si p y q son nmeros primos impares, = ( 1)

p
nocida como Ley de Reciprocidad Cuadrtica.

p
q . Esta propiedad es co

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

Nota: La Ley de Reciprocidad Cuadrtica tiene un papel muy importante en la teora de los nmeros, ya
que en base a sta, se han obtenido otros resultados interesantes en diversos campos de las matemticas.
Descubierta por ( 1707 1783) en 1742, gracias a los trabajos realizados por ( 1601
1665, revisada en 1772, fue publicada en su Opuscula Analitica de 1873, despus de su muerte.
( 1752 1833) fue otro de los pioneros en el estudio de esta ley, de hecho fue el primero en
dar una demostracin. Basndose en los trabajos de Euler, en 1798 publica en su obra Essai sur la Thorie
des Nombres un lema que hoy se conoce como smbolo de Legendre. El primero que ofrece una demostracin completa de la Ley de Reciprocidad Cuadrtica fue ( 1777 1855), a la que llama Theorema Aureum (Teorema ureo), recogida en su obra Disquisitiones Arithmeticae y publicada en 1796.

2.2 Smbolo de Jacobi y sus propiedades.

n (
n / m ) para nmeros impares m con
m

Consideremos el smbolo

m > 1, no necesaria-

mente primos, donde m = p1 p2 pn , con mcd (n, m) 1.

El Smbolo de Jacobi se define como
n a b l
=
m p1 p2 pn

Sus propiedades son similares a las propiedades al Smbolo de Legendre.

El uso del Smbolo de Jacobi proporciona la generalizacin del Smbolo de Legendre y la del
m n

teorema de los recprocos cuadrticos = ( 1)

n m
mos enteros, con n 3. Esta igual es equivalente a

( m 1)( n 1)/ 4

, para

m, n relativamente pri-

( m 1)( n 1)/ 4 n
m
n = ( 1)
m

que tambin podemos escribir como:

m
+ para m n 1(md .4)
n n
.
m=
m

para m, n 3(md .4)

n

Estos es lo que hemos definido anteriormente como Ley de Reciprocidad Cuadrtica.

2.3 Demostrar que si p es primo y a y b son dos enteros con a b( md . p ), ena

b
tonces = .
p
p

El valor de depende slo de si a es restos cuadrtico, esto es, si x 2 a (md . p) tiene

p
solucin. Como esto slo depende de la clase de equivalencia de a respecto a p, se verifica
a

que = si, y slo si a b( md . p ).

p p

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

Si p es primo y mcd ( a , p ) = 1, obtenemos a ( p 1)/ 2 (md . p), que es el criterio de Euler.

p
Por el pequeo teorema de Fermat sabemos que a p 1 1(md . p), esto nos permite deducir
que ( a p 1 ) a p 1 1( md . p ), y para que a p 1 1(md . p) ser necesario que = 1.
p
a

Por ejemplo, si a = 7 y p es de la forma p 1(md .4), tenemos

7 p 1 si p 1, 2, 4(md .7)
= =
p 7 1 si p 3,5,6(md .7)

Si p es de la forma p 3(md .4), tenemos

7
p 1 si p 3,5,6( md .7)
= =
7 1 si p 1, 2, 4(md .7)
p

o, tambin
7 1 si p 1,3,9,19, 25, 27(md .28)
=
p 1 si p 5,11,13,15,17, 23(md .28)

2.4 Demostrar que si p es primo y a y b son dos enteros no divisibles con q, enab
a b
tonces = .
p

p p
a

Sabemos que a ( p 1) / 2 (md . p), entonces ( ab )

p

( p 1) / 2

ab
(md . p) donde
p

ab

mcd (ab, p) = 1,

a b

como a ( p 1)/ 2 (md . p ) y b( p 1)/ 2 (md . p), se cumple que (md . p ), y

p
p
p p p
ab

a b

ab

como p no es par, = , luego = a ( p 1) / 2 b( p 1) / 2 = ( ab )

p p p
p

( p 1) / 2

a b
(md . p).
p p

2
2
2.5 Demostrar que si p es impar, entonces p = ( 1) ( p 1) / 2.

a
k
Sea = (1) donde k es el nmero de restos que son mayores que p / 2, como
p

(1) k (md .2), entonces

2
2
= (1)k = (1)( p 1)/8

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

El profesor Vinogradov llega a esta conclusin utilizando el Smbolo de Jacobi. Este matemtico
dice que si P es impar mayor que la unidad, esto es, m = p1 p2 ... pn que es la descomposicin

a
factorial de P, y si el mcd (a, P ) = 1, entonces el Smbolo de Jacobi se define por la igual
dad:
2
a a a a 2
= ... = = (1)( p 1)/8
m p1 p2 pr p

A partir de lo expuestos podemos obtener otras igualdades como

a ab 2
p = p ,

1

= 1 1 = (1)( p1)/ 2
p
p

1
= (1)( p 1) / 2
p

y tambin
a + p a + p
2a 2a + 2 p 4 2 2
=
=
=

p
p p p

que nos lleva a que

p

1
ax p 2 1
2

+
p
8 ,
a = (1)

x=1
p
p

de la que nos permite deducir dos propiedades muy importantes del Smbolo de Legendre. La
primera es que para a = 1:
2
2
= (1)( p 1)/8
p

la segunda es que si p es de la forma p = 8m + s, donde s es uno de los nmeros 1, 3, 5, 7, y

adems
p 2 1
s 2 1

= 8m2 + 2ms +
8
8

entonces este nmero ser par si s = 1 s = 7, e impar si s = 3 s = 5. Por tanto, el

nmero 2 ser resto cuadrtico respecto al mdulo p si p es de la forma p = 8m + 1
p = 8m + 7 y ser no resto cuadrtico respecto al mdulo p si p es de la forma p = 8m + 3
p = 8m + 5.

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

2.6 Demostrar que si P y Q son nmeros impares positivos, primos entre s, enQ
( P 1)( Q 1)/ 4 P
tonces = ( 1)
.
P

P 1 Q 1

Como

es impar solamente cuando ambos nmeros, P y Q, son de la forma
2 2
4m + 3, y es par si al menos uno de estos nmeros es de la forma 4m + 1, la propiedad sealada se puede formular as:
Q

Si ambos nmeros, P y Q, son de la forma 4m + 3, entonces = .

P
Q
Q

Si al menos uno de los nmeros, P y Q, es de la forma 4m + 1, entonces = .

P Q
Supongamos que Q = q1 q2 qn es la descomposicin de Q en factores primos, se tiene
s
t
Q
Q
Q Q Q

= =
P p1 p2
pn =1 =1 P

y como
s

=1

=1

r P 1 s Q 1

=1 2 =1 2

= ( 1)

=1

=1

resulta:

P 1

Q

P = ( 1) =1 2 =1

r

Q 1

P
.
Q

Si ahora hacemos que

P 1 r P 1
Q 1 s Q 1
=
+ 2N y
=
+ 2 N1 ,
2
2
2
2
=1
=1

entonces:
( P 1)( Q 1)/ 4 P
Q
= ( 1)
Q .
P

2.7 Resolver la ecuacin x 2 28(md .37).

28

22 7

227

2 37

Sea =
=
. Para 37 = 2 ( 1)

37 37 37

(372 1)/8

1
= = 1, ya que
2

37 1(md .2).

28

Por tanto, como = 1, 28 es resto cuadrtico respecto al mdulo 37, y la ecuacin plantea 37
da tiene solucin. Efectivamente, del sistema completo de restos respecto al mdulo 37, la

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

pareja central compuesta por el 18 y 19, satisfacen a la ecuacin x 2 28(md .37), por tanto
son sus soluciones.
Dado que 28 = 22 7 y sabiendo por vii que en el numerador del Smbolo de Legendre se
pueden eliminar cualquier factor cuadrtico, resulta para:
2
28 2 7 7
=
=
37 37 37

Utilizando la Ley de Reciprocidad Cuadrtica

((37 1)(7 1))/ 2
7 37
37 2
= =
37 = 7 ( 1)

7 7

ya que 37 2(md .7).

2

Como = ( 1)
7
37.

(72 1)/8

28
= 1, resulta para = 1, por tanto 28 es restos cuadrtico respecto a
37

2.8 Resolver la ecuacin x 2 174(md .239).

174

2 3 29

Como 174 = 2 3 29,

=

.
239 239 239 239
Por la Ley de Reciprocidad Cuadrtica, se tiene que
2 239

(2392 1)/8

3 239

(239 1)/ 2

29

(239/ 2)(28/ 2)

Para
=
( 1)
239 2

Para
=
( 1)
239 3
239

Para
=
( 1)
239 29
7 29

Para = ( 1)
29 7

(28/ 2)(8/ 2)

= 1, ya que

239 1(md .2).

239
2 1
=
= 3 = 3 = 1, ya que
3

239 7
=
= = 7, ya que
29 29

29 7
= = = 1, ya que
7 29

3 1(md .2).

239 7(md .29).

29 1(md .7).

Como
174 2 3 29
239 = 239 239 239 . = (+1)(+1)(+1) = 1 174

es restos cuadrtico respecto a 239 por tanto, la ecuacin x 2 174(md .239) tiene como solucin x 37, 202(md .239).

10

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

2.9 Resolver la ecuacin x 2 864(md .857).

864

25 33 2 3

Como 864 = 25 33 ,

=
=

.
857 857 857 857 857
Por la Ley de Reciprocidad Cuadrtica, se tiene que
2 857

(857 2 1)/8

3 857

(857 1)/ 2

Para
=
( 1)
857 2

Para
=
( 1)
857 3

= 1, ya que 557 1(md .2).

2
= = 1, ya que 2 + 1 0(md .3)
3

Como
5
3
864 2 3 2 3
=

= (+1)(1) = 1, 864
857 857 857 857 857

no es resto cuadrtico respecto al mdulo 857, por tanto x 2 T 864(md.857) no tiene solucin.

9.3 Smbolo de Kronecker y Lema de Gauss

3.1 Smbolo de Kronecker y sus propiedades.
n (
n / m ) , es una extensin del
m

El Smbolo de Kronecker, que podemos denotar como

Smbolo de Jacobi, descubierto por el matemtico alemn Leopold Kronecker (1823-1891) y

que comparte las mismas reglas que ste.
Algunas de sus propiedades son:
n 1 si n < 0
Para m =1, =
1 1 si n > 0
0 para n par
n
Para m = 2, 1 para n impar, n 1(md.8)
2
1 para n impar, n 3(md.8)
0 para 4 | n
n
o tambin, 1 para n 1(md.8)
2
1 para n 5(md.8)
85
3.2 Utilizando el smbolo de Kronecker, resolver . .
2

85

Como = 1, entonces 85 5(md.8).

2

11

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

131

3.3 Utilizando el smbolo de Kronecker, resolver

. .
248
131

Como 248 = 8 31,

= 1 ya que 131 3(md.8).
8

3.4 Lema de Gauss: definicin.

p 1
Sea p un primo impar, sea un entero no divisible por y sea u =
. Si al dividir los
2
nmeros {a ,2a ,3a , , a [(p 1) / 2]} por hay exactamente elementos cuyo resto es mayor

a
que , entonces = (1)s . Esto se conoce como Lema de Gauss en honor a Carl Friedrich
p
Gauss (1777-1855) que la descubri.
a
Por el criterio de Euler, au (md.p), como u ! no es divisible por , obtenemos:
p
a u ( 1) s (md . p)

luego

a (1)s (md.p)
p
5
3.5 Utilizando el lema de Gauss, resolver .
17

17 1
= 8. Si multiplicamos por 5 los nmeros entre 1 y 8, obte2
nemos {5,10,15,20,25,30,35 y 40}. Estos nmeros, respecto al mdulo 17, generan el siste-

Tenemos p = 17, a = 5 y s =

ma de restos {5,10,15,3,8,13,1,6} de los que {10,15 y 13} son mayores que u = 8, por tanto

= (1)3 =1
17
que es lo mismo que 58 (1)3 (md.17) 58 +1 (md.17).
5
3.6 Utilizando el lema de Gauss, resolver .
31

31 1
p
= 15 y = 15,5. Sea E = {5, 2 5,3 5,...,15 5} , los residuos mdulo 31
2
2
de los elementos de E son

Tenemos que s =

E = {5,10,15, 20, 25,30,,9,14,19, 24, 29,3,8,13}

luego el conjunto de los elementos de E mayores que 15,5 vienen determinados por

12

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

A = {19, 20,24, 25,29,30}

entonces tenemos que A = 6, de donde
5
= (1)6 = 1
31

Esto queda demostrado por la funcin generatriz o criterio de Euler, ya que, si tenemos en
cuenta que 5(311)/ 2 1(md .31), la ecuacin x 2 5( md .31) tiene como solucin las races
primitivas x1 = 6 + 31t y x2 = 25 + 31t.
3

3.7 Utilizando el lema de Gauss, resolver .

13
Del conjunto {3,6,9,12,15,18} son restos respecto a 13 {3,6,9,12, 2,5}. De estos hay dos elementos que son mayores a 13 2, luego
3
2
= (1) = 1
13

3.8 Lema de Eisenstein: definicin.

u

Sea un nmero primo impar y sea un entero no divisible por . Sea s = [ ja p].
j=1

a
Si es impar, entonces = (1)s .
p
2
2
Si = 2, entonces = (1)( p 1)/8 .
p

Si hacemos que
u

ja =( ja
j=1

j=1

p)p + rj = sp + rj + rj y si
j=1

rj u

rj >u

j = r + (p r )
j

j=1

rj u

rj >u

restando ambas ecuaciones obtenemos

u

(a 1) j =sp pl + 2 rj
j=1

rj >u

Si es impar, entonces (a - 1) 0(md.2), p 1(md.2) y l s(md.2). El resultado se sigue por el

Lema de Gauss.
Supongamos que = 2. Si 1 j u, tenemos (2 j p) = 0 puesto que p > 2 j. As, s = 0.
Como

13

Rafael Parra Macho

j=
j=1

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

u(u + 1) p2 1
=
2
8

podemos establecer que

p2 1
l(md.2), resultado que se sigue por el Lema de Gauss.
8

El Lema de Eisenstein fue descubierto por el matemtico alemn Ferdinand Gotthold Eisenstein(1823-1852).

3.9 Determinar todos los nmeros primos impares p tales que 3 es restos cuadrtico . (md . p).
Por la Ley de Reciprocidad Cuadrtica, tenemos que
3 p
( p 1)/ 2
= (1)
p
3

de donde
1
si p 1( md .3)
3 3
=
p 1 si p 2(md .3)
3

y
1 si p 1(md .4)
(1)( p 1)/ 2 =
-1 si p 3(md .4)

por tanto
3
=1
p

si, y solamente si
p 1(md .3), p 1(md .4) p 2(md .3), p 3(md .4)

es decir:
p 1( md .12) p 11(md .12)

14

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

9.4 Algunas Aplicaciones: Pascua de Resurreccin

4.1 Calendario Juliano
Calendario solar hecho en tiempos de Julio Csar por el astrnomo griego de Alejandra, Losgenes, el ao 45 a.C. con la intencin de aplicarlo a todo el Imperio de Roma. Constaba
de doce meses y consideraba como bisiestos todos los aos cuyo nmero de das fuera divisible por 4, aunque terminasen el siglo. Cada mes estaba dedicado devocionalmente a un dios:
Enero estaba dedicado a Jano y a la diosa Juno; Febrero, a Neptuno; Marzo, a Minerva; Abril, a
Venus; Mayo, a Apolo; Junio, a Mercurio, Julio, a Jpiter; Agosto, a Ceres; Septiembre, a Vulcano; Octubre, a Marte; Noviembre, a Diana, y Diciembre, a Vesta.
Al establecerse el cmputo anual a partir del ao del Trpico de Cncer, cuya duracin
es de 365 das y 6 horas, exactamente, se produca un error de 11 minutos y 12 segundos de
exceso por cada ao, lo que provocaba la aparicin de un da de ms en el equinoccio cada 129
aos. El calendario juliano estuvo vigente en Inglaterra hasta 1752, aunque en el resto del
mundo occidental desde el ao 1582 ya se haba adoptado el calendario gregoriano, modificado por mandato del papa Gregorio XIII. En la actualidad todava lo conservan los cismticos
griegos, y en las naciones musulmanas lo utilizan para los clculos astronmicos y los usos en
la agricultura.

4.2 Calendario Gregoriano

Calendario establecido por el papa Gregorio XIII en el ao 1582 a partir de una serie de
modificaciones hechas sobre el calendario juliano: corri diez das en el mes de octubre y no
contabiliz como bisiestos los aos que terminan siglo, excepto cuando caen en decena de siglo. En la actualidad es el adoptado por el mundo occidental, salvo los griegos ortodoxos.
Pese a todas las correcciones, ajustes y mejoras, el calendario juliano, que estableca
un ao equivalente a 365'25 das, no llegaba a ajustarse de manera precisa a la duracin de
365'242199 das del ao trpico. La diferencia de 11 minutos y 14 segundos por ao fue acumulndose, lo que motiv, por ejemplo, serias preocupaciones entre los participantes en el
Concilio de Nicea (325), donde se comprob que el equinoccio de primavera haba coincidido
con la fecha del 21 de marzo en vez de con el 25 de marzo previsto. El desajuste de 10 das que
se alcanz en 1545 era ya lo suficientemente importante como para que el Concilio de Trento
autorizase e instase a su correccin al Papa Pablo III. Tras algunos aos en que se sucedieron
diversos estudios y propuestas de reforma, el Papa Gregorio XIII confi en 1572 la cuestin al
astrnomo jesuita Cristbal Clavius (1537-1612) y en 1582 se lleg al acuerdo de abolir el calendario juliano (que siguen utilizando slo los ortodoxos griegos y algunas naciones musulmanas con fines astronmicos y agrcolas), corregir el desajuste de diez das, comenzar un nuevo
cmputo del calendario y establecer una nueva duracin del ao equivalente a 365'2422 das,
con lo que la diferencia con respecto al ao trpico quedara reducida a un exceso de 3 das
cada 10.000 aos, mucho ms de acuerdo con el ciclo natural de lo que nunca estuvo el calendario juliano. Adems, si anteriormente el calendario juliano contaba como bisiestos todos los
aos cuyo nmero fuera divisible por 4, aunque terminasen siglo, el calendario gregoriano estipul no computar como bisiestos los aos que terminasen siglo excepto cuando cayesen en
decena de siglo; es decir, que estableci que el ltimo ao de cada siglo dejara de ser bisiesto
en el nuevo sistema, salvo cuando se tratara de un mltiplo de 400 (1600, 2000, 2400, etc.). En
aplicacin de las nuevas normas sobre el calendario, el jueves 4 de octubre de 1582 fue seguido por el viernes 15 de octubre de 1582.
La adopcin del nuevo calendario gregoriano planteaba problemas de adaptacin que
encontr serias resistencias en numerosos pases. Aunque algunos lo aceptaron en los primeros aos de su vigencia, algunas naciones no catlicas no lo hicieron hasta el siglo XVIII e inclu-

15

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

so siglos posteriores: Gran Bretaa y sus colonias lo adoptaron en 1752, la URSS en 1918, y
Grecia en 1923, si bien la celebracin de sus fiestas religiosas sigue rigindose por el calendario
juliano. En la actualidad, el calendario gregoriano ha logrado una implantacin prcticamente
universal, aunque algunos pueblos siguen usando, aunque limitados mayormente a las celebraciones festivas y religiosas, calendarios propios. Tal sucede con los pases de religin musulmana, juda e hind. A pesar de que su cmputo empieza en la fecha que tradicionalmente
se consider como la del nacimiento de Cristo, la documentacin histrica indica que en realidad el Cristo histrico debi nacer 4 aos antes del inicio del calendario cristiano.

4.3 Los Cmputos

Procedentes del latn computare (calcular), han llegado hasta nuestros das las palabras cmputo (clculo), computacin (mtodo de clculo), contar y dems voces derivadas de
la misma etimologa. El idioma ingls la ha tomado para designar el computer, que ha pasado a
nuestro idioma como computador (o computadora), palabra de uso corriente junto con ordenador, de origen francs. Los elementos del cmputo anual son: la letra dominical, el nmero
ureo, la epacta, el ciclo solar y la indiccin romana.
I.

II.

III.

IV.
V.

La letra dominical, de la A a la G, indica qu da de la semana es el primer domingo del

ao: A (1 de enero), B (2 de enero), C (3 de enero), D (4 de enero), E (5 de enero), F (6
de enero) y G (y de enero). Si el ao es bisiesto, se indican dos letras: a la letra correspondiente se le aade la precedente. As por ejemplo, para el ao 1972, BA, para 1956,
AG.
El nmero ureo indica el lugar que ocupa un ao en un periodo de 19 aos, intervalo
tras el cual las lunaciones recaen casi en los mismos das. Los periodos se inician en el
ao 1 de la era cristiana al que se asign el nmero 2. La finalidad del nmero ureo es
establecer la correspondencia del ao lunar. Por ejemplo los ltimos periodos han sido/sern 1957-1975; 1976-1994; 1995-2014.
La epacta indica la edad de la lunacin justo antes del 1 de enero, para un periodo de
29 aos. Una lunacin exacta (tiempo entre dos lunas nuevas) dura 29 das, 12 horas,
44 minutos y 2,8 segundos. Llamamos luna nueva al momento en que la Luna no es visible desde la Tierra. La epacta es 0 si la luna nueva cae en 31 de diciembre, 5 si la luna
nueva tiene 5 das (cay el 26 de diciembre).
El ciclo solar es un periodo de 28 aos julianos que lleva los mismos das de la semana
en las mismas fechas del mes. Los ltimos periodos han sido 1952-1979; 1980-2007.
La indiccin romana indica el lugar que ocupa un ao en un periodo de 15 aos que se
renuevan perpetuamente. Se obtiene sumando 3 al nmero del ao y dividiendo el resultado por 15. El residuo expresa la indiccin de dicho ao. Si no hay residuo, la indiccin es 15. Las bulas papales se fecha segn la indiccin. Los ltimos periodos de indiccin han sido 1978-1992; 1993-2007.

4.4 La fecha de Pascua de Resurreccin

La epacta se utiliza para calcular la fecha de Pascua. En el concilio de Nicea del ao
325, se estableci que la fiesta de Pascua de Resurreccin debe celebrarse el domingo siguiente al plenilunio posterior al 21 de marzo, da del equinoccio de primavera. La Pascua debe situarse entre el 22 de marzo y el 25 de abril. La fecha de Pascua condiciona las dems celebraciones cristianas:

16

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

Mircoles de Ceniza
Primer domingo de Cuaresma
Jueves Santo
Viernes Santo
Ascensin
Pentecosts
Trinidad
Corpus Christi
Sagrado Corazn

: 46 das antes de Pascuas

: 42 das
: 3 das
: 2 das
: 9 das despus de Pascua
: 49 das
: 56 das
: 63 das
: 68 das

4.5 Clculo de la fecha de Pascua de Resurreccin.

Antes de proseguir es preciso dejar claro que en trminos astronmicos, el equinoccio
puede tener lugar el 20 o el 19 de marzo, si bien en el calendario gregoriano se establecen
unas fechas astronmicas que, an difiriendo ligeramente de las fechas astronmicas reales,
son las que se emplean para el clculo. As las cosas, queda claro que la Pascua de Resurreccin no puede ser antes del 22 de marzo ( en caso de que el plenilunio fuese sbado ), y tampoco puede ser ms tarde del 25 de abril, ( suponiendo que el 21 de marzo fuese el da siguiente al plenilunio, habra que esperar una lunacin completa (29 das ) para llegar al siguiente plenilunio, que sera el 18 de abril, el cual, si cayese en domingo, desplazara la Pascua
una semana para evitar la coincidencia con la pascua juda, quedando: 18+7 el 25 de abril).
Si bien durante el Renacimiento se extrajeron tablas de clculo para la Pascua en funcin del nmero ureo y otras ms complejas, hoy en da la frmula ms sencilla de calcular
esta fecha es mediante la frmula desarrollada por Gauss. Esta frmula requiere la definicin
de cinco variables, a, b, c, d y e. Adems de dos constantes M y N , que para los aos comprendidos entre 1900 y 2300 tomarn los siguientes valores:
Aos
1900-2099
2100-2199
2200-2299

M
24
24
25

N
5
6
0

Llamando A al ao del que queremos calcular la Pascua, los valores de las variables establecidas son:
A a(md .19), A b(md .4), A c(md .7)
19a + M d (md .30), 2b + 4c + 6d + N e(md .7)

Interpretacin:
Si d + e < 10, entonces la Pascua caer el da (d + e + 22) de marzo.
Si d + e > 9, entonces la Pascua caer el da (d + e 9) de abril.
Si la fecha obtenida es el 26 de abril, la Pascua caer el 19 de abril.
Si la fecha obtenida es el 25 de abril, con d = 28, e = 6 y a > 10, entonces la Pascua caer en el 18 de abril.
Vamos a calcular la fecha de Pascua correspondiente al ao 2011. Aplicando las frmulas anteriores, obtenemos para a = 16, b = 3, c = 2. Ahora:
19 16 + 24 28(md .30) y 2 3 + 4 2 + 6 28 + 5 5(md .7)
Como 28+5=33>9, entonces 33-9 corresponde al 24 de abril de 2011 que se celebrar la Pascua
de Resurreccin.
Por este mismo procedimiento podemos conocer que la Pascua de Resurreccin caer
el 8 de abril en 2012 y en 31 de marzo en 2013.

17

Rafael Parra Macho

RESTOS CUADRTICOS Y LEY DE RECIPROCIDAD CUADRTICA

BIBLIOGRAFIA:
APOSTOL, Tom M., Clculus Tomo I, ISBN: 84-291-5002-1
BOLKER, Ethan D., Elementary Number Theory, ISBN: 0-486-45807-5
CRANTZ, Paul, Aritmtica y lgebra, Edicin 1926
JOUETTE, Andr, El Secreto de los Nmeros, ISBN: 84-95601-00-1 (Todo el tema relacionado
con la fecha de Pascua)
KOSHY, Thomas, Elementary Number Theory with Applications, ISBN: 978-0-12-372487-8
LANG, Serge, Algebraic Number Theory, ISBN: 0-387-94225-4
NATHANSON, Melvyn B. Elementary Methods in Number Theory, ISBN: 0-387-98912-9
PHILLIPS, BUTTS y SHAUGHNESSY, lgebra con Aplicaciones, ISBN: 968-6034-93-5
SWOKOWSKI y COLE, lgebra y Trigonometra con Geometra Analtica, ISBN: 968-7529-26-1
TATTERSALL, James T., Elementary Number Theory in Nine Chapters, ISBN: 0-521-61524-0
APOYO INTERNET
http://es.wikipedia.org/wiki/Ley_de_reciprocidad_cuadr%C3%A1tica
http://es.wikipedia.org/wiki/Residuo_cuadr%C3%A1tico
http://hojamat.es/sindecimales/congruencias/diccio/diccong.htm
http://www.akiti.ca/Mathfxns.html (Solucin de ecuaciones)
http://www.famaf.unc.edu.ar/publicaciones/documents/serie_c/CMat31-3.pdf
http://www.vadenumeros.es/actividades/division-por-ruffini.htm (Programa matemtico)
http://www.vadenumeros.es/actividades/division-por-ruffini.htm (Soluciones Ruffini)
http://www.wolframalpha.com/examples/ (Programa matemtico)
http://www.wolframalpha.com/examples/ (Soluciones algebraicas)
FECHA DE PASCUA: APOYO INTERNET
http://www.divvol.org/recursos/fecha_pascua.htm (Calcula la fecha de Pascua)
http://www.huevosdepascuas.com.ar/Historia/historia_de_la_pascua_catolica.htm
http://es.wikipedia.org/wiki/Pascua
http://www.statveritas.com.ar/Liturgia/La%20Pascua%20de%20Resurreccion.htm

18