El algoritmo de Euclides

El problema inicial es el siguiente:

Encontrar el máximo común divisor entre dos números enteros positivos y .
El algoritmo de Euclides nos dice lo siguiente:
Para calcular el máximo común divisor entre dos números enteros positivos y dividimos
el más grande, digamos , entre el más pequeño, digamos . Esta división nos proporcionará
un cociente, , y un resto, . Si , entonces . Si no es cero dividimos el
divisor, , entre el resto, , obteniendo otro cociente, , y otro resto, . Si ,
entonces . Si no es cero volvemos a dividir divisor entre resto. Y así
sucesivamente.
Esto es, el máximo común divisor entre y es el último resto distinto de cero que
obtengamos con el procedimiento anterior.
Si analizamos el algoritmo de Euclides se ve claramente que necesitamos demostrar que el
máximo común divisor entre y es igual al máximo común divisor entre y . Así esa
igualdad se mantendrá durante todo el proceso y llegaremos a que el último resto distinto de
cero es el máximo común divisor de los dos enteros positivos iniciales. Vamos a demostrar
este hecho para después ilustrar el algoritmo con un ejemplo:
Teorema:
 El máximo común divisor de dos números enteros positivos y , con ,
coincide con el máximo común divisor de y , siendo el resto que se obtiene al
dividir entre .
Demostración:

Sean y . Vamos a demostrar que .

Por definición de máximo común divisor, se tiene que es un divisor tanto de como de .
Por tanto y .
Por otro lado, por el algoritmo de la división se tiene que

, con
Por tanto es un divisor de . Como ya teníamos que también es un divisor de entonces
debe dividir a su máximo común divisor, esto es, es un divisor de .
Por otro lado, es un divisor tanto de como de . Por ello se tiene que y .
Sustituyendo estas dos igualdades en (1) obtenemos lo siguiente:

Por tanto es un divisor de . Como también lo era de debe ser un divisor de su máximo
común divisor, es decir, es un divisor de .
Como es un divisor de y es un divisor de no queda otra opción más que . Por
tanto el algoritmo de Euclides funciona.
Ejemplos de aplicación del algoritmo
En esta sección del artículo vamos a ver un par de ejemplos de aplicación del algoritmo de
Euclides. Vamos con ellos:

Cálculo de
Como hemos explicado antes dividimos el número mayor entre el menor; si el resto no es
cero dividimos el divisor entre el resto; y así sucesivamente hasta que llegamos a un punto
en el que el resto es cero. Los resultados de las divisiones (expresados
como dividendo=divisor · cociente + resto) son:

 *

Como marca el *, se tiene que , el último divisor que no es nulo.

Cálculo de
Vamos con el segundo ejemplo, con números más grandes en este caso. Expresamos los
resultados parciales de la misma forma que en el ejemplo anterior:

 *

Vemos que aunque los números son bastante mayores que los anteriores el número de
operaciones necesarias para el cálculo es el mismo. Concluyendo, tenemos que, como
marca el *, .
n+1 (con n ∈ 𝑁)
2k+1 (con k ∈ 𝑍)
n-1 (con n ∈ 𝑁 𝑦 𝑛 ≠ 0)
(2k+1) +1 (con k ∈ 𝑍)