Polos Olmpicos de Treinamento

Curso de Teoria dos Nmeros - Nvel 2

Aula

Samuel Barbosa Feitosa

Divisibilidade I
Teorema 1. (Algoritmo da Divis
ao) Para quaisquer inteiros positivos a e b, existe um u
nico
par (q, r) de inteiros n
ao negativos tais que b = aq + r e r < a. Os n
umeros q e r s
ao
chamados de quociente e resto, respectivamente, da divis
ao de b por a.
Exemplo 2. Encontre um n
umero 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.
O que acontece ao somarmos 1 ao nosso n
umero? Ele passa a deixar resto 0 na divisao por
10, 9 e 8. Assim, um possvel valor para N e 10 9 8 1.
Exemplo 3. a) Verifique que an 1 = (a 1)(an1 + an2 + . . . + a + 1)
b) Calcule o resto da divis
ao de 42012 por 3.
Para o item a), usando a distributividade e efetuando os devidos cancelamentos no lado
direito, podemos escrever:
an + an1 + . . . + a2 + a an1 an2 . . . a 1 = an 1.
Para o item b), veja que 3 = 41 e assim e natural substituir os valores dados na express
ao
do primeiro item:
42012 1 = 3(42011 + . . . + 4 + 1).
Isso significa que q = (42011 + . . . + 4 + 1) e que r = 1.
Observac
ao 4. O teorema anterior admite um enunciado mais geral: Para quaisquer inteiros a e b, com a 6= 0, existe um u
nico par de inteiros (q, r) tais que b = aq + r, 0 r < |a|.
Por exemplo, o resto da divis
ao de 7 por 3 e 2 e o quociente e 3.
Iremos agora estudar propriedades a respeito das operacoes com restos.
Teorema 5. (Teorema dos Restos) Se b1 e b2 deixam restos r1 e r2 na divis
ao por a,respectivamente,
ent
ao:

POT 2012 - Teoria dos N

umeros - Nvel 2 - Aula 1 - Samuel Feitosa

b1 + b2 deixa o mesmo resto que r1 + r2 na divis

ao por a
b1 b2 deixa o mesmo resto que r1 r2 na divis
ao por a.
Demonstraca
o. Por hip
otese, existem q1 , q2 e q tais que: b1 = aq1 + r1 , b2 = aq2 + r2 e
r1 + r2 = aq + r, logo:
b1 + b2 = a(q1 + q2 + q) + r.
Como 0 < r < |a|, b1 + b2 deixa resto r quando dividido por a. A demonstracao para o
produto e deixada ao cargo do leitor.
Observac
ao 6. Em alguns casos, e prefervel que o professor faca uma demonstraca
o do
resultado anterior para a = 3 ou a = 5 apenas com o intuito de deixar os alunos mais
prefervel que mais tempo seja gasto resolvendo
confort
aveis a respeito do resultado. E
exemplos e problemas. Na seca
o de congruencias, os alunos ter
ao um contato mais apropriado com o enunciado anterior.
Exemplo 7. Qual o resto que o n
umero 1002 1003 1004 deixa quando dividido por 7?
Como 1002 deixa resto 1 por 7, o n
umero acima deixa o mesmo resto que 1 2 3 = 6 por 7.
Exemplo 8. Qual o resto que o n
umero 45000 deixa quando dividido por 3?
Como 4 deixa resto 1 por 3, 45000 deixa o mesmo resto que 1| 1 {z. . . 1} = 1 por 3.
5000

Exemplo 9. Qual o resto que o n

umero 22k+1 deixa quando dividido por 3?

Note que 20 deixa resto 1 por 3, 21 deixa resto 2 por 3, 22 deixa resto 1 por 3, 23 deixa
resto 2 por 3, 24 deixa resto 1 por 3. Precebeu alguma coisa? Como 100 e par, o resto
devera ser 1. Como 22 deixa resto 1, entao 22k = 2| 2 22 {z
. . . 2}2 deixa o mesmo resto que
k

1| 1 {z. . . 1} = 1 e 22k+1 = 22k 2 deixa o mesmo resto que 1 2 = 2 por 3.

k

Exemplo 10. Qual o resto de n3 + 2n na divis

ao por 3?

Se o resto de n por 3 e r, o resto de n3 + 2n e o mesmo de r3 + 2r. Para r = 0, esse

resto seria 0. Para r = 1, seria o mesmo resto de 3 que e 0. Finalmente, para r = 2, o
resto seria o mesmo de 8 + 4 = 12 que tambem e 0. Assim, nao importa qual o resto de n
por 3, o n
umero n3 + 2n sempre deixara resto 0. Uma ideia importante nessa solucao foi
divid-la em casos. Tambem poderamos ter resolvido esse exemplo apelando para alguma
fatoracao:
n3 + 2n = n3 n + 3n = n(n2 1) + 3n = n(n 1)(n + 1) + 3n.
Como n 1, n e n + 1 s
ao consecutivos, um deles e m
ultiplo de 3. Assim, o u
ltimo termo da
igualdade anterior e a soma de dois m
ultiplos de 3 e consequentemente o resto procurado
e 0.

POT 2012 - Teoria dos N

umeros - Nvel 2 - Aula 1 - Samuel Feitosa

Observac
ao 11. Fatoraco
es podem ser muito u
teis para encontrarmos os valores explcitos
de q e r.
Exemplo 12. Prove que, para cada n natural,
(n + 1)(n + 2) . . . (2n)
e divisvel por 2n .
Veja que

1 2 2n
.
1 2n
Para cada n
umero natural k no produto escrito no denominador, temos uma aparicao de
2k no produto escrito no numerador. Basta efetuarmos os cancelamentos obtendo:
(n + 1)(n + 2) . . . (2n) =

(n + 1)(n + 2) . . . (2n) = 2n 1 3 (2n 1).

Exemplo 13. (Olimpada de Leningrado 1991) Cada um dos naturais a, b, c e d e divisvel
por ab cd, que tambem e um n
umero natural. Prove que ab cd = 1.
Se chamarmos p = ab cd, teremos a = px, b = py, c = pz e d = pt onde x, y, z e t s
ao
inteiros. Assim, p = p2 (xy zt). Consequentemente 1 = p(xy zt) e conclumos que p = 1,
pois p e natural.
Exemplo 14. A soma digital D(n) de um inteiro positivo n e definida recursivamente como
segue:

n
se 1 n 9,
D(n) =
D(a0 + a1 + . . . + am ) se n > 9,
onde a0 , a1 , . . . , am s
ao todos os dgitos da express
ao decimal de n na base 10, i.e.,
n = am 10m + am1 10m1 + . . . + a1 10 + a0
Por exemplo, D(989) = D(26) = D(8) = 8. Prove que: D((1234)n) = D(n), para n =
1, 2, 3 . . .
Como 10n 1n = (10 1)(10n1 + 10n2 + . . . + 1), podemos concluir que 10n sempre deixa
resto 1 na divisao por 9. Assim, n = am 10m + am1 10m1 + . . . + a1 10 + a0 , deixa o mesmo
resto que am + am1 + . . . + a0 na divisao por 9. Desse modo, D(n) nada mais e do que
o resto na divisao por 9 do n
umero n. Como 1234 deixa resto 1 por 9, o n
umero (1234)n
deixa o mesmo resto que 1 n por 9, ou seja, D((1234)n) = D(n).
Observac
ao 15. O exemplo anterior contem o criterio de divisibilidade por 9, i.e., n deixa
o mesmo resto que D(n) na divis
ao por 9. O criterio de divisibilidade por 3 e an
alogo pois
10n tambem sempre deixa resto 1 por 3.
Exemplo 16. Encontre todos os pares de inteiros positivos a e b tais que 79 = ab + 2a + 3b.

POT 2012 - Teoria dos N

umeros - Nvel 2 - Aula 1 - Samuel Feitosa

Fatoremos a expressao anterior. Somando 6 aos dois lados da equacao, obtemos:

85 = 6 + ab + 2a + 3b
= (3 + a)(2 + b)
Assim, (3 + a) e (2 + b) s
ao divisores positivos de 85 maiores que 1. Os u
nicos divisores
positivos de 85 s
ao 1, 5, 19, 85. Logo, os possveis pares de valores para (3 + a, 2 + b) s
ao
(5, 19) ou (19, 5) que produzem as solucoes (a, b) = (2, 17) e (16, 3).
2n 2
22 1 2
e um inteiro, ent
ao
n
2n 1
n

Problema 17. (Olimpada Russa) Prove que se

tambem e um inteiro.
Se k =

2n 2
, entao
n
22 1 2
2n 1
n

2(22 2 1)
=
2n 1
 nk

2 1
= 2
2n 1
n

= 2

(2n 1)(2n(k1) + 2n(k2) + . . . + 2n + 1)

2n 1

= 2(2n(k1) + 2n(k2) + . . . + 2n + 1),

e um n
umero inteiro.

Problemas Propostos

Problema 18. Encontre os inteiros que, na divis

ao por 7, deixam um quociente igual ao
resto.
Problema 19. Determinar os n
umeros que divididos por 17 d
ao um resto igual ao quadrado
do quociente correspondente.
Problema 20. (OCM 1985) Encontre o quociente da divis
ao de a128 b128 por
(a64 + b64 )(a32 + b32 )(a16 + b16 )(a8 + b8 )(a4 + b4 )(a2 + b2 )(a + b)
Problema 21. (OCM 1994) Seja A = 777 . . . 77 um n
umero onde o dgito 7aparece 1001
vezes. Determinar o quociente e o resto da divis
ao de A por 1001.
Problema 22. Encontre um inteiro que deixa resto 4 na divis
ao por 5 e resto 7 na divis
ao
por 13
Problema 23. Encontre o menor inteiro que, dividido por 29 deixa resto 5, e dividido por
31 d
a resto 28.
4

POT 2012 - Teoria dos N

umeros - Nvel 2 - Aula 1 - Samuel Feitosa

Problema 24. Prove que, para todo inteiro positivo n o n

umero n5 5n3 + 4n e divisvel
por 120.
Problema 25. (Fatoraco
es Importantes)
a) Seja S = 1 + z + z 2 + z 3 + . . . + z n1 . Veja que S + z n = 1 + zS ent
ao S(z 1) = z n 1.
Conclua que, para quaisquer x e y vale:
xn y n = (x y)(xn1 + xn2 y + xn3 y 2 + . . . + x2 y n3 + xy n2 + y n1 )
b) Mostre que se n e mpar vale:
xn + y n = (x + y)(xn1 xn2 y + xn3 y 2 . . . + x2 y n3 xy n2 + y n1 )
Problema 26. Prove que, o n
umero 199 + 299 + 399 + 499 + 599 e m
ultiplo de 5.
Problema 27. Mostre que o n
umero 1n + 8n 3n 6n e multiplo de 10 para todo natural
n.
Problema 28. Encontre o resto da divis
ao 3710 1 por 11.
Problema 29. Prove que 22225555 + 55552222 e divisvel por 7.
Problema 30. Encontre o u
ltimo dgito do n
umero 19891989 .
Problema 31. Mostre que se n divide a ent
ao 2n 1 divide 2a 1.
Problema 32. (Cone Sul 1996) Provar que o n
umero
1995 19971996 1996 19971995 + 1
19962
e um inteiro.
Problema 33. Mostre que para n mpar, n divide 1n + 2n + . . . + (n 1)n
Problema 34. Existe um natural n tal que nn + (n + 1)n e divisvel por 2011?
Problema 35. Quantos n
umeros inteiros positivos n existem tais que n + 3 divide n2 + 7?
Problema 36. Encontre o n
umero de inteiros n tais que
1. 1000 < n < 8000.
2. nn+1 + (n + 1)n e divisvel por 3.
Problema 37. Sejam m e n naturais tais que mn + 1 e m
ultiplo de 24, mostre que m + n
tambem e m
ultiplo de 24.

POT 2012 - Teoria dos N

umeros - Nvel 2 - Aula 1 - Samuel Feitosa

Problema 38. (Irlanda 1997) Encontre todos os pares de inteiros (x, y) tais que 1+1996x+
1998y = xy.

Dicas e Solu
c
oes

18. Os n
umeros s
ao {0, 8, 16, 24, . . . , 8 7}.
18. Escreva n = 17q + q 2 e note que 0 q 2 < 17. Assim, q = 0, 1, 2, 3, 4.
19. Use a diferenca de quadrados sucessivas vezes para obter (a b) como quociente.
21. O n
umero do problema e igual a
100

10999 +1
103 +1

7(101001 1)
.
9

Alem disso,

10999 +1
103 +1

e inteiro e

101001 1
103 +1

100
.
103 +1

22. Os n
umeros que satisfazem essa propriedade s
ao os n
umeros da forma 65k + 59.
24. Basta mostrar que n5 5n3 + 4n e m
ultiplo de 3, 8 e 5. Na divisao por 5, temos
quatro restos possveis: {0, 1, 2, 3, 4}. Assim, o n
umero n5 5n3 + 4n possui o mesmo
resto na divisao por 5 que um dos cinco n
umeros: {05 5 03 + 40, 15 5 13 + 4, 25
5 23 + 8, 35 5 33 + 12, 45 5 43 + 16}. Como todos esses n
umeros s
ao m
ultiplos
de 5, segue que n5 5n3 + 4n e m
ultiplo de 5 para todo n inteiro. O procedimento
com 3 e 8 e semelhante.
25. Para o item a), troque z por xy . Para o item b), substitua y por y no item anterior.
26. Pelo problema anterior, como 99 e mpar temos: 199 + 499 = (1 + 4)(198 + 197 4 +
. . . + 1 497 + 498 ). Da, segue que 199 + 499 e m
ultiplo de 5. Analogamente podemos
99
99
mostrar que 2 + 3 e m
ultiplo de 5.
27. O n
umero em quest
ao e m
utiplo de 2 pois e a soma de dois mpares e dois pares.
Para ver que tambem e m
ultiplo de 5, basta notar que 5 divide 1n 6n e 8n 3n .
Isso pode ser facilmente mostrado usando a fatoracao do exerccio 25.
31. Se a = nk, temos (2n 1)(2n(k1) + 2n(k2) + . . . + 2n + 1) = 2nk 1.
32. Veja que 199519971996 199619971995 +1 = 1995(19971996 1)1996(19971995 1).
Pela fatoracao de xn y n ,
1996 (19971995 1)
= (19971994 + 19971993 + . . . + 1),
19962
e inteiro. Alem disso, pela mesma fatoracao,


1997 1 1996
19971995 1 19971994 1
1995 (19971996 1)
=
1995
+
+
.
.
.
+
+
,
19962
1996
1996
1996
1996
e uma soma de n
umeros inteiros.
6

33. Como n e impar,

(n i)n + in = ((n i) + i)((n i)n1 (n i)n2 i + . . . (n i)in2 + in1 ).
34. Faca n = 1005 e use a fatoracao de xn + y n .
37. Fatore a expressao como:
(x 1998)(y 1996) = xy 1998y 1996x + 1998 1996 = 19972 .
Os divisores de 19972 s
ao {1, 1997, 19972 }. Resolvendo os sistemas correspondentes `
a essas possibilidades, temos: (x, y) = (1999, 19972 + 1996), (1997, 19972 +
1996), (3995, 3993), (1, 1), (19972 + 1998, 1997), (19972 + 1998, 1995).

Refer
encias
[1] F. E. Brochero Martinez, C. G. Moreira, N. C. Saldanha, E. Tengan - Teoria dos
N
umeros um passeio com primos e outros n
umeros familiares pelo mundo inteiro,
Projeto Euclides, IMPA, 2010.
[2] E. Carneiro, O. Campos and F. Paiva, Olimpadas Cearenses de Matem
atica 1981-2005
(Nveis J
unior e Senior), Ed. Realce, 2005.
[3] S. B. Feitosa, B. Holanda, Y. Lima and C. T. Magalhaes, Treinamento Cone Sul 2008.
Fortaleza, Ed. Realce, 2010.
[4] D. Fomin, A. Kirichenko, Leningrad Mathematical Olympiads 1987-1991, MathPro
Press, Westford, MA, 1994.
[5] D. Fomin, S. Genkin and I. Itenberg, Mathematical Circles, Mathematical Words, Vol.
7, American Mathematical Society, Boston, MA, 1966.
[6] I. Niven, H. S. Zuckerman, and H. L. Montgomery, An Introduction to the Theory of
Numbers.