Algoritmo de Euclides para hallar el MCD
El Algoritmo de Euclides sirve para encontrar el Máximo Común Divisor de dos números sin factorizar. Solo se hacen divisiones seguidas y te quedas con los restos. Cuando llegas a resto 0, el último divisor usado es el MCD.
Su base es la regla MCD(a,b) = MCD(b,r), donde r es el resto de dividir a entre b. Esto funciona porque todo divisor común de a y b también divide al resto r, y al revés también. Entonces la pareja (a,b) y la pareja (b,r) tienen los mismos divisores comunes y el mismo MCD, pero con números más pequeños.
Para aplicarlo con a mayor que b, divides a entre b y obtienes cociente q y resto r con la forma a = bq + r. Si r es 0, terminas y el MCD es b. Si r no es 0, olvidas el a viejo y repites con la nueva pareja (b,r). Como el resto siempre cumple 0 ≤ r < b, los números se achican rápido y el proceso siempre termina en la cadena a → b → r1 → r2 → … → 0.
Un ejemplo modelo es MCD(1071,462). Primero 1071 = 462·2 + 147, luego 462 = 147·3 + 21 y finalmente 147 = 21·7 + 0. Al llegar a resto 0 se para y se concluye que el MCD es 21, que divide a ambos y es el mayor divisor común posible.