Matemtica Discreta:

Teora elemental de nmeros

MATEMATICA DISCRETA
1. Teora Elemental de Nmeros.
1.1. Algoritmo de Divisin y Euclides.
N={1, 2, 3, 4,...}.
Z={...,-3, -2, -1, 0, 1, 2, 3,...}.
Enteros no negativos: N{0}.
Principio de buena ordenacin:
Todo subconjunto no vaco de nmeros enteros no negativos tiene un primer elemento,
es decir, tiene un primer elemento que es menor que los dems.
Definiciones:
Sean a y b enteros.
1. Diferencia a-b, otro d tal que a=b+d.
2. Si a 0 y b=a.q, para algn q, a divide a b, a es divisor de b, a es factor de b, b es
mltiplo de a. a divide a b se escribe a|b.
3. b>a si existe nN tal que b=a+n,
ba si b>a o b=a.
(Z, +) es grupo abeliano, cumple propiedades asociativa y conmutativa, propiedad
distributiva a(b+c)=ab+ac.
(Z, +.) es anillo conmutativo, con elemento unidad (1) y sin divisores del cero, si ab=0
entonces a=0 o b=0.
Propiedades:
1. 0.a=0
2. a(-b)=-ab
3. Si a0 y ab=ac entonces b=c
4. Si a0 y a|b entonces a|bx para cada xZ
5. Sean a0 y b0, si a|b y b|c entonces a|c
6. Sean a0, si a|b y a|c, se verifica a|(bx+cy) para cualquier par de enteros x e y
7. Sean a y b positivos, si a|b entonces ab
8. Sean a0 y b0, si a|b y b|a, se tiene que a=b o a=-b.
n|0, n Z.
Valor absoluto:
La aplicacin | | : ZZ, definida por |n|=n si n0 |n|=-n si n<0
Propiedades:
1. |n| N{0},
2. |n|=0 si y solo si n=0,
3. |a.b|=|a|.|b|,
4. |a+b||a|+|b|,
5. Si a0, b0 y a|b entonces |a||b|.
Teorema (Algoritmo de la divisin):
Sean aZ y bN, existen nmeros enteros q y r tales que a=bq+r con 0r<b, q y r son
nicos.
A los nmeros a, b, q y r, se les suele llamar dividendo, divisor, cociente y resto.
D= d.c+r, 0r<d, c y r son nicos.
Corolario:
Dados dos enteros a y b con b0 entonces existen q y r tales que a=bq+r donde
0r<|b|, adems q y r son nicos.

Matemtica Discreta:

Teora elemental de nmeros

Ejemplos:
El cuadrado de cualquier entero es de la forma: 3k 3k+1.
Todo cuadrado se escribe de la forma: 4k 4k+1.
El cubo de cualquier entero es de la forma: 9k, 9k+1 9k+8.
Si a, bZ y a, b>0, n1 y an|bn, entonces: a|b.
MOD:
Asociado al algoritmo de la divisin se tiene el operador MOD (Modulo).- Sean a y b
nmeros enteros con b0, sean a=bq+r donde 0r<|b|, definimos el operador mdulo
MOD por:
a MOD b=r.
Propiedades del operador MOD:
Sean a, b, c, d y m Z con m0. Si a MOD m=c MOD m, entonces:
1. (a+b) MOD m = (c+d) MOD m
2. (a.b) MOD m = (c.d) MOD m
3. a MOD m= (a MOD m) MOD m.
Mximo comn divisor:
m.c.d.(a,b)=d con d>0 y d|a y d|b es el mayor de los divisores comunes de a y b, todos
los divisores de a y b menores que d, dividen a d.
m.c.d(0,0)=0..
m.c.d(a,0)=|a|.
m.c.d(ka,kb)=|k| m.c.d.(a,b).
m.c.d(a,b) puede expresarse como combinacin lineal de a y b:
m.c.d(a,b)=ax+by
d=m.c.d(a,b) es el menor entero positivo que lo cumple.
Si a y b son primos entre s (no tienen divisores comunes) entonces m.c.d(a,b)=1 y
ax+by=1.
Corolario:
Sean a, b 0 Z, entonces m.c.d.(a ,b)=1, si y solo s s, t Z | as+bt=1.
Ejemplo:
Sean a, b y mZ, con m0 si aMODm=bMODm, entonces
m.c.d.(a, m)=m.c.d.(b,m).
Si m.c.d.(a,b)=d, y a2+b2=c2,, entonces m.c.d(a,b)=m.c.d.(b,c)=d.
Algoritmo de Euclides: (Para el calculo del m.c.d.)
El mximo comn divisor del dividendo y del divisor de una divisin es el mismo que
el mximo comn divisor del divisor y del resto.
Se obtiene el d=m.c.d(a,b) y se resuelve la ecuacin d=ax+by.
d = rn-1 = m.c.d.(rn-2, rn-1) = m.c.d.(rn-3, rn-2) = ... = m.c.d.(b, r1) = m.c.d.(a, b)
Si hacemos las divisiones sucesivas partiendo del Algoritmo de la Divisin original:

a = b q1 + r 1
b = r 1 q2 + r 2
r1 = r2 q3 + r3
...
rn-4 = rn-3 qn-2 + rn-2
rn-3 = rn-2 qn-1 + rn-1
rn-2 = rn-1 qn + 0

Matemtica Discreta:

Teora elemental de nmeros

Ejemplo: Hallar m.c.d(3120,270) y encontrar x e y tales que: d= 3120x + 270y.

1. 3120=270*11 + 150
2. 270= 150*1 + 120
3. 150= 120*1 +30
4. 120= 30*4
El ltimo resto 0 es 30. Por tanto el m.c.d(3120,270)=30.
Hacemos sustituciones inversas y obtenemos:
de 3. tenemos 30=150 120*1
de 2. tenemos 120= 270 150*1
de 1. tenemos 150= 3120 270*11
Sustituimos 2. en 3.: 30= 150 (270 150*1)*1=(150*2)-270.
Y aqu 1., tenemos:
[(3120-(270*11))*2]- 270=(3120*2)-(270*22)-270 =3120*2+270*(-23),
entonces x=2 e y=-23.
El nmero de pasos del algoritmo de Euclides, es a lo ms 5 veces el n de dgitos del
nmero mas pequeo.
Ejemplo:
Si m.c.d.(a,n)=1, entonces los enteros
c, c+a, c+2a,...c+(n-1)a, forman un conjunto completo de residuos mdulos
n para cada c.
1.2. Nmeros primos y Teora Fundamental de la Aritmtica.
Cada nmero entero p>1 es divisible por 1 y por p. Si estos son los nicos divisores
posibles de p, diremos entonces que p es un nmero primo.
p es un nmero primo si 1 y p son los nicos divisores positivos de p.
Un entero a>1 que es no primo se denomina nmero compuesto, p>1 es primo si y
slo s es imposible expresar p=a*b donde a y b son enteros y 1<a<p y 1<b<p.
El nmero 2 es el nico primo par.
Factorizar 276 como producto de primos:
276=2*138
138=2*69
69=3*23,
23 es primo
276=2*2*3*23.
Si m.c.d(a1,...,an)=1, y a1,...,an es una familia de nmeros enteros, entonces a1,...,an
son primos entre s.
Comprobar que un nmero es primo utilizando la criba de Eraststenes
La criba de Eraststenes dice que un nmero es primo si no es divisible por otro primo
menor que la raz cuadrada entera del primero. Primero se desarrolla la criba y a
continuacin se divide el nmero por cada uno de los primos contenidos en la criba.
n = 811
p < 811 = 29
2 3 4 5 6 7
8 9 10 11 12 13
14 15 16 17 18 19
20 21 22 23 24 25
26 27 28 29

Criba: 2, 3, 5, 7, 11, 13, 17, 19, 23 = i

3

Matemtica Discreta:

Teora elemental de nmeros

Divisin: 29 MOD i 0
811 s es primo

Lema de Euclides:
Sean a, b y c Z, si a y c son primos entre s y c|ab entonces c|b.
Corolario:
* Si p es primo y para cualquier a y b Z, si p|ab, entonces p|a o p|b.
* Sea p primo, si p|a1a2...an entonces p|ai para algn i.
Teorema fundamental de la aritmtica:
Sean n>1, entonces primos p1,...,pr tales que
n=p1p2..pr donde p1 p2 ... pr, y esta factorizacin es nica.
Factorizacin cannica de n:
Sean n Z con |n|>1. Entonces n tiene una factorizacin nica de la forma:
n = p11 ... p t t , donde t1, los pi son primos distintos con p1 < p2 < ...<pt y i 1 para
1 i t.
Factorizacin cannica de 48 = 2*24=2*2*12=2*2*2*6=2*2*2*2*3=24*3.
Teoremas:
* El nmero de primos es infinito.
n 1

* Si Pn es el n-esimo nmero primo, entonces Pn 2 2

Sea a Z y a>1, Para todo nmero primo pa, p no divide a a, se verifica que a es
primo.
Calcular m.c.d.(2520, 9438) a partir de la factorizacin cannica:
2520= 23*32*5*7
2520= 23*32*51*71*110*130.
9438= 2*3*112*13
9438= 21*31*50*70*112*131.
m.c.d(2520, 9438)= 21*31*50*70*110*130=6.
(Factores comunes elevados al menor exponente).
Sea a=p1 1...pt t y b=p1 1...pt t tal que i ,i pueden ser 0,
Entonces m.c.d.(a, b)=p1 min(1, 1)...pt min(t, t)
Mnimo comn mltiplo:
Se llama m.c.m.(a, b), al menor entero positivo que sea mltiplo de ambos.
m.c.m(8, 5):
8= 23*50 y 5= 20*51
23*51=40.
m.c.m(2640, 3580):
2640= 24*3*5*11*1790
y 3580= 22*30*5*110*179
24*3*5*11*179=472560.
(Factores comunes y no comunes elevados al mayor exponente)
Sea a=p1 1...pt t y b=p1 1...pt t tal que i ,i pueden ser 0,
Entonces m.c.m.(a, b)=p1 max(1, 1)...pt max(t, t)
Teorema:
Sean a y b 0 y a y b Z entonces |a*b|=[m.c.d(a, b)]*[m.c.m(a, b)].
Si a|b entonces m.c.d.(a, b)= |a| y m.c.m(a, b)= |b|.
Ejemplo:
Si p=2k-1 es primo, entonces k es un entero impar o k=2.
El nmero 2 es irracional:
Si 2 fuera racional podra expresarse como cociente de dos enteros a, b.
Podremos suponer que m.c.d.(a, b)=1, si no fuese as se descomponen a y b en
factores primos y se eliminan los factores primos comunes. Tenemos entonces
2=a/b con m.c.d.(a, b)=1.
4

Matemtica Discreta:

Teora elemental de nmeros

Elevando al cuadrado la expresin queda: 2= a2/b2, de aqu a2=2b2. Por tanto

2|a.a y 2|a. Entonces a es de la forma 2m y entonces 4m2=2b2, que es
equivalente a 2m2=b2, luego 2|b2, y 2|b, llegando a una contradiccin, pues
habamos supuesto que m.c.d.(a, b)=1.
1.3. Principio de induccin
Sea S un conjunto de nmeros naturales que satisfacen las condiciones:
1. El nmero 1 S .
2. Para cada nmero k 1 si k S entonces k+1 S, entonces el conjunto S = N.
Se utiliza para demostrar que cierta propiedad P se satisface para todo nmero natural n.
Paso 1. Definir S={n N tales que P(n) es verdadera}.
Paso 2. Probar que 1 S.
Paso 3. Suponer que k S para k 1 arbitrario.
Paso 4. Demostrar entonces que k+1 S.
Del principio de induccin se sigue que S es igual a N y as la propiedad P(n) se
satisface para todo n N.
Ejemplo:
Demustrese que para todo n N se cumple la propiedad P(n)=1+3+5+...+(2n-1)=n2.
Sea S el subconjunto de los elementos de N que cumplen la propiedad P: S={n N,
P(n)}.
1. Veamos que la propiedad P se cumple para el elemento 1:
(2n-1)=n2
2*1-1=12

1=12.
2. Supongamos que la propiedad P se cumple para un k S, siendo k > 1.
1+3+5+...+(2k-1)= k2.
3. Entonces debemos probar que tambin se cumple para k+1, es decir, que k+1 S:
La propiedad P se cumplir para k+1 si:
1+3+5+...+(2k-1)+(2(k+1)-1)=(k+1)2, es decir,
1+3+5+...+(2k-1)+(2k+1)=k2+2k+1.
Tomemos la propiedad original, que hemos supuesto se cumple en k: 1+3+5+...+(2k1)=k2, ahora sumemos (2k+1) a ambos miembros de la igualdad,
1+3+5+...+(2k-1)+(2k+1)=k2+(2k+1), y vemos que corresponde al desarrollo de la
propiedad para P(k+1), por tanto k+1 S. As pues, S=N y la propiedad P se cumple
N.
Principio fuerte de induccin:
Sea S un conjunto de enteros positivos tales que
1. 1 S.
2. Para todo entero n > 1, si k S para todo entero k tal que 1 k n entonces n es S.
Entonces: S=N.
Ejemplos:
Demostrar una propiedad por el Principio de Induccin
Sea S el conjunto de los valores. Segn dicho principio, la propiedad se debe cumplir
para el elemento 1 y para cualquier elemento k + 1 dado un k. Se presentan dos
expresiones separadas con el signo igual, donde se les
aade un trmino k + 1 a ambas y se resuelve por la segunda expresin.
Para todo n natural:
12 + 22 + ... + n2 = n (n + 1) (2n + 1) / 6
Primera propiedad: P(1) pertenece a S
12 = 1 (1 + 1) (2 1 + 1) / 6 = 1 2 3 /6 = 6 / 6 = 1
Segunda propiedad: P(k) y P(k + 1) pertenecen a S

Matemtica Discreta:

Teora elemental de nmeros

12 + 22 + ... + k2 + (k + 1)2 = k (k + 1) (2k + 1) / 6 + (k + 1)2 = k (k + 1) (2k +

1) + 6 (k + 1)2 / 6 = (k + 1) (2k2 + k + 6k + 6) / 6 = (k + 1) (k + 2) (2k + 3) / 6
Por lo tanto, se cumple la propiedad para todo natural
Corolario:
Sea n0 Z y P es una propiedad:
1. P(n0) es cierta, (n0 satisface P)
2. Para cada kn0 arbitrario, P(k) es cierta, si P(k+1) es cierta
Entonces: P(n) se satisface para todo entero nn0.
n( n + 1)
1 + 2 + ... + n =
.
2
1+2+22+...+2n-1=2n-1.
6|(n3+5n).
n(n-1)(n-2)...1>2n para n4.
n

7
a1=1, a2=3, an=an-1+an-2, para todo n3: a n < ,nN.
4
2 n 1
Pn: n-simo nmero primo, Pn 2 .
n1, an-1=(a-1)(an-1+an-2+...+a+1).
n24, puede expresarse n=5x+7y, x,yZ x,y>0.
1+3+5+7+...+(2n-1)=n2.
n0, 13|42n+1+3n+2.
n( n + 1)
n1, 1 + 2 + ... + n =
.
2
n0, 3|n4-4n2.
1
1
1
1
+
+ ... +
= 1 .
n2
1.2 2.3
( n 1)n
n
n
3
n10, 2 >n .
2n+1<n2, n3.
n2<2n, n5.
1 1
1
1
n>0, 1 + + + ... + 2 2 .
4 9
n
n
2

1.4. Ecuaciones Diofnticas

Sean a, b, y n nmeros enteros. La ecuacin lineal ax+by= n, tiene solucin entera x0
y0 si y solo si d=m.c.d.(a, b) divide a n.
Una solucin particular ser:
n
n
x0 = k ,
y0 = k' ,
d
d
siendo k y k factores obtenidos a travs del algoritmo de Euclides.
b
a
La solucin general ser x = x 0 + t , y = y 0 t , para todo t Z.
d
d
Aplicacin del algoritmo de Euclides (Para obtener soluciones)
Ejemplo: El precio de la entrada de un cine es 640 pts, para el adulto y 330 para un
nio. Si se han comprado entradas por valor de 7140 pts, Cuntas entradas de cada
clase se han comprado, sabiendo que hay mas nios que adultos?
La ecuacin ser 640a + 330n = 7140
Calcular la solucin general de la ecuacin 640x + 330y = 7140.

Matemtica Discreta:

Teora elemental de nmeros

1. Aplicar el algoritmo de Euclides:

640= 330*1+310
[310=640-330]
330=310*1+20
[20=330-310]
310=20*15+10
[10=310-(20*15)]
20=10*2
por tanto d=10, y 10|7140, por tanto hay solucin.
2. Una solucin particular ser:
10=310-20*15
10=310-(330-310)*15=310*16-330*15
10=(640-330)*16-330*15=640*16-330*31
10=640*16+330*(-31)
7140
x0 =
*16 = 11424 ,
10
7140
y0 =
* ( 31) = 22134 .
10
3. La solucin general ser:
330
x = 11424 +
t = 11424 + 33t ,
10
640
y = 22134
t = 22134 64t .
10
En el siguiente paso delimitaremos los valores particulares de t, que satisfacen las
condiciones del enunciado, n>a y ambos valores positivos.
En este caso t debe ser negativo. Escribimos la solucin general de la siguiente forma
cuando t<0:
a=11424-33|t|
n=-22134+64|t|
de a>0 y n>0 obtenemos:
|t|<11424/33, es decir |t|346 y
|t|>22134/64, es decir |t|>345.
Adems n>a obtenemos
97|t|>11424+22134=33558, o bien
|t|>33558/97, es decir |t|346.
Luego el nico valor de t que satisface todas las condiciones es |t|=346 y de aqu
t= -346. Por tanto la solucin buscada es
a=11424-33*346=6 adultos,
n=-22134+64*346=10 nios.
Teorema:
La ecuacin diofntica x2-y2=n con n>0 tiene solucin entera si y solo si n puede
expresarse como producto de 2 nmeros con la misma paridad y tales que n=a*b.
Las soluciones son:
a+b
ab
x=
,
y=
.
2
2

Matemtica Discreta:

Teora elemental de nmeros

Ejemplo: Encontrar las soluciones positivas de la ecuacin x2-y2=120.

1. Factorizar 120, obtenemos: 120=23*3*5, podemos escribir 120 como producto de
dos nmeros con la misma paridad de las siguientes maneras:
120=60*2=30*4=20*6=12*10=10*12=6*20=4*30=2*60, como buscamos soluciones
positivas, entonces x, y 0 lo que exige que a b, se tienen por tanto como:
a+b
ab
x=
, y=
.
2
2

60
2
31 29
30
4
17 13
20
6
13
7
12 10 11
1
Las soluciones son:{31,29},{17,13}{13,7},{11,1}.

REGLA PARA HALLAR LA RAZ CUADRADA

Para hallar la raz cuadrada de un nmero, por ejemplo 103.689, se siguen estos pasos:
1 Se hacen grupos de dos cifras empezando por la derecha y se halla un nmero
cuyo cuadrado se acerque ms al primer grupo (10), que es 3: 32=9. La primera
cifra de la raz cuadrada es 3; despus se calcula la diferencia 10-9=1.
2 A la derecha de 1 se baja el siguiente
grupo 36 y debajo de la raz hallada (3)
se escribe su doble (6). De 136 se separa
su ltima cifra (6) y se divide 13 entre
el doble de la raz hallada (6).

10.36.89
-9_
136
-124_
1289
-1284
5

3 El cociente obtenido (2) se pone a la

derecha del 6 y el nmero formado (62)
se multiplica por este cociente (2).
Despus se calcula la diferencia
136-124=12.
4 El nmero 2 se pasa a la raz a la derecha
del 3 y se repiten los pasos 2 y 3.

322

62 x 2=124
642 x 2=1.284

10.36.89 = 322

Algoritmo de Factorizacin de Fermat:

Sea n un nmero natural impar, si n es compuesto se tiene que n=a*b donde a y b han
de ser impares tambin. Podemos suponer que a b>1. Podemos escribir:
2
a+b
ab 2

=n,
2
2
Estudiar si un nmero impar es compuesto es equivalente a resolver la ecuacin
x2-y2=n. Puede escribirse x2-n=y2.

( ) ( )

Matemtica Discreta:

Teora elemental de nmeros

1. Determinar el mnimo entero positivo q que satisfaga que q2 n.

2. Estudiar si alguno de los nmeros q2-n, (q+1)2-n, (q+2)2-n,... es un cuadrado. Los
n +1
nicos valores a estudiar son aquellos que satisfacen q m<
, si para ninguno
2
de estos nmeros m, m2-n es un cuadrado, entonces n ser primo.
Ejemplo: Estudiar si el nmero 22733 es compuesto.
1. Encontrar el menor q tal que q222733, q22733=150, q=151,
n + 1 22733 + 1
=
= 11367 .
2
2
2. Hay que estudiar los nmeros m tales que 151 m<11367 y ver si alguno de los
m2-22733 es un cuadrado, tenemos:
1512-22733=22801-22733=68,
1522-22733=23104-22733=371,
1532-22733=23409-22733=676=262.
Por tanto x=153 e y=26.
a=x+y=153+26=179,
b=x-y=153-26=127.
El nmero 22733=179*127.
La ecuacin pitagrica x2+y2=z2 con x, y, z N, solo nos interesan las soluciones
enteras.
1. Las ternas (x0,, y0, ,z0) es una solucin de la ecuacin x2+y2=z2, tambin es solucin
(x0, y0, z0) para cualquier 0.
x y z
2. Si d es m.c.d de (x0, y0,z0) entonces 0 , 0 , 0 tambin es solucin y adems
d d d
x0 y0 z0
, son primos entre si.
,
d d d
Resolver el problema consiste en buscar las soluciones (x0, y0, z0) naturales y primos
entre s, llamadas ternas primitivas pitagricas.
Las soluciones de la ecuacin pitagrica x2+y2=z2 que satisfagan las condiciones:
m.c.d(x,y,z)=1, 2|x, x,y,z>0, vienen dadas por las frmulas:
x=2st,
y=s2-t2,
z=s2+t2.
S, t N con s>t, tales que m.c.d.(s,t)=1 y s, t con distinta paridad.
4, 3 y 5 son las nicas soluciones enteras positivas y consecutivas de la
ecuacin pitagrica x2+y2=z2.
Las cinco primera ternas primitivas pitagricas son:
s
t
x=2st
x=s2-t2
z=s2+t2
2
1
4
3
5
3
2
12
5
13
4
1
8
15
17
4
3
24
7
25
5
2
20
21
29

Las soluciones enteras de la ecuacin xn+yn=zn, cuando n 3, no tienen solucin con

x,y,z N.

Matemtica Discreta:

Teora elemental de nmeros

1.5. Congruencias.
Sean m>0. Dados a, b Z, se dice que a y b son congruentes modulo m si a-b es
divisible por m.
ab md(m) si y solo si m|(a-b),
ab md(m) si y solo si a-b=mk, k Z,
ab md(m) si y solo si a=b+mk, k Z,
a
b
Dos enteros a y b son congruentes mdulo m si los restos de las divisiones
y
son
m
m
iguales.
ar md(m), a=qm+r, 0 r<m.
r se denomina menor residuo no negativo de a modulo m, en este caso r=a MOD m.
Propiedades:
Sean a, b, c, d, h, m Z con h 0 y m>0
1) aa md(m)
(reflexiva)
2) Si ab md(m) entonces ba md(m)
(conmutativa)
3) Si ab md(m) y bc md(m) entonces ac md(m) (transitiva)
4) Si ab md(m) y cd md(m) entonces
a+cb+d md(m)
a*cb*d md(m).
5) Si ab md(m) entonces hahb md(m).
6) Si h|a, h|b, m.c.d(h, m)=1 y ab md(m) entonces
a b
md ( m)
h h
Si para 1 i n se tiene que aibi md(m) entonces
n

i =1
n

i =1
n

ai bi md.(m),
a b md(m), si ab md(m) entonces akbk md(m).
i

i =1

i =1

Ejemplo:
Hallar el resto de la divisin de 232587 entre 7:
1) 232 md(7)
(23=7*3+2)
n
2) Buscamos n tal que 2 1 md(7), n=3, ya que 231 md(7)
(8=7*1+1)
3) Dividimos 2587 entre 3: 2587=3*862+1, es decir 232587=233*862*23
4) 233231 md(7), por tanto (233)86218621 md(7).
5) Ahora bien, 233*862*231*2 md(7), entonces 2325872 md(7).
Resolver la ecuacin axb md(m) equivale a resolver la ecuacin diofntica
ax+my=b. Esta ecuacin tiene solucin solo si d=m.c.d(a, m)|b.
Ejemplo: Encontrar las soluciones no congruentes de la ecuacin 3x9 md(15).
1) Lo planteamos como la ecuacin diofntica: 3x+15y=9
2) hallar m.c.d(3, 15)=3, y adems 3|9 (hay tres soluciones)
3) hallar una solucin particular de la ecuacin, x0=3
4) las otras dos soluciones sern: x=x0+(b/d)t
x=3+(15/3)t=3+5t

10

Matemtica Discreta:

Teora elemental de nmeros

5) aplicamos los valores de t para 0 t<d (entre 0 y d) para hallar todas las
soluciones no congruentes de la ecuacin
t=0

3+5*0=3
t=1

3+5*1=8
t=2

3+5*2=13
Ejemplo:
Una congruencia ax b md (m) es equivalente a una ecuacin diofntica ax + mk = b.
Se calcula el mximo comn divisor de a y m, se le llama d y se comprueba que d divida
a b. Por el Algoritmo de Euclides de la divisin se halla a' en:
a' = b - m / a
y se sustituye en:
x0 = n a' / d
x = x0 - a t / d
Si x0 es negativo se halla una solucin t hasta que x sea positivo.

2x 6 md (10)
Ecuacin diofntica: 2x + 10k = 6
m.c.d.(2, 10) = 2
Se comprueba que 2 divide a 6
a' = 6 - 10 /2 = -4
x0 = 6 (-4) / 2 = -12
x = -12 - 10t / 2 = -12 - 5t
Una solucin positiva es t = -3: x = -12 - 5 (-3) = -12 + 15 = 3
La solucin general es: x = 3 + 5k

Teorema Chino del Resto: (Ejemplo)

El sistema de congruencias aix bi md (mi), i = 1, 2, ..., k donde m.c.d.(mi, mj) = 1 si
ij y m.c.d.(ai, mi) = 1 para 1 i k, tiene una nica solucin x0 mdulo m1m2...mk y
las dems soluciones son de la forma x = x0 + m1m2...mk, Z.
Resolver un sistema de congruencias y presentar la ecuacin general
Se comprueba que los mdulos sean primos, es decir, que el mximo comn divisor
entre ellos sea uno. Si se cumple, la ecuacin tendr la forma:
ax bi md (mi)
donde las soluciones xi sern igual a bi. Se hace el producto de los mdulos y se divide
entre cada uno de ellos:
producto de mi = m, donde ti = m / mi
Tendremos un nuevo sistema de ecuaciones con la forma general:
tiyi 1 md (mi)

11

Matemtica Discreta:

Teora elemental de nmeros

Se averiguan las respectivas yi y se procede a averiguar el valor buscado:

n

x0 =

xi ti yi

i =1

La ecuacin general ser:

x = x0 + mk
Encontrar el menor nmero natural cuyos restos al dividirlos entre 3, 4, 5 y 6 sean 2, 3,
4 y 5 respectivamente:
1) Planteamos el sistema de congruencias
x2 md(3)
x3 md(4)
x4 md(5)
2) Verificamos que los mdulos sean primos entre s, y m.c.d(3, 4, 5)=1
[m.c.d.(mi,mj)=1]
3) Obtenemos soluciones individuales para cada congruencia x1=2, x2=3, x3=4.
4) Hallamos el m.c.m(3, 4, 5)= 60 [m.c.m(mi, mj)]
t1=(60/3)=20

20y11 md(3)

y1=2,
t2=(60/4)=15

15y21 md(4)

y2=3,
t3=(60/5)=12

12y31 md(5)

y3=3.
5) x0=x1t1y1+x2t2y2+x3t3y3=2*20*2+3*15*3+4*12*3=359
x0=m.c.m(a, b, c)*m+r, x0r md(m.c.m(a, b, c))
359=60*5+59
35959 md(60)
Ejemplos:
x 2 md (5)
2x 1 md (7)
3x 4 md (11)
m.c.d.(5, 7) = 1 || m.c.d.(7, 11) = 1 || m.c.d.(5, 11) = 1
x1 = 2 || x2 = 1 || x3 = 4 || m = 5 7 11 = 385
77y1 1 md (5)
55y2 1 md (7)
35y3 1 md (11)
-75y1 0 md (5) -49y2 0 md (7) -33y3 0 md (11)
======================================
2y1 1 md (5)
6y2 1 md (7)
2y3 1 md (11)
y1 = 3 || y2 = 6 || y3 = 6
El valor buscado es: x0 = 2 77 3 + 1 55 6 + 4 35 6 = 462 + 330 + 840 = 1632
La ecuacin general ser: x = 1632 + 385k
Funcin de Euler [
(m)]:
Es el nmero de enteros positivos menor que m y primo con m
(m ) = 1
0< r m
m . c . d ( r , m ) =1

12

Matemtica Discreta:

Teora elemental de nmeros

La funcin de Euler en general se

calcula de la siguiente forma:
(m): nmero de enteros menores que uno dado y primos con l.
Suponiendo que n = p1 e1 * p2 e2 *..* pk ek entonces
(n)=n*(1-1/p1)*(1-1/p2)*..*(1-1/pk)
1
Si p es un nmero primo, entonces ( p r ) = p r p r 1 = p r 1- .
p
Ejemplo:
169=132 (factorizado, es decir, p1 e1 siendo p1=13 y e1 el exponente e1=2).
Por tanto: (169)=132*(1-1/13)=132-132/13=132-13=169-13=156.
o (169)=132*131=132-13=156.
Otro ejemplo:
30=2*3*5
(30)= 30*(1-1/2)*(1-1/3)*(1-1/5)=(30-30/2)*(1-1/3)*(1-1/5)=15*(1-1/3)*(1-1/5)=
=(15-15/3)*(1-1/5)=10(1-1/5)=10-10/5=10-2=8.
Y como un numero se factoriza en producto de primos, se puede hacer mas fcilmente
con la propiedad: (n*m)= (n)*(m) siendo "n" distinto de "m", y primos, entonces
sabemos que si p es primo entonces (p)=p-1, as que en el caso de (30):
(30)= (2)* (3)* (5)=1*2*4=8
Ejemplos:
(1)=1, (2)=1, (3)=2 (1, 2), (5)=4 (1, 2, 3, 4),
(8)=(23)=23 22 =8-4= 4 (1, 3, 5, 7).
Teorema de Euler:
Si a, m Z y m.c.d(a, m)=1, entonces a(m)1 md(m)
Ejemplo:
Hallar el resto de la divisin de 77156 entre 169:
1) Aplicar el Teorema de Euler, como (169)=169-13=156 (nmero de enteros
positivos menores o iguales que 169 y primos con l).
(169=13.13,luego el nico divisor primo que admite es el
13, por tanto todos los nmeros del 1 al 169 son primos
con 169,exceptuando el 13.1,13.2,13.3,....,13.13,ya que
13.14 sera superior a 169.Tenemos pues que descontar de
169 esos 13 nmeros que nos salen, quedando (169)=169-13=156)
2) Segn el Teorema de Euler 771561 md(169), por lo que el resto es 1.
Pequeo Teorema de Fermat:
En particular si a, p Z y p es primo que no divide al nmero a, entonces ap-11
md(p)
Hallar el resto de dividir una potencia entre un nmero por el pequeo Teorema de
Fermat
Se trata de hallar x en la siguiente expresin:
an x md (p)
Se comprueba que p sea primo y que no divida a la base de la potencia. Si se cumple, se
13

Matemtica Discreta:

Teora elemental de nmeros

aplica el teorema: ap-1 1 md (p). Se desglosa el exponente de la potencia como una

divisin entre p - 1 y se toma el resto como r1. Quedara:
n = (p - 1) q + r1 || an = a(p-1) q a r1
Se halla el resto de la base sin exponente y se aplica en la siguiente frmula a r2:
a y md (p)

||

ap-1 yp-1 md (p) r2 md (p)

Por ltimo, sabiendo que x = r1 + r2, se aplica:

an x md (p)

x 11334291 md 7
11334291 x md (7)
Se comprueba que 7 es primo y no divide a 113
Como (p - 1) = 6:
34291 = 6 5715 + 1
34291
6* 5715
113
= 113
+ 1131
113 1 md (7) 113=7*16+1 || 1136 = 16 md (7) 1 md (7)
11334291 (1 + 1) md (7) 2 md (7)
x=2

Teorema de Wilson:
Si p es primo, entonces:
(p-1)! -1 md(p)
(p-2)!1 md(p)
Ejemplo: Resto de la divisin de 15! entre 17:
(17-2)! 1md(17).
Ejemplos:
Todo nmero primo mayor o igual que 5 es congruente con 1 o 5 modulo 6.
Si d|m y ab md(m), entonces ab md(d).
Si el ltimo dgito de un nmero n es t, entonces n2t2 md(10).
Si (n-1)!-1 md(n), entonces n es primo.
(p-2)!1 md(p), p es primo.
2(p-3)!+10 md(p), para p5 y p primo.
Si ab md(m), entonces a2b2 md(m), pero no siempre es verdadero su
recproco.
La diferencia de 2 cubos consecutivos no puede ser mltiplo de tres.
a5a md(10) para todo a.
Si n es un entero impar, entonces n21 md(8).
Si ab md(m1) y ab md(m2), entonces
ab md(m.c.m.(m1,m2)).
1.6. Sistemas de numeracin y criterios de divisibilidad
En la vida diaria el sistema de numeracin empleado para escribir nmeros naturales es
el decimal. Las unidades se agrupan de 10 en 10 para unidades de segundo orden, que se
llaman decenas. Estas, a su vez, se agrupan de 10 en 10 para formar unidades de tercer
orden o centenas y as sucesivamente.
Sea b 2 un nmero natural (llamado base).

14

Matemtica Discreta:

Teora elemental de nmeros

Todo nmero n N puede escribirse de manera nica en base b de la forma

n= akbk+ak-1bk-1+...+a1b+a0, para algn k 0, con 0 ai<b, i=0,1,...,k y ak 0,
Se puede escribir como n=(ak ak-1 ... a1 a0)b, si la base es >10 se utilizarn letras para los
nmeros mayores que 9 (10=A, 11=B, 12=C,...).
Para pasar un nmero de base distinta de 10 a base 10 se descompone este nmero
en su factores:
El nmero (ABB1)16=(10, 11, 11, 1)16=10*163+11*162+11*16+1=(43953)10.
Para pasar un nmero en base 10 a otra base distinta, se aplica el algoritmo de la
divisin al nmero en base 10:
43953=2747*16+1
(0)
2747=171*16+11
(1)
171=10*16+11
(2)
10=0*16+10
(3)
Por tanto: 43953=10*163+11*162+11*16+1=(10,11,11,1)16=(ABB1)16.

Para resolver una ecuacin del tipo (7210)8=(x)5, primero expresar (7210)8 en base
10 y luego pasar a base 5.
Para resolver una ecuacin del tipo 132x=3305, primero expresar 3305 en base 10, en
este caso es 90 y luego encontrar el x tal que 132x=90, es decir:
1*x2+3x+2=90, las races de esta ecuacin de segundo grado son 8 y 11, luego el
valor buscado es x=8.
Resolver una ecuacin mediante un cambio de base y efectuar la suma con otro
nmero de la misma base
Comprobar si la incgnita est en el nmero o en la base. Si est en el nmero, se
convierte el nmero contrario en decimal y se efecta la divisin entre la base que s se
conoce. Si est en la base, se convierte el nmero contrario en decimal y se desglosa el
nmero contrario en una ecuacin de grado igual al nmero de dgitos menos uno. Se
resuelve la ecuacin y se toma el valor positivo. En general, para sumar dos nmeros
de la misma base, primero se convierten a decimal, se suman y se vuelven a dividir por
la base anterior.

(124)5 =(x)9 (124)5 = 4 50 + 2 51 + 1 52 = 4 + 10 + 25 = (39)10

39 = 9 4 + 3 | 4 = 9 0 + 4 4 91 + 3 90 = (43)9 x = 43.
(132)x = (330)5 (330)5 = 0 50 + 3 51 + 3 52 = 0 + 15 + 75 = (90)10
(132)x = (90)10 x2 + 3x + 2 = 90 x = 8 , x = -11 (132)8 =(330)5
(124)5 + (330)5 (124)5 = (39)10 | (330)5 = (90)10 39 + 90 = (129)10
129 = 5 25 + 4 | 25 = 5 5 + 0 | 5 = 5 1 + 0 | 1 = 5 0 + 1
1 53 + 0 52 + 0 51 + 4 50 = (1004)5 (129)10 = (1004)5
Criterios de divisibilidad por k
Sean n N. Como n=at10t+at-110t-1+...+a110+a0, podemos escribir
t

n = ai10 , n es divisible por k si y solo si

i

i =0

ar

i i

i =0

0md (k ) .

Tenemos entonces: 100r0md(k), 101r1md(k),...,10trtmd(k).

n es divisible por 2 si y solo si el nmero a0 es par.
Un nmero natural es divisible por 3 si y solo si la suma de sus cifras es mltiplo de
t

3.

a 0md (3) .
i

i =0

15

Matemtica Discreta:

Teora elemental de nmeros

n es divisible por 4 si y solo si el nmero aia0 lo es.

n es divisible por 5 si y solo si a0 es 0 o 5.
n es divisible por 6 si adems lo es por 2 y por 3.

Criterio de divisibilidad por 7: Sean n = ai10 i , dividiendo 10i entre 7 obtenemos:

11md(7),
103md(7)
1022md(7)
1036md(7) -1md(7)
1044md(7) -3md(7)
1055md(7) -2md(7)
1061md(7)
todo t>6 podemos expresarlo como t=6m+r donde 0r<6 entonces
10 t=106m+r10 rmd(7), los restos se van repitiendo, es mltiplo de 7 si y solo si
a0+3 a1+2 a2-a3-3 a4-2 a5+a6+3 a7+2 a8-a9... es mltiplo de 7.
n es divisible por 9 si y solo si la suma de sus cifras ai es mltiplo de 9.
n es divisible por 10 si y solo si n0=0.

Un nmero n = ai10 i es divisible por 11 si y solo si a0-a1+a2-a3+...+(-1)at es

i =0

i =0

mltiplo de 11.
n es divisible por 13 si y solo si:
11md(13)
10 -3 md(13)
1029 md(13)
103 -1 md(13)
1043 md(13)
105 -9 md(13)
1061 md(13),
a partir de aqu se repiten los restos, por tanto n es divisible por 13 si:
a0-3 a1+9 a2-a3+3 a4-9 a5+a6-... es mltiplo de 13.
n es divisible por 14 si y solo si:
11 md(14)
104 md(14)
1022 md(14)
103 -8 md(14)
1044 md(14)
105 -2 md(14)
1068 md(14),
para 10i, i>6 se repiten los restos, por tanto si:
a0-4 a1+2 a2-8 a3+4 a4-2 a5+8 a6-4 a7+..., es divisible por 14.

16

Matemtica Discreta:

Teora elemental de nmeros

Ejemplo 1:
El nmero escrito en base 15: 9...21...9 (21 cifras iguales a 9), es mltiplo de 7, 2
5?:
1) Como el nmero es n=9.1520+9.1519+...+9.15+9, ser divisible por k si

i = 20

9.r

0md ( k ) , donde ri son los restos de 15t entre k para 0t20.

i =0

Para k=7 todos los restos son 1, o sea 15t1 md(7).

Para k=2, tambin es 1, o sea, 15t1 md(2)
Y para k=5 es 1501 md(5), y los dems son 15t0 md(5), para 1t20.
Por lo tanto para que el nmero n sea divisible por 7 tendr que ser
9.19*210 md(7).
Para que lo sea por 2 tendr que ser 9.19*210 md(2).
Y para que lo sea por 5, ser 9.r90 md(5), este ltimo no lo es, por lo que no
es divisible por 5.
6) Estudiamos los otros dos:
9*21 tampoco es divisible por 2, mientras que 9*21 si es divisible por 7.
2)
3)
4)
5)

Ejemplo 2:
Sea el nmero 5X6732Y1, que es mltiplo de 33 y adems, el nmero XY es mltiplo
de 7. Entonces, Cul es la cifra Y: 7, 1 4?
1) Como 33=3*11, para que el nmero sea divisible por 33 tendr que serlo por 3,
(vase pag.15) por tanto la suma de sus cifras tambin lo ser:
5+X+6+7+3+2+Y+10 md(3), por ser 24 mltiplo de 3, ser X+Y0 md(3)
2) De la otra condicin sabemos que XY0 md.(7), o lo que es lo mismo,
Y+3X0 md(7),
(vase pag. 16). XY=a1a0, segn regla de divisibilidad por 7, a0+3a10 md(7)
3) Por lo que hay que resolver el sistema de congruencias:
X+Y0 md(3)
3X+Y0 md(7)
a) Si Y=7 quedara X2 md(3) y 3X0 md(7), como X={0,1,2,3,4,5,6,7,8,9}, por
ser un nmero de una cifra, probando se llega a que no hay solucin.
b) Si Y=1 quedara X2 md(3) y 3X6 md(7), y probando se llega a que X=2 e
Y=1.
c) Para Y=4 quedara X2 md(3) y 3X3 md(7), que tampoco tiene solucin.
Por tanto la solucin es la b) Y=1.
Ejemplo 3:
Obtener criterio de divisibilidad de un nmero en base 9 [(n)9 ], por 8, y estudiar si
el nmero (53286)9 es divisible por 8.
1. Obtener criterio de divisibilidad: ai 9 i 0 md (8)
90 1 md (8)
91 1 md(8)
92 1 md(8)
93 1 md(8)
ai 0 md(8)
2. Para que (53286)9 sea divisible por 8: 5+3+2+8+6=24 0 md (8), 24 es divisible
por 8, luego el nmero (53286)9 es divisible por 8.

17