Máximo común divisor

En matemáticas, se define el máximo común divisor (MCD) de dos o más números

enteros al mayor número entero que los divide sin dejar residuo.

Índice

 1Precisiones
 2Cálculo del MCD
o 2.1Por descomposición en factores primos
o 2.2Usando el algoritmo de Euclides
o 2.3Usando el mínimo común múltiplo
o 2.4MCD de tres o más números
 3Propiedades
o 3.1Proposiciones
o 3.2MCD como operación interna
 4Aplicaciones
 5Véase también
 6Referencias
 7Enlaces externos

Precisiones[editar]
Dados y dos números enteros distintos de cero. Si un número divide

a y , es decir, y , diremos que es divisor común de y

.1 Obsérvese que dos números enteros cualesquiera tienen divisores comunes. Si los

divisores comunes de y 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.
Ejemplo:
12 es el mcd de 36 y 60. Pues 12|36 y 12|60; a su vez 12 es divisible por 1, -1, 2, -
2, 3, -3, 4, -4, 6, -6, 12 y -12 que son divisores comunes de 36 y 60.2

Cálculo del MCD[editar]

Los tres métodos más utilizados para el cálculo del máximo común divisor de dos
números son:

Por descomposición en factores primos[editar]

Artículo principal: Factorización de enteros

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: para calcular el máximo común divisor de 48 y de 60 se obtiene de su
factorización en factores primos.

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

En la práctica, este método solo es operativo para números pequeños tomando en

general demasiado tiempo calcular la descomposición en factores primos de dos
números cualquiera.

Usando el algoritmo de Euclides[editar]

Artículo principal: Algoritmo de Euclides

Un método más eficiente es el algoritmo de Euclides, que utiliza el algoritmo de la

división junto al hecho que el MCD de dos números también divide al resto
obtenido de dividir el mayor entre el más pequeño.
Ejemplo 1:
Si se divide 60 entre 48 dando un cociente de 1 y un resto de 12, el MCD será por
tanto divisor de 12. Después se divide 48 entre 12 dando un resto de 0, lo que
significa que 12 es el MCD. Formalmente puede describirse como:

Ejemplo 2:
El MCD de 42 y 56 es 14. En efecto:

operando:

Usando el mínimo común múltiplo[editar]

El máximo común divisor también puede ser calculado usando
el mínimo común múltiplo. Si a y b son distintos de cero, entonces
el máximo común divisor de a y b se obtiene mediante la siguiente
fórmula, que involucra el mínimo común múltiplo de a y b:
MCD de tres o más números[editar]
El máximo común divisor de tres o más números se puede

definir usando recursivamente: .34

Propiedades[editar]

1. Si entonces

2. Si ,

3. Si es un número primo, entonces o

bien

4. Si , entonces

5. Si es un divisor común de y ,

entonces

6. Si , entonces

7. Si , entonces:

La última propiedad indica que el máximo común divisor

de dos números resulta ser el producto de sus factores
primos comunes elevados al menor exponente.
Geométricamente, el máximo común divisor de a y b es el
número de puntos de coordenadas enteras que hay en el
segmento que une los puntos (0,0) y (a,b), excluyendo el
(0,0).

Proposiciones[editar]

1. , d≥1 MCD(a, b) =
d.5
2. El m.c.d. de los números a y b puede ser
representado en forma de combinación lineal de
estos números. Esto es (a, b) = ax + by
3. Si dos números enteros son primos entre sí, i.e.
su mcd = 1 o en otra notación (a,b) = 1, entonces
cabe la representación ma + nb = 1
donde m y n son números enteros (Identidad de
Bézout).
4. si a|bc y (a,b) = 1, será a|c. En otras palabras, si
un número a divide un producto de otros dos
 números y es coprimo con uno de ellos, entonces
divide necesariamente el otro número o factor.6

5. MCD(a, m) = 1 MCD(a, n) = 1 MCD(

a, mn) = 1.6
6. (a,b) es divisor de (a, bc)7
7. t(a,b) = (ta, tb) para todo t entero8
8. Si (m, b)= 1 entonces (am, b)= (a, b)9
9. Si (m,b)= 1, (am, n) = 1 entones (am, bn) = (a, b)
10. Para todo x, (a, b)= (b, a) = (a, -b) = (a, b + ax)10
11. " Por definición, (0, 0) = 0 ".11 De tal modo el mcd
se definiría en todo ℤxℤ.
12. (a, b) = b si sólo si b | a, ( O sea si a es múltiplo
de b).
13. Si (a,b)= D, entonces (an, bn) = Dn12
14. mZ + nZ = (m,n)Z. Si sumamos sendos múltiplos
de dos enteros es lo mismo que considerar los
múltiplos de su máximo común divisor.13

14
15.
MCD como operación interna[editar]
 EL Mcd se puede estructurar como una operación en
ℤ, de este modo a cualquier par de enteros, o sea a
un elemento de ℤxℤ le asigna un único elemento de
ℤ.
 Para cualquier par de enteros (a,b) existe un entero
no negativo d que es su máximo común divisor. Esto
es a*b = (a,b) = d
 El MCD goza de la propiedad asociativa, como de la
propiedad conmutativa.
 El mcd posee un elemento identidad, el cero, de
modo tal que (a, 0)= (0,a)= a15
 El mcd tiene un comportamiento dual que el mínimo
común múltiplo y a los enteros no negativos a y b los
liga la ecuación ab = (a,b)[a,b]16
 Propiedad de 1: (a,1) = 1 para cualquier entero a17

Aplicaciones[editar]
El mcd se utiliza para simplificar fracciones. Por ejemplo,

para simplificar la fracción se calcula primero el

mcd(60, 48) = 12, dividiéndose el numerador y el
denominador de la fracción inicial por 12 para obtener la

fracción simplificada .
El mcd también se utiliza para calcular el mínimo común
múltiplo de dos números. En efecto, el producto de los
dos números es igual al producto de su máximo común
divisor por su mínimo común múltiplo. Así, para calcular el
mínimo común múltiplo de 48 y de 60, calculamos primero

su mcd, 12, siendo su mínimo común múltiplo .

El mcd y el algoritmo de Euclides se emplea en la
resolución de ecuaciones diofánticas lineales con dos
incógnitas.18
El algoritmo de Euclides se emplea en el desarrollo de un
número racional en fracción continuada (sic)