Aula 3

Divisibilidade em Z

3.1 Valor absoluto

Vamos iniciar com as propriedades do modulo de a.

Definição 3.1.1. Seja x ∈ Z. O valor absoluto ou modulo de x é definida por


x, se x > 0





|x| =  0, se x = 0 .





 −x, se x < 0



O modulo de um inteiro pode ser visto como um função de Z para Z. Sua imagem é o conjunto
Z+ = {n ∈ Z : n ≥ 0} = N ∪ {0} dos inteiros não negativos.
Temos as seguintes propriedades:

Lema 3.1.1.

1. |x| ≥ 0 e |x| = 0 ⇔ x = 0.

2. |x| = +x ou −x para qualquer x ∈ Z.

3. | − x| = |x| para todo x ∈ Z.

4. |x| ≥ x e |x| ≥ −x para todo x ∈ Z.

Demonstração. Pela Tricotomia, ou x > 0 ou x = 0 ou x < 0.

O resultado

25
 • é trivial se x = 0;
• se x > 0 temos que |x| = x > 0 > −x;
• se x < 0 temos que |x| = −x > 0 > x.

Em cada caso, |x| ≥ ambos x e −x. 

5. Se r ≥ 0 então |x| < r ⇐⇒ −r < x < r (isto é x está entre os pontos −r e r na reta).

Demonstração.
(⇐): Sabemos que |x| = +x ou −x. Multiplicando cada termo na inequação −r < x < r
por (-1) temos que −r < −x < r, portanto |x| = ±x é < r em ambos os casos.
(⇒): Pela Tricotomia, existe 2 casos:
Caso 1: x ≥ 0. Então r > |x| = x, e r > |x| ≥ −x por (4.). Multiplicando cada
lado desta ultima inequação por (−1) temos que −r < −(−x) = x. Portanto −r < x < r.
Caso 2: x < 0. Então −x > 0. Como |x| ≥ ±x por (4.) temos que

r > |x| = −x ⇒ −r < −(−x) = x 

 ⇒ −r < x < r



r > |x| ≥ x ⇒ x < r 


6. |xy| = |x| · |y|

7. |x2 | = |x|2 = x2

8. Desigualdade Triangular: |x ± y| ≤ |x| + |y|, para todo x, y ∈ Z.

Lema 3.1.2. Se x , 0 em Z, então |x| ≥ 1. Além disto, |x| = 1 ⇐⇒ x = +1 ou x = −1.

Demonstração. Z é a reunião disjunto −N ∪ {0} ∪ N, pela definição o valor absoluto |x| pertencente
a N se x , 0. Logo |x| ≥ 1.
Como |x| é igual +x ou −x temos que |x| = 1 ⇐⇒ x = +1 ou x = −1. 

Definição 3.1.2 (Inverso Multiplicativo). Seja a ∈ Z. Dizemos que b ∈ Z é o inverso multiplicativo

de a se
a · b = 1.

26
 Lema 3.1.3. Os únicos elementos com inversos multiplicativos em Z são +1 e −1.

Demonstração. Se a · b = 1, então |a| · |b| = 1, logo |a| , 0 e |b| , 0. Portanto |a| ≥ 1 e |b| ≥ 1.

Se pelo menos um dos valores absolutos é maior que 1, digamos que, |a| > 1 então

1 = |ab| = |a||b| > 1 · |b| = |b| ≥ 1.

Isto é 1 > 1, que é impossível. Conclusão: nenhum dos valores absolutos é maior que 1, logo
|a| = |b| = 1. Portanto pelo Lema acima temos que a = ±1. 

3.2 Divisibilidade

Definição 3.2.1. Sejam a, b números inteiros. Dizemos que a divide b, denotado por a | b, se existe
um número inteiro c tal que
b = ac.

Outra maneira de colocar:

a | b ⇔ b é um múltiplo de a.

Por exemplo, 
3 | 6, pois 3 · 2 = 6.






−2 | 10, pois (−2) · (−5) = 10.





 3471 | 0, pois 3471 · 0 = 0.



Observações.

(a) Não devemos confundir “a | b” com “a/b” ou “a ÷ b.”

A notação “a | b” lê-se “a divide b”, que é uma afirmação. Por outro lado, “a ÷ b” lê-se “a dividido por
b”. Compare por exemplo “6 divide 18” com “18 dividido por 6”.

(b) Pela definição, “0 | 0” (“0 divide 0”) é verdadeiro, pois (por exemplo) 0 · 49 = 0.
Este fato, não é uma contradição em relação ao fato que “não podemos divide por 0”. A razão tem a
ver com uma diferença sutil na terminologia. A regra que “Não podemos dividir por 0” significa que
0 não possui tem um inverso multiplicativo.
Em geral, “dividindo por x” significa “multiplicando por inverso multiplicativo de x ”, isto é x−1 . Por
1
exemplo, dividindo por 5 é multiplicando por .
5

27
 A definição que demos acima implica, como observamos, que "0 divide 0", mas isso não é o mesmo
de dizer “Podemos dividir 0 por 0”. A definição de divisibilidade é em termos de multiplicação;
enquanto a definição de dividindo é em termos de multiplicação pelo inverso multiplicativo.
Temos o seguinte fato:
0 | a ⇐⇒ a = 0.

(c) Se a | b, isto ∃ c ∈ Z tal que b = ac, então c é único. De fato, se c0 é um número tal que b = a · c0 ,
então
ac − ac0 = 0 =⇒ a(c − c0 ) = 0 =⇒ c = c0 pois a , 0.

Proposição 3.2.1. Sejam a, b, c ∈ Z. Então,

(a) 1 | c, a | a e a | 0.

(b) a | b, b , 0, se, e somente se, |a| ≤ |b|.

(c) se a | b e b | c, então a | c.

Demonstração.

(a) 1 | c pois c = 1 · c, a | a pois a = a · 1 e a | 0 pois 0 = a · 0.

(b) Se a | b, então, existe q ∈ Z tal que b = a · q. Assim, |b| = |a| · |q. Como b , 0, q ≥ 1, tem-se
|a| ≤ |b|.

(c) Se a | b e b | c, então, por definição, existem m, n ∈ Z tais que b = am e c = bn. Assim,

c = (am)n = a(mn). Logo, a | c.

Proposição 3.2.2. Se a, b, c, d ∈ Z, com a , 0 e c , 0, então

a | b e c | d =⇒ ac | bd

Demonstração. Se a | b e c | d, então existem m, n ∈ Z tais que b = am e d = cn. Então,

bd = (am) · (cn) = (ac) · (mn).

Portanto, ac | bd. 

28
 Proposição 3.2.3. Sejam a, b, c ∈ Z tais que a | b e a | c, então para todo x, y ∈ Z, a | (xb + yc)

Demonstração. Se a | b e a | c, então existem m, n ∈ Z tais que b = a · m e c = a · n. Então,

xb + yc = xam + yan = a · (xm + yn).

Logo, a | (xb + yc).



O próximo resultado é fundamental em todas as discussões de álgebra e teoria dos números.

Teorema 3.2.4 (Divisão Euclidiana). Sejam a, b ∈ Z, com b , 0.

(a) Existem dois únicos inteiros q e r tais que

a = bq + r, 0 ≤ r < |b|.

 a
, b>0


b




(b) q = 

,


 a

, b<0

 −


|b|
sendo [x] o maior inteiro menor ou igual que x.

De fato, esta Teorema é apenas a “Divisão Longa” do ensino médio, com q sendo o “quociente” e “r” o
resto.

Demonstração. Deixamos como exercício. 

Exemplo 3.2.1.

(a) Aplique a Divisão Euclidiana para divide 59 por 7.

(b) Aplique a Divisão Euclidiana para divide -59 por 7.

(c) Aplique a Divisão Euclidiana para divide 59 por -7.

(d) Aplique a Divisão Euclidiana para divide -59 por -7.

Resolução:

59
 
(a) O quociente é igual = [8, 42857 . . .] = 8, o resto é igual 3, e 0 ≤ 3 < 7. Portanto temos
7

59 = 8 · 7 + 3.

29
 −59
 
(b) O quociente é igual = [−8, 42857 . . .] = −9, o resto é igual 4, e 0 ≤ 4 < 7. Portanto
7
temos
−59 = (−9) · 7 + 4.

59

(c) O quociente é igual − = −[8, 42857 . . .] = −8, o resto é igual 3, e 0 ≤ 3 < 7. Portanto
7
temos
59 = (−8) · (−7) + 3.

−59
 
(d) O quociente é igual − = −[−8, 42857 . . .] = 9, o resto é igual 4, e 0 ≤ 4 < 7. Portanto
7
temos
−59 = 9 · (−7) + 4.

Exemplo 3.2.2. Sejam q e r o quociente e o resto da divisão (a ÷ b), a, b > 0. Determine os quocientes
e os restos das seguintes divisões.

(a) a ÷ (−b)

(b) (−a) ÷ (−b)

(c) (−a) ÷ b

Resolução: Pelo Teorema da Divisão de Euclides

a = qb + r, (3.1)

onde 0 ≤ r < b.

(a) Trocando q por −q e b por −b na Equação (3.1), temos que

a = (−q) · (−b) + r

Logo, na divisão a ÷ (−b), o quociente é −q e o resto é r.

(b) Vamos supor que r > 0. Multiplicando a Equação (3.1) por −1 temos que

−a = −qb − r
⇒ −a = −qb − b + b − r
⇒ −a = (q + 1) · (−b) + (b − r)

Agora 0 < r < b =⇒ −b < −r < 0 =⇒ 0 < b − r < b = | − b|.

Logo, na divisão (−a) ÷ (−b), o quociente é (q + 1) e o resto é (b − r).

30
 (c) Vamos supor que r > 0. Multiplicando a Equação (3.1) por −1 temos que

−a = −qb − r
⇒ −a = −qb − b + b − r
⇒ −a = (−q − 1) · (b) + (b − r)

Agora 0 < r < b =⇒ −b < −r < 0 =⇒ 0 < b − r < b.

Logo, na divisão (−a) ÷ (b), o quociente é (−q − 1) e o resto é (b − r).

Exemplo 3.2.3. Seja um inteiro a tal que o resto da divisão (a ÷ 5) é igual 4. Determine o resto da
divisão (a2 ÷ 5).

Resolução: Pelo Teorema da Divisão de Euclides, existe q ∈ Z tal que

a = 5q + 4

Portanto

a2 = (5q + 4)2
= 25q2 + 40q + 16
= 25q2 + 40q + 15 + 1
= 5(5q2 + 8q + 3) + 1
a2 = 5q̃ + 1 onde q̃ = 5q2 + 8q + 3

Portanto na divisão a2 ÷ 5, o resto é 1.

Exemplo 3.2.4. Prove que se n ∈ Z, então n2 não deixa resto 2 ou 3 quando dividido por 5. Deduza
que 191273 não pode ser um quadrado perfeito.

Resolução: Se n é dividido por 5, o resto r satisfazer 0 ≤ r < 5. Logo, r = 0, 1, 2, 3, 4. Portanto, n

pode ser uma das seguintes 5 formas:

5q + 0, 5q + 1, 5q + 2, 5q + 3, 5q + 4.

Vamos verificar cada caso:

• n2 = (5q)2 = 25q2 = 5(5q2 ) + 0.

• n2 = (5q + 1)2 = 25q2 + 10q + 1 = 5(5q2 + 2q) + 1.

• n2 = (5q + 2)2 = 25q2 + 20q + 4 = 5(5q2 + 4q) + 4.

• n2 = (5q + 3)2 = 25q2 + 30q + 9 = 5(5q2 + 6q + 1) + 4.

• n2 = (5q + 4)2 = 25q2 + 40q + 16 = 5(5q2 + 8q + 3) + 1.

31
Em todos os casos, dividindo n2 por 5 deixa resto 0, 1, ou 4. Nunca encontramos resto 2 ou 3.

Suponha que 191273 é um quadrado perfeito, isto é existe n ∈ Z tal que 191273 = n2 . Então o
resto na divisão de 191273 = n2 por 5 não deve ser 2 ou 3. Mas 191273 = 38254 · 5 + 3, isto 191273
deixa resto 3 quando dividido por 5. Contradição. Logo 191273 não é um quadrado perfeito.

Observação 3. Dizemos que um inteiro n é par se, e somente se n = 2 · k para algun inteiro k, e é
ímpar se, e somente se n = 2 · (k + 1) para algun inteiro k.
Portanto n é par se, e somente se ele deixa resto 0 quando dividido por 2, enquanto ele é ímpar se, e
somente se ele deixa resto 1 quando dividido por 2.
A Teorema de Divisão também fornece outra demonstração que qualquer inteiro ou é par ou é ímpar,
mas não ambos.

Exemplo 3.2.5. Utilize a divisão euclidiana para mostrar que

(a) Mostre que o quadrado de um inteiro qualquer é da forma 3k ou 3k + 1, com k ∈ Z.

(b) Mostre que todo inteiro ímpar é da forma 4k + 1 ou 4k + 3, com k ∈ Z.

(c) Mostre que o quadrado de qualquer inteiro ímpar é da forma 8k + 1, com k ∈ Z.

Resolução:

(a) Vamos começar tomando a, sendo a um inteiro qualquer. Vamos aplicar a divisão euclidiana
com a e b = 3. Isto é existem inteiros q e r tais que

a = 3q + r com 0 ≤ r < 3

Isto é
a = 3q, ou a = 3q + 1, ou a = 3q + 2

• a = 3q ⇒ a2 = 9q2 = 3(3q2 ) = 3k1

• a = 3q + 1 ⇒ a2 = 9q2 + 6q + 1 = 3(3q2 + 2q) + 1 = 3k2 + 1
• a = 3q + 2 ⇒ a2 = 9q2 + 12q + 4 = 3(3q2 + 4q + 1) + 1 = 3k3 + 1

Em todos os casos, tem-se que

a2 = 3k ou 3k + 1; k ∈ Z.

(b) Vamos começar tomando a, sendo a um inteiro ímpar qualquer. Vamos aplicar a divisão
euclidiana com a e b = 4. Isto é existem inteiros q e r tais que

a = 4q + r com 0 ≤ r < 4

32
 Isto é
a = 4q, ou a = 4q + 1, ou a = 4q + 2, ou a = 4q + 3

Mas como a é ímpar, a não pode ser 4q ou 4q + 2 ( pois ambos são divisíveis por 2).
Portanto, qualquer inteiro ímpar é da forma

4k + 1 ou 4k + 3, k ∈ Z

(c) De (b) temos que

a = 4k + 1 ou 4k + 3; k ∈ Z

• a = 4k + 1 ⇒ a2 = 16k2 + 8k + 1 = 8(2k2 + 1) + 1 = 8k1 + 1

• a = 4q + 3 ⇒ a2 = 16k2 + 24k + 9 = 8(2k2 + 3k + 1) + 1 = 8k2 + 1 Em todos os casos, tem-se
que
a2 = 8k + 1; k ∈ Z.

Podemos resolve (c) diretamente sem usar (b) da seguinte forma:

Vamos começar tomando a, sendo a um inteiro ímpar qualquer. Vamos aplicar a divisão
euclidiana com a e b = 8. Isto é existem inteiros q e r tais que

a = 8q + r com 0 ≤ r < 8

Isto é

a = 8q, ou 8q + 1, ou 8q + 2, ou 8q + 3, ou 8q + 4, ou 8q + 5, ou 8q + 6, ou 8q + 7.

Mas como a é ímpar, a não pode ser 8q ou 8q + 2 ou 8q + 4 ou 8q + 6 ( pois todos são

divisíveis por 2).
Logo
a = 8q + 1, ou a = 8q + 3, ou a = 8q + 5, ou a = 8q + 7

• a = (8q + 1) ⇒ a2 = 64q2 + 16q + 1 = 8(8q2 + 2q) + 1 = 8k1 + 1

• a = (8q + 3) ⇒ a2 = 64q2 + 48q + 9 = 8(8q2 + 6q + 1) + 1 = 8k2 + 1
• a = (8q + 5) ⇒ a2 = 64q2 + 80q + 25 = 8(8q2 + 10q + 3) + 1 = 8k3 + 1
• a = (8q + 7) ⇒ a2 = 64q2 + 112q + 49 = 8(8q2 + 14q + 6) + 1 = 8k4 + 1

Em todos os casos, tem-se que

a2 = 8k + 1; k ∈ Z.

Exemplo 3.2.6.

33
(a) Seja N um número natural. Prove que a divisão de N2 por 4 nunca deixa resto 3.

(b) Prove que nenhum inteiro da sequência

11, 111, 1111, . . .

é um quadrado perfeito.

Resolução:

(a) Sendo N um inteiro, teremos pelo Teorema da divisão de Euclides que N tem uma das
seguintes formas:
4k, 4k + 1, 4k + 2 ou 4k + 3.

Disto,

• N = 4k ⇒ N2 = 4(4k2 ),
• N = 4k + 1 ⇒ N2 = 4(4k2 + 2k) + 1,
• N = 4k + 2 ⇒ N2 = 4(4k2 + 4k + 1),
• N = 4k + 3 ⇒ N2 = 4(4k2 + 6k + 2) + 1.

donde vemos queN2 deixa resto 0 ou 1 na divisão por 4.

(b) Sendo n ≥ 2 a quantidade de 1‘s em 111 . . . 1 provaremos, por indução em n; que o número
111 . . . 1 é da forma 4n + 3, para então usarmos o item (a):

• Se n = 2 então 11 = 4 · 2 + 3. Então o resultados é valido para n = 2.

• Suponhamos que para algum inteiro k ≥ 2,

111 . . . 1 = 4q + 3.
| {z }
k 1‘s

• Para n = k + 1,

111 . . . 1 = 111 . . . 10 +1 = 111 . . . 1 ·10 + 1 = (4q + 3) · 10 + 1 = 4 · (10q + 7) + 3

| {z } | {z } | {z }
(k+1) 1‘s k 1‘s k 1‘s

Segue-se, pela primeira forma do princípio de indução, que

111 . . . 1 = 4q + 3
| {z }
n 1‘s

para todo inteiro n ≥ 2, implicando pelo item (a) que 111 . . . 1 não pode ser um quadrado
| {z }
n 1‘s
perfeito se n ≥ 2.

34
3.3 Números Primos

Definição 3.3.1. Um inteiro n é dito primo se e somente se n > 1 e os únicos divisores positivos de
n são 1 e n.

Um inteiro positivo n é dito composto se e somente se n > 1 e n não é primo. Logo, n > 1 é
composto se, e somente se, existem inteiros a e b com 1 < a < b < n tal que n = a · b.

Lema 3.3.1. Qualquer inteiro positivo n > 1 tem um divisor primo.

Demonstração. Let S = {n ∈ Z | n > 1 e n não tem divisores primos}

Se S , ∅, como S é limitada inferiormente, pelo Principio da Boa Ordenação S possui um menor
elemento, digamos, n0 ∈ S.
Como n0 > 1 e n0 não tem divisores primos, então n0 é composto, e existem inteiros a0 , b0 ∈ Z
tal que
n 0 = a 0 · b0

onde 1 < a0 < n0 e 1 < b0 < n0 .

Entretanto, como 1 < a0 < n0 e n0 é o menor elemento em S, então a0 < S, que implica que a0
tem um divisor primo, diga p | a0 , mas então p | n0 também. Contradição.
Portanto, a afirmação que S , ∅ leva a uma contradição, e devemos ter S = ∅, e portanto qualquer
inteiro positivo n > 1 tem um divisor primo. 

Teorema 3.3.2. Existem infinitos números primos.

Demonstração. Suponha que não, isto é que p1 , p2 · · · , pN são os únicos primos. Agora considere o
inteiro
M = p1 · p2 · · · pN + 1.

Então pelo Lema 3.3.1, M possui um divisor primo, e ele deve ser portanto um dos primos
p1 , p2 , · · · , pN . Contradição, pois nenhum dos primos divide M. 

√
Teorema 3.3.3. Se n é inteiro positivo, então n possui um divisor primo p tal que p ≤ n.

√ √
Demonstração. Se n é composto, então n = a · b, onde 1 < a ≤ b < n. Se a ≥ n, então b ≥ a > ne
isto implica que
√ √
n=a·b> n· n=n

35
 √
que uma contradição. Portanto a ≤ n e como a > 1, então a possui um divisor primo p tal que
√
p ≤ a ≤ n e como p | a e a | n, então p | n também. 

Exemplo 3.3.1. Quais primos devemos usar para dividir 127 para testar que ele é primo ou não?
√
Para verificar que 127 é primo, devemos somente verificar ele possui um fator primo ≤ 127 ≈
11, 27. Então podemos verificar 127 não é divisível por 2, 3, 5, 7, ou 11. Portanto , 127 é primo.

Exemplo 3.3.2. Os primos entre 1 e 1000 são

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109,
113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229,
233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353,
359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479,
487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617,
619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757,
761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907,
911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997

3.4 Exercícios
1. Seja a um inteiro. Prove que um dos inteiros a, a + 2, a + 4 é divisível por 3.

2. Sendo a um inteiro qualquer, mostre que:

(a) 2 | a(a + 1)
(b) 3 | a(a + 1)(a + 2)

3. Mostre que, se a | (2x − 3y) e a | (4x − 5y), então a | y, onde a, x e y são inteiros.

4. Mostre que o produto de dois inteiros ímpares é um inteiro ímpar.

5. Mostre que o produto de dois inteiros da forma 6k + 5 é da forma 6k + 1.

6. Prove que se a é um inteiro ímpar, então 12 divide a2 + (a + 2)2 + (a + 4)2 + 1.

7. Encontre um número natural N que, ao ser dividido por 10, deixa resto 9, ao ser dividido por
9 deixa resto 8, e ao ser dividido por 8 deixa resto 7.

8. O dobro de um número, quando dividido por 5, deixa resto 1. Qual é o resto da divisão deste
número por 5?

36
 9. Um número inteiro x ao ser dividido por 15 deixa resto igual a 8. Qual é o resto da divisão
deste mesmo número por 5?

10. Seja n ∈ N. O resto da divisão de n2 por 6 pode ser igual a 5 ?

11. Dado um número a ∈ Z∗+ mostre que:

(a) Se a2 é par, então a é par.

(b) Se a2 é divisível por 3, então a é divisível por 3.

(c) Se a2 é ímpar, então a é ímpar.

12. Seja n ∈ Z∗+ . Mostre que n2 + 2 não é divisível por 4.

13. Prove que a soma dos quadrados de dois inteiros é da forma 4q ou 4q + 1 ou 4q + 2, onde q
é um número inteiro.

14. Qual o resto que o número 45000 deixa quando dividido por 3?

15. Seja n um inteiro positivo. Qual o resto de n3 + 2n na divisão por 3?

16. Determine todos os inteiros positivos menores que 180 tais que divididos por 27 deixam resto
igual ao quociente.

17. Qual é o algarismo da unidade do número

31 + 32 + 33 + 34 + · · · + 32018 ?

18. (Banco de Questões OBMEP 2015) João possui mais que 30 e menos que 100 chocolates. Se
ele organizar os chocolates em linhas de 7, sobrará um. Caso ele os organize em linhas de 10,
sobrarão 2. Quantos chocolates ele possui?

19. (Banco de Questões OBMEP 2010) Quais são os números que deixam resto 5 ao dividir 2007?

20. (OBMEP 2017) Somando 1 a um certo número natural, obtemos um múltiplo de 11. Sub-
traindo 1 desse mesmo número, obtemos um múltiplo de 8. Qual é o resto da divisão do
quadrado desse número por 88?

21. (OBMEP 2012) Um feirante tem 5 cestas que contém limões e laranjas. A quantidade total
de frutas em cada cesta é : 8, 11, 13, 18, 23. Ele apontou para uma das cestas e disse: “se
eu vender essa cesta, o número de limões passaria a ser o dobro do número de laranjas”.
Quantas frutas tem a cesta para a qual ele apontou?

22. Sejam a, b, m ∈ Z, com m , 0. Mostre que se m | (b − a), então a e b deixam o mesmo resto
quando divididos por m.

37
23. Sejam a, b ∈ Z. Mostrar que, se 3 divide (a2 + ab + b2 ) então a e b tem o mesmo resto quando
divididos por 3.

24. Seja n um inteiro. Prove que n3 + 5n é um múltiplo de 3.

25. Seja n ∈ Z. Prove que n5 − n é sempre divisível por 5.

26. Prove que todo inteiro que tem resto 5 na divisão por 6, tem resto 2 na divisão por 3, mas que
não vale a reciproca.

27. Mostre que se k é um inteiro positivo par, então 3 | (2k − 1).

Dica: aq − bq = (a − b)(aq−1 + aq−2 b + aq−3 b2 + · · · + abq−2 + bq−1 )

28. Mostre que se a e b são inteiros

(a) e n é um inteiro positivo, então (a − b) | (an − bn ).
(b) e n é um inteiro positivo ímpar, então (a + b) | (an + bn ).
(c) e n é um inteiro positivo par, então (a + b) | (an − bn ).

29. Determine o resto da divisão de 626 + 266 por 5.

30. Sejam m e n inteiros positivos, com m > n, e r o resto da divisão m ÷ n. Mostre que o resto da
divisão (2m − 1) ÷ (2n − 1) é 2r − 1.

31. Mostre que se p e p2 + 2 são primos, então p2 − 2 também é primo.

32. Determine todos os números primos tal que 11p + 9 é um quadrado perfeito.

38