Вы находитесь на странице: 1из 29

4

Teora de los Nmeros I.nb

Congruencias
En este captulo se estudiarn los residuos de los nmeros al ser divididos por alguna m Z+ , es decir los residuos
de los nmeros mdulo m.
Teorema 1: Sean a, b Z , entonces a y b dejan el mismo residuo cuando son divididos por alguna m Z + s
y slo s m divide la resta de a y b. Es decir:
a = a m + r o b = b m + ro m a - b

Demostracin
) Tenemos que:

a = a m + ro b = b m + ro con 0 r0 < m
Restamos las ecuaciones:
a - b = a m - b m + ro - ro
a - b = m Ha - bL
Entonces:
m a - b.
) Como m a - b entonces:
$kZ ' mk=a-b a=mk+b

(i)

Por otro lado, el algoritmo de la divisin nos garantiza:


$ ! q, r ' b = q m + ro 0 ro < m
Es decir que b deja residuo ro al ser dividido por m. Ahora esto lo sustiuimos en (i):
a = m k + q m + ro
a = m Hk + qL + ro

Entonces a deja residuo ro al ser dividido por m. Por lo tanto a, b dejan el mismo residuo.
Definicin: Sean a, b Z , m Z + , entonces se dice que a y b son congruentes mdulo m s y slo s m divide
la resta de a y b, es decir:
a b Hmod mL m a - b

Se puede ver, por el Teorema 1, que dos nmeros son congruentes mdulo m s y slo s esos nmeros dejan el
mismo residuo al ser divididos por m.
Teorema 2: Sean a, b Z , m Z + , entonces:

(1) a b Hmod mL a + x b + x Hmod mL


(2) a b Hmod mL a x b x Hmod mL

"xZ

"xZ

Demostracin:
(1)

PrintedmL,
by Wolfram
Mathematica Student Edition
) Sea x Z, tenemos que: a b Hmod
entonces:

m a-b
Sumamos un cero:

Teora de los Nmeros I.nb

Demostracin:
(1)

) Sea x Z, tenemos que: a b Hmod mL, entonces:


m a-b
Sumamos un cero:

m a - b + x - x m a + x - b - x m Ha + xL - Hb + xL
Por lo tanto:

a + x b + x Hmod mL.

) Sea x Z, tenemos que: a + x b + x Hmod mL, entonces:


m Ha + xL - Hb + xL m a - b + x - x m a - b
Por lo tanto:

a b Hmod mL.

(2) Sea x Z, tenemos que: a b Hmod mL, entonces:


m a-b
Entonces:

m Ha - bL x
m ax-bx
Por lo tanto:

a x b x Hmod mL.

Teorema 3: Sean a, b, c, d Z , m Z + con a b Hmod mL c d Hmod mL, entonces:


(1) a + c b + d Hmod mL
(2) a - c b - d Hmod mL
(3) a c b d Hmod mL
(4) an bn Hmod mL

(5) PHaL PHbL Hmod mL

"nN
" P polinomio con coeficientes en Z

Demostracin: Tenemos que a b Hmod mL c d Hmod mL


(1) Se tiene que m a - b m c - d, entonces:
m k = a - b m k' = c - d

Sumamos ambas ecuaciones:


m k + m k ' = Ha - bL + Hc - dL
m Hk + k 'L = Ha + cL - Hb + dL
m Ha + cL - Hb + dL
Por lo tanto:

a + c b + d Hmod mL.

(2) Se tiene que m a - b m c - d, entonces:


m k = a - b m k' = c - d

Restamos ambas ecuaciones:

Printed by Wolfram Mathematica Student Edition

m k + m k ' = Ha - bL + Hc - dL
6

m Hk + k 'L = Ha + cL - Hb + dL
m Ha + cL - Hb + dL

Teora de los Nmeros I.nb

Por lo tanto:

a + c b + d Hmod mL.

(2) Se tiene que m a - b m c - d, entonces:


m k = a - b m k' = c - d

Restamos ambas ecuaciones:


m k - m k ' = Ha - bL - Hc - dL
m Hk - k 'L = Ha - cL - Hb - dL
m Ha - cL - Hb - dL
Por lo tanto:

a - c b - d Hmod mL.
(3) Por el Teorema 2.2, se tiene que:
a b Hmod mL a c b c Hmod mL
Tambin:

c d Hmod mL c b d b Hmod mL
Entonces por transitividad se tiene que:
a c b d Hmod mL.
(4) Induccin:
Base) Sea n = 1, entonces:

a1 b1 Hmod mL a b Hmod mL
Y esto se cumple por hiptesis.

Paso Inductivo) Supongamos que an bn Hmod mL, por el Teorema 3.3 se tiene que:
an bn Hmod mL a b Hmod mL an a bn b Hmod mL

an a bn b Hmod mL an+1 bn+1 Hmod mL, entonces se cumple para n + 1.


Por lo tanto an bn Hmod mL " n N.

(5) Sea PHxL = rn xn + + r1 x + ro un polinomio con coeficientes en Z. Consideremos:


PHaL - PHbL = Hrn an + + r1 a + ro L - Hrn bn + + r1 b + ro L
PHaL - PHbL = rn an - rn bn + + r1 a - r1 b + ro - ro
PHaL - PHbL = rn Han - bn L + + r1 Ha - bL

Por el Teorema 3.4 se tiene que an bn Hmod mL " n N, entonces por el Teorema 2.1 se tiene que:
an - bn 0 Hmod mL " n N
Entonces:

PHaL - PHbL = rn Han - bn L + + r1 Ha - bL rn H0L + + r1 H0L 0 Hmod mL


PHaL - PHbL 0 Hmod mL
PHaL PHbL Hmod mL.

Teorema 4: Sean a, b, x Z , m Z + , entonces:


x a x b Hmod mL a bPrinted
Jmodby Hx,mL
N
Wolfram Mathematica Student Edition
m

Teora de los Nmeros I.nb

Teorema 4: Sean a, b, x Z , m Z + , entonces:


x a x b Hmod mL a b Jmod

m
N
Hx,mL

Demostracin:

) Supongamos que x a x b Hmod mL, entonces:


mk=xa-xb
m k = x Ha - bL

Dividimos entre Hx, mL:


m
Hx,mL

k=

x
Hx,mL

Entonces:
m
Hx,mL

x
Hx,mL

Ha - bL

Como J Hx,mL ,
m

m
Hx,mL

Ha - bL

Ha - bL

x
N=1
Hx,mL

entonces necesariamente:

Por lo tanto:
a b Jmod

m
N.
Hx,mL

) Supongamos que a b Jmod


m
Hx,mL

Ha - bL

m
Hx,mL

m k ' = Ha - bL Hx, mL

m
N.
Hx,mL

k ' = Ha - bL

Entonces:

(i)

Por otro lado tenemos que:

Hx, mL x Hx, mL t = x Hx, mL =

x
t

Sustituimos esto en (i):


m k ' = Ha - bL

x
t

m k ' t = Ha - bL x

m Hk ' tL = x a - x b
m xa-xb
Por lo tanto:

x a x b Hmod mL.
Teorema 5: Sean a, b Z , m Z + entonces:
a b Hmod mL Ha, mL = Hb, mL

Demostracin: Tenemos que a b Hmod mL, entonces:


m a-b mk=a-b mk+b=a
Por otro lado tenemos que:

Ha, mL a Ha, mL m k + b
Tambin:

Ha, mL m Ha, mL m k

Printed by Wolfram Mathematica Student Edition

Demostracin: Tenemos que a b Hmod mL, entonces:

Teora de los Nmeros I.nb

m a-b mk=a-b mk+b=a


Por otro lado tenemos que:

Ha, mL a Ha, mL m k + b
Tambin:

Ha, mL m Ha, mL m k

Entonces: Ha, mL b. Por lo tanto se tiene que:


Ha, mL m Ha, mL b Ha, mL Hb, mL

(i)

Por otro lado se tiene que

m a - b m k = a - b m H-kL + a = b
Y se tiene que:

Hb, mL b Ha, mL m H-kL + a


Tambin:

Hb, mL m Hb, mL m H-kL

Entonces: Hb, mL a. Por lo tanto se tiene que:


Hb, mL m Hb, mL a Hb, mL Ha, mL

(ii)

Por (i) y (ii) se tiene que:


Ha, mL = Hb, mL.

Teorema 6: Sean a, b Z , m, n Z + tales que Hn, mL = 1 entonces:


a b Hmod mL a b Hmod nL a b Hmod m nL

Demostracin:

) Supongamos que a b Hmod mL a b Hmod nL entonces tenemos:


a b Hmod mL a b Hmod nL m a - b n a - b
Entonces:

m a - b n a - b m k = a - b n k' = a - b m k = n k'
Entonces se tiene que:
m k = n k' m n k'

Como Hm, nL = 1, entonces se tiene (ver lgebra Superior II en la parte de Congruencias) que:
m n k ' Hn, mL = 1 m k ' m q = k '
Esto lo sustituimos en n k ' = a - b, entonces:

n m q = a - b Hn mL q = a - b n m a - b a b Hmod m nL
) Supongamos que a b Hmod m nL entonces:

a b Hmod m nL m n a - b m n k = a - b
Entonces sucede:

m n k = a - b m Hn kL = a - b m a - b a b Hmod mL
Y sucede:

m n k = a - b n Hm kL = a - b Printed
n aby-Wolfram
b Mathematica
a b Hmod
nL
Student Edition
En conclusin se tiene que:

a b Hmod mL a b Hmod nL a b Hmod m nL.

) Supongamos que a b Hmod m nL entonces:

a b Hmod m nL m n a - b m n k = a - b

Teora de los Nmeros I.nb

Entonces sucede:

m n k = a - b m Hn kL = a - b m a - b a b Hmod mL
Y sucede:

m n k = a - b n Hm kL = a - b n a - b a b Hmod nL
En conclusin se tiene que:

a b Hmod mL a b Hmod nL a b Hmod m nL.


Clases Residuales
Antes de definir una clase residual, vamos a construir una con los elementos que ya conocemos. Sabemos que todo
nmero puede ser escrito como:

4 k 8, -8, -4, 0, 4, 8, <


4 k + 1 8, -7, -3, 1, 5, 9, <
4 k + 2 8, -6, -2, 2, 6, 10, <
4 k + 3 8, -5, -1, 3, 7, 11, <
Resulta que estos conjuntos son clases residuales. Analicemos caractersticas de estos conjuntos. Sea:
Ri = 4 i + 1 Ri 8, -7, -3, 1, 5, 9, <

Como 0 1 < 4 entonces el residuo de Ri mdulo 4 es 1. Es decir.


Ri 1 Hmod 4L

"iZ

Entonces sean: Ri , R j 8, -7, -3, 1, 5, 9, < es decir:


Ri = 4 i + 1, R j = 4 j + 1
Observamos, por lo anterior, tenemos que:
Ri 1 Hmod 4L, R j 1 Hmod 4L

Entonces:

Ri R j Hmod 4L

Por lo tanto podemos que para cualesquiera dos nmeros en una clase residual:
a b Hmod 4L a, b 8, -7, -3, 1, 5, 9, <

Es decir que cualesquiera dos nmeros en una misma clase residual son congruentes a s mismos.
Por otro lado, sean:
Ri = 4 i + 1, S j = 4 j + 2
Asumimos que:
Ri S j Hmod 4L

4 i + 1 4 j + 2 Hmod 4L
4 i - 4 j 1 Hmod 4L
4 Hi - jL 1 Hmod 4L
Entonces:

4 4 Hi - jL - 1

Como trivialmente 4 4 Hi - jL entonces:


4 -1
Por lo tanto:

Ri T S j Hmod 4L

CONTRADICCION
Printed by Wolfram Mathematica Student Edition

Acabamos de deucir que si un nmero pertence a una clase residual y otro nmero pertenece a otra clase residual

4 Hi - jL 1 Hmod 4L
10

Entonces:

4 4 Hi - jL - 1

Teora de los Nmeros I.nb

Como trivialmente 4 4 Hi - jL entonces:


4 -1

CONTRADICCION

Por lo tanto:

Ri T S j Hmod 4L

Acabamos de deucir que si un nmero pertence a una clase residual y otro nmero pertenece a otra clase residual
entonces esos dos nmeros son incongruentes.
Definicin: Sea m Z + , una clase residual mdulo m es un conjunto de nmeros que dejan el mismo residuo
al ser divido por m. Cumple con:
(1) a, b Cm a b Hmod mL " a, b Cm una clase residual
(2) a Cm b C 'm a T b Hmod mL con Cm C 'm

Definicin: Sean m Z + ro , r1 , , rm-1 Z , entonces se dice que 8ro , r1 , , rm-1 < es un sistema completo de
residuos mdulo m s y slo s para toda x Z existe un solo ri 8ro , r1 , , rm-1 < ' x ri Hmod mL. Es decir:
8ro , r1 , , rm-1 < es SCR " x Z $ ! ri ' x ri Hmod mL

Ejemplo: Consideremos las clases residuales mdulo 5:


5 k 8, -10, -5, 0, 5, 10, <
5 k + 1 8, -9, -4, 1, 6, 11, <
5 k + 2 8, -8, -3, 2, 7, 12, <
5 k + 3 8, -7, -2, 3, 8, 13, <
5 k + 4 8, -6, -1, 4, 9, 14, <
Ahora sea x Z, como tod nmero se de la forma 5 k, 5 k + 1, 5 k + 2, 5 k + 3, 5 k + 4 entonces x esta en un solo
conjunto generados por las formas. Entonces agarramos un representante de cada clase residual, sea:
C5 = 80, 1, 2, 3, 4<

Necesariamente, x deja como residuo 0, 1, 2, 3 4 entonces:


$ ri C5 ' x ri Hmod mL

Como el residuo de x es nico entonces el ri es nico. Por lo tanto C5 es un sistema completo de residuos mdulo
5.
Definicin: Sea n Z + , la funcin Fi de Euler de n da la cantidad de primos relativos menores o iguales a n,
es decir:
fHnL = 8m Z+ Hn, mL = 1 m n<

Ejemplo:

fH10L = 81, 2, 3, 4, 5, 6, 7, 8, 9, 10<


fH10L = 81, 3, 7, 9<
fH10L = 4
Ahora sea p Z+ con p primo:
fH pL = 81, 2, , p<

Printed by Wolfram Mathematica Student Edition

Slo se elimina la p ya que como p es primo no comparte ningn divisor con los nmeros positivos menores que
l msimo. Por lo tanto:

Ejemplo:

fH10L = 81, 2, 3, 4, 5, 6, 7, 8, 9, 10<


fH10L = 81, 3, 7, 9<

Teora de los Nmeros I.nb

11

fH10L = 4
Ahora sea p Z+ con p primo:
fH pL = 81, 2, , p<

Slo se elimina la p ya que como p es primo no comparte ningn divisor con los nmeros positivos menores que
l msimo. Por lo tanto:
fH pL = 81, 2, , p<
fH pL = p - 1
Ahora consideremos:

fH pa L = 81, 2, , pa <
Ahora hay que quitarle todos los mltiplos de p:

fH pa L = 81, 2, , pa < - 9 p, 2 p, , H p - 1La-1 p, I pa-1 M p=


fH pa L = pa - pa-1

O se puede escribir como:


fH pa L = pa J1 - p N
1

Definicin: Sea m Z + , un sistema reducido de residuos mdulo m es un conjunto de nmeros enteros


Rm = 9r1 , , rfHmL = que cumplen:
Rm es un SRR Hri , mL = 1 " ri Rm
ri T r j Hmod mL " i j
Rm = fHmL
Observamos que de un sistema compelto de residuos, podemos quitar todos los elementos que no son primos
relativos con el mdulo y nos quedar un sistema reducido de residuos. Es decir:
Sea:

Cm = 81, 2, , m< un sistema completo de residuos mdulo m.


Ahora quitemos todos los elementos que no son primos relativos con m:
Cm - 8k Hm, kL > 1 m k 1<
Esto es igual a:

Rm = 9r1 , , rfHmL =

Observamos

que,

ri T r j Hmod mL " i j ya que ri , r j Cm y en Cm se cumple esta propiedad.

Tambin Hri , mL = 1 " ri Rm por que a Cm le quitamos todos los elementos que no cumplin esta propiedad.
Por ltimo, solo quedan fHmL elementos ya que en Rm quedan todos los primos relativos a m entonces la cardinalidad de este conjunto es precisamente fHmL.
Por lo tanto Rm es un sistema reducido de residuos. Entonces un sistema completo de residuos se puede reducir a
un sistema reducido de residuos.

Printed by Wolfram Mathematica Student Edition

ri T r j Hmod mL " i j ya que ri , r j Cm y en Cm se cumple esta propiedad.

12

Tambin Hri , mL = 1
Teora de los Nmeros I.nb

" ri Rm por que a Cm le quitamos todos los elementos que no cumplin esta propiedad.

Por ltimo, solo quedan fHmL elementos ya que en Rm quedan todos los primos relativos a m entonces la cardinalidad de este conjunto es precisamente fHmL.
Por lo tanto Rm es un sistema reducido de residuos. Entonces un sistema completo de residuos se puede reducir a
un sistema reducido de residuos.

Lema: Sean m Z + ro , , rn-1 Z y Cn = 8ro , , rn-1 < un sistema completo de residuos, entonces:
(1) 8ro + x, r1 + x, , rn-1 + x< es un sistema completo de residuos " x Z.
(2) Hn, mL = 1 8m ro , , m rn-1 < es un sistema completo de residuos.

Demostracin:
(1) Tenemos que Cn es un SCR, entonces:
" y Z $ ! ri ' y ri Hmod nL
Entonces:

y + x ri + x Hmod nL

Como y + x puede asumir cualquier valor con x fijo, entonces se cumple que:
" a Z $ ! ri ' a ri + x Hmod nL donde a = y - x.
(2) Sean m ri , m r j 8m ro , , m rn-1 < entonces si:
m ri m r j Hmod nL

Como Hn, mL = 1, por el Teorema 4 se tiene que:


ri r j Hmod nL

Y como ri , r j Cn entonces necesariamente: ri = r j

Esto quiere decir que " ri Cn $ ! m ri 8m ro , , m rn-1 < y esta unicidad es mdulo n. Por lo tanto cumple todas
las propiedades de los sistemas completos de residuos. Entonces 8m ro , , m rn-1 < es un SCR.
Teorema 7: La funcin Fi de Euler es multiplicativa, es decir:
Hn, mL = 1 f Hn mL = f HnL f HmL

1 m + 1 H j - 1L m + 1
2 m + 2 H j - 1L m + 2

i m + i H j - 1L m + i

m 2m
jm

Hn - 1L m + 1
Hn - 1L m + 2

Hn - 1L m + i

nm

Demostracin: Consideremos la siguiente tabla donde enlistamos todos los nmeros menores a n m:

Ahora eliminamos los nmeros de la tabla que no son primos relativos de la siguiente manera:

(1) Sea i 8a, , m< si i no es un primo relativo de m entonces todo el rengln de i no es primo relativo de n m. Es
decir:

Hi, mL = d > 1 Hl m + i, m nL d > 1


Ya que:

d i d m d lm+i
Tambin:
d m d nm

Printed by Wolfram Mathematica Student Edition

Ahora eliminamos los nmeros de la tabla que no son primos relativos de la siguiente manera:

(1) Sea i 8a, , m< si i no es un primo relativo de m entonces todo el rengln de i no es primo relativo de n m. Es
Teora de los Nmeros I.nb

13

decir:

Hi, mL = d > 1 Hl m + i, m nL d > 1


Ya que:

d i d m d lm+i
Tambin:
d m d nm
Entonces:

d Hl m + i, m nL Hl m + i, m nL d > 1

Por lo tanto si Hi, mL > 1 entonces todo el rengln de i no es primo relativo de m n. Entonces el primer paso es
eliminar todos los renglones de las is tal que Hi, mL > 1, entonces la tabla nos queda:
k1
k2

ki

kfHmL

m + k1
m + k2

m + ki

m + kfHmL

H j - 1L m + k1
H j - 1L m + k2

H j - 1L m + ki

j m + kfHmL

Hn - 1L m + k1
Hn - 1L m + k2

Hn - 1L m + ki

Hn - 1L m + kfHmL

(2) Observamos que cada rengln tiene exactamente n elementos

Si quitamos, por rengln, todas nmeros l m + ki tales que Hl m + ki , nL > 1 nos quedarn solo fHnL elementos por
rengln. Esto sucede por que:

Tenemos que Cn = 80, 1, , n - 1< es un sistema completo de residuos mdulo n. Por el Lema 2, se tiene que:
80, m, , Hn - 1L m< tambin es un sistema completo de residuos.
Ahora por el Lema 1,

8ki , m + ki , , Hn - 1L m + ki < es un sistema completo de residuos.


Por lo tanto se tiene que cada rengln es un sistema completo de residuos.
Ahora si quitamos, por rengln, todos los elementos que no son primos relativos con el mdulo n, nos queda un
sistema reducido de residuos. Como es un sistema reducido de residuos, tiene fHnL elementos. Por lo tanto al hacer
el paso (2) nos queda:
l1 m + k1
l1 m + k2

l2 m + k1
l2 m + k2

l j m + k1
l j m + k2

lfHnL m + k1
lfHnL m + k2

l1 m + ki

l2 m + ki

l j m + ki

lfHnL m + ki

l1 m + kfHmL l2 m + kfHmL l j m + kfHmL lfHnL m + kfHmL


Donde hay fHmL renglones donde cada rengln es un sistema reducido de residuos con fHnL elementos. Por lo tanto
nos queda una cuadrcula de f HnLf HmL es decir, tiene f HnL f HmL elementos. Por otro lado observamos que con

los pasos (1) y (2) quitamos todos los elementos x ' Hx, m nL > 1, entonces en la cuadrcula que queda hay fHn mL
elementos.

Por lo tanto: f Hn mL = f HnL f HmL.

Ejemplo: Calcular fI pa q b M, y luego calcular el caso general para cualquier descomposicin en primos para
cualquier nmero entero.
Printed by Wolfram Mathematica Student Edition

14

Teora de los Nmeros I.nb

Ejemplo: Calcular fI pa q b M, y luego calcular el caso general para cualquier descomposicin en primos para
cualquier nmero entero.
Teorema 8 : Sea p Z un primo, entonces :
fI pi M = pa
a

i=0

Demsotracin : Tenemos,
fI pi M = fI p0 M + fI p1 M + + fH pa L
a

i=0

= 1 + H p - 1L + I p2 - pM + + I pa - pa-1 M

Como es una suma telescpica,


fI pi M = pa .
a

i=0

Teorema 9 : Sea n Z+ con n > 1, entonces :


m=

Hm,nL=1

1
2

n fHnL

Demostracin : Mostramos todos los primos relativos menores que n,


9m1 , , mfHnL = ' Hmi , nL = 1, mi < n

" i 81, , fHnL<

Entonces,

m = m1 + + mfHnL = S

Hm,nL=1

Por otro lado tenemos que,

Hmi , nL = 1 Hn - mi , nL = 1

Ya que la HL se sigue de las propiedades del mximo comn divisor. Por lo tanto todos los primos relativos
con n son de la forma n - mi donde mi es un primo relativo. Entonces escribimos la suma como,

S = Hn - m1 L + Hn - m2 L + + In - mfHnL M
S = Hn + + nL - Im1 + + mfHnL M
fHnL veces

S = n fHnL - S
2 S = n fHnL
S=

1
2

n fHnL

Printed by Wolfram Mathematica Student Edition

Teora de los Nmeros I.nb

m=

Hm,nL=1

1
2

15

n fHnL.

Teorema de Euler: Sean a Z , m Z + entonces:


Ha, mL = 1 afHmL 1 Hmod mL

Demostracin: Sea Rm = 9r1 , r2 , , rfHmL = un sistema reducido de residuos mdulo m.


Ahora consideremos:

a Rm = 9a r1 , a r2 , , a rfHmL =
Como Rm es un SRR entonces:
ri Rm Hri , mL = 1

Por hiptesis tambin se tiene que Ha, mL = 1, entonces por el Teorema 7 de divisibilidad se tiene que:
Hri , mL = 1 Ha, mL = 1 Ha ri , mL = 1

" i 81, , fHmL<

Por otro lado afirmamos que a ri T a r j Hmod mL ya que si:

(i)

a ri a r j Hmod mL

Como Ha, mL = 1, por el Teorema 4 se tiene que:


a ri a r j Hmod mL ri r j Hmod mL

Pero esto es una contradiccin ya que ri y r j son elementos de un mismo SRR, por lo tanto:
a ri T a r j Hmod mL

" i, j 81, , fHmL<, i j

(ii)

Trivialmente se tiene que:

a Rm = 9a r1 , a r2 , , a rfHmL = = fHmL

(iii)

En conclusin, por (i), (ii) y (iii) se tiene que a Rm es un SRR.


Por otro lado consideremos Cm un SCR, donde a Rm le agregamos todos los residuos que no eran primos relativos
con m, es decir:

Cm = 9r1 , r2 , , rfHmL , r ', r '', , rHn-1-fHnLL = = Rm 9r ', r '', , rHn-1-fHnLL =

Donde todos los elementos de 9r ', r '', , rHn-1-fHnLL = no son primos relativos con m. Como Cm es un SCR, todos
los elementos de a Rm son congruentes a un solo elemento de Cm . Ahora afirmamos que ningn elemento de a Rm
puede ser congruente a un elemento del agregado a Rm es decir:
a ri T rH jL Hmod mL

Ya que si se cumple que a ri rH jL Hmod mL entonces por el Teorema 5 tenemos que:


a ri rH jL Hmod mL Ha ri , mL = IrH jL , mM

Pero esto es una contradiccin ya que se tena que:

Ha ri , mL = 1 IrH jL , mM > 1 Ha ri , mL IrH jL , mM


Por lo tanto: a ri T rH jL Hmod mL

" a ri a Rm " rH jL 9r ', r '', , rHn-1-fHnLL =

Printed
by Wolfram Mathematica
Entonces podemos afirmar que cada
elemento
de a RmStudent
es Edition
conguente con un solo elemento de

Cm - 9r ', r '', , rHn-1-fHnLL = = Rm

Ya que si se cumple que a ri rH jL Hmod mL entonces por el Teorema 5 tenemos que:


a ri rH jL Hmod mL Ha ri , mL = IrH jL , mM
16

Teora de los Nmeros I.nb

Pero esto es una contradiccin ya que se tena que:

Ha ri , mL = 1 IrH jL , mM > 1 Ha ri , mL IrH jL , mM


Por lo tanto: a ri T rH jL Hmod mL

" a ri a Rm " rH jL 9r ', r '', , rHn-1-fHnLL =

Entonces podemos afirmar que cada elemento de a Rm es conguente con un solo elemento de
Cm - 9r ', r '', , rHn-1-fHnLL = = Rm
Es decir:

a r1 ri1 Hmod mL
a r2 ri2 Hmod mL

a rfHmL rifHmL Hmod mL


Por el Teorema 3.3 podemos multiplicar todas las congruencias:
Ha r1 L Ha r2 L Ia rfHmL M Hri1 L Hri2 L IrifHmL M Hmod mL

Observamos que del lado izquierdo aparecen todos los elementos de Rm entonces los podemos ordenar:
Ha a aL Ir1 r2 rfHmL M r1 r2 rfHmL Hmod mL
fHmL veces

afHmL Ir1 r2 rfHmL M Ir1 r2 rfHmL M Hmod mL

(iv)

Por otro lado, el Teorema 7 de divisibilidad nos garantiza que:

Hr1 , mL = 1 Hr2 , mL = 1 IrfHmL , mM = 1 Ir1 r2 rfHmL , mM = 1

Entonces por el Teorema 4, cancelamos Ir1 r2 rfHmL M de ambos lados de (iv):


afHmL Ir1 r2 rfHmL M Ir1 r2 rfHmL M Hmod mL afHmL 1 Hmod mL
Por lo tanto, si Ha, mL = 1 entonces afHmL 1 Hmod mL.
Teorema 10: Si p Z es primo, entonces:
p primo a p a Hmod pL

"aZ

Demostracin: Sea a Z, tenemos dos casos:


(1) Supongamos que p a entonces tenemos que:
a 0 Hmod pL

Por el Teorema 3.3 multiplicamos la congruencia por si mismo p veces:


a a 0 Hmod pL
p veces

a p 0 a Hmod pL
a p a Hmod pL.

(2) Supongamos que p I a entonces podemos deducir que


Ha, pL = 1

Entonces el Teorema de Euler nos garantiza que:


afH pL 1 Hmod pL

Como p es primo entonces fH pL = p - 1, entonces se tiene que:


a p-1 1 Hmod pL

(i)
Printed by Wolfram Mathematica Student Edition

Ahora multiplicamos ambos lados por a:


a p-1 a a Hmod pL

(2) Supongamos que p I a entonces podemos deducir que


Ha, pL = 1

Teora de los Nmeros I.nb

17

Entonces el Teorema de Euler nos garantiza que:


afH pL 1 Hmod pL

Como p es primo entonces fH pL = p - 1, entonces se tiene que:


a p-1 1 Hmod pL

(i)

Ahora multiplicamos ambos lados por a:


a p-1 a a Hmod pL
a p a Hmod pL.

Nota: el enunciado (i) se conoce como el Pequeo Teorema de Fermat


Teorema 11: Sean a, b, p Z con p un primo, entonces:
Ha + bL p a p + b p Hmod pL

Demostracin: Desarrollamos el binomio:


Ha + bL p = a p +

1 p-1
2 p-2 2
p-1
a b+
a b ++
a b p-1 + b p
p
p
p

Ha + bL p - a p - b p =

1 p-1
2 p-2 2
p-1
a b+
a b ++
a b p-1
p
p
p

Cualquier trmino a la izquierda es de la forma:


i
a p-i bi
p
Donde:
i
=
p

i! H p-iL!
p!

Ahora, como p es primo entonces el factor p en p! no se cancela con ningn factor del denominador ya que p no
tiene factores estrictamente menores a l mismo. Por lo tanto:
i
=
p

i! H p-iL!
p!

siempre tiene al menos un factor p

Por lo tanto:
p

i
=
p

i! H p-iL!
p!

i
a p-i bi
p

"i

Por lo tanto:

i
a p-i bi 0 Hmod pL
p

Entonces tenemos que:


Ha + bL p - a p - b p

1 p-1
p-1
a b++
a b p-1 0 + + 0 Hmod pL
p
p

Ha + bL p - a p - b p 0 Hmod pL
Entonces:

Ha + bL p a p + b p Hmod pL.

Printed by Wolfram Mathematica Student Edition

Ha + bL p - a p - b p
18

a p-1 b + +

Ha + bL p - a p - b p 0 Hmod pL

a b p-1 0 + + 0 Hmod pL

Teora de los Nmeros I.nb

Entonces:

Ha + bL p a p + b p Hmod pL.
Teorema 12: Sea n N, entonces n5 y n tienen el mismo dgito en las unidades, es decir:
n5 n Hmod 10L

Demostracin: Por el Teorema 10 se tiene que:


n5 n Hmod 5L

(i)

Por otro lado, consideremos:


n5 n Hmod 2L

n5 - n 0 Hmod 2L

n In4 - 1M 0 Hmod 2L

n In2 - 1M In2 + 1M 0 Hmod 2L

n Hn - 1L Hn + 1L In2 + 1M 0 Hmod 2L

(i)

Si n es par entonces se cumple (i), si n es impar, entonces Hn + 1L es par y se cumple (i). Por lo tanto siempre se
cumple (i) entonces siempre:
n5 n Hmod 2L

(iii)

Por (i) y (iii) se tiene que:

5 n5 - n 2 n5 - n 10 n5 - n
Por lo tanto:

n5 n Hmod 10L.
Teorema 13: Sea n Z + un perfecto impar, entonces el factor de Euler es congruente a 1 mdulo 4 al igual
que su exponente, es decir:
n perfecto impar n = qa R2 q 1 Hmod 4L a 1 Hmod 4L

Demostracin: Como n es un perfecto impar, se tiene que:


n = qa R2
Es decir:
2b
2b
n = qa p1 1 pr r
Entonces calculamos:
2 b1

sHnL = sIqa p1

pr r M
2b

Como s es multiplicativa y cada primo es distinto entonces:


sHnL = sHqa L sI p1 1 M sI pr r M
2b

2b

En la demostracin de la forma de los perfectos impares asumimos que sHqa L era par con un solo 2 dentro de sus
factores entonces es de la forma:
sHqa L = 2 H2 l + 1L = 4 l + 2
Por lo tanto:

sHqa L 2 Hmod 4L

(i)

Printed by Wolfram Mathematica Student Edition


Como q es un primo impar, es de la forma
4 k + 1 4 k + 3, afirmamos que q es de la forma 4 k + 1 ya que si q es

de la forma 4 k + 3 sucede:
a

En la demostracin de la forma de los perfectos impares asumimos que sHqa L era par con un solo 2 dentro de sus
factores entonces es de la forma:
sHqa L = 2 H2 l + 1L = 4 l + 2

Teora de los Nmeros I.nb

19

Por lo tanto:

sHqa L 2 Hmod 4L

(i)

Como q es un primo impar, es de la forma 4 k + 1 4 k + 3, afirmamos que q es de la forma 4 k + 1 ya que si q es


de la forma 4 k + 3 sucede:
sHqa L = 1 + q + + qa

sHqa L = 1 + H4 k + 3L + + H4 k + 3La

(ii)

Ahora observemos los casos particulares de los exponentes:


Observamos que:

H4 k + 3L2 16 k 2 + 24 k + 9 9 1 Hmod 4L
H4 k + 3L2 1 Hmod 4L

Entonces multiplicando esta congruencia por si misma n veces nos da:


H4 k + 3L2 n 1 Hmod 4L
Por lo tanto:

s es par H4 k + 3Ls 1 Hmod 4L

(iii)

Si s es impar entonces:

H4 k + 3Ls H4 k + 3Ls-1 H4 k + 3L Hmod 4L


Como s - 1 es par, se cumple (iii) entonces:

H4 k + 3Ls H4 k + 3Ls-1 H4 k + 3L 4 k + 3 3 Hmod 4L


H4 k + 3Ls 3 Hmod 4L
Por lo tanto:

s es impar H4 k + 3Ls 3 Hmod 4L

(iv)

Los resultados (iii) y (iv) los usamos en (ii) donde hay dos casos:
Supongamos que a es par, entonces:

sHqa L = 1 + H4 k + 3L + + H4 k + 3La tiene a + 1 sumandos


Donde

a
2

+ 1 son pares y

a
2

son impares:

Es decir que:

1 + H4 k + 3L + + H4 k + 3La = I 2 + 1M "exponente par" + I 2 M "exponente impar"


a

Viendo

esto

como

congruencias

se

tiene

que:

I 2 + 1M "exponente par" + I 2 M "exponente impar" I 2 + 1M H1L + I 2 M H3L Hmod 4L


a

Ya que cada exponente par es congruente con 1 mdulo 4 y cada exponente impar es congruente con 3
mdulo 4. Simplificamos:
I 2 + 1M H1L + I 2 M H3L
a

a
2

+1+3

a
2

a
2

+ 1 1 Hmod 4L

Por lo tanto:

sHqa L = 1 + H4 k + 3L + + H4 k + 3La 1 Hmod 4L


sHqa L 1 Hmod 4L

Printed by Wolfram Mathematica Student Edition


CONTRADICCION

Ya que por (i) se tiene que sHqa L 2 Hmod 4L.


Por lo tanto a es impar. Entonces:

Ya que cada exponente par es congruente con 1 mdulo 4 y cada exponente impar es congruente con 3
mdulo 4. Simplificamos:

20

Teoraa de los Nmeros


a I.nb a
I 2 + 1M H1L + I 2 M H3L 2

+1+3

a
2

a
2

+ 1 1 Hmod 4L

Por lo tanto:

sHqa L = 1 + H4 k + 3L + + H4 k + 3La 1 Hmod 4L


sHqa L 1 Hmod 4L

CONTRADICCION

Ya que por (i) se tiene que sHqa L 2 Hmod 4L.


Por lo tanto a es impar. Entonces:

sHqa L = 1 + H4 k + 3L + + H4 k + 3La tiene a sumandos


Donde

a
2

son pares y

a
2

son impares:

Es decir que:

1 + H4 k + 3L + + H4 k + 3La = I 2 M "exponente par" + I 2 M "exponente impar"


a

Viendo esto como congruencias se tiene que:

I 2 M "exponente par" + I 2 M "exponente impar" I 2 M H1L + I 2 M H3L Hmod 4L


a

Ya que cada exponente par es congruente con 1 mdulo 4 y cada exponente impar es congruente con 3
mdulo 4. Simplificamos:
I 2 M H1L + I 2 M H3L 4
a

a
2

0 Hmod 4L

Por lo tanto:

sHqa L = 1 + H4 k + 3L + + H4 k + 3La 0 Hmod 4L


sHqa L 0 Hmod 4L

CONTRADICCION

Ya que por HiL se tiene que sHqa L 2 Hmod 4L.

Por lo tanto a no es ni par ni impar. Esto es una contradiccin que surge de asumir que q es de la forma 4 k + 3,
por lo tanto:
q=4k+1

q 1 Hmod 4L

(v)

Como se cumple (v) entonces se tiene que:


1 q q2 qa 1 Hmod 4L

(vi)

Por otro lado se tiene:

sHqa L = 1 + q + + qa

Donde tiene a + 1 sumandos y sHqa L es par, entonces necesariamente se tiene que:


q + + qa es impar

Ya que le sumamos 1 e se vuelve sHqa L que es par.


Observamos que necesariamente a es impar ya que si a es par, habr una cantidad par de sumandos en
q + + qa y eso implicara que la suma es par pero esto sera una contradiccin ya que la suma es impar.
Por lo tanto a es impar.
Entonces a puede ser de la forma 4 t + 1 4 t + 3. Por otro lado, (vi) nos garantiza que cada exponente de q es de
la forma 4 k ' + 1 entonces se tiene que:

sHqa L = 1 + q + + qa sHqa L = 1 + H4 k1 + 1L + + H4 ka + 1L
sHqa L = 1 + H4 k1 + 1L + + H4 ka + 1L sHqa L = 4 Hk1 + + ka L + H1 + + 1L + 1
Printed by Wolfram Mathematica Student Edition

Entonces:

a veces

q + + qa y eso implicara que la suma es par pero esto sera una contradiccin ya que la suma es impar.
Por lo tanto a es impar.

Teora de los Nmeros I.nb

21

Entonces a puede ser de la forma 4 t + 1 4 t + 3. Por otro lado, (vi) nos garantiza que cada exponente de q es de
la forma 4 k ' + 1 entonces se tiene que:

sHqa L = 1 + q + + qa sHqa L = 1 + H4 k1 + 1L + + H4 ka + 1L
sHqa L = 1 + H4 k1 + 1L + + H4 ka + 1L sHqa L = 4 Hk1 + + ka L + H1 + + 1L + 1
a veces

Entonces:

sHqa L = 4 k '' + Ha + 1L
Si a = 4 t + 3 entonces la igualdad anterior nos queda:
sHqa L = 4 k '' + H4 t + 3 + 1L
sHqa L = 4 k '' + 4 t + 4
sHqa L = 4 Hk '' + t + 1L
Y esto significa que:
sHqa L 0 Hmod 4L

CONTRADICCION

Ya que por (i) se tiene que sHq L 2 Hmod 4L. Por lo tanto:
a

a=4t+1
Y esto significa que:
a 1 Hmod 4L

(vii)

En conclusin, por (v) y (vii) tenemos que:


q 1 Hmod 4L a 1 Hmod 4L.

Ejemplo: Calcular 243 x Hmod 31L

Observamos que H2, 31L = 1 ya que ambos son primos distintos, entonces por el Teorema de Euler tenemos:
2fH31L 1 Hmod 31L

Como 31 es primo tenemos que:


fH31L = 31 - 1 = 30
Entonces:

230 1 Hmod 31L.


Ahora podemos escribir:

243 230 213 213 Hmod 31L


Al tanteo vemos que:
32 = 25 1 Hmod 31L

Entonces escribimos:

243 230 213 213 25 25 23 23 8 Hmod 31L


Por lo tanto:

243 8 Hmod 31L.


Ecuaciones & Congruencias
Teorema 14: Sean a Z, m Z+ , entonces se cumple:
$ t Z+ ' at 1 Hmod mL Ha, mL = 1

Printed by Wolfram Mathematica Student Edition

22

Teora de los Nmeros I.nb

Teorema 14: Sean a Z, m Z+ , entonces se cumple:


$ t Z+ ' at 1 Hmod mL Ha, mL = 1

Demostracin:
) Supongamos que $ t Z tal que:
at 1 Hmod mL

Entonces tenemos dos casos:


(1) Supongamos que t = 1, entonces se tiene que:

a1 1 Hmod mL a 1 Hmod mL m a - 1 m k = a - 1 mHkL + a H-1L = 1


Y esta combinacin lineal implica que:
Ha, mL 1 Ha, mL = 1

(2) Supongamos que t 2, entonces:

at 1 Hmod mL a at-1 1 Hmod mL m a at-1 - 1 m k = a Iat-1 M - 1 mHkL + a I-at-1 M = 1


Y esta combinacin lineal implica que:
Ha, mL 1 Ha, mL = 1.

En general se cumple que:

$ t Z+ ' at 1 Hmod mL Ha, mL = 1

) Supongamos que Ha, mL = 1, entonces por el Teorema de Euler se tiene que:


afHmL 1 Hmod mL

Sea t = fHmL, entonces se tiene que:


at 1 Hmod mL

Por lo tanto se tiene que:

Ha, mL = 1 $ t Z+ ' at 1 Hmod mL


En conclusin:

$ t Z+ ' at 1 Hmod mL Ha, mL = 1.


Ahora veremos congruencias donde aparecen variables, es decir, intentaremos resolver congruencias.

Teorema 15: Sean a, b Z , m Z + entonces la congruencia a x b Hmod mL tiene solucin s y slo s el


mximo comn divisor de a y m divide b. Es decir:
$ xo Z ' a xo b Hmod mL Ha, mL b

Demostracin:

) Tenemos la congruencia: a x b Hmod mL.


Entonces sea xo solucin a la congruencia, entonces:

a xo b Hmod mL m a xo - b m k = a xo - b a xo + HkL m = b.
Como la ecuacin diofantina asociada tiene solucin, entonces:
a xo + HkL m = b Ha, mL b.

) Sea Ha, mL b. Sabemos que:

$ x1 , k Z ' a x1 + m k = Ha, mL.


Entonces:

Printed by Wolfram Mathematica Student Edition

) Tenemos la congruencia: a x b Hmod mL.


Entonces sea xo solucin a la congruencia, entonces:

a xo b Hmod mL m a xo - b m k = a xo - b a xo + HkL m = b.

Teora de los Nmeros I.nb

23

Como la ecuacin diofantina asociada tiene solucin, entonces:


a xo + HkL m = b Ha, mL b.

) Sea Ha, mL b. Sabemos que:

$ x1 , k Z ' a x1 + m k = Ha, mL.


Entonces:

a x1 + m k b Ha x1 + m kL q = b a Hx1 qL + m Hk qL = b m H-k qL = a Hx1 qL - b.


Por lo tanto:

m a Hx1 qL - b.
Sea xo = x1 q, entonces:

m a xo - b a xo b Hmod mL.

Corolario: Sean a, b Z , m Z + entonces si Ha, mL = 1 entonces la congruancia a x b Hmod mL siempre


tiene solucin, es decir:
Ha, mL = 1 a x b Hmod mL simpre tiene solucin

Demostracin: Tenemos que, por el Teorema 15, la congreuncia a x b Hmod mL tiene solucin si Ha, mL b, ahora
si Ha, mL = 1 entonces para todo entero b se cumple que Ha, mL = 1 b. Por lo tanto a x b Hmod mL siempre tiene
solucin.

Teorema 16: Sean a, b Z , m Z + , xo Z una solucin particular de la congruencia a x b Hmod mL.


Entonces las soluciones incongruentes a la congruencia a x b Hmod mL son de la forma:
m
Ha,mL

xo +

t 80, 1, , Ha, mL - 1<

Demostracin: Reduccin al absurdo

Supongamos que $ ti , t j 80, 1, , Ha, nL - 1< ' ti t j , pero que se cumple que:
xo +

m
t,
Ha,mL i

xo +

m
t
Ha,mL i

m
Ha,mL

xo +

xo +

t j sean una misma solucin, es decir:

m
Ha,mL

t j Hmod mL.

Como trivialmente xo xo Hmod mL se tiene que:


m
t
Ha,mL i

m
Ha,mL

t j Hmod mL.

Esto implica que:


m

m
t
Ha,mL i

m
Ha,mL

m
Ha,mL

Iti - t j M.

t j,
(i)

Por otro lado tenemos que:

ti , t j 80, 1, , Ha, nL - 1< 0 ti Ha, mL 0 t j Ha, mL,


Entonces se tiene que:
ti - t j Ha, mL.
Entonces:
m
Ha,mL

Iti - t j M

m
Ha,mL

Ha, mL

Sustituimos esto en (i):

m
Ha,mL

Iti - t j M m.

Printed by Wolfram Mathematica Student Edition

m
24

m
Ha,mL

Iti - t j M.

(i)

Por otro lado tenemos que:

ti , t j 80, 1, , Ha, nL - 1< 0 ti Ha, mL 0 t j Ha, mL,

Teora de los Nmeros I.nb

Entonces se tiene que:


ti - t j Ha, mL.
Entonces:
m
Ha,mL

Iti - t j M

Ha, mL

m
Ha,mL

m
Ha,mL

Iti - t j M m.

Sustituimos esto en (i):


m

m
Ha,mL

Iti - t j M m,

m l

l m.

Esto quiere decir que m divide algo menor o igual que s mismo. Entonces:
m l l m.

(ii)

El nico nmero que cumple (ii) es el 0, entonces: m = 0. Entonces:


m
Ha,mL

Iti - t j M = 0 ti - t j = 0 ti = t j . CONTRADICCION.

Por lo tanto:
xo +

m
t
Ha,mL i

xo +

m
Ha,mL

T xo +

m
Ha,mL

t j Hmod mL

" ti , t j 80, 1, , Ha, nL - 1< ' ti t j .

En conclusin: todas las soluciones distintas (incongruentes) a la congruencia a x b Hmod mL estan dadas por:
t 80, 1, , Ha, mL - 1<.

Ejemplo: Encuentra las soluciones incongruentes de la congruencia: 32 x 28 Hmod 36L.


Primero encontramos una solucin particular:
Tenemos que:

32 x 28 Hmod 36L 48 x 47 Hmod 36L 8 x 7 Jmod

36
N
H4,36L

8 x 7 Hmod 9L

Observamos que: xo = 2 cumple la congruencia de arriba. Entonces las soluciones generales son:
x=2+

36
H32,36L

t x=2+

36
4

t x=2+9t

Ahora tomamos t 80, 1, 2, 3< ya que H32, 36L = 4 para obtener las soluciones incongruentes:
x = 2 + 9 H0L x = 2

x = 2 + 9 H1L x = 11
x = 2 + 9 H2L x = 20
x = 2 + 9 H3L x = 29
Por lo tanto:

x 2 Hmod 36L

x 11 Hmod 36L
x 20 Hmod 36L
x 29 Hmod 36L
Son las soluciones.

Teorema Chino del Residuo: Sean a1 , , an , m1 , , mn Z tales que Imi , m j M = 1

" i j 81, , n<,

entonces (i) tiene solucin nica ya que cualesquiera dos soluciones son congruentes mdulo el mnimo comn
Printed by Wolfram Mathematica Student Edition
mltiplo de todos los mdulos:
x a1 Hmod m1 L

Teorema Chino del Residuo: Sean a1 , , an , m1 , , mn Z tales que Imi , m j M = 1

" i j 81, , n<,

Teora de los Nmeros I.nb

25

entonces (i) tiene solucin nica ya que cualesquiera dos soluciones son congruentes mdulo el mnimo comn
mltiplo de todos los mdulos:
x a1 Hmod m1 L

x an Hmod mn L

Imi , m j M = 1 (i)

tiene solucin y es nico mdulo m1 mn

Demostracin: Sea M = m1 mn entonces consideremos,


M1 =

M
m1

= m2 mn

M2 =

M
m2

= m1 m3 mn

Mi =

M
mi

= m1 mi-1 mi+1 mn

Mn =

M
mn

= m1 mn-1

Observamos que HMi , mi L = 1 ya que de Mi se le quita el factor mi . Por lo tanto:


Mi x 1 Hmod mi L tiene solucin

Por lo tanto tenemos el sistema de congruencias resueltas:


M1 x1 1 Hmod m1 L
M2 x2 1 Hmod m2 L

Mn xn 1 Hmod mn L

Ahoramultiplicamos por ai a cada congruencia:


M1 x1 1 Hmod m1 L
M2 x2 1 Hmod m2 L

Mn xn 1 Hmod mn L

M1 x1 a1 a1 Hmod m1 L
M2 x2 a2 a2 Hmod m2 L

Mn xn an an Hmod mn L

(i)

Ahora consideremos l = M1 x1 a1 + + Mn xn an . Observamos que:


l Mi xi ai Hmod mi L

" i 81, , n<

Esto sucede ya que:

l M1 x1 a1 + M2 x2 a2 + + Mi xi ai + + Mn xn an Hmod mi L
Cada M j 0 Hmod mi L ya que mi M j = m1 mi-1 mi+1 mn
Entonces se tiene que:

l 0 x1 a1 + 0 x2 a2 + + Mi xi ai + + 0 xn an Hmod mi L
l Mi xi ai Hmod mi L

" i 81, , n<

Entonces por (i) se tiene que:


M1 x1 a1 a1 Hmod m1 L
M2 x2 a2 a2 Hmod m2 L

Mn xn an an Hmod mn L

Por lo tanto x = l es una solucin a


x a1 Hmod m1 L

l M1 x1 a1 a1 Hmod m1 L
l M2 x2 a2 a2 Hmod m2 L

l Mn xn an an Hmod mn L

Printed by Wolfram Mathematica Student Edition

l a1 Hmod m1 L
l a2 Hmod m2 L

l an Hmod mn L

Entonces se tiene que:


26

l 0 x1 a1 + 0 x2 a2 + + Mi
Teora de los Nmeros I.nb
l Mi xi ai Hmod mi L

xi ai + + 0 xn an Hmod mi L

" i 81, , n<

Entonces por (i) se tiene que:


M1 x1 a1 a1 Hmod m1 L
M2 x2 a2 a2 Hmod m2 L

Mn xn an an Hmod mn L

l M1 x1 a1 a1 Hmod m1 L
l M2 x2 a2 a2 Hmod m2 L

l Mn xn an an Hmod mn L

l a1 Hmod m1 L
l a2 Hmod m2 L

l an Hmod mn L

Por lo tanto x = l es una solucin a


x a1 Hmod m1 L

x an Hmod mn L

Ahora por el Teorema 6 se tiene que:


x l a1 Hmod m1 L
x l a2 Hmod m2 L

x l an Hmod mn L

x l Hmod m1 mn L

En conclusin el sistema de congruencias tiene solucin y es nica mdulo m1 m2 .


Ejemplo: Usando el mtodo usado en la demostracin del Teorema Chino del Residuo, encontra una solucin al
sistema de congruencias:
x 8 Hmod 5L
x 5 Hmod 3L
x 11 Hmod 7L
x 2 Hmod 4L

HiL

Primero simplificamos las congruencias:


x 8 Hmod 5L
x 5 Hmod 3L
x 11 Hmod 7L
x 2 Hmod 4L

x 8 3 Hmod 5L
x 5 2 Hmod 3L
x 11 4 Hmod 7L
x 2 Hmod 4L

x 3 Hmod 5L
x 2 Hmod 3L
x 4 Hmod 7L
x 2 Hmod 4L

Ahora veamos si se puede aplicar el Teorema Chino del Residuo:


H5, 12L = H5, 7L = H12, 7L = 1

Entonces definimos M = 5127, entonces tenemos que:


M1 =

M
5

= 127 = 84

M2 =

M
12

= 57 = 35

M3 =

M
7

= 512 = 60

Entonces encontramos las soluciones a:


M1 x1 1 Hmod 5L
M2 x2 1 Hmod 12L
M3 x3 1 Hmod 7L

84 x1 1 Hmod 5L
35 x2 1 Hmod 12L
60 x3 1 Hmod 7L

Se pueden sacar con el Algoritmo de Euclides pero por tiempo se tiene que:
x1 -1 Hmod 5L
x2 -1 Hmod 12L
x3 2 Hmod 7L

Printed by Wolfram Mathematica Student Edition

Entonces, por el Teorema Chino del Residuo tenemos que una solucin a (i) es:
l = M1 x1 a1 + M2 x2 a2 + M3 x3 a3

x 3 Hmod 5L
x 2 Hmod 12L
x 4 Hmod 7L

Entonces encontramos las soluciones a:


M1 x1 1 Hmod 5L
M2 x2 1 Hmod 12L
M3 x3 1 Hmod 7L

84 x1 1 Hmod 5L
35 x2 1 Hmod 12L
60 x3 1 Hmod 7L

Teora de los Nmeros I.nb

27

Se pueden sacar con el Algoritmo de Euclides pero por tiempo se tiene que:
x1 -1 Hmod 5L
x2 -1 Hmod 12L
x3 2 Hmod 7L

Entonces, por el Teorema Chino del Residuo tenemos que una solucin a (i) es:
l = M1 x1 a1 + M2 x2 a2 + M3 x3 a3

l = 84 H-1L H3L + 35 H-1L H2L + 60 H2L H4L


l = 158
Entonces:

x l Hmod 5127L
x 158 Hmod 420L

Ejemplo: Usando el Teorema Chino del Residuo, encuentra la solucin a la congruencia 13 x 17 Hmod 42L.
Son las soluciones de (i).

Tenemos que el mdulo se puede dividir ya que 42 = 237 entonces por el Teorema 6 se tiene que:
13 x 17 Hmod 42L

13 x 17 Hmod 2L
13 x 17 Hmod 3L
13 x 17 Hmod 7L

Este paso se puede ya que H2, 3L = H2, 7L = H3, 7L = 1. Todava no podemos aplicar el Teorema Chino del Residuo
entonces simplificamos:

13 x 12 x + x 17 Hmod 2L
13 x 12 x + x 17 Hmod 3L
13 x 6 x + 7 x 17 Hmod 7L

Como: 12 0 Hmod 2L, 12 0 Hmod 3L, 7 0 Hmod 7L, 6 -1 Hmod 7L, entonces sustituimos estos en los coeficientes:-

13 x 12 x + x 17 Hmod 2L
13 x 12 x + x 17 Hmod 3L
13 x 6 x + 7 x 17 Hmod 7L

13 x 0 x + x 17 Hmod 2L
13 x 0 x + x 17 Hmod 3L
13 x 6 x + 0 x 17 Hmod 7L

Por lo tanto se tiene el sistema de congruencias:


x 17 Hmod 2L
x 17 Hmod 3L
-x 17 Hmod 7L

(i)

Tambin se tiene que:

17 1 Hmod 2L 17 2 Hmod 3L 17 3 Hmod 7L


Entonces sustituimos en (i):
x 17 Hmod 2L
x 17 Hmod 3L
-x 17 Hmod 7L

x 1 Hmod 2L
x 2 Hmod 3L
x -3 Hmod 7L

x 1 Hmod 2L
x 2 Hmod 3L
x 4 Hmod 7L

Ahora aplicamos el Teorema Chino del Residuo:


Sea M = 237 = 42, entonces tenemos que:
M1 =

42
2

= 21

M2 =

42
3

= 14

Printed by Wolfram Mathematica Student Edition

13 x x 17 Hmod 2L
13 x x 17 Hmod 3L
13 x -x 17 Hmod 7L

17 1 Hmod 2L 17 2 Hmod 3L 17 3 Hmod 7L


Entonces sustituimos en (i):

28

Teora de
x los17Nmeros
Hmod 2LI.nb

x 17 Hmod 3L
-x 17 Hmod 7L

x 1 Hmod 2L
x 2 Hmod 3L
x -3 Hmod 7L

x 1 Hmod 2L
x 2 Hmod 3L
x 4 Hmod 7L

Ahora aplicamos el Teorema Chino del Residuo:


Sea M = 237 = 42, entonces tenemos que:
M1 =

42
2

= 21

M2 =

42
3

= 14

M3 =

42
7

=6

Entonces
a:

encontramos

M1 x1 1 Hmod 2L
M2 x2 1 Hmod 3L
M3 x3 1 Hmod 7L

21 x1 1 Hmod 2L
14 x2 1 Hmod 3L
6 x3 1 Hmod 7L

las

soluciones

x1 1 Hmod 2L
x2 2 Hmod 3L
x3 -1 Hmod 7L

Entonces la solucin esta dada por:


l = M1 x1 a1 + M2 x2 a2 + M3 x3 a3

l = 21 H1L H1L + 14 H2L H2L + 6 H-1L H4L


l = 53
Entonces:

x l Hmod 237L

x 53 11 Hmod 42L
x 11 Hmod 42L

Es la solucin de 13 x 17 Hmod 42L.


Lema: Sean a , b , g , a, b, c Z entonces se cumple que:

(1) min 8max 8a, b<, g< = max 8min 8a, g<, min 8b, g<<
(2) H@a, bD, cL = @Ha, cL, Hb, cLD

Demostracin:
(1) Sin prdida de generalidad, supongamos que a < b, entonces:
min 8max 8a, b<, g< = min 8b, g<.
Entonces tenemos tres casos:
(a) Supongamos que a < b < g, entonces:
min 8max 8a, b<, g< = min 8b, g< = b,

max 8min 8a, g<, min 8b, g<< = max 8a, b< = b,

Por lo tanto: min 8max 8a, b<, g< = max 8min 8a, g<, min 8b, g<<.
(b) Supongamos que a < g < b, entonces:
min 8max 8a, b<, g< = min 8b, g< = g,

max 8min 8a, g<, min 8b, g<< = max 8a, g< = g,

Por lo tanto: min 8max 8a, b<, g< = max


8min 8a, g<, min 8b, g<<.
Printed by Wolfram Mathematica Student Edition
(c) Supongamos que g < a < b, entonces:
min 8max 8a, b<, g< = min 8b, g< = g,

max 8min 8a, g<, min 8b, g<< = max 8a, b< = b,

Por lo tanto: min 8max 8a, b<, g< = max 8min 8a, g<, min 8b, g<<.

Teora de los Nmeros I.nb

29

(b) Supongamos que a < g < b, entonces:


min 8max 8a, b<, g< = min 8b, g< = g,

max 8min 8a, g<, min 8b, g<< = max 8a, g< = g,

Por lo tanto: min 8max 8a, b<, g< = max 8min 8a, g<, min 8b, g<<.
(c) Supongamos que g < a < b, entonces:
min 8max 8a, b<, g< = min 8b, g< = g,

max 8min 8a, g<, min 8b, g<< = max 8g, g< = g,

Por lo tanto: min 8max 8a, b<, g< = max 8min 8a, g<, min 8b, g<<.
Como en los tres casos se cumple, entonces concluimos que:
min 8max 8a, b<, g< = max 8min 8a, g<, min 8b, g<<.

(2) Sean (por el Teorema Fundamental de la Aritmtica de Teora de los Nmeros I y los teoremas sobre el
mnimo comn mltiplo y el mximo comn divisor de las representaciones en producto de primos):
a = pi ai , b = pi bi , c = pi gi
n

i=1

i=1

i=1

Entonces,
H@a, bD, cL = B pi ai , pi bi F, pi gi ,
n

i=1

i=1

i=1

H@a, bD, cL = pi max 8ai ,bi < , pi gi ,


n

i=1

i=1

H@a, bD, cL = pi min 8max 8ai ,bi <,gi < ,


n

i=1

Por el Lema 1,
H@a, bD, cL = pi max 8min 8ai ,gi <,min 8bi ,gi << ,
n

i=1

H@a, bD, cL = B pi min 8ai ,gi < , pi min 8bi ,gi < F,
n

i=1

i=1

H@a, bD, cL = B pi ai , pi gi , pi bi , pi gi F,
n

i=1

i=1

i=1

i=1

H@a, bD, cL = @Ha, cL, Hb, cLD.

Teorema 17: Sean a1 , , an , m1 , , mn Z , entonces el sistema de congruencias (i) tiene solucin s y slo
s el mximo comn divisor de cualesquiera dos mdulos divide a la resta de sus respectivas congruencias y
tambin se cumple que la solucin es nica mdulo el mnimo comn mltiplo de todos los mdulos. Es decir:

(i)

x a1 Hmod m1 L
x a2 Hmod m2 L

x an Hmod mn L

tiene solucin Imi , m j M ai - a j


Printed by Wolfram Mathematica Student Edition

30

Teora de los Nmeros I.nb

Teorema 17: Sean a1 , , an , m1 , , mn Z , entonces el sistema de congruencias (i) tiene solucin s y slo
s el mximo comn divisor de cualesquiera dos mdulos divide a la resta de sus respectivas congruencias y
tambin se cumple que la solucin es nica mdulo el mnimo comn mltiplo de todos los mdulos. Es decir:

(i)

x a1 Hmod m1 L
x a2 Hmod m2 L

x an Hmod mn L

tiene solucin Imi , m j M ai - a j

xo es solucin a (i) xo b Hmod @m1 , , mn DL

para alguna b Z

Demostracin: Sea,

(i)

x a1 Hmod m1 L
x a2 Hmod m2 L

x an Hmod mn L

un sistema de congruencias

) Supongamos que (i) tiene una solucin xo Z. Entonces:


xo ai Hmod mi L xo a j Imod m j M

" i, j 81, , n<.

Es decir:

mi xo - ai m j xo - a j .
Por otro lado, trivialmente se tiene que:
Imi , m j M mi Imi , m j M m j .
Entonces:

Imi , m j M mi xo - ai Imi , m j M m j xo - a j ,
Imi , m j M xo - ai Imi , m j M xo - a j ,
Entonces Imi , m j M divide la resta:
Imi , m j M Ixo - a j M - Hxo - ai L,
Imi , m j M ai - a j .

) Consideremos la primera congruencia: x a1 Hmod m1 L, las soluciones son las soluciones a la ecuacin
diofantina asociada:

x a1 Hmod m1 L m1 x - a1 k m1 = x - a1 x = a1 + k m1

" k Z.

Entonces x = a1 + k m1 " k Z es solucin a la congruencia x a1 Hmod m1 L.

Entonces tambin queremos que x = a1 + k m1 sea solucin a la siguiente congruencia x a2 Hmod m2 L, es decir:
x a2 Hmod m2 L a1 + k m1 a2 Hmod m2 L k m1 a2 - a1 Hmod m2 L.

Por hiptesis tenemos que Imi , m j M ai - a j , en especfico tenemos que Hm2 , m1 L a2 - a1 , entonces:
k m1 a2 - a1 Hmod m2 L tiene solucin.

Por el Teorema 5, tenemos que todas las soluciones a k m1 a2 - a1 Hmod m2 L estan dadas por:
k = xo +

m2
Hm2 ,m1 L

t " t Z. Donde xo es solucin particular a k m1 a2 - a1 Hmod m2 L.

Por lo tanto las soluciones a las primeras dos congruencias de (i) estan dads por:
x = a1 + k m1 " k Z x = a1 + Jxo +

m2
Hm2 ,m1 L

t N m1 " k, t Z,

Printed by Wolfram Mathematica Student Edition

x = a1 + m1 xo +

m 2 m1
Hm2 ,m1 L

x = a + m x + @m , m D t

" k, t Z,
" k, t Z.

Por hiptesis tenemos que Imi , m j M ai - a j , en especfico tenemos que Hm2 , m1 L a2 - a1 , entonces:
k m1 a2 - a1 Hmod m2 L tiene solucin.

Por el Teorema 5, tenemos que todas las soluciones a k m1 a2 - a1 Hmod m2 L estan dadas por:
k = xo +

m2
Hm2 ,m1 L

t " t Z. Donde xo es solucin particular a k m1 a2 - a1 Hmod m2 L.

Teora de los Nmeros I.nb

31

Por lo tanto las soluciones a las primeras dos congruencias de (i) estan dads por:
x = a1 + k m1 " k Z x = a1 + Jxo +
x = a1 + m1 xo +

m 2 m1
Hm2 ,m1 L

x = a1 + m1 xo + @m1 , m2 D t

m2
Hm2 ,m1 L

t N m1 " k, t Z,

" k, t Z,
" k, t Z.

Que es lo mismo que:

x a1 + m1 xo Hmod @m1 , m2 DL.

Entonces:

x a1 Hmod m1 L
x a2 Hmod m2 L

x a1 + m1 xo Hmod @m1 , m2 DL tienen las mismas soluciones.

Por lo tanto los siguientes sistemas son equivalentes:


x a1 Hmod m1 L
x a2 Hmod m2 L

x an Hmod mn L

x a1 + m1 xo Hmod @m1 , m2 DL
x a3 Hmod m3 L

x an Hmod mn L

Slo falta demostrar que la hiptesis se sigue cumpliendo en el nuevo sistema. Tenemos que:
Imi , m j M ai - a j

" i, j 83, , n<,

Entonces solo falta demostrar que:


I@m1 , m2 D, m j M a1 + m1 xo - a j

" j 83, , n<,

Y asi se demuestra que el mximo comn divisor de cualesquiera dos mdulos divide a la resta de sus respectivas
congruencias.
Por el Lema 2, tenemos que:

I@m1 , m2 D, m j M a1 + m1 xo - a j AIm1 , m j M, Im2 , m j ME a1 + m1 xo - a j .


Por otro lado tenemos trivialmente que:
Im1 , m j M m1 Im1 , m j M m1 xo .

(ii)

Im1 , m j M a1 - a j .

(iii)

Tambin, por hiptesis tenemos que Imi , m j M ai - a j , en especfico tenemos que

Ahora por (ii) y (iii) tenemos que:

Im1 , m j M m1 xo Im1 , m j M a1 - a j Im1 , m j M a1 + m1 xo - a j . (iv)

Por otro lado tenemos que a1 + m1 xo es solucin a x a2 Hmod m2 L por la construccin anterior, entonces tenemos
que:

x a2 Hmod m2 L a1 + m1 xo a2 Hmod m2 L m2 a1 + m1 xo - a2 .

Esto, por transitividad, implica:

m2 a1 + m1 xo - a2 Im2 , m j M a1 + m1 xo - a2 .

Adems, por hiptesis tenemos que Imi , m j M ai - a j , en especfico tenemos que:


Im2 , m j M a2 - a j .

Entonces tenemos que:

Printed by Wolfram Mathematica Student Edition

que:

32

x a2 Hmod m2 L
Teora de los Nmeros I.nb

a1 + m1 xo a2 Hmod m2 L m2 a1 + m1 xo - a2 .

Esto, por transitividad, implica:

m2 a1 + m1 xo - a2 Im2 , m j M a1 + m1 xo - a2 .

Adems, por hiptesis tenemos que Imi , m j M ai - a j , en especfico tenemos que:


Im2 , m j M a2 - a j .

Entonces tenemos que:

Im2 , m j M a1 + m1 xo - a2 Im2 , m j M a2 - a j .
Por lo tanto, Im2 , m j M divide la suma:

Im2 , m j M Ha1 + m1 xo - a2 L + Ia2 - a j M,


Im2 , m j M a1 + m1 xo - a j .

(v)

Entonces en general tenemos que:

Im1 , m j M a1 + m1 xo - a j Im2 , m j M a1 + m1 xo - a j .
Entonces por la definicin de mnimo comn mltiplo tenemos que se cumple:
AIm1 , m j M, Im2 , m j ME a1 + m1 xo - a j ,
Entonces se cumple que:

I@m1 , m2 D, m j M a1 + m1 xo - a j

" j 83, , n<.

Por lo tanto en el sistema:

x a1 + m1 xo Hmod @m1 , m2 DL
x a3 Hmod m3 L

x an Hmod mn L

se cumple la hiptesis: Imi , m j M ai - a j .

De igual manera se puede contruir el sistema equivalente:


x a1 + m1 xo Hmod @m1 , m2 DL
x a3 Hmod m3 L

x an Hmod mn L

x a Hmod @m1 , m2 , m3 DL
x a4 Hmod m4 L

x an Hmod mn L

con a Z

Donde igual se cumple la hiptesis y ambos sistemas tienen las mismas soluciones.
Repetimos este proceso anlogamente hasta quedarnos con una congruencia, es decir que las soluciones al sistema
original son las mismas a la ltima congruencia. Es decir:
x a1 Hmod m1 L
x a2 Hmod m2 L

x an Hmod mn L

x b Hmod @m1 , , mn DL

con b Z.

Y siempre tiene al menos una solucin; ms an, esa solucin es nica mdulo @m1 , , mn D.
Reciprocidad Cuadrtica
Ahora analizamos las congruencias con exponentes. Ya hemos visto un poco de esto con el Teorema de Euler pero
ahora investigaremos como resolver congruencias cuadrticas. Para hacer esto es necesario definir ciertos conceptos que nos ayudarn. En lo que sigue siempre consideraremos que Ha, mL = 1 y que p siempre es un primo impar.
Printed by Wolfram Mathematica Student Edition