Eureka

(Hu Hu u H | H| u H( e H( t H t B (
V 'n5V5"5VA ! !% %33% # 0 %0 )4 % $H&"5"n51"6"0 81P""5%'&$H"0"051" &$""&r " p r # % ) 4 %0 3 y s FSD PFQP18E"S cHVHE aIHS } X DE WTu ~ T D "&y$s@) !fe'%'05&$"@n53'5s$#6"''%"0'"5 6V5'$6x % ){ y %zr 2# A ys% S Xw TQySw Y I 8R HVHPHH8HE "v tsr3 ! 3 ! 2A !%0 5$5 q7"0 5 "p o m kjh nFl5Vig TQwv I HHxHu HE f # 9 ) # ) 3 ! A % # ! 3 2 0 ! q 5A !$61"$685d5 5"6 $ "8) 6VH TEU IuT D Q TS R IG D SYS X X RE S IG `Q PH WS PcHaQ1VH8HQ PHFE"C 8HHPHcb HY 1P1x Xb HH ! 9 ) # ) 3 ! % ) % ! 3 2 0 A $#6@"$685$5A '85"54 i "8 !) PHp DHE PHc8cTPS 1PHYPHHx@HVHPcHu Pc1VH8HQ PHFE"C XYT Q d SU uyQT SU TQwv IET Q TS R IG D s qq !# )# 3 ! %4 3 20 ! PrHHPFphiA $691"68)7%" !"5$5 "1 !) ge fe QT XQ D W S DS W Q R X W QU TS R IG D cHS d8FSD PcFbPQ 81aSH"`5E PYH8HSHY PFQD 8HVH8HQ PHFE"C !# )# ) 3 ! ! %4 3 20 A $69@"$685$7%"6 "5$ "1 !) % ! '&$# "
Sociedade Brasileira de Matemtica
1998 tem sido um bom ano para o programa brasileiro de Olimpadas de Matemtica. Tivemos em torno de 40.000 participantes na primeira fase, ganhamos mais uma medalha de ouro na Olimpada Internacional de Matemtica e fomos o pas com maior soma de pontos na Olimpada Iberoamericana de Matemtica. Esperamos conclu-lo com uma terceira fase da Olimpada Brasileira de Matemtica que faa jus aos resultados at agora obtidos, estimulando ainda mais a imaginao criativa dos jovens competidores, propiciando a descoberta de novos talentos para a matemtica e, em particular, criando as bases para as equipes brasileiras que participaro nas olimpadas internacionais do ano que vem. Esperamos que os nmeros da revista Eureka! que apresentamos este ano sejam teis para aumentar o nmero de participantes da Olimpada Brasileira de Matemtica e que permitam a todos os classificados chegarem bem preparados terceira fase, alm de contribuir para o enriquecimento da cultura matemtica de nossa comunidade acadmica e escolar. Esta Eureka! 3 est mais difcil que as anteriores, entre outras razes, por ter boa parte de seu material dedicado preparao para a terceira fase do terceiro nvel. Grande parte do material das Eureka! 1 e 2 adequada preparao para a terceira fase dos primeiros dois nveis, mas no terceiro nvel a prova (como mostra a segunda fase snior da Olimpada Brasileira de Matemtica do ano passado, aqui resolvida) costuma ser mais tcnica, de modo que resolvemos usar a Eureka! 3 para oferecer aos participantes da terceira fase uma preparao adequada, com problemas mais difceis e bem diferentes dos que usualmente se estudam nas escolas. A terceira fase ser realizada nas seguintes datas. Sbado 24 de outubro 1o. nvel 2o. nvel 3o. nvel (primeira prova). 3o. nvel (segunda prova).
Sbado 14 de novembro
EUREKA! N 3, 1998
i
Comit Editorial.
2
Sejam trs pontos A, B e C pertencentes a uma circunferncia de

centro O tais que AOB < BOC. Seja D o ponto mdio do arco AC que contm o ponto B. Seja K o p da perpendicular a BC por D. Prove que AB + BK = KC .
Prove que existe uma seqncia a0, a1, , ak, , onde cada ai um algarismo (ou seja, ai {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}) com a0 = 6, tal que para cada inteiro positivo n o nmero xn = a0 + 10a1 + 100a2 + + 10n1 an1 (cuja representao decimal an1 an2 a1a0) tal 2 que x n x n divisvel por 10n. Seja A = {x1 < x2 << xn} um conjunto de nmeros inteiros positivos tal que se x e y so dois nmeros naturais que no pertencem a A ento x + y no pertence a A. Provar que xi 2i 1 para i = 1, 2,, n. Considere a seqncia (xn) n N definida por x1 = 19, x2 = 98 e, para 1 , se x n +1 0 xn x n +1 todo n N, x n + 2 = 0, se x = 0. n +1 Prove que existe n N tal que xn = 0 e encontre o menor n com essa propriedade. Sejam ABC um tringulo, M o p da bissetriz interna do ngulo A e N o p da bissetriz interna do ngulo B. Suponha que MN seja bissetriz do ngulo AMC. Calcule o ngulo A. Ache todas as solues reais de [x ]+
( [y ] denota o nico inteiro tal que
EUREKA! N 3, 1998
P 6P6 n 6 n n 6 i 6 6 6 6 6
[y ] y < [y ]+ 1) .
[ 1998x ]= 1998
'5
6 6
Mostre que o produto de todos os nmeros da forma

1 2 3 ... 100 o quadrado de um nmero inteiro.
Sejam AB = x, BD = y; marcamos D tal que DC = y. Ento DD = x por ser D ponto mdio de AC e resulta DD // BC. Se K o p da perpendicular a BC por D, ento temos AB = DD = KK e BK = KC AB + BK = KK+ KC = KC.
O primeiro termo a0 = 6; ento x1 = 6 e x12 x1 = 36 6 = 30 , que divisvel por 101. Seja n 1. Suponhamos que existem a0, a1,,an1 tais que x n = a 0 + 10a1 + 10 2 a 2 + ... + 10 n 1 a n 1
2 2 verifica que x n x n divisvel por 10n (ou seja x n x n = 10 n r , com r N) Temos que encontrar an tal que x n +1 = a 0 + 10a1 + 10 2 a 2 + ... + 10 n 1 a n 1 + 10 n a n = x n + 10 n a n 2 seja tal que x n +1 x n +1 divisvel por 10 n +1.
EUREKA! N 3, 1998

2 2 2 xn+1 xn+1 = ( xn + 10n an ) 2 ( xn +10n an ) = xn + 2xn 10n an + 102n an xn 10n an = 2 2 2 = ( xn xn ) +10n (2xn an an ) + 102n an = 10n r + 10n (2xn an an ) +102n an = 2 = 10n (r + 2xn an an ) + 102n an . Assim, 2 xn+1 xn+1 e divisvel por 10n+1 r + 2xn a n an divisvel por 10
r + (2xn 1)an divisvel por 10. Dado que a0 = 6, temos que xn = 10t + 6 com t N; ento 2xn = 10h + 2. (com h = 2t + 1). Logo r + (2xn 1)an divisvel por 10 r + (10h + 1)an divisvel por 10 r + an divisvel por 10. Sempre existe um nico inteiro an entre 0 e 9 de modo tal que isto se verifique.
$ 6i ' 5 6 6
EUREKA! N 3, 1998
'
A seqncia (an) comea por 6, 7, 3, 9, 0, 1, 7, 8, 7, 1, 8, 0, 0, 4, 7, 3 Assim, por exemplo, x10 = 1787109376.
Prove que a seqncia (an) obtida no peridica nem pr-peridica.
Suponhamos que o enunciado falso, ou seja que existe k tal que xk > 2k 1, 1 k n. Ento os conjuntos B1 = {1, xk 1}, B2 = {2, xk 2}, , Bk = {k, xk k} so disjuntos dois a dois e seus elementos so menores que xk. Alm disso, para cada j, 1 j k, j A ou xk j A, pois no caso contrario, ou seja, se j A e xk j A, teramos que xk = j + (xk j) A. Portanto, para cada j, 1 j k, A Bj , donde A tem pelo menos k elementos menores que xk , absurdo.
Se xn+1 0, temos xn+2 xn+1 = xn+1 xn 1. Definindo yn = xn xn+1 temos yn+1 = yn1 para todo n tal que xn+1 0. Como y 1 = x1 x2 = 19 98 = 1862, temos yk = 1863 k enquanto yk 1 for diferente de 0, e portanto y1862 = 1 e
y1863 = 0 x1862 x1863 = 1 e x1863 x1864 = 0. Assim, x1863 0 e x1864 = 0, donde 1864 o menor n tal que xn = 0.
Pelo teorema das bissetrizes,
, e como b+c MC d MA AN c bc MN bissetriz de AMC devemos ter = = , donde MA = MC CN a b+c ab (pois MC = pela lei dos senos aplicada aos tringulos ABC e ABM b +1 NC a
AN
BM
MC =
ab
ac senA a BM sen ( A / 2 ) e portanto sen (A/2) = sen A temos = , = = b+c = bc senB b MA senB b+c
= 2 sen (A/2) cos (A/2) cos
2 A A 1 . = = A= 2 3 3 2 2
[x]+ [ 1998x ] sempre inteiro. Seja x0 a soluo de
x + 1998x = 1998, ou
, seja x0 = 999 (3 5) = 763,1... e 1998x0 = 1998 x0 = 999( 5 1) = 12348...

Temos x +
0
[ ] [ 1998x ]= 1997. A funo

0
f ( x) = [x ]+
[ 1998 x ] aumenta
de uma unidade quando x ou
1998 x torna-se inteiro. Os prximos valores
de x maiores que x0 para os quais x e 1998 x so inteiros so respectivamente 764 e 12352 / 1998 < 764. Assim, f (12352 /1998) = 763 + 1235 = 1998 e f (764) = 764 + 1235 = 1999 (de fato 1998 764 < 1236). Como f (x) no-decrescente, o conjunto das solues o intervalo 1235 2 ,764 = [763 ,3758758758 ..., 764 ) . 1998
EUREKA! N 3, 1998
EUREKA! N 3, 1998
9 7 54 2 1 ) 1) ' i@86 H ' P3!!0!0!( &$!!d P H6 % # " ndP@1PH ' @P@PPP ''''''c'H 6HH1i@
w i e d t h y w g g 8@CY8@FYsq
X W HR U T SR P H I H G ED B B B B B B B B B B B B YQ8V8CQF!!C!!!C!!!!A
h x i w v h t a q i h f e d c a C@C0!uYsrpg b6Yb`
O nmero referido no enunciado o quadrado do produto de todos os 299 nmeros da forma 1 2 3 ... 100 (no produto do enunciado cada um desses nmeros aparece uma vez, assim como seu simtrico). Neste ltimo produto, obtemos uma soma de termos do tipo
( , a , )(
1 2
a )...(
2
a ), com m 2 99 , a , a ,...a {2,3,...,100} e

m 1 2 m
j {-1,1}, j.
Fixamos 2 , 3 ,..., 100 N com 2 + 3 + ... + 100 2 99 , e consideramos todos os termos como acima que tm exatamente k valores de a j = k , para 2 k 100 . Se todos os j so pares esses termos so todos inteiros. Se algum deles (digamos r ) mpar, podemos associar de forma bijetiva a cada termo desses o termo obtido trocando os sinais de todos os j para os quais a j = r. Assim, a cada termo associamos o seu simtrico, e portanto, nesse caso a soma dos termos considerados 0. Assim, o produto de todos os nmeros da forma 1 2 3 ... 100 um inteiro, e portanto o produto do enunciado um quadrado perfeito.
Duas circunferncias de raios R e r e centros O e O, respectivamente, intersectam-se nos pontos P e P. Seja l a reta que passa por P e P. Determine em funo de R e r, o menor valor que pode assumir a soma das distncias de l a O e O'.
Dizemos que um conjunto A N satisfaz a propriedade P(n) se A tem n elementos e A + A = {x + y tal que x A e y A} tem
n( n + 1) 2
Dado A N finito definimos o dimetro de A como sendo a diferena entre o maior e o menor elemento de A. Seja f (n) o menor dimetro que um conjunto A satisfazendo P(n) pode ter. Mostre que n 2.
n
2
f ( n ) < n para todo
(Se o seu tempo de prova no estiver esgotado, tente melhorar esta estimativa. Por exemplo, tente mostrar que f (p) < 2p2, para todo nmero primo p.)
a)
Prove que no existem funes f : R R e g : R satisfazendo g ( f (x) ) = x3 e f ( g(x) ) = x2 para todo x R. Exiba funes f : ( 1, ) ( 1, ) e g :( 1, ) (1, ) tais que g ( f(x) ) = x3 e f ( g(x) ) = x2 , para todo x (1, ).
b)
EUREKA! N 3, 1998
d
p )4% i1"6"0 H 6jn @ 60fe Pn k e i hg i n@ )4% i1"6"0 )4% i1"6"0

l r
elementos.
)4% 1"6"0
Seja Fn definido por F1 = 1, F2 = 1 e Fn+2 = Fn+1 + Fn , para todo n 1. Seja

Vn = Fn2 + Fn2+ 2 , n 1. Mostre que, para todo n inteiro positivo, Vn ,
Vn+1 e Vn+2 so lados de um tringulo de rea 1/2.

m r
Sejam c Q, f (x) = x2 + c. Definimos f 0 (x) = x , f n+1 (x) = f ( f n (x)), n N . Dizemos que x R pr-peridico se { f n (x), n N } finito. Mostre que { x Q | x pr-peridico } finito.
n r
Seja f uma funo do plano no plano que satisfaz d (P,Q) = 1 d (f (P), f(Q)) = 1 para todos os pontos P e Q do plano. Mostre que d (f (P), f(Q)) = d (P, Q) para todos os pontos P e Q do plano. (d (X,Y) denota a distncia entre X e Y).
Considere a circunferncia de raio R fixa, cujo centro O est sobre uma reta s. O problema se resume a determinar a posio de O em s que minimiza a soma d das distncias de O e O a . Claramente, perpendicular a s. Seja I o ponto de interseco de s com . Temos dois casos a considerar: (i) (ii) OO OI. Neste caso, d = OO' e d mnimo quando I = O. OO OI. Neste caso, considere O O em s tal que OI = IO ( O simtrico de O em relao ). Assim, temos que d = OO OI (primeiro caso) e d mnimo quando O = I = O. Em ambos casos, temos que d mnimo quando O = I . Por Pitgoras, este mnimo igual a
R2 r 2 .
r p o q
Dado um conjunto finito A N , denotaremos por d(A) o dimetro de A. Temos duas desigualdades a provar:
EUREKA! N 3, 1998
)4% 1"6"0 )4% 1"6"0 s Hp ys "&r " s H
(i)
, para todo n 2. 4 Vamos supor, por absurdo, que exista um conjunto A = {a1, a2, ,an}, n 2,
f ( n)
n2
tal que A satisfaz P(n), a1 < a2 < < an e d(A) < A + A = {a1 + a2, a1 + a2, ,an + an} tem
n(n + 1)
n2 . Como A satisfaz P(n), 4
elementos. Como 2 a1 + a1 < a1 + a2 < < an + an, temos que (an + an) (a1 + a1) + 1
+ an a1 4 2 contradio. Isto demonstra (i). n2 n2 4 n2 4 d ( A) n2 4
n(n + 1)
, o que uma
(ii)
f (n) < n 3 , para todo n 2.
Como {0, 1} satisfaz P(2), temos que f(2) 1 < 23. Agora, vamos supor que f (n) < n 3 para algum n 2. Seja An = {a1, a2, , an} N tal que An satizfaz P(n) e d(An) = f(n) < n3. Sem perda de generalidade, podemos supor que 0 = a1 < a2 < < an = d(An), bastando para isto subtrair de cada elemento de An o menor de seus elementos. Agora, queremos achar an + 1 N An tal que An + 1 = {a1, a2, , an + 1} satisfaa P(n +1) e d (An + 1) < (n + 1)3. Como An + An tem
n(n + 1) 2
elementos e temos que
An +1 + An+1 = ( An + An ) {ai + a n+1 1 i n + 1},

a n+1 N An
e An+1 satisfaz
P (n + 1) se e somente se, ai + a j a n+1 P = {a i + a j a k 1 i, j , k n} { 1 i, j n}. Como 2 n( n + 1) n(n + 1) P n3 + , temos que a n+1 n 3 + , pois basta escolher 2 2
an+1 natural que no est em P. Assim, f (n + 1) d ( An +1 ) < (n + 1) 3 . Por induo finita em n, temos que (ii) verdade, o que completa nossa demonstrao. como o menor
EUREKA! N 3, 1998
10
Vamos ainda, verificar que, para p primo mpar, f ( p ) < 2 p 2 . Para isto, construmos o conjunto A = {k + 2 pg ( k ),0 k p 1}, onde
g (k ) = k 2 (mod p), 0 g(k) p 1.
Temos d ( A) p 1 + 2 p ( p 1) = 2 p 2 p 1 < 2 p 2 e se tivssemos i + 2 pg (i ) + j + 2 pg (i ) = r + 2 pg ( r ) + s + 2 pg ( s ), ento i + j + 2 p ( g (i ) + g (i )) = r + s + 2 p ( g (r ) + g ( s )) i + j =

= r + s , g (i ) + g ( j ) = g ( r ) + g ( s ) Assim,
i r = s j e i 2 + j 2 r 2 + s 2 (mod p), logo

(i r )(i + r ) ( s j )( s + j )(mod p ) i r s j 0(mod p ) ou i + r s + j (mod p ) . Portanto i = r e s = j ou i = s e r = j. Com um pouco de teoria dos Corpos, possvel provar, utilizando um elegante argumento devido a Bose-Chowla, que, de fato, temos f ( p) < p2 para p primo. Seja K = Z/pZ o corpo com p elementos e L K um corpo com p2 elementos. Seja um gerador do grupo (cclico) multiplicativo de L, ou seja, tal que { k , k Z} = L {0}. Para cada m K, + m L {0, 1},
e, portanto, existe am Z, 0 < am < p2 1 tal que am = + m. O conjunto A = {a m ,0 m p 1} tem dimetro no mximo p 2 3 < p 2 e
a + a = a + a ( + i)( + j ) = ( + r )( + s) (i + j r s) + (ij rs) = 0.
i j r s
Como K, temos i + j = r + s e ij = rs {i, j} = {r , s}.

t s
a)
Vamos supor, por absurdo, que existam funes f, g : R R satisfazendo, para todo x R,
( I ) g ( f ( x)) = x 3 e ( II ) f ( g ( x)) = x 2
Agora Logo
x, y R , f ( x ) = f ( y ) g ( f ( x )) = g ( f ( y )) x 3 = y 3 x = y. f injetora. Ainda, de (I) e (II), temos
( f ( x) 2 = f ( g ( f ( x)) = f ( x 3 ) f (0) 2 = f (0), f (1) 2 = f (1) e f (1) 2 = f (1),
EUREKA! N 3, 1998
11
logo { f ( 0 ), f ( 1 ), f ( 1 )} { 0 ,1 } o que um contradio (pois f injetora e, portanto, { f (0), f (1), f (1)} tem 3 elementos). (b) Vamos supor, por enquanto, que existam funes 3 2 f , g : (1,+) (1,+) tais que g ( f ( x)) = x e f ( g ( x)) = x , para todo x (1, ). Agora, considere as funes
( x) = log 2 (log 2 g (2 2 ))
x
( x) = log 2 (log 2 f (2 2 ))
x
Temos
( x) = log 2 (log 2 g (2 2
u v w
x
log 2 (log 2 f ( 2 2
))
)) = log 2 (log 2 g ( f (2 2 ))) =
log 2 (log 2 (2 2 ) 3 ) = log 2 3 2 x = x + log 2 3

x
( x) = log 2 (log 2 f (2 2
x
log 2 (log 2 g ( 2 2
))
)) = log 2 (log 2 f ( g (2 2 ))) =
log 2 (log 2 (2 2 ) 2 ) = log 2 2 x +1 = x + 1

Supondo que ( x) = ax + b todo x R ,
w
e ( x) = cx + d ,
devemos ter, para
( x) = acx + ad + b = x + log 2 3 ( x) = acx + d + bc = x + 1 Podemos escolher, por exemplo, a = log 2 3, b = 0, c = log 3 2 e d = 1. (ou seja, ( x) = x log 2 3 e ( x) = x log 3 2 + 1
De (A), temos
g (22 ) = 2 2
e de (B)
(x)
g ( x) = 2 2
(log2 (log2 x ))
= 22
log2 3. log 2 log2 x
= 2log 2 x
log 2 3
f (2 2 ) = 2 2
(x)
f ( x) = 2 2
(log2 (log2 x ))
= 22
1+log2 log 2 x . log3 2
= 2 2 log 2 x
log3 2
EUREKA! N 3, 1998
12
fcil verificar que as funes acima esto definidas em (1, ) e satisfazem as condies do enunciado. Elas fornecem, portanto, uma possvel soluo para o item b).
t x
Primeiramente, notemos que, para n 0, Fn Fn + 2 Fn2+1 = ( 1) n +1 . De fato,
F1 F3 F22 = 1 2 12 = (1) 2 e por induo supondo que

Fn Fn + 2 Fn2+1 = (1) n +1 temos que
Fn +1 Fn+3 Fn2+ 2 = Fn +1 ( Fn + 2 + Fn +1 ) Fn2+ 2 = Fn2+1 Fn + 2 ( Fn + 2 Fn +1 ) = ( Fn Fn+ 2 Fn2+1 ) = (1) n +1 = (1) n+ 2 .

Dividimos o problema em dois casos; indicados pelas seguintes figuras: (i)
Fn Fn+2 Fn+1
Vn Vn+2
Vn+1 Fn+2 Fn+4 Fn+3
Se A a rea do tringulo sombreado, de lados Vn, Vn+1 e Vn+2, temos

A= 1 2
Fn + 2 Fn + 4
2
1 2
Fn Fn + 2
2
+ Fn +1 Fn + 2 +
Fn +1 Fn+ 3
2
Fn+2 Fn+4 = 1+ Fn+2 (Fn + 2Fn+1 ) + Fn+1Fn+3 = 1+ Fn+2 (Fn+2 + Fn+1 ) + Fn+1Fn+3 =
= 1 + Fn + 2 Fn + 3 + Fn +1 Fn + 3 = 1 + Fn2+ 3 Fn + 2 Fn + 4 Fn2 + 3 = 1, o que ocorre
sempre que n mpar. (ii)
EUREKA! N 3, 1998
13
Fn
Vn
Fn+2 Fn+1 Fn+2
Vn+1 Vn+2
Fn+4
Fn+3
Se A a rea do tringulo sombreado, de lados Vn, Vn+1 e V n+2, temos analogamente que
F F F F 1 1 FF n + 2 n+ 4 = + n n + 2 + Fn +1 Fn + 2 + n +1 n +3 2 2 2 2 2 2 Fn + 2 Fn + 4 Fn +3 = 1, o que ocorre sempre que n mpar. A=

Em qualquer dos casos, temos que a rea do tringulo de lados Vn, Vn+1 e 1 Vn+2 . 2
t y
Se x > c + 1, ento
x 2 x = x ( x 1) > c + c c x 2 + c x 2 c > x e, portanto,

2
n +1
( x) > f n ( x) > c + 1 para todo n 0. Logo, se x pr-perodico,

r
ento x c + 1 (*). Agora, sejam c =

s com p, q, r , s Z e q, s > 0. Temos
2
, onde (r , s ) = 1, e x =
p q
, onde ( p, q ) = 1,
s ( x + c) =
sp 2 q2
+r
Se x 2 + c =
u , u , v Z , v 0, ento v
EUREKA! N 3, 1998
14
q2 su sp 2 = 2 + r svp2 = q 2 (su rv) q 2 svp2 q 2 sv sv q 2 v . s v q
Se q > s, o denominador v de x 2 + c maior ou igual a denominador de x isto , o denominador de
> q, que o s f n+1 ( x) maior que o
q2
denominador de f n ( x), n 0, e, portanto, se x pr-peridico, ento seu denominador no mximo s (**). De (*) e (**), segue que h apenas um nmero finito de pontos prperidicos racionais.
t z
Em primeiro lugar, observe que as imagens dos vrtices de um tringulo equiltero de lado 1 formam tambm um tringulo eqiltero de lado 1. Assim, dados dois tringulos eqilteros de lado 1 com um lado em comum, os vrtices opostos ao lado comum podem ter mesma imagem ou imagens diferentes distando AA =
3. Em outras palavras, se A e A so pontos tais que 3. ento d ( f ( A), f ( A)) {0, 3}. Vamos mostrar que, de fato,
d ( f ( A), f ( A)) = 3. Se f ( A) = f ( A), ento tomando B com AB = 1 e A
B = 3 , teramos d ( f ( A), f ( B )) = 1 d ( f ( A), f ( B )) = 1, o que seria absurdo. Assim, d(A,A ) = d( f (A), f (A)) = 3 d( f (A), f (A)) = 3. Desta forma qualquer reticulado triangular formado por vrtices de tringulos eqilteros de lado 1 de interiores disjuntos e cobrindo o plano preservado por f, no seguinte sentido: a imagem deste reticulado tambm ser outro reticulado do mesmo tipo. Em particular, pontos a distncia n so levados em pontos tambm distncia n, n N. Este ltimo fato mostra que tringulos de lados 1, n2 n +1 e
n 2 + n 1 que tm rea
3 / 4 so preservados pela funo f , j que seus
vrtices esto em reticulado triangular de lado 1.
EUREKA! N 3, 1998
15
B
1
1 1
A n
AB = n 2 n + 1 AC = n 2 + n + 1
Utilizando um procedimento anlogo ao anterior, vamos agora considerar a imagem dos vrtices de dois tringulos deste tipo com o lado de medida
n 2 + n + 1 em comum. Sendo X e Y os vrtices destes tringulos opostos ao lado comum, temos novamente que XY = n d ( f ( X ), f (Y )) = 0 ou
d ( f ( X ), f (Y )) = XY = n , onde
n =
3 n + n +1
2
o dobro da altura dos tringulos considerados em relao ao lado comum. Vamos demonstrar que os pontos distncia n tm, de fato, imagens distintas. Seja kn tal que k n n < 1 (k n + 1) n . Sendo
d ( A0 , A1 ) = n , considere pontos para 0 i kn e d ( Ai , Ai +1 ) = n

d ( f ( A0 , f ( Ak n +1 )) = 1 e, portanto,
kn
Ai , 2 i k n + 1
tais
que
d ( A0 , Ak n +1 ) = 1
Temos
1 d ( f ( Ai ), f ( Ai +1 )) d ( f ( A0 ), f ( A1 )) + k n n ,
Se d ( f ( A0 ), f ( A1 )) fosse 0, ento 1 k n n < 1, o que seria absurdo assim,
i =0
XY = n d ( f ( X ), f (Y )) = n . Como antes, temos que XY = k n d ( f ( X ), f (Y )) = k n para k N.
EUREKA! N 3, 1998
16
Agora, suponha que existam X e Y tais que d ( f ( X ), f (Y )) d ( X , Y ). Sejam n N tal que 4 n < d ( f ( X ), f (Y )) d ( X , Y ) e P R 2 com
d ( P, X ) N, d ( P, Y ) < 2 n . n
Tome Q R 2 com d ( P, Q ) = d (Y , Q ) = n d ( f ( P ), f (Q )) =
d ( f (Y ), f (Q)) = n d ( f ( P), f (Y )) 2 n e como d ( P, X ) = d ( f ( P ), f ( X )), temos d ( f ( X ), f (Y )) d ( X , Y ) d ( f ( X ), f (Y )) d ( f ( X ), f ( P)) +

d ( X , P) d ( X , Y ) d ( f (Y ), f ( P)) + d ( P, Y ) < 4 n , absurdo.
Obs: As funes f : R2 R2 que satisfazem as condies do enunciado so chamadas isometrias, e so composies de translaes com rotaes e / ou reflexes.
EUREKA! N 3, 1998
&3&3(r&&(}6
}8V6}(6}$V6 ~ | @Y$6}8}{ 6666Y
17
Primeiro dia Durao da Prova: 4 h e 30 minutos.

CC
So dados 98 pontos sobre uma circunferncia. Maria e Jos jogam alternadamente da seguinte maneira: cada um deles traa um segmento unindo dois dos pontos dados que no tenham sido unidos entre si anteriormente. O jogo termina quando os 98 pontos tenham sido usados como extremos de um segmento pelo menos uma vez. O vencedor a pessoa que faz o ltimo trao. Se o Jos comea o jogo, quem pode garantir a sua prpria vitria?
CC
A circunferncia inscrita no tringulo ABC tangente aos lados BC, CA e AB nos pontos D, E e F, respectivamente. AD corta a circunferncia num segundo ponto Q. Demonstrar que a reta EQ passa pelo ponto mdio de AF se e somente se AC = BC .
CC
Encontrar o menor nmero natural n com a seguinte propriedade: entre quaisquer n nmeros distintos do conjunto {1, 2, , 999} pode-se escolher quatro nmeros diferentes a, b, c, d, tais que a + 2b + 3c = d. Segundo dia Durao da Prova: 4 h e 30 minutos.
CC
Em volta de uma mesa redonda esto sentados representantes de n pases (n 2), satisfazendo a seguinte condio: se duas pessoas so do mesmo pas, ento, seus respectivos vizinhos da direita no podem ser de um mesmo pas. Determinar, para cada n, o nmero mximo de pessoas que pode haver em volta da mesa.
CC
EUREKA! N 3, 1998
@6 fC66@ @@&6@ @ @@s
18
!!!!4TE ! U B ) B C!!!!C ) G B C!!!!C ) G B ! !) !!!!"0
Encontrar o maior valor possvel n para que existam pontos distintos P1, P2, P3, , Pn no plano, e nmeros reais r1, r2, , rn de modo que a distncia entre quaisquer dois pontos diferentes Pi e Pj seja ri + rj.
Cada um dos seis problemas da prova vale 7 pontos.
33
a b3&u
a ` Y W 8(S&XV
() !)) ! ( ) ( () ! 000! 0)0C82P3@4 ! 1"@! 2D( 8$P0) @H Q ( ( I! )$ )! FE @b C@! @@ @C ( ! # D ! 6 6 ! A 9 ! 7 6 ! ! () ! $1@@!$81$@$5( 80@2(0) 4
! )( ( ! ) 321$@0 ( &%!$"8 ( ' ! # #!

!!!@@ !!!@ !!!@ !!!@ !!!@ !!!@@ bb b bb ! ! 8b
Seja a raiz positiva da equao t2 1998t 1 = 0. Define-se a sucesso x0, x1, x2, , xn , por: xo = 1 x n +1 = [x n ], para n = 0,1,2,... Encontrar o resto da diviso de x1998 por 1998.
A equipe Brasileira teve uma excelente participao na 13a. Olmpada Iberoamericana de Matemtica realizada em Repblica Dominicana de 18 a 27 de setembro na qual participaram 18 pases. Os pases que obtiveram maior soma de pontos foram:
EUREKA! N 3, 1998
Nota: [x] indica a parte inteira de x, ou seja, [x] o nico inteiro k tal que k x < k + 1.
19
R S
!!bb
CC
No quadriltero convexo ABCD, as diagonais AC e BD so perpendiculares e os lados opostos AB e DC no so paralelos. Sabemos que o ponto P, onde se intersectam as mediatrizes de AB e DC, est no interior de ABCD. Prove que ABCD um quadriltero inscritvel se, e somente se, os tringulos ABP e CDP tm reas iguais.
Suponha primeiro que ABCD

seja inscritivel. Como AC BD temos
AB + CD = . Claramente o centro O do crculo circunscrito pertence s mediatrizes de AB e DC, logo P = O, e como rea de
OAB =
1 2 1 r sen AB = r 2 sen CD = rea de OCD (onde r o raio do 2 2
crculo), vale a primeira implicao. Suponha agora que ABCD no seja inscritvel. Suponha sem perda de generalidade que PC < PA. Seja Q o ponto de interseo de AC e BD. Prolongamos QC e QD at intersectarmos o crculo de centro p e raio PA = PB em novos pontos C e D . Como AC e BD so perpendiculares, pela primeira implicao sabemos que rea de PAB = rea de PCD, mas CD > CD ( CD hipotenusa do tringulo retngulo QCD, de catetos maiores que o tringulo retngulo QCD, do qual CD hipotenusa), e d(P, CD) > d (P, CD) (de fato, C e D esto no mesmo semiplano determinado pela reta CD , distinto do semiplano ao qual pertence P, e d (P, CD) = d(P, M), onde M o ponto mdio de CD, e portanto pertence ao mesmo semiplano que C e D , logo d(P, CD) < d(P, M) = = d (P, CD )). Portanto rea de PCD > rea de PCD, absurdo, pois estamos supondo que rea de PAB = rea de PCD.
Numa competio, existem a concorrentes e b juzes, onde b 3 um inteiro mpar. Cada juiz avalia cada um dos concorrentes, classificando-o como "aprovado" ou "reprovado". Suponha que k um nmero tal que as
EUREKA! N 3, 1998
f d 6@Tef@
c
rCC rCC q i h bpp
20
classificaes dadas por dois juzes quaisquer coincidem no mximo para k k b 1 . concorrentes. Prove que a 2b
q i h bpp
2 2
Para cada um dos candidatos, se j o nmero de juizes que o aprovam, o nmero de pares de juzes que tem julgamentos coincidentes em relao a
2 2 ele C 2 + C b2 j C b +1 + C b 1 = j
a (b 1) 2 , que, por outro 4 b(b 1) 2 . Assim, lado, por hiptese, deve ser no mximo k C b = k 2 (b 1) a (b 1) 2 k b 1 devemos ter kb . 2 4 a 2b
pares de julgamentos coincidentes no mximo
rCC
Para qualquer inteiro positivo n, seja d(n) o nmero de divisores positivos de n (incluindo 1 e n). Determine todos os inteiros positivos k tais que
q i h bpp
Obsevemos inicialmente que se n = p1 1 p 2 2 ... p k k ( pi primos distintos) ento d (n) = (1 + 1 )(1 + 2 )...(1 + k ).
(1 + 2 1 )(1 + 2 2 )...(1 + 2 k )
. Como o numerador (1 + 1 )(1 + 2 )...(1 + k ) mpar, se o resultado for inteiro deve ser mpar (e todos os i devem ser pares). Vamos mostrar que qualquer nmero natural mpar da forma desejada. Para isso, devemos mostrar que todo nmero mpar pode ser escrito como 2r + 1 , r N, no necessariamente distintas. produto de fraes da forma r +1 Faremos isso por induo. Seja m um nmero mpar, e seja 2s a maior
EUREKA! N 3, 1998
Assim, d ( n 2 ) / d (n) =
g g
(b 1) 2 , de modo que o nmero total de 4
d (n 2 ) = k para algum n. d ( n)
21
potncia de 2 que divide m + 1. Temos portanto m = 2 s +1 q + 2 s 1 para algum q N, donde m(2 s 1) 2 2 s (2q + 1) 2 s +1 (q + 1) + 1 2 2 s (2q + 1) 2 s +1 (q + 1) + 1 = = 2 s 1 m= 2s 1 2s 1 2 (2q + 1) 2 s ( q + 1) + 1
2 2 s 1 (2q + 1) 2 s (q + 1) + 1 2 2 s +1 ( 2q + 1) 4(q + 1) + 1 (2q + 1). 2 2 s 2 (2q + 1) 2 s 1 ( q + 1) + 1 2 s (2q + 1) (2q + 1) Como 2q + 1 < 2s + 1 q + 2s 1 = m, por hiptese de induo, 2q + 1 se 2r + 1 , e portanto m tambm. escreve como produto de fraes da forma r +1
Determine todos os pares (a, b) de inteiros positivos tais que ab2 + b + 7 divide a2b + a + b.
q i h bpp rCC
a 2b + a + b inteiro ento ab 2 + b + 7 b(a 2 b + a + b) a(ab 2 + b + 7) b 2 7a = 2 inteiro. Como ab 2 + b + 7 ab + b + 7 b 2 7a b 2 7a b 2 7 a < b 2 < ab 2 + b + 7 temos que < 1. Se =0 ab 2 + b + 7 ab 2 + b + 7 teremos b2 = 7a, donde b mltiplo de 7 (digamos b = 7t ), e (7t)2 = 7a nos d a = 7t2. fcil ver que (a, b) = (7t2, 7t) satisfaz as condies do enunciado para todo t inteiro positivo (temos nesse caso a 2b + a + b = t ). ab 2 + b + 7 b 2 7a b 2 7a Se < 0 devemos ter b2 < 7a e 1 (pois inteiro), e ab 2 + b + 7 ab 2 + b + 7 portanto 7a > 7a b2 ab2 + b + 7 7a > ab2 b2 < 7 b = 1 ou b = 2. 1 7a 57 b 2 7a Se b = 1, 2 = = 7 + , e devemos ter que a + 8 divide a+8 ab + b + 7 a + 8 57, com a inteiro positivo a + 8 = 19 ou a + 8 = 57 a = 11 ou
Se
EUREKA! N 3, 1998
22
a = 49. Para a = 11 e b = 1 temos b = 1 temos Se b = 2,

4 7a 4a + 9 4 7a
4a + 9
a 2 b + a + b 133 = = 7, e para a = 49 e ab 2 + b + 7 19
a 2 b + a + b 2451 = = 43. 57 ab 2 + b + 7
b 2 7a 4 7a . Como 4 7a > 18 8a = 2 (4a + 9), se = 2 ab + b + 7 4a + 9

inteiro negativo, devemos ter
= 1 4 7 a = 4 a 9 a =
13 3
N.
Assim, as solues so dadas por (a, b) = (7t 2 ,7t ), t N; (a, b) = ( 11,1 ) e (a, b) = (49,1).
Seja I o incentro do tringulo ABC. A circunferncia inscrita no tringulo ABC tangente aos lados BC, CA e AB nos pontos K, L e M, respectivamente. A reta que passa por B, paralela ao segmento MK, intersecta as retas LM e LK nos pontos R e S, respectivamente. Prove que o ngulo RIS agudo.
__ __ __ Como BM = BK e BI bissetriz de MBK temos BI MK , e portanto
e portanto devemos provar que
B Se A = BAC , B = ABC e C = BCA, temos KBS = MBR = , 2

EUREKA! N 3, 1998
rCC
BI RS . Queremos mostrar que RIS agudo, o que equivalente a

RI + SI
2 2 2
__
BR + BI + BS + BI
2 2
q i h bpp
__
> RS , o que equivale a

2 2
> ( BR + BS ) 2 = BR + 2 BR BS + BS ,
2 2
BI
> BR BS .
23
A C C (e portanto SKB = ) e MRB = (e portanto 2 2 2 A BMR = ). Assim, os tringulos MBR e SBK so semelhantes e 2 BR BK 2 2 = (pois BI , donde BR BS = BM BK = BM < BI BM BS hipotenusa do tringulo retngulo BMI ). KSB =
rCC
Considere todas as funes f definidas no conjunto N dos inteiros positivos, com valores no mesmo conjunto, que satisfazem f (t 2 f ( s )) = s ( f (t )) 2 , para todos s e t em N. Determine o menor valor possvel de f(1998)
q i h bpp
Dizemos que h : N N estritamente multiplicativa se h(xy) = h(x) h(y), para quaisquer x, y N, e dizemos que h uma involuo se h(h(x)) = x para todo x N. facil ver que se f satisfaz a involuo estritamente multiplicativa ento f satisfaz a condio do enunciado: f (t2 f (s)) = (f (t)2 f (f (s)) = s (f (t))2. Podemos definir f : N N estritamente multiplicativa por f ( p1 1 p 2 ... p k ) = f ( p1 ) 1 ... f ( p k ) k ( pi primos distintos), onde f (2) = 3, 2 k f (3) = 2, f (37) = 5, f (5) = 37 e f (p) = p, para todo p primo no pertencente a {2, 3, 5, 37}, e teremos f (1998) = f ( 2 33 37 ) = f (2) f (3)3 f (37) = 3 23 5 = 120. Vamos provar que 120 menor valor possvel para f (1998). Fazendo t = 1 temos f (f (s )) = s f (1)2, s N. Em particular, f injetiva, pois f (s) = f (u) f (f (s)) = f ( f (u)) s f (1)2 = u f (1)2 s = u. Temos ainda f (t 2 f (1)) = f (t)2 para todo t N ( fazendo s = 1), e portanto temos f (t2 f (s) 2) = f (t2 f (s2 f (1))) = s2 f (1) f (t)2, e fazendo s = f (u) temos f (t2 ( f ( f (u))2)= f (u)2 f (1) f (t)2. Assim, provamos que f (t 2 u2 f (1)4) = = ( f (u) f (t))2 f (1), para quaisquer u, t N. Portanto, se ut = xy, f (t 2 u2 f (1)4) = f (x2 y2 f (1)4), logo ( f (u) f (t))2 f (1) = ( f (x) f (y))2 f (1) f (u) f (t) = f (x) f (y). Como x2 1 = x xf (x2) f (1) = , f (x)2, x N. Se pk uma potncia de primo que divide f (1), e p r a maior potncia de p que divide f (x) para todo x N, temos que f (x)2 mltiplo de
EUREKA! N 3, 1998
24

r +k 2
onde denota o menor inteiro que p p f (x) mltiplo de p maior ou igual a , para todo x N, o que absurdo se r < k (pois teramos
r k
r + k k 2 > r ). Logo p divide f (x) para todo x N, e portanto f (1) divide f (x), para todo x N. Como xy 1= x y , f (xy) f (1) = f (x) f (y)
f ( xy ) f ( x ) f ( y ) f ( x) . Definindo g : N N, g (x) = = temos que g f (1) f (1) f (1) f (1) estritamente multiplicativa, g injetiva, g (1) = 1 e g (x) f (x) para todo x N. Temos g(1998) = g(2 33 37) = g(2) g(3)3 g(37). Observemos agora que g(2), g(3) e g(37) devem ser naturais distintos maiores que 1, e no podemos ter {2, 4} {g(2), g(3), g(37)}, pois se g( p) = 2 e g(q) = 4 com {p, q} {2, 3, 37} teramos g(p2) = g(p)2 = g(q) p2 = q, absurdo. Assim g(1998) = g(2) g(3)3 g(37) = g(2) g(3) g(37) g(3)2 2 3 5 g(3)2 2 3 5 22 = 120, logo f (1998) 120, como afirmamos u
EUREKA! N 3, 1998
&F3&&
bXC j$zFezX tzXhg Xezh1j4tefjTT~ k {d i y |{ gg k r k{ w 1uhjzT$jGdz2q %GTz feThzy wrg k{ k r y i r r{ g k i k m{ ~wdg k o| i jfum jj1tfTuzTzzuFhTTz{XjfTT tr &fztTT1j1tTz f i &1eFjGuTz k y d k { i p k g k kgr{d g wr k g yr~ r}|{p r &ThzTTzX1$FFdjhz1FFG1TTtTjk heXFtzT$xu@Gr tXT2drTf&fthg n g r g y r p wv g m l i s q p k o g m l i g e x v u s j@%k jhTtfde1Ft2wpywtr
t@@
25
O Princpio da Induo um eficiente instrumento para a demonstrao de fatos referentes aos nmeros naturais. Por isso deve-se adquirir prtica em sua utilizao. Por outro lado, importante tambm conhecer seu significado e sua posio dentro do arcabouo da Matemtica. Entender o Princpio da Induo praticamente o mesmo que entender os nmeros naturais. Apresentamos abaixo uma breve exposio sobre os nmeros naturais, onde o Princpio da Induo se insere adequadamente e mostra sua fora terica antes de ser utilizado na lista de exerccios propostos ao final.
Os nmeros naturais constituem um modelo matemtico, uma escala padro, que nos permite a operao de contagem. A seqncia desses nmeros uma livre e antiga criao do esprito humano. Comparar conjuntos de objetos com essa escala abstrata ideal o processo que torna mais precisa a noo de quantidade; esse processo (a contagem) pressupe portanto o conhecimento da seqncia numrica. Sabemos que os nmeros naturais so 1, 2, 3, 4, 5, A totalidade desses nmeros constitui um conjunto, que indicaremos com o smbolo N e que chamaremos de conjunto dos naturais. Portanto N = {1, 2, 3, 4, 5,}. Evidentemente, o que acabamos de dizer s faz sentido quando j se sabe o que um nmero natural. Faamos de conta que esse conceito nos desconhecido e procuremos investigar o que h de essencial na seqncia 1, 2, 3, 4, 5 . Deve-se a Giussepe Peano (1858-1932) a constatao de que se pode elaborar toda a teoria dos nmeros naturais a partir de quatro fatos bsicos, conhecidos atualmente como os axiomas de Peano. Noutras palavras, o conjunto N dos nmeros naturais possui quatro propriedades fundamentais, das quais resultam, como conseqncias lgicas, todas as afirmaes verdadeiras que se podem fazer sobre esses nmeros. Comearemos com o enunciado e a apreciao do significado dessas quatro proposies fundamentais a respeito dos nmeros naturais.
bCb
EUREKA! N 3, 1998
h g p$b g
C}
&1 &4@1 G g
u
g Cpp& g T
q i h pj$ g T
26
Um matemtico profissional, em sua linguagem direta e objetiva, diria que o conjunto N dos nmeros naturais caracterizado pelas seguintes propriedades: A. B. C. D. Existe uma funo s : N N, que associa a cada n N um elemento s(n) N, chamado o sucessor de n. A funo s : N N injetiva. Existe um nico elemento 1 no conjunto N, tal que 1 s(n) para todo n N. Se um subconjunto X N tal que 1 N e s(X) X (isto , n X s(n) X), ento X = N.
Observe que, como estamos chamando de N o conjunto dos nmeros naturais, a notao n N significa que n um nmero natural. As afirmaes A, B, C e D so os axiomas de Peano. A notao s(n) provisria. Depois de definirmos adio, escreveremos n + 1 em vez de s(n). Como concesso fraqueza humana, nosso matemtico nos faria a gentileza de reformular os axiomas de Peano em linguagem corrente, livre de notao matemtica. E nos diria ento que as afirmaes acima significam exatamente o mesmo que estas outras: A. B. C. Todo nmero natural possui um nico sucessor, que tambm um nmero natural. Nmeros naturais diferentes possuem sucessores diferentes. (Ou ainda: nmeros que tm o mesmo sucessor so iguais.) Existe um nico nmero natural que no sucessor de nenhum outro. Este nmero representado pelo smbolo 1 e chamado de "nmero um". Se um conjunto de nmeros naturais contm o nmero 1 e, alm disso, contm o sucessor de cada um de seus elementos, ento esse conjunto coincide com N, isto , contm todos os nmeros naturais.
D.
A partir da, retomamos a palavra para dizer que o sucessor de 1 chama-se "dois", o sucessor de dois chama-se "trs", etc. Nossa civilizao progrediu ao ponto em que temos um sistema de numerao, o qual nos permite representar, mediante o uso apropriado dos smbolos 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9, todos os nmeros naturais. Alm disso, nossa linguagem tambm fornece nomes para os primeiros termos da seqncia dos nmeros naturais. (Nmeros muito grandes no tm nomes especficos, ao contrrio dos
EUREKA! N 3, 1998
27
menores como "mil novecentos e noventa e oito". Quem sabe, por exemplo, o nome do nmero de tomos do universo?) Voltando a usar a notao s(n) para o sucessor do nmero natural n, teremos ento 2 = s(1), 3 = s(2), 4 = s(3), 5 = s(4), etc. Assim, por exemplo, a igualdade 2 = s(1) significa apenas que estamos usando o smbolo 2 para representar o sucessor de 1. A seqncia dos nmeros naturais pode ser indicada assim:
1 s 2 s 3 s 4 s 5 s
As flechas ligam cada nmero ao seu sucessor. Nenhuma flecha aponta para 1, pois este nmero no sucessor de nenhum outro. O diagrama acima diz muito sobre a estrutura do conjunto N dos nmeros naturais.
q i h ppC} $ T
Um dos axiomas de Peano, o ltimo, possui claramente uma natureza mais elaborada do que os demais. Ele conhecido como o axioma da induo. Faremos dele uma anlise detida, acompanhada de comentrios. O significado informal do axioma D que todo nmero natural pode ser obtido a partir de 1 por meio de repetidas aplicaes da operao de tomar o sucessor. Assim, por exemplo, 2 o sucessor de 1, 3 o sucessor do sucessor de 1, etc. Para se entender melhor o axioma da induo util examinar o exemplo, no qual N = {1, 2, 3,} mas a funo s : N N modificada, pondo-se s(n) = n + 2. Ento, se comearmos com 1 e a este nmero aplicarmos repetidamente a operao de tomar o "sucessor" (nesta nova acepo) obteremos s(1) = 3, s(3) = 5, s(5) = 7, etc., e nunca chegaremos a qualquer nmero par. Portanto, o diagrama
2 s 4 s 6 s 1 s 3 s 5 s
exibe uma funo injetiva s : N N para a qual no verdade que todo nmero natural n pode ser obtido, a partir de 1, mediante repetidas aplicaes da operao de passar de k para s(k). Dentro de um ponto de vista estritamente matemtico, podemos reformular o axioma da induo do seguinte modo: Um subconjunto X N
EUREKA! N 3, 1998
28
chama-se indutivo quando s(X) X, ou seja, quando n X s(n) X, ou ainda, quando o sucessor de qualquer elemento de X tambm pertence a X. Dito isto, o axioma da induo afirma que o nico subconjunto indutivo de N que contm o nmero 1 o proprio N. No exemplo acima, os nmeros mpares 1, 3, 5, formam um conjunto indutivo que contm o elemento 1 mas no igual a N. O papel fundamental do axioma da induo na teoria dos nmeros naturais e, mais geralmente, em toda a Matemtica, resulta do fato de que ele pode ser visto como um mtodo de demonstrao, chamado o Mtodo de Induo Matemtica, ou Princpio da Induo Finita, ou Princpio da Induo, conforme explicaremos agora. Seja P uma propriedade que se refere a nmeros naturais. Um dado nmero natural pode gozar ou no da propriedade P. Por exemplo, seja P a propriedade de um nmero natural n ser sucessor de outro nmero natural. Ento 1 no goza da propriedade P, mas todos os demais nmeros gozam de P. O Princpio da Induo diz o seguinte: Princpio da Induo: Seja P uma propriedade referente a nmeros naturais. Se 1 goza de P e se, alm disso, o fato de o nmero natural n gozar de P implica que seu sucessor s(n) tambm goza, ento todos os nmeros naturais gozam da propriedade P. Para ver que o Princpio da Induo verdadeiro (uma vez admitidos os axiomas de Peano) basta observar que, dada a propriedade P cumprindo as condies estipuladas no enunciado do Princpio, o conjunto X dos nmeros naturais que gozam da propriedade P contm o nmero 1 e indutivo. Logo X = N, isto , todo nmero natural goza da propriedade P. As propriedades bsicas dos nmeros naturais so demonstradas por induo. Comecemos com um exemplo bem simples. Exemplo 1. Entre os axiomas de Peano no consta explicitamente a afirmao de que todo nmero diferente do seu sucessor, a qual provaremos agora. Seja P esta propriedade. Mais precisamente, dado o nmero natural n, escrevamos P(n) para significar, abreviadamente, a afirmao n s(n). Ento P(1) verdadeira, pois 1 s(1), j que 1 no sucessor de nmero algum; em particular, 1 no sucessor de si prprio. Alm disso, se supusermos P(n) verdadeira, isto , se admitimos que n s(n), ento s(n) s(s(n)), pois a funo s : N N injetiva. Mas a afirmao s(n) s(s(n) significa que P(s(n)) verdadeira. Assim, a
EUREKA! N 3, 1998
29
verdade de P(n) acarreta a verdade de P(s(n)). Pelo Princpio da Induo, todos os nmeros naturais gozam da propriedade P, ou seja, so diferentes de seus sucessores. Nas demonstraes por induo, a hiptese de que a propriedade P vlida para o nmero natural n (da qual deve decorrer que P vale tambm para s(n)) chama-se hiptese de induo. O Princpio da Induo no utilizado somente como mtodo de demonstrao. Ele serve tambm para definir funes f: N Y que tm como dominio o conjunto N dos nmeros naturais. Para se definir uma funo f : X Y exige-se em geral que seja dada uma regra bem determinada, a qual mostre como se deve associar a cada elemento x X um nico elemento y = f(x) Y. Entretanto, no caso particular em que o domnio da funo o conjunto N dos nmeros naturais, a fim de definir uma funo f : N Y no necessrio dizer, de uma s vez, qual a receita que d o valor f(n) para todo n N. Basta que se tenha conhecimento dos seguintes dados: (1) O valor f (1); (2) Uma regra que permita calcular f (s(n)) quando se conhece f (n). Esses dois dados permitem que se conhea f (n) para todo nmero natural n. (Diz-se ento que a funo f foi definida por recorrncia.) Com efeito, se chamarmos de X o conjunto dos nmeros naturais n para os quais se pode determinar f (n), o dado (1) acima diz que 1 X e o dado (2) assegura que n X s(n) X. Logo, pelo axioma da induo, tem-se X = N. Obs. : Uma funo f : N Y cujo domnio o conjunto dos nmeros naturais chama-se uma seqncia ou sucesso de elementos de Y. A notao usada para uma tal seqncia (y1, y2,,yn,), onde se usa yn em vez de f(n) para indicar o valor da funo f no nmero n. O elemento yn .
A adio e a multiplicao de nmeros naturais so exemplos de funes definidas por recorrncia. Para definir a adio, fixaremos um nmero natural arbitrrio k e definiremos a soma k + n para todo n N. Fixado k, a correspondncia n k + n ser uma funo f: N N, f(n) = k + n, chamada "somar k". Ela se define por recorrncia, a partir dos seguintes dados:
EUREKA! N 3, 1998
pp$p4p&tppp & hppp pTT

30
(S1) k + 1 = s(k) (S2) k + s(n) = s(k + n). Portanto, k + 1 , por definio, o sucessor de k. E, se conhecermos k + n, saberemos o valor de k + s(n): por definio, tem-se k + s(n) = s(k + n). Isto nos permite conhecer k + n para todo n N (e todo k N). Usando as notaes definitivas n + 1 em vez de s(n) e (k + n) + 1 em vez de s(k + n), a igualdade (S2) se escreve assim: (S2') k + (n + 1) = (k + n) +1. Assim, as igualdades (S1) e (S2) ou, equivalentemente, (S1) e (S2') definem por recorrncia a soma k + n de dois nmeros naturais quaisquer k e n. A multiplicao de nmeros naturais se define de modo anlogo adio. Fixado arbitrariamente um nmero natural k, a multiplicao por k associa a todo nmero mnatural n o produto n k, definido por induo da seguinte maneira: (P1) 1 k = k. (P2) (n + 1) k = nk + k. O produto nk escreve-se tambm nk e l-se "n vezes k". A definio acima diz portanto que uma vez k igual a k e n + 1 vezes k igual a n vezes k mais (uma vez) k . Assim, por definio, 2 k = k + k, 3 k = k + k + k, etc. Usa-se induo para provar as propriedades bsicas da adio e da multiplicao de nmeros naturais. Entre elas, destacam-se as seguintes, vlidas para quaisquer k, n, p N: Associatividade: k + (n + p) = (k + n) + p e k (n p) = (k n) p Comutatividade: k+n=n+k e kn=nk Lei do Corte: k+n=k+pn=p e kn=kpn=p Distributividade: k (n + p) = k n + k p. Omitiremos as demonstraes destes fatos. O leitor pode considerlas como exerccios sobre o mtodo da induo.
A adio de nmeros naturais permite introduzir uma relao de ordem em N. Dados os nmeros naturais m, n diremos que m menor do que n, e escreveremos m < n, para significar que existe p N tal que n = m + p. Neste caso, diz-se tambm que n maior do que m e escreve-se n > m para exprimir que se tem m < n. A notao m n significa que m < n ou m = n. Por definio, tem-se portanto m < m + p para quaisquer m, p N. Em
EUREKA! N 3, 1998
&ppT
31
particular, m < m + 1. Segue-se tambm da definio que 1 < n para todo nmero natural n 1. Com efeito, pelo axioma C, n 1 implica que n sucessor de algum nmero natural m, ou seja, n = m + 1 = 1 + m, logo n > 1. Assim, 1 o menor dos nmeros naturais. Provaremos a seguir as propriedades bsicas da relao de ordem m < n que definimos. A primeira delas a transitividade. Teorema 1. (Transitividade.) Se m < n e n < p, ento m < p. Demonstrao: Se m < n, n < p ento n = m + k, p = n + r, logo p = (m + k) + r = m + (k + r), portanto m < p. Outra importante propriedade de relao de ordem que, dados dois nmeros naturais diferentes m, n, ou se tem m < n ou ento n < m. Esta propriedade pode ser reformulada de outra maneira, como segue. Diremos que os nmeros naturais m, n so comparveis quando se tem m = n, m < n ou n < m. Podemos ento enunciar o seguinte teorema. Teorema 2. (Comparabilidade.) Todo nmero natural n comparvel com qualquer nmero natural m. Demonstrao: Isto se prova por induo. O nmero 1 comparvel com qualquer outro nmero natural pois j sabemos que 1 < m para todo m 1. Suponhamos agora que o nmero n seja comparvel com todos os nmeros naturais. Mostremos, a partir da, que n + 1 tambm tem essa propriedade. Com efeito, seja m N tomado arbitrariamente. Sabemos que se tem m < n, m = n ou n < m. Examinemos cada uma dessas possibilidades: Se for m < n ento m < n + 1 por transitividade, pois sabemos que n < n + 1. Se for m = n, ento m < n + 1. Se for n < m ento m = n + p. Neste caso, h duas possibilidades. Ou se tem p = 1, donde m = n + 1, ou ento p > 1, logo p = 1 + p, e da m = (n + 1) + p e conclumos que n + 1 < m. Em qualquer hiptese, vemos que n + 1 comparvel com qualquer nmero natural m. Por induo, fica provada a comparabilidade de quaisquer nmeros naturais m, n. A comparabilidade dos nmeros naturais complementada pela proposio abaixo. Teorema 3. (Tricotomia.) Dados m, n N, qualquer das afirmaes m < n, m = n, n < m exclui as outras duas. Demonstrao: Se tivssemos m < n e m = n, ento seria m = m + p, donde m + 1 = m + p + 1 e, cortando m, concluiramos que 1 = p + 1, um
EUREKA! N 3, 1998
32
absurdo, pois 1 no sucessor de p. Portanto m < n (e analogamente, n < m) incompatvel com m = n. Do mesmo modo, se tivssemos m < n e n < m, ento teramos n = m + p e m = n + k, do que resultaria n = n + k + p, logo n + 1 = n + k + p + 1 e, cortando n, concluiramos que 1 = k + p + 1, um absurdo. O teorema seguinte mostra que n e n + 1 so nmeros consecutivos. Teorema 4. No existem nmeros naturais entre n e n + 1. Demonstrao: Se fosse possvel ter n < p < n + 1, teramos p = n + k e n + 1 = p + r, logo n + 1 = n + k + r. Cortando n, obteramos 1 = k + r. Por definio, isto significaria k < 1, o que absurdo, pois j vimos que k 1 k > 1. A conexo entre a relao de ordem e as operaes de adio e multiplicao dada pelo seguinte teorema: Teorema 5. (Monotonicidade.) Se m < n, ento m + p < n + p e mp < np. Demonstrao: Usando a definio de <, temos que m < n n = m + k n + p = (m + k) + p m + p < n + p. Analogamente, m < n n = m + k np = mp + kp np >mp. A recproca da monotonicidade a Lei do Corte para desigualdades: m + p < n + p m < n e mp < np m < n. O leitor poder prov-la por absurdo, usando a tricotomia e a prpria monotonicidade.
Dado o subconjunto A N, diz-se que o nmero natural a o menor (ou primeiro) elemento de a quando a A e, alm disso, a x, para todos os elementos x A. Por exemplo, 1 o menor elemento de N. De agora em diante, dado n N, indicaremos com In o conjunto dos nmeros naturais p tais que 1 p n. Assim, I1 = {1}, I2 = {1, 2}, I3 = {1, 2, 3} etc. As propriedades da relao de ordem m < n, demonstradas na seo anterior para os nmeros naturais (exceto o Teorema 4 que vale apenas para nmeros inteiros), so igualmente vlidas para os nmeros inteiros, racionais e, mais geralmente, para nmeros reais quaisquer. Existe, porm, uma propriedade de suma importncia que vlida para a ordem entre os
EUREKA! N 3, 1998
ppp pTT
33
nmeros naturais, mas sem equivalente para nmeros inteiros, racionais ou reais. Teorema 6. (Princpio da Boa Ordenao.) Todo subconjunto no-vazio A N possui um menor elemento. Demonstrao: Sem perda de generalidade, podemos admitir que 1 A, pois caso contrrio 1 seria evidentemente o menor elemento de A. O menor elemento de A, cuja existncia queremos provar, dever ser da forma n + 1. Devemos pois encontrar um nmero natural n tal que n +1 A e, alm disso, todos os elementos de A so maiores do que n, logo maiores do que 1, 2, , n. Noutras palavras, procuramos um nmero natural n tal que In N A e n + 1 A. Com esse objetivo, consideramos o conjunto X = {n N; In N A}. Portanto, X o conjunto dos nmeros naturais n tais que todos os elementos de A so maiores do que n. Como estamos supondo que 1 A, sabemos que 1 X. Por outro lado, como A no vazio, nem todos os nmeros naturais pertencem a X, ou seja, temos X N.Pelo axioma D, vemos que o conjunto X no indutivo, isto , deve existir algum n X tal que n + 1 X Isto significa que todos os elementos de A so maiores do que n mas nem todos so maiores do que n + 1. Como no h nmeros naturais entre n e n + 1, conclumos que n + 1 pertence a A e o menor elemento de A.
O Princpio da Boa Ordenao pode muitas vezes ser usado em demonstraes, substituindo o Princpio da Induo. Vejamos um exemplo. Dissemos anteriormente que um subconjunto X N chama-se indutivo quando n X n + 1 X, ou seja, quando X contm o sucessor de cada um dos seus elementos. O Princpio da Induo afirma que se um conjunto indutivo X contm o nmero 1 ento X contm todos os nmeros naturais. Vamos usar o Princpio da Boa Ordenao para provar que se um conjunto indutivo X contm o nmero a, ento X contm todos os nmeros naturais maiores do que a. A prova desta afirmao se faz por absurdo, como ocorre em geral quando se usa a boa ordenao. Suponhamos ento que existam nmeros naturais, maiores do que a, no pertencentes ao conjunto indutivo X. Seja b o menor desses nmeros. Como b > a, podemos escrever b = c + 1, onde, pela definio de b, tem-se necessariamente c X. Mas, como X indutivo, isto obriga que b = c + 1 X, uma contradio.
EUREKA! N 3, 1998
34
A proposio qua acabamos de demonstrar pode ser enunciada da seguinte forma: Teorema 7: (Princpio da Induo Generalizado.) Seja P uma propriedade referente a nmeros naturais, cumprindo as seguintes condies: (1) O nmero natural a goza da propriedade P; (2) Se um nmero natural n goza da propriedade P ento seu sucessor n + 1 tambm goza de P. Ento todos os nmeros naturais maiores do que ou iguais a a gozam da propriedade P. Exemplo 2. Vejamos uma situao simples onde se emprega o Princpio da Induo Generalizado. Trata-se de provar que 2n + 1 < 2n, para todo n 3. Esta afirmao, (que falsa para n = 1 ou n = 2), vale quando n = 3. Supondo-a vlida para um certo n 3, mostremos que da decorre sua validez para n + 1. Com efeito, 2(n + 1) + 1 = (2n + 1) + 2 < 2n + 2 < 2n + 2n = 2n + 1. (Na primeira desigualdade, usamos a hiptese de induo.) Exemplo 3. Usando a desigualdade 2n + 1 < 2n, qua acabamos de provar para n 3, podemos demonstrar que n2 < 2n para todo n 5, empregando novamente o Princpio da Induo Generalizado. Com efeito, vale 52 < 25 pois 25 < 32. Supondo vlida a desigualdade n2 < 2n para um certo valor de n 5, da segue-se que (n + 1)2 = n2 + 2n + 1 < 2n + 2n + 1 (pela hiptese de induo) < 2n + 2n (pelo exemplo anterior) = 2n + 1. Portanto P(n) P(n + 1). Pelo Princpio de Induo Generalizado, segue-se que P(n) vale para todo n 5. Evidentemente, a desigualdade n2 < 2n falsa para n = 1, 2, 3, 4. O teorema abaixo contm outra aplicao do Princpio da Boa Ordenao. Teorema 8. Toda funo montona no-crescente f: N N constante a partir de um certo ponto. ( Isto , existe n0 N tal que f(n) = f(n0), para todo n n0.) Demonstrao: Seja n0 o menor elemento do conjunto X = {f(1), f(2), , f(n),}. Ento n > n0 f(n) f(n0) (porque a funo f no-crescente) o que acarreta que f(n) = f(n0) (porque f(n0) o menor elemento de X). Corolrio: Toda seqncia decrescente n1 > n2 > de nmeros naturais finita. Com efeito, do contrrio, pondo f(k) = nk, obteramos uma funo estritamente decrescente f : N N.
EUREKA! N 3, 1998
ppppCp &ppp&pp&&T
35
Em algumas situaes, ao tentarmos fazer uma demonstrao por induo, na passagem de n para n + 1, sentimos necessidade de admitir que a proposio valha no apenas para n e sim para todos os nmeros naturais menores do que ou iguais a n. A justificativa de um raciocnio desse tipo se encontra no Teorema 9: (Segundo Princpio da Induo.) Seja X N um conjunto com a seguinte propriedade: (I) Dado n N, se todos os nmeros naturais menores do que n pertencem a X, ento n X. O segundo Princpio da Induo afirma que um conjunto X N com a propriedade (I) coincide com N. Demonstrao: Com efeito, supondo, por absurdo, que X N, isto , que N X , seja n o menor elemento do conjunto N X, ou seja, o menor nmero natural que no pertence a X. Isto quer dizer que todos os nmeros naturais menores do que n pertencem a X. Mas ento, pela propriedade (I), n pertence a X, uma contradio. Segue-se que N X = e X = N. Obs. : Se um conjunto X N goza da propriedade (I), para que um nmero natural n no pertencesse a X seria necessrio que existisse algum nmero natural r < n tal que r X. Em particular, se n = 1, como no existe nmero natural menor do que 1, a hiptese 1 X no pode ser cumprida. Noutras palavras, (I) j contm implicitamente a afirmao de que 1 X. Assim, ao utilizar o Segundo Princpio da Induo, no preciso estipular que X contm o nmero 1. Toda propriedade P que se refira a nmeros naturais define um subconjunto X N, a saber, o conjunto dos nmeros naturais que gozam da propriedade P. (E reciprocamente, todo conjunto X N define uma propriedade referente a nmeros naturais, a saber, a propriedade de pertencer a X.) Deste modo, "propriedade" e "conjunto" so noes equivalentes. Por isso, natural que o Segundo Princpio da Induo possua a formulao seguinte, onde ele aparece como o Teorema 10: (Segundo mtodo de demonstrao por induo.) Seja P uma propriedade referente a nmeros naturais. Dado n N, se a validade de P para todo nmero natural menor do que n implicar que P verdadeira para n, ento P verdadeira para todos os nmeros naturais. Demonstrao: Com efeito, nas condies do enunciado, o conjunto X dos nmeros naturais que gozam da propriedade P satisfaz a condio (I) do
EUREKA! N 3, 1998
36
Segundo Princpio da Induo, logo X = N e P vale para todos os nmeros naturais. Aplicaremos agora o Segundo Princpio da Induo para demonstrar um fato geomtrico. No exemplo a seguir, usamos os nmeros naturais como instrumento de contagem, isto , como nmeros cardinais, pois empregamos expresses do tipo um polgono de n lados". (Vide seo 6.) Sabe-se que, traando diagonais internas que no se cortam, pode-se decompor qualquer polgono em tringulos justapostos. Isto evidente quando o polgono convexo: basta fixar um vrtice e traar as diagonais a partir dele. Se o polgono no convexo, a prova requer mais cuidados. (Vide "Meu Professor de Matemtica", pag. 109.) O leitor pode experimentar com um polgono no-convexo e verificar qua h muitas maneiras diferentes de decomp-lo em tringulos justapostos mediante diagonais internas. Mas vale o resultado seguinte, no qual usaremos o Segundo Princpio da Induo. Exemplo 4. Qualquer que seja a maneira de decompor um polgono P, de n lados, em tringulos justapostos por meio de diagonais internas que no se intersectam, o nmero de diagonais utilizadas sempre n 3. Com efeito, dado n, suponhamos que a proposio acima seja verdadeira para todo polgono com menos de n lados. Seja ento dada uma decomposio do polgono P, de n lados, em tringulos justapostos, mediante diagonais internas. Fixemos uma dessas diagonais. Ela decompe P como reunio de dois polgonos justapostos P1, de n1 lados, e P2, de n2 lados, onde n1 < n e n2 < n, logo a proposio vale para os polgonos P1 e P2. Evidentemente, n1 + n2 = n + 2.
P1
P2
As d diagonais que efetuam a decomposio de P se agrupam assim: n1 3 delas decompem P1, n2 3 decompem P2 e uma foi usada para
EUREKA! N 3, 1998
37
separar P1 de P2. Portanto d = n1 3 + n2 3 + 1 = n1 + n2 5. Como n1 + n2 = n + 2, resulta que d = n 3. Isto completa a demonstrao. Observaes: 1. Para habituar-se com o mtodo de demonstrao por induo preciso pratic-lo muitas vezes, a fim de perder aquela vaga sensao de desonestidade que o principiante tem quando admite que o fato a ser provado verdadeiro para n, antes de demonstr-lo para n + 1. Pratique tambm (com moderao) o exerccio de descobrir o erro em paradoxos que resultam do uso inadequado do mtodo de induo. Vejamos dois desses sofismas:
2.
Exemplo 5. Todo nmero natural pequeno. Ora, 1 certamente pequeno. E se n pequeno, n + 1 no vai subitamente tornar-se grande, logo tambm pequeno. (O erro aqui consiste em que a noo "nmero pequeno" no bem definida.) Exemplo 6. Toda funo f : X Y, cujo domnio um conjunto finito X, constante. Isto obviamente verdadeiro se X tem apenas 1 elemento. Supondo a afirmao verdadeira para todos os conjuntos com n elementos, seja f : X Y definida num conjunto X com n + 1 elementos. Considere um elemento a X. Como X = X {a} tem n elementos, f assume o mesmo valor c Y em todos os elementos de X. Agora troque a por um outro elemento b X. Obtm-se X = X {b} um conjunto com n elementos (entre os quais a). Novamente pela hiptese de induo, f constante e igual a c em X. Logo f (a) = c e da f : X Y constante. (Aqui o erro reside no uso inadequado da hiptese de induo. O raciocnio empregado supe implicitamente que X tem pelo menos 3 elementos. Na realidade, no vale a implicao P(1) P(2).) O perigo de fazer generalizaes apressadas relativamente a asseres sobre nmeros naturais fica evidenciado com o seguinte exemplo:
EUREKA! N 3, 1998
38
Exemplo 7. Considere o polinmio p(n) = n2 n + 41 e a afirmao "o valor de p(n) sempre um primo para n = 0, 1, 2, 3, ". Embora isso seja verdadeiro para n = 0, 1, 2, , 40, temos p(41) = 412 41 + 41 = 412 no primo, logo a afirmao no verdadeira. Semelhantemente, a expresso q(n) = n2 79n + 1601 fornece primos para n = 1, 2, , 79, mas q(80) = 802 79 80 + 1601 = 1681 no primo, pois divisvel por 41. A moral da histria : S aceite que uma afirmao sobre os nmeros naturais realmente verdadeira para todos os naturais se isso houver de fato sido demonstrado! Vamos agora mostrar como se usam os nmeros naturais para contar os elementos de um conjunto finito. O Princpio da Induo ser essencial. Lembremos que, dado n N, escrevemos In = {p N; p n}, portanto In = {1, 2, , n}. Uma contagem dos elementos de um conjunto no-vazio X uma bijeo f : In X. Podemos pr x1 = f(1), x2 = f(2),, xn = f(n) e escrever X = {x1, x2,xn}. Diz-se ento que X possui n elementos. O conjunto X chama-se um conjunto finito quando existe n N tal que X possui n elementos. Um exemplo bvio de conjunto finito In. Evidentemente, a funo identidade f: In In uma contagem dos elementos de In. Um exemplo de conjunto infinito o proprio conjunto N dos nmeros naturais, pois nenhuma funo f : In N pode ser sobrejetiva, no importa qual n se tome. De fato, dada f, tomamos k = f(1) + f(2) ++ f(n) e vemos que k > f(x) para todo x In, logo k f(In), e f no sobrejetiva. A fim de que no haja ambigidade quando se falar do nmero de elementos de um conjunto finito X, necessrio provar que todas as contagens de X fornecem o mesmo resultado. Noutras palavras, dado o conjunto X, os nmeros naturais m, n e as bijees f : Im X, g : In X, devemos mostrar que se tem m = n. Comeamos observando que se f e g so bijees, ento = g1 f : Im In tambm uma bijeo. Basta portanto provar o seguinte: Teorema 11. Dados m, n N, se : Im In uma bijeo, ento m = n. Demonstrao. Com efeito, chamemos de X o conjunto dos nmeros naturais n que tm a seguinte propriedade: s existe uma bijeo : Im In quando m = n. Evidentemente, 1 X. Suponhamos agora que n X.
EUREKA! N 3, 1998
pp ppp&pTT
39
Dada uma bijeo : Im+1 In+1, duas coisas podem acontecer. Primeira: (m + 1) = n + 1. Neste caso, a restrio |Im : Im In uma bijeo, logo m = n, donde m + 1 = n + 1. Segunda: (m + 1) = b, com b < n + 1. Neste caso, consideramos a = 1(n + 1) e definimos uma nova bijeo :Im + 1 In + 1, pondo (m + 1) = n + 1, (a) = b e (x) = (x) para os demais elementos x Im + 1. Ento recamos no caso anterior e novamente conclumos que m + 1 = n + 1. Isto mostra que n X n + 1 X, logo X = N e a unicidade do nmero cardinal de um conjunto finito fica demonstrada. Agora os nmeros naturais no so apenas elementos do conjuntopadro N, mas servem tambm para responder perguntas do tipo "quantos elementos tem o conjunto X?,"ou seja, podem ser usados tambm como nmeros cardinais. A adio de nmeros naturais se relaciona com a cardinalidade dos conjuntos por meio da seguinte proposio. Teorema 12: Sejam X, Y conjuntos finitos disjuntos. Se X tem m elementos e Y tem n elementos, ento X Y tem m + n elementos. Demonstrao: Com efeito, se f : Im X e g : In Y so bijees, definimos uma bijeo h : Im+n X Y por h (x) = f (x) se 1 x m e h(x) = g(x) + m se m + 1 x m + n, o que conclui a demonstrao. Prova-se, por induo, que todo subconjunto de um conjunto finito X tambm finito e seu nmero de elementos menor do que ou igual ao de X (Veja E.L.Lima, "Anlise Real", vol 1, pag. 5.) E conveniente incluir, por definio, o conjunto vazio entre os conjuntos finitos e dizer que o seu nmero de elementos zero. Embora zero no seja um nmero natural, ele passa a ser o nmero cardinal do conjunto vazio. Seguem-se algumas proposies que devem ser demonstradas por induo ou boa ordenao. Os dez ltimos exerccios foram sugeridos pelo Professor A. C. Morgado. Exerccios: 1. Construa um esquema de setas comeando com os nmeros mpares, seguidos dos nmeros pares divisveis por 4 em ordem decrescente e, por fim, os pares no divisveis por 4 em ordem crescente. Noutras
EUREKA! N 3, 1998
40
2. 3. 4. 5. 6. 7.
8.
palavras, tome X = N e defina s : X X pondo s(n) = n + 2 se n no divisvel por 4, s(n) = n 2 se n for mltiplo de 4. Mostre que s : X X cumpre os axiomas A, B, C mas no D. Defina, por recorrncia, uma funo f : N N estipulando que f (1) = 3 e f (n + 1) = 5. f (n) + 1. D uma formula explcita para f (n). D uma frmula explcita para f : N N sabendo que f(1) = 1, f(2) = 5 e f (n + 2) = 3f (n + 1) 2f (n). Seja X N um conjunto indutivo no-vazio. Mostre que existe a N tal que X = {n N; n a}. n(n + 1)(2n + 1) . Prove, por induo, que 12 + 2 2 + ... + n 2 = 6 Num polgono com n 6 lados, o nmero de diagonais maior do que n. Prove, por induo que [(n + 1)/n]n < n, para todo n 3. (Sugesto: Observe que (n + 2)/(n + 1) < ( n + 1)/n e eleve ambos os membros desta desigualdade potncia n + 1.) Conclua da que a seqncia 1, 2 , 3 3 , 4 4 , 5 5 ,... decrescente a partir do terceiro termo. Prove, por induo a desigualdade de Bernoulli: (1 + a)n > 1 + na quando 1 + a > 0.
n
(n + 1) 2 9. Para todo n N, ponha x n = e prove, por induo que se n(n + 2) n+2 tem x n < . Conclua, a partir da, que a seqncia de termo geral n +1
n + 1 crescente. n n n + 2 xn . Sugesto: observe que x n +1 = n +1 n + 3
3 n
10. Use a distributividade de duas maneiras diferentes para calcular (m + n )(1 + 1) e aplique em seguida a Lei do Corte para obter uma nova prova de que m + n = n + m. 11. Um conjunto S N, no-vazio, limitado superiormente, se existe um natural k tal que para todo natural x S, ento x k. Mostre que S possui um maior elemento. (Isto , existe m S tal que x m, para todo x S.)
EUREKA! N 3, 1998
41
12. Demonstre que a soma dos n primeiros nmeros mpares n2, ou seja, que 1 + 3 + 5 ++ (2n 1) = n2. 13. Prove que 2n 1 mltiplo de 3, para todo nmero natural n par. 14. Demonstre que, para todo nmero natural n, vale 1 1 1 1 1 + 1 + 1 + ...1 + n + 1. 2 3 n 1 15. Demonstre que 1
1 1 1 1 1 1 1 1 . + + .. + = + + ... + 2 3 4 199 200 101 102 200
1 2 16. Determine An se A = 2 4
17. Demonstre, usando o Princpio da Induo Finita, que p p + 1 p + n p + n + 1 . + ... + + p p p = p Este resultado comumente conhecido por Teorema das Colunas. (Por qu?). p 1 3 7 18. Considere a seqncia , , ,..., n ,..., onde 1 2 5 qn p n +1 = p n + 2q n e q n +1 = p n + q n . Demonstre que a) m.d.c (pn, qn) = 1; (1 + 2 ) n b) pn o inteiro mais prximo de e qn o inteiro mais prximo 2 2 (1 + 2 ) n . de 4 19. [A Torre de Hani.] So dados trs suportes A, B e C. No suporte A esto encaixados n discos cujos dimetros, de baixo para cima, esto em ordem estritamente decrescente. Mostre que possvel, com 2n 1 movimentos, transferir todos os discos para o suporte B, usando o suporte C como auxiliar, de modo que jamais, durante a operao, um disco maior fique sobre um disco menor.
EUREKA! N 3, 1998
42
20. Demonstre que 2n < n!, para n 4. 21. Demonstre que 2n3 > 3n2 + 3n + 1 para n 3. 22. Considere n retas em um plano. Mostre que o "mapa" determinado por elas pode ser colorido com apenas duas cores sem que duas regies vizinhas tenham a mesma cor.
A teoria de fraes contnuas um dos mais belos temas da matemtica elementar, sendo ainda hoje assunto de pesquisa recente (incluindo a do autor destas linhas). O objetivo deste artigo servir como referncia didtica em portugus a nvel secundrio sobre o assunto. Nas incluses N Z Q R a passagem de Q para R sem dvida a mais complicada conceitualmente, e a representao de um nmero real est diretamente ligada propria noo de nmero real. De fato, o conceito de nmero natural quase um conceito primitivo no ensino secundrio. J um nmero inteiro um nmero natural com um sinal que pode ser + ou , e um nmero racional a razo entre um nmero
EUREKA! N 3, 1998
&1 &4@1 G
43
SbCbSSSG4 bfSSbG
Carlos Gustavo Moreira
ppp$
inteiro e um natural no nulo. Por outro lado, dizer o que um nmero real tarefa bem mais complicada, mas h coisas que podemos dizer sobre eles. Uma propriedade essencial de R que todo nmero real pode ser bem aproximado por nmeros racionais. Efetivamente, dado x R, existe k Z (k = [x]) tal que 0 x k < 1. Podemos escrever a representao decimal de x k = 0, a1a2an, ai {0, 1, , 9}, o que significa que se rn = an + 10.an1 + 100.an2 ++ 10n1 . a1, ento rn r +1 r x k < n n , e portanto k + n uma boa aproximao racional de n 10 10 10 n r 1 , que um x, no sentido que o erro x (k + nn ) menor que 10 10 n nmero bem pequeno se n for grande. A representao decimal de um nmero real fornece pois uma seqncia de aproximaes por racionais cujos denominadores so potncias de 10. Dado qualquer x R e q natural no nulo existe p Z tal que , e portanto x
p p +1 x< q q
p p +1 1 1 . Em particular h aproximaes < e x q q q q

1
. A q representao decimal de x equivale a dar essas aproximaes para os denominadores q que so potncias de 10, e tem mritos como sua praticidade para efetuar clculos que a fazem a mais popular das representaes dos nmeros reais. Por outro lado, envolve a escolha arbitrria da base 10, e oculta freqentemente aproximaes racionais de x muito mais eficientes do que as que exibe. Por exemplo, 22 1 314 355 1 3141592 < < e < < 7 700 100 113 3000000 1000000 de x por racionais com denominador q com erro menor que mostram que
22 355 e so melhores aproximaes de que aproximaes 7 113 decimais com denominadores muito maiores, e de fato so aproximaes muito mais espectaculares do que se podia esperar.
O objetivo deste artigo apresentar uma outra maneira de representar nmeros reais, que sempre fornece aproximaes racionais
EUREKA! N 3, 1998
44
surpreendentemente boas, e de fato fornece todas essas aproximaes excepcionalmente boas, alm de ser natural e conceitualmente simples: a representao por fraes contnuas. Dado x R definimos [x] como o nico inteiro tal que [x] x < [x] + 1). Definimos recursivamente 1 0 = x, a n = [ n ], e, se n Z , n +1 = , para todo n N . n an Se, para algum n, n = an temos
x = 0 = a0 + 1 a1 + 1 a 2 + ... + 1 an =: [a ; a1 , a 2 ..., a n ].
0
Se no denotamos
x = a0 + 1 a1 + 1 a 2 + ... =: [a 0 ; a1 , a 2 ...].
O sentido dessa ltima notao ficar claro mais tarde. A representao acima se chama a representao por fraes contnuas de x. Curiosidade: O denominador da n-sima aproximao em base B de um nmero real Bn. J o denominador qn da n-sima aproximao por frao contnua de x depende de x. Apesar disso, para quase todo real x,
n
q n converge a e
x pn qn
/ 12 ln 2
= 3,27582291872... (meu nmero real preferido!) e

2
converge a e
/ 6 ln 2
= 0,093187822954...
Observao: Os n (como funes de x) so funes distintas do tipo ax + b com a, b, c, d inteiros. Se a frao contnua de x peridica, ou seja, cx + d se n + k = n, n N, k N*, ento x ser raiz de uma equao do segundo grau com coeficientes inteiros, ou seja, ser um irracional da forma
EUREKA! N 3, 1998
45
r + s , r , s Q. A recproca verdadeira (de fato j foi enunciada no artigo de Jos Paulo Carneiro na RPM, ver referncias), mas sua prova mais difcil, e ser apresentada no Apndice. Se x Q, sua representao ser finita, e seus coeficientes an vm do algoritmo de Euclides:
x= p q , q>0 p = a 0 q + r0 q = a1 r0 + r1 r0 = a 2 r1 + r2 rn 2 = a n rn 1 0 r0 < q 0 r1 < r0 0 r2 < r1
Isso j uma vantagem da representao por fraes contnuas (alm de no depender de escolhas artificiais de base), pois o reconhecimento de racionais mais simples que na representao decimal. Seo 1: Reduzidas e boas aproximaes. Seja x = [a0; a1, a2, ]. Sejam pn Z, qn N* primos entre si tais que pn = [a0; a1, a2, , an], n 0. O seguinte resultado ser fundamental no qn que seguir. Proposio: (pn) e (qn) satisfazem a recorrncia pn+2 = an+2 pn+1+ pn e qn+2 = an+2 qn+1 +qn, para todo n 0. Temos ainda p0 = a0, p1 = a0a1 +1, q0 = 1,q1 = a1. Alm disso, pn+1 qn pnqn+1 = (1)n, n 0. Prova: Por induo em n, provaremos que se tk > 0, para k > 1 ento [t0; t1, t2, , tk] =
xk onde as seqncias (xm) e (ym) so definidas por yk
x0 = t0, y0 = 1, x1 = t0t1 + 1, y1 = t0, xn+2 = tn+2 xn+1 + xn, yn+2 = tn+2 yn+1 + yn, n. Suponha que a afirmao seja vlida para k = n. Para k = n+1 temos
EUREKA! N 3, 1998
46
[t0; t1, t2, , tn, tn+1] = [t0; t1, t2, , tn +

1
1 t n +1
]=
) x n 1 + x n 2 t n +1 t (t x + x ) + x n 1 t n +1 x n + x n 1 . = = n +1 n n 1 n 2 1 t n +1 (t n y n 1 + y n 2 ) + y n 1 t n +1 y n + y n 1 (t n + ) y n 1 + y n 2 t n +1
(t n +
Por outro lado as igualdades p1q0 p0q1 = (a0a1 +1) a0a1 = 1 pn+2 qn+1 pn+1 qn+2 = (an+2 pn+1 + pn) qn+1 (an+2 qn+1 + qn) pn+1 = = ( pn+1 qn pnqn+1) mostram que pn+1 qn pnqn+1 = (1)n, n N, o que implica em particular que os pn, qn dados pelas recorrncias acima so primos entre si. Corolrio: x =
n p n 1 + p n 2 n q n 1 + q n 2
n =
p n2 q
q n 1 p n 1
n2
, n N.
Prova: A primeira igualdade conseqncia direta da prova, e a segunda conseqncia direta da primeira pois x = [a0; a1, a2, , an1, n]. Note que as reduzidas de ordem par so menores e as de ordem mpar maiores que x = [a0; a1,]. Teorema 1: x Alm disso, x
pn qn
pn qn
<
1 1 < 2 , n N. q n q n +1 q n
p 1 ou x n +1 2 q n +1 2q n < 1 , n N. 2 2q n +1
p n +1 pn cujo e qn q n +1
Prova: x sempre pertence ao segmento de extremos comprimento : p n +1 p n = q n +1 q n

EUREKA! N 3, 1998
(1) n q n q n +1
1 q n q n +1
pn 1 1 < 2. qn q n q n +1 q n
47
Alm disso, se
x
1
1 1 1 pn p p p 2 e x n+1 2 ento = x n + x n+1 qn qn+1 qn qn+1 2qn 2qn+1 qnqn+1

+ 1
2 2q n +1
2 2q n
q n +1 = q n , absurdo u
Observao: De fato
pn qn
<
1 q n q n +1
<
1
2 a n +1 q n
. Quanto
maior for
an+1 melhor ser a aproximao
pn de x. O prximo resultado nos d qn
explicitamente o erro da aproximao de x por Proposio:

x
pn qn
q pn (1) n , onde n +1 = n 1 = [0; a n , a n 1 , a n 2 ,..., a1 ]. = 2 qn q n ( n +1 + n +1 ) q n p n 1 q n 1 x . Portanto, qn x pn
Demonstrao: Temos n +1 =
n +1 + n +1 =
pn 1 qn 1x qn 1 pn 1qn pn qn 1 (1)n p + = = x n = qn x pn qn qn (qn x pn ) qn (qn x pn ) qn
q n (q n x p n )
2 qn
(1) n 2 ( n +1 + n +1 )q n
Como aplicao podemos provar o seguinte. Teorema (Hurwitz, Markov): Para todo irracional, n 1 p p n1 p n p n+1 p 1 , , < para pelo menos um racional q q q n1 q n q n+1 5q 2 p 1 particular < tem infinitas solues racionais p/q. q 5q 2 temos
. Em
EUREKA! N 3, 1998
48
Demonstrao: Suponha que o teorema seja falso. Ento existe irracional, n 1 com n + n 5, n +1 + n +1 5 e n + 2 + n + 2 5. Devemos portanto ter an = an+1 = an+2 = 1 (todos so claramente no mximo 2, e se algum ak igual a 2 com k {n, n + 1, n + 2}, teramos
k + k 2 +
1 > 5 , absurdo.) 3
Seja x = 1/n+2 e y = n+1. As desigualdades acima se traduzem em 1 1 1 1 + 5, 1 + x + y 5 e + 5 . Temos 1+ x y x 1+ y
1+ x + y 5 1+ x 5 y
portanto
y( 5 y) 1 y
1 1 1 1 5 + + = 1+ x y 5 y y y( 5 y),
5 1 . 2
e temos e ter
Por
outro
lado
x 5 1 y
1 1 1 1 5 + + = x 1+ 4 5 1 y 1 + 4 (1 + y )( 5 1 y )
5 1 , 2
portanto (1 + 4)( 5 1 y ) 1 y
y=
portanto
devemos
q 5 1 , o que absurdo pois y = n +1 = n 1 Q. qn 2

1 5q
2
Obs: em particular provamos que p <

q
tem infinitas solues
p , para todo irracional. q propriedade, De fato, se
racionais
5 o maior nmero com essa
> 0, =
p 1+ 5 1 e < , temos 2 q ( 5 + )q 2
1 5 2 p q
1+ 5 1+ 5 1 p < p q 1 5 p < q q 2 2 2 ( 5 + )q
EUREKA! N 3, 1998
5 +
49
ou seja , p 2 pq q 2 < 1 + 5 p 5
2 q
( 5 + ). Se q grande, 1/q
pequeno,
1+ 2
p q
muito
prximo
5 5 +
de
0,
donde
1+ 5 p 5 2 q
( 5 + ) muito prximo de
< 1, absurdo, pois
p 2 pq q 2 1 (de fato p2 pq q2 um inteiro no nulo, pois se
p p p 1 + 5 1 5 p2 pq q2 = 0 teramos 1 = 0 , , q q q 2 2 p absurdo, pois Q .) q

2
Outra maneira de ver que, para todo > 0, apenas um nmero finito de solues
1+ 2
p 1 < q ( 5 + )q 2
tem
p Q observar que as melhores q p 1+ 5 aproximaes racionais de so as reduzidas n de sua frao 2 q

n
contnua [1, 1, 1, 1, ] (ver seo 2 e exemplos), para as quais temos

p 1+ 5 1 , com n + 1 + n + 1 se aproximando cada n = 2 2 q ( n + 1 + n +1 ) q n n
vez mais de
[1;1,1,1...] + [0;1,1,1,...] = 1+ 5 5 1 + = 5. 2 2
Exemplos: = [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1,], portanto p0 p 22 p 2 333 p 3 355 = 3, 1 = , = , = ,... q0 q1 7 q 2 106 q 3 113
EUREKA! N 3, 1998
50
e = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8,, 1, 1, 2n, ], (isso no fcil de provar.) 2 = [1;2,2,2,...] pois

2 =1+ 1 2 +1 =1+ 2+ 1 1 2 +1 =1+ 2+ 2+ 1 1 1 2+1 = ...
1+ 2
= [1;1,1,1,...] pois 1 +
=1+
1 1+ 5 2
=1+ 1+
1 1 1+ 5 2
= ...
Isso prova em particular que contnua infinita.
2 e 1 + 5 so irracionais, pois sua frao

2
Seo 2: Boas aproximaes so reduzidas. O prximo teorema (e seu Corolrio 2) caracteriza as reduzidas em termo do erro reduzido da aproximao de x por p/q, o qual , por definio, a razo entre x p / q e o erro mximo da aproximao por falta com denominador q, que 1/q. Assim, o erro reduzido da aproximao de x por p/q qx p .
p Teorema 2: q n x p n < qx p , p, q Z,0 < q q n , p n . q qn
Alm disso, q n x p n qx p , p, q Z,0 < q < q n +1 . Prova:

p pn 1 1 > se q < qn+1, e assim q qn qq n q n q n +1
p est fora do q
p p intervalo n , n +1 . Portanto, q q n +1 n
EUREKA! N 3, 1998
51
p p p p p min n , n +1 q q q n q q n +1
1 1 qx p qn x pn . qq n + 1 q n +1
Alm disso, se vale a igualdade, ento x =
p n +1 , donde an+1 2, e qn+1 > 2qn, q n +1 pois numa frao contnua finita, como no algaritmo de Euclides, o ltimo coeficiente an sempre maior que 1. Nesse caso, se q qn , teremos
x p p p p 1 1 q q 1 1 x n n+1 n = n+1 > qx p > qn x pn . q qn qn+1 qn qqn qnqn+1 qqnqn+1 qqn+1 qn+1
Corolrio 1: x
pn p < x , q < q n . q qn
Corolrio 2: Se qx p < q x p , q q , p q ento p/q uma reduzida

q q
da frao contnua de x. Prova: Tome n tal que q n q < q n +1 . Teremos q n x p n qx p , e portanto p/q = p n /q n u
p Teorema 3: Se x p < 1 ento uma reduzida da frao contnua de x. 2

q 2q
Prova: Seja n tal que qn < q qn+1. Suponha que duas possibilidades: q p 1 1 q n +1 x 2. a) q qq n +1 2q 2 b)
q< =
p p n +1 . Ento, temos q q n +1
qn +1 p p p p p 1 1 qn +1 > 2qn x n nm n = 2 q qn q qnm qn qqn qn qn +1
1 1 qn +1 q > > . qqn qn +1 2qqn 2q 2
EUREKA! N 3, 1998
52
Apndice: Fraes contnuas peridicas Nesta seo provaremos que os nmeros reais com frao contnua peridica so exatamente as razes de equaes do segundo grau com coeficientes inteiros. Lembramos que na representao de x por frao contnua, an, n so definidos por recurso por
0 = x, a n = [ n ], n +1 =
1 . n an
e temos p q n2 x , n N . n = n2 q n 1 x p n 1 Isso d uma prova explcita do fato de que se a frao contnua de x peridica, ento x raiz de uma equao do segundo grau com coeficientes inteiros. De fato, se n + k = n , n N, k N* ento p n2 q n2 x p n+ k 2 q n+ k 2 x = qn1 x pn1 qn+k 1 x pn+k 1
(qn1 qn+k 2 qn2 qn+k 1 ) x 2 + ( pn+k 1qn2 + pn2 qn+k 1 pn+k 2 qn1 pn1 qn+k 2 ) x + pn1 pn+k 2 pn2 pn+k 1 = 0.
Note que o coeficiente de x2 no-nulo, pois
q n 1 uma frao irredutvel q n2
(de fato p n 1 q n 2 p n 2 q n 1 = (1) n ) de denominador qn2 e
q n + k 1 uma q n+ k 2
frao irredutvel de denominador qn+k2 > qn2 , donde q qn 1 n + k 1 q n 1 q n + k 2 q n 2 q n + k 1 0. qn 2 q n + k 2 Vamos provar agora um resultado devido a Lagrange segundo o qual se x uma irracionalidade quadrtica, isto , se x um irracional do tipo r + s, r , s Q , s > 0 ento a frao contnua de x peridica, i. e, existem n N, k N* com n + k = n . Neste caso, existem a, b, c inteiros tais que
ax 2 + bx + c = 0 , com b 2 4ac > 0 e b 2 4ac irracional. Como vimos na seo 1,
EUREKA! N 3, 1998
53
x=
p n 1 n + p n 2 , e portanto q n 1 n + q n 2
p + p n2 + b n 1 n q +q n2 n 1 n
2
p + p n2 ax 2 + bx + c = 0 a n 1 n q +q n2 n 1 n
2 An n + B n n + C n = 0,
+c= 0
onde
2 2 An = ap n 1 + bp n 1 q n 1 + cq n 1
Bn = 2ap n 1 p n 2 + b( p n 1 q n 2 + p n 2 q n 1 ) + 2cq n 1 q n 2
2 2 C n = ap n 2 + bp n 2 q n 2 + cq n 2.
Note que Cn = An1. Vamos provar que existe M > 0 tal que 0 < A n M para todo n N, e portanto 0 < C n M , n N :
p 2 2 2 An = ap n 1 + bp n 1 q n 1 + cq n 1 = aq n 1 x n 1 q n 1 p x n 1 , q n 1
onde x e x so as razes de a, X2 + bX + c = 0, mas
a x x + 1 =: M .
2 Notemos agora que Bn 4 An C n = b 2 4ac, n N. De fato, 2 Bn 4 An C n = ( p n 1 q n 2 p n 2 q n 1 ) 2 (b 2 4ac) = b 2 4ac. Portanto,
2 Bn 4 AnCn + b2 4ac = 4M 2 + b2 4ac Bn M = 4M 2 + b2 4ac,n N. Provamos assim que An, Bn e Cn esto uniformemente limitados, donde h apenas um nmero finito de possveis equaes An X2 + BnX + Cn = 0, e portanto de possveis valores de n. Assim, necessariamente n+k = n para alguma escolha de n N, k N*.
p n1 p p p 1 2 < 2 1 An = aqn1 x n1 x n1 a x x + x n1 q n1 qn1 q n1 q n1 q n1
EUREKA! N 3, 1998
54
Referncias: N. Beskin - Fraes contnuas - Iniciao Matemtica - Editora Mir. Jos Paulo Q. Carneiro - Um processo finito para a raiz quadrada Revista do Professor de Matemtica 34, 1997, pp. 36-44. C.D. Olds - Continued Fractions - New Mathematical Library - Random House. A. M. Rockett, P. Szsz - Continued Fractions - World Scientific.
2)
Soluo Sejam P1, P2,,Pn os postos de gasolina, li a quantidade de gasolina no posto Pi e ci a quantidade de gasolina necessria para ir de Pi a Pi+1, para i = 1, 2,, n (conveno: para 1 k n, Pn+k : = Pk ). Por hiptese,

li =
i =1 i =1
existe tal k podemos dar a volta comeando em P1). Tome k0 com 1 k0 n tal que
volta comeando em Pk0 +1 . De fato, se no for assim, existe r com 1 r n e

k0 + r i = k 0 +1
absurdo (se k0+r > n temos
EUREKA! N 3, 1998
C B @ 8 65 4 3 & 1 ! ) ! D'A97"(2%0% ('%"" & $ # ! stYRecPX h SRd QAYRXVYVYPXR9RqrRU U gqRRU VPHgPeRU d i c X f Y Sp i d Y h Y X fY dc Y b Y U W G Q U SbG ` U Y X W U Q I G P0PRa PVRPRAP0PV ST RPHF E
Em uma pista circular h postos de gasolina, e o total de gasolina que h nos postos exatamente o suficiente para um carro dar uma volta. Prove que existe um posto de onde um carro com o tanque inicialmente vazio pode partir e conseguir dar uma volta completa na pista (parando para reabastecer nos postos).
ci . Suponha que exista k com 1 k n e
c
li <
i =1 i =1
(se no
(l
i =1
k0
ci ) seja o menor possvel. Afirmamos que podemos dar a
(l i ci ) < 0, mas ento teramos

k0 + r i =1
k0 + r
i =1
(l i ci ) <
(l
i =1
k0
ci ), o que um
(l
ci ) =
ko + r n i =1
(l
ci ), pois
(l
i =1
c i ) = 0).
55
3)
Prove que existe n N tal que os 1000 primeiros dgitos de n1998 so iguais a 1.
Soluo Seja n N tal que n1998 = 111..11 0 1 2 ... p ; onde i tal que 0 i 9;
1000 algarismos
i = 1, 2, 3, , p. Seja tambm k = 11111, da: k .10s n1998 k 9999...9, logo k . 10s n1998 < (k + 1) . 10s, Precisamos garantir que h algum n N que satisfaa a desigualdade acima; seja ento s = 1998 . p : k . 101998 . p n1998 < (k + 1) . 101998 . p
n < 1998 k + 1. 10 p observe que se tomarmos n = 10 p .1998 k + 1; onde z = maior inteiro menor ou igual a z, e p suficientemente grande satisfaremos a condio do enunciado.
1998
k .10 p n < 1998 k + 1.10 p
Concluso: n N tal que n1998 escrito como no enunciado. 5) Sejam a > 0 e P1P2P3P4P5 uma poligonal aberta contida em um dos semiplanos determinados pela reta P1 P5 . Prove que existem pontos P6 e P7 no plano, com P5 P6 = a, de modo que possvel ladrilhar o plano com infinitos ladrilhos congruentes ao heptgono P1P2P3P4P5P6P7. Soluo Trae a paralela a P3P2 passando por P1. O ponto P7 pertencer a essa reta e teremos P1 P7 = P3 P2 . O ponto P6 pertencer paralela a P3P4 passando por P5 e satisfar P5 P6 = a, ou seja, P5 P6 =
EUREKA! N 3, 1998
y x x
u v w
s algarismos
1998
a P3 P4 . P3 P4
56
Rodando o heptgono H = P1P2P3P4P5P6P7 de 180 em torno do ponto mdio de P1P2 obtemos o heptgono H = P1P2P3P4P5P6P7 com P1 = P2 , P2 = P1 , P3 = P7 , P7 = P3. Transladando infinitas vezes os heptgonos H e H por k . P3 P6 , k Z, cobrimos uma faixa dentada, que, transladada infinitas vezes por m . P4 P5 , m Z, nos permite cobrir o plano. Desta forma, cobrimos o plano com os heptgonos
H + K . P3 P6 + m . P4 P5 e H + k . P3 P6 + m . P4 P5 , k Z, de interiores disjuntos e todos congruentes a H.
6)
Mostre que toda seqncia com n2+1 elementos possui uma subseqncia crescente com n+1 elementos ou uma subseqncia decrescente com n+1 elementos.
Soluo Dada uma seqncia a1, a2,, a n 2 +1 de nmeros reais, definimos para 1 i n2+1 o nmero f (i) como sendo o nmero mximo de termos de uma subseqncia decrescente de a1, a2,, a n 2 +1 comeando em ai. Suponha que no exista nenhuma subseqncia decrescente de n +1 elementos. Ento f (i) n para todo i, e portanto f (i) s pode assumir os n valores 1, 2, , n. Assim, existem 1 i1 < i2 << in+1 com f (i1) = f (i2) = = f (in+1), mas nesse caso devemos ter a i1 a i2 ... a n 2 +1 , com n + 1 termos. Obs. 1: Mostra-se com um argumento anlogo que toda seqncia com mn+1 elementos possui uma subseqncia crescente de m+1 elementos ou uma subseqncia decrecente de n+1 elementos (de fato que existe uma seqncia crescente de m+1 elementos ou uma seqncia estritamente decrescente de n+1 elementos.) Obs. 2: O resultado (e sua generalizao na obs. 1) o melhor possvel. De fato, dados m, n N, a seqncia de mn termos n, n1, n2, , 1, 2n, 2n1, 2n2, , n+1, 3n, , 2n+1, , mn, mn1, , (m1) n+1 no contm nenhuma seqncia crescente de mais de m elementos nem nenhuma seqncia decrescente de mais de n elementos.
EUREKA! N 3, 1998
57
12)
a) Prove que se n N e 2n + 1 um nmero primo ento n uma potncia de 2. b) Prove que se a, n N, n 2 e an 1 primo, ento a = 2 e n primo.
Soluo a) Sabemos que n N pode ser escrito da seguinte forma: n = 2 k p onde k N e p mpar. Seja n = 2n + 1, logo n = 2 2 p + 1 = 2 2 + 1, fazendo = 2 2 x = p + 1. Se p im mpar maior do que 1, teremos: x = p + 1 = ( + 1)( p 1 p 2 + p 3 ... + 1) e, como x primo, ele no poder ser fatorvel em um produto de fatores diferentes de 1. Basta ento observar que o segundo fator da multiplicao acima no igual a 1 com p mpar maior do que 1, mas isso segue de p > p + 1 + 1. Logo
k k
( )
devemos ter necessariamente x = 2 2 + 1, ou seja n = 2k. b) Seja y = an 1 = (a 1)(an1 + an2 ++ a +1) primo: i) ii) Vamos verificar inicialmente que a deve ser igual a 2. De fato a 1 = 1, j que o segundo fator no pode ser igual a 1 (a 1). Suponha que n no seja primo, n = k1 . k2 com k1 2 e k2 2, Logo
( k 2 1)
y = 2 k1 k2 1 = (2 k1 ) k 2 1 = (2 k1 1) (2 k1
+ 2 k1 ( k 2 2 ) + ... + 2 k1 + 1), obser-
ve que 2 k1 1 3 e 2 k1 ( k 2 1) + ... + 2 k1 + 1 > 3 e conseqentemente no teremos y primo, logo n no pode ser escrito como acima; donde n primo.
14)
Determine o nmero de solues de positivos.
1 x
1 y
1 1998
com x e y inteiros
Soluo
EUREKA! N 3, 1998
58
Temos 1998x + 1998y = xy . Somando 19982 dos dois lados temos xy 1998x 1998y + 19982 = 19982, logo x(y 1998) 1998(y 1998) = 19982, donde (x 1998) (y 1998) = 19982. Desta forma o nmero de solues o mesmo que a quantidade de sistemas da forma abaixo que possamos obter:
x 1998 = a y 1998 = b 2 ab = 1998
com a observao de que os pares (x, y) soluo devam ser inteiros e positivos, devemos ter
a + 1998 > 0 a > 1998 b + 1998 > 0 b > 1998 logo, s servem a e b positivos, j que se 1998< a < 0 e 1998 < b < 0 implica ab < 19982. O nmero de solues , portanto, o nmero de divisores positivos de 19982 = 22. 36. 372, que dado por (2 + 1) (6 + 1) (2 + 1) = 63.
EUREKA! N 3, 1998
59
~ k j h e%9 j j f d f m f d f m v m ~ f f spp9geHDe9R99ee9euHgeo A999%uzw yo m w v f f m o v m o f fo n m f d z r9u%H9 9sqpe%9re9gr ~ rxV ez9rersx'9ge9r9gr v o f n o f v w f f fo n m h f d ~ v } f{ d f y w v f t f fo n m rzg|AgsRzx reursrqpe(l 29iege 9r9gr k j h f d RRRRR sHRePHrP0P RPeH RgqRRARR VPRPV0R tRH7eqrRR PRHrPRRVP RV9R HR9R P 0RRR HRr
.
16)
Seja l a reta {( x, y ) R 2 y = 0}, C1 o crculo centrado em

1 1 1 1 (0, ) de raio e C 2 o crculo centrado em (1, ) de raio . 2 2 2 2 Seja F o conjunto de crculos em R2 com as seguintes propriedades: {C1, C2} F Se C e C pertencem a F, so tangentes entre si e tangentes a l
~
i) ii)
ento todo crculo C tangente aos dois crculos C e C e reta l pertence a F.

~
iii)
Se F um conjunto de crculos satisfazendo as propriedades i) e ii) ento F F . Determine o conjunto dos pontos de tangncia dos crculos C F com a reta l.
~
17)
Dado n N, uma partio de n uma lista ordenada = (a , a ,...,a ) , r, a , a ,..., a N* com a a ... a e a + a + ...+ a = n. Seja Pn o conjunto das parties de n. Para Pn , definimos A() como o nmero de termos iguais a 1 em ( ou seja , A( ) = # {i {1,2,..., r} ai = 1}), e B() como o nmero de termos distintos na partio (ou seja, B () = # {a1, a2, , ar}). Prove que A( ) = B( ) para todo n N.
1 2 r 1 2 r 1 2 r 1 2 r
18)
Seja a maior raiz real da equao x3 3x2 + 1 = 0. Prove que [2004] divisvel por 17. Obs: [y] o nico inteiro tal que [y] y < [y] + 1.
Pn
EUREKA! N 3, 1998
02" ('2
Pn
60
19)
a) Determine o nmero mximo de regies em que n retas podem dividir o plano. b) Determine o nmero mximo de regies em que n planos podem dividir o espao.
(22 "2
61
Alberto Hassen Raad Antnio C. Rodrigues Monteiro Amarsio da Silva Arajo Angela Camargo Antnio C. do Patrocnio Ariosto de Oliveira Lima Benedito T. Vasconcelos Freire Carlos A. Bandeira Braga Claudio Arconcher Egnilson Miranda de Moura lio Mega Florncio F. Guimares F. Francisco Dutenhefner Gisele de A. Prateado G. Ivanilde H. Fernandes Saad Joo B. de Melo Neto Joo F. Melo Libonati Jorge Ferreira Jos Carlos Pinto Leivas Jos Luis Rosas Pinho Jos Paulo Carneiro Jos Vieira Alves Leonardo Matteo D'orio Licio Hernandes Bezerra Luzinalva M. de Amorim Marco Polo Marcondes Cavalcante Frana Mario Jorge Dias Carneiro Pablo Rodrigo Ganassim Paulo H. Cruz Neiva de L. Jr. Reinaldo Gen Ichiro Arakaki Ricardo Amorim
EUREKA! N 3, 1998
(UFJF) Juiz de Fora-MG (UFPE) Recife-PE (UFV) Viosa-MG (Centro de Educao de Adultos CEA) Blumenau-SC (IMECC/UNICAMP) Campinas-SP (UFPI) Parnaba-PI (UFRN) Natal-RN (UFPB) Joo Pessoa-PB (Col. Leonardo da Vinci) Jundia-SP (Col. Agrcola do Bom Jesus) Bom Jesus-PI (Col. ETAPA) So Paulo-SP (UFES) Vitria-ES (UFMG ) BH-MG (UFGO) Goinia-GO (U. Catlica Dom Bosco) Campo Grande-MS (UFPI) Teresina-PI (Grupo Educ. IDEAL) Belm-PA (UEM) Maring-PR (URG) Rio Grande-RS (UFSC) Florianpolis-SC (USU) Rio de Janeiro-RJ (UFPB) Campina Grande-PB (Parque de Material Aeronutico de Belm) Belm-PA (UFSC) Florianpolis-SC (UFBA) L. de Freitas-BA (Colgio Singular) Santo Andr-SP (UF Cear) Fortaleza-CE (UFMG) BH-MG (L. Albert Einstein) Piracicaba-SP (Esc. Tec.Everardo Passos) S. J.Campos-SP (INPE) S.J.Campos-SP (Centro Educ. Logos) Nova Iguau-RJ
Sergio Claudio Ramos
(IM-UFRGS)
Porto Alegre-RS
Tadeu Ferreira Gomes
(U. do Estado da Bahia) Juazeiro-BA
Valdenberg Arajo da Silva
(U. Federal de Sergipe)
So Cristovo-SE
Wagner Pereira Lopes
(Esc. Tec. Fed. de Gois) Jata-GO
EUREKA! N 3, 1998
62

Eureka

Caricato da

Informazioni sul documento

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

Eureka

Caricato da

Copyright:

Formati disponibili

(Hu Hu u H | H| u H( e H( t H t B (

Sociedade Brasileira de Matemtica

Sociedade Brasileira de Matemtica

Sejam trs pontos A, B e C pertencentes a uma circunferncia de

( [y ] denota o nico inteiro tal que

Sociedade Brasileira de Matemtica

Mostre que o produto de todos os nmeros da forma

Sociedade Brasileira de Matemtica

A seqncia (an) comea por 6, 7, 3, 9, 0, 1, 7, 8, 7, 1, 8, 0, 0, 4, 7, 3 Assim, por exemplo, x10 = 1787109376.

Prove que a seqncia (an) obtida no peridica nem pr-peridica.

Sociedade Brasileira de Matemtica

Pelo teorema das bissetrizes,

= 2 sen (A/2) cos (A/2) cos

[x]+ [ 1998x ] sempre inteiro. Seja x0 a soluo de

, seja x0 = 999 (3 5) = 763,1... e 1998x0 = 1998 x0 = 999( 5 1) = 12348...

[ ] [ 1998x ]= 1997. A funo

de uma unidade quando x ou

1998 x torna-se inteiro. Os prximos valores

Sociedade Brasileira de Matemtica

a ), com m 2 99 , a , a ,...a {2,3,...,100} e

Sociedade Brasileira de Matemtica

f ( n ) < n para todo

p  )4% i1"6"0 H 6jn @ 60fe Pn k e i hg i    n@  )4% i1"6"0  )4% i1"6"0

Sociedade Brasileira de Matemtica

Seja Fn definido por F1 = 1, F2 = 1 e Fn+2 = Fn+1 + Fn , para todo n 1. Seja

Vn+1 e Vn+2 so lados de um tringulo de rea 1/2.

 )4% 1"6"0  )4% 1"6"0 s Hp ys  "&r " s H

Sociedade Brasileira de Matemtica

n2 . Como A satisfaz P(n), 4

f (n) < n 3 , para todo n 2.

elementos e temos que

An +1 + An+1 = ( An + An ) {ai + a n+1 1 i n + 1},

Sociedade Brasileira de Matemtica

Temos d ( A) p 1 + 2 p ( p 1) = 2 p 2 p 1 < 2 p 2 e se tivssemos i + 2 pg (i ) + j + 2 pg (i ) = r + 2 pg ( r ) + s + 2 pg ( s ), ento i + j + 2 p ( g (i ) + g (i )) = r + s + 2 p ( g (r ) + g ( s )) i + j =

i r = s j e i 2 + j 2 r 2 + s 2 (mod p), logo

Como K, temos i + j = r + s e ij = rs {i, j} = {r , s}.

x, y R , f ( x ) = f ( y ) g ( f ( x )) = g ( f ( y )) x 3 = y 3 x = y. f injetora. Ainda, de (I) e (II), temos

( f ( x) 2 = f ( g ( f ( x)) = f ( x 3 ) f (0) 2 = f (0), f (1) 2 = f (1) e f (1) 2 = f (1),

Sociedade Brasileira de Matemtica

)) = log 2 (log 2 g ( f (2 2 ))) =

log 2 (log 2 (2 2 ) 3 ) = log 2 3 2 x = x + log 2 3

)) = log 2 (log 2 f ( g (2 2 ))) =

log 2 (log 2 (2 2 ) 2 ) = log 2 2 x +1 = x + 1

devemos ter, para

log2 3. log 2 log2 x

1+log2 log 2 x . log3 2

Sociedade Brasileira de Matemtica

Primeiramente, notemos que, para n 0, Fn Fn + 2 Fn2+1 = ( 1) n +1 . De fato,

F1 F3 F22 = 1 2 12 = (1) 2 e por induo supondo que

Fn +1 Fn+3 Fn2+ 2 = Fn +1 ( Fn + 2 + Fn +1 ) Fn2+ 2 = Fn2+1 Fn + 2 ( Fn + 2 Fn +1 ) = ( Fn Fn+ 2 Fn2+1 ) = (1) n +1 = (1) n+ 2 .

Vn+1 Fn+2 Fn+4 Fn+3

Se A a rea do tringulo sombreado, de lados Vn, Vn+1 e Vn+2, temos

Sociedade Brasileira de Matemtica

Fn+2 Fn+1 Fn+2

F F F F 1 1 FF n + 2 n+ 4 = + n n + 2 + Fn +1 Fn + 2 + n +1 n +3 2 2 2 2 2 2 Fn + 2 Fn + 4 Fn +3 = 1, o que ocorre sempre que n mpar. A=

x 2 x = x ( x 1) > c + c c x 2 + c x 2 c > x e, portanto,

( x) > f n ( x) > c + 1 para todo n 0. Logo, se x pr-perodico,

ento x c + 1 (*). Agora, sejam c =

Sociedade Brasileira de Matemtica

q2 su sp 2 = 2 + r svp2 = q 2 (su rv) q 2 svp2 q 2 sv sv q 2 v . s v q

Se q > s, o denominador v de x 2 + c maior ou igual a denominador de x isto , o denominador de

> q, que o s f n+1 ( x) maior que o

d ( f ( A), f ( A)) = 3. Se f ( A) = f ( A), ento tomando B com AB = 1 e A

3 / 4 so preservados pela funo f , j que seus

p )4% i1"6"0 H 6jn @ 60fe Pn k e i hg i n@ )4% i1"6"0 )4% i1"6"0

)4% 1"6"0 )4% 1"6"0 s Hp ys "&r " s H

}8V6}(6}$V6 ~ | @Y$6}8}{ 6666Y

@6 fC66@ @@&6@ @ @@s

!!!!4TE ! U B ) B C!!!!C ) G B C!!!!C ) G B ! !) !!!!"0

! )( ( ! ) 321$@0 ( &%!$"8 ( ' ! # #!

__ Como BM = BK e BI bissetriz de MBK temos BI MK , e portanto