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 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.