Divisibilidad.

Matemtica II. 2BD - Coleccin Mosaicos 2010 1

Nmeros en columnas
a) Se escriben los nmeros
en tres columnas:
Encuentra en qu colum-
na se ubican los nmeros:
24; 141; 814; 1721;
10001.
b) Se escriben los n-
meros en cinco colum-
nas:
Encuentra en qu co-
lumna se ubican los
nmeros: 45; 87; 110; 508; 1041.
c) El primer da del mes es lunes.
Cul es el 29 da del mes?
d) El primer da del ao es martes.
Cul es el 305 da del ao?
Con la planilla de clculo:
Nos proponemos descubrir algunas particularidades de los restos de la divisin entera.
En la planilla de clculo dispones de la funcin RESIDUO que te permite obtener el resto de la divisin
entera de un nmero entero n por b.
a) Ingresa en una hoja de clculo en la columna A, los nmeros de 1 a 30. Calcula en la columna B, los
restos de la divisin entera entre 3. Qu observas?
b) Ingresa en las celdas E2 y F2 dos nmeros naturales n y n, luego completa las celdas como lo indica la
figura.
c) Calcula en las celdas E3 a L3 los restos de los nmeros obtenidos en la segunda fila en la divisin entera
entre 3.
d) Modifica los nmeros que ingresaste. Qu observas? Puedes enunciar alguna propiedad acerca de los
restos de la divisin entera entre 3 de una suma, de un producto, ?
0 1 2
3 4 5
6 7 8

Cul es el resto?
a) Indica una regla que te permita determi-
nar el resto de una divisin entre 2, 3, 5 y 10
sin efectuar la divisin.
b) Determina los restos de dividir los nme-
ros 4871, 7221 y 10327 entre 2, 3, 5 y 10.
c) Encuentra dos nmeros mayores que
1200 cuyo resto de la divisin entre 9 sea 7.
d) Si restas los nmeros hallados anterior-
mente, el resultado es mltiplo de 9? Veri-
fica.
e) Encuentra dos nmeros cuya diferencia
sea mltiplo de 5. Cul es el resto de la di-
visin de ambos nmeros entre 5? Explica el
resultado.
0 1 2 3 4
5 6 7 8 9

Sintaxis: RESIDUO(nmero;nm_divisor)
nmero: es el nmero que desea dividir y cuyo residuo o resto se desea obtener.
nm_divisor es el nmero por el cual se desea dividir el nmero.
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 2
1. Mltiplos y divisores.
1. Mltiplos de un nmero.
Definicin: Un natural m es mltiplo de un natural b si existe un natural c tal que m = bc.
Ejemplo: los mltiplos de 3 son todos los nmeros de la forma 3 c, para cN.
Notacin: Para indicar que m es mltiplo de b se escribe: m = .
2. Divisores de un nmero.
Definicin: Un natural b, no nulo, divide a un natural a si existe un natural c tal que a = bc.
Notacin: Para indicar que b divide a a, o es divisor de a, se escribe: b | a.
Ejemplo: 3 divide a 54 porque 54 = 3 18. Antotamos: 3 | 54
3. Propiedades de los divisores.
En la tabla siguiente se enumeran algunas propiedades de los divisores de un nmero.

a) Para cada una de las 4 primeras propiedades, ilustra con un ejemplo e intenta dar una justificacin de ellas.
b) Observa la utilizacin de la propiedad 5. en el siguiente ejemplo:
Demuestra por recurrencia que 10
n
3
n
=

, para todo nmero natural n.
B.I. La propiedad es cierta para n = 0.
P.I. Si 10
n
3
n
=

, entonces 10
n+1
3
n+1
=

3(10
n
3
n
) + 710
n
= , puesto que es una
combinacin lineal de coeficientes enteros de dos mltiplos de 7: 10
n
3
n
y 7.
Conclusin: 10
n
3
n
=

, para todo nmero natural n.
c) Completa: Si a divide a b, entonces b = a, entonces bc = a y por lo tanto bc a ac.
Observaciones:
Todo natural es mltiplo de 1 Cero tiene un nico mltiplo: 0 Cero es mltiplo de todo natural b
1. Todo nmero natural no nulo es divisor de s
mismo. (propiedad Idntica)
2. Si b divide a a, y si a 0 entonces b a.
3. Si a divide a b y b divide a a entonces a = b.
(propiedad Antisimtrica)
4. Si a divide a b y b divide a c entonces a divide a c.
(propiedad Transitiva).
5. Si a divide a b y a c entonces a divide a:
b + c ; b c (si b > c);
y a cualquier combinacin lineal de b y c:
bx + cy con x y y naturales.
6. Si a divide a b, entonces ac divide a bc,
cualquiera que sea el natural c distinto de cero.
b

Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 3
Ejercicios
Mltiplos y Divisores
Completa las frases siguientes con las palabras ml-
tiplo y o divisor:
250 es un de 50, 21 es un de 2100,
0 es un de 15, 1 es un de 4, 37 es un de 37.
Cuntos son los mltiplos de 13 comprendidos en-
tre 1000 y 2000?
Completa las tablas siguientes:
Las dimensiones de un terreno rectngular en me-
tros son nmeros naturales.
1. Cules pueden ser sus dimensiones sabiendo que su
superficie es de 300 m
2
?
2. Determina sus dimensiones sabiendo que el ancho es
mltiplo de 3 y que el largo es impar.
Quin soy?
Soy un mltiplo de 11 comprendido entre 100 y 150 que
tiene el menor nmero de divisores.
Nmeros amigos
Como los amigos, los nmeros amigos van por pares:
cada uno es igual a la suma de los divisores estrictos del
otro (es decir diferentes de s mismo).
Verificar que 220 es amigo de 284.
Explica por qu 10! termina en 2 ceros.
En cuntos ceros termina 100!?
Calcula la suma de los mltiplos de 33 comprendi-
dos entre 500 y 5000.
Si ab= 6 y a y b son nmeros naturales, se puede
afirmar que a y b son divisores de 6. Los divisores de 6
son 1; 2; 3 y 6 y por lo tanto hay cuatro soluciones posi-
bles:
a = 1 y b = 6; a = 6 y b = 1; a = 2 y b = 3; a = 3 y b = 2.
a) Determina el conjunto de divisores de 77.
b) Determina los pares (x;y) de naturales tales que:
(x+5)(y3) = 77.
c) Determina los pares (x;y) de enteros tales que:
x > y (x+5)(y3) = 77.
Determina los pares (x;y) de enteros tales que:
xy =6. x
2
y
2
= 15 y
2
x + x
2
y = 12
4x
2
y
2
= 20 (2x3)(3y+1) = 2 (x2)(y+3) = 14
Cules son los posibles valores de n si se sabe que
n+15 es divisible entre n?
Demuestra que la suma de tres naturales consecuti-
vos en mltiplo de 3.
+ par impar par impar
par par
impar impar
1 .
2 .
3 .
4 .
5 .
6 .
7 .
8 .
9 .
10 .
11 .
12 .
Trabajo Personal:
Algoritmo de determinacin de los divisores de un nmero utilizando una hoja de clculo:
Utilizando una hoja de clculo, determina los divisores de 220; de 97 y de 323.
Sintaxis: SI(prueba_lgica;valor_si_verdadero;valor_si_falso).
Prueba_lgica es cualquier valor o expresin que pueda evaluarse como VERDADERO o FALSO.
En este caso, VERDADERO implica que el resto de dividir A3 entre lo que figura en las celdas de la fila 2 es 0.
Valor_si_verdadero es el valor que se devuelve si el argumento prueba_lgica es VERDADERO, en este caso el divisor de A3.
Valor_si_falso es el valor que se devuelve si el argumento prueba_lgica es FALSO, en este caso, no.
Si se quiere utilizar el valor de una celda concreta sin que se readapte, hay que indicarlo escribiendo $ antes de la letra de columna
y antes del nmero de fila.
=SI(RESIDUO($A$3;B2)=0;B2;"no)
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 4
2. La divisin entera o euclidiana.
1. La divisin entera en N.
Teorema
Sean a y b dos naturales, y b no nulo.
Entonces, existe un nico par (q; r) de naturales tales que: a = bq + r y 0 r < b.
Demostracin.
Como b es natural no nulo, los mltiplos de b forman una sucesin estrictamente creciente.
Escribamos los mltiplos de b de 0 hasta (a + 1)b,
.
Como (a + 1)b > a, a es necesariamente: uno de los mltiplos escritos,
o est entre dos mltiplos consecutivos, es decir que a est en un inter-
valo [qb; (q + 1)b[.
Y la distancia r de a a qb, que es igual a a qb es inferior a la longitud b del intervalo, entonces:
a = bq + r y 0 r < b.
La unicidad del par (q; r) resulta del hecho de que a pertenece a un nico intervalo del tipo: [qb; (q + 1)b[.
Definicin
Efectuar la divisin entera en N del natural a entre el natural b, b 0, es hallar el par
(q; r) de naturales tales que: a = bq + r y 0 r < b.
En la prctica se utiliza este esquema de divisin.
Vocabulario.
Se dice que el natural q es el cociente de esa divisin, r el resto, b el divisor y a el dividendo.
Ejemplos:
Decir que b divide a a, es equivalente a decir que en la divisin entera de a entre b el resto es nulo.
Una consecuencia prctica importante.
El resto es estrictamente inferior al divisor. En la divisin entera de a entre b, la condicin 0 r < b es indis-
pensable. As, por ejemplo, la igualdad:
58 = 172 + 24
no traduce la divisin entera de 58 entre 17 porque 24 > 17.
Si a = 114 y b = 8 Si a = 18 y b = 6 Si a = 35 y b = 53
como 114 = 814 + 2, 0 2 < 8. como 18 = 63 + 0, 0 0 < 6. como 35 = 530 + 35, 0 35 < 53.
se tiene que q = 14 y r = 2 se tiene que q = 3 y r = 0. se tiene que q = 0 y r = 35
0 b 2b qb (q + 1)b (a + 1)b
qb (q + 1)b a r
bq + r
a
b
r q
114 8
2 14
18 6
0 3
35 53
35 0
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 5
De acuerdo a esto, por ejemplo, se escribir a todo natural n de una de las formas:
6p, o 6p + 1, o 6p + 2, o 6p + 3, o 6p + 4 o 6p + 5 siendo p un natural.
Es decir, si se fija un natural b no nulo, y si se dividen todos los naturales entre b, los restos obtenidos solo
pueden tomar los valores 0, 1, 2, , b 1. As todo natural n puede escribirse en la forma:
n = bq + r con r = 0, o 1, o 2, , o b 1.
3. Divisores comunes a dos naturales. MCD.
El objetivo de este pargrafo es la bsqueda de los divisores comunes a dos naturales a y b.
1. Notaciones. Definicin.
1. Para todo natural a, anotaremos con D(a) al conjunto de los divisores de a.
Ejemplos: D(6) = {1; 2; 3; 6}. D(15) = {1; 3; 5; 15}. D(19) = {1; 19}.
Si a no es nulo, D(a) solo contiene nmeros naturales menores o iguales a a. El mayor elemento de D(a) es a.
Si a es nulo entonces D(a) = N*
2. Para todos los naturales a y b anotaremos con D(a; b) al conjunto de los divisores co-
munes a a y a b.
As, D(a; b) = D(a) D(b). Es claro que D(a; b) = D(b; a).
Ejemplos: D(6; 15) = D(6) D(15) = {1; 3}; D(15; 19) = D(15) D(19) = {1}.
Si a y b no son nulos simultneamente, D(a; b) es un conjunto no vaco, siempre tiene como elemento al na-
tural 1, y los nmeros que contiene son todos menores o iguales a a o b. Entonces D(a; b) posee un elemento
mximo.
Definicin: El mayor divisor comn de dos naturales a y b no nulos simultneamente se
llama Mximo Comn Divisor de a y b.
Se anota MCD(a; b).
Ejemplos: MCD(6; 15) = 3; MCD(15; 19) = 1.MCD(0; 25) = 25
2. Resultados inmediatos
1. Cualquiera que sea el natural c, no nulo, D(c; 0) = D(c).
En efecto, todo natural divide a 0, entonces los divisores comunes a 0 y c son los divisores de c y como c es
el mayor elemento de D(c) tambin lo ser de D(c; 0). El MCD(c; 0) = c.

2. Si b divide a a, entonces b es el MCD(a; b).
En efecto, en ese caso, todo divisor de b es un divisor de a; luego D(a; b) = D(b) y como b es el mayor
elemento de D(b) tambin lo ser de D(a; b).
Ejemplo: D(6; 12) = {1; 2; 3; 6} = D(6); 6 es el MCD(6; 12).
3. Si a = b 0, entonces D(a; b) = D(a) = D(b).
En este caso MCD(a; b) = a = b.
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 6
Ejercicios
Divisin entera.
1.Verifica que 197 719 = 341 578 + 621.
2. Deduce, sin efectuar la divisin y sin utilizar la calcu-
ladora, el cociente y el resto de la divisin de 197 719 en-
tre: a) 341 y b) 578.
Se dividen siete naturales consecutivos entre 7,
cules son los restos obtenidos?
Utilizando unicamente la tecla de tu calcula-
dora, completa la tabla:
Determina el conjunto de los nmeros naturales
comprendidos entre 400 y 500 cuyo resto es 5 en la divi-
sin entera entre 23.
En la divisin entera de dos nmeros naturales el di-
videndo es 75 y el resto es 13. Da todos los valores posi-
bles para el divisor y el cociente.
En la divisin entera de 527 por un natural b, el co-
ciente es 21. Da todos los valores posibles para el resto y
el divisor.
Determina los nmeros naturales que en la divisin
entera por 13 dan un cociente igual al doble del resto.
El dividendo de una divisin entera es menor que
5000. El cociente de esa divisin es 93 y el resto es 51.
Determina los valores posibles del dividendo y del divi-
sor.
n designa un nmero natural tal que n 2. Determina
en funcin de n, el resto de la divisin entera de 4n3 en-
tre 2n+1.
n designa un nmero natural tal que n 4. Determi-
na en funcin de n, el resto de la divisin entera de 5n+21
entre n+3.
Sea n un nmro natural y sean:
a = 9n + 4 y b = 2n 1.
a) Con la ayuda de una
calculadora o una pla-
nilla de clculo emite
una conjetura relativa
al MCD(a; b).
Intenta justificar tu
conjetura.
b) Idem para a = 35n + 57 y b = 45n + 76.
a b q r
346 21
346 16
804 16
2345 709
1 .
2 .
3 . a
b
c
--- -
4 .
5 .
6 .
7 .
8 .
9 .
10 .
11 .
Trabajo Personal:

Ejercicio 1.
1) Sean a = 168 y b = 204.
Encuentra D(a; b) y deduce el MCD(a; b).
2) Sea n un nmero natural y
a = n + 3 y b = 2n + 1.
a) Demuestra que si d divide a a y a b entonces,
d divide a 5.
b) Deduce los valores posibles del MCD(a; b).
Ejercicio 2.
a y b son dos nmeros naturales, con a > b.
1) Demuestra que D(a; b) = D(a; a b).
2) Aplicando varias veces ese resultado, deduce
un algoritmo que te permita encontrar el
MCD(264; 168).
Ejercicio 3.
1) Es posible que un nmero de resto 6 al divi-
dirlo entre 15 y resto 5 al dividirlo entre 24?
Intenta justificar tu respuesta.
2) Cules son todos los nmeros naturales com-
prendidos entre 800 y 1000 que tienen resto 6 en
la divisin entre 15 y resto 18 en la divisin entre
24?
3) Determina un natural n de 4 cifras tal que los
restos de las divisiones de 21685 y 33509 entre n
sean respectivamente 37 y 53.
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 7
4. Obtencin del MCD. Algoritmo de Euclides.
Resulta del pargrafo anterior que se conoce el MCD(a; b) cuando: a = b 0, cuando a = 0 o b = 0, cuando
b divide a a. En la obtencin del MCD(a; b) en general, se puede suponer que 0 < b < a y que b no divide a a.
1. Resultado preliminar. Lema de Euclides.
D(a; b) = D(b; r), siendo r el resto de la divisin entera entre a y b.
Si se parte de a = bq + r , se puede decir que a es una combina-
cin lineal de b y r y que por lo tanto, todo divisor comn a b y a
r lo es un divisor de a.
Si se parte de r = a bq, y con el mismo argumento se deduce todo
divisor comn a a y a b lo es un divisor de r.
En conclusin los divisores comunes a a y a b son los divisores co-
munes a b y a r, es decir: D(a; b) = D(b; r).
El resultado anterior es conocido con el nombre de Lema de Eucli-
des.
2. El algoritmo de Euclides.
Sean a y b dos nmeros naturales tales que 0 < b < a
El algoritmo siguiente, llamado algoritmo de Euclides permite en un nmero finito de etapas
calcular el MCD(a; b).
(1.) Calcular el resto r de la divisin entera de a entre b.
(2.) Si r = 0, entonces MCD(a; b) = b.
(3.) Si r 0, reemplazar a por b y b por r y recomenzar a partir de (1.).
La bsqueda de D(a; b) se reduce a la de D(b; r) y lo interesante es que (b; r) es un par estrictamente menor
que
(a; b), en el sentido que b < a y r < b. Ahora, si r no es nulo, b no divide a a, se puede dividir b entre r obtener
un resto r
1
, y reemplazar (b; r) por (r; r
1
) y entonces: D(a; b) = D(b; r) = D(r; r
1
). Y as sucesivamente hasta
obtener un resto nulo.
En el proceso anterior, se llega a un resto nulo, porque los restos sucesivos, son nmeros naturales r, r
1
, r
2
que decrecen estrictamente.
Se obtiene as una sucesin de igualdades:
D(a; b) = D(b; r) = D(r; r
1
) = D(r
1
; r
2
) = = D(r
n
; 0).
Ahora, D(r
n
; 0) = D(r
n
).
Entonces D(a; b) = D(r
n
) y como r
n
es el mximo elemento de D(r
n
), r
n
es el mximo elemento de D(a; b),
y por lo tanto el MCD(a; b).
Ejemplo: a = 5664, b = 984.
Se divide a = 5664 entre b = 984: 5664 = 984 5 + 744.
Se divide b = 984 entre r = 744: 984 = 744 1 + 240.
Se divide r = 744 entre r
1
= 240: 744 = 240 3 + 24.
Se divide r
1
= 240 entre r
2
= 24: 240 = 24 10 + 0.
El MCD de 5664 y 984 es 24.
99082
25 623
159
D(99082; 159) = D(159; 25)
a = 5664 b = 984 r = 744 r
1
= 240 r
2
= 24
q = 5 q
1
= 1 q
2
= 3 q
3
= 10
r = 744 r
1
= 240 r
2
= 24 r
3
= 0
Disposicin prctica: Para facilitar el clculo
del MCD de dos nmeros se utiliza el esque-
ma siguiente:
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 8
3. Consecuencias del algoritmo de Euclides.
Cuando b no divide a a, el MCD de a y b es el ltimo resto no nulo obtenido por el algoritmo.
El conjunto de los divisores comunes a dos naturales a y b, no nulos simultneamente, es el
conjunto de los divisores de su MCD que llamaremos d, dicho de otra manera D(a; b) = D(d).
En efecto, se ha visto que D(a; b) = D(r
n
) y r
n
es el MCD(a; b).
5. Propiedades del MCD.
Teorema
Cualesquiera que sean los naturales a, b y k no nulos se tiene:
MCD(ka; kb) = kMCD(a; b). (Propiedad multiplicativa)
Si k divide a a y a b entonces MCD = MCD(a; b).
Demostracin.
Sea d = MCD(a; b), entonces d divide a a y a b, y por lo tanto kd divide a ka y a kb, luego kd divide a
MCD(ka; kb).
Existe entonces un natural no nulo tal que kd = MCD(ka; kb). Esto implica que kd divide a ka y a kb, y
por lo tanto d divide a a y a b. Entonces d divide a d y debe ser d d y por consiguiente = 1.
Se llega as a que kd = MCD(ka; kb) como queramos demostrar.
Supongamos que k divide a a y a b entonces se puede escribir:
kMCD = MCD = MCD(a; b), luego MCD = MCD(a; b).
Nmeros primos entre s.
Los nmeros a y b cuyo MCD es igual a 1 juegan un rol muy interesante.
Definicin: Dos nmeros naturales a y b se dicen primos entre s cuando MCD(a; b) = 1.
O, lo que es lo mismo, cuando no tienen otros divisores comunes distintos de 1.
Ejemplo: 8 y 15 son primos entre s.
El siguiente corolario de la propiedad multiplicativa del MCD recibe el nombre de:
Propiedad caracterstica del MCD:
Sean a y b dos naturales no nulos simultneamente y d un nmero natural no nulo.
d = MCD(a ; b) si y solamente si a=da y b=db con a y b primos entre s.
Demostracin.
1. Supongamos que d = MCD(a; b), entonces MCD = entonces MCD = MCD(a; b) = 1 y
a=da y b=db.
2. Si a=da y b=db y MCD(a; b) = 1 entonces MCD = 1, aplicando la propiedad multiplicativa del
MCD se tiene que MCD = d1 luego MCD(a; b) = d.
a
k
---
b
k
--- ;


1
k
---
a
k
---
b
k
--- ;


a
k
--- k
b
k
--- k ;


a
k
---
b
k
--- ;


1
k
---
a
d
---
b
d
--- ;


d
d
---
a
d
---
b
d
--- ;


a
d
---
b
d
--- ;


d
a
d
--- d
b
d
--- ;


Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 9
Ejercicios
MCD y Algoritmo de Euclides
Determina los divisores comunes a los nmeros a y
b.
a = 1 386 y b = 1 170. a = 6292 y b = 5 852.
a = 1 326 y b = 1 482.
Si se divide 6381 y 3954 entre un mismo natural no
nulo n, se obtiene respectivamente 9 y 6 por restos.
Cul es ese nmero n?
Halla el mximo comn divisor de los nmeros
siguientes:
a) 1414 y 666; b) 44350 y 20785; c) 2378 y 1769;
d) 202 y 102.
a) Halla los naturales a tales que:
a < 336 y MCD(336; a) = 28.
b) Halla los naturales b tales que:
b < 225 y MCD(225; b) = 45.
1. a y b designan dos nmeros naturales tales que
MCD(a; b) = 7 y los cocientes sucesivos del algoritmo de
Euclides son respectivamente 3; 1; 1 y 3. Determina a y b.
2. Idem si MCD(a; b) = 58 y los cocientes sucesivos del
algoritmo de Euclides son 2; 6; y 4.
n designa un nmero natural no nulo.
1. Demuestra que los divisores comunes a n y a n+2 son
los divisores comunes a n y a 2.
2. Determina el MCD( n;n+2) segn la paridad de n.
n designa un nmero natural no nulo.
a = 7n
2
+ 4 y b = n
2
+ 1
1. Demuestra que todo divisor comn a a y b es un divisor
de 3.
2.a) Explica por qu si MCD(a; b) = 3, entonces existe un
natural k tal que n
2
+1 =3k.
b) Demuestra que eso es imposible, analizando todos los
casos.
3. Deduce el MCD(a; b).
Propiedades del MCD. Nmeros primos en-
tre s.
Mentalmente encuentra el MCD(a;b) en los
siguientes casos:
a = 250 y b = 170. a = 635 y b = 636.
a = 1326 y b = 2826.
Encuentra el valor de a sabiendo que:
MCD(a; 18) =1 y 20 < a < 30.
Encuentra el valor de b sabiendo que:
MCD(630; b) =105 y 600 < b < 1100.
Determina los pares (x; y) de naturales soluciones
del sistema.


Ejercicio resuelto:
Halla todos los pares de nmeros naturales (a; b) sa-
biendo que MCD(a; b) = 15 y ab = 1350.
Aplicando la propiedad caracterstica del MCD, se
tiene que ab = (da)(db) = d
2
ab.
Como ab = 1350 y d = 15, entonces, 1350 = 15
2
aby por lo tanto ab= 6.
As que debemos hallar a y b primos entre s, cuyo
producto sea 6.
Efectuamos la tabla:
En realidad encontramos cuatro
pares de valores para a y b, los
otros dos resultan de intercam-
biar los valores de a y b de la ta-
bla.
Los pares de nmeros naturales (a; b) son:
(15; 90), (30; 45), (90; 15) y (45; 30).
1 .
2 .
3 .
4 .
5 .
6 .
7 .
8 .
9 .
10 .
11 .
x y + 144 =
MCD x y ; ( ) 18 =

xy 7776 =
MCD x y ; ( ) 18 =

x y + 26 =
MCD x y ; ( ) 13 =

x
2
y
2
5440 =
MCD x y ; ( ) 8 =

a b
a b
1 6 15 90
2 3 30 45
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 10
6. Teorema de Euclides y sus consecuencias.
1. Teorema de Euclides.
Sean a, b y c tres naturales no nulos.
Si a divide al producto bc y a es primo con b, entonces a divide a c.
El teorema de Euclides puede enunciarse diciendo que si un natural divide a un producto de dos factores y es
primo con uno de ellos entonces divide al otro.
Demostracin.
En efecto, siendo a primo con b, se tiene MCD(a; b) = 1, entonces MCD(ac; bc) = c.
Ahora a divide a ac y por hiptesis tambin a bc entonces a divide al MCD(ac; bc) que es justamente c.
Corolario
Si un natural n es divisible por dos naturales a y b primos entre s, entonces es divisible por
su producto.
Demostracin
Por hiptesis se puede escribir n = ap y n = bq con p y q naturales. Entonces ap = bq por lo tanto b divide a
ap y es primo con a, debe dividir a p. Se tiene as que p = bp, con p natural, entonces n = abp y se concluye
el teorema.
Este resultado se extiende fcilmente por recurrencia al caso de varios factores: si n es divisible por varios
nmeros primos entre si dos a dos, entonces es divisible por su producto.
2. Aplicaciones:
Si un nmero es divisible entre 3 y 8, es divisible entre 24 ya que MCD(3;8) =1.
Entonces para mostrar que un nmero es divisible entre 24, es suficiente probar que es divisible entre 3 y 8.
Si un nmero es divisible entre 3, 5 y 8, entonces es divisible entre 358 = 120, porque 3, 5 y 8 son primos
entre si dos a dos.
Entonces para mostrar que un nmero es divisible entre 120, es suficiente probar que es divisible entre 3, 5
y 8.
Resulta de la propiedad multiplicativa del MCD y del teorema de Euclides que si a y b son primos entre si,
entonces a
n
y b
p
tambin lo son (nN y pN).
3. Fracciones irreducibles.
Consideremos fracciones de numerador a y denominador b naturales y b no nulo,
Definicin: Se dice que la fraccin es irreducible si a y b son primos entre si.
Teorema
Toda fraccin es igual a una fraccin irreducible.
Demostracin:
Consideremos una fraccin cualquiera, y sea d el MCD de a y b, y sean y .
Entonces a y b son primos entre s y .
Ejemplo y es irreducible ya que MCD(60;14) = 2.
a
b
---
a
b
----
a
b
--- a'
a
d
--- = b'
b
d
--- =
a
b
---
a'
b'
---- =
60
14
------
30
7
------ =
30
7
------
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 11
Ejercicios
Teorema de Euclides.
Cul es el menor nmero natural que dividido por
21 o por 33 da resto 5?
Utilizando el teorema de Euclides, determina dos
nmeros naturales a y b primos entre s, tales que:
33a 45b = 0.
Utilizando el teorema de Euclides, determina dos
nmeros naturales a y b cuyo MCD es 15, tales que:
135a 180b = 0.
Demuestra que n(n+1)(n+2) es divisible entre 6.
Demuestra que n(n+1)(n+2)(n+3) es divisible entre
24.
Demuestra que n(n+1)(n+2)(n+3)(n+4) es divisible
entre 120.
Fracciones irreductibles.
Simplifica las fracciones:
Simplifica las fracciones:
Efecta las operaciones siguientes:

Determina una fraccin igual a de denominador
36.
Determina dos nmeros naturales a y b tales que la
fraccin sea irreductible y adems .
Indica cules de las siguientes fracciones son irre-
ductibles:
n designa un nmero natural.
Demuestra que la fraccin es irreducible.
n designa un nmero natural mayor o igual a 7.

a) Determina los nmeros enteros y , independientes
de n tales que para todo n 7, .
b) Para qu valores de n, A es entero?
c) Cules son los valores de n tales que A no es una
fraccin irreducible?
1 .
2 .
3 .
4 .
5 .
6 .
7 .
1540
330
------------
252
156
---------
1350
1500
------------
8 .
3675
2450
------------
2448
3528
------------
2652
1196
----------- -
9 .
7
15
------
4
5
---
3
16
------ +
5
21
------
4
27
------
3
14
------ +
26
165
-------- -
35
66
------
10 .
44
99
------
11 .
a
b
---
a 21 +
b 15 +
-----------------
a
b
--- =
12 .
n
n 1 +
------------
n
2n 1 +
---------------
n!
n 1 + ( )!
-------------------
2n 1 +
n 1 +
---------------
n 2n 1 + ( )
n 1 +
-----------------------
13 .
11n 3 +
7n 2 +
------------------
14 .
A
n 7 +
n 6
------------ =
A

n 6
----------- - + =
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 12
7. Mnimo comn mltiplo de dos naturales.
1. Definicin y notacin.
Dos naturales a y b no nulos admiten un mltiplo comn, tambin no nulo, que es su producto ab. Entonces
el conjunto de los mltiplos comunes no nulos no es vaco, y entre ellos hay uno que es el mnimo.
Definicin: El menor mltiplo comn, distinto de 0, de dos naturales a y b (no nulos)
se llama mnimo comn mltiplo de a y b.
Se anota mcm(a; b).
2. Propiedades del mcm.
Relacin entre el MCD y el mcm:
Si a y b son dos naturales no nulos, d = MCD(a; b) y m =mcm(a; b) entonces,
o md = ab.
Demostracin:
Ante todo probemos que es un natural y ese natural es un mltiplo comn a a y b.
Sean y ( a y b primos entre si). Entonces , lo que prueba que es un natural.
Pero ad = a entonces , y bd = b entonces , lo que prueba que ese natural es un mltiplo
comn a a y b.
Probemos que todo mltiplo M de a y b, no nulo, se escribe , con k1.
Se puede escribir M = ap y M = bq con p y q naturales no nulos. Entonces ap = bq, lo que conduce luego de
simplificar a: ap = bq. Entonces b divide a ap y es primo con a, luego, teorema de Euclides mediante, se
tiene que b divide a p, y por lo tanto se puede escribir p = bk con k natural no nulo.
Entonces, M = bka, pero de donde M = .
Resulta as que todos los mltiplos de a y b son de la forma .
El mnimo de stos no nulo se obtiene para k = 1, es decir m = o md = ab, como queramos demostrar.
Corolario importante:
Todo mltiplo comn a a y b es un mltiplo de m.
Si todo mltiplo M de a y b, no nulo, se escribe , con k1 y m = entonces, M es mltiplo de m.
Propiedad multiplicativa del mcm.
Si m es el mcm de a y b dos naturales no nulos, entonces para todo natural k, k > 0,
mcm(ak; bk) = km.
Demostracin.
Sabemos que mcm(ak ; bk)MCD(ak ; bk) = k
2
ab, de donde:
mcm(ak ; bk)MCD(ak ; bk) = k
2
mcm(a; b)MCD(a; b).
Como MCD(ak; bk) = kMCD(a; b), simplificando: mcm(ak; bk) = kmcm(a; b) = km.
m
ab
d
------ =
ab
d
------
a'
a
d
--- = b'
b
d
--- = a' b' d
ab
d
------ =
ab
d
------
ab
d
------ ab' =
ab
d
------ ba' =
k
ab
d
------
b'
b
d
--- = k
ab
d
------
k
ab
d
------
ab
d
------
k
ab
d
------
ab
d
------
Divisibilidad.
Matemtica II. 2BD - Coleccin Mosaicos 2010 13
Ejercicios
Mnimo comn mltiplo.
En cada caso, calcula el mcm de a y b.
a) a = 26, b = 12; b) a = 18, b = 15;
c) a = 12, b = 13; b) a = 26, b = 32.
Se dispone de rectngulos de dimensiones 16 cm
por 14 cm.
Cul es el rea del menor cuadrado que se pueden for-
mar con esos rectngulos?
n es el menor natural tal que los restos de las divi-
siones euclidianas de n entre 18 y de n entre 24 son
ambos iguales a 5. Cul es ese natural n?
Determinar el MCD y el mcm.
a = 256 y b = 5040.
a) Descompone a y b en producto de factores primos,
luego determina: MCD(a; b) y mcm(a; b).
b) Determina el MCD(a; b) con el algoritmo de Eucli-
des. Deduce el mcm(a; b).
Halla el MCD(a; b) y el mcm(a; b) de:
a = 460 845 y b = 372645.
a y b son dos nmeros naturales no nulos.
Halla en cada caso los pares (a; b).
a) MCD(a; b) = 7, mcm(a; b) = 84.
b) MCD(a; b) = 14, mcm(a; b) = 420.
c) MCD(a; b) = 18, mcm(a; b) = 90.
x y y son dos nmeros naturales no nulos.
Resuelve los siguientes sistemas de ecuaciones:
a) ; b) ;
c) d) .
n designa un natural no nulo.
a) Determina el MCD(n; n + 1).
b) Deduce el mcm(n; n + 1).
c) Determina dos naturales consecutivos cuyo mcm sea
9120.
Se consideran los polinomios definidos sobre R
por:
A(x) = 10x
3
+ 60x
2
+ 110x + 60 y
B(x) = 6x
2
+ 18x + 12.
1. a) Calcula A(1), A(2).
b) Determina los reales a y b tales que, para todo real
x:
A(x) = (x + 1)(x + 2)(ax + b).
c) Factoriza B(x).
2. Se supone que n es un nmero natural.
a) Explica por qu MCD(5n + 15; 3) es igual a 1 o 3.
b) Demuestra que MCD(5n + 15; 3) = 3 si, y solamente
si, n es divisible entre 3.
c) Determina el MCD y el mcm de los naturales A(n) y
B(n) segn que n sea mltiplo o no de 3.
Ejercicio resuelto:
Encuentra dos nmeros naturales a y b tales
que la diferencia entre su MCD y su mcm sea 187.
Si d = MCD(a; b) y m = mcm(a; b) tenemos que:
m d = 187.
Sabiendo que md = ab y que a= ad, b=bd con a
y b primos entre s, se obtiene m = dab de donde
d(ab1) = 187.
De este modo, d es un divisor de 187, es decir 1;
11; 17 o 187. Tomando d = 11, de ab1 = 17 se
tiene que ab = 18, con a y b primos entre s.
Entre otras respuestas posibles puede ser a = 2 y
b = 9 y por lo tanto a = 22 y b = 99.
1 .
2 .
3 .
4 .
5 .
6 .
7 .
mcm x y ; ( ) 60 =
xy 180 x y ; =

mcm x y ; ( ) 18 =
x y + 15 x y ; =

mcm x y ; ( ) 12MCD x y ; ( ) =
x y + 105 x y ; =

MCD x y ; ( ) x y =
mcm x y ; ( ) 72 =

8 .
9 .
10 .
Trabajo Personal:
Ejercicio 1:
1) Con la ayuda del algoritmo de Euclides, halla el
MCD(168; 324).
2) Deduce el mcm(168; 324).
3) Descomponiendo 168 y 324 en factores primos,
verifica que:
el MCD es el producto de los factores primos
comunes a 168 y 324, cada uno afectado de su
menor exponente.
el mcm es el producto de los factores primos
comunes y no comunes a 168 y 324, cada uno afec-
tado de su mayor exponente.
Ejercicio 2:
Sean a y b dos nmeros naturales con a < b.
Si d = MCD(a; b) y m = mcm(a; b), determina los
pares (a; b) tales que: 2m + 3d = 78.