Sei sulla pagina 1di 62

CONTEDO

AOS LEITORES X OLIMPADA DE MAIO Enunciados e Resultado Brasileiro XV OLIMPADA DE MATEMTICA DO CONE SUL Enunciados e Resultado Brasileiro XLV OLIMPADA INTERNACIONAL DE MATEMTICA Enunciados e Resultado Brasileiro XIX OLIMPADA IBERO-AMERICANA DE MATEMTICA Enunciados e Resultado Brasileiro XI OLIMPADA INTERNACIONAL DE MATEMTICA UNIVERSITRIA Enunciados e Resultado Brasileiro

2 3

7 9

11

13

ARTIGOS
O TRINGULO E SUAS PRINCIPAIS CIRCUNFERNCIAS Eduardo Wagner DOIS PROBLEMAS CHINESES SOBRE GEOMETRIA PROJETIVA Helder Oliveira de Castro RETA DE EULER E NMEROS COMPLEXOS Jos Paulo Carneiro COMO QUE FAZ? SOLUES DE PROBLEMAS PROPOSTOS PROBLEMAS PROPOSTOS COORDENADORES REGIONAIS 17

26 31

37 40 60 62

Sociedade Brasileira de Matemtica

AOS LEITORES
Neste nmero apresentamos os resultados das equipes brasileiras e os problemas propostos na X Olimpada de maio, na XV Olimpada do Cone Sul, na XLV Olimpada Internacional (IMO), na XI Olimpada Internacional para Estudantes Universitrios (IMC) e na XIX Olimpada Ibero-americana. Realmente temos muito a comemorar: o primeiro colocado na Cone Sul, a maior nota do Ocidente no IMC (lembrem-se de que boa parte da Europa e os Estados Unidos ficam no Ocidente!), mais uma vez todos os integrantes de nossa equipe conquistaram medalhas na IMO, colocando o Brasil frente de diversos pases de grande tradio matemtica, como a Frana e a Alemanha e fomos o primeiro pas a conquistar 4 medalhas de ouro na Ibero. Voc ainda poder ler trs excelentes artigos de Geometria, com os quais certamente voc aprender muito. No se esquea de que, caso no consiga entender algum agora (ou mesmo todos, no h problema), vale a pena retornar a eles depois. Agradecemos as solues de problemas propostos e os novos problemas enviados pelos nossos leitores, que continuamos estimulando a colaborar com a Eureka!. Agradecemos finalmente a Ccero Thiago Magalhes de Fortaleza CE e a Wilberson Ivo Della Nina de So Jos dos Campos SP que colaboraram com a reviso deste nmero.

Os editores

EUREKA! N20, 2004

Sociedade Brasileira de Matemtica

X OLIMPADA DE MAIO
Enunciados e Resultado Brasileiro PRIMEIRO NVEL
Durao da Prova: 3 horas PROBLEMA 1

Xavier multiplica quatro dgitos, no necessariamente distintos, e obtm um nmero terminado em 7. Determine quanto pode valer a soma dos quatros dgitos multiplicados por Xavier. D todas as possibilidades.
PROBLEMA 2

No interior de um quadrado 11 11, Pablo desenhou um retngulo e prolongando seus lados dividiu o quadrado em 5 retngulos, como mostra a figura. Sofia fez o mesmo, conseguindo, alm disso, que os comprimentos dos lados dos 5 retngulos fossem nmeros inteiros entre 1 e 10, todos distintos. Mostre uma figura como a que Sofia fez.
PROBLEMA 3

Em cada casa de um tabuleiro 5 5 est escrito 1 ou 1. Em cada passo troca-se o nmero de cada uma das 25 casas pelo resultado da multiplicao dos nmeros de todas as suas casas vizinhas. Inicialmente se tem o tabuleiro da figura. Mostre como fica o tabuleiro ao final de 2004 passos. Observao: Duas casas so vizinhas se tiverem um lado em comum.
PROBLEMA 4

1 1 1 1 1

1 1 1 1 1

1 1 1 1 1

1 1 1 1 1

1 1 1 1 1

Em um quadrado ABCD de diagonais AC e BD, chamamos de O o centro do quadrado. Constri-se um quadrado PQRS de lados paralelos aos de ABCD com P no segmento AO, Q no segmento BO, R no segmento CO, S no segmento DO. Se rea (ABCD) = 2rea(PQRS) e M o ponto mdio do lado AB, calcule a medida do ngulo AM P . (No vale medir.)
EUREKA! N20, 2004

Sociedade Brasileira de Matemtica

PROBLEMA 5

Tem-se 90 cartes e em cada um esto escritos dois dgitos distintos: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 12, e assim sucessivamente at 98. Um conjunto de cartes correto se no contm nenhum carto que tenha o primeiro dgito igual ao segundo dgito de outro carto do conjunto. Chamamos valor de um conjunto de cartes a soma dos nmeros escritos em cada carto. Por exemplo, os quatros cartes 04, 35, 78 e 98 formam um conjunto correto e seu valor 215, pois 04 + 35 + 78 + 98 = 215. Encontre um conjunto correto que tenha o maior valor possvel. Explique por que impossvel obter um conjunto correto de maior valor.

SEGUNDO NVEL
Durao da Prova: 3 horas PROBLEMA 1

Juliano escreveu cinco nmeros inteiros positivos, no necessariamente distintos, tais que seu produto seja igual sua soma. Quais podem ser os nmeros que Juliano escreveu?
PROBLEMA 2

A me de Zezinho quer preparar n pacotes de 3 balas para dar de presente na festa de aniversrio, e para isto comprar balas sortidas de 3 sabores diferentes. Ela pode comprar qualquer nmero de balas, mas no pode escolher quantas so de cada sabor. Ela quer colocar em cada pacote uma bala de cada sabor, e se isto no for possvel usar somente balas de um sabor e todos os pacotes tero 3 balas desse sabor. Determine o menor nmero de balas que ela deve comprar para poder preparar os n pacotes. Explique por que se ela compra menos balas no ter a certeza de poder preparar os pacotes como ela quer.
PROBLEMA 3

Temos uma mesa de bilhar de 8 metros de comprimento e 2 metros de largura, com uma nica bola no centro. Lanamos a bola em linha reta e, depois de percorrer 29 metros, ela pra numa esquina da mesa. Quantas vezes a bola rebateu nas bordas da mesa? Nota: Quando a bola rebate na borda da mesa, os dois ngulos que formam sua trajetria com a borda da mesa so iguais.

EUREKA! N20, 2004

Sociedade Brasileira de Matemtica

PROBLEMA 4

Ache todos os nmeros naturais x, y, z que verificam simultaneamente x y z = 4104 x + y + z = 77


PROBLEMA 5

Sobre um tabuleiro 9 9, dividido em casas 1 1, se colocam sem superposies e sem sair do tabuleiro, peas da forma

Cada pea cobre exatamente 3 casas. a) A partir do tabuleiro vazio, qual a mxima quantidade de peas que se pode colocar? b) A partir do tabuleiro com 3 peas e colocadas como mostra o diagrama seguinte,

qual a mxima quantidade de peas que se pode colocar?

EUREKA! N20, 2004

Sociedade Brasileira de Matemtica

RESULTADOS
PRIMEIRO NVEL (At 13 anos)
Gustavo Henrique dos Santos Figueiredo Vincius Henrique Campos Senra Rafael Pacheco Gomes Danilo Takeshi Abe Jaune Ilan Feiman Halpern Emanuelle Meneses Barros Dayana Basilio Batista Guilherme Albuquerque Pinto Rebello Bernardo Duque Guimares Saraiva Amanda Maria Barradas M. de Santana Medalha de Ouro Medalha de Prata Medalha de Prata Medalha de Bronze Medalha de Bronze Medalha de Bronze Medalha de Bronze Meno Honrosa Meno Honrosa Meno Honrosa Santo Andr - SP Belo Horizonte - MG Fortaleza - CE So Paulo - SP Itatiaia - RJ Fortaleza - CE Campo Grande - MS Rio de Janeiro - RJ Rio de Janeiro - RJ Teresina - PI

SEGUNDO NVEL (At 15 anos)


Eduardo Fischer Lucio Eiji Assaoka Hossaka Guilherme Nogueira de Souza Jos Marcos Andrade Ferraro Paulo Andr Carvalho de Melo Rodrigo Clemente de Brito Pereira Henrique Pond de Oliveira Pinto Rafael Tupinamb Dutra Amanda Freitas Santos Edson Augusto Bezerra Lopes Medalha de Ouro Medalha de Prata Medalha de Prata Medalha de Bronze Medalha de Bronze Medalha de Bronze Medalha de Bronze Meno Honrosa Meno Honrosa Meno Honrosa Encantado - RS Curitiba - PR So Paulo - SP So Paulo - SP Rio de Janeiro - RJ Joo Pessoa - PB Salvador - BA Belo Horizonte - MG Rio de Janeiro - RJ Fortaleza - CE

EUREKA! N20, 2004

Sociedade Brasileira de Matemtica

XV OLIMPADA DE MATEMTICA DO CONE SUL


Enunciados e Resultado Brasileiro
A XV Olimpada de Matemtica do Cone Sul foi realizada na cidade de Caaguaz, Paraguai no perodo de 14 a 23 de Maio de 2004. A equipe brasileira foi liderada pelos professores Pablo Rodrigo Ganassim (So Paulo SP) e Mrcio Cohen (Rio de Janeiro RJ).
RESULTADOS DA EQUIPE BRASILEIRA BRA1 BRA2 BRA3 BRA4 Gabriel Tavares Bujokas Leandro Farias Maia Andr Linhares Rodrigues Telmo Luis Correa Jnior Medalha de Ouro Medalha de Prata Medalha de Bronze Medalha de Bronze

PROBLEMA 1

Maxi escolheu 3 dgitos e, fazendo todas as permutaes possveis, obteve 6 nmeros distintos, cada um com 3 dgitos. Se exatamente um dos nmeros que Maxi obteve um quadrado perfeito e exatamente trs so primos, encontrar os 3 dgitos que Maxi escolheu. D todas as possibilidades para os 3 dgitos.
PROBLEMA 2

Dada uma circunferncia C e um ponto P exterior a ela, traam-se por P as duas tangentes circunferncia, sendo A e B os pontos de tangncia. Toma-se um ponto Q sobre o menor arco AB de C. Seja M a interseo da reta AQ com a perpendicular a AQ traada por P, e seja N a interseo da reta BQ com a perpendicular a BQ traada por P. Demonstre que, ao variar Q no arco AB, todas as retas MN passam por um mesmo ponto.
PROBLEMA 3

Seja n um inteiro positivo. Chamamos Cn a quantidade de inteiros positivos x, menores que 10n, tais que a soma dos dgitos de 2x menor que a soma dos dgitos de x. 4 Demonstre que Cn (10n 1) . 9

EUREKA! N20, 2004

Sociedade Brasileira de Matemtica

PROBLEMA 4

Arnaldo escolhe um inteiro a, a  H %HUQDOGR HVFROKH XP LQWHLUR b, b  Ambos dizem, em segredo, o nmero que escolheram a Cernaldo, e este escreve em um quadro os nmeros 5, 8 e 15, sendo um desses a soma a + b. Cernaldo toca uma campainha e Arnaldo e Bernaldo, individualmente, escrevem em papis distintos se sabem ou no qual dos nmeros no quadro a soma de a e b, e entregam seus papis para Cernaldo. Se em ambos os papis est escrito NO, Cernaldo toca novamente a campainha, e o procedimento se repete. Sabe-se que Arnaldo e Bernaldo so sinceros e inteligentes. Qual o nmero mximo de vezes que a campainha pode ser tocada at que um deles escreva que sabe o valor da soma?
PROBLEMA 5

Utilizando triangulinhos eqilteros de papel, de lado 1, forma-se um tringulo eqiltero de lado 2 2004 . Desse tringulo retira-se o triangulinho de lado 1 cujo centro coincide com o centro do tringulo maior. Determine se possvel cobrir totalmente a superfcie restante, sem superposies nem buracos, dispondo-se somente de fichas em forma de trapzio issceles, cada uma formada por trs triangulinhos eqilteros de lado 1.
PROBLEMA 6

Sejam m, n inteiros positivos. Em um tabuleiro m n, quadriculado em quadradinhos de lado 1, considere todos os caminhos que vo do vrtice superior direito ao inferior esquerdo, percorrendo as linhas do quadriculado exclusivamente nas direes e . Define-se a rea de um caminho como sendo a quantidade de quadradinhos do tabuleiro que h abaixo desse caminho. Seja p um primo tal que rp(m) + rp(n) p, onde rp(m) representa o resto da diviso de m por p e rp(n) representa o resto da diviso de n por p. Em quantos caminhos a rea um mltiplo de p?

EUREKA! N20, 2004

Sociedade Brasileira de Matemtica

XLV OLIMPADA INTERNACIONAL DE MATEMTICA


Enunciados e Resultado Brasileiro
A XLV Olimpada Internacional de Matemtica foi realizada na cidade de Atenas, Grcia no perodo de 06 a 18 de julho de 2004. A equipe brasileira foi liderada pelos professores Carlos Gustavo Moreira (Rio de Janeiro RJ) e Carlos Yuzo Shine (So Paulo SP).
RESULTADOS DA EQUIPE BRASILEIRA BRA1 BRA2 BRA3 BRA4 BRA5 BRA6 Fbio Dias Moreira Gabriel Tavares Bujokas Henry Wei Cheng Hsu Rafael Daigo Hirama Rafael Marini Silva Thiago Costa Leite Santos Medalha de Bronze Medalha de Prata Medalha de Bronze Medalha de Prata Medalha de Bronze Medalha de Bronze

PRIMEIRO DIA
PROBLEMA 1

Seja ABC um tringulo acutngulo com AB AC. A circunferncia de dimetro BC intersecta os lados AB e AC nos pontos M e N, respectivamente. Seja O o ponto mdio do lado BC. As bissetrizes dos ngulos BAC e MON intersectam-se em R. Prove que as circunferncias circunscritas aos tringulos BMR e CNR tm um ponto em comum que pertence ao lado BC.

PROBLEMA 2

Determine todos os polinmios P(x) de coeficientes reais que satisfazem a igualdade


P( a b) + P(b c) + P(c a ) = 2 P( a + b + c )

para quaisquer nmeros reais a, b, c, tais que ab + bc + ca = 0.

EUREKA! N20, 2004

Sociedade Brasileira de Matemtica

PROBLEMA 3

Um gancho uma figura formada por seis quadrados unitrios como no seguinte diagrama

ou qualquer uma das figuras obtidas desta aplicando rotaes ou reflexes. Determine todos os retngulos m n que podem ser cobertos com ganchos de modo que: i) O retngulo coberto sem buracos e sem sobreposies; ii) Nenhuma parte de nenhum gancho pode cobrir regies fora do retngulo. SEGUNDO DIA
PROBLEMA 4 Seja n 3 um inteiro. Sejam t1 , t2 ,..., tn nmeros reais positivos tais que

1 1 1 n 2 + 1 > (t1 + t2 + ... + tn ) + + ... + . tn t1 t2

Mostre que ti , t j e tk so as medidas dos lados de um tringulo para quaisquer i, j, k com 1 i < j < k n.
PROBLEMA 5

Num quadriltero convexo ABCD a diagonal BD no bissetriz do ngulo ABC nem do ngulo CDA . Um ponto P no interior de ABCD satisfaz PBC = DBA e PDC = BDA.

Prove que os vrtices do quadriltero ABCD pertencem a uma mesma circunferncia se e s se AP = CP.
PROBLEMA 6

Um inteiro positivo dito alternante se, na sua representao decimal, quaisquer dois dgitos consecutivos tm paridade diferente. Determine todos os inteiros positivos n tais que n tem um mltiplo que alternante.

EUREKA! N20, 2004

10

Sociedade Brasileira de Matemtica

XIX OLIMPADA IBERO-AMERICANA DE MATEMTICA


Enunciados e Resultado Brasileiro
A XIX Olimpada Ibero-americana de Matemtica foi realizada na cidade de Castelln, Espanha no perodo de 17 a 26 de setembro de 2004. A equipe brasileira foi liderada pelos professores Eduardo Wagner e Luciano Guimares Monteiro de Castro, ambos do Rio de Janeiro RJ.
RESULTADOS DA EQUIPE BRASILEIRA BRA1 BRA2 BRA3 BRA4 Alex Corra Abreu Fbio Dias Moreira Gabriel Tavares Bujokas Rafael Daigo Hirama Medalha de Ouro Medalha de Ouro Medalha de Ouro Medalha de Ouro

PRIMEIRO DIA
PROBLEMA 1

Deve-se colorir as casas de um tabuleiro 1001 1001 de acordo com as seguintes regras: Se duas casas tm um lado comum, ento pelo menos uma delas deve ser colorida. De cada seis casas consecutivas de uma linha ou de uma coluna, devem colorir-se sempre pelo menos duas delas que sejam adjacentes. Determinar o nmero mnimo de casas que devem ser coloridas.

PROBLEMA 2

Considera-se no plano uma circunferncia de centro O e raio r, e um ponto A exterior a ela. Seja M um ponto da circunferncia e N o ponto diametralmente oposto a M. Determinar o lugar geomtrico dos centros das circunferncias que passam por A, M e N quando M varia.
PROBLEMA 3

Sejam n e k nmeros inteiros positivos tais que n mpar ou n e k so pares. Provar que existem inteiros a e b tais que mdc (a, n) = mdc(b, n) = 1 e k = a + b.
EUREKA! N20, 2004

11

Sociedade Brasileira de Matemtica

PROBLEMA 4

Determinar todos os pares (a, b), onde a e b so nmeros inteiros positivos de dois dgitos cada um, tais que 100a + b e 201a + b so quadrados perfeitos de quatro dgitos.

PROBLEMA 5

Dado um tringulo escaleno ABC, designam-se por A', B', C' os pontos de interseo das bissetrizes interiores dos ngulos A, B e C com os lados opostos, respectivamente. Sejam: A'' a interseo de BC com a mediatriz de AA', B'' a interseo de AC com a mediatriz de BB' e C'' a interseo de AB com a mediatriz de CC'. Provar que A'', B'' e C'' so colineares.
PROBLEMA 6

Para um conjunto H de pontos no plano, diz-se que um ponto P do plano um ponto de corte de H, se existem quatro pontos distintos A, B, C e D em H tais que as retas AB e CD so distintas e se cortam em P. Dado um conjunto finito A0 de pontos no plano, constri-se uma sucesso de conjuntos A1 , A2 , A3 ,... da seguinte forma: para qualquer j 0, Aj +1 a unio de Aj com o conjunto de todos os pontos de corte de Aj . Demonstrar que se a unio de todos os conjuntos da sucesso um conjunto finito ento, para qualquer j 1, tem-se Aj = A1 .

EUREKA! N20, 2004

12

Sociedade Brasileira de Matemtica

XI OLIMPADA INTERNACIONAL DE MATEMTICA PARA ESTUDANTES UNIVERSITRIOS


Enunciados e Resultado Brasileiro
A XI Olimpada Internacional de Matemtica para estudantes universitrios foi realizada na cidade de Skopje, Macednia no perodo de 23 a 29 de julho de 2004. A equipe brasileira foi liderada pelo professor Fernando Pimentel, da cidade de Fortaleza CE.
RESULTADOS DA EQUIPE BRASILEIRA
Yuri Gomes Lima Humberto Silva Naves Carlos Stein Naves de Brito Alex Corra Abreu Eduardo Casagrande Stabel Murilo Vasconcelos de Andrade Rafael Tajra Fonteles Thiago Barros Rodrigues Costa Digo Veloso Ucha Eduardo Famini Silva Tertuliano Franco Santos Franco UFC ITA ITA UFRJ UFRGS IME UFPI Unicamp IME IME UFBA

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

PRIMEIRO DIA
PROBLEMA 1

Seja S um conjunto infinito de nmeros reais tal que x1 + x2 + ... + xn 1 para todo subconjunto finito {x1 , x2 ,..., xn } S . Demonstre que S enumervel.

PROBLEMA 2

Seja f1 ( x) = x 2 1, e para cada inteiro positivo n 2 defina f n ( x ) = f n 1 ( f1 ( x )). Quantas razes reais distintas tem o polinmio f 2004 ?

EUREKA! N20, 2004

13

Sociedade Brasileira de Matemtica

PROBLEMA 3

Seja An o conjunto de todas as somas

arcsin x ,
k k =1

onde n 2, xk [0,1], e

x
k =1

= 1.

i) Prove que An um intervalo.

lim ii) Seja an o comprimento do intervalo An . Calcule n an .


PROBLEMA 4

Suponha n 4 e seja S um conjunto finito de pontos no espao \ , de maneira que quaisquer quatro de seus pontos no sejam coplanares. Suponha que todos os pontos de S podem ser coloridos de vermelho e azul de modo que qualquer esfera que intersecte S em ao menos 4 pontos tenha a propriedade de que exatamente a metade dos pontos na interseo de S com a esfera azul. Prove que todos os pontos de S encontram-se numa esfera.
3

PROBLEMA 5

Seja S um conjunto de

Prove que onde existe uma seqncia montona {ai }1i n + 2 S tal que

2n + 1 nmeros reais, onde n um inteiro positivo. n xi +1 x1 2 xi x1 ,

para todo i = 2, 3,, n.


PROBLEMA 6

Para cada nmero complexo z diferente de 0 e 1 definimos a seguinte funo:

f ( z) =

1 log 4 z

onde a soma sobre todos os ramos do logaritmo complexo. i) Prove que h dois polinmios P e Q tais que f ( z ) =

z ^ {0,1}.
EUREKA! N20, 2004

P( z ) para todo Q( z )

14

Sociedade Brasileira de Matemtica

ii) Prove que para todo z ^ {0,1} temos

f (z) =

z3 + 4z 2 + z . 6( z 1)4

SEGUNDO DIA
PROBLEMA 7

Seja A uma matriz real 4 2 e B uma matriz real 2 4 tal que


1 0 1 0 0 1 0 1 . AB = 1 0 1 0 0 1 0 1

Encontre BA.
PROBLEMA 8

Sejam f , g :[a, b] [0, ) duas funes continuas no decrescentes tais que para cada x [a, b] temos

Prove que

f (t ) dt

g (t ) dt e

b a

f (t ) dt = 1 + g (t ) dt.

g (t ) dt.

PROBLEMA 9

1 + f (t ) dt

Seja D um disco unitrio fechado, e sejam z1 , z2 ,..., z n pontos fixados em D. Prove que existe um ponto z em D tal que a soma das distancias desde z a cada um dos n pontos maior ou igual que n.

EUREKA! N20, 2004

15

Sociedade Brasileira de Matemtica

PROBLEMA 10

Para n 1 seja M uma matriz complexa n n com autovalores 1 , 2 ,..., k , distintos com respectivas multiplicidades m1 , m2 ,..., mk . Considere o operador
T linear LM definido por LM X = MX + XM , para qualquer X matriz complexa

n n . Encontre os autovalores de LM e suas multiplicidades.


PROBLEMA 11

Prove que

PROBLEMA 12

1 1

dx dy 1 + log y 1 x

0 0

1.

Para n 0 defina as matrizes An e Bn como segue: A0 = B0 = (1), e, para cada n > 0,

An An = 1 An 1

An 1 An 1 e Bn = Bn 1 An 1

An 1 . 0

Denote por S(M) a soma de todos os elementos da matriz M. Prove que


k S ( An 1 ) = S ( Akn 1 ) , para quaisquer n, k 2.

EUREKA! N20, 2004

16

Sociedade Brasileira de Matemtica

O TRINGULO E SUAS PRINCIPAIS CIRCUNFERNCIAS


Eduardo Wagner, Rio de Janeiro - RJ Nvel Iniciante
Vamos tratar neste artigo das circunferncias inscrita, circunscrita e exinscritas de um tringulo. Mostraremos diversas propriedades, relaes interessantes e alguns problemas. Em todo o artigo, o tringulo ABC possui lados AB = c, BC = a e CA = b. O seu semipermetro p e sua rea S. Ser necessrio que o leitor conhea a frmula de Heron para rea do tringulo em funo de seus lados: S = p( p a)(p b)( p c) .
A circunferncia inscrita

A circunferncia inscrita tem centro I, incentro do tringulo, que o ponto de interseo das bissetrizes internas. A

b c I r B a C

A rea do tringulo ABC a soma das reas dos tringulos AIB, BIC e CIA, que possuem altura igual a r, raio da circunferncia inscrita. Portanto,

S=

cr ar br a + b + c + + = r = pr 2 2 2 2
S = pr

A nossa primeira relao :

EUREKA! N20, 2004

17

Sociedade Brasileira de Matemtica

que permite calcular o raio da circunferncia inscrita em um tringulo em funo de seus lados. A circunferncia circunscrita Considere agora o tringulo ABC inscrito em uma circunferncia de raio R. Seja AH = h uma altura e seja AD um dimetro dessa circunferncia.
A

c h 2R B H

Os tringulos AHB e ACD so semelhantes uma vez que os ngulos AHB e ACD so retos e os ngulos ABC e ADC so iguais pois subtendem o mesmo arco. Logo,

AB AH = AD AC c h = 2R b
ou seja, bc = 2Rh. Multiplicando pelo comprimento do lado BC os dois lados, temos abc = 2Rah. Mas ah o dobro da rea do tringulo ABC e assim encontramos a nossa segunda relao : abc = 4RS Ela permite calcular o raio da circunferncia circunscrita a um tringulo em funo dos seus lados.

EUREKA! N20, 2004

18

Sociedade Brasileira de Matemtica

As circunferncias exinscritas

A circunferncia exinscrita relativa ao vrtice A do tringulo ABC tangente ao lado BC e s retas AB e AC. Seu raio ser designado por ra e seu centro por IA , chamado de exincentro (ou excentro) relativo ao vrtice A do tringulo ABC. O ponto IA a interseo da bissetriz interna de A e das bissetrizes externas de B e C. As outras duas circunferncias exinscritas e os dois outros exincentros so definidas de forma anloga.

C IA b a ra

A rea do tringulo ABC igual a rea de ABIA mais a rea de ACIA menos a rea de BCIA. Assim,

S=

cra bra ara b + c a + = ra . 2 2 2 2 S = ra ( p a) S = rb ( p b) S = rc (p c)

Observe que b + c a = a + b + c 2a = 2p 2a = 2(p a). Logo, a nossa nova relao : e, analogamente, temos

que permitem calcular os raios das circunferncias exinscritas em funo dos lados do tringulo ABC. Para fixar o que apresentamos at aqui, resolva o problema a seguir.

EUREKA! N20, 2004

19

Sociedade Brasileira de Matemtica

Problema 1: Em um tringulo de lados 5, 7, e 8, calcule os raios das circunferncias

inscrita, circunscrita e exinscritas. 7 3 10 3 5 3 , 2 3, , . Respostas: 3, 3 7 4


Duas relaes

Primeira: S = r ra rb rc Esta fcil de demonstrar. Multiplicando as relaes da circunferncia inscrita e das exinscritas obtemos:

S = r ra rb rc p( p a)(p b)( p c) = r ra rb rc S
o que demonstra a relao. Segunda:

1 1 1 1 = + + r ra rb rc

Observe que

S S S S + + = p a + p b + p c = 3p (a + b + c) = p = ra rb rc r
que demonstra a relao.

Problema: 2 Existe um tringulo cujas circunferncias exinscritas tenham raios 1cm, 2cm e 6cm? 4 5 7 5 9 5 , , centmetros. Resposta: sim. os lados medem 5 5 5 Os pontos de tangncia

Vamos agora localizar os pontos de tangncia das circunferncias inscrita e exinscrita em relao da cada um dos lados. Consideremos inicialmente a circunferncia inscrita tangenciando os lados AB, BC e CA nos pontos L, M e N, respectivamente.

EUREKA! N20, 2004

20

Sociedade Brasileira de Matemtica

A N

Sejam AL = AN = x, BL = BM = y, CM = CN = z. Temos ento o sistema: x+y=c y+z=a z+x=b que resolvido d AL = AN = p a, BL = BM = p b, CM = CN = p c. Considerando uma das circunferncias exinscritas como mostra a figura a seguir temos:
R A

Q B C P

o permetro do tringulo ABC 2p = BA + AC + BC = BA + AQ + CQ + BC = BA + AR + CP + BC = BR + BP = 2BP. Logo, BP = p, o semipermetro do tringulo. Uma desigualdade interessante Em todo tringulo ABC, r ra

a2 . 4

Esta desigualdade, alm de interessante pelo seu aspecto, vai ser til para a resoluo de outros problemas. Observe a figura a seguir.

EUREKA! N20, 2004

21

Sociedade Brasileira de Matemtica

B J

I r A D C a

ra

Na figura acima, I o incentro de ABC e J o exincentro relativo ao vrtice A. Sabemos pelo tem anterior que CD = p c e que AE = p. Logo, CE = p b e portanto, DE = p c + p c = 2p (b + c) = a. No tringulo retngulo IJF temos IJ r + ra , valendo a igualdade se, e somente se AB = AC. Portanto,

(r + ra ) 2 IJ 2 = a 2 + (ra r)2 2r ra = a2 2r ra a2 r ra 4
como queramos demonstrar. Repare que a igualdade ocorre se, e somente se, o tringulo ABC issceles com vrtice A.
A desigualdade entre os raios das circunferncias inscrita e circunscrita

Em qualquer tringulo,

r 1 . R 2

Esta linda desigualdade intrigante, pois afirma que o raio da circunferncia circunscrita no menor que o dobro do raio da circunferncia inscrita. H diversas demonstraes desta desigualdade; todas muito engenhosas. Mas, seguindo o que estamos desenvolvendo neste artigo, vamos apresentar a demonstrao seguinte. Considerando a desigualdade que acabamos de demonstrar, temos:
EUREKA! N20, 2004

22

Sociedade Brasileira de Matemtica

a2 4 b2 r rb 4 c2 r rc 4 r ra
Multiplicando estas trs relaes temos:

r 2 r ra rb rc

a2 b 2 c 2 64 (4RS) 2 r 2S 2 64 r 1 R 2

A pergunta natural que devemos fazer quando vale a igualdade. Repare que na demonstrao da desigualdade r ra

a2 , a igualdade vale se, e somente se, AB = 4 r 1 = ocorre se, e somente se o tringulo R 2

AC, quando as circunferncias inscrita e exinscrita relativa ao vrtice A so tangentes no ponto mdio do lado BC. Utilizando o mesmo argumento para as outras desigualdades, conclumos que ABC equiltero.
Problema 3

Sabendo que em um tringulo ABC, sin demonstrar mais tarde), mostre que sin
A relao dos cinco raios

( p b)( p c ) A = (isto voc poder 2 bc

A B C 1 sin sin . 2 2 2 8

Os raios das circunferncias inscrita, circunscrita e exinscritas esto ligados pela relao:
EUREKA! N20, 2004

23

Sociedade Brasileira de Matemtica

ra + rb + rc r = 4R
Para demonstrar isto, necessitamos apenas de resultados anteriores e de alguma manipulao algbrica.

rb + rc =

S S aS + = p b p c ( p b)( p c) ra r = S S pa p

Somando,

1 1 + ra + rb + rc r = aS (p b)(p c) p(p a)
= aS

p(p a) + (p b)(p c) p(p a)(p b)( p c) 2p 2 p(a + b + c) + bc S2

= aS

abc = 4R S

O assunto no tem fim. H muitssimas outras relaes entre os elementos de um tringulo e suas principais circunferncias; algumas legais e outras desinteressantes. Mas, nosso objetivo foi fornecer um material bsico para que os alunos iniciantes possam se desenvolver e, por isso, paramos aqui. Para fixar as idias, voc poder curtir uns probleminhas bacanas na lista abaixo.
Problemas suplementares Problema 4

Em um tringulo ABC com incentro I, a bissetriz interna do ngulo A encontra a circunferncia circunscrita em E. Prove que EB = EC = EI.

EUREKA! N20, 2004

24

Sociedade Brasileira de Matemtica

Problema 5

Dados um ngulo agudo XOY, um ponto P exterior e um nmero positivo k (como sugerido na figura abaixo), mostre como se pode construir uma reta que passe por P e que corte os lados do ngulo dado formando um tringulo de permetro k.
Y

O P Problema 6

Em um tringulo acutngulo, mostre que o simtrico do ortocentro em relao a um lado pertence a circunferncia circunscrita ao tringulo .
Problema 7 (de uma olimpada internacional)

O tringulo acutngulo ABC est inscrito em uma circunferncia. Sejam M, N e P os pontos mdios dos arcos AB, BC e CA, respectivamente. Prove que a rea do hexgono AMBNCP maior ou igual que o dobro da rea do tringulo ABC.
Problema 8

Em um quadriltero convexo ABCD, as bissetrizes dos ngulos A e B cortam-se em M, as bissetrizes dos ngulos C e D cortam-se em N e as retas AD e BC cortam-se em P. Mostre que os pontos M, N e P so colineares.
Problema 9

Em um tringulo ABC com incentro I, e exincentros J, K, L, mostre que I o ortocentro do tringulo JKL.
Problema 10

Em um tringulo, mostre que a distncia do ortocentro a um vrtice o dobro da distncia do circuncentro ao lado oposto. Mostre a seguir que o ortocentro, o baricentro e o circuncentro so colineares.
Problema 11 (este difcil)

Em um tringulo ABC, AX uma bissetriz (X BC), N o ponto mdio de AX, e M o ponto mdio de BC. Sendo I o incentro do tringulo, mostre que M, I e N so colineares.
EUREKA! N20, 2004

25

Sociedade Brasileira de Matemtica

DOIS PROBLEMAS CHINESES SOBRE GEOMETRIA PROJETIVA


Helder Oliveira de Castro, So Paulo - SP Nvel Avanado
INTRODUO:

Para aqueles que nunca tiveram uma aula sobre esse assunto, depois de consultarem [1] ou at alguns problemas em [2], podem ficar meio em dvida sobre como desenvolver essa poderosa ferramenta e apelarem para outros mtodos. muito interessante quando, depois de horas e mais horas fazendo centenas de clculos intrincados de trigonometria e geometria analtica e gastando algumas dzias de folhas de almao, desistimos de um problema de geometria sem ter chegado a lugar algum. Motivado (na verdade irritado) por isso comecei a estudar Geometria Projetiva, e com esse intuito que gostaria de expor dois problemas nos quais so exploradas tcnicas de soluo por polaridade, fornecendo bases para que o leitor possa aplic-las em outras situaes. Mas para comear necessrio retomar algumas definies de [1], que servem de alicerce para a soluo dos dois problemas que nos interessam.
PLO E RETA POLAR

Dados uma circunferncia S, de centro O e raio R, e um ponto A, distinto de O, definimos A tal que OA.OA = R2, e esta transformao chamada de inverso. A reta a que perpendicular OA, passando por A, chamada de reta polar de A em relao a S, e o ponto A chamado de plo de a em relao a S.
Teorema 1: Dados uma circunferncia S no plano e pontos A e B, sejam a e b suas

respectivas polares em relao a S. Temos ento que A b B a.


b a

O B'

A'

EUREKA! N20, 2004

26

Sociedade Brasileira de Matemtica

Prova: Tome B a, e seja B OB tal que ABOB. Temos que OAB OBA

pelo critrio AA, e logo OA/OB = OB/OA OB.OB = OA.OA = R2 B o inverso de B em relao a S, e como ABOB temos que A b.

Corolrio 1: Para um ponto pertencente prpria circunferncia, sua reta polar tangente circunferncia por ele. Corolrio 2: Se A exterior circunferncia, sejam B e C os pontos de contato das tangentes traadas circunferncia por A. Ento a reta polar de A passa por B e C. Prova: Temos que A pertence s polares de B e C, e logo B e C devem pertencer

polar de A. Bem, finalmente vamos aos problemas chineses:


(CHINA-1997) O quadriltero ABCD est inscrito num crculo S. Seja X o ponto de

interseco entre os lados AB e CD e W o ponto de interseco entre os lados AD e BC. As tangentes traadas por X intersectam S em Y e Z. Prove que W, Y e Z so colineares.
Resoluo: Antes de mais nada vamos ter que enunciar e provar um lema, que

tambm encontra-se em [1], mas que certamente no dia da prova voc teria de demonstrar. assim:
LEMA: Se por um ponto M exterior a um crculo S traarmos secantes que intersectam-no nos pontos A, B, C e D (vide figura), e se tomarmos {P} = AB CD e {Q} = AC BD, ento a polar de M em relao a S ser a reta PQ.
P

EUREKA! N20, 2004

27

Sociedade Brasileira de Matemtica

H quem ache essa parte um pouco mais salgada, pois justamente a parte mais difcil do assunto o qual vamos tratar. Tome as retas polares de A, B, C e D como a, b, c e d que, como vimos, so tangentes S nos seus respectivos plos. Defina {R} = b c e {T} = a d. A reta polar de R ser BC e a reta polar de T ser AD, pelo Corolrio 2, e pelo Teorema 1 teremos que a polar de M ser a reta RT. Basta provar ento que RT passa por P e Q, ou melhor, que R, P, Q e T so colineares. Considere o hexgono ABBCCD, no qual B B e C C (vamos usar aqui a estratgia proposta em [1]: fazer vrtices de um hexgono coincidirem para obtermos novas relaes). Pelo Teorema de Pascal, P, R e Q so colineares (os 3 pontos de encontro dos 3 pares de lados opostos do hexgono devem ser colineares). Analogamente no hexgono AABCDD, com A A e D D, teremos que P, Q e T so colineares. Segue que R, P, Q e T so colineares, como queramos demonstrar. Bem, fim de Lema. O problema agora fica fcil: suponha que, no dia da prova, voc j conhea todas estas propriedades. A voc as demonstra bem rpido na folha de respostas, e para dar o Gran Finale, bem... vejamos:
X

C B Z Y W

A S D

Note que podemos fazer uma certa analogia entre o problema e o Lema. O ponto W corresponde ao ponto M do Lema, e o ponto X ao ponto P. Temos ento que a reta polar de W passa por X a reta polar de X passa por W. Mas a reta polar de X
EUREKA! N20, 2004

28

Sociedade Brasileira de Matemtica

passa por Y e Z, pelo Corolrio 2 W, Y e Z so colineares, finalizando o problema.


(CHINA-1996) Seja H o ortocentro do tringulo acutngulo ABC. As tangentes

traadas por A ao crculo de dimetro BC intersectam o crculo em P e Q. Prove que P, Q e H so colineares.


Resoluo:

A S

P H Q

B O

A idia aqui relativamente simples. Tome S TH tal que TS AS. Sabemos que HTO HSA (AA) HS/AH = HO/TH HS = (AH.HO)/HT HS.HT = AH.HO. Como visto na figura, vamos usar Geometria Analtica:
COORDENADAS:

A (0, a) B ( b, 0) C (c, 0) T((c b)/2, 0) T ponto mdio de BC.


EUREKA! N20, 2004

29

Sociedade Brasileira de Matemtica

Temos que BH AC m(BH).m(AC) = 1 (h/b).(a/( c)) = 1 h = bc/a.


MEDIDAS:

r = ( b + c)/2 raio do crculo por B e C AH = a h = (a2 bc)/a HO = h = bc/a TH2 = h2 + ((c b)/2 )2 = (bc/a)2 + (b c)2/4. Assim vem que TH.TS = TH.(TH + HS) = TH2 + TH.HS = TH2 + AH.HO = (bc/a)2 + (b c)2/4 + bc/a. (a2 bc)/a = (bc/a)2 + (b c)2/4 + bc (bc/a)2 = ((b c)2 + 4bc)/4 = ((b + c)/2)2 = r2 de fato S H, onde H o inverso de H A polar de H H polar de A H PQ.

Referncias:
[1] Luciano G. M. Castro, Introduo Geometria Projetiva, Eureka! N. 8, pp. 16 27. [2] http://www.kalva.demon.co.uk/. Site muito bom com um verdadeiro arsenal de problemas.

EUREKA! N20, 2004

30

Sociedade Brasileira de Matemtica

RETA DE EULER E NMEROS COMPLEXOS


Jos Paulo Carneiro, Rio de Janeiro - RJ Nvel Intermedirio
INTRODUO:

O fato de os nmeros complexos terem nascido no contexto da resoluo de equaes algbricas fez com que muitas vezes sua utilidade em Geometria no seja suficientemente explorada (uma notvel exceo a esta tendncia pode ser encontrada em Eureka, Vol 6, no artigo Aplicaes dos Nmeros Complexos Geometria, do Prof. Edmilson Motta). Aqui, vamos usar a lgebra dos nmeros complexos para mostrar um belo resultado de Geometria, o fato de que, em qualquer tringulo, o circuncentro K, o baricentro G e o ortocentro H so colineares. A reta que contm estes trs pontos chamada Reta de Euler, j que foi Euler o primeiro a chamar a ateno para este fato. Mais que isto, vamos provar que, vetorialmente: KH = 3KG , o que, alm de implicar que os trs pontos esto alinhados, acarreta que a distncia KH o triplo da distncia KG e que G e H esto na mesma semi-reta de origem K (ver Figura 1).
B

JJJJ G

JJJG

H A

C Figura 1

Para usar nmeros complexos, de agora em diante estar fixado no plano um sistema de coordenadas cartesianas ortogonais e as letras maisculas A, B,..., designaro pontos do plano ou nmeros complexos, de modo que cada ponto ( x; y ) esteja identificado com o nmero complexo mais usualmente representado por x + yi . Ser fundamental a igualdade AB = B A , a qual traduz que a translao definida pelo vetor AB a mesma que leva a origem no complexo B A (Figura 2).
EUREKA! N20, 2004

JJJG

JJJ G

31

Sociedade Brasileira de Matemtica

B A BA

O
Figura 2

Deve ser observado que, mais usualmente, o smbolo AB designa o comprimento do segmento AB . Porm aqui, como estamos identificando pontos do plano com nmeros complexos, o smbolo AB no ser usado para o comprimento do segmento AB , e sim para o produto dos complexos A e B.
Baricentro

bem sabido que AG = 2GM , onde M o ponto mdio de BC e G o baricentro do tringulo ABC, isto , o ponto de encontro das medianas do tringulo (Figura 3)

JJJG

JJJJ G

G B M
Figura 3

Logo: G A = 2(M G ) , ou seja: G = A + 2 de onde se conclui que G =


EUREKA! N20, 2004

A+ B+C . 3
32

B+C G = A + B + C 2G , 2

Sociedade Brasileira de Matemtica

At a, os complexos parecem no estar presentes. que ainda no figura o produto de complexos, que a sua mais forte caracterstica. Para efeito de soma e de multiplicao por nmero real, os complexos funcionam apenas como vetores do plano.
Um caso particular

Comecemos com um caso particular, a saber: vamos supor que os trs vrtices do tringulo ABC estejam na circunferncia unitria do plano, isto , a circunferncia de centro na origem e raio 1, que o conjunto dos complexos de mdulo 1. Ento, o circuncentro de ABC coincide com a origem de coordenadas e A = B = C = 1 . Mas para qualquer complexo z de mdulo 1, temos:

zz =| z |2 = 1 (onde z o conjugado de z). Conseqentemente, A = 1/ A , B = 1/ B , C = 1/ C . JJJJ JJJG G Para usar agora a condio AH BC (onde H o ortocentro de ABC), vamos
observar que o complexo v perpendicular ao complexo w (considerados como vetores no nulos) se e s se forem colineares com a origem os complexos v e iw , ou seja, se e s se v iw for real (ver Figura 4).
y w

v x iw
Figura 4

Por outro lado, um complexo real se e s se for igual ao seu conjugado e, portanto:

vw

v v v = = iw iw iw

vw + vw = 0

(o leitor

pode

verificar, colocando isto em coordenadas, que esta condio equivale nulidade do produto escalar dos dois vetores). Temos, pois:

EUREKA! N20, 2004

33

Sociedade Brasileira de Matemtica

( H A)(C B ) + ( H A)(C B) = 0 1 1 1 ( H A) + H (C B) = 0 A C B (B C ) 1 ( H A) + H (C B ) = 0 BC A A( H A) + BC (1 AH ) = 0 AH = A2 + ABCH BC

JJJJ JJJG G
AH BC

Ateno! lembre que AH no o comprimento do segmento do segmento AH , e sim o produto dos complexos A e H! O mesmo vale para BC, etc. Analogamente:

JJJG JJJ G

BH CA

BH = B 2 + ABCH CA

Subtraindo:

( A B ) H = A2 B 2 + C ( A B ) ( A B) H = ( A B)( A + B) + C ( A B) H = A+ B +C
Este resultado significa que, dados trs complexos de mdulo 1, sua soma o ortocentro do tringulo por eles formado.
Primeira generalizao

Suponha agora que os trs vrtices do tringulo ABC estejam em uma circunferncia , de centro na origem e raio r qualquer, ou seja, o circuncentro de ABC coincide com a origem de coordenadas e A = B = C = r > 0 . Neste caso, como ilustra a Figura 5, os complexos (ou pontos) A ' =

A B , B'= e r r

C'=

C estaro na circunferncia , de centro na origem e raio 1. De fato: r A A = = 1 , etc. r r

EUREKA! N20, 2004

34

Sociedade Brasileira de Matemtica

y B A A' O C' B'

C
Figura 5

Na verdade, a circunferncia e o tringulo A ' B ' C ' so os transformados da circunferncia e do tringulo ABC, pela homotetia de centro O e razo 1 r , a qual preserva ngulos, de modo que o ortocentro H ' do tringulo A ' B ' C ' a imagem do ortocentro H do tringulo ABC, isto : H ' = resultado do caso particular estudado, temos:

H . Mas ento, pelo r

H '=

H A B C = A '+ B '+ C ' = + + , donde se conclui que: H = A + B + C . r r r r

Portanto: dados trs complexos de mesmo mdulo, sua soma o ortocentro do tringulo por eles formado (o que, em si mesmo, um resultado curioso).
Caso geral

Passemos agora ao caso geral: dado um tringulo ABC qualquer, sejam K o seu circuncentro e r o raio do seu crculo circunscrito. Transladando os pontos A, B e C pelo vetor KO (onde O a origem do plano complexo), obtemos os complexos (ou pontos) A K , B K e C K , que pertencem a uma circunferncia de centro na origem e raio r, como ilustra a Figura 6.

JJJG

EUREKA! N20, 2004

35

Sociedade Brasileira de Matemtica

y A H BK AK H K O CK
Figura 6

K C x

Sendo a translao uma isometria (que preserva distncias e ngulos), o ponto H K ser o ortocentro do tringulo de vrtices A K , B K e C K . Mas ento, pelo resultado anterior, temos: H K = A K + B K + C K = A + B + C 3K . Como A + B + C = 3G , onde G o baricentro de ABC, temos: H K = 3G 3K = 3(G K ) , ou

JJJJ G

KH = 3KG , como se queria provar.

JJJG

EUREKA! N20, 2004

36

Sociedade Brasileira de Matemtica

COMO QUE FAZ?


PROBLEMA 4 PROPOSTO POR SAMUEL BARBOSA FEITOSA (FORTALEZA - CE)

a) Prove que, para todo inteiro positivo m, todo inteiro A. b) Defina a seqncia An por todo inteiro positivo n.
SOLUO:

(d) A
d |m

md

divisvel por m, para

A
d |n

= 2n. Prove que An divisvel por n, para

a) Podemos supor A > 0, pois a afirmao s depende da classe de congruncia de A mdulo m. Seja g(m) = (d) Am d .

d |n

Temos

g(k) = (d) A
k| n k| n d | k

kd

= Ar (d) = An .
r|n d|n / r

Dada uma seqncia ( xn )n1 . Definimos seu perodo como o menor inteiro positivo t tal que xn+t = xn , n 1 (se existir). Veremos que g(n) o nmero de seqncias de nmeros inteiros ( xk )k1 de perodo n tais que 1 xk A, k 1. De fato, o nmero de seqncias ( xk )k1 com xk +n = xk , k 1 e xk {1,2,..., A}, k 1 A n (uma tal seqncia determinada pela escolha de x1, x2 ,..., xn {1,2,..., A}). Essas seqncias so exatamente as seqncias cujo perodo um divisor d de n. Assim, se f(d) o nmero de tais seqncias de perodo d, f (d ) = An , n 1,

d |n

donde f (k) = g(k ), k 1. Finalmente, o nmero g(n) de tais seqncias com de perodo n equivalentes se existe t ` com xk +t = xk , k 1, as classes de equivalncia de seqncias de perodo n tm exatamente n elementos: a classe de equivalncia de ( xk )k1 {( xk +t )k1 ,0 t n 1} . b) Temos, para A = 2, An = g(n) , na notao do item a), donde n | An , n 1, pelo item a).
EUREKA! N20, 2004

perodo n mltiplo de n, pois, se declararmos duas seqncias ( xk )k1 e ( yk )k1

37

Sociedade Brasileira de Matemtica

PROBLEMA 5 PROPOSTO POR WILSON CARLOS DA SILVA RAMOS (BELM - PA) (de uma olimpada chinesa)

Seja ABC um tringulo acutngulo de incentro I, ortocentro H e tal que AB AC . B1 e C1 so os pontos mdios de AC e AB. B2 o ponto de interseo de IB1 com AB. C2 definido analogamente. Sejam tambm k a interseo de B2C2 com BC e O o circuncentro de BHC. Se a rea dos tringulos BKB2 e CKC2 igual, mostre que A, I e O so colineares.
SOLUO DE YURI GOMES LIMA (FORTALEZA - CE):

Lema: Seja ABC um tringulo de incentro I. Se M o ponto mdio de BC e X o ponto de tangncia ao ex-incrculo relativo a BC com esse lado, ento MI // AX . Prova: Seja D como na figura e P a outra interseo de DI com o incrculo. A homotetia de centro A que leva o incrculo no ex-incrculo leva P em X, e portanto A, P, X so colineares. Sabemos que BD = XC = p b.
A P I B D M X C

Da, M mdio de DX e assim MI base mdia do tringulo PDX MI // AX


A

Z C1 B2 B K C2 B1 I Y C

EUREKA! N20, 2004

38

Sociedade Brasileira de Matemtica

Note que

[BKB2 ] = [CKC2 ] [ ABC] = [ AB2C2 ] AB AC = AB2 AC2

AB ACsen AB2 AC2 sen = 2 2


(1)

AB AC2 = BC2 // B2C. AB2 AC

Sejam Y, Z os pontos de tangncia dos ex-incrculos relativos a AC e AB com esses lados, respectivamente. Ento, pelo lema temos B1I // BY (2) e C1I // CZ (3). Da, as relaes (2), (1) e (3) implicam, nessa ordem, em:

AY AB AC2 AC1 = = = AB1 AB2 AC AZ AY AC1 = AY AZ = AB1 AC1 AB1 AZ b c ( p c)( p b) = (a + b c)(a b + c) = bc 2 2 2 a ab + ac + ab b2 + bc ac + bc c2 = bc a2 = b2 + c2 bc 1 cos = = 60 . 2 l  Isso garante que BHC = BIC = 120 B, H, I , C so concclicos.
A H B O

I C

IA

Para concluir, o centro I A do ex-incrculo relativo a BC est em AI e satisfaz l l I BI = ICI = 90 I I dimetro do circuncrculo de BHC, de modo que A, I e
A A A

O so colineares.
EUREKA! N20, 2004

39

Sociedade Brasileira de Matemtica

SOLUES DE PROBLEMAS PROPOSTOS


Publicamos aqui algumas das respostas enviadas por nossos leitores.

83) Seja  = {0,1,2,3,...}. Determine quantas funes f : ` ` satisfazem f (2003) = 2003, f (n) 2003 para todo n 2003 e f (m + f (n)) = f ( f (m)) + f (n) , para todo m, n ` .
SOLUO DE ZOROASTRO AZAMBUJA NETO (RIO DE JANEIRO RJ)

Fazendo m = n = 0, obtemos f ( f (0)) = f ( f (0)) + f (0), donde f (0) = 0, e logo f ( f (0)) = f (0) = 0. Assim, fazendo m = 0, obtemos f ( f (n)) = f (n) para todo n ` , donde f ( y) = y, y Im( f ). Seja t = min{ f (n); n `, f (n) > 0}. Note que Temos t = f (n0 ) para um certo n0 ` , donde f (t ) = f ( f (n0 )) = f (n0 ) = t. Temos, por induo, f (kt) = kt, k `. De fato,

t 2003.

f ((k +1)t ) = f (kt + t) = f (kt + f (t)) = f ( f (kt )) + f (t ) = f (kt) + t = kt + t = (k + 1)t. Alm disso, para todo m ` e k `, f (m + kt) = f (m + f (kt)) = f ( f (m)) + f (kt ) = f (m) + kt. Afirmamos que Im( f ) = { f (n), n `} = {kt, k `}. De fato, j vimos que kt = f (kt)Im( f ), k `, e, se kt f (n) < (k +1)t, temos f ( f (n)) = f (n) = kt +( f (n) kt), donde f (n) = f (( f (n) kt) + kt) = f (( f (n) kt) + f (kt)) = f ( f ( f (n) kt)) + f (kt) = f ( f ( f (n) kt)) + kt, donde f ( f ( f (n) kt)) = f (n) kt, e logo f (n) kt Im( f ), mas 0 f (n) kt < t, donde f (n) kt = 0, para no contradizermos a definio de t. No nosso caso, como f (2003) = 2003, temos t | 2003, donde, como 2003 primo, t = 1 ou t = 2003. Se t = 1, f (n) = n, n`, o que claramente satisfaz as condies do enunciado. Se t = 2003, 2003| f (n), n`. Se 1 n 2002, devemos ter f (n) 2003, donde f (n) {0,2003}, e podemos escolher f(n) arbitrariamente em {0, 2003} para 1 n 2002 (para o que temos, portanto, 22002 escolhas) estendendo f a ` de modo que f (n + k 2003) = f (n) + k 2003, n < 2003, k ` (lembremos que f(0) = 0). De fato, para quaisquer m, n`, temos f (n) = 2003k, para algum k ` , e, escrevendo m = r + 2003 s, com 0 r 2002, s `, temos

EUREKA! N20, 2004

40

Sociedade Brasileira de Matemtica

f (m + f (n)) = f (r + 2003(s + k)) = f (r) + 2003(s + k) = = ( f (r) + 2003s) + 2003k = f (m) + f (n) = f ( f (m)) + f (n).
Assim, temos 1+ 22002 funes f que satisfazem as condies do enunciado.

A * = {1,2,3,...} um conjunto no-vazio tal que n A 4n A e n A ento A = * . Obs: x o nico inteiro tal que x 1 < x x .
84) Prove que se
SOLUO DE RODRIGO VILLARD MILET (RIO DE JANEIRO RJ)

(i) n A 4n A (ii) n A n A Seja u um elemento de A (existe, pois A no vazio).Veja que 1 A , pois, se u>1, pela propriedade (ii), temos um elemento menor que u em A, logo, repetindo esse argumento um nmero finito de vezes, temos que 1 A . Isso mostra que todas as potncias de 4 esto em A (por (i)). Agora vou fazer o seguinte: dado m natural, mostrarei que existe alguma potncia k k de 4 no intervalo m 2 , (m + 1)2 , para algum k natural (da, como a potncia de 4 est em A, usando a propriedade (ii) k vezes, temos que m est em A; note que

x = x , x 1 ). Suponha ento que para todo k tenhamos um t tal que


4 t < m 2 < (m + 1)2 < 4 t +1 . Da, segue que ( m + 1) < 4t +1 = 4.4t < 4m 2 , logo
k k
2k
k

1 1 + m

2k

< 4 , para todo k natural, o que uma contradio, pois

1 2k k m > 4 , para k = m + 2, pois 2 = 2 + 2 = 4 2m > 4m. Logo, m A , 1 + 1 + m m

2k

para todo m natural. 85) Mostre que todo tringulo pode ser dividido em 9 pentgonos convexos de reas iguais.
SOLUO DE JOS DE ALMEIDA PANTERA (RIO DE JANEIRO RJ)

Em primeiro lugar, aplicando uma transformao afim (que preserva relaes entre reas e leva pentgonos convexos em pentgonos convexos) ao tringulo,
EUREKA! N20, 2004

41

Sociedade Brasileira de Matemtica

podemos supor, sem perda de generalidade, que o tringulo equiltero de lado 1 (digamos com vrtices (0, 0), (1, 0) e , ). Fazemos ento a seguinte 2 2 construo, simtrica em relao rotao de 120 em torno do centro O do tringulo (e tambm simtrica em relao s bissetrizes internas do tringulo):
1 3

X3 Z3

Y3 W3

T3 Y1 W1

O T1

T2 Z2 X2

Z1 A
1 3

W2 Y2 B

X1

Temos AX 1 = AY1 = a = , (onde > 0 pequeno)


l Z1 l 1 A = W1 Y 1 A = 90, X 1 Z1 = YW1 = b (assim, por exemplo, X 1 = (a, 0) e Z1 = (a, b)) , X 1

onde b escolhido de modo que a rea


AX 1 Z1W1Y1 seja igual a b= 1 3

a2 3 b 3b do pentgono +a 4 2 2

1 3 da rea do tringulo, ou seja, temos , que 36 9

1 8 + 2 . Note que, se > 0 pequeno ento b > 0 pequeno. 3 3 27 9 h a Escolhemos T1 = , b + h de modo que a rea (1 2a ) b + do pentgono 2 2 X 1Y2W2T1 Z1
EUREKA! N20, 2004

seja

tambm

igual

3 . 36

Ou

seja,

temos

42

Sociedade Brasileira de Matemtica

h=

3 2b = 18(1 2a)

3 1 18 + 2 3

2b <

3 6

(e h prximo a

3 36

se

>0

pequeno). Como os pentgonos AX 1 Z1W1Y1 , BX 2 Z 2W2Y2 e CX 3 Z 3W3Y3 so congruentes, X 1Y2W2T1 Z1 , X 2Y3W3T2 Z 2 e X 3YW1T3 Z 3 so congruentes, W1 Z1T1OT3 , W2 Z 2T2 OT1 e 1
W3 Z 3T3 OT2 so congruentes e os 6 primeiros tm 1 da rea do tringulo. 9 1 da rea do tringulo, todos tm 9

86) Encontre todas as triplas de inteiros positivos (a, m, n) tais que am +1 divide

(a +1)n .
SOLUO DE ANDERSON TORRES (SO PAULO SP)

fcil ver que (1; m; n), (a; 1; n) so solues. Vamos ento supor m 2, a 2. Lema 1: m mpar. Demonstrao: vamos dividir em casos: m Caso 1: 4 divide ( a + 1). Assim, a 1(mod 4). um fato muito conhecido que ( 1) no resduo quadrtico mdulo 4, pois todo quadrado perfeito mpar congruente a 1 mdulo 4. m Logo a no quadrado perfeito, e portanto m no pode ser par.
m m Caso 2: Existe um primo 2 tal que ( a + 1). m n Ento ( a + 1) ( a + 1) , e, como primo, a + 1. m a 1(mod ) a m + 1 ( 1) m + 1(mod ), e j que ( a + 1), temos

( 1) m ( 1)(mod ) m mpar.
Caso 3: O complementar dos casos 1 e 2. 2 m Assim sendo, a m + 1 = 2 a m = 1. Mas a 2 = 4 > 1, absurdo e fim do lema.
EUREKA! N20, 2004

43

Sociedade Brasileira de Matemtica

Seja p m um primo (mpar, como j sabemos).


p m n Ento ( a + 1) ( a + 1) ( a + 1) ( a + 1)

ap +1 ( a + 1) n 1 . a +1

xp +1 = x p 1 x p 2 + x p 3 ... x + 1. x +1 Temos f ( 1) = p, logo f ( x) = ( x + 1) g ( x) + p g ][ x]. Em particular, f ( a ) = ( a + 1) g ( a ) + p.


Seja f ( x) = Seja q um fator primo de f(a). Ento q f ( a ) ( a + 1) Ento 0 f ( a ) p(mod q ).
n 1

para

algum

polinmio

q ( a + 1).

Como p e q so primos, p = q. Logo p ( a + 1) e f(a) potncia de p. Note que f ( a) > 1. Vamos fazer mais. Lema 2: f(a) = p. Demonstrao: Em dois casos:
2 Caso 1: p divide a + 1. 2 2 Ento f ( a) = ( a + 1) g ( a ) + p p 0(mod p ) p no divide f(a)

2 Caso 2: p no divide (a + 1).

Ento a + 1 = hp , onde p no divide h. Assim a = hp 1,

a p + 1 ( hp 1) p + 1 = a +1 hp

p p p p p p p p p p p ( hp 1) = ( hp) ( 1) + hp (1) 1 + h 2 p 2 ( 1) 2 + ... + h p , 0 1 2 p p p hp h2 p2 + ... + h p p p p p p (hp 1) +1 2 = = p hp + h2 p 2 + ... + h p 2 p p 1 , hp hp 2 3 e assim, p (hp 1) p + 1 p 1 2 p hp p p hp p 0 (mod p ) . hp 2 2

EUREKA! N20, 2004

44

Sociedade Brasileira de Matemtica

Em todo caso, p no divide f ( a ) mas p f ( a ). Logo, como f ( a ) potncia de p, f ( a ) = p.

ap +1 = p. Assim, a +1
Lema 3: p = 3 Demonstrao: vamos por absurdo. Suponha p 5.

ap +1 Ento crescente. De fato, a +1


1 ap +1 a p a a p 1 =1+ = 1 + a ( a 1) 2 a +1 a +1 a 1

ap +1 = 1 + a (a 1)( a p 3 + a p 5 + ... + 1), a +1


crescentes. Assim, p =

uma

composio

de

funes

a p +1 2 p +1 p p (pois a 2 ) 3 p 2 + 1 > 2 +1 3 a

p Mas fcil ver que p 5 3 p < 2 ( uma induo simples).

E isto absurdo! Logo p < 5 e p primo mpar, logo p = 3.


3 a +1 = 3 a 3 3a 2 = 0. fcil ver que ( 1) raiz disto. Assim, a +1 3 a 3a 2 = a 2 a 2 = 0 a {2, 1}. a +1

Como a > 0, temos a = 2.


k p k n Se m = pk, e 2m + 1 divide 3n, (2 ) + 1 divide (2 + 1) , pois k mpar, donde

2 k + 1 mltiplo de 3. Assim, (2 k ; p; n) soluo, e logo 2 k = 2, donde k = 1 e m = p = 3. Assim, todas as outras solues so da forma (2; 3; n), com n 2.

EUREKA! N20, 2004

45

Sociedade Brasileira de Matemtica

87) Seja a(1) = 1 e, para cada inteiro n 2, a(n) igual ao menor inteiro positivo que no pertence a {a( j), j < n} tal que

a( j) seja mltiplo de n. Prove que


j =1

a(a(n)) = n para todo inteiro positivo n.


SOLUO DE SAMUEL BARBOSA FEITOSA (FORTALEZA CE)

Sejam F2 = F1 = 1 e, para n 2, Fn = Fn 1 + Fn 2 os nmeros de Fibonacci: Pelo Teorema de Zeckendorff sabemos que todo nmero natural pode ser escrito de maneira nica como soma de nmeros de Fibonacci com ndices maiores que 1 e no consecutivos. (isso pode ser provado por induo: temos 1 = F2 e, se Fk o maior nmero de Fibonacci que menor ou igual a n, devemos ter n Fk < Fk 1

n Fk Fk 1 , e logo n Fk + Fk 1 = Fk +1 , absurdo; escrevemos ento n = Fk + ( n Fk ) e aplicamos e resultado para n Fk ) .


pois, caso contrrio, Vamos criar uma pequena variao desta representao; chamemos esta nova representao de representao F. Suponha que m = Fi1 + Fi2 + ... + Fn (na representao descrita no Teorema anterior) i Com i1 > i2 > ... > in > 1. Se in 2 a representao de m na representao F ser a mesma. Se in = 2 m ser representando na F como:

Fi1 + Fi2 + ... + Fi"n1 + F2 se in 1 mpar. Fi1 + Fi2 + ... + Fin1 + F1 se in 1 par. (1 ser F2 ).
Veja que todo nmero pode ser escrito na "F" de maneira nica. Seja S k =

A . Afirmamos que:
i i =1

Se K = Fi1 + Fi2 + ... + Fin com i1 > i2 > ... > in a representao de K na F. A) in par Ak = Fi1 1 + Fi2 1 + ... + Fin 1 Sk = (Fi1 + Fi2 + ... + Fin )(Fi1 1 + Fi2 1 + ... + Fin 1) B) in mpar Ak = Fi11 + Fi2 1 + ... + Fin 1 Sk = Fi1+1 + Fi2 +1 + ... + Fin +1 Sk =

= ( Fi1 + Fi2 + ... + Fin )( Fi1 1 + Fi2 1 + ... + Fin 1 + 1)


Vamos provar a afirmao acima por induo: Casos iniciais: A1 = 1, A2 = 3, A3 = 2, S1 = 1, S 2 = 4, S3 = 6 (verifica-se facilmente que eles satisfazem as condies.
EUREKA! N20, 2004

46

Sociedade Brasileira de Matemtica

Supondo a afirmao acima verdadeira todo r k . Provemos que ela tambm verdadeira para k + 1. Suponhamos in > 3 (o caso em que in = 1, 2, 3 totalmente anlogo ao que faremos agora, a nica diferena consiste na utilizao das seguintes relaes:

F1 + F3 + ... + F2 r +1 = F2 r + 2 , F2 + F4 + F6 + ... + F2 r = F2 r +1 1)
Vamos dividir agora em dois casos: i) in par na "F" k + 1 = Fi1 + Fi2 + ... + Fin + F1. Sabemos que

Ak +1 + S k 0(mod k + 1) = (mod Fi1 + Fi2 + ... + Fin + F1 ). Mas


Sk = ( Fi1 + Fi2 + ... + Fin )( Fi1 1 + Fi2 1 + ... + Fin 1 ) ( Fi1 1 + Fi2 1 + ... + Fin 1 )(mod k + 1) Ak +1 Fi1 1 + Fi2 1 + ... + Fin 1 (mod k +1). Fi1 1 + Fi2 1 + ... + Fin 1 = Ak
j est Veja na que o nmero Logo seqncia.

Ak +1 Fi1 1 + Fi2 1 + ... + Fin 1 + (k +1) = Fi1 +1 + Fi2 +1 + ... + Fin +1 + F2 (trocamos F1 por

F2 para termos uma representao F)


mas pela nossa hiptese de induo o nmero Fi1 +1 + Fi2 +1 + ... + F2 s pode ter aparecido na seqncia oriundo do nmero Fi1 + Fi2 + ... + F1 = k + 1 > k logo ele ainda no est na seqncia a(k + 1) = Fi1 +1 + Fi2 +1 + ... + F2 . Vejamos que

S k +1 = a (k + 1) + S k = Fi1 +1 + ... + F2 + ( Fi1 + Fi2 + ... + Fn )( Fi1 1 + ... + Fin 1 ) =


= Fi1 + Fi2 + ... + Fin + F2 + Fi1 1 + Fi2 1 + ... + Fin 1 + (Fi1 + Fi2 + ... + Fin )( Fi1 1 + ... + Fin 1 ) = = (Fi1 1 + Fi2 1 + ... + Fin 1 )(1+ Fi1 + Fi2 + ... + Fin ) + (Fi1 + Fi2 + ... + Fin + F2 ) = = (1 + Fi1 + Fi2 + ... + Fin )( Fi1 1 + Fi2 1 + ... + Fin 1 + 1) = = (Fi1 + Fi2 + ... + Fin + F1 )(Fi1 1 + Fi2 1 + ... + Fin 1 + 1) (que coincide exatamente com a
nossa afirmao para k + 1). ii)

in mpar. Este caso anlogo ao anterior.

Com a afirmao verdadeira fcil concluir que a(a(n)) = n . Na F, a(a(n)) somar 1 a todos os ndices e depois subtrair, ou o contrrio, da os ndices ficam os mesmos.

EUREKA! N20, 2004

47

Sociedade Brasileira de Matemtica

88) Prove que se r _ e cos(r ) _ ento cos(r ) 1, ,0, ,1.

1 2

1 2

SOLUO DE ANDRS SNCHEZ PREZ (LA HABANA, CUBA) f p r _ r = onde p, q ] , com mdc ( p; q ) = 1 . cos(r ) Q cos(r ) = q g

donde f , g Z , tambm com mdc ( f ; g ) = 1 . Aplicando Moivre, se z = cis = cos + isen ento
n n n n j j z n = cis ( n ) = cos ( n ) + isen ( n ) = (cos + isen ) = (cos ) (isen ) j j =0 2 n j n n 2 j n 2 j 1 = ( 1) (cos ) ( sen )2 j + i ( 1) j ( sen )2 j+1 ( cos ) j =0 j =0 2 j 2 j + 1 n 2 n 1

igualando parte real com parte real: cos(n ) = n ( 1) 2 j (cos ) (sen )


j n 2 j j =0
n 2

n 2

2j

j j n n2 j 1 (cos )2 = cos ( n ) = ( 1) (cos ) j =0 2j n n 2 2 j n k n n2 j k j j n2 j 2k = ( 1) (cos ) ( 1) (cos ) = ( 1) (cos ) , 2k j j =0 2 j k k =0 j =0 k = j n 2 j

k lembrando que k

k = . j j

n 2 n k j ( 1) (cos )n2 j . Agora, veja que Logo temos que cos(n ) = j =0 k = j 2k j

n 2

sempre

cos = cos( ) ). Se a ] e a par ento cos(a + ) = cos , e se a ] e a mpar ento cos ( a + ) = cos . .

que

cos _,cos ( n ) _,

para

todo

n]

(pois

tambm

EUREKA! N20, 2004

48

Sociedade Brasileira de Matemtica

Logo, se cos _,cos ( a + b ) _, a, b ] . Fazendo = ( aq + bp ) p p cos a + b = cos _ . q q q inteiros tais que aq + bp = 1 . Por Como se

mdc ( p; q ) = 1, a, b

conseguinte,

cos _ com q = 2 h (2c + 1) , onde h `, c ] , supondo sem perda de q generalidade que cos = cos ( ) ), temos (pois 2c + 1 > 0 x cos _ x, y ] tais que cos 2c + 1 = y , com mdc ( x; y ) = 1 . 2c + 1 cos ( 2c + 1) = 2c + 1
c j 2c +1 2

j =0

2c2+1 2 c +1 2 j 2c + 1 k j cos 1) = ( 2c + 1 k = j 2 k j

2c +1 2 j c c c 2c + 1 k 2c + 1 k x 2c +1 2 j j = ( 1) = ( 1) cos 2 c +12 j 2c + 1 j =0 j =0 k = j 2k j k = j 2k j y c c 2c + 1 k x 2 c +12 j j 1 = (1) 2 c +12 j j =0 k = j 2k j y c c 2c + 1 k 2 c +12 j 2 j j y 2 c +1 = ( 1) y x j =0 k = j 2k j c c 2c + 1 k 2 c 2 j 2 j j y 2 c +1 = x ( 1) y x j =0 k = j 2k j

x y 2 c +1 , mas como (x; y ) = 1 x = 1, x = 0 ou x = 1

Por outro lado


c c c 2c + 1 k 2c + 1 k 2 c +12 j 2 j 1 j y 2 c +1 = x y + y ( 1) x k = 0 2 k 0 j =1 k = j 2k j c c 2c + 1 k 2c + 1 y y k = 0 2 k 0 k =0 2k

EUREKA! N20, 2004

49

Sociedade Brasileira de Matemtica

Do Binmio de Newton (1 1)2c+1 = ( 1)k


k =0 2 c +1

(1 + 1)2c +1 =

2 c +1

2c + 1 c 2c + 1 c 2c + 1 e = + k k =0 2k k =0 2k + 1 k =0

2c + 1 c 2c + 1 c 2c + 1 ; somando e dividindo por = k k =0 2k k =0 2k + 1

2,

2c + 1 2c t t = 2 , logo y = 2 ou y = 2 com t `, t 2c . 2k k =0
c

2c 1 cos . = sen = sen 2c + 1 2 2c + 1 2(2c + 1) Se e > 0 , e 2c 1 e e 2 (2c + 1), e 2 (2c 1) 2 ( 2c + 1) e 4 porm como e mpar ( e 2c 1 ) ento e = 1 mdc ( 2c 1; 4c + 2 ) = 1 . Volvendo a Moivre, e igualando parte imaginria a parte imaginria, com n mpar: sen(n ) =
n 1 2 j =0

( 1) 2 j + 1(cos )
( 1) j
j =0

n 2 j 1

(sen )2 j +1

n 1 2

n 1 n (cos )2 2 j (sen )2 j +1 2 j + 1

n 1 2 j =0

( 1) j

n 1 (sen )2 2 j + 1

n 1 j 2

(sen )2 j +1
2k j ( ) ( )2 j +1 sen sen

n 1 2

j =0

n 1 j n 1 n 2 ( 1) j ( 1)k 2 2 j + 1 k =0 k

n 1 2 j =0

( 1) j
j

Agora, veja que sempre que sen _ e n mpar, sen ( n ) _ . Se u ] e u par ento
EUREKA! N20, 2004

n n 1 k (sen )2 j +1 k =0 2k + 1 2 k j

sen(u + ) = sen , e se

u ]

mpar ento

50

Sociedade Brasileira de Matemtica

sen(u + ) = sen , logo, se sen _ sen (u + v ) _, u , v ] com v mpar. Fazendo = 2c 1 , 2 ( 2c + 1)

(2u ( 2c + 1) + v ( 2c 1)) 2c 1 = sen sen u + v _ . 2 (2c + 1) 2 ( 2c + 1) Como mdc ( 2c 1;4c + 2 ) = 1, u, v inteiros tal que u (4c + 2) + v(2c 1) = 1 . do Note que v claramente mpar. Por conseguinte, sen _ . 2 ( 2c + 1) cos = 1 2 sen 2 2 1 2c + 1 ( c + )
2

2 Se cos = 0, sen 2 2 + 1 = 2 que uma contradio. ( c ) 2c + 1 2t 1 1 Se cos = t , sen = . Como ambos (numerador e 2 ( 2c + 1) 2t +1 2c + 1 2 denominador) so primos relativos (para t 0 ), ento so quadrados perfeitos, logo t mpar. Porm se t 3, 4 2t 2t 1 1( mod 4 ) , o que absurdo pois um quadrado. Com t = 0, sen = 0 , mas 2k . Ento, nesse 2 ( 2c + 1) 2c + 1 1 caso, cos = . 2c + 1 2 1 2t + 1 Se cos = 2t , sen 2 2 + 1 = 2t +1 . Como ambos (numerador e ( c ) 2c + 1 denominador) so primos relativos (para t 0 ), ento so quadrados perfeitos, e logo t mpar. Temos 2 t + 1 = d 2 2 t = (d + 1)(d 1) d 1 = 2 , d + 1 = 2 + 2 = 2 . Dividindo por 2 conclumos que = 1, = 2 1 t = 3 cos = , porm, se c = 0, cos = 1 , e para c 1 8 2c + 1 2c + 1 e

EUREKA! N20, 2004

51

Sociedade Brasileira de Matemtica

0<

< cos > 0 . Para t = 0, sen = 1 . Ento, nesse 2c + 1 2 2c + 1 2 ( 2c + 1)

caso, cos = 1 . 2c + 1 1 cos Finalmente 1 , 1 2c + 1 { ,3} h , 2c + 1 2 q 2 3 2h h ` . Se para absurdo. Se

com

2 h , h 2 , cos h 2h 2 = cos = _ , o que q 2 2 4 2

3 , h 1 , , cos 2h 1 = cos = _ , o que h h q 3 2 32 6 2 p tambm absurdo. Assim, , , , p , p , p e q 2 3 q 2 3 p 1 1 cos 1, ,0, ,1 . q 2 2


SEGUNDA SOLUO DE CARLOS GUSTAVO TAMM DE ARAUJO MOREIRA e JOS PAULO CARNEIRO (RIO DE JANEIRO - RJ)

Note que se cos( x) =

q2 p2 p p , ento z := + i uma raiz da unidade (isto , q q q

z n = 1 para algum inteiro positivo n) se e s se x um mltiplo racional de . Assim, se x = r , com r _ ento z n = 1 para um certo inteiro positivo n (e logo tambm temos z 2 n = 1 ). Vamos mostrar que q 2 , o que resolve o problema. Para isso, vamos supor por absurdo que q > 2 (e p primo com q). Temos ento dois casos: a) q mpar. Nesse caso, para cada m ` , seja xm = (( p + i q 2 p 2 ) m ( p i q 2 p 2 ) m ) / 2i q 2 p2 . Temos x0 = 0, x1 = 1 e, como p + i q 2 p 2 e p i q 2 p 2 so razes da equao x 2 2 px + q 2 = 0 , ( xm ) satisfaz a recorrncia xm +2 = 2 pxm +1 q 2 xm , m `. xm + 2 2 pxm +1 (mod q),
m 1

Assim,

m `,

donde, por induo, para todo

(mod q). Em particular, como mdc(2 p, q) = 1, temos m 1, xm (2 p) para todo e logo mas mdc( xm , q) = 1, xm 0 , m 1, m 1,
EUREKA! N20, 2004

52

Sociedade Brasileira de Matemtica

2n

p + i q2 p2 =1 q

= 1 p + i q 2 p2

2n

) =(pi
n

q2 p2

(pois

p + i p2 q2 = q p i q2 p2 p + i q2 p2 b) q par. Nesse caso, se p + i q2 p2 ym = 2 e, como

) , e logo xn = 0 , absurdo.

p i q2 p2 2

i q 2 p 2 , temos y0 = 0, y1 = 1

p + i q2 p2 p i q2 p2 q2 = 0, e so razes da equao x 2 px + 2 2 4 q2 temos ym+ 2 = pym+1 y , m `. 4 m Assim, donde, por induo, para todo ym +2 pym +1 (mod q 2) , m 1, ym p m 1 (mod q 2), e logo mdc ( ym , q 2 ) = 1, para todo m 1, pois mdc ( p, q 2 ) = 1. Em particular, ym 0, m 1 (note que q > 2, logo q 2 2, z
2n

pois q par). Por outro lado, p + i q2 p2 2 p i q2 p 2 = 2


n n

p + i q2 p2 =1 q

= 1,

2n

donde

, como antes, e logo yn = 0, absurdo.

91) Um jardinero deve construir um canteiro com a forma de setor circular. Ele dispe de 100 metros de fio para cerc-lo. Figura:
r

EUREKA! N20, 2004

53

Sociedade Brasileira de Matemtica

Qual deve ser o valor do raio do crculo para que o canteiro tenha rea mxima? Qual a rea mxima?
SOLUO DE GLAUBER MORENO BARBOSA (RIO DE JANEIRO - RJ)

Primeiramente nomeia-se os elementos do setor circular: (a)  o ngulo do setor circular, (b) S, rea mxima, (c) 2p, o permetro do setor circular, (d) k, comprimento do arco do setor circular. Comprimento da circunferncia = 2r Fazendo uma regra de trs:

k 360k 180k = = = 2r 360 2r r

(1)

Conforme o enunciado, o jardineiro dispe de 100 metros de fio para cercar o setor circular. Somando-se os segmentos referentes aos raios e ao arco do setor circular, tem-se:

2 p = 2r + k = 100 k = 100 2r
Substituindo-se a relao (1) em (2) tem-se:

(2) (3)

180k 180 (100 2r ) = r r

Com (3) determina-se a rea do setor circular com uma relao entre a rea do setor circular e a rea da circunferncia:

Substituindo-se o  em (3) na relao (4), tem-se uma nova relao para a rea do setor circular 180 (100 2 r ) 2 r 2 180 (100 2r ) r (100 2 r )r r r = = = r 2 + 50r = S= 360 360 360 2 S ( r ) = r 2 + 50r (5) Observando-se a funo para a rea S em (5), que uma funo do 2 grau, com a < 0, e logo tem-se um mximo para a funo. Assim S(r) mximo em (5) para:

S r 2 = S= 360 r 2 360

(4)

r =

b 50 = 25 2a 2

(6)

Para o valor de r em (6), tem a rea mxima da funo S(r) em (6):

(25) 2 + 50(25) = 625 + 1250 S = 625


Assim, se o raio para se ter rea mxima 25 metros e a rea mxima correspondente 625 m2.

EUREKA! N20, 2004

54

Sociedade Brasileira de Matemtica

92) Seja (Fn)n a seqncia de Fibonacci, definida por F1 = 1, F2 = 1 e Fn+2 = Fn+1 + Fn , n `. Prove que mdc (Fm , Fn ) = Fmdc(m, n) para quaisquer inteiros positivos m e n.
SOLUO DE GIBRAN MEDEIROS DE SOUZA (NATAL - RN)

Para provarmos o que queremos temos que antes mostrar trs premissas, que so: I) Se m 1 e n > 1, ento Fn+m = Fn1 Fm + Fn Fm+1 Prova: (por induo sobre m)

m = 1: Fn+1 = Fn1 F + Fn F2 = Fn1 + Fn (verdadeira) 1 m = 2: Fn+2 = Fn1 F2 + Fn F3 = Fn1 + 2Fn = ( Fn1 + Fn ) + Fn = Fn + Fn+1 (verdadeira) Seja r > 2 e suponhamos a propriedade verdadeira para todo k, 2 k < r, e para todo n > 1.
Esta suposio, mais o fato de que a propriedade vale tambm para k = 1, nos garante que: Fn+(r2) = Fn1 Fr 2 + Fn Fr 1 e Fn+(r1) = Fn1 Fr1 + Fn Fr Somando membro a membro essas igualdades e levando em conta a frmula recursiva que define (Fn ):

Fn+r = Fn1 Fr + Fn Fr+1


Ou seja, a frmula vale tambm para r, sempre que n > 1 . O segundo princpio de induo nos garante ento que vale para todo m 1 e qualquer n > 1. II) Dois nmeros de Fibonacci consecutivos ( Fn e Fn+1 ) so primos entre si.

Prova: Seja d = mdc(Fn Fn+1 ). Como Fn e Fn+1 so maiores que zero, o mesmo ocorre com d. O fato de d ser divisor de Fn e Fn+1 implica que d | Fn1 pois

Fn1 = Fn+1 Fn .
Dividindo Fn e Fn1 , ento d divide Fn2 . Prosseguindo nesse raciocnio chegaremos a concluso que d | F2. Ento d = 1, pois F2 = 1 III) Se m | n , ento Fm | Fn .

EUREKA! N20, 2004

55

Sociedade Brasileira de Matemtica

Prova: Por hiptese n = mr, para algum r ` . Procedemos por induo sobre r. Se r = 1, ento m = n e imediato que Fm | Fn . Seja r 1 e admitamos que Fm | Fmr . Ento levado em conta a relao fornecida por I:

Fm(r+1) = Fmr+m = Fmr1 Fm + Fmr Fm+1


Como Fm | Fmr 1 Fm e Fm | Fmr Fm+1 (pois, pela hiptese de induo, Fm divide

Fmr ), ento Fm divide a soma desses dois produtos. Ou seja: Fm | Fm(r+1)


Com as trs premissas em mo vamos questo: Se d = mdc(m, n) , ento prove que mdc( Fm , Fn ) = Fd . Prova: Mostraremos primeiro que se m = nq + r, ento mdc( Fm , Fn ) = mdc( Fn , Fr ). Observando as premissas feitas e levando em conta I:

mdc(Fm , Fn ) = mdc(Fnq+r , Fn ) = mdc(Fnq1 Fr + Fnq Fr +1, Fn )


Considerando porm que mdc(a, b) = mdc(a + c, b), sempre que b|c, e ainda que

Fn | Fnq (premissa III), chegamos a: mdc(Fm , Fn ) = mdc(Fnq1 Fr , Fn )


Mostremos que Fnq1 e Fn so primos entre si. De fato, se d um divisor comum a esses dois nmeros, ento d | Fnq1 e d | Fnq (devido a premissa III). Da a premissa II nos assegura que d = 1. Ora, se mdc(Fnq1, Fn ) = 1, ento mdc(Fr , Fn ) = mdc(Fnq1 Fr , Fn ), donde:

mdc( Fm , Fn ) = mdc( Fn , Fr ).
Assim, supondo m > n, e aplicando o processo das divises sucessivas para chegar a d = mdc(m, n) :

m = nq1 + r1 (r1 < n) n = rq2 + r2 (r2 < r1) 1 r1 = r2q3 + r3 (r3 < r2 ) .......................................... rn2 = rn1qn + rr (rn < rn1) rn1 = rnqn+1 (onde rn = d )
EUREKA! N20, 2004

56

Sociedade Brasileira de Matemtica

o uso repetido do resultado anterior a cada uma das igualdades anteriores nos levar a concluir que:

mdc( Fm , Fn ) = mdc( Frn1 , Fd )


Como d | rn 1 , em virtude da premissa III, Fd | Frn1 , logo: mdc( Fm , Fn ) = Fd , cqd.

93) Um inteiro positivo n dito perfeito se n igual soma dos divisores positivos de n que so menores que n. Prove que um nmero par n perfeito se e somente se existe um nmero primo p 2 tal que 2p 1 primo e

n = 2 p1 (2 p 1) .
SOLUO DE CARLOS ALBERTO DA SILVA VICTOR (NILPOLIS - RJ)

(1) Lema: Se 2k 1 um nmero primo ento k tambm primo. Prova: Suponha que k no seja primo, logo podemos escrever k = x1 x2 onde x1 e

x2 so maiores que 1. 2k 1 = 2x1x2 1 = (2x1 1)(2x1 (x2 1) + 2x1 (x2 2) + ... + 2x1 +1) , ou seja, 2k 1 no
primo. Logo k dever ser necessariamente primo. (2) Suponha n = 2 p 1 (2 p 1) com p primo ( p 2). Seja S(n) a soma dos divisores de n menores que n:

S (n) = (1 + 2 + 22 + ... + 2 p 1 ) (1 + 2 p 1) 2 p 1 (2 p 1) S (n) = (2 p 1) 2 p 2 p1 (2 p 1) = 2 p1 (2 p+1 2 2 p + 1) S (n) = 2 p 1 (2 p 1) = n.


(3) Suponha S (n) = n (n par). Vamos mostrar que existe um primo (2 p 1) tal que n = 2 p 1 (2 p 1). Prova: J que n par podemos escrever na forma n = 2t m , onde m um nmero inteiro positivo mpar. J que n perfeiro, temos que 2n = 1 + 2 + 22 + ... + 2t

ou seja, m = (2t +1 1) s onde s um inteiro.


EUREKA! N20, 2004

(m) a soma dos divisores do mpar m; (2 1) (m) = 2n = 2 m . Como 2


t +1 t +1

) ( (m ) ) ,

onde

t +1

1 mpar temos que (2t +1 1)m,

57

Sociedade Brasileira de Matemtica

Suponha que s > 1, ento 1, s e (2t +1 1) s so divisores de m, e logo:

o que uma contradio, donde s = 1 e m = 2t +1 1 . Observe que (m ) = 2t +1 = 2t +1 1 + 1 , ou seja, a soma dos divisores de m a soma do 

(m) 1 + s + (2 1) s > 2 (2 1) (m) > (2 1) 2


t +1 t +1 t +1

t +1

s e

t +1

s = 2t +1 m = 2n ,

prprio m com a unidade, da m = 2t +1 1 primo, ou seja n = 2 p 1 (2 p 1) para t + 1 = p e, pelo lema (1), conclumos que existe p primo como nas condies do enunciado. 94) A ilha das amazonas habitada por amazonas e homens. As amazonas mandam em tudo, so inteligentssimas, ciumentssimas e muito fofoqueiras. O que uma amazona mais gosta de fazer trair outra amazona com o marido desta. Consumada a traio, ela conta o seu feito a todas as amazonas da ilha menos amazona trada. As outras amazonas tambm no contam nada vtima da traio. Mas se uma amazona descobre que est sendo trada ela mata o seu marido na prxima meia noite. A rainha das amazonas, que viva, v esta situao com desagrado. Ela v que h traio na ilha mas, como nunca ningum descobre nada, nenhum marido morre. No dia 1 de janeiro de 3333, ento, contrariando a tradio, ela chama todas as amazonas para a praa central e faz uma proclamao solene: "H traio nesta ilha." Nenhuma amazona sonha em duvidar da palavra da rainha e todas as amazonas sabem disso. Como j foi dito, todas so inteligentes e ciumentas: estes e os outros fatos mencionados neste enunciado at aqui so conhecimento comum entre as amazonas. Supondo que haja 1000 amazonas na ilha e que 365 delas tenham sido tradas, o que acontecer?
SOLUO DE EDUARDO FISCHER (ENCANTADO - RS)

Se houvesse somente uma traio, a trada no saberia de nada, e como havia pelo menos uma traio que ela no soubesse, mataria o seu marido na primeira noite. Como na primeira noite ningum morreu, uma mulher que soubesse de uma nica traio mataria seu marido na segunda noite, pois, como no houve morte na primeira noite, havia algo que ela no sabia. Assim, se houver exatamente duas traies, as tradas mataro seus maridos na seguinte noite. ...
EUREKA! N20, 2004

58

Sociedade Brasileira de Matemtica

Supondo que na (n 1)-sima noite ningum morreu, uma mulher que soubesse de apenas (n 1) traies mataria seu marido na n-sima noite, pois, como no houve morte na (n 1)-sima noite, havia algo que ela no sabia. Mostramos assim, por induo em n, que, se houver exatamente n traies (i.e., n maridos traidores) as tradas mataro seus maridos na n-sima noite. Lembrando que cada trada sabe de 364 traies, cada uma mataria o seu marido depois de uma ano, no 365 dia (isto , no reveillon de 3334).
Enviaram solues de problemas os seguintes leitores da EUREKA!
Besaleel Ferreira de Assuno Jnior Carlos Augusto David Ribeiro Georges Cobiniano Sousa de Melo Glauber Moreno Barbosa Guilherme Marques dos Santos Silva Jos Renato Carneiro e Carneiro Marcos Francisco Ferreira Martinelli Raphael Rodrigues Mata Wallace Alves Martins Wellington Klezewsky Pires Zzimo Pereira Teresina PI Fortaleza CE Joo Pessoa PB Rio de Janeiro RJ Enviado via e-mail Ribeiro Preto SP Rio de Janeiro RJ Salvador BA Rio de Janeiro RJ Aquidauana MS Campina Grande PB

Continuamos aguardando solues dos problemas 89, 90 e 95, propostos na Eureka! No. 18.

EUREKA! N20, 2004

59

Sociedade Brasileira de Matemtica

PROBLEMAS PROPOSTOS
Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos problemas para os prximos nmeros.

96) No quadriltero ABCD os ngulos A, C e D medem 100 e o ngulo ACB mede 40. Demonstre que BC DA = ( BC + AB DA)2 . 97) Seja p um primo mpar. Encontre todas as funes f : ] ] que satisfazem as seguintes condies: i)
ii)

Se m n(mod p) ento f (m) = f (n). f (mn) = f (m) f (n) para quaisquer m, n ]

2 98) Seja (an ) n< uma seqncia tal que a1 > 2 e an +1 = an 2, n `.

Mostre que

a a12 4 1 = 1 . a a ... a 2 n =1 1 n 2

99) Num tringulo, a razo entre os raios das circunferncias circunscrita e inscrita

5 . Os lados do tringulo esto em progresso aritmtica e sua rea 2

numericamente igual ao seu permetro. Determine os lados do tringulo. 100) a) Um conjunto X ` dito impressionante se existe m ` tal que, para todo k ` , existem elementos de X, a1 < a2 < ... < ak , tais que

a j +1 a j m, j < k .
Determine se possvel particionar nenhum deles impressionante.

em um nmero finito de conjuntos,

b) Determine se possvel particionar ` em dois conjuntos A e B de modo que nem A nem B contm progresses aritmticas infinitas mas, para cada q `, A e B contm progresses aritmticas de q termos.

EUREKA! N20, 2004

60

Sociedade Brasileira de Matemtica

101)

a) Sejam ai , bi , ci reais positivos, para 1 i 3.

3 3 3 3 3 3 3 3 Prove que (a1 + a2 + a3 )(b13 + b2 + b3 )(c1 + c2 + c3 ) (a1b1c1 + a2b2c2 + a3b3c3 )3 .

b) Sejam a, b, c, x, y, z reais positivos. Prove que

a 3 b 3 c 3 ( a + b + c )3 . + + x 2 y 2 z 2 ( x + y + z)2

Problema 96 proposto por Miguel Cruz (Holguin, Cuba), problema 97 (Coria 2001) proposto por Samuel Barbosa Feitosa (Fortaleza - CE), problema 98 proposto por Gleydson Chaves Ricarte (Fortaleza - CE), problema 99 proposto por Geraldo Perlino (Itapecerica da Serra SP), problema 100 proposto por Anderson Torres (So Paulo - SP), problema 101 proposto por Okakamo Matsubashi (So Paulo - SP).
EUREKA! N20, 2004

61

Sociedade Brasileira de Matemtica

COORDENADORES REGIONAIS
Alberto Hassen Raad Amarsio da Silva Arajo Ana Paula Bernardi da Silva Antonio Carlos Nogueira Benedito Tadeu Vasconcelos Freire Carlos Frederico Borges Palmeira Claus Haetinger Cleonor Crescncio das Neves lio Mega Florncio Ferreira Guimares Filho Ronaldo Alves Garcia Reginaldo de Lima Pereira Ivanilde Fernandes Saad Jacqueline Fabiola Rojas Arancibia Janice T. Reichert Joo Bencio de Melo Neto Joo Francisco Melo Libonati Jos Carlos dos Santos Rodrigues Jos Cloves Saraiva Jos Gaspar Ruas Filho Jos Luiz Rosas Pinho Jos Vieira Alves Krerley Oliveira Licio Hernandes Bezerra Luzinalva Miranda de Amorim Mrio Rocha Retamoso Marcelo Rufino de Oliveira Marcelo Mendes Pablo Rodrigo Ganassim Ramn Mendoza Ral Cintra de Negreiros Ribeiro Reinaldo Gen Ichiro Arakaki Ricardo Amorim Srgio Cludio Ramos Tadeu Ferreira Gomes Toms Menndez Rodrigues Valdenberg Arajo da Silva Valdeni Soliani Franco Vnia Cristina Silva Rodrigues Wagner Pereira Lopes (UFJF) (UFV) (Universidade Catlica de Braslia) (UFU) (UFRN) (PUC-Rio) (UNIVATES) (UTAM) (Colgio Etapa) (UFES) (UFGO) (Escola Tcnica Federal de Roraima) (UC. Dom Bosco) (UFPB) (UNOCHAPEC) (UFPI) (Grupo Educacional Ideal) (Unespar) (UFMA) (ICMC-USP) (UFSC) (UFPB) (UFAL) (UFSC) (UFBA) (UFRG) (Grupo Educacional Ideal) (Colgio Farias Brito, Pr-vestibular) (Liceu Terras do Engenho) (UFPE) (Colgio Anglo) (INPE) (Centro Educacional Logos) (IM-UFRGS) (UEBA) (U. Federal de Rondnia) (U. Federal de Sergipe) (U. Estadual de Maring) (U. Metodista de SP) (CEFET GO) Juiz de Fora MG Viosa MG Braslia DF Uberlndia MG Natal RN Rio de Janeiro RJ Lajeado RS Manaus AM So Paulo SP Vitria ES Goinia GO Boa Vista RR Campo Grande MS Joo Pessoa PB Chapec SC Teresina PI Belm PA Campo Mouro PR So Luis MA So Carlos SP Florianpolis SC Campina Grande PB Macei AL Florianpolis SC Salvador BA Rio Grande RS Belm PA Fortaleza CE Piracicaba SP Recife PE Atibaia SP SJ dos Campos SP Nova Iguau RJ Porto Alegre RS Juazeiro BA Porto Velho RO So Cristovo SE Maring PR S.B. do Campo SP Jata GO

EUREKA! N20, 2004

62