Universidade de Brasília

Departamento de Matemática - I.E. Prof. N. R. Rocco

Álgebra 1 - Exercícios sobre Divisibilidade e Congruências

1. Se a | b, mostre que (−a) | b, a | (−b), e (−a) | (−b).

2. Dados os inteiros a, b, c, verique que
1. se a | b, então a | bc;
2. se a | b e a | c, então a2 | bc;
3. a | b se, e somente se, ac | bc, onde c ̸= 0.

3. Prove que para qualquer inteiro a, um dos inteiros a, a + 2, a + 4 é divisível por

3.
(Sugestão: pelo o Algorítmo da Divisão, a precisa ser da forma 3k , 3k + 1 ou 3k + 2).
4. Para n ≥ 1, use indução para mostrar que
1. 7 divide 23n − 1 e 8 divide 32n + 7;
2. 2n + (−1)n+1 é divisível por 3.

5. Verique que se mdc(a, b) = d, então mdc(a/d, b/d) = 1.

6. Sejam a, b e c inteiros não nulos. Mostre que
(i) Se a = bq + r, com 0 ≤ r < |b|, então mdc(a, b) = mdc(b, r);
(ii) mdc(ac, bc) = |c|mdc(a, b);

7. Verique as seguintes propriedades do máximo divisor comum:

1. se mdc(a, b) = 1 e mdc(a, c) = 1, então mdc(a, bc) = 1;
2. se mdc(a, b) = 1 e c | a, então mdc(c, b) = 1;
3. se mdc(a, b) = 1, então mdc(ac, b) = mdc(c, b);
4. se mdc(a, b) = 1 e c | (a + b), então mdc(a, c) = mdc(b, c) = 1.

8. Prove que se a, b e c são inteiros quaisquer (não nulos), então eles têm um mdc
que pode ser expresso na forma αa + βb + γc, em que α, β e γ são inteiros. Prove
também que
mdc(mdc(a, b), c) = mdc(a, mdc(b, c)) = mdc(mdc(a, c), b)
9. Mostre que no processo das divisões sucessivas (Algorítmo de Euclides) para
determinar o mdc de dois inteiros, cada resto encontrado pode ser expresso na forma
rk = αk a + βk b, com αk , βk ∈ Z.
10. Encontre o mdc dos seguintes pares (a, b) de inteiros e expresse cada um deles
na forma αa + βb:
 (i) a = 217, b = 173;
(ii) a = 4396, b = 1.738;
(iii) a = 5.380, b = 3.220.

11. Encontre o mmc dos pares de inteiros (a, b) dados no exercício 10.
12. Decompor em fatores primos: (i) 64.327, (ii) 13.746, (iii) 42.833.
13. Construa a lista dos números primos menores do que 300.
14. Quais pares de inteiros (a, b) satisfazem mdc(a, b) = 18 e mmc(a, b) = 540 ?
15. Determinar o menor inteiro positivo nos conjuntos abaixo:
(i) M1 = {6x + 27y | x, y ∈ Z};
(ii) M2 = {374x + 506y | x, y ∈ Z}.

16. Dados os inteiros a, b, c, com (a, b) ̸= (0, 0), mostre que a equação diofantina
linear
ax + by = c (1)
tem uma solução (x0 , y0 ) ∈ Z×Z se, e somente se, mdc(a, b) divide c. Mostre também
que se mdc(a, b) = d e (x0 , y0 ) é solução de (1), então um par (x1 , y1 ) ∈ Z×Z é também
solução de (1) se, e somente se,
b a
x1 = x0 + t, y1 = y0 − t, com t ∈ Z.
d d

17. Determinar as soluções inteiras das equações diofantinas abaixo. Em seguida,

vericar se há solução positiva para cada uma delas e, em caso armativo, exibir pelo
menos uma dessas soluções).
(i) 17x + 13y = 2;
(ii) 50x + 90y = 1000;
(iii) 147x + 236y = 842.

18. Expressar o número 100 em duas parcelas (positivas) de modo que a primeira
seja divisível por 7 e a segunda por 11.
19. Determinar o menor inteiro positivo que deixa os restos 16 e 27 quando divi-
dido, respectivamente, por 39 e 56.
20. (i) Estudar a representação dos inteiros numa base b;
(ii) Expressar o número 447 nas bases 2, 3 e 8.
21. Calcular a soma (1101101)2 + (10010111)2 e expressar o resultado nas bases 2,
7 e 10.
22. Encontrar o resto da divisão:

2
 (i) de 531 · 312 · 2 por 7;
(ii) de 4714 por 17;
(iii) de 100745 por 13.

23. Resolver as congruências:

(i) 3x ≡ 4 (mod 5);

(ii) 126x ≡ 216 (mod 45);
(iii) 513x ≡ 1 (mod 19).

24. Resolver os seguintes sistemas de congruências:

(i) 3x ≡ 4 (mod 5) e 7x ≡ 11 (mod 13);

(ii) 7x ≡ 5 (mod 12) e 96x ≡ 44 ( mod 45).

25. Identicar os números naturais n tais que

x2 ≡ 0 (mod n) =⇒ x ≡ 0 (mod n)

26. Mostre que para todo inteiro a têm-se a2 ≡ 0, 1, ou 4 módulo 8.

27. Computar as tábuas de adição e multiplicação dos anéis Z7 , Z8 e Z12 .
28. Computar as tábuas de multiplicação dos grupos U· (Z9 ) e U· (Z15 ), das unidades
(elementos invertíveis para a multiplicação) de Z9 e Z15 .
29. Encontre todos os divisores de zero do anel Z24 .
30. Mostre que no anel Zn qualquer elemento ā que não é uma unidade é um
divisor do zero.