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 :

  1. Dividimos por para obter o resto .
    • Se , então . Fim.
    • Se , passamos ao passo seguinte.
  2. Dividimos por para obter o resto .
    • Se , então . Fim.
  3. 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).

  1. Dividir 252 por 198: (O resto é 54. Agora fazemos mdc(198, 54))

  2. Dividir 198 por 54: (O resto é 36. Agora fazemos mdc(54, 36))

  3. Dividir 54 por 36: (O resto é 18. Agora fazemos mdc(36, 18))

  4. 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.