Joses classes Algoritmo de Euclides, procedimiento para hallar el mximo comn divisor de dos nmeros.

Se basa en la siguiente propiedad: Si d es divisor comn de p y q, y p > q, entonces d es divisor del resto de dividir p entre q.

Esta propiedad justifica el siguiente razonamiento: para hallar el M.C.D.(p, q) se divide p entre q, obteniendo un cociente q1 y un resto r1. Entonces: D = M.C.D.(p, q) = M.C.D.(q, r1) Ahora se procede de forma anloga con q y r1: se hace la divisin entera entre q y r1, obteniendo un cociente q2 y un resto r2. Entonces: D = M.C.D.(q, r1) = M.C.D.(r1, r2) Se prosigue as sucesivamente obteniendo nmeros cada vez menores. De esta forma se llegar a una divisin exacta. El divisor de dicha divisin, que es el resto de la anterior, es el M.C.D., D, buscado. Como ejemplo se obtiene el M.C.D.(520, 360):

Por tanto, M.C.D.(520, 360) = 40 Los clculos sucesivos suelen disponerse del siguiente modo:

Para calcular el M.C.D. de tres nmeros, a, b, c, se halla el M.C.D. de dos de ellos, D, y luego se halla el M.C.D. de D y el tercero, pues: M.C.D.(a, b, c) = M.C.D.(D, c) siendo D = M.C.D.(a, b). Teniendo en cuenta que entre el mximo comn divisor, D, y el mnimo comn mltiplo, M, de dos nmeros, a y b, se da la siguiente relacin: ab=DM conociendo D se puede calcular M:

Por ejemplo, para hallar el m.c.m.(520, 360), cuyo mximo comn divisor se ha calculado mediante el algoritmo de Euclides, D = 40, se procede as: