aparparta:icios,

:s

de

ades.

rade-

:uela
ntrerplia

rde
plia

fos
)mo

ido
rlia

ry
ha
Ias

al,

ni

En esie captulo...
1.1.
1.2.
1.3.
1.4.
1.5.
1"6.
1.7.
1.8.
1,9.
1.10.
1.11.

Cociente exacto
Cociente entero
Divisin eucldea
Sistemas da numeracin
Nmeros primos y rtmeros compuesios
Maximo comn divsor
Mnimo comn mftiplo
Ecuaciones diolnticas
Congruencias

1.i2"

Flestos potenciales

Sistemas de congruencias lineales

Frbtsml,reOe.t0S,t,.,.,

rr*b*ffi'lff

, ;1,,,'r1:, ,r.,,,

:r' ,:,.

r,,.

llll,.,,l:,llllll.,ll,ll.lllllll,.,t..,...l,l'llll

Problemas de recapitulacir
soiu*ionbs rrl.iss:t]pr,obtamas',,fnn stos

@ ITES-Paraninfo

Problemas resueltos de matemtca discreta

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

recibe el nor
ocupa una p.origl.n...:-rt l
ta arirmrica y el lgebra.
Trataremos en este captulo de la nocin cle divisibilidad "rt."
ile la que se cleriva .l ;;;;"
nmero primo, de la divisin de nmeros enteros y sus propiedactes y,
como consecuencia e tr
lo anterior. de la aritmtica modular.

o",f:^..,:_*ji.l::.!:t,1.,?u.l

1.1. CocerurE ExAcro

Los productos de un nlmero entero n por I , 2, 3. ... reciben el nombre de
mltiplos de . pr
.:r:ld":o como^rnrlripto cle r, su proclucro por 0. Entonces, indicanrlo por
::::i:l::,.:illl.-l
:: de los O. 1.2.3. .... l; explesin general Ae los
cualquier valor entero
mrltiplos,l..,, ;;;:'
Se expresa que D es un mltiplo cle r, cscribieno : rL Tambin
se clice qr. n
un divisor
D, o que divide a , o que a es un submltiplo cle b o que es
divisible por .",toclo lo cual
indica por n l. Se escribir u I b cuando a no divida a 1..
Los mltiplos de 2 reciben el nombre cle nmeros pares; los restantes son
los nmeros

pares.
Algunas propiedades de ras definiciones anteriores son las que siguen.

si r es divisor de D. tambin ser divisor cre cr,ralquier mrrtiplo de .

si a es divisor de y de '. tambin lo scrt de bic., siencl b)c.
Si r es divisor de b y lo es de c. entonces a lo ser de ..
Si divide a la suma o diferencia b*c de clos enteros y a uno cle los

1.

3.
4.

ejemplo. al , entonces tambin diviclir al otro

de

sumandos,

c.

5' sia,b,...,csondivisores,respectivamente,de ,!,...,,entonces a.b.....cserdi

x.y . .... z.

Recibe el nombre de cociente exacto de dos nmeros naturales p,

diviclenclo , y t *0. ciiviso:.
el nl.nero natural r cuyo proclucto por el divisor reprocluce el dividendo.
La opracin realizaci*
para calcular et cocienre exacro. se llama divisin exacta y ,.
inaicu fo. p; ;i;;-r;:.,,,.

1.2. CocerurE
Sean

ENTERo

D y d dos nmeros naturales, no nulos. Sea q otro nmero tambin natural tal que
cumpla la

relacin

qd<D<(q+t)d
Entonces, q y q + I reciben los nombres respectivos de cocientes
enteros por defecto y por exceso de la divisin de D, diuidendo, por d, uisor.
Reciben los nombres respectivos e restos enteros por defecto y por
vrvvuv' rvo
los nmeros
l
r\
/ rv exceso,
/ definidos por las igualdads

r:D_qd
: (q + l)d -

r'

qd + d

-r
D y d * 0, aquella operacin aritmti_

Se denomina divisin entera de dos nmeros naturales,

ca cuyo objetivo es el clculo de los cocientes y restos enteros.
La divisin entera posee las propiedades que se enumeran a continuacin.
1.

)
@ ITES-Paraninfo

La snma de los restos enteros por def-ecto y por exceso es igual al

clivisor.
En toda divisin entera por def'ecto. el diviclendo es la slrira del clivisor por
el cocier::
ms el resto.

Teora de nmeros

rombre

3.

:4.

'pto

de

J.

le todo

1.3.
por

ar.

or

de

ral

se

Si se multiplican dividendo y divisor por un mismo nmero, el cociente petmanece invariable y el resto quedar rnultiplicado por ese nmero.
Si en ia divisin de D por cl, q es el cociente y r el resto, entonces el cociente de la divisin D * lz, siendo /z un nmero natural, por d, ser q + q', siendo 4' el cociente obtenido
al dividir r -f h por d.

Drvrsttt EUcLDEA

Hemos considerado hasta aqu nicamente nmeros positivos. Vamos a ampliar ahora el campo de
io: datos que intervienen en la divisin considerando tambin los nmeros negativos'
Sean D y r/ dos nmeros enteros, con d * 0. Utilizando la recta real es posible representar d y
oclos sus mltiplos. Tendremos dos casos segn sea d > 0 d < O:

-d

3d

-d

-2d

-3d

tm-

d<0

d>0
por
isor
ior,
rda

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

recta real es ldl. Si sobre esa recta indicamos D, se podrn representar dos casos segn que D
coincida o no con un mltiplo de d.

a)
b)

D:.i. Entor."t serD: qd+ r, r:0,q e Z, es decir. D: qd,c7 eZ.

Es D * . Ertor..r, sea qd el mayor mltiplo de r/ menor que D, es decir, el primer mltiplo de d situado en la recta real y a la izquierda del valor D. Llamando r a la distancia
eiistente entre qd y D, tendremos, D: qd-f r,0 < r'< ldl, q e Z.

Es

Los resultados anteriores constituyen el principio de la divisin eucldea.

Teorema. Si D y dson nmeros enteros,

la

d+0,

entonces existen dos enteros nicos

qy

r.

talesqueD:qd-lry0(r<ldl.Losenterosclyrreclbenlosnombresrespectivosdecociente
1' resto de la divisin eucldea de D por cl.

1.4. Srsreuas

DE NUMERAcIN

Sistema de numeracin es el conjunto de reglas y convenios mediante los cuales pueden representarse todas las cantidades utilizando signos diversos. Ejemplos son: sisfema decinal, que es el
usual empleado por el hombre, sistema binario y sistemo hexadecintctl utilizados en computacin.
Sean rz y clos nmeros naturales. Recibe el nombre de sistema de numeracin posicional
clel nmero rr en base , la sucesin de smbolos d,,, d,,-1, ..., d1, dn, tales que Vl,0 ( d, < 0, y
de forma que sea

tn

{1,,b"

dr-rb' 1 + .'. + dl

t1l

do

El nmero } recibe los nombres de base, raz o mdulo del sistema de numeracin o

repre-

sentacin.

Teorema. Sean n y dos nmeros naturales. b > 1. Entonces, n tiene una descomposicin
nica en funcin de la base b, de la fonna anterior [l] con d,, i:0, ..., r, nmeros naturales
menores que .
@ ITES-Paraninfo

Problemas resueltos de matemtica discreta

1.5.

Nnnenos pRtMos y NMERos coMpuEsTos

Dado un entero p e N, p > 1, se dice que es un nmero primo, cuando no admite

en N que el 1 y el propio p. Nmero compuesto es el que no es prirno.
El conocer si un nmero es primo o no pasa por la aplicacin de varios teoremas que vamos
enunciar.

Teorema

1.

Todo nmero compuesto

e N admite, al menos, un divisor prirno.

Este teorema junto con los dos siguientes, 2

nmero natural en producto de factores primos.
Teorema

2.

y 3, permiten la descomposicin factorial de

Todo nmero compuesto n e N puede expresarse mecliante el proclucto de

res primos, as

m: Pt'P2"..'P^
o si p, se repitiera i veces,

m:P"1,.p,.....p",1
Teorema

3.

La descomposicin factorial de un nmero compuesto m e N en factores

: 24.32 .52.

es nica. As, es 3.600

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 llegar al cociente 1. Por ejemplo, para el nmero 168. se procedera as:
r68

84

42

2t

:
Teorema 1.
Teorema 5.

Entonces. 168

23

.3.1.

La sucesin de nmeros primos es infinita.

Si m es un entero compuesto, ntfendr un divisor menor o igual

El total de nmeros primos menores o iguales a un entero m

recibe el nombre de funcin de nmeros primos.

1.6.

se indica por

!6.

la funci n n(ru) que

Mxulo coMN DtvtsoR

Sean a y nmeros enteros, r/ un entero no nulo. Si dlc y dlb, se dice que d es un divisor
comn de a y de . Si d es mayor que cualquier otro divisor comn de rz y , entonces se dice
que d es el mximo comn divisor de a y de b y se indica por mcd (u, b): cl.
Como consecuencia de la definicin antel'ior, podemos dar esta otra: dos enteros rz y se dice
que son primos relativos o primos entre s, cuando su mxirno comn divisor es 1, es decir.
mcd 1rr , b) : l.
@ ITES-Paraninfo

Teora de nmeros

visores

tmos

El concepto anterior puede extenderse a ms de dos nmeros: dados los enteros a1, a2,..., o,,.
i-ce
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 nmeros puede emplearse el algoritmo de
Euclides. basado en el siguiente teorema.

,
de un
tacto-

Teorema. Sean a y b dos nmeros enteros, et > b', los divisores comunes a ambos son los
r'nunes al menor de ellos y al resto r, por defecto o por exceso, de la divisin de ambos.

Entonces, para encontrar el mcd (.a, b), o ) b, se efecta la divisin entera del nmero mayor
obtenindose el cocienie qr y el resto r,; a continuacin se divide el divisor D por
.>3 resto obtenido, de forma g\e ez ser el nuevo cociente y r, el nuevo resto; se contina as
:,;:ta llegar a una divisin exacta, es decir, a un resto rn+t:0. El ltimo resto no nulo ser el
:--,-d (. ). Si el ltimo resto fuera l, a y b seran primos entre s.
Algunas propiedades del mximo comn divisor son las siguientes:

:-,: el menor,

Cualquier divisor comn de a y es un divisor de mcd (a, b).

Consiclerando los nmeros enteros Z, y dado que los divisores de un nmero
son de -r, se cumplir que mcd (a, b): mcd (-ct, b).
Se verifica que mcd (a, b) : mcd (a - b, b): mcd (a * b, b).
Si mcd (cL, b) : d entonces mcd (ah, bh) : dh.
Si mcd (.ct, b) : cl y n y b son mltiplos de ft entonces mcd (alk, blk): dlk
Si mcd (a, b): d entonces mcd (ald, bld): l.
Si un nmero c es divisor del producto ob, y mcd (u, c):1, entonces cl'

1.
')

mos,

ntes

co-

3.
4.
6.
7.

Teorema de Bezout. Dados dos nmeros naturales cL y b tales que mcd (a. b)
dos nmeros enteros s y /, tales que d: as * bt, es decir, mcd (4, b): as -fbt.

tambin

1o

r/, existen

Teorema. La condicin necesaria y suficiente para que un nmero rt 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 nrmeros es el producto de los 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.

Munno coMN

ulrtplo

nmeros enteros no nulos. Sea / un mltiplo comn de ambos. Se dice que / es el

mnimo comn mltiplo de a y de 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.
Sean

ay

1.
2.
3.

ab.
mcm (4, ) .mcd (a, b)
I entonces mcm (4, b) ab.
Si mcd (a, b)
Si ru es mltiplo comn de o y D 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.

ITES-Paraninfo

Problemas resueltos de matemtica discreta

Teorema. El mnimo comn mltiplo

de varios nmeros es el producto de los factores

y tomando cada uno con el mayor

mos tanto comunes como no comunes a todos ellos

con el que figura en los nmeros dados.

1.8. EcuacloNEs DtoFruncas

Las ecuaciones con coeficientes enteros y cuyas soluciones
se buscan slo dentro de

ecuaciones diofnticas.

se

ll

Teorema. La ecuacin diofntica ax I

by: c, tiene soluciones enZ si y slo si dlc, s

d: mcdn, b)

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

Itb

lx:xt+

Ita

Yte

donde

(r, -l,r) es una solucin particular

d,e

ax

I by: c

lt:tr-
1.9. Cor*lonuENctAS
vamos a iniciar ahora Ia teora de las congruencias tambin
conocida con el nombre de ari
ca modular o estudio de los nmeros congruentes.

sirzysondosnmerosenterosymesotroenteropositivo,sedicequeaysoncongru
resPecto del mdulo ,2, cuando divididos por l pioducen
el mismo resro. La relacin
les

congruencia se expresa como l : (mocl in) o bien a : b (tn).

De la deflnicin anterior se desprenden las propiedades qr"
,lgr"r.

1. Para todo o es a a (mod nr), propiedad reflexiuo.

2. Si a : (mod rz),= entonces b: o (mod nt), propiedctcl
3' li n = (mod m) y b = c (mod rr), entonces a c (mod
'in*ica.
m), propieetacl an.siritct.
=
4' Si
un nmero 4 es primo con r, todo b : tt (mod
rir) ser tr.ti, primo con rr.

Teorema' La condicin necesaria y suficiente para que dos nmeros

a y b sean congruentes
mdulo //, es que su diferencia sea mltiplo de 2, es clecir,
rul@ _ b).
Otras propiedades

1'

2'

Si r es el resto de Ia divisin de a por tn, entonces a

menor residuo no negativo de mdulo 2.

@ ITES-Paraninfo

que

es el

l#',;:"(i";lH;..',ffi i::.T:*';j: il,::1i:T",,*.11*ji"',el,nj ;il,,U11.:

error con el mdulo. Como representante de la

3.
4'

= r(mod, nl) y decimos

ilut"-r" pr." to-ur el menor residuo

r de cuarquier elemento de la clase, que ser 0 E r < rz.
El conjunto de clases mdulo rz se designoronZ,,,:
{t01,,, [l],,,,..., lm _ 11,,,].
La congruencia mdulo ,?? es compatibl con la suma y
o rte Z, es decir,
si : (mod nt) y c: r1(mod iir) entonces ct I c: b 1-"i'p.oar.,
d(moc;, m) y 4c: bd(mod nt)
negativo

no

Teora de

factores

or ex

t-a propiedad cancelativa del producto se cumple si rn es primo, es decir,

si rn es primo y ac

nmeros

Si ac = c(mod m) y

bc(mod m) entonces a

d:

= b(mod m)

mcd(c, rn) entonces

a:

/m\

mod;

dl|.

Dados varios nmeros, se dice que forman un sistema de nmeros incongruentes respecto del
rz, cuando los restos de la divisin de cada uno de ellos por n son todos distintos. Aquel[m sistemas que constan exactamente de m trminos reciben el nombre de sistemas completos de

Zsell

ffilo

/1c, siendo

rcdduos.

-{ritutica en Z[-a compatibilidad de la congruencia con la suma y el producto de Z permiten definir en Z^ la

suma y el producto:
+c: clasede a*cenZ*
A. c

clase de ac en Z^

Divisores de cero y unidades en Zm

Si rn no es prim_o , en Z* hay divisores de 0, es decir. existen a, E tales rye a b :

. a es divisor de 0 + mcd(a, m) + l.

0 en Z^.

o Para cualquier lz existert en Z* divisoE! de 1 o elementos inversibles. Un elemento a e Z^

es inversible si existe b e Z* ta1 que ab : 1 en Z*. Al elemento b se le llama inverso de
y se le designa por - 1. En trminos de congruencias se dice que b es el inverso de a
mdulo m. Este elemento es nico, mdulo rn.
o es inversible mcd (a, m) : I
o Si a-, b son inversibles entonces ab y a-1 tambin son inversibles.

aritmti)ngruen-

rcin de

Teorema de Fermat
Si

p es primo y p no es divisor de a entonces ap-1

(modp).

1.10. EcuncIoNES DE coNGRUENcA

ruentes

"esel
entes

rgar a
ro no

f-a apticaciOn de las congruencias tr problemas de divisibilidacl concluce al estuclio cle 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 clue la satisfacen son sus soluciones.
Dados dos nitmeros u y b enteros, otro r,, entero positivo y una variable incgnita .r, la relacin r-r : (mod rir) recibe el nombre cle ecuacin de congruencia lineal.

Teorema. Sea la ecuacin de con-truencia

"r

o Solucin nica si rncd (n, nr) : l.

o Un total de cl : mcd (a , rn) soluciones si
o Nirl-suna solucin si d Nb.

r/

(mod ri). Dicha ecuacin tiene

| D.

Cuando tl b, indicando por -ro una solucin, las r/ soluciones distintas respecto del mclulo
seriin [.ro * Qnld) ll, Vi: 0, 1,2. .... d l.

@ ITES-Paraninfo

Problemas resueltos de matemtica discreta

1.1

1. SlsrruAs

DE coNGRUENctAS LTNEALES
.\'

.r

= a,(mod l,

(/r(mocl lr,

r = tt,,(mod

)')
)

Ill

llt,,).,l

La solucin de estos sistemas se apoya en el

Teorema chto del resto. Sean ll,. nt2,..., rr,, nmeros enteros positivos, primos dos
a
El sistema anterior [1] tiene una nica solrin mcluro n1 : tl1
decir,
existe
1.m,.....,,r,,.
solucin . 0 ( x < ,1, y cualquier otra :;err congruente mdulo it con ella. ",

.12.

Resros porENctALES

Dado el nmero . reciben el nombre cle restos potenciales de ese nmero respecto de un
r. los restos respecto de ese mismo mdulo cle las potencias sucesivas
no

: l,

nl , n2, ...,

nh

Para calcular esos restos basta con multiplicar por n el resto de nh, y el resto del producto
el de nh+1.

PnoaLeMAS RESUELTos
I > t.t. Hallar lu."p."r"rtacin

usual (en base

l0) de 10011 1012,31651,200217, 12311, l23ls.

Resoluclt
10011

l0l,r:1.27 +0.26 +0.2s + 1.24 + 1.23 + 1.22 +0.2r + l.2o:

:128+16+8+4+l:757
3165e :3.73 + 1.72 + 6.7 + 5.70 : t.OZg + 49 + 42+ 5:
2002t :2.t13 + 0.tt2 + 0.11 + 2:1.331 + z: t.333
l23le :1.73 +2.72 + 3.7 f 1 : 343 +gB +2t + l:463
12316 :1.53 +2.52 +3.5* 1:125+50+ 15+ 1:191
I

t.125

> t -2. Hallar la representacin en las bases 2, 7 y l de los siguientes nmeros expresados
1

mal: 237, 634, 562, 2 002.

en base deci-

Resoluclt

l)

Comenzamos con

la representacin en base 2. Debemos efectuar sucesivas clivisiones por 2

hasta clue el cociente sea 0.

ITES-Paraninfo

Teora de nmeros

:2'118 + I
1lB:2.59+0
59:2.29 + I
29:2. 14+l

231

14:2'7+0

7:2.3+t
3:2'l+1
1:2'0 +

dos
une

base 2:
Los restos sucesivos que se han obtenido constituyen la representacin en

2376o:

562:2'281 + 0
281 :2.140 +

634:2.317 + 0
311 :2. 158 + 1
158:2.19 + 0

ulo

:2.0 +

634o:

2)

8:2.4 + 0
4:2'21- 0
2:2'l * 0

001 111 010(2

5626o: i

:2'3'f I
3:2'l+l
1:2.0+l

+I

000 110 010(2

20026o:

11 111010010(2

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

634:7 .90 + 4

231:7'33+6
33:'7'4+5
4:7.0+4
6o:

237

3)

125:2.62 +
62:2.31 +0
3l :2'15 + 1
15 :2.1 + |

77:2'8 + I

l:2.0

:2.500+1
500:2.250+0
250:2.125+0

35:2.17+l

2' 1.001 +

1.001

140:2'70+0
70:2.35 + 0

9:2'4+l
4:2'2+0
2:2'l + 0

2.002

79:2'39+1
39 :2'19 + I
19:2'9+1

-ld

11 101 10112

456s

90:7'12*6

12:1'l+5
1:7'0+

6346o: I 564s

562:7 '80 + 2
80:7'11 +3

ll:7'l+4
1:7.0+1

5620: 14320

2.002:7 .286 + 0

286:7.40+6

40:7.5+5

5:7'0t5
20026o:

556012

para indicar el valor coPara la representacin en base 1 se necesita un smbolo adicional

rrespondiente a 10. Utilizaremos la letra A

: l|.2| + 6
634: |1.5]-17 562:11.51 + 1
2l:11'1+1051:11'5+251:11'4+116:11'1+5
4:ll'0+4
5:11'0+5
1:11'0+l

231

237

oo:

1461r r

63400:

527

6r

562o

4716r

2002:11'182 + 0
182: |1.16 + 6

1:ll'0+1
2002oo: 1 560111
@ ITES-Paraninfo

10

\-,

Problemas resueltos de matemtica discreta

I > t'g' con la notacin x^se indica que el nmero

1)
2)

natural

Demostrar que lLl^: (m * l),o2 para m) 3.

Expresar 169*en base 10 para m) 10.

estescrito en base rn. Se pide:

Resoluctl

1) tZI^:
2)

t.m2 + 2.m* t: (m + l)o

expresin que slo es vlida para m ) 3, pues en base 2 el
smbolo 2 no puede aparecer.
169^: I .m2 + 6.m -t 9 : m2 * 6m i 9,r,

I > l'4' E*o'tt-

el mcd de 108'

-90 y

l2l.clescornponienr]o cada nmero en slls factores pri

Resoluclr'
108

90

54
27

45

-)

126
63

I5

2l

J
J

-1

Con esta descomposicin ser:

l0B

:23.33

)
I

- -2.3'.5 imcd(r08.
- 126 - -2.3r.7 )
90

>.|'t I t

-90,

- 126):2.32:

18

Aplicando el algoritmo de Euclicres. carcurar el mcd cre

1g7

154.

REsot-uclru' Calcularemos los cocientes y restos sucesivos comenzando

por la divisin
l-54.

Por lo tanto.

I > t.O.

Encontrar.

mcd(-

187.

154): Il.

el mnirno comn mltiplo

cle

ros primos.

500 y 120 mediante la factorizacin de ambos en n

500

250

125
25

5
5

:
120 :

500

@ ITES-Paraninfo

cle

22
23

'.)'

120
60
30

2
2
2

15
5

-)

I
I

! mcm (500. 120)

3sJ

23 .3 . 53

3.000

Teora de

.y**J \*-rou,
'.7.

tu ,u*u

de dos nmeros es 60

Resoluct.

Sean

y su mximo comn divisor

es

nmeros

11

12. Cules son estos nmeros?

x e y los nmeros buscados

rl :

r+,v:60|
mcd {r. 1,) : l2j

tll

! : dc' y mcd (c, c'): l'

60:x *y: d(c 1- c'): l2(c t c') + c I c' : 5

por ser d: mcd(x, y), existen c

El sistema [1]

c'enteros tales que

x:

dc,

se transforma as en:

c+c':5]
: lj

mcd(c. c')
que tiene dos soluciones

.: rI

, :21

vr

c':4)

c'

3)

Por tanto hay dos soluciones al problema planteado:

: l2l
x:24)
)':48J ' )':36)

> 1.8. El producto de dos ntneros naturales es

1.260

y su mnimo comn mltiplo es 630' Cules

son

los nmeros?
s7

Resoluclt.

tenemos
Llamemos x e y a los nmeros buscados. Segn el enunciado

ry

mcm (x, y)

t'z6o]

630J

d: mcd(x, y), existet c y c' tales que:

tl]
x:dc , y:dc' , mcd(c,c'):1

Llamando d al mximo comn divisor de x e y, se tiene

Sabemos que
rry

E:-

mcd (x, Y) mcm (x, Y)

: d'l

luego

1.260:d'630 , dedonde, d:2

Operando en las expresiones de [1] resulta:

x!

dcdc'

: dzcc' ,

de

donde, l'260

4cc'

Por tanto, las condiciones para c y c' son:

cc'

315]

mcdlc.r"): lj
@ ITES-Paraninfo

12

Problemas resueltos de matemtica discreta

Este sistema tiene cuatro soluciones,

1)
2)
3)
4)

c:1, c,:32.5.7:315
c :32, c' : 5.7 : 35
c:5, c':32.7:63
c:7, c' :32.5: 45

que proporcionan las cuatro pareias de nmeros que cumplen

las condiciones del enunciado

1) ,r:2, v: 630
2) "r : 18. y :70
3) "r : 10. v:126
4) x: 14, ):90
I > l'9' Holl'r'lt

divisores comunes de 300, 420

660. orclenarlos de menor a mayor.

Resoluclru. En primer lugar calcularemos el mcd cle los tres nmeros

300
150
15
25
5

2
2

420

2t0

660

105

330
r65

5
5

35

55

11

1l

13
660

dados.

t',

: :', l

zr.: .s. il

2
2
J

| -"0 (300, 420,660) :

I

22

.3

.s

: 60

Los divisores comunes de los tres nmeros dados son los divisores
de 60. para encon
ordenadamente. basta tener.en cuenta que cada uno de esos
clivisores es el producto de tres
res, cada uno elegido sucesivamente de los conjuntos

{1,2,22}

{1,3}

{1,5}

Por 1o tanto, los divisores pedidos, tanto positivos como negativos, sern:

+1.1'l: *l

+1.3.1:
+1.1.5:
+1.3.5:
b

I > t.to.

+3
+5
*15

+4.3.1: *12
+4.1.5: +20

+2.3.5 + +30

+4.3.5

+4.1

+60

t-u

Demostrar que si

a divide a la suma b -t c de dos enreros y a uno de los sumandos.

tambin divide a otro, o e Zo.

Resoluclt.

Indicando por

cualquier valor entero 0,

b*c:ar
y si suponemos que a divide a b,

b: as
@ ITES-Paraninfo

.t : *4

+2.1.1: +2
+2.3.1: *6
+2.1.5: +10

s, entero

entonces

Teora de nmeros

t3

Restando ambas igualdades,

(b+ c)- b: c: a(r- s): ,

c: , alc

t\

'J.

r. 1n.r.

r 111Jrpl""r

r>s

'-,r-z(*l.Cr

principio de la divisin eucldea para encontrar el cociente c1 y el resto r a partir de los

r/ que se indican. Tngase en cuenta que debe cumplirse 0 < r < ldl.

"t D y iriro..t
dividenos

./t

t3

27

-27

13

-t3

21

-13

-21
ResolcrN

a) 27:2.13+1 , Q:2,r:l ,0<1<1131

b) -27 : (-3)'13 + 12, q: -3, r: 12 , 0 < 12 <ll3l
Si hubiramos hecho

-27 :(-Z).13+

1.(-1), Q: -2,r: -l

pero entonces no se satisface la condicin:

0+-1<1131

,0<1<l-131
c) 27:(-Z)(-13)+1 , e:-2,r:I
d) -2"1 :3(-13)+12 , Q:3,r:12 , 0<12<ll3l
Si hubiramos hecho

-27 :2(-13) + (-1)

, Q:2, r: -l ,

< -1 < l-131

pero entonces no se satisface la condicin ya que

0<-l<l-131

li
.-i-^

> 1.12.

Comprobar que los nmeros 6, 10

15 son primos entre s, sin ser primos dos a dos.

ResoluClu. Para comprobar que los tres nmeros dados son primos entre s, calculamos
mximo comn divisor:

6:2.3)
I0:2.5 ) mcd(6, 10. 15 : 1 ,

luego son primos

15 : 3.5J

Pero mcd(6,

t0): 2y mcd(10, 15):5,

luego no son primos dos a dos'

u+-,*.,

> 1.13. Dados ct:

198

b:74,

apoyndose en el algoritmo de Euclides encontrar los nmeros enteros

.r

y /, tales que cumplan la condicin de Bezout

d

mcd (a,

b):

eu

bt
@ ITES-Paraninfo

Teora de

nmeros

15

adecuadamente en esta igualdad

| : or*
.: .-IIOS

D.s

: or * br - br * bs : (u * b)r * b(r : ur I d.\.- es L b:: (u I bl.s -l a(r -

>-..i

s)

qUe

mcd(c + b,

s)

un divisorcomn dea

bya

b):

mcd

(u'l

b.

a):

,ll * ]

sumando

tllo-b)

resrando l2bJ

dl2al

' '.no mcd (a. b): 1. a y b no tienen ningn factor comn, luego dl2.
?,rr ranro, mcd(c * b, o - b) : I 2.
\ *'d ^

Demostrar que el cuadrado de todo nmero entero es de

la forma 4k 4k + l.

EsoluclH. Sea un e-ntero cualquiera. Al efectuar la divisin

& tomar los valores 0, 1,2 y 3.

a:4q*r

entera de a por 4, el resto pue-

r:O,l,Z3

r: 0, entonces a2 :4(4q2)
Si r: l, entonces o. : (4q + l)2 : 4q2 + 2q) + |
Si r: 2, entonces a2 : (4q + 2)2 : 4@q2 + 4q + l)
Si r:3, entonces a2 : (4q + 3)2 : 4@q2 + 6q + Z) +
En los casos I y 3 el cuadrado es de la fbrma 4k y en los casos 2 y 4 el cuadrado es de la
forma 4k * l.
Si

il't'

Usar

''f 1.*-..,;

el

algoritmo-

de Euclides para calcular d:mcd(a, b),

d: as * bt, en cada uno de los siguientes casos:

1) a:63,
b:28.
2) a:56,
b:27.
3) a:'72L, b:448.

encontrar

sy/

tales que

Resolucr,l

1)

Disponemos las operaciones del algoritmo de Euclides as:

63:28.2 * 7

28:
:

7.4 +

<-

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 - Zg.Z:63 + (_Z).Zg

Portanto,s:1yt:-2.
@ ITES-Paraninfo

14

Problemas resueltos de matemtica discreta

Resouuctw. El algoritrno de Euclides obtiene los cocientes y

restos enteros siguientes:

Estas operaciones pueden disponerse as:

198:74'2 + 50
74:50.1 + 24

50:24'2+2 <24:2.12 + 0
por lo que es

d:

mcd(198,74):2.
y t, coeficientes de Bezout,

Para encontrar s

procederemos ahora as, comenzando en

tima igualdad y hacia la primera:

2

Por tanto,

s:3

:
:
:
:

:
50 - (74 - 50) .2 : 50'3 (r98 - 74.2).3 - 74.2:
s- 24.2

198

74'2

.3 + 74.(-8)

y f : -8.

Tambin cumple la condicin de Bezout la siguiente igualdad:

2--mcd(198,74):198(3 -74h)+74(-8 + 198),

> 1.14.

Si c y b son enteros tales que mcd(a,

b):

Yh

eZ

1, demostrar que:

a) mcd(a * b, a): I
b) mcd(a-tb,a-b):162
Resolucr.

a)
,

Primerademostracin

: I necesitamos

Para demostrar que mcd (a

1) lla + b y lla ,
2) Si dla + b y dla

que es obvio, y

b, a)

entonces

dla + b)
-|

'
dla
es decir,

probar que:

dll
+ dl(a+b)-a -

dlb

b): l, resulta dl1 como

d es un divisor comn de a y D. Y por ser mcd(a,

ramos.
Segunda demostracin
mcd (a, b)
@ ITES-Paraninfo

: | +

Existen r, s enteros tales que ar

bs

16

Problemas resueltos de matemtica discreta

A partir de estos coeficientes,

los que Ia cumplen
7

que cumplen la igualdad d

Calculemos d

as

* r podemos e

63 + (-2).28 : 63 + 63 .Z8h - 63 .z8h + (-z).28

:63(1 +28h)+28(*2-63h) V heZ

Los valores de s y r que cumplen

2)

d: as I bt son:
:l+28ft
Is
VlteZ
ir : -2-63h

mcd(56, 27) por el algoritn-ro de Euclides

56:21.2+2
2t:2. 13+l<2:1.2+0
divisor es el ltimo resto no nulo. r/ : l.

El mximo comn
Para hallar s y r partimos de la penltirra igualdad y vamos sustituyendo,
igualdades, los sucesivos restos

1:21 - 2.13:21 - (56 21.2)13:

Portanto, 13yt:27.
Todos los valores que cumplen I : -56.s * 27 son as:

I[r::27-13+27h
- 56h
It
3)

Calculemos

r/:

-56(_ t3)

en

21 .27

v heZ

mcd (721. 448)

72t:448.1 + 213
448:273.1 + t15
273: 175.1 + 98
175:98.1+77
98:77.1 + 2l
77 :21.3 + t4

2l:14.1+7
14:7

+-

.2 + 0

/ : mcd (121, 448) : j.

Calculamos los coeficientes s y r a partir de la penltima igualdad
vos restos hasta la primera

As pues.

sustituyendo los

1:2r - t4.t:21 - (11 -21 .3).1 :21.4+17.(-l): (98_17.1).4+11 .(_1)

:98.4 +71.(-5):98.4 + (17s - 98.1).(-s):98.9 + l7s.(-5):
: (213.- 17s. l) .9 + l7s.(-5) : 213.9 + t7s. (.- 14) :
: 273.9 + (448 - 273 l).(- t4) : 273.23 + 448.(- 14) :
: (721 - 448.t).23 + 448.(- 14) :121.23 + 448.(-31)
Portanto,
O

ITES-Paraninfo

s:23yt:

17

Teora de nmeros

* 448r son:
(,s :23 + 448h
{
YheZ
[r: -31 -12ltt

Los valores que cumplen 1 :121.s

los

*?
t4)
> 1.17.

1ul1r c!-.

b):1 entonces alc.

Resoluclt. Como mcd (a,b) : 1, existen, r,s e Z tales que 1 : ar * bs, luego c : car * cbs.
Adems alc y b lc luego c: amy c: bn. Sustituimos estos valores en la expresin anterior:

Probar que si

alc, b lc y

mcd (a,

: (bn)or-l

(cun)bs

(ab)nr

(ub)nts

Como ab divide a ambos sumandos, tambin divide a la surra, es decir, a | c.

t-t_-

>

.19.

le

Demostrar que si
p2 {n.

n)2 y n no es primo, entonces existe un primo p que divide a n y tal que

ReSOluClH. Si n no es primo en su descomposicin en factores primos habr, al menos,

pt y pz (que pueden ser iguales). Tendremos as que:

dos

factores primos
PrPz

Llamando

p2

>

1.19.

{prpr{n.

p:mn(pp

pz), este primo ser el requerido por

Estudiar si son o no primos, los nmeros 811,461

el

enunciado pues

pln

911.

Resoluclr. Segn el ejercicio anterior. si il no es primo debe existir un primo p divisor de ru

r
y tal que p ( ./n.

As para comprobar quejl1 es un nmero primo basta comprobar que no es divisible por los
primos menores que /Stl. Es decir, por los primos 2,3,5,1, 11, 13, 11. 19,23. Efectuadas las
operaciones se comprueba as que 811 es priruo.
Del mismo modo comprobamos que 467 es un nmero primo, porque no es divisible por los primos menores que V467 que son: 2,3,5,1.11, 13, 17 y 19.
Y tambin 9ll es un nmero primo. Cuntas comprobaciones se han de efectuar en este nmero?

\'I
> 1.20. Cuntos

divisores positivos tiene el nmero 29338848000:28.3s.53.73.11? Cuntos son mlti-

plos de 99? Y de 39?

Resoluclru. EI nmero

de divisores positivos

(8

+ lxs + lX3 +

es

1X3

lxl + t):

1.728

Para que un divisor sea mltiplo de 99 debe contener a los factores.32

estos divisores es el mismo que el del nmero 28.33.53.73, es decir,

(8

1X3

1X3

rX3

+ 1):

y ll.

As el nmero

de

516

Ninguno de los divisores ser mltiplo de 39 porque no contienen al factor

13.

@ ITES-Paraninfo

18

Problemas resueltos de matemtica discreta

I > t.zt. o*r*t*.

que si 2"

- I es primo, entonces

o bien n es impar, o bien es,

Resoluclt'. Supongamos que r? es par, distinto de 2 y natural

cin. As, por reduccin al absurdo, demostramos el resultado.
Si es par, ser de la tbrma n:2k con k * I por ser n

2.

Ilegaremos a una

*2

2,

_ l :22k _ 1 :

(2*

_ lx2i + l)

y si k * I sta es uua descomposicin en factores propios, clistintos de l,

de 2,,2' - | no sera primo en contradiccin con la hiptesis de p;idu

I > t.ZZ.

Estudiar si son ciertas las siguientes afirmaciones:

a)
b)

Yme
Y

Z,

Zm

y 4m

3 son primos entre s.

me Z,2m* I y 3m*2 sonprimos entre

s.

Resoluclt

a)
b)

param:3,2'3 y 4.3 + 3, es decir, 6 y 15 no son primos entre s.

que 2m*1y 3m* 2 sonprimos entre sbasta encontrar r,
s eZtales

No es cierta, pues
Parademostrar

(2m + l)r + (3m + 2)s : 1.

Tomando r: -3, s : 2, se tiene qrue (2m + lX_ 3)
Por tanto, mcd(Zm I l, 3m + Z) : I y m e 2'.

(3m

2)2:

1.,

l > l 'zS' c'"p-urr que si r? es un entero positivo entonces ninguno de los /r enteros
(rt * 1)! +2. (, + r)! * 3, (, + r)r + 4, ..., (n+
r)r +r +l es un nmero primo.
Resoluctt.

Los nmeros (n

(n

+ 1)l + k:

:
es divisible por k.

l> t'24'

1)! +

r, v k:2, ...,,

son compuesros porque

+ t)n(n- 1). ... .(k + t)k(k - 1). ... . 2.1 + k :

kl(n + I)n. ... -(k+ t)(k - 1). ... .2.1+ tl

(n

Demstrarque sipes unnmero primodistinto

+ I es divisibie por 10.

p2

de2y de5

entonces,

obien pr- l,obie:

Resolucrt. La rtima crfi'a de-un primo p, distinto de 2 y de 5, puede ser 1,

pc:
3, 7
pr slo puede ser I . En el primer .ro r;_'r"ra rriipi det09.y e:

tanto la ltrma cifra de

el segundo ser p2

I > 1.25. Hrllu. l'

f I mltiplo de 10.

soluciones enteras de la ecuaci n

r4x+ rOy:4.

Resolucltt' La ecuacin diofntica ax* by: c tiene soluciones enteras si y slo

si mcd (a, b)lt
En la ecuacin dada, mcd(14, l0) :214. lLrego la ecuacin s
tiene soluciones enteras. para hallarlas hay que encontrar una solucin particul (x,,
-y,) en primer lugar.
Simprificamos ra ecuacin iniciar dividiendo por z:n,.(to,
t+i
7x

* 5y:2

tll

obteniendo otra ecuacin que es equivalente a la inicial, pero

con los coeficientes primos entre s.
@ ITES-Paraninfo

Teora de

nmeros

19

Busquemos una solucin de la ecuacilnTx-l 5y: l.Como mcd(7,5): l, los valores de x e

son aquellos cuya existencia asegura el Tearema de Bezout. As una solucin de la ecuacin
7x * 5y: 1 es, por ejemplo,

G:3

tr:

-o

Es evidente que si multiplicamos estos valores por 2 obtendremos una solucin de la ecuacin

(x,

[l]

:6

tr': -t
Una vez obtenida una solucin particular (xr,
ecuacin son de la forma

yr) de la ecuacin [1], todas las soluciones de la

+ sr

Jr:6

[1': -a - 7t

> 1.26. Hallar las soluciones enteras de la ecuacin

Ytez

l6x + 26y:14.

Resolucl1. Como mcd(16, 26) es un divisor de 14, la ecuacin tiene soluciones enteras. Simplifiquemos por mcd (16, 26): 2, obteniendo
8x

13,1,

: I

tll

una ecuacin equivalente a la dada, con los coeficientes primos entre s. Como mcd(8,
teorema de Bezout asegura la existencia de solucin para la ecuacin
8.r

una solucin de [2] es r :

5, v

:3,

t21

in particular de [1]

t1,' :'

es

;*,

'7 :21

dada son:

f.r:35*13
t) :21 * 8t

t1.27.

por

;::,

Y todas las soluciones de la ecuacin

l3,y

l3): l, el

Qu condicin tienen que verificar b y K para que la recta de ecuacin

por ningn punto de coordenadas enteras?

Blr -l

by: K no pase

Resoluclt'- La recta de ecuacin 87x -l b1': K pasa por el punto de coordenadas enteras
8'7m -l bn : K, es decir, si el par (m, ru) es una solucin de la ecuacin diofntica
87x l by: K. Esta ecuacin tiene soluciones enteras si y slo si mcd (Bi, b) es un divisor de K.
Por tanto, la condicin que deben verificar b y K para que la recta de ecuacin 8lr -l bv: K no
(m, n) si

pase por ningn punto de coordenadas enteras es que mcd (87, ) no sea divisor de K.

I > t.ZA.

Calcular: 8 mod
Comprobar: si 8

mod 3, - 14 mod 6.
l4(mod 3), si 8: l5(mod 3).

3. 15

ITES-Paraninfo

L31. a)

Teora de

Comprobar si los nmeros 14, 29.

duos mdulo 7.

b)

Comprobar si los nmeros 12,

-5,

12,

11

mdulo 6.

3,

32.

nmeros

21

9, 55 fbrman un sistema completo de resi-

,15.4, -l

forman un sistema completo de residuos

Resolucrr.r

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

: 0 (mod 7), 29 : 1 (mod 7),

3:3(mod7) ,32:4(mod7)

-12:

14

b)

9=5(mod7)

En este caso los nmeros dados no cumplen la condicin pues

Construir la tabla de las operaciones suma y producto

Resoluclru.

;J
;
-)

-5 : -

17 (mod 6).

2.,.

T.2.3.4.5.
0

-)

;J

-1

-J

-)

;-l

;J

-J

;J

-J

-J

;-l

SC

z6

enZuy

Escribamos los elementos,Je Zo en la lorma 0.

2 (mod 7)

z6

Los elementos de Z, se escrlben en la forma 0, 1, 2, 1, 4, 5. 6. sin poner subndices

para

evitar confusin.

z7

-J
2' ;J
-J 4

-.,

-J

-')

5
6

;J

tJ

-J

-J

-J

;J

z1

-)

@ ITES-Paraninfo

20

Problemas resueltos de matemtica discreta

Resolucrr.r

a)

8 mod 3:

8 13

_ 8mod3:2

22
15 mod 3

ls l:

05
-

140 mod 6

t^
r+
-Z

b)

8 l3
22

- 8 :6:

3.

Como 15 - 8

= -

-Z

1^

8 l3
22
I > t.Zg.

^^

14 l3

Tarnbin, es 14

I .u
I

lr.go

restos

iguales

34
+ 3, no ,o,

14 mod

6: -2

14 (mod 3)

son congruentes.

ls l

:1

15mod3:0

restos

distintos

t5
8

14 (mod 3)

congruentes.

Encontrar el menor residuo no negativo mdulo 7 de los nmeros:

23,35, -48, -64.

ReSOluClru. Efectuamos Ia divisin entera de cada uno de los nrmeros por 7.

obtenga ser el menor residuo no negativo.

23:7.3 + 2
35:7.5+0
$) 4.1r
C

I > t.90.

El

resto

--+ el menor residuo es 2

--+ el menor residuo es 0

-48:7.(-7)+1
-64:7.(-10) + 6

--+ el menor residuo es

-*

el menor residuo es 6

Encontrar. de forma general, nmeros congruentes con 11 (mod 5).

Resoluctr. Llamemos

a esos nmeros congruentes con 11 respecto del mdulo 5. En

se tendr:

5l(.r-11) . x- 1l:5k , x:11+5r

Dando ahora valores a k, se obtendrn nmeros r congruentes con I l:
0

t6
2t

26

-1

-:
@ ITES-Paraninfo

ll

6
1

..:

... - 4, l, 6. I I,

16, 21, 26, ...}

22

Problemas resueltos de matemtica discreta

I > t.s3.

sabiendo que 1234567 7 (mocl 10),90123:3 (mod to),2468: t8 (mod 25) y que
=
(mod 2-5) calcular el valor del rnenor resicluo no negativo ; tal que:

i)
ii)

1234561

2468

90123

13579

: ; (mod l0)

r: (mocl 25)

Resoluclru. Aplicamos el siguiente

rr

= /r

c:

i)

resultado:

(n166[ ]

o:

se aplica el resulrado romando

1234567,

1234567

qc

rtrl -

ct {mod

b:

90123

J,

l> t'ga'
7eL_/

Ahora es

Rgsoluclru. si

/
)
'\,
\

18, c

gol23.

d:3,

con Io que

1 (mod 10)

d:4
2468 x 13579 : 18 x ,l (mocl 25)
:12 (mod 25)
: 12 (mod 25)
13579,

S"o {.1; -r,,-r,...,-to)r(:, la representacin en base l0 de un entero positivo

-r. Demostra:
'r ='ro -'rr f -Y) - " ' + (- l)"-r,, (tnod 11). Utilizar este resultado para comprobar si los n:
1213141516171819 y 192837465564138291son clivisibles por ll.
,Qu cifi-a qLre fatra en ta.
dad 811782_1200 : l4l?

/)o

a:2468, b:

c.:

= 7 x 3 (mod t0)

:
ii)

= bcr(rlod rr)

..1
(, f)
j

\ Zl
!

(-r,, xn-1t ..., /o)1re es Ia representacin en base 10 de

-r,

*:

Si

xo

lox,

7o2xr

,
t es par, entonces 10k = I (mod 11), pues
\+
10k - 7 : 202" - 1 : OO2- lXlozr"-/\'"

enfonces
i

l "' I 7o'x,

lo2("-z)

-,r-

'

...' + IVlO2 +1)

t t)E es mltiplo de

ll

10k: - I (mod 11), pues

t0&+ l:102+1+ 1:(10+ 1X102s -1g2s-1 +...* 1) esmlriplode 11
Utilizando l) y Z) tenemos que
x: xo * 10x, * 7O2xr* 103x. + ...+ 10,x,=xo_ xti xr- xtl ...+ (_1)"x, (mod ll
Por tanto, x es divisible por lt si y slo si lo es la suma xo- xtr xr-r * ...+ (-l)ir

Si k es impar, entonces

utilicemos este resultado con los nmeros der enunciado:

9- I +8-

+7 - I +6-

+5-

4- I +3 _ I + 2_ t:36

no es mltiplo de 11, luego tampoco lo es el nmero 121314151617lg19.

I -9+ 2- 8+3 -7 + 4- 6+5 -5 + 6 - 4+7 _3 +g_Z+9 _ 1 :0

es mltiplo de 11, luego tambin

lo es el nmero 19293746556473g291.
Finalmente estudiemos la i-qualclad 811182-1200: I,11. Es obvio qLre l4!
es r,rn mltiplo cte
luego tambin lo es el nmero 871182_1200. Si llamamos -r a la cifra que
falta se cumplir q.
0 0+2 I +x 2 8 7+I 7+8 2
es un mltiplo de li. La cifraqr;;-..I

c ITES-Paraninfo

- * -

: *r

.W#)

rf U'r,^0

Teora de

nmeros

23

Comprobar mediante un ejemplo, que en Zr., Zn y 2,. existen divisores de 0, es decir. elementos
.i. -r' tales que )' : 0 siendo x * 0 *,r'. Existe algrn ejemplo en Zr]

):i

Resoluctt.
1 1:0 en 2,,.

En Zr.,los elementos 3 y 2 son divisores de cero, pues

En Zo, los elementos 4 y 6

enVo.

En Zr., los elementos 3

son divisores

'2:0

(mod 6)' es decir'

de cero, pues 4'6 = 0 (mod 8), es clecir. + 6 :

m son divisores de cero, pues 3'10

: 0 (rnod l5), es decir,

3.m:oenZrr.

En Z, no hay diri.o."r de cero porque 7 es primo. Recordemos que a es divisor de cero en

y slo si mcd (a, m) * l.

Z^ si

1-

136.

Hallar los elementos inversibles de 26,

Z,

ResoluctH. Los elementos inversible

Y Za.

s de

Z^ son los elementos , tales que mcd (a, m) : l.

Los elementos inversibles de Zu son {T. 5}'

Los elementos inversibles de Z, son {T, 2,i,4,5,61.
Los elementos inversibles de Z* son {T' 3. 5' 71.
que
:l'os
rrl-

L*

' 37. Hallar los inversos de:

a) 6enZ'
b) 6enZ'
c) 3 en Zro
d) 5 en Zr.

1enZl
;f) I en L:.
e)

s)

h)

1 en Zro

=5 en Ltz

Resoluct

a)

El inverso de 6 en Zr, (o mdulo 11), ser b tal que 6b = 1(mod 11). Fcilmente comprobamosque 6.2:12, luego 6'2: I (mod11)yas2eselinverso de6enZrr'

b)
c)

6'3:1 (mod 17), o bien, 6'3:i enZrr'

El inverso de 3 en Zro es 7, porque 3.7:1 (mod 10), o lo que es 1o mismo, 3'7: I en
El inverso de 6 en

Z'

es 3, porque

Zro'

d) El inverso de 5 en Z' ser b tal que 5b = I (mod 12). O expresndolo

5b - | es un mltiplo de 12. Es decir,
+ 5b-lzk:l
5b-l:lzk

de otra manera

expresin anterior es la correspondiente al teorema de Bezout y los

coeficientes b y k se obtienen con el algoritmo de Euclides

Como mcd(5,

I
te
).

12): l,la

r?-.,+T)
J''''l
lL- I :5 - 2.2:5-2(12- 5'2):(-2)'12+ 5'5
5:2'2+l)
Por tanto b: 5. EI inverso de 5 en Zp es5.
O

ITES-Paraninfo

Problemas resueltos de matemtica discreta

:1 enZ"'
e) El inverso de 2 en Z, es6' porque 2'6 :1 (mod 1l)' o bien' 2'6
f)ElinversodeTenZrrser-rtalquelx=l(mod15)'Esdecir'lx-l:15)"
de Euclides al c
calculemos los coeficientes r e ,), aplicando al algoritmo
mcd(7, 15) :

15

:7

.2 +

l--7(-2) + 15 '1 :

gomo--Z = 13 (mod 15)'

As pues x: -2, y el inverso de 7 es -2 en Z"'
en Zrt.
7
de
i-rr, pi"*os decir que T3 es el inverso

CS

*)_-;"

g)ElinversodeTenZruser'rtalqueTl=l(mod16)'obien'7x-l6y:l'
(7,16): 1, resulta
n"piti"nJo p.oro descrito Ln (0 por ser mcd
"i
16:7 .2 + 2)> > l:7
-2'3:7 - (16-7'2)3:7'7 - 16'3

7:2'3+l)

,
-'t

l"=

As

Y el inverso de 7 en

Zru es 7 '

z* ser'x tal que 5x - l3y : I

1:3-2'l:3-(5-3'1:
13:5'2+3)
i
imcd(13,5):1
t:r'1+2f - :s(-1)+3'2:5(-1)+(13-5':
'
: 5(- 5) + l3'2
3:2't + l)
:g
As Pues 5' El inverso de 5 en Z" es :5
.,,).tr t ,"'l

;;',

x:7

Repitiendo el proceso anterior, el inverso de 5 en

ffir

sig\ienre

si:i"gEd"

z, y enz,
(x1-2v:4
'
l+x + zy: +

ecuaciones en

Resoluclt'1. Resolvemos el sistema en Z,

x

-t 2y:4 )
+

4x+ly:4J

* 4'2Y:4'4\
4x-t3Y:4 f '

4x

4x )-

Y: 2 I

4x+3Y:4J

si a la segunda ecuacin le restamos la primera obtenemos

2Y:2 + 4'2Y:4'2 - Y:1

sustituyendo en la ecuacin x

El

sistema tiene solucin

* 2y:4 el valor de y resulta

x*2.1:4 - x:2
nica x: 2' y : t'

Resolvemos el sistema en

Z,

* 2Y:4 I

4x

3y:41

el sistema no tiene solucin en Z,

@ ITES-Paraninfo

4x-t
4x

4'zY: a'4\ +

* 3Y:4

4,r

+ 31': tJ

4x+3v:4J

t.u^
> '"39.

Teora de nmeros

25

Dado un nmero a, recibe el nombre de inuerso de a mdulo m, oiro a' tal que

bien

a'a=l(modm)

ode

Calcular los inversos de:6 mdulo 11,3 mdulo

8,2 mdulo

8.

Resolucr

a)

lecir.

El inverso a' debe cumplir:

rlt--

= 1 (mod 11) -

6a'

Co--1

lll(6a' - l) + a' :2

b) Idem:3a':l(mod8) - Bl(3a'-1) + a':3.

c) Idem'.2a': I (mod 8) + 8l(2a'- 1). Pero como ahora 2a'- | es un nmero impar. no
es posible encontrar a'.

>

l.10. Sip

El inverso no existe.

r.,.i,.r,"o

es primo, demostrar que en

Zolos nicos elementos que coinciden con su inverso son 1 y

-1.

ReSOlucl. Si p es primo todos los elementos no nulos de Z, admiten_inverso.

Sea a e Z, un elemento que coincide con su inverso, es decir, AA : I en Zo, o lo que es lo

miso, aa

1 (mod p).

Aspl a2 - l, es decir, pl@ - 1)(a + 1).

Como p es primo debe dividir a uno de los dos factores, o bien pl@
Sipl(a - 1) entonces o : 1 (modp), o sea, a :T enZo.
Si pl(a * 1) entonces 4 = -1 (modp), o sea, A- -l enZo.

1) o bien

pl(a + l).

>

' ,41.

Co,oprobar que los enteros menores que ll, excepto el 1 y el 10, pueden agruparse cle dos en
dos de manera que cada uno de ellos es el inverso del otro en Zrr.

b)

Usar el apartado a) para demostrar que

l0! : -

1 (mod

ll).

Resolucr

a)

Como l l es un nmero primo, todos los elementos no nulos de

bles. Veamos cul es el inverso de cada uno

l.l :
.o:
3.4:
5.9 :
7'8 :

(mod

lll

luegoTesel inverso dei

Z,

son elementos inversi-

enV,

de6enZ'
I (mod lll
luego 3 es inversode4y4es inverso de 3 enZ,
1 (mod l1),
luego 5 y 9 son inversos uno del otro enZ,
I tmod I ll
luego 7 y I son inversos uno del oiro en Z,
10.10: 1 (mod l1) , luego I0 es inverso de s mismo enZ,
b) 10! :10.9.8.7.6.5.4'3.2.1:10.8.1.6.4.3.2.1(mod 1l),yaquees9.5:l (mod 11).
1

l(mod 11)
I

/-^l

I I \

luego6esinverso de2y 2esinverso

1..^^

Y si seguimos agrupando los f'actores por

10!=10 (mod l1) y como

pares, 2

10: -l

y 6, 3 y 4, 7 y 8, llegamos

(mod

ll),

resulta

l0!

a:

(mod 1l)
@ ITES-Paraninfo

26

.Problemas resueltos de matemtica discreta

t..rr.O

Demostrar, utilizando el mtodo del ejercicio anterior, que si

(p-l)l:

p es primo

entonces

-l(modp)

Utilizar este resultado para encontrar el resto de dividir l5! por

17.

Re_sol-uclru. Si p es prin-ro los nicos elementos de Zo que coinciden con su inverso

- l. Esto quiere decir que los restantes elementos de Zns pueden agrupar por parejas {.
que ld: T en 2,,, es decir, ctl: I (mod p).
.3.2.1 todos los elementos, s
As en el producto (p l)l: (p l)(p - 2)(p - 3)
p- l, pueden emparejarse de forma que el producto de cada par es congrlrente con I n
Ser, por tanto:

1).1(modp) ycomo p

Qt-l)l:@-

l:-1(modp)

(p-t)l:-1(modp)
Este resultado se conoce como Teoretna de Wilson.

Aplicaremos el teorema para hallar el resto 'de la divisin de

en forma de congruencia, tendremos
15!

El teorema de Wilson

para

p:

17. Si expresa

=r(mod17)

multiplicamos esta congruencia por 16 (es decir. por

16l

l5! por

16: l6 (mod l7))

16r (mod 17)

: -

16r: - I (mod I
16r = 16 (mod 17) + r' : I

17 dice que 16!

16r: I (rnod 17) -

1 (mod 17) luego

El resto buscado es l.

I > t.9.

Dada Ia ecuacin de congruencia lineal 3.r

mativo. resolverla.

Resoluclt.

= 5 (mod 13), analizar si tiene solucin y. en (

En primer lugar. calculemos

t3:3.4+1)
3: 1.3 + 0i =>
Clculo del inverso de 3 mdulo
3u'

=I

(mod

r/:

mcd(3,

mcd(3,

13)

13): 1 +

tiene solucin nica

13:

13) -

13l(3a'

- l) -

o'

:9

es un inverso

Por lo tanto.

9.3x:9.5

(mod

13) + .r:6

(mod 13)

V1J-t..{1.

'ri..r.. i
,!.r.

I > t.q+. Resolver las siguientes ecuaciones de congruencias:

a/ a) 5x=1(mod11) Vb) 4x:3(mod7) 'i'Lt' c) 3x=9(mod15)

-/-; d)
@ ITES-Paraninfo

8x = 2 (mod

10) ,() e)

5x

= 7 (mod 15)

-\
l___,
Resoluctt
a) 5,r = 1 (mod

T-n\.x-1, ?
I

11)

l1):1 .
s.9+ 11.(-4):1 ,
mcd(5,

rJl

luego 5 tiene inverso mdulo

11

luego el inverso de 5' mdulo 11, es 9

multiPlicamos Por 9 la congruencia

9'5x=9'1(mod11) +

ol
r-rlo

45x=9(mod11) = x=9(mod11)

Comprobamos que la solucin es nica' pues mcd(S'

b) 4x:3
4.2:

11): l'

(mod 7)

l,luego 4 tiene inverso mdulo 7; el inverso es 2, pues 4.2+7(-I):1

7):

mcd(4,

27

Teora de nmeros

as

1 (mod 7).

Multiplicando en la congruencia por 2

esto

-2.4x:2.3 (mod7) + x:6

(mod 7)

c) !3x:9 (mod 15)

,,'mcd(3, 15) :3lg,luego la ecuacin tiene solucin;
mcd(3, 15)

adems

el nmero de soluciones

ser

3.

tenemos que'
Expresando la congruencia en forma de ecuacin diofntica,

3x:

15k

*9

luegox:5k+3 VkeZ'

Las soluciones, mdulo 15, son

3, 8,
que coresponden a xs,

afir-

13

15 +;2'15 en la discusin
*o
i,

general de la solucin de una con-

gruencia contenida en el resumen'

d)

:- 2 (mod 10)
mcd (8, IO) : 212, luego la ecuacin tiene dos soluciones'
mdulo 10, porque no existe'
No se ppede multiplicar Ia.""!*rgi" por.el.inverso de 8,
8x

Planteamos

[a

.ong.uencia como ecuacin diofntica:

8x:l}yl-2

+ 4x:5Y-ll

4x-5Y:1

Unasolucin(nohacefaltams)es.x:4,!:3'Conestolassolucionesdelacongruencia
son (mdulo 10):
10

t
+)+tmcd(S,
^L

l0)

esdecir,4Y9.

e)
'/

5y

=7

"- ---/Crmo

(mod 15)
mcd(5,

15):5

no es divisor de 7. la ecuacin no tiene soh-rcin'

@ ITES-Paraninfo

28

L
t;-r
Llzt

Problemas resueltos de matemtica discreta

ffioremadeFermatparaca1cularloSreStoSdedividir3a7entre23y6592entre11.
Resoluclt. Si p es primo y p no es divisor de a, el eorenTo tle Fermot dice que rzp(mod p).

Aplicando el teorema para p

23,

a:

3 tendremos que

322=l(mod23)
Como el exponente que nos dan es 47, efectuamos la divisin de 47 por 22
47

22.2 +

3 +

347

(322)2.33

Por las propiedades de las congruencias

(3")'=1 (mod23l) +
33 =4 (mod 23)J
Luego el resto de dividir

3ai

entre 23 es 4-

Para la segunda divisin aplicamos el teorema a

611-1

Ahora dividimos 592 entre

3a7=4(mod23)

:l

(mod

p:

ll, a:

l1), osea, 610:

1 (mod

l1)

10

592:59'10+2 +

6s

(6toss: I (mod ll)]

62 =3 (mod ll)J

e2

65e.10+2

65e2

- (6rn)tr.6,

3 (mod

11)

El resto de dividir 65e2 enfre 11 es 3.

I > t.0.

Resolver el siguiente sistema le congruencias lineales

: 2 (mod 3)
,r:3 (mod 5)
x:2 (mod '7)
Resoluclt.

Clculo de los valores:

ffi: ffit'ffi2'ffit:3'5'7:

105

Mr: mf3: 10513:35

M2: ml5: tO5l5:2t

Mr:

mfi

10517

15

Clculo de los inversos de Mp M2, Mr respecto de los mdulos

3,5,7:

3) - lt:2 es el inverso de 35 mdulo 3

: I es el inverso de 21 mdulo 5
2l : | (mod 5) >
15 = 1 (mod 7) => ): I es el inverso de 15 mdulo 7

35

= 2 (mod

-.r,2

@ ITES-Paraninfo

Teora de nmeros

Las soluciones

del sistema son tales que

(c, :2, crr: 3, at -- 2)

I arM313:
: (2.35.2 + 3'21't + 2'15'1)
:233 = 23 (mod 105)

r = ctrM ry, i

29

arM2y',

(mod 105)

Por lo tanto, 23 es el entero positivo ms pequeo solucin simultnea.

Cualquier otra solucin tendr la forma general, x : 23 + 105k, fr 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.

\"\

\.,-u^,
4r
f*:, 3 (mocl
ir: (mod 7)

l.r=5

(mod 9)

ReSOIUC!. 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.
Resolvemos el sistema analizando las ecuaciones una tras otra.

x:2

(mod

4) + x:

4t

-12

tll

sustituimos este valor en la segunda ecuacin

4t +

2:

3 (mod

7) + 4t: |

(mod 7)

multiplicando por 2 ambos miembros

2.4t:2(mod7) + t:Z(mod7) := t:7s-t2

sustituimos este valor en [1]

4(7s

+ 2) + 2:28s -f

l0

t2)

sustituimos este valor en la tercera ecuacin

28s+10:5(mod9) + 28s: 4 (mod 9)

y como 28

=I

(mod 9), resulta

.s

:4

(mod

9) -

s:9k*4

luego, sustituyendo en [2]

28(9k+4)

r22

+ 252k

eZ

***

Cules son los nmeros enteros que son divisibles por 3

ResoluClt.

Vk

y cuyo resto al dividir por 5 es 1?

Sea n un nrmero entero verificando las condiciones del enunciado. As se cumple

que
@ ITES-Paraninfo

30

Problemas resueltos de matemtica discreta

n:3k
l
,:t(mod5)j
Zt

= 3k = I (mod 5) y como el inverso de 3 es 2 en

+ 2.3k:2.1(mod5) + k:2(mod5)
luego, k:2 * 5t.
-Por
forma
tanto los enteros buscados son los de la

n:3(2+5r:6*15,r'YteZ
i\ L"{yv.5-

I > 1.49. R"*lver

el sistema de congruencias

( x=2 (mod

lr*: I
[:r:o

5)

(mod 7)
(mod ll)

en la forma
ReSOIUCIi. Intentamos expresar cada congruencia del sistema

x:

a (mot

2x:|(mod7),multiplicamospor4,queeselinversode2enZ,
4'2x=4'1 (mod7) - x=4 (mod7)
3x=4(mod11),multiplicamospor4'queeselinversode3enZ"

4.3x=4'4(mod 11) As el sistema que se ha de resolver

x=5
#

(mod 11)

es:
(x:-2 (mod 5)
I

o (mod 7)

\*:[x=5

(mod

ll)

del resto'
que tiene solucin nica, mdulo 5'7 '11, por el.Teo-rema chino
5k * 2, valot que llevr
x:
Resolvemos el sistea. De la primera ecuacin obtenemos
segunda ecuacin

> 5k=2(mod7) 3'5k=3'2(mod7) + k=6(mod7) + k:7s*6

5k+2:4(mod7)
luego,

x:5(7s + 6) + 2:35s *

32

t1l

Llevamos este valor a la tercera ecuacin

35s

-f 32 5 (mod 11)
=

11)
s=3(mod11)

2s

= 6 (mod

:
- 2s t 10 5 (mod 11) - 6'2s:6'6 (mod 11) + s:11n*3

Sustituyendo este valor en [1] obtenemos:

x:
'O ITES-Paraninfo

35s

-t 32:35(11r + 3) + 32:385n + 13'7 Y n eZ

Teora de nmeros

31

Se reparten cuatro bolsas iguales de caramelos entre tres grupos de nios. En el primer grupo, que
-onsta de cinco nios, se reparten dos bolsas y sobra un caramelo. En el segundo grupo, de seis
tios. se reparte una bolsa y sobran dos caramelos. En el tercer grupo. de siete nios, se reparte
na bolsa y sobran tres caramelos. Sabiendo que. en total, el nmero de caramelos no llegaba a

-i00. cuntos haba en cada bolsa?

ResoluClru. Llamemos .r al nmero de caramelos que hay en cacla bolsa. Si repartimos dos
:olsas entre 5 nios y sobra un caramelo debe cumplirse que 2-r es un mltiplo de 5 ms l, suporiendo que el reparto es equitativo recibiendo todos los nios el mismo nmero de caramelos. As
.u'oer]]oS una primera relacin para .r

2x=1(mod5)
En el segundo reparto se obtiene la relacin

2 (mod 6)

en el tercer reparto la relacin ; : 3 (mod 7).

Por tanto "r debe ser solucin del sistema de congruencias

[Z.r: t rmod 5.r

( .r = 2 tmod
| .. : , tmod 7.
I

6.1

Resolvamos el sistema. La primera ecuacin se reduce a la forma cannica multiplicanrlo por

3 (inverso de 2 mdulo 5)

3.2t:3.1(mod5) -

2.r=1(mod5.t -

.r:3(mod5) - -r:5ft*3

llevamos este valor a la sesunda ecuacin

5l+3:2(rnod6) - 5f+3f3:2*3(mod6)
:> k:1(mod6) => k:6s_I5f:5(mod6)

luego

- r:5(6s+1)+3:30s*8

la

(*)

y este valor se lleva a la tercera ecuacin

30.r*8:3(mod7) 2s=2(mod7)
As pues. s : Jn -f

l.

2s-lt:3(mocl 7) +
=> s : I (mod 7) (pues mcd (2,7) : l)

sustitr"ryendo en ('r') resulta:

:30s+8:30.(1n-r 1)+8:38+210n

ne Z

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, lnenos de 500, la nica solucin vlida es ,r : 38.

> 't .51. a)

b)

Calcular los restos de las potencias sucesivas de 5 respecto del mdulo

Calcular los restos potenciales de

12.

l2 (mod 7).
@ ITES-Paraninfo

32

Problemas resueltos de matemtica discreta

Resot-uclt'l

a)

5 (mod 12)
'51 = 1 (mod 12)
53 : 52' 51 = 5 (mod 12)
5a :52'52 = | (mod 12)
5s : 53 '52 :- 5 (mod 12)

51

52 :5r

Los restos se obtienen de forma peridica:

5' 1' 5' 1' 5' "'

b) l2o:l:1(mod7)
l2r:12=5(mod7)

122 =4(mod7)
123 =6(mod7)
124 :2 (mod 7)
:3 (mod 7)
lzs
126 =1(mod7)
121 =5(mod7)
La serie peridica es ahora:

l'

5' 4' 6' 2' 3' 1' 5' "'

PRoeleuAs
[F t.l.

Hallar el valor de

PRoPUESToS

en las exprestones

a) 331.,:10611'
b) 274r: rr'
;ffi.b"*"shacenrecorrirlosdistintoscoinciclienc1oen1asalidael1deenero.,Cundovo
ro Jiur' respectivamente? ,cuntos vi
rardan
sabiendo que
-l
coincidir rqv^v^evulrrwrur
"n'r,.ir;i"*je;i,'1t
r, rr..n" hasta coincidir de nuevo en la salida?

[Tfu'

Hallar los nmeros -t e -1'tales que

mcm (x. y)

180I

x+Y:81J
[liln,.,ig*.cuntosnmerosmenoreSquemilsondivisiblesalavezpor36yl5ycu1esson'

I > 1'5.

Encontrar

resto:

@ ITES-Paraninfo

19.

30' 42 se obtenga siempre el mi'

el menor ntmero positivo que dividido por 18'

Teora de nmeros

' 5.

Demostrar que si en la divisin de D por d, q es el cociente y

divisin D + h. siendo l un nmero natural, por d, ser q *

dividirr*hpord.
> ' .7.

>'8,

' 9'
' '0.
' '1,

Probar que para todo valor m e N, la expresin m2

r,

r el resto, entonces el cociente de la

q' siendo 4' el cociente obtenido al

m es un nmero compuesto.

Si c y son nmeros enteros no nulos y llamamos *:

comn mltiplo de a y b.
Demostrar que si 5 no es un divisor de

33

ab

^rd(r,,

probar que m es el mnimo

b).

entonces 5 s es un divisor de

18

1.

Demostrar que el nmero de pasos que se dan con el algoritmo de Euclides, para calcular el mxinro comn divisor de dos enteros positivos a y b es, como mucho, log, a -l logrb.

Hallar todos los primos comprendidos entre 100 y 300.

> ' 12. Utilizar la identidad

2',"

para demostrar que si

1-13.

-L

r)

I es primo. entonces rr es primo.

Demostrar que todo nmero primo

a) p:4n*l
b) p:6ni-1
> ''14'

2'

- I : (2' l)(2,. ')r a 2rr-2tr ...+ 2,

o p:4n-13
o p:6n*5

p > 3 se puede escribir de la forma

paraalgnn eN.
paraalgnn eN.

Si a es un nmero entero, que no es mltiplo de 2 ni de 3, clemostrar que 241(.a'

t).

> 1.15. Hallar todos los nmeros naturales n que verifiquen las siguientes propiedades:
1) n no contiene cuadrados, es decir, no hay factores repetidos en la factorizacinde

n en nme-

ros primos.

2)

Para todo primo

se cumple que

pln e (p-l)ln
t > f .te.

Hallar las soluciones enteras de la ecuacin

28x

> 1.17.

* 36Y:44

Existe algn mltiplo de 28 cuyas dos ltimas cifras sean 16? En caso afirmativo, hallar todos
los mltiplos que cumplen esa condicin.
@ ITES-Paraninfo

34

Problemas resueltos de matemtica discreta

ffie1aconc1icinnecesariaysuficientepara-quedosnmerosoybSeanCo]
mltiplo de r, es decir' rll@ - b)
pecto rtel mdulo r?. es que su clif'encir

,ea.,,

resto de la divisin de 2aA entre 5, k

ffil

> l.

ef'ectuar la
,,rquitectura de orclenaclores es frecuente encontrar el nmero 232. Sin
contrai el resto obtenido al dividirlo por 17'

I > 1.rOB,

ffie3{lr3_,l)pxraloclol.hucienclotrsodecongruencias.
I > 122. l"er

las sigr-rientes ecuaciones en

Z,

a) -r2+3x+4:0
b) -r-x- l:0
I

>> f

S.

divisor y de la
Haciendo uso del algoritmo de Euclicles pala calcular el mximo comn
cle Bezout. calcular los inversos de:

a) 1l I mdulo 250
b) ll mdulo 31.
F> l.zq.

Dacla
af

[tl25f

y'
la ecuacin de congruencia lineal 4.t : 10(mocl30), analizar si posee solucin

irmativo. resolverla.

Resolver la ecuacin 21'r

18

et Z.u'

restos obtenidos al clividir 31s entre 17. 15eo entre I 3

ffios
I

l25a's11 entre 13'

l1Ll enZ.'

E1n.

Hallar el inverso de

lTlT&

Encontrar todos los nmeros enteros

* 5 es mltiPlo de 7'

I
.t

/r

tales que r

* I es mltiplo de 3, n *

3 es mltiplo

I
I

ffintmeronaturalCuyoSreStoSa1dividirlopol3.4,5y6sean't.espectivamente.2.3.-

chipriotas

flity, poracos.

El .ur"uio"qr" le of1ece cierta agencia es el siguiente:

Un zlotY Polaco: 13 coronas checas'

Una libra chipriota : 18 coronas checas'
Laagencianoproporcionafraccionesdeningunamoneda.Decuntasformasdiferentesl

de hacerlo? Describir una de dichas formas'

->13o.U*.,,i*tiene1.000CoronaSchecasyquierec.anrbiareseclineroenunacantidadexactade.:
@ ITES-Paraninfo

Teora de nmeros

35

> ' 31, Se presentan

800 manuscritos a un concurso literario. Despus de una primera seleccin, en la que

se eliminan ms de 300 manuscritos, se pretende almacenr los manusritos seleccionados en cajas

de la misma capacidad y que todas las cajas estn completas, para que no se extrave ningn manuscrito. En principio, se preparan cajas con capacidad para 6 manuicritos, pero sobran 3, de modo que se agrandan las cajas para que contengan 7 manuscritos cada una; pero como sobran 5. se
a-Qrandan todava un poco ms las cajas para que contengan I 1 manuscrtos iada Llna, en cuyo
caso
ya no sobra ningn manuscrito. Cuntos manuscritos queclan en concurso despus de la primera
seleccin?

PnoeLeMAS DE REcApTULActN

> r.1. Un distribuidor

de.equipos informticos efecra un pedido de entre 1.000 y 1.500 equipos a un

fabricante. Este se los enva en contenedores compleios co, capacidad para 68 equipoi ,lu ,no.
El distribuidor los reparte a los cliferentes puntos de venta en-furgonetat.on.opaidacl para 20
equipos, quedando 32 equipos sin repartir en el almacn.
Cuntos equipos pidi il distribuidor a
la fbrica?

Resoluclru.

Sea n el nmero de equipos pedido por el distribuidor. Las condiciones del enun-

ciado se pueden expresar as:

1.000<n(1.500

n: 68x
n:20y * 32

(cada contenedor contiene 6g equipos)

(pues en cada reparto la furgoneta distribuye 20 equipos)

As para hallar el valor de -r debemos resolver ra ecuacin diofntica:

68"r:

20y

-f

32,

es

decir,

68x

- 20y:32

o, simplificando,

- 5Y: g
Resolvemos primero la ecuacin l7x - 5y: 1, utilizando
como
l7x

combinacin lineal de 11

que mcd(17,

5): l. Expresamos

por lo que una solucin de la ecuacin

l:17(-2)+5.1
l7x - 5y: I es
(x: -2

ir: -z

Y una solucin de la ecuaci1n 17x -

5y:8

es

f.:,-2r.8:

t.,':,-71.8:

Todas las soluciones de la ecuacin l7.r

[r:

5i,
16

-16
-56

8 son:

1,' : -) + l/k
-5ft

YkeZ
@ ITES-Paraninfo

36

Problemas resueltos de matemtica discreta

As los posibles valores de n son:

n:68x:68(-16+5k):

-1.088

+340k Y keZ

pero el nico valor de /< para el que n est comprendido entre 1.000
pedido del distribuidor constaba de

n: -

1.088

+ 340.7 :1.292

1.500 es

k:

7. Por

equipos

I > l.Z. Un grupo de turistas,

con menos de 300 integrantes, viaja en 5 autobuses iguales que I

pletamente. Llegan a un hotel para cenar y se encuentran con que en el comedor hay
das con 9 asientos cada una y mesas cuadradas para 4 personas. Los turistas de los dos
autobuses se sientan alrededor de las mesas redondas quedando 3 personas sin
junto con los turistas de los 3 autobuses restantes, se sientan alrededor de las mesas
Quedan as todos acomodados para la cena sin que ninguna mesa resulte incompleta. Ar
guiente, van a realizar una visita a un museo donde deben entrar en grupos de 24
hacer la distribucin en grupos. el ltimo es de tan slo l5 personas, cuntos turistas vi
grupo?

Reso-uclt. Llamemos -r al nmero de turistas del grupo y n al nmero de viajeros

autobs. Los primeros datos son:

"r<300 , x:5n

Que los turistas de los dos primeros autobuses, salvo 3 personas, se sienten en las mesas
lares significa que:

2n:

Que los turistas de los autobuses restantes,

mesas cuadradas, significa que:

3n-t

3 (mod 9)

junto con las 3

3:

personas

0 (mod 4)

As l es solucin del sistema de congruencias

:3 tmod 9r]
3n*3 =0 tmod 4lJ
2n : 3 tmod 9l]
2n : 3 tmod 9l|
3r * 3:0 (rnod 4lJ 3r = I (mod 4J
5-2u = 5 3 {mod 9l}
r :6 rmod 9)}
3.3n :3. I tmod 4lJ
n: 3 tmod 4l j
De la segunda congruencia, n:3 + 4t, y sustituyendo en la primera
4r=3(mod9) ::> l.4t:7.3(mod9)
3 i 4r:6 (mod 9) - : 3 (rnod 9) - r:3+9k
As n : 3 -f 4t : 3 * 4(3 + 9k) : 15 + 36k y el nmero de turistas es
x:5n:75*180k keZ
Como x < 300, los nicos valores posibles para k,son f : 0 k : 1, que dan lugar a los
2tt

res .x

75

x:255.

La condicin final, sobre la visita al museo, indica que x debe ser de la forma 24s -l 15.
tanto, la primera solucin, x:75, no es vlida. El grupo de turistas consta de255 personas.

@ ITES-Paraninfo

;:

Teora de nmeros

37

'-,r. U*u de l7 piratas, con escasos conocimientos aritmticos, se rene

P""':li:l1T:,1'::1:
el reparto sobra una moneda' En la
- tn ms de cien monedas de oro. Ef'ectuado equitativamente
::ica resultante para adjudicarla muere un piraia. Vuelven a realiz'ar el reparto y sigue sobrando
..r; moneda. Cat es ei mnimo nmero de monedas que puede contener el cofre?
que contena el cofre y
Supongamos que la solucin anterior es el nmero real de monedas
y mllere un pirata'
pelea
hay
ia historia contina. Siempre que sobran monedas en el reparto
--unto,
-

l0r-do:,-

)et,
\

piratas quedarn vivs cuando en el reparto no sobre ninguna moneda?

RESOLUCION. Sea n el nmero de monedas que puede contener el cofre'

:: el primer reparto entre 17 piratas se tiene que

Al

sobrar una moneda

n=1(mod17)

[:

En el segundo reparto, ahora entre 16 piratas, sigue sobrando una moneda, es decir,

td

n:

"1 :--

ii
:n :.
) t-:

_,

1 (mod 16)

n: l-l272k, k e z'
Como mcd (11,16): 1, tendremos que n = 1 (mod l1 '16), (*) es decir,
273.
es
cofre
el
puede
que
contener
Luego el rnnimo nrmero de monedas
monedas en el cofre'
Suponemos, para la segunda pregunta, que 273 es el_nmero efectivo de
2731
de
que
un
divisor
es
que
17,
p..guntu es: icul e, ei pri-er nii,".o, menor
13, 213 :21'13'
de
mltiplo
pero
es
s
14,
ni
e
:ziro ,rltiplo de ti, ni de 16, ni de 15,
", piratai supervivientes y cada uno de ellos se llevar 21 monedas de oro
Habr 13

rCL-

*)
l.

(n:- | (mod 17)

t,: , (mod
+ s=0

16)

(mod 16)

ln:17s+t
:
l.tzs

+t

t (mod 16)

+ n: 11'16'1* 1 + ir=

1 (mod 11'16)

- -_-.*
SolucloNEs A Los PRoBLEMAS PRoPUEsros
-"*,:,*r-*q

milL-{::oN

1.1

a) Desarrollando

331,: 106r, tenemos que

la igualdad

3x2

+3x +

1: l'fiz +6

es decir,

3x2+3x+l:127
Luego x es raz del polinomio 3x2

^6

)or

b)

126. Las races de este polinomio son:

-3+^/9+1.512

-3+39

-7

Slo es vlida la raz positiva, luego x

1o-

3x

6.

274rs: xe
Desarrollando,

2.82

+7.8 + O : **r,

luego r(2 :

188
@ ITES-Paraninfo

38

Problemas resueltos de matemtica discreta

.r es la representacin binaria de

188

188:2.94+0
94:2.47 + 0
41 :2.23 + t
23:2. 11 +
11 :2.5 + I
1

<-a

L'L

ar

-r:10111100

2:2.1+0
t:2.0 + I
REsor-ucl 1.2

La coincidencia ocurrir en la primera fecha,

del 1 de enero, mltiplo a h

despus

duraciones de los tres viajes. Esa fecha ser

mcm(6, 8, 10 :

21.3.5:

l2O

Es decir, coincidirn de nuevo, y por primeravez, a los 120 das.

Los tres barcos habrn hecho, respectivamente, los siguientes viajes:

120: 6:20
120: 8: 15
120 : 10: 12
Resoluclr' 1.3
Si d : mcd (x, y) entonces existen c, c' tales que

x:dc , !:dc'

y mcd(c,c':1

Adems se cumple que

n-rcd

(,t.

1,)

mcm (.r, ,r)

.rl', es decir.

18011

-rr

Operando resulta;

: dcdc, :
81:x*y:dc*dc'
180d: x!

[]

De

d2cc

+
+

180:
81

dcc'

:d(cf

c')

y [2] resLrlta:

180 dcc'
81 d(c i c') -

20 cc'
9 clc'

Y como c y c' son naturales y primos entre s, de la expresin anterior se deduce qu

Volviendo a [2]

Y los nmeros

buscados

c:4 y c':5
gl: gd ::> d: g
son ,r : 36, y : 45.

Resolucrr, 1.4
Busquemos, en primer lugar, el mcm(15.36).

: 3.5
iZ :)r- ,rj 15

@ ITES-Paraninfo

')

mcm (15, 36)

2z'32 '5

180

Teora de nmeros

Entonces, el primer nmero divisible por 15

H)res que mil, son:

y 36 ser

180

39

y los sucesivos mltiplos de 180, me-

180

180.2:360
180.3
180.4

:
:

540

720

180.5:900
En total, cinco nmeros. No existen ms de cinco nmeros distintos ya que
I r.ooo

t_t:<

Irso_]

1.5
Llamemos

x al nmero buscado y

sean

cp c2y c. los respectivos

cocientes. Entonces tendremos

sucesivamente:

x:18cr*19 ; x-19:18c, ; 181,-19)

x:30cr-l 19 ; x-19:30c, ; 30 l@-19)
x:42cr-f19 ; x-19:42c, ; 421@-19)
Las tres ltimas expresiones indican que r - 19 es mltiplo comn de los nmeros dados y, se-

gn se pide en el enunciado, debe ser el menor mltiplo. Se trata entonces de encontrar el

mcm(18, 30,42):
18

30

42

15

21

-l

: ). ?r

30 :2 3.s I mcm(18, 30, 42) :

42 :r.,.r{ ')
I

Como

18

x-79:630

2.32 . 5.7

630

.r:630* t9:649

1.6
Por hiptesis se tendr

D -- qtl

r+lt:q,d

I r. ,'. /l +
Df rlh:qd_lr*q,d*/

t r,. ,,<d)

resultando que

D+h:(q+q')d+r'
lo que significa que

17

4' es el cociente de la divisin de D

ft por

/, sienclo

r' el resto.

1.7
En efecto. es r2 m: nt(m - l), es decir, la expresin es el proclucto de dos nmeros consecLltivos o, lo que es igual. es- un nmero par y, por lo tanto. se cumple que 2 | (nt2 n).
A1 ser divisible por ). nt2 - rn es un nrmero compllesto.
@ ITES-Paraninfo

Resoluclr.r 1.9
Debemos probar que:

f) z es mltiplo comn de a y , es decir, alm y blm.

2) m es el menor de los mltiplos comunes, es decir, si /r es un enter
ces

mlh.

Sea d: mcd(a, ), como d es divisor de ct y de

Sustituimos estos valores en la definicin d,e nt

,":*:'#:a'b'ct

ser

luego

ct:

a,cl, b

m:ab':

y por ranro alm y blm.

Ahora probemos la segunda parte:
sea ft rar

que :l:)

::> t::

t,ts

:'r:\ +

a,cts

: b,dt

::>

o'r. Sustituyendo este valor de / resulta:

h:

bt

ba,r

- mr :>

mllt

Resolucrn 1.9

_ I es:
n8 - | : Qta - l)(tta + l) : (n2 - 1)(.n, - l)(n, + l)(na+ 1) : (z
Si r no es mltiplo de 5, entonces n es de la fbrma n : 5q -f r, donc
Una descomposicin en factores del polinomio

res

1,2.3 y 4. Analicemos por

Si r: l, entonces
Si r:?. entonces
Si r:3,entonces

separado cacla caso.

n:5q -. I y el factor n - I es mltiplo de 5.

n:5qi2,n2:5(5q'+4q)+
4luego n2 +r ses mtiltiplode 5.
n:5q-1 3,n2:5(5c12 +6q)+ gluego n2+ I ses mltiplode,5. tI

i:l,*l;llj"lT'":;"'l"ffii,':T';*'esmrtiprode5
ResorucrN

1.10
Probemos en primer lugar el siguiente resultado

II

II

auxiliar.

Lema. En la ejecucin del algoritmo rle Euclides, el producto del par de nmeros
baja a la mitad, al menos, en cada iteracin.

.onri.{
I
Consideramos el paso en que el par (a, ) se sustituye por el par (b, r) siendo o : t|
con ,'< h
I
As ser a2b-t r>2r,ruego rz >2bry br<)nt,ro*oqueramos probar.
I
Una vez probado el lema auxiliar, demostremos.el resultado. Despus de k pasos.,

de los nmeros con que se trabaja ser a lo ms

tendremos:
O

ff. "o*oeste

producto debe

Oro-l

r", t, ul ,..{

,=;::> 2k<ub:ft(ro'uo*tog,,

ITES-Paraninfo

!
:

41

Teora de nmeros

1.11
[-os Primos entre 100 Y 300 son:

101,103,107,109,113,127,131'137'139'l4g',l5l',!57',163'167',173'179',181'191'193'
1g7,1gg,211,223,227,22g'233'23g'24!'25!'257',263',26g',271',277',281',283y293

/ entc:

b')

1.12

primo
al absurdo' Supongamos que 'x no es
Demostremos este resultado por reduccin
pnmo'
2n - I tampoco es un nmero
,ua
i + 1 As podemos ur,izar ra identidad der enun"n,on."s
veamos

fl:ffi":,';*:'J##;"".?ili'ffi; i'i,

.-iado
Zn

- |:

2,"

- L:

(2'

1)(2("-

r)r

26-2)r

+ "' + 2' + l)

Comor*|Ys*|,losdosfactoresdeladescomposicinde2"_lsondistintosdel,luego
es Primo
-2" - | no
esi pue, ,'si 2i - 1 es primo entonces

-4*^-^ pnmo'
^,'
n es un -nmero

ello
no es cierto' si n es primo no pof
obseruacin El recproco de este resultado 1 2047 :23'89 es compuesto'
pti*o p"io 2t'- f
tambin lo es. Por

:s dect

"L*pi,

"'

1.13

a)

Si

entera de
es primo consideramos la divisin

4:

0, entonces p : 4q y p no sera.primo'
t) v ! no sera primo'
Y si r :2,ntir""s p : 4q i;:ZQq + r:
I o r:3'
po. tunto,
q""u' dos iestos posibies'

Pero si r
-1- I

os valc

p por

, 0<r<4

p:4q*r
,l '

2',- 1

b)

'lo

Ahora dividimos el Primo P Pot 6

, 0<r<6

p:6q*r

Losvaloresposiblesparaelfestosono,l,2,3,4y5.Peroalserpprimoelrestorno
p': 6q * 1, o bien p : 6q + 5'
tomai^io.'*to.", ,2,3 ;. P;; a"rio,.o bien

puede

eq-.:--lioN 1.14
por 12'
Ef'ectuamos la divisin entera de rz

0<r<12

a:l2ct*r
.iderado

bq

'l

r.

posiComonoeSmltiplode2'elrestornopuedetomarlosvaloreso,2,4,6.Syl0.Comoano
roror*,:, o v 9' As pues' los nicos restos
es mltiplo de 3. el resro r r"-;;;;.;"oilor
lt' enalizam'os cada caso por separado:
ut", ,on"il li;

Si

a: l2q+ l'

entonces

oz
rroducto
menos,

Q24+ l)2

144q2

24q

- 1 : 24(6q2 * 4) es mltiplo de 24'

Si a: l2q + 5. entonces
: 144q2 + l20q + 25
,,2 : 7lZe2 + 5)2
de 24'
luego c2 - I : 24(6q2 t 5q + 1) es mltiplo

luego rt2

@ ITES-Paraninfo

:--

42

Probtemas resueltos de matemtica discreta

Sia: l2q*7,

entonces

a2

- 1 : 24(6q2 r 7q *
Sia: l2q+ll,entonces

hrcgo a2

(72q2

24(6q2

144q2

768q

264q

+ I2l

49

2) es mltipto de 24.

oz :712Q2
luego a2 - 1 :

+ 7)2

+ llq *

11)2

144q2

5) es mltiplo de 24.

Por tanto, en cuarquiera de ros casos, a2

- I es mltiplo de 24.

ResoluclN 1.1S
Hallaremos todos los naturales

l)

Si r es primo,

il:

/?

que cumplan las condiciones atendiendo a sus factores

pt

Ptln :+ (p1- l)ln

(por la conclicin 2)

pero-p1 - I es par, luego 2ln y 3liu (por la condicin

2).
Por tanto, ir mltiplo d,e 2 y de 3 en contradiccin con
r primo.

No hay ningn ri primo con esas concliciones.

2)

Si n. es producto de do.s primos, n: prpz con pl < p2.

Repitiendo el razonamiento anterior n p, y pz se obtiene que
2ln y
cin con dos factores primos es:

3ln. Asra

n:2.3:6
3)

Si z es producto de tres primos,

n: pezpt con p1 1pz 1pt

Pzln ? (pt-l)ln - 21, +

1tl

condicin 2

luego

p,

:2, pz:

3. Cul ser

7,l.,

el

- I par

3ln

condicin

factor pr?

61, +

7ln , luego pt:1

tll

condicin 2

La nica solucin con tres factores

es:

n:2.3.1 :42
4)

Si n es producto de 4 factores, n.: pp2pp, cofl pt 1pz

<pt 1p.
Los factores primos son todos aistintslr la condicin't.
Repetimos el razonamienro

rlor con p4.

P+ln

+
1

condicin 2

(po

- t)ln

=> 2ln => 3ln tt1

po-

As los primeros factores de n han de ser pt

par

condicin

2, pz :

3, pz :

1 es

,ln

razonamiento de

[l]

2.3.7ln => 42ln

y como 42 +
@ ITES-Paraninfo

l:43

es primo, ra condicin 2 asegura que 431n.

por

fanto,

po:43.

Teora de

La nica solucin con cuatro factores

43

es:

n:2.3.7.43:
5)

nmeros

t.806

Si z tiene cinco o ms f-actores, n: pp2psp+ps.....

Repitiendo los razonamientos de los puntos anteriores tendremos

psln -

(o5

- l)ln

=> 31, :+

2ln

Tln

43ln

luego los cuatro factores iniciales deben ser 2,3,7 y 43.

Qu valores puede tomar p5?
pr ln, luego (ps - l) liz. As en la descomposicin en factores primos de ps
- l, que es menor
9ue ps, slo pueden aparecer los factores 2, 3,'7 y 43. Adems p. > 43. Con todo esto
/rs es un
primo que se obtiene al sumar I a un producto deiactores elegidbs-entre
2, 3,J y +:. Los valores
impares posibles, mayores que 43, y qu" no son primos, serni

2.43 + I :87
2.3.43 + 1 :259

2.1.43+1:603
2.3.1.43+1:1807
Por tanto, no existe ningn primo con las condiciones exigidas para ps.
Es decir, los nicos

naturales que cumplen las condiciones del enunciado son los econtrados
en los casos anteriores:

6.42 v

1806

1.16

Fn la ecuacin dada, mcd (4, )

mcd

(28, 36): 4 es divisor de c : 44. por tanto, la ecuacin

tiene soluciones enteras.

Simplificamos la ecuacin dada dividiendo por 4

mcd (28, 36)

lx*9y:Il

t1t

obteniendo otra ecuacin que es equivalente a la inicial, pero con

mcd(7,9)
solucin de la ecuacin

'lx-t

9y

1. Busquemos una

t2)

Aplicando el algoritmo de Euclides, obtenemos una solucin de

[2]

{,:

[Y: -3

por lo que una solucin de la ecuacin

[l],

se obtendr de sta multiplicando

por

11

[x': aa
[v,: -
Todas las soluciones de la ecuacin [1] son de la forma

(*: *, + bt:44 t

9t

1r:r, -at:-33_ 7t VteZ

O

ITES-Paraninfo

44

Problemas resueltos de matemtica discreta

ResoluclN 1.17
Todos los rnltiplos de 28 son de la forma 28x, x e Z. Que las clos ltimas cifras sean
que al dividir por 100 el resto es 16. Es decir, si llamamos al cociente ser:
_y

28:

100,v

+ t6

Debemos resolver esta ecuacin diofntica, que tiene soluciones enteras pues mcd(28.

Simplificando la ecuacin resulta

7x-25.r-:4
-r

i:

il

tll

Como mcd (1 , 25): 1, la ecuacin 7.r 251,: 1 tiene soluciones enteras. Una de
- -1, y: -2. As una solucin parricular de la ecuacin [l] es:
:
.4: -28
[*, -7
[Y,: -2'4: -B

Y todas las soluciones de [l] son de la forma

lx: -28+Z5t YteZ,

[Y: -8+7t

(*: -3+25k
I
[y: -I+7k

obien

keZ

Los valores de x que interesa n para el problema sonL los positivos

22, 47. 72,

Los mltiplos de 28 que cumplen la condicin son, por tanto, los de la forma

+ 25n):616

28(22

7O0n

n:0,

1,2,

...

ResoluclN 1.18

a)

La condicin es necesariq.
Si

a:

b(modm) se deduce que

u:th+r)
L_. , | o:m-fr)
es decir,

b)

ml(a

a-b:-tit:rit

, sia>b

b).

La condicin es suficiente.

si

existe la relacin a

- b : it, tambinexiste la a :
a:bl:*r*:rh+r

rh

sies

lo que indica que tambin es r el resto de a respecto del mdulo

: it + r, res

m.

ResoluclN 1.lg
La cuestin del enunciado equivale a Zak (modl), para k > l.
Aplicando-el.teorema que enuncia: si a, b, , y d son enteros y m otro
entero positivo,
a = b(modm) y c d(modm), entonces se verica que ac: bd(odm). para
nuestro caso
=
@ ITES-Paraninfo

Teora de nmeros

k:l
k:2
k:3

2a:16:l(modS)
(2n): 162 = 1(mod5)

(2^)':163=1(mod5)

(2t)r:16e= l(mod5)
Por 1o tanto, Zak mod 5

: l, Y k > l.

1.20
Partiendo de

2a:16:
y aplicando el teorema del ejercicio anterior,

-1(mod17)

se tendr sucesivamente:

28

=l(mod17)
216=l(mod17)
2r2

2t6 .216

(mod 17)

El resto pedido es 1.
1.21

n)=O(mod3), para todo n, es decir que n3=n(mod3). Ahora bien;

con 0, 1 2 respecto del mdulo 3. En consecuencia, nicacualquier n*ero ,
"ong*ente
"s
mert" habr que verificar que el enunciado se cumple para los tres nmeros 0, 1 y 2:
Basta con probar que (n3

03=0(mod3) , 1'=1(mod3) , 2':8:2(mod3)

En consecuencia, se cumple que 3 | (n'

n) para todo n.

1.22

a)

+3x: -4:7 enZrr,ltego x(x-13)--7

Probamos si los elementos de Zry O, 1,2, ..., 10, son soluciones de la ecuacin. Se comprueba que hay dos soluciones, ,tr : 3 y x:5, pues

x2

+3x+ 4:0

x2

:t: + :l :'n:1
5(5 + 3l

en
en

:40:1

zfi
Z'

- x(x-1):1 :
8, pues
Se comprueba que hay dos soluciones, x: 4 y x
4f+-11:D.:T en z,
8tB - Tl :56 : 1 en 2,,

b) x2-x-1-0

+ x2-x:l

1.23

a)

El clculo del mcd, conduce a los clculos siguientes:

250: rll.2 + 28
111:28.3+21

28:21'l t

<-

21:1.27+0
@ ITES-Paraninfo

46

Problemas resueltos de matemtca dscreta

Por lo tanto, mcd(250,

ll1):1,

ro que indica que ambos nmeros son primos

entonces es posible encontrar el inverso pedido.

Sustituyendo regresivamente en las igualdacles anteriores desde
la sealada con +-:
1

En consecuencia, ser

:250.4 +

(-9).111

lo 250.

b)

1l I

.(-9) [t : o
tf : -9

(mod250) y por tanto

Bezout

-9

ser un inverso de

1ll

Siguiendo los mismos pasos, tendremos:

3l:11.2+9\
Il: g.t+21
g: 2.4+ 1f
.: 7.
t.2+0)

ll,): 11, con lo que es posible encontrar inverso:

mcd(31,

t:9-2.4:
-9 - (11 - 9.r).4:9.s _ Lt.4:
:-11.4+(3t-11.2).5:
:5.31 +(-14).11
Bezout:

s:5 , t:-14

-14'l: l(mod3l) y -14 es er inverso de 11 mdulo 31.

-14: -14 + 3rk(mod31). tomando*_: r tenemo; q* - 14:17(mod3l)

Por tanto,

como

es el rnenor residuo no ne-earivo rie r-t mciuro 31. ;;;Jr"

hrbitualmerlte colro tl el rnenor residuo no negntivo
cie I inicialmente encontraclo.

ResoluclN 1.24
En este caso es d: mcd(30, 4) :2, y como 2l 10, tiene dos
soluciones.
Aplicando el algoritmo de Euclides, ei

2:8.4-1.30
10:40.4-5.30
40'4: 10(mod30) y entonces 10 ser una solucin respecto del
10(mod30).
La otra solucin viene dada por la expresin
Por lo tanto,

;ro

xo

-t

mld:

10

3012

: 25 -

x, =

25 (mod30)

Reso-ucN 1.2S

La ecuacin se puede presentar en forma de congruencia,

27x

18 (mod 30)

o en forma de ecuacin diofntica,

2lx:30y + l8
Resolvamos la ecuacin diofntica, que tiene solucin porque
mcd(31,

ITES-Paraninfo

nrr:r.";'il;;;l:.

30):311g.

Teora de nmeros

Simplificando la ecuacin por 3

mcd(21' 30)' obtenemos

7x

- 10Y:6

ecuacin equivalente a la dada, pero con mcd(7'

Resolvemoi en primer lugar la ecuacin

7x
como mcd(7,

47

t1l

10: 1'

- IOY:1

tZ)

10): 1, expresamos 1 como combinaicn lineal

l:3'7 -2'10

luego una solucin de [2] es

de 7

y l0

*: ,

ll:2

Por hnto, una solucin de [1]

es

*:3.6:18
\t :2'6: 12
As todas las soluciones de la ecuacin 7x

- l}y:6

son:

Jx:t8+lOk ykeZ
lz + s*

lY:

LaecuacininicialZlx:18enZ3s'tieneporsolucin
x=8(mod10)
1.26
Aplicamos el teorema de Fermat en cada caso'
a) Resto de ta divisin de 315 entre 17

p:

|7 , a:3

el teorema dice

que

376 :_

l (mod 17)

3 mdulo 17) tendremos

multiplicando por 6 (que es el inverso de
+ 6.3'3rs 6(mod17) + 3rs = 6(mod17)

6.316

b)

=6(mod17)

El resto de la divisin es 6'

Resto de la divisin de 15e0 entre 13

p:13,a:15,elteoremadicequel5l2:1(mod13)
:
como go: 12.7 + 6, 15eo (15t')''156, luego
(15")' = 1 (mod 13) I + t5e0 12 (mod 13)
=
156 = 26 : l2 (mod 13)
J

c)

El resto de la divisin es 12'

Resto de la divisin de l25a's17 entre 13
p

: 13 , a:

125

el teorema dice

que

l25rz

(mod 13)

ITES-Paraninfo

48

problemas resueltos de
matemtica discreta

Como 4 577

12.391 +

5,

1254 s.77

: (l2Jrzfat .125s ,

luego

(l25rzter:1(mod13)
r25s

(53)s

515, apricando de nuevo er teorema de Fermat

paru p
5r2

En definitiva

(mod 13), luego 51s

(l25tzrst:l(modl3)|
125s :53 (mod l3)J -

13,

a:

5 se ti

53 (mod 13)

125+'szt

53 (mod 13)

Y como 53 8 (mod I3), el resto buscado es g.

=
ResoluclN 1,27

rI.rl : 12r:1(mod 12). Asse riene que

1111: 11.11 .11.11.11.11.11 .11.11.11.11 : t1 (mod 12)

EI inverso de 1r en zrres

\,--J
=l

pues

\-r

-_,:1

:l

Luego el inverso de I 1 1 1 en Z es i
,,

-/-_J
:l

-._-_J
:l

Resoluclru l.2B
Expresemos los datos del enunciado en forma de congruencias.

(n=-l(mod3)
(n:2(mod3)
ln+l:0(mod3)
_3(mod4) =>
:+
\n+3:0(mod4)
1n=
ln:t(mod4)
[n+s:0(mod7)
[r=-5(mod7)
ln:z(mod7)
Los mdulos de este sistema de congruencias son primos entre s dos a dos por
lo que el si
tiene solucin nica mdulo 3 .4.7.
Resolvamos el sistema, comenzando con la primera ecuacin

n:2(mod3) => n:3t i 2

tll

sustituimos en la segunda ecuacin

3t+2 = 1(mod4) -

3t:-l(mod4) => 3t:3(mod4)

multiplicando por el inverso de 3, mdulo 4, que es

3'3t:3.3(mod4) -

r:1(mod4) -

t:4s*1

sustituyendo en [1],

n:

3(4s

1)

2:

12s

*5

lLl

Este valor se sustituye en la tercera ecuacin

l2s -t

5:2(mod7) -

l2s:4(mod7) +

5s

:4(mod7)

multiplicando por 3, que es el inverso de 5, mdulo 7

3'5.r=3.4(mod7) @ ITES-Paraninfo

.s:5(mod7) :> s:jk+5

Teora de nmeros

49

finalmente sustituimos este valor en l2l

n:12(7k+5)+ 5:84k+65
Los enteros buscados son los de la forma

84k+65 YkeZ
1.29
Sea n

en trminos
el natural buscado. Las condiciones impuestas en el enunciado se expresan,

congruencias, as:

de

,:2(mod3))

,::tmod4)f
n:4(mod5)(

r = 5(mod6)J
por lo que debemos resolver este sistema de congruencias'
podemos asegurar la
El sistema no cumple la condicin del teorema chino del resto pof 1o que no
mdulos sean prique
los
existencia de solucin al problema. (Para aplicar el teorema se necesita
mos entre s dos a dos.)
las condiciones del
Sin embargo, el sistema formado por las tres primeras ecuaciones s cumple
teorema.

= 2tmod3)J
r = 3tmod4) |
n=4tmod5)J

Resolvamos este sistema

n:2(mod3) 3k+2:3(mod4) 3'3k:3'l(mod4) -

n:3k-12

3ft=l(mod4) k=3(mod4) -

k:4s-t3

y sustituyendo

: 3k * 2 :3(4s + 3) + 2: 12s * ll
n:l2s+11 :4(mod5) - 2s*l:4(mod5) = 3'2s=3'3(mod5)
= s=4(mod5) - s:5t*4
n:12(5t +4)+ 11:60r+59 Y teZ
n

:>

forma
As pues, los enteros que satisfacen las tres primeras ecuaciones son los de la

n:6Ot-t59 YteZ

tll

inicial, n
Veamos finalmente, cules de stos satisfacen la cuarta ecuacin del sistema

5 (mod 6)

60/+59:5(mod6)
resulta que todas las soluciones de [1] cumplen la cuarta
del enunciado son:
ecuacin. Por tanto, io.s nme.os naturales que cumplen las condiciones

como

60:0(mod6) y 59:5(mod6),

n:60r-t59 , Vre N
@ ITES-Paraninfo

50

problemas resueltos
de matemtica dscreta

ResoluclN

1.gO

il?T:#3'.:,:,l;, ".il':i::

*',j:H:ft:,

"

ra cantirrarr de ribras chipriotas

que

l8y: 1.000 ttl

.,u"ti3o,Jfr::i,{:fflI?ri]j3l los varores de r e y deben ser enteros positiv
73x 1-

Resolvamos primero la ecuacin

13x

cin particular de

[I] ",

fi:: i'rT*

lgy

: l. una solucin .r,

{*
U: -)

y todas tas sotuciones de

[1]

'por lo

son:

fx:7.000 _ I8k
1r: -s.ooo+ 13 v kez
."""rTl,ffj:

x como y deben ser posirivos.

necesiramos harar ros varores
de k que cu
7.000

- 5.000

t8 >
l3A >

Tenemos 4 valores posible:

para
lorma dilel.ente de calllbiar
I.000

es decir. se cambian

Resoluclru l.sl

t.

0l

oJ

7.000>tSl

:+

ri>s.oooJ

<.1881

A>.1851

385,

3g6. 3g7 y 3gg. Cada uno

de ellos
coronas. La corespondiente
a [ : 3i]5 es:

:7.000_18.3g5:70
-)'- -5.000+t3.3g5:5
l

000 coronas por 70 zlotys

y 5 libras chipriotas.

Llamemos 'r al nmero

de Inanu'scritos que l'esfan
en concurso tras ra primera
so de almacenamiento en
seleccin.
cajas ae istinia capaciciad
se expresa, en trminos
de
consrrre
.r : 3 (rnocl6) (pues
sobran : ., to., .ujulr";;';;'"'
"r

5 (mod

7)

.r= O(rnodll)
La tercera relacin indica que

ll:3trnod6tl

-r:

11i. SustitLrimos este varor

en las dos primeras

rerac

::=:(rnod6)] _
> 5.5k:-:.3(mocl6)1,(=3(mocl
4k=S''"oi,i

:::,::::::'-,',: I:
se tiene que, fr :

Como mcd (6,7)

.r:
urr-EJr';r,%'J]TiiT:r:il

(pues sobr.an 5 en Ias

cajas de 7;
(pues no sobran en
las cajas ile Il)

I l/r

2 4k:2

3+

senocr,)J => r:3(n,ocl

l2rn. hego

: I t(: i

42m)

33

462tt

se eliminan ms cle 300

manusc.iros, ruego -r

m:0
m: I

--+
-_

x:
x:

<

-500.

As

ros

33

492
Tenemos dos posibles resr
33 4g2,unr*r!-r---' '-opustas a Ia pregunta del enunciado. Tras la primera seleccin
@ ITES-paraninfo