Lecture 4: O Algoritmo de Euclides
O método prático e eficiente para calcular o MDC de dois inteiros positivos, sem necessidade de fatorizar os números (o que seria muito difícil para números grandes).
1. Lema Fundamental (A Base Teórica)
O algoritmo baseia-se na propriedade de que o m.d.c. de dois números é igual ao m.d.c. de um deles e do resto da divisão do outro pelo primeiro.
Teorema (Lema de Euclides): Sejam com . Se aplicarmos o algoritmo da divisão tal que (com ), então:
Porquê? Qualquer divisor comum a e divide também (pois ). Qualquer divisor comum a e divide também (pois ). Logo, o conjunto de divisores comuns é o mesmo.
2. Descrição do Algoritmo
Para calcular com :
- Dividimos por para obter o resto .
- Se , então . Fim.
- Se , passamos ao passo seguinte.
- Dividimos por para obter o resto .
- Se , então . Fim.
- Repetimos o processo, dividindo sempre o divisor anterior pelo resto anterior.
Cadeia de divisões sucessivas:
3. Teorema do Algoritmo de Euclides
O processo de divisões sucessivas termina eventualmente (pois os restos são inteiros positivos decrescentes: ).
Conclusão: O último resto não nulo () é o Máximo Divisor Comum de e .
4. Exemplo Prático
Calcular o mdc(252, 198).
-
Dividir 252 por 198: (O resto é 54. Agora fazemos mdc(198, 54))
-
Dividir 198 por 54: (O resto é 36. Agora fazemos mdc(54, 36))
-
Dividir 54 por 36: (O resto é 18. Agora fazemos mdc(36, 18))
-
Dividir 36 por 18: (Resto zero! O processo termina).
Resultado: O último resto não nulo foi 18. Logo, .
Nota para o futuro (Algoritmo Estendido)
Este processo pode ser “invertido” para escrever o m.d.c. como uma combinação linear dos números originais: Isto será fundamental para resolver Equações Diofantinas e calcular Inversos Modulares.