Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
2010/4/19
i page 1
Estilo OBMEP
i
i
Iniciao Aritmtica
Abramo Hefez
i
i
principal
2010/4/19
i page 3
Estilo OBMEP
i
i
Sobre o Autor
Abramo Hefez nasceu no Egito, mas brasileiro por opo e carioca de corao. Cursou o ginasial e cientfico no Rio de Janeiro,
graduou-se na PUC-Rio em Matemtica e prosseguiu seus estudos
na Universidade de Pisa, Itlia e nos Estados Unidos, doutorando-se,
em Geometria Algbrica no Massachusetts Institute of Technology.
Professor Titular no Instituto de Matemtica da Universidade Federal
Fluminense, onde exerce docncia na graduao e na ps-graduao
e desenvolve atividade de pesquisa.
i
i
i
i
principal
2010/4/19
i page 4
Estilo OBMEP
i
i
i
principal
2010/4/19
i page ii
Estilo OBMEP
i
i
ii
da anlise de um nmero finito de casos). Essas dedues podem se
transformar em verdadeiras demonstraes utilizando-se o Princpio
de Induo Matemtica, que assunto de um outro texto do autor,
publicado nesta coleo e destinado aos alunos do nvel III.
Este texto no existiria no fosse o desafio lanado por Suely
Druck, Diretora Acadmica da OBMEP, a quem agradeo calorosamente pela preciosa oportunidade de me dirigir aqui a vocs.
Agradeo tambm ao colega Dinamrico Pombo por sua leitura cuidadosa do manuscrito original.
Finalmente, espero que voc aprecie o material aqui apresentado
e que faa de seu estudo uma atividade prazerosa. Bom divertimento!
i
i
principal
2010/4/19
i page iii
Estilo OBMEP
i
i
Sumrio
1 Os Nmeros Naturais
1.1
Os Naturais . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3
Adio . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4
Subtrao . . . . . . . . . . . . . . . . . . . . . . . . .
10
1.5
Mltiplos . . . . . . . . . . . . . . . . . . . . . . . . .
13
1.6
Multiplicao . . . . . . . . . . . . . . . . . . . . . . .
16
1.7
Mltiplos Comuns . . . . . . . . . . . . . . . . . . . .
19
1.8
Potenciao . . . . . . . . . . . . . . . . . . . . . . . .
21
23
2.1
O Sistema Decimal . . . . . . . . . . . . . . . . . . . .
23
2.2
Critrios de Multiplicidade de 2, 5 e 10 . . . . . . . . .
26
2.3
Critrios de Multiplicidade de 9 e de 3 . . . . . . . . .
29
2.4
Nmeros Primos . . . . . . . . . . . . . . . . . . . . .
31
iii
i
i
i
principal
2010/4/19
i page iv
Estilo OBMEP
i
i
iv
2.5
O Crivo de Eratstenes . . . . . . . . . . . . . . . . . .
33
2.6
38
42
3.1
Os Inteiros
. . . . . . . . . . . . . . . . . . . . . . . .
42
3.2
45
3.3
Divisores . . . . . . . . . . . . . . . . . . . . . . . . . .
47
3.4
Algoritmo da Diviso . . . . . . . . . . . . . . . . . . .
53
3.5
Par ou mpar?
. . . . . . . . . . . . . . . . . . . . . .
58
3.6
Zero, Um ou Dois? . . . . . . . . . . . . . . . . . . . .
60
3.7
62
3.8
66
3.9
70
75
81
4.1
Congruncias . . . . . . . . . . . . . . . . . . . . . . .
81
4.2
. . . . . . . . . .
84
4.3
Congruncias e Somas . . . . . . . . . . . . . . . . . .
85
4.4
Congruncias e Produtos . . . . . . . . . . . . . . . . .
87
4.5
Algumas Aplicaes . . . . . . . . . . . . . . . . . . .
90
4.6
Aritmtica Modular . . . . . . . . . . . . . . . . . . .
96
5 Problemas Suplementares
99
i
i
principal
2010/4/19
i page 1
Estilo OBMEP
i
i
Captulo 1
Os Nmeros Naturais
1.1
Os Naturais
i
i
principal
2010/4/19
i page 2
Estilo OBMEP
i
i
senta a unidade, e com uma lei, simbolizada pelas flechas, que a cada
nmero, comeando pelo 1, fornece o seu sucessor, isto , o nmero
que lhe segue.
Sabemos tambm que esta sequncia nunca termina; ou seja, os
nmeros naturais so em quantidade infinita.
Cada elemento desse conjunto tem de ser obviamente representado por um smbolo distinto. Como fazer isto de modo a poder
memorizar todos esses smbolos? A resposta, muito engenhosa,
dada pela adoo de um sistema de numerao, que no nosso caso
o sistema decimal posicional, que ser descrito no prximo captulo.
Assim, por exemplo, sabemos que nesse sistema sucedendo o 10 vem
o 11 e sucedendo o 999 vem o 1 000 etc.
Os nmeros naturais permitem contar objetos, inclusive subconjuntos do prprio conjunto dos naturais. Por exemplo, de 1 a n,
inclusive, existem exatamente n nmeros naturais.
1.2
Ordem
1 < 2,
- bn- . . .
5 < 7,
9>6
etc.
i
i
principal
2010/4/19
i page 3
Estilo OBMEP
i
i
- bn- . . .
- cn - . . .
Em smbolos:
Se a < b e b < c, ento a < c.
ou
a = b.
a = b,
ou
a > b.
i
i
principal
2010/4/19
i page 4
Estilo OBMEP
i
i
i
i
principal
2010/4/19
i page 5
Estilo OBMEP
i
i
1.3
Adio
- a
-a+1
- ...
a
a+1
a+2 - ...
- a+b - ...
i
i
principal
2010/4/19
i page 6
Estilo OBMEP
i
i
2 + 1 = 3,
3 + 1 = 4,
4 + 1 = 5,
3 + 1 = 4,
3 + 2 = 5,
logo, tambm, 3 + 2 = 5.
Portanto,
2 + 3 = 3 + 2 = 5.
Este fato no uma mera coincidncia, ocorre sempre!
Propriedade comutativa da adio. Quaisquer que sejam os nmeros naturais a e b, temos que
a + b = b + a.
i
i
principal
2010/4/19
i page 7
Estilo OBMEP
i
i
i
i
principal
2010/4/19
i page 8
Estilo OBMEP
i
i
i
i
principal
2010/4/19
i page 9
Estilo OBMEP
i
i
.
.
.
a
a+1 a+2
b
b+1
b+2 - ...
Prova-se esta propriedade utilizando a tricotomia. De fato, suponhamos que a + c < b + c. Pela tricotomia, temos uma das trs
possibilidades:
b < a, b = a, ou a < b.
A primeira possibilidade no pode ser verificada, pois se b < a,
teramos b + c < a + c, pela propriedade j provada, o que est em
contradio com a nossa hiptese a + c < b + c.
A segunda possibilidade tambm no pode ser verificada, pois se
a = b, teramos a + c = b + c, o que tambm est em contradio com
a nossa hiptese.
S resta portanto a nica possibilidade: a < b.
Voc percebeu que utilizamos a tricotomia diversas vezes na prova
acima?
i
i
principal
2010/4/19
i page 10
Estilo OBMEP
i
i
10
1.4
Subtrao
(1.1)
i
i
principal
2010/4/19
i page 11
Estilo OBMEP
i
i
11
- an- . . .
i
i
principal
2010/4/19
i page 12
Estilo OBMEP
i
i
12
i
i
principal
2010/4/19
i page 13
Estilo OBMEP
i
i
13
1.5
Mltiplos
Dado a N, podemos considerar os mltiplos de a:
0 vezes a (nenhuma vez a), uma vez a, duas vezes a, trs vezes a
etc., obtendo assim a sequncia:
0 a = 0, 1 a = a, 2 a = a + a, 3 a = a + a + a, . . .
Por exemplo, 0 dzias, uma dzia, duas dzias, trs dzias etc.,
so os mltiplos de 12.
Outro exemplo dado pelos mltiplos de 2:
0, 2, 4, 6, 8, 10,
que so chamados de nmeros pares. Um nmero que no par
chamado de mpar.
Problema 1.11. Os nmeros mpares so mltiplos de algum nmero
fixado maior do que 1? Voc seria capaz de justificar de modo convincente a sua resposta?
Problema 1.12. Liste os 10 primeiros mltiplos de 5.
Problema 1.13. Descubra quantos mltiplos de 7 existem entre 14
e 63, inclusive.
i
i
principal
2010/4/19
i page 14
Estilo OBMEP
i
i
14
Se a b = 0, ento a = 0 ou b = 0.
i
i
principal
2010/4/19
i page 15
Estilo OBMEP
i
i
15
Problema 1.15.
(a) Quantos mltiplos de 8 existem entre 32 e 8 000, inclusive?
(b) Quantos nmeros pares existem entre 3 211 e 6 321?
(c) Quantas dzias podemos formar com 180 laranjas? E com 220
laranjas?
(d) Quantas semanas formam 280 dias? E 360 dias?
i
i
principal
2010/4/19
i page 16
Estilo OBMEP
i
i
16
1.6
Multiplicao
0,
se a = 0,
b,
se a = 1,
ab=
|
a parcelas
i
i
principal
2010/4/19
i page 17
Estilo OBMEP
i
i
17
6 12 + (1 12 + 2 12)
(6 12 + 1 12) + 2 12
7 12 + (1 12 + 1 12)
(7 12 + 1 12) + 1 12
8 12 + 1 12
9 12 = (6 + 3) 12.
i
i
principal
2010/4/19
i page 18
Estilo OBMEP
i
i
18
i
i
principal
2010/4/19
i page 19
Estilo OBMEP
i
i
19
1.7
Mltiplos Comuns
i
i
principal
2010/4/19
i page 20
Estilo OBMEP
i
i
20
Voc saberia continuar a sequncia acima? Aparentemente, tratase da sequncia dos mltiplos de 15, ou seja, os mltiplos do menor
mltiplo comum no nulo de 3 e de 5, que 15.
Isso absolutamente correto e um resultado geral que provaremos a seu tempo.
Problema 1.23. Determine os dois primeiros mltiplos comuns de
4 e 14. Como voc continuaria esta sequncia?
Se a e b so nmeros naturais no nulos, sabemos por definio
que o nmero a b um mltiplo no nulo de b. Por outro lado, pela
propriedade comutativa da multiplicao, tem-se que ele tambm
um mltiplo de a. Assim, o conjunto dos mltiplos comuns de a e b,
alm de conter o nmero 0, contm tambm o nmero a b 6= 0.
Definio. O menor mltiplo comum no nulo de dois nmeros naturais no nulos a e b denotado por mmc(a, b) e ser chamado de
mnimo mltiplo comum1 de a e b (ou abreviadamente mmc).
Problema 1.24. Ache o mmc dos seguintes pares de nmeros:
3 e 4;
6 e 11;
6 e 8;
3 e 9.
i
i
principal
2010/4/19
i page 21
Estilo OBMEP
i
i
21
1.8
Potenciao
1,
se n = 0,
a,
se n = 1,
an =
aa
{z a}, se n > 1.
|
n fatores
Exemplo: 20 = 1, 21 = 2, 22 = 2 2 = 4, 23 = 8, 02 = 0 etc.
Observao. Fica de fora 00 , que no definido.
Problema 1.25. Convena-se de que a potenciao possui as seguintes propriedades:
(a) 1n = 1;
(b) an am = an+m ;
(d) an bn = (ab)n .
i
i
principal
2010/4/19
i page 22
Estilo OBMEP
i
i
22
Em geral, (a + b)n se escreve como a soma dos produtos de potncias ai bj , onde i + j = n, multiplicados por certos nmeros naturais.
Esta frmula geral que no apresentaremos aqui chamada de frmula do binmio de Newton. Para maiores informaes sobre esta
frmula, veja o texto sobre induo do autor, j citado anteriormente
e listado na bibliografia no final do livro.
Problema 1.26. Desenvolva (a + b)5 .
i
i
principal
2010/4/19
i page 23
Estilo OBMEP
i
i
Captulo 2
O Sistema Decimal
i
i
principal
2010/4/19
i page 24
Estilo OBMEP
i
i
24
do seguinte modo:
O algarismo da extrema direita tem peso 100 = 1; o seguinte,
sempre da direita para a esquerda, tem peso 101 = 10; o seguinte tem
peso 102 = 100; o seguinte tem peso 103 = 1 000 etc.
Assim, o nmero 1 458, no sistema decimal representa o nmero
1 103 + 4 102 + 5 10 + 8.
Os zeros esquerda em um nmero so irrelevantes, pois por exemplo,
0231 = 0 103 + 2 102 + 3 10 + 1 = 2 102 + 3 10 + 1 = 231.
Cada algarismo de um nmero possui uma ordem, contada da
direita para a esquerda. Assim, no exemplo acima, o 8 de primeira
ordem, o 5 de segunda ordem, o 4 de terceira ordem e o 1 de quarta
ordem.
Cada trs ordens, tambm contadas da direita para a esquerda,
constituem uma classe. As classes so usualmente separadas por um
ponto. A seguir, damos os nomes das primeiras classes e ordens:
unidades 1 ordem
Classe das Unidades
dezenas 2a ordem
centenas 3a ordem
i
i
principal
2010/4/19
i page 25
Estilo OBMEP
i
i
Classe do Milho
25
i
i
principal
2010/4/19
i page 26
Estilo OBMEP
i
i
26
2.2
Critrios de Multiplicidade de 2, 5 e 10
i
i
principal
2010/4/19
i page 27
Estilo OBMEP
i
i
27
s pode ser 0, 1, 4, 5, 6 ou 9.
Critrio de multiplicidade de 2.
Inicialmente, consideremos a tabela:
20=0
21=2
22=4
23=6
24=8
2 5 = 10 = 10 + 0
2 6 = 12 = 10 + 2
2 7 = 14 = 10 + 4
2 8 = 16 = 10 + 6
2 9 = 18 = 10 + 8
i
i
principal
2010/4/19
i page 28
Estilo OBMEP
i
i
28
i
i
principal
2010/4/19
i page 29
Estilo OBMEP
i
i
29
2.3
Critrios de Multiplicidade de 9 e de 3
i
i
principal
2010/4/19
i page 30
Estilo OBMEP
i
i
30
i
i
principal
2010/4/19
i page 31
Estilo OBMEP
i
i
31
nmeros a seguir:
108, 111, 225, 328, 930, 35 424, 523 476.
2.4
Nmeros Primos
i
i
principal
2010/4/19
i page 32
Estilo OBMEP
i
i
32
i
i
principal
2010/4/19
i page 33
Estilo OBMEP
i
i
2.5
33
O Crivo de Eratstenes
i
i
principal
2010/4/19
i page 34
Estilo OBMEP
i
i
34
i
i
principal
2010/4/19
i page 35
Estilo OBMEP
i
i
35
2n 3n 6 4
13n 6 14
5n 6 6
n 6 18
17
n 6 30
29
n 6 42
41
n 6 54
53
6 15
6 16
6 25
6 26
n 6 38
37
6 27
6 28
6 39
6 40
6 49
6 50
n 6 62
61
73n 6 74
6 51
6 52
6 63
6 64
6 65
6 75
6 76
6 85
6 86
n
6 98
97
109 16 10
6 87
6 88
6 99
16 00
16 11
16 12
16 21
16 22
16 23
16 24
6 77
6 78
n 6 90
89
101 16 02
113 16 14
16 33
16 34
16 35
16 36
16 45 16 46
157 16 58
16 47
16 48
16 59
16 60
16 71
16 72
16 83
16 84
16 95
16 96
26 06
26 07
26 08
26 09
26 17 26 18
229 26 30
241 26 42
26 19
26 20
26 31
26 32
26 43
26 44
26 21 26 22
233 26 34
16 69 16 70
181 16 82
193 16 94
26 05
6 66
16 25 16 26
137 16 38
149 16 50
16 61 16 62
173 16 74
16 85 16 86
197 16 98
26 45
26 10
26 46
7n 6 8
n 6 20
19
n 6 32
31
n 6 44
43
n 6 12
11
n 6 24
23
69
6 10
6 21
6 22
6 33
6 34
6 45
6 46
6 55
6 56
n 6 68
67
79n 6 80
6 57
6 58
6 69
6 70
6 81
6 82
6 91
6 92
103 16 04
6 93
6 94
16 05
16 06
16 17
16 18
16 29
16 30
16 41
16 42
16 43
16 53
16 54
16 65
16 66
16 76
16 77
16 78
16 87 16 88
199 26 00
211 26 12
223 26 24
16 89
16 90
26 01
26 02
16 55 16 56
167 16 68
179 16 80
191 16 92
26 03
26 13
26 14
26 25
26 26
26 35
26 36
26 37
26 38
26 47
26 48
26 49
26 50
26 15 26 16
227 26 28
239 26 40
16 15 16 16
127 16 28
139 16 40
151 16 52
163 16 64
16 75
6 35
n
47
n
59
n
71
83n
6 36
6 48
6 60
6 72
6 84
6 95
6 96
107 16 08
16 19 16 20
131 16 32
16 44
26 04
i
i
principal
2010/4/19
i page 36
Estilo OBMEP
i
i
36
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
Note que a diferena de dois nmeros primos consecutivos, excetuando 2 e 3 (que diferem de 1) de no mnimo 2 (justifique).
Dois primos consecutivos so chamados primos gmeos se eles
diferem de 2.
Assim, consultando a tabela dos primos acima, os seguintes so
pares de primos gmeos:
(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61), (71, 73),
(101, 103), (107, 109), (137, 139), (149, 151), (179, 181), (191, 193),
(197, 199), (227, 229), (239, 241).
O que surpreendente que at o presente momento os matemticos ainda no saibam dizer se os pares de primos gmeos formam um
conjunto finito ou infinito.
Trs primos consecutivos sero chamados primos trigmeos se a
diferena entre cada dois primos consecutivos da terna 2.
Por exemplo, (3, 5, 7) uma terna de primos trigmeos. Voc seria
capaz de exibir outra terna de primos trigmeos?
Ao contrrio dos pares de primos gmeos, vamos mais adiante ver
que ser muito fcil responder questo da finitude ou no dessas
i
i
principal
2010/4/19
i page 37
Estilo OBMEP
i
i
37
ternas.
Outro problema muito simples de ser enunciado, mas que ainda
no tem resposta, a chamada Conjectura de Goldbach.2
O matemtico prussiano3 Christian Goldbach, numa carta de 7 de
junho de 1742 endereada a Leonhard Euler, o maior matemtico da
poca e um dos maiores matemticos de todos os tempos, props que
se provasse que todo nmero maior do que 5 a soma de trs primos.
Por exemplo, 6 = 2 + 2 + 2, 7 = 3 + 2 + 2, 8 = 3 + 3 + 2,
9 = 5 + 2 + 2, 10 = 5 + 3 + 2, 11 = 5 + 3 + 3 = 7 + 2 + 2,
12 = 5 + 5 + 2 = 3 + 7 + 2 etc.
Euler respondeu que acreditava nessa conjectura, porm no sabia
demonstr-la, mas que ela era equivalente a mostrar que todo nmero
par maior ou igual do que 4 era soma de dois nmeros primos.
Por exemplo, 4 = 2 + 2, 6 = 3 + 3, 8 = 5 + 3, 10 = 3 + 7 = 5 + 5,
12 = 5 + 7 etc.
Pois bem, esta conjectura, at o presente momento, no foi
provada, nem desmentida.
Problema 2.13. Teste a Conjectura de Goldbach e a verso de Euler
para os nmeros de 14 a 40. Voc acredita que esta conjectura seja
verdadeira?
2
i
i
principal
2010/4/19
i page 38
Estilo OBMEP
i
i
38
2.6
i
i
principal
2010/4/19
i page 39
Estilo OBMEP
i
i
39
a = p0 p1 a2 .
i
i
principal
2010/4/19
i page 40
Estilo OBMEP
i
i
40
i
i
principal
2010/4/19
i page 41
Estilo OBMEP
i
i
41
Os nmeros primos se distribuem dentro de N de modo bastante irregular. J vimos que existem primos consecutivos cuja diferena
2: so os primos gmeos. Por outro lado, dado um nmero n arbitrrio, existem dois primos consecutivos cuja diferena maior do
que n.
De fato, dado n, considere o nmero a = 123 n. Assim,
a + 2, a + 3, a + 4, . . . , a + n,
so inteiros consecutivos todos compostos, pois a + 2 mltiplo de 2,
a + 3 mltiplo de 3, . . ., a + n mltiplo de n. Sejam p o maior
primo menor do que a + 2 e q o menor primo maior do que a + n
(que existe pois os primos so infinitos); logo p e q so dois primos
consecutivos, com q p > n.
Alguns dos problemas mais profundos ainda por resolver esto
relacionados com a distribuio dos nmeros primos dentro da sequncia dos nmeros naturais.
i
i
principal
2010/4/19
i page 42
Estilo OBMEP
i
i
Captulo 3
Os Inteiros e suas
Propriedades
3.1
Os Inteiros
. . . - 3 - 2 - 1 - 0
Os nmeros esquerda do zero so chamados de nmeros negativos e os direita so chamados de nmeros positivos. Os pares
42
i
i
i
principal
2010/4/19
i page 43
Estilo OBMEP
i
i
43
i
i
principal
2010/4/19
i page 44
Estilo OBMEP
i
i
44
i
i
principal
2010/4/19
i page 45
Estilo OBMEP
i
i
45
3.2
i
i
principal
2010/4/19
i page 46
Estilo OBMEP
i
i
46
i
i
principal
2010/4/19
i page 47
Estilo OBMEP
i
i
47
3.3
Divisores
i
i
principal
2010/4/19
i page 48
Estilo OBMEP
i
i
48
i
i
principal
2010/4/19
i page 49
Estilo OBMEP
i
i
49
i
i
principal
2010/4/19
i page 50
Estilo OBMEP
i
i
50
Problema 3.14.
(a) Mostre que mdc(0, 0) no existe.
(b) Mostre que
mdc(0, b) =
b, se b > 0
b, se b < 0.
i
i
principal
2010/4/19
i page 51
Estilo OBMEP
i
i
51
i
i
principal
2010/4/19
i page 52
Estilo OBMEP
i
i
52
i
i
principal
2010/4/19
i page 53
Estilo OBMEP
i
i
53
3.4
Algoritmo da Diviso
i
i
principal
2010/4/19
i page 54
Estilo OBMEP
i
i
54
com 0 r < a.
i
i
principal
2010/4/19
i page 55
Estilo OBMEP
i
i
55
54 13 = 41,
54 2 13 = 28,
54 3 13 = 15,
54 4 13 = 2
54 5 13 = 11 < 0.
Assim, a diviso euclidiana de 54 por 13 se expressa como:
54 = 4 13 + 2.
Problema 3.18. Efetue a diviso euclidiana nos seguintes casos:
(a) de 43 por 3
(b) de 43 por 5
(d) de 1 453 por 10, por 100, por 1 000 e por 10 000.
Problema 3.19. Mostre o chamado Algoritmo da Diviso Euclidiana
nos inteiros:
Dados inteiros a e b, com a > 0, existe um nico par de inteiros q
e r tal que
b = aq + r, com 0 r < a.
Sugesto: Considere os intervalos da forma [na, (n + 1) a), com n
em Z.
Problema 3.20. Efetue a diviso euclidiana nos seguintes casos:
(a) de 43 por 3
(b) de 43 por 5
(d) de 1 453 por 10, por 100, por 1 000 e por 10 000.
Pelo Problema 3.19, se a > 0, os possveis restos da diviso de um
i
i
principal
2010/4/19
i page 56
Estilo OBMEP
i
i
56
i
i
principal
2010/4/19
i page 57
Estilo OBMEP
i
i
57
i
i
principal
2010/4/19
i page 58
Estilo OBMEP
i
i
58
3.5
Par ou mpar?
i
i
principal
2010/4/19
i page 59
Estilo OBMEP
i
i
59
0
1
0
1
1
0
0
1
0
0
0
1
que operada segundo as tabelas acima nos d 1 como resultado. Portanto, o nmero dado mpar.2
2
i
i
principal
2010/4/19
i page 60
Estilo OBMEP
i
i
60
3.6
Zero, Um ou Dois?
i
i
principal
2010/4/19
i page 61
Estilo OBMEP
i
i
61
..
.
9
6
3
0
3
6
9
..
.
..
.
8
5
2
1
4
7
10
..
.
..
.
7
4
1
2
5
8
11
..
.
i
i
principal
2010/4/19
i page 62
Estilo OBMEP
i
i
62
0
1
2
0
1
2
1
2
0
2
0
1
0
1
2
0
0
0
0
1
2
0
2
1
3.7
com 0 r < m.
i
i
principal
2010/4/19
i page 63
Estilo OBMEP
i
i
63
i
i
principal
2010/4/19
i page 64
Estilo OBMEP
i
i
64
i
i
principal
2010/4/19
i page 65
Estilo OBMEP
i
i
65
(3.1)
i
i
principal
2010/4/19
i page 66
Estilo OBMEP
i
i
66
3.8
i
i
principal
2010/4/19
i page 67
Estilo OBMEP
i
i
67
i
i
principal
2010/4/19
i page 68
Estilo OBMEP
i
i
68
372
162
48
18
12
6=mdc
48
18
12
i
i
principal
2010/4/19
i page 69
Estilo OBMEP
i
i
69
18 = 162 48 3
48 = 372 162 2
Donde,
6n= 18 12 1 = 18 (48 18 2)
= 18 3 48
= (162 48 3) 3 48
= 162 3 48 10
= 162 (372 162 2) 10
= 162 23 372 10.
Assim, podemos escrever:
6n= mdc(372, 162) = 162 23 + 372 (10).
Este mtodo sempre se aplica conduzindo ao seguinte importante
resultado:
Teorema 3.3 (Relao de Bzout). Dados inteiros a e b, quaisquer,
mas no ambos nulos, existem dois inteiros n e m tais que
mdc(a, b) = a n + b m.
Problema 3.43. Determine mdc(a, b), mmc(a, b) e inteiros n e m
tais que mdc(a, b) = a n + b m para os seguintes pares de nmeros
a e b.
(a) a = 728 e b = 1 496
(b) a = 108 e b = 294.
i
i
principal
2010/4/19
i page 70
Estilo OBMEP
i
i
70
3.9
Esta seo pode ser omitida sem prejuzo na primeira leitura, exceto a Proposio 3.3 que ser utilizada na Seo 3.10.
Uma propriedade notvel do mximo divisor comum que decorre
da Relao de Bzout a seguinte:
Se d um divisor comum de dois nmeros a e b, no simultaneamente nulos, ento d divide mdc(a, b).
De fato, sendo d um divisor de a e de b, temos que d um divisor
de todo nmero da forma a n + b m, logo, em particular, de
mdc(a, b).
Definindo
aZ + bZ = {a n + b m; n, m Z},
temos o seguinte resultado:
Proposio 3.1. Dados dois inteiros a e b, no ambos nulos, o menor
elemento positivo do conjunto aZ + bZ mdc(a, b).
Demonstrao. De fato, ponhamos d = mdc(a, b). Como d | a e d | b,
temos que d divide todo elemento de aZ + bZ, logo d menor ou
igual do que qualquer elemento positivo de aZ + bZ. Pela Relao de
Bzout, temos que d aZ + bZ, logo d o menor elemento positivo
do conjunto aZ + bZ.
Da decorre um importante critrio para que dois nmeros sejam
primos entre si.
i
i
principal
2010/4/19
i page 71
Estilo OBMEP
i
i
71
i
i
principal
2010/4/19
i page 72
Estilo OBMEP
i
i
72
i
i
principal
2010/4/19
i page 73
Estilo OBMEP
i
i
73
0 b1 a1 , . . . , 0 br ar .
Note que permitimos que alguns dos bi sejam nulos, pois o correspondente primo pi pode no constar da fatorao de n .
Por exemplo, os divisores positivos de 60 = 22 3 5 so:
20 30 50
20 31 51
21 30 51
22 31 50
= 1,
= 15,
= 10,
= 12,
20 31 50
21 30 50
21 31 51
22 30 51
= 3,
= 2,
= 30,
= 20,
20 30 51
21 31 50
22 30 50
22 31 51
=5
= 6,
= 4,
= 60.
i
i
principal
2010/4/19
i page 74
Estilo OBMEP
i
i
74
i
i
principal
2010/4/19
i page 75
Estilo OBMEP
i
i
75
b1 0, . . . , br 0, mostre que
mdc(a, b) = pc11 pcrr
onde
ci = min{ai , bi } e di = max{ai , bi }, i = 1, . . . , r.
Mostre como obter disto uma nova prova da igualdade
mdc(a, b)mmc(c, b) = ab.
O leitor no deve se iludir sobre a facilidade em calcular o mdc e o
mmc com o mtodo acima, pois para utiliz-lo necessrio que os dois
nmeros estejam decompostos em fatores primos. Se os dois nmeros
so grandes e no so dados na forma fatorada, muito trabalhoso
fator-los para calcular o mdc ou o mmc, sendo, nesse caso, muito
mais eficiente o Algoritmo de Euclides.
3.10
A resoluo de muitos problemas de aritmtica depende da resoluo de equaes do tipo ax + by = c, onde a, b e c so nmeros
inteiros dados e x e y so incgnitas a serem determinadas em Z. Um
exemplo tpico de um problema modelado por este tipo de equao
o seguinte:
Problema 3.54. De quantos modos podemos comprar selos de cinco
e de trs reais, de modo a gastar cinquenta reais?
i
i
principal
2010/4/19
i page 76
Estilo OBMEP
i
i
76
i
i
principal
2010/4/19
i page 77
Estilo OBMEP
i
i
77
soluo
x=nd
y = m d.
(b) 5x + 15y = 33
(e) 23x + 150y = 12 354
com mdc(a, b) = 1.
i
i
principal
2010/4/19
i page 78
Estilo OBMEP
i
i
78
(3.4)
x x0 = sb,
(3.5)
i
i
principal
2010/4/19
i page 79
Estilo OBMEP
i
i
79
a(x0 + bt) + b(y0 at) = ax0 + by0 + abt bat = ax0 + by0 = c.
i
i
principal
2010/4/19
i page 80
Estilo OBMEP
i
i
80
tendo
a(nc) + b(mc) = c,
dando-nos a soluo particular x0 = nc e y0 = mc.
Problema 3.58. De que maneiras podemos comprar selos de cinco
e de sete reais, de modo a gastar cem reais?
Problema 3.59. Se um macaco sobe uma escada de dois em dois
degraus, sobra um degrau; se ele sobe de trs em trs degraus, sobram
dois degraus. Quantos degraus a escada possui, sabendo que o nmero
de degraus mltiplo de sete e est compreendido entre 40 e 100.
Problema 3.60. Mostre que nenhum nmero pode deixar resto 5
quando dividido por 12 e resto 4 quando dividido por 15.
Problema 3.61. Ache todos os nmeros naturais que quando divididos por 18 deixam resto 4 e quando divididos por 14 deixam resto 6.
i
i
principal
2010/4/19
i page 81
Estilo OBMEP
i
i
Captulo 4
Congruncias
i
i
principal
2010/4/19
i page 82
Estilo OBMEP
i
i
82
Exemplos:
1) 15 8 mod 7, pois o restos das divises de 15 e de 8 por 7 so os
mesmos (iguais a 1).
2) 27 32 mod 5, pois os restos das divises de 27 e 32 por 5 so os
mesmos (iguais a 2).
3) 31 6 29 mod 3, pois o resto da diviso de 31 por 3 1, enquanto
o resto da diviso de 29 por 3 2.
Para mostrar que a b mod m no necessrio efetuar a diviso
de a e de b por m, como mostrado a seguir.
Proposio 4.1. Tem-se que a b mod m se e somente se m divide
b a.
Demonstrao. De fato, pelo algoritmo da diviso, podemos escrever
a = mq1 + r1
e b = mq2 + r2 ,
i
i
principal
2010/4/19
i page 83
Estilo OBMEP
i
i
83
i
i
principal
2010/4/19
i page 84
Estilo OBMEP
i
i
84
Problema 4.5. Sejam a um nmero inteiro qualquer e m um inteiro maior do que 1. Suponha que r seja um nmero inteiro tal que
0 r < m e a r mod m. Mostre que r o resto da diviso de a
por m.
Sugesto: Utilize a unicidade da escrita no Algoritmo da Diviso.
4.2
i
i
principal
2010/4/19
i page 85
Estilo OBMEP
i
i
85
4.3
Congruncias e Somas
i
i
principal
2010/4/19
i page 86
Estilo OBMEP
i
i
86
i
i
principal
2010/4/19
i page 87
Estilo OBMEP
i
i
87
4.4
Congruncias e Produtos
i
i
principal
2010/4/19
i page 88
Estilo OBMEP
i
i
88
i
i
principal
2010/4/19
i page 89
Estilo OBMEP
i
i
89
i
i
principal
2010/4/19
i page 90
Estilo OBMEP
i
i
90
4.5
Algumas Aplicaes
i
i
principal
2010/4/19
i page 91
Estilo OBMEP
91
i
i
principal
2010/4/19
i page 92
Estilo OBMEP
i
i
92
i
i
principal
2010/4/19
i page 93
Estilo OBMEP
i
i
93
i
i
principal
2010/4/19
i page 94
Estilo OBMEP
i
i
94
i
i
principal
2010/4/19
i page 95
Estilo OBMEP
i
i
95
(4.3)
i
i
principal
2010/4/19
i page 96
Estilo OBMEP
i
i
96
4.6
Aritmtica Modular
i
i
principal
2010/4/19
i page 97
Estilo OBMEP
i
i
97
Aritmtica mdulo m = 4
Para efeito de ilustrao, tomemos o caso m = 4. Neste caso, temos apenas os smbolos 0, 1, 2 e 3 a considerar.
Pede-se ao leitor verificar as seguintes tabelas:
0
1
2
3
0
1
2
3
1
2
3
0
2
3
0
1
3
0
1
2
0
1
2
3
0
0
0
0
0
1
2
3
0
2
0
2
0
3
2
1
Aritmtica mdulo m = 5
Analisaremos agora o caso m = 5. Neste caso, temos apenas os
smbolos 0, 1, 2, 3 e 4 a considerar.
Pede-se ao leitor verificar as seguintes tabelas:
i
i
principal
2010/4/19
i page 98
Estilo OBMEP
i
i
98
0
1
2
3
4
0
1
2
3
4
1
2
3
4
0
2
3
4
0
1
3
4
0
1
2
4
0
1
2
3
0
1
2
3
4
0
0
0
0
0
0
1
2
3
4
0
2
4
1
3
0
3
1
4
2
0
4
3
2
1
i
i
principal
2010/4/19
i page 99
Estilo OBMEP
i
i
Captulo 5
Problemas Suplementares
Apresentaremos neste captulo uma lista de problemas mais desafiadores do que aqueles que se encontram no texto, cujo objetivo se
restringia a complement-lo, alm de testar a compreenso do leitor
nos conceitos apresentados.
Nos dois primeiros captulos apresentamos a linguagem bsica e
os resultados fundamentais, sem os quais no seria possvel enunciar,
muito menos resolver, problemas mais elaborados. Os problemas propostos a seguir dizem respeito ao material exposto nos Captulos 3 e
4. Os problemas marcados com asterisco tm um grau de dificuldade
maior que os demais.
Antes porm de iniciar os problemas propriamente ditos, relacionamos a seguir algumas identidades muito teis na resoluo de
alguns dos problemas.
99
i
i
i
principal
2010/4/19
i page 100
Estilo OBMEP
i
i
100
i
i
principal
2010/4/19
i page 101
Estilo OBMEP
i
i
101
Problemas sobre o Captulo 3
S-3.1 Mostre que todo nmero inteiro no nulo a se escreve de modo
nico na forma a = 2r b, onde r N e b um nmero mpar. O nmero
2r a maior potncia de 2 que divide a. Generalize esta propriedade
para um primo p qualquer no lugar de 2.
S-3.2
(a) Quantos mltiplos de 5 existem no intervalo [1, 120]? e no intervalo [1, 174]?
(b) Quantos mltiplos de 7 existem em cada um dos intervalos
[70, 342] e [72, 342]?
S-3.3 Dados 0 < a n < m, mostre que no intervalo [1, n] existem
q mltiplos de a, onde q o quociente da diviso de n por q. Quantos
so os mltiplos de a no intervalo [n, m]? (Na ltima situao, divida
a anlise em dois casos: n mltiplo de a e o contrrio.)
S-3.4 Mostre que dados m inteiros consecutivos um, e apenas um,
deles mltiplo de m.
S-3.5 Com quantos zeros termina o nmero 2 3 4 120? E
o nmero 2 3 4 174?
S-3.6 Mostre que o produto de quatro nmeros inteiros consecutivos,
quaisquer, sempre mltiplo de 24.
S-3.7
(a) Mostre que se n mpar, ento n2 1 mltiplo de 8.
i
i
principal
2010/4/19
i page 102
Estilo OBMEP
i
i
102
i
i
principal
2010/4/19
i page 103
Estilo OBMEP
i
i
103
(c) Mostre que se um dado nmero divide um nmero da forma
4n2 + 1, ele dividir uma infinidade desses nmeros.
(d) Para este ltimo resultado, existe algo de especial nos nmeros
da forma 4n2 + 1?Teste o seu resultado para nmeros da forma
an2 + bn + c, onde a, b, c Z, com a e b no simultaneamente
nulos.
(e) Mostre que existem infinitos mltiplos de 7 da forma 8n2 +3n+4.
S-3.13
(a) Sejam dados os dois nmeros a = 10c + r e b = c 2r, com
c, r Z. Mostre que a mltiplo de 7 se, e somente se, b
mltiplo de 7.
(b) Deduza o seguinte critrio de multiplicidade de 7:
O nmero n = ar a1 a0 mltiplo de 7 se, e somente se, o
nmero ar a1 2a0 mltiplo de 7.
(c) Utilize repetidas vezes o critrio acima para verificar se 2 368
ou no mltiplo de 7.
Um nmero inteiro n dito um quadrado se existe a Z tal que
n = a2 . Dizemos que n uma potncia m-sima quando n = am .
S-3.14
(a) Mostre que o algarismo das unidades de um quadrado s pode
ser um dos seguintes: 0, 1, 4, 5, 6 e 9.
i
i
principal
2010/4/19
i page 104
Estilo OBMEP
i
i
104
i
i
principal
2010/4/19
i page 105
Estilo OBMEP
i
i
105
(b) Mostre que a soma dos quadrados de quatro inteiros consecutivos nunca um quadrado. Faa o mesmo para a soma dos
quadrados de trs inteiros consecutivos.
S-3.18
(a) Mostre que todo quadrado da forma 8n, 8n + 1 ou 8n + 4.
(b) Mostre que nenhum nmero na sequncia 3, 11, 19, 27 etc.,
um quadrado.
S-3.19 Mostre que numa sequncia de inteiros da forma
a, a + d, a + 2d, a + 3d, . . .
se existir algum nmero que quadrado, existiro infinitos nmeros
que so quadrados.
S-3.20*
(a) Mostre que todo nmero inteiro mpar pode ser representado
como diferena de dois quadrados.
(b) Mostre que se p = 1 ou se p > 2 um nmero primo, ento p
se escreve de modo nico como diferena de dois quadrados de
nmeros naturais.
(c) Mostre que todo nmero da forma 4k n, onde n mpar se escreve
como diferena de dois quadrados.
i
i
principal
2010/4/19
i page 106
Estilo OBMEP
i
i
106
i
i
principal
2010/4/19
i page 107
Estilo OBMEP
i
i
107
S-3.26 Mostre que se n composto, ento n divide o produto
1 2 3 (n 1).
S-3.27 Dados dois inteiros a e b distintos, mostre que existem infinitos nmeros n para os quais mdc(a + n, b + n) = 1.
S-3.28 Calcule mdc(n + 1, n2 + 1), para n Z.
S-3.29 Mostre que se a e b so dois nmeros naturais tais que
mdc(a, b) = mmc(a, b), ento a = b.
S-3.30 Resolva o seguinte sistema de equaes:
(
mdc(x, y) = 6
mmc(x, y) = 60
S-3.31 Observe que mdc(x, y) divide mmc(x, y), quaisquer que sejam
x, y Z, no nulos.
Mostre que se no seguinte sistema:
(
mdc(x, y) = d
mmc(x, y) = m
i
i
principal
2010/4/19
i page 108
Estilo OBMEP
i
i
108
mdc(x, y) = d
xy = m
tal que d2 m, ele no admite soluo. Mostre que se d2 | m, o sistema sempre admite soluo.
S-3.33
(a) Ache os nmeros primos da forma a2 1.
(b) Existem primos da forma a3 1? E a4 1?
(c) Mostre que se a > 2 e n > 1, ento an 1 composto.
(d) Mostre que se n composto, ento 2n 1 composto.
Portanto, se 2n 1 primo, ento n primo. Nmeros primos da
forma 2p 1, onde p primo so chamados primos de Mersenne.
S-3.34
(a) Mostre que todo cubo que tambm um quadrado da forma
5n, 5n+1 ou 5n+4 (ou seja, nunca da forma 5n+2 ou 5n+3).
(b) Mostre que todo cubo que tambm um quadrado da forma
7n, 7n + 1.
S-3.35
(a) Mostre que todo primo maior do que 3 da forma 3n + 1 ou
3n + 2.
i
i
principal
2010/4/19
i page 109
Estilo OBMEP
i
i
109
(b) Mostre que qualquer nmero da forma 3n + 2 tem um fator
primo da mesma forma.
(c*) Mostre que existem infinitos primos da forma 3n + 2.
(d) Existem infinitos primos da forma 3n + 1, mas a prova disso
mais sutil.
S-3.36
(a) Mostre que todo primo maior do que 3 da forma 4n + 1 ou
4n + 3.
(b) Mostre que qualquer nmero da forma 4n + 3 tem um fator
primo da mesma forma.
(c*) Mostre que existem infinitos primos da forma 4n + 3.
(d) Existem infinitos primos da forma 4n + 1, mas a prova disso
um pouco mais sutil (veja Elementos de Aritmtica, Proposio
8.1.4).
S-3.37 Mostre que todo nmero primo da forma 3k + 1 da forma
6n + 1.
S-3.38
(a) Mostre que todo primo maior do que 3 da forma 6n + 1 ou
6n 1.
(b) Mostre que qualquer nmero da forma 6n 1 tem um fator
primo da mesma forma.
i
i
principal
2010/4/19
i page 110
Estilo OBMEP
i
i
110
i
i
principal
2010/4/19
i page 111
Estilo OBMEP
i
i
111
Para uma prova, consulte o livro Elementos de Aritmtica, Teorema 7.3.1 e o seu corolrio.
S-3.41
(a) Mostre que 30 divide n5 n.
(b) Mostre que n5 e n tm sempre o mesmo algarismo das unidades.
(c) Mostre que o nmero 51 n5 + 13 n3 +
inteiro n.
7
15 n
i
i
principal
2010/4/19
i page 112
Estilo OBMEP
i
i
112
(c) Generalize.
S-3.48 Sejam a e b inteiros e n um nmero natural. Mostre que
se a b uma potncia n-sima e mdc(a, b) = 1, ento a e b so
potncias n-simas.
S-3.49 (Esse um problema proposto no sculo 16) Um total de
41 pessoas entre homens, mulheres e crianas foram a um banquete
e juntos gastaram 40 patacas. Cada homem pagou 4 patacas, cada
mulher 3 patacas e cada criana um tero de pataca. Quantos homens,
quantas mulheres e quantas crianas havia no banquete?
S-3.50 (Proposto por Euler) Um grupo de homens e mulheres gastaram numa taberna 1 000 patacas. Cada homem pagou 19 patacas
e cada mulher 13. Quantos eram os homens e quantas eram as mulheres?
S-3.51 (Proposto por Euler) Uma pessoa comprou cavalos e bois.
Foram pagos 31 escudos por cavalo e 20 por boi e sabe-se que todos
os bois custaram 7 escudos a mais do que todos os cavalos. Quantos
cavalos e quantos bois foram comprados?
S-3.52
(a) Dados a e b inteiros fixados, quando que os nmeros da forma
ax + by, com x, y Z representam todos os inteiros?
(b) Quais so os nmeros representados por 2x + 3y?
(c) Quais so os nmeros representados por 6x + 9y?
i
i
principal
2010/4/19
i page 113
Estilo OBMEP
i
i
113
S-3.53 Em um certo pas, as cdulas so de $4 e $7. Quais das afirmaes a seguir so verdadeiras? Com elas possvel pagar, sem troco, qualquer quantia inteira
(a) a partir de $11, inclusive.
(b) a partir de $18, inclusive.
(c) mpar, a partir de $7, inclusive.
(d) que seja $1 maior do que um mltiplo de $3.
(e) que seja $1 menor do que um mltiplo de $3.
S-3.54 Em um quintal onde so criados coelhos e galinhas contaramse 400 ps. Quantas so as galinhas e quantos so os coelhos, sabendo
que diferena entre esses dois nmeros a menor possvel.
S-3.55 Vimos no Problema S-3.16 que um quadrado nunca da forma 4n + 2. Usando este fato, mostre que a equao x2 + y 2 = z 2 no
admite nenhuma soluo em x, y e z, com x e y mpares.
S-3.56 Mostre que a equao x2 + y 2 = z 2 no admite nenhuma soluo em x, y e z, com x e y ambos primos com 3.
S-3.57 Mostre que se m e n so nmeros inteiros, ento x = 2mn,
y = m2 n2 e z = m2 + n2 so solues da equao pitagrica
x2 + y 2 = z 2 .
i
i
principal
2010/4/19
i page 114
Estilo OBMEP
i
i
114
n(n + 1)
,
2
i
i
principal
2010/4/19
i page 115
Estilo OBMEP
i
i
115
S-4.3 Sabendo que 74 = 2 401, ache os ltimos dois dgitos de 799 999 .
S-4.4 Ache o resto da diviso de 21 000 000 por 77.
S-4.5 Mostre que 1436 + 9110 + 7712 1 mltiplo de 1 001.
S-4.6 Mostre que 2 2225 555 + 5 5552 222 mltiplo de 7.
S-4.7 Mostre que 19 nunca divide um nmero da forma 4n2 + 4.
S-4.8 Quais so os dois ltimos algarismos na representao no sistema decimal do nmero 3400 ? E do nmero 2400 ?
S-4.9 Qual o algarismo da unidade na representao decimal do
9
7
nmero 99 ? E do nmero 77 ?
S-4.10 Ache os algarismos das centenas e das unidades na represen1 000
tao decimal dos nmeros 7999 999 e 77
.
S-4.11 Ache o resto da diviso
(a) de 560 por 26.
(b) 15 + 25 + 35 + + 205 .
S-4.13 Mostre que a congruncia x2 + 1 0 mod 7 no possui solues. Conclua que a equao x2 6x 77 = 7y no admite solues
inteiras.
S-4.14 Mostre que a equao x2 13y 2 = 275 no admite solues
inteiras.
i
i
principal
2010/4/19
i page 116
Estilo OBMEP
i
i
116
i
i
principal
2010/4/19
i page 117
Estilo OBMEP
i
i
Solues e Respostas
Problemas do Captulo 1
1.1 , {3}, {2}, {2, 3}, {4, 5, 6}, {4, 5, 6, 7}, {3, 4, 5, 6} e {3, 4, 5, 6, 7}.
1.2 2, 3, 4, no tem, 3 e 2.
1.3 Por causa da comutatividade da adio pode-se separar essas 12
expresses em trs grupos:
(a + b) + c = (b + a) + c = c + (a + b) = c + (b + a),
a + (b + c) = a + (c + b) = (b + c) + a = (c + b) + a,
(a + c) + b = b + (a + c) = b + (c + a) = (c + a) + b.
Portanto, novamente, pela comutatividade da adio, temos
(a + b) + c = a + (b + c) = a + (c + b) = (a + c) + b,
e, consequentemente, os 12 nmeros listados acima so iguais.
1.6 Faltam 200 50 = 150 reais.
117
i
i
i
principal
2010/4/19
i page 118
Estilo OBMEP
i
i
118
1.7 Pela tricotomia, temos trs possibilidades:
a c > b c, a c = b c ou a c < b c.
Somando c a ambos os lados da primeira e da segunda possibilidade
obtemos uma contradio, logo s resta a terceira possibilidade.
1.8 So 72 37 + 1 = 36 nmeros.
1.9 So 75 32 = 43 nmeros, tanto no intervalo (32, 75], quanto no
intervalo [32, 75) e 75 32 1 = 42 nmeros no intervalo (32, 35).
1.10 b a nos dois primeiros casos e b a 1 no ltimo.
1.11 No so. Se fossem, teramos 1 = la, com a > 1, o que no
possvel.
1.12 5, 10, 15, 20, 25, 30, 35, 40, 45, 50.
1.15
(a) Considerando a sequncia 32 = 8 4, 8 5, . . . , 8 1 000, segue
que o nmero de mltiplos de 8 1 000 4 + 1 = 997.
(b) Considerando a sequncia 1 606 2, . . . , 3 160 2, segue que o
nmero de nmeros pares 3 160 1 606 + 1 = 1 555.
(c) 15 e 18 dzias, respectivamente.
(d) 40 e 51 semanas, respectivamente.
1.23 28, 56, 84, . . .
i
i
principal
2010/4/19
i page 119
Estilo OBMEP
i
i
119
1.24 12, 66, 24 e 9.
1.26 (a + b)5 = a5 + 5a4 b + 10a3 b2 + 10a2 b3 + 5ab4 + b5 .
Problemas do Captulo 2
2.1 Os nmeros so
2 6, 3 6, . . . , 16 6,
cuja soma
(2 + 3 + + 16) 6 = 135 6 = 810.
2.2 Se os algarismos so a, b e c, os seis nmeros so ab = 10a + b,
ba = 10b + a, ac = 10a + c, ca = 10c + a, bc = 10b + c e cb = 10c + b,
logo a sua soma
10a + b + 10b + a + 10a + c + 10c + a + 10b + c + 10c + b = 22(a + b + c).
2.4 10; 99; 99 10 + 1 = 90; 2 90 = 180.
2.5 So necessrios 792 algarismos. Ao confrontar com a frmula
Q(x) no se esquea que no existe pgina 0.
2.6 Seja n0 , onde 0 n0 9, o algarismo das unidades de a. Escreva
a na forma 10m + n0 , e o eleve ao quadrado.
2.16 4 = 22 , 6 = 2 3, 8 = 23 , 36 = 22 32 , 84 = 22 3 7,
320 = 26 5 e 2.597 = 72 53.
i
i
principal
2010/4/19
i page 120
Estilo OBMEP
i
i
120
Problemas do Captulo 3
3.9 Pela propriedade sugerida, tem-se que 216 144 = 72 um
mltiplo comum, logo mmc(a, b) 72.
3.16
(a) mdc(n, 2n + 1) = mdc(n, 2n + 1 2n) = mdc(n, 1) = 1.
(b) e (c) mdc(n, 2n + 2) = mdc(n, 2n + 2 2n) = mdc(n, 2), que 1 ou
2 segundo se n mpar ou par.
3.17 Se mdc(a , b ) = d > 1, ento a = a d d e b = b d d, logo dd
seria um divisor comum de a e b maior do que d, absurdo.
3.18 43 = 3 14 + 1, 43 = 5 8 + 3, 233 = 4 58 + 1,
1 453 = 10 145 + 3, 1 453 = 100 14 + 53, 1 453 = 1 000 1 + 453
e 1 453 = 10 000 0 + 1 453.
3.20 43 = 3(15) + 2, 43 = 5(9) + 2 233 = 4(59) + 3,
1 453 = 10 (146) + 7, 1 453 = 100(15) + 47, 1 453 =
1 000(2) + 547, 1 453 = 10 000(1) + 8 547.
3.24 Um nmero a da forma 3q + i, onde i = 0, 1, 2. Agora analise
cada caso separadamente. Se a, a + 2 e a + 4 so primos trigmeos,
um deles divisvel por 3 e sendo um nmero primo, ele igual a
3. Analisando as trs possibilidades conclui-se que a = 3 e, portanto,
3, 5 e 7 a nica terna de primos trigmeos.
3.25 e 3.26 Escreva a na forma 3q + i, i = 0, 1, 2.
i
i
principal
2010/4/19
i page 121
Estilo OBMEP
i
i
121
3.27 3 257 = 5 651 + 2. Logo so produzidos 651 pacotes de chicletes.
3.28 Escrevamos o nmero mpar na forma 2n + 1, logo
2(2n + 1) = 4n + 2,
que no mltiplo de 4.
3.29 A paridade determinada por
234
(1 + 1)234 + (1 + 0)542 = 0
542
+1
= 1,
logo mpar.
3.33 O resto da diviso por 3 se calcula como segue:
100
15
+ (2 )15 = 1 + 1
= 1 + 1 = 2.
Portanto, o resto 2.
3.34 Um mltiplo de 6 obviamente mltiplo de 2 e de 3. Reciprocamente, todo mltiplo de 2 e de 3 mltiplo do mmc desses nmeros
que 6.
3.35 Um nmero mltiplo de 6 se, e somente se, o seu algarismo
das unidades par e a soma de seus algarismos mltiplo de 3.
3.36 Podemos escrever
n(n + 1)(2n + 1) = n(n + 1)(n 1 + n + 2)
= (n 1)n(n + 1) + n(n + 1)(n + 2).
i
i
principal
2010/4/19
i page 122
Estilo OBMEP
i
i
122
Agora note que cada parcela na ltima linha mltiplo de 2 e de
3, donde o resultado segue levando em conta o Problema 3.34.
3.39 mmc(4, 6, 9) = mmc(mmc(4, 6), 9) = mmc(12, 9) = 36.
3.40 Se m mltiplo comum de a e b, temos m = r a e m = s b.
Logo, a b = r a d e a b = s b d. Assim, temos que b = r d
e a = s d, mostrando que d divisor comum de a e b.
Reciprocamente, se d divisor comum de a e b temos que b = r d
e a = s d. Logo de a b = m d, obtemos s b = m e r a = m.
Conclumos assim que m mltiplo comum de a e b.
3.41 Como mdc(n, 2n+1) = 1, segue que mmc(n, 2n+1) = n(2n+1).
3.42 Sendo n mltiplo de a e de b, ele mltiplo de seu mmc. Por
outro lado, sendo mdc(a, b) = 1, temos que mmc(a, b) = a b, logo n
mltiplo de a b, logo divisvel por ele.
3.43
(a) 8 = 728 37 + 1 496 (1).
(b) 6 = 108 (15) + 294 7.
3.44 Denotemos por min A o menor elemento de um conjunto de
nmeros naturais A. Sabemos da Proposio 3.1 que
mdc(a, b) = min{x aZ + bZ; x > 0}.
i
i
principal
2010/4/19
i page 123
Estilo OBMEP
i
i
123
Portanto,
mdc(ca, cb) = min{x acZ + bcZ; x > 0}
= c min{x aZ + bZ; x > 0}
= c mdc(a, b).
3.45 O resultado segue da frmula do Teorema 3.2:
mdc(a, b) mmc(a, b) = a b,
e do Problema 3.44.
3.46 Como p primo, os seus nicos divisores so 1 e p. Logo
mdc(a, p) = 1 ou mdc(a, p) = p. Na segunda possibilidade teremos
p | a.
3.47 Do exerccio anterior, temos que p | a ou mdc(a, p) = 1. No
primeiro caso, nada temos a provar. No segundo caso, como p | a b,
segue da Proposio 3.3 que p | b.
3.48 Sendo p primo, se p | p1 p2 , pelo problema anterior, p | p1 ou
p | p2 . Como p1 e p2 so primos, isto acarreta que p = p1 ou p = p2 .
3.49 Suponhamos que p1 pr = q1 qs . Portanto, p1
divide q1 qs , logo p1 igual a um dos qi , que aps reordenamento
podemos supor ser q1 . Assim, p1 pr = p1 qs , logo
p2 pr = q2 qs . Continuando desse modo, se r = s,
a demonstrao est completa. Suponhamos s > r (o outro caso
semelhante) temos que 1 = qr+1 qs , o que no possvel.
i
i
principal
2010/4/19
i page 124
Estilo OBMEP
i
i
124
3.50 1, 2, 4, 8, 5, 10, 20, 40 e 1, 2, 4, 8, 5, 10, 20, 40, 3, 6, 12, 24,
15, 30, 60, 120.
3.51 Tem 48 divisores.
3.52 Sendo 1 080 = 23 33 5 70 e 210 = 2 3 5 7, temos que
mdc(1 080, 210) = 2 3 5 e mmc(1 080, 210) = 23 33 5 7.
3.55 (a) tem soluo (b) no tem soluo (c) tem soluo
(d) tem soluo (e) tem soluo (f) tem soluo.
3.56 mdc(a, b) = 1 divide qualquer nmero c.
3.57 Quando c for mltiplo de mdc(30, 42) = 6.
3.58 A equao a ser resolvida 5x + 7y = 100, que possui soluo
pois 5 e 7 so primos entre si. Uma soluo particular dada por
x0 = 20 e y0 = 0. Logo a soluo geral da forma: x = 20 7t e
y = 5t, com t nmero natural e 20 7t 0 para que as solues
sejam no negativas. Assim obtemos as seguintes possibilidades:
x = 20, y = 0; x = 13, y = 5 e x = 6, y = 10.
3.59 Se D o nmero de degraus, temos D = 2x + 1 e D = 3y + 2.
Assim, temos que 2x 3y = 1, da qual uma soluo particular
x0 = 2 e y0 = 1. Portanto, x = 2 + 3t e y = 1 + 2t. Por outro lado,
40 D 100 e mltiplo de 7. Isto implica que 6 t 15, e para
que D seja mltiplo de 7, preciso que t = 12, ou seja, D = 77.
3.60 O problema conduz equao 15x 12y = 1, que no possui
solues, pois mdc(15, 12) = 3 no divide 1.
3.61 Temos n = 18x + 4 e n = 14y + 6, o que nos conduz equao
i
i
principal
2010/4/19
i page 125
Estilo OBMEP
i
i
125
9x 7y = 1. Uma soluo particular x0 = 3 e y0 = 4. Assim,
x = 3 + 7t, logo n = 18(3 + 7t) + 4, que natual quando t 1.
Logo os nmeros so da forma n = 126t 50, onde t 1.
Problemas do Captulo 4
4.3 J vimos que 10n 1 = 99 9, logo 9 divide 10n 1, donde
segue o resultado.
4.6 3 254 deixa resto 2 e 5, quando dividido por 3 e 9, respectivamente. 12 736 deixa resto 1, quando dividido por 3 e 9. 54 827 deixa
resto 2 e 8, quando dividido por 3 e 9, respectivamente. 33 875 435
deixa resto 2, quando dividido por 3 e 9. 57 612 510 deixa resto 0,
quando dividido por 3 e 9.
4.7 3 254 deixa resto 4 quando dividido por 5 e 10. 12 736 deixa resto
1 e 6, quando dividido por 5 e 10, respectivamente. 54 827 deixa resto
2 e 7, quando dividido por 5 e 10, respectivamente. 33 875 435 deixa
resto 0 e 5, quando dividido por 5 e 10, respectivamente. 57 612 510
deixa resto 0 quando dividido por 5 e 10.
4.12 1, 4 e 3.
4.15 O resto 5.
4.18 O resto 3.
4.19 O resto da diviso por 7 2. O resto da diviso por 11 9 e o
resto da diviso por 13 5.
4.21
i
i
principal
2010/4/19
i page 126
Estilo OBMEP
i
i
126
respectivamente, 2, 2 e 1, logo 25 345 22 mod 7, 23 765 839 22 mod 7
10
e 210 2 mod 7.
4.22 Temos que 30 = 4 7 + 2, logo
230 = (24 )7 22 (1)7 4 3 mod 17.
Logo o resto da diviso 3.
4.23 Temos que 325 = 4 81 + 1, logo 2325 2 15 mod 17.
4.25 19 2 mod 17, logo 194n = (194 )2n (1)2n = 1 mod 17.
Assim, 194n 1 divisvel por 17.
4.26 Observe que se tem
133 = 2 197 37 8 mod 45,
e que
173 = 4 913 8 mod 45,
dos quais o resultado segue.
4.28 O resto 3.
4.30 O resto 2.
i
i
principal
2010/4/19
i page 127
Estilo OBMEP
i
i
127
i
i
i