Problemas Resueltos Matematica Discreta

PROBLEMAS RESUELTOS Matemtica Discreta
PROBLEMAS RESUELTOS DE MATEMTICA DISCRETA
La parte de la matemtica que trata de los nmeros enteros y de sus propiedades

recibe el nombre de teora de nmeros. Esta teora ocupa una posicin central entre
la aritmtica y el lgebra.
Trataremos en este capitulo de la nocin de divisibilidad de la que se deriva el
concepto de nmero primo, de la divisin de nmeros enteros y sus propiedades y,
como consecuencia de todo lo anterior, de la aritmtica modular.
1.1. COCIENTE EXACTO

Los productos de un nmero entero a por 1, 2,3, reciben el nombre de mltiplos de
a. Por extensin, tambin se considera como mltiplo de a, su producto por 0-
entonces, indicando por r cualquier valor entero de los 0, 1, 2,3, la expresin
general de los mltiplos de a, ser b ar . Se expresa que b es un mltiplo de a,
escribiendo b a . Tambin se dice que a es un divisor de b, o que a divide a b, o
que a es un submltiplo de b o que b es divisible por a, todo lo cual se indica por
av . Se escribir a b cuando z no divida a b.
Los mltiplos de 2 reciben el nombre de nmeros pares; los restantes son los
nmeros impares.
Algunas propiedades de las afirmaciones anteriores son las que siguen.
1. Si a es divisor de b, tambin ser divisor de cualquier mltiplo de b.
2. Si a es divisor de b y de c, tambin lo ser de b c , siendo b c
3. Si a es divisor de b y b lo es de c, entonces a lo ser de c.
4. Si a divide a la suma o diferencia b c de dos enteros y a uno de los
sumandos, por ejemplo, al b, entonces tambin dividir al otro c.
5. Si a, b,.,c son divisores, respectivamente, de x, y, z, entonces a b .... c
ser divisor de x y .....z

Recibe el nombre de cociente exacto de los nmeros naturales p, dividiendo, y m 0
, divisor, el nmero natural r cuyo productor por el divisor reproduce el dividendo. La
operacin realizada para cualquier el cociente exacto, se llama divisin exacta y se
indica por p m o por p:m.
Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 1

1.2. COCIENTE ENTERO

Sean D y d dos nmeros naturales, no nulos. Sea q otro nmero tambin natural tal
que cumpla la relacin.
qd D q 1 d
Entonces, qy q 1 reciben los nombres respectivos de cocientes enteros por defecto y

por exceso de la divisin de D, dividiendo, por a, divisor.
Reciben los nombres respectivos de restos enteros por defecto y por exceso, los
nmeros r y r 2 definidos por las igualdades
r D qd
r 2 q 1 d D qd d D d r
Se denomina divisin entera de dos nmeros naturales, D y d 0 , aquella operacin

aritmtica cuyo objetivo es el clculo de los cocientes y restos enteros.
La divisin entera posee las propiedades que se enumeran a continuacin.
1. La suma de los restos enteros por defecto y por exceso es igual al divisor.
2. En toda divisin entera por defecto, el dividiendo es la suma del divisor por el
cociente.
3. Si se multiplican dividendo y divisor por un mismo nmero, el cociente
permanece invariable y el resto quedar multiplicando por ese nmero.
4. Si en la divisin de D por d, q es el cociente y r el resto, entonces el cociente de
la divisin D + h, siendo h un nmero natural, por d, ser q q , siendo q el
cociente obtenido al dividir r h por d.
1.3. DIVISIN EUCLDEA

Hemos considerado hasta aqu nicamente nmeros positivos. Vamos a ampliar ahora
el campo de los datos que intervienen en la divisin considerando tambin los nmeros
negativos.
Sean D y d dos nmeros enteros, con d 0 . Utilizando la recta real es posible
representar d y todos sus mltiplos. Tendremos dos casos segn sea d 0 d 0 :
-d 0 d 2d 3d d 0 -d -2d -3d
0
D D
d 0 d 0

En ambas representaciones, la distancia que separa dos valores o puntos consecutivos

de la recta real es d . Si sobre esa recta indicamos D, se podrn representar dos
casos segn que D coincida o no con un mltiplo de d.
a) Es D D . Entonces ser D qd r , r 0, q IZ , es decir, D qd IZ
b) Es D d . Entonces, sea qd el mayor mltiplo de d menor que D, es decir, el
primer mltiplo de d situado en la recta real y a la izquierda del valor D.
llamado r a la distancia existente entre qd y D, tendremos,
D qd r , 0 r d , q IZ .
Los resultados anteriores constituyen el principio de la divisin eucldea.
Teorema. Si D y d son nmeros enteros, d 0 , entonces existen dos enteros nicos q
y r, tales que D qd r y 0 r d . Los enteros q y r reciben los nombres
respectivos de cociente y resto de la divisin de D por d.
1.4. SISTEMAS DE NUMERACIN
Sistemas de numeracin es el conjunto de reglas y convenios mediante los cuales
pueden representarse todas las cantidades utilizando signos diversos. Ejemplos son:
Sistema decimal, que es el usual empleado por el hombre, sistema binario y sistema
hexadecimal utilizados en computacin.
Sean m y b dos nmeros naturales. Recibe el nombre de sistema de numeracin
posicional del nmero m en base b, la sucesin de smbolos d n , d n 1 ,..., d1 , d 0 , tales
que i, 0 d i 0, y de forma que sea
m d n b n d n 1 ... d1b d 0 1
El nmero b recibe los nombres de base, raz o mdulo del sistema de numeracin o
representacin.
Teorema. Sean m y b dos nmeros naturales, b 1 . Entonces, m tiene una
descomposicin nica en funcin de la base b, de la forma anterior 1 con
d i , i 0..., n nmeros naturales menores que b.
1.5. NMEROS PRIMOS Y NMEROS COMPUESTO

Dado un entero p IN , p 1 , dice que es un nmero primo, cuando no admite ms
divisores en IN que el 1 y el propio p. nmero compuesto es el que no es primo.
El conocer si un nmero es primo o no pasa por la aplicacin de varios teoremas que
vamos a enunciar.
Teorema 1. Todo nmero compuesto m IN admite, el menos, un divisor primo.

Este teorema junto con los dos siguientes, 2 y 3, permiten la descomposicin factorial
de un nmero natural en producto de factores primos.
Teorema 2. Todo nmero compuesto m IN puede expresarse mediante el producto
de factores primos, as.
m p1 p 2 p m
O si p i se repitiera veces
m p1ei p 2e2 p mem

Teorema 3. La descomposicin factorial de un nmero compuesto m IN en factores
primo, es nica. As, es 3.600 2 4 3 2 5 2
Para encontrar los factores primos de un nmero, se divide ste, y sucesivamente los
cocientes obtenidos, por los nmeros primos posibles, comenzando por el ms pequeo
y hasta el cocientes 1. Para el nmero 168, se proceder as:
16 2
8 2
84 2
42 3
21 7
7
1
Entonces, 168 2 3 7.
3
Teorema 4 La sucesin e nmeros primos es infinita.

Teorema 5 Si m es un entero compuesto, m tendr un divisor menor o igual a m .
El total de nmeros primos menores o iguales a un entero m se indica por la funcin
m que recibe el nombre de funcin de nmeros primos.
1.6. MXIMO COMN DIVISOR

Sean a y b nmeros enteros, d un entero no nulo. Si d a y bb, de dice que d es un
divisor comn de a y de b. Si d es mayor que cualquier otro divisor comn de a y b,
entonces se dice que d es el mximo comn divisor de a y de b y se indica por
mcd a, b d .
Como consecuencia de la definicin anterior, podemos dar esta otra: dos enteros a y b

se dice que son primos relativos o primos entre s, cuando su mximo comn divisor
es 1, decir, mcd a , b 1
El concepto anterior puede extenderse a ms de dos nmeros: dados los enteros
a1 , a 2 ...., a m se dice que son primos dos a dos, si el mximo comn divisor de dos
cualesquiera de ellos es 1.
Para encontrar el mximo comn divisor de dos enteros puede emplearse el algoritmo
de Euclides, basado en el siguiente teorema.
Teorema. Sean a y b dos nmeros enteros, a b ; los divisores comunes a ambos son
los comunes al menor de ellos y el resto r, por defecto o por exceso, de la divisin de
ambos.
Entonces, para encontrar el mcd a , b , a b , se efecta la divisin entera del
nmero mayor por el menor, obtenindose el cociente q1 y el resto r1 : a
continuacin se divide el divisor b por ese resto obtenido, de forma que q 2 ser el
nuevo cociente y r2 el nuevo resto; se continua as hasta llegar a una divisin exacta,
es decir, a un resto rn 1 0 . El ltimo resto no nulo ser el mcd a , b . Si el ltimo
resto fuera 1, a y b seran primos entre s.
Algunas propiedades del mximo comn divisor son las siguientes:
1. Cualquier divisor comn de a y b es un divisor de mcd a , b
2. Considerando los nmeros enteros IZ , y dado que los divisores de un nmero
a tambin a tambin lo son de a , se cumplir que mcd a , b mcd a, b
.
3. Se verifica que mcd a , b mcd a b, b mcd a b, b
4. Si mcd a , b d entonces mcd ah, bh dh
5. Si mcd a, b d y a y b son mltiplos de k entonces mcd a / k , , b / k d / k
6. Si mcd a , b d entonces mcd a / d , b / d 1 .
7. Si un nmero x es divisor del producto ab, y mcd a, c 1 , entonces cb .
Teorema de Bezout. Dados dos nmeros naturales a y b tales que mcd a, b d ,
existen dos nmeros enteros s y t, tales que d as bt , es decir, mcd a, b as bt .
Teorema. La condicin necesaria y suficiente para que un nmero m sea divisible por
otro p, es que el primero contenga todos los factores del segundo afectados de
exponentes iguales o mayores.
Teorema. El mximo comn divisor de varios nmeros es el producto de factores
primos comunes a todos ellos, tomando cada uno con el menor de los exponentes con
los que figura en los nmeros dados.
1.7. MNIMO COMN MLTIPLO
Sea a y b nmeros no nulos. Sea l un mltiplo comn de ambos. Se dice que l es el
mnimo comn divisor de a y b cuando es el ms pequeo de todos sus mltiplos
comunes y distinto de cero. Se indica por mcm a, b l .
Algunas propiedades del mnimo comn mltiplo son las que siguen.
1. mcm a, b mcd a, b ab .
2. Si mcd a, b 1 entonces mcm a, b ab .
3. Si m es mltiplo comn de a y b entonces m es mltiplo de mcm a, b .
La forma ms rpida de obtener el mnimo comn mltiplo de varios nmeros se
apoya en el teorema que sigue.
Teorema. El mnimo comn mltiplo de varios nmeros es el producto de los factores
primos tanto comunes como no comunes a todos ellos y tomando cada uno con el
mayor exponente con el que figura en los nmeros dados.
1.8. ECUACIONES DIOFNTICAS
Las ecuaciones con coeficientes enteros y cuyas soluciones se buscan slo dentro de IZ
se llama ecuaciones diofnticas.
Teorema. La ecuacin diofntica ax by c , tiene soluciones en IZ si y slo si d c ,
siendo d mcd a, b
En este caso, todas las soluciones de la ecuacin son de la forma
tb
x x1
d

t IZ Donde x1 , y1 es una solucin de ax by c
ta
y y1
d
1.9. CONGRUENCIAS
Vamos a iniciar ahora la teora de las congruencias tambin conocida con el nombre
de aritmtica modular o estudio de los nmeros congruentes.
Si a y b son dos nmeros enteros y m es otro entero positivo, se dice que a y b son
congruentes respecto del mdulo m, cuando divididos por l producen el mismo resto.
La relacin de congruencia se expresa como a b mod m o bien a b m .

De la definicin anterior se desprenden las propiedades que siguen.

1. Para todo a es a a (mod m), propiedad reflexiva.
2. Si a b (mod m), entonces b a (mod m), propiedad simtrica.
3. Si a b (mod m) y b c (mod m) entonces a c (mod m) propiedad
transitiva.
4. Si un nmero a es primo con m, todo b a (mod m) ser tambin como m.
Teorema. La condicin necesaria y suficiente para que dos nmeros a y b sean
congruentes mdulo m, es que su diferencia sea mltiplo de m, es decir, m a b .
Otras propiedades
1. Si r es el resto de la divisin de a por m, entonces a r (mod m) y decimos
que r es el menor residuo no negativo de a mdulo m.
2. Dado x IZ , se llama clase de x mdulo m al conjunto de nmeros enteros
congruentes con x mdulo m. Esta clase se designa por x m , x m o
simplemente x si no hay lugar a error con el mdulo. Como representante de
la clase se puede tomar el menor residuo no negativo r de cualquier elemento
de la clase, que ser 0 r m .
3. El conjunto de clase mdulo m se designa con IZ m 0 m , 1 m ,...., m 1 m
4. La congruencia mdulo m es compatible con la suma y el producto de IZ, es
decir, si a b (mod m) y c d (mod m) entonces a c b d (mod m) y
ac bd (mod m)
5. La propiedad cancelativa del producto se cumple si m es primo, es decir,
si m es primo y ac bc (mod m) entonces a b (mod m)
m
6. Si ac bc (mod m) y d mcd c. m entonces a b mod .
d
Dados varios nmeros, se dice que forman un sistema de nmeros incongruentes

respecto del mdulo m, cuando los restos de la divisin de cada uno de ellos por
m son todos distintos. Aquellos sistemas que constan exactamente de m trminos
reciben el nombre de sistemas completos de residuos.
Aritmtica en IZ m
La compatibilidad de la congruencia con la suma y el producto IZ permiten
definir en IZ m la suma y el producto.
a c clase de a c en IZ m

a c clase de ac en IZ
Divisores de cero y unidades en IZ m

Si m no es primo, en IZ m hay divisores de 0 , es decir, existen a , b tales
que a b 0 en IZ m
a es divisor de 0 mcd a, m 1
Para cualquier m existe b IZ m divisores de 1 o elemento inversibles. Un

elemento a IZ m es inversible si existe b IZ m tal que
ab 1 en IZ m . Al elemento b se le llama inverso de a y se le designa por

1
a . En trminos de congruencias se dice que b es el inverso de a mdulo
m. Este elemento es nico, mdulo m.
a es inversible mcd a, m 1

1
Si a, b son inversibles entonces ab y a tambin son inversibles.
Teorema de Fermat
1
Si p es primo y p no es divisor de a entonces a 1 (mod p).
1.10. ECUACIONES DE CONGRUENCIA
La aplicacin de las congruencias a problemas de divisibilidad conduce al estudio de
aquel tipo de congruencia en el que existen incgnitas a calcular.
Una congruencia entre expresiones literales recibe el nombre de ecuacin de
congruencia; los valores que la satisfacen son sus soluciones.
Dados dos nmeros a y b enteros, otro m entero positivo y una variable incgnita x, la
relacin ax b (mod m) recibe el nombre de ecuacin de congruencia lineal.
Teorema. Sea la ecuacin de congruencia ax b (mod m). Dicha ecuacin tiene
Solucin nica si mcd a , m 1
Un total de d mcd a , m soluciones si d b.
Ninguna solucin si d b
Cuando d b , indicando por x 0 una solucin, las d soluciones distintas respecto del
mdulo m sern x0 m / d i , i 0,1,2,...., d 1 -
1.11. SISTEMAS DE CONGRUENCIAS LINEALES

x a1 mod m1
x a2 mod m2
1

x an mod mn
La solucin de estos sistemas se apoya en el
Teorema chino del resto. Sean m1 , m2 ,...., mn nmeros enteros positivos, primos
dos a dos. El sistema anterior 1 tiene nica solucin mdulo m m1 , m2 mn ,
es decir, existe una solucin x, 0 x m , y cualquier otra ser congruente mdulo m
con ella.
1.12. RESTOS POTENCIALES
Dado el nmero n, recibe el nombre de resto potenciales de ese nmero respecto de un
mdulo m, los restos respecto de ese mismo mdulo de las potencias sucesivas.
n 0 1, n1 , n 2 , ...., n h
Para calcular esos restos basta con multiplicar por n el resto de n h , y el resto del
producto ser el de n h 1
PROBLEMAS RESUELTOS
1.1. Hallar la representacin usual (en base 10) de

10 011 1012 , 3165 7 , 200211 , 12317 , 12315 .
RESOLUCIN
10 011 101( 2 1 2 7 0 2 6 0 2 5 1 2 4 1 2 3 1 2 2 0 21 1 2 0
128 16 8 4 1 157
3 165( 7 3 7 3 1 7 2 6 7 5 7 0 1.029 49 42 5 1.125
2 002 (11 2 113 0 11 2 0 11 2 1.331 2 1.333
1 231( 7 7 3 2 7 2 3 7 1 343 98 21 1 463
1 2.31(5 1 5 3 2 5 2 3 5 1 125 50 15 1 191

1.2. Hallar la representacin en las bases 2,7 y 11 de los siguientes nmeros

expresados en base decimal: 237, 634, 562, 2 002.
RESOLUCIN
1) Comenzamos con la representacin en base 2. debemos efectuar sucesivas
divisiones por 2 hasta que el cociente sea 0.
237 2 118 1
118 2 59 0
59 2 29 1
29 2 14 1
14 2 7 0
7 23 1
3 2 1 1
1 2 0 1
Los restos sucesivos que se han obtenidos constituyen la representacin en

base 2:
237 (10 11 101 101( 2
634 2 317 0 562 2 281 0 2.002 2 1.001 0

17 2 158 1 281 2 140 1 1.001 2 500 1
158 2 79 0 240 2 70 0 500 2 250 0
79 2 39 1 70 2 35 0 250 2 125 0
39 2 19 1 35 2 17 1 125 2 62 1
19 2 9 1 17 2 8 1 62 2 31 0
9 2 4 1 8 24 0 31 2 15 1
4 22 0 4 22 0 15 2 7 1
2 2 1 0 2 2 1 0 7 23 1
1 2 0 1 1 20 1 3 2 1 1
1 20 1
634 (10 1 001 111 010 ( 2 562 (10 1 000 110 010 ( 2
2 002 (10 11 111 010 010 ( 2
2) La representacin en base 7 se obtiene por divisiones sucesivas por 7

634 7 90 4 562 7 8 2 2.002 7 286 0
237 7 33 6 90 7 12 6 80 7 11 3 286 7 40 6
33 7 4 5 12 7 1 5 11 7 1 4 40 7 5 5
4 70 4 1 7 0 1 1 7 0 1 5 70 5
237 (10 456 ( 7 634 (10 1 1564 ( 7 562 (10 1 432 ( 7 2 002 (10 1 560 (11
3) Para la representacin en base 11 se necesitan smbolo adicional para indicar

el valor correspondiente a10 utilizaremos la letra A.

2 002 11 182 0
237 11 21 6 634 11 57 7 562 11 51 1 182 11 16 6
21 11 1 10 57 11 5 2 51 11 4 7 16 11 1 5
1 11 0 1 5 11 0 5 4 11 0 4 1 11 0 1
237 (10 1A6 (11 634 (10 527 (11 562 (10 471(11
2 002 (10 1 560 (11
1.3. Con la notacin x m se indica que el nmero natural x est escrito en base m. se
pide:
1) Demostrar que 121m m 1 10 para m 3

2
2) Expresar 169 m en base 10 para m 10 .

RESOLUCIN
1) 121m 1 m 2 2 m 1 m 1 (10
2
Expresiones que slo es vlida para m 3 , pues en base 2 smbolo 2 no

puede aparecer.
2) 169 m 1 m 6 m 9m 6m 9 (10
2 2
1.4. Encontrar el mcd de 108, -90 y -126, descomponiendo cada nmero en sus
factores primos.
RESOLUCIN
10 2 90 2 12 2
8 2 45 3 6 3
54 3 15 3 63 3
27 3 5 5 21 7
9 3 1 7
3 1
1
Con esta descomposicin ser:
108 23 3

90 2 32 5 mcd 108, 90, 126 2 32 18
126 2 32 7
1.5. Aplicando el algoritmo de Euclides, calcular el mcd de - 187 y 154.

RESOLUCIN. Calcularemos los cocientes y restos sucesivos comenzando por

la divisin de 187 y 154.

1 4 1 2
187 154 33 22
11
33 22 11 0
Por lo tanto, mcd 187, 154 11 .

1.6. Encontrar el mnimo comn mltiplo de 500 y 120 mediante la factorizacin de
ambos en nmeros primos.
50 2 12 2
0 2 0 2
25 5 60 2
0 5 30 3
12 5 15 5
5 5
25 1
5 500 2 2 53
1 mcm 500, 120 2 3
3 5 3
3.000
120 2 3 5
3
1.7. La suma de dos nmeros es 60 y su mximo comn divisor es 12Cules son estos
nmeros?
RESOLUCIN. Sean x e y los nmeros buscados
x y 60
1
d mcd x, y 12
Por ser d mcd x, y existen c y c enteros tales que
x dc, y dc y mcd c 2 c 1 .
60 x y d c c 12 c c c c 5
El sistema 1 se transforma as en:
c c 5

mcd c, c 1

Que tiene dos soluciones
c 1 c 2
y
c 4 c 3
Por tanto hay dos soluciones al problema planteado:
x 12 x 24
y
y 48 y 36
1.8. El producto de dos nmeros naturales es 1.260 y su mnimo comn mltiplo es
630. Cules son los nmeros?
RESOLUCIN Llamemos x y e y a los nmeros buscados. Segn el enunciado
tenemos
xy 1.260

l mcm x, y 630
Llamando d al mximo comn divisor de x e y, se tiene d mcd x, y , existen
c y c tales que:
x dc , y dc , mcd c, c 1 1
Sabemos que
xy mcd x, y mcm x, y d l
Luego
1.260 d 630 , de donde, d 2
Operando en las expresiones de 1 resulta:

xy dcdc d 2 cc , de donde, 1.260 4cc
Por tanto, las condiciones para c y c son:
cc 315

mcd c, c 1
Este sistema tiene cuatro soluciones,

1) c 1, c 3 2 5 7 315
2) c 3 2 , c 5 7 35
3) c 5, c 3 2 7 63
4) c 7, c 3 2 5 45
Que proporcionan las cuatro parejas de nmeros que cumplen las condiciones del
enunciado
1) x 2, y 630
2) x 18, y 70
3) x 10, y 126
4) x 14, y 90
1.9. Hallar los divisores comunes de 300, 420 y 660. ordenarlos de menor a mayor.
RESOLUCIN En primer lugar calcularemos el mcd de los tres nmeros dados.
30 2 42 2 66 2
0 2 0 2 0 2
15 3 21 3 33 3
0 5 0 5 0 5
75 5 10 7 16 11
25 5 5
5 35 55
1 7 11
1 1
300 2 2 3 52

420 2 2 3 5 7 mcd 300, 420, 660 2 2 3 5 60
660 2 2 3 5 11
Los divisores comunes de los tres nmeros dados son los divisores de 60. Para
encontrarlos ordenadamente, basta tener en cuenta que cada uno de esos
divisores es el producto de tres factores, cada uno elegido sucesivamente de los
conjuntos

1, 2, 2
2
, 1, 3 , 1, 5
Por lo tanto, los divisores pedidos, tanto positivos como negativos, se rn:
1 1 1 1 2 1 1 2 4 11 4
1 3 1 3 2 3 1 6 4 3 1 12
1 1 5 5 2 1 5 10 4 1 5 20
1 3 5 15 2 3 5 30 4 3 5 60
1.10. Demostrar que si a divide a la suma b c de dos enteros y a uno de los

sumandos, entonces tambin divide a otro, a IZ 0
RESOLUCIN Indicando por r cualquier valor entero 0, 1, 2,..., ser

b c ar
Y si suponemos que a divide a b,
b as s, entero
Restando ambas igualdades,
b c b c a r s , rs
c a
, a c
1.11.Aplicar el principio de la divisin eucldea para encontrar el cociente q y el resto

r a partir de los dividendos D y divisores d que se indican. Tngase en cuenta que
debe cumplirse 0r d .
D d
27 13
-27 13
27 -13
-27 -13
RESOLUCIN
a) 27 2 13 1 , q 2, r 1 , 0 1 13
b) 27 3 13 12, q 3, r 12 , 0 12 13
Si hubiramos hecho
27 2 13 1 1 , q 2, r 1
Pero entonces no se satisface la condicin:

0 1 13
c) 27 2 13 1 , q 2, r 1 , 0 1 13

d) 27 3 13 12 , q 3, r 12 , 0 12 13
Si hubiramos hecho
27 2 13 1 , q 2, r 1 , 0 1 13
Pero entonces no se satisface la condicin ya que

0 1 13
1.12. Comprobar que los nmeros 6, 10 y 15 son primos entre s, si ser primos dos a
dos.
RESOLUCIN Para comprobar que los tres nmeros dados son primos entre s,
calculamos su mximo comn divisor:
6 23

10 2 5mcd 6, 10, 15 1 , luego son primos
15 3 5
Pero mcd 6, 10 2 y mcd 10, 15 5 luego no son primos dos a dos.
1.13. Dados a 198 y b 74 , apoyndose en el algoritmo de Euclides encontrar

los nmeros enteros s y t tales que cumplan la condicin de Bezout
d mcd a, b as bt
RESOLUCIN El algoritmo de Euclides obtiene los cocientes y restos enteros

siguientes:
2 1 2 12
198 74 50 24 2
50 24 2 0
Estas operaciones pueden disponerse as:

198 74 2 50
74 50 1 24
50 24 2 2
24 2 12 0
Por lo que d mcd 198, 74 2 .

Para encontrar s y t, coeficientes de Bezout, procederemos ahora as, comenzando en
la penltima igualdad y hacia la primera.

2 5 24 2
50 74 50 2 50 3 74 2
198 74 2 3 74 2
198 3 74 8
Por tanto, s 3 y t 8 .
Tambin cumple la condicin de Bezout la siguiente igualdad:
2 mcd 198, 74 198 3 74h 74 8 198h , h IZ
1.14. Si a y b son enteros tales que mcd a, b 1 , demostrar que:

a) mcd a b, a 1
b) mcd a b, a 1 2
RESOLUCIN
a) Primera demostracin
Para demostrar que mcd a b, a 1 necesitamos probar que:
1) 1 ab y 1 a , que es obvio, y
2) Si d ab y d a entonces d 1
d a b
d a b a d b
d a
Es decir, d es un divisor comn de a y b. Y por ser mcd a, b 1 , resulta
d 1 como queramos.
Segunda demostracin
mcd a, b 1 Existen r, s enteros tales que ar bs 1
Operando adecuadamente en esta igualdad

1 ar bs ar br br bs a b r b r s
ar as as bs a b s a r s
Obtenemos que
mcd a b, b mcd a b, a 1
b) Sea d un divisor comn de a b y a b

d a b sumando d 2a

d a b sumando d 2b
Como mcd a, b 1, a y b no tienen ningn factor comn, luego d 2
Por tanto, mcd a b, a b 1 2

1.15. Demostrar que el cuadrado de todo nmero entero es de la forma
4k 4k 1
RESOLUCIN Sea a un entero cualquiera. Al efectuar la divisin entera de a

por 4, el resto puede tomar los valores 0, 1, 2 y 3.
a 4q r r 0,1 3
Si r 0 , entonces a 2 4 4q 2
Si r 1 , entonces a 2 4q 1 2 4 4q 2 2q 1
Si r 2 , entonces a 2 4q 2 2 4q 2 4q 1
Si r 3 , entonces a 2 4q 3 2 4 4q 2 6q 2 1
En los casos 1 y 3 el cuadrado es de la forma 4k y en los casos 2 y 4 el cuadrado
es de la forma 4k 1 .
1.16. Usar el algoritmo de Euclides para calcular d mcd a, y encontrar s y t
tales que d as bt , en cada uno de los siguientes casos:
1) a 63; b 28 .
2) a 56, b 27 .
3) a 721, b 448 .
RESOLUCIN
1) Disponemos las operaciones del algoritmo de Euclides as:
63 28 2 7
28 7 4 0
As tenemos que d mcd 63, 28 7 .

Para encontrar s y t, partimos de la penltima igualdad, que en este caso es
nica
7 63 28 2 63 2 28
Por tanto, s 1 y t 2
A partir de estos coeficientes que cumplen la igualdad d as bt podemos

encontrar todos los que la cumplen

7 63 2 28 63 63 28h 63 28h 2 28
631 28h 28 2 68h h IZ
Los valores de s y t que cumplen d as bt son:
s 1 28h
h IZ
t 2 63h
2) Calculemos d mcd 56, 27 por el algoritmo de Euclides
56 27 2 2
27 2 13 1
2 1 2 0
El mximo comn divisor es el ltimo resto no nulo, d 1 .

Para hallar s y t partimos de la penltima igualdad y vamos sustituyendo, en la
cadena de igualdades, los sucesivos restos
1 27 2 13 27 56 27 213 56 13 27 17
Por tanto, s 13 y t 27
Todos los valores que cumple 4 56s 27t son as:
s 13 27h
h IZ
t 27 56h
3) Calculemos d mcd 721, 448
721 448 1 273
448 273 1 175
273 175 1 98
175 98 1 77
98 77 1 21
77 21 3 14
21 14 1 7
147 2 0
As pues, d mcd 721, 448 7

Calculemos los coeficientes s y t a partir de la penltima igualdad y sustituyendo
los sucesivos restos hasta la primera

7 21 14 1 21 77 21 3 1 21 4 77 1 98 77 1 4 77 1
98 4 77 5 98 4 175 98 1 5 98 175 5
273 175 1 175 5 273 9 175 14
3 9 448 273 1 14 273 23 448 14
721 448 1 23 448 14 721 23 448 37
Por tanto, s 23 t 37
Los valores que cumplen 7 721s 448t son:
s 23 448h
h IZ
t 37 721h
1.17. Probar que si a c, b c y mcd a, b 1 entonces ab c
RESOLUCIN: Como mcd a, b 1 , existen, r , s IZ tales que

1 ar bs , luego car cbs c. adems a c, y b c luego
c am y c bn . Sustituimos estos valores en la expresin anterior:
c bn ar am bs ab nr ab ms
Como ab divide a ambos sumandos, tambin divide a la suma, es decir,

ab c,
1.18. Demostrar que si n 1 y n no es primo, entonces existe un primo p que

divide a n y tal que p 2 n .
RESOLUCIN Si n no es primo en su descomposicin en factores primos
habr, al menos, dos factores primos p1 y p 2 (que pueden ser iguales).
Tendremos as que:
p1 p 2 n
Llamando p mn p1 , p 2 , est primo ser el requerido por el enunciado
pues p n y p 2 p1 p 2 n .
1.19. Estudiar si son o no primos, los nmeros 811, 467 y 911.
RESOLUCIN Segn el ejercicio anterior, si n no es primo debe existir un
primo p divisor de n y tal que p n
As para comprobar que 811 es un nmero primo basta comprobar que no es

divisible por los primos menores que 811 . Es decir, por los primos 2, 3, 5,
7, 11, 13, 17, 19, 23. Efectuadas las operaciones se comprueba as que 811 es
primo.

Del mismo modo comprobamos que 467 es un nmero primo, porque no es

divisible por los primos menores que 467 que son: 2, 3, 5, 7, 11, 13, 17, y
19.
Y tambin 911 es un nmero primo. Cuntas comprobaciones se han de
efectuar en este nmero?.
1.20. Cuntos divisores positivos tiene el nmero 29338848000 2 8 35 5 3 7 3 11 ?
Cuntos son mltiplos de 99? y de 39?
RESOLUCIN El nmero de divisores positivos es
8 1 5 1 3 1 3 11 1 1.728
Para que un divisor sea mltiplo de 99 debe contener a los factores 3 2 y 11 . As
el nmero de estos divisores es el mismo que el del nmero 2 8 33 53 7 3 , es decir,
8 1 3 1 3 1 3 1 576
Ninguno de los divisores ser mltiplo de 39 porque no contiene al factor 13.
1.21. Demostrar que si 2 n 1 es primo, entonces o bien n es impar, o bien es n 2
RESOLUCIN. Supongamos que n es par, distintos de 2 natural y
llegaremos a una contradiccin. As, por reduccin al absurdo. Demostramos
el resultado.
Si n es par. Ser de la forma n) 2k como k 1 por ser n 2

2 n 1 2 2k 1 2 k 1 2 k 1
Y si k 1 sta es una descomposicin en factores propios, distintos de 1, de
2 n 1 , por lo que 2 n 1 no sera primo en contradiccin con la hiptesis de
partida.
1.22. Estudiar si son ciertas las siguientes afirmaciones:
a) m IZ , 2m y 4m 3 son primos entre s.
b) m IZ , 2m 1 y 3m 2 son primos entre s.
RESOLUCIN
a) No es cierta, pues para m 3, 2 3 y 4 3 3 , es decir, 6 y 15 no son primos
entre s.
b) Para demostrar que 2m 1 y 3m 2 son primos entre s basta encontrar
r , s IZ tales que 2m 1 r 3m 2 s 1 .
Tomando r 3, s 2 , se tiene que 2m 1 3 3m 2 2 1
Por tanto, mcd 2m 1, 3m 2 1 m IZ

1.23. Comprobar que si n es un entero positivo entonces ninguno de lo n enteros

consecutivos n 1! 2, n 1! 3, n 1! 4,....., n 1! n 1 es un
nmero primo.
RESOLUCIN: Los nmeros n 1! k , k 2,..., n 1 son compuesto
porque
n 1! k n 1 n n 1...... k 1 k k 1.......2 1 k
k n 1 n. ..... k 1 k 1.... 2 1 1
Es divisible por k.
1.24. Demostrar que si p es un nmero primo distinto de 2 y 5 entonces, o bien
p 2 1 , o bien p 2 1 es divisible por 10.
RESOLUCIN La ltima cifra de un primo p, distinto de 2 y de 5, puede ser 1,

3, 7, 9. Por tanto la ltima cifra de p 2 slo puede ser 1 9. en el primer caso
p2 1 ser mltiplo de 10 y en el segundo Ser p 2 1 mltiplo de 10.
1.25. Hallar las soluciones enteras de la ecuacin 14 x 10 y 4
RESOLUCIN La ecuacin diofntica ax by c tiene soluciones enteras si y

slo si a, mcd a, b c . Es la ecuacin dada, mcd 4, 10 2 4, luego la
ecuacin s tiene soluciones enteras. Para hallarlas hay que encontrar una
solucin particular x1 , y1 en primer lugar.
Simplificamos la ecuacin inicial dividiendo por 2 mcd 10, 14
4x 5 y 2 1
Obteniendo otra ecuacin que es equivalente a la inicial, pero con los

coeficientes primos entre s.
Busquemos una solucin de la ecuacin 7 x 5 y 1 . Como mcd 7, 5 1 , los

valores de x e y son aquellos cuya existencia asegura el Teorema de Bezout. As
una solucin de la ecuacin 7 x 5 y 1 es, por ejemplo,
x 3

y 4
Es evidente que si multiplicamos estos valores por 2 obtendremos una solucin de

la ecuacin 1
x1 6

y1 8
Una vez obtenida una solucin particular x1 , y1 de la ecuacin 1 , todas las
soluciones de la ecuacin son de la forma
x 6 5t
t IZ
y 8 7t
1.26. Hallar las soluciones enteras de la ecuacin 16 26 y 14 .
RESOLUCIN. Como mcd 16, 26 es un divisor de 14, la ecuacin tiene
soluciones enteras. Simplifiquemos por mcd 16, 26 2 , obteniendo
8 x 13 y 7 1
Una ecuacin equivalente a la dada, con los coeficientes primos entre s. Como
mcd 8, 13 1 , el teorema de Bezout asegura la existencia de solucin para la
ecuacin
8 x 13 y 7 2
Una solucin de 2 es x 5, y 3 , por lo que una solucin particular de 1
es
x1 5 35

y1 3 7 21
Y todas las soluciones de la ecuacin dad son:
x 35 13t
t IZ
y 21 8t
1.27. Qu condicin tienen que verificar b y K para que la recta de ecuacin

87 x by K no pase por ningn punto de coordenadas enteras?

RESOLUCIN La recta de ecuacin 87 x by K pasa por el punto de
coordenadas enteras m, n si 87m bn K , es decir el par m, n es una
solucin de la ecuacin diofntica 87 x by K . Esta ecuacin tiene soluciones
enteras si y slo si mcd 87, b e sun divisor de K. por tanto, la condicin que
deben verificar b y K para que la recta de ecuacin 87 x by K no pase por
ningn punto de coordenadas enteras es que mcd 87, b no sea divisor de K.
1.28. Calcular: 8 mcd 3, 15 mod 3, 14 mod 6 .
Comprobar: si 8 14 mod 3 , si 8 15 mod 3 .
RESOLUCIN
a) 8 mod 3 :
8 3 8 mod 3 2
2 2
15 mod 3
15 3 15 mod 3 0
0 5
b)
8 3 14 3
Restos iguales
2 2 2 4
8 14 mod 3
Tambin, es 14 8 6 3 , luego son congruentes.
8 3 15 3 Restos distintos
2 2 3 4
8 14 mod 3
Como 15 8 7 3 , no son congruentes.

1.29. Encontrar el menor residuo no negativo mdulo 7 de los nmeros:
23, 35, 48, 64
RESOLUCIN. Efectuamos la divisin entera de cada uno de los nmeros

por 7. El resto que se obtenga ser el menor residuo no negativo.
23 7 3 2 el menor residuo es 2
1.30. Encontrar, de forma general, nmeros congruentes con 11 (mod 5).

RESOLUCIN. Llamemos x a esos nmeros congruentes con 11 respecto del

mdulo 5. Entonces, se tendr:
5 x 11 , x 11 5k , x 11 5k
Dando ahora valores a k, se obtendrn nmeros x congruentes con 11:

k x
0 11
1 16
2 21
3 26
4, 1, 6, 11, 16, 21, 26,
1 6
2 1
3 4

1.31. a) Comprobar si los nmeros 14, 29, 12, 3, 32, 9, 55 forman un sistema
completo de residuos mdulo 7.
b) Comprobar si los nmeros 12, 5, 17, 15, 4, 7 forman un sistema
completo de residuos mdulos 6.
RESOLUCIN
a) Un sistema completo de residuos mdulo 7 est formado por 7 enteros que
son incongruentes dos a dos mdulo 7.
Comprobamos que los nmeros del enunciado cumplen esta condicin, pues
14 0 mod 7 , 29 1 mod 7 , 12 2 mod 7
3 3 mod 7 , 32 4 mod 7 , 9 5 mod 7 y
55 6 mod 7
b) En este caso los nmeros dados no cumplen la condicin pues

5 17 mod 6 .
1.32. Constituir la tabla de las operaciones suma y producto en IZ 6 y IZ 7 .

RESOLUCIN. Escribamos los elementos de IZ 6 en la forma
0, 1, 2, 3, 4, 5 .
+ 0 1 2 3 4 5 . 0 1 2 3 4 5
0 0 1 2 3 4 5 0 0 0 0 0 0 0
1 1 2 3 4 5 0 1 0 1 2 3 4 5
2 2 3 4 5 0 1 2 0 2 4 0 2 4
IZ 6 3 3 4 5 0 1 2
IZ 6
3 0 3 0 3 0 3
4 4 5 0 1 2 3 4 0 4 2 0 4 2
5 5 0 1 2 3 4 5 0 5 4 3 2 1

Los elementos de IZ 7 se escriben en la forma 0, 1, 2, 3, 4, 5 , 6 , sin

poner subndices para evitar confusin.
+ 0 1 2 3 4 5 6 . 0 1 2 3 4 5 6
0 0 1 2 3 4 5 6 0 0 0 0 0 0 0 0
1 1 2 3 4 5 6 0 1 0 1 2 3 4 5 6
IZ 7 2 2 3 4 5 6 01 IZ 7 2 0 2 4 6 1 3 5
3 3 4 5 6 0 1 2 3 0 3 6 2 5 1 4
4 4 5 6 0 1 2 3 4 0 4 1 5 2 6 3
5 5 6 0 1 2 3 4 5 0 5 3 1 6 4 2
6 6 0 1 2 3 4 5 6 0 6 5 4 3 2 1
1.33. Sabiendo que 123456 7 mod 10 ,90123 3 mod 10 , 2468 18 mod 25

y que 13579 4 mod 25 calcular el valor del menor residuo no negativo z
tal que:
i. 123456 x 90123 z mod 10
ii. 2468 x 13579 z mod 25
RESOLUCIN. Aplicamos el siguiente resultado:
a b mod m
ac bd mod m
c d mod m
i) Se aplica el resultado tomando a 1234567, b 7, c 90123, d )3, con lo
que
1234567 x 90123 7 x 3 mod 10
1 mod 10
ii) Ahora es a 2468, b 18, c 13579, d 4

468 x 13579 18 x 4 mod 25
72 mod 25
12 mod 25
1.34. Sea x n , x n 1 , ...., x10 10 la representacin en base 10 de un entero positivo
x x0 x1 x 2 ... 1 x n mod 11 . Utilizar este

n
x. Demostrar que

resultado para comprobar si los nmeros 1213141516171819 y

192837465564738291 son divisible por 11. que cifra que falta en la
igualdad 871782_1200 = 14!?
RESOLUCIN. Si x n , x n 1 , ...., x10 10 es la representacin en base 10 de x,
entonces
x x0 10 x1 10 2 x 2 ... 10 n x n
1) Si k es par, entonces 10 k 1 mod 11 , pues

10 k 1 20 2 s 1 10 2 1 10 2 s 1 10 2 s 2 10 2 1 es mltiplo de 11.
2) Si k es impar, entonces 10 k 1 mod 11 , pues

10 k 1 20 2 s 1 1 10 1 10 2 s 10 2 s 1 1 es mltiplo de 11
utilizando 1) y 2) tenemos que
x x0 10 x1 10 2 x 2 10 3 x3 10 n x n x0 x1 x 2 x3 1 x n mod 11
n
Por tanto, x es divisible por 11 si y slo si lo es la suma
x0 x1 x 2 x3 1 x n
n
Utilicemos este resultado con los nmeros del enunciado:

9 1 8 1 7 1 6 1 5 1 4 1 3 1 2 1 36
No es mltiplo de 11, luego tampoco lo es el nmero 1213141516171819.
1 9 2 8 3 7 4 6 5 5 6 4 7 3 8 2 9 1 0
es mltiplo de 11, luego tambin lo es el nmero 192837465564738291.
Finalmente estudiamos la igualdad 871782_1200 = 14!. Es obvio que 14! Es
un mltiplo de 11 luego tambin lo es el nmero 871782_1200. si llamamos x
a la cifra que falta se cumplir que 0 0 2 1 x 2 8 7 1 7 8 2 x
es un mltiplo de 11. La cifra. Que falta es 9.
1.35. Comprobar mediante un ejemplo, que en IZ 6 , IZ 8 , y IZ 15 existen divisores
de 0, es decir, elementos x, y tales que xy 0 siendo x 0 y . Existe algn
en IZ 7 ?
RESOLUCIN. En IZ 6 , los elementos 3 y 2 son divisores de ceros, pues
3 2 0 mod 6 , es decir, 3 2 0 en IZ 6
En IZ 8 , los elementos 4 y 6 son divisores de cero, pues 4 6 0 mod 8 , es

decir, 4 6 0 en IZ 8
En IZ15 , los elementos 3 y 10 son divisores de cero, pues 3 10 0 mod 15 , es
decir, 3 10 0 en IZ15
IZ 7 no hay divisores de cero porque 7 es primo. Recordemos que a es divisor
de cero en IZ m si y slo si mcd a, m 1

1.36. Hallar los elementos inversibles de IZ 6 , IZ 7 y IZ 8
RESOLUCIN. Los elementos inversibles de IZ m son los elementos IZ m , tales
que mcd a, m 1
Los elementos inversibles de IZ 6 son 1 , 5.
Los elementos inversibles de IZ 7 son 1, 2, 3, 4, 5, 6 .
Los elementos inversibles de IZ 8 son 1, 3, 5, 7 .
1.37. Hallar los inversos de:
a) 6 en IZ 11
b) 6 en IZ 17
c) 3 en IZ 10
d) 5 en IZ12
e) 2 en IZ 11
f) 7 en IZ 15
g) 7 en IZ 16
h) 5 en IZ 13
RESOLUCIN
a) El inverso de 6 en IZ 11 (o mdulo 11), ser b tal que 6b 1 mod 11 .
Fcilmente comprobamos que 6 2 12 . Luego 6 2 1 (mod 11) y as 2 es
el inverso de 6 en IZ 11 .
b) El inverso de 6 en IZ17 es 3. Porque 6 3 1 (mod 17), o bien,
6 3 1 en IZ 17 .
c) El inverso de 3 en IZ 10 es 7 , porque 3 7 1 (mod 10), o lo que es lo
mismo, 3 7 1 en IZ 10 .
d) El inverso de 5 en IZ12 ser b tal que 5b 1 (mod 12). O expresndolo de

otra manera 5b 1 es mltiplo de 12. Es decir,
5b 1 12k 5b 12k 1
Como mcd 5, 12 1 , la expresin anterior es la correspondiente al teorema

de Bezout y los coeficientes b y k se obtiene con el algoritmo de Euclides
2 5 2 2
1 5 2 2 5 212 5 2 2 12 5 5
5 2 2 1
Por tanto b 5 . El inverso de 5 en IZ 12 es 5.
e) El inverso de 2 en IZ11 es 6 porque
2 6 1 mod11 , 0 bien, 2 6 1 IZ 11
f) El inverso de 7 en IZ 15 ser x tal que 7 x 1 mod 15 . Es decir,

7 x 1 15 y o bien 7 x 15 y 1
Calcularemos los coeficientes x e y aplicando al algoritmo de Euclides al
clculo de mcd 7, 15 1
15 7 2 1 7 2 15 1 1
As pues x 2 , y el inverso de 7 es 2 en IZ15 . Como

2 13 mod 15 , es decir, 2 13 en IZ 15 , podemos decir que 13 es
el inverso de 7 en IZ 15 .
g) El inverso de 7 en IZ 16 ser x tal que 7 x 1 mod 16 o bien,

7 x 16 y 1 Repitiendo el proceso descrito en (f) por ser mcd 7, 16 1 ,
resulta
16 7 2 2
1 7 2 3 7 16 7 23 7 7 16 3
7 2 3 1
As x 7 y el inverso de 7 en IZ 16 es 7
h) Repitiendo el proceso anterior, el inverso de 5 en IZ13 ser x tal que

5 x 13 y 1
13 5 2 3 1 3 2 1 3 5 3 1

mcd 13, 5 1 5 3 1 2 5 1 3 2 5 1 13 5 2 2
5 5 13 2
3 2 1 1
As pues x 5 . El inverso de 5 en IZ 16 es 7
1.38. Resolver el siguiente sistema de ecuaciones en IZ 7 y en IZ 5

x 2 y 4

4 x 3 y 4
RESOLUCIN Resolvemos el sistema en IZ 7
x 2 y 4 4 x 4 2 y 4 4 4 x y 2

4 x 3 y 4 4 x 3 y 4 4 x 3 y 4
Si a la segunda ecuacin le restamos la primera obtenemos
2y 2 4 2y 4 2 y 1
Sustituyendo en la ecuacin x 2 y 4 el valor de t resulta

x 2 1 4 x2
Sistema tiene solucin nica x 2, y 1 .

Resolvemos el sistema en IZ 5
x 2 y 4 4 x 4 2 y 4 4 4 x 3 y 1

4 x 3 y 4 4 x 3 y 4 4 x 3 y 4
El sistema no tiene solucin en IZ 5 .
1.39. Dado un nmero a, recibe el nombre de inverso de a mdulo m, otro a tal
que
a a 1 mod m
Calcular los inversos de: 6 mdulo 11, 3 mdulo 8, 2 mdulo 8.

RESOLUCIN
a) El inverso a debe cumplir:
6a 1 mod 1 11 6a 1 a 2
b) Idem: 3a mod 8 8 2a 1 a 3
c) Idem: 2a 1 mod 8 8 2a 1 . Pero como ahora 2a 1 es un
nmero impar, no es posible encontrar a . El inverso no existe.
1.40. Si p es primo, demostrar que en IZ p los nicos elementos que coinciden con
su inverso son 1 y 1 .
RESOLUCIN. Si p es primo todos los elementos no nulos de IZ p admiten
inverso.
Sea a IZ p un elemento que coincide con su inverso, es decir,
a a 1 en IZ p , o lo que es lo mismo, aa 1 mod p .
As p a2 1 es decir, p a 1 a 1
Como p es primo debe dividir a uno de los dos factores, o bien p a 1 o
bien p a 1
Si p a 1 entonces a 1 mod p , o sea, a 1 en IZ p
Si p a 1 entonces a 1 mod p , o sea, a 1 en IZ p
1.41. a) Comprobar que los enteros menores que 11, excepto el 1 y el 10, pueden
agruparse de dos en dos de manera que cada uno de ellos es el inverso del otro
en IZ 11
c) Usar el apartado a) para demostrar que 10! 1 mod 11 .
RESOLUCIN
a) Como 11 es un nmero primo, todos los elementos no nulos de IZ 11 son
elementos inversibles. Veamos cul es el inverso de cada uno
1 1 mod 1 , luego 1 es el inverso de 1 en IZ 11
2 6 1 mod 11 , luego 6 es inverso de 2 y 2 es inverso de 6 en IZ 11
3 4 1 mod 11 , luego 3 es inverso de 4 y 4 es inverso de 3 en IZ 11
9 1 mod 11 , luego 5 y 9 son inversos uno del otro en IZ 11
7 8 1 mod 11 , luego 7 y 8 son inversos duno del otro en IZ 11
10 10 1 mod 11 , luego 10 es inverso de s mismo en IZ 11
b) 10! 10 9 8 7 6 5 4 3 2 1 10 8 7 6 4 3 2 1 mod 11 , ya que es

9 5 1 mod 11
Y si seguimos agrupando los factores por pares, 2 y 6, 3 y 4, 7 y 8, llegamos a:

10! 10 mod 11 y como 10 1 mod 11 , resulta 10! 1 mod 11
1.42. Demostrar, utilizando el mtodo del ejercicio anterior, que si p es primo
entonces
p 1! 1 mod p

Utilizar este resultado para encontrar el resto de dividir 15! Por 17.
RESOLUCIN. Si p es primo los nicos elementos de IZ p que coinciden con

su inverso son 1 y 1 . Esto quiere decir que los restantes elementos de IZ 6
se pueden agrupar por parejas c, d tales que c d 1 en IZ p es decir,
cd 1 mod p .
As en el producto p 1! p 1 p 2 p 3....3 2 1 todos los

elementos, salvo 1 y p 1 , pueden emparejarse de forma que el producto de
cada par es congruente con 1 mdulo p.
Ser, por tanto:

p 1! p 1 1 mod p y como p 1 1 mod p
p 1! 1 mod p
Este resultado se conoce como Teorema de Wilson.
Aplicaremos el teorema para hallar el resto r de la divisin de 15! Por 17. si
expresamos esto en forma de congruencia, tendremos
15! r mod 17
Multiplicamos esta congruencia por 16 (es decir, por 16 16 mod 17

16! 16 r mod 17
El teorema de Wilson para p 17 dice que 16! 1 mod 17 luego

16r 1 mod 17
16r 1 mod 17 16r mod 17 r 1
El resto buscado es 1.
1.43. Dada la ecuacin de congruencia lineal 3 x 5 mod 13 , analizar si tiene
solucin y, en caso afirmativo, resolverla.
RESOLUCIN. En primer lugar, calcularemos d mcd 3,13
13 3 4 1
mcd 3,13 1 Tiene solucin nica
3 1 3 0
Clculo del inverso de 3 mdulo 13:
3a 1 mod 13 13 3a 1 a 9 es un inverso
Por lo tanto,

9 3 x 9 5 mod 13 x 6 mod 13
1.44. Resolver las siguientes ecuaciones de congruencias:

a) 5 x 1 mod 11
b) 4 x 3 mod 7
c) 3 x 9 mod 15
d) 8 x 2 mod 10
e) 5 x 7 mod 15
RESOLUCIN
a) 5 x 1 mod 11
mcd 5, 1 1 , luego 5 tiene inverso mdulo 11

5 9 11 4 1 , luego el inverso de 5, mdulo 11, es 9
Multiplicamos por 9 la congruencia
9 5 x 9 1 mod 11 45 x 9 mod 11 x 9 mod 11
Comprobamos que la solucin es nica, pues mcd 5, 11 1 .
b) 4 x 3 mod 7
mcd 4,7 1 , luego 4 tiene inverso mdulo 7; el inverso es 2, pues
4 2 7 1 1 y as a 2 1 mod 7 .
Multiplicando en la congruencia por 2

2 4 x 2 3 mod 7 x 6 mod 7
c) 3 x 9 mod 15
mcd 3, 15 3 9, luego la ecuacin tiene solucin; adems el nmero

de soluciones ser mcd 3, 5 3 .
Expresando la congruencia en forma de ecuacin diofntica, tenemos que,
3x 15 9
Luego x 5k 3 k IZ .
Las soluciones, mdulo 15, son
3, 8, 13
15 2 15
Que corresponde a x0 , x 0 , x0 en la discusin general de la
3 3
solucin de una congruencia contenida en el resumen.
d) 8 x 2 mod 10

mcd 8, 10 2 2 , luego la ecuacin tiene dos soluciones.

No se puede multiplicar la congruencia por el inverso de 8, mdulo 10,
porque no existe.
Planteamos la congruencia como ecuacin diofntica:
8 x 10 y 2 4 x 5 y 1 4 x 5 y 1
Una solucin (no hace falta ms) es x 4, y 3 . Con esto las soluciones
de la congruencia son (mdulo 10):
10
4, 4
mcd 8, 10
Es decir 4 y 9.
e) 5 x 7 mod 15
Como mcd 5, 15 5 no es divisor de 7, la ecuacin no tiene solucin.
1.45. Usar el teorema de Fermat para calcular los restos de dividir 3 47 entre
23 y 6 692 .
RESOLUCIN Si p es primo y p no es divisor de a, el teorema de Fermant

dice que a p 1 1 mod 9
Aplicando el teorema para p 23, a 3 tendremos que
3 22 mod 23
Como el exponente que nos dan es 47, efectuamos la divisin de 47 por 22

47 22 2 3 3 47 3 22 2
32
Por las propiedades de las congruencias
3 1 mod 23 3 4 mod 23
22 2
47

3 4 mod 23
3
Luego el resto de dividir 3 47 entre 23 es 4.

Para la segunda divisin aplicamos el teorema a p 11, a 6
6111 1 mod 11 , o sea 610 1 mod 11
Ahora dividimos 592 entre 10

592 59 10 2 6 592 6 5910 2 610 59
62

6 1 mod 11 6 3 mod 11
10 59
592

62 3 mod 11
El resto de dividir 6 592 entre 11 es 3.
1.46. Resolver el siguiente sistemas de congruencias lineales
x 2 mod 3

x 3 mod 5
x 2 mod 7
RESOLUCIN. Clculo de los valores:
m m1 m 2 m3 3 5 7 105
M 1 m / 3 105 / 3 35
M 2 m / 5 105 / 5 21
M 3 m / 7 105 / 7 15
Clculo de los inversos de 1 , M 2 , M 3 respecto de los mdulos 3, 5, 7:

35 2 mod 3 y1 2 es el inverso de 35 mdulo 3
21 1 mod 5 y 2 1 es el inverso de 21 mdulo 5

15 1 mod 7 y 3 1 es el inverso de 15 mdulo 7
Las soluciones x del sistema son tales que a1 2, a 2 3, a3 2

x a1 M 1 y1 a 2 M 2 y 2 a 3 M 3 y 3
2 35 2 3 21 1 2 15 1 mod 105
23 23 mod105
Por lo tanto, 23 es el entero positivo ms pequeo solucin simultnea.

Cualquier otra solucin tendr la forma general, x=23+105, k entero.
Comprobar que 23 es solucin, dividiendo este nmero por 3, 5 y 7
sucesivamente y verificando que los restos son, respectivamente, 2, 3, 2.
1.47. Resolver el sistema de congruencia
x 2 mod 4

x 3 mod 7
x 5 mod 9

RESOLUCIN. El Teorema Chino del resto asegura que el sistema tiene

solucin por ser los mdulos primos entre s. Adems la solucin es nica
mdulo 4 7 9 .
x 2 mod 4 x 4t 2 1
Sustituimos este valor en la segunda ecuacin
4t 2 3 mod 7 4t 1 mod 7
Multiplicando por 2 ambos miembros 1

x 4 7 s 2 2 28s 10 2
Sustituimos este valor en la tercera ecuacin
28s 10 5 mod 9 28s 4 mod 9
Y como 28 1 mod 9 , resulta

s 4 mod 9 s 9k 4
Luego, sustituyendo en 2
x 28 9k 4 122 252k k IZ
1.48. Cules son los nmeros enteros que son divisibles por 3 y cuyo resto al
dividir por 5 es 1?
RESOLUCIN. Sea n un nmero entero verificando las condiciones del
enunciado. As se cumple que
n 3k

n 1 mod 5
3k 1 mod 5 y como e inverso de 3 es 2 en IZ 5
2 3k 2 1 mod 5 k 2 mod 5
Luego, k 2 5t .
Por tanto los enteros buscados son los de la forma
n 3 2 5t 6 15 y t IZ
1.49. Resolver el sistema de congruencia
x 2 mod 5

2 x 1 mod 7
3x 4 mod 11


RESOLUCIN. Intentamos expresar cada congruencia del sistema en la

forma x a mod m . 2 x 1 mod 7 , multiplicamos por 4, que es el
inverso de 2 en IZ 7
4 2 x 4 1 mod 7 x 4 mod 7
3 x 4 mod 11 , multiplicamos por 4, que es el inverso de 3 en IZ 11
4 3 x 4 4 mod 11 x 5 mod 11
As el sistema que se ha de resolver es:
x 2 mod 5

x 4 mod 7
x 5 mod 11

Que tiene solucin nica, mdulo 5 7 11, por el Teorema chino del resto.
Resolvemos el sistema. De la primera ecuacin obtenemos x 5k 2 , valor
que llevamos a la segunda ecuacin
5k 2 4 mod 7 5k 2 mod 7
3 5k 3 2 mod 7 k 6 mod 7 k 7 s 6
Luego,
x 5 7 s 6 2 35s 32 1
Llevamos este valor a la tercera ecuacin
35s 32 5 mod 11 2 s 10 5 mod 7
2 s 6 mod 11 6 2 s 6 6 mod 11
s 3 mod 11 s 11n 3
Sustituyendo este valor en 1 obtenemos:

x 35s 32 35 11n 3 32 385n 137 n IZ
1.50. Se reparten cuatro bolsas iguales de caramelos entre tres grupos de nios. En
el primer grupo, que consta de cinco nios, se reparten dos bolsas y sobra un
caramelo. En el segundo grupo, de seis nios, se reparten una bolsa y sobran
dos caramelos. En el tercer grupo, de siete nios, se reparte una bolsa y
sobran tres caramelos. Sabiendo que, en total, el nmero de caramelos no
llegaba a 500, Cuntos haba en cada bolsa?
RESOLUCIN. Llamemos x al nmero de caramelos que hay en cada bolsa.
Si repartimos dos bolsas entre 5 nios y sobra un caramelo debe cumplirse
que 2x es un mltiplo de 5 ms 1, suponiendo que el reparto es equitativo

recibiendo todos los nios el mismo nmero de caramelos. As tenemos una
primera relacin para x
2 x 1 mod 5
En el segundo reparto se obtiene la relacin

x 2 mod 6
Y en el tercer reparto la relacin x 3 mod 7 .

Por tanto x debe ser solucin del sistema de congruencias
2 x 1 mod 5

x 2 mod 6
x 3 mod 7

Resolvemos el sistema. La primera ecuacin se reduce a la forma cannica
multiplicando por 3 (inverso de 2 mdulo 5).
2 x 1 mod 5 3 2 x 3 1 mod 5 x 3 mod 5 x 5k 3
Llevamos este valor a la segunda ecuacin

5k 3 2 mod 6 5k 3 3 2 3 mod 6
5k 5 mod 6 k 1 mod 6 6 6s 1
Luego
x 5 6 s 1 3 30 s 8 *
Y este valor se lleva a la tercera ecuacin
0s 8 3 mod 7 2 s 1 3 mod 7
2s 2 mod 7 s 1 mod 7 pues mcd 2,7 1
As pues, s 7 n 1 , sustituyendo en (*) resulta:

x 30s 8 30 7n 1 8 38 210n n IZ
El nmero de caramelos de cada bolsa debe ser positivo, luego puede tomar
los valores 38, 248, 458,
Como haba 4 bolsas y, en total, menos de 500, la nica solucin vlida es
x 38
1.51.
a) Calcular los retos de las potencias sucesivas de 5 respecto del mdulo 12.
b) Calcular los restos potenciales de 12 (mod 7).
RESOLUCIN

51 5 mod 12
5 2 51 51 1 mod 12
a) 5 3 5 2 51 5 mod 12
4 5 2 5 2 1 mod 12
5 5 5 3 5 2 5 mod 12
Los restos se obtienen de forma peridica: 5, 1, 5, 1, 5

12 0 1 mod 7
121 12 5 mod 7
12 2 4 mod 7
12 3
6 mod 7
b)
12 4
mod 7
12 5
3 mod 7
12 6
1 mod 7
12 7
5 mod 7
La serie peridica es ahora: 1, 5, 4, 6, 2, 3, 1, 5,
PROBLEMAS PROPUESTOS
1.1. Hallar el valor de x en las expresiones

a) 331x 10611 .
b) 274 8 x 2
1.2. Tres barcos hacen recorridos distintos coincidiendo en la salida el 1 de entero.
Cundo volvern a coincidir sabiendo que tardan en sus viajes 6, 8 y 10 da,
respectivamente? Cuntos viajes habrn hecho hasta coincidir de nuevo en la
salida?
1.3. Hallar los nmeros x e y tales que
mcm x, y 180

x y 81
1.4. Averiguar cuntos nmeros menores que mil son divisibles a la vez por 36 y 15
cules son.
1.5. Encontrar el menor nmero positivo que dividido por 18, 30, 42 se obtenga
siempre el mismo resto: 19.

Problemas Resueltos Matematica Discreta

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Problemas Resueltos Matematica Discreta

Transféré par

Droits d'auteur :

Formats disponibles

PROBLEMAS RESUELTOS Matemtica Discreta

PROBLEMAS RESUELTOS DE MATEMTICA DISCRETA

La parte de la matemtica que trata de los nmeros enteros y de sus propiedades

1.1. COCIENTE EXACTO

ser divisor de x y .....z

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 1

1.2. COCIENTE ENTERO

Entonces, qy q 1 reciben los nombres respectivos de cocientes enteros por defecto y

Se denomina divisin entera de dos nmeros naturales, D y d 0 , aquella operacin

1.3. DIVISIN EUCLDEA

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 2

En ambas representaciones, la distancia que separa dos valores o puntos consecutivos

1.5. NMEROS PRIMOS Y NMEROS COMPUESTO

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 3

m p1ei p 2e2 p mem

Teorema 4 La sucesin e nmeros primos es infinita.

1.6. MXIMO COMN DIVISOR

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 4

En este caso, todas las soluciones de la ecuacin son de la forma

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 6

De la definicin anterior se desprenden las propiedades que siguen.

Dados varios nmeros, se dice que forman un sistema de nmeros incongruentes

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 7

Divisores de cero y unidades en IZ m

Para cualquier m existe b IZ m divisores de 1 o elemento inversibles. Un

ab 1 en IZ m . Al elemento b se le llama inverso de a y se le designa por

mdulo m sern x0 m / d i , i 0,1,2,...., d 1 -

1.11. SISTEMAS DE CONGRUENCIAS LINEALES

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 8

1.1. Hallar la representacin usual (en base 10) de

3 165( 7 3 7 3 1 7 2 6 7 5 7 0 1.029 49 42 5 1.125

2 002 (11 2 113 0 11 2 0 11 2 1.331 2 1.333

1 231( 7 7 3 2 7 2 3 7 1 343 98 21 1 463

1 2.31(5 1 5 3 2 5 2 3 5 1 125 50 15 1 191

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 9

1.2. Hallar la representacin en las bases 2,7 y 11 de los siguientes nmeros

Los restos sucesivos que se han obtenidos constituyen la representacin en

634 2 317 0 562 2 281 0 2.002 2 1.001 0

2 002 (10 11 111 010 010 ( 2

2) La representacin en base 7 se obtiene por divisiones sucesivas por 7

3) Para la representacin en base 11 se necesitan smbolo adicional para indicar

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 10

2 002 (10 1 560 (11

1) Demostrar que 121m m 1 10 para m 3

2) Expresar 169 m en base 10 para m 10 .

Expresiones que slo es vlida para m 3 , pues en base 2 smbolo 2 no

1.5. Aplicando el algoritmo de Euclides, calcular el mcd de - 187 y 154.

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 11

la divisin de 187 y 154.

Por lo tanto, mcd 187, 154 11 .

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 12

Que tiene dos soluciones

Operando en las expresiones de 1 resulta:

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 13

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 14

1.10. Demostrar que si a divide a la suma b c de dos enteros y a uno de los

RESOLUCIN Indicando por r cualquier valor entero 0, 1, 2,..., ser

1.11.Aplicar el principio de la divisin eucldea para encontrar el cociente q y el resto

Pero entonces no se satisface la condicin:

Hilda Mery Herrera Palomino Facultad de Ciencias Pg. 15

Pero entonces no se satisface la condicin ya que

1.13. Dados a 198 y b 74 , apoyndose en el algoritmo de Euclides encontrar

RESOLUCIN El algoritmo de Euclides obtiene los cocientes y restos enteros

Estas operaciones pueden disponerse as: