Módulo: aritmética dos restos

Divisibilidade e Resto

Tópicos Adicionais
 Módulo: aritmética dos restos que, para quaisquer x e y, vale:
Divisibilidade e resto
x n − yn = ( x − y)( x n−1 + x n−2 y + x n−3 y2 + . . . +
+ x2 yn−3 + xyn−2 + yn−1 )
1 Exercı́cios Introdutórios
Exercı́cio 1. Encontre os inteiros que, na divisão por b) Mostre que, se n é ı́mpar, vale:
7, deixam um quociente igual ao resto.
x n + yn = ( x + y)( x n−1 − x n−2 y + x n−3 y2 − . . . +
Exercı́cio 2. Determinar os números que, na divisão
por 13, dão um quociente excedendo o resto em 4 uni- + x2 yn−3 − xyn−2 + yn−1 )
dades.
Exercı́cio 3. Achar os números que, divididos por 14, Exercı́cio 17. Prove que, o número 199 + 299 + 399 +
dão resto igual ao triplo do quociente. 499 + 599 é múltiplo de 5.
Exercı́cio 4. Calcular o quociente de uma divisão, sa- Exercı́cio 18. Mostre que o número 1n + 8n − 3n − 6n
bendo que aumentando 52 unidades ao dividendo e é multiplo de 10 para todo natural n.
4 unidades ao divisor, o quociente e o resto ficam os
mesmos.
Exercı́cio 5. Mostrar que todo número ı́mpar é a 2 Exercı́cios de Fixação
diferença de dois quadrados.
Exercı́cio 19. Qual o resto que o número
Exercı́cio 6. Encontre o resto da divisão do número
1002 · 1003 · 1004 deixa quando dividido por 7?
a) 101 · 102 · 103 + 1 na divisão por 4. Exercı́cio 20. Qual o resto que o número 45000 deixa
quando dividido por 3?
b) 73 · 74 · 75 + 2 na divisão por 4.
Exercı́cio 21. Qual o resto que o número 22k+1 deixa
Exercı́cio 7. Sabendo que 1001 é múltiplo de 7, deter- quando dividido por 3?
mine o resto de 10100 na divisão por 7. Exercı́cio 22. a) Verifique que
Exercı́cio 8. Se n é ı́mpar, qual o resto de 9n2 + 3 por
8? an − 1 = ( a − 1)( an−1 + an−2 + . . . + a + 1).
Exercı́cio 9. Se n é ı́mpar, qual o resto de n2 por 8?
b) Calcule o resto da divisão de 42012 por 3.
Exercı́cio 10. Se n não é divisı́vel por 3, qual o resto
de 7n4 + 1 por 3?
Exercı́cio 23. Encontre um número natural N que, ao
Exercı́cio 11. Determine o resto na divisão por 8 do
ser dividido por 10, deixa resto 9, ao ser dividido por 9
número 12 + 32 + 52 + 72 + . . . 992 .
deixa resto 8, e ao ser dividio por 8 deixa resto 7.
Exercı́cio 12. Determinar os números que divididos
por 17 dão um resto igual ao quadrado do quociente
correspondente. 3 Exercı́cios de Aprofundamento e de
Exercı́cio 13. Encontre o quociente da divisão de a64 − Exames
b64 por
Exercı́cio 24. Qual o resto de n3 + 2n na divisão por
( a32 + b32 )( a16 + b16 )( a8 + b8 )( a4 + b4 )( a2 + b2 )( a + b)
3?
Exercı́cio 14. Encontre um inteiro que deixa resto 4 na Exercı́cio 25. Prove que, para cada n natural,
divisão por 5 e resto 7 na divisão por 13
(n + 1)(n + 2) . . . (2n)
Exercı́cio 15. Prove que, para todo inteiro positivo n
o número n5 − 5n3 + 4n é divisı́vel por 120.
é divisı́vel por 2n .
Exercı́cio 16. (Fatorações Importantes)
Exercı́cio 26. Cada um dos naturais a, b, c e d é di-
a) Seja S = 1 + z + z2 + z3 + . . . + zn−1 . Veja que se visı́vel por ab − cd, que também é um número natural.
S + zn = 1 + zS então S(z − 1) = zn − 1. Conclua Prove que ab − cd = 1.

http://matematica.obmep.org.br/ 1 [email protected]
Exercı́cio 27. A soma digital D (n) de um inteiro posi-
tivo n é definido recursivamente como segue:

se 1 ≤ n ≤ 9,

 n

D (n) =

 D ( a0 + a1 + . . . + am ) se n > 9,


onde a0 , a1 , . . . , am são todos os dı́gitos da expressão

decimal de n na base 10, i.e.,

n = am 10m + am−1 10m−1 + . . . + a1 10 + a0

Por exemplo, D (989) = D (26) = D (8) = 8. Prove que:

D ((1234)n) = D (n), para n = 1, 2, 3 . . .
Exercı́cio 28. Encontre todos os pares de inteiros posi-
tivos a e b tais que 79 = ab + 2a + 3b.
2n − 2
Exercı́cio 29. Prove que se é um inteiro, então
n −1
n
2 2 −2
n
também é um inteiro.
2 −1
Exercı́cio 30. (Extraı́do da Olimpı́ada Russa) Mostre
que se n divide a então 2n − 1 divide 2a − 1.
Exercı́cio 31. Provar que o número

1995 · 19971996 − 1996 · 19971995 + 1

19962
é um inteiro.
Exercı́cio 32. Mostre que para n ı́mpar, n divide 1n +
2n + . . . + ( n − 1 ) n
Exercı́cio 33. Existe um natural n tal que nn + (n + 1)n
é divisı́vel por 2011?

http://matematica.obmep.org.br/ 2 [email protected]
 Respostas e Soluções. 9. Se n é ı́mpar, podemos escrever n = 2k + 1. Portanto,

1. Seja n um inteiro que deixa quociente igual ao resto n2 = (2k + 1)2

na divisão por 7, assim n = 7q + r = 8r. Como o resto = 4k2 + 4k + 1
não pode ser maior que divisor, os números procurados = 4k(k + 1) + 1.
são {0, 8, 16, 24, . . . , 8 · 7}.
Como k (k + 1) é o produto de dois números consecuti-
2. Se n representa o inteiro procurado, podemos vos, segue que k (k + 1) é par. Logo, 4k (k + 1) é múltiplo
escrever de 8 e n2 deixa resto 1.

n = 13q + r = 13(r + 4) + r = 14r + 52. 9. Sabemos que se n é ı́mpar, então n2 deixa resto 1 por
8. Portanto, 9n2 + 3 deixa o mesmo resto que 9 · 1 + 3 =
Como o resto não pode exceder o divisor, os inteiros 12 = 8 · 1 + 4 na divisão por 8. Consequentemente, o
procurados são {52, 14 · 1 + 52, 14 · 2 + 52, . . . , 14 · 12 + resto procurado é 4.
52}. 10. Se n não é múltiplo de 3, então ou n − 1 ou
n + 1 é um múltiplo de 3. Em qualquer caso, n2 − 1 =
3. Se n representa o inteiro procurado, podemos (n − 1)(n + 1) é múltiplo de 3 e consequentemente n2
escrever n = 14q + r = 17q. Como o resto não pode deixa resto 1 por 3. Portanto, 7n4 + 1 deixa o mesmo
exceder o divisor, segue que 0 ≤ 3q < 14, ou seja resto que 7 · (1)2 + 1 = 8 = 3 · 2 + 2. Ou seja, o resto
0 ≤ q ≤ 4. Consequentemente, o conjunto procurado é procurado é 2.
{17 · 0, 17 · 1, . . . , 17 · 4}.
11. Como o quadrado de um inteiro ı́mpar deixa resto
4. Sejam n e d o dividendo e o divisor. Temos as 1 na divisão por 8 e a soma dada possui 50 termos, o
seguintes equações: resto procurado é igual ao resto de 50 · 1 = 6 · 8 + 2 por
8. Portanto, a resposta é 2.
n = dq + r
12. Escreva n = 17q + q2 e note que 0 ≤ q2 < 17.
n + 52 = (d + 4)q + r.
Assim, q = 0, 1, 2, 3, 4 e, consequentemente, os possı́veis
Subtraindo a primeira equação da segunda, obtemos valores de n são
52 = 4q, ou seja, q = 13. 0, 18, 38, 60, 84.

5. Seja n = 2k + 1 um número ı́mpar, então 13. (Extraı́do da Olimpı́ada Cearense) Usando a

diferença de quadrados sucessivas vezes, podemos ob-
n = 2k + 1 ter ( a − b) como quociente.
= k2 + 2k + 1 − k2 14. Se n deixa resto 7 na divisão por 13, segue que
= ( k + 1)2 − k 2 . n = 13q1 + 7. Dividindo q1 por 5, podemos escrever
q1 = 5q2 + r, com r ∈ {0, 1, 2, 3, 4}. Substituindo o valor
6. de q1 na primeira equação, temos n = 65q2 + 13r + 7.
Dentre as cinco possibilidades de r, a única que faz n
a) Como 101 deixa resto 1 na divisão por 4, segue que deixar resto 4 por 5 é r = 4. Portanto, os números que
101 · 102 · 103 + 1 deixa o mesmo resto que 1 · 2 · 3 + satisfazem essa propriedade são os números da forma
1 = 7, ou seja, deixa resto 3 na divisão por 4. 65k + 59.
b) Como 73 deixa resto 1 na divisão por 4, segue que 15. Basta mostrar que n5 − 5n3 + 4n é múltiplo de 3, 8
73 · 74 · 75 + 2 deixa o mesmo resto que 1 · 2 · 3 + 2 = e 5. Na divisão por 5, temos quatro restos possı́veis:
8, ou seja, deixa resto 0 na divisão por 4. {0, 1, 2, 3, 4}. Assim, o número n5 − 5n3 + 4n possui
o mesmo resto na divisão por 5 que um dos cinco
7. Como 1001 = 103 + 1, seque que 103 deixa o mesmo números: {05 − 5 · 03 + 40, 15 − 5 · 13 + 4, 25 − 5 · 23 +
resto que −1 na divisão por 7 e que 10100 deixa o mesmo 8, 35 − 5 · 33 + 12, 45 − 5 · 43 + 16}. Como todos esses
resto que (103 )33 · 10, ou seja, deixa o mesmo resto que números são múltiplos de 5, segue que n5 − 5n3 + 4n é
(−1)33 · 10 = −10. Basta ver agora que −10 deixa o múltiplo de 5 para todo n inteiro. O procedimento com
mesmo resto que 4 na divisão por 7. 3 e 8 é semelhante.

http://matematica.obmep.org.br/ 3 [email protected]
16. Para o item a), troque z por yx . Para o item b), 24. Se o resto de n por 3 é r, o resto de n3 + 2n é o
substitua y por −y no item anterior. mesmo de r3 + 2r. Para r = 0, esse resto seria 0. Para
r = 1, seria o mesmo resto de 3 que é 0. Finalmente,
17. Pelo problema anterior, como 99 é ı́mpar temos: para r = 2, o resto seria o mesmo de 8 + 4 = 12 que
199 + 499 = (1 + 4)(198 + 197 · 4 + . . . + 1 · 497 + 498 ). Daı́, também é 0. Assim, não importa qual o resto de n por 3,
segue que 199 + 499 é múltiplo de 5. Analogamente o número n3 + 2n sempre deixará resto 0. Uma ideia im-
podemos mostrar que 299 + 399 é múltiplo de 5. portante nessa solução foi dividı́-la em casos. Também
poderı́amos ter resolvido esse exemplo apelando para
18. O número em questão é mútiplo de 2 pois é a soma alguma fatoração:
de dois ı́mpares e dois pares. Para ver que também é n3 + 2n = n3 − n + 3n
múltiplo de 5, basta notar que 5 divide 1n − 6n e 8n − 3n .
= n(n2 − 1) + 3n
Isso pode ser facilmente mostrado usando a fatoração
do exercı́cio 16. = n(n − 1)(n + 1) + 3n.
Como n − 1, n e n + 1 são consecutivos, um deles é
19. Como 1002 deixa resto 1 por 7, o número acima
múltiplo de 3. Assim, o último termo da igualdade
deixa o mesmo resto que 1 · 2 · 3 = 6 por 7.
anterior é a soma de dois múltiplos de 3 e consequente-
mente o resto procurado é 0.
20. Como 4 deixa resto 1 por 3, 45000 deixa o mesmo
resto que 1| · 1 ·{z. . . · 1} = 1 por 3. 25. Veja que
5000 1 · 2 · · · 2n
(n + 1)(n + 2) . . . (2n) = .
1·2···n
21. Note que 20 deixa resto 1 por 3, 21 deixa resto Para cada número natural k no produto escrito no deno-
2 por 3, 22 deixa resto 1 por 3, 23 deixa resto 2 por 3, minador, temos uma aparição de 2k no produto escrito
24 deixa resto 1 por 3. Precebeu alguma coisa? Como no numerador. Basta efetuarmos os cancelamentos ob-
100 é par, o resto deverá ser 1. Como 22 deixa resto tendo:
1, então 22k = 2| 2 · 22 {z
· . . . · 2}2 deixa o mesmo resto que
k (n + 1)(n + 2) . . . (2n) = 2n · 1 · 3 · · · (2n − 1).
1| · 1 ·{z. . . · 1} = 1 e 22k+1 = 22k · 2 deixa o mesmo resto 26. (Extraı́do da Olimpı́ada do Leningrado) Se chamar-
k mos p = ab − cd, teremos a = px, b = py, c = pz e d =
que 1 · 2 = 2 por 3.
pt onde x, y, z e t são inteiros. Assim, p = p2 ( xy − zt).
Consequentemente 1 = p( xy − zt) e concluı́mos que
22.
p = 1, pois p é natural.

(a) Usando a distributividade e efetuando os devidos 27. Como 10n − 1n = (10 − 1)(10n−1 + 10n−2 + . . . +
cancelamentos no lado direito, podemos escrever: 1), podemos concluir que 10n sempre deixa resto 1 na
divisão por 9. Assim, n = am 10m + am−1 10m−1 + . . . +
a n + a n −1 + . . . + a 2 + a − a1 10 + a0 , deixa o mesmo resto que am + am−1 + . . . + a0
− a n −1 − a n −2 − . . . − a − 1 = na divisão por 9. Desse modo, D (n) nada mais é do
que o resto na divisão por 9 do número n. Como 1234
an − 1.
deixa resto 1 por 9, o número (1234)n deixa o mesmo
resto que 1 · n por 9, ou seja, D ((1234)n) = D (n).
(b) Veja que 3 = 4 − 1 e assim é natural substituir os
28. Fatoremos a expressão anterior. Somando 6 aos
valores dados na expressão do primeiro item:
dois lados da equação, obtemos:
42012 − 1 = 3(42011 + . . . + 4 + 1). 85 = 6 + ab + 2a + 3b
= (3 + a)(2 + b)
Isso significa que q = (42011 + . . . + 4 + 1) e que
r = 1. Assim, (3 + a) e (2 + b) são divisores positivos de 85
maiores que 1. Os únicos divisores positivos de 85 são
23. O que acontece ao somarmos 1 ao nosso número? 1, 5, 19, 85. Logo, os possı́veis pares de valores para
Ele passa a deixar resto 0 na divisão por 10, 9 e 8. Assim, (3 + a, 2 + b) são (5, 19) ou (19, 5) que produzem as
um possı́vel valor para N é 10 · 9 · 8 − 1. soluções ( a, b) = (2, 17) e (16, 3).

http://matematica.obmep.org.br/ 4 [email protected]
 2n − 2
29. Se k = , então
n
n n
22 − 1 − 2 2(22 −2 − 1)
=
2n − 1 2n − 1
 nk
2 −1

= 2
2n − 1
!
(2n − 1)(2n(k−1) + . . . + 2n + 1)
= 2
2n − 1
= 2 (2n ( k −1) + 2n ( k −2) + . . . + 2n + 1 ),

é um número inteiro.

30. Se a = nk, temos (2n − 1)(2n(k−1) + 2n(k−2) + . . . +

2n + 1) = 2nk − 1.

31. (Extraı́do da Olimpı́ada do Cone Sul) Veja que

1995 · 19971996 − 1996 · 19971995 + 1 = 1995 · (19971996 −
1) − 1996 · (19971995 − 1). Pela fatoração de x n − yn ,
segue que

1996 · (19971995 − 1)
= (19971994 + 19971993 + . . . + 1),
19962

1997k − 1
é inteiro. Além disso, pela mesma fatoração,
1996
é inteiro para todo k natural. Consequentemente

1995 · (19971996 − 1) 19971995 − 1


= 1995 · +
19962 1996
19971994 − 1
+ +...+
1996
1997 − 1 1996

+ + ,
1996 1996

é uma soma de números inteiros.

32. Como n é impar,

(n − i )n + in = ((n − i ) + i )((n − i )n−1 − (n − i )n−2 i +

+ ( n − i ) n −3 i 2 − . . . − ( n − i ) i n −2 + i n −1 ).

é múltiplo de n. Portanto, a soma de números corres-

pondentes em relação aos extremos da soma são sempre
múltiplos de n.

33. Basta fazer n = 1005 e usar a fatoração de x n + yn .

Produzido por Arquimedes Curso de Ensino

[email protected]

http://matematica.obmep.org.br/ 5 [email protected]