Вы находитесь на странице: 1из 74

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.


3.1 Conceitos Fundamentais e Diviso Euclidiana 93

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.
3.1 Conceitos Fundamentais e Diviso Euclidiana 95

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.
3.1 Conceitos Fundamentais e Diviso Euclidiana 97

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


3.2 Bases Numricas 101

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 .
102 3 Divisibilidade

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 .
3.2 Bases Numricas 103

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.
104 3 Divisibilidade

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
3.2 Bases Numricas 105

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,
106 3 Divisibilidade

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
108 3 Divisibilidade

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.
3.3 Mximo Divisor Comum e Mnimo Mltiplo Comum 109

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)
110 3 Divisibilidade

(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
3.3 Mximo Divisor Comum e Mnimo Mltiplo Comum 111

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-
112 3 Divisibilidade

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 .


3.3 Mximo Divisor Comum e Mnimo Mltiplo Comum 113

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.
114 3 Divisibilidade

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 Mximo Divisor Comum e Mnimo Mltiplo Comum 115

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)


116 3 Divisibilidade

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)


3.3 Mximo Divisor Comum e Mnimo Mltiplo Comum 117

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 ,
118 3 Divisibilidade

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.


3.3 Mximo Divisor Comum e Mnimo Mltiplo Comum 119

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.


120 3 Divisibilidade

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.
3.3 Mximo Divisor Comum e Mnimo Mltiplo Comum 121

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
122 3 Divisibilidade

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.
124 3 Divisibilidade

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 .
126 3 Divisibilidade

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


128 3 Divisibilidade

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
3.5 Procurando Primos 129

Passo 2: tiramos os mltiplos de 2

2 3 5 7

11 13 17 19

23 25 29

31 35 37

Passo 3: tiramos os mltiplos de 3

2 3 5 7

11 13 17 19

23 29

31 37

Passo 4: tiramos os mltiplos de 5

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


130 3 Divisibilidade

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 .


 
3.5 Procurando Primos 131

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.


132 3 Divisibilidade

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 Procurando Primos 133

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 .


134 3 Divisibilidade

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 .
3.5 Procurando Primos 135

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.
136 3 Divisibilidade

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.


3.5 Procurando Primos 137

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.
138 3 Divisibilidade

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
140 3 Divisibilidade

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.
142 3 Divisibilidade

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
146 4 O Princpio da Casa dos Pombos

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


148 4 O Princpio da Casa dos Pombos

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.


150 4 O Princpio da Casa dos Pombos

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.
152 4 O Princpio da Casa dos Pombos

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.
154 4 O Princpio da Casa dos Pombos

-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


156 4 O Princpio da Casa dos Pombos

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
158 4 O Princpio da Casa dos Pombos

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-


dio. Volume 2. Sociedade Brasileira de Matemtica.

[5] LIMA,E.L.; CARVALHO,P. C. P.; WAGNER,E. e

MORGADO,A.C. (2004). A Matemtica do Ensino M-


dio. Volume 3. Sociedade Brasileira de Matemtica.

[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.