Você está na página 1de 62

CONTEDO

AOS LEITORES 2

X OLIMPADA DE MAIO 3
Enunciados e Resultado Brasileiro

XV OLIMPADA DE MATEMTICA DO CONE SUL 7


Enunciados e Resultado Brasileiro

XLV OLIMPADA INTERNACIONAL DE MATEMTICA 9


Enunciados e Resultado Brasileiro

XIX OLIMPADA IBERO-AMERICANA DE MATEMTICA 11


Enunciados e Resultado Brasileiro

XI OLIMPADA INTERNACIONAL DE MATEMTICA UNIVERSITRIA 13


Enunciados e Resultado Brasileiro

ARTIGOS

O TRINGULO E SUAS PRINCIPAIS CIRCUNFERNCIAS 17


Eduardo Wagner

DOIS PROBLEMAS CHINESES SOBRE GEOMETRIA PROJETIVA 26


Helder Oliveira de Castro

RETA DE EULER E NMEROS COMPLEXOS 31


Jos Paulo Carneiro

COMO QUE FAZ? 37

SOLUES DE PROBLEMAS PROPOSTOS 40

PROBLEMAS PROPOSTOS 60

COORDENADORES REGIONAIS 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

2
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 1 1 1 1
1. Em cada passo troca-se o nmero de cada uma das
25 casas pelo resultado da multiplicao dos nmeros 1 1 1 1 1
de todas as suas casas vizinhas. 1 1 1 1 1
Inicialmente se tem o tabuleiro da figura.
Mostre como fica o tabuleiro ao final de 2004 passos. 1 1 1 1 1

1 1 1 1 1
Observao: Duas casas so vizinhas se tiverem um
lado em comum.

PROBLEMA 4
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
m
medida do ngulo AM P . (No vale medir.)

EUREKA! N20, 2004

3
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

4
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

5
Sociedade Brasileira de Matemtica

RESULTADOS

PRIMEIRO NVEL (At 13 anos)


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

SEGUNDO NVEL (At 15 anos)


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

EUREKA! N20, 2004

6
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 Gabriel Tavares Bujokas Medalha de Ouro


BRA2 Leandro Farias Maia Medalha de Prata
BRA3 Andr Linhares Rodrigues Medalha de Bronze
BRA4 Telmo Luis Correa Jnior 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.
Demonstre que Cn (10n 1) .
4
9

EUREKA! N20, 2004

7
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

8
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 Fbio Dias Moreira Medalha de Bronze


BRA2 Gabriel Tavares Bujokas Medalha de Prata
BRA3 Henry Wei Cheng Hsu Medalha de Bronze
BRA4 Rafael Daigo Hirama Medalha de Prata
BRA5 Rafael Marini Silva Medalha de Bronze
BRA6 Thiago Costa Leite Santos Medalha de Bronze

PRIMEIRO DIA

PROBLEMA 1

n
Seja ABC um tringulo acutngulo com AB AC. A circunferncia de dimetro

n
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

9
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 ) + + ... + .
t1 t2 tn
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

n
Num quadriltero convexo ABCD a diagonal BD no bissetriz do ngulo ABC n
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 Alex Corra Abreu Medalha de Ouro


BRA2 Fbio Dias Moreira Medalha de Ouro
BRA3 Gabriel Tavares Bujokas Medalha de Ouro
BRA4 Rafael Daigo Hirama 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 UFC Medalha de Ouro


Humberto Silva Naves ITA Medalha de Prata
Carlos Stein Naves de Brito ITA Medalha de Prata
Alex Corra Abreu UFRJ Medalha de Prata
Eduardo Casagrande Stabel UFRGS Medalha de Bronze
Murilo Vasconcelos de Andrade IME Medalha de Bronze
Rafael Tajra Fonteles UFPI Medalha de Bronze
Thiago Barros Rodrigues Costa Unicamp Meno Honrosa
Digo Veloso Ucha IME Meno Honrosa
Eduardo Famini Silva IME Meno Honrosa
Tertuliano Franco Santos Franco UFBA 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
n
Seja An o conjunto de todas as somas arcsin x ,
k =1
k onde n 2, xk [0,1], e
n

x
k =1
k = 1.

i) Prove que An um intervalo.


ii) Seja an o comprimento do intervalo An . Calcule nlim

an .

PROBLEMA 4
Suponha n 4 e seja S um conjunto finito de pontos no espao \ , de maneira
3

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.

PROBLEMA 5
2n
Seja S um conjunto de + 1 nmeros reais, onde n um inteiro positivo.
n
Prove que onde existe uma seqncia montona {ai }1i n + 2 S tal que
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:
1
f ( z) =
log 4 z
onde a soma sobre todos os ramos do logaritmo complexo.

P( z )
i) Prove que h dois polinmios P e Q tais que f ( z ) = para todo
Q( z )
z ^ {0,1}.

EUREKA! N20, 2004

14
Sociedade Brasileira de Matemtica

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


z3 + 4z 2 + z
f (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

x x b b
a
f (t ) dt
a
g (t ) dt e a
f (t ) dt =
a
g (t ) dt.

Prove que
b b
a
1 + f (t ) dt
a
1 + g (t ) dt.

PROBLEMA 9
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
linear LM definido por LM X = MX + XM , para qualquer X matriz complexa
T

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

PROBLEMA 11
Prove que
1 1 dx dy
0 0 1
1.
+ log y 1
x
PROBLEMA 12
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 = .
An 1 Bn 1 An 1 0

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


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

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,

cr ar br a + b + c
S= + + = r = pr
2 2 2 2
A nossa primeira relao :
S = pr

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.

c b
h
2R

B H C

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.

IA
b

a ra

A c B

A rea do tringulo ABC igual a rea de ABIA mais a rea de ACIA menos a rea
de BCIA. Assim,
cra bra ara b + c a
S= + = ra .
2 2 2 2
Observe que b + c a = a + b + c 2a = 2p 2a = 2(p a). Logo, a nossa nova
relao :
S = ra ( p a)
e, analogamente, temos
S = rb ( p b)
S = rc (p c)

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
Respostas: 3, , 2 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:
4 2
S = r ra rb rc p( p a)(p b)( p c) = r ra rb rc S
o que demonstra a relao.

1 1 1 1
Segunda: = + +
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
Resposta: sim. os lados medem , , centmetros.
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

N
L

B M C

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:

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


a2
Em todo tringulo ABC, r ra .
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

I F ra

r
A
D C E

a
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

r 1
Em qualquer tringulo, .
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
r ra
4
b2
r rb
4
c2
r rc
4

Multiplicando estas trs relaes temos:

a2 b 2 c 2
r 2 r ra rb rc
64
2
(4RS)
r 2S 2
64

r 1

R 2
A pergunta natural que devemos fazer quando vale a igualdade. Repare que na
a2
demonstrao da desigualdade r ra , a igualdade vale se, e somente se, AB =
4
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
r 1
outras desigualdades, conclumos que = ocorre se, e somente se o tringulo
R 2
ABC equiltero.

Problema 3
A ( p b)( p c )
Sabendo que em um tringulo ABC, sin = (isto voc poder
2 bc
A B C 1
demonstrar mais tarde), mostre que sin sin sin .
2 2 2 8
A relao dos cinco raios
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.
S S aS
rb + rc = + =
p b p c ( p b)( p c)

S S
ra r =
pa p

Somando,

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

p(p a) + (p b)(p c)
= aS
p(p a)(p b)( p c)

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

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.

O X

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.
a
b

O A A'
B'

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

S B

Q C

A D M

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:

C
B
Z
Y
W

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:

H Q

B T O C
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
JJJJG JJJG
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

K
G
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
JJJG
( 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
JJJG
translao definida pelo vetor AB a mesma que leva a origem no complexo
B A (Figura 2).

EUREKA! N20, 2004

31
Sociedade Brasileira de Matemtica

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
JJJG JJJJG
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)

B M C

Figura 3

B+C
Logo: G A = 2(M G ) , ou seja: G = A + 2 G = A + B + C 2G ,
2
A+ B+C
de onde se conclui que G = .
3
EUREKA! N20, 2004

32
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 .
JJJJG JJJG
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,


v v v
portanto: vw = = vw + vw = 0 (o leitor pode
iw iw iw
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

JJJJG JJJG
AH BC ( H A)(C B ) + ( H A)(C B) = 0
1 1 1
( H A) + H (C B) = 0
C B A
(B C ) 1
( H A) + H (C B ) = 0
BC A
A( H A) + BC (1 AH ) = 0
AH = A2 + ABCH 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 JJJG
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
A B
caso, como ilustra a Figura 5, os complexos (ou pontos) A ' = , 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

B
A
B'
A'

O x

C'

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
H
imagem do ortocentro H do tringulo ABC, isto : H ' = . Mas ento, pelo
r
resultado do caso particular estudado, temos:
H A B C
H '= = 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
JJJG
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.

EUREKA! N20, 2004

35
Sociedade Brasileira de Matemtica

y
B

A
H
BK K
AK
H K
C
O x

CK
Figura 6

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
JJJJG JJJG
KH = 3KG , como se queria provar.

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, (d) A
d |m
md
divisvel por m, para

todo inteiro A.
b) Defina a seqncia An por A d |n
d = 2n. Prove que An divisvel por n, para

todo inteiro positivo n.

SOLUO:
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


perodo n mltiplo de n, pois, se declararmos duas seqncias ( xk )k1 e ( yk )k1
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

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

D C
B
M X

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


A

Z
B1
C1
I Y
B2 C
B K
C2

EUREKA! N20, 2004

38
Sociedade Brasileira de Matemtica

Note que
AB ACsen AB2 AC2 sen
[BKB2 ] = [CKC2 ] [ ABC] = [ AB2C2 ] =
2 2
AB AC2
AB AC = AB2 AC2 = BC2 // B2C. (1)
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
a ab + ac + ab b2 + bc ac + bc c2 = bc a2 = b2 + c2 bc
2

1
cos = = 60 .
2
Isso garante que BHCl = BIC = 120 B, H, I ,C so concclicos.
A

H
I

B C
O

IA

Para concluir, o centro I A do ex-incrculo relativo a BC est em AI e satisfaz


l = 90 I I dimetro do circuncrculo de BHC, de modo que A, I e
l = ICI
I BIA 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
t 2003.
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,
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.

84) Prove que se 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 .

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
de 4 no intervalo m 2 , (m + 1)2 , para algum k natural (da, como a potncia de
k k


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

2k
1
1 + < 4 , para todo k natural, o que uma contradio, pois
m
2k
1 2k
> 4 , para k = m + 2, pois 2 = 2 + 2 = 4 2m > 4m. Logo, m A ,
k m
1 + 1 +
m m
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


1 3
(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):
C

X3 Y3
Z3 W3

T3 T2
O
Y1 X2
W1 Z2
T1

Z1 W2
A X1 Y2 B
1
Temos AX 1 = AY1 = a = , (onde > 0 pequeno)
3
l 1 A = W1 Yl 1 A = 90, X1 Z1 = YW
Z1 X 1 1 = b
(assim, por exemplo, X1 = (a, 0) e Z1 = (a, b)) ,
a2 3 b 3b
onde b escolhido de modo que a rea + a do pentgono
4 2 2
3 1
AX 1 Z1W1Y1 seja igual a , que da rea do tringulo, ou seja, temos
36 9
1 3
1 8
b= + 2 . Note que, se > 0 pequeno ento b > 0 pequeno.
3 3 27 9

Escolhemos T1 = , b + h de modo que a rea (1 2a ) b + do pentgono


a h
2 2
3
X 1Y2W2T1 Z1 seja tambm igual a . Ou seja, temos
36

EUREKA! N20, 2004

42
Sociedade Brasileira de Matemtica

3 3 3 3
h= 2b = 2b < (e h prximo a se >0
18(1 2a) 1 6 36
18 + 2
3
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 3YW
1 1T3 Z 3
so congruentes, W1 Z1T1OT3 , W2 Z 2T2 OT1 e
1
W3 Z 3T3 OT2 so congruentes e os 6 primeiros tm da rea do tringulo, todos tm
9
1
da rea do tringulo.
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:
Caso 1: 4 divide ( a + 1).
m

Assim, a 1(mod 4). um fato muito conhecido que ( 1) no resduo


m

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.
Caso 2: Existe um primo 2 tal que ( a + 1).
m

Ento ( a + 1) ( a + 1) , e, como primo, a + 1.


m n

a 1(mod ) a m + 1 ( 1) m + 1(mod ), e j que ( a + 1), temos


m

( 1) m ( 1)(mod ) m mpar.

Caso 3: O complementar dos casos 1 e 2.


Assim sendo, a m + 1 = 2 a m = 1. Mas a 2 = 4 > 1, absurdo e fim do
m 2

lema.

EUREKA! N20, 2004

43
Sociedade Brasileira de Matemtica

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


ap +1
Ento ( a + 1) ( a + 1) ( a + 1) ( a + 1)
p m n
( a + 1) n 1 .
a +1
xp +1
Seja f ( x) = = 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 para algum polinmio
g ][ x]. Em particular, f ( a ) = ( a + 1) g ( a ) + p.
Seja q um fator primo de f(a). Ento q f ( a ) ( a + 1)
n 1
q ( a + 1).
Ento 0 f ( a ) p(mod q ).
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.
Ento f ( a) = ( a + 1) g ( a ) + p p 0(mod p ) p no divide f(a)
2 2

2
Caso 2: p no divide (a + 1).
a p + 1 ( hp 1) p + 1
Ento a + 1 = hp , onde p no divide h. Assim a = hp 1, =
a +1 hp
p p p p p p
( hp 1) = ( hp) ( 1) + hp (1) 1 + h 2 p 2 ( 1) 2 + ... + h p ,
p p p p p

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

hp 2 2

EUREKA! N20, 2004

44
Sociedade Brasileira de Matemtica

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

ap +1
Assim, = p.
a +1

Lema 3: p = 3
Demonstrao: vamos por absurdo. Suponha p 5.

ap +1
Ento crescente. De fato,
a +1
ap +1 a p a a p 1
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), uma composio de funes
a +1
crescentes.
a p +1 2 p +1
Assim, p = (pois a 2 ) 3 p 2 + 1 > 2
p p

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

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


a +1
3

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


a +1
a 3a 2
3

E = a 2 a 2 = 0 a {2, 1}.
a +1
Como a > 0, temos a = 2.
Se m = pk, e 2m + 1 divide 3n, (2 ) + 1 divide (2 + 1) , pois k mpar, donde
k p k n

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
n
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
pois, caso contrrio,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 ) .
Vamos criar uma pequena variao desta representao; chamemos esta nova
representao de representao F.
Suponha que m = Fi1 + Fi2 + ... + Fin (na representao descrita no Teorema anterior)
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.
n
Seja S k = A . Afirmamos que:
i =1
i

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). Veja que o nmero
Fi1 1 + Fi2 1 + ... + Fin 1 = Ak j est na seqncia. Logo
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

1
88) Prove que se r _ e cos(r ) _ ento cos(r ) 1, ,0, ,1.
1
2 2
SOLUO DE ANDRS SNCHEZ PREZ (LA HABANA, CUBA)

r _ r =
f
onde p, q ] , com mdc ( p; q ) = 1 . cos(r ) Q cos(r ) =
p
q g
donde f , g Z , tambm com mdc ( f ; g ) = 1 . Aplicando Moivre, se
z = cis = cos + isen ento
n
n
z n = cis ( n ) = cos ( n ) + isen ( n ) = (cos + isen ) = (cos ) (isen )
n n j j

j =0
j
n n 1

j n n
2 2
= ( 1) (cos ) ( sen )2 j + i ( 1) j ( cos )n 2 j1 ( sen )2 j+1
n 2 j

j =0 2 j j =0 2 j + 1

igualando parte real com parte real:


n
2

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

j =0
n

j n
2 j
cos ( n ) = ( 1) (cos ) 1 (cos )2 =
n2 j

j =0 2j
n

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

j =0 2 j k =0 k j =0 k = j
2k j

k k
lembrando que = .
k j j
n
n
2

j n k

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

j =0 k = j 2k j

sempre que cos _,cos ( n ) _, para todo n] (pois tambm
cos = cos( ) ). Se a ] e a par ento cos(a + ) = cos , e se a ] e
a mpar ento cos ( a + ) = cos . .

EUREKA! N20, 2004

48
Sociedade Brasileira de Matemtica

Logo, se cos _,cos ( a + b ) _, a, b ] .

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

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

2c +1
2 2c2+1 2 c +1 2 j
2c + 1 k

j


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

j
cos
2c + 1


=
j =0 k = j

2c +1 2 j
c c 2c + 1 k c
j
c
2c + 1 k x 2c +1 2 j
= ( 1) = ( 1)
j
cos 2 c +12 j
j =0 k = j 2k j 2c + 1 j =0 k = j 2k j y
j 2c + 1 k x 2 c +12 j
c c
1 = (1) 2 c +12 j
j =0 k = j 2k j y
j 2c + 1 k 2 c +12 j 2 j
c c
y 2 c +1 = ( 1) x y
j =0 k = j 2k j
c j
c
2c + 1 k 2 c 2 j 2 j
y 2 c +1 = x ( 1) x y
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
2c + 1 k c
j
c
2c + 1 k 2 c +12 j 2 j 1
y 2 c +1 = x + y ( 1) x y
k = 0 2 k 0 j =1 k = j 2k j
c
2c + 1 k c
2c + 1
y y
k = 0 2 k 0 k =0 2k

EUREKA! N20, 2004

49
Sociedade Brasileira de Matemtica

2 c +1
2c + 1 c 2c + 1 c 2c + 1
Do Binmio de Newton (1 + 1)2c +1 = = + e
k =0 k k =0 2k k =0 2k + 1
2 c +1
2c + 1 c 2c + 1 c 2c + 1
(1 1)2c+1 = ( 1)k =
; somando e dividindo por
k =0 k k =0 2k k =0 2k + 1
2c + 1
= 2 , logo y = 2 ou y = 2 com t `, t 2c .
c
2,
k =0
2c t t
2 k
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:
n 1

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

j =0
n 1

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

[ ]
n 1
n j
= ( 1) j
j =0
1 (sen )2
2 j + 1
2 (sen )2 j +1
n 1
2 n 1 j n 1

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

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

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

Agora, veja que sempre que sen _ e n mpar, sen ( n ) _ . Se u ] e u
par ento sen(u + ) = sen , e se u ] e u mpar ento

EUREKA! N20, 2004

50
Sociedade Brasileira de Matemtica

sen(u + ) = sen , logo, se sen _ sen (u + v ) _, u , v ] com


2c 1
v mpar. Fazendo = ,
2 ( 2c + 1)
2c 1 (2u ( 2c + 1) + v ( 2c 1))
sen u + v = sen _ .
2 (2c + 1)
2 ( 2 c + 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)
2

= 1 2 sen
2 ( 2c + 1)
cos
2c + 1

2
Se cos = 0, sen = que uma contradio.
2c + 1 2 ( 2c + 1) 2

1 2t 1
Se cos = , sen = . Como ambos (numerador e
2c + 1 2 2 ( 2c + 1) 2t +1
t

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 = t , sen = . Como ambos (numerador e
2c + 1 2 2 ( 2c + 1) 2t +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 e
1
t = 3 cos = , porm, se c = 0, cos = 1 , e para c 1
2c + 1 8 2c + 1

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
Finalmente cos , 1 2c + 1 {1,3} h , com
c+
2 1 2 q 2 3 2h

h ` . Se para _ , o que
2
h , h 2 , cos h 2h 2 = cos =
q 2 2 4 2

_ , o que
3
absurdo. Se , h 1 , , cos 2h 1 = cos =
q 3 2 h
32
h
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)

p p q2 p2
Note que se cos( x) = , 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 `.
Assim, xm + 2 2 pxm +1 (mod q), m `, donde, por induo, para todo
m 1
m 1, xm (2 p) (mod q). Em particular, como mdc(2 p, q) = 1, temos
mdc( xm , q) = 1, para todo m 1, e logo xm 0 , m 1, mas

EUREKA! N20, 2004

52
Sociedade Brasileira de Matemtica

2n
p + i q2 p2
( ) =(pi )
n n
z 2n
=1 = 1 p + i q 2 p2 q2 p2 (pois
q

2
p + i q2 p2 p + i p2 q2
= ) , e logo xn = 0 , absurdo.
p i q 2 p 2 q

b) q par. Nesse caso, se


m
p i q2 p2
m

p + i q2 p2
ym = i q 2 p 2 , temos y0 = 0, y1 = 1
2 2

p + i q2 p2 p i q2 p2 q2
e, como e so razes da equao x 2 px + = 0,
2 2 4
y , m `.
q2
temos ym+ 2 = pym+1
4 m
Assim, ym +2 pym +1 (mod q 2) , donde, por induo, para todo
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,
2n
p + i q2 p2
pois q par). Por outro lado, z 2n
=1 = 1, donde
q

n n
p + i q2 p2 p i q2 p 2
= , como antes, e logo yn = 0, absurdo.
2 2

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

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
= = = (1)
2r 360 2r r
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 (2)
Substituindo-se a relao (1) em (2) tem-se:
180k 180 (100 2r )
= = (3)
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:
S r 2
= S = (4)
r 2 360 360
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
r 2
r 180 (100 2r ) r (100 2 r )r
S= = = = = r 2 + 50r
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:
b 50
r = = 25 (6)
2a 2
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 F1 + Fn F2 = Fn1 + Fn (verdadeira)
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 = rq1 2 + r2 (r2 < r1)

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 ) ( (m ) ) , onde

(m) a soma dos divisores do mpar m;


(2 1) (m) = 2n = 2 m . Como 2
t +1 t +1 t +1
1 mpar temos que (2t +1 1)m,
ou seja, m = (2t +1 1) s onde s um inteiro.

EUREKA! N20, 2004

57
Sociedade Brasileira de Matemtica

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

(m) 1 + s + (2 1) s > 2
t +1 t +1
s e
(2 1) (m) > (2 1) 2
t +1 t +1 t +1
s = 2t +1 m = 2n ,
o que uma contradio, donde s = 1 e m = 2t +1 1 . Observe que
(m ) = 2t +1 = 2

t +1

m
1 + 1 , ou seja, a soma dos divisores de m a soma do

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 Teresina PI


Carlos Augusto David Ribeiro Fortaleza CE
Georges Cobiniano Sousa de Melo Joo Pessoa PB
Glauber Moreno Barbosa Rio de Janeiro RJ
Guilherme Marques dos Santos Silva Enviado via e-mail
Jos Renato Carneiro e Carneiro Ribeiro Preto SP
Marcos Francisco Ferreira Martinelli Rio de Janeiro RJ
Raphael Rodrigues Mata Salvador BA
Wallace Alves Martins Rio de Janeiro RJ
Wellington Klezewsky Pires Aquidauana MS
Zzimo Pereira 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) Se m n(mod p) ento f (m) = f (n).


ii) f (mn) = f (m) f (n) para quaisquer m, n ]

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

1 a1 a12 4
Mostre que
n =1 a1 a2 ... an
=
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 ` em um nmero finito de conjuntos,
nenhum deles impressionante.

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.


Prove que (a13 + a23 + a33 )(b13 + b23 + b33 )(c13 + c23 + c33 ) (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 (UFJF) Juiz de Fora MG


Amarsio da Silva Arajo (UFV) Viosa MG
Ana Paula Bernardi da Silva (Universidade Catlica de Braslia) Braslia DF
Antonio Carlos Nogueira (UFU) Uberlndia MG
Benedito Tadeu Vasconcelos Freire (UFRN) Natal RN
Carlos Frederico Borges Palmeira (PUC-Rio) Rio de Janeiro RJ
Claus Haetinger (UNIVATES) Lajeado RS
Cleonor Crescncio das Neves (UTAM) Manaus AM
lio Mega (Colgio Etapa) So Paulo SP
Florncio Ferreira Guimares Filho (UFES) Vitria ES
Ronaldo Alves Garcia (UFGO) Goinia GO
Reginaldo de Lima Pereira (Escola Tcnica Federal de Roraima) Boa Vista RR
Ivanilde Fernandes Saad (UC. Dom Bosco) Campo Grande MS
Jacqueline Fabiola 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
Jos Carlos dos Santos Rodrigues (Unespar) Campo Mouro PR
Jos Cloves Saraiva (UFMA) So Luis MA
Jos Gaspar Ruas Filho (ICMC-USP) So Carlos SP
Jos Luiz Rosas Pinho (UFSC) Florianpolis SC
Jos Vieira Alves (UFPB) Campina Grande PB
Krerley Oliveira (UFAL) Macei AL
Licio Hernandes Bezerra (UFSC) Florianpolis SC
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
Pablo Rodrigo Ganassim (Liceu Terras do Engenho) Piracicaba SP
Ramn Mendoza (UFPE) Recife PE
Ral Cintra de Negreiros Ribeiro (Colgio Anglo) Atibaia SP
Reinaldo Gen Ichiro Arakaki (INPE) SJ dos Campos SP
Ricardo Amorim (Centro Educacional Logos) Nova Iguau RJ
Srgio Cludio Ramos (IM-UFRGS) Porto Alegre RS
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
Valdeni Soliani Franco (U. Estadual de Maring) Maring PR
Vnia Cristina Silva Rodrigues (U. Metodista de SP) S.B. do Campo SP
Wagner Pereira Lopes (CEFET GO) Jata GO

EUREKA! N20, 2004

62

Você também pode gostar