Sie sind auf Seite 1von 65

CONTEDO

XIV OLIMPADA DE MAIO

XLVIII OLIMPADA INTERNACIONAL DE MATEMTICA


Enunciados e Resultado Brasileiro

XLIX OLIMPADA INTERNACIONAL DE MATEMTICA


Enunciados e Resultado Brasileiro

XXII OLIMPADA IBEROAMERICANA DE MATEMTICA


Enunciados e Resultado Brasileiro

XXIII OLIMPADA IBEROAMERICANA DE MATEMTICA


Enunciados e Resultado Brasileiro

12

ARTIGOS
0,999... OU COMO COLOCAR UM BLOCO QUADRADO EM UM BURACO REDONDO
Pablo Emanuel

14

ALGORITMO DE GOSPER E APLICAES


Humberto Silva Naves

21

DOMINGO REGADO A REPUNITS


Valberto Rmulo Feitosa Pereira

27

HOMOTETIAS, COMPOSIO DE HOMOTETIAS EO PROBLEMA 6 DA IMO 2008


Carlos Yuzo Shine

32

COMO QUE FAZ?

44

OLIMPADAS AO REDOR DO MUNDO

48

SOLUES DE PROBLEMAS PROPOSTOS

52

PROBLEMAS PROPOSTOS

62

AGENDA OLMPICA

63

COORDENADORES REGIONAIS

64

Sociedade Brasileira de Matemtica

XIV OLIMPADA DE MAIO


PRIMEIRO NVEL
PROBLEMA 1

Quantos nmeros distintos de 6 algarismos e mltiplos de 45 podem ser escritos


colocando um dgito esquerda e outro direita de 2008?
PROBLEMA 2

No colgio Olmpico as provas so avaliadas com nmeros inteiros, a menor nota


possvel 0, e a maior 10. Na aula de Matemtica o professor aplica as
provas. Este ano a turma tem 15 alunos. Quando um dos alunos tira na
primeira prova uma nota menor que 3 e na segunda prova uma nota maior que
7, o aluno chamado de aluno superado. O professor, ao terminar de corrigir
as provas, fez uma mdia com as 30 notas e obteve 8. Qual a maior
quantidade de alunos superados que pode ter tido a turma?
PROBLEMA 3

Num quadro negro esto escritos os nmeros inteiros de 1 a 2008 inclusive.


Apagam-se dois nmeros e escreve-se a diferena entre eles. Por exemplo, se
apagamos o nmero 5 e 241, escrevemos 236. Assim continuamos, apagando os
nmeros e escrevendo a diferena, at que fica somente um nmero. Determine se
o nmero que ficou por ltimo pode ser 2008. E 2007?
Em cada caso, se a resposta afirmativa indique uma seqncia com esse nmero
final, e se negativa, explique o porqu.
PROBLEMA 4

Sobre o lado AB de um quadrado ABCD desenhado exteriormente o tringulo


retngulo ABF, de hipotenusa AB. Sabe-se que AF = 6, e que BF = 8. Chamamos
de E o centro do quadrado. Calcule o comprimento de EF.
PROBLEMA 5

Num tabuleiro de 16 16 colocamos 25 moedas, como na figura abaixo.


permitido selecionar 8 linhas e 8 colunas e retirar do tabuleiro todas as moedas que
se encontram nessas linhas e colunas. Determine se possvel retirar todas as
moedas do tabuleiro.
Se a resposta afirmativa, indique as 8 linhas e as 8 colunas selecionadas, e se
negativa, explique o porqu.

EUREKA! N29, 2009

Sociedade Brasileira de Matemtica

SEGUNDO NVEL
PROBLEMA 1

Num quadro negro est escrita a seguinte expresso:


1 2 22 23 2 4 25 26 27 28 29 210.
Juan distribui parntesis de distintas maneiras e efetua o clculo que fica. Por
exemplo:
1 2 (22 23 ) 24 (25 26 2 7 ) 28 (29 210 ) 403 ou
1 (2 22 (23 2 4 ) (25 26 2 7 )) (28 29 ) 210 933.
Quantos resultados diferentes pode obter Juan?
PROBLEMA 2

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

Nos nmeros 1010...101 esto alternados uns e zeros; se h n uns, h n 1 zeros


(n 2).
Determine os valores de n para os quais o nmero 1010...101, que tem n uns,
primo.
PROBLEMA 4

No plano h 16 retas tais que no h duas paralelas nem trs concorrentes.


Sebastin tem que pintar os 120 pontos que so interseo de duas retas de modo
que em cada reta todos os pontos pintados sejam de cor diferente.
Determine o nmero mnimo de cores que Sebastin precisa para concluir a tarefa.
E se as retas so 15 (neste caso, os pontos so 105)?
EUREKA! N29, 2009

Sociedade Brasileira de Matemtica

PROBLEMA 5

Matias cobriu um tabuleiro quadrado de 7 7, dividido em casas de 1 1, com


peas dos trs tipos a seguir

sem buracos nem superposies, e sem sair do tabuleiro.


Cada pea do tipo 1 cobre exatamente 3 casas e cada pea do tipo 2 ou do tipo 3
cobre exatamente 4 casas.
Determine a quantidade de peas do tipo 1 que Matias pode ter utilizado.
(As peas podem girar e ser viradas).
RESULTADO BRASILEIRO
2008: Nvel 1 (at 13 anos)
Nome

Cidade - Estado

Pontos

Prmio

Rafael Kazuhiro Miyazaki

So Paulo SP

45

Medalha de Ouro

Dbora Ornellas

Salvador BA

36

Medalha de Prata

Nicolas Seoane Miquelin

Mau SP

34

Medalha de Prata

Guilherme Renato Martins Unze

So Paulo SP

33

Medalha de Bronze

Ana Beatrice Bonganha Zanon

Santo Andr SP

26

Medalha de Bronze

Paula Dias Garcia

Braslia DF

24

Medalha de Bronze

Lara Timb Arajo

Fortaleza CE

24

Medalha de Bronze

Francisco Markan Nobre de Souza Filho

Fortaleza CE

24

Meno Honrosa

Henrique Gasparini Fiza do Nascimento

Braslia DF

23

Meno Honrosa

Henrique Vieira G. Vaz

So Paulo SP

23

Meno Honrosa

Nome

Cidade - Estado

Pontos

Prmio

Joo Lucas Camelo S

Fortaleza CE

37

Medalha de Ouro

Guilherme da Rocha Dahrug

Santo Andr SP

30

Medalha de Prata

Matheus Barros de Paula

Tauba SP

29

Medalha de Prata

Rafael Ferreira Antonioli

S.B. do Campo SP

23

Medalha de Bronze

Nara Gabriela de Mesquita Peixoto

Fortaleza CE

22

Medalha de Bronze

Rodrigo Nagamine

Santo Andr SP

22

Medalha de Bronze

Henrique Lopes de Mello

Rio de Janeiro RJ

21

Medalha de Bronze

Victorio Takahashi Chu

So Paulo SP

21

Meno Honrosa

2008: Nvel 2 (at 15 anos)

EUREKA! N29, 2009

Sociedade Brasileira de Matemtica


Jonas Rocha de Lima Amaro

Fortaleza CE

17

Meno Honrosa

Deborah Barbosa Alves

So Paulo SP

16

Meno Honrosa

XLVIII OLIMPADA INTERNACIONAL DE MATEMTICA


Enunciados e Resultado Brasileiro
A XLVIII Olimpada Internacional de Matemtica foi realizada na cidade
de Hani, Vietn no perodo de 19 a 31 de julho de 2007. A equipe brasileira foi
liderada pelos professores Carlos Gustavo Moreira do Rio de Janeiro RJ e Onofre
Campos da Silva Farias de Fortaleza CE.
RESULTADOS DA EQUIPE BRASILEIRA
BRA1
BRA2
BRA3
BRA4
BRA5
BRA6

Rgis Prado Barbosa


Henrique Pond de Oliveira Pinto
Ramn Moreira Nunes
Rafael Sampaio de Rezende
Rafael Tupynamb Dutra
Guilherme Phillipe Figueiredo

Medalha de Prata
Medalha de Prata
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Meno Honrosa

PRIMEIRO DIA
PROBLEMA 1:

Sejam a1 , a2 ,..., an nmeros reais. Para cada i (1 i n) definimos


d i max{a j :1 j i} min{a j : i j n}
e

d max{di :1 i n}.

(a) Prove que para quaisquer nmeros reais x1 x2 ... xn ,


d
max{ xi ai :1 i n} .
(*)
2
(b) Prove que existem nmeros reais x1 x2 ... xn para os quais vale a igualdade
em (*).
PROBLEMA 2:

EUREKA! N29, 2009

Sociedade Brasileira de Matemtica

So dados cinco pontos A, B, C D e E tais que ABCD um paralelogramo e BCED


um quadriltero cclico (e convexo). Seja l uma recta que passa por A.
Suponhamos que l intersecta o segmento DC num ponto interior F e a recta BC
em G.
Suponhamos tambm que EF EG EC. Prove que l a bissectriz do ngulo
DAB.
PROBLEMA 3:

Numa competio de Matemtica alguns participantes so amigos. A amizade


sempre recproca. Dizemos que um grupo de participantes um clique se dois
quaisquer deles so amigos (em particular, qualquer grupo com menos de dois
participantes um clique). O tamanho de um clique o nmero de seus elementos.
Sabe-se que nesta competio o tamanho mximo dos cliques par.
Prove que os participantes podem ser distribudos em duas salas, de modo que o
tamanho mximo dos cliques contidos numa sala igual ao tamanho mximo dos
cliques contidos na outra sala.

SEGUNDO DIA
PROBLEMA 4:

No tringulo ABC a bissectriz do ngulo BCA intersecta a circunferncia


circunscrita em R( R C ), a mediatriz de BC em P e a mediatriz de AC em Q.
O ponto mdio de BC K e o ponto mdio de AC L. Mostre que os tringulos
RPK e RQL tm reas iguais.
PROBLEMA 5:

Sejam a e b inteiros positivos tais que 4ab 1 divide (4a 2 1) 2 . Prove que a = b.
PROBLEMA 6:

Seja n um nmero inteiro positivo. Considere o conjunto


S {( x, y, z ) : x, y, z {0,1,..., n}, x y z 0}
de (n 1)3 1 pontos no espao tridimencional. Determine o menor nmero
possvel de planos cuja unio contm todos os pontos de S mas no contm (0, 0,
0).

EUREKA! N29, 2009

Sociedade Brasileira de Matemtica

XLIX OLIMPADA INTERNACIONAL DE MATEMTICA


Enunciados e Resultado Brasileiro
A XLIX Olimpada Internacional de Matemtica foi realizada na cidade de
Madri, Espanha no perodo de 10 a 22 de julho de 2008. A equipe brasileira foi
liderada pelos professores Luciano Monteiro de Castro do Rio de Janeiro RJ e
Carlos Yuzo Shine de So Paulo SP.
RESULTADOS DA EQUIPE BRASILEIRA
BRA1
BRA2
BRA3
BRA4
BRA5
BRA6

Davi Lopes Alves de Medeiros


Henrique Pond de Oliveira Pinto
Marcelo Matheus Gauy
Rafael Tupynamb Dutra
Rgis Prado Barbosa
Renan Henrique Finder

Medalha de Prata
Medalha de Prata
Medalha de Bronze
Medalha de Prata
Medalha de Prata
Medalha de Prata

PRIMEIRO DIA
PROBLEMA 1:

Seja ABC um tringulo acutngulo e seja H o seu ortocentro. A circunferncia de


centro no ponto mdio de BC e que passa por H intersecta a reta BC nos pontos A1
e A2 .
Analogamente, a circunferncia de centro no ponto mdio de CA e que passa por H
intersecta a reta CA nos pontos B1 e B2 , e a circunferncia de centro no ponto
mdio de AB e que passa por H intersecta a reta AB nos pontos C1 e C2 . Mostre
que A1 , A2 , B1 , B2 , C1 , C2 esto sobre uma mesma circunferncia.
PROBLEMA 2:

(a) Prove que


x2
y2
z2

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

(*)

Sociedade Brasileira de Matemtica

(b) Prove que existe uma infinidade de ternos de nmeros racionais x, y, z,


diferentes de 1, com xyz = 1, para os quais ocorre a igualdade em (*).
PROBLEMA 3:

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:

Determine todas as funes f 0, 0, (ou seja, f uma funo dos reais


positivos para os reais positivos) tais que

f ( w) f ( x )
2

f ( y2 ) f (z2 )

w2 x 2
y2 z2

para todos os nmeros reais positivos w, x, y com wx = yz.

PROBLEMA 5:

Sejam n e k nmeros inteiros positivos tais que k n e k n um nmero par.


So dadas 2n lmpadas numeradas de 1 a 2n, cada uma das quais pode estar acesa
ou apagada.
Inicialmente todas as lmpadas esto apagadas. Uma operao consiste em alterar
o estado de exatamente uma das lmpadas (de acessa para apagada ou de apagada
para acesa). Consideremos seqncias de operaes.
Seja n o nmero de seqncias com k operaes aps as quais as lmpadas de 1 a n
esto todas acessas e as lmpadas de n + 1 a 2n esto todas apagadas.
Seja M o nmero de seqncias com k operaes aps as quais as lmpadas de 1 a
n esto todas acesas e as lmpadas de n + 1 e 2n esto todas apagadas, e durante as
quais todas as lmpadas de n + 1 a 2n permanecem sempre apagadas.
N
.
Determine a razo
M
PROBLEMA 6:

Seja ABCD um quadriltero convexo cujos lados BA e BC tam comprimentos


diferentes. Sejam w1 e w2 as circunferncias inscritas nos tringulos ABC e ADC,
respectivamente.

EUREKA! N29, 2009

Sociedade Brasileira de Matemtica

Suponhamos que existe um circunferncia w tangente reta BA de forma que A


est entre B e o ponto de tangncia, tangente reta BC de forma que C est entre B
e o ponto de tangncia, e que tambm seja tangente s retas AD e CD. Prove que as
tangentes comuns exteriores a w1 e w2 se intersectam sobre w.

XXII OLIMPADA IBEROAMERICANA DE MATEMTICA


Enunciados e Resultado Brasileiro
A XXII Olimpada Iberoamericana de Matemtica foi realizada na cidade
de Coimbra, Portugal no perodo de 6 a 16 de setembro de 2007. A equipe
brasileira foi liderada pelos professores Eduardo Wagner e Edmilson Motta da
cidade do Rio de Janeiro RJ e So Paulo SP respectivamente.
RESULTADOS DA EQUIPE BRASILEIRA
BRA1
BRA2
BRA3
BRA4

Guilherme Rodrigues Nogueira de Souza


Henrique Pond de Oliveira Pinto
Ramon Moreira Nunes
Rgis Prado Barbosa

Medalha de Ouro
Medalha de Prata
Medalha de Ouro
Medalha de Ouro

PRIMEIRO DIA
PROBLEMA 1:

Dado um inteiro positivo m, define-se a sucesso {an } da seguinte maneira:


m
a1 , an 1 an an , si n 1.
2
Determinar todos os valores de m para os quais a2007 o primeiro inteiro que
aparece na sucesso.
Nota: Para um nmero real x se define x como o menor inteiro que maior ou
igual a x.
2007.
2007

Por exemplo, 4,
PROBLEMA 2:

Sejam ABC um tringulo com incentro I e uma circunferncia de centro I, de


raio maior que o da circunferncia inscrita e que no passa por nenhum dos
vrtices. Sejam X 1 o ponto de interseco de com a reta AB mais perto de
B, X 2 e X 3 os pontos de interseco de com a recta BC sendo X 2 o mais perto
EUREKA! N29, 2009

Sociedade Brasileira de Matemtica

de B e X 4 o ponto de interseco de com a recta CA mais perto de C. Seja K o


ponto de interseco das rectas X 1 X 2 e X 3 X 4 . Demonstre que AK corta o
segmento X 2 X 3 no seu ponto mdio.
PROBLEMA 3:

Duas equipes, A e B disputam o territrio limitado por uma circunferncia.


A tem n bandeiras azuis e B tem n bandeiras brancas ( n 2, fixo). Jogam
alternadamente e A comea o jogo. Cada equipe, na sua vez, coloca uma das suas
bandeiras num ponto da circunferncia que no se tenha usado numa jogada
anterior. Cada bandeira, uma vez colocada, no se pode mudar de lugar.
Uma vez colocadas as 2n bandeiras reparte-se o territrio entre as duas equipes.
Um ponto do territrio da equipe A se a bandeira mais prxima dele azul, e da
equipe B se a bandeira mais prxima dele branca. Se a bandeira azul mais
prxima de um ponto est mesma distncia que a bandeiras branca mais prxima
deste ponto, ento o ponto neutro (no de A nem de B). Uma equipe ganha o
jogo se seus pontos cobrem uma rea maior que a rea coberta pelos pontos da
outra equipe. H empate se ambos cobrem reas iguais.
Demonstre que, para todo n a equipe B tem estratgia para ganhar o jogo.
SEGUNDO DIA
PROBLEMA 4:

Em um tabuleiro quadriculado de tamanho 19 19, uma ficha chamada drago d


saltos da seguinte maneira: desloca-se 4 casas numa direco paralela a um dos
lados do tabuleiro e 1 casa em direo perpendicular anterior.
X

X
D

A partir de D, o drago pode saltar para uma das quatro posies X.


Sabe-se que, com este tipo de saltos, o drago pode mover-se de qualquer casa a
qualquer outra.
EUREKA! N29, 2009

10

Sociedade Brasileira de Matemtica

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:

Um nmero natural n atrevido se o conjunto dos seus divisores, incluindo 1 e n,


pode ser dividido em trs subconjuntos tais que a soma dos elementos de cada
subconjunto a mesma nos trs. Qual a menor quantidade de divisores que pode
ter um nmero atrevido?
PROBLEMA 6:

Seja F a famlia de todos os hexgonos convexos H que satisfazem as seguintes


condies:
a) os lados opostos de H so paralelos;
b) quaisquer trs vrtices de H podem ser cobertos por uma faixa de largura 1.
Determine o menor nmero real l tal que cada um dos hexgonos da famlia F
pode ser coberto com uma faixa de largura l .
Nota: Uma faixa de largura l a regio do plano compreendida entre duas rectas
paralelas que esto distancia l (includas ambas as rectas paralelas).

EUREKA! N29, 2009

11

Sociedade Brasileira de Matemtica

XXIII OLIMPADA IBEROAMERICANA DE MATEMTICA


Enunciados e Resultado Brasileiro
A XXIII Olimpada Iberoamericana de Matemtica foi realizada na cidade
de Salvador, Bahia no perodo de 20 a 28 de setembro de 2008. A equipe brasileira
foi liderada pelos professores Eduardo Wagner e Fbio Dias Moreira, ambos da
cidade de Rio de Janeiro RJ. Com este resultado a equipe brasileira obteve
tambm a maior pontuao total da competio ficando em primeiro lugar com 155
pontos.
RESULTADOS DA EQUIPE BRASILEIRA
BRA1
BRA2
BRA3
BRA4

Henrique Ponde de Oliveira Pinto


Renan Henrique Finder
Ramon Moreira Nunes
Rgis Prado Barbosa

Medalha de Ouro
Medalha de Prata
Medalha de Ouro
Medalha de Prata

PRIMEIRO DIA
PROBLEMA 1:

Os nmeros 1, 2, 3,..., 2008 2 so distribudos num tabuleiro 2008 2008, de modo


que em cada casa haja um nmero distinto. Para cada linha e cada coluna do
tabuleiro calcula-se a diferena entre o maior e o menor dos seus elementos. Seja S
a soma dos 4016 nmeros obtidos.
Determine o maior valor possvel para S.
PROBLEMA 2:

Sejam ABC um tringulo escaleno e r a bissectriz externa do ngulo ABC. Sejam


P e Q os ps das perpendiculares recta r que passam por A e C, respectivamente.
As rectas CP e AB intersectam-se em M e as rectas AQ e BC intersectam-se em N.
Demonstre que as rectas AC, MN e r tm um ponto em comum.
PROBLEMA 3:

EUREKA! N29, 2009

12

Sociedade Brasileira de Matemtica

Sejam m e n inteiros tais que o polinmio P( x) x 3 mx n tem a seguinte


propriedade: se x e y so inteiros e 107 divide P( x) P ( y ), ento 107 divide x y.
Demosntre que 107 divide m.
SEGUNDO DIA
PROBLEMA 4:

Demonstre que no existem inteiros positivos x e y tais que


x 2008 2008! 21y.
PROBLEMA 5:

Seja ABC um tringulo e X, Y, Z pontos interiores dos lados BC, AC, AB


respectivamente. Sejam A, B, C os circuncentros dos tringulos AZY, BXZ, CYX,
respectivamente.
Demonstre que
( ABC )
ABC
4
e que a igualdade ocorre se, o somente se, as rectas AA, BB, CC tm um ponto
em comum.
Observao: Para um tringulo qualquer RST, denotamos a sua rea por (RST).
PROBLEMA 6:

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?

EUREKA! N29, 2009

13

Sociedade Brasileira de Matemtica

0,999... OU COMO COLOCAR UM BLOCO QUADRADO


EM UM BURACO REDONDO
Pablo Emanuel

Nvel Intermedirio

Quando um jovem estudante de matemtica comea a estudar os nmeros


reais, difcil no sentir certo desconforto e estranhamento. De repente, algumas
coisas que faziam sentido param de funcionar to bem assim. Com certeza, uma
das mais estranhas pode ser resumida na igualdade
0,9999..... = 1,0000...
Como assim? No mundo dos nmeros inteiros (com a exceo muito razovel de 0
= 0), qualquer nmero tem uma nica representao decimal (os zeros esquerda
no so um problema srio, ou definimos que nunca podemos comear com 0 o
que deixa o prprio zero em uma situao meio desconfortvel de ter uma
representao decimal vazia ou definimos que sempre vamos completar com
infinitos zeros esquerda), e esta se comporta bem i.e. qualquer nmero da forma
8xxxxxxx menor que qualquer nmero da forma 9yyyyyyy com o mesmo nmero
de dgitos. Como pode haver um nmero comeado por 0,9 que no seja menor que
um nmero comeado por 1,0 e, pior, que seja igual!? A resposta explica, mas no
convence: se definirmos as seqncias:
an = 0.999999...9 (n dgitos 9) e
bn = 1.000000...0 (n dgitos 0)
temos que an < 0.999... 1.000... < bn. No entanto, como bn an = 1/10n, que
converge para 0, a diferena entre 1.000... e 0.999..., que menor que qualquer das
diferenas bn an s pode ser 0, logo os nmeros so iguais.
OK, entendido, mas ainda tem caroo neste angu. Por que a representao decimal,
que se comporta to bem para nmeros inteiros tem este tipo de esquisitice para
nmeros reais? A verdade que usar a representao decimal para nmeros reais
enfiar um bloco quadrado em um buraco redondo.
EUREKA! N29, 2009

14

Sociedade Brasileira de Matemtica

Em primeiro lugar, at agora estamos usando a representao decimal (base 10)


apenas porque a representao com que estamos mais acostumados. Ser que o
problema est com o nmero 10? Infelizmente no. Mesmo que usemos outras
bases, o problema continua:
0,1111.... = 1,000.... em base 2
0,2222... = 1,000... em base 3
e o mesmo problema acontece em qualquer base que escolhamos (e a demonstrao
exatamente a mesma, mutatis mutandis, que fizemos l em cima).
Antes de entrarmos a fundo em por que a representao decimal (ou em qualquer
base N) tem estes problemas, bom ver que outras opes ns temos para
representar os nmeros reais. Em primeiro lugar, nossas notaes foram feitas para
trabalhar com nmeros inteiros, que o que nos familiar (a ponto de Pitgoras
afirmar que os nmeros inteiros so a fundao do universo). Dos nmeros inteiros
conseguimos de forma natural derivar os nmeros racionais (os nmeros da forma
a/b, onde a e b so inteiros). O pulo para os nmeros reais irracionais, no entanto,
menos natural, e as nicas maneiras que temos para tentar nomear os nmeros
irracionais so atravs das aproximaes por nmeros racionais. A prpria
representao decimal a aproximao por nmeros racionais da forma A/10n (ou
A/Nn, em base N). Duas outras formas de representar os nmeros reais so as
fraes contnuas e os cortes de Dedekind.
A representao por fraes contnuas tem a forma
N1 +

1
_________________
N2 +
1
___________
N3 + ...

O algoritmo para construir a representao por fraes contnuas de um nmero x


bastante simples. Em primeiro lugar, N1 a parte inteira de x (i.e. o maior nmero
inteiro que menor ou igual a x). Se x N1 = 0, acabou, seno, x N1 maior que 0
e menor que 1, portanto y = 1/(x N1) um nmero maior que 1. Seja N2 ento a
parte inteira deste nmero, o que equivale a dizer que 1/(N2 + 1) < x N1 1/N2.
Agora repita o processo com y no lugar de x (i.e. N3 o nmero tal que 1/(N3 + 1) <

EUREKA! N29, 2009

15

Sociedade Brasileira de Matemtica

y N2 1/N3), e assim por diante at chegar a um nmero inteiro ou continuando


para sempre.
A representao por fraes contnuas no tem o mesmo problema da
representao decimal (cada nmero real tem uma e somente uma representao
por fraes contnuas), mas tem outros inconvenientes. O primeiro, que no to
srio assim, que os nmeros Ni, que seriam equivalentes aos dgitos, podem ser
arbitrariamente grandes, ao contrrio dos dgitos decimais que s podem ser de 0 a
9. O segundo, muito mais srio, que terrivelmente difcil fazer contas com
fraes contnuas. Este foi o principal motivo de a representao decimal ter
substitudo a numerao romana na Europa no sculo XV era imensamente mais
simples fazer contas com a representao decimal do que com a representao
romana. (E este tambm o principal motivo de a representao binria ter tomado
espao da representao decimal no sculo XX, ainda mais fcil fazer contas em
binrio).
Outra representao dos nmeros reais atravs dos cortes de Dedekind. A
diferena do corte de Dedekind para a representao decimal ou de fraes
contnuas que, enquanto as ltimas usam uma seqncia convergente de nmeros
racionais, os cortes usam conjuntos sem uma seqncia definida.
Um corte de Dedekind um conjunto de nmeros racionais limitado, que no
possui um maior elemento e fechado inferiormente. Ou seja, um conjunto de
racionais A tal que:
1) existe um racional X tal que X > a para todo a pertencente a A
2) para todo a pertencente a A, existe um b pertencente a A tal que b > a.
3) Se a pertence a A, e um racional c < a, ento c pertence a A.
Em outras palavras, cada um destes conjuntos o conjunto de todos os nmeros
racionais menores que um nmero real determinado.
Esta representao til teoricamente para provar algumas propriedades dos
nmeros reais, mas praticamente impossvel de ser utilizada na prtica para as
tarefas corriqueiras do dia-a-dia.
A concluso que, apesar dos seus defeitos, a representao de base N a
representao mais prtica que temos para os nmeros reais. Ento vamos entendla mais a fundo.

EUREKA! N29, 2009

16

Sociedade Brasileira de Matemtica

Em primeiro lugar, a parte antes da vrgula (ou ponto decimal, dependendo de em


qual lugar do mundo voc vive) apenas a parte inteira do nmero, com a nossa
velha e bem comportada representao decimal de nmeros inteiros. Vamos nos
concentrar ento na parte direita da vrgula, os nmeros entre 0 e 1.

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:

Os pontos onde nasce o nosso problema so justamente estes pontos marcados na


nossa linha (0; 0,1; 0,2; ...; 1). Repare que o grfico acima descontnuo nestes
pontos por exemplo, as imagens dos pontos se aproximando de 0,2 pela esquerda
tendem a 1, enquanto pela direita tendem a 0. Dito de outra forma, os nmeros se
aproximando pela esquerda de 0,2 vo ter uma seqncia longa de 9s depois do
0,1 e pela direita uma seqncia longa de 0s depois do 0,2.
Antes de prosseguir com a anlise, j vimos que no existe nada de especial no
nmero 10, portanto, por pura preguia, a partir de agora vou mudar para base 2,
mas deixo ao leitor desconfiado a tarefa de reescrever tudo o que se segue em base
10.
EUREKA! N29, 2009

17

Sociedade Brasileira de Matemtica

Apenas para comear do ponto onde paramos, o grfico acima para base 2 fica
assim:

Relembrando, o problema est no ponto da descontinuidade, neste caso o 0,1


(tambm conhecido como ). A origem do problema o fato de haver nmeros
comeados por 0,0 arbitrariamente prximos de 0,1, quando, naturalmente,
nmeros comeados por 0,0 deveriam ser distintamente menores do que 0,1.
Vamos tentar corrigir este problema dando um pequeno espao entre os intervalos
no nosso desenho.

Vamos passar agora para o segundo dgito.

EUREKA! N29, 2009

18

Sociedade Brasileira de Matemtica

O espao que demos entre os intervalos do primeiro dgito naturalmente se propaga


para o segundo dgito (seno teramos o mesmo problema nos nmeros 0,01 - e
0,11 ). [Em base 10 seriam 9 buracos na primeira rodada e 90 na segunda,
entenderam a minha preguia?]
Neste ponto, j no difcil imaginar o processo para o terceiro dgito criar mais
um buraco no meio de cada um dos 4 intervalos restantes, e assim por diante.
O conjunto dos nmeros que sobram depois de fazermos este processo infinitas
vezes um conjunto em que podemos usar a nossa representao de base 2 (ou
base 10, se fizermos o processo no desenho original l de cima) sem medo cada
nmero tem apenas uma representao, e elas respeitam a ordem e as distncias
que esperaramos: por exemplo, se um nmero comea por 0,11010 ele
estritamente menor que qualquer nmero que comece por 0,11011. O nico
problema que o conjunto que temos no final deste processo to esfarelado que
ele no contm nem um intervalinho que seja. Se escolhssemos um nmero entre
0 e 1 aleatoriamente, ele teria 0% de chance de estar no nosso conjunto repare
que eu disse 0% no uma em um quaquilho elevado a um googleplex, no a
chance de ganhar na megasena todas as semanas pelo resto da vida, mas zero!
Este conjunto to importante que tem um nome conjunto de Cantor, em
homenagem ao matemtico Georg Cantor que, entre outras coisas criou a teoria dos
conjuntos (todos os conjuntos ento so um pouquinho conjuntos de Cantor) e
provou que existiam mais nmeros irracionais do que nmeros racionais. Dado que
acabamos de ver que o prprio sistema de representao decimal que usamos todos
os dias na verdade um conjunto de Cantor, de se admirar que apenas no final do
sculo XIX tenhamos passado a conhec-lo.
Pelo que acabamos de ver, o nosso sistema de numerao um mapeamento entre
um conjunto de Cantor e o intervalo [0,1]. O cerne da nossa questo que esta
EUREKA! N29, 2009

19

Sociedade Brasileira de Matemtica

funo no injetiva, ou seja, existem elementos distintos a e b no conjunto de


Cantor que so mapeados para o mesmo nmero real (a diferente de b, f(a) = f(b)),
por exemplo, 0,19999... e 0,2. [Parnteses: outra forma de ver isto afirmar que o
intervalo [0,1] o espao quociente do conjunto de Cantor pela relao de
equivalncia entre os nmeros terminados por 999... e os seus correspondentes
terminados por 000..., ver o artigo Egalit] no endereo:
http://www.impa.br/~gugu/pablo-egalite.doc
Vamos tentar desenhar o grfico desta funo:

Os dois extremos do buraco do meio so os pontos 0,01111.... e 0,10000... que


representam o mesmo nmero , portanto a funo constante igual a neste
intervalo. Da mesma forma cada um dos buracos de geraes maiores
corresponde a diferentes plats no grfico. O mais surpreendente que, depois de
criarmos os infinitos plats, o grfico final um grfico contnuo, que chamado
de funo de Cantor, ou de escada do diabo (porque sempre existem infinitos
degraus entre quaisquer dois degraus da escada, voc nunca conseguiria sair do
lugar assim como Aquiles correndo atrs da tartaruga). Infelizmente, o que se
tem quando se tenta botar um bloco quadrado em um buraco redondo, ou neste
caso, botar um intervalo dentro de um conjunto de Cantor.

EUREKA! N29, 2009

20

Sociedade Brasileira de Matemtica

ALGORITMO DE GOSPER E APLICAES


Humberto Silva Naves

Nvel Avanado

Continuando com as idias do artigo Integrais discretas (de Eduardo


Poo na Eureka nmero 27), vamos tentar descobrir frmulas fechadas para
alguns somatrios da forma:
n 1

(*) zk
k 0

Algumas consideraes devem ser feitas antes de continuarmos:


1- Vamos assumir que zk uma seqncia hipergeomtrica, isto , a razo
r (k ) zk 1 / zk uma funo racional de k.
2- Por frmula fechada, entendemos que existe uma seqncia
n 1
hipergeomtrica sn tal que sn k 0 zk (essa definio no to
restritiva assim, pois veremos que a classe das seqncias hipergeomtricas
bastante ampla).
Por exemplo, vamos tentar achar uma frmula fechada para:
2

2k

sn zk , onde
k
zk 2 k
k 0
( k 1)4
n 1

EUREKA! N29, 2009

21

Sociedade Brasileira de Matemtica

Claramente zk hipergeomtrica, uma vez que r (k ) zk 1 / zk

(2k 1) 2

4( k 1)( k 2)

uma funo racional de k. Por (*), vale:


zn sn 1 sn

zn sn 1

1
sn
sn
sn 1
1
sn

A nossa frmula fechada sn hipergeomtrica, logo

uma funo

racional y(n), portanto:


sn y (n) zn y (n 1) zn 1 y (n) zn z n
r (n) y (n 1) y (n) 1
onde: r (n)

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

(Observao: todas as relaes de divisibilidade e os mdcs referencem-se aos


polinmios em si e no aos seus valores em um dado ponto)
Por (1), temos que se uma raiz de Q ento: = 1 ou = 2 ou + 1 raiz de
Q. E por (2) se raiz de Q ento: 1 2 ou 1 tambm raiz de Q. Portanto,
como Q no pode ter infinitas razes, Q no possui raiz alguma, isto , Q(n)
constante (sem perda de generalidade, Q(n) = 1).
Disto conclu-se que:
EUREKA! N29, 2009

22

Sociedade Brasileira de Matemtica

(2n 1) 2 P( n 1) 4( n 1)( n 2) P ( n) 4( n 1)(n 2)


Logo: (n 1)( n 2) P ( n 1) n( n 1) P( n) , da P(n) n(n 1) P( n) , ento vale:
(2n 1) 2 P( n 1) 4n(n 1) P (n) 4, onde P(n) um polinmio
Seja d deg P, P (n) ad n d ... a0 ; substituindo na equao anterior, vale (para o
caso d > 0):
(4n 2 4n 1)( ad ( n 1) d ... a0 ) (4n 2 4n)( ad n d ... a0 ) 4
(4n 2 4n 1)( ad n d (ad 1 dad )n d 1 ...)
(4n 2 4n)(ad n d ad 1n d 1 ...) 4
4dad n d 1 ... 4
Mas, se d 0, 4dad n d 1 ... 4 um polinmio de grau d + 1. Portanto
d 0 P(n) 4 (que de fato soluo da equao anterior), donde conclumos
que: y ( n) 4n( n 1), logo:
2

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

zn como a razo de dois

polinmios satisfazendo as condies:


mdc{ A(n), B (n h)} 1, h .
O leitor pergunta: Ento essa tcnica no se aplica para todos os casos?!?!?.
EUREKA! N29, 2009

23

Sociedade Brasileira de Matemtica

O autor responde: No se desesperem!, uma vez que possvel escrever r(n) da


seguinte forma:
(**)r ( n)

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 )

onde A(n) = 1, B(n) = n e C (n) n(n 1) 2 ( n 2) 2 ( n 3).


De forma geral se uma raiz do denominador de r(n) e h uma raiz do
numerador de r(n), onde h , ento vale:
n ( h)
n h n h 1
n 1 T (n 1)

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)

Como y(n) racional em n, podemos fazer a substituio y ( n)


portanto:
A( n) y ( n 1) B( n 1) y ( n) C ( n) (***)

EUREKA! N29, 2009

24

B (n 1)
y ( n),
C ( n)

Sociedade Brasileira de Matemtica

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)

A( n) P( n 1)Q( n) B( n 1) P( n)Q(n 1) C ( n)Q (n)Q (n 1)


Logo:
1- Q (n) B (n 1)Q(n 1)
2- Q (n 1) A( n)Q(n) Q (n) A(n 1)Q(n 1)
Logo se raiz de Q , ento:
1- raiz de B(n 1) ou raiz de Q (n 1)
2- raiz de A(n 1) ou raiz de Q(n 1)
Como h , Q (n) 1.
Vamos agora resolver a seguinte equao polinomial:
A( n) y ( n 1) B (n 1) y ( n) C ( n), onde y ( n) ad n d ... a0
Temos casos a considerar
1- deg A deg B
2- deg A deg B e A B ( A o coeficiente lder de A):
Nesses casos, pela equao (***), vale:
deg C deg y max{deg a,deg b}
d deg C max{deg A,deg B}.
3- e A B k
Se d > 0, ento:
(kn m an m 1 ...)( ad (n 1) d K a0 )
( kn m bn m 1 ...)( ad n d K a0 ) C (n)
(kn m an m 1 ...)( ad n d ( ad 1 dad )n d 1 K )
( kn m bn m 1 ...)( ad n d ad 1n d 1 K ) C (n)
[(a ad k (ad 1 dad )) (b ad kad 1 )]n m d 1 K

EUREKA! N29, 2009

25

C (n)

Sociedade Brasileira de Matemtica

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)

Calcule os seguintes somatrios


1
n 1
a) k 0 2
k 5k 1
4 k
n 1 k 4
k 0 2k
b)

k
c)

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.

EUREKA! N29, 2009

26

m (i )
i 1 n

0, ento tn( i ) : tn( j ) para

Sociedade Brasileira de Matemtica

d) Se vale

n 1
k 0

zk tn(1) tn(2) ... tn( m ) , onde

tn(1) , tn(2) ,..., tn( m )

zn

so

hipergeomtricas, ento zk hipergeomtrica! (Ufa! De fato nossa definio


de frmula fechada no to restritiva assim).
n 1
k 0

DOMINGO REGADO A REPUNITS


Valberto Rmulo Feitosa Pereira
Cefetce Uned Cedro

Nvel Iniciante

No final do ano de 2007 fui convidade pelo professor e amigo Onofre


Campos, por quem tenho admirao, para ministrar aulas para um jovem que no
podia se locomover, pelo valor que eu iria receber pelas aulas, pensei que o rapaz
pertencia a uma famlia muito rica; grande foi a minha surpresa ao perceber
justamente o contrrio: em segunda conversa com o supra-citado professor, soube
da frgil situao financeira do jovem aluno, mas tambm, por outro lado, do seu
incrvel potencial e de sua fora de vontade, fatos que me entusiasmaram em
conhec-lo. Este aluno era Ricardo Oliveira, o qual havia conquistado duas
medalhas de Ouro na OBMEP.
No ltimo encontro que tive com Ricardo, em sua residncia, ainda
promovido pelo projeto de iniciao cientfica, deparamo-nos com o seguinte
problema:
O inteiro A formado por 666 algarismos iguais a 3, e o nmero B por
666 algarismos iguais a 6. Que algarismos apareceram no produto AB?

EUREKA! N29, 2009

27

Sociedade Brasileira de Matemtica

Enquanto Ricardo fazia uma atividade, eu folhava uma apostila que


continha as colunas semanais Olimpada de Matemtica do jornal O Povo em
parceria com o Departamento de Matemtica da UFC. Neste momento, vi o
problema acima e falei:
- Olha Ricardo que belo problema!
Nesse instante Ricardo para sua atividade, l o problema e passa a resolvlo. Eu tambm caio na tentativa de resolv-lo, lembrei que:
111111...11
1 42 43
n algarismos 1

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

Sociedade Brasileira de Matemtica

Exemplo 1: O inteiro positivo n formado de k algarismos 9. Mostre que a soma de


todos os algarismos de n2 igual a 9k.
Demonstrao: Pelas hipteses temos
N 999...9
1 2 3 9(111...1) 9
k

10k 1
10 k 1.
9

Calculemos N2 da seguinte forma:


N 2 N .N
N 2 (999...9).(10 k 1)
N 2 999...9000...0
1 2 3 1 2 3 999...9
123
k

N 999...98000...01
123 123
2

k 1

k 1

A soma dos algarismos : 9( k 1) 8 1 9k .


Exemplo 2: Mostre que os nmeros 49, 4489, 444889, ..., obtidos colocando o
nmero 48 no meio do nmero anterior, so quadrados de nmeros inteiros.
Demonstrao: Vejamos as igualdades:
49 4.1.101 8.1 1
4489 4.11.102 8.11 1
De

modo

geral

444889 4.111.103 8.111 1


n
N 444...488...89
4.111...1.10
8.111...1
123 {
123
1 2 3 1.
temos:
n

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

O nmero 2.10n 1 mltiplo de 3, portanto N um quadrado perfeito.


Exemplo 3: Para cada inteiro positivo n, sejam A(n) e B(n) dois nmeros inteiros
formados por 2n algarismos iguais a 1 e n algarismos iguais a 2 respectivamente.
EUREKA! N29, 2009

29

Sociedade Brasileira de Matemtica

Mostre que A(n) B(n) um quadrado perfeito.


Demonstrao. Pelas hipteses temos:
A( n) B ( n) 111...1
1 2 3 222...2
123
2n

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)

Exemplo 4: Sem efetuar a multiplicao, calcule o valor de (999.999.999) 2 .


Soluo: Vamos escrever a expresso (999.999.999) 2 da seguinte maneira:

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

Finalmente o problema motivdor do nosso trabalho.


Exemplo 5: O inteiro A formado por 666 algarismos iguais a 3, e o nmero B por
666 algarismos iguais a 6. Que algarismos apareceram no produto AB?
10666 1
1 2 3 6.111...1
1 2 3 e B 333...3
3.111...1
3.
, vamos
Soluo: Como A 666...6
1
2
3
123
666
666
9
666
666
calcular AB mas usando alguns artifcios, como segue abaixo:
10666 1
AB 3.6.(111...1).
9
666
AB 2.(111...1)(10 1)
EUREKA! N29, 2009

30

Sociedade Brasileira de Matemtica

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

Logo apareceram no produto AB:


- Um algarismo 1;
- Um algarismo 8;
- 665 algarismos 2;
- 665 algarismos 7.

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.

1 2 3 divisvel por 41 se e somente se n divisvel por 5.


Prove que se 111...1

4.

Mostre que nenhum inteiro da seqncia: 11,111,1111,11111,... um


quadrado perfeito.

5.

Mostrar que os inteiros: 1111,111111,..., cada um dos quais formado por


um nmero par de algarismos 1, so compostos.

2n

1 2 3 primo ento n primo


Nota dos editores: No difcil mostrar que se 111...1
n

(exerccio!) . Os nicos valores de n para os quais se sabe provar atualmente que


111...1
1 2 3 primo so 2, 19, 23, 317 e 1031. Recentemente (entre 1999 e 2007) foram
n

1 2 3 provavelmente primo (i.e.,


descobertos os seguintes valores de n tais que 111...1
n

passa por diversos testes probabilsticos de primalidade): 49081, 86453, 109297 e


EUREKA! N29, 2009

31

Sociedade Brasileira de Matemtica

270343. De acordo com os testes j realizados, qualquer outro repunit primo deve
ter mais de 400.000 algarismos.

REFERNCIAS
[1]

Emanuel Carneiro, Francisco Antonio M. de Paiva, Onofre Campos, Olimpadas


Cearenses de Matemtica do Ensino Fundamental, Edies Realce Editora e Indstria
Grfica, Fortaleza, 2006.
Alencar Filho, Edgar de, Teoria Elementar dos Nmeros, Nobel, So Paulo, 1988.
Coluna Semanal Olimpadas de Matemtica, Jornal O Povo em parceria com o
Departamento de Matemtica da UFC, No. 01, ao No. 200.
Titu Andreescu, Razvan Gelca, Mathematical Olympiad Challenges, 2000.

[2]
[3]
[4]

HOMOTETIAS, COMPOSIO DE HOMOTETIAS


E O PROBLEMA 6 DA IMO 2008
Carlos Yuzo Shine

Nvel Avanado

Antes de comear a discusso, vamos enunciar o problema 6 da IMO 2008,


que a motivao principal desse artigo.
Problema 6, IMO 2008. Seja ABCD um quadriltero convexo cujos lados
BA e BC tm comprimentos diferentes. Sejam w1 e w2 as circunferncias inscritas
nos tringulos ABC e ADC, respectivamente. Suponhamos que existe uma
circunferncia w tangente reta BA de forma que A est entre B e o ponto de
tangncia, tangente reta BC de forma que C est entre B e o ponto de tangncia, e
que tambm seja tangente s retas AD e CD. Prove que as tangentes comuns
exteriores a w1 e w2 se intersectam sobre w.
claro que um problema de geometria no pode ficar sem um bom
desenho. razoavelmente difcil desenhar a figura do problema e sugerimos que o
leitor tente faz-lo por conta prpria (dica: comece com o crculo w ). No se perca:
queremos provar que o ponto Z est sobre a circunferncia w.

EUREKA! N29, 2009

32

Sociedade Brasileira de Matemtica

Quem j estudou homotetia j deve ter enxergado diversas homotetias entre as


circunferncias, mas muitos dos mais poderosos olmpicos do mundo foram
derrotados por esse problema. De fato, dos 535 estudantes que participaram da
IMO 2008, somente 13 resolveram (um deles fez 6 pontos) e 53 conseguiram pelo
menos um ponto. Isto quer dizer que mais de 90% dos estudantes zeraram o
problema!
Isso sinal de que esse problema deve ter algo novo para ser explorado. De fato,
uma transformao geomtrica que esteve em voga nos anos 80 e desapareceu nos
anos 90 foi a homotetia. E ela voltou, discretamente em 2007 e com tudo em 2008!
Vamos definir homotetia, ver algumas de suas propriedades e expandir as adias
envolvidas nessa transformao.
1. Homotetia: definio
Voc vai ver que homotetia nada mais do que fazer sombrinha. Aparecem
muitos paralelismos, mas o mais interessante so as colinearidades que iro
aparecer. No incio parece mgica; mas um bom matemtico sempre revela seus
truques!
Vamos comear com a definio de homotetia com razo positiva ou homotetia
direta:
Definio 1.1. Homotetia de uma figura F com centro O e razo k, um nmero real
positivo, uma transformao geomtrica que associa a cada ponto P de F o ponto
P sobre a semi-reta OP, de origem O, tal que OP k OP.

EUREKA! N29, 2009

33

Sociedade Brasileira de Matemtica

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

Sociedade Brasileira de Matemtica

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

Dois crculos so sempre homotticos. Na maioria dos casos, eles admitem


duas homotetias, uma direta e uma inversa. No caso de crculos disjuntos,
os centros de homotetias so fceis de encontrar: so as intersees das
tangentes comuns internas (inversa) e das tangentes comuns externas
(direta).

EUREKA! N29, 2009

35

Sociedade Brasileira de Matemtica

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.

EUREKA! N29, 2009

36

Sociedade Brasileira de Matemtica

As distncias de A e B a AB so iguais aos raios dos crculos congruentes a so,


portanto, iguais.
Ento AB e AB so paralelos. Analogamente, AC paralelo a AC e BC
paralelo a BC, de modo que os tringulos ABC e ABC so homotticos. O
centro de homotetia I. Essa homotetia leva O ao circuncentro O de ABC.
Assim, I, O e O so colineares.
Note que a dificuldade foi achar a homotetia; depois bastou aplicar a propriedade
de colinearidade.
Exerccios:
01. (Problema 2, IMO 1982) Seja A1 A2 A3 um tringulo escaleno com lados a1 , a2 e a3
( ai o lado oposto a Ai ). Seja M i o ponto mdio do lado ai e Ti o ponto onde o
incrculo do tringulo toca o lado ai , para i = 1, 2, 3. Seja Si o simtrico de Ti em
relao bissetriz interna do ngulo Ai . Prove que as retas M 1S1 , M 2 S 2 e M 3 S3 so
concorrentes.
02. (Problema 2, IMO 1983) Seja A um dos dois pontos de interseo dos crculos C1
e C2 , de centros O1 e O2 , respectivamente. Uma das tangentes comuns aos
crculos toca C1 em P1 e C2 em P2 , e a outra toca C1 em Q1 e C2 em Q2 . Seja

EUREKA! N29, 2009

37

Sociedade Brasileira de Matemtica

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:

Basta traar a reta BC paralela a BC que tangencia o incrculo de ABC em K.


ABC e ABC so homotticos com centro em A. Para terminar, o incculo de ABC
ex-incrculo de ABC, de modo que os pontos Ke L so correspondentes na
homotetia e esto, portanto, alinhados com A.
Vale a pena lembrar tambm que, na figura acima, BK = LC.
Exerccios:
EUREKA! N29, 2009

38

Sociedade Brasileira de Matemtica

04 (Problema 4, IMO 1992) No plano, considere uma circunferncia C, uma reta


L tangente circunferncia e M um ponto da reta L. Encontre o lugar geomtrico
dos pontos P com a seguinte propriedade: existem dois pontos Q, R da reta L tais
que M o ponto mdio de QR e C a circunferncia inscrita no tringulo PQR.
4. Composio de Homotetias
A principal inovao na IMO 2008 no problema 6 foi explorar o seguinte fato:
Composio de Homotetias. Se 1 uma homotetia de centro O1 e 2 uma
homotetia de centro O2 ento a composio de homotetias 2 o 1 uma
homotetia de centro O, e O1 , O2 e O esto alinhados.
A nica exceo quando a composio uma translao.
Demonstrao
Utilizaremos vetores para provar esse fato
Seja P um ponto qualquer e sejam k1 e k2 as razes de homotetia de 1 e 2 ,
respectivamente. Ento 1 ( P) O1 k1 ( P O1 ) e, portanto,
( P) 2 o 1 ( P ) 2 ( 1 ( P)) O2 k2 ( 1 ( P) O2 )
O2 k 2 (O1 k1 ( P O1 ) O2 )
k2 (1 k1 ) O1 (1 k2 ) O2 k1k2 P
(*)
Primeiro, se uma homotetia, ento sua razo k1k2 (as figuras so
multiplicadas por k1 e depois por k2 ; ou seja, so multiplicadas por k1k2 ).
Assim, para provarmos que uma homotetia, temos que provar que existe um
ponto O tal que
( P) O k1k2 ( P O) (1 k1k2 ) O k1k 2 P
(**)
Comparando
os
coeficientes
em
(*)
e
(**)
conclumos
que
(1 k1k2 )O k2 (1 k1 ) O1 (1 k2 ) O2 . Se k1k2 1, uma translao
k (1 k1 ) O1 (1 k2 ) O2
O 2
(verifique!). Caso contrrio,
e, como
1 k1k2
k2 (1 k1 ) (1 k 2 ) k2 k1k2 1 k2 1 k1k2 , O uma mdia ponderada de O1 e
O2 . Em outras palavras, O pertence reta O1O2 .
Os partidrios da geometria sinttica devem estar sentindo falta de uma
demonstrao sinttica. Vamos provar a parte da colinearidade sinteticamente.
Demonstrao sinttica da colinearidade
EUREKA! N29, 2009

39

Sociedade Brasileira de Matemtica

Considere
os
pontos
P
e
Q
e
seus
P1 1 ( P ), Q1 1 (Q), P2 2 ( P1 ) ( P ) e Q2 2 (Q1 ) (Q ).

transformados

Note que, das homotetias, PQ PQ


1 1 e P2 Q2 so paralelos. Em termos projetivos,
eles so concorrentes em um ponto do infinito. Isto quer dizer que os tringulos
PP1 P2 e QQ1Q2 so perspectivos e podemos aplicar o teorema de Desargues: as
intersees entre lados correspondentes, PP1 QQ1 {O1}, P1 P2 Q1Q2 {O2 } e
PP2 QQ2 {O} so colineares.
4.1 Detalhe tcnico
Geralmente, trabalhamos com homotetias sinteticamente, e aparecem homotetias
diretas e inversas. Homotetias inversas multiplicam figuras por fatores negativos,
de modo que a composio de duas homotetias do mesmo tipo direta e a
composio de duas homotetias de tipos diferentes inversa. Para facilitar, a
homotetia inversa faz o papel do sinal de menos e a homotetia direta, do sinal de
mais. Na composio de homotetias, seguimos a regra dos sinais da multiplicao.
Agora estamos prontos para resolver o problema 6 da IMO 2008. Vamos reenunciar
o problema e resolv-lo.
Exemplo 4.1
Problema 6, IMO 2008. Seja ABCD um quadriltero convexo cujos lados BA e
BC tm comprimentos diferentes. Sejam w1 e w2 as circunferncias inscritas nos
tringulos ABC e ADC, respectivamente. Suponhamos que existe um
circunferncia w tangente reta BA de forma que A est entre B e o ponto de
tangncia, tangente reta BC de forma que C est entre B e o ponto de tangncia, e
que tambm seja tangente s retas AD e CD. Prove que as tangentes comuns
exteriores a w1 e w2 se intersectam sobre w.
EUREKA! N29, 2009

40

Sociedade Brasileira de Matemtica

Resoluo
Vamos comear trabalhando com segmentos tangentes.

Temos BE = BF, AF = AG, CE = CH e DG = DH. Ento AB = BF AF = BE AG


= BC + CE (AD + DG) = BC AD + (CH DH) = BC AD + CD AB + AD =
BC + CD. Note que esse fato depende somente de w ser tangente aos
prolongamentos dos lados do quadriltero ABCD (guarde esse fato, ele pode ser
til em outros problemas!). Isso implica
AC CD AD AC AB BC

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:

EUREKA! N29, 2009

41

Sociedade Brasileira de Matemtica

Vamos compor homotetias para descobrir colinearidades, utilizando w3 e w4 como


intermedirios!
24
w4 41 w1 e w2
21 w1 . O centro K da homotetia (direta)
w2
24 , o centro B da homotetia (direta) 41 e o centro Z da homotetia (direta)
21 esto alinhados. Isso quer dizer que Z pertence reta BK.

21 1 . O centro D da homotetia (direta)


w2
23
w3 31 w1 e w2
23 , o centro L da homotetia (direta) 31 e o centro Z da homotetia
(direta) 21 esto alinhados. Isso quer dizer que Z pertence reta DL.
Com isso, conclumos que Z a interseo de BK e DL.
Note que at agora no envolvemos o crculo w nas homotetias. Agora hora, mas
vamos provar colinearidades de outra forma. Seja W a interseo de BK e w.
Provaremos que W = Z, resolvendo o problema.

EUREKA! N29, 2009

42

Sociedade Brasileira de Matemtica

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

Sociedade Brasileira de Matemtica

08. Seja uma circunferncia e A, B e C pontos em seu interior. Construa as


seguintes trs circunferncias: 1 tangente a , AB e AC; 2 tangente a , AB e
BC; 3 tangente a , AC e BC. Sendo C1 , C2 e C3 os respectivos pontos de
tangncia de 1 , 2 , 3 com , prove que AC1 , BC2 e CC3 passam por um mesmo
ponto.

Voc sabia

Que 3366127031232 + 1 primo? Esse foi o dcimo primeiro


primo descoberto pelo projeto "seventeen or bust" e foi
encontrado por Sturle Sunde em 17 de outubro de 2007.
Isso mostra que 33661 no um nmero de Sierpinski
(nmeros de Sierpinski so naturais mpares k tais que
k 2n + 1 composto para todo n N; veja a Eureka! 18, pg.
61 e a Eureka! 25 pgina 56), reduzindo para 6 o nmero de
naturais menores que 78557 (que o menor nmero de
Sierpinski conhecido), sobre os quais no se sabe se so ou
no nmeros de Sierpinski: 10223, 21181, 22699, 24737,
55459 e 67607. Veja www.seventeenorbust.com para
mais informaes (inclusive sobre como participar do
projeto).

EUREKA! N29, 2009

44

Sociedade Brasileira de Matemtica

COMO QUE FAZ?


PROBLEMA PROPOSTO POR MARCEL MENEZES DE ANDRADE PRADO

Seja ABC um tringulo e P um ponto em seu interior tal que AP, BP e CP


intersectam os lados BC, CA e AB nos pontos D, E e F, respectivamente. Se
AP a, BP b, CP c, PD PE PF 3 e a + b + c = 43, determine abc.
SOLUO:

Escrevemos P em coordenadas baricntricas:

P t , A t2 B t3C , com t1 , t2 , t3 (0,1) tais que t1 t2 t3 1. Devemos ter ento


t2 B t3C
t B t3C
t1 A t3C
D 2
(note que P t1 A 1 t1
t1 A 1 t1 D , E
t 2 t3
t1 t3
1 t1
t1 A t2C
.
t1 t2
Temos
e F

t B t3C
1
1 t2 B t3C t1 A t1 2
A t1 D A
t2 t3
t2 t3

3 PD D P

EUREKA! N29, 2009

45

Sociedade Brasileira de Matemtica

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

3 6a 6b 6c 27 abc 9a 9b 9c 27, e finalmente


abc 9 a b c 54 9 43 54 441.

PROBLEMA PROPOSTO POR WILSON CARLOS DA SILVA RAMOS

Determine todas as funes F : 0, que sejam derivveis em x = 1 e que


satisfaam:
F ( xy ) xF ( y ) yF ( x ), x, y (0, ).
SOLUO:

Fazendo y = x, obtemos F ( x 2 ) 2 xF ( x), x (0, ).


Com x = 1 temos F (1) 2 F (1), donde F (1) 0. Vamos mostrar por induo que
2k 1
2

F ( x ) 2 x F ( x), para todo inteiro positivo k e todo x (0, ). Para k = 1


isso a afirmao anterior e, supondo que isso vale para um certo k,
2k

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

Fazendo x e h 2 , obtemos F (e h ) 2k e h2k 1 F (e h 2k ), k 1.


k

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

he h 2 F (1), temos F (e h ) che h 2 , onde c F (1), para todo h > 0.

F (eh 2 ) F (1)
k

eh 2 1

Fazendo x e h , obtemos F ( x ) c (log x) x , x (0, ).


Todas as funes desse tipo satisfazem a equao funcional.
De fato, F ( xy ) c log x log y xy xF ( y ) yF ( x), x, y (0, ).
Resolvemos a seguir, a pedido de Mauro Felix de Sousa, trs problemas da seo
Olimpadas ao redor do mundo, propostos nas Eureka! No. 9 e 10.

EUREKA! N29, 2009

46

Sociedade Brasileira de Matemtica

47 (Ir 1999)

Determine todas as funes f : que satisfazem


f ( f ( x ) y ) f ( x 2 y ) 4 f ( x) y para todos os nmeros reais x e y.
SOLUO:

Fazendo x = y = 0, obtemos f ( f (0)) f (0).


Fazendo x 0, y f (0), obtemos f (0) f ( f (0)) 4 f (0) 2 , donde 4 f (0) 2 0, e
logo f (0) 0. Fazendo agora y = 0, obtemos f ( f ( x )) f ( x 2 ), x . Se
f ( a ) f (b) com a b, teremos

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)

Determine todos os pares de inteiros positivos (m, n) que satisfazem a equao


(m n) 2 ( n 2 m) 4m 2 n.
SOLUO:

Seja d mdc(m, n). Temos m da, n db, com mdc(a, b) 1, e a equao


equivale a (a b) 2 ( db 2 a ) 4a 2b. Como mdc(b, a b) 1, segue que b | db 2 a,
donde b | a, e logo b = 1. Temos ento (a 1) 2 ( d a) 4a 2 . Como mdc(a, a 1) 1
e (a 1) 2 | 4a 2 , segue que (a 1) 2 | 4, donde a 1 = 1 ou a 1 = 2. No primeiro
caso, temos a = 2, d a = 16, donde d = 18, e no segundo a = 3, d a = 9,
donde d = 12.
Assim, as duas solues so (m, n) = (36, 18) e (m, n) = (36, 12).
EUREKA! N29, 2009

47

Sociedade Brasileira de Matemtica

89 (Balcnica 2000)

Determinar todas as funes f : que possuem a


f ( x f ( x ) f ( y )) f ( x ) 2 y , para todos os nmeros reais x e y.

propriedade:

SOLUO:

Fazendo x = 0, obtemos f ( f ( y )) f (0) 2 y, y , donde f uma bijeo, e logo


existe a tal que f(a) = 0. Fazendo x = a, obtemos f ( f ( y )) y, y , e logo
f (0) 0. Fazendo y = 0 obtemos ento f ( xf ( x )) f ( x ) 2 , x , donde
xf ( x ) f ( f ( x ) 2 ), ou seja, f ( z 2 ) zf ( z ), z (basta fazer x = f(z), donde
f ( x ) z ). Aplicando
f
dos
dois
lados
da
equao obtemos
2
2
f ( f ( x ) y ) f ( f ( xf ( x) f ( y ))) xf ( x ) f ( y ) f ( f ( x ) ) f ( y ),
donde,
2
fazendo f ( x ) t 0, obtemos f ( y t ) f ( y ) f (t ), y , t 0 (lembramos
que f sobrejetiva, donde t f ( x) 2 pode assumir qualquer valor nonegativo).
Assim, 2 f ( x) f (1) f (2 x 1) f (( x 1) 2 x 2 ) f (( x 1) 2 ) f ( x 2 )
( x 1) f ( x 1) xf ( x) xf (1) f ( x) f (1), x , donde f ( x ) xf (1), x . .
Como f (1) 2 f ( f (1)) 1, isso implica que as nicas solues so
f ( x ) x, x e f ( x ) x, x ( fcil ver que essas funes satisfazem o
enunciado).

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.

EUREKA! N29, 2009

48

Sociedade Brasileira de Matemtica

OLIMPADAS AO REDOR DO MUNDO


Neste nmero apresentamos algumas solues enviadas pelos leitores
da nossa seo.
Bruno Holanda
Carlos Augusto David Ribeiro
Obs. Nas Eurekas 25 e 27 apareceram, por descuido na edio, problemas na seo
Olimpadas ao redor do mundo com numerao repetida. Nesses casos,
procuraremos mencionar o exemplar em que o problema foi publicado, ao nos
referirmos a um desses problemas.

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

3, e como j sabamos que

6 por

6 / a ,

teramos como razes

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

Sociedade Brasileira de Matemtica

SOLUO DE EMERSON RAMOS BARROSO (FORTALEZA CE)

Seja M o ponto mdio de BC.


Sabemos inicialmente que
AH = 2OM

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

EUREKA! N29, 2009

50

Sociedade Brasileira de Matemtica

SOLUO DE ANTONIO MARCOS S. ALMEIDA (MANAUS AM)

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)

Analisaremos o caso em que as duas primeiras equaes no tem soluo real e


provaremos que a terceira possui soluo real. Os demais casos so anlogos.
1 ( a b) 2 4(b c) 0
(a b) 2 (b c )2 4(b a ).
2
2 (b c) 4(c a) 0
EUREKA! N29, 2009

51

Sociedade Brasileira de Matemtica

Como a, b, c so reais, ento:


0 ( a b) 2 (b c) 2 4(b a ) 4(b a ) 0 4(a b) 0
3 (c a ) 2 4( a b)
3 0 (c a ) 2 4(a b). Mas (c a ) 2 0 4(a b) (c a ) 2 4(a b).
Portanto, a terceira equao possui soluo real.
235. (Olimpada Checa e Eslovaca 2007) Eureka! No. 27
Se x, y, z so nmeros reais no intervalo (1, 1) satisfazendo xy yz zx 1,
mostre que
6 3 (1 x 2 )(1 y 2 )(1 z 2 ) 1 ( x y z ) 2
SOLUO DE JEAN PIERRE YOUYOUTE (RIO DE JANEIRO - RJ)

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

EUREKA! N29, 2009

52

Sociedade Brasileira de Matemtica

SOLUES DE PROBLEMAS PROPOSTOS

Publicamos aqui algumas das respostas enviadas por nossos leitores.

a1 , a2 , a3 ,... formam uma seqncia de inteiros positivos menores que 2007


am an
tais que
inteiro, para quaisquer inteiros positivos m, n.
am n
113.

Prove que a seqncia (an) peridica a partir de um certo ponto.


SOLUO DE ZOROASTRO AZAMBUJA NETO (RIO DE JANEIRO RJ)

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

escrito como d x bk 1 y, com x, y . Se t d d (tx) bk 1 (ty ) m0 , tomamos


q, s com ty q d s e 0 s d .
Temos
ento
t d d (tx q bk 1 ) bk 1 (ty q d ) d (tx q bk 1) bk
1 s.

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

Sociedade Brasileira de Matemtica

r1 , r2 ,..., rk , pelo Lema. Afirmamos que, se se n n0 mltiplo de d ento


an c. De fato, como vimos anteriormente, se N N bi n0 e a N c ento
aN bi c, para todo i k .
n m tal que aN c, temos N
nm
mltiplo de d, donde N
Tomando N
0
0
tambm mltiplo de d, e logo se escreve como r1b1 r2b2 ... rk bk , com
r1 , r2 ,..., rk . Aplicando a observao acima vrias vezes, conclumos que
an aN r1b1 r2b2 ,..., rk bk igual a c, o que mostra nossa afirmao.
Seja agora n m0 .
Seja t inteiro positivo tal que n + t mltiplo de d.
Temos ento que c an t divide an at , e, analogamente, c an d t divide
an d at , donde c divide an d at an at an d an . Como an e an d so
inteiros positivos menores ou iguais a c, devemos ter an d an . Assim, an d an
para todo n n0 , o que prova o resultado.
115. Suponha que ABC um tringulo com lados inteiros a, b e c com

e mdc (a, b) mdc (a, c) mdc (b, c) 1.


Prove que c 1(mod 6) .

60
BCA

SOLUO DE EDEL PREZ CASTILLO (PINAR DEL RIO CUBA)

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

Os nmeros 2c 2a b e 2c 2a b so mpares porque b mpar.

EUREKA! N29, 2009

54

Sociedade Brasileira de Matemtica

Seja d um divisor comum de 2c 2a b e 2c 2a b . Ento d | 4c e


d | 2( a b) porm como d mpar temos que d | c e d | (2a b). J demonstramos
que mcd c,3 1 ento mcd (d ,3) 1.
Da equao 4c 2 2a b 3b2 deduzimos que d 2 | 3b 2 d 2 | b 2 d | b d 1
2

(porque d | c e mcd b, c 1 ).

Como mcd 2c 2a b, 2c 2a b 1 e seu produto 3b 2 temos que:


2c 2a b 3x 2
2c 2a b y 2
Ou tambm poderia ser:
2c 2a b y 2
2c 2a b 3x 2
Os valores de x, y so mpares porque b mpar.
2
2
Em qualquer caso temos que c 3x y 4
c y2

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

uma potncia de 2, ento

uma potncia de 2. Se S no vazio ento S possui um par (a, b) tal que a


mnimo. Como a e b so pares ento a = 2c e b = 2d, logo 4 36c d 36d c

uma potncia de 2, da 36c d 36d c uma potncia de 2, onde c < a,


absurdo!

EUREKA! N29, 2009

55

Sociedade Brasileira de Matemtica

120. Sejam a, b, c nmeros reais e soma S n definida como Sn a n b n c n , para


qualquer n inteiro no negativo. Sabe-se que S1 2, S2 6 e S3 14. Mostre que
Sn2 S n 1 S n 1 8 para todo inteiro n > 1.
SOLUO DE MARIA CLARA MENDES SILVA (PIRAJUBA MG)

Vamos definir como:


1 a b c
2 ab ac bc
3 abc

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

Isso pode ser verificado diretamente abrindo os produtos.


Substituindo com a nossa notao:
Sn 1S n 1 2 S n 2 3 S n 3 .
Assim podemos definir Sn por recorrncia.
Falta descobrir 1 , 2 e 3 .
Inicialmente note que S1 a b c 2.
Assim 1 2.
Elevando a + b + c ao quadrado:
2
4 a b c a 2 b 2 c 2 2 ab bc ac S 2 2 2 6 2 2 .
Resolvendo achamos 2 1.
Finalmente:
14 a 3 b3 c 3 a b c a 2 b 2 c 2 ab ac bc 3abc
2 (6 1) 3 3 14 3 3 3 0.
Na equao de recorrncia que tnhamos obtido anteriormente:
Sn 2S n 1 Sn 2 .
Agora usaremos induo em n:
Para n = 2, o que queremos demonstrar claramente verdadeiro, uma vez que
S2 2 S1S3 62 28 8.
Suponhamos que essa propriedade seja verdadeira para todo natural menor que um
certo n, queremos provar que tambm vale para n.
Sn2 S n 1 Sn 1 Sn2 S n 1 2S n Sn 1 S n2 2 S n 1S n S n21
EUREKA! N29, 2009

56

Sociedade Brasileira de Matemtica

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

rea da regio 1 seja igual a rea da regio 2.

SOLUO DE BRUNO SALGUEIRO FANEGO (VIVEIRO ESPANHA)

A unio das regies 1 e 3 um quadrante de um semicrculo de raio 4 (de rea


42
) e a unio das regies 2 e 3, um retngulo de lados 4 e h (de rea 4 h),
4
Ai
1 i 3,
donde,
sendo
a
rea
da
regio
i,
teremos
A1 A2 A1 A3 A2 A3

42
4 h h .
4

122. Dado um tringulo ABC tal que AB AC a b e BC a , traa-se uma


ceviana partindo de B determinando em AC um ponto D tal que DA a e DC b .
10 , determine os ngulos internos desse tringulo.
Sabendo que ABD

EUREKA! N29, 2009

57

Sociedade Brasileira de Matemtica

SOLUO DE CARLOS ALBERTO DA SILVA VICTOR (NILPOLIS RJ)

Tomando BAC e, usando que AD = BC e a lei dos senos nos tringulos ABD e

BDC, encontramos: sen10 2sen sen 10 .


2
Observe que 20 soluo. Vamos mostrar que ela nica para o tringulo em
questo.
No difcil de verificar que 80, pois no poderamos ter AD = BC para

80 (BC ser o maior lado); conseqentemente, 10 90, e sen
2
sen( 10) sero crescentes no primeiro quadrante.

I) Suponha que 20 sen10 2sen sen 10 2sen10 sen30 sen10


2
(absurdo).

II) Suponha que 20 sen10 2sen sen 10 2sen10 sen30 sen10


2
(absurdo).
Concluso: 20 a nica soluo.
127. Determine todos os inteiros positivos k tais que existem inteiros positivos x, y,
x2 y 2 z 2
k.
z com
xyz
SOLUO DE EDEL PREZ CASTILLO (PINAR DEL RIO CUBA)

Se x y z 1 obtemos k = 3; se x = y = z = 3 obtemos k = 1. Falta provar que


estes so os nicos valores que pode tomar k.
Provemos que k deve ser mpar.

EUREKA! N29, 2009

58

Sociedade Brasileira de Matemtica

Seja S {( x, y, z ) ( *)3 :

x2 y 2 z 2
k onde k par}
xyz

Provemos que este conjunto vazio.


Se no vazio existem x0 , y0 , z0 S tais que x0 y0 z0 mnimo.
Temos x02 y02 z02 kx0 y0 z0 . Como o membro direito par , h dois casos:
(1) Um dos nmeros par e os outros dois nmeros so mpares.
(2) Os trs so pares.
No caso (1), se x0 par, y0 , z0 mpares, ento x02 y02 z02 2(mod 4) e no outro
membro temos que kx0 y0 z0 0(mod 4) porque k e x0 so pares. Contradio.
No caso (2) x0 2 x1 , y0 2 y1 , z0 2 z1 facilmente comprovamos que:
x12 y12 z12
2k , logo x1 , y1 , z1 S .
x1 y1 z1

x1 y1 z1 x0 y0 z0 2 x0 y0 z0 .

Isto absurdo porque x0 y0 z0 mnimo.


Logo o conjunto S vazio.
Provemos que k 3, o que resolve o problema.
Seja C {( x, y , z ) ( *)3 :

x2 y2 z 2
k 4}
xyz

Provemos que este conjunto em C vazio.


Se no vazio existem x0 , y0 , z0 tais que x0 y0 z0 mnimo.
Podemos supor que x0 y0 z0 .
Ento:
x0
y
z
0 0 4
y0 z0 x0 z0 x0 y0

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.

EUREKA! N29, 2009

59

Sociedade Brasileira de Matemtica

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

Chances Diminutas, localizada no alto de uma montanha.


Aps sua maioridade, Barango Joe decidiu tentar a vida no Reino das Grandes
Oportunidades, localizado no cume da montanha vizinha.
Para isso, ele atravessaria a extensa ponte de madeira por cima do Desfiladeiro da
Morte. Entretanto, a ponte era guardada pela Esfinge Vegas, exmia jogadora que
sempre desafiava os viajantes para algum jogo. O viajante vitorioso tinha a
passagem franqueada; e o perdedor era lanado ao abismo.
Assim chegando cabeceira da ponte, Barango Joe foi desafiado a uma partida de
Pachang jogo que lembra o Black Jack ou Vinte e um, mas jogado por 2
oponentes da seguinte maneira:
Os jogadores, designados por banca e apostador, utilizam um dado gerador de
nmeros aleatrios reais uniformemente distribudos no intervalo [0,1].
Inicialmente, a banca sorteia um nmero X. Se no estiver satisfeita com o nmero
obtido, pode descart-lo e ento sortear um novo nmero. Este procedimento pode
ser executado 2 vezes, Isto , pode haver at 3 sorteios na definio do nmero X
da banca.
Ento, o apostador sorteia quantos nmeros forem necessrios at que a soma de
seus nmeros ultrapasse o nmero X da banca. Neste momento, se esta soma for
inferior a 1, o apostador ganha; caso contrrio, perde.
Ou seja, para ganhar, o apostador precisa chegar mais prximo de 1 que a banca,
sem no entanto estourar o limite de 1.
Aps explicar as regras do Pachang, a Esfinge Vegas deu uma opo ao sapo:
- Voc prefere ser a banca ou o apostador?
O que o Barango Joe deveria responder?
Obs. Utilize lpis, papel, e uma calculadora cientfica simples.
SOLUO DE RAFAEL TUPYNAMB DUTRA (BELO HORIZONTE MG)

Primeiramente, supondo que X j tenha sido escolhido, vamos determinar a funo


f ( X ) que d a probabilidade de o apostador ganhar. Seja pn (x ) a funo
densidade de probabilidade para a soma dos nmeros do apostador (ou seja, aps
n nmeros sorteados pelo apostador, a probabilidade de a soma dos n 1 ser
menor ou igual a X e a soma desses nmeros estar entre a e b dada por
b

( x ) dx ). Definimos qn (x ) igual a pn (x ) para x [0, X ] e qn (x )

EUREKA! N29, 2009

60

Sociedade Brasileira de Matemtica


1

igual a 0 caso contrrio. Seja tambm g n

( x )dx a probabilidade de o

nmeros sorteados. Temos p1 ( x) 1, x [0,1] .


x n 1
X n 1
Lema: qn ( x) pn ( x)
para x [0, X ] e pn ( x)
para
(n 1)!
(n 1)!
x ( X ,1] .
Prova por induo: o caso inicial n 1 trivial. Hiptese de induo:
x n 1
qn ( x )
para x [0, X ] . Caso o jogo continue, a densidade de
(n 1)!
probabilidade da soma dos n primeiros nmeros dada por qn (x ) (afinal, para
o jogo continuar, essa soma deve estar no intervalo [0, X ] ). E a densidade de
probabilidade do ( n 1) -simo nmero igual a p1 ( x ) 1x [0,1] . Assim,
apostador ganhar aps

somando, obtemos pn 1 ( x)

(t ) dt . Dessa forma, para x [0, X ] , temos

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

Pelo lema, temos g n

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 )

f ( X ) (1 X )e X , descobrimos que P1 f ( X )dX e 2 0,71828 .


0

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

Sociedade Brasileira de Matemtica

f ( x) (1 x)e x no 1 caso e ser P1 0,71828 no 2 caso. Assim, a banca

deve descartar

somente se (1 x )e x P1 . Seja

a raiz positiva da equao

transcendente (1 a )e P1 . Temos a 0,60954 . Dessa forma, a banca deve


descartar o nmero x se x a e mant-lo se x a . Se a banca usar essa
estratgia,
a
probabilidade
de
o
apostador
vencer
ser
a

P2 P1a f ( X )dX P1a e (2 a)e a 0,59823 .


a

Terceira situao: agora considere o problema original (a banca tem at 3 sorteios


para determinar X ). Se, no primeiro sorteio, ela obteve o nmero x , ela pode
mant-lo ou descart-lo. A probabilidade de o apostador ganhar ser
f ( x) (1 x)e x no 1 caso e ser P2 0,59823 no 2 caso. Assim, a banca
deve descartar

somente se (1 x )e x P2 . Seja b a raiz positiva da equao

transcendente (1 b)e b P2 . Temos b 0,70416 . Dessa forma, a banca deve


descartar o nmero x se x b e mant-lo se x b . Se a banca usar essa
estratgia,
a
probabilidade
de
o
apostador
vencer
ser
1
1
P3 P2b f ( X )dX P2b e (2 b)eb 0,51915 . Assim, o apostador
2
b
1
de ganhar, mesmo quando a banca usa a melhor
2
estratgia possvel. Barango Joe deve responder que prefere ser o apostador.
tem probabilidade maior que

Agradecemos o envio de solues e a colaborao de:


Alexandre Salim Saud de Oliveira
Alixanzito R. S. Costa
Andr Felipe M. da Silva
Doraci Gabriel da Rosa
Evandro Makiyama de Melo
Flvio Antonio Alves
Glauber Moreno Barbosa
Kellem Corra Santos
Larissa Brito Sousa
Marcel Menzes de Andrade Prado
Oswaldo Mello Sponquiado
Renato Carneiro de Souza
Samuel Lil Abdalla
Wallace Alves Martins

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

Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos


problemas para prximos nmeros.
EUREKA! N29, 2009

62

Sociedade Brasileira de Matemtica

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 .

131) a) Considere o seguinte jogo: no incio um jogador A entrega um nmero


k 2 ao jogador B . Quando A entrega um nmero m 2 a B, B pode devolver
m 1 ou m 1 a A. Quando A recebe um nmero n 2 deve, se n for mpar
n
devolver 3n a B; se n for par mas no mltiplo de 4, pode devolver
ou 3n a B, e,
2
n n
se n for mltiplo de 4, pode devolver , ou 3n a B. Qualquer jogador ganha o
4 2
jogo se devolver 1 ao adversrio. Caso algum jogador devolva ao adversrio um
nmero maior que 1000k, o jogo empata. Determine, para cada valor de k 2 , se
algum dos jogadores tem estratgia vencedora, e, nesses casos, qual deles.
b) Resolva o item anterior supondo que A, ao receber um nmero n 2, deve
n
devolver 3n a B se n for mpar, deve devolver
a B se n for par mas no mltiplo
2
n
de 4 e deve devolver
a B se n for mltiplo de 4.
4
132) a) Considere uma famlia de 2000 crculos de raio 1 no plano tal que dois
crculos de nunca so tangentes e cada crculo de intersecta pelo menos dois
outros crculos de . Determine o nmero mnimo possvel de pontos do plano
que pertencem a pelo menos dois crculos de .
Problema 130 proposto por Wlson Carlos da Silva Ramos (Belm PA), problema 131
proposto por Benedito Tadeu Vasconcelos Freire (Natal RN), problema 132 proposto por
Juan Manuel Conde Calero (Alicante Espanha).

AGENDA OLMPICA
XXXI OLIMPADA BRASILEIRA DE MATEMTICA
EUREKA! N29, 2009

63

Sociedade Brasileira de Matemtica

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

XX OLIMPADA DE MATEMTICA DO CONE SUL


14 a 20 de abril de 2009
Mar del Plata Argentina

L OLIMPADA INTERNACIONAL DE MATEMTICA


10 a 22 de julho de 2009
Bremen Alemanha

XVI OLIMPADA INTERNACIONAL DE MATEMTICA UNIVERSITRIA


25 a 30 de julho de 2009
Budapeste, Hungria

XXIV OLIMPADA IBEROAMERICANA DE MATEMTICA


Setembro de 2009
Mrida Mxico

XII OLIMPADA IBEROAMERICANA DE MATEMTICA UNIVERSITRIA

COORDENADORES REGIONAIS
Alberto Hassen Raad
Amrico Lpez Glvez

(UFJF)
(USP)

Juiz de Fora MG
Ribeiro Preto SP

EUREKA! N29, 2009

64

Sociedade Brasileira de Matemtica


Amarsio da Silva Arajo
Andreia Goldani
Antonio Carlos Nogueira
Benedito Tadeu Vasconcelos Freire
Carlos Alexandre Ribeiro Martins
Carmen Vieira Mathias
Claus Haetinger
Cleonor Crescncio das Neves
Cludio de Lima Vidal
Denice Fontana Nisxota Menegais
Edson Roberto Abe
Eduardo Tengan
lio Mega
Eudes Antonio da Costa
Fbio Brochero Martnez
Florncio Ferreira Guimares Filho
Francinildo Nobre Ferreira
Genildo Alves Marinho
Ivanilde Fernandes Saad
Jacqueline Rojas Arancibia
Janice T. Reichert
Joo Bencio de Melo Neto
Joo Francisco Melo Libonati
Jose de Arimatia Fernandes
Jos Luiz Rosas Pinho
Jos Vieira Alves
Jos William Costa
Krerley Oliveira
Licio Hernandes Bezerra
Luciano G. Monteiro de Castro
Luzinalva Miranda de Amorim
Mrio Rocha Retamoso
Marcelo Rufino de Oliveira
Marcelo Mendes
Newman Simes
Nivaldo Costa Muniz
Osnel Broche Cristo
Osvaldo Germano do Rocio
Raul Cintra de Negreiros Ribeiro
Ronaldo Alves Garcia
Rogrio da Silva Igncio
Reginaldo de Lima Pereira
Reinaldo Gen Ichiro Arakaki
Ricardo Amorim
Srgio Cludio Ramos
Seme Gebara Neto
Tadeu Ferreira Gomes
Toms Menndez Rodrigues
Valdenberg Arajo da Silva
Vnia Cristina Silva Rodrigues
Wagner Pereira Lopes

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

EUREKA! N29, 2009

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