You are on page 1of 42

Apuntes de Matematica Discreta

13. Clases de Restos Modulo m


Francisco Jose Gonzalez Gutierrez
Cadiz, Octubre de 2004
Universidad de Cadiz Departamento de Matematicas
ii
Leccion 13
Clases de restos m odulo m
Contenido
13.1 Conceptos Basicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
13.1.1 Denicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
13.1.2 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
13.2 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 359
13.2.1 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 359
13.2.2 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 359
13.2.3 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 361
13.3 Conjunto de las Clases de Restos Modulo m . . . . . . . . . . . . . . . . . . 366
13.3.1 Relacion de Equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 367
13.3.2 Clases de Equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 367
13.3.3 Conjunto Cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 368
13.4 Aritmetica en Zm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 369
13.4.1 Suma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 369
13.4.2 Bien Denida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370
13.4.3 Elemento Neutro para la Suma . . . . . . . . . . . . . . . . . . . . . . . . . . . 370
13.4.4 Elemento Opuesto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370
13.4.5 Producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
13.4.6 Bien Denido . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
13.4.7 Elemento Neutro para el Producto . . . . . . . . . . . . . . . . . . . . . . . . . 371
13.4.8 Elemento Inverso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
13.5 Euler, Fermat y Wilson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
13.5.1 Funcion de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
13.5.2 Teorema de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384
13.5.3 Corolario (Fermat) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 385
13.5.4 Teorema de Wilson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
13.6 Teorema Chino del Resto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 390
13.6.1 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 391
En su obra Disquisitiones Arithmeticae, publicada en 1801, Gauss introdujo en las Matematicas el con-
cepto de congruencia. Dada la analoga que exista entre ella y la igualdad algebraica, Gauss adopto el
smbolo , notacion que a un se utiliza para la congruencia.
la relacion de congruencia ha proporcionado las herramientas con las cuales se han demostrado impor-
tantes hechos en la Teora de N umeros, de hecho ha sido un instrumento de vital importancia para el
estudio de la divisibilidad en Z.
355
Universidad de Cadiz Departamento de Matematicas
Muchos problemas de Calculo con enteros muy grandes pueden reducirse a problemas equivalentes usando
enteros peque nos mediante el uso de las congruencias.
13.1 Conceptos Basicos
Comenzamos deniendo el concepto central de la leccion y analizando con detenimiento sus propiedades.
Distintos ejemplos aclararan los conceptos que se denen y permitiran una aplicacion directa de las
propiedades.
13.1.1 Denici on
Sea m un entero positivo y a, b dos n umeros enteros. Diremos que a y b son congruentes modulo m
si m divide a a b. Utilizaremos la notacion a b(mod m), es decir,
a b(mod m) m|a b
Ejemplo 13.1
80 20(mod 15), ya que 15|60
8 16(mod 4), ya que 4| 24
5 25(mod 10), ya que 10|20
12 3(mod 5), ya que 5|15
Ejemplo 13.2 Encontrar cinco n umero enteros distintos, cada uno los cuales sea congruente con 13
modulo 11.
Solucion
Sea a cualquiera de los n umeros buscados. Entonces,
a 13(mod 11) a = 13 + 11q, con q Z.
Si ahora tomamos, por ejemplo, q = 2, 1, 0, 1 o 2, tendremos los cinco n umeros buscados:
a = 13 + 11(2) = 9
a = 13 + 11(1) = 2
a = 13 + 11 0 = 13
a = 13 + 11 1 = 24
a = 13 + 11 2 = 35

13.1.2 Teorema
Sea m cualquier n umero entero positivo. Entonces,
(a) Cualquier n umero entero es congruente modulo m exactamente con uno de los enteros
0, 1,. . . . . ., m1.
(b) Dos n umeros enteros son congruentes entre s modulo m si, y solo si ambos dan el mismo resto
al dividirlos por m.
356
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Demostracion
(a) Probaremos que si a es un n umero entero cualquiera, entonces es congruente modulo m exactamente
con uno de los enteros 0, 1,. . . . . ., m1.
En efecto,
a Z y m Z
+
= Existen q y r, enteros y unicos : a = mq + r, con 0 r < m {(??)}
a r = mq, con 0 r < m
m|a r, con 0 r < m
a r(mod m), con 0 r < m

_
a 0(mod m)
o
a 1(mod m)
o
a 2(mod m)
.
.
.
o
a m1(mod m)
A este n umero r, unico, lo llamaremos menor residuo de a, modulo m.
(b) En efecto, sean a y b dos enteros cualesquiera.
Solo si. Si a b(mod m), entonces
a b = mq, con q Z.
Por otra parte, por el teorema de existencia y unicidad de cociente y resto (??), pueden
encontrarse q
1
, q
2
, r
1
y r
2
enteros, tales que
a = mq
1
+ r
1
y
a = mq
2
+ r
2
de aqu que
a b = m(q
1
q
2
) + r
1
r
2
.
Tenemos pues que
a b = mq
y
a b = m(q
1
q
2
) + r
1
r
2
y como el resto de dividir a b entre m es unico,
r
1
r
2
= 0
luego,
r
1
= r
2
es decir, a y b dan, ambos, el mismo resto al dividirlos por m.
Si. Recprocamente, supongamos que ambos, a y b, dan el mismo resto al dividirlos por m, es
decir, existen q
1
, q
2
y r, enteros, tales que
a = mq
1
+ r y b = mq
2
+ r.
Pues bien, restando miembro a miembro, tendremos que
a b = m(q
1
q
2
) m|a b a b(mod m)

357
Universidad de Cadiz Departamento de Matematicas
Ejemplo 13.3 Demuestrese que todo n umero primo mayor o igual que 5 es congruente con 1 o con 5,
modulo 6.
Solucion
Probaremos que
si p es primo y p 5, entonces p 1(mod 6) o p 5(mod 6).
En efecto, supongamos que la proposicion es falsa, es decir,
p es primo y p 5 y, sin embargo, p / 1(mod 6) y p / 5(mod 6).
Entonces, por (a) del teorema anterior, p 0(mod 6) o p 2(mod 6) o p 3(mod 6) o p 4(mod 6).
Pues bien,
Si p 0(mod 6), entonces 6|p lo cual es imposible ya que p es primo.
Si p 2(mod 6), entonces
6|p 2
y
2|6
_
_
_
= 2|p 2
y
2|2
_
_
_
= 2|p 2 + 2 = 2|p
y esto contradice el que p sea primo.
Si p 3(mod 6), entonces
6|p 3
y
3|6
_
_
_
= 3|p 3
y
3|3
_
_
_
= 3|p 3 + 3 = 3|p
y esto contradice el que p sea primo.
Si p 4(mod 6), entonces
6|p 4
y
2|6
_
_
_
= 2|p 4
y
2|4
_
_
_
= 2|p 4 + 4 = 2|p
y esto contradice el que p sea primo.
Hemos llegado, por tanto, a una contradiccion y la proposicion propuesta es cierta, es decir, p ha de ser
congruente modulo 6 con 1 o con 5.
Ejemplo 13.4 Demuestrese que si d|m y a b(mod m), entonces a b(mod d).
Solucion
Directamente de la transitividad de la relacion de divisibilidad,
d|m
a b(mod m) m|a b
_
= d|a b a b(mod d)

358
Matematica Discreta Francisco Jose Gonzalez Gutierrez
13.2 Propiedades
Veremos a continuacion algunas propiedades de las congruencias que son, con frecuencia, bastante utiles
13.2.1 Teorema
Sean a, b, c y m son tres enteros con m > 0. Se verica:
(a) a a(mod m).
(b) Si a b(mod m), entonces b a(mod m)
(c) Si a b(mod m) y b c(mod m), entonces a c(mod m)
Demostracion
Utilizaremos las propiedades de la divisibilidad (??).
(a) a a(mod m)
Teniendo en cuenta que m = 0,
m|0 m|a a a a(mod m)
(b) Si a b(mod m), entonces b a(mod m). En efecto,
a b(mod m) m|a b m|(1)(a b) = m|b a b a(mod m)
(c) Si a b(mod m) y b c(mod m), entonces a c(mod m). En efecto,
a b(mod m) m|a b
y
b c(mod m) m|b c
_

_
= m|(a b) + (b c) = m|a c = a c(mod m)

13.2.2 Teorema
Sean a, b, c, d, p y m, enteros con p = 0 y m > 0. Se verica:
(a) si a b(mod m) y c d(mod m), entonces a + c b + d(mod m) y ac bd(mod m).
(b) Si a b(mod m), entonces pa pb(mod m).
(c) Si p|a, p|b, m.c.d.(p, m) = 1 y a b(mod m), entonces
a
p

b
p
(mod m).
Demostracion
Utilizaremos, al igual que en el teorema anterior, las propiedades de la divisibilidad (??)
(a) si a b(mod m) y b c(mod m), entonces a + c b + d(mod m) y ac bd(mod m).
En efecto,
a b(mod m) m|a b
y
c d(mod m) m|c d
_

_
= m|(a b) + (c d) = m|(a + c) (b + d)
359
Universidad de Cadiz Departamento de Matematicas
luego,
a + c b + d(modm).
Analogamente,
a b(mod m) m|a b = m|ac bc
y
c d(mod m) m|c d = m|bc bd
_

_
= m|(ac bc) + (bc bd) = m|ac bd
por lo tanto,
ac bd(modm).
(b) Si a b(mod m), entonces pa pb(mod m). En efecto,
a b(mod m) m|a b = m|p(a b) = m|pa pb pa pb(mod m)
(c) Si p|a, p|b, m.c.d.(p, m) = 1 y a b(mod m), entonces
a
p

b
p
(mod m).
En efecto,
p|a
y
p|b
_

_
= p|a b
y
a b(mod m) m|a b q
1
Z : a b = mq
1
_

_
= p|mq
1
Pues bien, si p|mq
1
, como m.c.d.(p, m) = 1, tendremos que p|q
1
, es decir, q
1
= pq con q entero.
Entonces,
a b = mq
1
q
1
= pq
_
= a b = mpq =
a
p

b
p
= mq m

a
p

b
p
Consecuentemente,
a
p

b
p
(mod m)

Ejemplo 13.5 Demostrar que el cuadrado de cualquier n umero entero es divisible por 3 o es congruente
con 1 modulo 3.
Solucion
Sea a un n umero entero arbitrario. Por el teorema 13.1.2 a es congruente modulo 3 con 0, 1 o 2. Pues
360
Matematica Discreta Francisco Jose Gonzalez Gutierrez
bien,
a 0(mod 3) = a
2
0(mod 3) {(13.2.2 (a))}
3|a
2
a
2
es divisible por 3
o
a 1(mod 3) = a
2
1(mod 3) {(13.2.2 (a))}
o
a 2(mod 3) = a
2
4(mod 3) {(13.2.2 (a))}
3|a
2
4
a
2
4 = 3q
a
2
= 3q + 4
a
2
= 3(q + 1) + 1
3|a
2
1
a
2
1(mod 3)
luego a
2
es divisible por 3 o es congruente con 1 modulo 3.
Veamos ahora un corolario que generaliza algunos apartados del teorema anterior.
13.2.3 Corolario
Si a
i
b
i
(mod m) para 1 i n, entonces
(i)
n

i=1
a
i

n

i=1
b
i
(mod m)
(ii)
n

i=1
a
i

n

i=1
b
i
(mod m)
Demostracion
Procederemos, en ambos casos, por induccion.
(i)
n

i=1
a
i

n

i=1
b
i
(mod m)
Paso basico. Veamos que es cierto para n = 2. En efecto, por el teorema anterior,
a
1
b
1
(mod m)
a
2
b
2
(mod m)
_
= a
1
+ a
2
b
1
+ b
2
(mod m)
Paso inductivo. Supongamos que la proposicion es cierta para n = p, es decir,
si a
i
b
i
(mod m), i = 1, 2, . . . , p, entonces
p

i=1
a
i

p

i=1
b
i
(mod m)
Veamos que tambien se cumple para n = p + 1. En efecto, si
a
i
b
i
(mod m), i = 1, 2, . . . , p, p + 1
361
Universidad de Cadiz Departamento de Matematicas
entonces por la hipotesis de induccion y por ser cierta la propiedad para i = 2, tendremos que
p

i=1
a
i

p

i=1
b
i
(mod m)
a
p+1
b
p+1
(mod m)
_

_
=
p

i=1
a
i
+ a
p+1

p

i=1
b
i
+ b
p+1
(mod m) =
p+1

i=1
a
i

p+1

i=1
b
i
(mod m)
y, consecuentemente, la proposicion sera cierta para todo n.
(ii)
n

i=1
a
i

n

i=1
b
i
(mod m)
Basta aplicar el apartado (a) del teorema anterior y la igualdad
p+1

i=1
a
i
=
p

i=1
a
i
a
p+1
para llegar, al igual que en el apartado anterior, al resultado.
Ejemplo 13.6 Demostrar que si el ultimo dgito de un n umero n es t, entonces
n
2
t
2
(mod 10)
Solucion
En efecto, si
n = a
k
10
k
+ a
k1
10
k1
+ + a
1
10 + a
0
es la descomposicion polinomica de n, entonces a
0
= t, luego
n =
k

i=1
a
i
10
i
+ t
de aqu que
n t =
k

i=1
a
i
10
i
Ahora bien,
10 0(mod 10)
luego
10
i
0(mod 10), 1 i k
y tambien
a
i
10
i
0(mod 10), 1 i k
de aqu que por el corolario anterior,
k

i=1
a
i
10
i
0(mod 10).
Consecuentemente,
n t 0(mod 10)
y, por lo tanto,
n t(mod 10)
de donde resulta que
n
2
t
2
(mod 10)

362
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Ejemplo 13.7 Demostrar que el resto de dividir 20
4572
entre 7 es 1.
Solucion
En efecto,
21 0(mod 7)
1 1(mod 7)
_
= 20 1(mod 7) = 20
4572
(1)
4572
(mod 7) = 20
4572
1(mod 7)
es decir el resto es 1.
Ejemplo 13.8 Demostrar:
(a) Si a b(mod m), entonces m.c.d.(a, m) = m.c.d.(b, m).
(b) Si a b(mod m), entonces a
n
b
n
(mod m) para cualquier entero positivo n.
(c) Si a + b c(mod m), entonces a c b(mod m).
(d) Si a b(mod m) y d|a y d|m, entonces d|b.
Solucion
(a) Si a b(mod m), entonces m.c.d.(a, m) = m.c.d.(b, m). En efecto,
a b(mod m) m|a b q Z : a b = mq
Pues bien, sea d
1
= m.c.d(a, m) y d
2
= m.c.d(b, m). Entonces,
d
1
= m.c.d(a, m) =
_

_
d
1
|a
y
d
1
|m = d
1
|mq = d
1
|a b
_

_
= d
1
|a (a b) = d
1
|b
Es decir, d
1
divide a b y a m, por tanto dividira al maximo com un divisor de ambos, luego
d
1
|d
2
Analogamente,
d
2
= m.c.d(b, m) =
_

_
d
2
|b
y
d
2
|m = d
2
|mq = d
2
|a b
_

_
= d
2
|a b + b = d
2
|a
O sea, d
2
divide a a y a m, luego dividira al maximo com un divisor de ambos, de aqu que
d
2
|d
1
Finalmente, como d
1
y d
2
son enteros positivos, por la antisimetra de la relacion de divisibilidad
en Z
+
, d
1
sera igual a d
2
, es decir,
m.c.d.(a, m) = m.c.d.(b, m)
(b) Si a b(mod m), entonces a
n
b
n
(mod m) para cualquier entero positivo n.
Basta aplicar el apartado (ii) del corolario anterior para a
i
= a, 1 i n y b
i
= b, 1 i n
(c) Si a + b c(mod m), entonces a c b(mod m).
En efecto,
a + b c(mod m) m|a + b c m|a (c b) a c b(mod m)
363
Universidad de Cadiz Departamento de Matematicas
(d) Si a b(mod m) y d|a y d|m, entonces d|b.
En efecto,
a b(mod m) m|a b
y como d|m, por la transitividad de la relacion de divisibilidad, d|a b. As pues,
d|a
d|a b
_
= d|a (a b) = d|b

Ejemplo 13.9 Demostrar que para cualquier entero positivo n, el n umero 3 5


2n+1
+2
3n+1
es divisible
por 17.
Solucion
Observemos lo siguiente:
3 5
2n+1
= 3 (5
2
)
n
5 = 15 25
n
2
3n+1
= (2
3
)
n
2 = 2 8
n
Por otra parte,
15 2(mod 17)
25 8(mod 17) = 25
n
8
n
(mod 17)
_
= 15 25
n
2 8
n
(mod 17)
luego,
15 25
n
+ 2 8
n
0(mod 17)
es decir,
3 5
2n+1
+ 2
3n+1
0(mod 17)
por lo tanto, el n umero dado es divisible por 17.
Ejemplo 13.10 Demostrar por induccion que el n umero 7
2n
48n 1 es divisible por 2304 para
cualquier entero positivo n.
Solucion
Probaremos que
7
2n
48n 1 0(mod 2304)
o lo que es igual,
(7
2
)
n
48n + 1(mod 2304)
es decir,
49
n
48n + 1(mod 2304)
o sea,
(48 + 1)
n
48n + 1(mod 2304)
Procederemos por induccion.
Para n = 1 es cierto claramente.
Veamos si es cierto para n = 2. En efecto,
(48 + 1)
2
= 48
2
+ 2 48 + 1 (48 + 1)
2
= 48 2 + 1 + 2304
(48 + 1)
2
(48 2 + 1) = 2304
(48 + 1)
2
48 2 + 1(mod 2304)
364
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Supongamos que es cierto para n = p, es decir,
(48 + 1)
p
48p + 1(mod 2304)
Veamos que es cierto para n = p + 1. En efecto,
48 + 1 48 + 1(mod 2304) {Por ser cierto para n = 1}
(48 + 1)
p
48p + 1(mod 2304) {Por la hipotesis de induccion}
luego,
(48 + 1)
p
(48 + 1) (48p + 1)(48 + 1)(mod 2304).
Por otra parte,
(48p + 1)(48 + 1) = 2304p + 48 + 48p + 1
es decir,
(48p + 1)(48 + 1) [48(p + 1) + 1] = 2304p
de aqu que
(48p + 1)(48 + 1) 48(p + 1) + 1(mod 2304).
Finalmente, por la transitividad de la relacion de congruencia, de
(48 + 1)
p
(48 + 1) (48p + 1)(48 + 1)(mod 2304)
(48p + 1)(48 + 1) 48(p + 1) + 1(mod 2304)
se sigue que
(48 + 1)
p+1
48(p + 1) + 1(mod 2304).
Consecuentemente, la congruencia es cierta para cada entero positivo n, o sea,
(48 + 1)
n
48n + 1(mod 2304)
y, consecuentemente,
7
2n
48n + 1
es divisible por 2304 para cualquier entero positivo n.
Ejemplo 13.11 Calcular el resto de dividir 9
6n+1
+ 3
2n+1
487
2n
10 por 730.
Solucion
Observemos lo siguiente:
9
6n+1
+ 3
2n+1
487
2n
10 = (9
3
)
2n
9 + (3 487)
2n
3 10
= 729
2n
9 + 1461
2n
3 10
Pues bien,
729 1(mod 730) = 729
2n
(1)
2n
(mod 730)
= 729
2n
1(mod 730)
= 729
2n
9 9(mod 730)
9
6n+1
9(mod 730).
Por otra parte,
1461 1(mod 730) = 1461
2n
1
2n
(mod 730)
= 1461
2n
1(mod 730)
= 1461
2n
3 3(mod 730)
3
2n+1
487
2n
3(mod 730)
365
Universidad de Cadiz Departamento de Matematicas
de aqu que
9
6n+1
+ 3
2n+1
487
2n
12(mod 730)
es decir,
9
6n+1
+ 3
2n+1
487
2n
10 2(mod 730)
y, consecuentemente, el resto de dividir el n umero dado entre 730 es 2.
Ejemplo 13.12 Demostrar que para cualquier entero positivo n, el n umero 10
n
(9n1) +1 es divisible
por 9.
Solucion
En efecto,
10 1(mod 9) = 10
n
1(mod 9)
y
9n 0(mod 9) 9n 1 1(mod 9) 9n 1 1(mod 9)
luego,
10
n
(9n 1) 1(mod 9)
por lo tanto,
10
n
(9n 1) + 1 0(mod 9)
y, consecuentemente, el resto de dividir el n umero dado entre 9 es cero.
13.3 Conjunto de las Clases de Restos M odulo m
En este apartado veremos que la relacion de congruencia es de equivalencia y calcularemos el conjunto
cociente, al cual llamaremos Z
m
. Este conjunto sera {[0], [1], . . . , [m1]}, donde
[0] = {. . . , 2m, m, 0, m, 2m, . . .}
[1] = {. . . , 2m + 1, m + 1, 1, m + 1, 2m + 1, . . .}
y as sucesivamente.
Con esta interpretacion, cada elemento de Z
m
es considerado como el conjunto de todos los enteros
congruentes con un entero i tal que 0 i m1.
Esta es la razon de que la propiedad cclica de las congruencias sea tan importante. Si contamos desde 0
a 10 en base decimal, originamos un ciclo desde 0 a 9 y volvemos al 0. Por ejemplo, el cuentakilometros
de un coche es una instrumentacion fsica de esta propiedad. Los dgitos desde el 0 hasta el 9 se sit uan
en un crculo, y cuando este gira, tiene lugar la cuenta. Cuando un crculo pasa desde el 9 hasta el 0, el
siguiente crculo a su izquierda se incrementa en 1. El cuentakilometros vuelve a 0 de nuevo cuando el
coche recorre 100.000 kms. As pues, el cuentakilometros es una instrumentacion de Z
100.000
y cada una
de las ruedas de dgitos son instrumentaciones de Z
10
.
La informatica tambien es bastante dependiente de esta propiedad. Por ejemplo, un byte es un n umero
de ocho bits que vara desde 00000000 hasta 11111111; si a nadimos 1 a 11111111 volvemos de nuevo
a 00000000. Esta transicion se registra normalmente como un desbordamiento. El hecho de contar en
un ordenador, supone exactamente el mismo principio que el utilizado en el cuentakilometros. Ademas,
no importa lo potente que sea el mismo, siempre sera una maquina nita. As que cada esfuerzo para
tratar con los n umeros enteros es, basicamente, una aproximacion de los enteros por Z
m
para alg un
m lo sucientemente grande. Este hecho, combinado con la naturaleza cclica de Z
m
, es la base para
algoritmos utilizados en la generacion de n umeros aleatorios.
366
Matematica Discreta Francisco Jose Gonzalez Gutierrez
13.3.1 Relaci on de Equivalencia
Dado un entero m > 0, la relacion de congruencia modulo m es una relacion de equivalencia en el
conjunto de los n umeros enteros.
Demostracion
Se sigue directamente del teorema 13.2.2.
13.3.2 Clases de Equivalencia
Dado un n umero entero cualquiera a, su clase de equivalencia es el conjunto formado por todos los
enteros que dan el mismo resto que a al dividirlos entre m.
Demostracion
Recordemos que la clase de equivalencia de un elemento es el conjunto formado por todos los elementos
relacionados con el.
Pues bien, sea a es un n umero entero cualquiera. Entonces,
[a] = {x Z : x a(mod m)}
Por otra parte, el teorema de existencia y unicidad de cociente y resto, asegura que existen q

y r, enteros
y unicos tales que
a = mq

+ r, con 0 r < m
y si tenemos en cuenta el apartado (b) del teorema 13.1.2, tendremos que [a] estara formada por todos
los enteros que den resto r al dividirlos entre m, es decir,
[a] = {x Z : x = mq + r, con q Z}

Ejemplo 13.13 En el conjunto de los n umeros enteros se considera la clase de equivalencia modulo 5.
Hallar las clases de equivalencia del 22, 6, 0, 3, 5, 7, 18 y 20.
Solucion
El resto dividir 22 entre 5 es 3, luego
[22] = {5q + 3 : q Z} = {. . . , 17, 12, 7, 2, 3, 8, 13, 18, 23, . . .}
El resto de dividir 6 entre 5 es 4, luego
[3] = {5q + 4 : q Z} = {. . . , 16, 11, 6, 1, 4, 9, 14, 19, 24, . . .}
El resto de dividir 0 entre 5 es 0, luego,
[0] = {5q : q Z} = {. . . , 20, 15, 10, 5, 0, 5, 10, 15, 20, . . .}
El resto de dividir 3 entre 5 es 3, luego
[5] = [3]
El resto de dividir 5 entre 5 es 0, luego
[5] = [0]
367
Universidad de Cadiz Departamento de Matematicas
El resto de dividir 7 entre 5 es 2, luego
[7] = {5q + 2 : q Z} = {. . . , 18, 13, 8, 3, 2, 7, 12, 17, 22, . . .}
El resto de dividir 18 entre 5 es 3, luego
[18] = [3]
El resto de dividir 20 entre 5 es 0, luego
[20] = [0]

13.3.3 Conjunto Cociente


Al conjunto formado por las clases de equivalencia, es decir al conjunto cociente, lo llamaremos con-
junto de las clases de restos modulo m, lo notaremos por Z
m
y es
Z
m
= {[0], [1], . . . , [m1]}
Demostracion
Sean a y b dos enteros cualesquiera. Entonces,
[a] = [b] en Z
m
a y b dan el mismo resto al dividirlos por m en Z
a b(mod m) en Z {13.1.2 (b)}
de donde se sigue que
[a] = [b] en Z
m
a y b dan distinto resto al dividirlos por m en Z
a / b(mod m) en Z
Como al dividir cualquier n umero entero por m pueden aparecer m restos distintos (0, 1, , m 1),
querra esto decir que habra unicamente m clases distintas. Si tomamos el resto como representante de
cada clase, es decir,
[r] = {x Z : x = mq + r, con q Z}
el conjunto cociente sera
Z
m
= {[0], [1], , [m1]}

Nota 13.1 Observese que cualquier conjunto de m enteros que no sean congruentes entre s modulo
m dara lugar al mismo conjunto cociente. En efecto, sean m n umeros enteros a
0
, a
1
, , a
m1
que no
sean congruentes entre s dos a dos. Entonces, seg un hemos visto en el apartado anterior,
a
i
/ a
j
(mod m) en Z [a
i
] = [a
j
] en Z
m
con 0 i, j m1 e i = j. Entonces,
Z
m
= {[a
0
], [a
1
], , [a
m1
]}
y si suponemos, sin perdida de generalidad, que i es el resto de dividir a
i
entre m, tendremos que
[a
i
] = [i], 1 i m1

368
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Ejemplo 13.14 En el conjunto de los n umeros enteros se considera la relacion de equivalencia modulo
5. Hallar el conjunto cociente.
Solucion
Seg un hemos visto,
Z
5
= {[0], [1], [2], [3], [4]}
donde,
[0] = {. . . , 20 15, 10, 5, 0, 5, 10, 15, 20 . . .}
[1] = {. . . , 19, 14, 9, 4, 1, 6, 11, 16, 21 . . .}
[2] = {. . . , 18, 13, 8, 3, 2, 7, 12, 17, 22 . . .}
[3] = {. . . , 17, 12, 7, 2, 3, 8, 13, 18, 23 . . .}
[4] = {. . . , 16, 11, 6, 1, 4, 9, 14, 19, 24 . . .}
Veamos ahora que el conjunto de enteros {10, 9, 12, 8, 19} origina el mismo conjunto cociente. En efecto,
10 / 9(mod 5) en Z [10] = [9] en Z
5
10 / 12(mod 5) en Z [10] = [12] en Z
5
10 / 8(mod 5) en Z [10] = [8] en Z
5
10 / 19(mod 5) en Z [10] = [19] en Z
5
9 / 12(mod 5) en Z [9] = [12] en Z
5
9 / 8(mod 5) en Z [9] = [8] en Z
5
9 / 19(mod 5) en Z [9] = [19] en Z
5
12 / 8(mod 5) en Z [12] = [8] en Z
5
12 / 19(mod 5) en Z [12] = [19] en Z
5
8 / 19(mod 5) en Z [8] = [19] en Z
5
luego,
Z
5
= {[10], [9], [12], [8], [19]}
y, naturalmente,
[10] = [0]
[9] = [1]
[12] = [2]
[8] = [3]
[19] = [4]

13.4 Aritmetica en Z
m
13.4.1 Suma
Dados dos enteros cualesquiera a y b, denimos la suma en Z
m
en la forma siguiente:
[a] + [b] = [a + b]
Ejemplo 13.15 Sumar en el conjunto de las clases de restos modulo 5, Z
5
, las clases [31] y [58].
369
Universidad de Cadiz Departamento de Matematicas
Solucion
Seg un la denicion que acabamos de ver,
[31] + [58] = [89] = {x Z : x = 5q + 4, con q Z} = {. . . , 16, 11, 6, 1, 4, 9, 14, 19, 24 . . .} = [4]

Nota 13.2 Observese que en Z


5
las clases [16] y [63] son iguales, respectivamente, a las clases [31] y
[58], por lo tanto su suma ha de ser igual a la calculada en el ejemplo anterior. En efecto,
[16] + [63] = [79] = {x Z : x = 5q + 4, con q Z} = {. . . , 16, 11, 6, 1, 4, 9, 14, 19, 24 . . .} = [4]

13.4.2 Bien Denida


La suma esta bien denida, es decir, no depende de los representantes que se elijan en cada clase, en
el sentido de que si [a] = [a

] y [b] = [b

], entonces [a] + [b] = [a

] + [b

].
Demostracion
En efecto,
[a] = [a

] a a

(modm)
y
[b] = [b

] b b

(modm)
_

_
= a+b a

+b

(modm) = [a+b] = [a

+b

] [a] +[b] = [a

] +[b

La suma en Z
m
es asociativa y conmutativa. Veamos, a continuacion, cual es su elemento neutro.
13.4.3 Elemento Neutro para la Suma
El elemento neutro para la suma en Z
m
es la clase [0].
Demostracion
Sea [a] cualquiera de Z
m
y sea [e] el neutro para la suma. Entonces,
[e] + [a] = [a] [e + a] = [a]
e + a a(mod m)
e a a(mod m)
e 0(mod m)
[e] = [0]

13.4.4 Elemento Opuesto


Si [a] es cualquiera de Z
m
, entonces su opuesto es [a]
Demostracion
370
Matematica Discreta Francisco Jose Gonzalez Gutierrez
En efecto, sea [a

] el opuesto de [a]. Entonces,


[a] + [a

] = [0] [a + a

] = [0]
a + a

0(mod m)
a

a(mod m)
[a

] = [a]

13.4.5 Producto
Dados dos enteros cualesquiera a y b, denimos el producto en Z
m
en la forma siguiente:
[a] [b] = [a b]
13.4.6 Bien Denido
El producto esta bien denido, es decir, no depende de los representantes que se elijan en cada clase,
en el sentido de que si [a] = [a

] y [b] = [b

], entonces [a] [b] = [a

] [b

].
Demostracion
En efecto,
[a] = [a

] a a

(modm)
y
[b] = [b

] b b

(modm)
_

_
= a b a

(modm) = [a b] = [a

] [a] [b] = [a

] [b

El producto en Z
m
es asociativo y conmutativo.
13.4.7 Elemento Neutro para el Producto
El elemento neutro para la multiplicacion en Z
m
es la clase [1].
Demostracion
En efecto, para cada [a] de Z
m
, se verica que
[1] [a] = [1 a] = [a]

13.4.8 Elemento Inverso


Un elemento [a] de Z
m
admite inverso si, y solo si, a y m son primos entre si.
Demostracion
371
Universidad de Cadiz Departamento de Matematicas
En efecto, sea [a

] el inverso de [a] en Z
m
. Entonces,
[a

] [a] = [1] [a

a] = [1]
a

a 1(mod m)
a

a = 1 + mq, con q Z
aa

mq = 1
y esta ecuacion lineal con coecientes enteros tiene solucion si, y solo si
m.c.d.(a, m) = 1
es decir, si a y m son primos entre si.
Nota 13.3 Observemos lo siguiente:
[a] Z
m
0 a m1
por lo tanto,
Si m es primo, entonces m.c.d.(a, m) = 1 para todo a distinto de cero, luego todos los elementos
de Z
m
, excepto el cero, poseen inverso.
Si m no es primo, solo tendran inverso aquellos que sean primos con a.
Podemos concluir que una condicion necesaria y suciente para que todos los elementos de Z
m
posean
inverso es que m sea primo.
Nota 13.4 De aqu en adelante, y siempre que no haya peligro de confusion, escribiremos a en vez de
[a] para notar la clase de equivalencia de a en el conjunto Z
m
.
Ejemplo 13.16 Hallar los inversos de
(a) 2 en Z
11
(b) 7 en Z
15
(c) 7 en Z
16
(d) 5 en Z
13
Solucion
(a) Inverso de 2 en Z
11
.
Como 11 es primo, todos los elementos de Z
11
, excepto el cero, tienen inverso. Sea, pues, x el
inverso de 2 en Z
11
. Entonces,
x es el inverso de 2 en Z
11
2x = 1 en Z
11
2x 1(mod 11) en Z
11|2x 1 en Z
y Z : 2x 11y = 1
Obtendremos la solucion general de esta ecuacion diofantica utilizando el algoritmo de Euclides,
5 2
11 2 1
1 0
372
Matematica Discreta Francisco Jose Gonzalez Gutierrez
luego m.c.d.(2, 11) = 1. Ademas,
1 = 11 2 5 = (5) 2 + (1)(11)
de aqu que
x =
1(5)
1
+ k
(11)
1
, con k Z
= 5 11k
= 6 11 11k
= 11(1 k) + 6
= 11q + 6, tomando q = 1 k
es decir,
x = 6 en Z
11
luego el inverso de 2 en Z
11
es 6.
(b) Inverso de 7 en Z
15
.
Como 7 y 15 son primos entre s, 7 tendra inverso en Z
15
. Pues bien,
x es el inverso de 7 en Z
15
7x = 1 en Z
15
7x 1(mod 15) en Z
15|7x 1 en Z
x Z : 7x 15y = 1
Utilizaremos el algoritmo de Euclides para obtener una solucion general de esta ecuacion diofantica.
2 7
15 7 1
1 0
luego m.c.d.(7, 15) = 1 y
1 = 15 7 2 = (2) 7 + (1)(15)
de aqu que
x =
1(2)
1
+ k
(15)
1
, con k Z x = 2 15k, con k Z
x = 13 15 15k
x = 15(1 k) + 13
x = 15q + 13, con q Z
x = 13, en Z
15
luego el inverso de 7 en Z
15
es 13.
(c) Inverso de 7 en Z
16
.
Como 7 y 16 son primos entre s, 7 tendra inverso en Z
16
. Pues bien,
x es el inverso de 7 en Z
16
7x = 1 en Z
16
7x 1(mod 16) en Z
16|7x 1 en Z
x Z : 7x 16y = 1
Utilizaremos el algoritmo de Euclides para obtener una solucion general de esta ecuacion diofantica.
373
Universidad de Cadiz Departamento de Matematicas
2 3 2
16 7 2 1
2 1 0
luego m.c.d.(7, 16) = 1 y
1 = 7 2 3
2 = 16 2 7
_
= 1 = 7 3(16 2 7) = 1 = 7 7 + 3(16)
de aqu que
x =
1 7
1
+ k
(16)
1
=, con k Z x = 7 16k, con k Z
x = 16q + 7, (q = k), con q Z
x = 7, en Z
16
luego el inverso de 7 en Z
16
es 7.
(d) Inverso de 5 en Z
13
.
Como 13 es primo, todos los elementos de Z
13
, excepto el cero, tienen inverso. Lo calcularemos
utilizando un procedimiento analogo al utilizado en los apartados anteriores.
x es el inverso de 5 en Z
13
5x = 1 en Z
13
5x 1(mod 13) en Z
13|5x 1 en Z
x Z : 5x 13y = 1
Utilizaremos el algoritmo de Euclides para obtener una solucion general de esta ecuacion diofantica.
2 1 1 2
13 5 3 2 1
3 2 1 0
luego,
1 = 3 1 2
2 = 5 1 3
_
= 1 = 3 1(5 1 3) = (1) 5 + 2 3
1 = (1) 5 + 2 3
3 = 13 2 5
_
= 1 = (1) 5 + 2(13 2 5) = (5) 5 + 2 13
luego,
1 = (5) 5 + (2)(13)
de aqu que
x =
1(5)
1
+ k
(13)
1
=, con k Z x = 5 13k, con k Z
x = 8 13 13k, con k Z
x = 13(1 k) + 8, con k Z
x = 13q + 8, (q = 1 k), con q Z
x = 8, en Z
13
luego el inverso de 5 en Z
13
es 8.
374
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Ejemplo 13.17 Escribir las tablas de sumar y multiplicar en Z
5
y Z
6
.
Solucion
Z
5
= {[0], [1], [2], [3], [4]}
Opuestos.
El opuesto de [0] es, obviamente, [0].
El opuesto de [1] es, [5 1] = [4].
El opuesto de [2] es, [5 2] = [3].
El opuesto de [3] es, [5 3] = [2].
El opuesto de [4] es, [5 4] = [1].
Inversos. Como el 5 es primo, todos los elementos de Z
5
, excepto el [0] poseen inverso.
El inverso de [1] es [1].
El inverso de [2] es [3].
El inverso de [3] es [2].
El inverso de [4] es [4].
Tabla de sumar.
+ [0] [1] [2] [3] [4]
[0] [0] [1] [2] [3] [4]
[1] [1] [2] [3] [4] [0]
[2] [2] [3] [4] [0] [1]
[3] [3] [4] [0] [1] [2]
[4] [4] [0] [1] [2] [3]
Tabla de multiplicar.
[0] [1] [2] [3] [4]
[0] [0] [0] [0] [0] [0]
[1] [0] [1] [2] [3] [4]
[2] [0] [2] [4] [1] [3]
[3] [0] [3] [1] [4] [2]
[4] [0] [4] [3] [2] [1]
Z
6
= {[0], [1], [2], [3], [4], [5]}
Opuestos.
El opuesto de [0] es [0].
El opuesto de [1] es [5].
El opuesto de [2] es [4].
El opuesto de [3] es [3].
El opuesto de [4] es [2].
El opuesto de [5] es [1].
Inversos. Como el [6] no es primo, no todos los elementos de Z
6
tienen inverso.
m.c.d.(1, 6) = 1, luego [1] tiene inverso, el [1].
m.c.d.(2, 6) = 2, luego [2] no tiene inverso.
m.c.d.(3, 6) = 3, luego [3] no tiene inverso.
m.c.d.(4, 6) = 2, luego [4] no tiene inverso.
375
Universidad de Cadiz Departamento de Matematicas
m.c.d.(5, 6) = 1, luego [5] tiene inverso, el [5].
Tabla de sumar.
+ [0] [1] [2] [3] [4] [5]
[0] [0] [1] [2] [3] [4] [5]
[1] [1] [2] [3] [4] [5] [0]
[2] [2] [3] [4] [5] [0] [1]
[3] [3] [4] [5] [0] [1] [2]
[4] [4] [5] [0] [1] [2] [3]
[5] [5] [0] [1] [2] [3] [4]
Tabla de multiplicar.
[0] [1] [2] [3] [4] [5]
[0] [0] [0] [0] [0] [0] [0]
[1] [0] [1] [2] [3] [4] [5]
[2] [0] [2] [4] [0] [2] [4]
[3] [0] [3] [0] [3] [0] [3]
[4] [0] [4] [2] [0] [1] [2]
[5] [0] [5] [4] [3] [2] [1]
Nota 13.5 En Z se verica la ley de cancelacion, es decir, si a, b y c son tres n umeros enteros con
a = 0, se verica que
ab = ac = b = c
En Z
m
esta ley, en general, no se verica, es decir pueden encontrarse a = 0, b y c tales que
ab = ac y, sin embargo, b = c
Por ejemplo, en Z
4
2 1 = 2 3 y, sin embargo, 1 = 3
Observese, tambien, que en Z no existen divisores de cero, es decir, para cualquier par de enteros a y b
se verica
ab = 0 = a = 0 o b = 0
En Z
m
si existen divisores de cero, es decir pueden encontrarse a y b tales que
ab = 0 y, sin embargo, a = 0 y b = 0
Por ejemplo en Z
6
se tiene que
3 2 = 0 y, sin embargo, 3 = 0 y 2 = 0

Ejemplo 13.18 Resolver el siguiente sistema de ecuaciones en Z


7
.
x + 2y = 4
4x + 3y = 4
_
Solucion
Lo resolvemos por los tres metodos tradicionales de la matematica elemental.
376
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Sustitucion.
Despejamos x en la primera ecuacion y sustituimos en la segunda.
x + 2y = 4 = x + 2y + 5y = 4 + 5y = x = 4 + 5y
Entonces,
x = 4 + 5y
4x + 3y = 4
_
= 4 (4 + 5y) + 3y = 4
= 2 + 6y + 3y = 4
= 2 + 2y = 4
= 2y = 4 + 5
= 2y = 2
y como 7 es primo, todos los elementos de Z
7
tienen inverso, luego multiplicando ambos miembros
por el inverso de 2 se sigue que
y = 1
Pues bien,
x = 4 + 5y
y = 1
_
= x = 4 + 5 1 = x = 2
Igualacion.
Despejamos x en ambas ecuaciones.
x + 2y = 4 = x + 2y + 5y = 4 + 5y
= x = 4 + 5y
4x + 3y = 4 = 2 4x + 2 3y = 2 4
= x + 6y = 1
= x + 6y + 1y = 1 + 1y
= x = 1 + 1y
Igualando ambos resultados,
1 + 1y = 4 + 5y = 6 + 1 + 2y + 1y = 4 + 6 + 5y + 2y = 3y = 3 = y = 1
Consecuentemente,
x = 1 + 1y
y = 1
_
= x = 1 + 1 1 = x = 2
Reduccion.
Multiplicamos la primera ecuacion por 3, la segunda por 1 y las sumamos.
x + 2y = 4
4x + 3y = 4
_
=
3x + 6y = 5
4x + 3y = 4
_
= 2y = 2 = y = 1
Analogamente, multiplicando la primera por 2, la segunda por 1 y sumandolas posteriormente,
x + 2y = 4
4x + 3y = 4
_
=
2x + 4y = 1
4x + 3y = 4
_
= 6y = 5
= 6 1x = 6 5
= x = 2
377
Universidad de Cadiz Departamento de Matematicas

Ejemplo 13.19 Resolver la ecuacion x


2
+ 3x + 4 = 0 en Z
11
.
Solucion
x =
3
_
(3)
2
4 1 4
2 1
=
3

3 3 4 4
2
=
8

9 16
2
=
8

7
2
=
8

4
2
=
8

2
2
2
=
8 2
2
=
_

_
8 + 2
2
8 2
2
{El inverso de 2 es 6}
=
_
6 10
6 6
=
_
60
36
=
_
5
3

Ejemplo 13.20 Demostrar que en Z


p
, con p primo, se verica la igualdad (x + y)
p
= x
p
+ y
p
.
Solucion
Por el Teorema del Binomio, tendremos
(x + y)
p
= x
p
+
p1

k=1
_
p
k
_
x
pk
y
k
+ y
p
(13.1)
Pues bien,
_
p
k
_
=
p!
k!(p k)!
= k!
_
p
k
_
=
p!
(p k)!
= k!
_
p
k
_
= p(p 1) (p k + 1)
= p

k!
_
p
k
_
378
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Por otra parte, como p es primo, p y k seran primos entre s para 1 < k < p, es decir,
m.c.d.(p, k) = 1, 1 < k < p
y aplicando reiteradamente el ejemplo 13.??, tendremos que
m.c.d. (p, k!) = 1
As pues,
p

k!
_
p
k
_
y m.c.d. (p, k!) = 1
luego por el Lema de Euclides,
p

_
p
k
_
es decir,
_
p
k
_
0(mod p) para 1 < k < p
o lo que es igual,
_
p
k
_
= 0
para 1 < k < p en Z
p
. Por lo tanto,
p1

k=1
_
p
k
_
x
pk
y
k
=
p1

k=1
0x
pk
y
k
= 0.
Sustituimos este resultado en (13.1) y
(x + y)
p
= x
p
+ y
p

Ejemplo 13.21 Demostrar que para p, primo, 3


p
+ (2)
p
+ (1)
p
es divisible por p.
Solucion
Observemos lo siguiente: 3
p
+ (2)
p
+ (1)
p
sera divisible por p, si da resto cero al dividirlo por p, es
decir, si
3
p
+ (2)
p
+ (1)
p
0(mod p) en Z
lo cual es lo mismo que decir que
3
p
+ (2)
p
+ (1)
p
= 0 en Z
p
.
As pues, si probamos esto ultimo, tendremos resuelta la demostracion.
Pues bien,
3
p
+ (2)
p
+ (1)
p
= (3 + (2))
p
+ (1)
p
{Ejemplo anterior}
= 1
p
+ (1)
p
= (1 + (1))
p
{Ejemplo anterior}
= 0
p
= 0
y, consecuentemente, el n umero propuesto es divisible por p.
Ejemplo 13.22 En el conjunto Z
5
de las clases de restos modulo 5, se pide:
(a) Divisores de cero.
379
Universidad de Cadiz Departamento de Matematicas
(b) Elementos invertibles.
(c) Resolver el siguiente sistema de ecuaciones.
2x + y = 2
3x + 4y = 3
_
Solucion
(a) Veamos si Z
5
tiene divisores de cero.
Recordemos que
Z
5
no tiene divisores de cero a, b Z
5
: ab = 0 = a = 0 o b = 0
por lo tanto,
Z
5
tiene divisores de cero a, b Z
5
: ab = 0 y a = 0 y b = 0
Pues bien, sean a y b cualesquiera de Z
5
. Entonces,
ab = 0 en Z
5
ab 0(mod 5) en Z
5|ab en Z
5|a o 5|b en Z {Corolario ??}
a 0(mod 5) o a 0(mod 5) en Z
a = 0 o b = 0 en Z
5
Por lo tanto, Z
5
no tiene divisores de cero.
(b) Elementos invertibles. Como 5 es primo todos los elementos de Z
5
, excepto el 0, son invertibles.
(c) Resolvamos el sistema de ecuaciones propuesto.
2x + y = 2
3x + 4y = 3
_
Observese que la segunda ecuacion es igual a la primera multiplicada por 4, luego ambas ecuaciones
son equivalentes en Z
5
, entonces,
2x + y = 2 3x + 2x + y = 2 + 3x y = 2 + 3x : x Z
5
y las soluciones seran:
Para x = 0, y = 2
Para x = 1, y = 0
Para x = 2, y = 3
Para x = 3, y = 1
Para x = 4, y = 4

Ejemplo 13.23 Resolver las siguientes ecuaciones en los conjuntos de clases de restos que se indican.
(a) 5x = 8 en Z
6
.
(b) 15x = 6 en Z
21
380
Matematica Discreta Francisco Jose Gonzalez Gutierrez
(c) 3x = 27 en Z
6
.
(d) 3x = 8 en Z
6
.
(e) 12x = 45 en Z
3
.
Solucion
(a) 5x = 8 en Z
6
. Como 5 y 6 son primos entre s, 5 tendra inverso en Z
6
. Sea a dicho inverso. Entonces,
a es el inverso de 5 en Z
6
5a = 1 en Z
6
5a 1(mod 6) en Z
6|5a 1 en Z
6
y Z : 5a 6y = 1
Utilizaremos el algoritmo de Euclides para obtener la solucion general de esta ecuacion diofantica.
1 5
6 5 1
1 0
luego m.c.d.(5, 6) = 1 y
1 = 6 5 1 = (1)5 + (1)(6)
por lo tanto,
a =
1(1)
1
+ k
6
1
, con k Z a = 1 6k, con k Z
a = 5 6 6k, con k Z
a = 6(1 k) + 5, con k Z
a = 6q + 5, (q = 1 k) con q Z
a = 5 en Z
6
Pues bien,
5x = 8
5 es el inverso de 5
_
= 5 5x = 5 8 = 1 x = 40 = x = 4 en Z
6
(b) 15x = 6 en Z
21
. Como 15 y 21 no son primos entre s, 15 no tendra inverso en Z
21
. Utilizaremos,
pues, un metodo distinto al del apartado anterior para resolver esta ecuacion.
15x = 6 en Z
21
15x 6(mod 21) en Z
21|15x 6 en Z
y Z : 15x 21y = 6
y Z : 5x 7y = 2
Utilizaremos el algoritmo de Euclides para obtener la solucion general de esta ecuacion diofantica.
1 2 2
7 5 2 1
2 1 0
381
Universidad de Cadiz Departamento de Matematicas
luego m.c.d.(5, 7) = 1 y
1 = 5 2 2
2 = 7 5 1
_
= 1 = 5 2(7 5 1) = 1 = 3 5 + 2(7)
por lo tanto,
x =
2 3
1
+ k
7
1
, con k Z x = 7(k) + 6, con k Z
x = 7k
1
+ 6, (k
1
= k) con k
1
Z
Ahora bien, por el teorema de existencia y unicidad del cociente y el resto, para cada k
1
entero,
existiran q y r enteros y unicos tales que
k
1
= 3q + r, con 0 r < 3
es decir,
k
1
= 3q, o k
1
= 3q + 1, o k
1
= 3q + 2
luego,
x = 7k
1
+ 6 =
_

_
x = 7 3q + 6 = x = 21q + 6
x = 7(3q + 1) + 6 = x = 21q + 13
x = 7(3q + 2) + 6 = x = 21q + 20
Consecuentemente, las soluciones en Z
20
son
x = 6, o x = 13, o x = 20
(c) 3x = 27 en Z
6
. Como 3 y 6 no son primos entre s, 3 no tiene inverso en Z
6
. Procederemos, pues,
igual que en el apartado anterior.
3x = 27 en Z
6
3x = 3 en Z
6
3x 3(mod 6) en Z
6|3x 3 en Z
y Z : 3x 6y = 3
x = 2y + 1, con y Z
x = 2(3q + r) + 1, q Z y 0 r < 3 (??)

_
x = 6q + 1, q Z
o
x = 6q + 3, q Z
o
x = 6q + 5, q Z

_
x = 1, en Z
6
o
x = 3, en Z
6
o
x = 5, en Z
6
(d) 3x = 8 en Z
6
. Dado que 3 y 6 no son primos entre s, 3 no tiene inverso en Z
6
. Procederemos, pues,
igual que en el apartado anterior.
3x = 8 en Z
6
3x 8(mod 6) en Z
8|3x 8 en Z
y Z : 3x 6y = 8
Pero el maximo com un divisor de 3 y 6 no divide a 8, luego la ecuacion anterior no tiene solucion
en Z y, consecuentemente, la ecuacion propuesta tampoco la tiene en Z
6
.
382
Matematica Discreta Francisco Jose Gonzalez Gutierrez
(e) 12x = 45 en Z
3
.
Observese que
12 = 0 en Z
3
y 45 = 0 en Z
3
luego,
12x = 45 en Z
3
0 x = 0 en Z
3
x es cualquiera de Z
3
x = 0 o x = 1 o x = 2

13.5 Euler, Fermat y Wilson


Estudiaremos en este apartado tres importantes teoremas sobres congruencias. Introduremos previa-
mente la funcion de Euler
1
que nos permitira demostrar con facilidad tales teoremas.
13.5.1 Funci on de Euler
Dado un n umero entero positivo m, denimos la funcion (m) como el n umero de enteros positivos
primos con m y que sean menores o iguales que m. Su expresion es
(m) =

0<rm
1
siendo m.c.d.(r, m) = 1. A (m) la llamaremos funcion de Euler del n umero m.
Ejemplo 13.24 Por ejemplo,
(1) = 1
(2) = 1
(3) = 2
(4) = 2
(5) = 4
(6) = 2
(7) = 6
1
Leonhard Euler (Basilea 1707-San Petesburgo 1783), aprendio matematicas de su padre que haba estudiado con Jacques
I Bernouilli. Fue enviado a estudiar teologa a Basilea, donde siguio el curso de Jacques I Bernouilli, con cuyos hijos le unio
una gran amistad. Cuando estos fueron llamados a San Petesburgo por Catalina I, Euler los siguio en 1732, y all sucedio a
Daniel Bernouilli en la catedra de matematicas. Desgraciadamente, en 1735, una congestion cerebral le hizo perder el ojo
derecho, y una ceguera progresiva le aigio durante buena parte de su existencia. En 1736 publico un tratado completo de
mecanica, en el cual aplico el analisis matematico a la ciencia del movimiento. En 1741 fue invitado a Berln por Federico
II, que en 1744 le nombro director de la clase de matematicas de la Academia de Berln. En esta epoca construyo su Teora
de los isopermetros, que permite determinar las curvas o las supercies para las cuales ciertas funciones indenidas son
mayores o menores que para todas las otras. Este problema solo haba recibido antes soluciones parciales. Euler desarrollo
el metodo contenido en estas soluciones parciales y lo denio en formula general. Tambien publico Teora del movimiento
de los planetas y de los cometas y Teora de la imantacion, y resolvio para el rey de Prusia los principales problemas de
balstica. Con todo, sus dos grandes obras de analisis son Introduccion al analisis de los innitesimos (1748) e Instituciones
del calculo diferencial (1755), que han sido clasicas durante mucho tiempo. Regreso a San Petesburgo en 1766, perdi o el
ojo que le quedaba, a pesar de lo cual siguio trabajando. De 1768 a 1770 aparecieron sus Instituciones del calculo integral.
Aunque una operacion de cataratas le devolvio parcialmente al vista, su curacion no fue completa. Murio de un ataque de
apopleja.
383
Universidad de Cadiz Departamento de Matematicas
(8) = 4
Nota 13.6 Observese que si p es un n umero primo, entonces todos los enteros positivos menores que
p son primos con p, luego
(p) = p 1

13.5.2 Teorema de Euler


Si a es invertible en Z
m
, entonces a
(m)
= 1 en Z
m
.
Demostracion
Supongamos que en Z
m
hay k elementos invertibles r
1
, r
2
, , r
k
. Entonces, m.c.d.(r
i
, m) = 1, 1 i k
luego (m) = k.
Veremos que ar
1
, ar
2
, , ar
k
son tambien k elementos invertibles en Z
m
. En efecto,
ar
i
es invertible en Z
m
para 1 i k (supondremos a = 1 en Z
m
para evitar el caso trivial).
En efecto,
a es invertible en Z
m
= m.c.d.(a, m) = 1
r
i
es invertible en Z
m
= m.c.d.(r
i
, m) = 1
_
(??)
= m.c.d.(ar
i
, m) = 1 = ar
i
es invertible en Z
m
Probaremos ahora que los ar
i
, 1 i k son distintos dos a dos, es decir tambien hay k elementos
invertibles de la forma ar
i
.
En efecto, si i = j y, sin embargo, ar
i
= ar
j
, entonces si a
1
es el inverso de a, tendremos
ar
i
= ar
j
= a
1
ar
i
= a
1
ar
j
= r
i
= r
j
lo cual es imposible ya que r
i
= r
j
.
Veamos ahora que ar
i
= r
j
con i = j en Z
m
. En efecto, por el teorema de existencia y unicidad del
cociente y resto, existen enteros q
i
y r, unicos, tales que
ar
i
= mq
i
+ r : 0 < r < m.
Pues bien, sea d = m.c.d.(m, r). Entonces
d|r
y
d |m = d |mq
i
_

_
= d |mq
i
m + r = d |ar
i
luego
d|m
y
d|ar
i
_
_
_
= d|m.c.d.(m, ar
i
)
= d|1
= d = 1
= m.c.d.(m, r) = 1
= r es invertible en Z
m
= r = r
j
, con j = i
384
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Si ahora multiplicamos miembro a miembro ar
i
= r
k
, 1 i, j k y reordenamos,
ar
1
ar
2
ar
k
= r
1
r
2
r
k
en Z
m
o sea,
a
k
r
1
r
2
r
k
= r
1
r
2
r
k
en Z
m
y como
m.c.d.(r
1
r
2
r
k
, m) = 1 (??)
resulta que r
1
r
2
r
k
es invertible. Bastara multiplicar ambos miembros por su inverso para obtener
a
k
= 1 en Z
m
es decir,
a
(m)
= 1 en Z
m

El segundo de los teoremas es, en realidad, un corolario al teorema de Euler y se debe a Fermat
2
13.5.3 Corolario (Fermat)
Si a es invertible en Z
p
con p primo, entonces
a
p1
= 1 en Z
p
Demostracion
En efecto, al ser p primo, sera (p) = p 1. Aplicamos el teorema de Euler para m = p, y
a
p1
= 1 en Z
p

Ejemplo 13.25 Encontrar el resto que se obtiene al dividir 23


2587
entre 7.
Solucion
Por el teorema de existencia y unicidad de cociente y resto, existiran q y r, enteros y unicos tales que
23
2587
= 7q + r, 0 r < 7
luego,
23
2587
= r en Z
7
.
Bastara, pues, con resolver esta ecuacion.
Como m.c.d.(23, 7) = 1, 23 es invertible en Z
7
, ademas 7 es primo luego por el teorema de Fermat,
23
6
= 1 en Z
7
.
2
Pierre de Fermat, matematico frances (Beaumont-de-Lomagne 1601-Castres 1665). Fue consejero del parlamento de
Tolouse (1631). Pascal le llamo el primer hombre del mundo y on siempre pudo seguirle en sus investigaciones. Fermat
que rara vez publicaba sus descubrimientos, e incluso olvidaba anotar las demostraciones matematicas que iba encontrando,
por lo que gran n umero de sus trabajos se han perdido. DAlambert, Lagrange y Laplace le concedieron el honor de haber
tenido la primera idea sobre el calculo diferencial. Desde 1636, las cartas de Fermat prueban que ya representaba las
curvas mediante ecuaciones, antes de la publicacion de la geometra de Descartes. Asimismo, es opinion de Laplace que
Fermat deba compartir con Pascal el honor de haber inventado el calculo de probabilidades. Sus principales escritos fueron
publicados por su hijo Samuel (1679), con el ttulo de Varia opera mathematica. En ellos se encuentran enunciados varios
principios y teoremas que en la actualidad son conocidos y estudiados.
385
Universidad de Cadiz Departamento de Matematicas
Por otra parte,
2587 = 6 431 + 1
luego,
23
2587
=
_
23
6
_
431
23.
Entonces,
23
6
= 1 en Z
7
=
_
23
6
_
431
= 1 en Z
7
23 = 2 en Z
7
_
=
_
23
6
_
431
23 = 2 en Z
7
= 23
2587
= 2 en Z
7
es decir el resto buscado es 2.
Ejemplo 13.26 Calcular el resto de dividir 3
47
entre 23.
Solucion
Al igual que en el ejercicio anterior, el teorema de existencia y unicidad de cociente y resto asegura la
existencia de dos enteros, q y r, unicos tales que
3
47
= 23q + r, 0 r < 23
y esto es lo mismo que decir que
3
47
= r en Z
23
.
Pues bien, como 3 y 23 son primos entre s, 3 es invertible y ademas 23 es primo, luego por el teorema
de Fermat,
3
22
= 1 en Z
23
.
Por otra parte,
47 = 22 2 + 3
luego
3
47
=
_
3
22
_
3
3
y
3
22
= 1 en Z
23
=
_
3
22
_
2
= 1 en Z
23
3
3
= 4 en Z
23
_
=
_
3
22
_
2
3
3
= 1 4 en Z
23
= 3
47
= 4 en Z
23
y, consecuentemente, el resto pedido es 4
Ejemplo 13.27 Demostrar que el n umero
_
27
4
_
9

_
25
3
_
6
es divisible por 37.
Solucion
Probaremos que
_
27
4
_
9

_
25
3
_
6
= 0 en Z
37
En efecto,
_
27
4
_
9

_
25
3
_
6
= 27
36
5
36
y al ser 37 un n umero primo, 27 y 5 seran primos con el, luego ambos son invertibles en Z
37
. Aplicando
el teorema de Fermat,
27
36
= 1 en Z
37
5
36
= 1 en Z
37
_
= 27
36
5
36
= 0 en Z
37
=
_
27
4
_
9

_
25
3
_
6
= 0 en Z
37
es decir el n umero propuesto es divisible por 37
Ejemplo 13.28 Demostrar:
(a) Si a = b en Z
mi
1 i k, entonces a = b en Z
m.c.m.(m1,m2,...,m
k
)
386
Matematica Discreta Francisco Jose Gonzalez Gutierrez
(b) 2
132
1 es divisible por 3 13 23
Solucion
(a) Si a = b en Z
mi
1 i k, entonces a = b en Z
m.c.m.(m1,m2,...,m
k
)
En efecto,
a = b en Z
mi
, i = 1, 2, . . . , k a b = 0 en Z
mi
, i = 1, 2, . . . , k
m
i
|a b , i = 1, 2, . . . , k
= m.c.m. (m
1
, m
2
, . . . , m
k
) |a b
a b = 0 en Z
m.c.m.(m1,m2,...,m
k
)
a = b en Z
m.c.m.(m1,m2,...,m
k
)
(b) 2
132
1 es divisible por 3 13 23
Probaremos que
2
132
1 = 0 en Z
31323
En efecto, como 3, 13 y 23 son primos, 2 es invertible en Z
3
, Z
13
y Z
23
, luego por el teorema de
Fermat,
2
2
= 1 en Z
3
2
12
= 1 en Z
13
2
22
= 1 en Z
23
y
2
2
= 1 en Z
3
=
_
2
2
_
66
= 1 en Z
3
= 2
132
= 1 en Z
3
2
12
= 1 en Z
13
=
_
2
12
_
11
= 1 en Z
13
= 2
132
= 1 en Z
13
2
22
= 1 en Z
23
=
_
2
22
_
6
= 1 en Z
23
= 2
132
= 1 en Z
23
Aplicando el apartado (a)
2
132
= 1 en Z
m.c.m.(3,13,23)
y como m.c.m. (3, 13, 23) = 3 13 23, resulta
2
132
= 1 en Z
31323
es decir,
2
132
1 = 0 en Z
31323
y, consecuentemente, 2
132
1 es divisible por 3 13 23.

Ejemplo 13.29 Demostrar que para cualquier entero positivo n, siempre se verica que n
37
n es
divisible por 383838. (Sugerencia: 383838 = 37 19 13 7 3 2).
Solucion
Sea n cualquiera de Z
+
. Por el teorema de existencia y unicidad del cociente y resto, existiran q
1
, q
2
, q
3
,
387
Universidad de Cadiz Departamento de Matematicas
q
4
, q
5
, q
6
y r
1
, r
2
, r
3
, r
4
, r
5
, r
6
, enteros y unicos tales que
n = 37q
1
+ r
1
, 0 r
1
< 37
n = 19q
2
+ r
2
, 0 r
2
< 19
n = 13q
3
+ r
3
, 0 r
3
< 13
n = 7q
4
+ r
4
, 0 r
4
< 7
n = 3q
5
+ r
5
, 0 r
5
< 3
n = 2q
1
+ r
6
, 0 r
6
< 2
es decir, tales que
n = r
1
en Z
37
n = r
2
en Z
19
n = r
3
en Z
13
n = r
4
en Z
7
n = r
5
en Z
3
n = r
6
en Z
2
Ahora bien, 37, 19, 13, 7, 3 y 2 son primos, luego
m.c.d.(r
1
, 37) = 1
m.c.d.(r
2
, 19) = 1
m.c.d.(r
3
, 13) = 1
m.c.d.(r
4
, 7) = 1
m.c.d.(r
5
, 3) = 1
m.c.d.(r
6
, 2) = 1
es decir, r
1
, r
2
, r
3
, r
4
, r
5
y r
6
son invertibles en Z
37
, Z
19
, Z
13
, Z
7
, Z
3
y Z
2
, respectivamente. Aplicamos
el teorema de Fermat, y
r
36
1
= 1 en Z
37
r
18
2
= 1 en Z
19
= r
36
2
= 1 en Z
19
r
12
3
= 1 en Z
13
= r
36
3
= 1 en Z
13
r
6
4
= 1 en Z
7
= r
36
4
= 1 en Z
7
r
2
5
= 1 en Z
3
= r
36
5
= 1 en Z
3
r
6
= 1 en Z
2
= r
36
6
= 1 en Z
2
y
n = r
1
en Z
37
= n = r
1
en Z
37
n = r
2
en Z
19
= n
36
= r
36
2
en Z
19
n = r
3
en Z
13
= n
36
= r
36
3
en Z
13
n = r
4
en Z
7
= n
36
= r
36
4
en Z
7
n = r
5
en Z
3
= n
36
= r
36
5
en Z
3
n = r
6
en Z
2
= n
36
= r
36
6
en Z
2
388
Matematica Discreta Francisco Jose Gonzalez Gutierrez
por lo tanto,
n
36
= 1 en Z
37
n
36
= 1 en Z
19
n
36
= 1 en Z
13
n
36
= 1 en Z
7
n
36
= 1 en Z
3
n
36
= 1 en Z
2
de aqu que por el ejercicio anterior,
n
36
= 1 en Z
m.c.m.(37,19,13,7,3,2)
es decir,
n
36
= 1 en Z
371913732
o sea,
n
36
= 1 en Z
383838
y como
n = n en Z
383838
tendremos que
n
37
= n en Z
383838
y, consecuentemente,
n
37
n = 0 en Z
383838
o lo que es igual
n
37
n es divisible por 383838

En 1770, el matematico ingles Edward Waring publico en Meditationes Algebraicae varios teoremas
nuevos. Uno de ellos reeja una importante propiedad de los n umeros primos. Lleva el nombre de John
Wilson, alumno de Waring.
13.5.4 Teorema de Wilson
Si p es un n umero primo, entonces (p 1)! = 1 en Z
p
.
Demostracion
Como p es primo, todos los elementos de Z
p
, excepto el 0, son invertibles. Ademas, los unicos elementos
de Z
p
que coinciden con sus inversos son 1 y p 1. En efecto, sea r cualquiera de Z
p
y sea x su inverso.
Entonces,
x = r r r = 1 en Z
p
r
2
1 = 0 en Z
p
(r + 1)(r 1) = 0 en Z
p
p|(r + 1)(r 1)
p|r + 1 o p|r 1 {p es primo}
r + 1 = 0 o r 1 = 0 en Z
p
r = 1 o r = 1 en Z
p
r = p 1 o r = 1 en Z
p
389
Universidad de Cadiz Departamento de Matematicas
por lo tanto,
x = r r = 1 y r = p 1 en Z
p
es decir,
r {2, 3, . . . , p 2} x {2, 3, . . . , p 2}
luego el producto de todos ellos es 1 en Z
p
, o sea,
2 3 (p 2) = 1 en Z
p
y como
p 1 = 1 en Z
p
multiplicando ambas igualdades miembro a miembro,
2 3 (p 2)(p 1) = 1(1) en Z
p
y, consecuentemente,
(p 1)! = 1 en Z
p

Ejemplo 13.30 Demostrar que 138! + 197


138
es divisible por 139.
Solucion
Probaremos que 138! + 197
138
= 0 en Z
139
. En efecto, 139 es primo, luego por el teorema de Wilson,
(139 1)! = 1 en Z
139
es decir,
138! = 1 en Z
139
Por otra parte, 139 y 197 son primos entre s, luego por el teorema de Fermat,
197
1391
= 1 en Z
139
o sea,
197
138
en Z
139
y sumando ambos resultados,
138! + 197
138
= 0 en Z
139
Consecuentemente, 138! + 197
138
es divisible por 139.
13.6 Teorema Chino del Resto
En este apartado, estableceremos el Teorema Chino del resto, resultado que aparece en los mas impor-
tantes manuscritos chinos de la antig uedad, como en los trabajos de Sun Tsu en el siglo I. Tambien, y
en esa misma epoca, es conocido por el neopitagorico Nicomaco.
3
3
Vivio cerca de Jerusalen alrededor del a no 100. Parece ser que tena ascendencia siria, pero lo cierto es que en su obra
predominan las tendencias losocas griegas. Es autor de la Introductio Aritmeticae de la que nos han llegado solo dos
libros, pero es posible que esta sea solamente una version abreviada de un tratado originalmente mas extenso. Esta obra
comienza con la ya veterana clasicacion pitagorica de los n umeros pares e impares, siguen las deniciones de los n umeros
primos, compuestos y perfectos, incluyendo una descripcion de la criba de Eratostenes y una lista de los cuatro primeros
n umeros perfectos (6,28, 496 y 8128). La obra incluye tambien una clasicacion de las razones y de las combinaciones de
razones (puesto que las razones entre enteros son esenciales para la teora pitagorica de los intervalos musicales), un amplio
tratamiento del tema favorito de la aritmetica pitagorica, los n umeros gurados en dos y tres dimensiones, y una exposicion
exhaustiva de los diversos tipos de medias (de nuevo un tema favorito de la matematica y de la losofa pitagoricas). Como
tantos otros escritores, Nicomaco considera al 3 como el primer n umero en el estricto sentido de la palabra, ya que 1 y
2 no eran en realidad n umeros, sino solo los generadores de la sucesion numerica, y ademas, para Nicomaco los n umeros
estaban dotados de cualidades tales como mejor o peor, mas joven o mas viejo, etc..., y podan transmitir estos caracteres,
como los padres a sus hijos. La Introductio no tena la intencion de ser un tratado de calculo ni de algebra, sino un manual
conteniendo aquellos elementos de la matematica que resultaban esenciales para entender la losofa pitagorica y platonica,
y en este sentido sirvio como modelo para muchos imitadores y comentadores posteriores.
390
Matematica Discreta Francisco Jose Gonzalez Gutierrez
13.6.1 Teorema
Si m
1
, m
2
, , m
k
son enteros positivos primos entre s dos a dos, entonces el sistema de ecuaciones,
x = a
1
en Z
m1
x = a
2
en Z
m2
. . . . . . . . . . . . . . .
x = a
k
en Z
m
k
tiene solucion unica en Z
m1m2m
k
.
Demostracion
Primero obtendremos una solucion, probando as su existencia, y luego demostraremos que es unica.
En efecto, sea x una combinacion lineal con coecientes enteros de las soluciones a
i
en Z
mi
para cada
i = 1, 2, , k, es decir,
x = c
1
a
1
+ c
2
a
2
+ + c
k
a
k
(13.2)
Si ahora elegimos los coecientes c
i
(1 i k) de tal manera que
c
i
= 1 en Z
mi
y
c
i
= 0 en Z
mj
, para j = i
tendremos que
c
1
= 1 en Z
m1
y
c
1
= 0 en Z
mj
, para j = 1
_
_
_
= x = a
1
en Z
m1
c
2
= 1 en Z
m2
y
c
2
= 0 en Z
mj
, para j = 2
_
_
_
= x = a
2
en Z
m2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
c
k
= 1 en Z
m
k
y
c
k
= 0 en Z
mj
, para j = k
_
_
_
= x = a
k
en Z
m
k
luego la x dada por la expresion (13.2) sera solucion simultanea de todas las ecuaciones propuestas.
Centremos, pues, nuestra atencion en obtener estos coecientes.
Empecemos por c
1
. Por hipotesis los m
i
son primos entre s dos a dos, es decir,
m.c.d.(m
i
, m
j
) = 1, i = j, 1 i, j k
Entonces, aplicando reiteradamente el ejercicio ??
m.c.d.(m
2
, m
1
) = 1
m.c.d.(m
3
, m
1
) = 1
_
= m.c.d.(m
2
m
3
, m
1
) = 1
y
m.c.d.(m
2
m
3
, m
1
) = 1
m.c.d.(m
4
, m
1
) = 1
_
= m.c.d.(m
2
m
3
m
4
, m
1
) = 1
y as sucesivamente, llegaramos a que
m.c.d.(m
2
m
3
m
k
, m
1
) = 1
391
Universidad de Cadiz Departamento de Matematicas
y haciendo m
2
m
3
m
k
= t
1
,
m.c.d.(t
1
, m
1
) = 1
luego t
1
es invertible en Z
m1
, es decir existe y
1
Z
m1
tal que
t
1
y
1
= 1 en Z
m1
.
Ademas, t
1
y
1
es m ultiplo de todos los m
j
para j = 1 luego
t
1
= 0 en Z
mj
para j = 1, (2 j k).
Si procedemos de forma identica para c
j
, j = 2, 3, , k, tendremos que
t
j
y
j
= 1 en Z
mj
, para j = 2, 3, , k
y
t
j
= 0 en Z
mi
, para i = j
As pues, si tomamos
c
i
= t
i
y
i
, 1 i k
y sustituimos en (13.2), nos queda
x = t
1
y
1
a
1
+ t
2
y
2
a
2
+ + t
k
y
k
a
k
que es una solucion de todas las ecuaciones propuestas.
Veamos ahora que esta solucion es unica en Z
m1m2m
k
. En efecto, supongamos que no lo es, es decir que
existe otra solucion x

, distinta de la x, en Z
m1m2m
k
del sistema de ecuaciones propuesto. Entonces,
como x es unica en Z
mi
, tendremos
x = x

en Z
mi
, i = 1, 2, , k
o sea,
m
i
|x x

, i = 1, 2, , k.
Pues bien,
m
1
|x x

y
m
2
|x x

_
= m.c.m.(m
1
, m
2
)|x x

m.c.d.(m1,m2)=1
= m
1
m
2
|x x

y
m
1
m
2
|x x

y
m
3
|x x

_
= m.c.m.(m
1
m
2
, m
3
)|x x

m.c.d.(m1m2,m3)=1
= m
1
m
2
m
3
|x x

y
m
1
m
2
m
3
|x x

y
m
4
|x x

_
= m.c.m.(m
1
m
2
m
3
, m
4
)|x x

m.c.d.(m1m2m3,m4)=1
= m
1
m
2
m
3
m
4
|x x

y as sucesivamente, llegaramos a que


m
1
m
2
m
k
|x x

392
Matematica Discreta Francisco Jose Gonzalez Gutierrez
es decir,
x = x

en Z
m1m2m
k
y la solucion que hemos construido es, por tanto, unica.
El siguiente ejemplo se debe a Sun Tsu.
Ejemplo 13.31 Encontrar el menor n umero entero positivo que dividido por 3 da como resto 2,
dividido por 5 da resto 3 y dividido por 7 da resto 2.
Solucion
Sea x el n umero buscado. Seg un el enunciado habra que encontrar solucion al sistema de ecuaciones,
x = 2 en Z
3
x = 3 en Z
5
x = 2 en Z
7
Observemos que 3, 5 y 7 son primos entre s dos a dos, luego podemos aplicar el teorema anterior y la
solucion unica en Z
357
= Z
105
sera
x = 2 5 7 y
1
+ 3 3 7 y
2
+ 2 3 5 y
3
= 2 35y
1
+ 3 21y
2
+ 2 15y
3
siendo y
1
, y
2
e y
3
los inversos de 35, 21 y 15 en Z
3
, Z
5
y Z
7
, respectivamente. Calculemoslos,
Inverso de 35 en Z
3
.
35 = 2 en Z
3
, y el inverso de 2 en Z
3
es 2, luego y
1
= 2.
Inverso de 21 en Z
5
.
21 = 1 en Z
5
, y el inverso de 1 en Z
5
es 1, luego y
2
= 1.
Inverso de 15 en Z
7
.
15 = 1 en Z
7
, y el inverso de 1 en Z
7
es 1, luego y
3
= 1.
Por lo tanto,
x = 2 35 2 + 3 21 1 + 2 15 1 = 233 en Z
105
es decir,
x = 23 en Z
105
o lo que es igual el menor n umero entero positivo que dividido por 3 da como resto 2, dividido por 5 da
resto 3 y dividido por 7 da resto 2 es 23.
Ejemplo 13.32 Encontrar un n umero entero positivo cuyos restos al dividirlos por 3, 4, 5 y 6 sean,
respectivamente, 2, 3, 4 y 5. (Brahmagupta
4
).
Solucion
4
Matematico hind u del siglo VII. Es autor del Brahma-Sphuta-Siddanta, obra de astronoma. Los siete captulos del
XII al XVIII, tratan de matematicas. Aparentemente, fue el primero que dio una solucion general de la ecuacion diofantica
lineal ax + by = c, con a, b y c enteros. Para que esta ecuacion tenga soluciones enteras, el maximo com un divisor de a
y b debe dividir a c, y Brahmagupta saba que si a y b son primos entre s, entonces todas las soluciones de la ecuacion
vienen dadas por las formulas x = p + mb, y = q ma, donde m es un entero arbitrario. Brahmagupta estudio tambien la
ecuacion diofantica cuatratica x
2
+1+py
2
, que recibe erroneamente el nombre de John Pell (1611-1685) y que aparecio por
primera vez en el problema de los bueyes de Arqumedes. Esta ecuacion de Pell fue resuelta en algunos casos particulares
por el matematico Bhaskara (1114-1185), hind u como Brahmagupta. Es muy notable el merito de Brahmagupta al dar
todas las soluciones enteras de la ecuacion diofantica lineal, mientras que Diofanto se haba contentado con dar una unica
solucion particular de una ecuacion indeterminada. Dado que Brahmagupta utiliza en algunos casos los mismos ejemplos
que Diofanto, podemos ver de nuevo reforzada la evidencia de una inuencia griega en la India, o bien la posibilidad de
que ambos hicieran uso de una fuente com un, verosmilmente de la antigua Babilonia.
393
Universidad de Cadiz Departamento de Matematicas
Sea x el n umero buscado. Por el teorema de existencia y unicidad del cociente y resto, podemos encontrar
cuatro n umeros enteros q
1
, q
2
, q
3
y q
4
tales que
x = 3q
1
+ 2
x = 4q
2
+ 3
x = 5q
3
+ 4
x = 6q
4
+ 5
es decir,
x = 2 en Z
3
x = 3 en Z
4
x = 4 en Z
5
x = 5 en Z
6
.
Observese que 3 es primo con 4 y con 5 pero no con 6 y lo mismo le sucede al 4, ademas 5 es primo con
6, luego podemos aplicar el teorema Chino del resto a las tres primeras soluciones y la solucion unica en
Z
345
= Z
60
es
x = 2 4 5 y
1
+ 3 3 5 y
2
+ 4 3 4 y
3
= 2 20y
1
+ 3 15y
2
+ 4 12y
3
siendo y
1
, y
2
e y
3
los inversos de 20, 15 y 12 en Z
3
, Z
4
y Z
5
, respectivamente.
Calculo de y
1
.
20 = 2 en Z
3
, y el inverso de 2 en Z
3
es 2, luego y
1
= 2.
Calculo de y
2
.
15 = 3 en Z
4
, y el inverso de 3 en Z
4
es 3, luego y
2
= 3.
Calculo de y
3
.
12 = 2 en Z
5
, y el inverso de 2 en Z
5
es 3, luego y
3
= 3.
As pues,
x = 2 20 2 + 3 15 3 + 4 12 3 = 359 en Z
60
es decir,
x = 59 en Z
60
y 59 es el n umero buscado.
394