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. Elalgoritmo 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[editar]

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 VI I.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 ABy 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 yCD, 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, EAes 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[editar]

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 r, 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
precisamente

. Para fines prcticos, la notacin

significa mximo comn divisor de

es

y .

Segn lo antes mencionado, para calcular el mximo comn divisor de 2366 y 273 se puede proseguir de la
siguiente manera:
Paso

Operacin

Significado

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

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

2. En otro caso,
calcular

donde

es el resto de dividir

entre . Para

se utilizan estas mismas reglas

Asuma que llamamos

Paso

. Aplicando estas reglas se obtiene la siguiente secuencia de operaciones:

Operacin

dividido entre

es

y sobran

dividido entre

es

y sobran

dividido entre

es

y sobran

dividido entre

es

y sobran

Significado

dividido entre

es

y sobra

Como la sucesin de residuos va disminuyendo, al final 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[editar]
En realidad el algoritmo de Euclides funciona no slo para los nmeros naturales, sino para cualesquiera
elementos en los que 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

el algoritmo de Euclides sugiere la siguiente secuencia de operaciones:

Pas
o

Operacin

Significado

dividido
1

entre

es

sobra

dividido entre

2
es

es

y sobra

dividido entre
y sobra 0

De esta manera se concluye que su mximo comn divisor es

Descripcin formal[editar]
Se puede expresar este algoritmo de manera ms formal usando pseudocdigo. En este caso la expresin "
" significa "el residuo de dividir

entre " (vaseAritmtica modular).

Algoritmo 1 de Euclides
Entrada: Valores

pertenecientes a un dominio eucldeo

Salida: Un mximo comn divisor de

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[editar]

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

tales que

. Esto se generaliza tambin hacia cualquier dominio euclideano.

Fundamentos[editar]
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 "
se escribe la ecuacin

dividido entre

es

y de resto "

(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 areas 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

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

combinacin lineal de

tienen la propiedad de que

y . Particularmente, como

, es decir, expresan a

como una

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
matriz

aparece en el extremo derecho y la matriz

en ese mismo orden. La

en el izquierdo.

Regresando al primer ejemplo, la sucesin de cocientes es

calcular

. Entonces se puede

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[editar]
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
pseudocdigo se puede expresar como sigue:

. Por lo tanto el algoritmo en

Algoritmo 2 de Euclides extendido

Entrada: Valores

pertenecientes a un dominio eucldeo

Salida: Un mximo comn divisor de

y , y valores

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 se expresa

Aplicaciones[editar]
Simplificar fracciones[editar]
Al momento de hacer clculos con fracciones, es de gran importancia saber cmo simplificarlas. Por ejemplo, la
fraccin

es equivalente con

(vase Nmero racional). De manera ms general,

Para reducir una fraccin cualquiera , slo se necesita dividir

siempre que

entre su mximo comn divisor.

Por ejemplo, si se desea reducir

, primero se usa el algoritmo de Euclides para

encontrar

. Se hacen las divisiones

entonces se concluye que

. Luego

Fracciones continuas[editar]
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

, entonces

(3)
Por ejemplo, para encontrar el mximo comn divisor de
secuencia de divisiones:
Paso

Operacin

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

el algoritmo genera la siguiente

Significado