Você está na página 1de 66

CONTEDO

XIV OLIMPADA DE MAIO 2

XLVIII OLIMPADA INTERNACIONAL DE MATEMTICA 5


Enunciados e Resultado Brasileiro

XLIX OLIMPADA INTERNACIONAL DE MATEMTICA 7


Enunciados e Resultado Brasileiro

XXII OLIMPADA IBEROAMERICANA DE MATEMTICA 9


Enunciados e Resultado Brasileiro

XXIII OLIMPADA IBEROAMERICANA DE MATEMTICA 12


Enunciados e Resultado Brasileiro

ARTIGOS

0,999... OU COMO COLOCAR UM BLOCO QUADRADO EM UM BURACO 14


REDONDO
Pablo Emanuel

ALGORITMO DE GOSPER E APLICAES 21


Humberto Silva Naves

DOMINGO REGADO A REPUNITS 27


Valberto Rmulo Feitosa Pereira

HOMOTETIAS, COMPOSIO DE HOMOTETIAS EO PROBLEMA 6 DA IMO 2008 32


Carlos Yuzo Shine

COMO QUE FAZ? 44

OLIMPADAS AO REDOR DO MUNDO 48

SOLUES DE PROBLEMAS PROPOSTOS 52

PROBLEMAS PROPOSTOS 62

AGENDA OLMPICA 63
Sociedade Brasileira de Matemtica

COORDENADORES REGIONAIS 64

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


2
Sociedade Brasileira de Matemtica

SEGUNDO NVEL
PROBLEMA 1
Num quadro negro est escrita a seguinte expresso:
1 - 2 - 22 - 23 - 24 - 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 - 27 ) - 28 - (29 - 210 ) = 403 ou
1 - (2 - 22 (-23 - 2 4 ) - (25 - 26 - 27 )) - (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
que BPC = 90. A perpendicular a BP traada por A corta BP em M e a
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


3
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

2008: Nvel 2 (at 15 anos)


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

EUREKA! N29, 2009


4
Sociedade Brasileira de Matemtica

Victorio Takahashi Chu So Paulo SP 21 Meno Honrosa


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 Rgis Prado Barbosa Medalha de Prata


BRA2 Henrique Pond de Oliveira Pinto Medalha de Prata
BRA3 Ramn Moreira Nunes Medalha de Bronze
BRA4 Rafael Sampaio de Rezende Medalha de Bronze
BRA5 Rafael Tupynamb Dutra Medalha de Bronze
BRA6 Guilherme Phillipe Figueiredo 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


5
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


6
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 Davi Lopes Alves de Medeiros Medalha de Prata


BRA2 Henrique Pond de Oliveira Pinto Medalha de Prata
BRA3 Marcelo Matheus Gauy Medalha de Bronze
BRA4 Rafael Tupynamb Dutra Medalha de Prata
BRA5 Rgis Prado Barbosa Medalha de Prata
BRA6 Renan Henrique Finder 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 (*)
( x - 1) 2 ( y - 1) 2 ( z - 1) 2
para todos os nmeros reais x, y, z, diferentes de 1, com xyz = 1.

EUREKA! N29, 2009


7
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 2
w2 + x 2
=
f ( y2 ) + f (z 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


8
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 Guilherme Rodrigues Nogueira de Medalha de Ouro


Souza
BRA2 Henrique Pond de Oliveira Pinto Medalha de Prata
BRA3 Ramon Moreira Nunes Medalha de Ouro
BRA4 Rgis Prado Barbosa 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.
Por exemplo, p = 4, 2007 = 2007.

PROBLEMA 2:
Sejam ABC um tringulo com incentro I e G 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 G com a reta AB mais perto de

EUREKA! N29, 2009


9
Sociedade Brasileira de Matemtica

B, X 2 e X 3 os pontos de interseco de G com a recta BC sendo X 2 o mais perto


de B e X 4 o ponto de interseco de G 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

X X
D

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

EUREKA! N29, 2009


10
Sociedade Brasileira de Matemtica

Sabe-se que, com este tipo de saltos, o drago pode mover-se de qualquer casa a
qualquer outra.
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 Henrique Ponde de Oliveira Pinto Medalha de Ouro


BRA2 Renan Henrique Finder Medalha de Prata
BRA3 Ramon Moreira Nunes Medalha de Ouro
BRA4 Rgis Prado Barbosa 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.

EUREKA! N29, 2009


12
Sociedade Brasileira de Matemtica

PROBLEMA 3:
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 observou-
se 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

EUREKA! N29, 2009


14
Sociedade Brasileira de Matemtica

nmeros reais? A verdade que usar a representao decimal para nmeros reais
enfiar um bloco quadrado em um buraco redondo.

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.

EUREKA! N29, 2009


15
Sociedade Brasileira de Matemtica

Agora repita o processo com y no lugar de x (i.e. N3 o nmero tal que 1/(N3 + 1) <
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 entend-
la 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
hipergeomtrica sn tal que sn = k = 0 zk (essa definio no to
n -1

restritiva assim, pois veremos que a classe das seqncias hipergeomtricas


bastante ampla).
Por exemplo, vamos tentar achar uma frmula fechada para:
2
n -1 2k
sn = zk , onde
k
k =0 zk = 2 k
( k + 1)4

EUREKA! N29, 2009


21
Sociedade Brasileira de Matemtica

(2k + 1) 2
Claramente zk hipergeomtrica, uma vez que r ( k ) = zk +1 / zk =
4(k + 1)(k + 2)
uma funo racional de k. Por (*), vale:

zn sn +1
zn = sn +1 - sn = -1
sn sn
-1
s
A nossa frmula fechada sn hipergeomtrica, logo n +1 - 1 uma funo
sn
racional y(n), portanto:
sn = y (n)
zn y (n + 1) z n+1 - y (n ) zn = z n
r ( n) y( n + 1) - y( n) = 1

(2n + 1) 2
onde: r (n) =
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- Q (n + 1) (2n + 1) Q( n) Q (n) (2n - 1) Q( n - 1)
2 2

(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 nd + ... + 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 2 2
2k 2n 2n
n -1 n
k = 4n(n + 1) n = n

k = 0 ( k + 1)4
2k
(n + 1)42 n 42 n -1
( 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.
zn +1
Mas nem sempre possvel escrever r (n) = 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:
A(n) C (n + 1)
(**)r ( n) =
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:
1 n + 4 n + 3 1 n + 4 n + 3 n + 2 n + 1 n + 3 n + 2 A( n) C ( n + 1)
r ( n) = = = ,
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)
=
K =
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
A( n) C ( n + 1)
y (n + 1) - y ( n) = 1
B ( n ) C (n )

B (n - 1)
Como y(n) racional em n, podemos fazer a substituio y (n) = y (n),
C ( n)
portanto:
A(n) y ( n + 1) - B (n - 1) y( n) = C ( n) (***)

EUREKA! N29, 2009


24
Sociedade Brasileira de Matemtica

Agora o milagre acontece! Se y ( n) uma funo racional que satisfaz (***), ento
P (n)
um polinmio! Se y (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 d A d B ( d 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 d A = d B = k
Se d > 0, ento:
(kn m + an m-1 + ...)(ad (n + 1)d + K + a0 )
-(kn m + bnm -1 + ...)(ad nd + 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)
ad + kad -1 )]n m + d -1 + K = C (n)
ad + k (ad -1 + dad )) - (b
[(a

EUREKA! N29, 2009


25
Sociedade Brasileira de Matemtica

b-a
Se (a - b)
ad + kdad = 0 d = , mas se
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
a) k =0 2
n -1

k + 5k - 1
4 k
n -1 k 4

b)
k =0 2k

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) = com mdc{ A( n), B( n + h)} = 1, "h + 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 Dsn : sn , onde Dsn = 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
m (i )
t
i =1 n = 0, ento tn( i ) : tn( j ) para
algum i, j com 1 i < j m.

EUREKA! N29, 2009


26
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) e zn so
hipergeomtricas, ento zk hipergeomtrica! (Ufa! De fato nossa definio
n -1
k =0

de frmula fechada no to restritiva assim).

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 resolv-
lo. Eu tambm caio na tentativa de resolv-lo, lembrei que:
10n - 1
1 42 43 =
111111...11
9
.
n algarismos 1

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
123 = 9 =
111...1
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


10k - 1
N = 999...9
1 2 3 = 9(111...1) = 9 = 10 k - 1.
k 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 k k

N = 999...98000...01
2
123 123
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
444889 = 4.111.103 + 8.111 + 1
De modo geral temos: N = 444...488...89
123 { = 4.111...1.10
12 3
n
+ 8.111...1
12 3 + 1.
n n -1 n n

10n - 1
11...11
Substituindo 1 2 3 = na expresso acima ficamos:
n 9
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 =
3
O nmero 2.10 + 1 mltiplo de 3, portanto N um quadrado perfeito.
n

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
12 3 - 222...2
123
2n n

10 - 1
n
10 - 1 2n

123 =2
Como 222...2
9
e 111...1
12 3 =
9
, substituindo teremos:
n 2n

102 n - 1 10n - 1
A( n) - B ( n) = -2
9 9
(10 - 1)(10 + 1)
n n
10 n - 1
A(n) - B (n) = -2
9 9
(10n - 1)[(10n + 1) - 2]
A(n) - B ( n) =
9
(10 - 1)
n 2
A( n) - B ( n) =
9
(10n - 1) 2
A( n) - B ( n) = .
32
Assim A(n) - B (n) quadrado perfeito.

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:
2
109 - 1
(999.999.999) = 2
9. = 10 - 2.10 + 1 = 1000...0
18 9
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
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
Soluo: Como A = 666...6
1 2 3 = 6.111...1
1 2 3 e B = 333...3
1 2 3 = 3.111...1
123 = 3. , vamos
666 666
666 666 9
calcular AB mas usando alguns artifcios, como segue abaixo:
10666 - 1
AB = 3.6.(111...1).
9
AB = 2.(111...1)(10 - 1)
666

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

1. Achar a soma: 2 + 22 + ... + 222...2


se a ltima parcela tem n algarismos iguais a 2.

1 2 3 = 222...2
1 2 3 + (333...3)
2
2. Prove que: 111...1 123 .
2n n n

3. Prove que se 111...1


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

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.

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


1 2 3 primo ento n primo
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

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


1 2 3 provavelmente primo (i.e.,
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.
[2] Alencar Filho, Edgar de, Teoria Elementar dos Nmeros, Nobel, So Paulo, 1988.
[3] Coluna Semanal Olimpadas de Matemtica, Jornal O Povo em parceria com o
Departamento de Matemtica da UFC, No. 01, ao No. 200.
[4] Titu Andreescu, Razvan Gelca, Mathematical Olympiad Challenges, 2000.

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 s 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= s ( P ), tal que s ( P) - O = k
( P - O) s ( 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= s ( 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= Ps ( 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= s ( P )s (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 S2 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
1 1 e M2 o ponto mdio de P2Q2 . Prove que
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 s 1 uma homotetia de centro O1 e s 2 uma


homotetia de centro O2 ento a composio de homotetias s = s 2 os 1 uma
homotetia de centro O, e O1 , O2 e O esto alinhados.
A nica exceo quando a composio s uma translao.

Demonstrao
Utilizaremos vetores para provar esse fato
Seja P um ponto qualquer e sejam k1 e k2 as razes de homotetia de s 1 e s 2 ,
respectivamente. Ento s 1 ( P) = O1 + k1 ( P - O1 ) e, portanto,
s ( P) = s 2 os 1 ( P ) = s 2 (s 1 ( P)) = O2 + k2
(s 1 ( P) - O2 )
= O2 + k 2 (O1 + k1 ( P - O1 ) - O2 )
= k 2 (1 - k1 )
O1 + (1 - k2 ) O2 + k1k2 P (*)
Primeiro, se s 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 s uma homotetia, temos que provar que existe um
ponto O tal que
s ( P) = O + k1k2 ( P - O) = (1 - k1k 2 )
O + k1k2 P (**)

Comparando os coeficientes em (*) e (**) conclumos que


(1 - k1k2 )O = k2 (1 - k1 ) O2 . Se k1k 2 = 1, s uma translao
O1 + (1 - k 2 )
k (1 - k1 ) O1 + (1 - k2 )
O2
(verifique!). Caso contrrio, O= 2 e, como
1 - k1k2
k2 (1 - k1 ) + (1 - k2 ) = 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 transformados


P1 = s 1 ( P ), Q1 = s 1 (Q), P2 = s 2 ( P1 ) = s ( P ) e Q2 = s 2 (Q1 ) = s (Q ).

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!
s 24 s 41 s 21
w2 w4 w1 e w2 w1 . O centro K da homotetia (direta)
s 24 , o centro B da homotetia (direta) s 41 e o centro Z da homotetia (direta)
s 21 esto alinhados. Isso quer dizer que Z pertence reta BK.
s 21
w2 s 23
w3 s 31
w1 e w2 s 1 . O centro D da homotetia (direta)
s 23 , o centro L da homotetia (direta) s 31 e o centro Z da homotetia
(direta) s 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 s 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 s 4 .
Agora, considere a homotetia inversa s 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 G uma circunferncia e A, B e C pontos em seu interior. Construa as


seguintes trs circunferncias: G1 tangente a G, AB e AC; G 2 tangente a G, AB e
BC; G3 tangente a G, AC e BC. Sendo C1 , C2 e C3 os respectivos pontos de
tangncia de G1 , G 2 , G3 com G , 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


t B + t3 C t2 B + t3C t1 A + t3C
D= 2 (note que P = t1 A + ( 1 - t1 ) = t1 A + ( 1 - t1 ) D ) , E =
t 2 + t3 1 - t1 t1 + t3
t1 A + t2C
e F= .
t1 + t2
Temos
1 t B+t C
3 = PD = D - P = ( t2 B + t3C ) - t1 A = t1 2 3 - A = t1 D - A =
- 1
t +
2 3 t t2 + t3

EUREKA! N29, 2009


45
Sociedade Brasileira de Matemtica

(
= t1 AD = t1 AP + PD = t1 (a + 3), donde t1 =) a+3
3
. Analogamente, t2 =
3
b+3
e
3 3 3 3
t3 = . Como t1 + t2 + t3 = 1, temos + + = 1, donde
c+3 a+3 b+3 c+3
3 ( ( b + 3) ( c + 3) + ( a + 3) ( c + 3) + ( a + 3) ( b + 3) ) = ( a + 3) ( b + 3) ( c + 3) , e logo
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
F ( x ) = 2 x F ( x), para todo inteiro positivo k e todo x (0, +). Para k = 1
2k k 2

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


2k -1 2k +1 -1
2k +1 2k 2k 2k 2k 2 k +1
F ( x ) = F (( x ) ) = 2 x F ( x ) = 2
x 2
k
2
x 2
F ( x) = 2

x 2

F ( x),
como queramos mostrar.
k 2k -1
Fazendo x = e h 2 , obtemos F (e h ) = 2 k e h2k +1 F (e h 2k ), "k 1.
2k -1 h k

h k k F (eh 2 ) - F (1)
F (eh 2 ) = eh 2 lim 2k F (eh 2 ) = e h 2 lim 2k (e 2 - 1) lim =
k k +1
Como lim 2 e 2
k
k
k + k k k
eh 2 - 1
= he h 2 F (1), temos F (e h ) = cheh 2 , onde c = F (1), para todo h > 0.
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 x 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 x2 y, "x, y .

71 (Belarus 2000)
Determine todos os pares de inteiros positivos (m, n) que satisfazem a equao
(m - n) 2 (n2 - 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 propriedade:
f ( x f ( x ) + f ( y )) = f ( x ) 2 + y , para todos os nmeros reais x e y.

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
f ( f ( x)2 + y ) = f ( f ( xf ( x) + f ( y ))) = xf ( x) + f ( y ) = f ( f ( x )2 ) + f ( y ), donde,
fazendo f ( x) = t 0, obtemos
2
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
a 3 = 6a + 6 a(a 2 - 6) = 6 \ a 2 = + 6, e como a > 0 conclumos que a 2 > 6, da:
a
a ( a - 6 ) = 6 < a a - a - 6 < 0, ou seja, o valor de a tal que:
2 2 2

1 ( -6 )
1 - 12 - 4 1 ( -6 )
1 + 12 - 4
-2 = <a< = 3, e como j sabamos que
2 1 2
1
a > 6 > -2, fica: 6 < a < 3.
Substituindo na equao em x, (a 2
- 6 ) por ( 6 / a) , teramos como razes
6
- a a 2 - 4
1 24
a mas estas razes no so reais, pois a 2 - < 0, devido ao
x= , a
2
fato de a = 6 ( a + 1) < 6 ( 3 + 1) = 24.
3

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 cos60
2OM = AO, e por (1):
AO = AH (3)
AHO = AOH
e como AHO e AOH 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
Sendo AD // GH , pois DFGH paralelogramo, temos CGH e o tringulo
HCG issceles, logo HC = GH = b. Mas FD = b, logo os tringulos BCH e
= 60
BDF so congruentes, pois BC = BD = l e F DB , j que ABCD losango.

Portanto BH BF e C BH DBF .
Observe que C BD C BH + H BD
H BD + DBF H BF = 60 . Desta forma
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.
D1 = ( a - b) 2 - 4(b - c) < 0
(a - b) 2 + (b - c )2 < 4(b - a ).
D 2 = (b - c) - 4(c - a) < 0
2

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
D 3 = (c - a )2 - 4(a - b)
D 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.

113. 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
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.
Suponhamos que exista m 0 tal que, se d = mdc(b1 , b2 ,...bk ), ento todo mltiplo de
d maior que m 0 se escreva como r1 b1 + ... + rk bk , com ri , "i k . Sejam agora
d = mdc(b , b ,..., b , b ) = mdc( d, b ) e m = m
1 2 k k +1 k +1 0
0 + b d. Sabemos que d pode ser
k +1

escrito como dx + b y , com x, y . Se t d = d (tx) + bk +1 (ty ) > m0 , tomamos


k +1

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
k +1 s > m -b
k +1 0 s > m -b
k +1 0d = m
0 ,
k +1

donde, pela hiptese de induo, existem r1 , r2 ,..., rk


com

d (tx + q
bk +1 ) = r1b1 + r2b2 + ... + rk bk , e, definindo rk +1 = s , teremos
td = r1b1 + r2b2 + ... + 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 + r2 b2 + ... + 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 aN = c ento
aN - bi = c, para todo i k .
Tomando N > n + m tal que aN = c, temos N - n > m
mltiplo de d, donde 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 = 60
BCA
e mdc(a, b) = mdc( a, c) = mdc (b, c) = 1.
Prove que c 1(mod 6) .

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
2 2

Ento 3 | a ou 3 | b, o que em qualquer caso contradiz que


mdc (a, b) = mdc (a, c ) = mdc(b, c ) = 1.
Logo c no divisvel por 3.
Demonstremos que c 1(mod3).
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 ) + 3b 2 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 = 3 x 2
2c + 2a - b = y 2
Ou tambm poderia ser:
2c - 2a + b = y 2
2c + 2a - b = 3 x 2
Os valores de x, y so mpares porque b mpar.
Em qualquer caso temos que c = ( 3x + y ) 4
2 2

3( x2 - y 2 )
c y
2
- =- c y 2 0(mod 3) c y 2 (mod 3)
4
Logo c 1(mod3), porque c no divisvel por 3.
Como c 1(mod3) 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)


Se ( 36a + b ) ( 36b + a ) uma potncia de 2, ento( 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
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 S n = 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 - Sn -1
Sn +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 + bn + 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 + b n - 3 + c n -3 ) .
Isso pode ser verificado diretamente abrindo os produtos.
Substituindo com a nossa notao:
Sn = 1Sn -1 - 2 Sn - 2 + 3 Sn -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:
4 = ( a + b + c ) = a 2 + b 2 + c 2 + 2 ( ab + bc + ac ) = S 2 + 2 2 = 6 + 2 2 .
2

Resolvendo achamos 2 = -1.


Finalmente:
14 = a 3 + b3 + c3 = ( a + b + c ) ( a 2 + b 2 + c 2 - ab - ac - bc ) + 3abc =
= 2 (6 + 1) + 33 = 14 + 33 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 ( 2Sn + Sn -1 ) = Sn2 - 2Sn -1Sn - Sn2-1 =
Sn +1 = Sn2 - S n -1

EUREKA! N29, 2009


56
Sociedade Brasileira de Matemtica

= - Sn2-1 - S n ( 2 Sn-1 - S n ) .
Como 2 Sn -1 + Sn - 2 = S n ,
2 Sn -1 - Sn = - Sn - 2 .
Substituindo:
Sn2 - Sn -1 Sn +1 = - Sn2-1 + Sn S n -2 .
Essa expresso tem o mesmo mdulo do que a obtida se trocarmos todos seus
sinais, ou seja Sn2-1 - S n - 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
p 42
) e a unio das regies 2 e 3, um retngulo de lados 4 e h (de rea 4 h),
4
donde, sendo Ai a rea da regio i, 1 i 3, teremos
p42
A1 = A2 A1 + A3 = A2 + A3 h h = p.
= 4
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 .
Sabendo que ABD = 10, determine os ngulos internos desse tringulo.

EUREKA! N29, 2009


57
Sociedade Brasileira de Matemtica

SOLUO DE carlos alberto da silva victor (nilpolis rj)

Tomando BAC = q e, usando que AD = BC e a lei dos senos nos tringulos ABD e
q
sen ( q + 10
BDC, encontramos: sen10= 2sen ).
2
Observe que q = 20 soluo. Vamos mostrar que ela nica para o tringulo em
questo.
No difcil de verificar que q < 80
, pois no poderamos ter AD = BC para
q
q 80(BC ser o maior lado); conseqentemente, q + 10 < 90
, e sen e
2
sen(q + 10
) sero crescentes no primeiro quadrante.
q
I) Suponha que q 20
=<sen
+10 < sen ( q 10 )
2=sen 2 sen10 sen30 sen10
2
(absurdo).
q
II) Suponha que q 20
=>sen
+10 > sen ( q 10 )
2=sen 2sen10 sen30 sen10
2
(absurdo).

Concluso: q = 20 a nica soluo.

127. Determine todos os inteiros positivos k tais que existem inteiros positivos x, y,
x2 + y 2 + z 2
z com = k.
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

x2 + y 2 + z 2
Seja S = {( x, y , z ) ( *)3 : = 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.
x2 + y2 + z 2
Seja C = {( x, y, z ) ( *)3 : = 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
x0 y0 z
Mas 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

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

EUREKA! N29, 2009


60
Sociedade Brasileira de Matemtica

igual a 0 caso contrrio. Seja tambm g n = p


X
n ( x )dx a probabilidade de o

apostador ganhar aps n


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 ) = 1"x [0,1] . Assim,
x

somando, obtemos pn +1 ( x ) = q
x -1
n (t ) dt . Dessa forma, para x [0, X ] , temos

x x n -1
t xn
pn + 1 ( x ) = qn (t )dt =
x -1
0 (n - 1)! dt =
n!
. E para x ( X ,1] ,

x X
t n -1 Xn
pn +1 ( x) = qn (t )dt =
x -1
0 (n - 1)! dt =
n!
, c.q.d.

1
X n -1
Pelo lema, temos g n = pn ( x)dx = (1 - X )
X
(n - 1)!
e a probabilidade de o


X n -1
apostador ganhar f ( X ) = g n = (1 - X ) = (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
1

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 x somente se (1 - x )e x > P1 . Seja a a raiz positiva da equao
transcendente (1 - a )e = P1 . Temos a 0,60954 . Dessa forma, a banca deve
a

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
1
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 x somente se (1 - x )e x > P2 . Seja b a raiz positiva da equao
transcendente (1 - b)eb = 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
b
2
1
tem probabilidade maior que de ganhar, mesmo quando a banca usa a melhor
2
estratgia possvel. Barango Joe deve responder que prefere ser o apostador.
Agradecemos o envio de solues e a colaborao de:
Alexandre Salim Saud de Oliveira Niteri RJ
Alixanzito R. S. Costa Fortaleza CE
Andr Felipe M. da Silva Rio de Janeiro RJ
Doraci Gabriel da Rosa Fartura SP
Evandro Makiyama de Melo So Paulo SP
Flvio Antonio Alves Amparo SP
Glauber Moreno Barbosa Rio de Janeiro RJ
Kellem Corra Santos Rio de Janeiro RJ
Larissa Brito Sousa Fortaleza CE
Marcel Menzes de Andrade Prado Braslia DF
Oswaldo Mello Sponquiado So Paulo SP
Renato Carneiro de Souza Belo Horizonte MG
Samuel Lil Abdalla Sorocaba SP
Wallace Alves Martins 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

130) Suponha que a, b, c e a equao x - ( a + b + c ) x + (ab + ac + bc) = 0 no


2

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 (UFJF) Juiz de Fora MG

EUREKA! N29, 2009


64
Sociedade Brasileira de Matemtica

Amrico Lpez Glvez (USP) Ribeiro Preto


SP
Amarsio da Silva Arajo (UFV) Viosa MG
Andreia Goldani FACOS Osrio RS
Antonio Carlos Nogueira (UFU) Uberlndia MG
Benedito Tadeu Vasconcelos Freire (UFRN) Natal RN
Carlos Alexandre Ribeiro Martins (Univ. Tec. Fed. de Paran) Pato Branco PR
Carmen Vieira Mathias (UNIFRA) Santa Mara
RS
Claus Haetinger (UNIVATES) Lajeado RS
Cleonor Crescncio das Neves (EDETEC) Manaus AM
Cludio de Lima Vidal (UNESP) S.J. do Rio
Preto SP
Denice Fontana Nisxota Menegais (UNIPAMPA) Bag RS
Edson Roberto Abe (Colgio Objetivo de Campinas) Campinas SP
Eduardo Tengan (USP) So Carlos SP
lio Mega (Faculdade Etapa) So Paulo SP
Eudes Antonio da Costa (Univ. Federal do Tocantins) Arraias TO
Fbio Brochero Martnez (UFMG) Belo Horizonte MG
Florncio Ferreira Guimares Filho (UFES) Vitria ES
Francinildo Nobre Ferreira (UFSJ) So Joo del Rei MG
Genildo Alves Marinho (Centro Educacional Leonardo Da Vinci) Taguatingua
DF
Ivanilde Fernandes Saad (UC. Dom Bosco) Campo Grande MS
Jacqueline Rojas Arancibia (UFPB)) Joo Pessoa PB
Janice T. Reichert (UNOCHAPEC) Chapec SC
Joo Bencio de Melo Neto (UFPI) Teresina PI
Joo Francisco Melo Libonati (Grupo Educacional Ideal) Belm PA
Jose de Arimatia Fernandes (UFPB) Campina Grande PB
Jos Luiz Rosas Pinho (UFSC) Florianpolis
SC
Jos Vieira Alves (UFPB) Campina Grande PB
Jos William Costa (Instituto Pueri Domus) Santo Andr SP
Krerley Oliveira (UFAL) Macei AL
Licio Hernandes Bezerra (UFSC) Florianpolis SC
Luciano G. Monteiro de Castro (Sistema Elite de Ensino) Rio de Janeiro RJ
Luzinalva Miranda de Amorim (UFBA) Salvador BA
Mrio Rocha Retamoso (UFRG) Rio Grande RS
Marcelo Rufino de Oliveira (Grupo Educacional Ideal) Belm PA
Marcelo Mendes (Colgio Farias Brito, Pr-vestibular) Fortaleza CE
Newman Simes (Cursinho CLQ Objetivo) Piracicaba SP
Nivaldo Costa Muniz (UFMA) So Luis MA
Osnel Broche Cristo (UFLA) Lavras MG
Osvaldo Germano do Rocio (U. Estadual de Maring) Maring PR
Raul Cintra de Negreiros Ribeiro (Colgio Anglo) Atibaia SP
Ronaldo Alves Garcia (UFGO) Goinia GO
Rogrio da Silva Igncio (Col. Aplic. da UFPE) Recife PE
Reginaldo de Lima Pereira (Escola Tcnica Federal de Roraima) Boa Vista RR
Reinaldo Gen Ichiro Arakaki (UNIFESP) SJ dos Campos SP
Ricardo Amorim (Centro Educacional Logos) Nova Iguau RJ
Srgio Cludio Ramos (IM-UFRGS) Porto Alegre
RS
Seme Gebara Neto (UFMG) Belo Horizonte MG
Tadeu Ferreira Gomes (UEBA) Juazeiro BA
Toms Menndez Rodrigues (U. Federal de Rondnia) Porto Velho RO
Valdenberg Arajo da Silva (U. Federal de Sergipe) So Cristovo SE

EUREKA! N29, 2009


65
Sociedade Brasileira de Matemtica

Vnia Cristina Silva Rodrigues (U. Metodista de SP) S.B. do Campo SP


Wagner Pereira Lopes (CEFET GO) Jata GO

EUREKA! N29, 2009


66