Algoritmo de Euclides 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. Algoritmo original de Euclides

AB y CD son 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 EF, ste es menor que CD y podemos repetir el proceso: restamos EF tantas veces como sea posible de CD. Si al final no queda un residuo, EF es la medida comn. En caso contrario obtenemos un nuevo residuo GH menor a EF. 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

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, es equivalente con (vase Nmero racional).

siempre que

. Para reducir una fraccin

cualquiera , slo se necesita dividir a y b entre su mximo comn divisor. Por ejemplo, si se desea reducir , primero se usa el algoritmo de Euclides para encontrar mcd(166,249) = 83. 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 que si a = bq + r y , entonces como fraccin continua. Esto se debe a .

(3) Por ejemplo, para encontrar el mximo comn divisor de 93164 y 5826 el algoritmo genera la siguiente secuencia de divisiones: Paso Operacin Significado 1 2 3 4 93164 dividido entre 5826 es 15 y sobran 5774 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 Decimos que dos nmeros enteros son congruentes mdulo m (aunque tambin se puede generalizar para cualquier otro dominio eucldeo) si al dividirlos entre m 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 a es congruente con b mdulo m se escribe , en el ejemplo anterior se tiene . Supngase que se conocen los valores de a, b y m, pero que se desconoce el valor x de la siguiente ecuacin: (2) Basta con encontrar un valor a
1

que

tenga

la

caracterstica

de

que
1

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

se

Al valor a 1 se le llama inverso modular de a mdulo m. Desafortunadamente este valor no siempre existe. Por ejemplo, con a = 4 y m = 6 no existe ningn nmero entero entero a 1 tal que . De hecho este valor existe si y slo si mcd(a,m) = 1. Ms an, si al usar el algoritmo de Euclides extendido (ahora con b = m) se obtiene 1 = as + mt, entonces el valor s es el inverso modular de a mdulo m. Por ejemplo, se desea resolver la ecuacin Entonces con el algoritmo de Euclides extendido se calcula que mcd(5,9) = 1 = 5(2) + 9( 1). Como mcd(5,9) = 1 entonces 5 tiene un inverso modular. Ms an, como 1 = 5(2) + 9( 1), entonces ese inverso es 2. Entonces Es decir que el valor de x es 4.

Referencias von zur Gathen, Joachim; Gerhard, Jrgen (2003). The Euclidean Algorithm. Modern Computer Algebra. Cambridge University Press. ISBN 0-521-82646-2. Shoup, Victor (2008). Euclids algorithm. A Computational Introduction to Number Theory and Algebra. Cambridge University Press. ISBN 978-0-521-851541. Johnsonbaugh, Richard (2005). Introduccin a la teora de nmeros. Matemticas Discretas. Mxico: PEARSON EDUCACIN. ISBN 970-26-0637-3.

Ralph P. Grimaldi (1998). Propiedades de los nmeros enteros: Induccin matemtica. Matemticas Discreta y Combinatoria. Mxico: Addison Wesley Longman de Mxico. ISBN 968-444-324-2. Lipschutz, Seymour; Lipson, Marc (2009). Propiedades de los enteros. Matemticas Discretas. McGraw-Hill. ISBN 978-970-10-7236-3. Brassard, Gilles; Bratley, Paul (1997). Anlisis de algoritmos. Fundamentos de Algoritmia. Madrid: PRENTICE HALL. ISBN 84-89660-00-X. Valle, Brigitte (2002). Dynamical Analysis of -Euclidean Algorithms. Journal of Algorithms 44 (1). ISSN 0196-6774 , pp. 246-285. http://users.info.unicaen.fr/~brigitte/Publications/bourdon-daireaux-vallee.ps. Cormen, Thomas; Leiserson, Charles; Rivest, Ronald; Stein, Clifford (2009). Number-Theoretic Algorithms. Introduction to Algorithms. The MIT Press. ISBN 978-0-262-53305-8. Barrera Mora, Fernando (2005). Definiciones y resultados generales. Introduccin a la Teora de Grupos. Publicaciones Electrnicas de la Sociedad Matemtica Mexicana. ISBN 968-9161-02-4. Crdenas, Humberto; Lluis, Emilio; Raggi, Francisco; Toms, Francisco (2004). Divisibilidad. lgebra Superior. Mxico: Trillas. ISBN 968-24-3783-0. Prez Segu, Mara Luisa (2006). Divisibilidad. Teora de Nmeros. Instituto de Matemticas, UNAM. ISBN 970-32-1170-0. Snchez Velzquez, Jess (1998). Algoritmos para nmeros grandes. Introduccin al anlisis de algoritmos. Mxico: Trillas. ISBN 968-24-4341-5. Baldor, Aurelio (2008). Mximo comn divisor. lgebra. Mxico: Grupo Editorial Patria. ISBN 978-970-817-000-0.