Gabriel Uribe Matematicas Discretas II 2017

Clase III

Un concepto importante dentro de la teorı́a de números, que es relevante en muchos de los temas
que se relacionan con este curso y en aplicaciones como la criptografı́a, las ternas pitágoricas, las
fracciones continuadas y muchos más es el concepto de máximo común divisor.

Definición 1 Sean a y b números 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 ó c | d.

Se denota d = mcd(a, b) y se dice que de es el máximo común divisor entre a y b. En palabras

el máximo común divisor, significa que entre todos los divisores de a y b, se deben escoger los
comunes y entre estos se toma el máximo.

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 números

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 máximo, que en este caso es el 8 y se señala con rojo

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

Este método de buscar el máximo común divisor, no es lo suficientemente efectivo debido a que para
números lo suficientemente grandes la factorización es muy dificil de hacer, por tanto, encontrar
todos los posibles divisores de a y b, es complicado.

Universidad de Antioquia Last modified: February 16, 2018 1

Gabriel Uribe Matematicas Discretas II 2017

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

Los números 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 números para decir que sólo tienen un divisor en común
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 números primos.
En si el problema de buscar el máximo común divisor entre dos números se complica, debido a los
pocos algoritmos que existen para factorizar números. Existen varios métodos para encontrarlo y
algunas propiedades que ayudan a simplificar el cálculo pero estos computacionalmente hablando
no reducen las operaciones que se deben hacer.
A continuación, se mostrarán algunas de estas propiedades:

Teorema 1 1. Cada divisior común 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 combinación 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 números en la sucesión 101, 104, 109, 116, dots son de la forma an = 100 + n2 ,
donde n = 1, 2, 3, . . . . halle el máximo 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: February 16, 2018 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 fracción es irreducible para cada número 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 máximo común divisor, lo
que significa que nunca van a tener factores en común. Ası́ la fracción 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 división y en la división misma. Este
funciona de la siguiente manera:

Algoritmo de Euclides
Dados dos números 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 división 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 división,
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
rn−1 = rn qn+1 + rn+1 0 ≤ rn+1 < rn
y como rn+1 = 0, entonces rn = mcd(a, b).
A continuación se verán 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: February 16, 2018 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 comparación de
números enteros es el del mı́nimo común múltiplo el cual se define a continuación:

Definición 3 Dados dos números enteros a y b, no ambos cero, se define el mı́nimo común
múltiplo 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 mı́nimo común múltiplo entre a y b.

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

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

De nuevo, calcular el mı́nimo común múltiplo se convierte en un problema de factorización, que

como se mencionó anteriormente es muy dı́ficil de hacer para números suficientemente grandes. El
siguiente teorema muestra una forma fácil de encontrar el mı́nimo común múltiplo:

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 sólo la busquedad del mcd(a, b) y ası́, se
puede escribir el
mcm(a, b) = (ab/mcd(a, b))

Universidad de Antioquia Last modified: February 16, 2018 4

Gabriel Uribe Matematicas Discretas II 2017

Ejercicios 1 Los siguientes ejercicios son para la práctica

1. Calcule mcd(123456, 345678)

2. Calcule mcd(234563, 3896042)

3. Calcule mcd(572381, 68942349)

4. Encuentre el máximo común divisor entre 123 y 321, utilizando el hecho que 41 y 107 son
números primos.

5. Si A es el conjunto de todos los números que pueden ser representados como el producto de
tres números consecutivos, halle el máximo común divisor entre todos los elementos de A.

6. Encuentre el máximo común divisor entre 5! y 6!.

7. El máximo común divisor entre 6 × 35 y 8 × 15 es:

8. El máximo común divisor entre los tres números 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 máximo común divisor y el mı́nimo común múltiplo entre 18 y 42.

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

12. El mı́nimo común múltiplo entre dos números es 3720 y su máximo común divisor es 8, dado
que uno de los números es 120, encuentre el otro número.

13. El mı́nimo común múltiplo entre dos números es 7! y su máximo común divisor es 9, dado
que uno de los números es 315, encuentre el otro número.

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

15. El producto de dos enteros es 144, La razón de su mı́nimo común múltiplo y su máximo
común divisor es igual a 9. ¿Cuál es la suma de los dos enteros?

Universidad de Antioquia Last modified: February 16, 2018 5