UNIDAD IV.

MAXIMO COMUN DIVISOR Y MINIMO COMUN MULTIPLO

Si a, b son enteros no ambos nulos, entonces d es un divisor común de a y b si | y |

Denotamos con al conjunto de divisores de a y con el conjunto de divisores de b.
Estos conjuntos no son vacíos pues al menos y . El máximo común divisor
común de a y b es el más grande entero positivo del conjunto .
Ejemplo. Hallar el máximo común divisor de -3 y 6
Solución. Primero hallar los divisores de cada número
{ } { }

Entonces { }

Por lo tanto, el máximo común divisor de -3 y 6 es 3

Antes de continuar, una pregunta: ¿por qué a y b no pueden ser ambos nulos?
Una definición más técnica y apropiada para el desarrollo teórico es,

Definición. Sean a, b enteros con al menos uno de los dos diferente de cero. El máximo
común divisor de a y b, denotado mcd(a, b) o como , es el entero positivo d que
satisface:
a) | y |
b) Si | y | , entonces |
Si se dice que a y b son relativamente primos o simplemente “coprimos”

Ejemplo.

Podemos probar que | y | ya que:

Si | , es decir existe talque
Si | es decir existe tal que

Ahora establecemos algunas propiedades útiles. Otras propiedades serán enunciadas más
adelante, cuando tengamos más herramientas para hacer las pruebas.

Teorema 1. Sean , no nulos

a) | |
b) | || |
c) Si entonces | |
d) Si entonces

1
En la práctica necesitamos calcular el máximo común divisor de varios números. Esto no es
problema, el siguiente teorema nos dice que el máximo común divisor de varios números se
puede calcular de la misma manera en la que sumamos: De dos en dos.

Teorema 2. Sean . Entonces

( )

Corolario 2.1. Sean , no todos nulos, si:

Ejemplo. Hallar el máximo común divisor de 3, 6, 12

Solución. Utilizando el problema anterior tenemos que

Usando el Teorema 2 tenemos el

Ya que
{ } { }

Entonces { }.

Por lo tanto, el máximo común divisor de 3 y 12 es 3

En las matemáticas, se define el máximo común divisor (abreviado MCD) de dos o más
números enteros al mayor número entero que los divide sin dejar residuo alguno.

El máximo común divisor de varios números es el mayor de sus divisores comunes y se

representa como MCD(a, b,… e,…)

Dados a y b dos números enteros distintos de cero. Si un número c divide a y b , es

decir, | | y , diremos que c es divisor común de a y b. Se puede observar que dos
números enteros cualesquiera tienen divisores comunes. Si los divisores comunes
de a y b son únicamente 1 y -1 entonces diremos son primos entre sí.

Un número entero d se llama máximo común divisor (MCD) de los números a y b cuando:

1. d es divisor común de los números a y b

2. d es divisible por cualquier otro divisor común de los números a y b.

2
Los métodos más utilizados para el cálculo del máximo común divisor de dos números son
detallados a continuación.

a) Descomposición en factores primos

El máximo común divisor de dos números puede calcularse determinando la
descomposición en factores primos de los dos números y tomando los factores
comunes elevados a la menor potencia, el producto de los cuales será el MCD.
Ejemplo. Calcular el máximo común divisor de 48 y de 60.
Solución. Se factoriza cada número por medio de la factorización en factores primos.

El MCD son los factores comunes con su menor exponente, es decir

Ejemplo. Calcular el máximo común divisor de 125, 15 y de 30.

Solución. Se factoriza cada número por medio de la factorización en factores primos.

Se toman los factores comunes con su menor exponente y se multiplican dichos factores (si
los hay) y el resultado obtenido es el mcd:
Por tanto el

3
Ejemplo. Calcular el máximo común divisor de 72, 108 y de 60.
Solución. Se factoriza cada número por medio de la factorización en factores primos.

Se toman los factores comunes con su menor exponente y se multiplican dichos factores y
el resultado obtenido es el mcd:
Por tanto el . El número 12 es el mayor número que divide a
72,108 y a 60.

Propiedades del máximo común divisor

1) Los divisores comunes de varios números coinciden con los divisores del máximo
común divisor.

Ejemplo. Calcular los divisores comunes de 54 y 90

Solución. Calculamos el máximo común divisor entre 54 y 90

Entonces el mcd(54,90)=2.3.3=18
Los divisores comunes de 54 y 90 son los divisores de 18, que son: 1,2,3,6,9,18.

2) Dados varios números, si se multiplican o se dividen por otro número entonces su mcd
tambien queda multiplicado o dividido por el mismo número.

Ejemplo. Hallar el mcd entre 162 y 270

Solución. Usando el ejemplo anterior tenemos:
3.54=162 y 3.90=270. Entonces tenemos que el

4
Descomponer en factores primos 162 y 270

Por lo tanto el

3) La siguiente propiedad es consecuencia de la anterior. Dados varios números, si se

dividen por su mcd los cocientes resultantes son primos entre si y su mcd es 1.

Ejemplo. Usando el problema anterior y el

Dividiendo cada número entre 18 para verificar la propiedad 3
54/18 = 3 y 90/18 = 5
Podemos ver que el mcd(3,5) = 1, es decir 3 y 5 son primos entre si.

4) Si un número es divisor de otro, entonces este es el mcd de los dos.

Ejemplo. Calcular el mcd(12,36)

Solución. Tenemos que el número 12 es divisor de 36. Calcularemos el mcd entre ellos
12 = 2.2.3
36 = 2.2.3.3
Por lo tanto el mcd(12,36)=2.2.3=12

EJERCICIOS
Escribe

Calcular mentalmente el mcd para cada pareja de números

Calcular el mcd (Tarea el d y e)

5
Calcular el mcd

Calcular el mcd

Calcular el mcd

Tarea mcd(80,100)

6
b) Algoritmo de Euclides

El algoritmo de Euclides se basa en la aplicación sucesiva del siguiente lema:

Lema 1. Sean tal que , con . Entonces

Este resultado se puede usar para obtener un algoritmo para calcular el máximo común
divisor de dos números.

Para calcular el máximo común divisor entre dos números enteros positivos a y b, se divide
el más grande, digamos a, entre el más pequeño, digamos b. Esta división nos
proporcionará un cociente y un residuo . Si , entonces el mcd(a,b) = b. Si no es
cero se divide el divisor entre el residuo , obteniendose otro cociente, y otro
residuo . Si , entonces el . Si no es cero volvemos a dividir el
divisor entre el resto. Y así sucesivamente.
Esto es, el máximo común divisor entre y es el último resto distinto de cero que
obtengamos con el procedimiento anterior.

Ejemplo. Calcular el mcd(721,448)

Solución. Como se explico se divide el número mayor entre el número menor; si el resto no
es cero se divide el divisor entre resto; y así sucesivamente hasta que llegamos a un punto
en el que el residuo es cero. Los resultados de las divisiones se expresan como:
Dividendo = divisor. Cociente + residuo
721 = 448.1 + 273
448 = 273.1 + 175

7
273 = 175.1 + 98
175 = 98.1 + 77
98 = 77.1 + 21
77 = 21.3 + 14
21 = 14.1 + 7 *
14 = 7.2 + 0
Entonces el mcd(721,448) = 7, el útimo divisor que no es nulo.

Ejemplo. Calcular el mcd(256,96)

Solución. Hacemos las respectivas divisiones de acuerdo al Algoritmo de Euclides.

256 = 96.2 + 64

96 = 64.1 + 32

64 = 32.2 + 0
Por lo tanto el mcd(256,96) = 32, lo cual puede verificarse usando la factorización.

Por lo que el mcd(256,96) =

8
c) Otra regla práctica para hallar el mcd de dos números es el método por divisiones
sucesivas.
Esta regla es casi similar al del algoritmo de Euclides, se divide el mayor de los
números dados entre el menor . Si la división es exacta, el menor es el mcd. Si la
división es inexacta, se divide el divisor entre el primer residuo; el primer residuo entre
el segundo, éste entre el tercero y así sucesivamente hasta obtener una división exacta.
El último divisor será el mcd.
Ejemplo. Hallar el mcd de 150 y 25.
Solución.
6
25 150
0

Por tanto el mcd(150,25) = 25

Ejemplo. Hallar el mcd de 2227 y 2125

Solución.

Por tanto el mcd(2227, 2125) = 17

Nota. Si al hallar el mcd encontramos un residuo que sea primo y la división siguiente
no es exacta, no es necesario seguir la operación; se puede afirmar que el mcd es 1, osea
que los números son primos entre sí.

Ejemplo. Hallar el mcd de 1471 y 462.

Solución.

2 5 3
37 85 462 1471
11 37 85

Se ha encontrado que el residuo es un número primo y la siguiente división no es

exacta. Por tanto el mcd(1471,462) = 1. En efecto el mcd de 1471 y 462 es el de 462 y
85 y éste es de 85 y 37, pero como 37 es primo, el mcd de 85 y 37 sólo puede ser 37 o
1; 37 no lo es porque la división de 85 entre 37 no es exacta, luego tiene que ser 1, es
decir 1471 y 462 son primos entre sí.

9
Ejemplo. Calcular por medio de divisiones sucesivas el mcd(5293,4757)
Solución.
 Hacer un cuadro
 Colocar los números en las primeras celda.
 Dividir el número mayor entre el menor colocando el cociente encima del divisor
 Cada residuo diferente de cero se pasa como nuevo divisor. Si es cero, el proceso
termina.
 El último divisor es el mcd

Por lo tanto el mcd(5293,4757) = 67

Teorema. Para hallar el mcd de más de dos números por divisiones sucesivas hallar
primero el de dos de ellos; después el de otro de los números dados y el mcd hallado;
después el de otro número y el segundo mcd y asi sucesivamente hasta el último número. El
último mcd es el mcd de todos los números dados.

Ejemplo. Hallar el mcd de 4940, 4420, 2418 y 1092 por divisiones sucesivas.
Solución. Por conveniencia se comenzará por los dos números menores.

2 1 4 2
78 156 234 1092 2418
0 78 156 234
El mcd(2418,1092) = 78

Encontrar el máximo común divisor de 4420 y 78

2 1 56
26 52 78 4420
0 26 52

El mcd(4420,78) = 26

Encontrar el máximo común divisor de 4940 y 26

190
26 4940
0

10
El mcd(4940,26) = 26
Podemos concluir entonces que el mcd(4940,4420,2418,1092) = 26
Observación. Al hallar el mcd de varios números si alguno de los números dados es
múltiplo de otro puede prescindirse del número mayor.

Ejemplo. Hallar el mcd de 529, 1058,690 y 2070.

Solución. Como 1058 es múltiplo de 529 prescindimos de 1058 y como 2070 es múltiplo
de 690 prescindimos de 2070. Nos quedamos con 529 y 690 y encontramos el mcd entre
ellos.

2 3 3 1
23 46 161 529 690
0 23 46 161

Por lo tanto el mcd(529,1058,690,2070) = 23

d) Método de las restas sucesivas

Este método es menos eficaz que el algoritmo de Euclides. Este método utiliza la
propiedad siguiente: Sean a y b dos números naturales, entonces si a = b se tiene que el
; y en caso contrario, si o bien , deberá complirse que
{ } { } { }
Intercambiando los términos de la resta si el minuendo fuese menor que el sustraendo,
hasta el paso en que el resultado de dicha resta sea cero, debemos concluir entonces que
el máximo común divisor de a y b es igual a los valores de los términos de la última
resta.
Ejemplo. Calcular el máximo común divisor de 1150 y 220 empleando el algoritmo de
las restas sucesivas.
Solución. La siguiente tabla muestra el procedimiento manual de las restas sucesivas.

11
Por lo tanto el mcd(1150,220) = 10

e) Método abreviado. El mcd de varios números por descomposicion en factores primos

puede hallarse con rapidez dividiendo al mismo tiempo todos los números dados entre
el factor común, los cocientes nuevamente entre un factor común y así sucesivamente
hasta que los cocientes sean primos entre sí. El mcd es el producto de los factores
comunes.
Ejemplo. Hallar el mcd de 208,910 y 1690 por el método abreviado.
Solución. Factorizamos los números dados de la forma siguiente:

208 910 1690 2

104 455 845 13
8 35 65
El mcd(208,910,1690) = 2.13 = 26

En este caso 208, 910 y 1690 tienen factor común 2 y se han obtenido los cocientes
104, 455 y 845. Estos cocientes tenian un factor común que es 13, se han dividido
nuevamente y se obtuvo 8,35 y 65 que ya no tienen ningún divisor común.

Ejemplo. Hallar el mcd de 3430, 2450,980 y 4410 por el método abreviado

Solución. Haciendo el mismo proceso anterior. Se obtiene:

3430 2450 980 4410 10

343 245 98 441 7
49 35 14 63 7
7 5 2 9

Por lo tanto el mcd(3430,2450,980,4410) = 10.7.7 = 490

GLOSARIO
Divisor: un número es divisor de otro cuando lo divide exactamente. A los divisores
también se les llama factores.
Factor primo: en teoría de números, los factores primos de un número entero son los
números primos divisores exactos de ese número entero. El proceso de búsqueda de esos
divisores se denomina factorización de enteros, o factorización de primos.
Máximo Común Divisor: en matemáticas, se define el máximo común divisor (abreviado
MCD) de dos o más números enteros al mayor número que los divide sin dejar resto.
Mínimo Común Múltiplo: el mínimo común múltiplo (abreviado mcm) de dos o más
números naturales es el menor número natural que es múltiplo de todos ellos. Solo se aplica

12
con números naturales, es decir, no se usan decimales, números negativos o números
complejos.
Múltiplo: un número es múltiplo de otro si lo contiene varias veces exactamente. Un
número a es múltiplo de otro b cuando es el resultado de multiplicarlo por otro número c.
Fuente:
Número compuesto: número que tiene uno o más divisores distintos a 1 y a sí mismo.
También se utiliza el término divisible para referirse a estos números.
Número primo: un número primo es un número natural mayor que 1 que tiene únicamente
dos divisores distintos: él mismo y el número 1.

EJERCICIOS(Tarea de cada bloque de ejercicios hacer el 15 y 18)

Hallar por simple inspección el mcd de:

Hallar por divisiones sucesivas el mcd de:

Hallar por divisiones sucesivas el mcd de:

13
Hallar el mcd por el metodo abreviado

De los problemas hacer el No7, de todos y cada uno de los bloques hacer el 15 y el 18

14