Escolar Documentos
Profissional Documentos
Cultura Documentos
AOS LEITORES
16
ARTIGOS
BRAHMAGUPTA PARA TODOS
Jos Cloves Verde Saraiva
28
EQUAES DE RECORRNCIA
Hctor Soza Pollman
33
EQUAES FUNCIONAIS
Eduardo Tengan
41
45
55
PROBLEMAS PROPOSTOS
59
COORDENADORES REGIONAIS
60
61
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
Prata
Ouro
Ouro
Ouro
PRIMEIRO DIA
PROBLEMA 1
i Pi
i
x1
O
x2
x1 '
x2 '
Fig. 1
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:
Pj
Pi Pt ) o prprio O, um absurdo.
Pi
Pt
PROBLEMA 2
BC dimetro BM C = 90
Para provar [ MDC ], basta provar que BM D = BM C = 90
B
90
2
O1
O2
Geometria Analtica:
Dados:
M = (0, 1)
A = (m, 0)
O1 = (m, y1)
B = (n, 0)
O2 = (n, y2)
Quero determinar D:
C (n, 22)
D
O1
1
O2
2
1
A
m0
= (m, 0)
B
= (n, 0)
1
( x m)
m
BD : AM
AM : y =
BD : y = m( x n) x =
y
+n
m
y 2 y1
( x n)
m+n
BD O1O2 = {D}
O1O2 : y y 2 =
y 2 y1 y
m+ n m
y y1
= y2
y1 + 2
( m + n)m
m( m + n)
y D = y 2
m( m + n) + y 2 y 1
y y2 =
x0 =
y 2 ( m + n)
+n
m( m + n) + y 2 y 1
y 2 m(m + n) m( m + n) y 2 + y1
m( m + n) + y 2 y1
yD 1
=
coef. angular de DM :
xD
mn(m + n) + n( y 2 y1 ) y 2 (m + n)
m(m + n) y 2 y1
n2 + 1
n2 + 1 m2 + 1
m(m + n ) m 2 mn
2
2 + 2
=
2
2
2
n m n + 1
mn(m + n ) + n
2 (m + n)
2
n2 2
m 2 mn
n2 m2
2
+
+
m + mn +
m mn
2
2 2
2
2
=
=
2
n( n m) n
1
(m + n ) mn +
2
2 2
n
[mn(m + n) (m + n)] n(m + n)(mn 1)
2
=
=
=n
( m + n)(mn 1)
mn 1
(m + n)
2
coef. ang. de BM :
m
n
n (m 2 + mn)
2
2
mn 1
( m + n)
n
2
1
n
1
n = 1 , logo
n
BM DM .
PROBLEMA 3
(x + 1) y x z = 1
para x, y, z inteiros maiores que 1.
SOLUO
SEGUNDO DIA
PROBLEMA 4
m2
2
m
m1
2
2
r 0; m 2 = m1 r + 2m1 m 2 = m1 ( m1 r + 2)
= m1 r + 2
=r
m1
m1
a
b
; onde a; b Z ; b 0, a e b
m1 r Q q Q.
Seja q =
cj
c
= j
PG:
d
d
Anlise do denominador:
PA:
PG:
ki a + b
b
cj
d
; k i a + b Z o mximo do denominador b.
>b
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
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
1
0
0
1
1
1
1
1
0
1
1
1
1
1
0
0
1
1
1
1
1
0
0
1
1
2
0
1
1
1
1
1
1
0
1
1
1
1
1
0
1
1
1
1
1
1
0
1
1
1
3
0
1
1
0
1
1
0
0
1
1
1
1
1
0
1
1
0
1
1
0
0
1
1
1
4
0
1
1
1
0
1
1
0
1
1
1
0
1
0
1
1
1
1
1
1
0
1
1
1
5
0
1
1
1
1
0
1
0
1
1
1
1
0
0
1
1
1
1
0
1
0
1
1
1
n\ m
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
1
1
1
0
0
1
1
1
1
1
0
0
1
1
1
1
0
0
1
1
1
1
1
0
2
1
1
0
1
1
1
1
1
1
0
1
1
1
1
1
0
1
1
1
1
1
1
0
3
1
1
0
1
1
0
1
1
0
0
1
1
1
1
1
0
1
1
0
1
1
0
0
4
0
1
0
1
1
1
1
1
1
0
1
1
1
0
1
0
1
1
1
1
1
1
0
5
1
0
0
1
1
1
1
0
1
0
1
1
1
1
0
0
1
1
1
1
0
1
0
0 se quem vai jogar agora perde (com ambos jogando o melhor possvel).
G ( n, m ) =
1 se ganha.
n = atual
m = movimento anterior
G (1, 1) = 0
A frmula recursiva
0 se para todo 1 i 5, n i, i m, G ( n i, i ) = 1 (isto , se o outro ganha
10
Para 1 n 5, G (n, m) = 1 se m n
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
11
A'
E'
D
(a)
C'
E
D
(b)
12
N
X
13
Q
D
1
1
3
( AB PC + PQ BD) < ( 2 + 1) =
2
2
2
Q
D
P
Y
X
14
X
Y
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
15
M
Q
P
C
16
X
C
e
2
[ XABY ]
e
Temos
CA N = CM N
NB D = NM D . Como
CM N + NM D =
EA N + EB N = CA N + NB D = ; temos que AEBN cclico.
Seja EA B = EC D = AN M = ; XA C = CN A = .
Seja EB A = , analogamente, BD M = BN M = YB D = DN B =
Como AEBN cclico, EA B = EN B = ; EB A = EN A =
EC Q = EN Q ECNQ cclico EQ C = EN C = +
ED P = EN P EDNP cclico EP D = EN D = + .
Logo, EPQ issceles.
17
PROBLEMA 2
1
1
1
a 1 + b 1 + c 1 + 1.
b
c
a
SOLUO
Fazendo a =
y
x
z
,b = ,c =
y
z
x
1
= ac) , a desigualdade
b
equivalente a ( x + z y )( x + y z )( y + z x) xyz. Fazendo u = x + z y,
v = x + y z e w = y + z x, temos u + v = 2 x, u + w = 2 z e v + w = 2 y, donde a
desigualdade equivalente a 8uvw (u + v)(u + w)(v + w). Como u + v, u + w e
v + w 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
(u + v)(u + w)(v + w) positivo, e a desigualdade acima trivial. Se u, v e w so
positivos, a desigualdade acima conseqncia direta da desigualdade entre as
mdias aritmtica e geomtrica, pois (u + v)(u + w)(v + w) = u 2 v + uv 2 + u 2 w +
(podemos tomar, por exemplo,
y = 1, x = a, z =
equivalente a
das desigualdades
18
SOLUO:
1
(n 1)
Devemos demonstrar duas coisas:
1
, existe uma seqncia infinita de movimentos que vai
a) que, para l
(n 1)
levando as pulgas cada vez mais para a direita, ultrapassando qualquer ponto
prefixado M;
A resposta para l
1
e para qualquer posio inicial dada as pulgas, existe um
(n 1)
ponto M tal que as pulgas em um nmero finito de movimentos jamais alcanam
ou ultrapassam M.
b) que, para l <
Comearemos pelo item b). Sejam x1 , x 2 , ..., x n as posies iniciais das pulgas,
com x1 x 2 ... x n , de tal forma que x n a posio da pulga mais direita.
1
( x n l x1 l x 2 ... l x n 1 ).
Seja P =
(1 (n 1) l )
O ponto P claramente est direita de todas as pulgas.
Afirmamos que se aps alguns movimentos as novas posies so x'1 ,..., x' n e
definimos
1
( x' n l x'1 l x' 2 ... l x' n 1 ).
P ' =
(1 (n 1) l )
Se P ' P, isto conclui a demonstrao.
Basta considerar o que ocorre aps um movimento.
Se a pulga que estava em xi pula sobre a pulga que estava em x n ento
x' n x n = l ( x n xi ) e x' n l x n = x n l xi e P' = P.
Qualquer outro caso ainda mais favorvel. De fato, se a pulga que pulou
continua atrs de x n , temos x n ' = x n e x1 '+... + x n 1 ' > x1 + ... + x n 1 , donde
P' < P. Se ela passa de x n , teremos x n ' = x j + A( x j xi ) x n 'Ax n < x n 'Ax j =
x j Ax i < x n Ax i .
19
1 n 1
1
( xn x j ) = xn n 1 ( x1 + ... + x n1 ) x n A( x1 + ... + xn1 ) = P
n 1 j =1
x n x1
1 n 1
P
( x n x j ) = P x n ' x n = A( x n x1 )
, donde o ponto
n 1 j =1
n 1
P
para a direita a cada passo, logo tende a
n 1
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).
mais direita caminha pelo menos
direita,
donde
podemos
definir
x n +1 = x n ' = x n + A( x n x1 ), e teriamos simplesmente x j ' = x j +1 , j. Reduzimos
ento a anlise dessa estratgia ao estudo da recorrncia linear
x n +1 = (1 + A) x n Ax1 , cujo polinmio caracterstico P( x) = x n +1 (1 + A) x n + A,
P( x)
do qual 1 raiz, donde, como
= x n A( x n 1 + x n 2 + ... + x + 1), a expresso
x 1
y m = x m A( x m 1 + x n 2 + ... + x m n + 2 + x m n +1 ) um invariante da recorrncia,
isto , y m +1 = y m m, donde y m constante. Da vem nossa frmula para P. Veja
o artigo sobre equaes de recorrncia nesta Eureka.
PROBLEMA 4
20
1
2, 3
4
B) 1
2, 3, ..., n 1
n
1)
Ele aparece junto com outros cartes. Nesse caso, os cartes de 1 a n
estaro na configurao A ou B.
Se for A): n 2, n 1 e n esto em caixas diferentes. n + 1 no pode estar na
mesma caixa de n ou n 1, pois (n 2) + ( n + 1) = ( n 1) + ( n)
Se colocarmos n + 1 na mesma caixa de n 2, a mgica funcionar. Basta ver a
soma mdulo 3.
No caso B): n + 1 no pode entrar em nenhuma caixa, pois
1 + (n + 1) = 2 + (n) e (n) + 3 = ( n + 1) + 2
2)
(n + 1) est em uma caixa isolada.
Como (n + 1) + (1) = (2) + (n), 2 e n devem estar na mesma caixa.
Temos a seguinte configurao:
n +1
2, n, k
k +1
21
Para ver que esta configurao funciona, basta ver os intervalos das possveis
somas para cada par de caixas.
o nmero total 6 f (100) = 12.
PROBLEMA 5
Verifique se existe um inteiro positivo n tal que n divisvel por exatamente 2000
nmeros primos diferentes e 2 n + 1 divisvel por n.
SOLUO DE HUMBERTO SILVA NAVES (SO PAULO - SP)
2 3 + 1 = 513 = 3 3 19
Suponha que seja vlido, tambm, para um certo "p" ( p 2), Vamos provar que
tambm verdadeiro para " p + 1":
p
* 3 p | 2 3 + 1 k Z | 2 3 + 1 = k 3 p 2 3 = 1 + k 3 p (2 3 ) 3 =
= (1 + k 3 p ) 3 2 3
p +1
= 1 + k 3 p +1 k 2 3 2 p +1 + k 3 3 3 p 2 3
= (k k 2 3 p + k 3 3 2 p 1 ) 3 p +1 3 p +1 | 2 3
* *2 3
p +1
p +1
p +1
+1=
+ 1.
p
a, b R temos : a 3 + b 3 = ( a + b)(a 2 ab + b 2 )
p
p +1
+ 1 = (23 + 1)(223 23 + 1)
p +1
tem pelo menos 1 fator primo a mais que 2 3 + 1, logo 2 3 + 1 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
22
3 2000 | 2 3
2000
+1 e
p1 p 2 p 3 ... p1999 | 2 3
Basta escolhermos o inteiro mpar n = 3
2000
|n2
32000
2000
2000
+1
+ 1 | 2 + 1 e como
n | 23
2000
+ 1 n | 2n + 1
T2
H3
T3
P
N
M
T1
l1
fig. 01
EUREKA! N9, 2000
23
d(T2, PH2) = d(T2, l1) e d(l1, BC) = d(T2, BC) d(T2, PH2) (1)
d(T2, BC) = (p c).sen C
a2 + b2 c2
b
c
, obtemos:
, sen B =
, sen C =
2b
2R
2R
24
4R
4R
2
ab + ac a
=
4R
a b+ca
=
2R
2
= ( p a).senA.
Dessa forma, acabamos de mostrar que
= ( p c)(
que
U
T2
T3
M
E
I
l1
r
B
T1
V
fig. 02
25
i ) T1V 2 = EN 2 = IN 2 EI 2 = r 2 (( p a ). sen A r ) 2
= 2r.( p a ) sen A ( p a) 2 . sen 2 A
T2T3 = AI.sen A;
T2T3.AI = 2r.AT2 = 2r.(p a) (pelo teorema de Ptolomeu).
De (I) e (II), obtemos T2T32 = 2r.(p a).sen A. Portanto, em (i) e (ii) ficamos
com T1V 2 = T3U 2 T1V = T3U , e como BT1 = BT3, por ltimo segue que
BVN BUT2 (**)
de modo que BT2 = BN, como queramos demonstrar.
A
T2
T3
r
r
B
fig. 03
De (**), ainda podemos concluir que ABT2 = CBN, e como ABI = CBI,
temos T2BI = NBI.
26
27
S=
onde p =
p ( p a )( p b)( p c)
1
( a + b + c) o semi-perimetro do ABC .
2
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
28
S=
1
ab senC (*)
2
tambm muito conhecida a Lei dos co-senos para um tringulo. E, pela figura
acima, esta pode ser escrita como:
c 2 = a 2 + b 2 2ab cos C (**)
Com efeito, elevando ao quadrado S na expresso (*) temos que:
29
Portanto:
1
1
1
1
S 2 = (a + b + c) ( a + b + c) a (a + b + c) b (a + b + c) c
2
2
2
2
1
substituindo o semi-permetro p = ( a + b + c), conclumos que:
2
S = p ( p a )( p b)( p c) , 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 semipermetro denotado por p a seguinte:
K = ( p a)( p b)( p c)( p d )
d
A
c
x
C
b
B
1
(a + b + c + d )
2
1
( p a) = ( a + b + c + d )
2
1
( p b) = (a b + c + d )
2
1
( p c) = (a + b c + d )
2
1
( p d ) = (a + b + c d )
2
onde p =
II.
30
III.
2 2
2
2 2
2
= a b (1 cos B ) + abcd (1 + cos B cos D ) + abcd (1 + cos B cos D ) + c d (1 cos D )
4 K 2 = a 2 b 2 (1 cos B )(1 + cos B ) + ab(1 + cos D )cd (1 + cos B ) + c 2 d 2 (1 cos D )(1 + cos D )
31
REFERNCIA
E.W. Hobson, A Treatise on Plane Trigonometry (NY); Macmillan Company, 4a ed.,
(1902), pg. 204.
EUREKA! N9, 2000
32
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 x n com n 0 :
1. EQUAO LINEAR DE PRIMEIRA ORDEM COM COEFICIENTES DE VALOR INTEIRO 1.
x n = x 0 + bi , n 1
i =0
x n +1 = x n + 2 n , n 0,
com
x 0 = 1,
x n = 2 , n 0.
2. EQUAO LINEAR DE PRIMEIRA ORDEM COM COEFICIENTES CONSTANTES.
33
obtemos
34
x n = 2 n 1, n 0
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:
a k x n + k + a k 1 x n + k 1 + ... + a 0 x n = 0, n 0 (2)
em que a 0 ,..., a k so sucesses independentes de n, e os valores de xi so
conhecidos para i = 0, ..., k 1 (correspondem aos valores de bordo). Supondo
que a equao (2) admite uma soluo do tipo: x n = n , em que um
parmetro inteiro, e substituindo em (2) temos:
a k n + k + a k 1 n + k 1 + ... + a 0 n = 0
Se 0 ento obtemos a equao caracterstica associada a equao (2):
a k k + a k 1k 1 + ... + a 0 0 = 0
Vamos mostrar que se esta equao tem as razes complexas 1 ,..., r com
multiplicidades 1 , 2 ,..., r N , respectivamente, ento as solues de (2) so
exatamente as seqncias ( x n ) da forma xn = Q1(n)1n + Q2 (n)n2 + ... + Qr (n)nr ,
onde Q1 ,..., Qr so polinmios com grau (Qi ) < i , 1 i r (em particular, se i
uma raz simples ento Qi constante).
Seja P( x) = ak x k + ak 1 x k 1 + ... + a0 um polinmio.
Dizemos que uma seqncia ( x n ) nN satisfaz a propriedade Rec ( P( x)) se
ak xn+k + ak 1 xn+k 1 + ... + a0 xn = 0, n N . No difcil verificar os seguintes
fatos:
b j (a k X n+ j + k + a k 1 X n+ j + k 1 + ... + a0 X n+ j ) = 0, n N )
j =0
35
iii)
(X n )
satisfaz
Rec ( P ( x))
se
Rec ( P (X )) (substitua X n + j = n + j Yn + j em
se
(Yn ) = X n n
satisfaz
a j X n+ j = 0).
j =0
a j x n+ j +1 = 0).
j =0
Por iii), para ver que, para todo polinmio Q(x) de grau menor que m,
X n = Q ( n) n
Para ver que se ( x n ) satisfaz Rec ( P( x)) ento x n da forma acima, usaremos
induo novamente.
Supomos 1 0 e tomamos Yn = X n 1n , Z n = Yn +1 Yn (com Z 0 = Y0 ).
Por iii) e iv), Z n satisfaz Rec ( P (1 x) ( x 1)) e, portanto por hiptese de induo,
~
~
~
~
Z n = Q1 ( x) + Q2 ( x)( 2 1 ) n + ... + Qr ( x)( r 1 ) n , onde grau Qi < i para
~
2 i r e grau Q1 < 1 1.
Para terminar a prova, vamos mostrar que se existem polinmios P1 , P2 ,..., Pk tais
que Yn +1 Yn = P1 (n) + P2 (n) 2n + ... + Pk ( n) kn (onde 1, 2 ,..., k so complexos
~
~
~
distintos e Pi 0, i 2 ) ento Yn = P1 (n) + P2 ( n) 2n + ... + Pk ( n) kn , onde
~
~
~
P1 ,..., Pk so polinmios com grau Pi = grau Pi para i 2 e grau
~
P1 = grau P1 + 1, por induo na soma dos graus dos polinmios Pi , onde
convencionamos que o grau do polinmio nulo 1.
EUREKA! N9, 2000
36
a)
P1 ( x) = c m x m + c m 1 x m 1 + ... + c 0 , c m 0.
Nesse
caso
definimos
m +1
c n
~
~
~
Yn = Yn m
, e temos Yn +1 Yn = Q1 (n) + P2 ( n) 1n + ... + Pk (n) kn , com
m +1
~
grau Q < m. Por hiptese de induo, Yn (e logo Yn ) da forma desejada.
P2 ( x) = d s x s + d s 1 x s 1 + ... + d 0 , d s 0.
b)
Nesse
caso,
definimos
~
~
dsns n2
1
e in e in 1 i n 1 i n 1
= (e ) (e ) = (cos + isen ) n (cos isen ) n
2i
2i
2i
2i
2i
37
1 =
38
y n+4
39
n = 22 ,
n = 22
k 1
, log 2 log 2 n = k
x k = f ( n) = f ( 2 2 )
0
x0 = f (2 2 ) = 1
A equao (3) uma equao no homognea. Procedendo como acima
obtemos:
x k + 2 4 x k +1 + 5 x k 2 x k 1 = 0
cuja soluo considerando a condio do bordo :
x k = 2 k + 3 2 k , k 0
Logo, voltando a varivel n original, a soluo final :
k
40
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 f (a ) = f (b) a = b. Isto
particularmente freqente em problemas em que temos equaes do tipo
f ( f ( x)) = kx, k 0. De fato, f (a) = f (b) f ( f (a)) = f ( f (b)) ka = kb a = b.
"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
41
p n 1 se n par
f ( pn ) =
1 p n +1 se n mpar
e verificar que a condio inicial satisfeita.
EXERCCIO 1
a+b
,
f ( a, b) f
+ ,
+
f
2
2
2
2
a+b
a+b
f ( a, b)
+ (*)
2
2
Logo razovel que f (a, b) = ( a + b) 2 . Suponha que existam a 0 e b0 tais que
f (a0 , b0 ) (a0 + b0 ) 2. Se f (a0,b0 ) > (a0 + b0 ) 2, ento f (a0,b0) = (a0 + b0) 2 + p, p > 0 .
Mas f (a 0 , b0 ) (a 0 + b0 ) 2 + p 2 por (*), ou seja,
(a 0 + b0 ) 2 + p (a 0 + b0 ) 2 + p 2 p 0, absurdo.
Analogamente f (a 0 , b0 ) < (a 0 + b0 ) 2 impossvel. Logo f (a, b) = (a + b) 2
para todo a, b R.
Podemos utilizar um raciocnio semelhante em diversos problemas que envolvem
funes crescentes. s vezes, necessrio obter a desigualdade a partir das
2
condies do problema, muitas vezes, utilizamos relaes como f x 2 = ( f ( x ))
( )
42
1
1
1
1
1
=
= f
= f +
2
2
2
f (a) f (a ) f (a a )
a 1 a
aa
1
1
1
1
+
f (a 2 ) = ( f ( a)) 2 ,
= f + f
=
a
1
a
f
(
a
)
f
(
1
a
)
que vale tambm quando a = a 2 a = 0 ou a = 1.
a > b a b > 0 f (a b) > 0 f (a ) > f (b),
Agora, observando que
conclumos verificando que, por exemplo, se f ( x 0 ) > x 0 para algum x 0 R, que
se f ( x 0 ) < x 0 ento existe um q Q tal que f ( x 0 ) > q > x 0 . Porm
q > x 0 f ( q) > f ( x 0 ) q > f ( x 0 ), o que absurdo. O caso f ( x 0 ) < x 0
anlogo, o que termina o problema.
EXERCCIO 2
43
ii)
f ( 2) = 0
iii)
f ( x) 0 para 0 x < 2
Dica: x 2 y x 2 f ( y ). Incrvel, no?
PONTO FIXO
Muitas vezes, til considerarmos os pontos fixos de uma funo, isto , pontos x
tais que f ( x) = x. 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
f : S S satisfazendo as condies
f ( x + f ( y ) + xf ( y )) = y + f ( x) + yf ( x), x, y S
i)
ii)
f ( x) x estritamente crescente para 1 < x < 0 e x > 0.
Para x = 0, temos f ( f ( y )) = y (1 + f (0)) + f (0), donde conclumos que f
injetora. De f ( f (0)) = f (0) e da injetividade de f, conclumos que f (0) = 0.
Seja x 0 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 x = y = x 0 em i),
encontramos f x 02 + 2 x 0 = x 02 + 2 x 0 .
x 0 ( 1;0), x 02
Se
+ 2 x 0 (1;0), logo x 02 + 2 x 0 = x 0 , absurdo. Analogamente,
no h pontos fixos em (0;+).
Assim, 0 o nico ponto fixo de f. Substituindo x = y em i), temos
f ( x + f ( x) + xf ( x)) = x + f ( x) + xf ( x), ou seja xf (x) ponto fixo e, portanto,
igual a 0, logo f ( x) = x (1 + x), que satisfaz i) e ii).
EXERCCIO 4
44
an =
(a n ) ,
n N* verifica as relaes a1 =
1
e
2
a n 1
para todo nmero natural n > 1 . Calcule a1 + a 2 + + a1998 .
2na n 1 + 1
2n
45
para todo n N. Determine todos os valores de k tais que f ( f (... f (1)...)) = 1997
onde f iterada k vezes.
36. (China-1999) Seja PQRS um quadriltero inscrito num crculo e cuja medida do
ngulo PSR seja igual a 90 o . 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 9 A .
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, S = {p1 , p 2 , ... , p k } , com k 2 , sempre
que p S , existe algum q em P * , mas no em S tal que q + 1 um divisor de
( p1 + 1)( p 2 + 1) ( p k + 1).
42. (Taiwan-1999) As alturas de um tringulo acutngulo
intersectam os lados BC , AC e BC nos pontos D , E e
EF intersecta BC no ponto P e a reta que passa por
intersecta AC e AB em Q e R respectivamente, seja N
BC tal que NQP + NRP < 180o . Prove que BN > CN .
43.
tal
(Bulgria-1999)
Seja
um
parmetro
real
46
que
equao
p2
3px1 + x22 + 3p
3px2 + x12 + 3p
p2
44. (Bulgria-1999) Determine o menor nmero natural n tal que a soma dos
2
quadrados de seus divisores (incluindo 1 e n ) igual a (n + 3) .
45. (Bulgria-1999) Seja M o ponto mdio do lado BC de um tringulo ABC no
qual CAB = 45 o e ABC = 30 o .
a) Determine AMC
AB BC
b) Prove que AM =
2 AC
46. (Bulgria-1999) Sejam M um ponto do interior de um quadrado ABCD e A1 ,
B1 , C1 e D1 os pontos de interseo de AM , BM , CM e
DM respectivamente com o crculo circunscrito ao quadrado ABCD . Mostre que
A1 B1 C1 D1 = A1 D1 B1C1 .
47. (Ir-1999) Determine todas as funes
f : R R
que satisfazem a
47
51. (Repblicas Tcheca e Eslovaca-1999) Mostre que para todo nmero natural n o
produto
2
2
2
2
4 4 4 4
1
2
3
n
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 f (n + f (n )) = 2 f (n )
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 CBA = 4 OPQ e ACB = 6 OPQ .
55. (Eslovnia-1999) Determine todos os inteiros x e y que satisfazem equao
x 3 + 9 xy + 127 = y 3 .
48
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.
49
M |NM
K= N
N absurdo!
mpar
par
M 0 + 2 + 4 + 6 + 8 2(mod 9 )
N 1 + 3 + 5 + 7 + 9 7(mod 9 )
N | M N K = M 7 K 2(mod 9) K 8(mod 9) K 8.
Mas N 13579 N K > 105 M possui mais de 5 algarismos.
50
Como MA MG ,
ab + bc + ac 3
ab bc ac ento
3
108 3
2
2
(abc ) = 3 (216 ) = 36 36 36 . Como ocorre a igualdade, temos que
3
ab = bc = ca a = b = c .
13. (Irlanda-1999) Uma funo f : N N satisfaz s condies :
Finalmente,
satisfazendo
1
1
f ( x ) + f = x para todos x R\ {0} .
x
x
Enviaram solues Marclio Miranda de Carvalho (Teresina PI) e Geraldo
Perlino Jnior (SP).
EUREKA! N9, 2000
51
com a 0 . Fazendo x = a e x =
1
na equao dada temos
a
1
1
1
1
f (a ) + f = a e a f + f (a ) = . Resolvendo-se o sistema
a
a
a
a
1
1
formado por estas duas equaes chegamos a f (a ) = a 2 + e portanto,
2
a
1
1
f (x ) = x 2 + .
2
x
)(
)(
)(
52
1
2
1999
2000
2000
2000
f
+ + f
+ f
+ f
+ + f
+ f
2000
2000
2000
2000
1999
1
supondo que f (x ) =
x2
.
1 + x2
53
1 1
1
1
22. (Eslovnia-1999) Inicialmente os nmeros 1, , , ...,
so escritos
,
2 3
1998 1999
em um quadro negro. Em cada passo, escolhemos dois destes nmeros, digamos
a e b, e os substitumos pelo nmero a + b + ab . 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).
54
a b c
2 s
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:
x + y 2 xy , y + z 2 yz e z + x 2 zx (1)
2
1 1 1
Vamos desenvolver agora o valor de + + em funo de x, y e z, usando
a b c
para isso o resultado (1):
2
2
2
1
1 1
1
1
1 1
1
1
1 1 1 1
+
+
+
+
=
+
+
+ + =
4 xy
a b c x + y y + z z + x 2 xy 2 yz 2 zx
yz
zx
3 1
1
1
1 1 1
+ (2)
+ + +
a
b
c
4
xy
yz
zx
p
Calculando
em funo de x, y e z obtemos:
s
p
x+ y+z
x+ y+z
=
=
=
s
xyz
( x + y + z ) xyz
EUREKA! N9, 2000
55
1
1
1
+
+
xy yz zx
3 1
1
1 3 p2
1 1 1
+ =
+ + +
4 xy yz zx 4 s 2
a b c
1 1 1
3 p
+ +
a b c
2 s
(3)
(2 p + 1) = kp, com k 2.
No podemos ter k = 1, pois (n) par para todo n 3. Assim,
(2 p + 1) = 2 p 2 p + 1 primo.
44) O produto de dois inteiros positivos consecutivos pode ser igual ao produto
de dois inteiros positivos consecutivos pares?
56
57
Para isso, vamos mostrar por induo que para cada inteiro positivo m, existem
inteiros r1 ,..., rs tais que {x B | x < mk } = U {ri k , ri k + 1,..., ri k + k 1}, e todos os
i =1
58
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 x1 , x 2 ,..., x n as
distncias de M a cada um dos lados, verifique que:
1
1
1 2
+
+ ...
>
, onde a a medida do lado do poligono.
x1 x 2
xn
a
50) Calcule o determinante:
MDC (1, 1) MDC (1,2) " MDC (1, n)
59
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
60
CADASTRAMENTO 2001
Colgios
(Preencher com letra de forma)
Instituio:
Pblica {
Diretor:
Endereo:
Bairro:
Cidade:
Cep:
Telefone: (
Fax:
(
e-mail:
Privada {
Estado:
)
)
Professor Responsvel:
Endereo:
Bairro:
Cidade:
Cep:
Telefone: (
Fax:
(
e-mail:
Estado:
)
)
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.
61