Equações de Recorrencia

CONTEDO
AOS LEITORES 2

XV OLIMPADA IBEROAMERICANA DE MATEMTICA 3
Problemas e Solues

XLI OLIMPADA INTERNACIONAL DE MATEMTICA 16
Problemas e Solues

ARTIGOS

BRAHMAGUPTA PARA TODOS 28
Jos Cloves Verde Saraiva

EQUAES DE RECORRNCIA 33
Hctor Soza Pollman

EQUAES FUNCIONAIS 41
Eduardo Tengan

OLIMPADAS AO REDOR DO MUNDO 45

SOLUES DE PROBLEMAS PROPOSTOS 55

PROBLEMAS PROPOSTOS 59

COORDENADORES REGIONAIS 60

RECADASTRAMENTO PARA COLGIOS 2001 61

Sociedade Brasileira de Matemtica
EUREKA! N9, 2000
2
AOS LEITORES

Pases de grande tradio nas olimpadas de Matemtica tm o seu
excelente rendimento em muito baseado na existncia de revistas de divulgao
para estudantes pr-universitrios. Apenas citando alguns exemplos, a hngara
KMaL, a russa (agora tambm americana) Kvant (Quantum), a romena Gazeta
Matematica e a canadense (lida por alguns, poucos, brasileiros) Crux
Mathematicorum desenvolvem em seus pases o ambiente ideal para o
aparecimento e desenvolvimento de jovens talentosos. Ns queremos que a
Eureka! tenha o mesmo sucesso que essas revistas.
Para isso estamos tentando trazer artigos cada vez mais interessantes e
elucidativos, e problemas cada vez mais bonitos e desafiantes para todos os
leitores da Eureka! (inclusive os dos Nveis 1 e 2), porm tal sucesso no depende
exclusivamente de ns. fundamental a participao (muito) ativa de todos os
leitores. Ficamos bastante contentes com a repercusso da seo "Olimpadas ao
Redor do Mundo", com vrios leitores enviando resolues dos problemas
propostos. Mas queremos que todas as outras sees e artigos tenham a mesma
repercusso. Por exemplo, vrios artigos trazem problemas propostos porm
raramente recebemos resoluo desses problemas. Ficaremos contentes em
receb-las e poderemos saber se o pblico-alvo os entendeu.
Assim, faa-nos saber todo o estudo(!) e a diverso(!!) que cada uma das
Eureka! proporcionou (no se esquea dos nmeros antigos).

INSTRUES PARA AUTORES

Sero publicados na revistas Eureka! artigos relevantes na preparao dos
estudantes para a Olimpada Brasileira de Matemtica em seus diversos nveis e
para vrias olimpadas de carter internacional das quais o Brasil participa.
Como para a grande maioria dos tpicos e tcnicas explorados nas
olimpadas no existem publicaes expositrias adequadas em lngua
portuguesa, nosso objetivo inicial abord-los todos em artigos auto-suficientes.
Assim, daremos preferncia queles que tratem de assuntos ainda no explorados
nos nmeros anteriores da Eureka!. Como a deficincia em artigos adequados
para estudantes do Ensino Fundamental (Nveis 1 e 2 da OBM) ainda mais
grave, estes tero primazia na sua publicao. Vale a pena observar que, quando
um tema importante para os estudantes de diversos nveis, ele deve aparecer em
artigos adequados para cada um desses nveis, separadamente.
recomendvel que os artigos tragam alguns problemas resolvidos
detalhadamente e referncias que o complementem ou aprofundem.
Os Editores.
EUREKA! N9, 2000
3
XV OLIMPADA IBEROAMERICANA DE MATEMTICA
16 a 24 de setembro, Caracas - Venezuela

A XV Olimpada Iberoamericana de Matemtica foi realizada em
Caracas, Venezuela no perodo de 16 a 24 de setembro de 2000. A equipe
brasileira foi liderada pelos professores Ralph Costa Teixeira (Rio de Janeiro -
RJ) e Eduardo Tengan (So Paulo - SP). Nesta oportunidade a equipe brasileira
obteve a maior pontuao entre os pases participantes alm da Copa Puerto Rico,
prmio entregue ao pas com maior progresso nos ltimos dois anos na
competio.

RESULTADOS DA EQUIPE BRASILEIRA

BRA1 Daniel Nobuo Uno Prata
BRA2 Daniel Massaki Yamamoto Ouro
BRA3 Fabrcio Siqueira Benevides Ouro
BRA4 Humberto Silva Naves Ouro

PRIMEIRO DIA

PROBLEMA 1
Constri-se um polgono regular de n lados ( n 3 ) e enumeram-se os vrtices de
1 a n. Traam-se todas as diagonais do polgono. Demonstrar que se n mpar,
possvel associar a cada lado e a cada diagonal um nmero inteiro de 1 a n, tal
que se verifiquem simultaneamente as seguintes condies:

1. O nmero associado a cada lado ou diagonal seja diferente dos nmeros dos
seus vrtices.
2. Para cada vrtice, todos os lados e diagonais que nele se intersectem tenham
nmeros diferentes.

SOLUO DE HUMBERTO SILVA NAVES (SO PAULO - SP)

Existe um jeito simples de pintar os lados e as diagonais do polgono regular.
Escolhe-se um ponto do polgono regular com o nmero "i" associado este
ponto, que chamaremos de P
i
.

Seja O o centro da circunferncia circunscrita ao polgono regular.

EUREKA! N9, 2000
4
O
i
x
1
'
x
2
'
x
1
x
2
i
i P
i
Fig. 1

Sabemos que a reta O P
i
eixo de simetria dos pontos do polgono regular e
nenhum ponto do polgono est sobre a reta O P
i
(pois n mpar). Digamos esses
pares de pontos simtricos e numeramos com o nmero "i", ou seja pegamos um
outro ponto qualquer (diferente de P
i
) do polgono regular, ligamos com o seu
respectivo simtrico e numeramos com o nmero "i" (fazemos isso para todos os
outros pontos). Vide fig. 1.
Este um exemplo do processo para o ponto P
i
.
Repetimos esse processo para todos os pontos do polgono regular.
Desta forma pintamos todos os lados e todas as diagonais, pois:
De uma forma geral (e mais simples):
Se quisermos saber o nmero de um segmento
j i
P P do polgono regular, basta
traarmos a mediatriz desse segmento, que vai certamente encontrar um outro
vrtice X do polgono regular (pois n mpar) e o segmento
j i
P P vai ter o mesmo
nmero de X.
Esta forma de numerao claramente satisfaz as condies do enunciado pois:

1) No existe nenhum segmento com o mesmo nmero de um de seus
vrtices, pois a mediatriz desse segmento no passa pelos vrtices do
segmento.

2) Para cada vrtice, todos os lados e todas as diagonais que incidem neste
vrtice tem nmeros diferentes, pois se existissem dois segmentos de
mesmo nmero, teramos:

EUREKA! N9, 2000
5
P
w
= O P
i
w
w
P
j
P
t

O ponto P
w
(que deve estar na
mediatriz de
j i
P P e na mediatriz de
t i
P P ) o prprio O, um absurdo.

Logo vale a propriedade 2 e isso acaba
o problema.

PROBLEMA 2
Sejam S
1
e S
2
duas circunferncias de centros O
1
e O
2
, respectivamente, secantes
em M e N. A reta t a tangente comum a S
1
e S
2
, mais prxima de M. Os pontos
A e B so os pontos de tangncia de t com S
1
e S
2
, respectivamente, C o ponto
diametralmente oposto a B e D o ponto de interseo da reta O
1
O
2
com a reta
perpendicular reta AM que passa por B. Demonstrar que M, D e C so
colineares.

SOLUO DE DANIEL MASSAKI YAMAMOTO (SO PAULO - SP)

BC dimetro = 90
C M B
Para provar ], [MDC basta provar que = = 90

C M B D M B
M
O
1
N
D O
2

B

90

2

1
A

EUREKA! N9, 2000
6

Geometria Analtica:
Dados:
M = (0, 1)
A = (m, 0)
O
1
= (m, y
1
)
B = (n, 0)
O
2
= (n, y
2
)
Quero determinar D:
M
O
1
D
O
2
C (n, 2
2
)

2

1
N
B A m n
= (n, 0)
= (m, 0)
0
1

) (
1
: m x
m
y AM =
AM BD :
n
m
y
x n x m y BD + = = ) ( :
) ( :
1 2
2 2 1
n x
n m
y y
y y O O
+
=
} {
2 1
D O O BD =
|
.
|
\
|
=
m
y
n m
y y
y y
1 2
2

2
1 2
) (
1 y
m n m
y y
y =
|
|
.
|
\
|
+
+
|
|
.
|
\
|
+ +
+
=
1 2
2
) (
) (
y y n m m
n m m
y y
D

n
y y n m m
n m y
x +
+ +
+
=
1 2
2
0
) (
) (

coef. angular de
|
|
.
|
\
|
+
+ + +
|
|
.
|
\
|
+ +
+ + +
=
1 2
2 1 2
1 2
1 2 2
) (
) ( ) ( ) (
) (
) ( ) (
1
:
y y n m m
n m y y y n n m mn
y y n m m
y y n m m n m m y
x
y
DM
D
D

EUREKA! N9, 2000
7
( )
( ) ) (
2
1
2
2
1
2
1
2
1
2 2 2
2 2
2
2
n m
n m n
n n m mn
m n
mn m n m m
n
+
|
|
.
|
\
|
+
|
|
.
|
\
|

+ +
|
|
.
|
\
|
+
+
|
|
.
|
\
|
+
+
|
|
.
|
\
|
+
=

( )
( ) |
.
|
\
|
+
(
+
=
|
|
.
|
\
|

+ +
+ |
.
|
\
|
+ + +
=
2
1
) (
2 2
) (
2
2
1
2 2
) (
2 2 2 2 2
2
2
2 2
2
2
2
2
mn
n m
n m
mn m
n
n
n m n n
mn n m
m n
mn m
mn m
mn m
n
| |
n
mn n m
mn n m n
mn
n m
n m n m mn
n
=
+
+
=
|
.
|
\
|
+
+ +
=
) 1 )( (
) 1 )( (
2
1
) (
) ( ) (
2

coef. ang. de
n
BM
1
:
1
1
= |
.
|
\
|

n
n , logo
DM BM .

PROBLEMA 3
Encontrar todas as solues da equao

( ) 1 1 = +
z y
x x
para x, y, z inteiros maiores que 1.

SOLUO
Considerando a equao mdulo 1 + x , obtemos
( ) ), 1 (mod 1 1 + x
z

o que implica que z mpar. Logo
(1) ( ) + + + = + + = + = +

) 1 ... )( 1 ( ) 1 ( 1 ) 1 ( 1 1
2 1
x x x x x x x x x
z z y z y z y

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

x x x x
z z y
e, ento, x par pois, caso contrrio, os dois
lados de (2) seriam de paridade oposta.
EUREKA! N9, 2000
8
Analogamente, escrevendo (1) na forma ( ) , 1 ) 1 ( ... ) 1 ( 1
1 2 1
= + + + + + + +
z y y
x x x x
ns vemos que y par tambm.
Sejam, portanto,
1
2x x = e
1
2y y = Ento por (1),
(3) . ) 1 ) 1 )(( 1 ) 1 ((
1 1
z y y
x x x = + + +
Temos ainda que 1 ) 1 ( |
1
+
y
x x e, como x par, mdc . 2 ) 1 ) 1 ( , 1 ) 1 ((
1
= + + +
y y
x x
Assim de (3),
1
1
2 1 ) 1 (
2 1 ) 1 (
1
1
= + +
= +
z y
z y
x
x x
(4).
Conseqentemente, , 2 2
1
1 z z
x >
ou seja, =1
1
x x = 2 e, de (4), 2 = y e . 3 = z
P.S. gratificante saber que tal equao estudada por grandes matemticos desse
sculo como W.J. Leveque e A. Schinzel, pode ser resolvida por brilhantes
estudantes pr-universitrios em um tempo to limitado quando o de uma prova
de olimpada.

SEGUNDO DIA

PROBLEMA 4
De uma progresso aritmtica infinita , , , 1
2 1
a a de nmeros reais,
eliminam-se termos, obtendo-se uma progresso geomtrica infinita
, , , 1
2 1
n n
a a de razo q. Determinar os possveis valores de q.

SOLUO DE DANIEL NOBUO UNO (SO PAULO - SP)

PG = 1, ... 1 ; 1 ; 1
3 2 1
r m r m r m + + + com
+
Z
i
m ; apenas
.
1
1
...
1
1
1
1
0
1
1
2 1
0
r m
r m
r m
r m r m
q m
i
i
+
+
= =
+
+
=
+
= =
+

. 2 1 1 ) 1 ( 1 ) 1 (
1
2 2
1 2
2
1 2
r m r m r m r m r m + + = + + = +

Supondo
r
m
m
m
r m
m
m
r m m m m r m m r =
+ = + = + =
1
1
2
1
1
2
1 1 2 1
2
1 2
2
2 ) 2 ( 2 ; 0
EUREKA! N9, 2000
9
Como , ;
2 1 +
Z m m ento r racional; Seja ;
b
a
r = onde a; b Z ; , 0 b a e b
primos entre si.
Da: r m q
1
1+ = .
.
1
Q Q q r m
Seja 0 ; ; ; = d d c
d
c
q Z c e d primos entre si.
Da teremos
PA :
b
b a k
b
a
k
i
i
+
= + 1
PG:
j
j j
d
c
d
c
=
|
|
.
|
\
|

Anlise do denominador:

PA: +
+
Z b a k
b
b a k
i
i
; o mximo do denominador b.
PG:
j
j
d
c
como mdc(c; d) = 1 o denominador .
j
d
Podemos pegar um j suficientemente grande tal que b d
j
>
Logo, a PG no pode ser infinita para . 1 > d
Logo; como 1 = d d Z ou d = 1.
Se = = c q d 1 razo inteira, e para isso, s pegar r = 1 e tirar os termos
desnecessrios.
A PA ser sempre crescente ou sempre decrescente ( ) 0 r p se d = 1.

PROBLEMA 5
Dois jogadores, alternadamente, retiram pedras de um conjunto de 2000 pedras,
de acordo com as seguintes regras:

1. Em cada jogada pode-se retirar 1, 2, 3, 4 ou 5 pedras.
2. Em cada jogada, um jogador no pode retirar o mesmo nmero de pedras que
o seu adversrio retirou na jogada anterior.

EUREKA! N9, 2000
10
O jogador que, na sua vez, no puder jogar de maneira vlida, perde. Determinar
que jogador tem uma estratgia que lhe garanta a vitria e encontrar essa
estratgia.

SOLUO DE DANIEL MASSAKI YAMAMOTO (SO PAULO - SP)

n\ m 1 2 3 4 5 n\ m 1 2 3 4 5
0 0 0 0 0 0 24 1 1 1 0 1
1 0 1 1 1 1 25 1 1 1 1 0
2 1 1 1 1 1 26 0 0 0 0 0
3 1 1 0 1 1 27 0 1 1 1 1
4 1 1 1 0 1 28 1 1 1 1 1
5 1 1 1 1 0 29 1 1 0 1 1
6 1 1 0 1 1 30 1 1 1 1 1
7 0 0 0 0 0 31 1 1 1 1 0
8 1 1 1 1 1 32 1 1 0 1 1
9 1 1 1 1 1 33 0 0 0 0 0
10 1 1 1 1 1 34 0 1 1 1 1
11 1 1 1 0 1 35 1 1 1 1 1
12 1 1 1 1 0 36 1 1 1 1 1
13 0 0 0 0 0 37 1 1 1 0 1
14 0 1 1 1 1 38 1 1 1 1 0
15 1 1 1 1 1 39 0 0 0 0 0
16 1 1 0 1 1 40 0 1 1 1 1
17 1 1 1 1 1 41 1 1 1 1 1
18 1 1 1 1 0 42 1 1 0 1 1
19 1 1 0 1 1 43 1 1 1 1 1
20 0 0 0 0 0 44 1 1 1 1 0
21 0 1 1 1 1 45 1 1 0 1 1
22 1 1 1 1 1 46 0 0 0 0 0
23 1 1 1 1 1

=
ganha. se 1
possvel). melhor o jogando ambos (com perde agora jogar vai quem se 0
) , ( m n G
n = atual
m = movimento anterior

G (1, 1) = 0

A frmula recursiva

=
=
contrrio. caso 1
movimento) qualquer para
ganha outro o se , (isto 1 ) , ( , , , 5 1 todo para se 0
) , (
i i n G m i i n i
m n G

EUREKA! N9, 2000
11
Para , 5 1 n 1 ) , ( = m n G se n m
Podemos definir G (0, m) = 0

Visualizando:
Como preencher a linha n: veja os quadrados com (*)

(*)
(*)
(*)
(*)
(*)
n

Se foram todos 1's, a linha n ter s zeros.
Se tiver dois ou mais zeros, a linha n ter todos 1's.
Se for zero, todos sero 1's, a menos da que est na mesma coluna do zero.

Sempre perde:
7, 13, 20, 26, 33, 39, 46

Parece que para n = 7 ou 13 (md 13) sempre perde (G(n, m) = 0)
Basta ver que h um bloco 5 5 da tabela que se repete, (tirando as 6 primeiras
linhas).
Agora vamos provar a frmula recursiva.
Primeiras 5 linhas:

- G (n, m) = 1 se m n, pois ele pode tirar n pedras e ganhar.
- G (1, 1) = 0, pois no pode jogar.
- G (2, 2) = 1, pois tirando uma pedra, forar o outro a ficar com G (1, 1),...
- G (i, i) = 0, i = 3, 4 ou 5, pois no importa como jogue o outro pode ganhar.

Agora, a frmula nos outros casos:

Tirando i pedras, se voc est com G(n, m), o adversrio vai ficar com G(n i, i).
Se algum deles for 0, o adversrio vai perder e voc ganha. Se todos forem 1, o
adversrio sempre ganha.
Note que voc no pode tirar m pedras, ento no pode deixar o adversrio com
G(n m, m).
EUREKA! N9, 2000
12
Na tabela, o bloco que se repete , 17 13 n igual a . 30 26 n

Ento o primeiro jogador ganha, pois se ele tirar 4 pedras na primeira jogada, vai
deixar o outro com 1996 pedras.
perde. segundo o ) 13 (mod 7 1996

PROBLEMA 6
Um hexgono convexo bonito se tem quatro diagonais de comprimento 1 cujos
extremos contm todos os vrtices do hexgono.

(a) Para cada nmero k maior que 0 e menor ou igual a 1, encontrar um
hexgono bonito de rea k.
(b) Demonstrar que a rea de um hexgono bonito qualquer menor que .
2
3

SOLUO

Consideremos todos os hexgonos bonitos ABCDEF com lados opostos paralelos
tais que os quatro segmentos dados de comprimento 1 so BF CE AC , , e . FD
Seja ACE BFD = = (figura (a)).
A B
E D
F C
A' A B
F
E' E D
C' C
(a) (b)

Translademos os segmentos AC e CE na direo de AB para obter ' ' C A e
' ' E C respectivamente de forma que ' , , ' E F A sejam colineares do mesmo modo
que . , ' , D C B A rea do hexgono ABCDEF igual a rea do retngulo A'BDE'
que por sua vez igual a sen (figura (b)). Dado que quaisquer ] 1 , 0 ( k igual a
sen para algum com 0 < 90 ento temos um hexgono bonito que
cumpre o pedido.

b) Para demonstrar o resultado pedido, enunciamos os seguintes lemas sem
demonstrao:
EUREKA! N9, 2000
13
1- A soma dos comprimentos de um par de lados opostos de um quadriltero
convexo menor que a soma dos comprimentos das diagonais.
2- A rea de um quadriltero convexo menor ou igual que a metade do produto
das suas diagonais.
Utilizaremos por simplicidade a seguinte terminologa:
Sabemos que no hexgono h quatro diagonais de comprimento 1 cujos extremos
contm todos os vrtices do mesmo. Chamaremos diagonais principais as
diagonais em questo. Definamos o grau de um vrtice de um hexgono bonito
como o nmero de diagonais principais que passam por ele. Alm disso
denotaremos por diagonal que divida ao hexgono nos quadrilteros.
Dado que a soma dos graus dos vrtices 8 e o grau de cada um pelo menos 1,
temos dois casos:
a) Um vrtice tem grau 3 e os restantes tm grau 1.
b) Dois vrtices tm grau 2 e os restantes tm grau 1.
No primeiro caso, dado que h exatamente trs diagonais que saem de um mesmo
vrtice num hexgono, s h um possvel tipo de configurao (salvo
"issomorfismo" de grafos):
Pelo lema 2 a rea do hexgono menor ou igual que ) (
2
1
AC AB + e isto
menor que ) 2 (
2
1
BC AX + pela desigualdade triangular. Como , 1 , 1 = BC AX a
rea menor que .
2
3

N
A
M
B C
O
X

Para o segundo caso, sejam P e Q os vrtices de grau mximo. Consideremos as
possibilidades:
c) Os vrtices P, Q esto conectados por uma diagonal principal. Nesse caso se a
diagonal que os conecta no central, as outras diagonais principais que saem
destes dois vrtices devem estar num mesmo lado de PQ. Alm disso, alguma
dessas diagonais deve ser central, pois caso contrrio, chegariam a um mesmo
ponto e nesse caso se formaria um tringulo equiltero com diagonais principais
como lados e sabemos que isso no pode ocorrer pois haveria trs vrtices de
EUREKA! N9, 2000
14
grau 2. Portanto, dependendo se ambas diagonais so centrais ou s uma , se
apresentam as seguintes configuraes:

No desenho direita, 1 AB pelo lema 1.
Logo a rea do hexgono menor ou
igual que
) (
2
1
) (
2
1
AD CQ AD PQ CQ AB + < +
e isto menor que 1 pelo lema 1.
B
C
A
P Q
D

B
C
A
P Q
D

No desenho esquerda, AB < 2 pelo
lema 1. Logo, a rea do hexgono
menor ou igual que
2
3
) 1 2 (
2
1
) (
2
1
= + < + BD PQ PC AB
Se a diagonal que os conecta central, as outras diagonais principais que saem de
P e Q devem estar em lados distintos de PQ, pois caso contrrio, se utilizaro j
trs diagonais sem haver unido dois vrtices consecutivos que ficam a um lado de
PQ e estes no podem ser conectados pela diagonal que falta. Ento, s h uma
configurao possvel:

Aqui a rea menor ou igual que
, 1 ) 2 (
2
1
) (
2
1
= < + QY PX pelos lemas 2 e
1 respectivamente.
Y
P
X
Q

d) Os vrtices P e Q no esto conectados por uma diagonal principal.
Nesse caso s h trs configuraes possveis:

Pelo lema 2, neste caso a rea menor ou
igual que . 1 ) 1 1 1 1 (
2
1
= +
P
Q

EUREKA! N9, 2000
15

Neste caso a rea menor ou igual que
,
2
3
) 1 2 (
2
1
) 1 (
2
1
< + < + XY onde o ltimo
se da por desigualdade triangular.
P
Y
Q X

Pelo lema 1, algum dos segmentos PX
ou QY mede menos que 1, logo esta
configurao pode ser reduzida
configurao de um vrtice de grau trs,
que j foi estudada (se bem no a
mesma, o raciocnio idntico).
Esgotadas as possibilidades, se resolve
completamente o problema.
P
Y
Q
X

Voc sabia
Que existe um algoritmo que, dada uma soma envolvendo uma funo
hipergeomtrica (por exemplo: binomiais, exponenciais, logartmicas,
trigonomtricas), expressa-a como uma soma telescpica. Com isso,
podemos encontrar uma recurso satisfeita por tal soma ou mesmo,
quando possvel, obter uma frmula fechada. O mais impressionante
que o algoritmo s no obtm uma frmula fechada se esta no existir
(mais precisamente, quando a soma no puder ser escrita como uma
funo hipergeomtrica).
Os autores deste algoritmo - Marko Petkovsek, Herbert Wilf e Doron
Zeilberger - publicaram um livro descrevendo sua descoberta, com o
inusitado ttulo "A =B ".
Este livro encontra-se disponvel na rede. Veja :

http://www.cis.upenn.edu/~wilf/AeqB.html

EUREKA! N9, 2000
16
XLI OLIMPADA INTERNACIONAL DE MATEMTICA
Problemas e Solues

PROBLEMA 1
Duas circunferncias
1
e
2
intersectam-se em M e N.
Seja l a tangente comum a
1
e
2
que est mais prxima de M do que de N. A
reta l tangente a
1
em A e a
2
em B. A reta paralela a l que passa por M
intersecta novamente a circunferncia
1
em C e novamente a circunferncia
2
em D.
As retas CA e DB intersectam-se em E; as retas AN e CD intersectam-se em P; as
retas BN e CD intersectam-se em Q.
Mostre que EP = EQ.

SOLUO DE ONOFRE CAMPOS DA SILVA FARIAS (FORTALEZA - CE) e
DANIEL MASSAKI YAMAMOTO (SO PAULO - SP)

M
N
l
D
C
A
B
E
P
Q

Inicialmente, vamos mostrar que AE = AM e que BE = BM. De fato, como AB ||
CD e AB tangente a
1
, segue-se que
EAB =ACM = BAM =
e
EBA = BDM = ABM =

Da, imediato que os tringulos EAB e MAB so congruentes (caso ALA), de
modo que
AE = AM e BE = BM.
EUREKA! N9, 2000
17
Alm disso, segue da congruncia que EM AB, e portanto, EM CD. Agora,
basta mostrarmos que PM = MQ, porque dessa forma EM ser mediatriz de PQ,
tal que EP = EQ. Para isto, note que o prolongamento de MN passa pelo ponto
mdio de AB, pois MN o eixo radical das duas circunferncias e AB tangente
comum. Assim, como PQ || AB, conclumos que MN tambm passa pelo ponto
mdio de PQ. Logo, EM PQ e EM passa pelo ponto mdio de PQ, de modo que
EM mediatriz de PQ e EP = EQ.

SOLUO DE DANIEL NOBUO UNO (SO PAULO - SP)

M
N
Y
D
C
A
B
E
P
Q

+
+

X
e

] [ XABY
Temos N M C N A C

= e D M N D B N

= . Como = + D M N N M C

;

= + = + D B N N A C N B E N A E temos que AEBN cclico.
Seja .

;

= = = = = A N C C A X M N A D C E B A E
Seja ,
= A B E analogamente, = = = = B N D D B Y M N B M D B

Como AEBN cclico, = = B N E B A E

; = = A N E A B E

ECNQ Q N E Q C E =

cclico + = = C N E C Q E

EDNP P N E P D E =

cclico .

+ = = D N E D P E
Logo, EPQ issceles.

EUREKA! N9, 2000
18
PROBLEMA 2
Sejam a, b, c nmeros reais positivos tais que abc = 1. Prove que

. 1
1
1
1
1
1
1 |
.
|
\
|
+ |
.
|
\
|
+ |
.
|
\
|
+
a
c
c
b
b
a

SOLUO
Fazendo
x
z
c
z
y
b
y
x
a = = = , ,
(podemos tomar, por exemplo, )
1
, , 1 ac
b
z a x y = = = = , a desigualdade
equivalente a . ) )( )( ( xyz x z y z y x y z x + + + Fazendo , y z x u + =
z y x v + = e , x z y w + = temos z w u x v u 2 , 2 = + = + e , 2y w v = + donde a
desigualdade equivalente a ). )( )( ( 8 w v w u v u uvw + + + Como w u v u + + , e
w v + so todos positivos, no mximo um dentre os nmeros u, v e w no
positivo. Se houver um tal nmero, 8uvw ser negativo ou nulo, enquanto
) )( )( ( w v w u v u + + + positivo, e a desigualdade acima trivial. Se v u, e w so
positivos, a desigualdade acima conseqncia direta da desigualdade entre as
mdias aritmtica e geomtrica, pois + + + = + + + w u uv v u w v w u v u
2 2 2
) )( )( (
uvw vw w v uw 2
2 2 2
+ + + + , donde a desigualdade equivalente a
, 6
2 2 2 2 2 2
uvw vw w v uw w u uv v u + + + + + que segue das desigualdades
uvw uw uv uvw vw v u 2 , 2
2 2 2 2
+ + e . 2
2 2
uvw w v w u +

PROBLEMA 3
Seja 2 n um nmero inteiro positivo. No incio existem n pulgas numa reta
horizontal, nem todas no mesmo ponto.
Para um nmero real positivo , define-se um salto da seguinte maneira:
Escolhem-se duas pulgas quaisquer nos pontos A e B com o ponto A esquerda
do ponto B;
A pulga que est em A salta at o ponto C da reta, direita de B, tal que
. =
AB
BC

Determine todos os valores de para os quais, para qualquer ponto M na reta e
quaisquer posies iniciais das n pulgas, existe uma sucesso finita de saltos que
levam todas as pulgas para pontos direita de M.
EUREKA! N9, 2000
19
SOLUO:
A resposta para
) 1 (
1
n
l
Devemos demonstrar duas coisas:
a) que, para
) 1 (
1
n
l , existe uma seqncia infinita de movimentos que vai
levando as pulgas cada vez mais para a direita, ultrapassando qualquer ponto
prefixado M;

b) que, para
) 1 (
1
<
n
l e para qualquer posio inicial dada as pulgas, existe um
ponto M tal que as pulgas em um nmero finito de movimentos jamais alcanam
ou ultrapassam M.

Comearemos pelo item b). Sejam
1
x , ,
2
x ...,
n
x as posies iniciais das pulgas,
com , ...
2 1 n
x x x de tal forma que
n
x a posio da pulga mais direita.
Seja P = ( ). ...
) 1 ( 1 (
1
1 2 1
)

|
|
.
|
\
|

n n
x x x x
n
l l l
l

O ponto P claramente est direita de todas as pulgas.
Afirmamos que se aps alguns movimentos as novas posies so
n
x x ' ,..., '
1
e
definimos
( ). ' ... ' ' '
) ) 1 ( 1 (
1
'
1 2 1

|
|
.
|
\
|

=
n n
x x x x
n
P l l l
l

Se , ' P P isto conclui a demonstrao.
Basta considerar o que ocorre aps um movimento.
Se a pulga que estava em
i
x pula sobre a pulga que estava em
n
x ento
) ( '
i n n n
x x x x = l e
i n n n
x x x x = l l ' e . ' P P =
Qualquer outro caso ainda mais favorvel. De fato, se a pulga que pulou
continua atrs de
n
x , temos
n n
x x = ' e , ... ' ... '
1 1 1 1
+ + > + +
n n
x x x x donde
. ' P P < Se ela passa de
n
x , teremos + = ) ( '
i j j n
x x x x = <
j n n n
x x x x ' '
.
i n i j
x x x x <

EUREKA! N9, 2000
20
Item a) Se ) ... (
1 2 1
+ + + =
n n
x x x x P se, em cada movimento, a pulga mais
esquerda pula sobre a pulga mais direita, temos + = ) ( '
1
x x x x
n n n

1
' x x x x
n n n
= e , ' P P = donde P uma constante positiva (escolhendo a
origem, por exemplo, em )
n
x . Temos ento
=

= + + + +
1
1
1 1 1 1
) ... ( ) ... (
1
1
) (
1
1
n
j
n n n n j n
P x x x x x
n
x x x
n

=

= =

1
1
1 1
,
1
) ( ' ) (
1
1
n
j
n n n j n n
n
P
x x x x P x x
n
x x donde o ponto
mais direita caminha pelo menos
1 n
P
para a direita a cada passo, logo tende a
infinito. Como o ponto mais a direita, aps n 1 passos ser o ponto mais
esquerda, todos os pontos tendem a infinito (para a direita).

Nota: Na estratgia descrita na soluo do item a), o ponto mais esquerda se
torna sempre o mais direita, donde podemos definir
), ( '
1 1
x x x x x
n n n n
+ = =
+
e teriamos simplesmente . , '
1
j x x
j j
=
+
Reduzimos
ento a anlise dessa estratgia ao estudo da recorrncia linear
, ) 1 (
1 1
x x x
n n
+ =
+
cujo polinmio caracterstico , ) 1 ( ) (
1
+ + =
+ n n
x x x P
do qual 1 raiz, donde, como ), 1 ... (
1
) (
2 1
+ + + + =

x x x x
x
x P
n n n
a expresso
) ... (
1 2 2 1 + +
+ + + + =
n m n m n m m m
x x x x x y um invariante da recorrncia,
isto , ,
1
m y y
m m
=
+
donde
m
y constante. Da vem nossa frmula para P. Veja
o artigo sobre equaes de recorrncia nesta Eureka.

PROBLEMA 4
Um mgico tem cem cartes numerados de 1 a 100. Coloca-os em trs caixas,
uma vermelha, uma branca e uma azul, de modo que cada caixa contm pelo
menos um carto.
Uma pessoa da platia escolhe duas das trs caixas, seleciona um carto de cada
caixa e anuncia a soma dos nmeros dos dois cartes que escolheu. Ao saber esta
soma, o mgico identifica a caixa da qual no se retirou nenhum carto.
De quantas maneiras podem ser colocados todos os cartes nas caixas de modo de
que este truque sempre funcione? (Duas maneiras consideram-se diferentes se
pelo menos um carto colocado numa caixa diferente).

EUREKA! N9, 2000
21
SOLUO DE FABRCIO SIQUEIRA BENEVIDES (FORTALEZA - CE)

Seja ) (n f o nmero de maneiras de se colocarem os cartes de 1 a n , mas sem
contar a ordem das caixas. No final, basta multiplicar ) 100 ( f por 6 = 3!.
Achamos facilmente que , 2 ) 4 ( = f onde as duas nicas maneiras so:

1, 4 1
2 e 2, 3
3 4

Vamos provar por induo que 2 ) ( ) 1 ( = = + n f n f para , 4 n e que as nicas
maneiras so das formas:

A) 1, 4, 7,... B) 1
2, 5,... e 2, 3, ..., n 1
3, 6,... n

H duas possibilidades para o carto n + 1:

1) Ele aparece junto com outros cartes. Nesse caso, os cartes de 1 a n
estaro na configurao A ou B.
Se for A): 1 , 2 n n e n esto em caixas diferentes. n + 1 no pode estar na
mesma caixa de n ou n 1, pois ) ( ) 1 ( ) 1 ( ) 2 ( n n n n + = + +
Se colocarmos n + 1 na mesma caixa de n 2, a mgica funcionar. Basta ver a
soma mdulo 3.
No caso B): 1 + n no pode entrar em nenhuma caixa, pois
) ( 2 ) 1 ( 1 n n + = + + e 2 ) 1 ( 3 ) ( + + = + n n

2) ) 1 ( + n est em uma caixa isolada.
Como ), ( ) 2 ( ) 1 ( ) 1 ( n n + = + + 2 e n devem estar na mesma caixa.
Temos a seguinte configurao:

1 + n Se k est junto com 2 e k + 1 est na outra caixa,
2, k n, . ) 1 ( ) 1 ( + + = + + k n k n
1 + k Ento k e k + 1 esto na mesma caixa.

Fazendo isso para k = 2, 3,..., n 2, temos que os cartes 2, 3,..., n esto na
mesma caixa . Como a outra caixa no pode ficar vazia, 1 est nela.
EUREKA! N9, 2000
22
Para ver que esta configurao funciona, basta ver os intervalos das possveis
somas para cada par de caixas.
o nmero total . 12 ) 100 ( 6 = f

PROBLEMA 5
Verifique se existe um inteiro positivo n tal que n divisvel por exatamente 2000
nmeros primos diferentes e 1 2 +
n
divisvel por n.

SOLUO DE HUMBERTO SILVA NAVES (SO PAULO - SP)

Vamos, primeiramente, provar o seguinte "super-lema":

Lema: 1 2 | 3
3
+
n
n
e 1 2
3
+
n
tem pelo menos "n" fatores primos distintos:
Esse lema ser provado por induo:
Quando n = 1 ou n = 2, o lema verdadeiro pois
2 3
3 9 1 2 = = + e
19 3 513 1 2
3 3
2
= = +

Suponha que seja vlido, tambm, para um certo "p" ), 2 ( p Vamos provar que
tambm verdadeiro para : " 1 " + p
. 1 2 | 3 3 ) 3 3 (
1 2 3 3 3 1 2 ) 3 1 (
) 2 ( 3 1 2 3 1 2 | 1 2 | 3 *
1
1 1
3 1 1 1 2 3 2
3 3 3 1 2 2 1 3 3
3 3 3 3 3
+ + =
= + + + = + =
= + = = + +
+
+ +
+ +
+ +
p
p p
p p p p
p p p p
p p p p
p p p
k k k
k k k k
k k k Z

) )( ( : temos ,
pois ], 1 ) 2 ( ) 2 )[( 1 2 ( 1 ) 2 ( 1 2 * *
2 2 3 3
3 2 3 3 3 3 3 3
1
b ab a b a b a b a
p p p p p
+ + = +
+ + = + = +
+
R

primo fator um existir deve Logo . 1 2 | 3 1 2 | 3 pois 3 ) 3 ; 1 2 (
) 1 2 2 ; 1 2 ( 3 ) 1 2 ( 3 ) 1 2 ( 1 2 2 que S
3 3 3
3 3 2 3 3 2 3 3 3 2
+ + = + =
= + + + + + = +

p p p
p p p p p p p
p
mdc
mdc
"j" tal que ) 1 2 2 ( |
3 3 2
+
p p
j e ), 1 2 ( |
3
+ /
P
j logo ) 1 2 2 )( 1 2 ( 1 2
3 3 2 3 3
1
+ + = +

+ p p p p

tem pelo menos 1 fator primo a mais que , 1 2
3
+
p
logo 1 2
1
3
+
+ p
tem pelo menos
"p + 1" fatores primos em sua decomposio.
Logo o lema vlido para "p + 1", tambm.
Pelo princpio da induo finita, provamos que o lema verdadeiro para todo
natural "n".
EUREKA! N9, 2000
23
Pronto, o "super-lema" veio te salvar nessa hora de sufoco!
Sabemos que mpar 1 2
2000
3
+ tem pelo menos 2000 fatores primos e pegamos
1999 fatores primos que so diferentes de 3 e os chamamos de
. ;...; ; ;
1999 3 2 1
p p p p Temos que
1 2 | 3
2000
3 2000
+ e
1 2 | ...
2000
3
1999 3 2 1
+ p p p p
Basta escolhermos o inteiro mpar
1999 1
2000
... 3 p p n = , pois:
1 2 | 1 2 | 3
2000
3 2000
+ +
n
n e como
1 2 | 1 2 |
2000
3
+ +
n
n n
Logo existe um "n" de 2000 fatores primos, tal que 1 2 | +
n
n .

PROBLEMA 6
Sejam
3 2 1
, , CH BH AH as alturas de um tringulo acutngulo ABC. A
circunferncia inscrita no tringulo ABC tangente aos lados BC, CA, AB em
, 3 2 1
, , T T T respectivamente. Seja
1
l a reta simtrica da reta
3 2
H H relativamente
reta
3 2
T T ,
2
l a reta simtrica da reta
1 3
H H relativamente reta
1 3
T T e
3
l a reta
simtrica da reta
2 1
H H relativamente reta
2 1
T T .
Prove que
3 2 1
, , l l l determinam um tringulo cujos vrtices pertencem
circunferncia inscrita no tringulo ABC.

SOLUO DE ONOFRE CAMPOS DA SILVA FARIAS (FORTALEZA - CE)

M
H
2
l
1
T
1 C
A
B
H
3
P
T
3
T
2
N
L

fig. 01
EUREKA! N9, 2000
24
Inicialmente, vamos mostrar que as retas l
1
, l
2
e l
3
so paralelas aos lados
BC, CA e AB, respectivamente.

Sejam
3 2 3 2
T T H H P , M e N os pontos de interseo da reta l
1
com a
circunferncia inscrita. Supondo AB < AC, temos a fig. 01 acima. Veja que
PH
3
T
3
= AH
3
H
2
= C ,

2
3 2 2 3
C B
T AT T AT
+
= = ,
de modo que
2
3 3
C B
PT H

= e H
3
PM = 2.H
3
PT
3
= B C,
e, portanto,
H
3
LM = H
3
PM + LH
3
P = (B C) + C = B.

Logo, l
1
|| BC e, analogamente, conclumos que l
2
|| AC e l
3
|| BA.
Se AB = AC, ento, l
1
|| BC por simetria. Neste caso, teremos H
2
H
3
|| T
2
T
3

|| l
1
|| BC.
Agora, vamos calcular a distncia entre as retas l
1
e BC. Como PT
2
a
bissetriz do ngulo H
2
PN, ento

d(T
2
, PH
2
) = d(T
2
, l
1
) e d(l
1
, BC) = d(T
2
, BC) d(T
2
, PH
2
) (1)
Mas,
d(T
2
, BC) = (p c).sen C

e como AH
2
H
3
= B, segue que d(T
2
, PH
2
) = H
2
T
2
.sen B. (2)

Tambm,
H
2
T
2
= CH
2
CT
2
= a.cos C (p c).
Em (2), obtemos:
d(T
2
, PH
2
) = (a.cos C (p c))sen B. (3)

Usando que
R
c
C
R
b
B
b
c b a
C a
2
sen ,
2
sen ,
2
cos .
2 2 2
= =
+
= , obtemos:

EUREKA! N9, 2000
25
. ). (
2 2
4
4 4
) ).( (
2
.
2
)
2 2
)( (
) cos . .( ). ( ). ( ) , (
2
2 2 2
2 2 2
1
senA a p
a c b
R
a
R
a ac ab
R
c b a
R
c b c b a
b
c b a
R
b
R
b
R
c
c p
C a senB senB c p senC c p BC l d
=
+
=
+
=
+
+ +
=
+
+ =
+ =

Dessa forma, acabamos de mostrar que

d(l
1
, BC) = d(T
2
, AB) = d(T
3
, AC) = (p a).sen A. (*)

Vamos mostra agora que BT
2
= BN e, analogamente, mostraremos que
CT
3
= CM.
Sejam U e V as projees ortogonais de T
2
e N sobre os lados AB e BC
respectivamente. Ento,
NV = T
2
U = (p a).sen A.

Sejam I o incentro e E a projeo ortogonal de I sobre l
1
(fig. 02). Veja
que
EN = T
1
V e EI = |(p a).sen A r|.

l
1
T
1 C
A
B
P
T
3
T
2
M
U
V
N
r
I
E
r

fig. 02
EUREKA! N9, 2000
26
A a p A a p r
r A a p r EI IN EN V T i
2 2
2 2 2 2 2 2
1
sen . ) ( sen ) .( 2
) sen ). (( )
=
= = =

A a p T T
U T T T U T ii
2 2 2
3 2
2
2
2
3 2
2
3
sen . ) (
)
=
=

Agora, o quadriltero AT
3
IT
2
inscritvel na circunferncia de dimetro AI.
Logo, temos duas relaes:

I) T
2
T
3
= AI.sen A;
II) T
2
T
3
.AI = 2r.AT
2
= 2r.(p a) (pelo teorema de Ptolomeu).

De (I) e (II), obtemos T
2
T
3
2
= 2r.(p a).sen A. Portanto, em (i) e (ii) ficamos
com U T V T U T V T
3 1
2
3
2
1
= = , e como BT
1
= BT
3
, por ltimo segue que

BVN BUT
2
(**)

de modo que BT
2
= BN, como queramos demonstrar.

C
A
B
T
3
T
2
r
I
r

fig. 03

De (**), ainda podemos concluir que ABT
2
= CBN, e como ABI = CBI,
temos T
2
BI = NBI.

EUREKA! N9, 2000
27
Finalmente, como T
2
B = NB, podemos concluir que N o simtrico de
T
2
em relao bissetriz do ngulo B. Analogamente, M o simtrico de T
3
em
relao bissetriz interna do ngulo C.

Dessa forma, podemos redefinir as retas l
1
, l
2
e l
3
da seguinte forma:

Sejam S
1
, S
2
e S
3
, respectivamente, os simtricos de T
1
, T
2
e T
3
em relao
s bissetrizes dos ngulos A, B e C, respectivamente. L
1
a reta que passa
por S
2
e S
3
, l
2
a reta que passa por S
1
e S
3
e l
3
a reta que passa por S
1
e S
2
.

Claramente, l
1
, l
2
e l
3
determinam um tringulo inscrito na circunferncia
inscrita no tringulo ABC.

EUREKA! N9, 2000
28
BRAHMAGUPTA PARA TODOS
Jos Cloves Verde Saraiva - UEMA

Nvel Intermedirio

Nestas notas apresentaremos as frmulas da geometria plana para o
clculo da rea de um tringulo e de um quadriltero cclico (inscrito numa
circunferncia) em funo do comprimento de seus lados e de seu semi-
permetro. Para o tringulo esta conhecida como a frmula de Heron de
Alexandria, embora escritores rabes afirmem que esta foi descoberta por
Arquimedes. Para os quadrilteros cclicos h uma generalizao natural da
frmula de Heron, to importante, que considerada como a mais notvel
descoberta da geometria hindu, feita por BRAHMAGUPTA. Originalmente a
prova de Brahmagupta faz uso do conhecido Teorema de Ptolomeu para
quadrilteros cclicos. Aqui, estas duas frmulas so deduzidas, elementarmente,
da Lei dos co-senos para um tringulo.

1. A FRMULA DE HERON

Seja ABC um tringulo cujos lados medem a, b e c indicados na figura abaixo,
ento a medida da rea deste tringulo dada pela frmula:

) )( )( ( c p b p a p p S =
onde ) (
2
1
c b a p + + = o semi-perimetro do ABC .
B
A C
a c
h
b

________________________________________________________________________________
O autor agradece o apoio pesquisa da Universidade Estadual de Maranho (UEMA) e o saudvel
ambiente de trabalho do DEMATI-CECEN
EUREKA! N9, 2000
29
Prova: Todos sabem que a rea de um tringulo calculada pela frmula
.
2
1
bh S = Nas condies aqui tratadas sabemos que a altura relativa ao lado CA
dada por ,
C sen a h = donde podemos escrever para a rea:

(*)

2
1
C sen ab S =

tambm muito conhecida a Lei dos co-senos para um tringulo. E, pela figura
acima, esta pode ser escrita como:

(**)
cos 2
2 2 2
C ab b a c + =

Com efeito, elevando ao quadrado S na expresso (*) temos que:

)
cos )(
cos (
)
cos 1 ( )
cos 1 ( )
cos 1 (
4
2 2 2 2 2 2 2
C ab ab C ab ab
C ab C ab C b a C sen b a S
+ =
= + = = =

Multiplicando este ltimo resultado por 4, obtemos:
)
cos 2 2 )(
cos 2 2 ( 16
2
C ab ab C ab ab S + =

no qual podemos completar quadrados e adequar os fatores para o uso da Lei dos
co-senos (**) temos:

] ) ][( ) ( [ ] ) ][( ) ( [
]
cos 2 2 ][
cos 2 2 [ 16
2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2
c b a b a c c b a c b a
C ab b a ab b a C ab b a ab b a S
+ = + + =
= + + + + + + =

fatorando as diferenas de quadrados, podemos escrever:
) )( )( )( (
) )( )( )( ( 16
2
c b a c b a c b a c b a
c b a c b a b a c b a c S
+ + + + + + =
+ + + + + =

Aonde, dividindo por 16:
) 2 (
2
1
) 2 (
2
1
) 2 (
2
1
) (
2
1
2
c c b a b c b a a c b a c b a S + + + + + + + + =

EUREKA! N9, 2000
30
Portanto:
(
+ +
(
+ +
(
+ + + + = c c b a b c b a a c b a c b a S ) (
2
1
) (
2
1
) (
2
1
) (
2
1
2

substituindo o semi-permetro ), (
2
1
c b a p + + = conclumos que:
) )( )( ( c p b p a p p S = , a conhecida frmula de Heron.
De uma certa analogia da frmula acima demonstrada deduzimos, a seguir, o
resultado principal destas notas.

2. A FRMULA DE BRAHMAGUPTA

A medida da rea de um quadriltero cclico de lados a, b, c, d cujo semi-
permetro denotado por p a seguinte:
) )( )( )( ( d p c p b p a p K =

A
D
B
C
x
a
b
d
c

onde ) (
2
1
d c b a p + + + =
) (
2
1
) ( d c b a a p + + + =
) (
2
1
) ( d c b a b p + + =
) (
2
1
) ( d c b a c p + + =
) (
2
1
) ( d c b a d p + + =

Os seguintes fatos elementares so considerados na prova:

I. Seja um quadriltero tal que seus ngulos opostos internos sejam
suplementares: na figura temos = + 180

D B (esta relao vale para os
quadrilteros cclicos).

II. As reas dos tringulos
1
S e
2
S so dadas pelas relaes:
B sen ab S
2
1
1
= e D sen cd S
2
1
2
=
EUREKA! N9, 2000
31
III. A diagonal x, indicada na figura anterior, pela Lei dos co-senos aplicada
aos tringulos
1
S e
2
S verifica a relao:
D cd d c x B ab b a
cos 2
cos 2
2 2 2 2 2
+ = = +

Prova: De I. obtemos que , 1 )

cos( = + D B que implica a igualdade
D B D sen B sen
cos
cos 1

+ = (*). Com efeito, seja K a medida da rea do
quadriltero cclico dada por:
2 1
S S K + = , Substituindo II. Obtemos a igualdade
D sen cd B sen ab K

2 + = . Elevando ao quadrado obtemos:
D sen d c D sen B sen abcd B sen b a K

2
4
2 2 2 2 2 2 2
+ + =

substituindo (*) no produto de senos temos:

)
cos 1 ( )
cos
cos 1 ( 2 )
cos 1 ( 4
2 2 2 2 2 2 2
D d c D B abcd B b a K + + + =

ou melhor,

)
2
cos 1 (
2 2
)
cos
cos 1 ( )
cos
cos 1 ( )
2
cos 1 (
2 2 2
4 D d c D B abcd D B abcd B b a K + + + + + =
)
cos 1 )(
cos 1 (
2 2
)
cos 1 ( )
cos 1 ( )
cos 1 )(
cos 1 (
2 2 2
4 D D d c B cd D ab B B b a K + + + + + + =

Multiplicando, adequadamente, por 4 os dois membros,

)]
cos 1 ( )
cos 1 ( [ 2 )]
cos 1 ( )
cos 1 ( [ 2
2
16 D cd B ab D cd B ab K + + + + =
]
cos 2
cos 2 2
cos 2 ][ 2
cos 2 2
cos 2 [
2
16 D cd D cd ab B ab cd D cd ab B ab K + + =

Substituindo a relao III. obtemos:

] 2 ) ( 2 ][ 2 ) ( 2 [ 16
2 2 2 2 2 2 2 2 2
cd d c ab b a cd d c ab b a K + + + + + + =
] ) ( ) ][( ) ( ) [( 16
2 2 2 2 2
d c b a d c b a K + + =
)] ( ) )][( ( ) )][( ( ) )][( ( ) [( 16
2
d c b a d c b a d c b a d c b a K + + + + + + =

por tanto temos que:
) (
2
1
) (
2
1
) (
2
1
) (
2
1
2
d c b a d c b a d c b a d c b a K + + + + + + + + + =
da, imediato ver que:
EUREKA! N9, 2000
32
) )( )( )( (
2
d p c p b p a p K =
permitindo concluir que,
) )( )( )( ( d p c p b p a p K =
concluindo a prova.

Como observao final, a frmula acima demonstrada no pode ser mais geral do
que foi provado por BRAHMAGUPTA. De fato, a frmula vale exatamente para
os quadrilteros cclicos. Em geral, se o quadriltero no for cclico, sua rea
estritamente menor que ) )( )( )( ( d p c p b p a p , pois nesse caso
D B D sen B sen
cos
cos 1

+ < , o que pode ser usado como na prova acima para
provar nossa afirmao.

REFERNCIA
E.W. Hobson, A Treatise on Plane Trigonometry (NY); Macmillan Company, 4
a
ed.,
(1902), pg. 204.
EUREKA! N9, 2000
33
EQUAES DE RECORRNCIA
Hctor Soza Pollman - Universidade Catlica do Norte - Antofagasta, Chile

Nvel Avanado

Frenqentemente em teoria da Computao (ver exemplo [2]), ao analisar
o tempo de execuo de um algoritmo (ou o espao ocupado na memria pelos
dados), obtemos uma (ou mais) equaes discretas, chamadas de Equaes de
Recorrncia, cuja incgnita uma funo inteira f(n), que geralmente uma
funo do tamanho n do problema (por exemplo: a quantidade de dados a ordenar
se um algoritmo de ordenamento). Esta equao resulta ser uma relao entre
f(n) e seus valores prvios, como so f(n 1), f(n / 2), ou outro. Alm disso se
conhecemos o algoritmo analisado com detalhe, podemos estabelecer um valor de
bordo num ponto dado (como f(0) por exemplo). Neste artigo so apresentados
alguns dos mtodos desenvolvidos para resolver este tipo de equaes, as quais
aparecem em ordem de dificuldade.

Os tipos de equaes de recorrncia a serem consideradas so as
seguintes, em que a incgnita a sucesso
n
x com : 0 n

1. EQUAO LINEAR DE PRIMEIRA ORDEM COM COEFICIENTES DE VALOR INTEIRO 1.

O tipo mais simples de equao de recorrncia de primeira ordem :
n n n
b x x + =
+1
, 0 n
em que
0
x e a sucesso
n
b so dados do problema. Sua resoluo faz uso da
propriedade telescpica da soma obtendo:
=
+ =
1
0
0
,
n
i
i n
b x x 1 n
Exemplo: Para a equao: , 0 , 2
1
+ =
+
n x x
n
n n
com , 1
0
= x obtemos
. 0 , 2 = n x
n
n

2. EQUAO LINEAR DE PRIMEIRA ORDEM COM COEFICIENTES CONSTANTES.

A equao linear de primeira ordem com coeficientes constantes :
,
1 n n n n n
c x b x a + =

0 n
EUREKA! N9, 2000
34
em que
0
x e as sucesses numricas
n
a ,
n
b e
n
c so dados do problema (as
sucesses
n
a e
n
b no devem ser nulas). Para resolver esta equao ela deve ser
multiplicada pelo fator
n
S (chamado fator somante):
n n n n n n n n
c S x b S x a S + =
1

Impe-se a condio:
1 1
=
n n n n
a S b S (1)
com o qual obtemos:
n n n n n n n n
c S x a S x a S + =
1 1 1

Observa-se que a equao anterior se reduz a uma de primeiro tipo, e que sua
soluo :
=
+ =
n
i
i i
n n
n
n c S x a S
a S
x
1
0 0 0
0 ), (
1

O fator somante obtido a partir da condio (1) e considerando que : 1
0
= S
1 ,
...
...
1 2 1
0 1 2 1
=

n
b b b b
a a a a
S
n n
n n
n

EXEMPLO: AS TORRES DE HANOI.
Dadas trs varetas e n discos de distintos tamanhos colocados na primeira vareta
em ordem de tamanho (do menor ao maior), mover estes n discos desde a vareta
inicial at a terceira usando a segunda como auxiliar, sem colocar um disco de
tamanho maior sobre um de tamanho menor (para maiores explicaes ver [4]).
Se
n
x a quantidade de movimentos para levar os n discos da primeira a terceira
vareta, podemos provar, ao analisar como so distribudos os movimentos, que, se
n
x a quantidade de movimentos para mover os n discos desde a primeira
terceira vareta (com ), 0 n ento:
1 , 1 2
1
+ =

n x x
n n

com . 0
0
= x De fato, dada uma soluo do problema de Hanoi com n 1 discos
em
1 n
x movimentos, podemos mover os n 1 primeiros discos para a segunda
vareta, depois mover o ltimo disco para a terceira vareta e por fim mover os
1 n primeiros discos para a terceira vareta, gastando
1 2 1
1 1 1
+ = + +
n n n
x x x movimentos. Neste caso temos que o fator somante
resulta ser: .
2
1
n
n
S = Logo, a soluo da equao das torres de Hanoi :
EUREKA! N9, 2000
35
0 , 1 2 = n x
n
n

Observamos, por exemplo, que para n = 3 devem ser realizados 7 movimentos.
Deixamos como exerccio para o leitor provar que impossvel resolver este
problema usando uma quantidade menor de movimentos.

3. EQUAES HOMOGNEAS DE PRIMEIRA ORDEM COM COEFICIENTES CONSTANTES.

Considere a equao:
0 , 0 ...
0 1 1
= + + +
+ +
n x a x a x a
n k n k k n k
(2)
em que
k
a a ,...,
0
so sucesses independentes de n, e os valores de
i
x so
conhecidos para i = 0, ..., k 1 (correspondem aos valores de bordo). Supondo
que a equao (2) admite uma soluo do tipo: ,
n
n
x = em que um
parmetro inteiro, e substituindo em (2) temos:
0 ...
0
1
1
= + + +
+
+ n k n
k
k n
k
a a a
Se 0 ento obtemos a equao caracterstica associada a equao (2):
0 ...
0
0
1
1
= + + +

a a a
k
k
k
k

Vamos mostrar que se esta equao tem as razes complexas
r
,...,
1
com
multiplicidades N
r
,..., ,
2 1
, respectivamente, ento as solues de (2) so
exatamente as seqncias ) (
n
x da forma , ) ( ... ) ( ) (
2 2 1 1
n
r r
n n
n
n Q n Q n Q x + + + =
onde
r
Q Q ,...,
1
so polinmios com grau , ) (
i i
Q < r i 1 (em particular, se
i

uma raz simples ento
i
Q constante).
Seja
0
1
1
... ) ( a x a x a x P
k
k
k
k
+ + + =

um polinmio.
Dizemos que uma seqncia
N n n
x ) ( satisfaz a propriedade Rec )) ( ( x P se
N = + + +
+ +
n x a x a x a
n k n k k n k
, 0 ...
0 1 1
. No difcil verificar os seguintes
fatos:

i) Se ) (
n
X e ) (
n
Y satisfazem Rec )) ( ( x P e C c ento
n n n
cY X Z + = ) ( satisfaz
Rec )) ( ( x P .

ii) Se
0
1
1
... ) ( b X b X b x Q
r
r
r
r
+ + + =

e ) (
n
X satisfaz Rec )) ( ( x P ento ) (
n
X
satisfaz Rec )) ( ) ( ( x Q x P
(isso segue de N = + + +
+ + + + +
=
n X a X a X a b
j n k j n k k j n k
r
j
j
, 0 ) ... (
0 1 1
0
)
EUREKA! N9, 2000
36
iii) ) (
n
X satisfaz Rec )) ( ( x P se e s se ( )
n
n n
X Y = ) ( satisfaz
Rec )) ( ( X P (substitua
j n
j n
j n
Y X
+
+
+
= em
=
+
=
k
j
j n j
X a
0
). 0
iv) Se
=
=
n
k
k n
x S
0
ento ) (
n
x satisfaz Rec )) ( ( x P se e s se ) (
n
S satisfaz
Rec )) ( ) 1 (( x P x (escreva
j n j n j n
S S x
+ + + + +
=
1 1
e substitua em
=
+ +
=
n
j
j n j
x a
0
1
). 0
Por iii), para ver que, para todo polinmio ) (x Q de grau menor que m,
n
n
n Q X ) ( = satisfaz Rec ), ) ((
m
x basta ver que ( ) ) ( ) ( n Q Y
n
= satisfaz
Rec ), ) 1 ((
m
x o que faremos por induo. Isso claro se m = 1, e em geral, se
), ( ) 1 (
1
n Q n Q Y Y Z
n n n
+ = =
+
como ) ( ) 1 ( ) (
~
x Q x Q x Q + = tem grau menor
que m 1, ) (
n
Z satisfaz Rec ) ) 1 ((
1
m
x (por hiptese de induo), e logo, por
(iv), ) (
n
Y satisfaz Rec ). ) 1 ((
m
x Essa observao, combinada com ii), mostra
que se
r
r
x x x x P

) ...( ) ( ) ( ) ( (
2 1
2 1
= , e grau
i i
Q < ) ( para r i 1
ento
=
=
r
i
n
i i n
n Q x
1
) ( satisfaz Rec )) ( ( x P .
Para ver que se ) (
n
x satisfaz Rec )) ( ( x P ento
n
x da forma acima, usaremos
induo novamente.

Supomos 0
1
e tomamos
n
n n
X Y
1
= , ). com (
0 0 1
Y Z Y Y Z
n n n
= =
+

Por iii) e iv),
n
Z satisfaz Rec )) 1 ( ) ( (
1
x x P e, portanto por hiptese de induo,
, ) )( (
~
... ) )( (
~
) (
~
1 1 2 2 1
n
r r
n
n
x Q x Q x Q Z + + + = onde grau
i i
Q <
~
para
r i 2 e grau . 1
~
1 1
< Q
Para terminar a prova, vamos mostrar que se existem polinmios
k
P P P ,..., ,
2 1
tais
que
n
k k
n
n n
n P n P n P Y Y ) ( ... ) ( ) (
2 2 1 1
+ + + =
+
(onde 1,
k
,...,
2
so complexos
distintos e 2 , 0 i P
i
) ento , ) (
~
... ) (
~
) (
~
2 2 1
n
k k
n
n
n P n P n P Y + + + = onde
k
P P
~
,...,
~
1
so polinmios com grau
i i
P P
~
grau = para 2 i e grau
, 1 grau
~
1 1
+ = P P por induo na soma dos graus dos polinmios
i
P , onde
convencionamos que o grau do polinmio nulo 1.
EUREKA! N9, 2000
37
(no nosso caso temos ,
1

i i
= e como
n
n
n
Y X
1
= o resultado segue
imediatamente).

Para provar essa afirmao observamos inicialmente que, se a soma dos graus de
i
P 1, ento , , 0
1
n Y Y
n n
=
+
e logo,
n
Y constante e, em geral,
consideramos 2 casos:

a) . 0 , ... ) (
0
1
1 1
+ + + =

m
m
m
m
m
c c x c x c x P Nesse caso definimos
,
1
~
1
+
=
+
m
n c
Y Y
m
m
n n
e temos , ) ( ... ) ( ) (
~ ~
1 2 1 1
n
k k
n
n n
n P n P n Q Y Y + + + =
+
com
grau . m Q < Por hiptese de induo,
n
Y
~
(e logo
n
Y ) da forma desejada.

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

s
s
s
s
s
d d x d x d x P Nesse caso, definimos
,
1
~
2
2

n s
s
n n
n d
Y Y e temos , ) ( ... ) ( ) ( ) (
~ ~
3 3 2 1 1
n
k k
n n
n n
n P n P n Q n P Y Y + + + + =
+

com grau . s Q < Por hiptese de induo,
n
Y
~
(e logo
n
Y ) da forma desejada.

Exemplo: ) ( n sen x
n
= satisfaz uma recorrncia linear. De fato,
+ = + =
+
sen n n sen n sen x
n
) cos( cos ) ( ) (
1

+ = + =
+
2 ) cos( 2 cos ) ( ) 2 (
2
sen n n sen n sen x
n

, ) cos
2
2 (cos
2
1 2 n n n
x
sen
sen
x
sen
sen
x
=
+ +
ou seja,
. cos 2
1 2 n n n
X X x =
+ +
Note que
n
x no parece ser da forma geral descrita
nesta seo, mas de fato,

n n n i n i
in in
n
isen
i
isen
i
e
i
e
i i
e e
x ) (cos
2
1
) (cos
2
1
) (
2
1
) (
2
1
2

+ = =

Obs. Se ) (
n
x satisfaz Rec )) ( ) 1 (( x P x , onde , ... ) (
0
1
1
a x a x a x P
k
k
k
n
+ + + =

ento, se definirmos , ...
0 1 1 n k n k k n k n
x a x a x a Y + + + =
+ +
teremos
N =
+
n Y Y
n n
,
1
, ou seja,
n
Y constante. Assim,
n k n k
x a x a
0
... + +
+
um
invariante da seqncia
n
x , o que uma observao til para muitos problemas
olmpicos. Veja o problema 3 da IMO.

EUREKA! N9, 2000
38
EXEMPLO: OS NMEROS DE FIBONACCI.

A sucesso que lhes d origem : 0 ,
1 2
+ =
+ +
n f f f
n n n

em que
0
f e
1
f so dados. Ao aplicar o mtodo analisado, considerando
0
f = 0 e
, 1
1
= f obtemos o polinmio caracterstico , 0 1
2
= cujas solues so:
,
2
5 1
1
+
=
2
5 1
2

=
Considerando as condies do bordo a soluo geral da equao de Fibonacci
(ver [3]):
0 ), (
5
1
2 1
= n f
n n
n

Observa-se que os valores associados a esta sucesso so todos inteiros. Por
exemplo: , 3 , 2
4 3
= = f f etc. Podemos comprovar que, se n converge a infinito
ento
2
converge a zero, portanto,
n
f da ordem de ,
1
n
e a frao
n n
f f
1 +

converge a
1
.

4. EQUAES NO HOMOGNEAS DE PRIMEIRA ORDEM COM COEFICIENTES
CONSTANTES.

A equao mencionada do tipo:
, ...
0 1 n n k k n k
y x a a x a = + + +
+

onde
k
a a a ,..., ,
1 0
so constantes e
n
y satisfaz uma equao homognea de
primeira ordem com coeficientes constantes.
Supondo que
n
y satisfaa
, 0 ...
0 1 1
= + + +
+ + n n n
y b y b y b

onde
b b b ,..., ,
1 0
so constantes, observamos que
+ + +
+ + +
) ... (
0 m k m k
x a x a b
... ) ... (
1 0 1 1
+ + +
+ + + m k m k
x a x a b
, 0 ) ... (
0 0
= + +
+ m k m k
x a x a b
ou seja, temos uma equao homognea de primeira ordem com coeficientes
constantes.
Pode-se demonstrar que a equao caracterstica da recorrncia :
. 0 ) ... ( ) ... (
0
1
1 0
1
1
= + + + + + +

b x b x b a x a x a
k
k
k
k

EUREKA! N9, 2000
39

Exemplo 1: Considere a seguinte equao de recorrncia

=

contrrio caso , 0
; 1 4, de multiplo se , 1
1
n n
x x
n n

. 0
0
= x
=
contrrio caso , 0
a. recorrnci a satisfaz 4, de multiplo se , 1 n
y
n

. 0 , 0
4 4
= =
+ +
n y y y y
n n n n
Assim,
=
+ +
0 ) ( ) (
1 3 4 n n n n
x x x x
0
1 3 4
= +
+ + n n n n
x x x x e
; 0 0 ; 0
1 0 1 0
= = = x x x x
; 0 0
2 1 2
= = x x x
; 0 0
3 2 3
= = x x x
. 1 1
4 3 4
= = x x x
A equao caracterstica 0 ) 1 ( ) 1 ( 0 1
4 4 5
= = + x x x x x a qual
possui as razes 1 (raiz dupla); 1; i ; i. Ou seja,
, ) 1 ( ) 1 ( 1 ) (
n n n n
n n
E i D C B A x + + + + =
A, B, C, D, E constantes.
De fato, considerando as condies de bordo,

+
+
+
+ =
n n
n
n
i
i
i
i n
x ) (
8
) 1 (
8
) 1 (
8
) 1 (
8
3
4

8
3 ) 1 ( )) 1 ( ) 1 ( ) 1 ((
4
+ + +
+ =
n n n
n
i i i n
x
( interessante notar que, na verdade, .)
4
(
=
n
x
n

Exemplo 2: Seja a seguinte equao de recorrncia, que considera logaritmos em
base 2:

3 , log log ) ( 2 ) (
2 2
+ = n n n f n f
1 ) 2 ( = f
Neste caso aplicamos uma troca de varivel para ir desta equao a uma equao
linear, e poder resolv-la, o qual significa que haver soluo s para os valores
de n que tome com este cambio. Este :
EUREKA! N9, 2000
40
k
n
2
2 = ,
1
2
2

=
k
n , k n =
2 2
log log

Ao efetuar essas substituies na equao obtemos:
k x x
k k
=
1
2 (3)
onde:
) 2 ( ) (
2
k
f n f x
k
= =
1 ) 2 (
0
2
0
= = f x

A equao (3) uma equao no homognea. Procedendo como acima
obtemos:
0 2 5 4
1 1 2
= +
+ + k k k k
x x x x

cuja soluo considerando a condio do bordo :
0 , 2 3 2 + = k k x
k
k

Logo, voltando a varivel n original, a soluo final :
, 2 log log log 3 ) (
2 2 2
= n n n f 0 , 2
2
= k n
k

A soluo s tem resultados inteiros para os valores de n mencionados. Por
exemplo: , 8 ) 16 ( , 3 ) 4 ( = = f f etc. Deixamos a prova deste fato como exerccio
para o leitor.

EUREKA! N9, 2000
41
EQUAES FUNCIONAIS
Eduardo Tengan - Colgio Etapa

Nvel Avanado

Uma das tcnicas bsicas para a resoluo de equaes com funes
perceber quando ela injetora, isto , quando . ) ( ) ( b a b f a f = = Isto
particularmente freqente em problemas em que temos equaes do tipo
. 0 , )) ( ( = k kx x f f De fato, . )) ( ( )) ( ( ) ( ) ( b a kb ka b f f a f f b f a f = = = =
"Sabendo que f injetora, podemos provar novas relaes aplicando f dos dois
lados da equao". Por exemplo, considere o seguinte problema:

(IMO) Seja
+
Q o conjunto dos racionais positivos. Construa uma funo
+ +
Q Q : f tal que y x f y xf f ) ( )) ( ( = para todo . ,
+
Q y x
Para x = 1, temos y f y f f ) 1 ( )) ( ( = e da temos que f injetora:
, ) 1 ( ( . ) 1 ( ) 1 ( )) ( ( )) ( ( ) ( ) (
+
= = = = Q f b a b f a f b f f a f f b f a f logo
). 0 ) 1 ( f
Agora, vamos provar que a funo multiplicativa, isto , que
). ( ) ( ) ( b f a f ab f = Aplicamos f a cada membro da equao,
ab
f
ab f f
) 1 (
)) ( ( =
ab
f
b
a f f
b f a f f
) 1 ( )) ( (
)) ( ) ( ( = =
Como os resultados so iguais e f injetora, conclumos que ). ( ) ( ) ( b f a f ab f =
Da temos:
1 ) 1 ( ) 1 ( ) 1 ( ) 1 1 ( = = f f f f
) (
1 1 1
) ( 1
1
) (
1
a f a
f
a
f a f
a
f a f
a
a f = |
.
|
\
|
|
.
|
\
|
= |
.
|
\
|
= |
.
|
\
|

) (
) ( 1
b f
a f
b
a f
b
a
f = |
.
|
\
|
= |
.
|
\
|

Assim, basta construir a funo para os inteiros positivos. Mais ainda, basta
defini-la para os primos. Devemos ter . 1 ) 1 ( )) ( ( p p f p f f = = Pensando um
pouco, sendo ,... , ,
3 2 1
p p p todos os primos, podemos tomar
EUREKA! N9, 2000
42
=
+
mpar se 1
par se
) (
1
1
n p
n p
p f
n
n
n

e verificar que a condio inicial satisfeita.

EXERCCIO 1
(IMO) Determine o menor valor possvel de f(1998), onde f uma funo do
conjunto N dos inteiros positivos nele mesmo, tal que, para todo : , N n m
. )) ( ( )) ( (
2 2
n f m m f n f =

Para funes de domnio real, podemos utilizar desigualdades para obter
igualdades. Por exemplo, considere o seguinte problema.

Determine todas as funes R R
2
: f tais que a a a f = ) ; ( para todo R a e
) , ( ) , ( d c f b a f d c b a < + < + para quaisquer a, b, c, d R .
Observe, em primeiro lugar, que, para , 0 >
|
.
|
\
|
+
+
+
+
|
.
|
\
|

+
+

2
,
2
) , (
2
,
2
b a b a
f b a f
b a b a
f
(*)
2
) , (
2
+
+

+
b a
b a f
b a

Logo razovel que . 2 ) ( ) , ( b a b a f + = Suponha que existam
0
a e
0
b tais que
. 2 ) ( ) , (
0 0 0 0
b a b a f + Se , 2 ) ( ) , (
0 0 0 0
b a b a f + > ento 0 , 2 ) ( ) , (
0 0 0 0
> + + = p p b a b a f .
Mas 2 2 ) ( ) , (
0 0 0 0
p b a b a f + + por (*), ou seja,
, 0 2 2 ) ( 2 ) (
0 0 0 0
+ + + + p p b a p b a absurdo.
Analogamente 2 ) ( ) , (
0 0 0 0
b a b a f + < impossvel. Logo 2 ) ( ) , ( b a b a f + =
para todo . , R b a
Podemos utilizar um raciocnio semelhante em diversos problemas que envolvem
funes crescentes. s vezes, necessrio obter a desigualdade a partir das
condies do problema, muitas vezes, utilizamos relaes como ( ) ( ) ( )
2 2
x f x f =
para concluir que 0 ) ( 0 x f x (basta substituir x no lugar de x na relao
anterior).
Observe o exerccio a seguir.
Seja f uma funo de R em R tal que f(1) = 1, f (a + b) = f(a) +f(b) para todo a,
b e 1 ) 1 ( ) ( = x f x f para todo . 0 x Prove que x x f = ) ( para todo nmero real.
EUREKA! N9, 2000
43
fcil ver que n n f = ) ( para todo n inteiro positivo e de
0 ) 0 ( ) 0 ( ) 0 ( ) 0 ( = + = f f f f e , 1 ) 1 ( ) 1 ( ) 1 ( ) 0 ( = + = f f f f que
x x f = ) ( para todo . Z x Para verificar este resultado para , Q x basta
utilizar ). ( 1 ) 1 ( x f x f = Observamos ainda que f injetora: temos
). ( ) ( ) ( ) ( ) ( ) ( y f x f y x f x f y x f y f = = +
Como , 0 ) ( 1 ) 1 ( ) ( = x f x f x f ento 0 0 ) ( = = x x f e
. 0 0 ) ( 0 ) ( ) ( ) ( ) ( y x y x y x f y f x f y f x f = = = = =
Para estender o resultado para R, precisamos obter uma desigualdade (na
verdade, s desta forma que poderemos distinguir o conjunto dos racionais do
conjunto dos reais. No jargo matemtico, dizemos que R um corpo ordenado
completo). Utilizando a observao que precede o exerccio, vamos tentar
calcular ). (
2
x f
Se 0 ) ( ,
2 2
a a f a a (pois f injetora), logo
|
.
|
\
|
+ = |
.
|
\
|
=
a a
f
a a
f
a a f a f a f 1
1 1 1
) (
1
) ( ) (
1
2 2 2

, )) ( ( ) (
) 1 (
1
) (
1
1
1 1
2 2
a f a f
a f a f a
f
a
f =
+ = |
.
|
\
|
+ |
.
|
\
|
=
que vale tambm quando 0
2
= = a a a ou . 1 = a
Agora, observando que ), ( ) ( 0 ) ( 0 b f a f b a f b a b a > > > >
conclumos verificando que, por exemplo, se
0 0
) ( x x f > para algum ,
0
R x que
se
0 0
) ( x x f < ento existe um Q q tal que . ) (
0 0
x q x f > > Porm
), ( ) ( ) (
0 0 0
x f q x f q f x q > > > o que absurdo. O caso
0 0
) ( x x f <
anlogo, o que termina o problema.

EXERCCIO 2
(IMO) Encontre todas as funes R R : f tais que . ) ( )) ( (
2 2
x f y y f x f + = +
Dica: Prove que
2 2
)) ( ( ) ( x f x f = e que ), ( ) ( ) ( y f x f y x f + = + para 0 x e
, R y ento conclua. Se voce no conseguir concluir, puxa!! Voc passou muito
perto da resoluo.

EXERCCIO 3
(IMO) Encontre todas as funes f, definidas no conjunto dos reais no negativos
e assumindo valores reais no negativos, tais que:
i) ) ( ) ( )) ( ( y x f y f y xf f + = para todo 0 , y x
EUREKA! N9, 2000
44
ii) 0 ) 2 ( = f
iii) 0 ) ( x f para 2 0 < x
Dica: ). ( 2 2 y f x y x Incrvel, no?
PONTO FIXO
Muitas vezes, til considerarmos os pontos fixos de uma funo, isto , pontos x
tais que . ) ( x x f = Para mostrar que esta simples considerao leva, muitas vezes,
soluo do problema, observe abaixo o seguinte exemplo:

(IMO) Seja S o conjunto dos reais maiores que 1. Encontre todas as funes
S S f : satisfazendo as condies
i) S y x x yf x f y y xf y f x f + + = + + , ), ( ) ( )) ( ) ( (
ii) x x f ) ( estritamente crescente para 1 < x < 0 e x > 0.
Para x = 0, temos ), 0 ( )) 0 ( 1 ( )) ( ( f f y y f f + + = donde conclumos que f
injetora. De ) 0 ( )) 0 ( ( f f f = e da injetividade de f, conclumos que . 0 ) 0 ( = f
Seja
0
x um ponto fixo de f. Sabemos da condio ii) que h no mximo um ponto
em cada um dos intervalos (1; 0) e (0; + ). Substituindo
0
x y x = = em i),
encontramos ( ) . 2 2
0
2
0 0
2
0
x x x x f + = +
Se ), 0 ; 1 ( 2 ), 0 ; 1 (
0
2
0 0
+ x x x logo
0 0
2
0
2 x x x = + , absurdo. Analogamente,
no h pontos fixos em ). ; 0 ( +
Assim, 0 o nico ponto fixo de f. Substituindo x = y em i), temos
), ( ) ( )) ( ) ( ( x xf x f x x xf x f x f + + = + + ou seja ) (x xf ponto fixo e, portanto,
igual a 0, logo ), 1 ( ) ( x x x f + = que satisfaz i) e ii).
EXERCCIO 4
(IMO) Encontre todas as funes f definidas no conjunto dos reais positivos e
assumindo valores neste conjunto e que satisfaz as condies:
i) ) ( )) ( ( x yf y xf f = para todo ; ,
*
+
R y x
ii) 0 ) ( x f quando . + x

EXERCCIO 5
(Torneio das Cidades) Mostre que no existem funes R R : f tais
. 1996 )) ( (
2
= x x f f Dica: utilize pontos fixos, mas utilize mesmo!
EXERCCIO 6
(IMO) Seja
0
N o conjunto dos inteiros no negativos. Encontre todas as funes
0 0
: N N f tais que ), ( )) ( ( )) ( ( n f m f f n f m f + = + . ,
0
N n m
Dica: considere o menor ponto fixo da funo.
EUREKA! N9, 2000
45
OLIMPADAS AO REDOR DO MUNDO

O comit editorial da EUREKA! sente-se gratificado pela acolhida desta
nova seo por parte dos seus leitores.
Aproveitamos a oportunidade para agradecer aqueles que nos enviaram
sugestes, opinies, crticas e principalmente solues para os problemas.
Cumpre informar, aos leitores, que por uma questo de espao fsico as solues
de todos os problemas propostos, em um exemplar de EUREKA!, no podero ser
apresentadas no nmero posterior ao daquele em que foram publicados visto que
a revista possui outras sees de grande interesse do pblico em geral.
Entretanto, as mesmas sero divulgadas nos nmeros posteriores
medida que os leitores as enviarem. Se houver interesse mais urgente na
soluo de algum problema especfico, solicitamos contactar a OBM, seo
OLIMPADAS AO REDOR DO MUNDO, atravs de carta ou e-mail.

Antonio Luiz Santos

Primeiramente vamos aos problemas propostos deste nmero
32. (Moldvia-1998) A seqncia ( )
n
a , n N* verifica as relaes
2
1
1
= a e
1 2
1
1
+
=
n
n
n
na
a
a para todo nmero natural 1 > n . Calcule
1998 2 1
a a a + + + .
33. (Moldvia-1999) Seja n um nmero natural tal que
2
2n possui 28 divisores
distintos e o nmero
2
3n possui 30 divisores distintos . Qual o nmero de
divisores do nmero
2
6n ?

34. (Ucrnia-1996) A seqncia ( )
n
a , 0 n tal que 1
0
= a , 0
100
= a , e para todo
1 n , tem-se que
1 1 1
2
+
=
n n n
a a a a .
a) Mostre que 1
1
a .
b) Determine
1996
a

35. (Ucrnia-1997) Seja ( ) n d o maior divisor mpar de um nmero natural n.
Definamos uma funo : f N N tal que ( )
n
n f 2 1 2 = e ( )
( )
|
|
.
|
\
|
+ =
n d
n
n n f
2
2
EUREKA! N9, 2000
46
para todo n N. Determine todos os valores de k tais que ( ) ( ) ( ) 1997 ... 1 ... = f f f
onde f iterada k vezes.

36. (China-1999) Seja PQRS um quadriltero inscrito num crculo e cuja medida do
ngulo PSR seja igual a
o
90 . Se H e K so os ps das perpendiculares
baixadas de Q sobre PR e PS respectivamente (convenientemente prolongados
se necessrio). Mostre que HK divide QS ao meio.

37. (Rssia-1999) Os algarismos de um inteiro positivo A em sua representao no
sistema de numerao decimal crescem da esquerda para a direita. Determine a
soma dos algarismos do nmero A 9 .

38. (Japo-1999) Para um hexgono convexo ABCDEF cujos lados possuem todos
medidas iguais a 1, determine o valor mximo M e o valor mnimo m das
diagonais AD , BE e CF e seus possveis conjunto de valores.

39. (Irlanda-1999) Determine todos os inteiros positivos m tais que a quarta
potncia do nmero de seus divisores positivos igual a m.

40. (Irlanda-1999) Mostre que existe um nmero inteiro positivo na seqncia de
Fibonacci que divisvel por 1000 .

41. (Taiwan-1999) Seja * P o conjunto de todos os nmeros primos mpares
menores do que 10000 . Determine todos os nmeros primos * P p tal que para
cada subconjunto S de * P , digamos, { }
k
, ... , p , p p S
2 1
= , com 2 k , sempre
que S p , existe algum q em * P , mas no em S tal que 1 + q um divisor de
( )( ) ( ). 1 1 1
2 1
+ + +
k
p p p

42. (Taiwan-1999) As alturas de um tringulo acutngulo ABC onde AC AB >
intersectam os lados BC , AC e BC nos pontos D, E e F respectivamente. Se
EF intersecta BC no ponto P e a reta que passa por D e paralela a EF
intersecta AC e AB em Q e R respectivamente, seja N um ponto sobre o lado
BC tal que
o
NRP NQP 180 < + . Prove que CN BN > .

43. (Bulgria-1999) Seja p um parmetro real tal que a equao
0 3
2
= p px x possui duas razes reais distintas
1
x e
2
x .
EUREKA! N9, 2000
47
a) Prove que 0 3
2
2 1
> + p x px .
b) Determine o menor valor possvel de
2
2
1 2
2
2 1
2
3 3
3 3 p
p x px
p x px
p
A
+ +
+
+ +
= .
Quando ocorre a igualdade ?

44. (Bulgria-1999) Determine o menor nmero natural n tal que a soma dos
quadrados de seus divisores (incluindo 1 e n) igual a ( )
2
3 + n .

45. (Bulgria-1999) Seja M o ponto mdio do lado BC de um tringulo ABC no
qual
o
CAB 45 = e
o
ABC 30 = .
a) Determine AMC
b) Prove que
AC
BC AB
AM
2

=

46. (Bulgria-1999) Sejam M um ponto do interior de um quadrado ABCD e
1
A ,
1
B ,
1
C e
1
D os pontos de interseo de AM , BM , CM e
DM respectivamente com o crculo circunscrito ao quadrado ABCD . Mostre que
1 1 1 1 1 1 1 1
C B D A D C B A = .

47. (Ir-1999) Determine todas as funes f : R R que satisfazem a
( ) ( ) ( ) ( )y x f y x f y x f f 4
2
+ = + para todos os nmeros reais x e y .

48. (Ir-1999) Em um tringulo ABC
a bissetriz do ngulo
BAC
intersecta o lado
BC
no ponto
D
. Seja
um crculo tangente a
BC
no ponto
D
e que passa pelo
ponto
A
. Se
M
o segundo ponto de interseo de
AC
com
e se
BM

intersecta o crculo em
P
, mostre que
AP
uma mediana do tringulo
ABD
.

49. (Repblicas Tcheca e Eslovaca-1999) Determine o menor nmero natural que
pode ser obtido colocando-se parntesis na expresso
2 : 3 : 4 : 5 : 6 : 7 : 8 : 9 : 10 : 11 : 12 : 13 : 14 : 15

50. (Repblicas Tcheca e Eslovaca-1999) A mdia aritmtica de uma quantidade de
nmeros primos distintos igual a 27 . Determine o maior nmero primo que
aparece entre eles.

EUREKA! N9, 2000
48
51. (Repblicas Tcheca e Eslovaca-1999) Mostre que para todo nmero natural n o
produto
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|

n
2
4
3
2
4
2
2
4
1
2
4
um inteiro.

52. (Espanha-1998) As tangentes dos ngulos de um tringulo so inteiros
positivos. Determine estes nmeros.

53. (Espanha-1998) Determine todas as funes estritamente crescentes
f : N* N* tais que ( ) ( ) ( ) n f n f n f 2 = +

54. (Eslovnia-1999) Seja O o centro do crculo circunscrito ao tringulo ABC . Se
P e Q so os pontos mdios de AO e BC respectivamente, determine a
medida do ngulo OPQ se OPQ CBA = 4 e OPQ ACB = 6 .

55. (Eslovnia-1999) Determine todos os inteiros x e y que satisfazem equao
3 3
127 9 y xy x = + + .

56. (Estnia-1999) Determine todos os valores de a tais que o valor absoluto de
uma das razes da equao ( ) 0 3 5 2 2
2 2
= + + a a x a x seja igual a duas vezes
o valor absoluto da outra raiz.

57. (Estnia-1999) Sejam
1
O e
2
O os centros de dois crculos que no se
intersectam e de mesmo raio. Se s a reta que passa pelos seus centros e t sua
tangente comum externa, considere um crculo tangente aos dois crculos nos
pontos K e L e tambm tangente s retas s e t nos pontos M e P
respectivamente. Determine a medida de
2 1
O O . Mostre ainda que os pontos M ,
K e N esto alinhados onde N o ponto de tangncia da reta t com o primeiro
crculo.

58. (St.Petersburg-1999) 150 bolas de encher (bexigas) vermelhas , 150 azuis e 150
verdes flutuam sob o teto de um circo. Existem exatamente 13bolas verdes
dentro de cada bola azul e exatamente 5 bolas azuis e 19 bolas verdes dentro de
cada bola vermelha. Mostre que algumas bolas verdes no esto contidas no
interior de nenhuma das outras 449 bolas.

EUREKA! N9, 2000
49
59. (St.Petersburg-1999) Todos os nmeros inteiros positivos no superiores a 100
so escritos em ambos os lados de 50 cartas (cada nmero escrito exatamente
uma vez). Estas cartas so postas sobre uma mesa de modo que somente os
nmeros que estejam virados para cima podem ser vistos. Gustavo pode escolher
vrias cartas, vir-las e ento calcular a soma de todos os 50nmeros que
aparecem agora. Qual o valor mximo da soma S tal que Gustavo pode com
certeza obter uma soma no inferior a S ?

60. (St.Petersburg-1999) Trs mgicos apresentam um truque entregando a uma
pessoa da platia um mao de cartas numeradas com ). 6 ( 1 2 ,..., 2 , 1 > + n n O
espectador fica com uma das cartas e aleatoriamente distribui as restantes entre o
primeiro e o segundo mgicos (cada um deles fica com n cartas) . Estes olham
suas cartas (sem se comunicar um ao outro) e cada um escolhe duas cartas
formando um mao (ordenado) com estas cartas e as entrega ao terceiro mgico.
O terceiro mgico olha estas quatro cartas e anuncia a carta que ficou com o
espectador. Explique como este truque pode funcionar.

Agora vamos aos comentrios e solues dos leitores para alguns dos
problemas apresentados no nmero anterior de EUREKA!. O critrio por ns
adotado para este nmero foi apresentar as solues dos problemas que foram,
at o presente momento, resolvidos pelo maior nmero de leitores.

4. (Reino Unido-1998) Em um tringulo ABC , D o ponto mdio de AB e E
um ponto do lado BC tal que EC BE 2 = . Sabendo que BAE ADC =
determine a medida do ngulo BAC .

Enviaram solues Einstein do Nascimento Jnior (Fortaleza-CE), Geraldo
Perlino Jnior (SP) e Diego Alvarez Arajo Correia (Fortaleza-CE).

Soluo de Einstein do Nascimento Jnior:
Sejam BAE ADC = = e CD AE P = e tracemos pelo ponto D uma reta
paralela a AE e que intersecta o lado BC no ponto Q . Como EQ EC = e
PE DQ// ento PD AP = . Da, PC PA PD = = e seja = = PAC PCA
logo,
o o o
PDA PAB PAC PCA 90 180 2 2 180 = + = + = + + + .

7. (Rssia-1998) Existem nmeros de n algarismos M e N onde todos os algarismos
de M sejam pares, todos os algarismos de N sejam mpares, cada um dos
EUREKA! N9, 2000
50
algarismos de 0 a 9 ocorrendo exatamente uma vez entre M e N e tais que M
divide N ?
Enviaram solues com comentrios sobre um possvel erro no enunciado: Diego
Alvarez Arajo Correia (Fortaleza-CE) e Marclio Miranda de Carvalho (Teresina
PI).

Soluo de Marclio Miranda de Carvalho:

mpar par
N K M N M =

| absurdo!

Concluso : No existem M e N que satisfaam s condies do problema
Marclio tambm observou que como a Rssia tem grande tradio em IMOs
deveria haver um erro no enunciado e que o mesmo possivelmente deva ser : ...
e tais que N divide M apresentando a seguinte soluo para o novo
enunciado :
( )
( ) 9 mod 7 9 7 5 3 1
9 mod 2 8 6 4 2 0
+ + + +
+ + + +
N
M

( ) ( ) . 8 9 mod 8 9 mod 2 7 | = K K K M K N M N
Mas M K N N >
5
10 13579 possui mais de 5 algarismos.
Concluso : No existem M e N que satisfaam s condies do problema.

8. (Romnia-1998) O volume de um paraleleppedo
3
216cm e a sua rea total
2
216cm . Mostre que o paraleleppedo um cubo.

Perlino Jnior (SP), Jos Guilherme Moreira Pinto (Juiz de Fora - MG) e Diego
Alvarez Arajo Correia (Fortaleza-CE).

Soluo de Diego Alvarez Arajo Correia:
Sejam a , b e c as medidas das dimenses do paraleleppedo. Pelo enunciado
tem-se : 216 = abc e 108 = + + bc ac ab .
EUREKA! N9, 2000
51
Como MG MA ,
3
3
ac bc ab
ac bc ab

+ +
ento
( ) ( ) 36 36 36 216
3
108
3
2
3
2
= = abc . Como ocorre a igualdade, temos que
c b a ca bc ab = = = = .

13. (Irlanda-1999) Uma funo f : N N satisfaz s condies :

( ) ( ) ( ) 1, b e a de comum divisor mximo o se b f a f ab f =
( ) ( ) ( ) q. e p primos nmeros os todos para q f p f q p f + = +
Mostre que ( ) ( ) 3 3 f , 2 2 = = f e ( ) 1999 1999 = f .

Enviaram solues Marclio Miranda de Carvalho (Teresina PI) e Geraldo
Perlino Jnior (SP).

Seja p um nmero primo mpar, ento ( ) ( ) ( ) p f f p f = 2 2 . Como,
( ) ( ) ( ) ( ) ( ) 2 2 2 2 = = + = f p f p f p f p f
Alm disso, ( ) ( ) ( ) ( ) ( ) 3 4 12 4 2 2 4 f f f f f = = + = .

Por outro lado

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 3 3 3 2 6 3 2 3 2 2 12 5 7 12 = + = + + + = + = f f f f f f f f f f .

Finalmente,

( ) ( ) ( ) ( ) ( ) ( ) ( ) . 23 23 26 26 13 13 15 15 5 3 2 5 = = = = = + = f f f f f f f
Mas, ( ) ( ) ( ) ( ) ( ) 29 29 31 31 33 33 11 11 13 13 = = = = = f f f f f . Logo,
( ) ( ) ( ) ( ) ( ) 1999 1999 2001 29 23 3 2001 = = = f f f f f

14. (Sua-1999) Determine todas as funes f : R\ { } 0 R satisfazendo a
( ) x
x
f x f
x
= |
.
|
\
|
+
1 1
para todos x R\ { } 0 .

Enviaram solues Marclio Miranda de Carvalho (Teresina PI) e Geraldo
Perlino Jnior (SP).
EUREKA! N9, 2000
52
Soluo de Geraldo Perlino Jnior:
Seja a R com 0 a . Fazendo a x = e
a
x
1
= na equao dada temos
( ) a
a
f a f
a
= |
.
|
\
|
+
1 1
e ( )
a
a f
a
f a
1 1
= + |
.
|
\
|
. Resolvendo-se o sistema
formado por estas duas equaes chegamos a ( ) |
.
|
\
|
+ =
a
a a f
1
2
1
2
e portanto,
( ) |
.
|
\
|
+ =
x
x x f
1
2
1
2
.

15. (Sua-1999) Dois crculos intersectam-se em dois pontos M e N . Um ponto
A qualquer do primeiro crculo, distinto de M e N , unido aos pontos M e
N de modo que as retas AM e AN intersectam novamente o segundo crculo
nos pontos B e C . Mostre que a tangente ao primeiro crculo em A paralela a
BC .

Perlino Jnior (SP) e Diego Alvarez Arajo Correia (Fortaleza-CE) .

Soluo de Einstein do Nascimento Jnior:
Seja = MNA e P um ponto sobre a tangente ao primeiro crculo em A.
Temos ento que MNA MAP = = e como o quadriltero MNBC inscritvel
ento =
o
MNB 180 e da = MCB
resultando em BC AP CAP ACB // = .
17. (Ucrnia-1999) Mostre que o nmero 1999000 9999999+ composto.


( )
( )
( ) ( ) ( ) ( ) ( )
( )( ) 4001 2999 1 10 10 3 1 10 3
1 10 1 10 3 1 10 3 10 3 1 10 1 10 10 3 1 10 3 10 3
1 10 3 10 10 3 1 10 3 10 3 10 10 2 1 10 10 9
10 1 10 2 1 10 1999000 9999999
3 3 3
3 3 3 3 3 3 3 3 3
3 3 6 3 3 3 6 6 6
3 3 7
= + + =
= + + = + + + =
= + + = + + =
= + = +

EUREKA! N9, 2000
53
19. (Litunia-1999) Duas cordas AB e CD de um crculo intersectam-se no ponto
K . O ponto A divide o arco CAD em duas partes iguais. Se a AK = e b KB = ,
determine a medida da corda AD .

Enviaram solues Marclio Miranda de Carvalho (Teresina PI), Einstein do
Nascimento Jnior (Fortaleza-CE), e Geraldo Perlino (SP) e Geraldo Perlino
Jnior (SP).


Seja = = ADK ABD ento tem-se que os tringulos ADK e ABD so
semelhantes logo,
( ) ( ) ( ) b a a AD b a a AD
AD
b a
a
AD
+ = + =
+
=
2

21. (Estnia-1999) Determine o valor da expresso
|
.
|
\
|
+ + |
.
|
\
|
+ |
.
|
\
|
+ |
.
|
\
|
+ + |
.
|
\
|
+ |
.
|
\
|
1
2000
1999
2000
2000
2000
2000
1999
2000
2
2000
1
f f f f f f
supondo que ( )
2
2
1 x
x
x f
+
= .

Enviaram solues Marclio Miranda de Carvalho (Teresina PI), Einstein do
Nascimento Jnior (Fortaleza-CE), Geraldo Perlino Jnior (SP), Diego Alvarez
Arajo Correia (Fortaleza-CE) e Gibran Medeiros de Souza (Natal-RN).

( ) 1
1
1
1
1
1
1
1
1
1
1
2
2
2
2
2
2
2
2
2
2
2
=
+
+
=
+
+
+
=
|
.
|
\
|
+
|
.
|
\
|
+
+
= |
.
|
\
|
+
x
x
x
x
x
x
x
x
x
x
x
x
f x f . Logo o valor da
expresso
( )
2
3999
1 1999
2000
2000
1999 = + = |
.
|
\
|
+ f f

EUREKA! N9, 2000
54
22. (Eslovnia-1999) Inicialmente os nmeros
1999
1
,
1998
1
..., ,
3
1
,
2
1
, 1 so escritos
em um quadro negro. Em cada passo, escolhemos dois destes nmeros, digamos
a e b, e os substitumos pelo nmero ab b a + + . Continuamos desta maneira
at que reste um nico nmero no quadro negro. possvel que este nmero seja
2000 ? Justifique sua resposta.

Enviaram solues Einstein do Nascimento Jnior (Fortaleza-CE) e Geraldo
Perlino Jnior (SP).

Resumo da soluo de ambos com adaptaes:

Seja ab b a b a + + = . fcil ver que a b b a = e ( ) ( ) c b a c b a =
e portanto podemos escolher os nmeros em qualquer ordem. Calculemos os
resultados ento na ordem dada :
1999
1999
1
1998 ,..., 3
3
1
2 , 2
2
1
1 = = =
Deste modo vemos que ns sempre alcanaremos 1999 no podendo ento
alcanar 2000 .

EUREKA! N9, 2000
55
SOLUES DE PROBLEMAS PROPOSTOS
Publicamos aqui algumas das respostas enviadas por nossos leitores.

42) Suponha que a, b e c so as medidas dos lados de um tringulo ABC, com
semi-permetro p e rea S, verifique que
s
p
c b a
+ +
2
3 1 1 1

e mais ainda: verifique que a igualdade acima ocorre apenas se o tringulo
for equiltero.

Soluo de Marcelo Rufino de Oliveira (Belm-PA):

Sejam x = a + c b y = a + b c z = b + c a
Pela Desigualdade Triangular temos que x > 0, y > 0 e z > 0.
Assim, isoloando a, b e c: a = x + y b = y + z c = z + x
Pela Desigualdade entre as Mdias Aritmtica e Geomtrica temos:
xy y x 2 + , yz z y 2 + e zx x z 2 + (1)
Vamos desenvolver agora o valor de
2
1 1 1
|
.
|
\
|
+ +
c b a
em funo de x, y e z, usando
para isso o resultado (1):
2 2
2
2
1 1 1
4
1
2
1
2
1
2
1 1 1 1 1 1 1
|
|
.
|
\
|
+ + =
|
|
.
|
\
|
+ +
|
|
.
|
\
|
+
+
+
+
+
= |
.
|
\
|
+ +
zx yz xy zx yz xy
x z z y y x c b a

Pela Desigualdade de Cauchy podemos afirmar que
) ( 3 ) (
2
3
2
2
2
1
2
3 2 1
a a a a a a + + + + .
Fazendo ento
xy
a
1
1
= ,
yz
a
1
2
= e
zx
a
1
3
= conclumos que:
|
|
.
|
\
|
+ + |
.
|
\
|
+ +
zx yz xy c b a
1 1 1
4
3 1 1 1
2
(2)
Calculando
s
p
em funo de x, y e z obtemos:
zx yz xy xyz
z y x
xyz z y x
z y x
s
p 1 1 1
) (
+ + =
+ +
=
+ +
+ +
=
EUREKA! N9, 2000
56

Assim, usando o resultado (2):

2
2
2
4
3 1 1 1
4
3 1 1 1
s
p
zx yz xy c b a
=
|
|
.
|
\
|
+ + |
.
|
\
|
+ +
s
p
c b a 2
3 1 1 1
+ + (3)

Como nas duas desigualdade usadas a igualdade vale se e s se os termos so
iguais, ento temos a igualdade na desigualdade (3) s e s se a = b = c.

43) Prove que se p um primo da forma 4k + 3, ento 2p + 1 tambm primo se
e somente se 2p + 1 divide 2
p
1.

Soluo de Alex Corra Abreu (Niteri - RJ):

Primeira parte:

Se 2p + 1 tambm primo, temos:

1 2 1 2 ) 1 2 (mod 1 2
logo , 7 8 forma da 1 2 que s ), 1 2 (mod 1 2
) 1 2 (mod 1 2 ) 1 2 (mod 1 2
2 ) 1 2 (
+ +
+ + +
+ +
+
p p
p
p p
p p
k p p
p p

Segunda parte:

. 2 com , ) 1 2 (
1 ) 1 2 (2, que s , 2
: ento primo como , ) 1 2 (mod 1 2 Se
1 2
= +
= + =
+
+
k kp p
p ord p
p p
p
p

No podemos ter k = 1, pois ) (n par para todo . 3 n Assim,
1 2 2 ) 1 2 ( + = + p p p primo.

44) O produto de dois inteiros positivos consecutivos pode ser igual ao produto
de dois inteiros positivos consecutivos pares?

EUREKA! N9, 2000
57
Soluo de Daniel Pessa Martins Cunha (Fortaleza - CE):

Seja A o produto de dois nmeros inteiros positivos consecutivos. Isto implica
que ) 1 ( + = x x A onde Z x .
Observe que:
- Caso x seja par temos:
) 2 ( ) 2 ( ) 2 ( ) 1 ( ) 2 ( + < < + < + < x x A x x x x x x x x
(Esta desigualdade fcil de ser vista)
- Caso x seja mpar temos: (Logo x + 1 par)
) 3 )( 1 ( ) 1 )( 1 ( ) 3 )( 1 ( ) 1 ( ) 1 )( 1 ( + + < < + + + < + < + x x A x x x x x x x x
(desigualdade fcil de ser vista)
Analizando os casos vemos que A est entre dois produtos consecutivos de dois
inteiros pares consecutivos positivos.

Logo conclui-se que no possvel que o produto de dois inteiros positivos seja
igual ao produto de dois inteiros positivos consecutivos pares.

46) (Baltic Way, 1997)
i) Prove a existncia de dois conjuntos infinitos A e B, no necessariamente
disjuntos, de inteiros no negativos tais que cada inteiro no negativo pode
ser representado de uma nica forma como a + b, com a A e b B.

ii) Prove que em cada tal par (A, B), ou A ou B contm apenas mltiplos de
algum inteiro k > 1.

Soluo de Humberto Silva Naves (So Paulo - SP):

i) Todo natural se escreve da maneira nica como soma de potncias de 2
distintas, donde os conjuntos n n A | { N = se escreve como soma de potncias
de 2 distintas com expoente mpar} e n n B | { N = se escreve como soma de
potncias de 2 distintas com expoente par} satisfazem as condies do enunciado
(note que A 0 e ). 0 B
ii) 0 deve pertencer aos dois conjuntos, e 1 a exatamente um deles (seno 1 = 0 +
1 = 1 + 0 seria representado de 2 formas distintas), digamos ao conjunto B. Seja k
o menor elemento positivo do conjunto A. fcil ver que {0, 1, ..., k 1} B.
Vamos provar que o mdc dos elementos de A k.
EUREKA! N9, 2000
58
Para isso, vamos mostrar por induo que para cada inteiro positivo m, existem
inteiros
s
r r ,...,
1
tais que }, 1 ,..., 1 , { } | {
1
+ + = <
=
k k r k r k r U mk x B x
i i i
i
e todos os
elementos de A menores que mk so mltiplos de k. Consideremos o inteiro mk.
Ele deve ser escrito de maneira nica como soma de um elemento de A com um
elemento de B. Se , A mk podemos escrever os elementos
1 ,..., 1 , + + k mk mk mk Como soma de um elemento de A(mk) com um
elemento de B (pertencente a }. 1 ,..., 1 , 0 { k Se , A mk podemos escrever
), ( + = k m m mk com A m e . ) ( B k m
Devemos ter . k < Se , 1 por hiptese de induo,
1 ) ( ,..., ) ( ), ( + + k k m k m k m pertencem a B , donde, para
) ) ( ( , 1 j k m ml j mk k j O + + = + soma de elementos de A e de B
menores que mk, donde nenhum dos , j mk + 1 0 k j pertencem a A nem a B
(pela unicidade da representao, seno poderamos escrev-los como
) ( 0 j mk + + ou ), 0 ) ( + + j mk o que prova a afirmao para m + 1. Se
. , 0 B mk = Queremos mostrar que para j mk k j + , 1 0 pertence a B (e
logo no pertence a A), provando a afirmao para . 1 + m Suponha o contrrio, e
considere o menor j com 1 0 k j tal que mk + j no pertence a B. Devemos
ter mk + j = x + y, com } 0 { \ A x e . B y Se rk x mk x = < , e
, ) ( j k r m y + = donde por hiptese de induo, B k r m ) ( e
, ) ( 0 k r m rk mk mk + = + = contradizendo a unicidade. Se , mk x como
1 ,..., 1 , + + j mk mk mk pertencem a B (e portanto no pertencem a A), devemos
ter j mk x + = e , 0 = y mas nesse caso teramos
), ( ) ( ) 1 ( j k j mk mk k k m + + = + = + contradizendo novamente a unicidade.

Agradecemos tambm o envio das solues e a colaborao de:

Jos Guilherme Moreira Pinto (Juiz de Fora - MG)
Osvaldo Melo Sponquiado (Olmpia - SP)
Digo Veloso Uchoa (Teresina - PI)
Nijair Arajo Pinto (Fortaleza - CE)
Gibran M. de Souza (Natal - RN)
Carlos Alberto da Silva Victor (Nilpolis - RJ)
Einstein do Nascimento Jnior (Fortaleza - CE)
Samuel Barbosa Feitosa (Fortaleza - CE)
Geraldo Perlino Jr. (So Paulo - SP)

EUREKA! N9, 2000
59
PROBLEMAS PROPOSTOS
Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos
problemas para os prximos nmeros.

47) Dada uma circunferncia , trace as tangentes a ela por um ponto exterior,
A, tocando-a em M e N. Trace a reta r passando por A e tocando em B e C. Se
D o ponto mdio de MN , prove que MN a bissetriz de . BDC

48) Doze pintores vivem em doze casas construdas ao longo de uma rua circular
e so pintadas ou de branco ou de azul. Cada ms um dos pintores, pegando
consigo bastante tinta branca e azul, deixa sua casa e caminha ao longo da rua no
sentido anti-horrio. Desta forma, ele repinta cada casa (iniciando na sua) com a
cor oposta. Finaliza o trabalho to longo repinte alguma casa branca de azul. Em
um ano, cada casa estar pintada com a sua cor original sabendo que, no comeo
do ano, ao menos uma casa estava pintada de azul.

49) Dado um polgono regular de n lados.
Assinale aleatoriamente, no seu interior, um ponto M. Sendo
n
x x x ,..., ,
2 1
as
distncias de M a cada um dos lados, verifique que:
,
2 1
...
1 1
2 1
a x x x
n
> + + onde a a medida do lado do poligono.

50) Calcule o determinante:
) , ( ) 2 , ( ) 1 , (

) , 2 ( ) 2 , 2 ( ) 1 , 2 (
) , 1 ( ) 2 , 1 ( ) 1 , 1 (
n n MDC n MDC n MDC
n MDC MDC MDC
n MDC MDC MDC

Onde MDC (a, b) o mximo divisor comum de a e b.

51) Trs feirantes foram vender melancias. Um levou 10; outro 16; o terceiro,
26. Todos venderam algumas melancias pelo mesmo preo at o meio dia. Depois
disso, os trs baixaram o preo, mas continuaram vendendo por preos iguais.
Quando voltaram para casa, aps venderem todas as melancias, cada um tinha a
mesma quantia de dinheiro; 35 mil cruzeiros. Por quanto foi vendida cada
melancia antes e aps o meio-dia?

Problema 47 proposto por Carlos Lucas de Melo Pontes e Silva (Fortaleza - CE), problemas
48 e 51 propostos por Jorge Luis Rodrigues Costa (Fortaleza - CE) e problemas 49 e 50
propostos por Carlos A. Gomes (Natal - RN).
EUREKA! N9, 2000
60
COORDENADORES REGIONAIS

Amarsio da Silva Arajo (UFV) Viosa - MG
Alberto Hassen Raad (UFJF) Juiz de Fora - MG
Angela Camargo (Centro de Educ.de Adultos - CEA) Blumenau - SC
Benedito T. Vasconcelos Freire (UFRN) Natal - RN
Claudio Arconcher (Col. Leonardo da Vinci) Jundia - SP
Claus Haetinger (UNIVATES) Lajeado - RS
Cleonor Crescncio das Neves (UTAM) Manaus-AM
lio Mega (Col. ETAPA) So Paulo - SP
Ktia Gonalves de Faria (Col. Singular) Santo Andr - SP
Florncio F. Guimares Filho (UFES) Vitria - ES
Francisco Dutenhefner (UFMG) Belo Horizonte - MG
Gisele de A. Prateado Gusmo (UFGO) Goinia - GO
Ivanilde H. Fernandes Saad (U. Catlica Dom Bosco) Campo Grande - MS
Jacqueline F. Rojas Arancibia (UFPB) Joo Pessoa - PB
Joo Bencio de Melo Neto (UFPI) Teresina - PI
Joo F. Melo Libonati (Grupo Educ. IDEAL) Belm - PA
Irene Nakaoka (UEM) Maring - PR
Jos Carlos Pinto Leivas (UFRG) Rio Grande - RS
Jos Cloves Saraiva (UFMA) So Luis - MA
Jos Gaspar Ruas Filho (ICMC-USP) So Carlos - SP
Jos Luis Rosas Pinho (UFSC) Florianpolis - SC
Jos Paulo Carneiro (Univ. Santa rsula) Rio de Janeiro - RJ
Jos Vieira Alves (UFPB) Campina Grande - PB
Marcelo Rufino de Oliveira (Sistema Titular de Ensino)Belm - PA
Licio Hernandes Bezerra (UFSC) Florianpolis - SC
Luzinalva M. de Amorim (UFBA) Salvador - BA
Marcondes Cavalcante Frana (UF Cear) Fortaleza - CE
Pablo Rodrigo Ganassim (L. Albert Einstein) Piracicaba - SP
Paulo H. Cruz Neiva de L. Jr. (Esc. Tec.Everardo Passos) SJ dos Campos - SP
Reinaldo Gen Ichiro Arakaki (INPE) SJ dos Campos - SP
Ricardo Amorim (Centro Educ. Logos) Nova Iguau - RJ
Roberto Vizeu Barros (Colgio ACAE) Volta Redonda - RJ
Srgio Cludio Ramos (IM-UFRGS) Porto Alegre - RS
Seme Gebara Neto (UFMG) Belo Horizonte -MG
Silvio de Barros Melo (UFPE) Recife - PE
Tadeu Ferreira Gomes (U. do Estado da Bahia) Juazeiro - BA
Toms Menndez Rodrigues (U. Federal de Rondonia) Porto Velho - RO
Valdenberg Arajo da Silva (U. Federal de Sergipe) So Cristovo - SE
Wagner Pereira Lopes (Esc. Tec. Fed. de Gois) Jata - GO
Waldemar M. Canalli (P.M. S. Joo de Meriti) S. Joo de Meriti - RJ

EUREKA! N9, 2000
61

CADASTRAMENTO 2001

Colgios
(Preencher com letra de forma)

Instituio:
Pblica Privada
Diretor:
Endereo:
Bairro:
Cidade: Estado:
Cep:
Telefone: ( )
Fax: ( )
e-mail:

Professor Responsvel:

Endereo:
Bairro:
Cidade: Estado:
Cep:
Telefone: ( )
Fax: ( )
e-mail:

Para seguir participando Olimpada Brasileira de Matemtica, uma cpia desta ficha
deve ser preenchida e enviada para a Secretaria da Olimpada Brasileira de Matemtica
pelos colgios ainda no recadastrados.

Equações de Recorrencia

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Equações de Recorrencia

Enviado por

Direitos autorais:

Formatos disponíveis

CONTEDO

C sen a h = donde podemos escrever para a rea:

> + + onde a a medida do lado do poligono.

Você também pode gostar