Professional Documents
Culture Documents
12
ARTIGOS
0,999... OU COMO COLOCAR UM BLOCO QUADRADO EM UM BURACO REDONDO
Pablo Emanuel
14
21
27
32
44
48
52
PROBLEMAS PROPOSTOS
62
AGENDA OLMPICA
63
COORDENADORES REGIONAIS
64
SEGUNDO NVEL
PROBLEMA 1
No retngulo ABCD de lados AB, BC, CD e DA, seja P um ponto do lado AD tal
90 . A perpendicular a BP traada por A corta BP em M e a
que BPC
perpendicular a CP traada por D corta CP em N.
Demonstre que o centro do retngulo est no segmento MN.
PROBLEMA 3
PROBLEMA 5
Cidade - Estado
Pontos
Prmio
So Paulo SP
45
Medalha de Ouro
Dbora Ornellas
Salvador BA
36
Medalha de Prata
Mau SP
34
Medalha de Prata
So Paulo SP
33
Medalha de Bronze
Santo Andr SP
26
Medalha de Bronze
Braslia DF
24
Medalha de Bronze
Fortaleza CE
24
Medalha de Bronze
Fortaleza CE
24
Meno Honrosa
Braslia DF
23
Meno Honrosa
So Paulo SP
23
Meno Honrosa
Nome
Cidade - Estado
Pontos
Prmio
Fortaleza CE
37
Medalha de Ouro
Santo Andr SP
30
Medalha de Prata
Tauba SP
29
Medalha de Prata
S.B. do Campo SP
23
Medalha de Bronze
Fortaleza CE
22
Medalha de Bronze
Rodrigo Nagamine
Santo Andr SP
22
Medalha de Bronze
Rio de Janeiro RJ
21
Medalha de Bronze
So Paulo SP
21
Meno Honrosa
Fortaleza CE
17
Meno Honrosa
So Paulo SP
16
Meno Honrosa
Medalha de Prata
Medalha de Prata
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Meno Honrosa
PRIMEIRO DIA
PROBLEMA 1:
d max{di :1 i n}.
SEGUNDO DIA
PROBLEMA 4:
Sejam a e b inteiros positivos tais que 4ab 1 divide (4a 2 1) 2 . Prove que a = b.
PROBLEMA 6:
Medalha de Prata
Medalha de Prata
Medalha de Bronze
Medalha de Prata
Medalha de Prata
Medalha de Prata
PRIMEIRO DIA
PROBLEMA 1:
1
2
2
( x 1)
( y 1)
( z 1) 2
para todos os nmeros reais x, y, z, diferentes de 1, com xyz = 1.
EUREKA! N29, 2009
(*)
Prove que existe um nmero infinito de inteiros positivos n tais que n 2 1 tem um
divisor primo maior que 2n 2n .
PROBLEMA 4:
f ( w) f ( x )
2
f ( y2 ) f (z2 )
w2 x 2
y2 z2
PROBLEMA 5:
Medalha de Ouro
Medalha de Prata
Medalha de Ouro
Medalha de Ouro
PRIMEIRO DIA
PROBLEMA 1:
Por exemplo, 4,
PROBLEMA 2:
X
D
10
A distancia dragoniana entre duas casas o menor nmero de saltos que o drago
deve dar para mover-se de uma casa a outra.
Seja C uma casa situada num canto do tabuleiro e seja V a casa vizinha a C que a
toca num nico ponto.
Demonstre que existe alguma casa X do tabuleiro tal que a distncia dragoniaana
de C a X maior que a distncia dragoniana de C a V.
PROBLEMA 5:
11
Medalha de Ouro
Medalha de Prata
Medalha de Ouro
Medalha de Prata
PRIMEIRO DIA
PROBLEMA 1:
12
Numa partida de biribol enfrentam-se duas equipes de quatro jogadores cada uma.
Organiza-se um torneio de biribol em que participam n pessoas, que formam
equipes para cada partida (as equipes no so fixas). No final do torneio observouse que cada duas pessoas disputaram exactamente uma partida em equipes rivais.
Para que valores de n possvel organizar um torneio com tais caractersticas?
13
Nvel Intermedirio
14
1
_________________
N2 +
1
___________
N3 + ...
15
16
O primeiro dgito decimal diz em qual dos dez intervalos acima o nmero est.
Para descobrir o segundo dgito, basta subdividir cada intervalo novamente em 10
pedaos, ou, equivalentemente, multiplicar o nmero por 10 e ver em qual dos
intervalos a parte fracionria deste novo nmero (10x) cai, de acordo com o grfico
abaixo:
17
Apenas para comear do ponto onde paramos, o grfico acima para base 2 fica
assim:
18
19
20
Nvel Avanado
(*) zk
k 0
2k
sn zk , onde
k
zk 2 k
k 0
( k 1)4
n 1
21
(2k 1) 2
4( k 1)( k 2)
zn sn 1
1
sn
sn
sn 1
1
sn
uma funo
(2n 1) 2
4(n 1)( n 2)
Como y(n) racional, existem polinmios P(n), Q(n) com mdc{P(n), Q(n)} 1
P ( n)
tais que y ( n)
e substituindo na equao anterior, vale:
Q( n)
(2n 1) 2 P( n 1)Q( n) 4( n 1)(n 2)Q( n 1) P( n)
4( n 1)( n 2)Q (n 1)Q ( n), n 0
Disto conclu-se que:
1- Q (n) | 4( n 1)(n 2)Q( n 1)
2
2
2- Q (n 1) (2n 1) Q( n) Q(n) (2n 1) Q( n 1)
22
2k
2n
2n
n
n 1
n
n
k
4n(n 1)
2n 1
2k
2n
(n 1)4
4
k 0 ( k 1)4
( fcil ver que a frmula vale para n = 0 e n = 1, e, pela identidade que provamos,
vale sempre).
Vamos agora generalizar essa idia para qualquer seqncia hipergeomtrica zk . O
leitor atento deve ter notado que na concluso de que Q(n) = 1, implicitamente
usamos o fato que: mdc{A(n), B(n + h)} = 1, para qualquer inteiro h 0 , onde
A( n) (2n 1) 2 , e B( n) 4( n 1)( n 2) , so o numerador e o denominador de
r(n) respectivamente.
Mas nem sempre possvel escrever r (n)
zn 1
23
A( n) C (n 1)
B ( n) C ( n)
onde A(n), B(n), C(n) so polinmios tais que: mdc{ A(n), B (n h)} 1, h .
No vamos demonstrar esse fato aqui (pois um dos exerccios deste artigo), mas
(n 4)(n 3)
vamos exibir um exemplo bem ilustrativo! Como escrever r (n)
da
n 2 (n 1)
forma (**)?
Note que:
r ( n)
1 n 4 n 3 1 n 4 n 3 n 2 n 1 n 3 n 2 A( n) C ( n 1)
,
n n n 1 n n 3 n 2 n 1 n n 2 n 1 B ( n ) C (n )
n
n h 1 n h 2
n
T (n)
Onde T (n) ( n h 1)(n h 2)L (n )
Vamos tentar usar a frmula (**) em
r(n) y(n + 1) y(n) = 1
y (n 1)
A( n) C ( n 1)
y (n) 1
B ( n) C (n)
24
B (n 1)
y ( n),
C ( n)
Agora o milagre acontece! Se y ( n) uma funo racional que satisfaz (***), ento
um polinmio! Se y (n)
P (n)
, com mdc{P(n), Q(n)} 1, ento:
Q ( n)
25
C (n)
ba
, mas se
Se (a b) ad kdad 0 d
k
Em todos os casos, possvel calcular o valor de d e uma vez calculado o valor de
d, a equao polinomial se transforma em um sistema linear com d variveis que
pode ser resolvido (quando possvel) usando tcnicas bsicas de lgebra linear.
Exerccios:
1)
n 1
k 0
k 2ak
2) Prove que qualquer funo racional r(n), pode ser escrita como:
A( n)C ( n 1)
r ( n)
mdc{ A(n), B (n h)} 1, h
com
e
B (n)C (n)
mdc{ A(n), C (n)} mdc{B (n), C (n 1)} 1 (o leitor atento novamente notar que
adicionamos duas novas restries).
3) Prove que a menos de multiplicaes por constantes, A(n), B(n) e C(n) so
nicos no exerccio anterior (a forma acima chama-se forma cannica).
4) Dizemos que duas seqncias hipergeomtricas so similares, quando a razo
dos duas uma funo racional e neste caso, escrevemos sn : tn . Prove:
a) Se sn no constante, ento sn : sn , onde sn sn 1 sn .
b) Se sn e tn so hipergeomtricas, e sn tn 0 ento sn tn hipergeomtrica se
e somente se sn : tn . (Esse resultado pode levar o leitor a indagar sobre a nossa
suposio inicial do que seria uma frmula fechada ser algo bem restritivo).
c) Se tn(1) , tn(2) ,..., tn( m ) so hipergeomtricas e vale
algum i, j com 1 i j m.
26
m (i )
i 1 n
d) Se vale
n 1
k 0
zn
so
Nvel Iniciante
27
10n 1
.
9
Minha soluo com o uso desta informao saiu; Ricardo sem esta
informao errou por um algarismo. Expliquei a Ricardo minha soluo,
percebemos que a informao que eu havia usado era importante. A aula continuou,
mas ainda fiquei pensando como esta igualdade daria para resolver belos
problemas.
No dia seguinte tive uma conversa com meu amigo Secco, olmpico do Rio
de Janeiro. Perguntei-lhe se conhecia problemas que em sua soluo usava esta
igualdade; Secco falou que conhecia e mais ainda: estes nmeros eram chamados
de Repunits e indicou [4]. Com a dica de Secco e o entusiasmo de Ricardo,
cataloguei cinco problemas da antiga coluna, os quais passaremos a resolver.
Tambm apresentei aos meus alunos do projeto OBMEP 2008, realizado no Cefet,
Uned de Cedro-Ce.
1. REPUNITS
Os Repunits so nmeros que s tm algarismos 1, por exemplo:
11, 111, 1111, 11111, ...
Estes nmeros podem ser escritos de outra forma, vejamos:
6 7k 8
6 7k 8
999...9 1000...0 1 10 k 1
111...1
.
123 9
9
9
k
A beleza destas informaes poder resolver problemas interessantes sem usar
tcnicas sofisticadas.
2. EXEMPLOS
EUREKA! N29, 2009
28
10k 1
10 k 1.
9
N 999...98000...01
123 123
2
k 1
k 1
modo
geral
n 1
10n 1
11...11
Substituindo 1 2 3
na expresso acima ficamos:
9
n
4
8
N (10n 1).10n (10n 1) 1
9
9
4
4
8
8
N 102 n 10n 10n 1
9
9
9
9
2
2.10n 1
N
29
Como 222...2
123 2
n
10 1
10 1
, substituindo teremos:
e 111...1
1
2
3
9
9
2n
n
2n
102 n 1 10n 1
2
9
9
n
n
(10 1)(10 1)
10n 1
A( n) B ( n)
2
9
9
(10n 1)[(10n 1) 2]
A( n) B ( n)
9
n
2
(10 1)
A( n) B ( n)
9
(10n 1) 2
A( n) B ( n)
.
32
Assim A( n) B ( n) quadrado perfeito.
A( n) B ( n)
109 1
18
9
(999.999.999) 9.
10 2.10 1 1000...0
1 2 3 2000...0
1 2 3 1
9
18 zeros
9 zeros
fazendo as contas ficamos:
(999.999.999) 2 999...98000...01
123 123
2
8 noves
8 zeros
30
AB (222...2)(10666 1)
AB (222...2).10666 222...2
AB 222...2000...0
1 2 3 1 2 3 222...2
123
666
666
666
AB 222...21777...78
123 123
665
665
3. PROBLEMAS PROPOSTOS
Achar a soma: 2 22 ... 222...2
se a ltima parcela tem n algarismos iguais a 2.
1.
2.
2
1 2 3 222...2
1 2 3 (333...3)
123 .
Prove que: 111...1
3.
4.
5.
2n
31
270343. De acordo com os testes j realizados, qualquer outro repunit primo deve
ter mais de 400.000 algarismos.
REFERNCIAS
[1]
[2]
[3]
[4]
Nvel Avanado
32
33
Talvez com vetores seja mais interessante: sendo O o centro da homotetia, o ponto
uuur
uuur
P transformado no ponto P de modo que OP k OP. Note que a homotetia
uma funo que leva pontos do plano (ou do espao, se voc estiver trabalhando
em dimenses maiores) a pontos do plano (espao). De fato, podemos fazer
P ( P ), tal que ( P) O k ( P O) ( P) O k ( P O).
Com isso, podemos definir homotetias para k negativo tambm, obtendo as
chamadas homotetias de razo negativa ou homotetias inversas:
Definio 1.2. Homotetia de uma figura F com centro O e razo k, sendo k um
nmero real negativo, uma transformao geomtrica que associa a cada ponto
uuur
uuur
P de F o ponto Psobre a reta OP, de origem O, tal que OP k OP.
2. Propriedades da homotetia
As principais propriedades de homotetias tm a ver com colinearidade e
concorrncia. Algumas tm a ver com paralelismo.
EUREKA! N29, 2009
34
2.1. Colinearidade
O centro de homotetia, o ponto e seu transformado so colineares. Em
outras palavras, O, P e P ( P ) so colineares. Isso decorre diretamente
da definio, mas homotetias no vm de graa!
Normalmente as encontramos nos problemas e, com essa propriedade,
obtemos pontos colineares.
2.2. Concorrncia
O centro de homotetia pertence a todas as retas que ligam pontos a seus
transformados. Em outras palavras, O pertence a toda reta do tipo
PP P ( P ). Novamente, uma propriedade que decorre diretamente da
definio (na verdade, a mesma da colinearidade!), mas que aparece
quando descobrimos alguma homotetia.
2.3. Paralelismo
A reta que liga dois pontos paralela reta que liga os seus tranformados.
Em outras palavras, PQ e PQ ( P ) (Q) so paralelas. A
demonstrao desse fato vem da semelhana entre OPQ e OPQ (pelo
caso LAL) .
Dois tringulos com lados respectivamente paralelos so homotticos.
Para provar isso, sendo ABC e DEF os trigulos com AB, DE, AC, DF e
BC, EF respectivamente paralelos, use o teorema de Desargues para
provar que esses tringulos so perspectivos.
Em particular, algumas figuras so sempre semelhantes: os crculos! Com isso,
temos a seguinte propriedade:
2.4. Crculos
35
Com isso, podemos resolver alguns problemas. Homotetia esteve bastante na moda
na IMO durante o incio dos anos 80, como voc vai ver nos exemplos e nos
exerccios.
Exemplo 2.1.
Problema 5, IMO 1981. Trs crculos congruentes tm um ponto comum O e esto no
interior de um tringulo. Cada crculo tangente a dois lados do tringulo. Prove
que o incentro e o circuncentro do tringulo e o ponto O so colineares.
Resoluo:
O nome do ponto dado no O por acaso: sejam A, B e C os centros dos trs
crculos congruentes e ABC o tringulo cujos lados tangenciam esses trs
crculos. Note que os raios dos crculos congruentes so OA OB OC , isto , O
circuncentro de ABC. Alm disso, das tangncias dos crculos com os lados temos
que AA, BB e CCso as bissetrizes do tringulo ABC e se interceptam no
incentro I do tringulo.
36
37
M 1 o ponto mdio de PQ
o ponto mdio de P2Q2 . Prove que
1 1 e M2
O1 AO2 M 1 AM 2 .
03. (Prova de seleo 2008, Banco da IMO 2007) As diagonais do trapzio ABCD
cortam-se no ponto P. O ponto Q est na regio determinada pelas retas paralelas
BC e AD tal que AQD CQB e a reta CD corta o segmento PQ. Prove que
BQP DAQ.
3. O Fenmeno Homottico Circular
Algumas aplicaes de certos teoremas so to conhecidos quanto os prprios. Para
homotetias, o caso com o fenmeno homottico circular, que mostra uma
colinearidade bastante interessante envolvendo incrculo e ex-incrculo.
Fenmeno Homottico Circular. Seja ABC um tringulo e sejam K e L os pontos
de tangncia do incrculo e ex-incrculo relativo a A em BC. Ento A, L e o ponto K
diametralmente oposto a K no incrculo so colineares.
Demonstrao:
38
39
Considere
os
pontos
P
e
Q
e
seus
P1 1 ( P ), Q1 1 (Q), P2 2 ( P1 ) ( P ) e Q2 2 (Q1 ) (Q ).
transformados
40
Resoluo
Vamos comear trabalhando com segmentos tangentes.
CK AL.
2
2
Essa igualdade simples, mas abre muitas portas para ns! De fato, ela quer dizer
que os ex-incrculos w3 e w4 relativos a AC dos tringulos ABC e ADC tocam AC
em K e L, respectivamente. Isso nos d muitas, mas muitas homotetias, e pelo
menos duas oportunidades de utilizar o fenmeno homettico circular!
Desenhemos as circunferncias:
41
42
Primeiro, note que a homotetia direta 4 que leva w4 a w tem centro B e, portanto,
leva K a W. Mais ainda: como AC tangente a w4 em K, a reta r paralela a AC que
passa por W tangente a w, pois a reta AC levada a r por 4 .
Agora, considere a homotetia inversa 2 que leva w a w2 . Essa homotetia tem
centro em D, leva W a T e r a s, que paralela a r e AC e tangente a w2 . Assim,
D, W e T esto alinhados, ou seja, W pertence reta DT.
Falta ainda identificar melhor o ponto T. Na verdade, ele bem conhecido: como s
e AC so paralelos, T e K so diametralmente opostos. Podemos, assim, aplicar o
fenmeno homottico circular: D, T e L so colineares e L tambm pertence reta
DT.
Portanto D, L e W so colineares, de modo que W pertence a DL. Como W
pertence, por definio, reta BK, W a interseo de BK e DL, e s pode ser igual
a Z.
Observao: Note que a condio AB AC importante para que as retas BK e
DL no coincidam.
Exerccios
05. (Banco da IMO 2007) O ponto P pertence ao lado AB do quadriltero convexo
ABCD. Seja w o incrculo do tringulo DPD e I o seu incentro. Suponha que w
tangente aos incrculos dos tringulos APD e BPC em K e L, respectivamente. As
retas AC e BD se encontram em E e as retas AK e BL se encontram em F. Prove
que os pontos E, I e F so colineares.
06. (Romnia) Seja ABC um trigulo e wa , wb , wc crculos dentro de ABC tangentes
exteriormente dois a dois, tais que wa tangente a AB e AC, wb tangente a AB e
BC e wc tangente a AC e BC. Sejam D o ponto de tangncia entre wb e wc , E o
ponto de tangncia entre wa e wc e F o ponto de tangncia entre wa e wb . Prove
que as retas AD, BE e CF tm um ponto em comum.
07. (Ir) Sejam w e o incrculo e o circuncrculo do tringulo ABC. w toca BC,
CA e AB em D, E e F respectivamente. Os trs crculos wa , wb e wc tangenciam w
em D, E e F, respectivamente, e em K, L e M, respectivamente.
(a) Prove que DK, EL e FM tm um ponto P em comum.
(b) Prove que o ortocentro do tringulo DEF pertence reta OP.
EUREKA! N29, 2009
43
Voc sabia
44
t B t3C
1
1 t2 B t3C t1 A t1 2
A t1 D A
t2 t3
t2 t3
3 PD D P
45
3
3
. Analogamente, t2
e
a3
b3
3
3
3
3
t3
. Como t1 t2 t3 1,
1,
temos
donde
c3
a3 b3 c3
3 b 3 c 3 a 3 c 3 a 3 b 3 a 3 b 3 c 3 , e logo
t1 AD t1 AP PD t1 (a 3), donde t1
2 k 1
2k
2k
2k
F ( x ) F (( x ) ) 2 x F ( x ) 2 x
como queramos mostrar.
2
2k 2
2k 1
2
k 1
F( x) 2
2k 1 1
2
F (
x),
2k 1
2k 1
k
Como lim 2 e
2k 1
F (e
h 2k
) e lim 2 F (e
h2
h 2k
) e lim 2 (e 1) lim
h2
2k
F (eh 2 ) F (1)
k
eh 2 1
46
47 (Ir 1999)
f (b 2 y ) f ( f (b ) y ) 4 f (b) y f ( f (a ) y ) 4 f (a ) y f (a 2 y ), y ,
donde, se t b 2 a 2 , f ( z t ) f ( z ), z .
Note agora que, se t 0, fazendo y = t obtemos f ( f ( x)) f ( f ( x) t )
f ( x 2 t ) 4 f ( x)t f ( x 2 ) 4 f ( x)t f ( f ( x )) 4 f ( x)t , x , donde
4 f ( x)t 0, x , e logo f ( x ) 0, x , o que uma soluo (claramente).
Por outro lado, fazendo x = 0 na equao funcional, obtemos
f ( y ) f ( y ), y . Assim, se
f
no identicamente nula,
f (a ) f (b) a b ou a b. Em particular, como f ( f ( x )) f ( x 2 ), x ,
para todo
devemos ter
f ( x) x 2
ou
f ( x) x 2 . Se para algum
x 0, f ( x) x 2 , temos f ( x 2 y ) f ( y x 2 ) f ( f ( x ) y ) f ( x 2 y ) 4 f ( x ) y , y ,
donde 4 x 2 y 4 f ( x) y 0, y , absurdo. Assim, devemos ter f ( x ) x 2 , x .
Isso outra soluo, pois, de fato, ( x 2 y )2 ( x 2 y )2 4 x 2 y, x, y .
71 (Belarus 2000)
47
89 (Balcnica 2000)
propriedade:
SOLUO:
Voc sabia
Que 243112609-1 e 237156667-1 so primos? Eles tm 12978189 e
11185272 dgitos respectivamente e so os dois maiores primos
conhecidos no momento. Foram descobertos em 23 de agosto de
2008 e 6 de setembro de 2008 por Edson Smith e Hans
Michael Elvenich respectivamente, dois participantes do GIMPS.
O GIMPS um projeto cooperativo na internet que j encontrou
12 primos de Mersenne. Veja www.mersenne.org para mais
informaes, inclusive como ajudar a achar outros primos de
Mersenne.
48
224. (Balcnica Jnior 2007) Eureka! No. 27 Seja a um real positivo tal que
a 3 6 a 1 . Prove que a equao x 2 ax a 2 6 0 no possui soluo real.
SOLUO DE JOS DO NASCIMENTO PANTOJA JNIOR (FORTALEZA CE)
6
6, e como a 0 conclumos que a 2 6, da:
a
a a 2 6 6 a 2 a 2 a 6 0, ou seja, o valor de a tal que:
a 3 6a 6 a(a 2 6) 6 a 2
1 12 4 1 6
2 1
a 6 2, fica:
1 12 4 1 6
6 a 3.
Substituindo na equao em x,
2 1
6 por
6 / a ,
6
24
a a 2 4 1
0, devido ao
mas estas razes no so reais, pois a 2
a
x
,
a
2
3
fato de a 6 a 1 6 3 1 24.
226. (Inglaterra 2007) Eureka! No. 27 Seja ABC um tringulo acutngulo com
AB AC e BAC 60. Seja O o circuncentro e H o ortocentro. A reta OH
encontra AB em P e AC em Q. Prove que PO = HQ.
EUREKA! N29, 2009
49
(1)
e que
QAH OAP
(2)
Temos que
BOC 2BAC 120 BOM MOC 60 OM OB cos 60 AO cos 60
2OM AO, e por (1):
AO AH
(3)
AHO AOH
AHO
e
AOH
e como
so ngulos externos dos tringulos AQH e AOP, temos
HQA QAH OPA PAO e por (2):
AQH APO
Logo o trigulo AQP issceles, onde AP AQ. Tambm por (2) e (3), temos que
os tringulos APO e AQH so congruentes (A.L.A.) e assim:
PO HQ,
como queramos demonstrar.
229. (Bielorssia 2001) Eureka! No. 27 No losango ABCD, A 60 . Os pontos F,
H e G esto sobre os segmentos AD, CD e AC de modo que DFGH um
paralelogramo. Prove que FBH um tringulo equiltero.
50
H CG
e o tringulo
Sendo AD // GH , pois DFGH paralelogramo, temos CGH
HCG issceles, logo HC GH b. Mas FD b, logo os tringulos BCH e
60, j que ABCD losango.
BDF so congruentes, pois BC BD l e F DB
DBF
.
Portanto BH BF e C BH
C BH
H BD
H BD
DBF
H BF
60. Desta forma
Observe que C BD
conclui-se que o tringulo BFH equiltero, pois issceles e tem o ngulo do
vrtice de 60.
230. (Rssia 2007) Eureka! No. 27
Sejam a, b, c nmeros reais. Prove que pelo menos uma das trs equaes
x 2 (a b) x (b c ) 0,
x 2 (b c ) x ( c a ) 0
x 2 (c a ) x ( a b ) 0
possui soluo real.
SOLUO DE JEAN PIERRE YOUYOUTE (RIO DE JANEIRO - RJ)
51
1 ( x y z ) 2 6 3 (1 x 2 )(1 y 2 )(1 z 2 )
1 x 2 y 2 z 2 2( xy yz zx) 6 3 (1 x 2 )(1 y 2 )(1 z 2 )
3 x 2 y 2 z 2 6 3 (1 x 2 )(1 y 2 )(1 z 2 ).
Aplicando a desigualdade das mdias obtemos:
(1 x)(1 y ) (1 y )(1 z ) (1 z )(1 x) 3 3 (1 x 2 )(1 y 2 )(1 z 2 )
1 x x xy 1 y z yz 1 z x zx 3 3 (1 x 2 )(1 y 2 )(1 z 2 )
3 ( xy yz zx) 3 3 (1 x 2 )(1 y 2 )(1 z 2 )
3 1 6 3 (1 x 2 )(1 y 2 )(1 z 2 ).
Mas x 2 y 2 z 2 xy yz zx x 2 y 2 z 2 1.
Logo,
3 x 2 y 2 z 2 3 1 6 3 (1 x 2 )(1 y 2 )(1 z 2 )
3 x 2 y 2 z 2 6 3 (1 x 2 )(1 y 2 )(1 z 2 ).
52
Seja c 2007 o maior inteiro positivo tal que a seqncia (an ) r tem infinitos
termos iguais a c.
Existe n0 tal que an c, n n0 . Note que, se N , n so tais que
n0 N n N e aN an c, ento, como c aN a( N n ) n divide aN n an aN n c,
segue que c | aN n e, como aN n c, devemos ter aN n c.
Precisaremos agora do seguinte
Lema: Para quaisquer inteiros positivos b1 , b2 ,..., bk , existe m0 tal que qualquer
mltiplo de d mdc(b1 , b2 ,..., bk ) que seja maior que m0 pode ser escrito como
r1b1 r2b2 ... rk bk com r1 , r2 ,..., rk .
Prova: Vamos usar induo em k. Para k = 1 o resultado bvio.
0 tal que, se d mdc(b1 , b2 ,...bk ), ento todo mltiplo de
Suponhamos que exista m
0 se escreva como r1 b1 ... rk bk , com ri , i k . Sejam agora
d maior que m
0 b d . Sabemos que d pode ser
d mdc(b , b ,..., b , b ) mdc( d , b ) e m m
1
k 1
k 1
k 1
Temos s , e d (tx q b ) td b s m
b s m b d m
0,
k 1
k 1
k 1
k 1
r1 , r2 ,..., rk
donde,
pela
hiptese
de
induo,
existem
com
rk 1 s ,
e, definindo
teremos
d (tx q bk 1 ) r1b1 r2b2 ... rk bk ,
t d r1b1 r2 b2 ... rk bk rk 1bk 1 , o que termina a prova do Lema.
Sejam agora X {n | an c}, e d o mximo divisor comum dos elementos de
X. Existem b1 , b2 ,..., bk X com mdc(b1 , b2 ,..., bk ) d , e existe m0 tal que todo
mltiplo de d maior que m0 se escreve como r1b1 r2b2 ... rk bk com
EUREKA! N29, 2009
53
60
BCA
c 2 a 2 b 2 2ab cos(60) a 2 b 2 ab
Demonstremos que c mpar.
Como mdc(a, b) 1 ento a mpar ou b mpar. Suponhamos que b mpar.
Se a par ou mpar ento c mpar.
Demonstremos que c no divisvel por 3.
Se 3 | c 9 | c 2 ento c 2 a 2 b 2 ab (a b) 2 3ab
3 | a b 3 | a b 9 | a b 9 | 3ab 3 | ab
Ento 3 | a ou 3 | b, o que em qualquer
mdc(a, b) mdc (a, c ) mdc(b, c ) 1.
Logo c no divisvel por 3.
Demonstremos que c 1(mod 3).
2
caso
contradiz
que
c 2 a 2 b 2 ab 4c 2 4a 2 4ab 4b 2 2a b 3b 2 2c 2a b 2c 2a b 3b 2 .
2
54
(porque d | c e mcd b, c 1 ).
3 x2 y 2
c y 2 0(mod 3) c y 2 (mod 3)
4
Logo c 1(mod 3), porque c no divisvel por 3.
Como c 1(mod 3) ento c 1(mod 6) ou c 4(mod 6), porm c mpar, logo
c 1(mod 6).
119. Mostre que no existem inteiros positivos a e b tais que 36a b 36b a seja
uma potncia de 2.
SOLUO DE MARCILIO MIRANDA DE CARVALHO (TERESINA PI)
36a b e 36b a so
potncias de 2 maiores que 36. Da 36a b e so 36b a so pares, logo a e b
so pares. Agora seja S o conjunto de pares (a, b) tais que 36a b 36b a seja
Se
36a b 36b a
55
Veja que:
a n b n c n a b c a n 1 b n 1 c n 1 ab bc ac a n 2 b n 2 c n 2
abc a
n 3
n 3
n 3
56
Sn21 S n 2 Sn 1 S n .
Como 2 Sn 1 Sn 2 Sn ,
2 Sn 1 Sn Sn 2 .
Substituindo:
Sn2 S n 1 Sn 1 S n21 S n S n 2 .
Essa expresso tem o mesmo mdulo do que a obtida se trocarmos todos seus
sinais, ou seja Sn21 Sn 2 S n . Mas pela hiptese de induo o mdulo desta 8.
Assim, o mdulo de Sn2 S n 1S n 1 8. Por induo provamos que essa sentena
vlida para todo n inteiro positivo.
121. Na figura abaixo o lado do quadrado vale 4, obter o valor da altura h para que a
42
4 h h .
4
57
Tomando BAC e, usando que AD = BC e a lei dos senos nos tringulos ABD e
58
Seja S {( x, y, z ) ( *)3 :
x2 y 2 z 2
k onde k par}
xyz
x1 y1 z1 x0 y0 z0 2 x0 y0 z0 .
x2 y2 z 2
k 4}
xyz
Mas
x0
y0
z
1 e
1, donde temos que 1 1 0 4, o que implica que
y0 z0
x0 z0
x0 y0
z0 2 x0 y0 .
Consideremos a equao t 2 kx0 y0 t x02 y02 0 que tem a z0 como uma das suas
solues. Seja z1 a outra soluo da equao; ento temos:
(1) z0 z1 kx0 y0
(2) z0 z1 x02 y02
De (1) deduzimos que z1 inteiro, de (2) deduzimos que z1 positivo. Logo
( x0 , y0 , z1 ) C mas x0 y0 z0 x0 y0 z1 porque x0 y0 z0 mnimo.
59
Ento 2 x0 y0 z0 z1 , e substituindo em (2) obtemos 4 z02 y02 x02 y02 2 y02 donde se
obtm que 4 x02 2 , o que absurdo. Portanto o conjunto C vazio.
128. Barango Joe era um sapo de mtiplos talentos que habitava a Terra das
60
( x )dx a probabilidade de o
somando, obtemos pn 1 ( x)
x 1
x
pn 1 ( x )
n 1
qn (t )dt
t
xn
dt
.
0 (n 1)!
n!
x 1
pn 1 ( x )
qn (t )dt
x 1
para
x ( X ,1] ,
t n 1
Xn
dt
, c.q.d.
0 (n 1)!
n!
1
pn ( x)dx (1 X )
X
X n 1
e a probabilidade de o
(n 1)!
X n 1
(1 X )e X .
(
n
1
)!
n 1
n 1
Agora imagine que a banca tenha k sorteios disponveis para determinar X .
Seja Pk a probabilidade de o apostador ganhar nesse caso. Queremos calcular
P3 . Vamos calcular Pk recursivamente.
Primeira situao: imagine que a banca tem apenas 1 sorteio disponvel para
determinar X . Sabendo que, dado X , a probabilidade de o apostador ganhar
apostador ganhar f ( X ) g n (1 X )
Segunda situao: imagine agora que a banca tem at 2 sorteios para determinar
X . Se, no primeiro sorteio, ela obteve um nmero x , ela pode ficar com esse
nmero ou descart-lo. A probabilidade de o apostador ganhar ser
EUREKA! N29, 2009
61
deve descartar
somente se (1 x )e x P1 . Seja
Niteri RJ
Fortaleza CE
Rio de Janeiro RJ
Fartura SP
So Paulo SP
Amparo SP
Rio de Janeiro RJ
Rio de Janeiro RJ
Fortaleza CE
Braslia DF
So Paulo SP
Belo Horizonte MG
Sorocaba SP
Rio de Janeiro RJ
Continuamos aguardando solues para os problemas 123, 124, 125, 126 e 129.
PROBLEMAS PROPOSTOS
62
2
130) Suponha que a, b, c e a equao x a b c x (ab ac bc) 0 no
tem razes reais. Prove que a, b e c tm todos o mesmo sinal e existe um tringulo
de lados a , b e c .
AGENDA OLMPICA
XXXI OLIMPADA BRASILEIRA DE MATEMTICA
EUREKA! N29, 2009
63
NVEIS 1, 2 e 3
Primeira Fase Sbado, 06 de junho de 2009
Segunda Fase Sbado, 12 de setembro de 2009
Terceira Fase Sbado, 17 de outubro de 2009 (nveis 1, 2 e 3)
Domingo, 18 de outubro de 2009 (nveis 2 e 3 - segundo dia de prova).
NVEL UNIVERSITRIO
Primeira Fase Sbado, 12 de setembro de 2009
Segunda Fase Sbado, 17 e Domingo, 18 de outubro de 2008
XV OLIMPADA DE MAIO
09 de maio de 2009
COORDENADORES REGIONAIS
Alberto Hassen Raad
Amrico Lpez Glvez
(UFJF)
(USP)
Juiz de Fora MG
Ribeiro Preto SP
64
(UFV)
FACOS
(UFU)
(UFRN)
(Univ. Tec. Fed. de Paran)
(UNIFRA)
(UNIVATES)
(EDETEC)
(UNESP)
(UNIPAMPA)
(Colgio Objetivo de Campinas)
(USP)
(Faculdade Etapa)
(Univ. Federal do Tocantins)
(UFMG)
(UFES)
(UFSJ)
(Centro Educacional Leonardo Da Vinci)
(UC. Dom Bosco)
(UFPB))
(UNOCHAPEC)
(UFPI)
(Grupo Educacional Ideal)
(UFPB)
(UFSC)
(UFPB)
(Instituto Pueri Domus)
(UFAL)
(UFSC)
(Sistema Elite de Ensino)
(UFBA)
(UFRG)
(Grupo Educacional Ideal)
(Colgio Farias Brito, Pr-vestibular)
(Cursinho CLQ Objetivo)
(UFMA)
(UFLA)
(U. Estadual de Maring)
(Colgio Anglo)
(UFGO)
(Col. Aplic. da UFPE)
(Escola Tcnica Federal de Roraima)
(UNIFESP)
(Centro Educacional Logos)
(IM-UFRGS)
(UFMG)
(UEBA)
(U. Federal de Rondnia)
(U. Federal de Sergipe)
(U. Metodista de SP)
(CEFET GO)
65
Viosa MG
Osrio RS
Uberlndia MG
Natal RN
Pato Branco PR
Santa Mara RS
Lajeado RS
Manaus AM
S.J. do Rio Preto SP
Bag RS
Campinas SP
So Carlos SP
So Paulo SP
Arraias TO
Belo Horizonte MG
Vitria ES
So Joo del Rei MG
Taguatingua DF
Campo Grande MS
Joo Pessoa PB
Chapec SC
Teresina PI
Belm PA
Campina Grande PB
Florianpolis SC
Campina Grande PB
Santo Andr SP
Macei AL
Florianpolis SC
Rio de Janeiro RJ
Salvador BA
Rio Grande RS
Belm PA
Fortaleza CE
Piracicaba SP
So Luis MA
Lavras MG
Maring PR
Atibaia SP
Goinia GO
Recife PE
Boa Vista RR
SJ dos Campos SP
Nova Iguau RJ
Porto Alegre RS
Belo Horizonte MG
Juazeiro BA
Porto Velho RO
So Cristovo SE
S.B. do Campo SP
Jata GO