Eureka 3

CONTEDO
AOS LEITORES 2

OLIMPADA BRASILEIRA DE MATEMTICA 3
Problemas de treinamento para a terceira fase

XIX OLIMPADA BRASILEIRA DE MATEMTICA (1997) 8
Problemas e solues da segunda fase snior

13
a
. OLIMPADA IBEROAMERICANA DE MATEMTICA 18
Repblica Dominicana 1998 - Problemas e resultados

39
a
. OLIMPADA INTERNACIONAL DE MATEMTICA 20
Solues

ARTIGOS

O PRINCPIO DA INDUO 26
Elon Lages Lima

FRAES CONTNUAS, REPRESENTAES DE NMEROS E APROXIMAES 44
Carlos Gustavo Moreira

SOLUES DE PROBLEMAS PROPOSTOS EUREKA N
os
. 1 e 2 56

PROBLEMAS PROPOSTOS 61

COORDENADORES REGIONAIS 62

Sociedade Brasileira de Matemtica
EUREKA! N 3, 1998
2
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 1
o
. nvel
2
o
. nvel
3
o
. nvel (primeira prova).

Sbado 14 de novembro 3
o
. nvel (segunda prova).

Comit Editorial.
EUREKA! N 3, 1998
3
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 . KC BK AB = +

2) Prove que existe uma seqncia a
0
, a
1
, , a
k
, , onde cada a
i
um
algarismo (ou seja, a
i
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}) com a
0
= 6, tal
que para cada inteiro positivo n o nmero x
n
= a
0
+ 10a
1
+ 100a
2
+
+ 10
n1
a
n1
(cuja representao decimal a
n1
a
n2
a
1
a
0
) tal
que
n n
x x
2
divisvel por 10
n
.

3) Seja A = {x
1
< x
2
<< x
n
} 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 x
i
2i

1
para i = 1, 2,, n.

4) Considere a seqncia (x
n
)
n N
definida por x
1
= 19, x
2
= 98 e, para
todo n N,
=

=
+
+
+ +
. 0 se , 0
0 se ,
1
1
1
1 2
n
n
n
n
n
x
x
x
x
x
Prove que existe n N tal que x
n
= 0 e encontre o menor n com
essa propriedade.

5) 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.

6) Ache todas as solues reais de | | | | 1998 1998 = + x x
( | | y denota o nico inteiro tal que | | | | ) 1 + < y y y .

EUREKA! N 3, 1998
4
7) Mostre que o produto de todos os nmeros da forma
100 ... 3 2 1 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 a
0
= 6; ento x
1
= 6 e 30 6 36
1
2
1
= = x x , que
divisvel por 10
1
.
Seja n 1. Suponhamos que existem a
0
, a
1
,,a
n1
tais que
1
1
2
2
1 0
10 ... 10 10

+ + + + =
n
n
n
a a a a x
verifica que
n n
x x
2
divisvel por 10
n
(ou seja ) com , 10
2
N = r r x x
n
n n

Temos que encontrar a
n
tal que
n
n
n n
n
n
n
n
a x a a a a a x 10 10 10 ... 10 10
1
1
2
2
1 0 1
+ = + + + + + =

+

seja tal que . 10 por divisvel
1
1
2
1
+
+ +

n
n n
x x
EUREKA! N 3, 1998
5
10. por divisvel ) 1 2 (
10 por divisvel 2 10 por divisvel e
Assim, . 10 ) 2 ( 10
10 ) 2 ( 10 10 10 ) 2 ( 10 ) (
10 10 10 2 ) 10 ( ) 10 (
1
1
2
1
2 2
2 2 2 2 2
2 2 2 2
1
2
1
n n
n n n
n
n n
n
n
n n n
n
n
n
n n n
n n
n
n
n n n
n
n n
n
n
n n
n
n
n
n n n
n
n n
n
n n n
a x r
a a x r x x
a a a x r
a a a x r a a a x x x
a x a a x x a x a x x x
+
+
+ + =
= + + = + + =
= + + = + + =
+
+ +
+ +
Dado que a
0
= 6, temos que x
n
= 10t + 6 com t N; ento 2x
n
= 10h + 2.
(com h = 2t + 1). Logo r + (2x
n
1)a
n
divisvel por 10 r + (10h + 1)a
n

divisvel por 10 r + a
n
divisvel por 10.
Sempre existe um nico inteiro a
n
entre 0 e 9 de modo tal que isto se
verifique.

Obs: A seqncia (a
n
) comea por 6, 7, 3, 9, 0, 1, 7, 8, 7, 1, 8, 0, 0, 4, 7, 3
Assim, por exemplo, x
10
= 1787109376.

Problema extra:
Prove que a seqncia (a
n
) obtida no peridica nem pr-peridica.

3)
Suponhamos que o enunciado falso, ou seja que existe k tal que

x
k
> 2k 1, 1 k n.
Ento os conjuntos

B
1
= {1, x
k
1}, B
2
= {2, x
k
2}, , B
k
= {k, x
k
k}

so disjuntos dois a dois e seus elementos so menores que x
k
.
Alm disso, para cada j, 1 j k, j A ou x
k
j A, pois no caso
contrario, ou seja, se j A e x
k
j A, teramos que x
k
= j + (x
k
j) A.
Portanto, para cada j, 1 j k, A B
j
, donde A tem pelo menos k
elementos menores que x
k
, absurdo.

4)
Se x
n+1
0, temos x
n+2
x
n+1
= x
n+1
x
n
1. Definindo y
n
= x
n
x
n+1
temos
y
n+1
= y
n
1

para todo n tal que x
n+1
0. Como y
1
= x
1
x
2
= 19 98 = 1862,
temos y
k
= 1863 k enquanto y
k 1
for diferente de 0, e portanto y
1862
= 1 e
EUREKA! N 3, 1998
6
y
1863
= 0 x
1862
x
1863
= 1 e x
1863
x
1864
= 0. Assim, x
1863
0 e x
1864
= 0, donde
1864 o menor n tal que x
n
= 0.

5)
Pelo teorema das bissetrizes,
a
c
NC
AN
= e ,
c b
ab
MC
d
c
MC
BM
+
= = e como
MN bissetriz de C M A
devemos ter ,
a
c
CN
AN
MC
MA
= = donde
c b
bc
MA
+
=
(pois
1 +
=
b
ab
MC pela lei dos senos aplicada aos tringulos ABC e ABM
temos
,
) 2 / (
senB
A sen
MA
BM
c b
bc
c b
ac
b
a
senB
senA
= =
+
+
= =
e portanto sen (A/2) = sen A
= 2 sen (A/2) cos (A/2) cos .
3
2
3 2 2
1
2

= = =
|
.
|
\
|
A
A A

6)
| | | | x x 1998 + sempre inteiro. Seja x
0
a soluo de , 1998 1998 = + x x ou
seja x
0
= 999 (3 ... 1 , 763 ) 5 = e ... 8 , 1234 ) 1 5 ( 999 1998 1998
0 0
= = = x x
Temos | | | | . 1997 1998
0 0
= + x x A funo | | | | x x x f 1998 ) ( + = aumenta
de uma unidade quando x ou x 1998 torna-se inteiro. Os prximos valores
de x maiores que x
0
para os quais x e x 1998 so inteiros so
respectivamente 764 e 1235
2
/ 1998 < 764.
Assim, f (1235
2
/1998) = 763 + 1235 = 1998 e f (764) = 764 + 1235 = 1999
(de fato ). 1236 764 1998 < Como f (x) no-decrescente, o conjunto das
solues o intervalo
| ). 764 ..., 3758758758 , 763 764 ,
1998
1235
2
=
|
|
.
|

EUREKA! N 3, 1998
7
7)
O nmero referido no enunciado o quadrado do produto de todos os 2
99
nmeros da forma 100 ... 3 2 1 (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
j. {-1,1},
e } 100 ,..., 3 , 2 { ,... , , 2 com ), )...( )( , , (
j
2 1
99
2 2 1

m m m
a a a m a a a

Fixamos , 2 ... com ,..., ,
99
100 3 2 100 3 2
+ + + N e consideramos
todos os termos como acima que tm exatamente
k
valores de , k a
j
=
para 100 2 k . 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 . r a
j
= 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 100 ... 3 2 1 um inteiro, e portanto o
produto do enunciado um quadrado perfeito.

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
5000000000000
a
. casa binria de ?
Consulte a home-page
http://www.cecm.sfu.ca/pi

EUREKA! N 3, 1998
8
XIX OLIMPIADA BRASILEIRA DE MATEMTICA (1997)
Problemas e solues da segunda fase snior

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
2
) 1 ( + n n
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
3
2
) (
4
n n f
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) < 2p
2
, para todo nmero
primo p.)
PROBLEMA 3
a) Prove que no existem funes f : R R e g : R R
satisfazendo g ( f (x) ) = x
3
e f ( g(x) ) = x
2
para todo x R.
b) Exiba funes f : ( 1, ) ( 1, ) e g :( 1, ) (1, ) tais que
g ( f(x) ) = x
3
e f ( g(x) ) = x
2
, para todo x (1, ).

EUREKA! N 3, 1998
9
PROBLEMA 4
Seja F
n
definido por F
1
= 1, F
2
= 1 e F
n+2
= F
n+1
+ F
n
, para todo n 1. Seja
. 1 ,
2
2
2
+ =
+
n F F V
n n
n Mostre que, para todo n inteiro positivo, V
n
,
V
n+1
e V
n+2
so lados de um tringulo de rea 1/2.
PROBLEMA 5

Sejam c Q, f (x) = x
2
+ 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 A . Claramente, A perpendicular a s. Seja
I o ponto de interseco de s com A . Temos dois casos a considerar:

(i) OO' OI. Neste caso, d = OO' e d mnimo quando I = O'.
(ii) OO' OI. Neste caso, considere O'' O' em s tal que O'I = IO''
( O'' simtrico de O' em relao A ). 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 .
2 2
r R

EUREKA! N 3, 1998
10
2)
Dado um conjunto finito A N , denotaremos por d(A) o dimetro de A.
Temos duas desigualdades a provar:

(i)
4
) (
2
n
n f , para todo n 2.
Vamos supor, por absurdo, que exista um conjunto A = {a
1
, a
2
, ,a
n
}, n 2,
tal que A satisfaz P(n), a
1
< a
2
< < a
n
e d(A) < .
4
2
n
Como A satisfaz P(n),
A + A = {a
1
+ a
2
, a
1
+ a
2
, ,a
n
+ a
n
} tem
2
) 1 ( + n n
elementos. Como
a
1
+ a
1
< a
1
+ a
2
< < a
n
+ a
n
, temos que (a
n
+ a
n
) (a
1
+ a
1
) + 1
2
) 1 ( + n n
a
n
a
1
,
4
) (
4 4
2
4
2 2 2
n
A d
n n n

+ o que uma
contradio. Isto demonstra (i).

(ii)
3
) ( n n f < , para todo n 2.
Como {0, 1} satisfaz P(2), temos que f(2) 1 < 2
3
. Agora, vamos supor que
3
) ( n n f < para algum n 2. Seja A
n
= {a
1
, a
2
, , a
n
} N tal que A
n
satizfaz P(n) e d(A
n
) = f(n) < n
3
. Sem perda de generalidade, podemos supor
que 0 = a
1
< a
2
< < a
n
= d(A
n
), bastando para isto subtrair de cada
elemento de A
n
o menor de seus elementos. Agora, queremos achar
a
n + 1
N A
n
tal que A
n + 1
= {a
1
, a
2
, , a
n + 1
} satisfaa P(n +1) e
d (A
n + 1
) < (n + 1)
3
. Como A
n
+ A
n
tem
2
) 1 ( + n n
elementos e
}, 1 1 { ) (
1 1 1
+ + + = +
+ + +
n i a a A A A A
n i n n n n
temos que
n n
A a
+
N
1
e A
n+1
satisfaz ) 1 ( + n P se e somente se,
}. , 1
2
{ } , , 1 {
1
n j i
a a
n k j i a a a P a
j i
k j i n

+
+ =
+
Como
,
2
) 1 (
3
+
+
n n
n P temos que ,
2
) 1 (
3
1
+
+
+
n n
n a
n
pois basta escolher
a
n+1
como o menor natural que no est em P. Assim,
EUREKA! N 3, 1998
11
. ) 1 ( ) ( ) 1 (
3
1
+ < +
+
n A d n f
n
Por induo finita em n, temos que (ii)
verdade, o que completa nossa demonstrao.

Vamos ainda, verificar que, para p primo mpar, . 2 ) (
2
p p f < Para isto,
construmos o conjunto }, 1 0 ), ( 2 { + = p k k pg k A onde
), (mod ) (
2
p k k g = 0 g(k) p 1.
Temos ) 1 ( 2 1 ) ( + p p p A d =
2 2
2 1 2 p p p < e se tivssemos
), ( 2 ) ( 2 ) ( 2 ) ( 2 s pg s r pg r i pg j i pg i + + + = + + + ento
) ( ) ( ) ( ) ( ,
)) ( ) ( 2 )) ( ) ( ( 2 (
s g r g j g i g s r
j i s g r g p s r i g i g p j i
+ = + + =
= + + + + = + + +

Assim,
), (mod
2 2 2 2
p s r j i e j s r i + + = logo
) (mod 0 ) )(mod )( ( ) )( ( p j s r i p j s j s r i r i + + ou
) (mod p j s r i + + . Portanto r i = 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) < p
2
para p primo. Seja K = Z/pZ o corpo com p elementos e L K um corpo
com p
2
elementos. Seja um gerador do grupo (cclico) multiplicativo de L,
ou seja, tal que { }. 0 { } , = L k
k
Z Para cada m K, + m L {0, 1},
e, portanto, existe a
m
Z, 0 < a
m
< p
2
1 tal que . m
m
a
+ = O conjunto
} 1 0 , { = p m a A
m
tem dimetro no mximo
2 2
3 p p < e
. 0 ) ( ) ( ) )( ( ) )( ( = + + + + = + + + = + rs ij s r j i s r j i a a a a
s r j i

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

3)

a) Vamos supor, por absurdo, que existam funes f, g : R R
satisfazendo, para todo x R,

3
)) ( ( ) ( x x f g I = e
2
)) ( ( ) ( x x g f II =
EUREKA! N 3, 1998
12
Agora . )) ( ( )) ( ( ) ( ) ( , ,
3 3
y x y x y f g x f g y f x f y x = = = = R
Logo f injetora. Ainda, de (I) e (II), temos
), 1 ( ) 1 ( e ) 1 ( ) 1 ( ), 0 ( ) 0 ( ) ( )) ( ( ( ) ( (
2 2 2 3 2
f f f f f f x f x f g f x f = = = = =
logo } 1 , 0 { )} 1 ( ), 1 ( ), 0 ( { f f f o que um contradio (pois f
injetora e, portanto, , ) 1 ( ), 0 ( { f f f (1)} tem 3 elementos).

(b) Vamos supor, por enquanto, que existam funes
) , 1 ( ) , 1 ( : , + + g f tais que
3
)) ( ( x x f g = e , )) ( (
2
x x g f = para todo
). , 1 ( x Agora, considere as funes

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

Temos

= = = ))) 2 ( ( (log log )) 2 ( (log log ) (
2
2 2
2
2 2
))
2
2 (
2
(log
2
log x
f g g x
x
f
D
3 log 2 3 log ) ) 2 ( (log log
2 2
3 2
2 2
+ = = x
x
x

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

Supondo que b ax x + = ) ( e , ) ( d cx x + = devemos ter, para
todo , R x
1 ) (
3 log ) (
2
+ = + + =
+ = + + =
x bc d acx x
x b ad acx x

D
D

Podemos escolher, por exemplo, 2 log , 0 , 3 log
3 2
= = = c b a e d = 1.
(ou seja, 3 log ) (
2
x x = e 1 2 log ) (
3
+ = x x
De (A), temos
3
2
log
2
2
log
2
log . 3
2
log ))
2
(log
2
(log
log 2 2
) (
2 2
2 2 2 ) ( 2 ) 2 (
x
x x x x
x g g = = = =

EUREKA! N 3, 1998
13
e de (B)

2
3
log
2
2
3
log
2
log
2
log 1 ))
2
(log
2
(log
) (
log 2
.
2 2 2 2
2 2 2 ) ( 2 ) 2 (
x
x x x
x
x f f = = = =
+

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

4)
Primeiramente, notemos que, para . ) 1 ( , 0
1 2
1 2
+
+ +
=
n
n n n
F F F n De fato,
2 2 2
2 3 1
) 1 ( 1 2 1 = = F F F e por induo supondo que
que temos ) 1 (
1 2
1 2
+
+ +
=
n
n n n
F F F
. ) 1 ( ) 1 ( ) (
) ( ) (
2 1 2
1 2
1 2 2
2
1
2
2 1 2 1
2
2 3 1
+ +
+ +
+ + + + + + + + + + +
= =
= = + =
n n
n n n
n n n n n n n n n n n
F F F
F F F F F F F F F F F

Dividimos o problema em dois casos; indicados pelas seguintes figuras:
(i)
V
n
F
n+2
F
n+3
F
n+1
F
n+2
F
n
V
n+1
V
n+2
F
n+4

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

+ + + =
+ +
+ +
+ + +
=
2 2 2
1
2 2
1
3 1
2 1
2 4 2 n n
n n
n n n n
F F
F F
F F F F
A

= + + + = + + + =
+ + + + + + + + + + + 3 1 1 2 2 3 1 1 2 4 2
) ( 1 ) 2 ( 1
n n n n n n n n n n n n
F F F F F F F F F F F F
EUREKA! N 3, 1998
14

, 1 1 1
3
2
4 2
2
3 3 1 3 2
= + = + + =
+ + + + + + + + n n n n n n n n
F F F F F F F F o que ocorre
sempre que n mpar.
(ii)
V
n
F
n+2
F
n+3
F
n+1
F
n+2
F
n
V
n+2
V
n+1
F
n+4

Se A a rea do tringulo sombreado, de lados V
n
, V
n+1
e V
n+2
, temos
analogamente que

+ + + = =
+ +
+ +
+ + +
2 2 2
1
2 2
1
3 1
2 1
2 4 2 n n
n n
n n n n
F F
F F
F F F F
A
, 1
2
3 4 2
=
+ + + n n n
F F F o que ocorre sempre que n mpar.
Em qualquer dos casos, temos que a rea do tringulo de lados V
n
, V
n+1
e
V
n+2

2
1
.

5)

Se , 1 + > c x ento
x c x c x c c c x x x x > + + > =
2 2
2
2
) 1 ( e, portanto,
1 ) ( ) (
1
+ > >
+
c x f x f
n n
para todo . 0 n Logo, se x pr-perodico,
ento (*). 1 + c x
Agora, sejam , 1 ) , ( onde , = = s r
s
r
c e , 1 ) , ( onde , = = q p
q
p
x
com Z s r q p , , , e . 0 , > s q Temos
EUREKA! N 3, 1998
15
r
q
sp
c x s + = +
2
2
2
) (
Se ento , 0 , , ,
2
= + v v u
v
u
c x Z
. ) (
2
2 2 2 2 2 2
2
2
s
q
v q sv sv q svp q rv su q svp r
q
sp
v
su
= + =
Se q > s, o denominador v de c x +
2
maior ou igual a ,
2
q
s
q
> que o
denominador de x isto , o denominador de ) (
1
x f
n+
maior que o
denominador de , 0 ), ( n x f
n
e, portanto, se x pr-peridico, ento seu
denominador no mximo s (**).
De (*) e (**), segue que h apenas um nmero finito de pontos pr-
peridicos 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 }. 3 , 0 { )) ' ( ), ( ( A f A f d Vamos mostrar que, de fato,
. 3 )) ' ( ), ( ( = A f A f d Se , ) ' ( ) ( A f A f = ento tomando B com AB = 1 e A'
B = 3 , teramos , 1 )) ( ), ' ( ( 1 )) ( ), ( ( = = B f A f d B f A f d o que seria
absurdo. Assim, d(A,A' ) = . 3 )) ' ( ), ( ( 3 )) ' ( ), ( ( = = A f A f d A f A f d 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, 1
2
+ n n e
1
2
+ n n que tm rea 4 / 3 so preservados pela funo f , j que seus
vrtices esto em reticulado triangular de lado 1.
EUREKA! N 3, 1998
16
A
C B
1 1
1
n

1
1
2
2
+ + =
+ =
n n AC
n n AB

Utilizando um procedimento anlogo ao anterior, vamos agora considerar a
imagem dos vrtices de dois tringulos deste tipo com o lado de medida
1
2
+ + n n em comum. Sendo X e Y os vrtices destes tringulos opostos ao
lado comum, temos novamente que 0 )) ( ), ( ( = = Y f X f d XY
n
ou
n
XY Y f X f d = = )) ( ), ( ( , onde
1
3
2
+ +
=
n n
n

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 k
n
tal que . ) 1 ( 1
n n n n
k k + <
Sendo , ) , (
1 0 n
A A d = considere pontos 1 2 , +
n i
k i A tais que
n i i
A A d =
+
) , (
1
para
n
k i 0 e 1 ) , (
1 0
=
+
n
k
A A d Temos
1 )) ( , ( (
1
0
=
+ n
k
A f A f d e, portanto,
, )) ( ), ( ( )) ( ), ( ( 1
1 0 1
0
n n i i
k
i
k A f A f d A f A f d
n
+
+
=

Se )) ( ), ( (
1 0
A f A f d fosse 0, ento , 1 1 <
n n
k o que seria absurdo assim,
. )) ( ), ( (
n n
Y f X f d XY = = Como antes, temos que XY =
n n
k Y f X f d k = )) ( ), ( ( para k N.

EUREKA! N 3, 1998
17
Agora, suponha que existam X e Y tais que ). , ( )) ( ), ( ( Y X d Y f X f d
Sejam n N tal que ) , ( )) ( ), ( ( 4 Y X d Y f X f d
n
< e
2
R P com
. 2 ) , (
) , (
n
n
Y P d ,
X P d
< N
Tome
2
R Q com = = = )) ( ), ( ( ) , ( ) , ( Q f P f d Q Y d Q P d
n

n n
Y f P f d Q f Y f d 2 )) ( ), ( ( )) ( ), ( ( =
)), ( ), ( ( ) , ( como e X f P f d X P d = temos
absurdo. , 4 ) , ( )) ( ), ( ( ) , ( ) , (
)) ( ), ( ( )) ( ), ( ( ) , ( )) ( ), ( (
n
Y P d P f Y f d Y X d P X d
P f X f d Y f X f d Y X d Y f X f d
< +
+

Obs: As funes f : R
2
R
2
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 ??

EUREKA! N 3, 1998
18
13
a
. OLIMPADA IBEROAMERICANA DE MATEMTICA
Repblica Dominicana 1998 - Problemas e resultados

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.
EUREKA! N 3, 1998
19
PROBLEMA 5

Encontrar o maior valor possvel n para que existam pontos distintos P
1,
P
2,
P
3
, , P
n
no plano, e nmeros reais r
1
,

r
2
, , r
n
de modo que a distncia
entre quaisquer dois pontos diferentes P
i
e P
j
seja r
i
+ r
j.

PROBLEMA 6

Seja a raiz positiva da equao t
2
1998t 1 = 0. Define-se a sucesso x
0
,
x
1
, x
2
, , x
n
, por:
| |
= =
=
+
,... 2 , 1 , 0 para ,
1
1
n x x
x
n n
o

Encontrar o resto da diviso de x
1998
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 132 pontos
CHILE 127 pontos
ARGENTINA 120 pontos
PERU 117 pontos
MXICO 115 pontos
ESPANHA 112 pontos

O Resultado da Equipe Brasileira

BRA 1 Murali Srinivasam Vajapeyam Prata - 32 pontos
BRA 2 Emanuel Augusto de Souza Carneiro Ouro - 37 pontos
BRA 3 Fabricio Shigueu Catae Ouro - 35 pontos
BRA 4 Mauricio Pereira Carrari Bronze - 28 pontos

Cada um dos seis problemas da prova vale 7 pontos.
EUREKA! N 3, 1998
20
39
a
. 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
= +

CD AB . Claramente o centro O do crculo circunscrito pertence s
mediatrizes de AB e DC, logo P = O, e como rea de
= = =

CD r AB r OAB sen
2
1
sen
2
1
2 2
rea de OCD (onde r o raio do
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
21
classificaes dadas por dois juzes quaisquer coincidem no mximo para k
concorrentes. Prove que
b
b
a
k
2
1
.

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
ele
4
) 1 (
2
2
2
1
2
2
1
2 2

= + +
+
b
C C C C
b b j b j
, de modo que o nmero total de
pares de julgamentos coincidentes no mximo ,
4
) 1 (
2
b a
que, por outro
lado, por hiptese, deve ser no mximo .
2
) 1 (
2

=
b b
k C k
b
Assim,
devemos ter .
2
1
4
) 1 (
2
) 1 (
2
b
b
a
k b a b
kb

PROBLEMA 3
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 k
n d
n d
=
) (
) (
2
para algum n.

SOLUO
Obsevemos inicialmente que se
k
k
p p p n

...
2 1
2 1
= ( p
i
primos distintos)
ento ). 1 )...( 1 )( 1 ( ) (
2 1 k
n d + + + =
Assim, .
) 1 )...( 1 )( 1 (
) 2 1 )...( 2 1 )( 2 1 (
) ( / ) (
2 1
2 1 2
k
k
n d n d

+ + +
+ + +
= Como o numerador
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 ,
1
1 2
+
+
r
r
r N, no necessariamente distintas.
Faremos isso por induo. Seja m um nmero mpar, e seja 2
s
a maior
EUREKA! N 3, 1998
22
potncia de 2 que divide m + 1. Temos portanto 1 2 2
1
+ =
+ s s
q m para
algum q N, donde
). 1 2 (
) 1 2 ( ) 1 2 ( 2
1 ) 1 ( 4 ) 1 2 ( 2
1 ) 1 ( 2 ) 1 2 ( 2
1 ) 1 ( 2 ) 1 2 ( 2
1 ) 1 ( 2 ) 1 2 ( 2
1 ) 1 ( 2 ) 1 2 ( 2
1 2
1 ) 1 ( 2 ) 1 2 ( 2
1 2
) 1 2 (
1 2
1 2 2
1 2
1 2
1 2 1 2
+
+ +
+ + +

+ + +
+ + +
+ + +
+ + +
=
+ + +
=
=
+

+ +
q
q q
q q
q q
q q
q q
q q q q m
m
s
s
s s
s s
s s
s s
s
s s
s
s

Como 2q + 1 < 2
s + 1
q + 2s 1 = m, por hiptese de induo, 2q + 1 se
escreve como produto de fraes da forma ,
1
1 2
+
+
r
r
e portanto m tambm.

PROBLEMA 4
Determine todos os pares (a, b) de inteiros positivos tais que ab
2
+ b + 7
divide a
2
b + a + b.

SOLUO

Se
7
2
2
+ +
+ +
b ab
b a b a
inteiro ento
7
7
7
) 7 ( ) (
2
2
2
2 2
+ +
=
+ +
+ + + +
b ab
a b
b ab
b ab a b a b a b
inteiro. Como
7 7
2 2 2
+ + < < b ab b a b temos que . 1
7
7
2
2
<
+ +
b ab
a b
Se 0
7
7
2
2
=
+ +
b ab
a b

teremos b
2
= 7a, donde b mltiplo de 7 (digamos
b = 7t ), e (7t)
2
= 7a nos d a = 7t
2
. fcil ver que (a, b) = (7t
2
, 7t) satisfaz as
condies do enunciado para todo t inteiro positivo (temos nesse caso
).
7
2
2
t
b ab
b a b a
=
+ +
+ +

Se 0
7
7
2
2
<
+ +
b ab
a b
devemos ter b
2
< 7a e 1
7
7
2
2

+ +
b ab
a b
(pois inteiro), e
portanto 1 7 7 7 7 7
2 2 2 2
= < > + + > b b ab a b ab b a a ou b = 2.
Se ,
8
57
7
8
7 1
7
7
, 1
2
2
+
+ =
+
=
+ +
=
a a
a
b ab
a b
b e devemos ter que a + 8 divide
57, com a inteiro positivo a + 8 = 19 ou a + 8 = 57 a = 11 ou
EUREKA! N 3, 1998
23
a = 49. Para a = 11 e b = 1 temos ,
7
7
19
133
2
2
= =
+ +
+ +
b ab
b a b a
e para a = 49 e
b = 1 temos . 43
57
2451
7
2
2
= =
+ +
+ +
b ab
b a b a

Se b = 2, .
7
7
9 4
7 4
2
2
+
=
+ +
a
a
b ab
a b
Como 4 7a > 18 8a = 2 (4a + 9), se
9 4
7 4
+
a
a
inteiro negativo, devemos ter
= = =
+
3
13
9 4 7 4 1
9 4
7 4
a a a
a
a
N.
Assim, as solues so dadas por ) 1 , 11 ( ) , ( ; ), 7 , 7 ( ) , (
2
= = b a t t t b a N e
(a, b) = (49,1).

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
Como BK BM = e
__
BI bissetriz de K B M
temos ,
__ __
MK BI e portanto
.
__ __
RS BI Queremos mostrar que S I R
agudo, o que equivalente a

,
2 2 2
RS SI RI > + o que equivale a
, 2 ) (
2 2
2
2 2 2 2
BS BS BR BR BS BR BI BS BI BR + + = + > + + +
e portanto devemos provar que .
2
BS BR BI >
Se C B A B C A B A
,

= = e ,
A C B C = temos ,
2

B
R B M S B K

= =

EUREKA! N 3, 1998
24
2
A
B S K

=

(e portanto )
2
C
B K S

=

e
2
C
B R M

=

(e portanto
).
2
A
R M B

=

Assim, os tringulos MBR e SBK so semelhantes e
,
BS
BK
BM
BR
= donde
2 2
BI BM BK BM BS BR < = = (pois BI
hipotenusa do tringulo retngulo BMI ).

PROBLEMA 6
Considere todas as funes f definidas no conjunto N dos inteiros positivos,
com valores no mesmo conjunto, que satisfazem , )) ( ( )) ( (
2 2
t f s s f t f =
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 (t
2
f (s)) = (f (t)
2

f (f (s)) = s (f (t))
2
. Podemos definir f : N N estritamente multiplicativa por
k k
k k
p f p f p p p f

) ( ... ) ( ) ... (
1 2 1
1 2 1
= ( p
i
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 3
3
37 ) = f (2) f (3)
3
f (37) = 3 2
3

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 (t
2
f (s)
2
) = f (t
2
f (s
2
f (1))) = s
2
f (1) f (t)
2
, e fazendo s = f (u) temos
f (t
2
( f ( f (u))
2
)= f (u)
2
f (1) f (t)
2
. Assim, provamos que f (t
2
u
2
f (1)
4
) =
= ( f (u) f (t))
2
f (1), para quaisquer u, t N.
Portanto, se ut = xy, f (t
2
u
2
f (1)
4
) = f (x
2
y
2
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 x
2
1 = x x, f (x
2
) f (1) =
EUREKA! N 3, 1998
25
f (x)
2
, x N. Se p
k
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
p
r
p
k
f (x) mltiplo de
(
(
(
+
2
k r
p onde
(
denota o menor inteiro que
maior ou igual a , para todo x N, o que absurdo se r < k (pois teramos
).
2
r
k r
>
(
(
(
+
Logo p
k
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)
.
) 1 (
) (
) 1 (
) (
) 1 (
) (
f
y f
f
x f
f
xy f
= Definindo g : N N, g (x) =
) 1 (
) (
f
x f
temos que g
estritamente multiplicativa, g injetiva, g (1) = 1 e g (x) f (x) para todo
x N. Temos g(1998) = g(2 3
3
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(p
2
) = g(p)
2
= g(q) p
2
= 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 2
2
= 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 (!).

EUREKA! N 3, 1998
26
O PRINCPIO DA INDUO
Elon Lages Lima
Nvel Avanado.

INTRODUO

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.
EUREKA! N 3, 1998
27
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:

A. Existe uma funo s : N N, que associa a cada n N um
elemento s(n) N, chamado o sucessor de n.
B. A funo s : N N injetiva.
C. Existe um nico elemento 1 no conjunto N, tal que 1 s(n) para
todo n N.
D. 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'. Todo nmero natural possui um nico sucessor, que tambm um
nmero natural.
B'. Nmeros naturais diferentes possuem sucessores diferentes. (Ou
ainda: nmeros que tm o mesmo sucessor so iguais.)
C'. Existe um nico nmero natural que no sucessor de nenhum
outro. Este nmero representado pelo smbolo 1 e chamado de
"nmero um".
D'. 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
EUREKA! N 3, 1998
28
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?)

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:

s s s s s
5 4 3 2 1

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

s s s s s s
6 4 2 5 3 1

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).
EUREKA! N 3, 1998
29
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.
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
EUREKA! N 3, 1998
30
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
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 (y
1
, y
2
,,y
n
,), onde se usa y
n
em vez de f(n)
para indicar o valor da funo f no nmero n. O elemento y
n
.

4. ADIO E MULTIPLICAO DE NMEROS NATURAIS

A adio e a multiplicao de nmeros naturais so exemplos de
funes definidas por recorrncia.
EUREKA! N 3, 1998
31
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)
(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 k n = n k
Lei do Corte: k + n = k + p n = p e k n = k p n = p
Distributividade: k (n + p) = k n + k p.
Omitiremos as demonstraes destes fatos. O leitor pode consider-
las 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
EUREKA! N 3, 1998
32
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
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.

EUREKA! N 3, 1998
33
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
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 I
n
o conjunto dos
nmeros naturais p tais que 1 p n. Assim, I
1
= {1}, I
2
= {1, 2}, I
3
= {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
EUREKA! N 3, 1998
34
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
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 I
n
N
A e n + 1 A. Com esse objetivo, consideramos o conjunto
X = {n N; I
n
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
EUREKA! N 3, 1998
35
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.
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 < 2
n
, 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 < 2
n
+ 2 < 2
n
+ 2
n

= 2
n + 1
. (Na primeira desigualdade, usamos a hiptese de induo.)
Exemplo 3. Usando a desigualdade 2n + 1 < 2
n
, qua acabamos de provar
para n 3, podemos demonstrar que n
2
< 2
n
para todo n 5, empregando
novamente o Princpio da Induo Generalizado. Com efeito, vale 5
2
< 2
5
pois 25 < 32. Supondo vlida a desigualdade n
2
< 2
n
para um certo valor de n
5, da segue-se que (n + 1)
2
= n
2
+ 2n + 1 < 2
n
+ 2n + 1 (pela hiptese de
induo) < 2
n
+ 2
n
(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 n
2
< 2
n
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 n
0
N tal que f(n) = f(n
0
), para todo
n n
0
.)
Demonstrao: Seja n
0
o menor elemento do conjunto X = {f(1), f(2), ,
f(n),}. Ento n > n
0
f(n) f(n
0
) (porque a funo f no-crescente) o
que acarreta que f(n) = f(n
0
) (porque f(n
0
) o menor elemento de X).

EUREKA! N 3, 1998
36
Corolrio: Toda seqncia decrescente n
1
> n
2
> de nmeros naturais
finita. Com efeito, do contrrio, pondo f(k) = n
k
, 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
37
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 P
1
, de n
1
lados, e P
2
, de n
2

lados, onde n
1
< n e n
2
< n, logo a proposio vale para os polgonos P
1
e P
2
.
Evidentemente, n
1
+ n
2
= n + 2.
EUREKA! N 3, 1998
38
P
1
P
2

As d diagonais que efetuam a decomposio de P se agrupam assim:
n
1
3 delas decompem P
1
, n
2
3 decompem P
2
e uma foi usada para
separar P
1
de P
2
. Portanto d = n
1
3 + n
2
3 + 1 = n
1
+ n
2
5. Como n
1
+ n
2

= 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
elemento b X'. Obtm-se X'' = X {b} um conjunto com n elementos
EUREKA! N 3, 1998
39
(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) = n
2
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) = 41
2
41 + 41 = 41
2
no
primo, logo a afirmao no verdadeira.
Semelhantemente, a expresso q(n) = n
2
79n + 1601 fornece
primos para n = 1, 2, , 79, mas q(80) = 80
2
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 I
n
= {p N; p n}, portanto
I
n
= {1, 2, , n}.
Uma contagem dos elementos de um conjunto no-vazio X uma bijeo
f : I
n
X. Podemos pr x
1
= f(1), x
2
= f(2),, x
n
= f(n) e escrever
X = {x
1
, x
2
,x
n
}. 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 I
n
. Evidentemente, a funo
identidade f: I
n
I
n
uma contagem dos elementos de I
n
.
Um exemplo de conjunto infinito o proprio conjunto N dos
nmeros naturais, pois nenhuma funo f : I
n
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 I
n,
logo k f(I
n
), 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
EUREKA! N 3, 1998
40
contagens de X fornecem o mesmo resultado. Noutras palavras, dado o
conjunto X, os nmeros naturais m, n e as bijees f : I
m
X, g : I
n
X,
devemos mostrar que se tem m = n. Comeamos observando que se f e g so
bijees, ento = g
1
f : I
m
I
n
tambm uma bijeo. Basta portanto
provar o seguinte:
Teorema 11. Dados m, n N, se : I
m
I
n
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 : I
m
I
n
quando m = n. Evidentemente, 1 X. Suponhamos agora que n X.
Dada uma bijeo : I
m+1
I
n+1
, duas coisas podem acontecer. Primeira:
(m + 1) = n + 1. Neste caso, a restrio ,I
m
: I
m
I
n
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 : I
m + 1
I
n + 1
, pondo (m +
1) = n + 1, (a) = b e (x) = (x) para os demais elementos x I
m + 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 conjunto-
padro 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 : I
m
X e g : I
n
Y so bijees,
definimos uma bijeo h : I
m+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
EUREKA! N 3, 1998
41
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}.
5. Prove, por induo, que .
6
) 1 2 )( 1 (
... 2 1
2 2 2
+ +
= + + +
n n n
n
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
,... 5 , 4 , 3 , 2 , 1
5 4 3
decrescente a partir do terceiro termo.
8. Prove, por induo a desigualdade de Bernoulli: (1 + a)
n
> 1 + na
quando 1 + a > 0.
9. Para todo n N, ponha
n
n
n n
n
x
(
+
+
=
) 2 (
) 1 (
2
e prove, por induo que se
tem .
1
2
+
+
<
n
n
x
n
Conclua, a partir da, que a seqncia de termo geral
n
n
n
|
.
|
\
| +1
crescente.
EUREKA! N 3, 1998
42
Sugesto: observe que
n n
x
n
n
n
n
x
+
|
.
|
\
|
+
+
=
+
3 1
2
3
1
.

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 n
2
, ou seja,
que 1 + 3 + 5 ++ (2n 1) = n
2
.

13. Prove que 2
n
1 mltiplo de 3, para todo nmero natural n par.

14. Demonstre que, para todo nmero natural n, vale
. 1
1
1 ...
3
1
1
2
1
1
1
1
1 + |
.
|
\
|
+ |
.
|
\
|
+ |
.
|
\
|
+ |
.
|
\
|
+ n
n

15. Demonstre que .
200
1
...
102
1
101
1
200
1
199
1
..
4
1
3
1
2
1
1 + + + = + + +

16. Determine A
n
se A =
|
|
.
|
\
|
4 2
2 1

17. Demonstre, usando o Princpio da Induo Finita, que
.

1

...

1
|
|
.
|
\
| + +
=
|
|
.
|
\
| +
+ +
|
|
.
|
\
| +
+
|
|
.
|
\
|
p
n p
p
n p
p
p
p
p

Este resultado comumente conhecido por Teorema das Colunas. (Por
qu?).
18. Considere a seqncia ,..., ,...,
5
7
,
2
3
,
1
1
n
n
q
p
onde
. e 2
1 1 n n n n n n
q p q q p p + = + =
+ +
Demonstre que
a) m.d.c (p
n
, q
n
) = 1;
EUREKA! N 3, 1998
43
b) p
n
o inteiro mais prximo de
2
) 2 1 (
n
+
e q
n
o inteiro mais prximo
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 2
n
< n!, para n 4.

21. Demonstre que 2n
3
> 3n
2
+ 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.

EUREKA! N 3, 1998
44
FRAES CONTNUAS,
REPRESENTAES DE NMEROS E APROXIMAES
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, a
1
a
2
a
n
, a
i
{0, 1, , 9}, o que significa que se
r
n
= a
n
+ 10.a
n1
+ 100.a
n2
++ 10
n1
. a
1
, ento
n
n
n
n
r
k x
r
10
1
10
+
< , e portanto
n
n
r
k
10
+ uma boa aproximao racional de
x, no sentido que o erro ( )
n
n
r
k x
10
+ menor que
n
10
1
, que um
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.

EUREKA! N 3, 1998
45
Dado qualquer x R e q natural no nulo existe p Z tal que
q
p
x
q
p 1 +
<
, e portanto
q q
p
x
1
< e
q q
p
x
1 1
+
. Em particular h aproximaes
de x por racionais com denominador q com erro menor que
q
1
. 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,
1000000
3141592
3000000
1
113
355
e
100
314
700
1
7
22
< < < <
mostram que
7
22
e
113
355
so melhores aproximaes de que aproximaes
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
N n
a
Z a x
n n
n n n n

= = =
+
todo para ,
1
, se e, ], [ ,
1 0
.
Se, para algum n,
n
= a
n
temos

]. ..., , ; [ :
1
...
1
1
2 1
0
2
1
0 0 n
n
a a a a
a
a
a
a x =
+ +
+
+ = =
Se no denotamos
EUREKA! N 3, 1998
46

...]. , ; [ :
...
1
1
2 1 0
2
1
0
a a a
a
a
a x =
+
+
+ =

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 B
n
. J o denominador q
n
da n-sima aproximao por frao
contnua de x depende de x. Apesar disso, para quase todo real x,
n
n
q converge a ... 2 2758229187 , 3
2 ln 12 /
2
=
e (meu nmero real preferido!) e

n
n
n
q
p
x converge a ... 54 0931878229 , 0
2 ln 6 /
2
=
e

Observao: Os
n
(como funes de x) so funes distintas do tipo
d cx
b ax
+
+
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 a
n
vm do
algoritmo de Euclides:

1 2
1 2 2 1 2 0
0 1

1 0 1
0 0 0

0
0
0 0 ,

=
< + =
< + =
< + = > =
n n n
r a r
r r r r a r
r r r r a q
q r r q a p q
q
p
x
# #

EUREKA! N 3, 1998
47
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 = [a
0
; a
1
, a
2
, ]. Sejam p
n
Z, q
n
N* primos entre si tais que

n
n
q
p
= [a
0
; a
1
, a
2
, , a
n
], n 0. O seguinte resultado ser fundamental no
que seguir.

Proposio: (p
n
) e (q
n
) satisfazem a recorrncia p
n+2
= a
n+2
p
n+1
+ p
n
e q
n+2
=
a
n+2
q
n+1
+q
n
, para todo n 0. Temos ainda p
0
= a
0
, p
1
= a
0
a
1
+1, q
0
= 1,q
1
=
a
1
. Alm disso, p
n+1
q
n
p
n
q
n+1
= (1)
n
, n 0.
Prova: Por induo em n, provaremos que se t
k
> 0, para k > 1 ento
[t
0
; t
1
, t
2
, , t
k
] =
k
k
y
x
onde as seqncias (x
m
) e (y
m
) so definidas por
x
0
= t
0
, y
0
= 1, x
1
= t
0
t
1
+ 1, y
1
= t
0
, x
n+2
= t
n+2
x
n+1
+ x
n
, y
n+2
= t
n+2
y
n+1
+ y
n
, n.
Suponha que a afirmao seja vlida para k = n. Para k = n+1 temos
[t
0
; t
1
, t
2
, , t
n
, t
n+1
] = [t
0
; t
1
, t
2
, , t
n
+
1
1
+ n
t
] =
.
) (
) (
)
1
(
)
1
(
1 1
1 1
1 2 1 1
1 2 1 1
2 1
1
2
1
1
+
+
+
+

+
+
+
+
=
+ +
+ +
=
+ +
+ +
n n n
n n n
n n n n n
n n n n n
n n
n
n
n n
n
n
y y t
x x t
y y y t t
x x x t t
y y
t
t
x x
t
t

Por outro lado as igualdades
p
1
q
0
p
0
q
1
= (a
0
a
1
+1) a
0
a
1
= 1
p
n+2
q
n+1
p
n+1
q
n+2
= (a
n+2
p
n+1
+ p
n
) q
n+1
(a
n+2
q
n+1
+ q
n
) p
n+1
=
= ( p
n+1
q
n
p
n
q
n+1
)
EUREKA! N 3, 1998
48
mostram que p
n+1
q
n
p
n
q
n+1
= (1)
n
, n N, o que implica em particular
que os p
n
, q
n
dados pelas recorrncias acima so primos entre si.

Corolrio:
2 1
2 1

+
+
=
n n n
n n n
q q
p p
x
e ,
1 1
2
2

=
n n
n
n
n
p q
q p

n N.

Prova: A primeira igualdade conseqncia direta da prova, e a segunda
conseqncia direta da primeira pois x = [a
0
; a
1
, a
2
, , a
n1,
n
].
Note que as reduzidas de ordem par so menores e as de ordem
mpar maiores que x = [a
0
; a
1
,].

Teorema 1: <
+
n
q q q q
p
x
n n n n
n
,
1 1
2
1
N.
Alm disso, < <
+ +
+
n
q q
p
x
q q
p
x
n n
n
n n
n
,
2
1
ou
2
1
2
1 1
1
2
N.

Prova: x sempre pertence ao segmento de extremos
1
1
e
+
+
n
n
n
n
q
p
q
p
cujo
comprimento :
.
1 1 1 ) 1 (
2
1
1
1 1
1
n n n n
n
n n n n
n
n
n
n
n
q q q q
p
x
q q q q q
p
q
p
< =
=
+
+
+ +
+

Alm disso, se
1
1
1 1
2
1
1
2
1
ento
2
1
2
1
+
+
+ + +
+
+ =
n
n
n
n
n n n n
n
n n
n
q
p
x
q
p
x
q q q q
p
x e
q q
p
x
,
2
1
2
1
1
1
2 2
n n
n n
q q
q q
= +
+
+
absurdo

Observao: De fato .
1 1
2
1 1 n n n n
n
n
q a q q
q
p
x
+ +
< < Quanto maior for
EUREKA! N 3, 1998
49
a
n+1
melhor ser a aproximao
n
n
q
p
de x. O prximo resultado nos d
explicitamente o erro da aproximao de x por
n
n
q
p
.
Proposio:
,
) (
) 1 (
2
1 1 n n n
n
n
n
q q
p
x
+ +
+
=

onde ]. ,..., , , ; 0 [
1 2 1
1
1
a a a a
q
q
n n n
n
n
n
+
= =

Demonstrao: Temos .
1 1
1
n n
n n
n
p x q
x q p
=

+
Portanto,

=
= +
= +

+ +
n
n
n n n
n
n n n
n n n n
n
n
n n
n n
n n
q
p
x
p x q q p x q q
q p q p
q
q
p x q
x q p
) (
) 1 (
) (
1 1 1 1 1
1 1

2
1 1
2
) (
) 1 ( ) (
n n n
n
n
n n n
q q
p x q q
+ +
+

Como aplicao podemos provar o seguinte.

Teorema (Hurwitz, Markov): Para todo irracional, n 1 temos
2
5
1
q
q
p
< para pelo menos um racional . , ,
1
1
1
1
)
`
+
+
n
n
n
n
n
n
q
p
q
p
q
p
q
p
Em
particular
2
5
1
q
q
p
< tem infinitas solues racionais p/q.

Demonstrao: Suponha que o teorema seja falso. Ento existe irracional,
n 1 com . 5 e 5 , 5
2 2 1 1
+ + +
+ + + + n n n n n n
Devemos
portanto ter a
n
= a
n+1
= a
n+2
= 1 (todos so claramente no mximo 2, e se
algum a
k
igual a 2 com k {n, n + 1, n + 2}, teramos
, 5
3
1
2 > + +
k k
absurdo.)
Seja x = 1/
n+2
e y =
n+1
. As desigualdades acima se traduzem em
. 5
1
1 1
e 5 1 , 5
1
1
1
+
+ + + +
+ y x
y x
y x
Temos
EUREKA! N 3, 1998
50
), 5 (
5 1
5
1 1
1
1
5 1 5 1
y y
y
y
y x
y x y x
= +
+
+
+ + + e
portanto .
2
1 5
1 ) 5 (

y y y Por outro lado temos
) 1 5 )( 1 (
5
4 1
1
1 5
1
4 1
1 1
1 5
y y y
x
y x
+
=
+
+

+
+ e
portanto ,
2
1 5
1 ) 1 5 )( 4 1 (

+ y y e portanto devemos ter
,
2
1 5
= y o que absurdo pois .
1
1
Q = =

+
n
n
n
q
q
y
Obs: em particular provamos que
2
5
1
q
q
p
<
tem infinitas solues
racionais
q
p
, para todo irracional. 5 o maior nmero com essa
propriedade, De fato, se
> 0,
2
5 1+
= e ,
) 5 (
1
2
q
q
p
+
< temos
,
5
2
5 1
2
5 1
2
5 1
) 5 (
1
2
5 1
+
<
|
|
.
|
\
|

|
|
.
|
\
|
+
+
<
|
|
.
|
\
|
+
q
p
p q p q
q
p q

ou seja ,
). 5 ( 5
2
5 1
2 2
+
+
<
q
p
q pq p
Se q grande, 1/q
2

pequeno, e
q
p
+
2
5 1
muito prximo de 0, donde
) 5 ( 5
2
5 1
+
+
q
p
muito prximo de , 1
5
5
<
+
absurdo, pois
1
2 2
q pq p (de fato p
2
pq q
2
um inteiro no nulo, pois se
EUREKA! N 3, 1998
51
p
2
pq q
2
= 0 teramos ,
2
5 1
,
2
5 1
0 1
2
+
=
|
|
.
|
\
|
|
|
.
|
\
|
q
p
q
p
q
p

absurdo, pois Q
q
p
.)

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

com
1 1 + +
+
n n
se aproximando cada
vez mais de
. 5
2
1 5
2
5 1
,...] 1 , 1 , 1 ; 0 [ ...] 1 , 1 , 1 ; 1 [ =
+
+
= +

Exemplos:

= [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1,], portanto
,...
113
355
,
106
333
,
7
22
, 3
3
3
2
2
1
1
0
0
= = = =
q
p
q
p
q
p
q
p

e = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8,, 1, 1, 2n, ], (isso no fcil
de provar.)
,...] 2 , 2 , 2 ; 1 [ 2 = pois

...
1 2
1
2
1
2
1
1
1 2
1
2
1
1
1 2
1
1 2 =
+
+
+
+ =
+
+
+ =
+
+ =

EUREKA! N 3, 1998
52
,...] 1 , 1 , 1 ; 1 [
2
5 1
=
+
pois
...
2
5 1
1
1
1
1
2
5 1
1
1
2
5 1
=
+
+
+ =
+
+ =
+

Isso prova em particular que 2 e
2
5 1 +
so irracionais, pois sua frao
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 q p x / 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 . p qx

Teorema 2:
. , 0 , Z , ,
n
n
n n n
q
p
q
p
q q q p p qx p x q < <

Alm disso, . 0 , Z , ,
1 +
< <
n n n
q q q p p qx p x q

Prova:
1
1 1
+
>
n n n n
n
q q qq q
p
q
p
se q < q
n+1
, e assim
q
p
est fora do
intervalo
|
|
.
|
\
|
+
+
1
1
,
n
n
n
n
q
p
q
p
. Portanto,

.
1 1
, min
1 1 1
1
n n
n n n
n
n
n
p x q
q
p qx
qq q
p
q
p
q
p
q
p
q
p
x

+ + +
+

Alm disso, se vale a igualdade, ento ,
1
1
+
+
=
n
n
q
p
x donde a
n+1
2, e q
n+1
> 2q
n
,
pois numa frao contnua finita, como no algaritmo de Euclides, o ltimo
coeficiente a
n
sempre maior que 1. Nesse caso, se q q
n
, teremos
EUREKA! N 3, 1998
53
.
1 1 1 1
1 1 1
1
1 1
1
n n
n n n n
n
n n n n
n
n
n
n
n
p x q
q
p qx
qq q qq
q q
q q qq q
p
q
p
q
p
x
q
p
x > >
=
+ + +
+
+ +
+

Corolrio 1: . ,
n
n
n
q q
q
p
x
q
p
x < <

Corolrio 2: Se
'
'
, ' , ' '
q
q
q
p
q q p x q p qx <
ento p/q uma reduzida
da frao contnua de x.

Prova: Tome n tal que
1 +
<
n n
q q q .
Teremos
n n n n
/q p p/q p qx p x q = portanto e ,

Teorema 3: Se
2
2
1
q q
p
x <
ento
q
p
uma reduzida da frao contnua de x.

Prova: Seja n tal que q
n
< q q
n+1
. Suponha que .
1
1
+
+
n
n
q
p
q
p
Ento, temos
duas possibilidades:
a) .
2
1 1
2
2
1
1
q qq q
p
x
q
q
n
n

+
+

b)
.
2
1
2
1
1 1
2
2
2
1
1
1
1
1
q qq q qq
q q
q q qq q
p
q
p
q
p
q
p
q
p
x q q
q
q
n n n
n
n n n n
n
nm
nm
n
n
n n
n
> >
=
= > <
+
+
+
+
+

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, a
n
,
n
so
definidos por recurso por
EUREKA! N 3, 1998
54

.
1
], [ ,
1 0
n n
n n n
a
a x
= = =
+

e temos
N
=

n
p x q
x q p
n n
n n
n
,
1 1
2 2
.

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
. 0
) ( ) (
1 2 2 1
2 1 1 2 1 2 2 1
2
1 2 2 1
1 1
2 2
1 1
2 2
= +
+ +
+ +
+ + + + + +
+ +
+ +

k n n k n n
k n n n k n k n n n k n k n n k n n
k n k n
k n k n
n n
n n
p p p p x
q p q p q p q p x q q q q
p x q
x q p
p x q
x q p
Note que o coeficiente de x
2
no-nulo, pois
2
1
n
n
q
q
uma frao irredutvel
(de fato ) ) 1 (
1 2 2 1
n
n n n n
q p q p =

de denominador q
n2
e
2
1
+
+
k n
k n
q
q
uma
frao irredutvel de denominador q
n+k2
> q
n2
, donde
2
1
n
n
q
q

2
1
+
+
k n
k n
q
q
. 0
1 2 2 1

+ + k n n k n n
q q q q
Vamos provar agora um resultado devido a Lagrange segundo o qual se x
uma irracionalidade quadrtica, isto , se x um irracional do tipo r
+ 0 , , , > s s r s Q 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
0
2
= + + c bx ax , com ac b ac b 4 e 0 4
2 2
> irracional. Como vimos na
seo 1,
,
2 1
2 1

+
+
=
n n n
n n n
q q
p p
x
e portanto
, 0
0 0
2
2 1
2 1
2
2 1
2 1 2
= + +
= +
|
|
.
|
\
|
+
+
+
|
|
.
|
\
|
+
+
= + +

n n n n n
n n n
n n n
n n n
n n n
C B A
c
q q
p p
b
q q
p p
a c bx ax

onde
EUREKA! N 3, 1998
55

2
. 2 2 2
2
2
2 1 1 2 2 1 2 1
2
1 1 1
2
1
2 ) ( 2

+ + =
+ + + =
+ + =
n n n n n
n n n n n n n n n
n n n n n
cq q bp ap C
q cq q p q p b p ap B
cq q bp ap A

Note que C
n
= A
n1
. Vamos provar que existe M > 0 tal que 0 < M A
n

para todo n N, e portanto : , 0 N < n M C
n

,
1
1
1
1 2
1
2
1 1 1
2
1
|
|
.
|
\
|
|
|
.
|
\
|
= + + =

n
n
n
n
n n n n n n
q
p
x
q
p
x aq cq q bp ap A
onde x e x so as razes de a, X
2
+ bX + c = 0, mas
( ) . : 1
1
1
1
1
1
1
1
1 2
1
2
1 1
1
M x x a
q
p
x x x a
q
p
x
q
p
x aq A
q q
p
x
n
n
n
n
n
n
n n
n n
n
= +
|
|
.
|
\
|
+ = <
Notemos agora que . , 4 4

2 2
N = n ac b C A B
n n n
De fato,
. 4 ) 4 ( ) ( 4
2 2 2
1 2 2 1
2
ac b ac b q p q p C A B
n n n n n n n
= =

Portanto,
. , 4 4 ' 4 4 4 4
2 2 2 2 2 2
N + = + = + n ac b M M B ac b M ac b C A B
n n n n
Provamos assim que A
n
, B
n
e C
n
esto uniformemente limitados, donde h
apenas um nmero finito de possveis equaes A
n
X
2
+ B
n
X + C
n
= 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.

EUREKA! N 3, 1998
56
SOLUES DE PROBLEMAS PROPOSTOS EUREKA! N
os
. 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
inicialmente vazio pode partir e conseguir dar uma volta completa na
pista (parando para reabastecer nos postos).

Soluo

Sejam P
1
, P
2
,,P
n
os postos de gasolina, l
i
a quantidade de gasolina no
posto P
i
e c
i
a quantidade de gasolina necessria para ir de P
i
a P
i+1
,
para i = 1, 2,, n (conveno: para 1 k n, P
n+k
: = P
k
). Por hiptese,
.
1 1

= =
=
n
i
i
n
i
i
c l Suponha que exista k com 1 k n e

= =
<
k
i
i
k
i
i
c l
1 1
(se no
existe tal k podemos dar a volta comeando em P
1
). Tome k
0
com 1 k
0
n
tal que
=

0
1
) (
k
i
i i
c l seja o menor possvel. Afirmamos que podemos dar a
volta comeando em
1
0
+ k
P . De fato, se no for assim, existe r com 1 r n e
, 0 ) (
0
0
1
<
+
+ =
r k
k i
i i
c l mas ento teramos

=
+
=
<
0 0
1 1
), ( ) (
k
i
i i
r k
i
i i
c l c l o que um
absurdo (se k
0
+r > n temos , ) ( ) (
1 1
0

+
=
+
=
=
n r k
i
i i
r k
i
i i
o
c l c l pois ). 0 ) (
1
=
=
n
i
i i
c l

3) Prove que existe n N tal que os 1000 primeiros dgitos de n
1998
so
iguais a 1.

Soluo

Seja n N tal que
EUREKA! N 3, 1998
57
n
1998
= ; 9 0 que tal onde ; ... 11 .. 111
2 1 0
algarismos 1000

i i p

i = 1, 2, 3, , p. Seja tambm k = 11111, da:
k .10
s
n
1998
, 9 ... 9999
algarismos

s
k logo k . 10
s
n
1998
< (k + 1) . 10
s
,
Precisamos garantir que h algum n N que satisfaa a desigualdade acima;
seja ento s = 1998 . p :

k . 10
1998 . p
n
1998
< (k + 1) . 10
1998 . p

+ <
p p
k n k 10 . 1 10 .
1998 1998
. 1
10
1998 1998
+ < k
n
k
p

observe que se tomarmos n =

; 1 . 10
1998
+ k
p
onde

z = maior inteiro menor
ou igual a z, e p suficientemente grande satisfaremos a condio do enuncia-
do.

Concluso: N n tal que n
1998
escrito como no enunciado.

5) Sejam a > 0 e P
1
P
2
P
3
P
4
P
5
uma poligonal aberta contida em um dos
semiplanos determinados pela reta
5 1
P P . Prove que existem pontos
P
6
e P
7
no plano, com
6 5
P P = a, de modo que possvel ladrilhar o
plano com infinitos ladrilhos congruentes ao heptgono
P
1
P
2
P
3
P
4
P
5
P
6
P
7
.

Soluo

Trae a paralela a P
3
P
2
passando por P
1
. O ponto P
7
pertencer a essa reta e
teremos

=
2 3 7 1
P P P P . O ponto P
6
pertencer paralela a P
3
P
4
passando por
P
5
e satisfar
6 5
P P = a, ou seja, .
4 3
4 3
6 5

= P P
P P
a
P P
Rodando o heptgono H = P
1
P
2
P
3
P
4
P
5
P
6
P
7
de 180 em torno do ponto
mdio de P
1
P
2
obtemos o heptgono H' = P
1
'P
2
'P
3
'P
4
'P
5
'P
6
'P
7
' com
P
1
' = P
2
, P
2
' = P
1
, P
3
' = P
7
, P
7
' = P
3
. Transladando infinitas vezes os
heptgonos H e H' por k .
,
6 3
P P k Z, cobrimos uma faixa dentada, que,
transladada infinitas vezes por m .
5 4
' P P , m Z, nos permite cobrir o plano.
EUREKA! N 3, 1998
58
Desta forma, cobrimos o plano com os heptgonos

+ +
5 4 6 3
' . . P P m P P K H e H' + k .

+
5 4 6 3
' . P P m P P , k Z, de interiores
disjuntos e todos congruentes a H.

6) Mostre que toda seqncia com n
2
+1 elementos possui uma
subseqncia crescente com n+1 elementos ou uma subseqncia
decrescente com n+1 elementos.

Soluo

Dada uma seqncia a
1
, a
2
,,
1
2
+ n
a de nmeros reais, definimos para 1 i
n
2
+1 o nmero f (i) como sendo o nmero mximo de termos de uma
subseqncia decrescente de a
1
, a
2
,,
1
2
+ n
a comeando em a
i
. 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 i
1
< i
2
<< i
n+1
com f (i
1
) = f (i
2
) = = f (i
n+1
), mas
nesse caso devemos ter
1
2
2 1
...
+

n
i i
a a a , 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 2
n
+ 1 um nmero primo ento n
uma potncia de 2.
b) Prove que se a, n N, n 2 e a
n
1 primo, ento a = 2 e n
primo.

EUREKA! N 3, 1998
59
Soluo

a) Sabemos que n N pode ser escrito da seguinte forma: p n
k
= 2 onde
k N e p mpar.
Seja n = 2
n
+ 1, logo n = ( ) , 1 2 1 2
2 2
+ = +
p
p
k k
fazendo . 1 2
2
+ = =
p
x
k

Se p im mpar maior do que 1, teremos:
) 1 ... )( 1 ( 1
3 2 1
+ + + = + =
p p p p
x 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 . 1 1 + + >
p p
Logo
devemos ter necessariamente , 1 2
2
+ =
k
x ou seja n = 2
k
.

b) Seja y = a
n
1 = (a 1)(a
n1
+ a
n2
++ a +1) primo:

i) 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).
ii) Suponha que n no seja primo, n = k
1
. k
2
com k
1
2 e k
2
2, Logo

), 1 2 ... 2 2 ( ) 1 2 ( 1 ) 2 ( 1 2
1 2 1
2
1 1 2 1 2 1
) 2 (
) 1 (
+ + + + = = =

k k k
k
k k k k k k
y obser-
ve que 3 1 2 ... 2 e 3 1 2
1 2 1 1
) 1 (
> + + +
k k k k
e conseqentemente no
teremos y primo, logo n no pode ser escrito como acima; donde n primo.

14) Determine o nmero de solues de
1998
1 1 1
= +
y x
com x e y inteiros
positivos.

Soluo

Temos 1998x + 1998y = xy .
Somando 1998
2
dos dois lados temos
xy 1998x 1998y + 1998
2
= 1998
2
, logo
x(y 1998) 1998(y 1998) = 1998
2
, donde
(x 1998) (y 1998) = 1998
2
.
EUREKA! N 3, 1998
60
Desta forma o nmero de solues o mesmo que a quantidade de sistemas
da forma abaixo que possamos obter:
=
=
=
2
1998
1998
1998
ab
b y
a x

com a observao de que os pares (x, y) soluo devam ser inteiros e
positivos, devemos ter
>
>
> +
> +
1998
1998
0 1998
0 1998
b
a
b
a

logo, s servem a e b positivos, j que se 1998< a < 0 e 1998 < b < 0
implica ab < 1998
2
. O nmero de solues , portanto, o nmero de
divisores positivos de 1998
2
= 2
2
. 3
6
. 37
2
, 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.
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.

EUREKA! N 3, 1998
61
PROBLEMAS PROPOSTOS

Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos
problemas para os prximos nmeros.

16) Seja l a reta
1
2
C 0}, y ) , {( = R y x o crculo centrado em
2
C e
2
1
raio de )
2
1
, 0 ( o crculo centrado em .
2
1
raio de )
2
1
, 1 (
Seja F o conjunto de crculos em R
2
com as seguintes propriedades:
i) {C
1
, C
2
} F
ii) 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
. ... e com * ,..., , , , ) ,..., , (
2 1

2 1 2 1 2 1
n a a a a ... a a a a a r a a a
r r r r
= + + + = N
Seja P
n
o conjunto das parties de n. Para P
n
, definimos A()
como o nmero de termos iguais a 1 em = ) ( , seja ou ( A
# , }) 1 } ,..., 2 , 1 { { =
i
a r i e B() como o nmero de termos distintos
na partio (ou seja, B () = # {a
1
, a
2
, , a
r
}).
Prove que

=
Pn Pn
B A

) ( ) ( para todo n N.
18) Seja a maior raiz real da equao x
3
3x
2
+ 1 = 0.
Prove que [
2004
] divisvel por 17.
Obs: [y] o nico inteiro tal que [y] y < [y] + 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.
EUREKA! N 3, 1998
62
COORDENADORES REGIONAIS

Alberto Hassen Raad (UFJF) Juiz de Fora-MG
Antnio C. Rodrigues Monteiro (UFPE) Recife-PE
Amarsio da Silva Arajo (UFV) Viosa-MG
Angela Camargo (Centro de Educao
de Adultos CEA) Blumenau-SC
Antnio C. do Patrocnio (IMECC/UNICAMP) Campinas-SP
Ariosto de Oliveira Lima (UFPI) Parnaba-PI
Benedito T. Vasconcelos Freire (UFRN) Natal-RN
Carlos A. Bandeira Braga (UFPB) Joo Pessoa-PB
Claudio Arconcher (Col. Leonardo da Vinci) Jundia-SP
Egnilson Miranda de Moura (Col. Agrcola do Bom Jesus) Bom Jesus-PI
lio Mega (Col. ETAPA) So Paulo-SP
Florncio F. Guimares F. (UFES) Vitria-ES
Francisco Dutenhefner (UFMG ) BH-MG
Gisele de A. Prateado G. (UFGO) Goinia-GO
Ivanilde H. Fernandes Saad (U. Catlica Dom Bosco) Campo Grande-MS
Joo B. de Melo Neto (UFPI) Teresina-PI
Joo F. Melo Libonati (Grupo Educ. IDEAL) Belm-PA
Jorge Ferreira (UEM) Maring-PR
Jos Carlos Pinto Leivas (URG) Rio Grande-RS
Jos Luis Rosas Pinho (UFSC) Florianpolis-SC
Jos Paulo Carneiro (USU) Rio de Janeiro-RJ
Jos Vieira Alves (UFPB) Campina Grande-PB
Leonardo Matteo D'orio (Parque de Material
Aeronutico de Belm) Belm-PA
Licio Hernandes Bezerra (UFSC) Florianpolis-SC
Luzinalva M. de Amorim (UFBA) L. de Freitas-BA
Marco Polo (Colgio Singular) Santo Andr-SP
Marcondes Cavalcante Frana (UF Cear) Fortaleza-CE
Mario Jorge Dias Carneiro (UFMG) BH-MG
Pablo Rodrigo Ganassim (L. Albert Einstein) Piracicaba-SP
Paulo H. Cruz Neiva de L. Jr. (Esc. Tec.Everardo Passos) S. J.Campos-SP
Reinaldo Gen Ichiro Arakaki (INPE) S.J.Campos-SP
Ricardo Amorim (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 3

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 3

Caricato da

Copyright:

Formati disponibili

CONTEDO

agudo, o que equivalente a

e (meu nmero real preferido!) e

Notemos agora que . , 4 4

Potrebbero piacerti anche