Unidade 2

em Matemtica em Rede Nacional
Mestrado Profissional
Iniciao Matemtica
Autores: Krerley Oliveira Adn J. Corcho
Unidade II: Captulos III e IV
3
Divisibilidade

A teoria dos nmeros o ramo da Matemtica que estuda os mistrios dos nmeros e teve sua origem na antiga Grcia. Os belssimos problemas ligados a esta rea constituem, at hoje, uma das principais 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
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 obserem resolvidos, como por exemplo o 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 resposta. Por exemplo, ningum sabe mostrar (apesar de todo mundo
89
90
acreditar que verdade!) que
Divisibilidade
todo natural par soma de dois primos. 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 Euclidiana
Denotamos por
o conjunto dos nmeros inteiros formado pelo con-
junto dos nmeros naturais nmeros negativos. Ou seja,
Comeamos observando que a soma, diferena e produto de nmeros 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 utilizaremos ao longo do texto o conhecido que arma o seguinte:
N = {1, 2, 3, . . .} munido do zero e Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.
dos
princpio da boa ordenao,
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
o conjunto dos nmeros pares, o menor elePor outro lado, observamos que o conjunto
mento de
A o nmero 2.
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
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 de b ou b mltiplo de a para signicar esta situao.
Usaremos a notao divisor
valentes ditas anteriormente. Se veremos
a | b
para representar todas as frases equi-
no for divisor de
b,
ento escre-
a b.
8 pois considerando o conjunto M = {3m, m N} = {3, 6, 9, 12, . . .} dos
Exemplo 3.2. 7 | 21 pois 21 = 7 3. Por outro lado 3
mltiplos positivos de 3 vemos que 8 no pertence ao mesmo.
A seguinte proposio um bom exerccio para entender os conceitos 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
b|c
ento existem inteiros
q1
q2
tais que
b = aq1
e
(3.1)
c = bq2 .
(3.2)
92
Substituindo (3.1) em (3.2) temos que
Divisibilidade
c = aq1 q2 = aq,
onde
q = q1 q2 Z, a | b
e
(3.3)
provando isto a armao feita em (a). Agora provaremos (b). igualdades Com efeito, se
a | c
valem as
b = aq1 ,
e
q1 Z q2 Z.
(3.4)
c = aq2 ,
(3.5)
Operando com os ambos lados das igualdades (3.4) e (3.5) temos que
b + c = a(q1 + q2 )
r Z
b c = a(q1 q2 ),
sZ
obtendo assim o resultado desejado. Continuamos agora com a prova de (c). De fato, se ambos positivos, ento
b = aq
com
a | b,
sendo
q 1.
Logo, multiplicando por tivo) que
(3.6)
a ambos lados de (3.6) temos (como a posib = aq a > 0,
como espervamos. Finalmente, provaremos (d). Com este propsito observamos que se
(c) temos
a|b
b|a
|a| = |b|
|a| divide |b| e |b| divide |a|. Portanto, pelo item que |a| |b| e |b| |a|, ou seja, |a| |b| |a|. Logo, consequentemente a = b ou a = b.
ento
3.1
93
5.
Exemplo 3.4. Prove que o nmero N = 545362 7 no divisvel por

Vamos mostrar isso utilizando o mtodo do absurdo. Se
Soluo.
5
45362
este nmero fosse divisvel por 5, ento
5q ,
ou seja,
seria divisvel por
5 5, o
45362
que um absurdo.
7 = 5q .
Logo,
7 =
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, r5 = 31 7 5 = 4,

. . .
r4 = 31 7 4 = 3,
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 e com
diferenas positivas a nica que menor que 7 corresponde ao caso
q 5
so todas negativas. Entretanto, notamos que entre as
rq = 31 7q
com
1 q 4
so todas positivas
q = 4.
O resultado seguinte nos diz o que acontece no caso geral da
diviso de um inteiro
por um inteiro positivo
a.
94
Divisibilidade
a positivo, existem nicos inteiros q e r tais que b = aq + r, 0 r < a.
Teorema 3.5
(Diviso Euclidiana)
. Dados dois inteiros a e b, sendo
Se a b, ento r satisfaz a desigualdade estrita 0 < r < a. Demonstrao.

a,
basta tomar Por simplicidade, suporemos que
positivo. Se
b = a, ento tomamos q = 1 e Assim, assumiremos tambm que b > a > 0. Consideremos o conjunto
e Se
q=0
r = b.
b< r = 0.
R = {b aq Z; b aq 0} N {0}
Notemos que o conjunto
(3.7) j que
no vazio, pois
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
b a R,
r = b aq a b a(q + 1) 0.
Por outro lado,
(3.8)
a > 0 b a(q + 1) < b aq.

Das desigualdades (3.8) e (3.9) segue que
(3.9)
0 b a(q + 1) < b aq,

contradizendo o fato de que de
R.
r = b aq o menor elemento no negativo r

e
Agora provaremos que de fato
q,
escolhidos desta forma, so
nicos. Com efeito, suponhamos que existem outros inteiros tais que
r1
q1
b = aq1 + r1 ,
0 r1 < a.
3.1
95
Ento resulta que
aq + r = aq1 + r1 .
Logo,
(r r1 ) = (q1 q )a;
sendo assim,
(3.10)
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
no enunciado do teorema acima so chamados, e
respectivamente, de
quociente
resto
da diviso de
por
a.
Um resultado imediato da diviso euclidiana o seguinte.
existe um nmero natural n tal que
Corolrio 3.6. Dados dois nmeros naturais a e b com 1 < a b,

na b < (n + 1)a.
Demonstrao.
0r<a
Pela diviso euclidiana, existem nicos
tais que
b = aq + r.
Assim
q, r N
com
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.
Usando a identidade com
Soluo.
a2 = (a 1)(a + 1) + 1
a2 1 = (a 1)(a + 1) temos que 1 < a 1, de onde segue o resultado.
96
Divisibilidade
O prximo exemplo, como veremos, motiva a procura de caminhos 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.
nmero Para resolver este problema basta achar o resto que deixa o quando dividido por 3. Entretanto,
queremos destacar que no preciso fazer os produtos e a soma envolvidos no nmero que aparece em assim um novo
n = 175 50 + 213 20 n.
Em lugar de fazer isto substitumos cada nmero
n pelo resto que este deixa na diviso por 3, formando 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 diviso por 3. Logo, sobraram 2 pesos depois de fazer a troca.
na
A soluo do exemplo anterior uma aplicao particular do seguinte lema que de muita utilidade na resoluo de problemas.
nmeros naturais deixa o mesmo resto que a soma e o produto dos seus restos, na diviso por um inteiro positivo a.
Lema 3.9 (Lema dos Restos). A soma e o produto de quaisquer dois
3.1

Sejam
97
Demonstrao.
ambos os nmeros
n1 , n2 Z. por a temos que

e
Fazendo a diviso com resto de
n1 = aq1 + r1
com
n2 = aq2 + r2 ,
0 r1 , r2 < a.
Ento,
n1 n2 = (aq1 + r1 )(aq2 + r2 ) = a2 q1 q2 + aq1 r2 + aq2 r1 + r1 r2 = a(aq1 q2 + q1 r2 + q2 r1 ) + r1 r2 = aq + r1 r2 ,

onde (3.11)
q = aq1 q2 + q1 r2 + q2 r1 .
Agora dividimos
r1 r2 por a para obtermos

(3.12)
r1 r2 = ap + r,
p Z,
0 r < a.
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 e
n1 n2
r1 r2
na diviso por
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 nmeros 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 consecutivos sempre divisvel por 2.
98
Divisibilidade
por
Soluo.
2.
Se
Quando fazemos a diviso de
n N temos r=0
ou
que provar que
an = n(n + 1) divisvel
por 2 temos duas possibilidades
para o resto:
r = 1.
Analisemos os dois casos por separado.
[r = 0]
2.
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
[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 tambm divisvel por 2.
an
Mostraremos agora como utilizar o exemplo anterior pra resolver um dos problemas da
1a
Olimpada Brasileira de Matemtica.
8.
Exemplo 3.12. Prove que se n mpar, ento n2 1 mltiplo de

Como
Soluo.
k Z.
mpar, podemos escrever
n = 2m + 1,
para algum
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, 2. Portanto,
m(m + 1) = 2q
para algum
m(m + 1) q Z, de aonde
mltiplo de
n2 1 = 4m(m + 1) = 4 2q = 8q,
como queramos demonstrar.
3.2
Bases Numricas
99
inteiros, pelo menos um deles mltiplo de 3. Soluo.
Exemplo 3.13. Prove que em qualquer tringulo retngulo com lados

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 por 3:
n e n2 ,
na diviso
n n2
0 1 2 0 1 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
os catetos e por
a hipotenusa. Supo-
nhamos que nenhum deles divisvel por 3. Ento 1 na diviso por 3. Logo,
a2 + b 2
deixa resto
a2 e b2 deixam resto 12 + 12 = 2 na diviso
por 3; mas isto uma contradio pois, pelo Teorema de Pitgoras,
a2 + b 2 = c 2
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, encontrou 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
Divisibilidade
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,

que claramente, tem por solues: tao de 34 na base decimal.
(3.14)
x=3
y = 4,
usando a represen-
No sistema de numerao decimal, tambm conhecido como sistema numrico na base
10,
todo nmero pode ser representado como
uma sequncia de 10 smbolos, constitudos pelo rismos
(zero) e os alga-
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 positivo formado pelos ento
a = an an1 . . . a1 a0 o nmero inteiro algarismos an , an1 , . . . , a1 e a0 , nessa ordem,
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 populares 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.

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

Da temos a validade para Para
b = 1. an b n = b n ( a )n 1 . b
Usando
esta expresso e (3.16) tem-se
bN
qualquer, observe que
an b n = b n ( a 1) ( a )n1 + ( a )n2 + + ( a )+1 b b b b
= (a b)(an1 + an2 b + + abn2 + bn1 ),

obtendo-se a igualdade clamada.
= (a b)bn1 ( a )n1 + ( a )n2 + + ( a )+1 b b b
(3.17)
um inteiro positivo, ento
Proposio 3.15
(Critrios de Divisibilidade)
. Seja a = an . . . a1 a0
(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 | a0 ,
prondose-se assim o critrio (a).
10 | a
se, e somente se,
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 segue-se
10j 1 = 9qj
para todo
1 j n,
da
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 numrica.
104
Divisibilidade
Teorema 3.17
(Bases Numricas)
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 .
. Dados a, b N, com b > 1, exis-
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.

segue:
Apliquemos sucessivamente a diviso euclidiana como
a = bq0 + r0 , q0 = bq1 + r1 , q1 = bq2 + r2 ,

. . . . . . . . .
r0 < b, r1 < b, r2 < b,

. . .
qj 1 = bqj + rj ,
rj < b,
a > q0 > q1 > q2 > > qj 1 , 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
e assim por diante. Como
3.2
Bases Numricas
tem-se
105
1 j n,
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 euclidiana.
ri
vem da unicidade dos restos na diviso
Observao 3.18. O sistema de numerao na base 2 tambm conhecido 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.
nica como Usando o sistema de numerao em base
temos que
qualquer nmero
tal que
1 a 100
pode ser expressado de forma
a = r6 26 + r5 25 + r4 24 + r3 23 + r2 22 + r1 2 + r0 1,
106
com
Divisibilidade
estas potncias no so consideradas. notemos tambm que o fato de cada
ri {0, 1}, 0 i 1. ri
ser
Observe que
2n 128,
com
n 7,
logo
ou
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
100g .
3.3
Mximo Divisor Comum e Mnimo Mltiplo 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 denominado
mximo divisor comum.
Daqui por diante s consideraremos os divisores positivos dos nmeros.
Denio 3.20 (Mximo Divisor Comum). Sejam a e b inteiros diferentes 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
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 = 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
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.
divisor comum dos nmeros Vejamos (b). Usando o item (b) da Proposio 3.3 temos que todo divisor comum de um divisor de
tambm divide
e, consequentemente,
b 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
os divisores comuns de de
Divisibilidade
so os mesmos que os divisores comuns
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.
ento existem nmeros inteiros x0 e y0 tais que d = (a, b) = ax0 + by0 . Demonstrao.
Considere a combinao linear
Teorema 3.23 (Teorema de Bachet-Bzout). Se d o mdc de a e b,

ax + by ,
onde
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 vemos que
x = y = 0, y0
tais que
Ca,b
tambm contm o zero.
Pelo princpio da boa ordenao, podemos escolher
x0
= ax0 + by0 seja o menor nmero inteiro positivo contido no conjunto Ca,b .
Agora mostraremos que outro segue analogamente. Usaremos para este propsito o mtodo de reduo ao absurdo, ou seja, vamos supor que contradio.
|a
| b.
Provaremos que
|a
e o
e obteremos uma
3.3

Usando a diviso euclidiana, de
109
existem inteiros
tais que
a = q + r
com
a segue que 0 < r < . Portanto,
r = a q = a q (ax0 + by0 ) = a(1 qx0 ) + b(qy0 )

e assim
est no conjunto
Ca,b ,
o que contradiz a hiptese de
ser o
menor elemento positivo contido em Uma vez que desde que
Ca,b .
efeito,
divide a e b s resta provar que = d. Com d = (a, b), podemos escrever a = da1 , b = db1 e = ax0 + by0 = d(a1 x0 + b1 y0 ).
Assim
d . Agora d < d = = ax0 + by0 .
d | .
Logo pela parte (c) da Proposio 3.3, conclumos que impossvel pois
d =
mdc(a, b), e portanto
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).
1 (d) Se d | a e d | b, ento ( a , b) = d (a, b). Consequentemente, d d
a b , (a, b) (a, b)
= 1.
110
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 anunciada no teorema de Bzout; assim como (b)
(a, b) = ax0 + by0
segue diretamente da demonstrao dada a este teorema. Para provar (c), primeiro observamos que
(a)x + (b)y = (ax + by )

Usando o item (a) e o fato de que
onde
x, y Z.
ser positivo, da igualdade acima segue
(a, b) = min (a)x + (b)y > 0; = min ax + by ; x, y Z = (a, b).
x, y Z
A armao feita em (d) segue diretamente de (c), observando que
(a, b) =
a b d ,d d d
=d
a b , d d
.
temos que
Continuamos com a prova de (e). De existem inteiros
(a, c) = (b, c) = 1,
xj
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.

x y
3.3
111
Ento, usando o item (b) e a igualdade acima resulta que
(ab, c) = 1.
Finalmente, provaremos (f ). Das hipteses temos que existem inteiros
x0
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.
Algoritmo de Euclides
3.3.2
Apesar de conhecermos propriedades tericas do mdc entre dois inteiros, 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 os divisores de conjuntos. Para achar o mdc se faz uso de um importante mtodo denominado
a,
todos
e descobrir qual o maior elemento comum aos dois
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
Divisibilidade
guinte sequncia de igualdades

b = aq1 + r1 , a = r1 q2 + r2 , r = r q + r , 1 2 3 3 rn2 = rn1 qn + rn , r n1 = rn qn+1 , 0 r1 < a, 0 r2 < r1 , 0 r3 < r2 , 0 rn < rn1 ,
(3.20)
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 trabalhando 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.
ros inteiros
Comeamos observando que
o processo de diviso (3.20) nito. Com efeito, a sequncia de nme-
rk estritamente decrescente e est contida no conjunto {r Z, 0 r < a}, portanto no pode conter mais do que a inteiusando a Proposio 3.22 temos que
ros positivos. Examinando as igualdades (3.20) de cima para baixo e
(a, b) = (a, r1 ) = (r1 , r2 ) = = (rn1 , rn ) = rn .
3.3
113
ser obtido como consequncia do processo de diviso (3.20). Com efeito, podemos escrever
rn = rn2 rn1 qn rn1 = rn3 rn2 qn1 rn = rn2 (rn3 rn2 qn1 )qn .
Observao 3.27. Notemos que o teorema de Bzout tambm pode
Logo, conseguimos escrever rn em termos de rn2 e rn3 . Utilizando a expresso rn2 = rn4 rn3 qn2 podemos escrever rn como combinao 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 irredutvel para todo 4n + 15
Exemplo 3.29. Provar que a frao

nmero natural n.
114
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
2n + 8
so
primos entre si para qualquer valor de
n.
60 vezes
Exemplo 3.30. Achar o mdc.(111 . . . 111, 11 . . . 11)

100 vezes
Soluo.
Primeiro escrevemos os nmeros na base decimal, isto ,
111 . . . 111 = 1099 + 1098 + + 1,

100 vezes
11 . . . 11 = 1059 + 1058 + + 1.
60 vezes
Aplicamos agora o algoritmo de Euclides para obter as seguintes igualdades
111 . . . 111 = (1059 + 1058 + + 1)1040 + 1039 + 1038 + + 1,

100 vezes
1059 + 1058 + + 1 = (1039 + 1038 + + 1)1020 + 1039 + 1038 + + 1 = (1019 + 1018 + + 1)1020 + + 1019 + 1018 + + 1.
Disso resulta que mdc.(111 . . . 111, 11 . . . 11)
+ 1019 + 1018 + + 1,
100 vezes
60 vezes
= 1019 + 1018 + + 1 = 11 . . . 11 .
20 vezes
3.3

Mnimo Mltiplo Comum
115
3.3.3
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)
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).
. Sejam a e b inteiros
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.
guintes armaes:
Proposio 3.32. Sejam a, b, c Z e Z. Ento valem as se(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.
de
Comeamos com a prova de (a). A diviso com resto
por
[a, b]
nos d
c = [a, b]q + r,
0 r < [a, b].
(3.21)
116
Da igualdade anterior, basta provar que desejado. Suponhamos, pelo contrrio, que tanto
Divisibilidade
resultado Notemos
r = 0 para obter o que 0 < r < [a, b]. a

e
como
dividem
[a, b].
e
Logo, pelo item (b) da Pro-
posio 3.3 e a igualdade (3.21), temos que ou seja,
tambm dividem
mltiplo comum de
e no pode ser menor que
r, [a, b],
contradizendo nossa suposio. Prosseguimos com a prova de (b). Observemos que plo comum de
[a, b]
mlti-
b,
logo pelo item (i) vale que
[a, b] [a, b].

Por outro lado, [a, b] = q1 a = q2 b, para alguns inteiros [a,b] logo, um mltiplo comum de a e b. Portanto,
(3.22)
q1
q2 ;
[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
so positivos devido s igualdades
[a, b] = [a, b] = [a, b] = [a, b].

Dividiremos a prova em dois casos:
Caso 1: (a, b) = 1.
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
Sabemos que
ab aq = [a, b].
(3.24)
3.3
117
Entretanto, da denio de
[a, b]
vale que (3.25)
[a, b] ab.
Das desigualdades (3.24) e (3.25) segue que
ab = [a, b] = [a, b] 1 = [a, b] (a, b).
ab [a, b] ab.
Assim,
Caso 2: (a, b) > 1.

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

Multiplicamos esta ltima igualdade por
a b , (a, b) (a, b) (a, b)2
e usamos o item (b)
provado anteriormente, assim como a parte (d) da Proposio 3.24 para obter
ab = (a, b)
a b , (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 direo, 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 encontrarem pela primeira vez no ponto de partida. Quantas voltas deu cada um? Soluo.
Denotemos por
n1 T
n2 , respectivamente, o nmero de voltas
que d cada um dos amigos. Notemos que o tempo total da corrida o menor valor positivo de que satisfaz as igualdades
T = 15n1 = 18n2 ,
118
ou seja
Divisibilidade
T = [15, 18] =
Portanto,
15 18 = 90. 3
n1 = 6
n2 = 5.
Finalizamos esta seo com um exemplo que nos fornece uma bela interpretao geomtrica do mnimo mltiplo comum. proposto na Olimpada Brasileira de Matemtica. O mesmo foi
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 sucessivamente nos lados do retngulo. Quantos quadrados so atravessados pelo raio de luz?
D C
Figura 3.2: Interpretao geomtrica do mmc
Soluo.
n,
Se zermos alguns testes preliminares dando valores a
veremos que em cada caso a resposta coincidir com o
me mmc(m,n).
Provemos que isto de fato vale para
quaisquer. Para realizar a
prova nos auxiliaremos da Figura 3.2.
3.3
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 at chegar ao lado
A,
ter que atravessar
quadrados
BC , 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 somente se, atravessar
AB
ou no lado
DC
se, e
qn
quadrados, com
q N.
Somente nos vrtices
B, C
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 dos tal que de
x de quadrao
x = pm = qn,
ou seja,
dever ser um mltiplo comum
n. claro que a primeira vez que o raio chega a um vrtice nmero x o menor mltiplo comum de m e n, isto , x = [m, n].
e duas vezes no percurso do raio de
Finalmente, observamos que nenhum dos quadrados atravessado
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.3.4 Equaes Diofantinas Lineares
Divisibilidade
Consideremos a equao
ax + by = c,
onde
(3.26)
A equao (3.26) chamada de
a, b, c Z,
com
a=0
b = 0.
equao diofantina linear

(x, y )
e uma
soluo desta qualquer par de inteiros
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 so solues da equao diofantina
3 2 1 0 -1 -2 -3 -3 -2
3x 2y = 1, y x
veja a Figura 3.3.
(1, 2)
(1, 1)
-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
121
Proposio 3.35. A equao diofantina linear

ax + by = c, a, b, c Z, com a = 0 e b = 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:
b x = x0 + t d
e y = y0 t a , d
t Z.
(3.28)
(x0 , y0 ) uma soluo 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
Primeiramente suponhamos que verica a igualdade
Demonstrao.
dq1 x0 + dq2 y0 = d(q1 x0 + q2 y0 ) = c,

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

tais que
ambos os lados desta
ax0 q + by0 q = c,
logo o par diofantina. Resta provar agora que temos innitas solues da forma (3.28). Com efeito, sendo
(x1 , y1 ),
com
x1 = x 0 q
y1 = y0 q ,
soluo da equao
(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
Como existe
Divisibilidade
Logo,
(a , b ) = 1, ento d d inteiro t tal que
temos que
a d
| (y0 y )
b d
| (x x0 ).
b x = x0 + t d
y = y0 t a . d t as expresses
Por outro lado, fcil vericar que para qualquer inteiro achadas acima para
resolvem a equao diofantina.
A seguir damos um exemplo de como proceder para resolver equaes diofantinas.
Exemplo 3.36. Achar todas as solues inteiras da equao

12x + 33y = 27.
Soluo.
Observemos que
(12, 33) = 3
e que
o tem innitas solues. e teremos as restantes.
Como sabemos, basta achar uma delas
3 | 27,
logo a equa-
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
mesma. Ento pela Proposio 3.35 temos que
y0 = 1 t Z,
solucionam a
x = 5 + 11t
y = 4t 1,
esgotam todas as solues que procuramos.
Alternativa 2:
mdc
aplicamos o algoritmo de Euclides para achar o
(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
Usando estas duas obtemos
9 = 33 12 2.
3 = 12 (33 12 2) 1 = 12 33 + 12 2 = 3 12 1 33,
x0 = 3 e y0 = 1, garantidos pelo teorema de Bzout, que validam 3 = 12x0 +33y0 . Multiplicamos por 9 esta ltima
ou seja, achamos igualdade para obter
27 = 12(9x0 ) + 33(9y0 ).
Portanto,
x0 = 9x0 = 27
a equao diofantina.
Analogamente, como na alternativa anterior,
y0 = 9y0 = 9 resolvem, particularmente,
podemos escrever a soluo geral da forma:
x = 27 + 11s
y = 4s 9,
s Z.
3.4
Ao longo da histria da Matemtica, os nmeros primos foram protagonistas 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 humanidade.
124
Divisibilidade
Esta seo ser dedicada ao estudo de propriedades bsicas dos nmeros primos. Todo nmero natural
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. primo nem composto.
Observao 3.38. De modo geral o nmero 1 no considerado nem 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
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 , = 399 1649,

Portanto, podemos concluir que
= (1024 625)(1024 + 625),
(3.29)
= 3 133 1649. 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
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.
n, diferente de 1 < q < p; mas
Comeamos provando (a). Seja 1. Se
o menor divisor de
fosse composto teria algum divisor
tal que
q|p
o que nos diz que
p | n, p.
o menor divisor de
Para provar (b) denotamos por de 1. Portanto,
q | n,
e isto contradiz a hiptese levantada sobre
desigualdade
n = pq com por p obtemos
p q p.
n,
diferente
Multiplicando ambos lados da
e consequentemente vale
n p.
n = pq p2 ,
Agora vamos enunciar um dos resultados mais clssicos da Matemtica, 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 Euclides 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 primos innita. Demonstrao.

por Faremos a prova por reduo ao absurdo. Suponha
que existe uma quantidade nita de nmeros primos e denotemos estes
p1 , p2 , p3 , . . . , pk .
126
Consideremos o nmero
Divisibilidade
n = p1 p2 p 3 pk + 1
e chamemos de
o seu menor divisor primo. Obviamente
no coin-
cide com nenhum dos nmeros como ele divide
n,
teria que dividir 1, o que impossvel. Logo, te-
pi , 1 i k ,
pois caso contrrio,
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.
logo Primeiramente, suponhamos que
p primo e que p b,
(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
no primo. Ento, (3.31)
p = d1 d2 ,
De (3.30) segue que
com ou
1 < d1 < p, 1 < d2 < p.

consequentemente
p | d1
p | d2 ;
ou
p d1 ,
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 matemticos 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
um algoritmo que nos permite achar todos
O crivo de Eratstenes
os nmeros primos que so menores ou iguais que um natural
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
lista
Divisibilidade
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 Por exemplo, se aplicando o mtodo: 2 11 21 31 12 22 32 3 13 23 33 4 14 24 34 5 15 25 35 6 16 26 36 7 17 27 37 8 18 28 38 9 19 29 39 10 20 30 40
n..
n = 40,
temos que
40 = 6, 324555.
Ento,
Passo 1: ordenamos os nmeros
2
11 21 31
3 13 23 33
5 15 25 35
7 17 27 37
9 19 29 39
3.5
Procurando Primos
Passo 2: tiramos os mltiplos de 2
129
2 11
3
13 23
7 17 19 29 37
25 35
31
2 11
3 13 23
7 17 19 29 37
31
Como
72 = 49 > 40,
paramos agora.
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.
Observao 3.44. Note que ao comear a apagar os mltiplos de um
3.5.2
Primos de Mersenne
Marin Mersenne (1588-1648) foi um monge francs que nasceu na cidade de Maine e foi um dos grandes inuenciadores da Matemtica
130
2 31 73 127 179 233 283 353 419 467 3 37 79 131 181 239 293 359 421 479 5 41 83 137 191 241 307 367 431 487 7 43 89 139 193 251 311 373 433 491 11 47 97 149 197 257 313 379 439 499 13 53 101 151 199 263 317 383 443 503 17 59 103 157 211 269 331 389 449 509 19 61 107 163 223 271 337 397 457 521
Divisibilidade
23 67 29 71 113 173 229 281 349 409 463 541
109 167 227 277 347 401 461 523
Tabela 3.1: Os primeiros 100 nmeros primos
francesa nos sculos XVI e XVII. Apaixonado pelos nmeros, teve entre 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.
n = a.b,
com Provar essa proposio equivale a mostrar que a sua forma contrarrecproca vale. Ou seja, que se
composto, digamos De fato,
usando o Lema 3.14, podemos decomp-lo do seguinte modo:
a b > 1,
ento
Mn
tambm composto.
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 exemplo, Hudalricus Regius mostrou em 1536 que no primo, j que
Em 1643, Mersenne armou que para
2.047 = 23 89.
M11 = 211 1 = 2.047
n = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127 e 257,

os valores de menores que
Mn so todos primos 257, Mn composto. n onde Mn primo:
e para todos os outros valores de
Hoje sabemos que Mersenne errou na sua armao, esquecendo trs valores de 61, 89 e 107 e incluindo
M67 e M257
como nmeros primos. Para mais informaes, sugerimos a pgina http://primes.utm.edu/mersenne/index.html.
web
Finalizamos esta seo, com um critrio interessante, devido matemtica francesa Sophie Germain (1776-1831), que nos permite saber quando um nmero no primo.
Proposio 3.46
vale a igualdade
(Identidade de Sophie Germain)
. Dados a, b R,
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
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 nmeros mpares. Estudaremos cada classe por separado. Assim,
n um nmero par, ento n = 2m para algum inteiro positivo m 1. Deste modo,

se
n4 + 4n = (2m)4 + 42m = 16m4 + 24m , = 2 8m4 + 24m1 .

Portanto, neste caso,
nmero inteiro positivo par temos que primo;
n4 + 4n 2.
Logo, se
n>1
qualquer
n +4
no um nmero
se
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

Logo, tomando
= (2m + 1)4 + 4 24m = (2m + 1)4 + 4 (2m )4 . 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
520 + 230 = 554 + 22 228 = 55 b=2

7
para comprovar que o nmero
+ 4 27
, a = 55
e
de onde podemos usar a Identidade de Sophie Germain com
5 +2
20
30
composto.
3.5
Procurando Primos
O Teorema Fundamental da Aritmtica
133
3.5.3
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 primos. 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.
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
Divisibilidade
Teorema 3.49 (Teorema Fundamental da Aritmtica). Todo nmero

natural n maior que 1 pode ser escrito como um produto
m 1 2 3 n = p 1 p2 p3 pm ,
(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
um inteiro maior que 1. Denotando por
p1
seu
menor divisor primo tem-se que
n = p1 1 ,
Se
1 1 < n.
1 = 1,
contrrio,
N1 = p1 e a fatorao desejada obtida. Caso denotando por p2 o menor divisor primo de 1 tem-se que
ento
n = p1 p2 2 ,
Se
1 2 < 1 .
2 = 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 . n ,
ou seja,
Continuando este processo sucessivamente obtemos ento uma sequncia estritamente decrescente de nmeros naturais
n > 1 > 2 > 2 > > n > n+1 > 1,

Ento, pelo princpio da boa ordem, s pode existir uma quantidade nita de ndices onde segue que
tais que
n > 1
e consequentemente
n+1 = 1,
de
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, suponha que existem duas fatoraes:
1 2 3 m s 1 2 3 p 1 p2 p 3 p m = n = q1 q2 q3 qs
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
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
igualdade acima, e, um argumento anlogo nos d que cada e a igualdade se reduz a
1 2 3 m m 1 2 3 p 1 p 2 p3 pm = p1 p2 p3 pm .
Suponhamos agora que neralidade vamos supor
1 seja diferente de 1 ; que 1 < 1 . Portanto,
sem perda de ge-
1 1 2 3 3 m 2 m p p2 p3 p 2 p3 pm = p 1 m ,
1 1 > 0 ento, pela Proposio 3.43 temos que p1 divide algum pj , com j > 1, o que impossvel. Portanto, 1 = 1 . Similarmente provamos que i = i , com i = 1, . . . , n.
e como
ciado precisamente por Gauss (1777-1855). Seus antecessores, Fermat, Euler, Lagrange e Legendre, utilizavam este teorema sem a preocupao de t-lo enunciado ou demonstrado com preciso. Uma prova alternativa deste teorema ser apresentada no Captulo 6, usando o mtodo de induo.
Observao 3.50. O teorema fundamental da aritmtica foi enun-
136
Divisibilidade
nmero 2 aparece na fatorao de n em fatores primos. Soluo.

ento
Exemplo 3.51. Prove que um nmero n par se, e somente se, o

Obviamente, se 2 aparece na fatorao em primos de par. Ora, se
par temos que
n = 2q .
Por outro lado
N, qe
se fatoram, respectivamente, como
1 2 m q = q1 q2 qm
Logo,
s 1 2 n = p 1 p2 ps .
1 2 m s 1 2 2 q1 q2 q m = p 1 p2 ps .
Pela unicidade da fatorao, para algum respondente
i,
com
pi
deve ser igual a 2. Portanto, 2 aparece na fatorao de
1 i s,
o cor-
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.
A1 = {p1 , p2 , . . . , pr }
e
Mostraremos que impossvel fazer esta decomposio. Com
efeito, suponha que existem tais conjuntos,
A2 = {q1 , q2 , . . . , qs }.
Ento
p1 p2 pr = q1 q 2 qs

e alm disso, como os conjuntos nmero 5 aparece no produto
A1
A2
so disjuntos, temos que o
ou no produto
mas no em ambos
simultaneamente. Por outro lado, o Teorema 3.49 nos diz que a fatorao em primos de 5 deveria
igual fatorao em primos de , logo o nmero 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.
gum Digamos que seja possvel essa decomposio para al-
n e vamos denotar os conjuntos que obtemos com a decomposio por A1 e A2 . Observando a decomposio dos elementos dos subconjuntos 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
algarismos da forma aabb e que sejam quadrados perfeitos.
Exemplo 3.54. Encontre todos os nmeros que so formados por 4
138
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 . 112 | N 2 . Segue-se ento que 11 | (99a + a + b). Portanto, 11 | (a + b). Como aabb tem 4 algarismos, segue-se que a = 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 = 1, pois se a = 1 ento b = 10. Analogamente, b = 0, 1. Portanto,
Como 11 primo fcil ver, usando a Proposio 3.43, que
a {2, 3, 4, . . . , 9}
somente pode acabar em
b {2, 3, 4, . . . , 9}.
e
Como em todo nmero quadrado perfeito o algarismo das unidades
0, 1, 4, 5, 6
9.
Segue-se que
b {4, 5, 6, 9}.
Certamente ao
b = 5, pois todo nmero que acaba em 5 quando elevado 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.
5.566
que no
um quadrado perfeito;
3.6
Exerccios
139
ento
Se
b = 9,
a = 2.
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) (b) (c)
2001 2002 2003 2004 + 20052 2100

quando dividido por 3;
quando dividido por 7;
(1237156 + 34)
28
quando dividido por 111.
2. Provar que o nmero nmero natural 3. Prove que se (a) (b) (c)
n5 + 4 n
divisvel por 5 para qualquer
n.
mpar
n3 n n2 1
divisvel por 24; divisvel por 8; divisvel por 12.
n2 + (n + 2)2 + (n + 4)2 + 1 21093 2
4. O nmero 5. Prove que 6. O nmero
divisvel por
10932
(999994)1234567890 1 N = 42005 + 20054
divisvel por
333331.
primo? composto.
7. Demonstre que o nmero
1 000 . . . 00 1
2006 zeros
140
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, e
x, y, z ,
tais que
x2 + y 2 = z 2 ,
mostre que
no so ambos mpares e que
xy
mltiplo de 6.
10. Demonstre que o quadrado de um inteiro da forma ou
8n ou 8n +1
8n + 4. p, q
e
11. Trs nmeros primos
gresso aritmtica, ou seja, divisvel por 6.
r, maiores que 3, formam uma proq = p + d e r = p + 2d. Prove que d
12. Demonstrar que existem innitos nmeros primos da forma
4m +
e da forma
6m + 5,
onde
m Z.
13. Encontrar o ltimo dgito dos nmeros (a) (b) (c)
19892005 ; 777777 + 250 ; 1 + 22 + 32 + + 20052 .
14. Prove que a soma dos quadrados de cinco nmeros consecutivos no um quadrado perfeito. 15. Prove que
1 00 00 5 00 00 1
100zeros 100zeros
no um cubo perfeito.
16. Seja
um inteiro positivo. Enuncie e prove o critrio de divisi-
bilidade por
no sistema de numerao de base
b.
17. Prove que os nmeros
3.6
Exerccios
(a)
141
(b)
1 1 1 + + + , com n > 1, 2 3 n 1 1 1 n = + + + , com n > 0, 3 5 2n + 1 n = 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
inteiros positivos
escritos no sistema binrio (base 2) regular se, para qualquer
inteiro no negativo a quantidade de nmeros de
An
que con-
templam
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. n
Demonstrar que todos os coecientes
do desenvolvimento do binmio de Newton se, e somente se, da forma
(a + b)n
so mpares
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
Divisibilidade
22. Qual a menor distncia possvel entre dois pontos
(x1 , y1 )
(x2 , y2 ), com coordenadas inteiras, situados sobre a reta denida pela equao diofantina ax + by = c?
4
O Princpio da Casa dos Pombos

Um interessante instrumento elementar para tratar problemas matemticos relacionados existncia de elementos de conjuntos validando certas exigncias o chamado cido como
princpio de Dirichlet , tambm conheprincpio 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.
pombos em N casas, ento alguma das casas contm dois ou mais pombos.
143
Proposio 4.1
(PCP Verso Simples)
. Se distribumos N + 1
144
P1 C1
P2 C2
PN CN
PN +1
Figura 4.1: Em cada casa
denotado por
Pj .
O pombo restante, denotado por
Cj , 1 j N ,
coloca-se um nico pombo,
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 depois 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
casas no teremos mais do que
pombos,
contradizendo isto a hipteses de termos nas
N +1
pombos distribudos
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 problema, 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
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
Exemplo 4.2. Numa oresta crescem 1.000 jaqueiras. conhecido
identicadas pelos nmeros
0, 1, 2, 3, . . . , 600.
O nmero
associado
a cada casa signica que nela sero colocadas jaqueiras que tm exatamente
frutos. Como
1000 > 602 = 601 + 1,
PCP
nos garante
que existem duas jaqueiras com a mesma quantidade de frutos.
duas pessoas que conhecem exatamente o mesmo nmero de pessoas. Soluo.

Os pombos neste caso so as
Exemplo 4.3. Em uma reunio h n pessoas. Mostre que existem

n pessoas.
As casas so enume-
radas com os nmeros
sero colocadas pessoas que tm essa quantidade de conhecidos. Notemos que uma das casas enumeradas com
0, 1, 2, . . . , n 1, indicando estes que na mesma
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.
deles cuja diferena divisvel por 7. Soluo.

7+1 7
Exemplo 4.4. Dados 8 nmeros inteiros mostre que existem dois

Consideramos os 8 nmeros como sendo os pombos e as casas possveis restos na diviso por 7. Como temos
como sendo os
8=
nmeros o
PCP
nos diz que existem dois nmeros dentro dos
146
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)
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.
. Se a soma de n 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.
em Temos um total de
5 3
5! 3!2!
= 10
trios diferentes formados
por membros da famlia. Alm disso, cada pessoa aparece exatamente
4 2
4! 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;

consequentemente existe algum trio
Tj
tal que
Ej
1470 10
= 147.
4.2
Uma Verso mais Geral
A seguinte verso mais geral do alguns problemas.
PCP
bastante til na resoluo de
bos em N casas, ento alguma das casas contm pelo menos k + 1 pombos.
Proposio 4.7 (PCP Verso Geral). Se distribumos N k + 1 pom-
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
pombos, ento contando todos os pombos contidos nas
casas no
teremos mais do que termos
Nk
pombos, contradizendo isto a hipteses de
Nk + 1
pombos distribudos nas
casas.
Notemos que se mais simples.
k = 1, esta verso mais geral coincide com a verso
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.
3 5 + 1.
Fazendo a diviso com resto de 16 por 3 temos que
16 =
Consideramos as 16 salas como sendo os pombos e as trs Logo, podemos
cores, preto, azul e vermelho como sendo as casas. colocar cada sala em uma das trs cores. Assim, o e
PCP
com
N =3
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.
selecionada para representar o Brasil numa olimpada internacional. Mostre que necessariamente existem trs deles que se conhecem mutuamente, ou trs deles que no se conhecem mutuamente. Soluo.
aluno
Exemplo 4.9. Uma equipe formada por seis alunos de Matemtica
Resolveremos o problema com o auxlio da Figura 4.2. Cada com
Aj ,
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 pontilhada. Logo, usando este esquema, o problema equivale a provar
148
que sempre existe um tringulo de lados contnuos ou um tringulo de lados pontilhados com vrtices no conjunto
A = {A1 , A2 , . . . , A6 }. A1 ,
cada um
Temos 5 segmentos (pombos) incidindo no vrtice
deles contnuo ou pontilhado (estes dois tipos de linhas so consideradas como as casas). Como
dos 5 segmentos so contnuos ou pontilhados. Suponhamos que 3 so contnuos (caso contrrio o argumento similar) e denotemos estes por
5 = 2 2 + 1,
pelo
PCP
temos que 3
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
Figura 4.2: O tringulo
A6
indica que os alunos
A1 A2 A5
A1 , A2
A5
no se
conhecem mutuamente e o tringulo e
A1 A4 A6
indica que os alunos
A1 , A4
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 Teoria dos Nmeros. A primeira delas :
PCP
na
A = {m + 1, m + 2, . . . , m + n} possui algum divisor de n.
Exemplo 4.10. Se n e m so nmeros naturais, ento o conjunto

Soluo.
de Temos
n nmeros diferentes no conjunto acima. A
Vamos utili-
zar o mtodo de reduo ao absurdo. Se no existisse nenhum mltiplo
n,
quando dividssemos os nmeros do conjunto
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.
Se
m e n so inteiros positivos, pelo exemplo anterior um dos nmero m + 1, m + 2, . . . , m + n mltiplo de n. Assim, dado n n+1 um inteiro qualquer, escolhe-se m = 1234567890 10 . Deste modo, todos os inteiros m + 1, m + 2, . . . , m + n comeam com 1234567890 e algum deles mltiplo de n.
150
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 1

como sendo os pombos e
(4.1)
n+1vezes
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 o menor mltiplo de
e, portanto, a diferena entre o maior e
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 conjunto {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
{1, 2, . . . , 2n}
e as casas so
n + 1 nmeros escolhidos do conjunto escolhidas como sendo os n conjuntos:
Cj = {2j 1, 2j }, 1 j n.
Logo, pelo tos
PCP, quando distribumos os n + 1 nmeros nos n conjunou
seja, estes nmeros sero consecutivos e portanto primos entre si.
Cj , 1 j n, dois deles caro juntos em algum conjunto Cj ,
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.
b
Denotando por
m = a/d
n = b/d,
podemos supor que
so primos entre si. Realmente, se podemos escrever
mx + ny = 1
ento, substituindo os valores de
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 os problemas a seguir para constatar isto.
PCP. Vejamos
152
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.
Vamos dividir o quadrado em quatro quadradinhos de lado como mostra a gura. Logo, pelo
Soluo.
1/2,
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.
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 resolvido. Se tivssemos pontos em tringulos vizinhos, a maior distncia possvel entre eles seria
Exemplo 4.16. Na regio delimitada por um tringulo equiltero de
e tambm isto resolveria o problema. Se
no tivssemos nenhum dos casos anteriores, no seria difcil ver que
4.5
Miscelnea
153
C A D
E B
3
Figura 4.3: O tringulo
DBE
equiltero de lado
os 10 pontos deveriam estar situados sobre os 10 tringulos brancos, contendo cada tringulo exatamente um ponto. Dividindo o tringulo
DBE
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
em 4 tringulos congruentes de lado
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.
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.
Exemplo 4.17. Em cada quadradinho de um tabuleiro 3 3 colocado
154
-1 1 0
-1 0 -1
1 1 0
Soluo.
S = 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 3 3 tem 3 linhas, 3 colunas e 2 diagonais, portanto, ao
Seja obteremos 8 nmeros (pombos). possveis para estes nmeros, pelo ser iguais. Como existem somente
somarmos os elementos de cada uma das linhas, colunas e diagonais,
valores
PCP
pelo menos dois deles devem
naturais escolhidos entre 1 e 99, inclusos, demonstre que existem dois subconjuntos disjuntos e no vazios de A tal que a soma dos seus respectivos elementos igual. Soluo:
conhecido que
Exemplo 4.18. Dado qualquer conjunto A formado por 10 nmeros
tem
vazios diferentes.
A soma dos elementos de cada um deles d uma
210 1 = 1.023
subconjuntos no-
quantidade menor do que 1.000, pois o subconjunto com no mximo 10 elementos de maior soma possvel o formado por e nesse caso
90, 91, . . . , 99,
como sendo os 1.023 subconjuntos distintos de
90 + 91 + + 99 = 945.
Agora consideramos os pombos
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 a soma dos elementos de
de
A,
de tal modo que
igual soma dos elementos de
C.
Se
4.5
Miscelnea
155
e e
dos seus elementos a mesma, pois retiramos de ambos a mesma quantidade.
C so disjuntos, acabou a prova. Se no, considere D = B B C E = C B C . Logo, os conjuntos D e E so disjuntos e a soma
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, tenha pelo menos um dos quadradinhos no pintado de preto?
Exemplo 4.19. Qual o maior nmero de quadradinhos de um ta-
Figura 4.4: Tridomins
Soluo.
Primeiramente, pintamos o tabuleiro de
leiro de jogar xadrez, ou seja, 32 quadradinhos pintados de branco e 32 quadradinhos pintados de preto (ver Figura 4.5).
8 8 como um tabu-
Figura 4.5: Tabuleiro de xadrez
156
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 ento a condio exigida no problema falha. tabuleiro em 16 quadrados de De fato, se dividimos o
dinhos de preto (pombos); ento, como geral do
22
(casas) e pintamos 33 quadra-
PCP
um dos 16 quadrados de
pintados de preto. Portanto, este ltimo contm um arranjo como na Figura 4.4 completamente pintado de preto.
33 = 16 2 + 1, pela verso 2 2 contm 3 quadradinhos
Resumindo, o nmero mximo de quadradinhos que podemos pintar de preto 32.
Exemplo 4.20. Dados sete nmeros reais arbitrrios, demonstre que

existem dois deles, digamos x e y , tais que 0 Soluo.
sar na frmula
1 xy 1 + xy 3
x y nos faz pen1+xy
Primeiramente observamos que a expresso
tan( ) =
Sejam
tan tan . 1 + tan tan
(4.2)
Lembramos que a funo tangente uma bijeo entre o intervalo
x1 , x2 , , x7
os sete nmeros selecionados arbitrariamente.
, ) e os nmeros reais R, logo para cada xi , 1 i 7, existe um ( 2 2 , ) tal que tan(i ) = xi . Dividimos o intervalo ( , ) em i ( 2 2 2 2
seis subintervalos de comprimento
, como mostra o desenho a seguir. 6
Pelo
PCP
dois dos nmeros
i
e
pertencem ao mesmo subintervalo.
Denotemos os mesmos por
i1
i2
e suponhamos, sem perda de
4.6
Exerccios
157
i1 2
generalidade, que
i2
6 2
i1 i2 .
Ento vale
0 i2 i1
(4.2) temos que
. 6
Usando o fato de que a tangente uma funo crescente e a frmula
tan(0) tan(i2 i1 ) tan( ). 6

Equivalentemente,
xi 2 xi 1 1 . 1 + xi 2 xi 1 3
4.6
Exerccios
C
um conjunto formado por cinco pontos de coordenadas
1. Seja
inteiras no plano. Prove que o ponto mdio de algum dos segmentos com extremos em
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
mpar ento para qualquer bijeo
p : IN IN
158
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 tabuleiro de xadrez de
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
8 8.
possvel cortar o tabuleiro com 13
A = {1, 2, 3, . . . , 10}.
Prove que existem dois desses seis nmeros cuja soma mpar. 9. Seja
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 primos maiores que cinco, existem dois cujo produto um quadrado. 11. Um disco fechado de raio um contm sete pontos, cujas distncias 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 13. Seja
5.
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 MC. P.; WAGNER,E. e

[5] LIMA,E.L.; CARVALHO,P. 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). de Matemtica.
lgebra Linear. Sociedade Brasileira
285
286
REFERNCIAS BIBLIOGRFICAS
[8] MORAIS FILHO, D. C. (2007).
Um Convite MatemCARVALHO, P.;
tica. EDUFCG.
[9] MORGADO, A.; CARVALHO, J.; FERNANDEZ, P. (1991).
Anlise Combinatria e Pro-
babilidade . Sociedade Brasileira de Matemtica.

[10] RIBENBOIM, P. (2001).
Nmeros Primos: Mistrios e Introduo Teoria dos N-
Recordes. Sociedade Brasileira de Matemtica.

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

Unidade 2

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Unidade 2

Caricato da

Copyright:

Formati disponibili

em Matemtica em Rede Nacional

Autores: Krerley Oliveira Adn J. Corcho

Unidade II: Captulos III e IV

Conceitos Fundamentais e Diviso Euclidiana

o conjunto dos nmeros inteiros formado pelo con-

junto dos nmeros naturais nmeros negativos. Ou seja,

N = {1, 2, 3, . . .} munido do zero e Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.

princpio da boa ordenao,

Princpio da Boa Ordenao: todo subconjunto no vazio A N

Conceitos Fundamentais e Diviso Euclidiana

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

valentes ditas anteriormente. Se veremos

para representar todas as frases equi-

8 pois considerando o conjunto M = {3m, m N} = {3, 6, 9, 12, . . .} dos

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

mltiplos positivos de 3 vemos que 8 no pertence ao mesmo.

A seguinte proposio um bom exerccio para entender os conceitos enunciados acima.

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

ento existem inteiros

a ambos lados de (3.6) temos (como a posib = aq a > 0,

Conceitos Fundamentais e Diviso Euclidiana

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

este nmero fosse divisvel por 5, ento

seria divisvel por

r1 = 31 7 1 = 24, r2 = 31 7 2 = 17, r3 = 31 7 3 = 10, r5 = 31 7 5 = 4,

diferenas positivas a nica que menor que 7 corresponde ao caso

so todas negativas. Entretanto, notamos que entre as

O resultado seguinte nos diz o que acontece no caso geral da

por um inteiro positivo

a positivo, existem nicos inteiros q e r tais que b = aq + r, 0 r < a.

. Dados dois inteiros a e b, sendo

Se a b, ento r satisfaz a desigualdade estrita 0 < r < a. Demonstrao.

a > 0 b a(q + 1) < b aq.

0 b a(q + 1) < b aq,

r = b aq o menor elemento no negativo r

Agora provaremos que de fato

escolhidos desta forma, so

Conceitos Fundamentais e Diviso Euclidiana

Ento resulta que

no enunciado do teorema acima so chamados, e

Um resultado imediato da diviso euclidiana o seguinte.

existe um nmero natural n tal que

Corolrio 3.6. Dados dois nmeros naturais a e b com 1 < a b,

Pela diviso euclidiana, existem nicos

aq b = aq + r < aq + a = a(q + 1).

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

a2 1 = (a 1)(a + 1) temos que 1 < a 1, de onde segue o resultado.

Exemplo 3.8. Um turista brasileiro chega a Cuba e troca parte de

Em lugar de fazer isto substitumos cada nmero

Agora procuramos o resto que

deixa na diviso por 3, que obvi-

Lema 3.9 (Lema dos Restos). A soma e o produto de quaisquer dois

Conceitos Fundamentais e Diviso Euclidiana

n1 , n2 Z. por a temos que

Fazendo a diviso com resto de

n1 n2 = (aq1 + r1 )(aq2 + r2 ) = a2 q1 q2 + aq1 r2 + aq2 r1 + r1 r2 = a(aq1 q2 + q1 r2 + q2 r1 ) + r1 r2 = aq + r1 r2 ,

r1 r2 por a para obtermos

Das igualdades (3.11) e (3.12) segue que

Portanto, de (3.12) e (3.13) conclumos que os restos que deixam e

so iguais, cando provado o resultado para o

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

so iguais, cando provado o resultado para o