Apostila1 Aritmetica PDF

Aritmetica
2009/6/29
page 1
Estilo OBMEP
_
_
_
_
_
_
_
_
Iniciao Aritmtica
Abramo Hefez
Aritmetica
2009/6/29
page 2
Estilo OBMEP
_
_
_
_
_
_
_
_
Texto j revisado pela nova ortograa.
Aritmetica
2009/6/29
page 3
Estilo OBMEP
_
_
_
_
_
_
_
_
Sobre o Autor
Abramo Hefez nasceu no Egito, mas brasileiro por opo e ca-
rioca de corao. Cursou o ginasial e cientco 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.
Aritmetica
2009/6/29
page 4
Estilo OBMEP
_
_
_
_
_
_
_
_
Aritmetica
2009/6/29
page i
Estilo OBMEP
_
_
_
_
_
_
_
_
Prefcio
O nosso objeto de estudo neste pequeno livro, aos alunos premia-
dos que participam do Programa de Iniciao Cientca da OBMEP,
o conjunto dos nmeros inteiros e algumas de suas propriedades.
Os nmeros inteiros so obtidos estendendo os nmeros naturais e
esses so os mais simples de todos os nmeros, mas ao mesmo tempo
muito ricos em problemas. Voc ver ao longo do texto alguns desses
problemas, muito fceis de enunciar, mas ainda no resolvidos e com
certeza se maravilhar de como, apesar do ser humano estar estu-
dando os nmeros naturais h vrios milnios, eles ainda encerrem
grandes mistrios a serem desvendados.
Nessas notas, alm de possivelmente estar vendo pela primeira
vez a noo de congruncia, voc revisitar as noes de mltiplo,
de divisor, de nmero primo, de mnimo mltiplo comum e de m-
ximo divisor comum, e estudar algumas de suas propriedades. Muito
provavelmente voc ainda no estudou esses conceitos com o grau de
formalizao que encontrar aqui, mas que ainda no representa o
maior rigor possvel, pois nos permitiremos fazer dedues por analo-
gia e por induo emprica (isto , estabelecer regras gerais atravs
i
Aritmetica
2009/6/29
page ii
Estilo OBMEP
_
_
_
_
_
_
_
_
ii
da anlise de um nmero nito 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 desao lanado por Suely
Druck, Diretora Acadmica da OBMEP, a quem agradeo calorosa-
mente pela preciosa oportunidade de me dirigir aqui a vocs.
Agradeo tambm ao colega Dinamrico Pombo por sua leitura cuida-
dosa do manuscrito original.
Finalmente, espero que voc aprecie o material aqui apresentado
e que faa de seu estudo uma atividade prazerosa. Bom divertimento!
Niteri, maro de 2009.
O Autor
Aritmetica
2009/6/29
page iii
Estilo OBMEP
_
_
_
_
_
_
_
_
Sumrio
1 Os Nmeros Naturais 1
1.1 Os Naturais . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Adio . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 Subtrao . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Mltiplos . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Multiplicao . . . . . . . . . . . . . . . . . . . . . . . 16
1.7 Mltiplos Comuns . . . . . . . . . . . . . . . . . . . . 19
1.8 Potenciao . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Representao dos Naturais 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
Aritmetica
2009/6/29
page iv
Estilo OBMEP
_
_
_
_
_
_
_
_
iv
2.5 O Crivo de Eratstenes . . . . . . . . . . . . . . . . . . 33
2.6 Teorema Fundamental da Aritmtica . . . . . . . . . . 38
3 Os Inteiros e suas Propriedades 42
3.1 Os Inteiros . . . . . . . . . . . . . . . . . . . . . . . . 42
3.2 Mltiplos Inteiros de um Nmero . . . . . . . . . . . . 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 Mnimo Mltiplo Comum . . . . . . . . . . . . . . . . 62
3.8 Algoritmo do mdc de Euclides . . . . . . . . . . . . . . 66
3.9 Aplicaes da Relao de Bzout . . . . . . . . . . . . 70
3.10 Equaes Diofantinas Lineares . . . . . . . . . . . . . . 75
4 A Aritmtica dos Restos 81
4.1 Congruncias . . . . . . . . . . . . . . . . . . . . . . . 81
4.2 Critrios de Multiplicidade e Restos . . . . . . . . . . 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
Aritmetica
2009/6/29
page 1
Estilo OBMEP
_
_
_
_
_
_
_
_
Captulo 1
Os Nmeros Naturais
1.1 Os Naturais
Os nmeros naturais formam um conjunto cujos elementos so
descritos de modo ordenado como segue:
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, . . .
ou ainda, de modo mais sugestivo:
_
1
- _
2
- _
3
- _
4
- _
5
- _
6
- _
7
- _
8
- _
9
- _
10
-
. . .
Essa descrio no completa, pois s explicitamos alguns poucos
de seus elementos, guardando o restante na nossa imaginao.
No entanto, todos ns sabemos perfeitamente do que estamos fa-
lando. Tudo comea com o nmero um, simbolizado por 1, que repre-
1
Aritmetica
2009/6/29
page 2
Estilo OBMEP
_
_
_
_
_
_
_
_
2 CAP. 1: OS NMEROS NATURAIS
senta a unidade, e com uma lei, simbolizada pelas echas, 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 innita.
Cada elemento desse conjunto tem de ser obviamente represen-
tado 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 subcon-
juntos do prprio conjunto dos naturais. Por exemplo, de 1 a n,
inclusive, existem exatamente n nmeros naturais.
1.2 Ordem
Quando um nmero a aparece na sequncia, acima mencionada,
antes do nmero b, ou seja, esquerda de b, escrevemos a < b e
dizemos que a menor do que b, ou ainda, escrevemos b > a e dizemos
que b maior do que a.
. . .
- _
a
-
. . .
- _
b
-
. . .
Por exemplo, 1 < 2, 5 < 7, 9 > 6 etc.
Essa relao que ordena os nmeros naturais tem claramente a
Aritmetica
2009/6/29
page 3
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.2: ORDEM 3
seguinte propriedade transitiva:
Se a aparece antes de b e b aparece antes de c, ento a aparece
antes de c.
. . .
- _
a
-
. . .
- _
b
-
. . .
- _
c
-
. . .
Em smbolos:
Se a < b e b < c, ento a < c.
Escreveremos tambm a b para representar a situao:
a < b ou a = b.
Por exemplo, temos que 2 3 e tambm que 2 2.
A ordem nos naturais total, o que signica que dados dois
nmeros naturais a e b temos vericada uma e apenas uma das trs
seguintes possibilidades (tricotomia):
a < b, a = b, ou a > b.
Sejam dados dois nmeros naturais a e b com a < b. Denimos os
seguintes conjuntos:
[a, b] o conjunto dos nmeros naturais x tais que a x b,
(a, b) o conjunto dos nmeros naturais x tais que a < x < b,
Aritmetica
2009/6/29
page 4
Estilo OBMEP
_
_
_
_
_
_
_
_
(a, b] o conjunto dos nmeros naturais x tais que a < x b,
[a, b) o conjunto dos nmeros naturais x tais que a x < b.
O primeiro e o segundo conjunto so chamados, respectivamente,
de intervalo fechado e intervalo aberto. Os dois outros conjuntos
so chamados indiferentemente de intervalos semiabertos, ou semife-
chados.
Exemplos:
O intervalo (2, 5) = {3, 4}:
_
1
- _
2
- ___
3
- ___
4
- _
5
- _
6
- _
7
- _
8
- _
9
- _
10
-
O intervalo (2, 5] = {3, 4, 5}:
_
1
- _
2
- ___
3
- ___
4
- __ _
5
- _
6
- _
7
- _
8
- _
9
- _
10
-
O intervalo [2, 5) = {2, 3, 4}:
_
1
- ___
2
- ___
3
- ___
4
- _
5
- _
6
- _
7
- _
8
- _
9
- _
10
-
O intervalo [2, 5] = {2, 3, 4, 5}:
_
1
- ___
2
- ___
3
- ___
4
- __ _
5
- _
6
- _
7
- _
8
- _
9
- _
10
-
Problema 1.1. Determine os elementos dos seguintes intervalos:
(2, 3), (2, 3], [2, 3), [2, 3], (3, 7), (3, 7], [3, 7) e [3, 7].
Uma propriedade caracterstica e fundamental do conjunto dos
Aritmetica
2009/6/29
page 5
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.3: ADIO 5
nmeros naturais, que no procuraremos justicar por parecer to
bvia, a seguinte:
Princpio da Boa Ordem. Todo subconjunto no vazio do conjunto
dos nmeros naturais possui um menor elemento.
A armao acima signica que dado um subconjunto A de N, no
vazio, existe um elemento a de A tal que a b, para todo elemento b
de A.
Problema 1.2. Determine o menor elemento de cada um dos seguin-
tes conjuntos: [2, 8], (2, 8], (3, 5), (3, 4), [3, 7] [2, 5], [3, 7] [2, 5].
1.3 Adio
Vamos a seguir introduzir a operao bsica nos naturais.
Seja dado um nmero natural a, o sucessor de a ser tambm
representado por a + 1:
. . .
-
`
_
a
-
`
_
a + 1
-
. . .
Sejam dados dois nmeros naturais a e b, quaisquer. Podemos
deslocar a de b posies para a direita, obtendo um nmero que ser
denotado por a+b. Essa operao entre nmeros naturais chamada
de adio e o nmero a + b chamado soma de a e b.
. . .
-
`
_
a
-
`
_
a + 1
-
`
_
a + 2
- . . . -
`
_
a + b
-
. . .
Aritmetica
2009/6/29
page 6
Estilo OBMEP
_
_
_
_
_
_
_
_
Por exemplo, dados a = 2 e b = 3, ao deslocarmos a de trs
posies para a direita, obtemos a sequncia
2, 2 + 1 = 3, 3 + 1 = 4, 4 + 1 = 5,
obtendo assim o nmero 2 + 3 = 5.
Agora, suponha que deslocamos b = 3 de a = 2 posies para a
direita, obtemos
3, 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 n-
meros naturais a e b, temos que
a + b = b + a.
Esse fato, devido nossa experincia com os nmeros, nos parece
bvio, mas voc teria alguma ideia de como mostrar que ao deslocar a
para a direita de b posies alcana-se o mesmo nmero que deslocar
b para a direita de a posies?
Vamos agora introduzir um smbolo para representar o no deslo-
camento de um nmero. Diremos que deslocamos um nmero a de
Aritmetica
2009/6/29
page 7
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.3: ADIO 7
zero posies para a direita quando no o movemos do seu lugar.
Escreveremos, neste caso,
a + 0 = a.
Vamos colocar o smbolo 0, chamado zero, esquerda de todos os
nmeros naturais, obtendo o conjunto ordenado:
_
0
- _
1
- _
2
- _
3
- _
4
- _
5
- _
6
- _
7
- _
8
- _
9
-
. . .
Portanto, consideraremos 0 < a, para todo nmero natural a.
Denotaremos o conjunto acima por N, continuando a cham-lo de
conjunto (ampliado) dos nmeros naturais.
Se deslocarmos agora 0 de 1 posio para a direita, obtemos o
nmero 1, se o deslocarmos de 2 posies direita, obtemos 2, se o
deslocarmos de 3 posies direita obtemos 3. Portanto, intuitivo
aceitar que se deslocarmos 0 de a posies direita obtemos o nmero
a. Finalmente, claro que 0 + 0 = 0, pois ao no deslocarmos o zero
nos mantemos no zero. Portanto, para todo a no conjunto N, temos
que
0 + a = a = a + 0.
Assim, quaisquer que sejam a e b no conjunto N (incluindo agora
o elemento 0), temos que a + b = b + a.
Podemos estender a soma para uma quantidade de nmeros maior
do que dois. Por exemplo, para somar trs nmeros a, b e c, podemos
Aritmetica
2009/6/29
page 8
Estilo OBMEP
_
_
_
_
_
_
_
_
proceder da seguinte forma: somamos inicialmente a e b, formando o
nmero (a + b), depois somamos esse novo nmero com c, obtendo o
nmero (a+b) +c. Por exemplo dados 3, 5 e 6, formaramos 3+5 = 8
e o somaramos com 6 obtendo (3 + 5) + 6 = 8 + 6 = 14.
Por outro lado, poderamos somar a com (b+c), obtendo o nmero
a+(b+c). No exemplo acima, isso nos daria 3+(5+6) = 3+11 = 14.
Acontece que a adio tem tambm a seguinte propriedade:
Propriedade associativa da adio. Quaisquer que sejam os n-
meros a, b e c de N, tem-se
(a + b) + c = a + (b + c).
Problema 1.3. Utilizando as propriedades comutativa e associativa
da adio, mostre que os 12 modos de somar trs nmeros a, b e c:
(a+b) +c, a+(b +c), (a+c) +b, a+(c +b), (b +a) +c, b +(a+c),
(b +c) +a, b +(c +a), c +(b +a), (c +a) +b, c +(a+b), (c +b) +a,
do o mesmo resultado.
Adio e Ordem. H uma relao de compatibilidade entre a ordem
e a adio de nmeros naturais, que a seguinte:
Dados trs nmeros naturais a, b e c quaisquer,
se a < b, ento a + c < b + c.
Aritmetica
2009/6/29
page 9
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.3: ADIO 9
De fato, se a est esquerda de b, ento ao deslocarmos a e b
simultaneamente de c posies direita, no difcil aceitar que a+c
se mantm esquerda de b + c.
. . .
-
`
_
a
-
`
_
a + 1
-
`
_
a + 2
-
. . .
-
`
_
b
-
`
_
b + 1
-
`
_
b + 2
-
. . .
A propriedade acima admite uma recproca, ou seja:
Dados trs nmeros naturais a, b e c, quaisquer,
se a + c < b + c, ento a < b.
Prova-se esta propriedade utilizando a tricotomia. De fato, su-
ponhamos 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 vericada, 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 vericada, 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?
Aritmetica
2009/6/29
page 10
Estilo OBMEP
_
_
_
_
_
_
_
_
Problema 1.4. Mostre que dados trs nmeros naturais a, b e c,
quaisquer,
se a + c = b + c, ento a = b.
Problema 1.5. Usando a propriedade de compatibilidade da adio
com a ordem e a transitividade da ordem, mostre que:
Se a < b e c < d, ento a + c < b + d.
Vale a recproca dessa propriedade?
Sugesto: Usando a compatibilidade da adio com a ordem, some c
a ambos os lados da primeira desigualdade, some b a ambos os lados da
segunda desigualdade. Finalmente, compare as novas desigualdades
assim obtidas.
1.4 Subtrao
Dados dois nmeros naturais a e b tais que a b, o nmero
de deslocamentos para a direita partindo de a para atingir b ser
representado por b a e ser chamado de diferena entre b e a.
Por exemplo, dados a = 3 e b = 7, preciso deslocar 3 para a
direita de 4 posies para alcanar 7, logo 7 3 = 4.
Portanto, pela denio de b a, temos que
a + (b a) = b. (1.1)
Aritmetica
2009/6/29
page 11
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.4: SUBTRAO 11
O nmero b a tambm o quanto devemos deslocar b para a
esquerda para alcanar a.
Devido equao (1.1), o nmero ba pode ser interpretado como
o quanto falta a a para atingir b.
Portanto, da equao (1.1) e do Problema 1.4, seque que se tiver-
mos uma igualdade entre nmeros naturais do tipo a + c = b, ento
c = b a.
Problema 1.6. Tenho 50 reais, mas uma bicicleta custa 200 reais,
quanto falta para eu poder comprar a bicicleta?
Problema 1.7. Mostre que se c a < b, ento a c < b c.
Note que a a = 0, pois devemos deslocar a de zero para atingir
a; ou seja no falta nada a a para atingir a.
Note tambm que a 0 = a, pois devemos deslocar 0 de a para a
direita para atingir a; ou seja, falta a a zero para atingir a.
Observe que, no contexto dos nmeros naturais, s faz sentido
formar a diferena b a quando b a: caso contrrio, isto , se
b < a,
. . .
- _
b
-
. . .
- _
a
-
. . .
no h como deslocar b para a esquerda para alcanar a, ou o que
o mesmo, no h como deslocar a para a direita para atingir b.
Quando a b, a diferena b a, entre b e a, dene uma operao
sobre pares de nmeros naturais (a, b), que chamaremos de subtrao.
Aritmetica
2009/6/29
page 12
Estilo OBMEP
_
_
_
_
_
_
_
_
A subtrao a operao inversa da adio, pois ao deslocarmos a
para a direita de b posies encontramos a+b, depois ao deslocarmos
a + b para a esquerda de b posies voltamos para a. Em smbolos:
(a + b) b = a.
Reciprocamente, se deslocarmos b para a esquerda de a posies
encontramos b a, depois ao deslocarmos b a para a direita de a
posies encontramos b. Em smbolos:
(b a) + a = b.
Quando b > a, o nmero ba nos auxilia na contagem de quantos
nmeros inteiros maiores ou iguais a a e menores ou iguais a b existem.
Para contar esses nmeros considere a sequncia:
a + 0, a + 1, a + 2, a + 3, . . . , a + (b a) = b,
cujo nmero de elementos igual ao nmero de naturais entre 0 e
b a, inclusive, o que nos d exatamente b a + 1 nmeros.
Portanto,
se a < b, o intervalo [a, b] possui b a + 1 elementos.
Problema 1.8. Quantos nmeros naturais existem maiores ou iguais
a 37 e menores ou iguais a 72?
Problema 1.9. Quantos nmeros naturais existem em cada um dos
intervalos (32, 75], [32, 75) e (32, 75)?
Aritmetica
2009/6/29
page 13
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.5: MLTIPLOS 13
Problema 1.10. Se a < b, quantos nmeros naturais existem nos
intervalos (a, b], [a, b) e (a, b)?
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
xado maior do que 1? Voc seria capaz de justicar de modo con-
vincente 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.
Aritmetica
2009/6/29
page 14
Estilo OBMEP
_
_
_
_
_
_
_
_
Soluo: O modo mais direto de proceder listar esses nmeros para
depois cont-los:
14, 21, 28, 35, 42, 49, 56, 63.
Assim, conclumos que esses so 8 em nmero.
Problema 1.14. Descubra quantos mltiplos de 7 existem entre 14
e 7 000, inclusive.
Soluo: Resolver o problema listando todos esses nmeros, como na
soluo do Problema 1.13, seria muito trabalhoso. Podemos abor-
dar o problema fazendo-o recair num caso j considerado e de fcil
resoluo:
2 7 (= 14), 3 7, 4 7, . . . , 1 000 7 (= 7 000).
Agora s contar quantos so os nmeros de 2 a 1 000, que sabe-
mos serem 1 000 2 + 1 = 999.
Note que o nico mltiplo de 0 apenas o 0. Todos os nmeros
so mltiplos de 1 e de si prprios. Note tambm que, pela denio
de mltiplo, um mltiplo no nulo, isto diferente de zero, de um
nmero a > 0 sempre maior ou igual do que a.
Assim, temos a seguinte propriedade importante:
Se a b = 0, ento a = 0 ou b = 0.
Aritmetica
2009/6/29
page 15
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.5: MLTIPLOS 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?
Problema 1.16. Seja c = 0.
(a) Mostre que
0 < c < 2 c < 3 c < 4 c < 5 c.
Fica assim bastante evidente, por analogia, ou por induo emprica,
que se a < b, ento a c < b c (uma prova rigorosa disto pode ser
dada usando Induo Matemtica).
(b) Mostre que vale a recproca da propriedade acima, isto que se
a c < b c, ento a < b.
Sugesto: Mostre que qualquer uma das opes, a = b ou b < a,
implica numa contradio, restando assim, por tricotomia (recorde
que a ordem total), a nica possibilidade: a < b.
Aritmetica
2009/6/29
page 16
Estilo OBMEP
_
_
_
_
_
_
_
_
1.6 Multiplicao
Tomar mltiplos dene uma operao nos nmeros naturais, ab,
que se l a vezes b, representando o mltiplo a vezes b de b. Assim,
a b =
0, se a = 0,
b, se a = 1,
b + b + + b

a parcelas
, se a > 1.
O nmero ab ser chamado o produto de a por b e ser tambm
denotado por ab, quando no houver risco de confuso.
Exemplos: 2 3 = 3 + 3 = 6, 3 2 = 2 + 2 + 2 = 6,
5 2 = 2 + 2 + 2 + 2 + 2 = 10, 2 5 = 5 + 5 = 10 etc.
Dos exemplos acima temos que
2 3 = 6 = 3 2 e 5 2 = 10 = 2 5.
De novo, isto no mera coincidncia, pois ocorre sempre. Vamos
admitir que a multiplicao possua a seguinte propriedade:
Propriedade comutativa da multiplicao. Quaisquer que sejam
os nmeros naturais a e b, temos que
a b = b a.
De modo semelhante adio, a multiplicao tambm possui a
seguinte propriedade:
Aritmetica
2009/6/29
page 17
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.6: MULTIPLICAO 17
Propriedade associativa da multiplicao. Quaisquer que sejam
os nmeros naturais a, b e c, temos que
a (b c) = (a b) c.
Problema 1.17. Mostre que ser mltiplo uma relao transitiva,
isto , se c mltiplo de b e b mltiplo de a, ento c mltiplo de
a.
Recorde que denimos a multiplicao nos nmeros naturais
atravs da noo de mltiplo, que em ltima anlise se reduz a ir
somando, sucessivamente, a cpias de um mesmo nmero b. por-
tanto natural esperar que as operaes de adio e de multiplicao
tenham uma forte relao. Uma dessas relaes se d atravs da pro-
priedade distributiva que passamos a discutir.
Propriedade distributiva da multiplicao com relao
adio. Considere dois mltiplos de um mesmo nmero natural, por
exemplo 6 12 e 3 12, somando esses nmeros obtemos
6 12 + 3 12 = 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.
Um procedimento como o acima, mais um argumento de induo
Aritmetica
2009/6/29
page 18
Estilo OBMEP
_
_
_
_
_
_
_
_
que no queremos explicitar agora, permitiria mostrar que, em geral,
dados nmeros naturais a, b e c, tem-se que
(a + b) c = a c + b c.
Problema 1.18. Mostre que
c (a + b) = c a + c b.
Problema 1.19. Mostre que a soma de dois mltiplos de um mesmo
nmero mltiplo desse nmero.
Propriedade distributiva da multiplicao com relao sub-
trao. Podemos agora mostrar que se a < b, ento
c (b a) = c b c a.
De fato, temos que
c a + c (b a) = c [a + (b a)] = c b.
Assim, pela denio da subtrao, temos que
c (b a) = c b c a.
Problema 1.20. Mostre que a diferena de dois mltiplos de um
mesmo nmero, quando faz sentido, mltiplo desse nmero.
Aritmetica
2009/6/29
page 19
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.7: MLTIPLOS COMUNS 19
Problema 1.21. Sejam dados nmeros naturais a, b e c tais que a
mltiplo de c. Mostre que a + b mltiplo de c se, e somente se, b
mltiplo de c.
Multiplicao e Ordem. A relao entre a adio e a ordem se
reete numa relao entre a multiplicao e a ordem que j tivemos
oportunidade de abordar no Problema 1.16:
Se a < b e c > 0, ento c a < c b.
Problema 1.22. Mostre que o menor elemento do conjunto dos
mltiplos no nulos de um nmero natural a > 0 o prprio a.
1.7 Mltiplos Comuns
Um conceito importante o de mltiplo comum de dois nmeros.
Por exemplo, considere a sequncia dos mltiplos de 3:
0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45, . . .
e a sequncia dos mltiplos de 5:
0, 5, 10, 15, 20, 25, 30, 35, 40, 45, . . .
Assim, a sequncia dos nmeros que so simultaneamente mlti-
plos de 3 e de 5 :
0, 15, 30, 45, . . .
Aritmetica
2009/6/29
page 20
Estilo OBMEP
_
_
_
_
_
_
_
_
Voc saberia continuar a sequncia acima? Aparentemente, trata-
se 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 provare-
mos 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 denio
que o nmero ab 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 = 0.
Denio. O menor mltiplo comum no nulo de dois nmeros na-
turais no nulos a e b denotado por mmc(a, b) e ser chamado de
mnimo mltiplo comum
1
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.
Voce percebeu que algumas vezes mmc(a, b) = a b e outras
vezes no? Qual ser a razo? Desvendaremos mais este mistrio no
Captulo 3.
1
Este nmero existe em funo da observao acima e do Princpio da Boa
Ordem.
Aritmetica
2009/6/29
page 21
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 1.8: POTENCIAO 21
1.8 Potenciao
Dados dois nmeros naturais a = 0 e n qualquer, denimos a
operao de potenciao como segue:
a
n
=
1, se n = 0,
a, se n = 1,
a a a

n fatores
, se n > 1.
Dene-se tambm 0
n
= 0, para todo n = 0.
Exemplo: 2
0
= 1, 2
1
= 2, 2
2
= 2 2 = 4, 2
3
= 8, 0
2
= 0 etc.
Observao. Fica de fora 0
0
, que no denido.
Problema 1.25. Convena-se de que a potenciao possui as seguin-
tes propriedades:
(a) 1
n
= 1; (b) a
n
a
m
= a
n+m
;
(c) (a
n
)
m
= a
nm
; (d) a
n
b
n
= (ab)
n
.
Existem tambm frmulas para escrever a potncia de uma soma.
Por exemplo,
(a + b)
2
= a
2
+ 2ab + b
2
,
(a + b)
3
= a
3
+ 3a
2
b + 3ab
2
+ b
3
,
(a + b)
4
= a
4
+ 4a
3
b + 6a
2
b
2
+ 4ab
3
+ b
4
.
Aritmetica
2009/6/29
page 22
Estilo OBMEP
_
_
_
_
_
_
_
_
Em geral, (a+b)
n
se escreve como a soma dos produtos de potn-
cias a
i
b
j
, onde i + j = n, multiplicados por certos nmeros naturais.
Esta frmula geral que no apresentaremos aqui chamada de fr-
mula do binmio de Newton. Para maiores informaes sobre esta
frmula, veja o texto sobre induo do autor, j citado anteriormente
e listado na bibliograa no nal do livro.
Problema 1.26. Desenvolva (a + b)
5
.
Aritmetica
2009/6/29
page 23
Estilo OBMEP
_
_
_
_
_
_
_
_
Captulo 2
Representao dos Naturais
2.1 O Sistema Decimal
Os nmeros naturais foram representados ao longo da histria de
vrios modos distintos. O modo universalmente utilizado na atuali-
dade a representao decimal posicional. Esse sistema, variante do
sistema sexagesimal utilizado pelos babilnios h cerca de 1 700 anos
antes de Cristo, foi desenvolvido na China e na ndia. Nesse sistema,
todo nmero natural representado por uma sequncia formada pelos
algarismos
0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
Por serem 10 esses algarismos, o sistema chamado de decimal.
O sistema tambm dito posicional, pois cada algarismo, alm de seu
valor intrnseco, possui um peso que lhe atribudo em funo de sua
posio dentro da sequncia. Esse peso uma potncia de 10 e varia
23
Aritmetica
2009/6/29
page 24
Estilo OBMEP
_
_
_
_
_
_
_
_
24 CAP. 2: REPRESENTAO DOS NATURAIS
do seguinte modo:
O algarismo da extrema direita tem peso 10
0
= 1; o seguinte,
sempre da direita para a esquerda, tem peso 10
1
= 10; o seguinte tem
peso 10
2
= 100; o seguinte tem peso 10
3
= 1 000 etc.
Assim, o nmero 1 458, no sistema decimal representa o nmero
1 10
3
+ 4 10
2
+ 5 10 + 8.
Os zeros esquerda em um nmero so irrelevantes, pois por exem-
plo,
0231 = 0 10
3
+ 2 10
2
+ 3 10 + 1 = 2 10
2
+ 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:
Classe das Unidades
unidades 1
a
ordem
dezenas 2
a
ordem
centenas 3
a
ordem
Classe do Milhar
unidades de milhar 4
a
ordem
dezenas de milhar 5
a
ordem
centenas de milhar 6
a
ordem
Aritmetica
2009/6/29
page 25
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 2.1: O SISTEMA DECIMAL 25
Classe do Milho
unidades de milho 7
a
ordem
dezenas de milho 8
a
ordem
centenas de milho 9
a
ordem
Problema 2.1. Determine a soma de todos os mltiplos de 6 que se
escrevem no sistema decimal com dois algarismos.
Problema 2.2. Fixe trs algarismos distintos e diferentes de zero.
Forme os seis nmeros com dois algarismos distintos tomados dentre
os algarismos xados. Mostre que a soma desses nmeros igual a 22
vezes a soma dos trs algarismos xados.
Problema 2.3. Nos tempos de seus avs no existiam as calculadoras
eletrnicas e por isso eram ensinadas vrias regras de clculo mental.
Uma delas era a seguinte:
Seja a um nmero natural cujo algarismo da unidade 5,
ou seja, a = 10q + 5, com q um nmero natural. Mostre que
a
2
= 100q(q + 1) + 25. Com isto, ache uma regra para calcular
mentalmente o quadrado de a. Aplique a sua regra para calcular os
quadrados dos nmeros; 15, 25, 35, 45, 55, 65, 75, 85, 95, 105
e 205.
Problema 2.4. Qual o menor nmero de dois algarismos? E qual
o maior? Quantos so os nmeros de dois algarismos? Quantos
algarismos precisa-se para escrev-los?
Problema 2.5. Quantos algarismos so usados para numerar um
livro de 300 pginas? Quantas vezes usa-se cada algarismo?
Curiosidade. Existe uma frmula interessante para descrever o n-
mero Q(x) de algarismos necessrios para escrever todos os nmeros
Aritmetica
2009/6/29
page 26
Estilo OBMEP
_
_
_
_
_
_
_
_
naturais de 0 a x, no sistema decimal:
Q(x) = n(x + 1) (10
n1
+ + 10),
onde n o nmero de algarismos de x (cf. Revista do Professor de
Matemtica, n. 5, p. 32).
Utilize esta frmula para conferir a sua resposta ao Problema 2.5.
2.2 Critrios de Multiplicidade de 2, 5 e 10
Critrios de multiplicidade so alguma regras prticas para decidir
se um dado nmero mltiplo de algum outro prexado.
A seguir, veremos alguns desses critrios.
Seja dado um nmero n escrito no sistema decimal como
n = n
r
n
1
n
0
= n
r
10
r
+ + n
1
10 + n
0
.
Podemos ento escrever
n = (n
r
10
r1
+ + n
1
)10 + n
0
,
onde n
0
o algarismo das unidades de n.
Reciprocamente, se n da forma n = 10m+n
0
, onde n
0
um dos
algarismos de 0 a 9, ento n
0
o algarismo das unidades de n.
Problema 2.6. Mostre que o algarismo das unidades de um quadrado
perfeito, isto , um nmero da forma a
2
, onde a um nmero natural,
Aritmetica
2009/6/29
page 27
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 2.2: CRITRIOS DE MULTIPLICIDADE DE 2, 5 E 10 27
s pode ser 0, 1, 4, 5, 6 ou 9.
Critrio de multiplicidade de 2.
Inicialmente, consideremos a tabela:
2 0 = 0 2 5 = 10 = 10 + 0
2 1 = 2 2 6 = 12 = 10 + 2
2 2 = 4 2 7 = 14 = 10 + 4
2 3 = 6 2 8 = 16 = 10 + 6
2 4 = 8 2 9 = 18 = 10 + 8
Note que todo nmero acima um mltiplo de 10 somado com
um dos nmeros: 0, 2, 4, 6, ou 8.
Suponha agora que um dado nmero natural n seja par, ou seja,
n = 2m, onde m um nmero natural. Escrevendo m da forma
m
10 + m
0
, onde m
0
o algarismo das unidades de m, temos
n = 2(m
10 + m
0
) = 2m
10 + 2m
0
.
Sendo 2m
0
um dos nmeros da tabela, temos que ele um ml-
tiplo de 10 somado com um dos nmeros: 0, 2, 4, 6, ou 8. Logo,
n = 2m
10 +2m
0
um mltiplo de 10 somado com um dos nmeros:
0, 2, 4, 6, ou 8, e, portanto, o seu algarismo das unidades 0, 2, 4, 6,
ou 8.
Problema 2.7. Mostre a recproca do que provamos acima, ou seja,
mostre que par um nmero cujo algarismo das unidades um dos
algarismos 0, 2, 4, 6 ou 8.
Aritmetica
2009/6/29
page 28
Estilo OBMEP
_
_
_
_
_
_
_
_
Juntando essas informaes temos o seguinte resultado:
Teorema (Critrio de Multiplicidade de 2)
Um nmero mltiplo de 2 se, e somente se, o seu algarismo das
unidades par.
Critrio de multiplicidade de 5 e de 10.
Seja n um nmero natural escrito na forma n = 10m + n
0
, onde
n
0
o algarismo das unidades de n. Como 10m mltiplo de 5 e de
10, temos que n mltiplo de 5 ou de 10 se, e somente se, n
0
ml-
tiplo de 5 ou de 10, respectivamente (cf. Problema 1.21). Isto ocorre
se, e somente se, n
0
= 0 ou n
0
= 5, no primeiro caso; e n
0
= 0, no
segundo. Assim, provamos o seguinte resultado:
Teorema (Critrio de Multiplicidade de 5 ou de 10)
Um nmero mltiplo de 5 se, e somente se, o seu algarismo das
unidades for 0 ou 5. Um nmero mltiplo de 10 se, e somente se,
o seu algarismo das unidades for 0.
Problema 2.8. Determine se mltiplo de 2, de 5 ou de 10 cada
nmero a seguir:
17, 22, 25, 28, 30, 35 420, 523 475.
Problema 2.9. Com a informao de que 100 mltiplo de 4 e de
25, voc seria capaz de achar um critrio de multiplicidade de 4 ou de
25?
Sugesto: Note que um nmero n = n
r
n
2
n
1
n
0
pode ser escrito
na forma n = n
r
n
2
100 + n
1
n
0
.
Aritmetica
2009/6/29
page 29
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 2.3: CRITRIOS DE MULTIPLICIDADE DE 9 E DE 3 29
Problema 2.10. Com a informao de que 1 000 mltiplo de 8
(respectivamente de 125), voc seria capaz de achar um critrio de
multiplicidade de 8? (respectivamente de 125?)
Sugesto: Note que um nmero n = n
r
n
3
n
2
n
1
n
0
pode ser escrito
na forma n = n
r
n
3
1 000 + n
2
n
1
n
0
.
2.3 Critrios de Multiplicidade de 9 e de 3
Inicialmente note os seguintes fatos:
10 1 = 9 = 1 9,
10
2
1 = 100 1 = 99 = 11 9,
10
3
1 = 1.000 1 = 999 = 111 9,
10
4
1 = 10 000 1 = 9 999 = 1 111 9.
Em geral, para n um nmero natural no nulo, temos
10
n
1 = 11 1

n vezes
9.
Portanto, todos os nmeros da forma 10
n
1 so mltiplos de 9
e tambm de 3, j que 9 mltiplo de 3.
Seja dado agora um nmero n escrito no sistema decimal como
n = n
r
n
1
n
0
= n
r
10
r
+ + n
1
10 + n
0
.
Subtraiamos a soma n
r
+ +n
1
+n
0
, dos algarismos que compem
Aritmetica
2009/6/29
page 30
Estilo OBMEP
_
_
_
_
_
_
_
_
o nmero n, de ambos os lados da igualdade acima:
n (n
r
+ + n
1
+ n
0
) = n
r
10
r
n
r
+ + n
1
10 n
1
+ n
0
n
0
= (10
r
1)n
r
+ + (10 1)n
1
.
Note agora que a ltima expresso sempre mltiplo de 9 (logo, de
3). Portanto, pelo Problema 1.21, temos que n mltiplo de 9 ou de
3 se, e somente se, o nmero n
r
+ +n
1
+n
0
mltiplo de 9 ou de
3. Assim, obtemos o seguinte resultado:
Teorema (Critrio de Multiplicidade de 9 ou de 3)
Um nmero n = n
r
n
1
n
0
mltiplo de 9 ou de 3 se, e somente se,
o nmero n
r
+ +n
1
+n
0
for mltiplo de 9 ou de 3, respectivamente.
O teorema acima reduz o problema de saber se um dado nmero
mltiplo de 9 ou de 3 ao problema de saber se um outro nmero obtido
a partir desse mltiplo de 9 ou de 3. O que ganhamos com isto?
Bem, o nmero n
r
+ +n
1
+n
0
consideravelmente menor do que
n e se ele ainda for grande podemos aplicar o teorema a ele obtendo
um nmero ainda menor e assim, sucessivamente, at encontrar um
nmero para o qual seja fcil decidir se mltiplo de 9 ou de 3.
Por exemplo, dado o nmero 257 985 921, somando os seus alga-
rismos obtemos 2 + 5 + 7 + 9 + 8 + 5 + 9 + 2 + 1 = 48. Repetindo o
mesmo procedimento para o nmero 48, obtemos 4 + 8 = 12, o qual
mltiplo de 3 mas no de 9. Logo, o nmero dado inicialmente
mltiplo de 3, mas no mltiplo de 9.
Problema 2.11. Determine se mltiplo de 3 ou de 9 cada um dos
Aritmetica
2009/6/29
page 31
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 2.4: NMEROS PRIMOS 31
nmeros a seguir:
108, 111, 225, 328, 930, 35 424, 523 476.
2.4 Nmeros Primos
Os nmeros primos so nmeros especiais que desempenham um
papel importante dentro da teoria e entre outras coisas os seus pro-
dutos representam todos os nmeros naturais, como veremos ainda
nesta seo.
Denio. Um nmero natural diferente de 0 e de 1 e que apenas
mltiplo de 1 e de si prprio chamado de nmero primo. Um nmero
diferente de 0 e de 1 que no primo chamado de nmero composto.
Por exemplo, 2, 3, 5 e 7 so nmeros primos, enquanto 4, 6 e 8
so nmeros compostos, por serem mltiplos de 2.
Mais geralmente, todo nmero par maior do que 2 no primo,
ou seja, composto (justique).
Note que a denio acima no classica os nmeros 0 e 1 nem
como primos nem como compostos. Exceto esses dois nmeros, todo
nmero natural ou primo ou composto.
Problema 2.12. Diga quais dos seguintes nmeros so primos e quais
so compostos:
9, 10, 11, 12, 13, 15, 17, 21, 23, 47, 49.
Certamente, os nmeros compostos so em nmero innito, pois
Aritmetica
2009/6/29
page 32
Estilo OBMEP
_
_
_
_
_
_
_
_
j os nmeros pares diferentes de 2 so em nmero innito (justique).
Uma pergunta que surge espontaneamente a seguinte: Quantos
so os nmeros primos?
Euclides de Alexandria, em 300 a.C., ou seja, h mais de 2 300
anos, mostrou que existem innitos nmeros primos.
Como ter Euclides feito isto? Ser que ele exibiu todos os nme-
ros primos? Seria isto possvel? Veremos na prxima seo como ele
realizou esta faanha.
Determinar se um dado nmero primo ou composto pode ser
uma tarefa muito rdua. Para se ter uma ideia da diculdade, voc
saberia dizer se o nmero 241 primo?
Muito mais difcil decidir se o nmero 4 294 967 297 primo ou
composto. O matemtico francs Pierre de Fermat (1601-1655) ar-
mou que esse nmero primo, enquanto o matemtico suo Leonhard
Euler (1707-1783) armou que composto. Qual deles estava com a
razo? Daremos a resposta na Seo 4.5.
A tarefa de decidir se um nmero primo ou mltiplo de outro
pode ser ligeiramente auxiliada com critrios de multiplicidade, como
os que vimos nas Sees 2.2 e 2.3.
Aritmetica
2009/6/29
page 33
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 2.5: O CRIVO DE ERATSTENES 33
2.5 O Crivo de Eratstenes
Um mtodo muito antigo para se obter de modo sistemtico
nmeros primos o chamado Crivo de Eratstenes,
1
devido ao
matemtico grego Eratstenes.
A ecincia do mtodo baseada na observao bem simples a
seguir.
Se um nmero natural a > 1 composto, ento ele mltiplo de
algum nmero primo p tal que p
2
a. Equivalentemente, primo
todo nmero a que no mltiplo de nenhum nmero primo p tal que
p
2
< a.
De fato, se a composto e p o menor nmero primo do qual
a mltiplo, ento a = p b, onde p e b so menores do que a.
De todo modo, sendo b primo ou composto, ele ser mltiplo de um
nmero primo q. Como a mltiplo de b e b mltiplo de q, pela
transitividade da relao de ser mltiplo (Problema 1.17), temos que
a tambm mltiplo de q e sendo p o menor primo do qual a
mltiplo, temos p q. Logo, p
2
p q a.
Por exemplo, para mostrar que o nmero 221(= 13 17), com-
posto, bastaria testar se ele mltiplo de algum dos nmeros pri-
mos p = 2, 3, 5, 7, 11 ou 13, j que o prximo primo 17 tal que
17
2
= 289 > 221.
Para se obter os nmeros primos at uma certa ordem n, escreva
os nmeros de 2 at n em uma tabela.
1
A palavra crivo signica peneira. O mtodo consiste em peneirar os nmeros
naturais em um intervalo [2, n], jogando fora os nmeros que no so primos.
Aritmetica
2009/6/29
page 34
Estilo OBMEP
_
_
_
_
_
_
_
_
O primeiro desses nmeros, o 2, primo, pois no mltiplo de
nenhum nmero anterior. Risque todos os demais mltiplos de 2 na
tabela, pois esses no so primos.
O primeiro nmero no riscado nessa nova tabela o 3 que
primo, pois no mltiplo de nenhum nmero anterior diferente de 1.
Risque todos os demais mltiplos de 3 na tabela, pois esses no so
primos.
O primeiro nmero maior que 3 e no riscado na tabela o 5 que
um nmero primo, pois no mltiplo de nenhum nmero anterior
diferente de 1. Risque os demais mltiplos de 5 na tabela.
O primeiro nmero maior do que 5 e que no foi riscado o 7, que
primo. Risque os demais mltiplos de 7 na tabela.
Ao trmino desse procedimento, os nmeros no riscados so todos
os primos menores ou iguais a n.
Note que o procedimento termina assim que atingirmos um
nmero primo p tal que p
2
n, pois, pela observao que zemos
acima, j teramos riscado todos os nmeros compostos menores ou
iguais a n.
Exibimos a seguir o resultado do crivo para n = 250. Note que,
neste caso, o procedimento termina to logo cheguemos ao nmero
primo p = 17.
Aritmetica
2009/6/29
page 35
Estilo OBMEP
_
_
_
_
_
_
_
_
_
2
_
3
4
_
5
6
_
7
8 9 10
_
11
12
_
13
14 15 16
_
17
18
_
19
20 21 22
_
23
24
25 26 27 28
_
29
30
_
31
32 33 34 35 36
_
37
38 39 40
_
41
42
_
43
44 45 46
_
47
48
49 50 51 52
_
53
54 55 56 57 58
_
59
60
_
61
62 63 64 65 66
_
67
68 69 70
_
71
72
_
73
74 75 76 77 78
_
79
80 81 82
_
83
84
85 86 87 88
_
89
90 91 92 93 94 95 96
_
97
98 99 100
_
101
102
_
103
104 105 106
_
107
108
_
109
110 111 112
_
113
114 115 116 117 118 119 120
121 122 123 124 125 126
_
127
128 129 130
_
131
132
133 134 135 136
_
137
138
_
139
140 141 142 143 144
145 146 147 148
_
149
150
_
151
152 153 154 155 156
_
157
158 159 160 161 162
_
163
164 165 166
_
167
168
169 170 171 172
_
173
174 175 176 177 178
_
179
180
_
181
182 183 184 185 186 187 188 189 190
_
191
192
_
193
194 195 196
_
197
198
_
199
200 201 202 203 204
205 206 207 208 209 210
_
211
212 213 214 215 216
217 218 219 220 221 222
_
223
224 225 226
_
227
228
_
229
230 231 232
_
233
234 235 236 237 238
_
239
240
_
241
242 243 244 245 246 247 248 249 250
Consultando a tabela acima temos que o nmero 241 primo,
respondendo pergunta que formulamos anteriormente.
Da tabela acima, extramos todos os nmeros primos at 250:
Aritmetica
2009/6/29
page 36
Estilo OBMEP
_
_
_
_
_
_
_
_
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
Note que a diferena de dois nmeros primos consecutivos, exce-
tuando 2 e 3 (que diferem de 1) de no mnimo 2 (justique).
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 matemti-
cos ainda no saibam dizer se os pares de primos gmeos formam um
conjunto nito ou innito.
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 nitude ou no dessas
Aritmetica
2009/6/29
page 37
Estilo OBMEP
_
_
_
_
_
_
_
_
ternas.
Outro problema muito simples de ser enunciado, mas que ainda
no tem resposta, a chamada Conjectura de Goldbach.
2
O matemtico prussiano
3
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
O termo conjectura numa linguagem mais coloquial signica palpite, chute.
3
A Prssia tem uma histria muito rica dentro do contexto europeu dos sculos
18, 19 e 20, marcado por guerras interminveis. No tempo de Goldbach a Prssia
era um reino muito pobre, mas que posteriormente tornou-se um potente imprio
chegando a ocupar grande parte da Europa do Norte. Para saber mais consulte o
seu professor de Histria.
Aritmetica
2009/6/29
page 38
Estilo OBMEP
_
_
_
_
_
_
_
_
Um outro problema proposto em 1845 pelo matemtico francs
Joseph Bertrand (1822-1900) foi que, dado um nmero natural n > 3,
sempre existe um nmero primo p no intervalo (n, 2n2). Cinco anos
depois, o matemtico russo Pafnuti Chebyshev (1821-1894) provou de
modo surpreendentemente elementar, mas no o suciente para que
o faamos aqui, que a armao era verdadeira.
Problema 2.14. Usando a nossa tabela de primos, verique o Pos-
tulado de Bertrand para n 125.
H uma conjectura semelhante ao Postulado de Bertrand, pro-
posta anteriormente pelo matemtico francs Adrien-Marie Legendre
(1752-1833), mas que ainda no foi provada nem desmentida, que a
seguinte:
Dado um nmero natural n sempre existe um nmero primo no
intervalo (n
2
, (n + 1)
2
).
Problema 2.15. Usando a nossa tabela de primos, verique a Con-
jectura de Legendre para n 15.
2.6 Teorema Fundamental da Aritmtica
O mtodo do Crivo de Eratstenes nos mostra que dado um
nmero natural a, existe um nmero primo p
0
tal que ou a = p
0
, ou
a um mltiplo no trivial de p
0
; isto , a = p
0
a
1
, com 1 < a
1
< a.
Se a segunda possibilidade vericada, segue que existe um
nmero primo p
1
, tal que ou a
1
= p
1
, ou a
1
= p
1
a
2
, onde
Aritmetica
2009/6/29
page 39
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 2.6: TEOREMA FUNDAMENTAL DA ARITMTICA 39
1 < a
2
< a
1
< a. Assim,
a = p
0
p
1
, ou a = p
0
p
1
a
2
.
Continuando a argumentao para a
2
, temos a = p
0
p
1
p
2
, ou
a = p
0
p
1
p
2
a
3
, para algum primo p
2
e 1 < a
3
< a
2
< a
1
< a.
Note que desigualdades como a acima no podem continuar in-
denidamente (justique). Logo, para algum r, o nmero a
r
um
primo p
r
, obtendo desse modo uma decomposio de a em fatores
primos:
a = p
1
p
2
p
r
.
Obtemos, assim, o seguinte resultado que se encontra no livro Os
Elementos de Euclides de Alexandria.
Proposio (Euclides)
Todo nmero natural a > 1, ou primo, ou se escreve como produto
de nmeros primos.
Prova-se com um pouco mais de trabalho, que faremos na Seo
3.9, que esta escrita nica a menos da ordem dos fatores. Com esta
informao adicional, o resultado de Euclides pode ser reformulado
do seguinte modo:
Teorema Fundamental da Aritmtica
Dado um nmero natural a 2, existem um nmero r > 0, nmeros
primos p
1
< < p
r
e nmeros naturais no nulos n
1
, . . . , n
r
tais
que
a = p
n
1
1
p
n
r
r
;
Aritmetica
2009/6/29
page 40
Estilo OBMEP
_
_
_
_
_
_
_
_
alm disso, esta escrita nica.
4
Problema 2.16. Decomponha em produtos de primos os seguintes
nmeros: 4, 6, 8, 28, 36, 84, 320 e 2 597.
Sugesto: Para o nmero 2 597, note que se esse nmero com-
posto h certamente um nmero primo p < 51 que o divide, pois
51
2
> 2 597 (veja a observao que zemos ao descrevermos o Crivo
de Eratstenes).
Vamos aproveitar que j temos os ingredientes para dar a demons-
trao de Euclides de que existem innitos nmeros primos.
Suponha por absurdo que os nmeros primos sejam em nmero
nito e seja a o produto de todos eles. O nmero a+1 no seria primo
pois ele seria maior do que qualquer nmero primo. Logo, a+1 sendo
composto, ele seria mltiplo de algum nmero primo q. Mas sendo
a tambm mltiplo de q, teramos, pelo Problema 1.21, que 1 seria
mltiplo do nmero primo q, o que um absurdo.
E foi assim que o astuto Euclides provou que existem innitos
nmeros primos, sem ter o trabalho de exibi-los todos. O mtodo
utilizado na prova acima chamado de reduo ao absurdo e consiste
em negar a armao que se quer provar e mostrar que isto leva a uma
contradio. Assim, mostra-se que a negao da armao falsa e,
portanto, a prpria armao verdadeira.
4
Observe que ordenamos os primos que intervm na fatorao de a por ordem
crescente, da a unicidade da escrita. Esta parte do teorema no se encontra
nos Elementos de Euclides, apesar daquela obra conter todos os ingredientes para
prov-la. A prova completa foi dada por Gauss mais de dois sculos depois e
acredita-se que Euclides no a fez por falta de notaes adequadas.
Aritmetica
2009/6/29
page 41
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 2.6: TEOREMA FUNDAMENTAL DA ARITMTICA 41
Os nmeros primos se distribuem dentro de N de modo bastan-
te irregular. J vimos que existem primos consecutivos cuja diferena
2: so os primos gmeos. Por outro lado, dado um nmero n arbi-
trrio, 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 innitos); 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 se-
quncia dos nmeros naturais.
Aritmetica
2009/6/29
page 42
Estilo OBMEP
_
_
_
_
_
_
_
_
Captulo 3
Os Inteiros e suas
Propriedades
3.1 Os Inteiros
Dados dois nmeros naturais a e b, at o momento, o nmero
b a s foi denido quando b a. Como remediar esta situao? O
jeito que os matemticos encontraram para que seja sempre denido
o nmero b a foi o de ampliar o conjunto dos nmeros naturais
formando um novo conjunto Z chamado de conjunto dos nmeros
inteiros, cujos elementos so dados ordenadamente como segue:
. . .
-
`
_
3
-
`
_
2
-
`
_
1
-
`
_
0
-
`
_
1
-
`
_
2
-
`
_
3
-
. . .
Os nmeros esquerda do zero so chamados de nmeros nega-
tivos e os direita so chamados de nmeros positivos. Os pares
42
Aritmetica
2009/6/29
page 43
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.1: OS INTEIROS 43
de nmeros 1 e 1, 2 e 2, 3 e 3 etc., so chamados de nmeros
simtricos. O elemento 0, que no nem positivo, nem negativo, o
seu prprio simtrico.
Em Z temos uma relao de ordem que estende a relao de ordem
de N, onde declaramos a < b quando a se encontra esquerda de b.
Esta relao continua transitiva e total (i.e., satisfazendo tricoto-
mia). Os intervalos emZ so denidos de modo anlogo aos intervalos
de N.
Representando por a o simtrico de a, seja ele positivo, negativo
ou nulo, temos sempre que
(a) = a.
No conjunto Z, temos denida a adio como segue:
Para todo nmero inteiro a, denimos a+b como sendo o nmero
obtido pelo deslocamento de a para a direita de b posies, se b 0 ou
de b posies para a esquerda se b < 0. A adio no conjunto Z con-
tinua tendo as propriedades comutativa e associativa e compatvel
com a relao de ordem.
Denimos a diferena b a como sendo o nmero obtido deslo-
cando b para a esquerda a posies, se a > 0; e deslocando b para a
direita a posies, se a < 0. Isto dene uma operao em Z, sem
restries, chamada de subtrao. Assim, temos que a subtrao a
operao inversa da adio e
b a = b + (a).
Aritmetica
2009/6/29
page 44
Estilo OBMEP
_
_
_
_
_
_
_
_
44 CAP. 3: OS INTEIROS E SUAS PROPRIEDADES
Problema 3.1. Mostre que em Z continua valendo a propriedade do
Problema 1.4.
Problema 3.2. Mostre que em Z continua valendo que (ba)+a = b
e que (a + b) b = a.
Problema 3.3. Mostre com exemplos que a subtrao no uma
operao nem comutativa nem associativa.
Problema 3.4. Mostre que em Z um intervalo [a, b], onde a b,
tem b a + 1 elementos.
A multiplicao nos inteiros denida como segue: Se a, b 0,
sabemos o que a b. Denimos
(a) b = a (b) = (a b),
e
(a) (b) = a b.
Assim, a b est denido para quaisquer inteiros a e b. A mul-
tiplicao em Z continua sendo comutativa, associativa e distributiva
com relao adio e subtrao.
Tem-se tambm que se a b = 0, com a e b inteiros, ento a = 0
ou b = 0.
Problema 3.5. Mostre que se a c = b c, com c = 0, ento a = b.
A multiplicao tambm continua compatvel com a ordem, no
seguinte sentido:
Aritmetica
2009/6/29
page 45
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.2: MLTIPLOS INTEIROS DE UM NMERO 45
Se a < b e c > 0, ento c a < c b.
Problema 3.6. Mostre com um exemplo que em Z no vale a pro-
priedade:
Se a < b, ento a c < b c, qualquer que seja c.
Nem a sua recproca:
Se a c < b c, ento a < b, qualquer que seja c.
3.2 Mltiplos Inteiros de um Nmero
Dado um inteiro a, consideremos o conjunto dos mltiplos inteiros
de a:
aZ = {a d; d Z}.
Problema 3.7. Mostre que os mltiplos inteiros de um elemento a
possuem as seguintes propriedades:
(i) 0 mltiplo de a.
(ii) Se m um mltiplo de a, ento m mltiplo de a.
(iii) Um mltiplo de um mltiplo de a um mltiplo de a.
(iv) Se m e m
so mltiplos de a, ento m+m
e mm
so tambm
mltiplos de a.
Aritmetica
2009/6/29
page 46
Estilo OBMEP
_
_
_
_
_
_
_
_
(v) Se m e m
so mltiplos de a, ento e m + f m
mltiplo
de a, quaisquer que sejam os inteiros e e f (note que (iv) um caso
particular da presente propriedade).
(vi) Se m+m
ou mm
mltiplo de a e m mltiplo de a, ento

m
mltiplo de a.
O mesmo resultado vale para os mltiplos comuns de dois inteiros
a e b. De fato, o seguinte problema lida com esta situao.
Problema 3.8. Mostre que os mltiplos inteiros comuns de dois ele-
mentos a e b possuem as seguintes propriedades:
(i) 0 mltiplo comum de a e b.
(ii) Se m um mltiplo comum de a e b, ento m mltiplo comum
de a e b.
(iii) Um mltiplo de um mltiplo comum de a e b um mltiplo
comum de a e b.
(iv) Se m e m
so mltiplos comuns de a e b, ento m+m
e mm
so tambm mltiplos comuns de a e b.

(v) Se m e m
so mltiplos comuns de a e b, ento e m+f m

mltiplo comum de a e b, quaisquer que sejam os inteiros e e f (note
que (iv) um caso particular da presente propriedade).
(vi) Se m + m
ou mm
mltiplo comum de a e b e m mltiplo

comum de a e b, ento m
mltiplo comum de a e b.
Vimos que dois nmeros naturais a e b possuem sempre um mmc
que um nmero natural. Se um dos nmeros a ou b nulo e o outro
Aritmetica
2009/6/29
page 47
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.3: DIVISORES 47
um inteiro qualquer, ento esses nmeros s admitem o zero como
mltiplo comum (justique), que ser chamado do mnimo mltiplo
comum (mmc) de a e b. Se a e b so ambos no nulos, mesmo que
no sejam ambos positivos, ento dene-se o mnimo mltiplo comum
(mmc) de a e b como sendo o menor mltiplo comum positivo; ou seja,
o menor elemento positivo do conjunto
aZ bZ.
Problema 3.9. Suponha que os nmeros 216 e 144 sejam mlti-
plos comuns de um determinado par de nmeros a e b. Mostre que
mmc(a, b) 72.
Sugesto: Utilize a propriedade (iv) do Problema 3.8.
3.3 Divisores
Nesta seo olharemos a noo de mltiplo sob outro ponto de
vista.
Denio. Diremos que um nmero inteiro d um divisor de outro
inteiro a, se a mltiplo de d; ou seja, se a = dc, para algum inteiro
c.
Quando a mltiplo de d dizemos tambm que a divisvel por
d ou que d divide a.
Representaremos o fato de um nmero d ser divisor de um nmero
a, ou d dividir a, pelo smbolo d | a. Caso d no divida a, escrevemos
d a.
Aritmetica
2009/6/29
page 48
Estilo OBMEP
_
_
_
_
_
_
_
_
Assim, por exemplo, temos que
1 | 6, 2 | 6, 3 | 6, 6 | 6, 6 | 6, 3 | 6, 2 | 6, 1 | 6.
Alm disso, se d {6, 3, 2, 1, 1, 2, 3, 6}, ento d 6.
Temos tambm que 1 | a e d | 0, para todo d, inclusive quando
d = 0, pois 0 mltiplo de qualquer nmero
1
.
Note tambm que se d | a, ento d | a, d | a e d | a
Note que se a e d so nmeros naturais, com a = 0, e se d | a,
ento d a. De fato, sendo a um mltiplo natural no nulo do
nmero natural d, sabemos que a d.
Problema 3.10. Mostre que das duas propriedades acima segue que,
se a um inteiro no nulo, os divisores de a so em nmero nito.
Problema 3.11. Mostre que se a e b so nmeros naturais no nulos,
ento a | b e b | a se, e somente se, a = b.
Os critrios de multiplicidade podem ser reenunciados como
critrios de divisibilidade.
Por exemplo, dado um nmero n = n
r
. . . n
1
n
0
na sua represen-
tao decimal, temos o resultado:
n divisvel por 2 (ou seja mltiplo de 2) se e somente se n
0
um
nmero par.
1
Isto absolutamente no quer dizer que podemos dividir zero por zero, pois
como 0 = c0 para todo c, o quociente de 0 por 0 poderia ser qualquer nmero,
logo no estaria bem denido.
Aritmetica
2009/6/29
page 49
Estilo OBMEP
_
_
_
_
_
_
_
_
Problema 3.12. Enuncie critrios de divisibilidade por 3, 4, 5, 8, 9
e 10.
Utilizando a noo de divisor, podemos tambm redenir a noo
de nmero primo como sendo um nmero p > 1 que s possui 1 e o
prprio p como divisores positivos.
A divisibilidade possui vrias propriedades importantes decor-
rentes das propriedades dos mltiplos e cuja utilizao vai nos facilitar
a vida.
A relao de divisibilidade transitiva, ou seja, se a | b e b | c,
ento a | c.
De fato, isto o mesmo que a transitividade da relao de ser
mltiplo (veja Problema 1.17).
Problema 3.13. Mostre as seguintes propriedades importantes da
divisibilidade:
(a) Se d | a e d | b, ento d | (b + a) e d | (b a).
(b) Se d | (b + a) ou d | (b a) e d | a, ento d | b.
(c) Conclua que d um divisor comum de a e de b se e somente se d
um divisor comum de a e de b a.
Denio. Dados dois nmeros inteiros a e b no simultaneamente
nulos, o maior divisor comum de a e b ser chamado de mximo divisor
comum de a e b e denotado por mdc(a, b).
Note que
mdc(a, b) = mdc(b, a).
Aritmetica
2009/6/29
page 50
Estilo OBMEP
_
_
_
_
_
_
_
_
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.
(c) Mostre que se a = 0 ou b = 0, ento
mdc(a, b) = mdc(a, b) = mdc(a, b) = mdc(a, b).
O problema de determinar o mdc de dois nmeros bem simples
quando os nmeros so pequenos, pois neste caso podemos listar todos
os divisores comuns desses nmeros e escolher o maior deles, que ser
o seu mdc.
Por exemplo, para calcular mdc(12, 18), determinamos os divisores
de 12, que so:
1, 2, 3, 4, 6, 12;
e os divisores de 18, que so:
1, 2, 3, 6, 9, 18.
Tomando o maior divisor comum, obtemos: mdc(12, 18) = 6.
No entanto, quando um dos dois nmeros for grande, esse mtodo
ca impraticvel, pois achar os divisores de um nmero grande muito
complicado. O que fazer ento? Euclides, trs sculos antes de Cristo,
nos d uma soluo para este problema descrevendo um algoritmo
Aritmetica
2009/6/29
page 51
Estilo OBMEP
_
_
_
_
_
_
_
_
muito eciente para fazer este clculo. O Algoritmo de Euclides, como
conhecido o mtodo por ele desenvolvido, ser descrito no prximo
captulo e repousa numa generalizao da propriedade do Problema
3.13(c) que recordamos abaixo:
Um nmero d divisor comum de a e b, no ambos nulos, se, e
somente se, ele um divisor comum de a e b a.
Tomando o mximo divisor comum, obtemos a seguinte identi-
dade:
mdc(a, b) = mdc(a, b a),
que permite ir reduzindo sucessivamente o clculo do mdc de dois
nmeros ao clculo do mdc de nmeros cada vez menores.
Como exemplo de aplicao, vejamos como isto vai permitir o
clculo de mdc(3 264, 1 234):
mdc(3 264, 1 234) = mdc(1 234, 3 264 1 234) =
mdc(1 234, 2 030) = mdc(1 234, 2 030 1 234) =
mdc(1 234, 796) = mdc(796, 1 234 796) =
mdc(796, 438) = mdc(796 438, 438) =
mdc(358, 438) = mdc(358, 438 358) =
mdc(358, 80) = mdc(358 80, 80) =
mdc(278, 80) = mdc(198, 80) =
mdc(118, 80) = mdc(38, 80) =
mdc(38, 42) = mdc(38, 4) =
mdc(34, 4) = mdc(30, 4) =
mdc(26, 4) = mdc(22, 4) =
mdc(18, 4) = mdc(14, 4) =
mdc(10, 4) = mdc(6, 4) = 2
Aritmetica
2009/6/29
page 52
Estilo OBMEP
_
_
_
_
_
_
_
_
As contas anteriores sero abreviadas de modo drstico com o
algoritmo de Euclides para o clculo do mdc que iremos apresentar
na Seo 3.8.
Problema 3.15. Sejam a e b dois nmeros com um divisor comum
d. Mostre que d divide an+bm, quaisquer que sejam os nmeros
inteiros n e m.
Dois nmeros inteiros, no ambos nulos, sero ditos primos entre
si se no forem mltiplos de um mesmo nmero diferente de 1 e de
1.
Portanto, dois inteiros a e b, no ambos nulos, so primos entre
si se os nicos divisores comuns de a e b so 1 e 1, o que equivale a
dizer que mdc(a, b) = 1.
Exemplos de pares de inteiros primos entre si so: 2 e 3; 4 e 15; 9
e 7. No so primos entre si os pares: 2 e 4; 3 e 6; 9 e 12.
Dois nmeros primos distintos so sempre primos entre si.
Dois nmeros consecutivos so sempre primos entre si. De fato,
podemos escrever os dois nmeros na forma n e n + 1, logo
mdc(n, n + 1) = mdc(n, n + 1 n) = mdc(n, 1) = 1.
Problema 3.16.
(a) Mostre que dois nmeros inteiros da forma n e 2n +1 so sempre
primos entre si.
(b) Mostre que se n um nmero mpar, ento mdc(n, 2n + 2) = 1.
Aritmetica
2009/6/29
page 53
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.4: ALGORITMO DA DIVISO 53
(c) Mostre que se n um nmero par, ento mdc(n, 2n + 2) = 2.
Problema 3.17. Sejam a e b dois nmeros naturais no ambos nulos
e seja d = mdc(a, b). Se a
e b
so os dois nmeros naturais tais que

a = a
d e b = b
d, mostre que mdc(a
, b
) = 1.
3.4 Algoritmo da Diviso
Uma das propriedades mais importantes dos nmeros naturais
a possibilidade de dividir um nmero por outro com resto pequeno.
Essa a chamada diviso euclidiana.
Sejam dados dois nmeros naturais a e b, com a > 0 e b qualquer.
Queremos comparar o nmero natural b com os mltiplos do nmero
a. Para isto, considere todos os intervalos da forma [na, (n + 1)a),
para n um nmero natural qualquer. Isto nos d uma partio de N,
ou seja,
N = [0, a) [a, 2a) [2a, 3a) [na, (n + 1) a)
e os intervalos acima so dois a dois sem elementos em comum.
Portanto, o nmero b estar em um e apenas um dos intervalos
acima. Digamos que b pertena ao intervalo
[qa, (q + 1) a).
Logo, existem dois nmeros naturais q e r, unicamente determi-
Aritmetica
2009/6/29
page 54
Estilo OBMEP
_
_
_
_
_
_
_
_
nados, tais que
b = aq + r, com 0 r < a.
O nmero b chamado dividendo, o nmero a divisor, os nmeros
q e r so chamados, respectivamente, quociente e resto da diviso de
b por a.
Note que dados dois nmeros naturais a e b, nem sempre b
mltiplo de a, este ser o caso se, e somente se, r = 0.
Como determinar os nmeros q e r na diviso euclidiana?
Caso b < a Como b = 0 a + b, temos que q = 0 e r = b.
Caso b = a Neste caso, tomamos q = 1 e r = 0.
Caso b > a Podemos considerar a sequncia:
b a, b 2a, . . . , b na,
at encontrar um nmero natural q tal que b (q + 1)a < 0, com
b qa 0. Assim, obtemos b = qa + r, onde r = b qa e, portanto,
0 r < a.
Por exemplo, para dividir o nmero 54 por 13, determinamos os
resultados da subtrao de 54 pelos mltiplos de 13:
Aritmetica
2009/6/29
page 55
Estilo OBMEP
_
_
_
_
_
_
_
_
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 (c) de 233 por 4
(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 (c) de 233 por 4
(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
Aritmetica
2009/6/29
page 56
Estilo OBMEP
_
_
_
_
_
_
_
_
nmero qualquer por a so os nmeros 0, 1, . . . , a 1.
Por exemplo, os possveis restos da diviso de um nmero inteiro
por 2 so r = 0 ou r = 1.
Se um dado nmero quando divido por 2 deixa resto r = 0, ele
divisvel por 2, ou seja, ele par.
Se, ao contrrio, esse nmero deixa resto 1 quando dividido por
2, ele mpar.
Assim, um nmero par se da forma 2q e mpar se da forma
2q + 1, para algum inteiro q.
Problema 3.21. Mostre que dentre dois inteiros consecutivos um
deles par e o outro mpar.
Problema 3.22. Mostre que um nmero n escrito no sistema deci-
mal como n
r
. . . n
1
n
0
deixa resto n
0
quando dividido por 10. Como
se relacionam os restos da diviso de n por 2 ou 5 com os restos da
diviso de n
0
por 2 ou 5?
Um nmero quando dividido por 3 pode deixar restos r = 0, r = 1
ou r = 2.
Problema 3.23. Mostre que de trs inteiros consecutivos um e ape-
nas um deles mltiplo de 3.
Soluo: Suponha que os trs inteiros consecutivos sejam a, a + 1
e a + 2. Temos as seguintes possibilidades: a deixa resto 0, 1 ou 2
quando dividido por 3.
1) Suponha que a deixe resto 0 quando dividido por 3, ou seja, a = 3q.
Logo, a + 1 = 3q + 1 e a + 2 = 3q + 2. Assim, um e apenas um dos
Aritmetica
2009/6/29
page 57
Estilo OBMEP
_
_
_
_
_
_
_
_
trs nmeros mltiplo de 3, a saber, a.
2) Suponha que a deixe resto 1 quando dividido por 3, ou seja,
a = 3q + 1. Logo, a + 1 = 3q + 2 e a + 2 = 3q + 3 = 3(q + 1).
Assim, um e apenas um dos trs nmeros mltiplo de 3, a saber,
a + 2.
3) Suponha que a deixe resto 2 quando dividido por 3, ou seja,
a = 3q+2. Logo, a+1 = 3q+3 = 3(q+1) e a+2 = 3q+4 = 3(q+1)+1.
Assim, um e apenas um dos trs nmeros mltiplo de 3, a saber,
a + 1.
Problema 3.24. Mostre que dados trs nmeros a, a + 2 e a + 4,
um e apenas um deles mltiplo de 3. Usando este fato, mostre que
a nica terna de primos trigmeos (3, 5, 7).
Problema 3.25. Mostre que dados trs nmeros 2a, 2(a + 1) e
2(a + 2), um e apenas um deles mltiplo de 3.
Problema 3.26.
(a) Mostre que a soma de trs inteiros consecutivos sempre mltiplo
de 3.
(b) Dados trs inteiros consecutivos, mostre que um deles mltiplo
de 3 e a soma dos outros dois tambm.
Dividir por a > 0 agrupar em conjuntos com a elementos. Por
exemplo, para saber quantas dzias de ovos temos no quintal, temos
que dividir o nmero de ovos por 12, a diviso podendo ser exata ou
no. Se tivermos 36 ovos, teremos 3 dzias exatas, mas se tivermos
38 ovos, teremos ainda 3 dzias de ovos e sobrariam 2 ovos.
Aritmetica
2009/6/29
page 58
Estilo OBMEP
_
_
_
_
_
_
_
_
Problema 3.27. Uma fbrica produz chicletes que so embalados em
pacotes de cinco unidades cada. Quantos pacotes sero produzidos
com 3 257 unidades?
3.5 Par ou mpar?
Nesta seo veremos, em um caso bem simples, como lidar com os
restos da diviso de nmeros inteiros por um nmero natural dado,
introduzindo uma nova aritmtica chamada aritmtica residual ou
aritmtica modular.
A soma de dois nmeros pares par. De fato, os dois nmeros
podem ser escritos na forma 2a e 2b, cuja soma 2(a + b), logo par.
A soma de dois nmeros mpares par. De fato, os nmeros so
da forma 2a + 1 e 2b + 1, cuja soma 2(a + b + 1), logo par.
A soma de um nmero par com um nmero mpar mpar. De
fato, um dos nmeros da forma 2a e o outro 2b + 1, cuja soma
2(a + b) + 1, logo mpar.
A paridade, isto , a qualidade de ser par ou mpar, da soma de
dois nmeros s depende da paridade de cada um dos nmeros e no
dos nmeros em si.
O produto de dois nmeros pares par. De fato, os nmeros sendo
da forma 2a e 2b, temos que o seu produto 4ab e, portanto, mltiplo
de 4, logo par.
O produto de um nmero par por um nmero mpar par. De
fato, um nmero da forma 2a e um nmero da forma 2b + 1 tm um
produto igual a 2a(2b + 1), que par.
Aritmetica
2009/6/29
page 59
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.5: PAR OU MPAR? 59
O produto de dois nmeros mpares mpar. De fato, sendo os
nmeros da forma 2a +1 e 2b +1, o seu produto 2(2ab +a +b) +1,
logo mpar.
Novamente, como no caso da soma, temos que a paridade do pro-
duto de dois nmeros s depende da paridade desses nmeros e no
dos nmeros em si.
Assim, podemos decidir a paridade de uma expresso complexa
envolvendo produtos e somas de inteiros do modo a seguir.
Atribuindo o smbolo 0 aos nmeros pares e o smbolo 1 aos
nmeros mpares, as observaes acima nos fornecem as seguintes
tabelas que regem a paridade das somas e produtos dos nmeros in-
teiros.
+ 0 1
0 0 1
1 1 0
0 1
0 0 0
1 0 1
Por exemplo, se quisermos saber a paridade do nmero
20
10
11
200
+ 21
19
no ser necessrio desenvolver as contas indi-
cadas para saber se o resultado nal par ou mpar. O que fazemos
substituir na expresso acima o nmero 20 por 0, por ser par; e
os nmeros 11 e 21 por 1, por serem mpares. Obtemos, assim, a
expresso
0
10
1
200
+ 1
19
,
que operada segundo as tabelas acima nos d 1 como resultado. Por-
tanto, o nmero dado mpar.
2
2
Tente explicar por que no substitumos os expoentes 10, 200 e 19 pelos
smbolos 0 e 1, segundo a sua paridade.
Aritmetica
2009/6/29
page 60
Estilo OBMEP
_
_
_
_
_
_
_
_
O mtodo acima pode ser generalizado para controlar os restos da
diviso dos nmeros inteiros por qualquer nmero natural xado m.
Veremos na prxima seo mais um caso especial, o caso m = 3.
No prximo captulo analisaremos o caso geral. Esse mtodo foi idea-
lizado pelo matemtico alemo Carl Friedrich Gauss (1777-1855), con-
siderado o maior matemtico de todos os tempos, quando tinha perto
de 17 anos.
Problema 3.28. Mostre que o dobro de um nmero mpar par mas
nunca mltiplo de 4.
Problema 3.29. Determine a paridade do seguinte nmero:
(123 275 + 346 231)
234
+ (3 451 + 4 532)
542
.
Problema 3.30. Mostre que para todos a inteiro e n natural no
nulos, os nmeros a e a
n
tm mesma paridade.
Problema 3.31. Dado um nmero inteiro a e dados dois nmeros
naturais n e m, no nulos, mostre que so sempre pares os nmeros
a
n
+ a
m
e a
n
a
m
.
Problema 3.32. Qual a paridade da soma dos nmeros naturais
de um a 10? E de seu produto?
3.6 Zero, Um ou Dois?
Nesta seo analisaremos a aritmtica dos restos da diviso por 3.
Vamos organizar os nmeros inteiros numa tabela como segue:
Aritmetica
2009/6/29
page 61
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.6: ZERO, UM OU DOIS? 61
.
.
.
.
.
.
.
.
.
9 8 7
6 5 4
3 2 1
0 1 2
3 4 5
6 7 8
9 10 11
.
.
.
.
.
.
.
.
.
Note que os nmeros da primeira coluna so os mltiplos de 3,
ou seja, os nmeros que deixam resto nulo quando divididos por 3.
Os nmeros da segunda e da terceira coluna so, respectivamente,
aqueles que deixam resto 1 e 2 quando divididos por 3.
Fazendo uma anlise semelhante quela feita na seo anterior,
nota-se que o resto da diviso por 3 da soma ou do produto de dois
nmeros s depende da coluna ocupada por esses nmeros, ou seja s
depende dos restos da diviso desses nmeros por 3 e no dos nmeros
em si.
Assim, atribuindo o smbolo 0 aos nmeros da primeira coluna
(que so os mltiplos de 3) e os smbolos 1 e 2, respectivamente, aos
nmeros que ocupam a segunda e terceira coluna (que so os nmeros
que deixam restos 1 e 2, quando divididos por 3), obtemos as seguintes
tabelas que regem os restos da diviso por 3 das somas e produtos
dos nmeros naturais:
Aritmetica
2009/6/29
page 62
Estilo OBMEP
_
_
_
_
_
_
_
_
+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
0 1 2
0 0 0 0
1 0 1 2
2 0 2 1
Problema 3.33. Usando as tabelas acima, ache o resto da diviso
por 3 do nmero 4
100
+ 32
30
.
3.7 Mnimo Mltiplo Comum
Sabemos que todo mltiplo do mmc de dois inteiros um
mltiplo comum desses inteiros (Problema 3.8(iii)). Mostraremos no
prximo resultado que vale a recproca desse fato.
Teorema 3.1. Todo mltiplo comum de dois inteiros a e b mltiplo
de mmc(a, b).
Demonstrao. Seja m = mmc(a, b). Suponha que m
seja um mlti-
plo comum de a e b. Se m
= 0, nada temos a provar, pois 0 mltiplo

de qualquer inteiro, inclusive de m. Suponha que m
= 0, logo a = 0
e b = 0, o que mostra que m = mmc(a, b) > 0. Pelo algoritmo da
diviso euclidiana, podemos escrever
m
= mq + r, com 0 r < m.
Logo, r = m
mq e, sendo m
e mq mltiplos comuns de a e b,
segue do Problema 3.8(iv) que r mltiplo de comum de a e b. Mas
ento r = 0, pois caso contrrio teramos um mltiplo comum r de a
e b, tal que 0 < r < m, contradizendo a denio de mmc.
Aritmetica
2009/6/29
page 63
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.7: MNIMO MLTIPLO COMUM 63
O Teorema acima nos fornece a seguinte relao:
aZ bZ = mmc(a, b)Z.
Problema 3.34. Mostre que um nmero mltiplo de 6 se, e somente
se, ele simultaneamente mltiplo de 2 e de 3.
Problema 3.35. Baseado no problema anterior, d um critrio de
multiplicidade de 6, conhecendo os critrios de multiplicidade de 2 e
de 3.
Problema 3.36. Sendo n um nmero inteiro qualquer, mostre que
o nmero n(n + 1)(2n + 1) sempre mltiplo de 6.
Problema 3.37. Utilizando os critrios de multiplicidade de 3 e de
4, enuncie um critrio de multiplicidade de 12.
Problema 3.38. Enuncie critrios de multiplicidade de 15, de 20 e
de 45.
Dados trs nmeros inteiros a, b e c, no nulos, podemos nos
perguntar como calcular o seu mnimo mltiplo comum mmc(a, b, c),
ou seja, o menor elemento positivo do conjunto dos mltiplos comuns
de a, b e c.
Portanto, queremos determinar o menor elemento positivo do con-
junto
aZ bZ cZ = (aZ bZ) cZ = mmc(a, b)Z cZ.
Aritmetica
2009/6/29
page 64
Estilo OBMEP
_
_
_
_
_
_
_
_
Isto nos mostra que
mmc(a, b, c) = mmc (mmc(a, b), c) .
Assim, para calcular o mmc de trs nmeros recai-se no clculo
de dois mmc de dois nmeros.
Problema 3.39. Calcule mmc(4, 6, 9).
Voc deve ter notado que calcular o mmc de dois nmeros ainda
uma tarefa muito trabalhosa, pois o que aprendemos at o momento
foi escrever ordenadamente os mltiplos de cada um dos nmeros at
encontrarmos o menor mltiplo comum positivo. Com este mtodo,
praticamente impossvel calcular o mmc de dois nmeros quando
um deles for bastante grande. Na prxima seo nalizaremos um
mtodo muito mais eciente para se determinar o mmc, baseado no
Algoritmo do mdc de Euclides e no teorema a seguir.
Problema 3.40. Sejam a, b, d e m quatro inteiros positivos tais que
a b = m d. Mostre que m um mltiplo comum de a e b se, e
somente se, d um divisor comum de a e b.
Teorema 3.2. Sejam a e b dois inteiros positivos. Tem-se a seguinte
identidade:
mmc(a, b) mdc(a, b) = a b.
Demonstrao. Como a um mltiplo de mdc(a, b), segue que a b
mltiplo de mdc(a, b). Logo, a b = m mdc(a, b), para algum
inteiro positivo m. Pelo Problema 3.40, temos que m um mltiplo
Aritmetica
2009/6/29
page 65
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.7: MNIMO MLTIPLO COMUM 65
comum de a e b e, consequentemente, pelo Teorema 3.1 temos que
m = mmc(a, b) c, para algum c positivo. Assim,
a b = mmc(a, b) (c mdc(a, b)). (3.1)
Novamente, pelo Problema 3.40, segue que c mdc(a, b) um divisor
comum de a e b, logo sendo o mdc o maior dentre esses divisores,
segue que
c mdc(a, b) mdc(a, b). (3.2)
Como c 1, temos que
mdc(a, b) c mdc(a, b),
o que juntamente com a desigualdade (3.2) implica que c = 1. Agora,
o resultado segue da equao (3.1).
Podemos agora esclarecer o mistrio a que nos referimos na Se-
o 1.7:
O mmc de dois nmeros igual ao seu produto se, e somente se, os
dois nmeros so primos entre si.
Problema 3.41. Seja n um nmero natural no nulo. Calcule
mmc(n, 2n + 1).
Problema 3.42. Suponha que n seja um nmero natural divisvel
por a e por b. Sabendo que mdc(a, b) = 1, mostre que n divisvel
por a b.
Aritmetica
2009/6/29
page 66
Estilo OBMEP
_
_
_
_
_
_
_
_
3.8 Algoritmo do mdc de Euclides
O Lema de Euclides: Dados inteiros a e b, os divisores comuns de
a e b so os mesmos que os divisores comuns de a e b c a, para
todo nmero inteiro c xado.
Demonstrao. Se d um divisor comum de a e b, claro que d
divisor comum de a e de b c a.
Reciprocamente, suponha que d seja divisor comum de a e de
b c a. Logo, d divisor comum de b c a e de c a e, portanto,
pelo Problema 3.13(c), tem-se que d divisor de b. Assim, d divisor
comum de a e b.
Esta simples observao, que generaliza a relao do Problema
3.13(c), vai nos dar um modo prtico para calcular o mdc de dois
nmeros, mais eciente do que o utilizado na Seo 3.3.
O Lema de Euclides nos diz que os divisores de comuns de a e
b so os mesmos divisores comuns de a e b a c, logo tomando o
maior divisor comum em ambos os casos, obtemos a frmula:
mdc(a, b) = mdc(a, b a c),
o que permite ir diminuindo passo a passo a complexidade do pro-
blema, at torn-lo trivial.
Algoritmo de Euclides para o clculo do mdc
Nada melhor do que um exemplo para entender o mtodo.
Vamos calcular mdc(a, b), onde a = 162 e b = 372.
Aritmetica
2009/6/29
page 67
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.8: ALGORITMO DO MDC DE EUCLIDES 67
Pelo Lema de Euclides, sabemos que o mdc de a e b o mesmo
que o de a e de b menos um mltiplo qualquer de a. Otimizamos
os clculos ao tomarmos o menor dos nmeros da forma b menos um
mltiplo de a e isto realizado pelo algoritmo da diviso:
372 = 162 2 + 48.
Assim,
mdc(372, 162) = mdc(372 162 2, 162) = mdc(48, 162).
Apliquemos o mesmo argumento ao par a
1
= 48 e b
1
= 162:
162 = 48 3 + 18.
Assim,
mdc(372, 162) = mdc(162, 48)
= mdc(162 48 3, 48)
= mdc(18, 48).
Apliquemos novamente o mesmo argumento ao par a
2
= 18 e
b
2
= 48:
48 = 18 2 + 12.
Assim,
mdc(372, 162) = mdc(48, 18) = mdc(48 18 2, 18) = mdc(12, 18).
Aritmetica
2009/6/29
page 68
Estilo OBMEP
_
_
_
_
_
_
_
_
Novamente, o mesmo argumento para o par a
3
= 18 e b
3
= 12 nos d:
18 = 12 1 + 6.
Assim,
mdc(372, 162) = mdc(18, 12) = mdc(18 12 1, 12) = mdc(6, 12).
Finalmente, obtemos
mdc(372, 162) = mdc(12, 6) = mdc(12 6 2, 6) = mdc(0, 6) = 6.
Logo,
mdc(372, 162) = 6.
O procedimento acima pode ser sistematizado como segue:
2 3 2 1 2
372 162 48 18 12 6=mdc
48 18 12 6 0
O Algoritmo de Euclides usado de trs para frente nos d uma
informao adicional fundamental.
Das igualdades acima podemos escrever:
_
6 = 18 12 1
12 = 48 18 2
Aritmetica
2009/6/29
page 69
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.8: ALGORITMO DO MDC DE EUCLIDES 69
18 = 162 48 3
48 = 372 162 2
Donde,
_
6 = 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:
_
6
= 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) = an+b m para os seguintes pares de nmeros
a e b.
(a) a = 728 e b = 1 496 (b) a = 108 e b = 294.
Aritmetica
2009/6/29
page 70
Estilo OBMEP
_
_
_
_
_
_
_
_
3.9 Aplicaes da Relao de Bzout
Esta seo pode ser omitida sem prejuzo na primeira leitura, ex-
ceto 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 simultanea-
mente 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).
Denindo
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.
Aritmetica
2009/6/29
page 71
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.9: APLICAES DA RELAO DE BZOUT 71
Proposio 3.2. Dois nmeros inteiros a e b so primos entre si se,
e somente se, existem inteiros m e n tais que a n + b m = 1.
Demonstrao. Suponhamos que a e b sejam primos entre si, isto ,
mdc(a, b) = 1. Como, pela Relao de Bzout, existem inteiros n e m
tais que a n + b m = mdc(a, b), segue que a n + b m = 1.
Reciprocamente, se existem n e m tais que a n + b m = 1,
segue que 1 o menor elemento positivo do conjunto aZ + bZ, logo
ele o mdc de a e b. Portanto, a e b so primos entre si.
Problema 3.44. Sejam a e b dois nmeros naturais no ambos nulos
e c um terceiro nmero natural no nulo. Mostre que
mdc(c a, c b) = c mdc(a, b).
Problema 3.45. Sejam a, b e c trs nmeros naturais no nulos.
Mostre que
mmc(c a, c b) = c mmc(a, b).
Outra propriedade fundamental que decorre da Relao de Bzout
o resultado a seguir:
Proposio 3.3. Sejam a, b e c trs inteiros tais que a divide b c
e a e b so primos entre si, ento a divide c.
Demonstrao. Como a | b c, ento existe um inteiro e tal que
b c = a e. Como a e b so primos entre si, ento existem in-
teiros n e m tais que a n + b m = 1. Multiplicando esta ltima
Aritmetica
2009/6/29
page 72
Estilo OBMEP
_
_
_
_
_
_
_
_
igualdade por c obtemos
a n c + b mc = c.
Substituindo a b c por a e, temos que
c = a n c + a e m = a (n c + e m),
mostrando que a | c.
A srie de problemas a seguir nos permitir deduzir a unicidade
referida no Teorema Fundamental da Aritmtica.
Problema 3.46. Sejam a um nmero inteiro qualquer e p um nmero
primo. Mostre que uma das seguintes possibilidades acontece: p | a
ou mdc(a, p) = 1.
Problema 3.47. Sejam a e b dois inteiros e p um nmero primo.
Mostre que se p | a b, ento p | a ou p | b.
Problema 3.48. Sejam p, p
1
e p
2
trs nmeros primos. Mostre que
se p | p
1
p
2
, ento p = p
1
ou p = p
2
.
A propriedade acima pode se generalizar como segue:
Se p, p
1
, p
2
, . . . , p
r
so nmeros primos e se p | p
1
p
2
p
r
,
ento para algum ndice i tem-se que p = p
i
.
Problema 3.49. Mostre que se p
1
, . . . , p
r
e q
1
, . . . , q
s
so duas cole-
es de nmeros primos e se
p
1
p
r
= q
1
q
s
,
Aritmetica
2009/6/29
page 73
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.9: APLICAES DA RELAO DE BZOUT 73
ento r = s e reordenando q
1
, . . . q
r
, se necessrio, tem-se que
p
1
= q
1
, . . . , p
r
= q
r
.
Este ltimo problema a prova da unicidade da escrita como pro-
duto de primos de qualquer nmero natural maior do que 1, contida
no enunciado do Teorema Fundamental da Aritmtica.
Seja n um nmero natural escrito na sua decomposio em fatores
primos como
n = p
a
1
1
p
a
r
r
,
e seja n
um divisor positivo de n. Logo na decomposio de n
em
fatores primos s podem aparecer os fatores primos p
1
, . . . , p
r
, com
expoentes b
1
, . . . , b
r
, respectivamente, satisfazendo
0 b
1
a
1
, . . . , 0 b
r
a
r
. (3.3)
Note que permitimos que alguns dos b
i
sejam nulos, pois o cor-
respondente primo p
i
pode no constar da fatorao de n
.
Por exemplo, os divisores positivos de 60 = 2
2
3 5 so:
2
0
3
0
5
0
= 1, 2
0
3
1
5
0
= 3, 2
0
3
0
5
1
= 5
2
0
3
1
5
1
= 15, 2
1
3
0
5
0
= 2, 2
1
3
1
5
0
= 6,
2
1
3
0
5
1
= 10, 2
1
3
1
5
1
= 30, 2
2
3
0
5
0
= 4,
2
2
3
1
5
0
= 12, 2
2
3
0
5
1
= 20, 2
2
3
1
5
1
= 60.
O nmero de divisores de n = p
a
1
1
p
a
r
r
exatamente o
nmero de nmeros inteiros b
1
, . . . , b
r
satisfazendo s desigualdades
Aritmetica
2009/6/29
page 74
Estilo OBMEP
_
_
_
_
_
_
_
_
(3.3), logo esse nmero
(a
1
+ 1) (a
r
+ 1).
Problema 3.50. Ache os divisores positivos de 40 e de 120. Quais
so todos os divisores?
Problema 3.51. Quantos divisores positivos tem o nmero 6
3
25?
fcil determinar o mdc e o mmc de dois nmeros decompostos
em fatores primos.Por exemplo, se
a = 2
3
3
5
7
3
17 e b = 3
4
7
5
19,
temos que mdc(a, b) = 2
0
3
4
7
3
, enquanto
mmc(a, b) = 2
3
3
5
7
5
17 19.
Os nmeros a e b acima podem ser representados como produ-
tos de potncias dos mesmos primos, com o artifcio de introduzir
fatores extras da forma p
0
(= 1) para certos nmeros primos p. Mais
precisamente, podemos escrever
a = 2
3
3
5
7
3
17 19
0
e b = 2
0
3
4
7
5
17
0
19.
Problema 3.52. Ache o mdc e mmc dos nmeros a = 1 080 e b = 210.
Problema 3.53. Dados a = p
a
1
1
p
a
r
r
e b = p
b
1
1
p
b
r
r
dois nmeros decompostos em fatores primos, escritos ambos como
produtos de potncias dos mesmos primos, onde a
1
0, . . . , a
r
0 e
Aritmetica
2009/6/29
page 75
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 3.10: EQUAES DIOFANTINAS LINEARES 75
b
1
0, . . . , b
r
0, mostre que
mdc(a, b) = p
c
1
1
p
c
r
r
e mmc(a, b) = p
d
1
1
p
d
r
r
,
onde
c
i
= min{a
i
, b
i
} e d
i
= max{a
i
, b
i
}, 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 eciente o Algoritmo de Euclides.
3.10 Equaes Diofantinas Lineares
A resoluo de muitos problemas de aritmtica depende da re-
soluo 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?
Aritmetica
2009/6/29
page 76
Estilo OBMEP
_
_
_
_
_
_
_
_
Dada uma equao, as perguntas naturais que se colocam so as
seguintes:
1) Quais so as condies para que a equao possua soluo?
2) Quantas so as solues?
3) Como calcular as solues, caso existam?
Daremos a seguir respostas a essas perguntas no caso das equaes
em questo.
A primeira pergunta admite a resposta a seguir.
Teorema 3.4. A equao diofantina ax + by = c admite soluo se,
e somente se, mdc(a, b) divide c.
Demonstrao. Suponha que a equao admita uma soluo x
0
, y
0
.
Ento vale a igualdade ax
0
+ by
0
= c. Como mdc(a, b) divide a e
divide b, segue que ele divide ax
0
+ by
0
, logo divide c.
Reciprocamente, suponha que mdc(a, b) divida c, ou seja
c = mdc(a, b) d, para algum inteiro d. Por outro lado, sabemos
que existem inteiros n e m tais que
mdc(a, b) = a n + b m.
Multiplicando ambos os lados da igualdade acima por d, obtemos
c = mdc(a, b) d = a (n d) + b (md).
Logo, a equao diofantina ax + by = c admite pelo menos a
Aritmetica
2009/6/29
page 77
Estilo OBMEP
_
_
_
_
_
_
_
_
soluo
x = n d e y = md.
Problema 3.55. Diga quais so as equaes diofantinas a seguir que
possuem pelo menos uma soluo:
(a) 3x +5y = 223 (b) 5x +15y = 33 (c) 2x +16y = 2 354
(d) 3x + 12y = 312 (e) 23x + 150y = 12 354 f) 7x + 14y = 77
Problema 3.56. Mostre que se a e b so nmeros inteiros tais que
mdc(a, b) = 1, ento toda equao diofantina ax + by = c possui
soluo, independentemente do valor de c.
Problema 3.57. Para quais valores de c, onde c inteiro, a equao
30x + 42y = c admite solues inteiras?
Se a equao ax + by = c admite uma soluo, ento o nmero
d = mdc(a, b) divide c e, portanto, temos que a = a
d, b = b
d e
c = c
d, onde mdc(a
, b
) = 1 (Problema 3.17).
Assim, imediato vericar que x
0
, y
0
uma soluo da equao
ax+by = c se, e somente se, soluo da equao a
x+b
y = c
, onde
agora mdc(a
, b
) = 1.
Portanto, toda equao diofantina linear que possui soluo
equivalente a uma equao reduzida, ou seja, da forma
ax + by = c, com mdc(a, b) = 1.
Aritmetica
2009/6/29
page 78
Estilo OBMEP
_
_
_
_
_
_
_
_
O prximo resultado nos dar uma frmula para resolver a equao
diofantina linear ax + by = c, onde mdc(a, b) = 1, conhecida uma
soluo particular x
0
e y
0
da equao.
Teorema 3.5. Seja x
0
e y
0
uma soluo particular, arbitrariamente
dada, da equao ax +by = c, onde mdc(a, b) = 1. Ento as solues
da equao so da forma x = x
0
+ tb e y = y
0
ta, para t variando
em Z.
Demonstrao. Se x, y uma soluo qualquer da equao, temos que
ax + by = ax
0
+ by
0
= c,
donde
a(x x
0
) = b(y
0
y). (3.4)
Da segue que a | b(y
0
y) e b | a(x x
0
). Como mdc(a, b) = 1,
da Proposio 3.3 segue que a | (y
0
y) e b | (x x
0
). Assim,
y
0
y = ta e x x
0
= sb, (3.5)
para alguns inteiros t e s. Substituindo esse valores em (3.4), obtemos
asb = bta,
o que implica que s = t. Logo, de (3.5), temos que a soluo dada
por x = x
0
+ tb e y = y
0
ta.
Reciprocamente, se x = x
0
+ bt e y = y
0
at, substituindo esses
valores na equao ax + by = c, obtemos
Aritmetica
2009/6/29
page 79
Estilo OBMEP
_
_
_
_
_
_
_
_
a(x
0
+ bt) + b(y
0
at) = ax
0
+ by
0
+ abt bat = ax
0
+ by
0
= c.
Por exemplo, a equao 3x +5y = 50 admite a soluo particular
x
0
= 0 e y
0
= 10. Assim, a soluo geral dessa equao dada
por x = 0 + 5t e y = 10 3t. Se estivermos procura de solues
no negativas ento deveramos ter 10 3t 0, o que implica que
t = 0, 1, 2 ou 3. Assim, o Problema 3.54 admite as seguintes solues:
(a) 10 selos de 5 reais.
(b) 5 selos de 3 reais e 7 selos de 5 reais.
(c) 10 selos de 3 reais e 4 selos de 5 reais.
(d) 15 selos de 3 reais e um selo de 5 reais.
O nico verdadeiro trabalho que se tem para resolver uma equao
diofantina linear ax + by = c calcular mdc(a, b) para vericar se
divide ou no c e descobrir uma soluo particular x
0
, y
0
. O primeiro
problema se resolve utilizando o algoritmo de Euclides para o clculo
do mdc. Quanto ao segundo, o de determinar uma soluo particular
da equao, procede-se por inspeo se a e b so nmeros pequenos.
Caso a ou b seja grande, podemos usar o algoritmo de Euclides de
trs para a frente para determinar inteiros n e m tais que
an + bm = mdc(a, b) = 1,
e depois multiplicar ambos os membros da equao acima por c, ob-
Aritmetica
2009/6/29
page 80
Estilo OBMEP
_
_
_
_
_
_
_
_
tendo
a(nc) + b(mc) = c,
dando-nos a soluo particular x
0
= nc e y
0
= 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 dividi-
dos por 18 deixam resto 4 e quando divididos por 14 deixam resto 6.
Aritmetica
2009/6/29
page 81
Estilo OBMEP
_
_
_
_
_
_
_
_
Captulo 4
A Aritmtica dos Restos
4.1 Congruncias
Vamos agora introduzir a grande ideia de Gauss de desenvolver
uma aritmtica dos restos da diviso por um certo nmero xado, o
que j foi explorado nas Sees 2.2 e 2.3.
Denio. Seja dado um nmero inteiro m maior do que 1. Dire-
mos que dois nmeros inteiros a e b so congruentes mdulo m se
a e b possurem mesmo resto quando divididos por m. Neste caso,
simbolizaremos esta situao como segue:
a b mod m.
Quando a e b no so congruentes mdulo m, escreve-se
a b mod m.
81
Aritmetica
2009/6/29
page 82
Estilo OBMEP
_
_
_
_
_
_
_
_
82 CAP. 4: A ARITMTICA DOS RESTOS
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 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 = mq
1
+ r
1
e b = mq
2
+ r
2
,
onde 0 r
1
< m e 0 r
2
< m. Sem perda de generalidade, podemos
supor que r
1
r
2
(se o contrrio ocorrer, basta trocar os papis de
r
1
e r
2
). Assim, podemos escrever
b a = m(q
2
q
1
) + r
2
r
1
.
Logo, m divide b a se, e somente se, m divide r
2
r
1
. Por ser
0 r
2
r
1
< m, segue que m divide b a se e somente se r
2
r
1
= 0,
ou seja, se e somente se r
2
= r
1
.
Aritmetica
2009/6/29
page 83
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 4.1: CONGRUNCIAS 83
Problema 4.1. Verique se so verdadeiras ou falsas as seguintes
armaes:
35 27 mod 4; 72 32 mod 5; 83 72 mod 5; 78 33 mod 9.
Problema 4.2. Se a b mod 4, mostre que a b mod 2.
Problema 4.3. Mostre que 10
n
1 mod 9, para todo nmero natu-
ral n.
Sugesto: Veja o incio da Seo 2.3.
Problema 4.4. Dados a, b e c inteiros quaisquer e m um inteiro maior
do que 1, mostre as seguintes armaes:
(a) a a mod m.
(b) Se a b mod m, ento b a mod m.
(c) Se a b mod m e b c mod m, ento a c mod m.
Pela denio, as congruncias mdulo m tem tudo a ver com
os restos da diviso por m. A seguir exploramos mais a fundo esta
relao.
Segue-se, da denio de congruncia mdulo m e das proprie-
dades do problema acima, o seguinte fato:
Todo nmero inteiro a congruente mdulo m a um e somente um
dos nmeros 0, 1, . . . , m1.
De fato, os possveis restos da diviso de a por m so precisamente
os nmeros 0, 1, . . . , m 1, cujos restos da diviso por m so eles
prprios, logo dois a dois no congruentes mdulo m.
Aritmetica
2009/6/29
page 84
Estilo OBMEP
_
_
_
_
_
_
_
_
Problema 4.5. Sejam a um nmero inteiro qualquer e m um in-
teiro 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 Critrios de Multiplicidade e Restos
fcil determinar o resto da diviso de um inteiro n por 2, pois
esse 0 ou 1, dependendo de n ser par ou mpar.
Para facilitar a determinao do resto da diviso de um inteiro
n por 3 ou por 9, podemos utilizar os conhecimentos j adquiridos,
evitando o trabalho de efetuar a diviso em questo.
De fato, sabemos da Seo 2.3 que se n
r
. . . n
1
n
0
a escrita de n
no sistema decimal, ento
n (n
r
+ + n
1
+ n
0
) = (10
r
1)n
r
+ + (10 1)n
1
.
Como o segundo membro da igualdade acima divisvel por 3 e
por 9, o mesmo ocorre com o primeiro membro, logo
n (n
r
+ + n
1
+ n
0
) mod 3; e mod 9.
Assim, pela denio de congruncia, temos os seguintes fatos:
O resto da diviso por 3 (respectivamente por 9) de um nmero
n = n
r
. . . n
1
n
0
, escrito no sistema decimal, igual ao resto da diviso
por 3 (respectivamente por 9) do nmero n
r
+ + n
1
+ n
0
.
Aritmetica
2009/6/29
page 85
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 4.3: CONGRUNCIAS E SOMAS 85
Problema 4.6. Determine os restos da diviso por 3 e por 9 dos
nmeros: 3 254, 12 736, 54 827, 33 875 435, 57 612 510.
Da Seo 2.2 tambm sabemos que todo nmero n da forma
n = n
0
+ 10m, onde n
0
o algarismo das unidades de n. Assim,
n n
0
mod 5 e n n
0
mod 10. Isto acarreta que:
Os restos da diviso de n por 5 e por 10 so, respectivamente, os
restos da diviso de n
0
por 5 e por 10.
Problema 4.7. Determine os restos da diviso por 5 e por 10 dos
nmeros: 3 254, 12 736, 54 827, 33 875 435, 57 612 510.
Problema 4.8. Descreva critrios semelhantes aos estabelecidos aci-
ma para determinar os restos da diviso de um nmero por 4, 8, 25 e
125.
Problema 4.9. Determine os restos da diviso por 4, 8, 25 e 125 dos
nmeros: 3 254, 12 736, 54 827, 33 875 435, 57 612 510.
As congruncias possuem propriedades operatrias notveis que
exploraremos a seguir.
4.3 Congruncias e Somas
Proposio 4.2. Sejam a
1
, a
2
, b
1
, b
2
inteiros quaisquer e seja m um
inteiro maior do que 1. Se a
1
b
1
mod m e a
2
b
2
mod m, ento
a
1
a
2
b
1
b
2
mod m.
Demonstrao. De fato, como a
1
b
1
mod m e a
2
b
2
mod m, ento
Aritmetica
2009/6/29
page 86
Estilo OBMEP
_
_
_
_
_
_
_
_
m divide b
1
a
1
e divide b
2
a
2
. Logo
m divide (b
1
a
1
) (b
2
a
2
) = (b
1
b
2
) (a
1
a
2
),
mostrando que b
1
b
2
a
1
a
2
mod m.
Conclui-se que as congruncias de mesmo mdulo somam-se e
subtraem-se membro a membro tal qual as igualdades.
Problema 4.10. Suponha que a b mod m. Mostre que
a c b c mod m,
qualquer que seja o inteiro c.
Problema 4.11. Suponha que a c b c mod m, mostre que
a b mod m.
Considere agora dois inteiros a e b cujos restos na diviso por m
sejam respectivamente r
1
e r
2
.
Ento temos que
a r
1
mod m e b r
2
mod m.
Assim,
a + b r
1
+ r
2
mod m.
Seja r o resto da diviso de r
1
+ r
2
por m; logo
a + b r
1
+ r
2
r mod m, com 0 r < m.
Aritmetica
2009/6/29
page 87
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 4.4: CONGRUNCIAS E PRODUTOS 87
Logo, pelo Problema 4.5, o resto da diviso de a + b por m o
nmero r.
Assim, acabamos de vericar o seguinte fato:
O resto da diviso da soma a +b de dois nmeros a e b por um outro
nmero m > 1 depende apenas dos restos da diviso de a e de b por
m e no desses nmeros em si.
Esse fato generaliza o que foi dito nas Sees 3.5 e 3.6, onde os
casos m = 2 e m = 3 foram analisados.
Problema 4.12. Sejam a e b dois nmeros inteiros cujos restos da
diviso por 7 so respectivamente 6 e 2. Determine os restos da diviso
de a + b, a b e de b a por 7
Sugesto: Para o ltimo resto, observe que 4 3 mod 7.
Problema 4.13. Sem efetuar as somas e subtraes indicadas, de-
termine os restos da diviso por 2, 3, 4, 5, 8, 9, 10, 25 e 125 do nmero
3 534 785 + 87 538 9 535 832.
4.4 Congruncias e Produtos
Proposio 4.3. Sejam a
1
, a
2
, b
1
, b
2
inteiros quaisquer e seja m um
inteiro maior do que 1. Se a
1
b
1
mod m e a
2
b
2
mod m, ento
a
1
a
2
b
1
b
2
mod m.
Demonstrao. De fato, como a
1
b
1
mod m e a
2
b
2
mod m, ento
Aritmetica
2009/6/29
page 88
Estilo OBMEP
_
_
_
_
_
_
_
_
m divide a
1
b
1
e a
2
b
2
. Por outro lado, como
a
1
a
2
b
1
b
2
= a
1
(a
2
b
2
) + b
2
(a
1
b
1
),
segue que m divide a
1
a
2
b
1
b
2
, o que prova o resultado.
Conclui-se que as congruncias de mesmo mdulo multiplicam-se
membro a membro tal qual as igualdades.
Problema 4.14. Suponha que a b mod m. Mostre que
a c b c mod m,
qualquer que seja o inteiro c.
Repetidas aplicaes da Proposio 4.3 fornecem o seguinte resul-
tado:
Se a b mod m, ento a
n
b
n
mod m, para todo n natural.
Sejam a e b dois inteiros cujos restos da diviso por m sejam
respectivamente r
1
e r
2
.
Ento temos que
a r
1
mod m e b r
2
mod m.
Assim,
a b r
1
r
2
mod m.
Aritmetica
2009/6/29
page 89
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 4.4: CONGRUNCIAS E PRODUTOS 89
Seja r o resto da diviso de r
1
r
2
por m; logo
a b r
1
r
2
r mod m, com 0 r < m.
Logo, pelo Problema 4.5, o resto da diviso de a b por m o
nmero r.
Assim, acabamos de vericar que, como no caso da adio, vale
tambm seguinte fato para a multiplicao:
O resto da diviso do produto a b de dois nmeros a e b por um
outro nmero m > 1 depende apenas dos restos da diviso de a e de
b por m e no desses nmeros em si.
Isso tambm generaliza para a multiplicao o que foi dito nas
Sees 3.5 e 3.6, onde os casos m = 2 e m = 3 foram analisados.
Problema 4.15. Sejam a e b dois nmeros inteiros cujos restos da
diviso por 7 so respectivamente 6 e 2. Determine o resto da diviso
de a b por 7.
Problema 4.16. Sem efetuar as multiplicaes indicadas, determi-
ne os restos da diviso por 2, 3, 4, 5, 8, 9, 10, 25 e 125 do nmero
5 327 834
3
3 842 536
2
9 369 270 001
20
.
Note que 2 3 2 6 mod 6, mas no entanto 3 6 mod 6.
Portanto, no caso das congruncias no vale um cancelamento anlogo
ao caso da igualdade.
Problema 4.17. Sejam a, b, c e m nmeros inteiros e com
m > 1. Mostre que se a c b c mod m e se mdc(c, m) = 1, ento
a b mod m.
Aritmetica
2009/6/29
page 90
Estilo OBMEP
_
_
_
_
_
_
_
_
Sugesto: Utilize a Proposio 3.3.
4.5 Algumas Aplicaes
1. Um critrio de divisibilidade por 6
Observe inicialmente que
10 4 mod 6,
10
2
4
2
4 mod 6,
10
3
10
2
10 4 4 4 mod 6,
10
4
10
3
10 4 4 4 mod 6.
Voc tem ainda alguma dvida de que 10
i
4 mod 6, para todo
nmero natural i > 0?
Assim, se um nmero natural n escrito no sistema decimal como
n
r
. . . n
1
n
0
, temos que
n = n
0
+10n
1
+10
2
n
2
+ +10
r
n
r
n
0
+4n
1
+4n
2
+ +4n
r
mod 6.
Com isto, temos que o resto da diviso de n por 6 igual ao resto da
diviso de n
0
+ 4n
1
+ 4n
2
+ + 4n
r
por 6.
Logo, provamos que:
Um nmero n = n
r
. . . n
1
n
0
divisvel por 6 se e somente se
n
0
+ 4n
1
+ 4n
2
+ + 4n
r
divisvel por 6.
Problema 4.18. Ache o resto da diviso por 6 do nmero 3 215 529.
Aritmetica
2009/6/29
page 91
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 4.5: ALGUMAS APLICAES 91
2. Um critrio de divisibilidade por 7, 11 e 13
Note que 7 11 13 = 1 001. Logo,
1 000 1 mod 7, 1 000 1 mod 11 e 1 000 1 mod 13.
Assim, mdulo 7, 11 e 13, temos que
10
3
1,
10
6
(1)
2
1,
10
9
(1)
3
1,
10
12
(1)
4
1,
etc.
Escrevendo um nmero n na representao decimal como
n
r
. . . n
2
n
1
n
0
, temos, mdulo 7, 11 ou 13, que
n = n
0
n
1
n
2
+ n
3
n
4
n
5
10
3
+ n
6
n
7
n
8
10
6
+
n
0
n
1
n
2
n
3
n
4
n
5
+ n
6
n
7
n
8
.
Assim, o resto da diviso de n por 7,11 ou 13 igual ao resto da
diviso de n
0
n
1
n
2
n
3
n
4
n
5
+n
6
n
7
n
8
por 7, 11 ou 13, respecti-
vamente.
Desse modo, obtemos o seguinte critrio de divisibilidade por 7,
11 ou 13:
O nmero n
r
. . . n
2
n
1
n
0
divisvel por 7, 11 ou 13 se, e somente se,
o nmero n
0
n
1
n
2
n
3
n
4
n
5
+n
6
n
7
n
8
divisvel por 7, 11 ou 13,
respectivamente.
Aritmetica
2009/6/29
page 92
Estilo OBMEP
_
_
_
_
_
_
_
_
Problema 4.19. Ache o resto da diviso por 7, 11 e 13 do nmero
3 215 529.
Problema 4.20. Mostre que 10
i
(1)
i
mod 11, para todo natural
i. Deduza este outro critrio de divisibilidade por 11:
Um nmero n
r
. . . n
2
n
1
n
0
divisvel por 11 se, e somente se, o nmero
n
0
n
1
+ n
2
divisvel por 11.
3. Os restos da diviso das potncias de 2 por 7
Observe que
2
1
2 mod 7,
2
2
4 mod 7,
2
3
1 mod 7.
Dado um nmero inteiro n, pelo algoritmo da diviso, podemos
escrev-lo na forma n = 3q + r, onde r = 0, 1 ou 2.
Assim,
2
n
= 2
3q+r
= (2
3
)
q
2
r
2
r
mod 7.
Por exemplo, se n = 132 = 3 44, ento 2
132
1 mod 7, pois
r = 0.
Se n = 133 = 3 44 + 1, ento 2
133
2 mod 7, pois r = 1.
Se n = 134 = 3 44 + 2, ento 2
134
4 mod 7, pois r = 2.
Problema 4.21. Ache o resto da diviso por 7 dos seguintes nmeros:
2
5 345
, 2
3 765 839
, 2
10
10
.
Aritmetica
2009/6/29
page 93
Estilo OBMEP
_
_
_
_
_
_
_
_
Problema 4.22. Sabendo que 2
4
= 16 1 mod 17, ache o resto
da diviso de 2
30
por 17.
Problema 4.23. Determine o resto da diviso de 2
325
por 17.
4. A equao diofantina x
3
117y
3
= 5
Esta equao possui uma histria curiosa que relatada no livro
de S. Collier citado na bibliograa.
Vamos mostrar que esta equao no possui solues inteiras. De
fato, suponhamos, por absurdo, que x
0
, y
0
seja uma soluo inteira
da equao. Ento
x
3
0
5 mod 9, (4.1)
j que 117 0 mod 9.
Mas, sendo x
0
congruente a 0, 1, 2, 3, 4, 5, 6, 7 ou 8 mdulo 9, segue
por contas elementares que x
3
0
congruente a 0, 1 ou 8, mdulo 9.
Logo, a congruncia (4.1) no possui soluo, o que fornece uma con-
tradio.
Problema 4.24. Mostre que a equao diofantina
x
2
+ y
2
+ z
2
= 8w + 7
no possui solues x, y, z, w inteiros.
Sugesto: Reduza a equao mdulo 8 e mostre que
x
2
0
+ y
2
0
+ z
2
0
7 mod 8
nunca ocorre.
Aritmetica
2009/6/29
page 94
Estilo OBMEP
_
_
_
_
_
_
_
_
5. Os nmeros da forma 3
6n
2
6n
so divisveis por 35
Temos que
3
6
= 3
3
3
3
(1) (1) 1 mod 7,
2
6
= 2
3
2
3
1 1 1 mod 7.
Por outro lado,
3
6
= 3
3
3
3
2 2 1 mod 5,
2
6
= 2
3
2
3
3 3 1 mod 5.
Logo, 3
6n
2
6n
0 mod 7 e 3
6n
2
6n
0 mod 5.
Assim, 3
6n
2
6n
divisvel por 5 e por 7 e como mdc(5, 7) = 1,
segue, do Problema 3.42, que 3
6n
2
6n
divisvel por 35.
Problema 4.25. Mostre que todo nmero da forma 19
8n
1 di-
visvel por 17.
Problema 4.26. Mostre que todo nmero da forma 13
3n
+ 17
3n
divisvel por 45, quando n mpar.

6. Euler tinha razo, Fermat estava enganado!
Na Seo 2.4 nos perguntamos se o nmero 4 294 967 297 era primo
ou composto?
Aritmetica
2009/6/29
page 95
Estilo OBMEP
_
_
_
_
_
_
_
_
De fato, esse nmero corresponde a n = 5 dos chamados nmeros
de Fermat que so da forma:
F
n
= 2
2
n
+ 1.
Fermat armou que esses nmeros, para qualquer valor natural
de n, eram primos e dava como exemplos F
0
= 3, F
1
= 5, F
2
= 17,
F
3
= 257 e F
4
= 65 537, que so efetivamente primos.
No entanto, o nmero F
5
= 2
2
5
+ 1 = 4 294 967 297 era muito
grande para se poder vericar se era primo ou no.
Euler, estudando a forma dos divisores de um nmero do tipo de
F
n
, chegou concluso de que se F
5
fosse composto, ele deveria ser
divisvel pelo primo 641.
Euler, um exmio calculista, mostrou que 641 divide F
5
com uma
vericao semelhante a que segue:
1
Observemos inicialmente que 641 = 5 2
7
+ 1, logo
5 2
7
1 mod 641.
Elevando quarta potncia ambos os membros da congruncia acima,
obtemos
5
4
2
28
1 mod 641. (4.2)
Por outro lado, da igualdade 641 = 5
4
+ 2
4
(verique!), obtemos
que
5
4
2
4
mod 641. (4.3)
1
Fizemos uma adaptao do argumento de Euler, pois no seu tempo ainda no
existia a noo de congruncia.
Aritmetica
2009/6/29
page 96
Estilo OBMEP
_
_
_
_
_
_
_
_
Juntando (4.2) e (4.3), obtemos que 2
32
1 mod 641, o que
implica F
5
= 2
32
+ 1 0 mod 641, donde 641 divide F
5
. Portanto,
F
5
no primo.
4.6 Aritmtica Modular
A Aritmtica Modular foi introduzida por Gauss no seu livro
Disquisitiones Aritmeticae publicado em 1801.
Fixado um nmero inteiro m > 1, vamos associar a um nmero
inteiro a qualquer o smbolo a representando o resto da sua diviso
por m, tal qual zemos nas Sees 3.5 e 3.6, nos casos m = 2 e m = 3.
Portanto, dados dois nmeros a e b tem-se que a = b se, e somente
se, os restos da diviso de a e de b por m so iguais, ou seja,
a = b se, e somente se, a b mod m.
Sendo todos os possveis restos da diviso por m os nmeros
0, 1, 2, . . . , m 1, temos qualquer a igual a um dos seguintes:
0, 1, . . . , m1.
Nas Sees 4.3 e 4.4 observamos que os restos da diviso da soma
e do produto de dois nmeros no dependem dos nmeros em si, mas
apenas dos restos da diviso desses nmeros. Sendo assim, para achar
(a + b) e (a b) s precisamos saber como operar aditivamente e mul-
tiplicativamente com os smbolos a e b, que so justamente elementos
da forma 0, 1, . . . , m1, a exemplo do que zemos nas sees 3.5 e
3.6, nos casos m = 2 e m = 3.
Aritmetica
2009/6/29
page 97
Estilo OBMEP
_
_
_
_
_
_
_
_
SEC. 4.6: ARITMTICA MODULAR 97
Aritmtica mdulo m = 4
Para efeito de ilustrao, tomemos o caso m = 4. Neste caso, te-
mos apenas os smbolos 0, 1, 2 e 3 a considerar.
Pede-se ao leitor vericar as seguintes tabelas:
+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
0 1 2 3
0 0 0 0 0
1 0 1 2 3
2 0 2 0 2
3 0 3 2 1
Note que diferentemente da aritmtica dos nmeros inteiros, surge
um novo fenmeno: 2 = 0 e, no entanto, 2 2 = 0.
Problema 4.27. Mostre que se i = 0, 1, 2, 3, ento i = 4 i.
Problema 4.28. Determine o resto da diviso por 4 do nmero:
45 769 834
532
63 876
1 654
+ 87 987 545
1 345 874
95 973 434
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 vericar as seguintes tabelas:
Aritmetica
2009/6/29
page 98
Estilo OBMEP
_
_
_
_
_
_
_
_
+ 0 1 2 3 4
0 0 1 2 3 4
1 1 2 3 4 0
2 2 3 4 0 1
3 3 4 0 1 2
4 4 0 1 2 3
0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 3
3 0 3 1 4 2
4 0 4 3 2 1
Note que aqui volta a valer a regra: se a = 0 e b = 0, ento
a b = 0.
Problema 4.29. Mostre que se i = 0, 1, 2, 3, 4, ento i = 5 i.
Problema 4.30. Determine o resto da diviso por 5 do nmero:
45 769 834
532
63 876
1 654
+ 87 987 545
1 345 874
95 973 434
Problema 4.31. Determine as tabelas da adio e da multiplicao
para m = 6 e para m = 7. Que diferenas voc nota entre os dois
casos?
Aritmetica
2009/6/29
page 99
Estilo OBMEP
_
_
_
_
_
_
_
_
Captulo 5
Problemas Suplementares
Apresentaremos neste captulo uma lista de problemas mais de-
saadores 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 pro-
postos a seguir dizem respeito ao material exposto nos Captulos 3 e
4. Os problemas marcados com asterisco tm um grau de diculdade
maior que os demais.
Antes porm de iniciar os problemas propriamente ditos, rela-
cionamos a seguir algumas identidades muito teis na resoluo de
alguns dos problemas.
99
Aritmetica
2009/6/29
page 100
Estilo OBMEP
_
_
_
_
_
_
_
_
100 CAP. 5: PROBLEMAS SUPLEMENTARES
Expresses do tipo a
n
1, com n qualquer
a
2
1 = (a 1)(a + 1)
a
3
1 = (a 1)(a
2
+ a + 1)
a
4
1 = (a 1)(a
3
+ a
2
+ a + 1)
a
5
1 = (a 1)(a
4
+ a
3
+ a
2
+ a + 1)
Em geral,
a
n
1 = (a 1)(a
n1
+ a
n2
+ + a + 1).
Expresses do tipo a
m
1, com m par
a
2
1 = (a + 1)(a 1)
a
4
1 = (a + 1)(a
3
a
2
+ a 1)
a
6
1 = (a + 1)(a
5
a
4
+ a
3
a
2
+ a 1)
Em geral,
a
2n
1 = (a + 1)(a
2n1
a
2n2
+ + a 1).
Expresses do tipo a
m
+1, com m mpar
a
3
+ 1 = (a + 1)(a
2
a + 1)
a
5
+ 1 = (a + 1)(a
4
a
3
+ a
2
a + 1)
a
7
+ 1 = (a + 1)(a
6
a
5
+ a
4
a
3
+ a
2
a + 1)
Em geral,
a
2n+1
+ 1 = (a + 1)(a
2n
a
2n1
+ a + 1).
Aritmetica
2009/6/29
page 101
Estilo OBMEP
_
_
_
_
_
_
_
_
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 = 2
r
b, onde r N e b um nmero mpar. O nmero
2
r
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 in-
tervalo [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 n
2
1 mltiplo de 8.
Aritmetica
2009/6/29
page 102
Estilo OBMEP
_
_
_
_
_
_
_
_
(b) Mostre que se n mpar, ento n(n
2
1) mltiplo de 24.
(c) Mostre que se n no mltiplo de 2 nem de 3, ento n
2
1
mltiplo de 24. Mostre que o mesmo vale para n
2
+ 23.
S-3.8
(a) Mostre que se um nmero a no divisvel por 3, ento o resto
da diviso de a
2
por 3 1.
(b) A partir desse dado, mostre que se um inteiro da forma a
2
+ b
2
mltiplo de 3, ento a e b so ambos mltiplos de 3.
S-3.9 Mostre que se n > 1, ento o nmero n
4
+ 4 composto.
S-3.10
(a) Mostre que o nico nmero primo da forma n
3
+ 1 2.
(b) Mostre que o nico nmero primo da forma n
3
1 7.
S-3.11* Mostre que, dado n > 2, entre n e 2 3 n existe
sempre um nmero primo. (Note que esta armao bem mais fraca
do que o Postulado de Bertrand.)
S-3.12
(a) Ache o menor inteiro positivo n tal que o nmero 4n
2
+ 1 seja
divisvel por 65.
(b) Mostre que existem innitos mltiplos de 65 da forma 4n
2
+ 1.
Aritmetica
2009/6/29
page 103
Estilo OBMEP
_
_
_
_
_
_
_
_
103
(c) Mostre que se um dado nmero divide um nmero da forma
4n
2
+ 1, ele dividir uma innidade desses nmeros.
(d) Para este ltimo resultado, existe algo de especial nos nmeros
da forma 4n
2
+1?Teste o seu resultado para nmeros da forma
an
2
+ bn + c, onde a, b, c Z, com a e b no simultaneamente
nulos.
(e) Mostre que existem innitos mltiplos de 7 da forma 8n
2
+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 = a
r
a
1
a
0
mltiplo de 7 se, e somente se, o
nmero a
r
a
1
2a
0
mltiplo de 7.
(c) Utilize repetidas vezes o critrio acima para vericar se 2 368
ou no mltiplo de 7.
Um nmero inteiro n dito um quadrado se existe a Z tal que
n = a
2
. Dizemos que n uma potncia m-sima quando n = a
m
.
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.
Aritmetica
2009/6/29
page 104
Estilo OBMEP
_
_
_
_
_
_
_
_
(b) Mostre que nenhum dos nmeros 22, 222, 2 222, . . ., ou
33, 333, 3 333, . . ., ou 77, 777, 7 777, . . ., ou ainda
88, 888, 8 888, . . . pode ser um quadrado.
S-3.15
(a) Mostre que todo quadrado mpar da forma 4n + 1.
(b) Mostre que nenhum nmero na sequncia 11, 111, 1 111, 11 111
etc., um quadrado.
(c) Mostre que nenhum nmero na sequncia 44, 444, 4 444, 44 444
etc., um quadrado.
(d) Mostre que nenhum nmero na sequncia 99, 999, 9 999, 99 999
etc., um quadrado.
(e) Mostre que nenhum nmero na sequncia 55, 555, 5 555, 55 555
etc., um quadrado.
S-3.16
(a) Mostre que nenhum nmero da forma 4n + 2 um quadrado.
(b) Mostre que nenhum dos nmeros 66, 666, 6 666, . . . um
quadrado.
S-3.17
(a) Mostre que a soma de quatro inteiros consecutivos nunca um
quadrado.
Aritmetica
2009/6/29
page 105
Estilo OBMEP
_
_
_
_
_
_
_
_
105
(b) Mostre que a soma dos quadrados de quatro inteiros consecu-
tivos 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 innitos 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 4
k
n, onde n mpar se escreve
como diferena de dois quadrados.
Aritmetica
2009/6/29
page 106
Estilo OBMEP
_
_
_
_
_
_
_
_
(d) Mostre que se um nmero par diferena de dois quadrados,
ento ele mltiplo de 4.
S-3.21 Mostre que todo cubo diferena de dois quadrados, ou seja,
dado a Z, existem x, y Z tais que a
3
= x
2
y
2
.
S-3.22* Ache os nmeros n para os quais o nmero n(n + 14) seja
um quadrado.
Um nmero inteiro m = 0 dito livre de quadrados, quando no
houver nenhum nmero a = 1 tal que a
2
divide m.
Diremos que m = 0 livre de cubos quando no houver nenhum
nmero a = 1 tal que a
3
divide m.
S-3.23
(a) Mostre que m livre de quadrados se, e somente se, a decom-
posio de m em fatores primos da forma p
1
p
r
, onde
p
1
, . . . , p
r
so primos distintos.
(b) Mostre que m livre de cubos se, e somente se, a decomposio
de m em fatores primos da forma p
n
1
1
p
n
r
r
, onde p
1
, . . . , p
r
so primos distintos e n
i
2, para todo i = 1, . . . , r.
S-3.24 Qual o maior nmero de inteiros positivos consecutivos
livres de quadrados? E livres de cubos? Generalize.
S-3.25 Mostre que 5 o nico nmero primo que pertence a dois
pares distintos de primos gmeos.
Aritmetica
2009/6/29
page 107
Estilo OBMEP
_
_
_
_
_
_
_
_
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 inni-
tos nmeros n para os quais mdc(a + n, b + n) = 1.
S-3.28 Calcule mdc(n + 1, n
2
+ 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
d m, ele no admite soluo. Mostre que se d | m, o sistema sempre
admite soluo.
S-3.32 Observe que [mdc(x, y)]
2
divide xy, quaisquer que sejam
x, y Z, no nulos.
Aritmetica
2009/6/29
page 108
Estilo OBMEP
_
_
_
_
_
_
_
_
Mostre que se o seguinte sistema:
mdc(x, y) = d
xy = m
tal que d
2
m, ele no admite soluo. Mostre que se d
2
| m, o sis-
tema sempre admite soluo.
S-3.33
(a) Ache os nmeros primos da forma a
2
1.
(b) Existem primos da forma a
3
1? E a
4
1?
(c) Mostre que se a > 2 e n > 1, ento a
n
1 composto.
(d) Mostre que se n composto, ento 2
n
1 composto.
Portanto, se 2
n
1 primo, ento n primo. Nmeros primos da
forma 2
p
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.
Aritmetica
2009/6/29
page 109
Estilo OBMEP
_
_
_
_
_
_
_
_
109
(b) Mostre que qualquer nmero da forma 3n + 2 tem um fator
primo da mesma forma.
(c*) Mostre que existem innitos primos da forma 3n + 2.
(d) Existem innitos primos da forma 3n + 1, mas a prova disso
mais sutil.
S-3.36
4n + 3.
(b) Mostre que qualquer nmero da forma 4n + 3 tem um fator
(c*) Mostre que existem innitos primos da forma 4n + 3.
(d) Existem innitos 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
6n 1.
(b) Mostre que qualquer nmero da forma 6n 1 tem um fator
Aritmetica
2009/6/29
page 110
Estilo OBMEP
_
_
_
_
_
_
_
_
(c*) Mostre que existem innitos primos da forma 6n 1.
(d) Mostre que existem innitos primos da forma 6n+1 (Utilize os
Problemas S-3.37 e S-3.35 (d)).
As propriedades enunciadas nos Problemas S-3.35 (c) e (d),
S-3.36 (c) e (d) e S-3.38 (c) e (d) so casos particulares de um teorema
profundo e de difcil demonstrao do matemtico Alemo Lejeune-
Dirichlet (1805-1859), que arma que se a e b so dois nmeros primos
entre si, ento h innitos nmeros primos da forma an + b.
S-3.39 Verique caso a caso que p divide 2
p
2 para p primo e p 7.
S-3.40
(a) Mostre que em geral p divide a
p
a, para todo a Z e para
todo p primo p 7.
(b) Verique que se p no divide a, com p nas condies de (a),
ento p divide a
p1
1, para todo a Z.
(c) Ache o resto da diviso por 7 do nmero 1
6
+2
6
+3
6
+ +15
6
.
(d) Mostre que se a e b so primos com 7, ento b
6
a
6
mltiplo
de 7. Em particular, 23
6
18
6
mltiplo de 7.
Os problemas S-3.39 e S-3.40 so casos particulares de um resul-
tado geral chamado Pequeno Teorema de Fermat, cujo enunciado :
Para todo primo p e todo inteiro a tem-se que p divide a
p
a. Alm
disso, se p no divide a, ento p divide a
p1
1.
Aritmetica
2009/6/29
page 111
Estilo OBMEP
_
_
_
_
_
_
_
_
111
Para uma prova, consulte o livro Elementos de Aritmtica, Teo-
rema 7.3.1 e o seu corolrio.
S-3.41
(a) Mostre que 30 divide n
5
n.
(b) Mostre que n
5
e n tm sempre o mesmo algarismo das unidades.
(c) Mostre que o nmero
1
5
n
5
+
1
3
n
3
+
7
15
n um inteiro para todo
inteiro n.
S-3.42 Mostre que 42 divide n
7
n.
S-3.43 Utilizando o Pequeno Teorema de Fermat, enunciado acima,
mostre que se p um nmero primo, com p = 2, 5, ento p divide
innitos elementos da sequncia 9, 99, 999, 9999, . . . Mostre tambm
que p divide innitos elementos da sequncia 1, 11, 111, 1111, . . .
S-3.44 Quantos divisores positivos tem um nmero primo p? E p
n
?
E p
n
q
m
, com p e q primos distintos?
S-3.45 Ache o menor nmero natural que possui exatamente seis
divisores positivos. Faa o mesmo para 15 divisores e para 100 divi-
sores.
S-3.46 Mostre que se mdc(a, c) = 1 e mdc(b, c) = 1, ento
mdc(ab, c) = 1.
S-3.47 Mostre que
(a) mdc(a
2
, b
2
) = [mdc(a, b)]
2
. (b) mmc(a
2
, b
2
) = [mmc(a, b)]
2
.
Aritmetica
2009/6/29
page 112
Estilo OBMEP
_
_
_
_
_
_
_
_
(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 gas-
taram numa taberna 1 000 patacas. Cada homem pagou 19 patacas
e cada mulher 13. Quantos eram os homens e quantas eram as mu-
lheres?
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 xados, 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?
Aritmetica
2009/6/29
page 113
Estilo OBMEP
_
_
_
_
_
_
_
_
113
S-3.53 Em um certo pas, as cdulas so de $4 e $7. Quais das ar-
maes a seguir so verdadeiras? Com elas possvel pagar, sem tro-
co, 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 contaram-
se 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 for-
ma 4n +2. Usando este fato, mostre que a equao x
2
+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 x
2
+ y
2
= z
2
no admite nenhuma so-
luo 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 = m
2
n
2
e z = m
2
+ n
2
so solues da equao pitagrica
x
2
+ y
2
= z
2
.
Aritmetica
2009/6/29
page 114
Estilo OBMEP
_
_
_
_
_
_
_
_
Problemas sobre o Captulo 4
S-4.1
(a) Mostre que os restos da diviso de n inteiros consecutivos so
os nmeros 1, 2, . . . , n em alguma ordem.
(b) Utilizando a frmula:
1 + 2 + + n =
n(n + 1)
2
,
conclua que a soma de n inteiros consecutivos quando dividida
por n deixa resto zero se n mpar e metade de n, se n par.
(c) Ache os restos da diviso de 2 356+2 357+2 358+2 359+2 360
por 5 e de 32 141+32 142+ +32 149+32 150+32 151+32 152
por 12.
S-4.2 Mostre que, para todo n N,
(a) 7 divide 3
2n+1
+ 2
n+2
.
(b) 9 divide 10
n
+ 3 4
n+2
+ 5.
(c) 24 divide 2 7
n
+ 3 5
n
5.
(d) 35 divide 3
6n
2
6n
.
(e) 64 divide 7
2n
+ 16n 1.
Aritmetica
2009/6/29
page 115
Estilo OBMEP
_
_
_
_
_
_
_
_
115
S-4.3 Sabendo que 7
4
= 2 401, ache os ltimos dois dgitos de 7
99 999
.
S-4.4 Ache o resto da diviso de 2
1 000 000
por 77.
S-4.5 Mostre que 143
6
+ 91
10
+ 77
12
1 mltiplo de 1 001.
S-4.6 Mostre que 2 222
5 555
+ 5 555
2 222
mltiplo de 7.
S-4.7 Mostre que 19 nunca divide um nmero da forma 4n
2
+ 4.
S-4.8 Quais so os dois ltimos algarismos na representao no sis-
tema decimal do nmero 3
400
? E do nmero 2
400
?
S-4.9 Qual o algarismo da unidade na representao decimal do
nmero 9
9
9
? E do nmero 7
7
7
?
S-4.10 Ache os algarismos das centenas e das unidades na represen-
tao decimal dos nmeros 7
999 999
e 7
7
1 000
.
S-4.11 Ache o resto da diviso
(a) de 5
60
por 26. (b) de 3
100
por 34 (c) de 2
1 000 000
por 77.
S-4.12 Determine os restos da diviso por 4 dos nmeros:
(a) 1 + 2 + 2
2
+ 2
3
+ + 2
100
(b) 1
5
+ 2
5
+ 3
5
+ + 20
5
.
S-4.13 Mostre que a congruncia x
2
+ 1 0 mod 7 no possui so-
lues. Conclua que a equao x
2
6x77 = 7y no admite solues
inteiras.
S-4.14 Mostre que a equao x
2
13y
2
= 275 no admite solues
inteiras.
Aritmetica
2009/6/29
page 116
Estilo OBMEP
_
_
_
_
_
_
_
_
S-4.15 Mostre que se um nmero da forma 7n 5 mltiplo de 5,
ento o nmero 12n
2
+ 19n 19 mltiplo de 25.
S-4.16 Mostre que se um nmero da forma 2n + 1 mltiplo de 3,
ento o nmero 28n
2
13n 5 mltiplo de 9.
S-4.17 Mostre que valem as seguintes congruncias:
(a) n
13
n mod p, para p = 2, 3, 5, 7 e 13, e para todo n Z.
(b) Se mdc(n, p) = 1, mostre que n
12
1 mod p, para p = 2, 3, 5, 7
e 13.
Partes do problema acima so casos particulares do Pequeno Teo-
rema de Fermat, que pode ser reenunciado como segue:
Para todo primo p e todo inteiro a tem-se que a
p
a mod p. Alm
disso, se p no divide a, ento a
p1
1 mod p.
S-4.18 Resolva a congruncia 3x 5 mod 11.
S-4.19 Determine os inteiros que deixam restos 1, 2 e 3, quando di-
vididos respectivamente por 3, 4 e 5.
S-4.20 Mostre que nenhum nmero da forma 4n+3 pode ser escrito
como soma de dois quadrados.
Aritmetica
2009/6/29
page 117
Estilo OBMEP
_
_
_
_
_
_
_
_
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
Aritmetica
2009/6/29
page 118
Estilo OBMEP
_
_
_
_
_
_
_
_
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, . . .
Aritmetica
2009/6/29
page 119
Estilo OBMEP
_
_
_
_
_
_
_
_
119
1.24 12, 66, 24 e 9.
1.26 (a + b)
5
= a
5
+ 5a
4
b + 10a
3
b
2
+ 10a
2
b
3
+ 5ab
4
+ b
5
.
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 n
0
, onde 0 n
0
9, o algarismo das unidades de a. Escreva
a na forma 10m + n
0
, e o eleve ao quadrado.
2.16 4 = 2
2
, 6 = 2 3, 8 = 2
3
, 36 = 2
2
3
2
, 84 = 2
2
3 7,
320 = 2
6
5 e 2.597 = 7
2
53.
Aritmetica
2009/6/29
page 120
Estilo OBMEP
_
_
_
_
_
_
_
_
120
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 e b = b
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.
Aritmetica
2009/6/29
page 121
Estilo OBMEP
_
_
_
_
_
_
_
_
121
3.27 3 257 = 5 651 + 2. Logo so produzidos 651 pacotes de chi-
cletes.
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
(1 + 1)
234
+ (1 + 0)
542
= 0
234
+ 1
542
= 1,
logo mpar.
3.33 O resto da diviso por 3 se calcula como segue:
1
100
+ (2
2
)
15
= 1 + 1
15
= 1 + 1 = 2.
Portanto, o resto 2.
3.34 Um mltiplo de 6 obviamente mltiplo de 2 e de 3. Recipro-
camente, 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).
Aritmetica
2009/6/29
page 122
Estilo OBMEP
_
_
_
_
_
_
_
_
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, ab = r ad e ab = sb 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 = rd
e a = s d. Logo de a b = md, 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}.
Aritmetica
2009/6/29
page 123
Estilo OBMEP
_
_
_
_
_
_
_
_
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 | p
1
p
2
, pelo problema anterior, p | p
1
ou
p | p
2
. Como p
1
e p
2
so primos, isto acarreta que p = p
1
ou p = p
2
.
3.49 Suponhamos que p
1
p
r
= q
1
q
s
. Portanto, p
1
divide q
1
q
s
, logo p
1
igual a um dos q
i
, que aps reordenamento
podemos supor ser q
1
. Assim, p
1
p
r
= p
1
q
s
, logo
p
2
p
r
= q
2
q
s
. Continuando desse modo, se r = s,
a demonstrao est completa. Suponhamos s > r (o outro caso
semelhante) temos que 1 = q
r+1
q
s
, o que no possvel.
Aritmetica
2009/6/29
page 124
Estilo OBMEP
_
_
_
_
_
_
_
_
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 = 2
3
3
3
5 7
0
e 210 = 2 3 5 7, temos que
mdc(1 080, 210) = 2 3 5 e mmc(1 080, 210) = 2
3
3
3
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
x
0
= 20 e y
0
= 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
x
0
= 2 e y
0
= 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
Aritmetica
2009/6/29
page 125
Estilo OBMEP
_
_
_
_
_
_
_
_
125
9x 7y = 1. Uma soluo particular x
0
= 3 e y
0
= 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.
4.3 J vimos que 10
n
1 = 99 9, logo 9 divide 10
n
1, donde
segue o resultado.
4.6 3 254 deixa resto 2 e 5, quando dividido por 3 e 9, respectiva-
mente. 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 Os restos da diviso por 3 de 5 345, 3 765 839 e 10
10
so,
Aritmetica
2009/6/29
page 126
Estilo OBMEP
_
_
_
_
_
_
_
_
126
respectivamente, 2, 2 e 1, logo 2
5 345
2
2
mod 7, 2
3 765 839
2
2
mod 7
e 2
10
10
2 mod 7.
4.22 Temos que 30 = 4 7 + 2, logo
2
30
= (2
4
)
7
2
2
(1)
7
4 3 mod 17.
Logo o resto da diviso 3.
4.23 Temos que 325 = 4 81 + 1, logo 2
325
2 15 mod 17.
4.25 19 2 mod 17, logo 19
4n
= (19
4
)
2n
(1)
2n
= 1 mod 17.
Assim, 19
4n
1 divisvel por 17.
4.26 Observe que se tem
13
3
= 2 197 37 8 mod 45,
e que
17
3
= 4 913 8 mod 45,
dos quais o resultado segue.
4.28 O resto 3.
4.30 O resto 2.
Aritmetica
2009/6/29
page 127
Estilo OBMEP
_
_
_
_
_
_
_
_
Para Aprender Mais
COUTINHO, S. C. Nmeros Inteiros e Criptograa RSA. Rio de
Janeiro: IMPA, [s.d.]. (Srie de Computao e Matemtica.)
HEFEZ, A. Elementos de Aritmtica. [S.l.: s.n., s.d.] (Srie Textos
Universitrios, Sociedade Brasileira de Matemtica.)
HEFEZ, A. Induo Matemtica. Em http://www.obmep.org.br
127

Apostila1 Aritmetica PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila1 Aritmetica PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Aritmetica

so mltiplos de a, ento m+m

mltiplo de a e m mltiplo de a, ento

so mltiplos comuns de a e b, ento m+m

so tambm mltiplos comuns de a e b.

so mltiplos comuns de a e b, ento e m+f m

mltiplo comum de a e b e m mltiplo

so os dois nmeros naturais tais que

d, mostre que mdc(a

= 0, nada temos a provar, pois 0 mltiplo

um divisor positivo de n. Logo na decomposio de n

divisvel por 45, quando n mpar.

seria um divisor comum de a e b maior do que d, absurdo.

Você também pode gostar