Revista Eureka

CONTEDO
AOS LEITORES
OLIMPADA BRASILEIRA DE MATEMTICA

Problemas de treinamento para a terceira fase
XIX OLIMPADA BRASILEIRA DE MATEMTICA (1997)

Problemas e solues da segunda fase snior
13a. OLIMPADA IBEROAMERICANA DE MATEMTICA

Repblica Dominicana 1998 - Problemas e resultados
18
39a. OLIMPADA INTERNACIONAL DE MATEMTICA

Solues
20
ARTIGOS
O PRINCPIO DA INDUO
Elon Lages Lima
26
FRAES CONTNUAS, REPRESENTAES DE NMEROS E APROXIMAES

Carlos Gustavo Moreira
44
SOLUES DE PROBLEMAS PROPOSTOS EUREKA Nos. 1 e 2
56
PROBLEMAS PROPOSTOS
61
COORDENADORES REGIONAIS
62
Sociedade Brasileira de Matemtica
AOS LEITORES
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).
Sbado 14 de novembro
3o. nvel (segunda prova).
Comit Editorial.
EUREKA! N 3, 1998
OLIMPADA BRASILEIRA DE MATEMTICA

Problemas de treinamento para a terceira fase
1)
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 .
2)
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 que
x n2 x n divisvel por 10n.
3)
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.
4)
Considere a seqncia (xn)
xn1
todo n N, n 2
xn
nN
definida por x1 = 19, x2 = 98 e, para
, se xn1 0
0, se x 0.
n1
Prove que existe n N tal que xn = 0 e encontre o menor n com

essa propriedade.
5)
6)
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 1998 x 1998
( y denota o nico inteiro tal que y y y 1) .
EUREKA! N 3, 1998
7)
Mostre que o produto de todos os nmeros da forma

2 3 ... 100 o quadrado de um nmero inteiro.
Solues
1)
Sejam AB = x, BD = y; marcamos D' tal que D'C = y. Ento D'D = 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 = K'C
AB + BK = KK'+ K'C = KC.
2)
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
verifica
que
x n2 x n
divisvel
por
10n
x n2 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
seja tal que x n21 x n 1 divisvel por 10 n 1.

EUREKA! N 3, 1998
(ou
seja
x n21 x n 1 ( x n 10 n a n ) 2 ( x n 10 n a n ) x n2 2 x n 10 n a n 10 2 n a n2 x n 10 n a n
( x n2 x n ) 10 n ( 2 x n a n a n ) 10 2 n a n2 10 n r 10 n ( 2 x n a n a n ) 10 2 n a n2
10 n ( r 2 x n a n a n ) 10 2 n a n2 . Assim,
x n21 x n 1 e divisvel por 10 n 1 r 2 x n a n a n divisvel por 10
r ( 2 x n 1) a n 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.
Obs: 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.
Problema extra:
Prove que a seqncia (an) obtida no peridica nem pr-peridica.
3)
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.
4)
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
EUREKA! N 3, 1998
y1863 = 0 x1862 x1863 = 1 e x1863 x1864 = 0. Assim, x1863 0 e x1864 = 0, donde

1864 o menor n tal que xn = 0.
5)
Pelo teorema das bissetrizes,
MN bissetriz de
MA
AN
NC
C devemos
AM
BM
MC
ter
c
ab
MC
, e como
d
bc
MA
AN
c
, donde
MC
CN
a
bc
ab
(pois MC
pela lei dos senos aplicada aos tringulos
b 1
bc
ac
BM
sen ( A / 2)
bc
, e portanto sen
bc
senB b
MA
senB
bc
1
A
2
A
.
(A/2) = sen A = 2 sen (A/2) cos (A/2) cos A
2
2
2
3
3
ABC e ABM temos
6)
1998 x
ou
seja
senA
sempre inteiro. Seja x0 a soluo de x

5)
x0
=
999
(3
1998 x 0 1998 x 0 999( 5 1) 1234,8...
1997. A funo
f ( x) x
1998 x 1998,
763,1...
e
Temos
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
0
1998 x
1235 2
,764 763,3758758758...,764 .
1998
7)
EUREKA! N 3, 1998
1998 x
O nmero referido no enunciado o quadrado do produto de todos os 2 99

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
a )...(
2
), com m 2 99 , a , a ,...a
1
{2,3,...,100} e
j {-1,1}, j.
e
2 , 3 ,..., 100 N com 2 3 ... 100 2 99 ,
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.
Fixamos
Voc sabia
que so conhecidos 51539600000
casas decimais de
, calculadas por Y. Kamada e D.
Takahashi, da Universidade de Tokio em 1997? E que

em 21/8/1998 foi calculada pelo projeto Pihex a
5000000000000a. casa binria de
Consulte a home-page
http://www.cecm.sfu.ca/pi
XIX OLIMPIADA BRASILEIRA DE MATEMTICA (1997)

Problemas e solues da segunda fase snior
EUREKA! N 3, 1998
PROBLEMA 1
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'.
PROBLEMA 2
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
elementos.
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
f ( n) n
para todo n
2.
(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.)
PROBLEMA 3
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.
b)
Exiba funes f : ( 1, ) ( 1, ) e g :( 1, ) (1, ) tais que
g ( f(x) ) = x3 e f ( g(x) ) = x2 , para todo x (1, ).
PROBLEMA 4
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 ,
EUREKA! N 3, 1998
Vn+1 e Vn+2 so lados de um tringulo de rea 1/2.

PROBLEMA 5
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.
PROBLEMA 6
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).
SOLUES
1)
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:
OO' OI. Neste caso, d = OO' e d mnimo quando I = O'.
OO' OI. Neste caso, considere O'' O' em s tal que O'I = 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 R 2 r 2 .
(i)
(ii)
2)
Dado um conjunto finito A N , denotaremos por d(A) o dimetro de A.

Temos duas desigualdades a provar:
(i)
f ( n)
n2
4
, para todo n 2.
EUREKA! N 3, 1998
Vamos supor, por absurdo, que exista um conjunto A = {a1, a2, ,an}, n 2,
n2
tal que A satisfaz P(n), a1 < a2 < < an e d(A) <
. Como A satisfaz P(n),
4
A + A = {a1 + a2, a1 + a2, ,an + an} tem
n( n 1)
2
elementos. Como
a1 + a1 < a1 + a2 < < an + an, temos que (an + an) (a1 + a1) + 1
n( n 1)
2
an a1
n2
4
n2
4
n2
4
d ( A)
n2
4
, o que uma
contradio. Isto demonstra (i).

f ( n) n 3 , para todo n 2.
(ii)
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

An 1 An 1
n( n 1)
elementos e
2
( An An ) {a i a n 1 1 i n 1},
temos
que
e somente se,
P (n 1) se
ai a j
a n 1 P {ai a j a k 1 i, j , k n} {
1 i, j n}.
2
a n 1 N An
An+1
satisfaz
Como
n( n 1)
n( n 1)
, pois basta escolher
, temos que a n 1 n 3
2
2
an+1 como o menor 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.
P n3
Vamos ainda, verificar que, para p primo mpar, f ( p ) 2 p 2 . Para isto,

A {k 2 pg ( k ),0 k p 1},
construmos
o
conjunto
onde
2
g ( k ) k (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
EUREKA! N 3, 1998
10
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 )
i r s j e i 2 j 2 r 2 s 2 (mod p), logo
Assim,
(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,
, k Z} L {0}. Para cada m K, + m L {0, 1}, e,
ou seja, tal que { k
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
i
a a ( i )( j ) ( r )( s ) (i j r s ) (ij rs ) 0.
r
Como K, temos i j r s e ij rs {i, j} {r , s}.

3)
a)
Vamos supor, por absurdo, que existam funes f, g : R R

satisfazendo, para todo x R,
( I ) g ( f ( x )) x 3
( II ) f ( g ( x )) x 2
Agora
x, y R , f ( x) f ( y ) g ( f ( x)) g ( f ( y )) x 3 y 3 x y. Logo f
injetora.
Ainda,
de
(I)
(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),
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).
EUREKA! N 3, 1998
11
(b) Vamos supor, por enquanto, que existam funes f , g : (1,) (1, )
tais que g ( f ( x)) x 3 e f ( g ( x)) x 2 , para todo x (1, ). Agora,
considere as funes
x
( x) log 2 (log 2 g (2 2 ))
x
( x) log 2 (log 2 f (2 2 ))
Temos
( x) log 2 (log 2 g (2 2
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 ) log 2 (log 2 f ( 2 2
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 e ( x) cx d , devemos ter, para todo
x R,
( 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
x
g (2 2 ) 2 2
( x)
(log2 (log2 x ))
22
(log2 (log2 x ))
22
g ( x) 2 2
log 2 3. log2 log 2 x
2log 2 x
log 2 3
e de (B)
x
f (2 2 ) 2 2
( x)
f ( x) 2 2
1log 2 log 2 x . log3 2
2 2 log 2 x
log3 2
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).
EUREKA! N 3, 1998
12
4)
2
n 1
Primeiramente, notemos que, para n 0, Fn Fn 2 Fn 1 (1) . De
2
2
2
fato, F1 F3 F2 1 2 1 ( 1) e por induo supondo que
Fn Fn 2 Fn21 ( 1) n 1 temos que
Fn 1 Fn 3 Fn2 2 Fn 1 ( Fn 2 Fn 1 ) Fn2 2 Fn21 Fn 2 ( Fn 2 Fn 1 )

( Fn Fn 2 Fn21 ) ( 1) n 1 ( 1) n 2 .
Dividimos o problema em dois casos; indicados pelas seguintes figuras:
(i)
Fn
Vn
Vn+2
Fn+2
Fn+1
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 2 Fn 1 ) Fn 1 Fn 3 1 Fn 2 ( Fn 2 Fn 1 ) Fn 1 Fn 3
1 Fn 2 Fn 3 Fn 1 Fn 3 1 Fn23 Fn 2 Fn 4 Fn2 3 1,
ocorre sempre que n mpar.
(ii)
EUREKA! N 3, 1998
13
que
Vn
Fn
Vn+1
Fn+2
Vn+2
Fn+1
Fn+2
Fn+3
Fn+4
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 F F
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
Vn+2
1
2
5)
Se
x c 1,
ento
x 2 x x ( x 1) c
n 1
ento
( x) f
( x) c
c c x2 c x2 c x
e, portanto,
1 para todo n 0. Logo, se x pr-perodico,
x c 1 (*).
Agora, sejam c
r
s
, onde ( r , s ) 1, e x
p
q
, onde ( p , q ) 1,
com p, q, r , s Z e q, s 0. Temos
s ( x 2 c)
Se x 2 c
sp 2
q2
u
, u , v Z, v 0, ento
v
q2
su sp 2
2 r svp 2 q 2 ( su rv) q 2 svp 2 q 2 sv sv q 2 v
.
v
s
q
EUREKA! N 3, 1998
14
q2
Se q > s, o denominador v de x 2 c maior ou igual a
q, que o
denominador de x isto , o denominador de f n1 ( x ) maior que o

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.
6)
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 3. Em outras palavras, se A e A' so pontos tais que
AA' = 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, n 2 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.
B
1
A
n
EUREKA! N 3, 1998
15
C
1

AB
n2 n 1
AC
n2 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
3
n n 1
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 Ai , 2 i k n 1 tais que
d ( A0 , Ak n 1 ) 1
d ( Ai , Ai 1 ) n
0 i kn e
para
Temos
d ( f ( A0 , f ( Ak n 1 )) 1 e, portanto,
kn
1 d ( f ( Ai ), f ( Ai 1 )) d ( f ( A0 ), f ( A1 )) k n n ,
i 0
Se d ( f ( A0 ), f ( A1 )) fosse 0, ento 1 k n n 1, o que seria absurdo

assim, 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.
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.
EUREKA! N 3, 1998
16
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.
Voc sabia Que o nmero de pessoas que j

apertaram a mo de outras pessoas um nmero mpar
de vezes par
??
13a. OLIMPADA IBEROAMERICANA DE MATEMTICA

Repblica Dominicana 1998 - Problemas e resultados
EUREKA! N 3, 1998
17
Primeiro dia
Durao da Prova: 4 h e 30 minutos.
PROBLEMA 1
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?
PROBLEMA 2
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 .
PROBLEMA 3
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.
PROBLEMA 4
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.
PROBLEMA 5
EUREKA! N 3, 1998
18
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.
PROBLEMA 6
Seja a raiz positiva da equao t2 1998t 1 = 0. Define-se a sucesso x0,

x1, x2, , xn , por:
xo 1
xn1 xn , para n 0,1,2,...

Encontrar o resto da diviso de x1998 por 1998.
Nota: [x] indica a parte inteira de x, ou seja, [x] o nico inteiro k tal que
k x k + 1.
RESULTADOS
A equipe Brasileira teve uma excelente participao na 13 a.
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:
BRASIL
CHILE
ARGENTINA
PERU
MXICO
ESPANHA
132 pontos
127 pontos
120 pontos
117 pontos
115 pontos
112 pontos
O Resultado da Equipe Brasileira

BRA 1
BRA 2
BRA 3
BRA 4
Murali Srinivasam Vajapeyam

Emanuel Augusto de Souza Carneiro
Fabricio Shigueu Catae
Mauricio Pereira Carrari
Cada um dos seis problemas da prova vale 7 pontos.

EUREKA! N 3, 1998
19
Prata - 32 pontos
Ouro - 37 pontos
Ouro - 35 pontos
Bronze - 28 pontos
39a. OLIMPADA INTERNACIONAL DE MATEMTICA

Solues
PROBLEMA 1
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.
SOLUO
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
1 2
1 2
OAB r sen AB r 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.
PROBLEMA 2
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
20
classificaes dadas por dois juzes quaisquer coincidem no mximo para k

concorrentes. Prove que
k
a
b 1
2b
SOLUO
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
(b 1) 2
2
2
2
2
ele C j C b j C b 1 C b 1
, de modo que o nmero total de
4
2
2
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
PROBLEMA 3
Para qualquer inteiro positivo n, seja d(n) o nmero de divisores positivos de

n (incluindo 1 e n).
d (n 2 )
k para algum n.
Determine todos os inteiros positivos k tais que
d (n)
SOLUO
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 )
2
. Como o numerador
Assim, d ( n ) / d ( n)
(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 produto
de fraes da forma
2r 1
r 1
, r N, no necessariamente distintas. Faremos
isso por induo. Seja m um nmero mpar, e seja 2 s a maior potncia de 2

que divide m + 1. Temos portanto m 2 s 1 q 2 s 1 para algum q N,
donde
EUREKA! N 3, 1998
21
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
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
escreve como produto de fraes da forma
2r 1
r 1
, e portanto m tambm.
PROBLEMA 4
Determine todos os pares (a, b) de inteiros positivos tais que ab2 + b + 7

divide a2b + a + b.
SOLUO
a 2b a b
inteiro ento
ab 2 b 7
b(a 2 b a b) a( ab 2 b 7)
Se
b 2 7a
inteiro.
Como
ab 2 b 7
ab 2 b 7
b 2 7a
b 2 7a
Se
1
.
0
b 2 7 a b 2 ab 2 b 7 temos que
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
2
Se
0
devemos
ter
b
<
7a
e
1 (pois inteiro), e
ab 2 b 7
ab 2 b 7
portanto 7 a 7 a b 2 ab 2 b 7 7 a ab 2 b 2 7 b 1 ou b = 2.
b 2 7a
1 7a
57
Se b 1, 2
7
, e devemos ter que a + 8 divide
a8
ab b 7 a 8
57, com a inteiro positivo a + 8 = 19 ou a + 8 = 57 a = 11 ou
a 2 b a b 133
a = 49. Para a = 11 e b = 1 temos
7, e para a = 49 e
ab 2 b 7 19
EUREKA! N 3, 1998
22
a 2 b a b 2451
43.
57
ab 2 b 7
b 2 7a
4 7a
Se b = 2,
. Como 4 7a > 18 8a = 2 (4a + 9), se

2
ab b 7 4a 9
b = 1 temos
4 7a
inteiro negativo, devemos ter
4a 9
4 7a
4a 9
1 4 7 a 4a 9 a
13
3
N.
Assim,
as
solues
so
dadas
2
( a, b) (7t ,7t ), t N; ( a, b) ( 11,1 ) e (a, b) = (49,1).
por
PROBLEMA 5
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.
SOLUO
BM BK
Como
__
__
__
__
K temos BI MK , e
e BI bissetriz de MB
__
portanto BI RS . Queremos mostrar que RIS agudo, o que

2
2
2
equivalente a RI SI RS , o que equivale a
2
2
2
2
2
2
BR BI BS BI ( BR BS ) 2 BR 2 BR BS BS ,
e
portanto devemos provar que
BI
BR BS .
BA
C , B AB
A, temos KB S MB
C e C BC
R
Se A
KSB
A
2
(e portanto SK B
C
2
) e MR B
C
2
B
2
(e portanto
R A ). Assim, os tringulos MBR e SBK so semelhantes e

BM
2
BR
BM
BK
BS
, donde
BR BS BM BK BM
hipotenusa do tringulo retngulo BMI ).

EUREKA! N 3, 1998
23
BI
(pois BI
PROBLEMA 6
Considere todas as funes f definidas no conjunto N dos inteiros positivos,

2
2
com valores no mesmo conjunto, que satisfazem f (t f ( s )) s ( f (t )) ,
para todos s e t em N. Determine o menor valor possvel de f(1998)
SOLUO
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 ( p11 p 2 2 ... p k k ) f ( p1 )1 ... f ( p k ) k ( pi primos distintos), onde f (2) =

3,
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 x, f (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
r k
pr pk f (x) mltiplo de p 2 onde denota o menor inteiro que

maior ou igual a , para todo x N, o que absurdo se r < k (pois teramos
r k
k
2 r ). Logo p divide f (x) para todo x N, e portanto f (1) divide
EUREKA! N 3, 1998
24
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
Voc sabia Que o matemtico Harald Bohr

(irmo do fsico Niels Bohr), famoso por sua teoria
das funes quase-peridicas, era um consagrado
jogador de futebol? Ele jogou no meio-de-campo da
seleo da Dinamarca, que ganhou a medalha de
prata nos jogos Olmpicos de Londres, em 1908,
quando seu time derrotou a Frana pela contagem de
17 a 1
(!).
O PRINCPIO DA INDUO
Elon Lages Lima
Nvel Avanado.
INTRODUO
EUREKA! N 3, 1998
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.
1. A SEQNCIA DOS NMEROS NATURAIS
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.
2. OS AXIOMAS DE PEANO
Um matemtico profissional, em sua linguagem direta e objetiva,

diria que o conjunto N dos nmeros naturais caracterizado pelas seguintes
propriedades:
EUREKA! N 3, 1998
26
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'.
D'.
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.
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
menores como "mil novecentos e noventa e oito". Quem sabe, por exemplo,
o nome do nmero de tomos do universo?)
EUREKA! N 3, 1998
27
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.
3. O AXIOMA DA INDUO
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
1 s 3 s 5 s 2 s 4 s 6 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
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.
EUREKA! N 3, 1998
28
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
verdade de P(n) acarreta a verdade de P(s(n)). Pelo Princpio da
EUREKA! N 3, 1998
29
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 .
4. ADIO E MULTIPLICAO DE NMEROS NATURAIS
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:
(S1) k + 1 = s(k)
EUREKA! N 3, 1998
30
(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.
5. ORDEM
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
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.
6. BOA ORDENAO
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
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
EUREKA! N 3, 1998
34
definio de b, tem-se necessariamente c X. Mas, como X indutivo, isto

obriga que b = c + 1 X, uma contradio.
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 5 2 < 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) = 2 n + 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).
EUREKA! N 3, 1998
35
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.
7. SEGUNDO PRINCPIO DA INDUO
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
EUREKA! N 3, 1998
36
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
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.
EUREKA! N 3, 1998
37
P2
P1
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
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.
2.
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:
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
EUREKA! N 3, 1998
38
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:
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!
8. NMEROS CARDINAIS
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.
EUREKA! N 3, 1998
39
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.
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.)
EUREKA! N 3, 1998
40
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
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.
2. 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).
3. 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).
4. 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)
.
5. Prove, por induo, que 12 2 2 ... n 2
6
6. Num polgono com n 6 lados, o nmero de diagonais maior do que n.
7. 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.
8. Prove, por induo a desigualdade de Bernoulli: (1 + a)n > 1 + na
quando 1 + a > 0.
EUREKA! N 3, 1998
41
( n 1) 2
9. Para todo n N, ponha x n
n( n 2)
e prove, por induo que se
n2
. Conclua, a partir da, que a seqncia de termo geral
n 1
tem x n
n 1
crescente.
n 2
n 1
Sugesto: observe que x n 1
n
xn .
n3
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.)
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.
1
2
3
n
15. Demonstre
1 1 1
1
1
1
1
1
1 ..
...
.
2 3 4
199 200 101 102
200
EUREKA! N 3, 1998
42
que
16. Determine An se A =
1 2

2 4
17. Demonstre, usando o Princpio da Induo Finita, que
p 1 p n 1
. .
p p
Este resultado comumente conhecido por Teorema das Colunas. (Por

qu?).
EUREKA! N 3, 1998
43
p
1 3 7
, , ,..., 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
18. Considere a seqncia
de
2
(1
4
2)n .
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 2 n 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.
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.
FRAES CONTNUAS,
REPRESENTAES DE NMEROS E APROXIMAES
EUREKA! N 3, 1998
44
Carlos Gustavo Moreira

Nvel Avanado.
INTRODUO
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
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
10 n
xk
rn 1
10 n
, e portanto k
x, no sentido que o erro x k
rn
10 n
rn
uma boa aproximao racional de
menor que
1
, que um
10 n
10
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.
p
Dado qualquer x R e q natural no nulo existe p Z tal que q x

, e portanto
p
q
1
q
p 1
q
1
q
. Em particular h aproximaes
de x por racionais com denominador q com erro menor que
EUREKA! N 3, 1998
45
p 1
q
1
q
. A
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,
2 1 314 35 1 3141592
e
7 70 10 1 3 30 0 0 10 0 0
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
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
0 x, a n [ n ], e, se n Z , n 1
1
, para todo n N .
n an
Se, para algum n, n = an temos
EUREKA! N 3, 1998
46
x 0 a0
1
a1
: [ a ; a1 , a 2 ..., a n ].
a 2 ...
1
an
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
pn
x
qn
/ 12 ln 2
3,27582291872... (meu nmero real preferido!) e
converge a e
/ 6 ln 2
0,093187822954...
Observao: Os n (como funes de x) so funes distintas do tipo

ax b
cx d
com a, b, c, d inteiros. Se a frao contnua de x peridica, ou seja,
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
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:
EUREKA! N 3, 1998
47

x
p
q
, q0
p a 0 q r0
0 r0 q
q a1 r0 r1
0 r1 r0
r0 a 2 r1 r2
0 r2 r1
rn 2 a n rn 1
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
[t0; t1, t2, , tn, tn+1] = [t0; t1, t2, , tn + t
1
n 1
EUREKA! N 3, 1998
48
]=
(t n
) x n 1 x n 2
t n 1
t (t x x n 2 ) x n 1 t n 1 x n x n 1
n 1 n n 1
.
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
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
p n2 q
n2
q n 1 p n 1
, 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:
pn 1 1
x 2 , n
qn qn qn1 qn
N.
EUREKA! N 3, 1998
49
Alm disso,
pn 1 pn1 1
x 2 ou x 2 ,n
qn 2qn qn1 2qn1
N.
Prova: x sempre pertence ao segmento de extremos

comprimento :
pn1 pn (1) 1 pn 1 1
x 2 .
qn1 qn qnqn1 qnqn1 qn qnqn1 qn
Alm disso, se
EUREKA! N 3, 1998
50
p n 1
pn
e
cujo
qn
q n 1
pn 1 pn1 1 1 pn pn1
x 2 xe 2 ento x x
qn 2qn qn1 2qn1 q nn 1 qn qn1
1
2q n2
1
2q n2 1
q n 1 q n ,
absurdo
Observao: De fato
pn 1 1
x 2 .
qn qn qn1 an1qn
an+1 melhor ser a aproximao
pn
de x. O prximo resultado nos d
qn
explicitamente o erro da aproximao de x por
Proposio:
n 1
Quanto maior for
q n 1
[0; a n , a n 1 , a n 2 ,..., a1 ].
qn
EUREKA! N 3, 1998
51
pn
qn
pn
(1) n
, onde
q n ( n 1 n 1 )q n2
Demonstrao: Temos n 1
n 1 n 1
q n (q n x p n )
q n2
p n 1 q n 1 x
. Portanto,
qn x pn
pn 1 qn 1 x qn 1
p q pn qn 1
(1) n
p
n 1 n
x n
qn x pn
qn
qn ( qn x pn )
qn ( qn x pn )
qn
( 1) n
( n 1 n 1 ) q n2
Como aplicao podemos provar o seguinte.

Teorema (Hurwitz, Markov): Para todo irracional, n 1 temos
1
5q 2
particular
para pelo menos um racional
1
5q 2
p pn1 pn pn1
, , .
q qn1 qn qn1
Em
tem infinitas solues racionais p/q.
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
1
k k 2 5 , absurdo.)
3
Seja x = 1/n+2 e y = n+1. As desigualdades acima se traduzem em
1
1
1 x
y
1 x y
portanto
5, 1 x y
5 1 x
5 e
5y
1
1
x 1 y
1
1

1 x y
y( 5 y) 1 y
5 1
.
2
EUREKA! N 3, 1998
52
1
5y
Por
5.
Temos
1
5
y
y ( 5 y ),
outro
lado
e
temos

x
5 1 y
1
1
x 1 4
(1 4)( 5 1 y ) 1 y
1
5 1 y
1
5
1 4 (1 y )( 5 1 y )
5 1
, e portanto devemos ter y
2
5 1
, o
2
q n 1
Q.
qn
que absurdo pois y n 1
Obs: em particular provamos que
racionais q , para todo irracional.

propriedade, De fato, se
> 0,
e portanto
1
5q 2
tem infinitas solues
o maior nmero com essa
p
1
1 5
, temos
e q
(
5
)q 2
2
1 5
1 5
1
p
p q 1 5 p
q
q
2
2
2
( 5 )q
2
2
ou seja , p pq q
1/q2 pequeno, e
p
1 5
2
q
p 2 pq q 2 1
1 5
p
2
q
1 5
p
2
q
5 )
p
1 5
2
q
5
( 5 ). Se q grande,
muito prximo de 0, donde
muito prximo de
5
5
1, absurdo,
pois
(de fato p2 pq q2 um inteiro no nulo, pois se
p
p2 pq q2 = 0 teramos
q
p
p 1 5 1 5
1 0
,
,
q
q
2
2
absurdo, pois q Q .)
Outra maneira de ver que, para todo > 0,
p
1 5
1
2
q
( 5 )q 2
tem
apenas um nmero finito de solues q Q observar que as melhores

aproximaes racionais de
1 5
2
so as reduzidas q
n
de sua frao
contnua [1, 1, 1, 1, ] (ver seo 2 e exemplos), para as quais temos

EUREKA! N 3, 1998
53
1 5 pn
1
,
n 1
n 1 se aproximando cada
2 com
2
q
(
)
q
n 1
n 1
n
n
vez mais de
[1;1,1,1...] [0;1,1,1,...]
1 5
5 1
5.
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
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
2 1
...
2
2
1
2 1
1 5
1
1
1
1
...
1
2
1 5
1 5
1
pois
[1;1,1,1,...]
1 5
2
2
2
Isso prova em particular que
2 e
1 5
so irracionais, pois sua frao
2
contnua infinita.
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 .
EUREKA! N 3, 1998
54
Teorema 2: q n x p n qx p , p, q Z,0 q q n ,
p pn
.
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
q
est fora do
p n p n 1
. Portanto,
,
q n q n 1
intervalo
p p n p p n 1
p
min
,
q
q q n q q n 1
1
1
qx p
qn x pn .
qq n 1
q n 1
p n 1
, donde an+1 2, e qn+1 >
q n 1
2qn, pois numa frao contnua finita, como no algaritmo de Euclides, o
ltimo coeficiente an sempre maior que 1. Nesse caso, se q qn , teremos
Alm disso, se vale a igualdade, ento 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 qn qn 1
qqn qn 1
qqn 1
qn 1
Corolrio 1: x
pn
p
x , q q n .
qn
q
p
q'
Corolrio 2: Se qx p q ' x p ' , q ' q, q q ' ento p/q uma

reduzida 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
Teorema 3: Se x
p
p
1
ento
uma reduzida da frao contnua de
q
q
2q 2
x.
EUREKA! N 3, 1998
55
Prova: Seja n tal que qn < q qn+1. Suponha que
p p n 1
. Ento, temos
q q n 1
duas possibilidades:
q
p
1
1
q n 1 x
.
a)
2
q
qq n 1 2q 2
b)
q
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
qn 1 q
1
1
2.
qqn qn 1 2qqn 2q
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 n2
, n N .
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
EUREKA! N 3, 1998
56
p n 2 q n2 x p n k 2 q n k 2 x
q n 1 x p n 1
q n k 1 x p n k 1
(q n 1 q n k 2 q n 2 q n k 1 ) x 2 ( p n k 1 q n 2 p n 2 q n k 1 p n k 2 q n 1 p n 1 q n k 2 )
x p n 1 p n k 2 p n 2 p n k 1 0.
q n 1
uma frao irredutvel
q n2
q n k 1
(de fato p n 1 q n 2 p n 2 q n 1 ( 1) n ) de denominador qn2 e
q n k 2
uma frao irredutvel de denominador qn+k2 > qn2 , donde
q n k 1
qn 1
q n 1 q n k 2 q n 2 q n k 1 0.
q n k 2
qn 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,
p p n2
x n 1 n
, e portanto
q n 1 n q n 2
Note que o coeficiente de x2 no-nulo, pois
p p n 2
ax bx c 0 a n 1 n
q n 1 n q n 2
p n 1 n p n 2
q q
n 2
n 1 n
c 0
An B n n C n 0,
onde
2
n
An ap n21 bp n 1 q n 1 cq n21
B n 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
C n ap n2 2 bp n 2 q n 2 cq n2 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 :
EUREKA! N 3, 1998
57
p
An ap n21 bp n 1 q n 1 cq n21 aq n21 x n 1
q n 1
2
onde x e x so as razes de a, X + bX + c = 0, mas
x
p n 1
p
1
2 1 An aq n21 x n 1
q n 1
q n 1
q n 1
p
x n 1

q n 1

p n 1
p
a x x x n 1
q n 1
q
n 1
a x x 1 : M .
Notemos agora que B n2 4 An C n b 2 4ac, n N. De fato,

B n2 4 An C n ( p n 1 q n 2 p n 2 q n 1 ) 2 (b 2 4ac ) b 2 4ac. Portanto,
Bn2 4 AnCn b 2 4ac 4 M 2 b 2 4ac Bn M '
4 M 2 b 2 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*.
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.
SOLUES DE PROBLEMAS PROPOSTOS EUREKA! Nos. 1 e 2

Publicamos aqui algumas
das respostas enviadas por nossos leitores.
2)
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
EUREKA! N 3, 1998
58
inicialmente vazio pode partir e conseguir dar uma volta completa na

pista (parando para reabastecer nos postos).
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,
n
l c .
i
i 1
l c
Suponha que exista k com 1 k n e
i 1
i 1
(se
i 1
no existe tal k podemos dar a volta comeando em P1). Tome k0 com 1 k0

k0
n tal que
(l
c i ) seja o menor possvel. Afirmamos que podemos dar a
i 1
volta comeando em Pk 0 1 . De fato, se no for assim, existe r com 1 r n

k0 r
(l i c i ) 0, mas ento teramos
k0 r
i k 0 1
(l i c i )
i 1
k0 r
um absurdo (se k0+r > n temos
i 1
k0
(l
ci ), o que
i 1
(l i c i )
ko r n
(l
c i ), pois
i 1
(l
c i ) 0).
i 1
3)
Prove que existe n N tal que os 1000 primeiros dgitos de n1998 so

iguais a 1.
Soluo
Seja n N tal que
111 ..11 0 1 2 ... p ; onde i tal que 0 i 9;
n1998 =
1000 algarismos
i = 1, 2, 3, , p. Seja tambm k = 11111, da:

k 9999...9,
k .10s n1998 logo k . 10s n1998 < (k + 1) . 10s,
s algarismos
Precisamos garantir que h algum n N que satisfaa a desigualdade acima;

EUREKA! N 3, 1998
59
seja ento s = 1998 . p :

k . 101998 . p n1998 < (k + 1) . 101998 . p
n
1998 k 1.
p
10
p 1998
observe que se tomarmos n = 10 .
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
1998
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
a
P3 P4 .
por P5 e satisfar P5 P6 = a, ou seja, P5 P6
P3 P4
Rodando o heptgono H = P1P2P3P4P5P6P7 de 180 em torno do ponto mdio

de P1P2 obtemos o heptgono H' = P1'P2'P3'P4'P5'P6'P7' 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.
EUREKA! N 3, 1998
60
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.
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.
EUREKA! N 3, 1998
61
Seja n = 2n + 1, logo n = 2 2 p 1 2 2
Se p im mpar maior do que 1, teremos:
k
1, fazendo 2 2 x p 1.
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
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
y 2 k1 k2 1 (2 k1 ) k 2 1 (2 k1 1) (2 k1
( k 2 1)
2 k1 ( k2 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
1
x
1
y
1
1998
com x e y inteiros
positivos.
Soluo
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:
EUREKA! N 3, 1998
62
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 19 8 0 a 19 8

b 19 8 0 b 19 8
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.
Solues dos problemas 2, 5 e 6 enviadas por Zoroastro Azambuja Neto.

Solues dos problemas 3 e 12 enviadas por Carlos Alberto da Silva Victor.
EUREKA! N 3, 1998
63
Soluo do problema 14 enviada por Vicente Wilson Moura Gaete e Andr Luiz
Arruda Marques. Continuamos esperando as solues dos problemas 10, 11,
12, 13 e 15.
PROBLEMAS PROPOSTOS
Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos
problemas para os prximos nmeros.
16)
2
Seja l a reta {( x, y ) R y 0}, C1 o crculo centrado em
(0,
i)
ii)
1
2
) de raio
1
2
e C 2 o crculo centrado em (1,
1
2
) de raio
1
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 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
( a1 , a2 ,..., ar ) , r , a1 , a2 ,..., ar N * com a1 a2 ... ar
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.
Pn
18)
Pn
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.
EUREKA! N 3, 1998
64
e a a ... a n.
1
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.
COORDENADORES REGIONAIS
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
Sergio Claudio Ramos
(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
(IM-UFRGS)
Porto Alegre-RS
EUREKA! N 3, 1998
65
Tadeu Ferreira Gomes

Valdenberg Arajo da Silva
Wagner Pereira Lopes
(U. do Estado da Bahia) Juazeiro-BA

(U. Federal de Sergipe) So Cristovo-SE
(Esc. Tec. Fed. de Gois) Jata-GO
EUREKA! N 3, 1998
66

Revista Eureka

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Revista Eureka

Încărcat de

Drepturi de autor:

Formate disponibile

CONTEDO

OLIMPADA BRASILEIRA DE MATEMTICA

XIX OLIMPADA BRASILEIRA DE MATEMTICA (1997)

13a. OLIMPADA IBEROAMERICANA DE MATEMTICA

39a. OLIMPADA INTERNACIONAL DE MATEMTICA

FRAES CONTNUAS, REPRESENTAES DE NMEROS E APROXIMAES

SOLUES DE PROBLEMAS PROPOSTOS EUREKA Nos. 1 e 2

Sociedade Brasileira de Matemtica

3o. nvel (segunda prova).

Sociedade Brasileira de Matemtica

OLIMPADA BRASILEIRA DE MATEMTICA

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

Seja A = {x1 < x2 << xn} um conjunto de nmeros inteiros

Considere a seqncia (xn)

definida por x1 = 19, x2 = 98 e, para

Prove que existe n N tal que xn = 0 e encontre o menor n com

Sejam ABC um tringulo, M o p da bissetriz interna do ngulo A e

Sociedade Brasileira de Matemtica

Mostre que o produto de todos os nmeros da forma

seja tal que x n21 x n 1 divisvel por 10 n 1.

Sociedade Brasileira de Matemtica

Dado que a0 = 6, temos que xn = 10t + 6 com t N; ento 2xn = 10h + 2.

Sociedade Brasileira de Matemtica

y1863 = 0 x1862 x1863 = 1 e x1863 x1864 = 0. Assim, x1863 0 e x1864 = 0, donde

ABC e ABM temos

sempre inteiro. Seja x0 a soluo de x

1998 x 0 1998 x 0 999( 5 1) 1234,8...

Sociedade Brasileira de Matemtica

O nmero referido no enunciado o quadrado do produto de todos os 2 99

que so conhecidos 51539600000

, calculadas por Y. Kamada e D.

Takahashi, da Universidade de Tokio em 1997? E que

XIX OLIMPIADA BRASILEIRA DE MATEMTICA (1997)

Sociedade Brasileira de Matemtica

Duas circunferncias de raios R e r e centros O e O', respectivamente,

Dizemos que um conjunto A N satisfaz a propriedade P(n) se A tem n

Dado A N finito definimos o dimetro de A como sendo a diferena entre

Prove que no existem funes f : R R e g : 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, ).

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

Sociedade Brasileira de Matemtica

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

Sejam c Q, f (x) = x2 + c. Definimos f 0 (x) = x , f n+1 (x) = f ( f n (x)),

Seja f uma funo do plano no plano que satisfaz d (P,Q) = 1

Dado um conjunto finito A N , denotaremos por d(A) o dimetro de A.

Sociedade Brasileira de Matemtica

contradio. Isto demonstra (i).

d (An + 1) < (n + 1)3. Como An + An tem

Vamos ainda, verificar que, para p primo mpar, f ( p ) 2 p 2 . Para isto,

Sociedade Brasileira de Matemtica

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

Com um pouco de teoria dos Corpos, possvel provar, utilizando um

, k Z} L {0}. Para cada m K, + m L {0, 1}, e,

ou seja, tal que { k

portanto, existe am Z, 0 < am < p2 1 tal que am m. O conjunto

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

Vamos supor, por absurdo, que existam funes f, g : R R

( 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),

logo { f (0), f (1), f ( 1)} {0,1} o que um contradio (pois f injetora e,

f (1)} tem 3 elementos).

Sociedade Brasileira de Matemtica

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