Divisor comum na prática
Você encontra o maior divisor comum de 12 e 18 listando os divisores de cada um e pegando o maior que aparece em ambos. Divisores de 12: 1, 2, 3, 4, 6, 12. Divisores de 18: 1, 2, 3, 6, 9, 18. O maior entre os que aparecem nos dois conjuntos é 6. Pronto. O que as pessoas esquecem é que essa abordagem manual é insuportável quando os números crescem. Eu já perdi tempo factorizando manualmente números como 1.440 e 2.520 porque o professor insistia em fatoração prima, quando o algoritmo de Euclides resolve isso em segundos. Funciona assim: divide-se o maior pelo menor e pega-se o resto. Repete-se com o divisor anterior e o resto até o resto ser zero. O último divisor não-nulo é o MDC.
Calculando o maior divisor comum de 12 e 18
Apliquemos o algoritmo de Euclides diretamente. Dividimos 18 por 12: quociente 1, resto 6. Agora dividimos 12 por 6: quociente 2, resto 0. Paramos. O último resto não-nulo foi 6, então o MDC(12, 18) = 6. O resultado é o mesmo, mas o caminho economiza energia quando os números saem do básico. Existe um detalhe que poucos mencionam: se você já sabe que ambos os números são múltiplos de um certo valor, pode usar isso como atalho. 12 = 6 × 2 e 18 = 6 × 3. Como 2 e 3 são primos entre si (seu MDC é 1), o MDC de 12 e 18 é exatamente 6. Isso funciona como verificação rápida, mas só é útil quando você enxerga o fator comum de cara — o que nem sempre acontece.
👉 Clique no botão abaixo para saber mais sobre o assunto!
O problema real começa quando ambos os números têm fatores primos grandes e similares. Eu trabalhei num projeto de criptografia onde precisávamos calcular MDC de inteiros com mais de 200 dígitos. O algoritmo de Euclides ainda funciona, mas a versão ingênua em Python torna-se um gargalo perceptível. A solução que adotei foi usar a função math.gcd(), que na verdade chama uma implementação C otimizada baseada no algoritmo binário de Euclides — cerca de três vezes mais rápido que uma tradução direta do método clássico. Em produção, não reinvente a roda. Apenas use a biblioteca padrão. Há limitações importantes a considerar. O algoritmo de Euclides clássico falha com números de ponto flutuante: perda de precisão gera restos errados e o resultado final fica imprevisível. Nesses casos, multiplique tudo por uma potência de 10 para inteiro, calcule, e divida de volta se necessário. Outro cenário problemático são pares de números que são ambos primos grandes diferentes — o algoritmo roda, mas o tempo de execução cresce linearmente com o logaritmo dos valores. Para números com milhares de dígitos, considere bibliotecas especializadas como GMP, disponíveis via gmpy2 no Python, que implementam versões altamente otimizadas com redução de montgomery e testes de primalidade embutidos.
Se o seu objetivo é apenas saber o MDC(12, 18) de forma prática, o math.gcd(12, 18) no Python retorna 6 imediatamente. Se precisa processar muitos pares, escreva um loop simples alimentado pela função da biblioteca padrão. Evite implementar seu próprio algoritmo — a menos que seja para estudo — porque cada variante tem suas armadilhas e as implementações das bibliotecas já foram depuradas em casos de borda que você dificilmente imaginaria.
