Escolar Documentos
Profissional Documentos
Cultura Documentos
Unidade 5
Algoritmo de Euclides
(Máximo Divisor Comum)
Abramo Hefez
PROFMAT - SBM
Aviso
Lema
Sejam a, b, n ∈ Z. Se existe (a, b − na), então (a, b) existe e
Solução
A igualdade acima é trivialmente verificada se m = 1. Suponhamos
que m > 2. Chamando de d o primeiro membro da igualdade,
temos que
d = (am−1 + am−2 + · · · + a + 1, a − 1) =
(am−1 − 1) + (am−2 − 1) + · · · + (a − 1) + m, a − 1 .
Como
a − 1|(am−1 − 1) + (am−2 − 1) + · · · + (a − 1),
segue-se, para algum n ∈ N, que
(am−1 − 1) + (am−2 − 1) + · · · + (a − 1) = n(a − 1).
Portanto, pelo Lema anterior tem-se que
d = (n(a − 1) + m, a − 1) = (a − 1, n(a − 1) + m) = (a − 1, m).
PROFMAT - SBM Aritmética - Unidade 5 - Máximo Divisor Comum slide 11/19
Exemplo 2
Determinemos os valores de a ∈ Z e n ∈ N para os quais a + 1
divide a2n + 1.
Solução
Note inicialmente que
Solução
Note que
e termina o algoritmo, ou
b) r1 6 | a, e, em tal caso, podemos efetuar a divisão de a por r1 ,
obtendo
a = r1 q2 + r2 , com 0 < r2 < r1 .
q1 q2 q3 · · · qn−1 qn qn+1
b a r1 r2 · · · rn−2 rn−1 rn = (a, b)
r1 r2 r3 r4 · · · rn