Máximo común
divisor
mayor número entero que divide dos
números enteros sin dejar residuo
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.
Precisiones
El 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 (M.C.D) de los números a y
b cuando:
1. d es divisor común de los números a
yb
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, 2, 3,
4, 6 y 12 que son divisores comunes de
36 y 60.[2]
Cálculo del máximo común
divisor
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
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 cualesquiera.
Usando el 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
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
El máximo común divisor de tres o más
números se puede definir usando
recursivamente:
.[3] [4]
Propiedades
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
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 entero[8]
8. Si (m, b)= 1 entonces (am, b)= (a,
b)[9]
9. Si (m,b)= 1, (am, n) = 1 entonces (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 solo si b | a, ( O sea si a
es múltiplo de b).
13. Si (a,b)= D, entonces (an, bn) = Dn[12]
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]
15. [14]
MCD como operación interna
EL MCD se puede estructurar como una
operación en Z de este modo a
cualquier par de enteros, o sea a un
elemento de Sporting le asigna un único
elemento de Z
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)= a[15]
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 a[17]
Aplicaciones
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).[19]
Véase también
Mínimo común múltiplo
Números primos entre sí
Referencias
1. «División inexacta» (1997) Belski y
Kaluzhin Editorial Científica, Lima;
pg.10
2. Ibídem, pg. 10
3. Vinogradov: Fundamentos de la teoría
de números, editorial mir.
4. Castellet, Álgebra lineal y geometría,
tema I.
5. Ibídem, pg. 11
6. Ibídem, pg. 13
7. Vorobiov: Números de Fibonacci,
Editorial Mr, Moscú (1974)
8. Enzo gentile, Aritmética elemental,
ediciones OEA
9. Gentile: Aritmética elemental OEA
10. Niven y Zuckerman: Teoría de los
números
11. Gentile: Aritmética elemental
12. Santillana: "Aritmética razonada", Lima
13. Kostrikin: Introducción al álgebra,
Editorial Mir, Moscú (1974)
14. Se pude comprobar teniendo en
cuenta que (a/d, b/d)= 1, d=MCD
15. Cotlar- Sadosky: Introducción al
álgebra Eudeba, BS. As
16. Gentile: Ibídem
17. Pues el 1 es divisor de todo entero, o
bien genera los elementos de Z
18. Ibídem pg. 17 y 20
19. Gentile: Aritmética elemental OEA
(1987)
Enlaces externos
Weisstein, Eric W. «Greatest Common
Divisor» ([Link]
m/[Link]) . En
Weisstein, Eric W, ed. MathWorld (en
inglés). Wolfram Research.
El Máximo común divisor en
Enciclopedia libre universal en español
([Link]
M%C3%A1ximo_com%C3%BAn_divisor)
Calculadora de mínimo común múltiplo
y Máximo común divisor ([Link]
[Link]/calculadora-de-mcd/)
Método para calcular Máximo común
divisor y mínimo común múltiplo a la
vez ([Link]
y-mcm-2-pajaros-de-un-tiro/) Archivado
([Link]
054559/[Link]
cd-y-mcm-2-pajaros-de-un-tiro/) el 1 de
junio de 2017 en Wayback Machine.
Datos: Q131752
Multimedia: Greatest common divisor
([Link]
Category:Greatest_common_divisor) /
Q131752 ([Link]
org/wiki/Special:MediaSearch?type=im
age&search=%22Q131752%22)
Obtenido de
«[Link]
title=Máximo_común_divisor&oldid=148878124»
Esta página se editó por última vez el 27 ene 2023
a las 09:19. •
El contenido está disponible bajo la licencia CC
BY-SA 3.0 , salvo que se indique lo contrario.
