PROFMAT - Iniciação À Matemática - Unidade2 PDF

Mestrado Profissional
em Matemtica em Rede Nacional
Iniciao Matemtica
Autores:
Krerley Oliveira Adn J. Corcho
Unidade II:
Captulos III e IV
3
Divisibilidade
Os nmeros governam o mundo.
Plato
A teoria dos nmeros o ramo da Matemtica que estuda os mis-
trios dos nmeros e teve sua origem na antiga Grcia. Os belssimos
problemas ligados a esta rea constituem, at hoje, uma das princi-
pais fontes inspiradoras dos amantes da Matemtica. Alm disso, essa
rea possui vrias aplicaes teis a humanidade, como por exemplo,
o processo de criptograa usado em transaes pela Internet.
Alguns problemas em teoria dos nmeros demoram sculos para
serem resolvidos, como por exemplo o ltimo teorema de Fermat, que

arma que no existe nenhum conjunto de inteiros positivos x, y, z e n
com n maior que 2 que satisfaa xn + y n = z n . Esse problema foi ob-

jeto de fervorosas pesquisas durante mais de 300 anos e foi nalmente
demonstrado em 1995 pelo matemtico Andrew Wiles.
Ainda hoje persistem muitas questes naturais e simples sem res-
posta. Por exemplo, ningum sabe mostrar (apesar de todo mundo
89
90 3 Divisibilidade
acreditar que verdade!) todo natural par soma de dois pri-

que
mos. Essa a famosa conjectura de Goldbach. Essa simplicidade de se

anunciar problemas e a extrema diculdade em resolv-los faz desta
rea um grande atrativo para os matemticos do mundo todo.
Este captulo ser dedicado ao estudo de algumas propriedades
bsicas relativas aos nmeros inteiros.
3.1 Conceitos Fundamentais e Diviso Eu-
clidiana
Denotamos por Z o conjunto dos nmeros inteiros formado pelo con-
junto dos nmeros naturais N = {1, 2, 3, . . .} munido do zero e dos
nmeros negativos. Ou seja, Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.

Comeamos observando que a soma, diferena e produto de nme-
ros inteiros tambm sero nmeros inteiros. Entretanto, o quociente
de dois inteiros pode ser um inteiro ou no.
Uma das propriedades fundamentais dos nmeros naturais que uti-
lizaremos ao longo do texto o conhecido princpio da boa ordenao,

que arma o seguinte:
Princpio da Boa Ordenao: todo subconjunto no vazio A N

possui um elemento menor que todos os outros elementos deste, ou
seja, existe a A tal que a n para todo n A.
Por exemplo, se A o conjunto dos nmeros pares, o menor ele-
mento de A o nmero 2. Por outro lado, observamos que o conjunto
dos nmeros inteiros no goza da boa ordenao.
Apesar do princpio da boa ordenao parecer inocente e natural,
muitos resultados importantes a respeito dos nmeros naturais decor-

3.1 Conceitos Fundamentais e Diviso Euclidiana 91
rem do mesmo, como veremos ao longo de todo este captulo.
Denio 3.1. Sejam a e b inteiros. Dizemos que a divide b se existe

um inteiro q tal que b = aq . Tambm usaremos as frases a divisor
de b ou b mltiplo de a para signicar esta situao.
Usaremos a notao a | b para representar todas as frases equi-
valentes ditas anteriormente. Se a no for divisor de b, ento escre-
veremos a - b.
Exemplo 3.2. 7 | 21 pois 21 = 7 3. Por outro lado 3 - 8 pois

considerando o conjunto M = {3m, m N} = {3, 6, 9, 12, . . .} dos
mltiplos positivos de 3 vemos que 8 no pertence ao mesmo.
A seguinte proposio um bom exerccio para entender os con-
ceitos enunciados acima.
Proposio 3.3. Sejam a, b e c nmeros inteiros. Ento,

(a) se a | b e b | c ento a | c;
(b) se a | b e a | c ento a | (b + c) e a | (b c);
(c) se a e b so positivos e a | b ento 0 < a b;
(d) se a | b e b | a ento a = b ou a = b.
Demonstrao. Se a|b e b|c ento existem inteiros q1 e q2 tais que
b = aq1 (3.1)
c = bq2 . (3.2)
92 3 Divisibilidade
Substituindo (3.1) em (3.2) temos que
c = aq1 q2 = aq, onde q = q1 q2 Z, (3.3)
provando isto a armao feita em (a).
Agora provaremos (b). Com efeito, se a | b e a | c valem as
igualdades
b = aq1 , q1 Z (3.4)
c = aq2 , q2 Z. (3.5)
Operando com os ambos lados das igualdades (3.4) e (3.5) temos que
b + c = a(q1 + q2 ) e b c = a(q1 q2 ),
| {z } | {z }
rZ sZ
obtendo assim o resultado desejado.
Continuamos agora com a prova de (c). De fato, se a | b, sendo
ambos positivos, ento b = aq com
q 1. (3.6)
Logo, multiplicando por a ambos lados de (3.6) temos (como a posi-

tivo) que
b = aq a > 0,
como espervamos.
Finalmente, provaremos (d). Com este propsito observamos que
se a|b e b|a |a| divide |b| e |b| divide |a|. Portanto, pelo item
ento
(c) temos que |a| |b| e |b| |a|, ou seja, |a| |b| |a|. Logo,
|a| = |b| e consequentemente a = b ou a = b.

Exemplo 3.4. Prove que o nmero N = 545362 7 no divisvel por

5.
Soluo. Vamos mostrar isso utilizando o mtodo do absurdo. Se

45362
este nmero fosse divisvel por 5, ento 5 7 = 5q . Logo, 7 =
45362
5 5q , ou seja, 7 seria divisvel por 5, o que um absurdo.
O prximo passo de nossa discusso ver o que acontece quando
um nmero no divisvel por outro. Por exemplo, analisemos se 31
divisvel por 7 e para isto listaremos a diferena entre 31 e os mltiplos
positivos de 7, isto :
r1 = 31 7 1 = 24,
r2 = 31 7 2 = 17,
r3 = 31 7 3 = 10,
r4 = 31 7 4 = 3,
r5 = 31 7 5 = 4,
r6 = 31 7 6 = 11,
.
.
.
Claramente 31 no divisvel por 7, pois caso contrrio teramos
que alguma das diferenas acima seria igual a zero, o que impossvel
pois as diferenas rq = 31 7q com 1 q 4 so todas positivas
e com q 5 so todas negativas. Entretanto, notamos que entre as
diferenas positivas a nica que menor que 7 corresponde ao caso
q = 4. O resultado seguinte nos diz o que acontece no caso geral da
diviso de um inteiro b por um inteiro positivo a.

94 3 Divisibilidade
Teorema 3.5 (Diviso Euclidiana) . Dados dois inteiros a e b, sendo

a positivo, existem nicos inteiros q e r tais que
b = aq + r, 0 r < a.
Se a - b, ento r satisfaz a desigualdade estrita 0 < r < a.

Demonstrao. Por simplicidade, suporemos que b positivo. Se b<
a, basta tomar q=0 e r = b.
b = a, ento tomamos q = 1 e
Se r = 0.
Assim, assumiremos tambm que b > a > 0. Consideremos o conjunto
R = {b aq Z; b aq 0} N {0} (3.7)
Notemos que o conjunto R no vazio, pois b a R, j que
b a > 0. Deste modo, pelo princpio da boa ordenao temos que

R admite um menor elemento, que denotaremos por r. Claramente
r = b aq 0, para algum q 0. Alm disso, r < a pois caso
contrrio
r = b aq a b a(q + 1) 0. (3.8)
Por outro lado,
a > 0 b a(q + 1) < b aq. (3.9)
Das desigualdades (3.8) e (3.9) segue que
0 b a(q + 1) < b aq,
contradizendo o fato de que r = baq o menor elemento no negativo

de R.
Agora provaremos que de fato r e q, escolhidos desta forma, so
nicos. Com efeito, suponhamos que existem outros inteiros r1 e q1

tais que
b = aq1 + r1 , 0 r1 < a.
Ento resulta que aq + r = aq1 + r1 . Logo,
(r r1 ) = (q1 q)a; (3.10)
sendo assim, rr1 mltiplo de a. Mas, em virtude de a < rr1 < a,

o nico valor que r r1 pode tomar, sendo este mltiplo de a,
r r1 = 0. Portanto, r = r1 , de onde se deduz diretamente de (3.10)

que q = q1 .
Os nmeros q e r no enunciado do teorema acima so chamados,
respectivamente, de quociente e resto da diviso de b por a.

Um resultado imediato da diviso euclidiana o seguinte.
Corolrio 3.6. Dados dois nmeros naturais a e b com 1 < a b,

existe um nmero natural n tal que
na b < (n + 1)a.
Demonstrao. Pela diviso euclidiana, existem nicos q, r N com
0r<a tais que b = aq + r. Assim
aq b = aq + r < aq + a = a(q + 1).
Basta agora tomar q=n para obtermos o resultado.
Os exemplos a seguir apresentam a utilidade do Teorema 3.5.
Exemplo 3.7. Se a um natural com a 3, ento a2 deixa resto 1

na diviso por a 1. Consequentemente, a 1 divide a2 1.
Soluo. Usando a identidade a2 1 = (a 1)(a + 1) temos que

a2 = (a 1)(a + 1) + 1 com 1 < a 1, de onde segue o resultado.
96 3 Divisibilidade
O prximo exemplo, como veremos, motiva a procura de cami-
nhos ecientes para encontrar o resto que deixa um nmero quando
dividido por outro.
Exemplo 3.8. Um turista brasileiro chega a Cuba e troca parte de

seu dinheiro na casa de cmbio, recebendo 175 notas de 50 pesos e
213 notas de 20 pesos. Ele decide trocar este dinheiro pela maior
quantidade possvel das famosas moedas de 3 pesos cubanos, porque
elas tm gravada a imagem do guerrilheiro Che Guevara. Quanto
sobrou do dinheiro depois de fazer a troca pelas moedas?
Soluo. Para resolver este problema basta achar o resto que deixa o
nmero n = 175 50 + 213 20 quando dividido por 3. Entretanto,
queremos destacar que no preciso fazer os produtos e a soma envol-
vidos no nmero n. Em lugar de fazer isto substitumos cada nmero
que aparece em n pelo resto que este deixa na diviso por 3, formando
assim um novo nmero n1 , ou seja,
n1 = 1 2 + 0 2 = 2.
Agora procuramos o resto que n1 deixa na diviso por 3, que obvi-
amente 2. A surpresa que este resto o mesmo que deixa n na
diviso por 3. Logo, sobraram 2 pesos depois de fazer a troca.
A soluo do exemplo anterior uma aplicao particular do se-
guinte lema que de muita utilidade na resoluo de problemas.
Lema 3.9 (Lema dos Restos). A soma e o produto de quaisquer dois

nmeros naturais deixa o mesmo resto que a soma e o produto dos
seus restos, na diviso por um inteiro positivo a.
Demonstrao. Sejam n1 , n2 Z. Fazendo a diviso com resto de
ambos os nmeros por a temos que
n1 = aq1 + r1 e n2 = aq2 + r2 ,
com 0 r1 , r2 < a. Ento,
n1 n2 = (aq1 + r1 )(aq2 + r2 )
= a2 q1 q2 + aq1 r2 + aq2 r1 + r1 r2
(3.11)
= a(aq1 q2 + q1 r2 + q2 r1 ) + r1 r2
= aq + r1 r2 ,
onde q = aq1 q2 +q1 r2 +q2 r1 . Agora dividimos r1 r2 por a para obtermos
r1 r2 = ap + r, p Z, 0 r < a. (3.12)
Das igualdades (3.11) e (3.12) segue que
n1 n2 = aq + ap + r = a(p + q) + r, 0 r < a. (3.13)
Portanto, de (3.12) e (3.13) conclumos que os restos que deixam n1 n2

e r1 r2 na diviso por a so iguais, cando provado o resultado para o
produto. A prova para a soma anloga.
Observao 3.10. A vantagem do lema que em certos problemas

que envolvem nmeros muito grandes podemos substituir estes por n-
meros muito menores e mais confortveis para trabalhar.
Vejamos como aplicar o lema dos restos nos seguintes exemplos a
seguir.
Exemplo 3.11. Prove que o produto de dois nmeros naturais con-

secutivos sempre divisvel por 2.
98 3 Divisibilidade
Soluo. Se n N temos que provar que an = n(n + 1) divisvel por
2. Quando fazemos a diviso de n por 2 temos duas possibilidades
para o resto: r=0 ou r = 1. Analisemos os dois casos por separado.
[r = 0] Neste caso o resto que deixa an na diviso por 2 o
mesmo que o resto que deixa 0(0+1)=0, logo an divisvel por
2.
[r = 1] Neste caso podemos substituir an por 1(1+1)=2 e o
resto que este ltimo deixa quando dividido por 2 0, logo an

tambm divisvel por 2.
Mostraremos agora como utilizar o exemplo anterior pra resolver
um dos problemas da 1a Olimpada Brasileira de Matemtica.
Exemplo 3.12. Prove que se n mpar, ento n2 1 mltiplo de

8.
Soluo. Como n mpar, podemos escrever n = 2m + 1, para algum
k Z. Logo
n2 1 = (2m + 1)2 1 = 4m2 + 4m + 1 1 = 4m2 + 4m.
Assim,
n2 1 = 4m(m + 1).
Observe que de acordo com o exemplo 3.11, m(m + 1) mltiplo de
2. Portanto, m(m + 1) = 2q para algum q Z, de aonde
n2 1 = 4m(m + 1) = 4 2q = 8q,
como queramos demonstrar.

3.2 Bases Numricas 99
Exemplo 3.13. Prove que em qualquer tringulo retngulo com lados

inteiros, pelo menos um deles mltiplo de 3.
Soluo. Comecemos analisando quais so os restos possveis para a
diviso por 3 de um nmero que quadrado. De acordo com o lema
dos restos temos a seguinte tabela para os restos de n e n2 , na diviso
por 3:
n n2
0 0
1 1
2 1
Resumindo, se um nmero no mltiplo de 3 ento o resto da diviso
de seu quadrado por 3 deve ser igual a 1.
Agora denotemos por a e b os catetos e por c a hipotenusa. Supo-
nhamos que nenhum deles divisvel por 3. Ento a2 e b2 deixam resto

1 na diviso por 3. Logo, a2 + b 2 deixa resto 12 + 12 = 2 na diviso
por 3; mas isto uma contradio pois, pelo Teorema de Pitgoras,
a2 + b 2 = c 2 e c2 deixa resto 1 quando dividido por 3.
3.2 Bases Numricas
Comeamos esta seo com uma brincadeira interessante.
Joo, ao sair da aula de matemtica do professor Peitgoras, en-
controu Pedro e lhe props a seguinte brincadeira:
Pense numa pea de domin, Pedro. Vou adivinhar que pea
essa usando uma frmula mgica.
Ok, Joo. Pode comear, j pensei.

100 3 Divisibilidade
x y
Figura 3.1: Pea de Domin
- Escolha um dos nmeros na pea e multiplique por 5. Depois
disso some trs a esse resultado. Multiplique agora o nmero que voc
obteve por dois. Some isto com o outro nmero da pea. Qual foi o
resultado?
Foi 40.
Ento a pea que voc escolheu foi a 3 com 4!
Como voc acertou? Me ensina!
Claro que de mgico Joo no tinha nada e decidiu contar seu
segredo a Pedro.
O jogo funciona assim: cada parte da pea de domin pode ser
considerada como um dos dgitos de um nmero de 2 algarismos, o qual
denotamos por n = xy = 10x + y (veja a Figura 3.1). Acompanhando
os passos de Joo, temos que:
(5x + 3)2 + y = 40 10x + y = 34, (3.14)
que claramente, tem por solues: x=3 e y = 4, usando a represen-
tao de 34 na base decimal.
No sistema de numerao decimal, tambm conhecido como sis-
tema numrico na base 10, todo nmero pode ser representado como
uma sequncia de 10 smbolos, constitudos pelo 0 (zero) e os alga-
rismos 1, 2, 3, . . . , 9. Por exemplo, 345 escreve-se na base decimal da

seguinte forma
345 = 300 + 40 + 5 = 3 102 + 4 10 + 5,
assim como 2768 se escreve da forma
2768 = 2000 + 700 + 60 + 8 = 2 103 + 7 102 + 6 10 + 8.
De modo geral, se denotamos por a = an an1 . . . a1 a0 o nmero inteiro

positivo formado pelos algarismos an , an1 , . . . , a1 e a0 , nessa ordem,
ento a se escreve na base decimal da forma
a = an 10n + an1 10n1 + . . . + a1 10 + a0 (3.15)
Antes de provar alguns dos critrios de divisibilidade mais po-
pulares do sistema de numerao decimal, provamos uma identidade
muito til.
Lema 3.14. Sejam a, b, n N. Temos que
an bn = (a b)(an1 + an2 b + + abn2 + bn1 ).
Consequentemente, se 0 < b < a, ento a b divide an bn .
Demonstrao. Primeiro provaremos que a propriedade vale para b=

1. Com efeito, considerando a soma geomtrica
s = 1 + a + a2 + + an1
e multiplicando s por a temos que
as = (a + a2 + + an1 ) + an = s 1 + an .
Assim, (a 1)s = as s = an 1, de onde se segue que
an 1 = (a 1)(an1 + an2 + + a + 1). (3.16)
Da temos a validade para b = 1.

an bn = bn ( ab )n 1 .

Para bN qualquer, observe que Usando
esta expresso e (3.16) tem-se
an bn = bn ( ab 1) ( ab )n1 + ( ab )n2 + + ( ab ) + 1

= (a b)bn1 ( ab )n1 + ( ab )n2 + + ( ab ) + 1

(3.17)
= (a b)(an1 + an2 b + + abn2 + bn1 ),

obtendo-se a igualdade clamada.
Proposio 3.15 (Critrios de Divisibilidade) . Seja a = an . . . a1 a0

um inteiro positivo, ento
(a) a divisvel por 10 se, e somente se, a0 for igual a 0;
(b) a divisvel por 3 ou por 9 se, e somente se, a soma dos seus
dgitos divisvel por 3 ou por 9, respectivamente;
(c) a divisvel por 5 se, e somente se, a0 for igual a 0 ou 5.
Demonstrao. Utilizando a representao decimal (3.15) temos que
a = 10(an 10n1 + an1 10n2 + + a1 ) + a0 .
Ento, pela Proposio 3.3-(b) tem-se que 10 | a se, e somente se,
10 | a0 , prondose-se assim o critrio (a).
Para provar (b) observemos que
a = an 10n + an1 10n1 + + 10a1 + a0

= an (10n 1) + an1 (10n1 1) + + (10 1)a1 (3.18)
+ an + an1 + + a1 + a0 .
Pelo Lema 3.14 temos que 10j 1 = 9qj para todo 1 j n, da
segue-se
a = 9(an qn + an1 qn1 + + a1 ) + an + an1 + + a1 + a0 .
Ento, aplicando novamente o item (b) da Proposio 3.3 temos que
9|a se, e somente se, 9 | (an + an1 + + a1 + a0 ).
A prova para o caso da divisibilidade por 3 segue de maneira idntica,
logo ca provado o item (b).
A prova do item (c) segue de maneira muito semelhante e deixamos
a mesma a cargo do leitor.
Exemplo 3.16. Prove sem fazer muitas contas que o nmero
N = 13424136 + 1234567890
divisvel por 3.
Soluo. Note que no precisamos fazer a soma dos nmeros ante-
riores. Para mostrar isso, basta aplicar o item (b) da Proposio 3.3 e
o item (b) da Proposio 3.15, observando que cada um dos nmeros
acima divisvel por 3, pois a soma de seus dgitos um mltiplo de
3.
Finalizamos esta seo com uma aplicao da diviso euclidiana
que nos mostra que, analogamente representao decimal, qualquer
nmero admite uma representao nica em qualquer outra base nu-
mrica.
Teorema 3.17 (Bases Numricas) . Dados a, b N, com b > 1, exis-

tem nicos nmeros naturais r0 , r1 , . . . , rn tais que 0 ri b 1,
0 i n, e satisfazendo
a = rn bn + rn1 bn1 + + r1 b + r0 .
A representao acima dita representao de a na base b e usaremos

a notao
a = (rn cn1 . . . r1 r0 )b ,
para fazer referncia a esta.
Demonstrao. Apliquemos sucessivamente a diviso euclidiana como
segue:
a = bq0 + r0 , r0 < b,
q0 = bq1 + r1 , r1 < b,
q1 = bq2 + r2 , r2 < b,
. . . .
. . . .
. . . .
qj1 = bqj + rj , rj < b,
e assim por diante. Como a > q0 > q1 > q2 > > qj1 , para algum
j = n deveremos ter que qn1 < b. Logo, qj = 0 para todo j n,
assim como rj = 0 para todo j n + 1. Das igualdades acima, para
1 j n, tem-se
a = bq0 + r0 ,
bq0 = b2 q1 + br1 ,
b2 q1 = b3 q2 + b2 r2 ,
(3.19)
. . .
. . .
. . .
bn1 qn2 = bn qn + bn1 rn1

bn qn1 = bn+1 0 + bn rn .
Efetuando a soma de todas as igualdades em (3.19) obtemos
a = rn bn + rn1 bn1 + + r1 b + r0 .
A unicidade dos nmeros ri vem da unicidade dos restos na diviso
euclidiana.
Observao 3.18. O sistema de numerao na base 2 tambm co-

nhecido como sistema binrio e o sistema habitualmente utilizado no
funcionamento dos computadores.
Exemplo 3.19. Se deseja pesar qualquer nmero inteiro de gramas de

ouro, entre 1g e 100g , numa balana de dois pratos, onde os pesos s
podem ser usados no prato esquerdo da balana. Mostre que a escolha
adequada de 7 pesos diferentes suciente para realizar esta tarefa.
Demonstrao. Usando o sistema de numerao em base 2 temos que
qualquer nmero a tal que 1 a 100 pode ser expressado de forma
nica como
a = r6 26 + r5 25 + r4 24 + r3 23 + r2 22 + r1 2 + r0 1,
com ri {0, 1}, 0 i 1. Observe que 2n 128, com n 7, logo
estas potncias no so consideradas. notemos tambm que o fato de
cada ri ser 0 ou 1 nos diz que no precisamos repetir nenhum dos
pesos na realizao de qualquer pesada. Logo, os pesos
1, 22 , 23 , 24 , 25 , 26
so sucientes para realizar as pesadas de gramas de ouro entre 1g e
100g .
3.3 Mximo Divisor Comum e Mnimo Ml-
tiplo Comum
Nesta seo estudaremos dois conceitos fundamentais, que aparecem
naturalmente em vrios problemas de divisibilidade, assim como a
relao existente entre eles.
3.3.1 Mximo Divisor Comum
O primeiro destes conceitos est relacionado com os inteiros positivos
que dividem simultaneamente a dois inteiros prexados e denomi-
nado mximo divisor comum.

Daqui por diante s consideraremos os divisores positivos dos n-
meros.
Denio 3.20 (Mximo Divisor Comum). Sejam a e b inteiros dife-

rentes de zero. O mximo divisor comum, resumidamente mdc, entre
a e b o nmero d que satisfaz as seguintes condies:
(a) d um divisor comum de a e b, isto , d | a e d | b;

3.3 Mximo Divisor Comum e Mnimo Mltiplo Comum 107
(b) d o maior inteiro positivo com a propriedade (a).

Neste caso, denotamos o mdc entre a e b por d = mdc(a, b) ou por
d = (a, b). Se (a, b) = 1, ento dizemos que a e b so primos entre si.
Exemplo 3.21. Observando que 12 = 6 2, 18 = 6 3 temos que

mdc.(12, 18) = 6. Por outro lado, mdc.(4, 15) = 1, logo os nmeros 4
e 15 so primos entre si.
Vejamos agora algumas das propriedades mais importantes dos
divisores comuns de dois inteiros.
Proposio 3.22. Sejam a e b dois inteiros. Ento valem as seguintes

armaes.
(a) Se a mltiplo de b, ento (a, b) = b.
(b) Se a = bq + c, c 6= 0, ento o conjunto dos divisores comuns dos

nmeros a e b coincide com o conjunto dos divisores comuns dos
nmeros b e c. Particularmente, (a, b) = (b, c).
Demonstrao. Comeamos com a prova de (a). Com efeito, todo
divisor comum dos nmeros a e b um divisor de b. Reciprocamente,

usando que a mltiplo de b, todo divisor de b tambm um divisor
de a, ou seja, um divisor comum dos nmeros a e b. Portanto, o
conjunto dos divisores comuns dos nmeros a e b igual ao conjunto
dos divisores de b. Como o maior divisor de b ele mesmo, resulta que
(a, b) = b.
Vejamos (b). Usando o item (b) da Proposio 3.3 temos que
todo divisor comum de a e b tambm divide c e, consequentemente,
um divisor deb e c. Pela mesma razo todo divisor comum de b e c

tambm divide a e, consequentemente, um divisor de a e b. Portanto
os divisores comuns de a e b so os mesmos que os divisores comuns
de b e c. Particularmente, tambm coincidem os maiores divisores
comuns, ou seja, (a, b) = (b, c).
O teorema a seguir uma das ferramentas bsicas na resoluo
de problemas que envolvem o mdc entre dois nmeros. O resultado
foi provado pela primeira vez por Claude-Gaspard Bachet de Mziriac
(1581-1638) e mais tarde generalizado para polinmios por tienne
Bzout (1730-1783). Frequentemente, na literatura se enuncia este
resultado como teorema (ou identidade) de Bzout, esquecendo-se o
nome de Bachet.
Teorema 3.23 (Teorema de Bachet-Bzout). Se d o mdc de a e b,

ento existem nmeros inteiros x0 e y0 tais que d = (a, b) = ax0 + by0 .
Demonstrao. Considere a combinao linear ax + by , onde x e y

percorrem todos os inteiros. Este conjunto de inteiros, denotado por
Ca,b = {ax + by; x, y Z},
inclui valores positivos e negativos. Alm disso, escolhendo x = y = 0,

vemos que Ca,b tambm contm o zero.
Pelo princpio da boa ordenao, podemos escolher x0 e y0 tais que
= ax0 +by0 seja o menor nmero inteiro positivo contido no conjunto

Ca,b .
Agora mostraremos que |a e | b. Provaremos que |a e o
outro segue analogamente. Usaremos para este propsito o mtodo de
reduo ao absurdo, ou seja, vamos supor que -a e obteremos uma
contradio.
Usando a diviso euclidiana, de - a segue que existem inteiros q

e r tais que a = q + r com 0 < r < . Portanto,
r = a q = a q(ax0 + by0 ) = a(1 qx0 ) + b(qy0 )
e assim r est no conjunto Ca,b , o que contradiz a hiptese de ser o
menor elemento positivo contido em Ca,b .

Uma vez que divide a e b s resta provar que = d. Com efeito,
desde que d = (a, b), podemos escrever a = da1 , b = db1 e
= ax0 + by0 = d(a1 x0 + b1 y0 ).
Assim d | . Logo pela parte (c) da Proposio 3.3, conclumos que
d . Agora d < impossvel pois d = mdc(a, b), e portanto
d = = ax0 + by0 .
A seguinte proposio resume algumas consequncias importantes
da demonstrao dada ao teorema de Bzout.
Proposio 3.24. Sejam d, N e a, b, c Z. Ento valem as

seguintes armaes:
(a) Se d | a e d | b, ento d | (a, b).
(b) O mdc.(a, b) o menor valor positivo de ax + by , onde x e y

percorrem todos os nmeros inteiros.
(c) (a, b) = (a, b).
(d) Se d | a e d | b, ento ( ad , db ) = d1 (a, b). Consequentemente,

a b
, = 1.
(a, b) (a, b)
(e) Se (a, c) = (b, c) = 1, ento (ab, c) = 1.
(f) Se c | ab e (b, c) = 1, ento c | a.
Demonstrao. A prova de (a) consequncia imediata da igualdade
(a, b) = ax0 + by0 anunciada no teorema de Bzout; assim como (b)
segue diretamente da demonstrao dada a este teorema.
Para provar (c), primeiro observamos que
(a)x + (b)y = (ax + by) onde x, y Z.
Usando o item (a) e o fato de ser positivo, da igualdade acima segue

que

(a, b) = min (a)x + (b)y > 0; x, y Z

= min ax + by ; x, y Z
= (a, b).
A armao feita em (d) segue diretamente de (c), observando que

a b a b
(a, b) = d , d =d , .
d d d d
Continuamos com a prova de (e). De (a, c) = (b, c) = 1, temos que
existem inteiros xj e yj , j = 1, 2, tais que
ax1 + cy1 = 1,
bx2 + cy2 = 1.
Multiplicando lado a lado as igualdades obtemos
(x1 x2 )ab + (ax1 y2 + y1 bx2 + cy1 y2 )c = 1.

|{z} | {z }
x y
Ento, usando o item (b) e a igualdade acima resulta que (ab, c) = 1.

Finalmente, provaremos (f ). Das hipteses temos que existem in-
teiros x0 e y0 tais que
bx0 + cy0 = 1.
Multiplicamos a igualdade acima por a em ambos lados para obtermos
abx0 + acy0 = a.
Por outro lado, ab = cq para algum inteiro q. Usando esta condio
na ltima igualdade temos que
cqx0 + acy0 = c(qx0 + ay0 ) = a,
logo c | a.
3.3.2 Algoritmo de Euclides
Apesar de conhecermos propriedades tericas do mdc entre dois intei-
ros, encontr-lo de fato pode ser uma tarefa complicada, sem auxlio
das ferramentas corretas. Lembrando o seu signicado, o leitor talvez
pudesse pensar que devemos calcular todos os divisores de a, todos
os divisores de b e descobrir qual o maior elemento comum aos dois
conjuntos.
Para achar o mdc se faz uso de um importante mtodo denominado
algoritmo de Euclides .
Teorema 3.25 (Algoritmo de Euclides). Dados dois inteiros positivos,

a e b, aplicamos sucessivamente a diviso euclidiana para obter a se-
guinte sequncia de igualdades

b = aq1 + r1 , 0 r1 < a,

a = r1 q2 + r2 , 0 r2 < r1 ,

r = r q + r , 0 r3 < r2 ,

1 2 3 3
(3.20)

rn2 = rn1 qn + rn , 0 rn < rn1 ,

r
n1 = rn qn+1 ,
at algum rn dividir rn1 . Assim, o mdc.(a, b) = rn , ou seja, o

ltimo resto no-nulo no processo de diviso anterior.
Observao 3.26. Quando lidamos com nmeros pequenos achar o

mdc uma tarefa fcil pois podemos calcular o mdc valendo-nos das
fatoraes dos nmeros envolvidos. No entanto, quando estamos tra-
balhando com nmeros grandes o algoritmo de Euclides, em geral,
mais fcil que a fatorao, podendo ser esta ltima bem difcil.
Demonstrao do algoritmo de Euclides. Comeamos observando que
o processo de diviso (3.20) nito. Com efeito, a sequncia de nme-
rk estritamente decrescente e est contida no conjunto

ros inteiros
{r Z, 0 r < a}, portanto no pode conter mais do que a intei-

ros positivos. Examinando as igualdades (3.20) de cima para baixo e
usando a Proposio 3.22 temos que
(a, b) = (a, r1 ) = (r1 , r2 ) = = (rn1 , rn ) = rn .

Observao 3.27. Notemos que o teorema de Bzout tambm pode

ser obtido como consequncia do processo de diviso (3.20). Com
efeito, podemos escrever
rn = rn2 rn1 qn o
rn = rn2 (rn3 rn2 qn1 )qn .
rn1 = rn3 rn2 qn1
Logo, conseguimos escrever rn em termos de rn2 e rn3 . Utilizando a

expresso rn2 = rn4 rn3 qn2 podemos escrever rn como combina-
o de rn3 e rn4 . Repetindo este processo vrias vezes, conclumos
que existem x, y Z tais que
d = rn = xr1 + yr2 .
Ora, como r1 = b aq1 e r2 = a r1 q2 = a(1 + q1 q2 ) bq2 , ento,

substituindo estes valores na ltima igualdade obtemos o Teorema de
Bzout.
Exemplo 3.28. Achar o mximo divisor comum dos nmeros 471 e

1.176.
Soluo. Aplicando o algoritmo de Euclides obtemos a seguinte sequn-
cia de divises com resto:
1176 = 471 2 + 234,

471 = 234 2 + 3,
234 = 78 3,
ento o mdc(471, 1176) = 3.

2n + 8
Exemplo 3.29. Provar que a frao irredutvel para todo
4n + 15
nmero natural n.
Soluo. Usando o algoritmo de Euclides temos que
4n + 15 = (2n + 8) 1 + 2n + 7,
2n + 8 = (2n + 7) 1 + 1,
2n + 7 = (2n + 7) 1.
Ento o mdc.(4n + 15, 2n + 8) = 1 e portanto 4n + 15 e 2n + 8 so
primos entre si para qualquer valor de n.
Exemplo 3.30. Achar o mdc.(111

| .{z
. . 111}, 11
| .{z
. . 11})
100 vezes 60 vezes
Soluo. Primeiro escrevemos os nmeros na base decimal, isto ,
111 . . 111} = 1099 + 1098 + + 1,

| .{z
100 vezes
11 . . 11} = 1059 + 1058 + + 1.

| .{z
60 vezes
Aplicamos agora o algoritmo de Euclides para obter as seguintes igual-
dades
111 . . 111} = (1059 + 1058 + + 1)1040 + 1039 + 1038 + + 1,

| .{z
100 vezes
1059 + 1058 + + 1 = (1039 + 1038 + + 1)1020 +

+ 1019 + 1018 + + 1,
1039 + 1038 + + 1 = (1019 + 1018 + + 1)1020 +
+ 1019 + 1018 + + 1.
Disso resulta que
19 18
| {z } | {z } = 10 + 10 + + 1 = |11 .{z
mdc.(111 . . . 111, 11 . . . 11) . . 11} .
100 vezes 60 vezes 20 vezes
3.3.3 Mnimo Mltiplo Comum
Agora passamos ao segundo conceito importante desta seo. O mesmo
est relacionado com os inteiros positivos que so simultaneamente
mltiplos de dois inteiros prexados e denominado mnimo mltiplo

comum.
Denio 3.31 (Mnimo Mltiplo Comum) . Sejam a e b inteiros

diferentes de zero. O mnimo mltiplo comum, resumidamente mmc,
entre a e b o inteiro positivo m que satisfaz as seguintes condies:
(a) m um mltiplo comum de a e b, isto , a | m e b | m;
(b) m o menor inteiro positivo com a propriedade (a).
Neste caso, denotamos o mmc entre a e b por m = mmc(a, b) ou por

m = [a, b].
Resumimos a seguir algumas das propriedades fundamentais do
mmc de dois inteiros.
Proposio 3.32. Sejam a, b, c Z e Z. Ento valem as se-

guintes armaes:
(a) se c mltiplo comum de a e b, ento [a, b] | c;
(b) [a, b] = [a, b];
(c) |ab| = [a, b] (a, b).
Demonstrao. Comeamos com a prova de (a). A diviso com resto
de c por [a, b] nos d
c = [a, b]q + r, 0 r < [a, b]. (3.21)

Da igualdade anterior, basta provar que r = 0 para obter o resultado
desejado. Suponhamos, pelo contrrio, que 0 < r < [a, b]. Notemos
que tanto a como b dividem c e [a, b]. Logo, pelo item (b) da Pro-
posio 3.3 e a igualdade (3.21), temos que a e b tambm dividem r,

ou seja, r mltiplo comum de a e b e no pode ser menor que [a, b],
contradizendo nossa suposio.
Prosseguimos com a prova de (b). Observemos que [a, b] mlti-
plo comum de a e b, logo pelo item (i) vale que
[a, b] [a, b]. (3.22)
Por outro lado, [a, b] = q1 a = q2 b, para alguns inteiros q1 e q2 ;

[a,b]
logo, um mltiplo comum de a e b. Portanto,

[a, b]
[a, b] [a, b] [a, b]. (3.23)

Das igualdades (3.22) e (3.23) segue que
[a, b] [a, b] [a, b],
de onde vem diretamente o resultado.
Para provar (c) podemos supor sem perda de generalidade que a e
b so positivos devido s igualdades
[a, b] = [a, b] = [a, b] = [a, b].
Dividiremos a prova em dois casos:
Caso 1: (a, b) = 1.
Sabemos que b | [a, b] e [a, b] = qa, para algum q N. Ento b | qa
e alm disso (a, b) = 1. Logo, pelo item (v) da Proposio 3.24 temos
que b | q . Portanto, b q e consequentemente
ab aq = [a, b]. (3.24)

Entretanto, da denio de [a, b] vale que
[a, b] ab. (3.25)
Das desigualdades (3.24) e (3.25) segue que ab [a, b] ab. Assim,
ab = [a, b] = [a, b] 1 = [a, b] (a, b).
Caso 2: (a, b) > 1.

a
Da parte (c) da Proposio 3.24 sabemos que , b
(a,b) (a,b)
= 1.
Aplicando o caso anterior vale que

a b a b a b
= , , .
(a, b) (a, b) (a, b) (a, b) (a, b) (a, b)
Multiplicamos esta ltima igualdade por (a, b)2 e usamos o item (b)
provado anteriormente, assim como a parte (d) da Proposio 3.24
para obter

a b a b
ab = (a, b) , (a, b) , = [a, b] (a, b).
(a, b) (a, b) (a, b) (a, b)
Exemplo 3.33. Dois amigos passeiam de bicicleta, na mesma dire-

o, em torno a uma pista circular. Para dar uma volta completa um
deles demora 15 minutos e o outro demora 18 minutos. Eles partem
juntos e combinam interromper o passeio quando os dois se encontra-
rem pela primeira vez no ponto de partida. Quantas voltas deu cada
um?
Soluo. Denotemos por n1 e n2 , respectivamente, o nmero de voltas
que d cada um dos amigos. Notemos que o tempo total da corrida
o menor valor positivo de T que satisfaz as igualdades
T = 15n1 = 18n2 ,
ou seja
15 18
T = [15, 18] = = 90.
3
Portanto, n1 = 6 e n2 = 5.
Finalizamos esta seo com um exemplo que nos fornece uma bela
interpretao geomtrica do mnimo mltiplo comum. O mesmo foi
proposto na Olimpada Brasileira de Matemtica.
Exemplo 3.34. Um retngulo de lados inteiros AB = m e CD = n,

dividido em quadrados de lado 1. Em cada um dos vrtices ele possui
um pequeno orifcio. Um raio de luz entra no retngulo por um dos
vrtices, na direo da bissetriz do ngulo reto, e reetido sucessi-
vamente nos lados do retngulo. Quantos quadrados so atravessados
pelo raio de luz?
D C
A B
Figura 3.2: Interpretao geomtrica do mmc
Soluo. Se zermos alguns testes preliminares dando valores a me

n, veremos que em cada caso a resposta coincidir com o mmc(m,n).
Provemos que isto de fato vale para m e n quaisquer. Para realizar a
prova nos auxiliaremos da Figura 3.2.

Primeiramente, notemos que cada vez que o raio de luz atravessa
um quadrado ele avana uma unidade tanto na direo horizontal como
na direo vertical. Usando este fato fazemos as observaes a seguir.
Se o raio entra pelo vrtice A, ter que atravessar m quadrados
at chegar ao ladoBC , imediatamente mais m para chegar ao

lado AD , depois mais m para chegar novamente ao lado BC , e
assim sucessivamente. Alm disso, depois do raio percorrer pm
quadrados, com p N, estar batendo no lado BC ou no lado
AD.
Analogamente o raio bater no lado AB ou no lado DC se, e
somente se, atravessar qn quadrados, com q N.
Somente nos vrtices B, C e D do retngulo pode acontecer que
o raio incidente saia do retngulo, terminando assim o processo
de reexo.
Usando as observaes acima fcil ver que o raio chegar a um
vrtice quando chegar simultaneamente a dois lados perpendiculares
do retngulo. Portanto, deve ter atravessado um nmero x de quadra-

dos tal que x = pm = qn, ou seja, x dever ser um mltiplo comum
de m
n. claro que a primeira vez que o raio chega a um vrtice
e o
nmero x o menor mltiplo comum de m e n, isto , x = [m, n].
Finalmente, observamos que nenhum dos quadrados atravessado
duas vezes no percurso do raio de A at bater no primeiro vrtice, pois

como vemos na gura numa das direes os quadrados atravessados
sero todos cinzas e na outra direo, sero todos brancos.

3.3.4 Equaes Diofantinas Lineares
Consideremos a equao
ax + by = c, (3.26)
onde a, b, c Z, com a 6= 0 e b 6= 0.
A equao (3.26) chamada de equao diofantina linear e uma
soluo desta qualquer par de inteiros (x, y) que satisfaam (3.26).
conhecido que todos os pontos do plano, com coordenadas (x, y),

que satisfazem a igualdade (3.26) representam, geometricamente, uma
reta. Logo, as solues de uma equao diofantina linear so os pontos
de coordenadas inteiras do plano cartesiano, que esto dispostos sobre
a reta que esta representa. Por exemplo, os pontos (1, 2) e (1, 1)

so solues da equao diofantina 3x 2y = 1, veja a Figura 3.3.
3
y
2
1

0
x
-1
-2

-3
-3 -2 -1 0 1 2
Figura 3.3: A equao da reta ` 3x 2y = 1.
Naturalmente nos perguntamos: sempre possvel achar solues
para uma equao diofantina linear? A resposta no; o prximo
resultado nos diz quando isto possvel. Alm disso, se uma equao
diofantina linear tem uma soluo na verdade ela tem uma innidade
de solues.
Proposio 3.35. A equao diofantina linear

ax + by = c, a, b, c Z, com a 6= 0 e b 6= 0, (3.27)
tem soluo se, e somente se, d | c, onde d = (a, b). Alm disso,
se (x0 , y0 ) uma soluo, ento o conjunto de solues de (3.27)
constitudo por todos os pares de inteiros (x, y) da forma:
x = x0 + t db e y = y0 t ad , t Z. (3.28)
Demonstrao. (x0 , y0 ) uma soluo

Primeiramente suponhamos que
de (3.27), logo ax0 + by0 = c. Usando que d = (a, b) sabemos que
existem inteiros q1 e q2 , tais que dq1 = a e dq2 = b. Portanto, se
verica a igualdade
dq1 x0 + dq2 y0 = d(q1 x0 + q2 y0 ) = c,
de onde segue obviamente que d | c.

Reciprocamente, suponhamos que d|c e portanto c = qd com q
inteiro. O teorema de Bzout nos garante a existncia de dois inteiros,
x0 e y0 , ax0 + by0 = d. Multiplicando

tais que ambos os lados desta
ltima igualdade por q temos que
ax0 q + by0 q = c,
logo o par (x1 , y1 ), com x1 = x 0 q e y1 = y0 q , soluo da equao
diofantina.
Resta provar agora que temos innitas solues da forma (3.28).
Com efeito, sendo (x, y) uma outra soluo qualquer alm de (x0 , y0 ),
vale que ax0 + by0 = c = ax + by , de onde ax0 + by0 = ax + by . Desta
igualdade obtemos a(x x0 ) = b(y0 y) e dividimos esta ltima por
d para obtermos
a b
(x x0 ) = (y0 y).
d d
Como ( ad , db ) = 1, ento temos que

a
d
| (y0 y) e
b
d
| (x x0 ). Logo,
existe inteiro t tal que
x = x0 + t db e y = y0 t ad .
Por outro lado, fcil vericar que para qualquer inteiro t as expresses
achadas acima para x e y resolvem a equao diofantina.
A seguir damos um exemplo de como proceder para resolver equa-
es diofantinas.
Exemplo 3.36. Achar todas as solues inteiras da equao

12x + 33y = 27.
Soluo. Observemos que (12, 33) = 3 e que 3 | 27, logo a equa-
o tem innitas solues. Como sabemos, basta achar uma delas
e teremos as restantes. Para achar esta soluo particular podemos
trabalhar de duas maneiras, que descrevemos a seguir:
Alternativa 1: reduzimos a equao forma equivalente
4x + 11y = 9,
e por tentativa e erro vemos que x0 = 5 e y0 = 1 solucionam a
mesma. Ento pela Proposio 3.35 temos que
x = 5 + 11t e y = 4t 1, t Z,
esgotam todas as solues que procuramos.
Alternativa 2: aplicamos o algoritmo de Euclides para achar o
mdc (12, 33), obtendo os seguintes resultados:
33 = 12 2 + 9,
12 = 9 1 + 3,
9 = 3 3 + 0.
3.4 Nmeros Primos e Compostos 123
Da segunda e primeira igualdades temos, respectivamente, que
3 = 12 9 1 e 9 = 33 12 2.
Usando estas duas obtemos
3 = 12 (33 12 2) 1
= 12 33 + 12 2
= 3 12 1 33,
ou seja, achamos x0 = 3 e y0 = 1, garantidos pelo teorema de

Bzout, que validam 3 = 12x0 +33y0 . Multiplicamos por 9 esta ltima
igualdade para obter
27 = 12(9x0 ) + 33(9y0 ).
Portanto, x
e0 = 9x0 = 27 e ye0 = 9y0 = 9 resolvem, particularmente,
a equao diofantina. Analogamente, como na alternativa anterior,
podemos escrever a soluo geral da forma:
x = 27 + 11s e y = 4s 9, s Z.
3.4 Nmeros Primos e Compostos
Ao longo da histria da Matemtica, os nmeros primos foram pro-
tagonistas de clebres problemas que motivaram o desenvolvimento
de teorias e tcnicas pelas mentes mais frteis, como Fermat, Euler e
Gauss. At hoje muitos desses problemas, simples de enunciar, que
envolvem nmeros primos so desaos intelectuais para toda a huma-
nidade.
Esta seo ser dedicada ao estudo de propriedades bsicas dos
nmeros primos. Todo nmero natural n maior do que 1 tem pelo
menos 2 divisores, claramente 1 e n. Isto motiva a seguinte denio.
Denio 3.37 (Nmeros Primos e Compostos). Um inteiro positivo

n 2 dito primo se os nicos divisores que ele tem so 1 e ele
prprio; caso contrrio, dito composto.
Observao 3.38. De modo geral o nmero 1 no considerado nem

primo nem composto.
Exemplo 3.39. Os nmeros 2, 3, 5, 7, e 11 so primos e os nmeros

10, 15, 35 e 348 so compostos.
Exemplo 3.40. O nmero n = 220 254 composto.

Soluo. Escrevemos n de outra forma, com o objetivo de facilitar
nosso trabalho. Com efeito, observemos que
n = (210 )2 (252 )2 = 10242 6252 ,
logo composto por ser diferena de quadrados. Alm disso,
n = 10242 6252 ,
= (1024 625)(1024 + 625),
(3.29)
= 399 1649,
= 3 133 1649.
Portanto, podemos concluir que 3 | n.
Proposio 3.41. Seja n > 1 um nmero inteiro. Ento

(a) o menor divisor de n diferente de 1 um nmero primo;
3.4 Nmeros Primos e Compostos 125
(b) se n composto, o seu menor divisor diferente de 1 no maior

que n. Em outras palavras, se n no possui divisores diferentes

de 1, menores ou igual que n, ento n primo.
Demonstrao. Comeamos provando (a). Seja p o menor divisor de
n, diferente de 1. Se p fosse composto teria algum divisor q tal que
1 < q < p; mas

q|p e p | n,
o que nos diz que q | n, e isto contradiz a hiptese levantada sobre p.
Para provar (b) denotamos por p o menor divisor de n, diferente
de 1. Portanto, n = pq com q p. Multiplicando ambos lados da
desigualdade por p obtemos
n = pq p2 ,

e consequentemente vale n p.
Agora vamos enunciar um dos resultados mais clssicos da Mate-
mtica, que garante a existncia de innitos nmeros primos. At
onde se conhece, a demonstrao a seguir foi a primeira demonstrao
escrita utilizando o mtodo de reduo ao absurdo e devida a Eu-
clides cerca de 300 a.C. Para outras seis provas, incluindo a moderna
prova de Fustenberg, recomendamos os livros [1] e [10].
Teorema 3.42 (Teorema de Euclides). A quantidade de nmeros pri-

mos innita.
Demonstrao. Faremos a prova por reduo ao absurdo. Suponha
que existe uma quantidade nita de nmeros primos e denotemos estes
por
p1 , p2 , p3 , . . . , pk .
Consideremos o nmero
n = p1 p2 p 3 pk + 1
e chamemos de q o seu menor divisor primo. Obviamente q no coin-
cide com nenhum dos nmeros pi , 1 i k , pois caso contrrio,
como ele divide n, teria que dividir 1, o que impossvel. Logo, te-
mos uma contradio hiptese de termos uma quantidade nita de
primos.
Os nmeros primos tambm podem ser caracterizados da seguinte
maneira:
Proposio 3.43. Um inteiro positivo p primo se, e somente se,

satisfaz a seguinte propriedade:
p | ab = p | a ou p | b (3.30)
onde a, b Z.
Demonstrao. Primeiramente, suponhamos que p primo e que p - b,
logo (p, b) = 1. Ento, pelo item (f ) da Proposio 3.24 temos que
p | a.
Reciprocamente, suponhamos que, a propriedade 3.30 vlida e
alm disso vamos supor, pelo absurdo, que p no primo. Ento,
p = d1 d2 , com 1 < d1 < p, 1 < d2 < p. (3.31)
De (3.30) segue que p | d1 ou p | d2 ; consequentemente
p d1 , ou p d2 , (3.32)
contradizendo isto o armado em (3.31).

3.5 Procurando Primos 127
3.5 Procurando Primos
Os nmeros primos alm de belos e desaadores do ponto de vista
matemtico, so extremamente importantes para as atividades usuais
de nosso dia a dia. Por exemplo, nenhuma transao bancria ou pela
internet estaria segura sem o uso de nmeros primos muito grandes.
Assim, surge naturalmente a pergunta de como podemos produzi-los
em grandes quantidades. Essa pergunta sempre intrigou os matem-
ticos e continua sem soluo at os dias atuais. Apesar deles serem
abundantes, em quantidade innita de acordo com o Teorema 3.42,
no existe nenhum mtodo razovel de produo de nmeros primos,
mesmo tendo em mos a alta tecnologia de hoje em dia. Porm, ao
longo do tempo algumas frmulas e algoritmos se mostraram teis
para a descoberta de nmeros primos.
3.5.1 O Crivo de Eratstenes
O crivo de Eratstenes um algoritmo que nos permite achar todos
os nmeros primos que so menores ou iguais que um natural N dado.
Segundo a tradio, este mtodo foi criado pelo matemtico grego
Eratstenes (285-194 a.C.).
O mtodo consiste nos seguintes passos: escrevemos os nmeros de
forma ordenada a partir de 2, isto ,
2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, . . . , n (3.33)
Observamos que o primeiro primo que aparece em (3.33) 2 e
imediatamente apagamos da lista (3.33) todos os mltiplos de
2 maiores que ele, por serem compostos; resta assim a seguinte

lista
2, 3, 5, 7, 9, 11, 13, 15, 17 . . .
O primeiro nmero no apagado que aparece na lista restante
3, que tambm primo. Imediatamente apagamos da lista todos
os mltiplos de 3 maiores que ele, por serem compostos; resta
agora a lista
2, 3, 5, 7, 11, 13, 17, . . .
O primeiro nmero no apagado que aparece na lista que restou
do passo anterior 5, que tambm primo. Imediatamente
apagamos da lista todos os mltiplos de 5 maiores que ele, por
serem compostos.
Repetimos este processo at que o primeiro nmero no apagado

da lista em questo seja maior que n, pois graas Proposio
3.41-(b) a partir desse momento todos os nmeros restantes so
os primos menores ou iguais que n..

Por exemplo, se n = 40, temos que 40 = 6, 324555. Ento,
aplicando o mtodo:
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
Passo 1: ordenamos os nmeros
2 3 5 7 9
11 13 15 17 19
21 23 25 27 29
31 33 35 37 39
Passo 2: tiramos os mltiplos de 2
2 3 5 7
11 13 17 19
23 25 29
31 35 37
2 3 5 7
11 13 17 19
23 29
31 37
Como 72 = 49 > 40, paramos agora.
Observao 3.44. Note que ao comear a apagar os mltiplos de um

nmero primo p podemos comear a apagar a partir de p2 , pois se
supomos que existe um nmero composto m no apagado menor que
p2 , temos que m = p1 q1 , sendo p1 seu menor divisor primo. Ento,

pelo item (b) da Proposio 3.41, p1 < m < p, logo m deveria ter
sido apagado pois mltiplo de um primo menor que p.
3.5.2 Primos de Mersenne
Marin Mersenne (1588-1648) foi um monge francs que nasceu na ci-
dade de Maine e foi um dos grandes inuenciadores da Matemtica

2 3 5 7 11 13 17 19 23 29
31 37 41 43 47 53 59 61 67 71
73 79 83 89 97 101 103 107 109 113
127 131 137 139 149 151 157 163 167 173
179 181 191 193 197 199 211 223 227 229
233 239 241 251 257 263 269 271 277 281
283 293 307 311 313 317 331 337 347 349
353 359 367 373 379 383 389 397 401 409
419 421 431 433 439 443 449 457 461 463
467 479 487 491 499 503 509 521 523 541
Tabela 3.1: Os primeiros 100 nmeros primos
francesa nos sculos XVI e XVII. Apaixonado pelos nmeros, teve en-
tre seus correspondentes Descartes, Fermat, Pascal e Galileu. Entre
suas vrias descobertas, ele estudou os nmeros da forma:
Mn = 2n 1.
Observe que vale o seguinte fato a respeito desses nmeros:
Proposio 3.45. Se Mn primo, ento n primo.

Demonstrao. Provar essa proposio equivale a mostrar que a sua
forma contrarrecproca vale. Ou seja, que se n composto, digamos
n = a.b, com a b > 1, ento Mn tambm composto. De fato,
usando o Lema 3.14, podemos decomp-lo do seguinte modo:
Ma.b = 2ab 1 = 2a(b1) 2a(b2) + + 2a + 1 2b 1 .

Porm, no verdade a recproca da armao acima. Por exem-
plo, Hudalricus Regius mostrou em 1536 que M11 = 211 1 = 2.047

no primo, j que 2.047 = 23 89.
Em 1643, Mersenne armou que para
n = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127 e 257,
os valores de Mn so todos primos e para todos os outros valores de n

menores que 257, Mn composto.
Hoje sabemos que Mersenne errou na sua armao, esquecendo
trs valores de n onde Mn primo: 61, 89 e 107 e incluindo M67 e M257

como nmeros primos. Para mais informaes, sugerimos a pgina web
http://primes.utm.edu/mersenne/index.html.
Finalizamos esta seo, com um critrio interessante, devido ma-
temtica francesa Sophie Germain (1776-1831), que nos permite saber
quando um nmero no primo.
Proposio 3.46 (Identidade de Sophie Germain) . Dados a, b R,

vale a igualdade
a4 + 4b4 = (a2 + 2b2 + 2ab)(a2 + 2b2 2ab).
Demonstrao. A prova segue das seguintes igualdades:
a4 + 4b4 = a4 + 4a2 b2 + 4b4 4a2 b2

= (a2 + 2b2 )2 4a2 b2
= (a2 + 2b2 + 2ab)(a2 + 2b2 2ab).
Como aplicao desta identidade vejamos os seguintes exemplos.

Exemplo 3.47. qn = n4 + 4n composto, para todo n N.

Soluo. O conjunto dos nmeros naturais particionado em duas
classes disjuntas:o conjunto dos nmeros pares e o conjunto dos n-
meros mpares. Estudaremos cada classe por separado. Assim,
sen um nmero par, ento n = 2m para algum inteiro positivo

m 1. Deste modo,
n4 + 4n = (2m)4 + 42m = 16m4 + 24m ,

= 2 8m4 + 24m1 .

Portanto, neste caso, n4 + 4n 2. Logo, se n>1 qualquer

4 n
nmero inteiro positivo par temos que n +4 no um nmero
primo;
se n um nmero mpar, ento n = 2m + 1 para algum inteiro
positivo m 1. Assim,
n4 + 4n = (2m + 1)4 + 42m+1 = (2m + 1)4 + 4 42m

= (2m + 1)4 + 4 24m = (2m + 1)4 + 4 (2m )4 .
Logo, tomando a = 2m + 1 e b = 2m , o resultado uma con-
sequncia direta da identidade de Sophie Germain.
Exemplo 3.48. 520 + 230 um nmero composto.

Soluo. Escrevemos
4 4
520 + 230 = 554 + 22 228 = 55 + 4 27 ,
de onde podemos usar a Identidade de Sophie Germain com a = 55 e

7 20 30
b=2 para comprovar que o nmero 5 +2 composto.
3.5.3 O Teorema Fundamental da Aritmtica
Os nmeros primos so as clulas dos nmeros naturais, no sentido
de que qualquer nmero natural produto de nmeros primos. Por
exemplo,
560 = 56 10 = 7 8 5 2 = 7 2 2 2 5 2,
onde cada um dos fatores que aparecem no produto so nmeros pri-
mos. Perguntamo-nos, o que acontece se comeamos com uma outra
fatorao inicial de 560, por exemplo, 560 = 28 20. Vejamos:
560 = 28 20 = 14 2 10 2 = 7 2 2 5 2 2.
Surpreendentemente chegamos mesma representao anterior, salvo
a ordem dos fatores.
2 7
5
2
Figura 3.4: O nmero 560 composto de 4 clulas do tipo 2, uma clula
do tipo 7 e uma clula do tipo 5.
O fato observado acima vale para qualquer nmero natural maior
que 1. Especicamente, temos o seguinte resultado conhecido como
teorema fundamental da aritmtica .

Teorema 3.49 (Teorema Fundamental da Aritmtica). Todo nmero

natural n maior que 1 pode ser escrito como um produto
n = p1 1 p2 2 p3 3 pmm , (3.34)
onde m 1 um nmero natural, i N e pi primo para todo

1 i m . Alm disso, a fatorao em (3.34) nica se exigirmos
que p1 < p2 < < pm .
Demonstrao. Seja n um inteiro maior que 1. Denotando por p1 seu
menor divisor primo tem-se que
n = p1 1 , 1 1 < n.
Se 1 = 1, entoN1 = p1 e a fatorao desejada obtida. Caso

contrrio, denotando por p2 o menor divisor primo de 1 tem-se que
n = p1 p2 2 , 1 2 < 1 .
Se2 = 1, ento n = p1 p2 e novamente chegamos fatorao desejada.

Caso contrrio, denotando por p3 o menor divisor primo de 2 tem-se
que
n = p1 p2 p3 3 , 1 3 < 2 .
Continuando este processo sucessivamente obtemos ento uma sequn-
cia estritamente decrescente de nmeros naturais n , ou seja,
n > 1 > 2 > 2 > > n > n+1 > 1,
Ento, pelo princpio da boa ordem, s pode existir uma quantidade
nita de ndices n tais que n > 1 e consequentemente n+1 = 1, de
onde segue que
n = p1 p2 pn .
Notemos que na representao acima os pi podem-se repetir, resul-
tando nalmente a representao desejada em (3.34).
Provaremos agora a unicidade de tal fatorao. Com efeito, supo-
nha que existem duas fatoraes:
p1 1 p2 2 p3 3 pmm = n = q11 q22 q33 qss
Pela Proposio 3.43 temos que cada pi divide algum qj , logo pi =

qj , por serem primos. Portanto, cada pi aparece no lado direito da
igualdade acima, e, um argumento anlogo nos d que cada qj tambm

aparece no lado esquerdo da igualdade. Ento, como os pi s e os qj s
so diferentes dois a dois e organizados crescentemente, temos m = s
e a igualdade se reduz a
p1 1 p2 2 p3 3 pmm = p1 1 p2 2 p3 3 pmm .
Suponhamos agora que 1 seja diferente de 1 ; sem perda de ge-
neralidade vamos supor que 1 < 1 . Portanto,
p2 2 p3 3 pmm = p1 1 1 p2 2 p3 3 pmm ,
e como 1 1 > 0 ento, pela Proposio 3.43 temos que p1 di-

vide algum pj , com j > 1, o que impossvel. Portanto, 1 = 1 .
Similarmente provamos que i = i , com i = 1, . . . , n.
Observao 3.50. O teorema fundamental da aritmtica foi enun-

ciado precisamente por Gauss (1777-1855). Seus antecessores, Fer-
mat, Euler, Lagrange e Legendre, utilizavam este teorema sem a preo-
cupao de t-lo enunciado ou demonstrado com preciso. Uma prova
alternativa deste teorema ser apresentada no Captulo 6, usando o
mtodo de induo.
Exemplo 3.51. Prove que um nmero n par se, e somente se, o

nmero 2 aparece na fatorao de n em fatores primos.
Soluo. Obviamente, se 2 aparece na fatorao em primos de N,
ento N par. Ora, se n par temos que n = 2q . Por outro lado qe
n se fatoram, respectivamente, como
q = q11 q22 qm
m
e n = p1 1 p2 2 ps s .
Logo,
2 q11 q22 qm
m
= p1 1 p2 2 ps s .
Pela unicidade da fatorao, para algum i, com 1 i s, o cor-
respondente pi deve ser igual a 2. Portanto, 2 aparece na fatorao de
n.
Exemplo 3.52. Seja A = {1, 2, 3, 4, 5, 6, 7}. possvel decompor
o conjunto A em dois subconjuntos disjuntos tais que o produto dos
elementos de um seja igual ao produto dos elementos do outro?
Soluo. Mostraremos que impossvel fazer esta decomposio. Com
efeito, suponha que existem tais conjuntos, A1 = {p1 , p2 , . . . , pr } e
A2 = {q1 , q2 , . . . , qs }. Ento
p1 p2 pr = q1 q 2 qs
| {z } | {z }

e alm disso, como os conjuntos A1 e A2 so disjuntos, temos que o
nmero 5 aparece no produto ou no produto , mas no em ambos
simultaneamente. Por outro lado, o Teorema 3.49 nos diz que a fatora-
o em primos de igual fatorao em primos de , logo o nmero

5 deveria aparecer tanto no produto como no produto , contra-
dizendo isto o fato anterior. Portanto no existe uma decomposio
com as condies exigidas.

Exemplo 3.53. Encontre todos os nmeros inteiros e positivos n com

a propriedade de que o conjunto
A = {n, n + 1, n + 2, n + 3, n + 4, n + 5}
pode ser particionado em dois subconjuntos tais que o produto dos

elementos de um dos subconjuntos seja igual ao produto dos elementos
do outro.
Demonstrao. Digamos que seja possvel essa decomposio para al-
gum n e vamos denotar os conjuntos que obtemos com a decomposio

por A1 e A2 . Observando a decomposio dos elementos dos subcon-
juntos em fatores primos, temos que todo fator primo de A1 tambm
dever pertencer a A2 . No conjunto dos seis nmeros s podemos ter
um mltiplo de 7, por isso no podemos tomar n como mltiplo deste
primo. Analogamente para primos maiores que 7. Analisando o primo
5, conclumos que n e n + 5 so mltiplos de 5, pois se no, cairamos

na anlise anterior. Assim, os nmeros n + 1, n + 2, n + 3 e n + 4 so

da forma 2 3 . Como entre eles existem dois mpares, logo teremos
duas potncias de 3 cuja diferena 2, um absurdo. Assim, no existe
n que satisfaz as condies do enunciado.
Finalizamos esta seo com um exemplo que mostra como podemos
combinar os fatos estudados para resolver problemas mais difceis
Exemplo 3.54. Encontre todos os nmeros que so formados por 4

algarismos da forma aabb e que sejam quadrados perfeitos.
Soluo. Como o nmero aabb um quadrado perfeito, signica que:
n2 =aabb
n2 =103 a + 102 a + 10b + b = 103 + 102 a + (10 + 1) b

n2 =1100 a + 11 b
n2 =11 100a + b = 11 99a + a + b .

Como 11 primo fcil ver, usando a Proposio 3.43, que 112 | N 2 .

Segue-se ento que 11 | (99a+a+b). Portanto, 11 | (a+b). Como aabb
tem 4 algarismos, segue-se que a 6= 0; portanto a {1, 2, 3, . . . , 9} e
b {0, 1, 2, . . . , 9}. De onde a + b 18. Logo, necessariamente

devemos ter a + b = 11. Podemos observar que a 6= 1, pois se a = 1
ento b = 10. Analogamente, b 6= 0, 1. Portanto,
a {2, 3, 4, . . . , 9} e b {2, 3, 4, . . . , 9}.
Como em todo nmero quadrado perfeito o algarismo das unidades
somente pode acabar em 0, 1, 4, 5, 6 e 9. Segue-se que
b {4, 5, 6, 9}.
Certamente b 6= 5, pois todo nmero que acaba em 5 quando elevado

ao quadrado sempre acaba em 25. Assim,
b {4, 6, 9}.
Se b = 4, ento a = 7. Neste caso o nmero seria 7.744 que
um quadrado perfeito;
Se b = 6, ento a = 5. Neste caso o nmero seria 5.566 que no
um quadrado perfeito;
3.6 Exerccios 139
Se b = 9, ento a = 2. Neste caso o nmero seria 2.299 que no
um quadrado perfeito.
Finalmente, a nica soluo possvel aabb = 7.744 = 882 .
3.6 Exerccios
1. Encontre o resto que deixa
(a) 2001 2002 2003 2004 + 20052 quando dividido por 7;
(b) 2100 quando dividido por 3;
28
(c) (1237156 + 34) quando dividido por 111.
2. Provar que o nmero n5 + 4n divisvel por 5 para qualquer
nmero natural n.
3. Prove que se n mpar
(a) n3 n divisvel por 24;
(b) n2 1 divisvel por 8;
(c) n2 + (n + 2)2 + (n + 4)2 + 1 divisvel por 12.
4. O nmero 21093 2 divisvel por 10932 ?
5. Prove que (999994)1234567890 1 divisvel por 333331.
6. O nmero N = 42005 + 20054 primo?
7. Demonstre que o nmero 1 |000 {z

. . . 00} 1 composto.
2006 zeros
8. Utilizando o fato de que o resto de um quadrado quando dividido
por 4 s pode ser 0 ou 1, d uma outra soluo para o problema
do Exemplo 3.54.
9. Dados trs inteiros, x, y, z , tais que x2 + y 2 = z 2 , mostre que x

e y no so ambos mpares e que xy mltiplo de 6.
10. Demonstre que o quadrado de um inteiro da forma 8n ou 8n+1

ou 8n + 4.
11. Trs nmeros primos p, q e r, maiores que 3, formam uma pro-

gresso aritmtica, ou seja, q = p + d e r = p + 2d. Prove que d
divisvel por 6.
12. Demonstrar que existem innitos nmeros primos da forma 4m+

3 e da forma 6m + 5, onde m Z.
13. Encontrar o ltimo dgito dos nmeros
(a) 19892005 ;
(b) 777777 + 250 ;
(c) 1 + 22 + 32 + + 20052 .
14. Prove que a soma dos quadrados de cinco nmeros consecutivos
no um quadrado perfeito.
15. Prove que 1 |00 {z

00} 5 |00 {z
00} 1 no um cubo perfeito.
100zeros 100zeros
16. Seja b um inteiro positivo. Enuncie e prove o critrio de divisi-
bilidade por b no sistema de numerao de base b.
17. Prove que os nmeros

3.6 Exerccios 141
1 1 1
(a) n = 1 ++ + + , com n > 1,
2 3 n
1 1 1
(b) n = + + + , com n > 0,
3 5 2n + 1
no so inteiros.
18. Considere o polinmio p(n) = am nm + am1 nm1 + + a0 de

grau m 1 com coecientes inteiros e n N. Prove que p(n)
um nmero composto para innitos valores de n.
Sugesto: Use o fato de que existe a N tal que = |p(a)| > 1

e mostre que divide a p(k + a), para todo k Z.
19. Dizemos que um conjunto An formado por n inteiros positivos
escritos no sistema binrio (base 2) regular se, para qualquer
s inteiro no negativo a quantidade de nmeros de An que con-

s
templam 2 na representao binria par. Dizemos que An
irregular se, pelo menos para algum s, este nmero mpar. De-
monstre que um sistema irregular pode se converter em regular
excluindo-se apenas um nico elemento do mesmo, e, um sistema
regular pode se converter em irregular excluindo-se qualquer um
dos seus elementos.
20. Seja n um inteiro positivo. Demonstrar que todos os coecientes
do desenvolvimento do binmio de Newton (a + b)n so mpares

s
se, e somente se, n da forma 2 1.
21. Prove que se (x0 , y0 ) uma soluo da equao diofantina linear

ax by = 1, ento a rea do tringulo cujos vrtices so (0, 0),
(b, a) e (x0 , y0 ) 1/2.
22. Qual a menor distncia possvel entre dois pontos (x1 , y1 ) e
(x2 , y2 ), com coordenadas inteiras, situados sobre a reta denida

pela equao diofantina ax + by = c?
4
O Princpio da Casa dos
Pombos
Uma vez um matemti o me falou que o verdadeiro prazer no est
em a har a verdade, mas em pro urar por ela.
Leo Tolstoy
Um interessante instrumento elementar para tratar problemas mate-
mticos relacionados existncia de elementos de conjuntos validando
certas exigncias o chamado princpio de Dirichlet , tambm conhe-

cido como princpio da casa dos pombos (PCP) . Este princpio foi
usado por Dirichlet (1805-1859) para resolver problemas na Teoria
dos Nmeros, entretanto ele possui um grande nmero de aplicaes
em diversos ramos da Matemtica como Combinatria e Geometria.
A seguir enunciamos a verso mais simples do PCP.
Proposio 4.1 (PCP Verso Simples) . Se distribumos N + 1

pombos em N casas, ento alguma das casas contm dois ou mais
pombos.
143
144 4 O Princpio da Casa dos Pombos
P1 P2 PN
C1 C2 CN
PN +1
Figura 4.1: Em cada casa Cj , 1 j N , coloca-se um nico pombo,
denotado por Pj . O pombo restante, denotado por PN +1 , deve ir para
alguma das casas, juntando-se ao que j se encontrava contido nela
Demonstrao. A prova deste princpio muito fcil e decorre de fa-
zer uma simples contagem dos pombos contidos em todas as casas de-
pois de distribudos. Com efeito, suponhamos pelo contrrio que em
cada casa no existe mais do que um pombo, ento contando todos
os pombos contidos nas N casas no teremos mais do que N pombos,
contradizendo isto a hipteses de termos N +1 pombos distribudos
nas N casas (ver Figura 4.1).
No difcil detectar quando o princpio pode ser usado, mas a
principal diculdade para aplic-lo reside em identicar, em cada pro-
blema, quem faz papel de pombos e quem faz papel de casas.
Nas seguintes sees discutiremos vrios exemplos de diferentes
naturezas onde o princpio da casa dos pombos aplicado com sucesso.

4.1 Primeiros Exemplos 145
4.1 Primeiros Exemplos
Exemplo 4.2. Numa oresta crescem 1.000 jaqueiras. conhecido

que uma jaqueira no contm mais do que 600 frutos. Prove que
existem 2 jaqueiras na oresta que tm a mesma quantidade de frutos.
Soluo. Temos 1.000 jaqueiras, representando os pombos, e 601 casas
identicadas pelos nmeros 0, 1, 2, 3, . . . , 600. O nmero k associado
a cada casa signica que nela sero colocadas jaqueiras que tm exa-
tamente k frutos. Como 1000 > 602 = 601 + 1, o PCP nos garante
que existem duas jaqueiras com a mesma quantidade de frutos.
Exemplo 4.3. Em uma reunio h n pessoas. Mostre que existem

duas pessoas que conhecem exatamente o mesmo nmero de pessoas.
Soluo. Os pombos neste caso so as n pessoas. As casas so enume-
radas com os nmeros 0, 1, 2, . . . , n 1, indicando estes que na mesma

sero colocadas pessoas que tm essa quantidade de conhecidos. No-
temos que uma das casas enumeradas com 0 ou n 1 permanece

desocupada, pois a possibilidade de conhecer 0 e n 1 pessoas no
acontece simultaneamente. Logo, nas n 1 casas restantes haver
uma ocupada por dois ou mais pombos, depois de serem distribudos.
Portanto, existem no mnimo duas pessoas com o mesmo nmero de
conhecidos.
Exemplo 4.4. Dados 8 nmeros inteiros mostre que existem dois

deles cuja diferena divisvel por 7.
Soluo. Consideramos os 8 nmeros como sendo os pombos e as casas
como sendo os 7 possveis restos na diviso por 7. Como temos 8=

7+1 nmeros o PCP nos diz que existem dois nmeros dentro dos
8 dados que tm o mesmo resto quando divididos por 7. Finalmente,
observamos que se dois nmeros deixam o mesmo resto na diviso por
7 ento a diferena entre eles divisvel por 7.
Uma forma alternativa e muito til na qual pode-se apresentar o
princpio da casa dos pombos a seguinte:
Proposio 4.5 (PCP Verso Alternativa) . Se a soma de n n-

meros naturais igual S , ento existe pelo menos um deles que no
maior que S/n, assim como existe pelo menos um deles que no
menor que S/n.
Exemplo 4.6. Numa famlia formada por 5 pessoas a soma das idades
de 245 anos. Prove que podem ser selecionados 3 membros da famlia
cuja soma das idades no menor que 147.
Soluo. 5 5!

Temos um total de
3
= 3!2!
= 10 trios diferentes formados
por membros da famlia. Alm disso, cada pessoa aparece exatamente

4 4!

em
2
= 2!2!
=6 trios. Ento, denotando por Ej a soma das idades
dos membros de cada trio Tj , j = 1, 2 . . . 10, temos que
E1 + E2 + + E10 = 6 245 = 1470;

1470
consequentemente existe algum trio Tj tal que Ej 10
= 147.
4.2 Uma Verso mais Geral
A seguinte verso mais geral do PCP bastante til na resoluo de
alguns problemas.
Proposio 4.7 (PCP Verso Geral). Se distribumos N k + 1 pom-

bos em N casas, ento alguma das casas contm pelo menos k + 1
pombos.
4.2 Uma Verso mais Geral 147
A prova deste enunciado mais geral similar anterior. Com efeito,
suponhamos pelo contrrio que em cada casa no existe mais do que
k pombos, ento contando todos os pombos contidos nas N casas no
teremos mais do que Nk pombos, contradizendo isto a hipteses de
termos Nk + 1 pombos distribudos nas N casas.
Notemos que se k = 1, esta verso mais geral coincide com a verso

mais simples.
Exemplo 4.8. Num colgio com 16 salas so distribudas canetas nas

cores preta, azul e vermelha para realizar uma prova de concurso. Se
cada sala recebe canetas da mesma cor ento prove que existem pelo
menos 6 salas que receberam canetas da mesma cor.
Soluo. Fazendo a diviso com resto de 16 por 3 temos que 16 =
3 5 + 1. Consideramos as 16 salas como sendo os pombos e as trs
cores, preto, azul e vermelho como sendo as casas. Logo, podemos
colocar cada sala em uma das trs cores. Assim, o PCP com N =3
e k = 5 nos d que existe uma casa com pelo menos 6 pombos, ou seja,
existem no mnimo 6 salas que receberam canetas da mesma cor.
Exemplo 4.9. Uma equipe formada por seis alunos de Matemtica

selecionada para representar o Brasil numa olimpada internacional.
Mostre que necessariamente existem trs deles que se conhecem mu-
tuamente, ou trs deles que no se conhecem mutuamente.
Soluo. Resolveremos o problema com o auxlio da Figura 4.2. Cada
aluno Aj , com j = 1, 2, . . . , 6, representado por um dos vrtices de
um hexgono regular. Quando dois alunos se conhecem traamos o
segmento de reta que liga os vrtices correspondentes com uma linha
contnua; caso contrrio traamos este segmento com uma linha pon-
tilhada. Logo, usando este esquema, o problema equivale a provar

que sempre existe um tringulo de lados contnuos ou um tringulo de
lados pontilhados com vrtices no conjunto A = {A1 , A2 , . . . , A6 }.

Temos 5 segmentos (pombos) incidindo no vrtice A1 , cada um
deles contnuo ou pontilhado (estes dois tipos de linhas so conside-
radas como as casas). Como 5 = 2 2 + 1, pelo PCP temos que 3
dos 5 segmentos so contnuos ou pontilhados. Suponhamos que 3 so
contnuos (caso contrrio o argumento similar) e denotemos estes
por A1 A3 , A1 A4 e A1 A6 (ver Figura 4.2). Se algum dos segmentos

A3 A4 , A3 A6 ou A4 A6 for contnuo ento este segmento junto aos que
se ligam com A1 formam um tringulo de lados contnuos. Por outro
lado, se nenhum deles for contnuo, ento eles formam um tringulo
de lados pontilhados, completando isto a demonstrao.
A3 A2
A4 A1
A5 A6
Figura 4.2: O tringulo A1 A2 A5 indica que os alunos A1 , A2 e A5 no se
conhecem mutuamente e o tringulo A1 A4 A6 indica que os alunos A1 , A4

e A6 se conhecem mutuamente
4.3 Aplicaes na Teoria dos Nmeros 149
4.3 Aplicaes na Teoria dos Nmeros
Nesta seo apresentamos alguns exemplos de aplicaes do PCP na
Teoria dos Nmeros. A primeira delas :
Exemplo 4.10. Se n e m so nmeros naturais, ento o conjunto

A = {m + 1, m + 2, . . . , m + n} possui algum divisor de n.
Soluo. Temos n nmeros diferentes no conjunto acima. Vamos utili-
zar o mtodo de reduo ao absurdo. Se no existisse nenhum mltiplo
de n, quando dividssemos os nmeros do conjunto A por n, os res-
tos pertenceriam ao conjunto B = {1, 2, . . . , n 1}, que possui n 1

elementos. Logo, devem existir dois nmeros m + i e m + j , com
1 i < j n tais que o resto da diviso de m + i por n o mesmo

que o resto da diviso de m + j por n. Logo, m + j (m + i) um
mltiplo de n, o que implica que n > j i 1 mltiplo de n menor
que n (absurdo!). Logo, deve existir algum mltiplo de n no conjunto
A.
Como consequncia desse exemplo, podemos resolver o prximo
problema.
Exemplo 4.11. Demonstrar que todo inteiro tem um mltiplo cuja

representao decimal comea com o bloco de dgitos 1234567890.
Soluo. m e n so inteiros positivos, pelo exemplo anterior um

Se
dos nmero m + 1, m + 2, . . . , m + n mltiplo de n. Assim, dado n

n+1
um inteiro qualquer, escolhe-se m = 123456789010 . Deste modo,
todos os inteiros m + 1, m + 2, . . . , m + n comeam com 1234567890 e
algum deles mltiplo de n.

Exemplo 4.12. Dado um nmero inteiro positivo n, mostre que existe

um mltiplo de n que se escreve com os algarismos 0 e 1 apenas. (Por
exemplo, se n = 3, temos 111 ou 1.101 etc.)
Soluo. Consideramos os n+1 nmeros
1, 11, 111, 1111, . . . , 111

| {z 1} (4.1)
n+1vezes
como sendo os pombos e n casas enumeradas com os nmeros
0, 1, 2, 3, . . . , n 1,
ou seja, com os possveis restos na diviso por n. Similarmente ao
exemplo anterior existem dois nmeros na lista (4.1) que deixam o
mesmo resto na diviso por n e, portanto, a diferena entre o maior e
o menor mltiplo de n. Obviamente a diferena entre dois nmeros
quaisquer da lista (4.1) resulta em um nmero formado apenas pelos
algarismos 0 e 1.
Exemplo 4.13. Prove que entre n + 1 elementos escolhidos no con-

junto {1,2,3, . . . , 2n} existem dois que so primos relativos.
Soluo. A escolha das casas e dos pombos neste exemplo no to b-
via. Os pombos representam os n + 1 nmeros escolhidos do conjunto

{1, 2, . . . , 2n} e as casas so escolhidas como sendo os n conjuntos:
Cj = {2j 1, 2j}, 1 j n.
Logo, pelo PCP, quando distribumos os n + 1 nmeros nos n conjun-

tos Cj , 1 j n, dois deles caro juntos em algum conjunto Cj , ou
seja, estes nmeros sero consecutivos e portanto primos entre si.

4.4 Aplicaes Geomtricas 151
Finalizaremos esta seo com uma outra prova do teorema de
Bachet-Bzout, (veja o Teorema 3.23).
Exemplo 4.14. Seja d = (a, b) o mdc entre os nmeros naturais a e

b. Ento, existem x e y nmeros inteiros tais que
ax + by = d.
Soluo. Denotando por m = a/d e n = b/d, podemos supor que a e
b so primos entre si. Realmente, se podemos escrever
mx + ny = 1
ento, substituindo os valores de m e n na equao acima, temos que
ax + by = d.
Se (a, b) = 1, considere a sequncia A = {a, 2a, . . . , ba}. Armamos
que existe algum nmero no conjunto A que deixa resto 1 quando
dividido por b. De fato, se isso no ocorresse, teramos b nmeros em
A deixando no mximo b 1 restos diferentes quando divididos por

b. Logo, pelo PCP, dois deles, digamos ia e ja com b > j > i 1,
devem deixar o mesmo resto quando divididos por b. assim, (j i)a
divisvel por b. Como estamos supondo que (a, b) = 1, temos que b
deve dividir j i > 0. Como b > j i, temos um absurdo.
Assim, algum dos nmeros em a deixa resto 1 quando divididos
por b. Digamos que esse nmero seja ax. Logo, ax 1 mltiplo de
b, onde ax 1 = by , o que encerra nossa prova.
4.4 Aplicaes Geomtricas
Na geometria tambm encontramos belas aplicaes do PCP. Vejamos

os problemas a seguir para constatar isto.
Exemplo 4.15. Mostre que se tomamos cinco pontos quaisquer sobre

um quadrado de lado 1, ento pelo menos dois deles no distam mais

que 2/2.
Soluo. Vamos dividir o quadrado em quatro quadradinhos de lado
1/2, como mostra a gura. Logo, pelo PCP pelo menos dois deles de-
vem estar no mesmo quadradinho, uma vez que temos 4 quadradinhos
e 5 pontos. Logo, como a maior distncia num quadrado a diagonal,
o Teorema de Pitgoras nos garante que a distncia desses dois pontos

no mximo 2/2, como queramos mostrar.
Exemplo 4.16. Na regio delimitada por um tringulo equiltero de

lado 4 so marcados 10 pontos no interior deste. Prove que existe ao
menos um par destes pontos cuja distncia entre eles no maior que
3.
Soluo. Dividimos o tringulo equiltero de lado 4 em 16 tringulos
equilteros menores de lado 1, conforme a Figura 4.3.
Agora pintamos os tringulos nas cores branco e cinza de maneira
que dois tringulos vizinhos, isto , com um lado comum, so pintados
de cores diferentes. Se tivssemos dois pontos no mesmo tringulo a
distncia mxima possvel entre eles seria 1 e o problema estaria resol-
vido. Se tivssemos pontos em tringulos vizinhos, a maior distncia

possvel entre eles seria 3 e tambm isto resolveria o problema. Se
no tivssemos nenhum dos casos anteriores, no seria difcil ver que

4.5 Miscelnea 153
C

E

A D B
Figura 4.3: O tringulo DBE equiltero de lado 3
os 10 pontos deveriam estar situados sobre os 10 tringulos brancos,
contendo cada tringulo exatamente um ponto. Dividindo o tringulo
DBE em 4 tringulos congruentes de lado 3/2 pelo PCP temos que

pelo menos dois dos 6 pontos contidos em DBE esto num destes 4

tringulos, logo a distncia entre eles no maior que 3/2 < 3. Com
isto terminamos nossa prova.
4.5 Miscelnea
Os problemas que apresentamos a seguir usam o PCP combinado com
outras idias que so muito empregadas nas suas solues.
Exemplo 4.17. Em cada quadradinho de um tabuleiro 3 3 colocado

um dos nmeros: -1, 0 ou 1. Prove que entre todas as somas das
linhas, colunas e diagonais do tabuleiro h duas que so iguais. Por
exemplo, no tabuleiro abaixo a soma da segunda linha 2, que coincide
com a soma da terceira coluna.
-1 -1 1
1 0 1
0 -1 0
Soluo. SejaS = a1 + a2 + a3 , onde cada a1 , a2 e a3 podem tomar

valores: 1, 0 e 1. Ento, temos 7 valores possveis para S (casas),
que so: 3, 2, 1, 0, 1, 2, 3.
O tabuleiro 33 tem 3 linhas, 3 colunas e 2 diagonais, portanto, ao
somarmos os elementos de cada uma das linhas, colunas e diagonais,
obteremos 8 nmeros (pombos). Como existem somente 7 valores
possveis para estes nmeros, pelo PCP pelo menos dois deles devem
ser iguais.
Exemplo 4.18. Dado qualquer conjunto A formado por 10 nmeros

naturais escolhidos entre 1 e 99, inclusos, demonstre que existem dois
subconjuntos disjuntos e no vazios de A tal que a soma dos seus res-
pectivos elementos igual.
Soluo: conhecido que A tem 210 1 = 1.023 subconjuntos no-
vazios diferentes. A soma dos elementos de cada um deles d uma
quantidade menor do que 1.000, pois o subconjunto com no mximo
10 elementos de maior soma possvel o formado por 90, 91, . . . , 99,

e nesse caso 90 + 91 + + 99 = 945. Agora consideramos os pombos
como sendo os 1.023 subconjuntos distintos de A e as casas como
sendo as somas possveis dos elementos de cada um dos conjuntos.
Logo, como o nmero de conjuntos maior que o nmero de somas
possveis, devem existir dois conjuntos B e C de A, de tal modo que
a soma dos elementos de B igual soma dos elementos de C. Se B

4.5 Miscelnea 155
e C so disjuntos, acabou a prova. Se no, considere D = B B C

e E = C B C . Logo, os conjuntos D e E so disjuntos e a soma
dos seus elementos a mesma, pois retiramos de ambos a mesma
quantidade.
Exemplo 4.19. Qual o maior nmero de quadradinhos de um ta-

buleiro de 8 8 que podem ser pintados de preto, de forma tal que
qualquer arranjo de trs quadradinhos, como mostra a Figura 4.4, te-
nha pelo menos um dos quadradinhos no pintado de preto?
Figura 4.4: Tridomins
Soluo. Primeiramente, pintamos o tabuleiro de 88 como um tabu-

leiro de jogar xadrez, ou seja, 32 quadradinhos pintados de branco e
32 quadradinhos pintados de preto (ver Figura 4.5).
Figura 4.5: Tabuleiro de xadrez

Notemos que uma vez pintado o tabuleiro desta forma satisfeita
a exigncia do problema, pois nunca temos 2 quadradinhos vizinhos
(quadradinhos com um lado comum) pintados de preto.
Mostraremos agora que se pintamos 33 quadradinhos de preto en-
to a condio exigida no problema falha. De fato, se dividimos o
tabuleiro em 16 quadrados de 22 (casas) e pintamos 33 quadra-
dinhos de preto (pombos); ento, como 33 = 16 2 + 1, pela verso

geral do PCP um dos 16 quadrados de 2 2 contm 3 quadradinhos
pintados de preto. Portanto, este ltimo contm um arranjo como na
Figura 4.4 completamente pintado de preto.
Resumindo, o nmero mximo de quadradinhos que podemos pin-
tar de preto 32.
Exemplo 4.20. Dados sete nmeros reais arbitrrios, demonstre que

existem dois deles, digamos x e y , tais que
xy 1
0
1 + xy 3
Soluo. Primeiramente observamos que a expresso
xy
1+xy
nos faz pen-
sar na frmula
tan tan
tan( ) = . (4.2)
1 + tan tan
Sejam x1 , x2 , , x7 os sete nmeros selecionados arbitrariamente.
Lembramos que a funo tangente uma bijeo entre o intervalo
( 2 , 2 ) e os nmeros reais R, logo para cada xi , 1 i 7, existe um

i ( 2 , 2 ) tal que tan(i ) = xi . Dividimos o intervalo ( 2 , 2 ) em

seis subintervalos de comprimento , como mostra o desenho a seguir.
6
Pelo PCP dois dos nmeros i pertencem ao mesmo subintervalo.
Denotemos os mesmos por i1 e i2 e suponhamos, sem perda de

4.6 Exerccios 157
i1 i2
2

2
6
generalidade, que i1 i2 . Ento vale

0 i2 i1 .
6
Usando o fato de que a tangente uma funo crescente e a frmula
(4.2) temos que

tan(0) tan(i2 i1 ) tan( ).
6
Equivalentemente,
xi 2 xi 1 1
0 .
1 + xi 2 xi 1 3
4.6 Exerccios
1. Seja C um conjunto formado por cinco pontos de coordenadas
inteiras no plano. Prove que o ponto mdio de algum dos seg-
mentos com extremos em C tem tambm coordenadas inteiras.
2. O conjunto dos dgitos 1, 2, ..., 9 dividido em trs grupos.
Prove que o produto dos nmeros de algum dos grupos deve ser
maior que 71.
3. Prove que se N mpar ento para qualquer bijeo
p : IN IN
do conjunto IN = {1, 2, . . . , N } o produto P (p) = (1 p(1))(2

p(2)) (N p(N )) necessariamente par.
(Dica: O produto de vrios fatores par se, e somente se, um dos
fatores par.)
4. Dado um conjunto de 25 pontos no plano tais que entre quaisquer
3 deles existe um par com distncia menor que 1. Prove que
existe um crculo de raio 1 que contm pelo menos 13 dos 25
pontos dados.
5. Prove que entre quaisquer 5 pontos escolhidos dentro de um
tringulo equiltero de lado 1 sempre existe um par deles cuja
distncia no maior que 0,5.
6. Marquemos todos os centros dos 64 quadradinhos de um ta-
buleiro de xadrez de 8 8. possvel cortar o tabuleiro com 13
linhas retas que no passem pelos pontos marcados e de forma
tal que cada pedao de recorte do tabuleiro tenha no mximo
um ponto marcado?
7. Prove que existem duas potncias de 3 cuja diferena divisvel
por 1.997.
8. So escolhidos 6 nmeros quaisquer pertencentes ao conjunto
A = {1, 2, 3, . . . , 10}.
Prove que existem dois desses seis nmeros cuja soma mpar.
9. Seja x um nmero real arbitrrio. Prove que entre os nmeros
x, 2x, 3x, . . . , 101x

4.6 Exerccios 159
existe um tal que sua diferena com certo nmero inteiro menor
0,011.
10. Mostre que entre nove nmeros que no possuem divisores pri-
mos maiores que cinco, existem dois cujo produto um qua-
drado.
11. Um disco fechado de raio um contm sete pontos, cujas distn-
cias entre quaisquer dois deles maior ou igual a um. Prove que
o centro do disco um destes pontos.
12. Na regio delimitada por um retngulo de largura quatro e altura
trs so marcados seis pontos. Prove que existe ao menos um

par destes pontos cuja distncia entre eles no maior que 5.
13. Seja a um nmero irracional. Prove que existem innitos nme-
ros racionais r = p/q tais que |a r| < 1/q 2 .
14. Suponha que cada ponto do reticulado plano pintado de vermelho

ou azul. Mostre que existe algum retngulo com vrtices no reticulado
e todos da mesma cor.
15. Um certo livreiro vende pelo menos um livro por dia. Sabendo que o
livreiro vendeu 463 livros durante 305 dias consecutivos, mostre que
em algum perodo de dias consecutivos o livreiro vendeu exatamente
144 livros.
Referncias Bibliogrcas
[1] AIGNER, M. e ZIEGLER, G. (2002). As Provas esto
no Livro. Edgard Blcher.
[2] GARCIA, A. e LEQUAIN, I. (2003). Elementos de l-

gebra. Projeto Euclides, IMPA.
[3] LIMA, E. L.; CARVALHO, P. C. P.; WAGNER, E. e
MORGADO, A.C. (2004). A Matemtica do Ensino M-

dio. Volume 1. Sociedade Brasileira de Matemtica.
[4] LIMA, E.L.; CARVALHO, P. C. P.; WAGNER, E. e
MORGADO, A.C. (2004). A Matemtica do Ensino M-

[5] LIMA,E.L.; CARVALHO,P. C. P.; WAGNER,E. e
MORGADO,A.C. (2004). A Matemtica do Ensino M-

[6] LIMA, E.L.; CARVALHO, P. C. P.; WAGNER,E. e
MORGADO, A.C. (2001). Temas e Problemas. Socie-
dade Brasileira de Matemtica.
[7] LIMA, E.L. (2001). lgebra Linear. Sociedade Brasileira

de Matemtica.
285
286 REFERNCIAS BIBLIOGRFICAS
[8] MORAIS FILHO, D. C. (2007). Um Convite Matem-

tica. EDUFCG.
[9] MORGADO, A.; CARVALHO, J.; CARVALHO, P.;
FERNANDEZ, P. (1991). Anlise Combinatria e Pro-

babilidade . Sociedade Brasileira de Matemtica.
[10] RIBENBOIM, P. (2001). Nmeros Primos: Mistrios e

Recordes. Sociedade Brasileira de Matemtica.
[11] SANTOS, J. P. O. (1993) Introduo Teoria dos N-

meros. IMPA.
[12] SANTOS, J. P. O.; MELLO, M. P. e MURARI, I. T.
C. (2006). Introduo Anlise Combinatria. Editora
Unicamp.
[13] SOARES, M. G. (2005). Clculo em uma Varivel Com-

plexa. Sociedade Brasileira de Matemtica.

PROFMAT - Iniciação À Matemática - Unidade2 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

PROFMAT - Iniciação À Matemática - Unidade2 PDF

Uploaded by

Copyright:

Available Formats

Mestrado Profissional

em Matemtica em Rede Nacional

Krerley Oliveira Adn J. Corcho

Os nmeros governam o mundo.

A teoria dos nmeros o ramo da Matemtica que estuda os mis-

trios dos nmeros e teve sua origem na antiga Grcia. Os belssimos

problemas ligados a esta rea constituem, at hoje, uma das princi-

pais fontes inspiradoras dos amantes da Matemtica. Alm disso, essa

rea possui vrias aplicaes teis a humanidade, como por exemplo,

o processo de criptograa usado em transaes pela Internet.

Alguns problemas em teoria dos nmeros demoram sculos para

serem resolvidos, como por exemplo o ltimo teorema de Fermat, que

com n maior que 2 que satisfaa xn + y n = z n . Esse problema foi ob-

demonstrado em 1995 pelo matemtico Andrew Wiles.

Ainda hoje persistem muitas questes naturais e simples sem res-

posta. Por exemplo, ningum sabe mostrar (apesar de todo mundo

acreditar que verdade!) todo natural par soma de dois pri-

mos. Essa a famosa conjectura de Goldbach. Essa simplicidade de se

rea um grande atrativo para os matemticos do mundo todo.

Este captulo ser dedicado ao estudo de algumas propriedades

bsicas relativas aos nmeros inteiros.

3.1 Conceitos Fundamentais e Diviso Eu-

Denotamos por Z o conjunto dos nmeros inteiros formado pelo con-

junto dos nmeros naturais N = {1, 2, 3, . . .} munido do zero e dos

nmeros negativos. Ou seja, Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.

ros inteiros tambm sero nmeros inteiros. Entretanto, o quociente

de dois inteiros pode ser um inteiro ou no.

Uma das propriedades fundamentais dos nmeros naturais que uti-

lizaremos ao longo do texto o conhecido princpio da boa ordenao,

Princpio da Boa Ordenao: todo subconjunto no vazio A N

mento de A o nmero 2. Por outro lado, observamos que o conjunto

dos nmeros inteiros no goza da boa ordenao.

Apesar do princpio da boa ordenao parecer inocente e natural,

muitos resultados importantes a respeito dos nmeros naturais decor-

rem do mesmo, como veremos ao longo de todo este captulo.

Denio 3.1. Sejam a e b inteiros. Dizemos que a divide b se existe

de b ou b mltiplo de a para signicar esta situao.

Usaremos a notao a | b para representar todas as frases equi-

valentes ditas anteriormente. Se a no for divisor de b, ento escre-

Exemplo 3.2. 7 | 21 pois 21 = 7 3. Por outro lado 3 - 8 pois

A seguinte proposio um bom exerccio para entender os con-

ceitos enunciados acima.

Proposio 3.3. Sejam a, b e c nmeros inteiros. Ento,

(b) se a | b e a | c ento a | (b + c) e a | (b c);

(c) se a e b so positivos e a | b ento 0 < a b;

Demonstrao. Se a|b e b|c ento existem inteiros q1 e q2 tais que

Substituindo (3.1) em (3.2) temos que

c = aq1 q2 = aq, onde q = q1 q2 Z, (3.3)

provando isto a armao feita em (a).

Agora provaremos (b). Com efeito, se a | b e a | c valem as

obtendo assim o resultado desejado.

Continuamos agora com a prova de (c). De fato, se a | b, sendo

ambos positivos, ento b = aq com

Logo, multiplicando por a ambos lados de (3.6) temos (como a posi-

Finalmente, provaremos (d). Com este propsito observamos que

|a| = |b| e consequentemente a = b ou a = b.

Exemplo 3.4. Prove que o nmero N = 545362 7 no divisvel por

Soluo. Vamos mostrar isso utilizando o mtodo do absurdo. Se

O prximo passo de nossa discusso ver o que acontece quando

um nmero no divisvel por outro. Por exemplo, analisemos se 31

divisvel por 7 e para isto listaremos a diferena entre 31 e os mltiplos

Claramente 31 no divisvel por 7, pois caso contrrio teramos

pois as diferenas rq = 31 7q com 1 q 4 so todas positivas

o processo de criptograa usado em transaes pela Internet.

Denio 3.1. Sejam a e b inteiros. Dizemos que a divide b se existe

de b ou b mltiplo de a para signicar esta situao.

provando isto a armao feita em (a).

nhos ecientes para encontrar o resto que deixa um nmero quando