Mximo comn divisor

Saltar a: navegacin, bsqueda En matemticas, se define el mximo comn divisor (abreviado MCD) de dos o ms nmeros enteros al mayor nmero que los divide sin dejar resto. Por ejemplo, el MCD de 42 y 56 es 14. En efecto, y 3 y 4 son primos entre s (no existe ningn nmero natural aparte de 1 que divida a la vez al 3 y al 4).

Contenido

1 Clculo del MCD o 1.1 Por descomposicin en factores primos o 1.2 Usando el algoritmo de Euclides o 1.3 Usando el mnimo comn mltiplo o 1.4 MCD de tres o ms nmeros o 1.5 Mtodo de Nicmaco 2 Propiedades 3 Aplicaciones 4 Vase tambin 5 Enlaces externos

Clculo del MCD

Los dos mtodos ms utilizados para el clculo del mximo comn divisor de dos nmeros son:

Por descomposicin en factores primos

Artculo principal: Factorizacin de enteros.

El mximo comn divisor de dos nmeros puede calcularse determinando la descomposicin en factores primos de los dos nmeros y tomando los factores comunes elevados a la menor potencia, el producto de los cuales ser el MCD. Por ejemplo, para calcular el mximo comn divisor de 48 y de 60 obtenemos la factorizacin en factores primos De las factorizaciones de 48 y 60:

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

En la prctica, este mtodo solo es operativo para nmeros pequeos tomando en general demasiado tiempo calcular la descomposicin en factores primos de dos nmeros cualesquiera.

Usando el algoritmo de Euclides

Artculo principal: Algoritmo de Euclides.

Un mtodo ms eficiente es el algoritmo de Euclides, que utiliza el algoritmo de la divisin junto al hecho que el MCD de dos nmeros tambin divide al resto obtenido de dividir el mayor entre el ms pequeo. Por ejemplo, si se divide 60 entre 48 dando un cociente de 1 y un resto de 12, el MCD ser por tanto divisor de 12. Despus se divide 48 entre 12 dando un resto de 0, lo que significa que 12 es el mcd. Formalmente puede describirse como:

En la prctica, este mtodo solo es operativo para nmeros pequeos tomando en general

Usando el mnimo comn mltiplo

El mximo comn divisor tambin puede ser calculado usando el mnimo comn mltiplo. Si a y b son distintos de cero, entonces el mximo comn divisor de a y b se obtiene mediante la siguente frmula, que involucra el mnimo comn mltiplo (mcm) de a y b:

MCD de tres o ms nmeros

El mximo comn divisor de tres nmeros se puede calcular como sigue: , aunque hay mtodos ms prcticos y sencillos.

Mtodo de Nicmaco
Su clculo se basa en restar al mayor nmero el menor hasta que nos de el mismo nmero:

60 | 48 12 | 36 | 24 | 12 M.C.D (60,48) = 12

Propiedades
1. Si 2. Si 3. Si es un entero, es un nmero primo, entonces o bien , entonces

4. Si entonces 5. Si 6. Si 7. Si entonces: es un divisor comn de , entonces y , entonces

La ltima propiedad indica que el mximo comn divisor de dos nmeros resulta ser el producto de sus factores primos comunes elevados al menor exponente. Geomtricamente, el mximo comn divisor de a y b es el nmero de puntos de coordenadas enteras que hay en el segmento que une los puntos (0,0) y (a,b), excluyendo el (0,0).

Aplicaciones
El MCD se utiliza para simplificar fracciones. Por ejemplo, para simplificar la fraccin se calcula primero el mcd(60, 48) = 12, dividindose el numerador y el denominador de la fraccin inicial por 12 para obtener la fraccin simplificada . El MCD tambin se utiliza para calcular el mnimo comn mltiplo de dos nmeros. En efecto, el producto de los dos nmeros es igual al producto de su mximo comn divisor por su mnimo comn mltiplo. As, para calcular el mnimo comn mltiplo de 48 y de 60, calculamos primero su mcd, 12, siendo su mnimo comn mltiplo .

nformacin adicional
de varios numeros osea el maximo comun divisor por ejemplo de 30, 54, 18, y 12 hace 4 aos

Mejor respuesta - Elegida por la comunidad

M.C.D --->de varios nmeros, se descomponen en "factores primos", siendo el M.C.D-->el producto de los factores comunes de menor exponente.

Ejemplo M.C.D de (144 y 360) 144.2 ..72.2 ..36.2 ..18.2 ....9.3 ....3.3 ....1. 144 = 2^4 . 3

360.2 180.2 ..90.2 ..45.3 ..15.3 ....5.5

....1. 360 = 2 . 3 . 5

Entonces, los factores comunes son 2 y 3 y los de menor exponente son: 2 y 3 Por lo tanto, el M.C.D. (144, 360)= 2 . 3 --->8.9=72 2 . 3 ...... 8 . 9 =72

Ahora M.C.D (30, 54,18,12) ..30.2 ..15.3 ....5.5 ....1. 30 = 2.3.5

..54.2 ..27.3 ....9.3 ....3.3 ....1. 54 = 2.3

..18.2 ....9.3 ....3.3 ....1. 18 = 2 . 3

..12.2 ....6.2 ....3.3 ....1. 12 = 2 . 3

Entonces, los factores comunes son 2 y 3 y los de menor exponente son: 2 y 3 M.C.D. (30,54,18,12)= 2 . 3 --->2.3 = 6

Algoritmo de Euclides
Saltar a: navegacin, bsqueda El algoritmo de Euclides es un mtodo antiguo y eficaz para calcular el mximo comn divisor (MCD). Fue originalmente descrito por Euclides en su obra Elementos. El algoritmo de Euclides extendido es una ligera modificacin que permite adems expresar al mximo comn divisor como una combinacin lineal. Este algoritmo tiene aplicaciones en diversas reas como lgebra, teora de nmeros y ciencias de la computacin entre otras. Con unas ligeras modificaciones suele ser utilizado en computadoras electrnicas debido a su gran eficiencia.

Contenido

1 Algorimo original de Euclides 2 Algoritmo de Euclides tradicional o 2.1 Generalizacin o 2.2 Descripcin formal 3 Algoritmo de Euclides extendido o 3.1 Fundamentos o 3.2 Descripcin formal 4 Aplicaciones o 4.1 Simplificar fracciones o 4.2 Fracciones continuas o 4.3 Inversos modulares 5 Complejidad del algoritmo 6 Implementacin en pseudocdigo 7 Referencias 8 Enlaces externos

Algorimo original de Euclides

AB y CD los segmentos conmensurables.

Ejemplo del algoritmo original de Euclides. En la concepcin griega de la matemtica, los nmeros se entendan como magnitudes geomtricas. Un tema recurrente en la geometra griega es el de la conmensurabilidad de dos segmentos: dos segmentos (nmeros) AB y CD son conmensurables cuando existe un tercer segmento PQ el cual cabe exactamente un nmero entero de veces en los primeros dos, es decir, PQ mide (mensura: medida) a los segmentos AB y CD. No cualquier par de segmentos es conmensurable, como encontraron los pitagricos cuando establecen que el lado y la diagonal de un cuadrado no son conmensurables,

pero en el caso de dos segmentos conmensurables se desea hallar la mayor medida comn posible. Euclides describe en la proposicin VII.2 de sus Elementos un mtodo que permite hallar la mayor medida comn posible de dos nmeros (segmentos) que no sean primos entre s, aunque de acuerdo a la poca tal mtodo se explica en trminos geomtricos, lo que se ilustra en la siguiente transcripcin. Para encontrar la mxima medida comn de dos nmeros que no sean primos entre s.

Sean AB y CD los dos nmeros que no son primos uno al otro. Se necesita entonces encontrar la mxima medida comn de AB y CD. Si CD mide AB entonces es una medida comn puesto que CD se mide a s mismo. Y es manifiesto que tambin es la mayor medida pues nada mayor a CD puede medir a CD. Pero si CD no mide a AB entonces algn nmero quedar de AB y CD, el menor siendo continuamente restado del mayor y que medir al nmero que le precede. Porque una unidad no quedar pues si no es as, AB y CD sern primos uno del otro [Prop. VII.1], lo cual es lo contrario de lo que se supuso. Por tanto, algn nmero queda que medir el nmero que le precede. Y sea CD midiendo BE dejando EA menor que s mismo y sea EA midiendo DF dejando FC menor que s mismo y sea FC medida de AE. Entonces, como FC mide AE y AE mide DF, FC ser entonces medida de DF. Y tambin se mide a s mismo. Por tanto tambin medir todo CD. Y CD mide a BE. Entonces CF mide a BE y tambin mide a EA. As mide a todo BA y tambin mide a CD. Esto es, CF mide tanto a AB y CD por lo que es una medida comn de AB y CD. Afirmo que tambin es la mayor medida comn posible porque si no lo fuera, entonces un nmero mayor que CF mide a los nmeros AB y CD, sea ste G. Dado que G mide a CD y CD mide a BE, G tambin mide a BE. Adems, mide a todo BA por lo que mide tambin al residuo AE. Y AE mide a DF por lo que G tambin mide a DF. Mide tambin a todo DC por lo que mide tambin al residuo CF, es decir el mayor mide al menor, lo cual es imposible. Por tanto, ningn nmero mayor a CF puede medir a los nmeros AB y CD. Entonces CF es la mayor medida comn de AB y CD, lo cual se quera demostrar. Euclides. Elementos VII.2

En lenguaje moderno, el algoritmo se describe como sigue:

1. Dados dos segmentos AB y CD (con AB>CD), restamos CD de AB tantas veces como sea posible. Si no hay residuo, entonces CD es la mxima medida comn. 2. Si se obtiene un residuo EA, ste es menor que CD y podemos repetir el proceso: restamos EA tantas veces como sea posible de CD. Si al final no queda un residuo, EA es la medida comn. En caso contrario obtenemos un nuevo residuo FC menor a EA. 3. El proceso se repite hasta que en algn momento no se obtiene residuo. Entonces el ltimo residuo obtenido es la mayor medida comn. El hecho de que los segmentos son conmesurables es clave para asegurar que el proceso termina tarde o temprano

Algoritmo de Euclides tradicional

Al dividir entre (nmeros enteros), se obtiene un cociente y un residuo . Es posible demostrar que el mximo comn divisor de y es el mismo que el de y (Sea c el mximo comn divisor de y ,.Como a=bq+r y c divide a y a divide tambin a r.Si existiera otro nmero mayor que c que divide a b y a q, tambin dividira a a , por lo que c no sera el mcd de y , lo que contradice la hiptesis). ste es el fundamento principal del algoritmo. Tambin es importante tener en cuenta que el mximo comn divisor de cualquier nmero y es precisamente . Para fines prcticos, la notacin significa mximo comn divisor de y .

Segn lo antes mencionado, para calcular el mximo comn divisor de 2366 y 273 se puede proseguir de la siguiente manera: Paso 1 2 3 Operacin 2366 dividido entre 273 es 8 y sobran 182 273 dividido entre 182 es 1 y sobran 91 182 dividido entre 91 es 2 y sobra 0 Significado

La secuencia de igualdades implican que . Dado que ,

entonces se concluye que . Este mismo procedimiento se puede aplicar a cualesquiera dos nmeros naturales. En general, si se desea encontrar el mximo comn divisor de dos nmeros naturales y , se siguen las siguientes reglas: 1. Si entonces y el algoritmo termina donde es el resto de dividir se utilizan estas mismas reglas y . Aplicando estas reglas se obtiene la siguiente entre

2. En otro caso, . Para calcular Asuma que llamamos secuencia de operaciones:

Paso 1 2 3

Operacin dividido entre es y sobran dividido entre dividido entre dividido entre dividido entre es es es es y sobran y sobran y sobran y sobra

Significado

Como la sucesin de residuos va disminuyendo, eventualmente un residuo tiene que ser cero y es en ese momento cuando el algoritmo termina. El mximo comn divisor es precisamente (el ltimo residuo que no es cero).

Generalizacin
En realidad el algoritmo de Euclides funciona no slo para los nmeros naturales, sino para cualesquiera elementos donde exista una "divisin con residuo". A este tipo de divisiones se les llama divisiones euclidianas y a los conjuntos donde se puede definir dicha divisin se les llama dominios eucldeos. Por ejemplo, el conjunto de los nmeros enteros y el de los polinomios con coeficientes racionales son dominios eucldeos porque podemos definir una divisin con residuo (vase Divisin polinomial). De esta manera, se puede calcular el mximo comn divisor de dos nmeros enteros o de dos polinomios. Por ejemplo, para calcular el mximo comn divisor de los polinomios y siguiente secuencia de operaciones: Pas o Operacin dividido entre es y sobra el algoritmo de Euclides sugiere la

Significado

dividido entre es y sobra

dividido entre es y sobra 0

De esta manera se concluye que su mximo comn divisor es

Descripcin formal
Se puede expresar este algoritmo de manera ms formal usando pseudocdigo. En este caso la expresin " " significa "el residuo de dividir entre " (vase Aritmtica modular). Algoritmo 1 de Euclides Entrada: Valores y pertenecientes a un dominio eucldeo Salida: Un mximo comn divisor de y 1. , 2. 3. Mientras haga lo siguiente: 1. 2. 4. El resultado es:

Vale la pena notar que este algoritmo no es eficiente ser implementado directamente en una computadora, ya que requerira memorizar todos los valores de .

Algoritmo de Euclides extendido

El algoritmo de Euclides extendido permite, adems de encontrar un mximo comn divisor de dos nmeros enteros y , expresarlo como la mnima combinacin lineal de esos nmeros, es decir, encontrar nmeros enteros y tales que . Esto se generaliza tambin hacia cualquier dominio euclideano.

Fundamentos
Existen varias maneras de explicar el algoritmo de Euclides extendido, una de las ms comunes consiste en la siguiente: 1. Usar el algoritmo tradicional de Euclides. En cada paso, en lugar de " dividido entre es y de resto " se escribe la ecuacin (vase algoritmo de la divisin). 2. Se despeja el resto de cada ecuacin. 3. Se sustituye el resto de la ltima ecuacin en la penltima, y la penltima en la antepenltima y as sucesivamente hasta llegar a la primera ecuacin, y en todo paso se expresa cada resto como combinacin lineal.

Sin embargo, en aras de la comprensin y memorizacin de este algoritmo, es conveniente conocer la siguiente caracterizacin. Para multiplicar dos matrices de tamao se usa la siguiente frmula (vase Producto de matrices):

(1) Supngase que se utiliza el algoritmo de Euclides tradicional para calcular los valores y que ah se describen. Por cada valor calculado se puede formar la matriz . Usando la ecuacin (1) de manera repetida se puede calcular el producto las primeras matrices de este tipo:

Resulta ser que los valores y tienen la propiedad de que , es decir, expresan a como una combinacin lineal de y . Particularmente, como entonces se tiene , lo cual es la solucin del problema. Esta propiedad no debera ser sorprendente, pues esta multiplicacin de matrices equivale al mtodo antes descrito donde se substituye cada ecuacin en la anterior. Es importante calcular en ese mismo orden. La matriz aparece en el extremo derecho y la matriz en el izquierdo. Regresando al primer ejemplo, la sucesin de cocientes es Entonces se puede calcular , y .

Utilizando el primer rengln de esta matriz se puede leer que , es decir, se ha encontrado la manera de expresar al mximo comn divisor de 2366 y 273 como una combinacin lineal.

Descripcin formal
Para expresar el algoritmo de Euclides extendido es conveniente notar la manera en que se calculan los valores y con la multiplicacin de matrices:

De esta manera y adems algoritmo en pseudocdigo se puede expresar como sigue:

. Por lo tanto el

Algoritmo 2 de Euclides extendido Entrada: Valores y pertenecientes a un dominio eucldeo Salida: Un mximo comn divisor de y , y valores y tales que

1. 2. 3. Mientras haga lo siguiente: 1. Divida entre para obtener el cociente y el residuo 2. 3. 4. 4. El resultado es: es un mximo comn divisor de y y se expresa

Aplicaciones
Simplificar fracciones
Al momento de hacer clculos con fracciones, es de gran importancia saber cmo simplificarlas. Por ejemplo, la fraccin De manera ms general, cualquiera , slo se necesita dividir Por ejemplo, si se desea reducir encontrar es equivalente con (vase Nmero racional). . Para reducir una fraccin y entre su mximo comn divisor. siempre que

, primero se usa el algoritmo de Euclides para . Se hacen las divisiones y .

. Luego entonces se concluye que

Fracciones continuas
La sucesin de divisiones que se efectan al seguir algoritmo de Euclides puede ser utilizada para expresar una fraccin cualquiera como fraccin continua. Esto se debe a que si y , entonces

(3) Por ejemplo, para encontrar el mximo comn divisor de genera la siguiente secuencia de divisiones: Paso Operacin 1 93164 dividido entre 5826 es 15 y sobran 5774 y el algoritmo

Significado

2 3 4

5826 dividido entre 5774 es 1 y sobran 52 5774 dividido entre 52 es 111 y sobran 2 52 dividido entre 2 es 26 y sobra 0

Todas estas ecuaciones las podemos hacer parecidas a la ecuacin ( 3): 1. 2. 3. 4. Si se substituye la segunda ecuacin en la primera, se obtiene

Si se repite este proceso de substitucin entonces se obtiene la expresin deseada:

De manera ms general, la fraccin continua encontrada con este algoritmo siempre es de la forma

Inversos modulares
Artculo principal: Inverso multiplicativo (aritmtica modular).

Decimos que dos nmeros enteros son congruentes mdulo (aunque tambin se puede generalizar para cualquier otro dominio eucldeo) si al dividirlos entre obtenemos el mismo residuo (vase Congruencia). Por ejemplo, 7 es congruente con 12 mdulo 5 porque al dividir 7 entre 5 y 12 entre 5, en ambos casos obtenemos el mismo residuo (que es 2). Cuando es congruente con mdulo se escribe , en el ejemplo anterior se tiene . Supngase que se conocen los valores de , y , pero que se desconoce el valor la siguiente ecuacin: de

(2) Basta con encontrar un valor que tenga la caracterstica de que

, pues de esta manera al multiplicar la ecuacin (2) por se tendra la solucin deseada:

Al valor se le llama inverso modular de mdulo valor no siempre existe. Por ejemplo, con y entero entero si tal que

. Desafortunadamente este no existe ningn nmero

. De hecho este valor existe si y slo

. Ms an, si al usar el algoritmo de Euclides extendido (ahora con ) se obtiene , entonces el valor es el inverso modular de mdulo . Por ejemplo, se desea resolver la ecuacin

Entonces con el algoritmo de Euclides extendido se calcula que . Como inverso modular. Ms an, como Entonces entonces 5 tiene un , entonces ese inverso es 2.

Es decir que el valor de

es .

Complejidad del algoritmo

Grfica del nmero de divisiones efectuadas en el algoritmo de Euclides. El rojo indica pocas operaciones, mientras que los colores eventualmente ms azules representan mayor nmero de operaciones.

El teorema de Lam afirma que el caso peor para este algoritmo es cuando se le pide calcular el mximo comn divisor de dos nmeros consecutivos de la sucesin de Fibonacci. Por ejemplo, si se desea calcular el mximo comn divisor de y se obtiene la siguiente secuencia de operaciones: Paso Operacin 1 89 dividido entre 55 es 1 y sobran 34 2 3 4 5 6 7 8 9 55 dividido entre 34 es 1 y sobran 21 34 dividido entre 21 es 1 y sobran 13 21 dividido entre 13 es 1 y sobran 8 13 dividido entre 8 es 1 y sobran 5 8 dividido entre 5 es 1 y sobran 3 5 dividido entre 3 es 1 y sobran 2 3 dividido entre 2 es 1 y sobran 1 2 dividido entre 1 es 2 y sobra 0 Significado

En este ejemplo se observa que con estos dos nmeros de dos dgitos decimales, se necesita hacer 9 divisiones. En general, el nmero de divisiones efectuadas por el algoritmo nunca supera 5 veces el nmero de dgitos que tienen estos nmeros. En trminos de complejidad computacional, esto significa que se requieren divisiones para calcular el mximo comn divisor de y donde .

El nmero promedio de divisiones efectuadas por el algoritmo se estuvo investigando desde 1968, pero slo hasta apenas el ao 2002, Brigitte Valle demostr que si los dos nmeros se pueden representar con bits, entonces el nmero promedio de divisiones necesarias es .

Sin embargo, no basta con saber el nmero de divisiones. Hay que recordar que el algoritmo de Euclides funciona tanto para polinomios como para nmeros enteros, y en general, cualquier dominio Eucldeo. En cada caso, la complejidad del algoritmo depende del nmero de divisiones efectuadas y del costo de cada divisin. En el caso de los polinomios, el nmero de divisiones es polinomios. donde es el grado de los

Implementacin en pseudocdigo
En general, los algoritmos 1 y 2 no son muy apropiados para implementarse directamente en un lenguaje de programacin, especialmente porque consumen mucha memoria. Si no se necesitan los valores intermedios, y slo se desea calcular el mximo comn divisor de dos nmeros enteros, conviene usar estas variantes: Algoritmo de Euclides tradicional implementado de manera recurrente

Funcin

Si entonces: El resultado es En otro caso: El resultado es Algoritmo de Euclides tradicional implementado de manera iterativa Funcin Mientras El resultado es Algoritmo de Euclides extendido implementado de manera recurrente Funcin Si : entonces: : haga lo siguiente:

El resultado es En otro caso: El resultado es Algoritmo de Euclides extendido implementado de manera iterativa Funcin :

Mientras haga lo siguiente: Divida entre para obtener un cociente y un residuo El resultado es Algoritmo de Euclides extendido implementado de manera iterativa con matrices Funcin :

Mientras haga lo siguiente: Divida entre para obtener un cociente y un residuo

El resultado es Acerca de la notacin empleada:

significa "asigne a la variable el valor actual de ". En lenguajes como C, Java, C#, Python y Visual Basic esto significa simplemente x = y. En otros lenguajes como Pascal se traduce en a := b, en Maxima es a : b, en R, S y Ocaml es x <- y, e inclusive se utiliza la flecha x y como el caso de APL. significa que primero se evalan los valores y luego se asigna , etc. En lenguajes como Python, Ruby o Maxima esta instruccin tiene una estructura muy similar, como por ejemplo en Python: (x,y,z) = (a,b,c). En otros lenguajes es necesario el uso de variables auxiliares, como por ejemplo en lenguaje C: aux1 = b; aux2 = c; x = a; y = aux1; z = aux2;. significa "el cociente de dividir entre ". A esta operacin se le conoce tambin como la divisin truncada porque trunca la parte fraccionaria del nmero. En muchos lenguajes de programacin esto se implementa simplemente como a/b. Otras maneras son a\b (Visual Basic) , a div b (Pascal) o bien a//b (Python 3). significa "el residuo de dividir entre ". A esta operacin se le conoce simplemente como mdulo. En muchos lenguajes de programacin se implementa como a % b, mientras que en otros es a mod b (Visual Basic o Pascal) o bien a rem b (Ada).