GUSTAVO A.

DUFFOUR
74






[] El desarrollo tecnolgico ha actuado en cada momento histrico como freno o impulsor de
las expectativas cientficas. En las ltimas dcadas, ese desarrollo ha influido enormemente en
la expansin y profundizacin del estudio de problemas y teoras de antiguo origen, dando
lugar a nuevas ciencias, enfoques y metodologas.

[] Un ejemplo de ello lo proporciona la disciplina de computacin, que se ha extendido y
profundizado en diferentes direcciones y bajo diferentes nombres: ciencia de la computacin,
ingeniera en computacin, informtica, etc., cuya base comn es, como siempre lo ha sido, el
hecho de que se trata de una actividad matemtica que ha tomado tambin forma y nombre
como la rama llamada Matemtica Discreta. Como su nombre lo indica, en matemtica discreta
se trabaja con conjuntos discretos, a diferencia de la matemtica continua, que trabaja
conjuntos continuos, como los nmeros reales.

[] El computador digital moderno es bsicamente un sistema discreto y muchas de sus
propiedades pueden ser entendidas y descritas modelndolas en un sistema matemtico
discreto.

[] La matemtica discreta debe su intenso
desarrollo de los ltimos aos a la comunidad
cientfica relacionada con las ciencias de la
computacin y en lo que se refiere a la educacin,
los estudios terciarios en dicha ciencia han
incorporado cursos de matemtica discreta con
alta prioridad. Sin embargo, fuera del rea de las
ciencias de la computacin, la matemtica
discreta es prcticamente inexistente y esta
situacin es la que creemos que debe corregirse,
ya que consideramos que los estudios en
matemtica discreta son importantes para la
formacin de cualquier estudiante, aun de
aquellos que no continen estudios terciarios.

[] hemos constatado a travs de tests realizados a estudiantes del curso de Matemtica
Discreta del primer ao de la carrera de Ingeniera en Computacin, que los estudiantes
desconocen los conjuntos y sus propiedades (todo se reduce al conjunto de los reales) y
aplican incorrectamente los mtodos de prueba ms elementales por falta de una slida base en
lgica.

[] este trabajo presenta una propuesta para comenzar a actualizar la enseanza de matemtica
al nivel de enseanza media. En pocas palabras, consiste en tomar de los programas actuales
los temas de matemtica discreta, como ser teora de conjuntos, relaciones, funciones,
combinatoria, induccin completa, divisibilidad, e introducirlos con un enfoque alternativo que
rescate la naturaleza discreta de los mismos, al mismo tiempo permita dedicarles mayor tiempo
y profundidad, relacionndolos entre ellos.

[] queremos resaltar, una vez ms, que aunque la actualizacin de la educacin matemtica en
el sentido que proponemos redundar en un beneficio para todos los estudiantes, es innegable
que la formacin de los estudiantes que seguirn estudios terciarios en ciencias de la
computacin se ver enormemente favorecida.


Extrado de: Sylvia da Rosa, La matemtica discreta como formacin bsica.
Montevideo, Instituto de Computacin, Facultad de Ingeniera.

MATEMTICA DE QUINTO
75



5

DIVISIBILIDAD
NUMRICA



1 INTRODUCCIN

En este captulo se usarn solo los nmeros naturales 0, 1, 2, 3, ... de modo que la
resta de dos naturales diferentes no puede ser menor que uno (si ae be a b > 1 con
a > b), que es la menor cantidad que hay entre un natural y otro.

2 DEFINICIN DE DIVISIN ENTERA

Sean dos nmeros naturales a (dividendo) y b (divisor) tales que b 0 y a b.
Dividir a entre b consiste en encontrar dos nmeros naturales q (cociente) y r
(resto) que cumplan simultneamente dos condiciones:


a = bq + r y r < b


Ntese que q y r existen (vase punto 3) y son nicos (vase punto 4)

Esta divisin entera suele indicarse con el
siguiente esquema utilizado al practicar la
operacin:

a b
r q

Si el resto r es nulo (r = 0), resulta que a es mltiplo de b

(a= b) . Tambin se dice

que a es divisible entre b. Ello se expresa mediante el smbolo b/a.

Por lo tanto, b/a (b divide a a) si y solo si existe un natural q tal que a = bq.

a b
0 q
a = bq
( )
( )
a b es mltiplo de
b/ a divide a

a b
b a


A este caso particular de divisin entera se le llama divisin exacta.
El punto encima
de la letra b
significa mltiplo
de b.
GUSTAVO A. DUFFOUR
76
En lenjuages informticos
es comn el uso de las
funciones DIV y MOD.

En la siguiente divisin
entera, con a b.





q = a DIV b

r = a MOD b

La funcin DIV da el
cociente de una divisin
entera, y la funcin MOD da
el resto de la divisin entera.
a b
r q


NOTA

Se puede utilizar una notacin de conjuntos para hacer
referencia a los nmeros que dividen exactamente a otros.
A todos los nmeros que dividen exactamente a a, se los
denomina divisores de a y se anotan:

d(a) ? conjunto de divisores de a

EJEMPLO:
d(6) = {1, 2, 3, 6}


Caso particular: d(0) = * * = {0}







3 EXISTENCIA DEL
COCIENTE Y EL RESTO

Para determinar el cociente q y el resto
r en una divisin entera, se forma la sucesin
creciente de naturales de trmino general (i b)
con i = 1, 2, 3, ... cuyos valores sean menores
que a.

b < 2b < 3b < 4b < ... < (q 1)b < qb < a

Como el conjunto de estos naturales de la
forma (i b) es acotado, pues cualquier trmino
de la sucesin es menor que a, entonces es
finito y tiene un ltimo trmino, al que se llamar
b q.
La diferencia r = a bq debe ser menor
que b (r < b), pues si fuese r > b existira un
trmino (q + 1)b < a, lo que contradice la
suposicin de que qb es el ltimo trmino de la
sucesin.



Entonces se cumple que: a = bq + r

con r < b


MATEMTICA DE QUINTO
77

4 UNICIDAD DE LA DIVISIN ENTERA


El cociente y el resto de una divisin entera son nicos.



Hi pt esi s: a = bq + r con r < b a > b Tesi s: q = q' r = r'
a = bq' + r' con r' < b b $ 0


La demostracin se hace por el absurdo, suponiendo que existen dos cocientes q y
q' y dos restos r y r'.


Primer paso: si q > q'


Por hiptesis, se cumple:
a = a bq + r = bq' + r' bq bq' + r = r' b(q q') + r = r'

Dado que se supone q > q' resulta que la diferencia entre estos dos valores es
mayor o igual a uno: (q q') > 1
Multiplicando por b ambos miembros de esta desigualdad se obtiene que:
b(q q') > b. Si se suma r al primer miembro, resulta que: b(q q') + r > b (recurdese
que b > 0 por ser un natural no nulo).
Como por hiptesis b(q q') + r = r' se tendra que r' > b, lo que contradice la
hiptesis de que r' < b. Por lo tanto, lo errneo es suponer que q es mayor que q'.




Segundo paso: si q < q'

Por hiptesis, se cumple:
a = a bq + r = bq' + r' r = bq' bq + r' r = b(q' q) + r'

Dado que se supone que q < q' resulta que la diferencia entre estos dos valores es
mayor o igual a uno: (q' q) > 1
Si se multiplica por b ambos miembros de esta desigualdad, se obtiene que:
b(q' q) > b. Si se suma r' al primer miembro, resulta que: b(q' q) + r' > b.
Como por hiptesis b(q' q) + r' = r se tendra que r > b, lo que contradice la
hiptesis de que r < b. Por lo cual es errneo suponer que q es menor que q'.

Si q no es ni mayor ni menor que q', debe cumplirse que: q = q' Y al cumplirse
esta igualdad, se obtiene al hacer la siguiente resta que:

a = bq + r
a = bq + r'

0 = r r' r = r' Esto prueba que el cociente y el resto
de una divisin entera son nicos.

GUSTAVO A. DUFFOUR
78

EJEMPLO: Hallar los posibles valores de a, b y c que cumplan:


12
a b
c

7 15 + a
b c




NOTA

Un dato muy importante para los problemas en que se
plantean divisiones enteras, es que r < b. De ello
generalmente se puede deducir el valor de una de las
incgnitas.




Si cada divisin propuesta se expresa como una ecuacin, se obtienen dos
ecuaciones con tres incgnitas, las cuales no se pueden resolver completamente por alguno
de los mtodos conocidos.

Por lo tanto, una de las incgnitas se debe deducir a partir de conceptos de
divisibilidad. Luego s se podr resolver el sistema de dos ecuaciones con dos incgnitas
que se ha planteado.



De la primera divisin: a = bc + 12 se cumple que: 12 < b 12 < b < 15
De la segunda divisin: a + 7 = 15c + b se cumple que: b < 15 b = 13 o b = 14



Se sustituye b por 13 y se resuelve el sistema
a 13c 12
a 15c 6
= +
= +
Solucin: a = 51 b = 13 c = 3




Se sustituye b por 14 y se resuelve el sistema
a 14c 12
a 15c 7
= +
= +
Solucin: a = 82 b = 14 c = 5



Antes de continuar, es conveniente hacer
los ejercicios 57 al 62, de la pgina 97.



MATEMTICA DE QUINTO
79
5 PROPIEDADES DE LA DIVISIN ENTERA



TEOREMA 1

Si un nmero distinto de cero divide a otros dos, tambin divide
a su suma y a su resta.



Hi pt esi s: b/a b/c b $ 0 Tesi s: b/ a + c


Si b/a significa que existe un cociente q tal que:
a b
0 q
a = bq
Si b/c significa que existe un cociente q' tal que:
c b
0 q'
c = bq
a + c = b(q + q)

Sumando o restando miembro a miembro se obtiene a + c = b(q + q). Lo cual
significa b/(a + c), dado que existe un cociente (q + q') tal que se cumple la anterior
ecuacin, que se interpreta como la divisin:
a c b
0 q q'

TEOREMA 2

Si un nmero distinto de cero divide a otro, entonces divide a
sus mltiplos.



Hi pt esi s: b/a b $ 0 Tesi s: b/ah h


Si b/a significa que existe un cociente q tal que:
a b
0 q
a = bq


Multiplicando ambos miembros de esta ltima igualdad por h, resulta ah = bqh. Se
asocian los factores: ah = b(qh) lo que significa que b/ah, pues existe un cociente (qh)
que cumple la ecuacin anterior, que se interpreta como:
ah b
0 qh




GUSTAVO A. DUFFOUR
80
6 TEOREMAS PREVIOS AL ALGORITMO DE EUCLIDES

En los siguientes dos teoremas se hace referencia a un nmero que divide a otros
dos. A travs de la notacin de conjuntos se hace ms evidente que se refiere a todos los
divisores comunes a dos nmeros.


NOTA

Si c/a y c/b, se est haciendo referencia al conjunto de
divisores comunes a a y b c e d(a) d(b)




TEOREMA 3

En una divisin entera, los divisores comunes al divisor y al
resto son tambin divisores del dividendo.

Este teorema se puede enunciar como: d(b) d(r) C d(a)

Hi pt esi s: En la divisin
a b
r q
si c/b c/r, con r < b b $ 0 c $ 0
Tesi s: c/a

Por hiptesis: c/b. Por teorema 2: c/bq
c/bq + r por teorema 1
Por hiptesis: c/r

Pero como a = bq + r, entonces: c/a, que es la tesis.



TEOREMA 4

En una divisin entera, los divisores comunes al dividendo y al
divisor son tambin divisores del resto.

Este teorema se puede enunciar como: d(a) d(b) C d(r)


Hi ptesi s: En
a b
r q
si c/a y c/b, con r < b b $ 0 c $ 0
Tesi s: c/r

Por hiptesis: c/b. Por teorema 2: c/bq
c/(a bq) por teorema 1
Por hiptesis: c/a

Pero r = a bq, entonces: c/r, que es la tesis.
MATEMTICA DE QUINTO
81
1 2 4 8 16 32
3 6 12 24 48 96
9 18 36 72 144 288
7 14 28 56 112 224
21 42 84 168 336 672
63 126 252 504 1008 2016
7 OBTENCIN DE TODOS LOS DIVISORES DE UN NMERO


El problema de hallar los divisores comunes a varios nmeros se reduce al de obtener
todos los divisores de un solo nmero. Este problema se resuelve fcilmente, si se conoce la
descomposicin factorial del nmero en factores primos.
Sea el nmero 2016 cuya descomposicin factorial es: 2
5
3
2
7
2016 2
1088 2
504 2
252 2
126 2
63 3
21 3
7 7
1

Divisores de 2016
Para obtener todos los divisores de
2016 se procede del siguiente modo:

Se escribe en la primera fila la unidad
y las potencias sucesivas de 2 (primer
factor en la descomposicin factorial)
hasta el nmero 2
5
.

En la primera columna los dems
factores primos y sus productos.

Luego se efectan todas las multiplicaciones entre los nmeros de la primera columna
y de la primera fila. Se obtiene un cuadro con todos los divisores buscados.


8 MXIMO COMN DIVISOR

8.1. INTRODUCCIN

Dado un nmero natural N $ 0, frmese el conjunto de los divisores de N. Este
conjunto d(N) es no vaco, pues por lo menos incluye al 1 y al nmero N.

Sean ahora dos nmeros naturales a y b no simultneamente nulos. Se consideran
los conjuntos de sus divisores: d(a) y d(b). Ambos son no vacos: d(a) $ y d(b) .,
pues por lo menos estn el 1 y el propio nmero. El conjunto: d(a) d(b) $ , pues por lo
menos el 1 pertenece a este conjunto.

Sea x e d(a) d(b), entonces x e d(a) pero x < a, pues a es cota superior del
conjunto de sus divisores. Tambin xed(b) pero x < b, pues b es cota superior del
conjunto de sus divisores.

Entonces, el conjunto d(a) d(b) es no vaco y acotado superiormente; por lo tanto
tiene mximo, al cual se lo denomina mximo comn divisor.


MCD(a, b) = Mximo{d(a) d(b)}


GUSTAVO A. DUFFOUR
82


EUCLIDES

Muy poco se sabe con certeza de su vida. Probablemente vivi en
Alejandra (Egipto) en el ao 300 a.C. Pero, sin duda, la gran reputacin de
Euclides se debe a su famosa obra Los elementos geomtricos, conocida
simplemente por Los elementos. Tal es la importancia de esta obra de trece
libros, que se ha usado como texto de estudio durante dos mil aos, sin
que se le hicieran correcciones de importancia.

QUIN ERA EUCLIDES?

La informacin aportada por diferentes historiadores no se acerca a la
realidad de la poca. Slo se pueden plantear tres hiptesis acerca de su
identidad.

1) Euclides fue un gran matemtico, que escribi
Los elementos, entre otros trabajos.

2) Euclides fue el principal miembro de un grupo
de matemticos que trabajaron en Alejandra.
Todos ellos contribuyeron a escribir Las obras
completas de Euclides e incluso continuaron
hacindolo con su nombre, despus de muerto.

3) Euclides no fue un gran matemtico. Las obras
completas de Euclides fueron escritas por un
grupo de matemticos de Alejandra, que tomaron
el nombre de Euclides de un personaje histrico
que vivi unos cien aos antes.







8.2. ALGORITMO DE EUCLIDES



Sean dos nmeros a y b, a > b b $ 0, cuyos divisores comunes se quiere encontrar.
Para ello se efecta la divisin:

1 1
a b
r q
a = bq
1
+ r
1
con r
1
< b


Por el teorema 4, los divisores comunes de a y de b, sern tambin divisores de r
1
.
Por lo cual, se siguen realizando divisiones sucesivas utilizando el resto como nuevo divisor,
hasta obtener un resto cero.

MATEMTICA DE QUINTO
83




1
2 2
b r
r q
b = r
1
q
2
+ r
2
con r
2
< r
1




1 2
3
3
r r
q
r
r
1
= r
2
q
3
+ r
3
con r
3
< r
2








n 1 n
n 1
r r
q
0

+
r
n 1
= r
n
q
n + 1
+ 0

Por la aplicacin reiterada del teorema 4 en cada divisin, partiendo de la primera
divisin hasta la ltima, se llega a que todos los divisores comunes de a y de b son
tambin divisores de r
n
(el ltimo resto no nulo de las divisiones sucesivas).

Por la aplicacin reiterada del teorema 3 en cada divisin, partiendo de la ltima
divisin hasta la primera, se llega a que todos los divisores del ltimo resto no nulo r
n
, de
las divisiones sucesivas, son divisores de a y de b.


De esta manera se obtienen las conclusiones del algoritmo de Euclides:



Los divisores comunes a los nmeros a y b son los
divisores del ltimo resto no nulo de las sucesivas
divisiones entre a y b, y los restos.



El anterior algoritmo de Euclides, o de las divisiones sucesivas, suele aplicarse en
forma esquemtica escribiendo los cocientes sucesivos sobre los respectivos divisores, para
dar lugar a los restos, es decir:

1 2 3 n n+1
1 2 n-2 n-1
1 2 3 n
q q q . . . q q
a b r r . . . r r
r r r . . . r
n
r
0
MCD(a, b) = r
n

GUSTAVO A. DUFFOUR
84
De este modo, se reduce el problema de hallar los divisores comunes a dos nmeros
a y b, al de buscar los divisores de un nmero: r
n
.
Este nmero cumple las siguientes condiciones:

1) todo divisor de a y de b es divisor de r
n
(por teorema 4).
2) todo divisor de r
n
es divisor de a y de b (por teorema 3).
Resulta as el mayor divisor comn entre a y b, al cual se denomina mximo comn
divisor y se lo anota:



MCD(a, b) D(a, b) D























9 NMEROS PRIMOS

9.1. DEFINICIN DE NMERO PRIMO

Un nmero natural (distinto de 0 y de 1) es primo si solamente es divisible entre 1
y entre s mismo.
si a $ 0 a $ 1 a es primo % d(a) = {1, a}




9.2. NMEROS PRIMOS ENTRE EL 1 Y EL 100

2 3 5 7 11 13 17 19 23 29 31 37 41
43 47 53 59 61 67 71 73 79 83 89 97





Responder verdadero o falso,
y justificar la respuesta.
Un nio juega con soldaditos de plomo. Intenta colocarlos en filas del mismo
largo. Cuando intenta con filas de 4 soldaditos, la ltima tiene uno de menos.
Lo mismo le sucede con filas de 5 y de 6 soldaditos. Finalmente, con filas de
7 soldaditos consigue tener todas las filas iguales. Entonces, el nio tiene
ms de 100 soldaditos.
Vase el resultado en la pgina 473.
MATEMTICA DE QUINTO
85



Dado que todos los naturales no
nulos aceptan a 1 y a s mismos
como divisores, es posible decir que
un nmero es primo si solamente
acepta dos divisores.

Con esta definicin, los nmeros
naturales quedan clasificados en
primos, compuestos, el cero y el
uno.


? El 0, que es divisible por
cualquier natural excepto por s
mismo.

? El 1, que es solo divisible por s
mismo.

? Los primos, que admiten solo los
dos divisores denominados triviales.

? Los compuestos, que admiten,
adems, otros divisores.

Por qu el 0 y el 1 no son ni primos
ni compuestos?
Porque los naturales distintos
de 0 y de 1, que no son primos,
se llaman compuestos y no
simplemente no primos.

9.3. NMEROS PRIMOS
ENTRE S

Dos nmeros naturales a y b son
primos entre s, cuando: MCD(a, b) = 1
(tienen como nico divisor comn a la
unidad).

Ejemplos:

42 y 55 son primos entre s porque
MCD(42, 55) = 1

15 y 24 no son primos entre s porque
MCD(15, 24) = 3 1




EJEMPLO:
Hallar el MCD(144, 90) usando:
a) el algoritmo de Euclides;
b) descomposicin factorial.


a) El algoritmo de Euclides consiste en
hacer divisiones sucesivas hasta llegar a
un resto igual a cero.
El ltimo resto no nulo es el MCD
buscado.


1 1 1 2
144 90 54 36 18
54 36 18 0




MCD(144, 90) = 18




NOTA

Para determinar el MCD de varios nmeros aplicando el
algoritmo de Euclides, se calcula primero el MCD entre
dos de ellos; luego, entre ese MCD y un tercer nmero, y
as sucesivamente. El ltimo resto hallado es el MCD
buscado.


GUSTAVO A. DUFFOUR
86
En un terreno rectangular de 85
metros por 51 metros, se colocan
rboles en sus esquinas. Luego, se
plantan otros horizontalmente y
verticalmente de modo que la
distancia entre dos rboles
consecutivos sea constante y la
mayor posible. Hallar el nmero de
rboles colocados.


DE ENGRANAJES SE TRATA
Dos engranajes tienen 6 y 16
dientes respectivamente. Si dos
dientes se enfrentan una vez, al
cabo de cuntas vueltas de cada
engranaje volvern a enfrentarse
nuevamente?

Vanse los resultados en la pgina 473.
PLANTANDO RBOLES
b) Para hallar el MCD por descomposicin
factorial, se descompone cada nmero en sus
factores primos y se toman los factores primos
comunes, con su menor exponente.


144 2
72 2
36 2
18 2
9 3
3 3
1

90 2
45 3
15 3
5 5
1


144 = 2
4
* 3
2
90 = 2 * 3
2
* 5


MCD(144, 90) = 3
2
2 = 18



Antes de continuar, es conveniente
hacer los ejercicios 63 al 68,
de la pgina 97.



10 PROPIEDADES DEL MCD

TEOREMA 1

Si se multiplican o dividen a dos
nmeros por un natural no nulo
cualquiera, su MCD queda
multiplicado o dividido por ese
nmero.

Esto es cierto, y para demostrarlo basta
con multiplicar o dividir por un nmero las
sucesivas divisiones que conducen al MCD por
medio del algoritmo de Euclides.

TEOREMA 2

Si se dividen dos nmeros entre su MCD, los cocientes resultantes son
primos entre s.

Por el teorema anterior se tiene que si: MCD(a, b) = D, al dividir los nmeros entre D,
su MCD queda dividido entre D.



a b D a b
MCD , = = 1 suele llamarse a: = a' = b'
D D D D D






Se cumple entonces que: MCD(a', b') = 1
MATEMTICA DE QUINTO
87
Se dividen por D ambos miembros de la
igualdad, y se deduce, de esta manera, una
relacin entre a' y b'.
Se dan valores naturales a
a' y se calculan los
correspondientes b'; se
eliminando aquellos valores
de a y b que no sean
primos entre s.

Es obvio que a $ 0 y b 0.
En el conjunto de los nmeros naturales,
a es primo % d(a) = {1, a}

En el conjunto de los nmeros enteros,
a es primo % d(a) = { 1, 1, a, a}

Recurdese que en este captulo se estudia
la divisibilidad en los nmeros naturales.


NOTA

Esta propiedad es muy til para resolver problemas en los
que se proporciona o se deduce una relacin particular
entre a y b. Imponiendo que esos nmeros cumplan
simultneamente esa relacin y que sean primos entre s,
se descartan valores incorrectos y se obtienen las
soluciones vlidas.



EJEMPLO: Hallar dos nmeros a y b tales que: a + b = 360 y MCD(a, b) = 30



a b 360
D D 30
+ =

a + b = 12



a' b' Soluciones
a 30 b 330 1 11 son primos entre s.
2 10 son primos entre s.
3 9 son primos entre s.
4 8 son primos entre s.
5 7 son primos entre s. a 150 b 210
6 6 son primos entre s.
7 5 son primos entre s. a 210 b 150
8 4 son prim
= =
= =
= =
no
no
no
no
no os entre s.
9 3 son primos entre s.
10 2 son primos entre s.
11 1 son primos entre s. a 330 b 30 = =
no
no


Antes de continuar, es conveniente hacer
los ejercicios 69 al 76, de la pgina 98.













GUSTAVO A. DUFFOUR
88





1) Cules son los factores primos
de 117? Listarlos a todos.

2) Cules son los factores de 117?
Listarlos a todos.

3) Cules son los divisores de
117? Listarlos a todos.

4) De qu nmeros es
mltiplo 117?

5) 117 es mltiplo de 26?

6) Dar un ejemplo de un mltiplo de
117.

7) Existe algn factor que no sea
divisor?
Vanse los resultados en la pgina 474.
11 TEOREMA DE EUCLIDES


Si un nmero distinto de cero divide al producto de dos factores
y es primo con uno de ellos, entonces divide al otro.


Hi pt esi s: Si d/ab y MCD(d, a) = 1 d $ 0
Tesi s: d/b

Para la demostracin se aplica la
propiedad del MCD que dice que si se
multiplican dos nmeros por otro, su MCD
queda multiplicado por ese nmero.
Se multiplican d y a, por b.

Entonces, se cumple que: MCD(db, ab) = b

Por hiptesis: d/ab
Y por ser db mltiplo de d: d/db

Se concluye que si un nmero d es
divisor de otros dos: ab y db, pues d/ab y
d/db, tiene que ser obligatoriamente divisor de
su MCD Y como el MCD(db, ab) = b, se
cumple que: d/b que es la tesis a demostrar.



12 DEFINICIN DE MNIMO
COMN MLTIPLO

El menor de los mltiplos (no nulo),
comunes a dos nmeros (no simultneamente
nulos), se llama su mnimo comn mltiplo.


NOTACIN
mcm(a, b) o simplemente m


Cumple las siguientes condiciones:

1) es un mltiplo comn de a y de b.
2) cualquier mltiplo comn de
a y de b es mltiplo de su mcm


El mcm entre dos nmeros se
determina a travs de la descomposicin en
factores primos. Para formar el mcm se
toman todos los factores primos que aparezcan
con su mayor exponente.
Se sabe que si un nmero divide
a otro, divide a cualquiera de sus
mltiplos.

Es cierto el recproco?

Si un nmero divide a un producto,
divide necesariamente a uno de los
factores?

El teorema de Euclides y su
generalizacin en el punto 14, dan
la respuesta.
MATEMTICA DE QUINTO
89
Se deben hallar los valores de m y de
D. Para ello se resuelve un sistema de dos
ecuaciones con dos incgnitas, por el mtodo
de reduccin.
Luego se hace la
descomposicin factorial del
mnimo comn mltiplo y del
mximo comn divisor.

Estas soluciones
verifican que a > b.
13 SISTEMAS DE ECUACIONES CON EL MCD Y EL mcm

Un tpico problema de este tema es el de plantear un sistema de dos ecuaciones con
dos incgnitas. Ellas son el MCD y el mcm, para luego a partir de ellos deducir los
nmeros.
Se debe recordar que el MCD est formado por los factores primos comunes a
ambos nmeros, mientras que el mcm est formado por los factores primos comunes y no
comunes de ambos nmeros.

NOTA

Es necesario comprender que los factores primos del MCD
se encuentran en el mcm. O, dicho de otra manera, dentro
del mcm se halla el MCD.



EJEMPLO: Hallar los naturales a y b con a > b tales que
MCD(a, b) = D mcm(a, b) = m, sabiendo que:

m 5D = 1768

m + 2D = 2720


m 5D = 1768
m 2D = 2720
7D = 952 ? D = 136

De la ecuacin m 5D = 1768, se despeja m: m = 2448

2448 2
1224 2
612 2
306 2
153 3
51 3
17 17
1

136 2
68 2
34 2
17 17
1

Se distribuyen los factores primos de tal forma que los del MCD se encuentren en los
dos nmeros, mientras que los no comunes se pueden colocar en uno u otro nmero.
Soluciones
a = 2
3
*17*2 = 272 a = 2
3
*17*2*3
2
= 2448
b = 2
3
*17*3
2
= 1224 b = 2
3
*17 = 136

a = 2
3
*17 = 136 a = 2
3
*17*3
2
= 1224
b = 2
3
*17*2*3
2
= 2448 b = 2
3
*17*2 = 272


Antes de continuar, es conveniente hacer
los ejercicios 77 y 78, de la pgina 98.

Factores
comunes
Factores no
comunes
1
2
3
GUSTAVO A. DUFFOUR
90

















14 TEOREMA


MCD(a, b) * mcm(a, b) = a * b


Suele llamarse a:
a
= a'
D

b
= b'
D
de donde se tiene que: a = aD b = bD

Para la demostracin se usar la propiedad del MCD que hace referencia a los a' y
los b' (vase teorema 2 de la pgina 73).


Demostracin: Sea M un mltiplo comn de: a y b

Si M es un mltiplo de a, existe pe* tal que M = ap
Como M = M ? ap = bk
Si M es un mltiplo de b, existe ke* tal que M = bk

En la ltima igualdad se sustituye a y b por sus valores a'D y b'D, para luego

simplificar los D. (D $ 0)

a'Dp = b'Dk ? a'p = b'k Esta ltima expresin se puede expresar como una divisin

exacta
b' k a'
0 p
o sea que: a'/b'k, pues existe un cociente p tal que: b'k = a'p

Pero si: a'/b'k y a' es primo con b', por el teorema de Euclides: a'/k

Que a' divida a k significa que existe un cociente n e *, tal que:
k a'
0 n
k = an

Este valor de k se sustituye en el mltiplo comn de a y de b: M = b'Da'n


DESAFO OLMPICO

II Olimpada matemtica del MERCOSUR
Torneo de frontera 1997

Pedrito midi el largo del terreno de su to con pasos de 54 cm.
Despus lo midi su to, con pasos de 72 cm. Quedaron marcadas en total 60
pisadas, pero a veces la misma marca corresponda a dos pisadas, una de
Pedrito y otra del to. Cul es el largo del terreno?

Vase el resultado en la pgina 474.
MATEMTICA DE QUINTO
91
Cuando n toma el valor no nulo ms pequeo posible en los nmeros naturales
(n = 1), M pasa a ser el menor mltiplo comn de a y de b.
En ese caso se le llamar mnimo comn mltiplo y tendr la forma: mcm = b'Da'
Si se multiplican ambos miembros de esta igualdad por D, se obtiene
mcm * D = b'Da'D que se puede expresar, al sustituir D * a = a D * b = b, como:



MCD(a, b) * mcm(a, b) = a * b


Otra forma para esta frmula es:
mcm(a,b)
a' b'
MCD(a,b)
=





EJEMPLO: Hallar dos nmeros a y b tales que:
ab = 1008 y mcm(a, b) = 168


1) Clculo de D
Primero se calcula D aplicando el teorema ya estudiado: ab = mD

mD = ab = 1008 mD = 1008

Se sustituye m por el valor dado: 168D =1008 D = 6


2) Obtener una relacin entre a y b
Se divide entre D = MCD(a, b) a ambos miembros de la igualdad y se deduce, de
esta manera, una relacin entre a' y b'.

a b 1008
D D 6 6
=

a * b = 28

3) Se asignan valores naturales a a' y se calculan los correspondientes b', eliminando
aquellos valores de a' y de b' que no sean primos entre s.

a' b' Soluciones
1 28 son primos entre s. a 6 b 168
2 14 son primos entre s.
4 7 son primos entre s. a 24 b 42
7 4 son primos entre s. a 42 b 24
14 2 son primos entre s.
28 1 son primos entre s. a 168 b 6
= =
= =
= =
= =
no
no



Antes de continuar, es conveniente hacer
los ejercicios 79 al 89, de la pgina 98.

Recurdese que:
MCD o D son
dos formas de
referirse al
mximo comn
divisor.
GUSTAVO A. DUFFOUR
92
Existen conjeturas que,
sostenidas por la evidencia
emprica, no han podido hasta
ahora ser probadas como ciertas.
Entre ellas est la famosa
conjetura de Goldbach (1690-1764),
a quien la historia de las
matemticas nicamente recuerda
por esa razn, que propuso como
problema en una carta a Euler, en
1742.
Comprob que en todos
los casos observados, todo
nmero par (excepto el 2, que es
primo) puede ser representado
como la suma de dos nmeros
primos:

4 = 2 + 2
6 = 3 + 3
8 = 5 + 3
10 = 5 + 5
12 = 5 + 7
14 = 7 + 7
16 = 13 + 3
.................
48 = 29 + 19
.................
100 = 97 + 3

Goldbach preguntaba a
Euler si era capaz de demostrar
que esa propiedad es cierta para
todo nmero par, o si podra
encontrar un contra-ejemplo.
Euler no pudo dar una
respuesta, ni nadie ha podido
darla hasta ahora.

15 TEOREMA



Si un nmero primo divide al
producto de varios nmeros, entonces
divide por lo menos a uno de ellos.



Hi pt esi s:
Si d es primo y d/abc... k.


Tesi s:
d divide por lo menos a uno de ellos.


Si d/a se prueba la tesis.

Si d no divide a a, entonces es
primo con a y, por el teorema de Euclides,
d divide al resto de los nmeros: d/bc... k.

Si d/b se prueba la tesis.

Si d no divide a b, entonces es
primo con b y, por el teorema de Euclides,
d divide al resto de los nmeros: d/c... k.

Aplicando sucesivamente este
razonamiento, se encontrar al menos un
nmero k divisible entre d, ya que se
cumple el teorema de Euclides.

Sea h el nmero anterior a k, d/hk.

Si d/h queda probada la tesis. Si d
no divide a h, debe ser primo con h,
entonces, por el teorema de Euclides, d/k.












Christian Goldbach
Rusia, (1690-1764)
MATEMTICA DE QUINTO
93
16 TEOREMA


Si un nmero primo divide al producto de varios factores
primos entre s, entonces ese nmero es igual a uno de ellos.


Hi pt esi s: Si d/abc... k y d, a, b, c... k son primos entre s.

Tesi s: d es uno de ellos.


Por el teorema anterior, d divide a por lo menos uno de ellos.
Sea d/c. Dado que, por hiptesis, d y c son primos entre s, debe cumplirse que
d = c pues el nico nmero que es a la vez primo y divisor, es el mismo nmero.






17 TEOREMA DE DESCOMPOSICIN FACTORIAL


Todo nmero distinto de cero y de uno, puede expresarse como
el producto finito de factores primos.


Sea un nmero N.

Si N es primo, ser: N = N.

Si N no es primo, debe admitir divisores. Sean a, b, c... k, los divisores de N
distintos de s mismo y de la unidad. Y sea a el menor de los divisores; a debe ser primo
pues, de lo contrario, tendra divisores menores que l; por ejemplo h, tal que h/a y, por
consiguiente, h/N. Entonces h sera un divisor de N menor que a, lo cual es absurdo
pues se supuso que a era el menor divisor. Por lo tanto, a es primo y divide a N, a/N, lo
cual se expresa como sigue: N = aN'.

Si N' es primo, la descomposicin factorial de N es: N = aN'

Si N' no es primo debe admitir divisores. Sean b, c... k, los divisores de N' distintos
de s mismo y de la unidad. Y sea b el menor de los divisores; b debe ser primo, pues, de
lo contrario, tendra divisores menores que l; por ejemplo p, tal que p/b y, por
consiguiente, p/N'. Entonces p sera un divisor de N' menor que b, lo cual es absurdo
pues se supuso que b era el menor divisor. Por lo tanto, b es primo y divide a N', b/N', lo
cual se expresa como que: N' = bN" y N = abN"

Reiterando este razonamiento se llega a que: N = abc... k siendo estos factores
primos, varios de los cuales pueden ser iguales.


GUSTAVO A. DUFFOUR
94
18 UNICIDAD DE LA DESCOMPOSICIN FACTORIAL

Supongamos que, adems de la descomposicin hallada para N, N = abc ... k,
exista otra: N = a'b'c'... k'

Entonces tendramos que, si a/N, pues a es uno de los factores de la
descomposicin de N, a debe dividir a: a'b'c'... k' a/a'b'c'... k' pero como a, a', b',
c'... k' son todos nmeros primos entre s, aplicando el teorema 16, a debe ser igual a uno
de ellos. Sea: a = a'.

Siguiendo con la demostracin, tendremos que, si b/N, pues b es uno de los
factores de la descomposicin de N, b debe dividir a: b'c'... k' b/b'c'... k' , pero como
b, b', c'... k' son todos nmeros primos entre s, aplicando el teorema 16, b debe ser igual
a uno de ellos. Sea: b = b'.
As sucesivamente se va demostrando que: c = c'... k = k'

O sea que la descomposicin factorial de un nmero es nica.




19 TEOREMA

El conjunto de los nmeros primos es infinito.

Esto significa que, dado cualquier nmero primo, siempre hay uno mayor que l. Sea
P un nmero primo. El producto de todos los nmeros primos desde uno hasta P, sumado
una unidad, es el nmero:

Q = 2 * 3 * 5 * 7 *... * P + 1


Si este nmero es primo, queda demostrado el teorema, pues Q es mayor que P. Si
Q no es primo, debe admitir divisores primos, los cuales no pueden ser ninguno de los
nmeros 2, 3, 5, 7,... P puesto que Q, dividido entre cualquiera de ellos, da resto uno. En
ambos casos se llega a demostrar que Q es primo y mayor que P.





20 NMERO DE DIVISORES DE N

Sea la descomposicin factorial de: N = a

... m


El nmero de divisores de N viene dado por el siguiente valor.



Nmero de divisores de N = ( + 1)( + 1)( + 1)... ( + 1)



MATEMTICA DE QUINTO
95
Al simplificar entre
( + 1) no se pierden
soluciones, pues
= 1 no es un
nmero natural.

Adems e
( + 1) $ 0

EJEMPLO: Determinar un nmero natural N sabiendo que:
i) sus factores primos son 3, 5 y 11
ii) 3N tiene 6 divisores ms que N
iii) 25N tiene 18 divisores ms que N
iv) 121N tiene 12 divisores ms que N


N = 3

* 5

* 11

? nmero de divisores de: N = (+1)(+1)(+1)

3N = 3
+ 1
* 5

* 11

? nmero de divisores de: 3N = (+2)(+1)(+1)

25N = 3

* 5
+ 2
* 11

? nmero de divisores de: 25N = (+1)(+3)(+1)

121N = 3

* 5

* 11
+ 2
? nmero de divisores de: 121N = (+1)(+1)(+3)

Segn la letra del problema se cumple que:

( + 2)( + 1)( + 1) = ( + 1)( + 1)( + 1) + 6
( + 1)( + 3)( + 1) = ( + 1)( + 1)( + 1) + 18
( + 1)( + 1)( + 3) = ( + 1)( + 1)( + 1) + 12


Al pasar, parte de los segundos miembros restando, resulta:

( + 2)( + 1)( + 1) ( + 1)( + 1)( + 1) = 6
( + 1)( + 3)( + 1) ( + 1)( + 1)( + 1) = 18
( + 1)( + 1)( + 3) ( + 1)( + 1)( + 1) = 12


Se sacan factores comunes:
( + 1)( + 1)( + 2 1) = 6 ( + 1)( + 1) = 6
( + 1)( + 1)( + 3 1) =18 ( + 1)( + 1) = 9
( + 1)( + 1)( + 3 1) =12 ( + 1)( + 1) = 6


Se divide la primera entre la segunda:
( 1) ( 1) + +
( 1) ( 1) + +
6
9
=
( 1) 2
( 1) 3
+
=
+


Se despeja ( + 1):
2
( 1) ( 1)
3
+ = + y se sustituye en la tercera ecuacin:

2
( 1)( 1) 6
3
+ + = se despeja : = 2. Se vuelve al sistema y se calcula: = 1 = 2


N = 3
2
* 5
1
* 11
2
= 5445


Es conveniente hacer los ejercicios
90 al 96, de la pgina 99.

GUSTAVO A. DUFFOUR
96
21 ALGUNAS PREGUNTAS SOBRE EL TERICO


1) a) Enunciar el teorema de existencia y unicidad del cociente y resto, en la divisin
entera entre nmeros naturales.

b) Demostrar que el conjunto de los nmeros primos no tiene mximo.


2) a) Hallar, si existe, y justificar: D(0, x) y D(0, 0)
b) Demostrar H)
a b
q
r
r$0 T) {d(a) d(b)} = {d(b) d(r)}


3) Definicin de nmero primo.


4) a) Demostrar: H) MCD(a, b) = D h e h $ 0 T) MCD(ha, hb) = hD

b) Demostrar que: D(a, b)m(a, b) = ab


5) a) Demostrar que si: a/b y a/c, entonces a/b + c

b) Demostrar que el conjunto de los nmeros primos no tiene lmite superior.


6) i) Definicin de divisin entera en .

ii) Existencia del cociente y el resto de la divisin entera.

iii) Definicin de nmeros primos entre s.


7) Enunciar y demostrar el teorema de Euclides.



8) Sea n e , n0
i) Determinar el MCD(n, n + 1).

ii) Deduce el mcm(n, n + 1).

iii) Determinar dos naturales consecutivos cuyo mcm sea 9120.



9) a) Demostrar que si: x/ b y x/ c, entonces x/ (2b + 3c)





MATEMTICA DE QUINTO
97
Hallar los nmeros a y b naturales y su MCD,
sabiendo que a b = 114 y que el algoritmo de
Euclides para hallar su MCD es el dado.
22 EJERCICIOS PROPUESTOS Vanse los resultados en la pgina 474.

57) Completar de todas las formas posibles los siguientes esquemas de divisin
entera, y calcular los valores de los parmetros.

a)
a 3
r 17
b)
a 10
r 17
c)
d 17
3
r
d)
53 d
5 q


58) En los siguientes problemas hallar los valores de los parmetros.

i)
a 10
b
c

a 4 c
7
b 2

+
ii)
n 5 d
7 q
+

5n 3 d 1
5q 3
2d 14
+
+

iii)
a b
q
r

2a b
8 2q

2a 11 b
8 3q
+
iv)
b 2 a
5 q
+

b 5 7
a q
+


59) Al dividir un nmero N entre 73 y entre 70, se obtiene el mismo cociente. El
primer resto es 3 y el segundo resto es 48. Hallar el nmero N.

60) Encontrar todos los nmeros entre 100 y 200 que, divididos por 17, dan resto igual
al cociente.

61) En la divisin:
a b
16 r
r es el mximo posible y a + b = 341. Hallar: a, b y r.

62) Sean:
a b
3
r

b r
r 4
2
Determinar a, b y r, sabiendo que r/44 y que b= 4

.

63) Hallar el MCD de los siguientes nmeros aplicando:
i) el algoritmo de Euclides. ii) por descomposicin factorial.
a) D(61, 24) b) D(2772, 1276) c) D(2772, 1176) d) D(9625, 627, 473)

64) Completar los siguientes esquemas del algoritmo de Euclides.
a)
3
3 1
0
b)
1 2 3
75
0

65) Hallar dos nmeros a y b naturales, tal que a b = 72 y que los cocientes
sucesivos del algoritmo de Euclides para hallar su MCD son: 1, 6, 1, 1, 5, 2.

66) Hallar los nmeros a y b naturales, sabiendo que: a b = 720 y que los
cocientes sucesivos que se obtienen al aplicar el algoritmo de Euclides para hallar
el MCD son: 1, 1, 1, 3, 3, y 2.

67)
1 2
1 2
1 2 3 c
a b r r c
r r c 0

GUSTAVO A. DUFFOUR
98
68) Hallar a y b perteneciente a los naturales, sabiendo que: D(a, b) = D(c, d) $ 1

c d
r q

3c 3d
21 q
y que los cocientes sucesivos del algoritmo de
Euclides para hallar MCD(a, b) son:1, 3, 4, 2

69) Hallar dos nmeros naturales x e y, tales que: x + y = 2700 D(x, y) = 300

70) Hallar dos nmeros naturales x e y, con x < y, sabiendo que: MCD(x, y) = 18
x + y = 90

71) Hallar dos nmeros naturales s y q, sabiendo que: sq = 9900 D(s, q) = 30

72) Hallar dos nmeros naturales a y b, sabiendo que: 2a + 3b = 1190 MCD(a, b) = 70

73) Hallar dos nmeros naturales a y b, sabiendo que: MCD(a, b) = 5 2a
2

+ b = 815

74) Determinar tres nmeros naturales a, b, q y MCD(a, b), sabiendo que:

a b
q
14
a 4b = 224 MCD(a, b) > 8 14 < b< 100
75) Determinar m y n nmeros naturales, sabiendo que: m
2
n
2
= 81 MCD(m, n) = 3

76) Calcular: a, b, q y q' naturales sabiendo que:
a 18
7 q

b 18
q' q

b q'
19 4
MCD(q, 10) = 10

77) Hallar a y b sabiendo que: mcm(a, b) + MCD(a, b) = 512
mcm(a, b) MCD(a, b) = 496

78) Hallar x e y sabiendo que: mcm(x, y) + MCD(x, y) = 420
mcm(x, y) MCD(x, y) = 300

79) Hallar dos nmeros naturales a y b, sabiendo que: ab = 10800 m(a, b) = 360

80) Hallar tres nmeros naturales a, b y c, sabiendo que:
D(a, b, c) = 17 a + b + c = 255 mcm(a, b, c) = 1785 con a < b < c

81) Determinar a, b y D(a, b) si: a + b = 50

2 2
mD 6
=
35
m D


82) Hallar a, b y c naturales, sabiendo que:
a+b+c 5
2 b

a c
1
30

y que: mcm(a, b, c) = 5
2
2
5
c < 100

83) Hallar a y b naturales, sabiendo que:
1 1 2
a b 75
+ = a < b mcm(a, b) = 225

84) Determinar a y b naturales, tales que: mcm(a, b) = m MCD(a, b) = D
cumplan: m
2
Dm = 2 3
2
5
2
7 13


MATEMTICA DE QUINTO
99
85) Hallar a y b naturales (a > b) sabiendo que: a + b = 581
m(a,b)
= 240
D(a,b)


86) Hallar dos nmeros naturales a y b sabiendo que:
a + b = 73 MCD(a,b)
a - b = 17 MCD(a,b)
mcm(a,b) = 25200


87) Hallar dos nmeros naturales a y b sabiendo que:
( )
10 MCD(a,b) = a + b
2
MCD(a,b) = b


88) Hallar todos los nmeros naturales a, b y c que cumplen: D(ab, c) = c,
D(a, c) = 1, b + c = 115, a + c = 47.
a + b = 31 D(a, b)
a = 4b + D(a, b)
89) Hallar dos nmeros naturales a y b sabiendo que: b 200
D(a, b) = 11

90) Hallar un nmero natural n = 2

, sabiendo que: 2n tiene 5 divisores ms que

n y que 7n tiene 30 divisores.

91) Sea n = 2

tal que 5n tiene 16 divisores y 3n tiene 24 divisores. Hallar n.

92)
Hallar a y b naturales, sabiendo que: MCD(a, b) = 18, a tiene 21 divisores y
b tiene 10 divisores.

93) Hallar los nmeros naturales n, sabiendo que:
i) n tiene solo tres nmeros primos en su descomposicin factorial.
ii) 1 < D(n, 77) iii) n =

136 iv) n tiene 45 divisores

94) Hallar dos nmeros naturales a y b, no primos entre s, sabiendo que: el resto
de dividir a entre b es 78, ab mcm(a, b) = 19800, el nmero de divisores de
MCD(a, b) no es primo.

95) Hallar un nmero natural N, sabiendo que:
i) el nmero de divisores de N es n
ii) el nmero de divisores de 55N es n'
iii) el nmero de divisores de 19855N es n"
Adems, se sabe que: 5n' = 4n" n' = n + 104 n" = n + 184
N tiene los mismos divisores primos que 19855 y N $ 125

96) Hallar a y b naturales si:
i) a = 2
3
3
2
p

y b = 2
3
3q

ii) p y q son primos diferentes de 2 y de 3

iii) ab =

70 y ab

98 iv) a y b tienen el mismo nmero de divisores.