Gabriel Uribe Matematicas Discretas II 2017

Clase III

Un concepto importante dentro de la teora de numeros, que es relevante en muchos de los temas
que se relacionan con este curso y en aplicaciones como la criptografa, las ternas pitagoricas, las
fracciones continuadas y muchos mas es el concepto de maximo comun divisor.

Definicion 1 Sean a y b numeros enteros, no ambos cero, se define como el entero positivo d tal
que:

1. d | a y d | b.

2. Si existe un entero c Z tal que c | a y c | b, entonces c d o c | d.

Se denota d = mcd(a, b) y se dice que de es el maximo comun divisor entre a y b. En palabras

el maximo comun divisor, significa que entre todos los divisores de a y b, se deben escoger los
comunes y entre estos se toma el maximo.

Ejemplo 1 1. El mcd(18, 4) = 2

2. El mcd(21, 4) = 1

3. El mcd(16, 40) = 8

para el tercer ejemplo, si se encuentran todos los divisores de los numeros

Divisores del 8 1 2 4 8
Divisores del 40 1 2 4 5 8 10 20 40

se deben tomar los que son comunes, los cuales se encierran con otro color

Divisores del 8 1 2 4 8
Divisores del 40 1 2 4 5 8 10 20 40

y de ellos se toma el maximo, que en este caso es el 8 y se senala con rojo

Divisores del 8 1 2 4 8
Divisores del 40 1 2 4 5 8 10 20 40

Este metodo de buscar el maximo comun divisor, no es lo suficientemente efectivo debido a que para
numeros lo suficientemente grandes la factorizacion es muy dificil de hacer, por tanto, encontrar
todos los posibles divisores de a y b, es complicado.

Universidad de Antioquia Last modified: January 31, 2017 1

Gabriel Uribe Matematicas Discretas II 2017

Definicion 2 Cuando mcd(a, b) = 1 se dice que a y b son primos relativos o coprimos

Los numeros a y b no necesariamente deben ser primos para ser primos relativos, este es simple-
mente un nombre que se le da al par de numeros para decir que solo tienen un divisor en comun
y ese divisor es el 1. En el ejemplo dos se muestra que 4 y 21 son primos relativos, pero 4 y 21 no
son numeros primos.
En si el problema de buscar el maximo comun divisor entre dos numeros se complica, debido a los
pocos algoritmos que existen para factorizar numeros. Existen varios metodos para encontrarlo y
algunas propiedades que ayudan a simplificar el calculo pero estos computacionalmente hablando
no reducen las operaciones que se deben hacer.
A continuacion, se mostraran algunas de estas propiedades:

Teorema 1 1. Cada divisior comun de a y b es divisor de mcd(a, b)

2. Si a | bc y el mcd(a, b) = 1, entonces a | b
3. Si mcd(a, b) = 1 y mcd(a, c) = 1, entonces el mcd(a, bc) = 1
4. Si m Z, entonces mcd(a + mb, b) = mcd(a, b).
5. mcd(a, b) = mcd(|a|, |b|)
6. Si k es un entero, entonces mcd(ka, kb) = |k|mcd(a, b)
7. Si mcd(a, b) = 1, entonces para cualquier entero c, mcd(ac, b) = mcd(c, b)
8. Si mcd(a, b) = d, entonces mcd(a/d, b/d) = 1
9. El mcd(a, b) siempre se puede expresar como combinacion lineal de a y b, es decir, que existen
enteros x y y tales que mcd(a, b) = ax + by.
10. mcd(a, b), donde a y b no son ambos cero, se puede definir alternativamente y equivalente-
mente como el menor entero d tal que d = ax + by con x, y Z

Ejemplo 2 Los numeros en la sucesion 101, 104, 109, 116, dots son de la forma an = 100 + n2 ,
donde n = 1, 2, 3, . . . . halle el maximo valor de mcd(an , an+1 )

Notemos que
mcd(an , an+1 ) = mcd(100 + n2 , 100 + (n + 1)2 )
= mcd(100 + n2 , 100 + (n + 1)2 100 n2 ) propiedad 4
= mcd(100 + n2 , 2n + 1)
= mcd(200 + 2n2 , 2n + 1) mcd(2, 2n + 1) = 1
= mcd(200 + 2n2 n(2n + 1), 2n + 1) propiedad 4
= mcd(200 n, 2n + 1)
= mcd(400 2n, 2n + 1) mcd(2, 2n + 1) = 1
= mcd(401, 2n + 1) propiedad 4

Universidad de Antioquia Last modified: January 31, 2017 2

Gabriel Uribe Matematicas Discretas II 2017

Por tanto la respuesta es 401 y se obtiene cuando n = 200.

21n + 4
Ejemplo 3 Probar que la fraccion es irreducible para cada numero natural n.
14n + 3
Notemos que por la propiedad 9, podemos tomar x = 2 y y = 3 y as llegamos que
mcd(21n + 4, 14n + 3) = 2(21n + 4) + 3(14n + 3) = 42n 8 + 42n + 9 = 1
por la propiedad 10 este es el menor que cumple esto y por tanto es el maximo comun divisor, lo
que significa que nunca van a tener factores en comun. As la fraccion es irreduccible.
Un algoritmo bueno y que permite encontrar de una manera sencilla es el que se conoce como
el algoritmo de Euclides, que se basa en el algoritmo de la division y en la division misma. Este
funciona de la siguiente manera:

Algoritmo de Euclides
Dados dos numeros a y b enteros, se supone sin perdida de generalidad que a b, entonces el
algoritmo funciona de la siguiente manera:
Se utiliza el algoritmo de la division al dividir a por b, lo que se obtiene
a = bq1 + r1 0 r1 < b
Si r1 = 0, entonces se dice que mcd(a, b) = b, sino es decir, si r1 6= 0, entonces se divide a b por r1 ,
lo que lleva a
b = r1 q2 + r2 0 r2 < b
De nuevo, si r2 = 0, entonces mcd(a, b) = r1 , si esto no se cumple, se divide a r1 por r2 aplicando
el algoritmo de la division,
r1 = r2 q3 + r3 0 r3 < b
Si r3 = 0, entonces mcd(a, b) = r2 , sino, se continua con el proceso hasta que rn+1 sea igual a cero.
Es decir, el proceso se continua y se llega a
rn1 = rn qn+1 + rn+1 0 rn+1 < rn
y como rn+1 = 0, entonces rn = mcd(a, b).
A continuacion se veran algunos ejemplos que ayudan a entender el problema:

Ejemplo 4 Encuentre el mcd(18, 84) usando el algoritmo de Euclides.

Si se aplica el algoritmo de Euclides, se tiene

84 = 18 4 + 12
18 = 12 1 + 6
12 = 6 2 + 0
Por tanto, mcd(18, 84) = 6

Universidad de Antioquia Last modified: January 31, 2017 3

Gabriel Uribe Matematicas Discretas II 2017

Ejemplo 5 Encuentre el mcd(24, 49) usando el algoritmo de Euclides.

Aplicando el algoritmo de Euclides, se obtiene que:

49 = 24 2 + 1
24 = 1 24 + 0

As el mcd(24, 48) = 1

Ejemplo 6 Encuentre el mcd(184, 28) usando el algoritmo de Euclides.

Aplicando el algoritmo de Euclides, se obtiene que:

184 = 28 6 + 16
28 = 16 1 + 12
16 = 12 1 + 4
12 = 4 3 + 0

Por tanto, mcd(184, 28) = 4. Otro termino importante que tiene que ver con la comparacion de
numeros enteros es el del mnimo comun multiplo el cual se define a continuacion:

Definicion 3 Dados dos numeros enteros a y b, no ambos cero, se define el mnimo comun
multiplo m con las siguientes dos condiciones:

1. a | m y b | m

2. Si existe un c Z tal que a | c y b | c, entonces m | c.

Se denota por m = mcm(a, b) y se dice que m es el mnimo comun multiplo entre a y b.

Ejemplo 7 Encuentre el mcm(5, 16) = 80

Ejemplo 8 Encuentre el mcm(12, 9) = 36

De nuevo, calcular el mnimo comun multiplo se convierte en un problema de factorizacion, que

como se menciono anteriormente es muy dficil de hacer para numeros suficientemente grandes. El
siguiente teorema muestra una forma facil de encontrar el mnimo comun multiplo:

Teorema 2 mcm(a, b)mcd(a, b) = ab para un par de enteros a y b, no ambos cero.

Este teorema, hace de la busquedad del mcm(a, b), sea solo la busquedad del mcd(a, b) y as, se
puede escribir el
mcm(a, b) = (ab/mcd(a, b))

Universidad de Antioquia Last modified: January 31, 2017 4

Gabriel Uribe Matematicas Discretas II 2017

Ejercicios 1 Los siguientes ejercicios son para la practica

1. Calcule mcd(123456, 345678)

2. Calcule mcd(234563, 3896042)

3. Calcule mcd(572381, 68942349)

4. Encuentre el maximo comun divisor entre 123 y 321, utilizando el hecho que 41 y 107 son
numeros primos.

5. Si A es el conjunto de todos los numeros que pueden ser representados como el producto de
tres numeros consecutivos, halle el maximo comun divisor entre todos los elementos de A.

6. Encuentre el maximo comun divisor entre 5! y 6!.

7. El maximo comun divisor entre 6 35 y 8 15 es:

8. El maximo comun divisor entre los tres numeros 1323, 1029 y 3087 es:

9. Encuentre todos los enteros positivos k menores que 20, que satisfacen mcm(30, k) = 6

10. Encuentre el producto del maximo comun divisor y el mnimo comun multiplo entre 18 y 42.

11. Encuentre la suma de todos los valores de c para los cuales el mcm(c, 20) = 60

12. El mnimo comun multiplo entre dos numeros es 3720 y su maximo comun divisor es 8, dado
que uno de los numeros es 120, encuentre el otro numero.

13. El mnimo comun multiplo entre dos numeros es 7! y su maximo comun divisor es 9, dado
que uno de los numeros es 315, encuentre el otro numero.

14. Dado un entero positivo n, tal que mcm(n, 24) = 72 y mcm(n, 27) = 108. Cual es el valor
de n?

15. El producto de dos enteros es 144, La razon de su mnimo comun multiplo y su maximo
comun divisor es igual a 9. Cual es la suma de los dos enteros?

Universidad de Antioquia Last modified: January 31, 2017 5