Mestrado Profissional
Iniciao Matemtica
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
Denotamos por
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:
dos
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
a | b
no for divisor de
b,
ento escre-
a b.
a|b
b|c
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)
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.
Soluo.
5
45362
5q ,
ou seja,
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 :
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
q 5
rq = 31 7q
com
1 q 4
so todas positivas
q = 4.
diviso de um inteiro
a.
94
Divisibilidade
Teorema 3.5
(Diviso Euclidiana)
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)
(3.9)
R.
q,
nicos. Com efeito, suponhamos que existem outros inteiros tais que
r1
q1
b = aq1 + r1 ,
0 r1 < a.
3.1
95
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
respectivamente, de
quociente
resto
da diviso de
por
a.
Demonstrao.
0r<a
tais que
b = aq + r.
Assim
q, r N
com
q=n
Soluo.
a2 = (a 1)(a + 1) + 1
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.
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.
n pelo resto que este deixa na diviso por 3, formando nmero n1 , ou seja, n1 = 1 2 + 0 2 = 2 .
n1
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.
3.1
97
Demonstrao.
ambos os nmeros
n1 = aq1 + r1
com
n2 = aq2 + r2 ,
0 r1 , r2 < a.
Ento,
q = aq1 q2 + q1 r2 + q2 r1 .
Agora dividimos
r1 r2 = ap + r,
p Z,
0 r < a.
n1 n2 = aq + ap + r = a(p + q ) + r,
0 r < a.
(3.13)
n1 n2
r1 r2
na diviso por
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
n N temos r=0
ou
an = n(n + 1) divisvel
para o resto:
r = 1.
[r = 0]
2.
an
na diviso por 2 o
an
divisvel por
[r = 1]
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
8.
Soluo.
k Z.
n = 2m + 1,
para algum
Logo
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
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 + b 2 = c 2
c2
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
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
(3.14)
x=3
y = 4,
usando a represen-
10,
(zero) e os alga-
1, 2, 3, . . . , 9.
Por exemplo,
345
3.2
Bases Numricas
101
seguinte forma
2768
se escreve da forma
(3.15)
Antes de provar alguns dos critrios de divisibilidade mais populares do sistema de numerao decimal, provamos uma identidade muito til.
b=
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,
b = 1. an b n = b n ( a )n 1 . b
Usando
bN
(3.17)
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
10 | a0 ,
10 | a
(3.18)
+ an + an1 + + a1 + a0 .
3.2
Bases Numricas
103
10j 1 = 9qj
para todo
1 j n,
da
9|a
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.
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,
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)
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 = rn bn + rn1 bn1 + + r1 b + r0 .
A unicidade dos nmeros euclidiana.
ri
Observao 3.18. O sistema de numerao na base 2 tambm conhecido como sistema binrio e o sistema habitualmente utilizado no funcionamento dos computadores.
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
a = r6 26 + r5 25 + r4 24 + r3 23 + r2 22 + r1 2 + r0 1,
106
com
Divisibilidade
ri {0, 1}, 0 i 1. ri
ser
Observe que
2n 128,
com
n 7,
logo
ou
1, 22 , 23 , 24 , 25 , 26
so sucientes para realizar as pesadas de gramas de ouro entre
1g
100g .
3.3
Nesta seo estudaremos dois conceitos fundamentais, que aparecem naturalmente em vrios problemas de divisibilidade, assim como a relao existente entre eles.
3.3.1
O primeiro destes conceitos est relacionado com os inteiros positivos que dividem simultaneamente a dois inteiros prexados e denominado
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.
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.
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
c.
comuns, ou seja,
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
ento existem nmeros inteiros x0 e y0 tais que d = (a, b) = ax0 + by0 . Demonstrao.
Considere a combinao linear
x = y = 0, y0
tais que
Ca,b
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
109
existem inteiros
tais que
a = q + r
com
est no conjunto
Ca,b ,
ser o
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 | .
Logo pela parte (c) da Proposio 3.3, conclumos que impossvel pois
d =
A seguinte proposio resume algumas consequncias importantes da demonstrao dada ao teorema de Bzout.
a b , (a, b) (a, b)
= 1.
110
Divisibilidade
segue diretamente da demonstrao dada a este teorema. Para provar (c), primeiro observamos que
onde
x, y Z.
x, y Z
(a, b) =
a b d ,d d d
=d
a b , d d
.
temos que
(a, c) = (b, c) = 1,
xj
yj , j = 1, 2,
tais que
3.3
111
(ab, c) = 1.
x0
y0
tais que
bx0 + cy0 = 1.
Multiplicamos a igualdade acima por
abx0 + acy0 = a.
Por outro lado,
ab = cq
q.
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
algoritmo de Euclides .
112
Divisibilidade
at algum rn dividir rn1 . Assim, o mdc.(a, b) = rn , ou seja, o ltimo resto no-nulo no processo de diviso anterior.
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
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 .
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.
114
Divisibilidade
Soluo.
Ento o mdc.(4n
+ 15, 2n + 8) = 1
e portanto
4n + 15
2n + 8
so
n.
60 vezes
Soluo.
11 . . . 11 = 1059 + 1058 + + 1.
60 vezes
Aplicamos agora o algoritmo de Euclides para obter as seguintes igualdades
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
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
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
por
[a, b]
nos d
c = [a, b]q + r,
(3.21)
116
Da igualdade anterior, basta provar que desejado. Suponhamos, pelo contrrio, que tanto
Divisibilidade
resultado Notemos
como
dividem
[a, b].
e
tambm dividem
mltiplo comum de
r, [a, b],
contradizendo nossa suposio. Prosseguimos com a prova de (b). Observemos que plo comum de
[a, b]
mlti-
b,
(3.22)
q1
q2 ;
[a, b]
(3.23)
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]
[a, b] ab.
Das desigualdades (3.24) e (3.25) segue que
ab [a, b] ab.
Assim,
a , b (a,b) (a,b)
= 1.
provado anteriormente, assim como a parte (d) da Proposio 3.24 para obter
ab = (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
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
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
Soluo.
n,
me mmc(m,n).
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.
A,
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.
B, C
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,
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
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, b, c Z,
com
a=0
b = 0.
e uma
(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
(1, 2)
(1, 1)
-1 0 1 2
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
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.
d | c.
d|c
e portanto
c = qd
com
x0
y0 ,
ltima
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,
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
Soluo.
Observemos que
(12, 33) = 3
e que
3 | 27,
logo a equa-
Alternativa 1:
4x + 11y = 9,
e por tentativa e erro vemos que
x0 = 5
y0 = 1 t Z,
solucionam a
x = 5 + 11t
y = 4t 1,
Alternativa 2:
mdc
(12, 33),
33 = 12 2 + 9, 12 = 9 1 + 3, 9 = 3 3 + 0.
3.4
123
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.
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
124
Divisibilidade
Esta seo ser dedicada ao estudo de propriedades bsicas dos nmeros primos. Todo nmero natural
n.
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.
(3.29)
= 3 133 1649. 3 | n.
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
tal que
q|p
o que nos diz que
p | n, p.
o menor divisor de
q | n,
desigualdade
p q p.
n,
diferente
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].
p1 , p2 , p3 , . . . , pk .
126
Consideremos o nmero
Divisibilidade
n = p1 p2 p 3 pk + 1
e chamemos de
no coin-
n,
pi , 1 i k ,
mos uma contradio hiptese de termos uma quantidade nita de primos. Os nmeros primos tambm podem ser caracterizados da seguinte maneira:
onde a, b Z. Demonstrao.
logo Primeiramente, suponhamos que
p primo e que p b,
(p, b) = 1.
p | a.
p = d1 d2 ,
De (3.30) segue que
com ou
p | d1
p | d2 ;
ou
p d1 ,
p d2 ,
(3.32)
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
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 ,
(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
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
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,
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.
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
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:
a b > 1,
ento
Mn
tambm composto.
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
2.047 = 23 89.
Hoje sabemos que Mersenne errou na sua armao, esquecendo trs valores de 61, 89 e 107 e incluindo
M67 e M257
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
. Dados a, b R,
Demonstrao.
a4 + 4b4 = a4 + 4a2 b2 + 4b4 4a2 b2 = (a2 + 2b2 )2 4a2 b2 = (a2 + 2b2 + 2ab)(a2 + 2b2 2ab).
132
Divisibilidade
n4 + 4n 2.
Logo, se
n>1
qualquer
n +4
no um nmero
se
n = 2m + 1
positivo
m 1.
Assim,
b = 2m ,
+ 4 27
, a = 55
e
5 +2
20
30
composto.
3.5
Procurando Primos
O Teorema Fundamental da Aritmtica
133
3.5.3
Os nmeros primos so as
clulas
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.
O fato observado acima vale para qualquer nmero natural maior que 1. Especicamente, temos o seguinte resultado conhecido como
134
Divisibilidade
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
p1
seu
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
tais que
n > 1
e consequentemente
n+1 = 1,
de
n = p1 p2 pn .
3.5
Procurando Primos
135
pi
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 ,
Portanto, cada
pi
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 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.
136
Divisibilidade
n = 2q .
N, qe
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
1 i s,
o cor-
n.
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
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
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
138
Divisibilidade
Soluo.
Como o nmero
aabb
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
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.
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.
3.6
Exerccios
(1237156 + 34)
28
2. Provar que o nmero nmero natural 3. Prove que se (a) (b) (c)
n5 + 4 n
n.
mpar
n3 n n2 1
divisvel por
10932
divisvel por
333331.
primo? composto.
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
xy
mltiplo de 6.
8n ou 8n +1
8n + 4. p, q
e
4m +
e da forma
6m + 5,
onde
m Z.
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
bilidade por
b.
3.6
Exerccios
(a)
141
(b)
no so inteiros.
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
An
que con-
templam
An
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
(a + b)n
so mpares
2 1.
(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
(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
. Se distribumos N + 1
144
P1 C1
P2 C2
PN CN
PN +1
Figura 4.1: Em cada casa
denotado por
Pj .
Cj , 1 j N ,
PN +1 ,
deve ir para
Demonstrao.
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
pombos,
N +1
pombos distribudos
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
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
0, 1, 2, 3, . . . , 600.
O nmero
associado
a cada casa signica que nela sero colocadas jaqueiras que tm exatamente
frutos. Como
PCP
nos garante
sero colocadas pessoas que tm essa quantidade de conhecidos. Notemos 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.
como sendo os
8=
nmeros o
PCP
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
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
4 2
4! 2!2!
=6
Ej
Tj , j = 1, 2 . . . 10,
temos que
Tj
tal que
Ej
1470 10
= 147.
4.2
PCP
bos em N casas, ento alguma das casas contm pelo menos k + 1 pombos.
4.2
147
A prova deste enunciado mais geral similar anterior. Com efeito, suponhamos pelo contrrio que em cada casa no existe mais do que
casas no
Nk
Nk + 1
casas.
16 =
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,
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
Aj ,
j = 1, 2, . . . , 6,
um hexgono regular.
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
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
A1 A4 A6
A1 , A4
A6
se conhecem mutuamente
4.3
149
4.3
Nesta seo apresentamos alguns exemplos de aplicaes do Teoria dos Nmeros. A primeira delas :
PCP
na
Vamos utili-
n,
por
n,
os res-
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.
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
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
(4.1)
n+1vezes
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
n.
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-
{1, 2, . . . , 2n}
e as casas so
Cj = {2j 1, 2j }, 1 j n.
Logo, pelo tos
4.4
Aplicaes Geomtricas
151
Finalizaremos esta seo com uma outra prova do teorema de Bachet-Bzout, (veja o Teorema 3.23).
Soluo.
b
Denotando por
m = a/d
n = b/d,
mx + ny = 1
ento, substituindo os valores de
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
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
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,
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
4.5
Miscelnea
153
C A D
E B
3
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
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.
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
valores
PCP
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
tem
vazios diferentes.
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 = 945.
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,
C.
Se
4.5
Miscelnea
155
e e
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?
Soluo.
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-
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
22
PCP
um dos 16 quadrados de
pintados de preto. Portanto, este ltimo contm um arranjo como na Figura 4.4 completamente pintado de preto.
1 xy 1 + xy 3
x y nos faz pen1+xy
tan( ) =
Sejam
(4.2)
x1 , x2 , , x7
, ) 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
Pelo
PCP
i
e
i1
i2
4.6
Exerccios
157
i1 2
generalidade, que
i2
6 2
i1 i2 .
Ento vale
0 i2 i1
(4.2) temos que
. 6
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
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
p : IN IN
158
do conjunto
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.
A = {1, 2, 3, . . . , 10}.
Prove que existem dois desses seis nmeros cuja soma mpar. 9. Seja
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.
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
Elementos de l-
A Matemtica do Ensino M-
A Matemtica do Ensino M-
Temas e Problemas.
Socie-
285
286
REFERNCIAS BIBLIOGRFICAS
[8] MORAIS FILHO, D. C. (2007).
tica. EDUFCG.
[9] MORGADO, A.; CARVALHO, J.; FERNANDEZ, P. (1991).
meros. IMPA.
[12] SANTOS, J. P. O.; MELLO, M. P. e MURARI, I. T. C. (2006). Unicamp. [13] SOARES, M. G. (2005).
Editora