Algoritmo 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 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 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 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 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
Operacin
Significado
1
2366 dividido entre 273 es 8 y sobran 182
2
273 dividido entre 182 es 1 y sobran 91
3
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, donde es el resto de dividir entre . Para calcular se utilizan estas mismas reglas
Asuma que llamamos y . Aplicando estas reglas se obtiene la siguiente secuencia de operaciones:
Paso
Operacin
Significado
1
dividido entre es y sobran
2
dividido entre es y sobran
3
dividido entre es y sobran
dividido entre es y sobran
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).