CONTEDO

AOS LEITORES 2

XIV OLIMPADA DE MATEMTICA DO CONE SUL 3
Enunciados e Solues

XLIV OLIMPADA INTERNACIONAL DE MATEMTICA 13
Enunciados e Solues

X OLIMPADA INTERNACIONAL DE MATEMTICA PARA ESTUDANTES UNIVERSITRIOS 23
Enunciados e Solues

XVIII OLIMPADA IBERO-AMERICANA DE MATEMTICA 34
Enunciados e Solues

ARTIGOS

A DESIGUALDADE DE ERDS - MORDELL 42
Anderson Torres

COMO QUE FAZ? 53

SOLUES DE PROBLEMAS PROPOSTOS 54

PROBLEMAS PROPOSTOS 58

COORDENADORES REGIONAIS 62










Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
2
AOS LEITORES


Chegamos ltima edio de 2003 publicando solues de diversas
olimpadas internacionais: a Olimpada de Matemtica do Cone Sul, a Olimpada
Internacional de Matemtica, a Olimpada Ibero-americana e a Olimpada
Internacional de Matemtica para Estudantes Universitrios, da qual participamos
pela primeira vez. Publicamos tambm um artigo sobre a desigualdade de Erds
Mordell, que ajuda a resolver um dos problemas mais difceis que j caram na
IMO.

Estamos propondo sete problemas bacanas na seo de problemas
propostos, que se somam aos 6 problemas da ltima edio dos quais ainda no
recebemos soluo. Haver portanto bastante diverso para o comeo de 2004

Em 2004 a Olimpada Internacional de Matemtica ser realizada na
Grcia, assim como as Olimpadas. Vamos torcer para o Brasil trazer belas
medalhas nos dois casos

Abraos e feliz ano novo a todos,





Os editores













Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
3
XIV OLIMPADA DE MATEMTICA DO CONE SUL
Enunciados e Solues


PROBLEMA 1
Em um torneio de futebol entre quatro equipes, A, B, C e D, cada equipe joga com
cada uma das outras exatamente uma vez.

a) Decidir se possvel que, ao finalizar o torneio, as quantidades de gols
marcados e sofridos pelas equipes sejam:

A B C D
Gols marcados 1 3 6 7
Gols sofridos 4 4 4 5

Se a resposta afirmativa, d um exemplo com os resultados das seis partidas; em
caso contrrio, justifique.

b) Decidir se possvel que, ao finalizar o torneio, as quantidades de gols
marcados e sofridos pelas equipes sejam:

A B C D
Gols marcados 1 3 6 13
Gols sofridos 4 4 4 11

Se a resposta afirmativa, d um exemplo com os resultados das seis partidas; em
caso contrrio, justifique.


SOLUO DE FBIO DIAS MOREIRA (RIO DE JANEIRO RJ)
a) A configurao apresentada possvel. Por exemplo,

A B 1 1
A C 0 0
A D 0 3
B C 0 3
B D 2 0
C D 3 4
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
4
b) Como D no joga contra si mesmo, todos os gols que marca so contra A, B e
C. Logo todo gol marcado por D aumenta em um a contagem de gols
marcados por D e aumenta em um a soma do nmero de gols sofridos por A, B
e C.
Mas como D marcou treze gols, A, B e C deveriam ter sofrido pelo menos
treze gols no total, mas sofreram apenas 12, absurdo! Logo a situao
apresentada impossvel.

PROBLEMA 2
Considere a seqncia {a
n
} definida da seguinte maneira:
a
1
= 1
a
2
= 3
a
n+2
= 2a
n+1
a
n

+ 1, para todo inteiro n 1.

Provar que a mxima potncia de 2 que divide a
4006
a
4005
2
2003
.

SOLUO DE RODRIGO AGUIAR PINHEIRO (FORTALEZA CE)
Seja
1
; e 2
n n n
A a a n n

= N
Induo:
*
n N , temos 2
n
sendo a maior potncia de 2 que divide
2n
A e
1
2 1
2
n
n
A
+
+

Base de Induo:
3 2 1 2 1 2 1
1: 2 1 2 3 1 1 7 2 n a a a A a a

= = + = + = = = e
2 1 1 3 2
4 A a a
+
= =
Temos que
1
2 1
2 A

mas
2
2 1
2 no divide A

e
1 1
2 1 1
2 . A
+
+
OK!!
4 3 2
2: 2 1 2 7 3 1 43 n a a a = = + = + =
5 4 3
2 1 2 43 7 1 603 a a a = + = + =
4
43 7 36 A = = e
5
603 43 560 A = =
2
36 2 9, = logo
2
2 2
2 , A

mas
3
2 no divide
2 2
A


4
560 2 7 5, = logo
2 1
2 2 1
2 A
+
+
.
Passo Indutivo: Supondo que para todos os naturais menores ou iguais a k, valha a
sentena da induo, provaremos que vale para k + 1.
2 2 2 2 2 1 2 1 2 2 2 1
(2 1) (2 1)
k k k k k k k
A a a a a a a
+ + + +
= = + +
=
2 2 1 2 1
2 ( )
k k k
a a a
+

=
2 2 1 2 2 2 1
2 ( )
k k k k k
a a a a a
+
+

2 2 2 2 1 2
2 ( )
k k k k
A a A A
+ +
= +
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
5
Seja
2 2 2
2 ,
k
k k k
A x x = mpar (hiptese de induo) e
1
2 1 2 1
2 .
k
k k
A x
+
+ +
=
Temos:

2 1
2 2 2 2 1 2 2 2 1 2
mpar
mpar
2 (2 2 ) 2 (2 )
k k k
k k k k k k k
A a x x a x x
+
+ + +
= + = +
_

Portanto
1
2 2
2
k
k
A
+
+
, mas
2
2
k +
no divide
2 2 k
A
+

1 1
2 3 2 1 2 2 2 1 2 1 2 2 2 1
2 ( ) 2 (2 2 )
k k
k k k k k k k
A a A A a x x
+ +
+ + + + + + +
= + = +

2
2 1 2 2 2 1
2 ( )
k
k k k
a x x
+
+ + +
= + , portanto
1 1
2( 1) 1
2
k
k
A
+ +
+ +

Para k = 2003, temos que
2003
4006 4005
4006
2 , A a a = mas
2004
2 no divide
4006
A .

PROBLEMA 3
Seja ABC um tringulo acutngulo tal que o ngulo B mede 60
o
. A circunferncia
de dimetro AC intersecta as bissetrizes internas de A e C nos pontos M e N
respectivamente (M A, N C). A bissetriz interna do ngulo B intersecta MN e
AC nos pontos R e S, respectivamente. Demonstrar que BR RS .


SOLUO DE THIAGO COSTA LEITE SANTOS (SO PAULO SP)

30
30
T S

C
30

I
M
K
30
30
A
B
R
N

W


Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
6
Digamos que 2 2 BAC BCA = = ,
Sem perda de generalidade 2 2 120 60 + = + = .
N est dentro do tringulo, pois como AC dimetro
90 ANC AMC = = 90 NAC =
90 30 NAM = = e 30 NAB = .
De modo anlogo M est fora do tringulo.
Assim, 90 90 2 30 MCA MCB = = =
Como KMI NCA = , pois ANMC inscritvel, KMI KCI IKMC = =
inscritvel 90 . IKC IMC = = Como KMI = e
30 , 60 KCM CKM NKB = = = e 60 . KWB = Como I o incentro,
IK IT r = =
1
sen30 2 2
2
KI
BI KI r
BI
= = = =

(r o inraio). O tringulo KWB equiltero, pois provamos que
60 . BWK BKW WBK = = = Como BR bissetriz de , WBK BR WK .
No tringulo RKI:
1
sen30 .
2 2 2
RI KI r
RI
KI
= = = =

3
2
2 2
r r
BR BI RI r = = =

, SI IT r = pois 90 ITS =
3
2 2 2
r r r
RS RI SI SI r BR RS BR = + = + + = =
.




PROBLEMA 4
No tringulo acutngulo ABC, os pontos H, G e M encontram-se sobre o lado BC,
de modo que AH, AG e AM so altura, bissetriz e mediana do tringulo,
respectivamente. Sabe-se que HG = GM, AB = 10 e AC = 14. Determinar a rea do
tringulo ABC.



Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
7
SOLUO DE RODRIGO AGUIAR PINHEIRO (FORTALEZA CE)
2

B x H G M
A
z
14
C y
k k
10

Seja BH = x, HG = GM = k, MG = y e AH = z.
Como AM mediana, BM = MC BH + HG + GM = MC
x + 2k = y (I)
Apliquemos o teorema da bissetriz interna, considerando a bissetriz AG:
10
5( ) 7( )
14
AB BG x k
y k x k
AC GC y k
+
= = + = +
+

5 7 2 y x k = + (II)
(I) em (II):
3
5 6 2 6
2
y x x k x y y x = + + = + =
(III)
(III) em (I):
3 1
2 2 4
2 2
x k y x x k x k + = = = =

(III):
3 3
(4 ) 6 .
2 2
y x k y k = = =

Apliquemos o teorema de Pitgoras no : AHC
2 2 2 2 2 2
(8 ) 14 AC AH HC z k = + + =
Teorema de Pitgoras no : AHB
2 2 2 2 2 2
(4 ) 10 AB AH HB z k = + + =
Temos:
2 2
2 2 2 2
2 2
64 196
64 ( 16 ) 196 100
16 100
z k
z k z k
z k
+ =
+ + =
+ =

2 2
48 96 2 2 k k k = = =
2 2 2 2
16 100 16 2 100 68 68; z k z z z + = + = = = rea
68 12 2
12 34
2

= = .

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
8
PROBLEMA 5
Seja 1 3 + = k n , onde k um inteiro, 1 k . Constri-se um arranjo triangular
de lado n formado por crculos de mesmo raio como o mostrado na figura para
7 = n .


Determinar, para cada k, o maior nmero de crculos que podem ser coloridos de
vermelho de tal modo que no existam dois crculos vermelhos tangentes entre si.

ADAPTAO DA SOLUO DE THIAGO COSTA LEITE SANTOS (SO PAULO SP)
Obviamente
0
6 1 n k = + ou
0
6 4 n k = + , quando k = 2k
0
ou
0
2 1 k k = + ,
respectivamente. Observe que se tivermos seis crculos do seguinte formato:

ns s podemos pintar no mximo 2 bolas; caso pintemos 3,
haver duas bolas pintadas tangentes, o que absurdo!
Primeiro caso:
0 0
2 6 1 k k n k = = +
Denote por a
k
o maior nmero de crculos que podemos pintar. No tringulo n n
pegue as 3 ltimas linhas:
Primeira linha
Segunda linha
.
3k +1
3k +2
3k +3
3(k+1)+1




3k +2
3k +3
3k + 4




Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
9
Dividimos aqueles crculos em peas de 6 crculos e uma pea de 3 crculos da
seguinte forma:

3k +2
3k +3
3k + 4
1 2 3 4

3 2
2
k +

Como cada pea tem no mximo 2 crculos pintados e ns temos
3 2
2
k +

peas (note que
3 2
2
k +
Z pois 0(mod2)) k e na pea podemos pintar
um crculo
1
3( 1)
k k
a a k
+
+ + nesse caso.


Segundo caso:
0 0
2 1 6 4 k k n k = + = +
As trs ltimas linhas so assim:

3k +2
3k +3
3k + 4


1
3 1
2
2
k k
k
a a r
+
+ | |
+ +
|
\ .
onde r o nmero de crculos pintados da pea .
Temos que 3 r .(*)
Se r = 2 temos de novo
1
3( 1)
k k
a a k
+
+ + e um jeito de montarmos o seguinte:
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
10
1
2
3
4
5
6
7
8
9
3k + 1= n
3k + 2 = n + 1
3k + 3 = n + 2
3k + 4 = n + 3

Pegue a pea destacada e
coloque assim:


A partir da fazemos por
induo:

Nos dois casos (k par ou k mpar), as trs ltimas linhas podem ser pintadas
assim: Suponha pintado at a linha n e pinte as linhas
n + 1, n + 2, n + 3 da seguinte forma.

Na linha n + i = 3k + 1 + i, 1 i 3 faa o seguinte: enumere de 1 a n + i.

Se i = 1: na linha n + 1, se o crculo tiver um nmero da forma 3k, pinte-o de
vermelho.

Se i = 2: na linha n + 2, se o crculo tiver um nmero da forma 3k + 2, pinte-o.

Se i = 3: na linha n + 3, se o crculo tiver um nmero da forma 3k + 1, pinte-o.
Assim, teremos
1 1
3 ( 1)
3( 1), 4 1 , 1.
2
k k k
k k
a a k a a k
+
+
+ + = +
Vamos ver o que acontece se em (*) tivermos r = 3 e
3 1
2
2
k
r
+ | |
+
|
\ .
crculos
pintados nas 3 ltimas linhas.
A pea ser pintada assim
As 3 ltimas linhas sero pintadas assim:
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
11
3k + 1
3k + 2
3k + 3
3k + 4




3k
3k 1
Na linha i coloque os nmeros assim:
1 2 3 4 5 6
i

Na linha 3k + 2 e 3k + 4 os nmeros impares sero pintados e na linha 3k + 3
ningum. Como cada pea da forma s tem no mximo 2 crculos pintados,
nas linhas 3k + 2 e 3k + 4 todos os nmeros mpares sero pintados, porque se no
1
3( 1).
k k
a a k
+
+ + Assim, nas 3 linhas anteriores (3k 1, 3k e 3k + 1) temos no
mximo 2k crculos pintados (pois na linha 3k + 1 no podemos ter nenhum),
donde
1 1 1
2 3 4 3 3( 1)
k k k
a a k k a k k
+
+ + + + + + e, de qualquer jeito, temos
1
3 ( 1)
1 3 1 ,
2
k
k
j
k k
a j
=
+
+ = +

por induo. A resposta, portanto,

3 ( 1)
1 .
2
k
k k
a
+
= +

PROBLEMA 6
Demonstrar que existe uma seqncia de inteiros positivos ,... x ,..., x , x
n 2 1
que
satisfaz as duas condies seguintes:
i) contm exatamente uma vez cada um dos inteiros positivos,
ii) para cada 1, 2,..., n = a soma parcial
n
x x x + + + ...
2 1
divisvel por
n
n .

SOLUO DE FBIO DIAS MOREIRA (RIO DE JANEIRO RJ)
Definiremos indutivamente uma tal seqncia. Seja x
1
= 1, x
2
= 3, e suponha a
seqncia definida at x
2n
. Seja k o menor inteiro positivo que ainda no apareceu
entre
1 2
,..., .
n
x x Pelo Teorema Chins dos Restos, existem infinitos
2 1 n
x
+
tais que
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
12
2 1
2 1 1 2 2
... (mod(2 1) )
n
n n
x x x x n
+
+
+ , e
2 2
2 1 1 2 2
... (mod(2 2) )
n
n n
x x x x k n
+
+
+

j que
2 1 2 2
(2 1, 2 2) 1 ((2 1) , (2 2) ) 1.
n n
mdc n n mdc n n
+ +
+ + = + + = Em
particular, existe um tal
2 1 1 2 2
{ , ,..., , },
n n
x x x x k
+
j que este ltimo conjunto
finito. Tomamos
2 1 2 1 n n
x x
+ +
= e
2 2
.
n
x k
+
= Note que
2 1
1 2 1
(2 1) ...
n
n
n x x
+
+
+ + + e
2 2
1 2 2
(2 2) ... ,
n
n
n x x
+
+
+ + + logo a extenso da seqncia respeita (ii). Como,
para 1 2 , i n
2 1 2 1
,
n i n
x x x k
+ +
por construo e
2 2 n i
x x
+
pela definio de
k, a extenso respeita que cada inteiro aparece no mximo uma vez. Mas depois de
x extenses, todos os nmeros 1, 2,,x j apareceram, pois so os x menores
inteiros positivos. Logo todo inteiro positivo x aparece at o (2x + 2)-simo termo,
logo todo inteiro aparece pelo menos uma vez. Logo ( )
i i
x
N
respeita (i), e
portanto ( )
i i
x
N
satisfaz as condies do enunciado.






















Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
13
XLIV OLIMPADA INTERNACIONAL DE MATEMTICA
07 a 19 de julho, Tquio - Japo

PROBLEMA 1
Seja A um subconjunto do conjunto } 1000000 , , 2 , 1 { = S com exatamente 101
elementos. Demonstre que existem nmeros
100 2 1
, , , t t t em S tais que os
conjuntos
} | { A x t x A
j j
+ = , para 1, 2, ,100, j =
so disjuntos dois a dois.

SOLUO DE FBIO DIAS MOREIRA (RIO DE JANEIRO RJ)
Seja { | , , }. A x y x y A x y = > Certamente
101
,| | 5050,
2
A S A
| |
=
|
\ .
j que
h
101
2
| |
|
\ .
pares de inteiros
2
( , ) x y A tais que x > y. Afirmamos que se
1 100
{ ,..., } T t t = tal que , , {1,...,100},
j i
t t A i j ento
1 100
,..., t t satisfazem o
enunciado. De fato, se houver , , , x y A x y > tais que ,
i j
x t y t + = + ento
.
j i
x y t t = Mas o lado esquerdo da igualdade est em
j
A , o direito no,
absurdo!
Ento construmos T da seguinte forma:
i) 1 T
ii) Para cada elemento
i
t adicionado, proibimos todos os inteiros da forma
, .
i
t x x A +
iii) Escolhemos o menor inteiro que no foi proibido, nem escolhido
anteriormente.
iv) Repetimos ii) e iii) 99 vezes.

Se existissem , ,
i j j i
t t t t > em T, tais que ,
j i
t t A ento, como
j i
t t > ,
*
,
j i
t t
+
= + Z , logo , A absurdo, pois
j
t teria sido proibido, pois da
forma , .
i
t x x A +
Logo basta verificar que . T S Mas como min 1 T = , basta verificar
6
max 10 . T Mas se
1 2 100
{1 ... } T t t t = = < < < , ento
2
5052 t , pois h no
mximo 5050 inteiros proibidos entre ele e
1
t , alm de 1 j escolhido. Da mesma
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
14
maneira,
6
3 100
10103,..., 99 5050 100 500050 10 , t t + = < concluindo a
demonstrao.


PROBLEMA 2
Determine todos os pares de inteiros positivos ) , ( b a tais que
1 2
3 2
2
+ b ab
a

um inteiro positivo.

SOLUO DE ALEX CORRA ABREU (NITERI RJ)
Primeiro caso: b = 1
2

2
a
a
inteiro a par temos as solues (2k, 1) k N*.
Segundo caso: 1 b >
como queremos inteiro positivo
2 3 2
2 1 0 (2 ) 1 0 ab b b a b + > + > e como
1, devemos ter 2 b b a >
agora:
2 2 2 2 2
2')se 2 , (2 ) 1 (2 ) 1 1 ( 2 1) a b a b a b a a a b a a b a + + +
2 b a = . Temos ento as solues ( , 2 ) a a
*
aN .
2'') se b < a e (a, b) uma soluo, suponha que
2
2 2 3
2 3
2 ( 1) 0
2 1
a
k a kb a b k
ab b
= + =
+
ento a equao
2 2 3
2 ( 1) 0 x kb x b k + =
tem uma soluo a e a outra
2
2 , kb a que positiva pois o produto das solues

3
( 1) 0. b k >
Ento vamos mostrar que
2 2 3
2 3 4 3
2 3 2 3
2
2 2
2 1 2 1
a b ab a
b kb a b a b ab b b ab a
ab b ab b

+
+ +
3 4 3
0 ( ) 0 ab b b a b a b a b + + + + o que verdade, pois . a b > Assim, pelo
caso 2'),
2 2 3
2 3 4 3
2 3 2 3
4 2 2
2(2 ) 2 2 2 2
2 1 2 1
a b ab a
b kb a a ab b b ab a
ab b ab b

= = = + =
+ +

4
4
2
2
b b
a b b a

= = , com b par, pois
2
4
b
k = . Temos ento as solues
4
, , 1
2
b b
b b
| |
>
|
\ .
par.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
15
PROBLEMA 3
Considere um hexgono convexo tal que para cada quaisquer dois lados opostos
verifica-se a seguinte propriedade: a distncia entre os seus pontos mdios igual
a
2
3
vezes a soma dos seus comprimentos. Demonstre que todos os ngulos do
hexgono so iguais.

(Um hexgono convexo ABCDEF tem trs pares de lados opostos: AB e DE ,
BC e EF , CD e FA).


SOLUO OFICIAL
Primeira Soluo:
Lema: Considere o tringulo PQR com 60 . QPR Seja L o ponto mdio de
QR.
Logo 3 2 PL QR , com igualdade se e somente se o tringulo PQR
equiltero.

Prova:
P
Q
S
R
L


Seja S um ponto tal que o tringulo QRS equiltero, e os pontos P e S
encontram-se no mesmo semiplano limitado pela linha QR. Logo o ponto P
pertence ao circuncrculo do tringulo QRS, que se encontra dentro do crculo de
centro L e raio 3 2 QR . Isto completa a prova do lema.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
16
B
M
A
C
F
D N
P
E

As diagonais principais do hexgono convexo formam um tringulo embora o
tringulo possa ser degenerado. Assim podemos escolher duas das trs diagonais
que formam um ngulo maior ou igual a 60. Sem perda de generalidade,
podemos assumir que as diagonais AD e BE do hexgono dado ABCDEF
satisfazem 60 APB , onde P a interseo dessas diagonais. Logo, usando o
lema, temos:
( )
3
,
2
MN AB DE PM PN MN = + +

onde M e N so pontos mdios de AB e DE, respectivamente. Assim pelo lema, os
tringulos ABP e DEP so equilteros.

Consequentemente a diagonal CF forma um ngulo maior ou igual a 60 com uma
das diagonais AD e BE. Sem perda de generalidade, assumimos que
60 , AQF onde Q a interseo de AD e CF. Da mesma maneira acima,
deduzimos que os tringulos AQF e CQD so equilteros. Isto implica que
60 , BRC = onde R a interseo de BE e CF. Usando o mesmo argumento
acima pela terceira vez, obtemos que os tringulos BCR e EFR so equilteros.
Isto completa a soluo.







Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
17
Segunda Soluo:
Seja ABCDEF o hexgono dado e seja , ,..., . a AB b BC f FA = = =
, , ,

B
M
A
C
F
D N
E
b
a
f
e
d
c

Sejam M e N os pontos mdios dos lados AB e DE, respectivamente. Temos
1 1
2 2
MN a b c d = + + +
,
e
1 1
.
2 2
MN a f e d =
,

Assim temos

1
( ).
2
MN b c e f = +
,
(1)
Da propriedade dada temos

( )
3 3
.
2 2
MN a d a d = +
,
(2)

x = a d, y = c f, z = e b. desde (1) e (2) obtemos:

3 . y z x (3)

Similarmente vemos que
3 , z x y (4)
3 . x y z (5)
Note que
(3)
2 2 2
2 3 , y y z z x +
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
18
(4)
2 2 2
2 3 , z z x x y +
(5)
2 2 2
2 3 . x x y y z +

Adicionando as ltimas trs inequaes, obtemos

2 2 2
2 2 2 0, x y z y z z x x y

ou
2
0. x y z + + Assim 0 x y z + + = e valem as igualdades em todas as
inequaes acima.
Da, conclumos que:
0, x y z + + =
3 , // // , y z x a d x =
3 , // // , z x y c f y =
3 , // // . x y z e b z =

Supondo que PQR o tringulo tal que , , . PQ x QR y RP z = = =
, , ,
Podemos
assumir 60 QRP , sem perda de generalidade. Seja L o ponto mdio de QR,
logo 2 3 2 3 2. PL z x y QR = = =
Segue do lema na soluo 1 que o tringulo PQR equiltero. Assim temos
... 120 . ABC BCD FAB = = = =

Nota: Obtemos a caracterizao completa dos hexgonos satisfazendo a
propriedade dada. So obtidos a partir do tringulo equiltero cortando seus cantos
na mesma altura.


PROBLEMA 4
Seja ABCD um quadriltero convexo cujos vrtices esto sobre uma
circunferncia. Sejam P , Q e R os ps das perpendiculares s retas BC , CA e
AB , respectivamente, passando por D . Demonstre que QR PQ = se e s se as
bissetrizes dos ngulos ABC e ADC se intersectam sobre a reta AC .




Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
19
SOLUO DE ALEX CORRA ABREU (NITERI RJ)
D
R
A

Q
B
C
P

Seja CAB = e BCA = .
Primeiro temos que as bisetrizes se intersectam sobreAC
sen
sen
AB AD AD
BC DC CD

= =
.Mas

sen
PQ
DC
QCP
=
pois DQCP inscritvel
de dimetro DC sen PQ DC = e, analogamente,
sen
sen sen sen
sen
AD
QR AD PQ QR DC AD
DC

= = = =
como queramos.

Observe que a nossa demonstrao independe do fato de ABCD ser um
quadriltero inscritvel. De fato, o quadriltero mostrado no desenho no o : A
est no segmento BR e C est no segmento BP. Todos os argumentos utilizados
continuam vlidos se modificarmos as posies de A ou C.

PROBLEMA 5
Sejam n um inteiro positivo e
n
x x x , , ,
2 1
nmeros reais tais que
n
x x x
2 1
.

(a) Demonstre que

2
2
2
1 1 1 1
2( 1)
( ) .
3
n n n n
i j i j
i j i j
n
x x x x
= = = =
| |


|
\ .


Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
20
(b) Demonstre que a igualdade vlida se e s se
n
x x x , , ,
2 1
formam uma
progresso aritmtica.

SOLUO
Vamos provar (a) por induo em n. Para n = 1 os dois lados valem 0 e, para n =
2, valem
2
2 1
4( ) . x x Faamos o passo da induo: Temos
1 2 1
.
n n
x x x x
+
Assim, sendo
1 1
n n
n i j
i j
A x x
= =
=
e
( )
2
1 1
,
n n
n i j
i j
B x x
= =
=
temos ( )
1 1
1 1
1 1 1
2
n n n
n i j n j n
i j j
A x x x x A
+ +
+ +
= = =
= = +

e ( )
2
1 1
1
2 .
n
n n j n
j
B x x B
+ +
=
= +
Queremos ento provar que
( )
( )
2
2
2
1 1 1
1
2 1 1
2 2
3
n
n n j n n
j
n
A n x x A B
+ + +
=
+
| |
= + =
|
\ .

( )
2 2
1 1
1 1
2 2
2 4 2 ,
3
n n
n n j j n
j j
n n
nx x x x B
+ +
= =
| | +
= + +
|
\ .

ou equivalentemente, que
( )
2
2
2 2
1 1
1 1 1
4 1
2( 1) 2 ( 2)
4 2 2 0.
3 3 3
n n n
n j n n n j n j
j j j
n n
n n n
x n x A x B x A x
+ +
= = =
| | | | | |
+
+ + +
| | |
\ . \ . \ .


Olhando o lado esquerdo como uma funo quadrtica de
1 n
x
+
, conclumos que
ela atinge o seu mnimo para
1
1
2( 1) 3
,
2 ( 1)
n
j n
j
n
n x A
x
n n
=
+
+
=

quando temos
2
2
1 2
1 1
1 1
2( 1) 3
2 2 2
1
n
j n
n n
j
n n j n j n
j j
n x A
A nx x A x A
n
=
+ +
= =
| |
+
|
| |
|
= + = + =
|
|
\ .
|
\ .

2
2
,
1
n
n
A
n
+ | |

\ .
enquanto
2 2
1 1 1
1 1
2 4 2
n n
n n n j j n
j j
B nx x x x B
+ + +
= =
= + + =


Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
21
2
1 1
1 1
2 2 2
n n
n n j j n
j j
x nx x x B
+ +
= =
| |
= + + =
|
\ .


1 1 2
1
2( 1) 3 3 2( 1)
2
( 1) 2( 1)
n n
j n n j
n
j j
j n
j
n x A A n x
x B
n n n
= =
=
+
= + + =

2
2
2 2
1
2 2
2 2
1 1 1
2
9 9 1
2 2
2 ( 1) 2 ( 1)
n
j
n n n
j
n n
j n n j j
j j j
x
A A
x B B n x x
n n n n n n
=
= = =
| |

|
| | | |
| |
\ .
| |
= + + + = + +
|
| |
\ .
\ . \ .

,
mas
( )
2
2
2
1 1 1 1
2 ,
n n n n
n j i j j
i j j j
B x x n x x
= = = =
| |
| |
|
= =
|
|
\ .
\ .

donde
2
1 1
2 ( 2)
3
n n
n n
A B
+ +
+

equivalente a
( )
( )
2
2
2
2 2
2 9 2 ( 2) 1
3 2 ( 1)
1
n
n n
n A n n n
A B
n n n
n
+ | | + + | |
+
| |

\ .
\ .

2 2 2
3( 2) 2( 1)( 1) 9
n n n
n A n n B A + + +
2
2 2 2
2( 1)
3( 1) 2( 1)( 1) ,
3
n n n n
n
n A n n B A B

+ que a hiptese de
induo. Assim, o valor mnimo de nossa funo quadrtica maior ou igual a 0, o
que implica o resultado.
Para provar b), note que, se valem as igualdades nas desigualdades acima,
devemos ter em particular
2
2
2( 1)
3
n n
n
A B

= donde, por hiptese de induo,

1
( 1)
j
x x j r = + para um certo 0 r , ; j n alm disso, devemos ter
1 1
1
2( 1) 3 2( 1) 6 ( )
2 ( 1) 2 ( 1)
n n
j n j
j j i i j n
n
n x A n x j i r
x
n n n n
= = <
+
+ +
= = =



1
1
1 1
1 3
( ( 1) ) ( )
( 1)
n n
j k
x j r n k kr
n n n

= =
= + + =

1 1
( 1) 3 ( 1)( 1)
,
2 ( 1) 6
n n n n r
x r x nr
n n
+ | |
+ + = +
|

\ .
donde
1 1
( )
i i n
x
+
uma
progresso aritmtica, como queramos provar.

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
22
PROBLEMA 6
Seja p um nmero primo. Demonstre que existe um nmero primo q tal que,
para todo inteiro n, o nmero p n
p
no divisvel por q.

SOLUO DE SAMUEL BARBOSA FEITOSA (FORTALEZA - CE)
evidente que p q pois se p = q basta tomarmos n mltiplo de q para termos um
absurdo.
Se encontrarmos um primo q tal que p 1 q e ) (mod 1
1
q p
p
q

(1)
o problema ter acabado pois se ) (mod q p n
p
, como q p ento mdc (n, q)
= 1, donde
1 1
(mod )
q q
p
p p
n p q

mas pelo pequeno teorema de Fermat temos

) (mod 1
1
q n
q

. Isso produz um absurdo por (1), logo devemos ter

) (mod q p n
p
.
Para encontrarmos o nosso tal primo q que satisfaz (1) consideremos o nmero
1 ...
2 1
+ + + + =

p p p X
p p
. claro que 1
p
p X (2).
Seja q um divisor primo de X e p ord k
q
= . De (2) temos que
1 = k p k ou p k = . Se k = 1 temos ) (mod 1 ) (mod 1 q p q p
j
; da
) (mod 1 ... 1 1 q p X = + + mas X q e p q , absurdo, logo k = p, mas
1 1 ) (mod 1
1
+ = =

py q q k p q p
q
para algum y inteiro. Existe algum
fator primo q de X tal que y no seja divisvel por p, pois se para todo
fator primo q de X tivermos
2
1(mod ) q p , teramos
2
1(mod ) X p , mas
) (mod 1 1
2
p p X + logo existe um primo q divisor de X tal que 1 q p e
) (mod 1
2
p q . Mostremos que tal primo q satisfaz (1). Como p p ord k
q
= = e
) (mod 1
2
p q p k = no divide

p
q 1
) (mod 1
1
q p
p
q

, donde o primo
q satisfaz (1).





Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
23
X OLIMPADA INTERNACIONAL DE MATEMTICA PARA
ESTUDANTES UNIVERSITRIOS
25 a 31 de Julho, Cluj - Napoca, Romnia

PROBLEMA 1
a) Seja
1 2
, , , ,...
n
a a a uma seqncia de nmeros reais tais que
1
1 a = e
1
3
, .
2
n n
a a n
+
>
Prove que a seqncia
1
3
2
n
n
a

| |
|
\ .
tem um limite finito ou tende a infinito.
b) Prove que para todo 1 > existe uma seqncia
1 2
, , , ,...
n
a a a com as
mesmas propriedades, tal que
1
lim .
3
2
n
n
n
a

=
| |
|
\ .

SOLUO
(a) Considere a seqncia
1
2
3

|
.
|

\
|
=
n
n
n
a
b .
Temos
1 1
0, 1
3
2
n n
n
n n
b a
b n e
a b
+ +
> = >
| |
|
\ .
, logo (b
n
) uma seqncia crescente.
Mas toda seqncia montona limitada convergente. Logo, h duas opes
possveis: ou (b
n
) ilimitada e, como crescente, tende a infinito ou ento, se ela
for limitada, ela tem um limite finito (pois crescente).

(b) Tome

1
1 = q e considere a seqncia
1 2
... 1

+ + + + =
n
n
q q q b .
1 0 1 < < > q e portanto (b
n
) uma seqncia convergente, com
1
lim
1
n
n
b
q

= =

.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
24
Portanto, a seqncia
n
n
n
b a
1
2
3

|
.
|

\
|
= satisfaz as condies do enunciado.

Observao: A soluo da letra (b) bem mais natural do que parece. A letra (a)
induz voc a pensar apenas na seqncia (b
n
). E na tentativa de encontrar uma
seqncia com determinadas condies, nada mais natural do que tentar uma
seqncia fcil como uma PG (e a descobrir o valor de q necessrio).

PROBLEMA 2
Sejam
1 2 51
, , , a a a elementos no nulos de um corpo. Simultaneamente
trocamos cada elemento pela soma dos outros 50. Desta forma a nova seqncia
1 2 51
, , , b b b uma permutao da anterior. Quais so os possveis valores da
caracterstica do corpo?

SOLUO
Seja p a caracterstica do corpo.
S S a S a S b S
k
k
k
k
k
k
= = = =

= = =
51 51 ) (
51
1
51
1
51
1
, logo 49S = 0.
Se 0 S , temos que 49 = 0, logo 49 | p e como p primo, p = 7. Um exemplo
de corpo que satisfaz essa propriedade
( )
*
7
Z
Z
, com 1 =
k
a , para k = 1,2,...,51.
Se S = 0, cada
k
a igual a
j k
a b = , para algum j, donde a permutao tal
que
) (k k
a a

= possui um ponto fixo, pois os nmeros 1,2,...,51 esto divididos
em pares (pela ao da ) e 51 mpar. Portanto existe um n tal que
n n n
a a a = =
) (
, logo 0 2 =
n
a e como 0
n
a , temos que 2 = 0 e o corpo
possui caracterstica 2. Um exemplo de corpo que satisfaz essa propriedade
GF(2
2
), isto , o corpo cujos elementos so polinmios, tomados mdulo
x
2
+ x + 1, com coeficientes em 2 Z Z .
Basta tomar ) 1 , , 1 ,..., 1 , , 1 , 1 , , 1 ( ) ,..., , (
51 2 1
x x x x x x a a a + + + = .

PROBLEMA 3
Seja A uma matriz quadrada n n tal que 3A
3
= A
2
+ A + I. Prove que (A
k
)
k N

converge a uma matriz idempotente B (i.e., a uma matriz B tal que B
2
= B).


Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
25
SOLUO
Seja m(x) o polinmio minimal de A. Como 0 3
2 3
= I A A A , m(x) deve
ser divisor de ) )( )( 1 ( 1 3
2 1
2 3
= x x x x x x , com
3
2 1
2 , 1

= .
Isso implica que m(x) tem razes distintas, e portanto A diagonalizvel, isto ,
existe uma matriz P inversvel tal que P Diag P A =

) ,..., , ,..., , 1 ,..., 1 (
2 2 1 1
1
,
onde Diag(a,b,c,...) representa a matriz diagonal de entradas a,b,c,...
Segue que P Diag P A
k k k k k
=

) ,..., , ,..., , 1 ,..., 1 (
2 2 1 1
1
.
Como 1
2 , 1
< , segue que P Diag P A B
k
k
= =


) 0 ,..., 0 , 1 ,..., 1 ( lim
1
, que
claramente idempotente.

SOLUO ALTERNATIVA
Seja .
k
k
A A = Ento
3 2 1
3 .
k k k k
A A A A
+ + +
= + + Resolvendo a recorrncia (veja o artigo
"Equaes de recorrncia", na Eureka! 9), obtemos
0 1 1 2 2
k k
k
A C C C = + + para
todo k, sendo
0 1 2
, , C C C matrizes quadradas de ordem n. Como
1,2
| | 1,
0
lim .
k
k
A C

=
Como
2 2
0 0 0
lim lim ,
k k
k k
A A C C C

= = idempotente.

PROBLEMA 4
Determine o conjunto de todos os pares (a, b) de inteiros positivos para os quais o
conjunto dos inteiros positivos pode ser decomposto em dois conjuntos A e B tais
que . a A b B =

SOLUO
Note que o par (a, b) funciona se e somente se o par de coprimos
,
( , ) ( , )
a b
mdc a b mdc a b
| |
|
\ .
funciona. Vamos ento analisar os casos com mdc(a, b)=1.
Suponha A 1 (o outro caso anlogo). Ento, B b a B b A a = , e
portanto a mltiplo de b (pois os elementos de B so todos inteiros), e
mdc(a, b) = 1 implica b = 1.
Reciprocamente, dado qualquer par da forma (a, 1), com a > 1, possvel
construir conjuntos A e B satisfazendo o enunciado. De fato, dado N n , seja k
n
a
maior potncia de a que divide n. Tomando { | }, { | mpar}
n n
A n k par B n k = =
temos , , 1 A B N A B a A B = = = .
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
26
Portanto, os pares possveis so os pares (a, b) com a b tais que a mltiplo de
b ou b mltiplo de a.

PROBLEMA 5
Sejam :[0,1] g R uma funo contnua e : (0,1]
n
f R a seqncia de
funes definida por
0
( ) ( ) f x g x = e
1
0
1
( ) ( ) , (0,1], 0.
x
n n
f x f t dt x n
x
+
=

Determine
lim ( )
n
n
f x

para todo (0,1] x .

SOLUO
Veja inicialmente que se g polinmio, o problema fcil, pois
se

=
=
N
k
k
k
x a x g
0
) ( , temos claramente que

=
+
=
N
k
k
n
k
n
x
k
a
x f
0
) 1 (
) ( , portanto
todos os coeficientes, com exceo do independente, tendem a zero quando
+ n , e ) 0 ( ) ( lim
0
g a x f
n
= = . A idia tentar mostrar que isso tambm
vale no caso de g no ser polinmio.
Para isso, vamos usar o teorema da aproximao de Stone-Weierstrass: Dado
0 > , existe um polinmio P tal que
3
) ( ) (

< x g x P , para todo x em [0,1]
(pois g contnua e [0,1] compacto). Agora olhe para a seqncia
n
P
~
tal que

=
+
x
n n
dt t P
x
x P
0
1
) (
~ 1
) (
~
e P P =
0
~
.
Como P polinmio, ) 0 ( ) (
~
lim P x P
n
n
=
+
, donde para n grande,
3
) 0 ( ) (
~
< P x P
n
.
Alm disso, temos que se
3
) ( ) (
~
< x f x P
n n
, ento:
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
27
| |

= < =
+ +
x x
n n
x
n n n n
dt
x
dt t f t P
x
dt t f t P
x
x f x P
0 0 0
1 1
3 3
1
) ( ) (
~ 1
) ( ) (
~ 1
) ( ) (
~
Segue por induo que
3
) ( ) (
~
< x f x P
n n
, para todo n natural e todo x em (0,1]
j que
3
) ( ) (
~
0 0

< x f x P . Agora fica fcil:

= + + < + +
3 3 3
) 0 ( ) 0 ( ) 0 ( ) (
~
) (
~
) ( ) 0 ( ) ( g P P x P x P x f g x f
n n n n
,
para n grande, o que prova que ) 0 ( ) ( lim g x f
n
n
=
+
.



SOLUO ALTERNATIVA
Vamos provar que
lim ( ) (0), (0,1].
n
n
f x g x

=
Para isso, vamos mostrar que,
para todo (0,1] x e 0, >
limsup ( ) (0) .
n
n
f x g

Como g contnua, existe 0 > tal que ( ) (0) x g x g < < Se
0 , x < < para todo 1, n
1 1
0 0
1 1
( ) (0) ( ( ) (0)) ( ) (0)
x x
n n n
f x g f t g dt f t g dt
x x

=

donde,
por induo, ( ) (0) , .
n
f x g n < N Se , x temos
( )
1
0 0
1 1
( ) (0) ( ) (0) ( ) (0)
x x
n n n
f x g f t g dt f t g dt
x x
+
= =


( )
0
1
( ) (0) ( ) (0)
x
n n
f t g dt f t g dt
x

= +

, donde, se
max{ ( ) (0) , (0,1]},
n n
M f x g x = temos
( )
1
1
1
max{ , max ( ) } max{ , (1 ) }.
n n n
x
M x M M
x

+
<
+ = + Assim, se
limsup
n
n
L M

= (que existe, pois

0
max{ , }, )
n
M M n N , temos
max{ , (1 ) }, L L + donde L ou (1 ) L L L L + ,
o que encerra a prova.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
28


PROBLEMA 6
Seja
1
1 1 0
( ) ...
n n
n n
f z a z a z a z a

= + + + + um polinmio com coeficientes

reais. Prove que se as razes de f esto no semi-plano esquerdo
{ | Re( ) 0} z z < C ento
3 1 2 k k k k
a a a a
+ + +
< para todo k = 0, 1,, n 3.

SOLUO
Podemos supor sem perda de generalidade que 1.
n
a =
Nesse caso, f(z) pode ser fatorado como produto de monmios da forma z + a ou
z a bi + + com a > 0 (no segundo caso, se b 0, deve aparecer tambm o fator
z a bi + ).
Como
2 2 2
( )( ) 2 z a bi z a bi z az a b + + + = + + + e
2
( ) ( ) ( ) , z a z a z a a z aa + + + = + + +
temos que f(z) pode ser obtido a partir
de um polinmio de grau 0 ou 1 com todos os coeficientes positivos por meio de
sucessivas multiplicaes por polinmios da forma
2
z Az B + + , com A, B > 0.
Em particular, todos os seus coeficientes so positivos.
Vamos agora proceder por induo: para n = 0 ou n = 1 o resultado vale por
vacuidade. Seja agora f(z) um polinmio de grau n + 2, da forma
2
0
( ) ( ... )( ),
n
n
f z a z a z Az B = + + + + com 1
n
a = e
0
( ) ...
n
n
f z a z a = + +

satisfazendo a hiptese de induo. Convencionando

0
k
a = se 0 k < ou k n > , e escrevendo
2
2 0
( ) ...
n
n
f z a z a
+
+
= + +
, temos,
para 0 2, k n +
2 1
.
k k k k
a a Aa Ba

= + +
Queremos ento provar que
1 2 3 2 1 1 2 1 1
( )( ) ( )( )
k k k k k k k k k k k k
a Aa Ba a Aa Ba a Aa Ba a Aa Ba
+ + + + + +
+ + + + < + + + + ,
mas
1 2 1 1 1 2 3 2 1
( )( ) ( )( )
k k k k k k k k k k k k
a Aa Ba a Aa Ba a Aa Ba a Aa Ba
+ + + + + +
+ + + + + + + +
2 2
1 1 2 2 1 3 1 2 1
( ) ( ) ( )
k k k k k k k k k k k k
a a a a B a a a a A a a a a
+ + + + + +
= + + +
2 2
2 1 3 2 2 2 1 3 1
( ) ( ) ( ).
k k k k k k k k k k
B a a a a A a a a AB a a a
+ + + + +
+ + +
Temos, por hiptese de induo,
1 1 2 2 1 3 1 2 1
, ,
k k k k k k k k k k k k
a a a a a a a a a a a a
+ + + + + +

e, alm disso,
3 2 1 k k k k
a a a a
+ + +
e
1 2 1 k k k k
a a a a
+
, donde
1 3 2 1 2 1
,
k k k k k k k k
a a a a a a a a
+ + + +
e logo
3 2 2 1 k k k k
a a a a
+ +
(de fato temos
1
0
k k
a a
+
> ,
a menos que k = n, quando
3 2 2 1
0)
k k k k
a a a a
+ +
= = ;
2 1 1 k k k k
a a a a
+ +
e
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
29
1 2 1 k k k k
a a a a
+
, donde
2
1 1 2 2 1 1
,
k k k k k k k
a a a a a a a
+ + +
e logo
2
2 2 k k k
a a a
+
, e
analogamente
2
3 1 1
,
k k k
a a a
+ +
sendo que pelo menos uma dessas duas ltimas
desigualdades estrita, o que conclui a prova.

SEGUNDO DIA

PROBLEMA 1
Sejam A e B matrizes reais n n tais que AB + A + B = 0. Prove que AB = BA.

SOLUO
I I B I A I I B I B A I I B A AB B A AB = + + = + + + = + + + = + + ) )( ( ) ( ) ( 0
Logo, A + I e B + I so inversas uma da outra, donde
I I A I B I B I A = + + = + + ) )( ( ) )( ( .
Expandindo a ltima desigualdade vem I I A B BA = + + + e subtraindo esta da
igualdade dada no enunciado obtm-se BA AB = .

PROBLEMA 2
Calcule o seguinte limite:
2
0
lim
m
x
n
x
x
sen t
dt
t
+

(m, n naturais dados).

SOLUO
Como a funo
t
t sen
decrescente em ) , 0 ( , e tende a 1 quando t tende a 0
+
,
temos que, para )
2
, 0 (

x e x < t < 2x: 1
sen
2
) 2 sen(
< <
t
t
x
x
e portanto:

< < |
.
|

\
|
x
x
n
m x
x
n
m x
x
n
m
m
dt
t
t
dt
t
t
dt
t
t
x
x
2 2 2
sen
2
) 2 sen(
.
Como 1
2
) 2 sen(
lim
0
= |
.
|

\
|

m
x
x
x
, a desigualdade acima mostra que o limite
procurado igual a
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
30

2
1
0
2
2 1
0 0
2
0
0, 1 0
1
lim , 1 0
1
ln ln 2, 1 0
x
m n
x
x
x
x m n
m n
x x
x x
x
x x
t
se m n
m n
t
t dt se m n
m n
t se m n
+

+ >
+

= + <

+ =

PROBLEMA 3
Seja A um subconjunto fechado de R
n
e seja B o conjunto de todos os pontos b de
R
n
tais que existe exatamente um ponto a
0
em A tal que
0
inf
a A
a b a b

=
.
Prove que B denso em R
n
.

SOLUO
Vamos mostrar que dado 0 > e
n
xR , existe B x B y ) , ( .
Se A x , ento basta tomar y = x.
Caso contrrio, seja | | inf x a
A a
=

. Como A fechado, existe um ponto
A a que realiza essa distncia (basta observar por exemplo que ( , 2 ) B x A
compacto).
Se esse ponto a no for nico, considere um ponto ) 1 , 0 ( ), ( + = t x a t x y do
segmento (x, a).
Seja a um outro ponto de A. Se a estiver no prolongamento desse segmento de
reta, ento claramente | | | ' | y a y a > .
Caso contrrio, temos a desigualdade triangular estrita | | | ' | | ' | x y y a x a + <
e portanto:
| | | | | | | | | ' | | ' | y a y x x a y x x a y a = > ,
onde a 2
a
desigualdade usa que a um ponto de A tal que |a x| mnimo e a
igualdade final usa o fato que y est no segmento de reta (x, a).
Ou seja, todo ponto y escolhido dessa forma est em B. Escolhendo t
suficientemente pequeno (
x a
t


=
2
por exemplo) obtemos um ponto
B x B y ) , ( como desejado.


PROBLEMA 4
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
31
Encontre todos os inteiros positivos n para os quais existe uma famlia F de
subconjuntos de trs elementos de S ={1, 2, , n} que satisfaz as seguintes
condies:
(i) para quaisquer elementos distintos a, b S existe exatamente um A F
tal que a, b A.
(ii) Se a, b, c, x, y, z so tais que {a, b, x}, {a, c, y}, {b, c, z} F ento
{x, y, z} F.

SOLUO
Vamos mostrar que uma tal famlia F existe se e somente se 2 1
k
n = para algum
inteiro positivo k.
De fato, se
( ) 2 2 2 ... 2
k
G = = Z Z Z Z Z Z Z Z, onde est definida a adio
( )
1 2 1 2 1 1
, ,..., ( , ,..., ) ( (mod2),
n n
x x x y y y x y + = +
2 2
(mod 2),..., (mod 2))
n n
x y x y + + ,
podemos definir \ {(0, 0,..., 0)} S G = e {{ , , }, , , }. F u v u v u v S u v = +
A propriedade (i) segue com { , , } A a b a b = + e a propriedade ii) segue de
, x a b = + . y a c x y a a b c b c z = + + = + + + = + =
Sejam agora S e F como no enunciado. Consideramos um conjunto {0} G S = ,
onde 0 um elemento de G que no pertence a S (um "zero artificial") e uma
operao + definida em G por
se , , e { , , }
0 se
se 0
se 0
x a b S a b a b x F
a b
a b
a b
b a

+ =

=

No difcil ver que com essa operao G um grupo abeliano ( a + b = b + a
para quaisquer a, b em G, (a + b) + c = a + (b + c), para quaisquer , , a b c G e
para todo a G existe b em G com a+b=0. Segue que G isomorfo a
( ) 2
k
Z Z para algum inteiro positivo k
*
, donde # # 1 2 1
k
n S G = = = , o que
conclui a soluo.
* De fato, se , 0, {0, } a G a H a = um subgrupo de G isomorfo a 2 Z Z , e, se
definimos em G a relao de equivalncia ~ , x y y x H obtemos um
quociente, G/H, o conjunto das classes de equivalncia { | ~ }, x y G y x = que
um grupo com a operao : x y x y + = + , o qual tm as mesmas propriedades que
G. Alm disso, G naturalmente isomorfo a ( ) , G H H e, por induo em #G ,
G H isomorfo a ( ) 2
r
Z Z para algum r N, donde G isomorfo a ( )
1
2
r+
Z Z .
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
32

Obs.: O conjunto S um espao projetivo finito (a generalizao k-dimensional do plano
projetivo) sobre o corpo 2 Z Z (ou seja, de ordem 2), cuja famlia das retas F. De fato, a
propriedade (i) equivalente a "por dois pontos passa uma nica reta" e a propriedade (ii)
equivalente ao axioma de Veblen-Young: "dado um tringulo ABC, se uma reta r corta
dois lados, ento corta o terceiro lado tambm" (no caso, os pontos do tringulo so a,b,c e
a reta r={x,y,z}). As propriedades (i) e (ii) so, ento, equivalentes aos axiomas que
definem um espao projetivo; veja o artigo "Aplicaes de planos projetivos finitos em
Teoria dos Nmeros e Combinatria", de Carlos Shine, na Eureka! 15.

PROBLEMA 5
a) Mostre que para toda funo : f Q Q R existe uma funo : g Q R tal
que ( , ) ( ) ( ), , f x y g x g y x y + Q.
b) Encontre uma funo : f R R R para a qual no existe : g R R tal
que f(x, y) g(x) + g(y), x, y R.

SOLUO
a) Q enumervel, digamos
1 2 3
{ , , ,...}. r r r = Q
Assim, podemos definir : g Q R por ( ) max{ ( , ) ,1 , }.
n i j
g r f r r i j n =
Assim,
( )
max( , )
( , ) ( , ) ( ) ( ), , .
i j i j i j i j
f r r f r r g r g r g r i j +
b) Podemos definir
0, se
( , ) 1
, se .
x y
f x y
x y
x y
=

Se existisse : g R R tal que ( , ) ( ) ( ), , f x y g x g y x y + R , se definirmos,
para cada inteiro positivo n, { | ( ) 2},
n
X x g x n = R teremos
1
n
n
X

=
= R

,
donde, como R no-enumervel, algum dos
n
X deve ser no enumervel, e
portanto tem pontos de acumulao, isto , existe uma seqncia de termos
distintos ( )
k k
y
N
com
k n
y X para todo k tal que ( )
k
y converge a um certo
x R . Em particular,
1
lim 0
k k
k
y y x x
+

= = , e logo
1
1
1
( , )
k k
k k
f y y
y y
+
+
=

tende a + , mas devemos ter
1 1
( , ) ( ) ( )
2 2
k k k k
n n
f y y g y g y n
+ +
+ + = para todo
k N, pois
1
{ , } ,
k k n
y y X
+
donde
1
( ( , ))
k k k
f y y
+ N
limitada, absurdo.

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
33
PROBLEMA 6
Seja
0 1
, ,..., ,...
n
a a a a seqncia definida por
0
1 a = ,
1
0
1
.
1 2
n
k
n
k
a
a
n n k
+
=
=
+ +

Calcule
0
2
k
k
k
a

=
(se existir).
SOLUO
Os a
n
so positivos e, por induo, tem-se 1,
n
a n (de fato, supondo vlido at
n tem-se

= =
+
=
+

+ +

n
k
n
k
n
n k n n
a
0 0
1
1 1
1
1
2
1
1
1
).
Considere ento a funo geratriz

=
=
0
) (
n
n
n
x a x f (ele convergente para 0 < x <
1 pela observao acima). Derivando e usando a expresso dada obtemos:



= =

=
+

=

|
|
.
|

\
|
+
= + = =
0 0 0
1
1
1
2
) 1 ( ) ( '
n
n
n
k
k
n
n
n
n
n
n
x
k n
a
x a n x a n x f
Trocando a ordem do somatrio obtm-se:


=

=
+
=
|
|
.
|

\
|
+

|
|
.
|

\
|
=
|
|
.
|

\
|
+
=
0 0 0
2
) (
2 2
) ( '
m
m
k n
k n
k
k
k
k k n
n
k
m
x
x f
k n
x
x a
k n
x a
x f
Portanto,

=
+ +

=
+
|
|
.
|

\
|
+

+
=
+ +
= =
0
1 1
0
0
1
) 2 ( ) 1 ( ) 2 )( 1 (
'
)) 0 ( ln( )) ( ln(
m
m m x
m
m
m
x
m
x
m m
x
f
f
f x f
Como f (0) = 1:
( ) |
.
|

\
|

|
.
|

\
|

=
+

+
=
+

+
=


=
+

=
+

=
+

=
+
x
x x x m
x
x m
x
m
x
x m
x
x f
m
m
m
m
m
m
m
m
1
1
ln
1
1
1
ln
1
1
1 2
1
1
) ( ln
1
1
0
1
0
2
0
1

Colocando
2
1
= x obtemos
2 ln 1 1 2 ln 2 2 ln )
2
1
( ln = + = f , de modo que
ln 2
0
1
( )
2 2 2
n
n
n
a e
f e e

=
= = =

.


Estas solues da International Mathematical Competition - 2003 foram redigidas por Mrcio
Assad Cohen, Rodrigo Villard Milet e Carlos Gustavo Moreira do Rio de Janeiro RJ.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
34
XVIII OLIMPADA IBEROAMERICANA DE MATEMTICA
13 a 20 de setembro, Mar del Plata - Argentina

PRIMEIRO DIA

PROBLEMA 1
a) Tm-se duas sucesses, cada uma de 2003 inteiros consecutivos, e um
tabuleiro de 2 linhas e 2003 colunas




Decida se sempre possvel distribuir os nmeros da primeira sucesso na
primeira linha e os da segunda sucesso na segunda linha, de modo que os
resultados obtidos ao somar os dois nmeros de cada coluna formem uma nova
sucesso de 2003 nmeros consecutivos.

b) E se trocssemos 2003 por 2004?
Tanto em a) como em b), se a resposta for afirmativa, explique como distribuiria
os nmeros, e se for negativa, justifique o porqu.


SOLUO
Note que somar ou subtrair uma constante de uma sucesso de nmeros
consecutivos a transforma em uma sucesso de nmeros consecutivos.
Note tambm que somar ou subtrair uma constante de uma linha do tabuleiro
soma ou subtrai a mesma constante da sucesso formada pela soma das colunas,
logo esta operao no altera a "consecutividade" das linhas do tabuleiro.
Portanto, sem perda de generalidade, as sucesses escritas nas duas primeiras
linhas do tabuleiro so 1, 2, ,n onde {2003, 2004} n
a) Sim. Escreva na primeira linha 1, 2,,2003 e na segunda linha 1002,
1003,,2003, 1, 2, , 1000, 1001, ou seja, o i-simo termo 1001 i + se
1002. i A seqncia final 2 1001 i + se 1002 i e 2 1002 i se
1003 i , que obviamente permutao de 1003, 1004, 1005,,3003, 3004,
3005.

b) No. Uma seqncia de 2004 nmeros inteiros consecutivos tem forma
1,..., 2004, k k k + + Z. Sua soma vale
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
35

2004 2005
2004 2004 2004 1002 1002 1002(mod2004).
2
k k

+ = + +

A soma dos nmeros da primeira e da segunda linhas vale 1002 (mod 2004).
Como a terceira linha (formada pela soma das colunas) formada pela soma das
duas primeiras linhas, a soma das nmeros da terceira linha
1002 1002 0 (mod2004). + Mas se a terceira linha fosse composta por uma
sucesso de nmeros consecutivos em alguma ordem, sua soma seria
1002 (mod 2004), absurdo! Logo a soma das colunas no pode formar uma
sucesso de nmeros consecutivos.

PROBLEMA 2
Sejam C e D dois pontos da semicircunferncia de dimetro AB tais que B e C
esto em semiplanos distintos em relao reta AD. Denotemos por M, N e P os
pontos mdios de AC, DB e CD, respectivamente. Sejam O
A
e O
B
os circuncentros
dos tringulos ACP e BDP. Demonstre que as retas O
A
O
B
e MN so paralelas.

SOLUO

2

+
A O B
S
C
P
T
D

Q
R

.
.
.
.

.
.
.
. N
2
O
2
M
.
2
2

Sejam 2 , 2 e 2 as medidas de

, CD BDe

AC , respectivamente. Seja O o
centro da semicircunferncia ACDB. Sejam R e Q os ps das perpendiculares a
OP
,,
que passam por
2
O e
1
O , respectivamente.
Sejam ainda S e CP , T e PD pontos mdios de CP e PD, respectivamente.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
36
Note que

2
SCM

= +
pois ngulo inscrito. Note ainda que
A
MO AC e
A
SO CP , pois so mediatrizes de AC e CP . Logo
A
MCSO inscritvel e

2
A
MO S

=
.
Como
A A
SO O Q (pois
A
SO CP PO , logo //
A
PO SO ),

.
A
QO O =
Logo
cos .
4 4cos
A
A
A A A
O Q SP CD CD
O O
O O O O O O

= = = =

Analogamente,
.
4cos
B
CD
O O

=
Olhando para o tringulo OMA,

MOA =
(pois M ponto mdio da corda AC , logo

2 MOA AC = ), logo
cos cos .
OM OM
OM R
OA R
= = =
Analogamente, cos . ON R = Mas
cos 4cos cos
.
4cos
A B
OM R R ON
CD
O O CD O O

= = =
Logo existe uma homotetia de
centro O que leva M em
A
O e N em
B
O . Como homotetias preservam
paralelismo, // .
A B
MN O O

PROBLEMA 3
Pablo copia o seguinte problema:
Considere todas as sucesses de 2004 nmeros reais
0 1 2 2003
( , , ,..., ), x x x x
tais que
0
1, x =
1 0
0 2 , x x
2 1
0 2 , x x
.
2003 2002
0 2 . x x
Entre todas estas sucesses, determine aquela para a qual a expresso seguinte
assume o seu maior valor: S = .
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
37
Quando Pablo ia copiar a expresso S, apagaram o quadro. S conseguia lembrar-
se de que S era da forma
1 2 2002 2003
... , S x x x x = +
onde o ltimo termo,
2003
x , tinha coeficiente +1, e os anteriores tinham coeficiente
+1 ou 1. Demonstre que Pablo, apesar de no ter o enunciado completo, pode
determinar com certeza a soluo do problema.

SOLUO
Seja { 1,1}
i
c o coeficiente associado ao termo
i
x na expresso de S. Em
particular,
2003
1 c = . Dizemos que um termo
i
x positivo se 1
i
c = , ou que
negativo se 1
i
c = . Dizemos que
i
x est maximizado se
1
2
i i
x x

= .
Lema: Se
1
,...,
i j
x x
+
esto maximizados, ento:

0 1
1 1 1
... ( 2 2 ... 2 )
j i
i i i i j j i i i j
c x c x c x x c c c

+ + +
+ + + = + + +

Prova: fcil ver que 2 , .
k i
k i
x x i k j

= A prova segue trivialmente.

Corolrio: A soma acima tem o mesmo sinal de
j
c
.
Prova: Como 0
i
x , basta analisar o sinal de
0
2 ... 2 .
j i
i j
c c

+ +
Suponha
j
c

positivo (i.e. = 1). Ento
1
2 2 2 2 1 2 1.
j j
k i k i j i j i j i
k
k i k i
c


= =
+ = + + =
O
caso
1
j
c =
anlogo.
obvio que maximizar os termos positivos aumenta a soma (j que
[0, 2 ] [0, 2 ] x y x y , podemos aumentar um termo sem alterar nenhum
dos seguintes). Logo, sem perda de generalidade, na seqncia que maximiza S
todos os termos positivos so mximos.
Se houver algum termo negativo no maximizado, escolha o ltimo deles,
digamos
i
x e maximize tanto ele quanto todos os termos que o seguem. Sejam a e
b os valores antigo e novo de
i
x e A e B os valores da soma
1 1 2003 2003
...
i i
c x c x
+ +
+ + antes e depois da mudana na seqncia.
Seja ainda
0 1 2003
1 2003
2 2 ... 2 .
i
i i
C c c c

+
= + + + Pelo lema, A = aC e B = bC.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
38
Logo B A = C(b a) > 0, pois, pelo corolrio, C > 0, e como b > a, b a > 0.
Logo, na seqncia de S mximo, todos os termos so mximos ou poderamos
aumentar S maximizando algum termo.
Logo
1 0
2 2, x x = =
2 1 2003
2 1 1 2003
2 2 ,..., 2 2 ,..., 2
i xi
x x x x

= = = = = , e
portanto a seqncia que maximiza S
0 1 2003
(2 , 2 ,..., 2 ).

SEGUNDO DIA

PROBLEMA 4
Seja M ={1, 2,,49} o conjunto dos primeiros 49 inteiros positivos. Determine o
maior inteiro k tal que o conjunto M tenha um subconjunto de k elementos em que
no haja 6 nmeros consecutivos. Para esse valor mximo de k, encontre a
quantidade de subconjuntos de m, de k elementos, que tenham a propriedade
mencionada.

SOLUO
Definio: Um conjunto A M feliz se no contm seis inteiros
consecutivos.
Seja N M feliz, | | 42. N Ento se ,| | 7. P M N P = Logo a
interseo de P com algum dos conjuntos
1
{1, 2, 3, 4, 5, 6}

A =
.
2
, {7,8, 9,10,11,12}

A =
.
3
, {13,14,15,16,17,18}

A =
.

7
{37, 38, 39, 40, 41, 42} A =
8
, {43, 44, 45, 46, 47, 48, 49} A =
vazia. Chame de i algum inteiro tal que
i
A P = . Ento ,
i
A N absurdo,
pois ento N teria uma seqncia de seis inteiros consecutivos. Por outro lado,
bvio que {6,12,18, 24,30,36, 42, 48} N M = feliz.
Assim, o maior k tal que existe N M feliz 41 (como se | | 42 N ento N
no feliz, | | 41; N e acabamos de exibir um exemplo para 41).
Seja N M feliz,
1 2 8
| | 41, { ... }. N P M N n n n = = = < < <
Os oito elementos de P separam naturalmente N em nove conjuntos
1 9 i
,..., , , , N 5
i j i
N N N N N N = =

e cada
i
N composto apenas
de nmeros consecutivos. fcil ver que o nmero de possveis conjuntos N o
nmero de solues de
1 2 9
| | | | ... | | 41 N N N + + + = (pois estamos escolhendo o
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
39
tamanho dos '
i
N s ) onde | | 5
i
N e exigimos que os N
i
estejam ordenados pelos
seus menores elementos. Seja | | .
i i
a N =
Seja 5 5 .
i i i i
b a b a = = Como 0 5, 0 5.
i i
a b Substituindo na equao,
1 9 1 9 1 9
5 5 ... 5 41 45 ( ... ) 41 ... 4.
i
b b b b b b b + + + = + + = + + = Mas
ento a restrio 5
i
b redundante, logo o nmero de ,| | 41, N M N N = feliz,
o nmero de solues de
1 9
... 4 b b + + = nos inteiros no negativos, que
9 4 1 12
12 11 10 9
495.
4 4 24
+ | | | |
= = =
| |
\ . \ .


PROBLEMA 5
No quadrado ABCD, sejam P e Q pontos pertencentes aos lados BC e CD
respectivamente, distintos dos extremos, tais que BP = CQ. Consideram-se pontos
X e Y, X Y, pertencentes aos segmentos AP e AQ respectivamente. Demonstre
que, quaisquer que sejam X e Y, existe um tringulo cujos lados tm os
comprimentos dos segmentos BX, XY e DY.

SOLUO
A 1
1
B
P
X
a
C D
Y
y
b
1
1

c
Q

Seja 1, AB BC CD DA = = = = , BP CQ = = , BX a = , XY b = . YD c =
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
40
Como , a b y BY + = basta provar que y c > para demonstrar que
. a b c + > Mas a mediatriz de BD a reta AC
,,
, que divide o plano em dois
semiplanos B e D . exceo do ponto A, todo o segmento AQ est
contido em , logo Y y c > (o caso Y A trivial). Logo
a b c + > e, analogamente, . c b a + > Basta provar que a c b + >
Seja
(0, 0); (1, 0); (1,1); (1, ); ( ,1); ( , ); A B C P Q X x x = = = = = =
(0,1); ( , ) D y y y = = , onde 1 + = (para que BP CQ = ).
Ento
2 2 2
( 1) , a x x = +
2 2 2
( 1) , c y y = +

2 2 2 2 2 2 2 2
( ) ( ) 2 2 b x y x y x xy y x xy y = + = + + + =
2 2 2 2 2 2 2 2 2 2 2
2 ( ) ( ) . b x y x y xy x y x y = + + + + = + +
Mas
2 2 2
2 b a c b a ac c < + < + + (j que a, b, c so positivos). Basta
demonstrar que
2 2 2
, a c b + j que 2ac > 0. Logo basta provar que
2 2 2 2 2 2 2 2 2 2 2 2
( 1) ( 1) 2 x x y y x y x xy y + + + + + +
2 2 2 2
2 1 2 1 2 0 (1 )(1 ) 0. x x y y x xy y x y + + + + Mas
x AP , logo [0,1] 1 [0,1]. X x Analogamente, 1 [0,1] y e o
resultado segue trivialmente.

PROBLEMA 6
Definem-se as sucesses
0 0
( ) , ( )
n n n n
a b

por:
0 0
1, 4 a b = = e
2001
1
+ ,
n n n
a a b
+
=
2001
1 n n n
b b a
+
= + para 0. n

Demonstre que 2003 no divide nenhum dos termos destas sucesses.
SOLUO
Observe que 2003 primo; logo, se
2002 2001 1
0 (mod2003), 1(mod2003) (mod2003). x x x x

/


Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
41
Suponha que exista n tal que
1 1
2003|
n n
a b
+ +
(note que
0 0
4 0(mod2003) a b =
/ ); escolha o menor deles. Suponha que
1
2003|
n
a
+
(o
outro caso anlogo).
Temos
2001 1
1
0 (mod2003),
n n n n n
a a b a b

+
+ +
logo
1
(mod2003).
n n
a b

Como nem
n
a nem
n
b so zero (mod 2003),
podemos inverter os dois lados, obtendo
1 1
(mod2003)
n n n n
a b b a

(usamos o fato de que
1
( 1) 1).

Mas
1
1
0(mod2003),
n n n n n
b b a a a

+
+ + logo
1 1
2003| 2003| .
n n
b a
+ +

fcil ver que, nesse caso,
1
( ) 1(mod2003).
n n n n
a b a a

Seja
1 n
c a

= e
1 n
d b

= (para n = 0, temos
2001
1
1 4 5 0(mod2003) a = + =
/ , logo podemos
supor 1). n Ento
1
n
a c d

+ e
1
(mod2003),
n
b c d

+ logo
1 1 1 1 1
2 ( ) (mod2003).
n n
a b c c c d dc dd cd cd

+ + + + + (Como n
o menor possvel, 2003 no divide
i i
a b para todo i n , logo existe
1
( ) cd

).
Seja x = cd.
1 2
1 2 3 1 0(mod2003). x x x x

+ + + + Esta equao tem uma raiz

(que cd), logo seu discriminante
2
3 4 1 1 5 = = resduo quadrtico (mod
2003) : de fato,
2 2
(2 3) 4( 3 1) 5 5(mod2003). x x x + = + + + Mas pela lei de Reciprocidade
Quadrtica,
2003 1 5 1
2 2
5 2003
( 1)
2003 5

| || |
=
| |
\ .\ .

2002
5 3 5 5
( 1) ( 1) 1 1,
2003 5 2003 2003
| | | | | | | |
= = =
| | | |
\ . \ . \ . \ .
logo 5 no resduo
quadrtico mdulo 2003, absurdo! Assim, no possvel que
1 1
2003|
n n
a b
+ +
, logo {2003 | } ({ } { } ) .
k k k k
x x a b

=
N N
Z




Estas solues da Olimpada Ibero-americana de Matemtica - 2003 foram redigidas por
Fbio Dias Moreira de Rio de Janeiro RJ.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
42
A DESIGUALDADE DE ERDS-MORDELL
Anderson Torres, So Paulo - SP

Nvel Avanado

Neste artigo demonstraremos (vrias vezes) a desigualdade de Erds-Mordell
e mostraremos uma bela aplicao na resoluo do problema 5 da IMO de 1996,
realizada em Mumbai, ndia.


1- Uma histria do teorema
Considere um tringulo ABC e um ponto P do mesmo plano. Sejam
C B A
P P P , ,
as projees ortogonais de P nos lados BC, CA, AB respectivamente. Vale ento a
desigualdade:
CP BP AP PP PP PP
C B A
+ + + + ) ( 2

com igualdade se e somente se P for o circuncentro de um tringulo ABC
eqiltero.

Este o enunciado da famosa Desigualdade de Erds-Mordell. Ela foi
inicialmente conjecturada pelo matemtico hngaro Paul Erds e demonstrada no
mesmo ano por Louis Mordell, na revista American Mathematical Monthly
(problema n 3740). Logo aps surgiram vrias solues e alguns artigos sobre a
desigualdade, cada uma usando variadas tcnicas: trigonometria (Louis J. Mordell
e P.F. Barrow), desigualdades angulares e semelhanas (Leon Bankoff), teorema
de Ptolomeu (Andr Avez e Hojoo Lee), reas de polgonos (V. Komornik).

Mostraremos algumas delas, acrescidas de um pequeno comentrio:

Lema Importante:
B C
AP BC AB PP AC PP + ,
com igualdade se, e somente se, BC P P
C B
// .

A esmagadora maioria das demonstraes difere apenas na demonstrao desta
pequena desigualdade. Veja que esta desigualdade equivale a estas desigualdades
(as outras duas seguem por permutao cclica das variveis):
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
43
B C
C A
A B
AB AC
AP PP PP
CB BC
CB BA
BP PP PP
AC CA
CA CB
CP PP PP
BA AB
+
+
+



Ao som-las, obtemos:
A B C
CA BA CB AB AC BC
AB BP CP PP PP PP
BA CA AB CB BC AC
| | | | | |
+ + + + + + +
| | |
\ . \ . \ .


e lembrando que a soma de um real positivo com seu inverso no pode ser menor
que 2, e esse valor s se iguala a dois se o nmero em questo for 1 (isto
conseqncia da desigualdade das mdias), a desigualdade segue, com igualdade
se e apenas se AB = BC = CA. Alm disso, devemos ter //
A B
P P AB , //
A C
P P AC
e BC P P
C B
// , o que implica facilmente que P o circuncentro do tringulo
ABC.


Vamos ento demonstrar este lema!


Demonstrao 1: (trigonometria)

O quadriltero
C B
PP AP cclico, pois os ngulos retos so opostos e somam
180. Assim, pela Sagrada Lei dos Senos Generalizada,
sen sen
2
B C B C
B C
B C
P P P P
AP
P PP BAC
AP BC R P P
= =

=


em que R o circunraio do tringulo ABC.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
44
A
P
B
P
C
C B
P
A
P


Pela Sagrada Lei dos Cossenos,
2 cos( )
2 cos ( )
( sen sen )
( cos cos )
B C B C B C B C
B C B C A C A B
B B A C C A
B B A C C A
P P PP PP PP PP P PP
PP PP PP PP P PP P PP
PP P PP PP P PP
PP P PP PP P PP
= +
= + +
= +
+
,
onde usamos o fato (bastante conhecido ): 1 cos sen = + x x para fatorar.
Assim, jogando um dos parnteses fora, obtemos:

sen sen
sen sen
2
B C B B A C C A
B C B C
B C B C
P P PP P PP PP P PP
P P PP ACB PP ABC
AP BC R P P PP AB PP AC
+
+
= +


A igualdade ocorre se, e somente se,
cos cos 0
2 sen cos 2 sen cos
sen( ) sen( ) sen( ) sen( );
B B A C C A
PP P PP PP P PP
PAB ABC PAC ACB
PAB ABC PAB ABC PAC ACB PAC ACB
=
=
+ + = + +
mas 180 PAB ABC PAC ACB + + + = ,donde
( ) ( ), sen PAB ABC sen PAC ACB + = + e
logosen( ) sen( ) PAC ACB PAB ABC =
PAB ABC PAC ACB
PAB PAC ABC ACB
=
=

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
45

e (fica como exerccio mostrar que) isto equivale, de fato, a BC P P
C B
// .

Demonstrao 2: (reas de paralelogramos)
Escolha dois pontos AB C AC B
1 1
, e construa os paralelogramos
1
' C APC e
1
' B APB .
' , ' PC PB cortam BC em X,Y e
1 1
C B em
1 1
,Y X respectivamente, caso P seja
interno ao tringulo (mas isto no afeta muito a demonstrao). Veja que
1 1
' ' C C B B um paralelogramo.
C
1
B
C'
B'
Y
1
Y
X
1
X
C
B
1
P
A
PB
PC

Por congruncias, ] ' ' [ ] [
1 1
C PB C AB = , em que [algo] significa rea de algo.
Agora, veja:
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
1 1 1 1
[ ] [ ] [ ' ] [ ' ] [ ' ] [ ' ]
[ ' '] [ ] [ ' ] [ ' ] [ ' ] [ ' ]
[ ' '] [ ' ] [ ' ] [ ' ] [ ' ]
[ ' ] [ ' ] [ ' ' ]
ABC PX Y C CY B B X APC C APB B
PB C PX Y C CY B B X APC C APB B
C Y X B C CY B B X APC C APB B
APC C APB B BB C C
+ + = +
+ + = +
+ + = +
+ =
.
Com isto vemos que
1 1 1 1 1 1 1
'
C B
AC PP AB PP BC C C AP BC + = , com igualdade se, e apenas se,
1 1 1
' C B C C , ou
1 1
C B AP , ou seja, AP contm o circuncentro do tringulo
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
46
1 1
ABC . Fazendo AB AB AC AC = =
1 1
, , teremos por congruncias (para variar...)
1 1
B C BC = , e (por paralelismo mesmo!) BC P P
C B
// , e pronto! Fim!

Observao: Veja que possvel modificar esta demonstrao apenas usando uma
reflexo pela bissetriz do ngulo ABC para obter os pontos
AB AB AC AC = =
1 1
, , AB C AC B
1 1
, . Esta observao ser til mais tarde.

Demonstrao 3: (teorema de Ptolomeu)
Sejam ' , ' C B pontos da reta
C B
P P tais que
C B
P P CC BB ' // ' . Ento fcil
ver que
' ' ' '
' '
C C B B
C C B B
BC B C B P P P P C
AP BC AP B P AP P P AP C P
= + +
+ +
,
com igualdade se, e somente se, BC P P
C B
// .
B P
A
C
B'
P
C
C'
P
B
A
P

Vamos calcular cada uma das parcelas em relao ao ponto P.
Veja que ' ~ C CP APP
B C
pois os ngulos correspondentes so iguais. De fato,
temos os ngulos retos, e ' C CP P AP APP
B C B C
= = (quadriltero cclico e
ngulos opostos pelo vrtice).
Assim, obtemos as relaes:

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
47
'
'
C B
B C B
B
P P C P
AP C P P P P C
P C AP
= = .
Analogamente,
'
'
C B
C B C
C
B P P P
AP B P P P P B
P B PA
= =


Pelo Teorema de Ptolomeu-Euler,

B C B C C B
P P AP AP PP AP PP = +

Adicionando as igualdades, obtemos:

( ' ')
C C B B
C B C B B C B C
C B
AP BC AP B P P P P C
P P P C P P AP P P AP P P P B
PP AC PP AB
+ +
= + + +
= +


2- Problema 5, IMO 1996 (Mumbai, ndia)

Seja ABCDEF um hexgono convexo tal que AB paralelo a DE, BC paralelo
a EF, e CD paralelo a FA.
Sejam
E C A
R R R , , os circunraios dos tringulos FAB, BCD, DEF
respectivamente, e seja P o permetro do hexgono.
Prove que: 2 / P R R R
E C A
+ + .
Este foi um dos problemas mais difceis (e considerado o mais difcil por muitos
problemistas) j propostos na histria da IMO. Para se ter uma idia, apenas seis
participantes (dois romenos e quatro armnios) fecharam este problema, enquanto
os seis estudantes da equipe chinesa zeraram-no!
Mostraremos neste artigo duas solues. A primeira um esboo de como foi
criado o problema, segundo a Banca Examinadora da IMO de 1996 (o problema
foi proposto pela Armnia), segundo a referncia [Nairi M. Sedrakian, The
History of a Creation of a 1996 IMO Problem, Mathematics Competitions, n 2
vol.9], e se assemelha muito com a soluo oficial, presente na Eureka! N 11. A
segunda (com algumas modificaes), totalmente sinttica, considerada a mais
bela das solues, de autoria de Ciprian Manolescu, da equipe da Romnia, o
nico Perfect Score (tambm conhecido como Ouro-42) da IMO 1996.

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
48
Soluo 1: usaremos o seguinte lema (demonstre-o!):
Considere um tringulo de circunraio R, lados a e b, e o ngulo entre eles.
Ento, para quaisquer , tais que , 0, 2 < > + + = , vlida a
desigualdade:
sen sen
2
sen sen
R a b


+
(Sugesto: note que sen cos ,
2

| |
=
|
\ .
sen cos ,
2

| |
=
|
\ .
e considere uma
reta fazendo um ngulo
2

com o lado b; calcule a medida da projeo

ortogonal do lado do tringulo oposto ao ngulo nessa reta).
Usando este lema, podemos estimar os raios. Para tal sejam
DEF BCD FAB = = = , , ,
f EF e DE d CD c BC b AB a FA = = = = = = , , , , , .
Com isto,
sen sen sen sen sen sen
2 ; 2 ; 2
sen sen sen sen sen sen
A C E
R b a R c d R e f


+ + +
Vamos tentar obter outra estimativa para
A
R 2 , desta vez em relao aos
lados d e e.
Pela Sagrada Lei dos Senos, 2 sen
A
BF R = . Podemos ento escrever
sen sen BF b a + . Veja que BF no pode ser menor que a distncia entre as
retas BC e EF. Olhando este fato, vamos projetar o ponto A nas retas BC, EF
obtendo os respectivos pontos
EF BC
A A , . Analogamente para o ponto D,
obtemos o retngulo
BC EF EF BC
D D A A .
B
F
A
ABC c


AEF
a
f E

DBC
d
DEF
e
D
C
b


Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
49
Com isto, podemos escrever:

sen sen
sen sen
BC EF BC EF BC EF BC EF
BF b a
AA AA A A D D DD DD
d e


+
= + = = = +
= +


Conclumos as seguintes desigualdades:

sen sen sen sen sen sen
2 ; 2 ; 2
sen sen sen sen sen sen
A C E
R d e R a f R c b


+ + +

Somando tudo:

( )
( )
( )
4 ( )
sen sen
sen sen
sen sen
sen sen
sen sen
sen sen
A C E
R R R
a d
b e
c f






+ +
| |
+ +
|
\ .
| |
+ + +
|
\ .
| |
+ + +
|
\ .


E o problema segue, aplicando a Desigualdade das Mdias aos parnteses e
dividindo tudo por 4. E fim!

Soluo 2: Este problema, por si s, j incita o uso de Erds-Mordell ou de
alguma generalizao conveniente (muito provavelmente at s ultimas
conseqncias ()). Para tal, devemos de algum modo produzir a configurao
deste teorema. Aproveitando o paralelismo, desenhe os paralelogramos MDEF,
NFAB, PBCD. Com isto j temos algo dentro do hexgono (mesmo que no seja
um ponto, como em Erds-Mordell, mas j alguma coisa... s vezes
necessrio um pouco de coragem para no desistir de algumas idias, mesmo
que paream no dar certo. Muitos problemas de IMO e vrios problemas
difceis em geral so, na verdade, aplicaes de fatos simples at s ltimas
conseqncias).
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
50
A
F
B
M
N
P
E
C
D X
Y
Z


O problema agora tentar achar um modo de identificar os raios. Lembrando
que raios e dimetros tm tudo a ver com perpendicularidade, desenhe o
tringulo XYZ, com , , XFY FN YBZ BP ZDX DM
,, ,, ,, ,, ,, ,,
. Assim, o quadriltero
FMDX inscritvel de dimetro MX. Mas os tringulos FED e FMD so
congruentes, logo 2
A
XM R = . Com isso o problema demonstrar a seguinte
desigualdade:
FN FM DM DP BP BN ZP YN XM + + + + + + + .

Vamos dividir em dois casos:

1- M = N = P. E este caso a prpria Desigualdade de Erds-Mordell.
2- O tringulo MNP existe (no degenerado). A partir daqui vamos adaptar a
demonstrao de Erds-Mordell.
Estimaremos XM primeiro. Sejam Y e Z as reflexes dos pontos Y e Z em
relao bissetriz de YXZ . Sejam G e H as projees de M, X em YZ
respectivamente. Como [XYZ] = [YXZ] = [ZMY] + [XMZ] + [YMX],
temos:
YZ XH YZ MG ZX FM XY DM = + + .
Mas, usando a desigualdade triangular no tringulo XMG e a desigualdade
cateto < hipotenusa no tringulo XHG (ou mesmo distncia de X reta YZ),
obtemos:
MG XH XM XH XG MG XM +

Substituindo na igualdade recm-descoberta,
XY XZ
XM DM FM
YZ YZ
+
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
51
Analogamente,
XY XZ
XM DM FM
YZ YZ
YX YZ
YN BN FN
XZ XZ
ZX ZY
ZP BP DP
XY XY
+
+
+

Somando tudo:
XM YN ZP
XY XZ
DM FM
YZ YZ
YZ YX
FN BN
XZ XZ
ZX ZY
BP DP
XY XY
+ +
+
+ +
+ +


Agora falta pouco...Basta arranjar um modo de sumir com as fraes. Agora
vamos usar a Desigualdade das Mdias para concluir. Para tal, outra estimativa.
Primeiramente, veja que os tringulos XYZ e MNP so semelhantes, o que nos
permite definir
ZX
DM DP
YZ
BP BN
XY
FN FM
k

=

= . Com isto, podemos

escrever:


2
2
( )
ZX YX
BP BN
XY XZ
XZ XY BN BP
XY XZ
XZ XY BN BP
XY XZ
XZ YZ XY YZ
BP BN k
XY XZ
+
+ | |
= + +
|
\ .
| |

|
\ .
| |
+
|
\ .



Analogamente,
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
52
( )
( )
( )
XZ XY XZ YZ XY YZ
BP BN BP BN k
XY XZ XY XZ
YX ZY XY XZ XZ YZ
DM DP DM DP k
ZY YX YZ XY
XZ YZ YZ XY XZ XY
FM FN FM FN k
YZ XZ XZ YZ
| |
+ +
|
\ .
| |
+ +
|
\ .
| |
+ +
|
\ .


Agora, basta somar estas desigualdades e acabamos o problema!!




REFERNCIAS :

[1]A demonstrao de Hojoo Lee pode ser encontrada na famosa revista Forum Geometricorum, a
qual voc pode ler no site http://forumgeom.fau.edu .Neste artigo voc encontra as
referncias de toda a histria deste problema enquanto ele se passava na American Mathematical
Monthly.

[2]Na lista de discusso de problemas da OBM (obm-l@mat.puc-rio.br; ver tambm
www.obm.org.br/lista.htm) foi deixada, h algum tempo atrs, a demonstrao de
Ciprian Manolescu.

[3]Na Internet tem uns livros do Kiran Kedlaya.V ao site abaixo e faa o download:
http://www.unl.edu/amc/a-activities/a4-for-students/problemtext/
Um deles trata sobre desigualdades, e outro sobre geometria euclidiana plana. Ainda tem uns dois
livros com provas de algumas olimpadas de matemtica de vrias partes do mundo.

[4]Aps uma longa caa achei este artigo,que trata de uma generalizao interessante:
A weighted Erds-Mordell Inequality for Polygons. Este livro pode ser encontrado no endereo:
www.math.technion.ac.il/~shafrir/pub_ps/m18.ps.gz

[5]Um site de divulgao cientifica: http.://mathworld.wolfram.com

[6]Rafael Tajra Fonteles - Trigonometria e desigualdades em problemas de olimpadas,
Eureka! 11, p. 24-33.

[7]A segunda demonstrao da desigualdade de Erds-Mordell tambm foi objeto de uma
questo da fase final da OPM-2001. Confira no livro da OPM-2001 ou no site
http://www.opm.mat.br/

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
53
COMO QUE FAZ?


PROBLEMA 3
PROPOSTO POR DAVI MXIMO ALEXANDRINO NOGUEIRA (FORTALEZA CE)
possvel escolher 102 subconjuntos com 17 elementos cada do conjunto
{1,2,3...102} tais que a interseo de quaisquer 2 deles tem no mximo 3
elementos?

SOLUO
A ideia olhar para o plano projetivo P sobre Z/17Z, que o quociente de
(Z/17Z)
3
\{(0,0,0)} pela relao de equivalncia ~ , x y y a x =
17 \ {0}. a Z Z P tem 17
2
+ 17 + 1 = 307 pontos e as retas em P tm 18 pontos
cada (e duas delas sempre se intersectam num ponto). Vamos fazer uma espcie de
quociente de P. Para isso, considere o isomorfismo linear T de (Z/17Z)
3
dado por
T(x, y, z) = (y, z, x). Note que T
3
= Id. As retas em P so dadas por vetores no
nulos w de (Z/17Z)
3
(de fato por elementos de P): uma reta R
w
o conjunto dos v
tais que < v, w > = 0. Note que T tem um nico ponto fixo em P: o elemento v
0
=
[1:1:1], correspondente ao vetor (1,1,1). Jogamos v
0
fora e dividimos os outros
306 pontos de P em 102 classes de equivalncia de 3 elementos (as orbitas de T): a
classe de equivalncia de u {u, Tu, T(Tu)}. Temos 307 retas em P. Jogamos fora
a
0
.
v
R O quociente de cada uma das outras retas tem 17 elementos. De fato, se R
w

contm pontos da forma u e Tu, devemos ter <u, w> = 0 e < u, T*w> = <Tu, w> =
0. Como w no v
0
ento T*w = T
1
(w) no mltiplo de w, donde h apenas um
elemento de P satisfazendo essas duas igualdades, isto , apenas dois pontos em
R
w
so identificados pela nossa equivalncia, donde as retas (projetadas pelo
quociente por essa relao de equivalncia) tm agora 17 pontos cada. Para cada
reta na projeo, existem exatamente 3 retas (em P) que se projetam sobre ela: R
w
,
R
Tw
e
( ) T Tw
R . Dadas duas retas na projeo, elas se intersectam em (no mximo) 3
pontos: se elas so as projees de R
w
e R
v
, suas intersees sero as projees das
intersees de R
w
com R
v
, de R
Tw
com R
v
e de R
T(Tw)
com R
v
. Assim, na projeo
(ou, se voc preferir, no quociente), temos 102 pontos e 102 retas, cada uma com
17 elementos, sendo que duas delas se intersectam em (no mximo) 3 pontos.






Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
54
SOLUES DE PROBLEMAS PROPOSTOS
Publicamos aqui algumas das respostas enviadas por nossos leitores.

81) Num tringulo issceles ABC com AB = BC, temos AC = BH, onde BH a
altura relativa ao lado AC. Traamos uma reta BD que corta o prolongamento
da reta AC em D de tal forma que os raios dos crculos inscritos nos tringulos
ABC e CBD so iguais. Determine o ngulo

ABD.

SOLUO DE FRANCISCO JARDEL ALMEIDA MOREIRA (FORTALEZA CE)

O
1
O
2
C H A F E D
B
X

Sejam, O
1
o incentro do ABC , O
2
o incentro do BCD ,
1 2
X BC OO = ,
2
E BO AD = e finalmente, F o p da perpendicular de
2
O at AD.
Note que
1 2
OO FH um retngulo, pois

1 2
90 O HF O FH = = e
1 2
O H O F = ,
da
1 2
// . OO AD
Agora observe que:

1 1 2 2
180 HCO BCO O CB DCO + + + = ademais,

1 1 2 2
e HCO BCO O CB DCO = =
portanto,

1 2
90 O CO = . Do fato de

1 2
90 O CO = e
1 2
// , OO AD X mdio de
1 2
OO (de fato,

1
1 1
, XO C HCO XCO = = donde
1
XC XO = e logo CX
mediana do tringulo retngulo
1 2
OCO )
mdio de . HE Logo, . HB AC HE AC HB = = =
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
55
Como

45 BHE = e assim

2 90 . ABD HBE = =

82)
a) Demonstre a identidade

1
1
0
(2 )
cos( ) cos(2 ) cos(4 )...cos(2 ) cos(2 )
2 ( )
n n
n j
n
j
sen
sen

+
+
=
= =

b) Prove que
2
0
1 1 1 1 1 1 1 1 1 2
... cos .
2 2 2 2 2 2 2 2 2 2
j
j

+
=
| |
+ + + = =
|
\ .

SOLUO DE WALLACE ALVES MARTINS (RIO DE JANEIRO RJ)
a) Demonstraremos a identidade utilizando o princpio da induo.
Para n = 0 temos cos e
0+1
0 1
sen(2 ) sen2 2sen cos
cos .
2 sen 2sen 2sen



+
= = = . Assim que a
propriedade vlida para n = k, temos:
1
1
0
sen(2 )
cos(2 ) .
2 sen
k k
j
k
j

+
+
=
=

Multiplicando-se ambos os membros da identidade por

1
cos(2 )
k

+
temos:
1
1 1 ( 1) 1 1
1 1 ( 1) 1
0
sen(2 2 )
sen(2 )cos(2 ) sen(2 )
2
cos(2 ) .
2 sen 2 sen 2 sen
k
k k k k
j
k k k
j

+
+ + + + +
+ + + +
=

= = =

Portanto a propriedade tambm vlida para n = k + 1. Logo, pelo princpio da
induo segue-se que a identidade vlida , 0. n n Z

b) Demonstraremos primeiramente a identidade entre o primeiro membro e o
membro central da identidade acima; por induo.
Para n = 0, temos que
0 2
1
cos cos .
2 4 2

+
| | | |
= =
| |
\ . \ .
Assim a propriedade
verdadeira para n = 0. Vamos mostrar que para todo k temos
2
0
( 1) Radicais
1 1 1 1 1 1 1 1 1
... ... cos .
2 2 2 2 2 2 2 2 2 2
k
j
j
k

+
=
+
| |
+ + + + =
|
\ .

_
Para isso, vamos
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
56
mostrar que para todo k temos
2
( 1) Radicais
1 1 1 1 1
... cos .
2 2 2 2 2 2
k
k

+
+
| |
+ + + =
|
\ .
_
Considere
( 2) Radicais
1 1 1 1 1
...
2 2 2 2 2
k
x
+
= + + +
_
temos que
2 2
2 2
1 1
cos cos 2 1.
2 2 2 2
k k
x x

+ +
| | | |
= =
| |
\ . \ .

Como sabemos
2
cos(2 ) 2cos 1. = Logo
2
3
2
cos cos
2 2
k
k
x

+
+
| |
|
| |
= =
| |
\ .
|
\ .

satisfaz a equao. Logo
( 1) 2
[( 1) 1] Radicais
1 1 1 1 1
... cos .
2 2 2 2 2 2
k
k
x

+ +
+ +
| |
= + + + =
|
\ .
_
Portanto a
identidade tambm vlida para n = k + 1. Logo, pelo Princpio da Induo segue-
se que a identidade vlida , 0. n n Z Em particular, quando n temos a
identidade conforme acima.
Agora, sabemos que
2 2
0
cos cos cos cos ... cos
2 4 8 16 2
n
j n
j

+ +
=
| | | | | | | | | |
= =
| | | | |
\ . \ . \ . \ . \ .

2 1
0
cos cos ... cos cos cos(2 ),
2 2 8 4
n
j
n n
j


+ +
=
| | | | | | | |
= =
| | | |
\ . \ . \ . \ .

onde
2
.
2
n

+
=
Utilizando (a) temos:
1
2
1 1 0
2 2
sen 2 ,
1 2
cos(2 ) .
2 sen 2 sen
2 2
n
n n
j
n n j
n n

+
+
+ + =
+ +
| |
|
\ .
= =
| | | |

| |
\ . \ .

Sabemos que, quando n ento
1
2
2 sen .
2 2
n
n

+
+
| |

|
\ .
(Pois
0
sen
lim 1)
x
x
x

= .
Logo:
2
1 0
2
1 2
lim cos lim .
2
2
2
n
j
n n
n j
n
sen

+

+ =
+
(
(
(
| |
( = =
( |
| |
\ . (

|
(
\ .

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
57
83) Seja {0,1, 2,3,...}. = N
Determine quantas funes : f N N 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 N.

84) Prove que se * {1, 2,3,...} A = N um conjunto no-vazio tal que
4 n A n A e n A
(

ento * A=N .
Obs. x (

o nico inteiro tal que 1 x x x < (



85) Mostre que todo tringulo pode ser dividido em 9 pentgonos convexos de
reas iguais.

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

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
1
( )
n
j
a j
=

seja mltiplo de n. Prove que

( ( )) a a n n = para todo inteiro positivo n.
88) Prove que se r e cos( ) r ento
1 1
cos( ) 1, ,0, ,1 .
2 2
r


`
)







Seguimos aguardando as solues dos problemas: 83, 84, 85, 86, 87 e 88

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
58
PROBLEMAS PROPOSTOS

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

89) Uma prova de mltipla escolha com n questes feita por k alunos. Uma
resposta correta na i-sima questo vale p
i
pontos, onde p
i
um inteiro
positivo, para 1 . i n A nota de cada aluno a soma dos pontos
correspondentes s questes que ele acertou. Aps a realizao a prova, foi
observado que, mudando os pesos p
i
, as notas dos alunos podem estar em
qualquer uma das k! possveis ordens (em que no h duas notas iguais). Dado
n, qual o maior valor possvel de k?

90) Prove que, para todo inteiro positivo n e para todo inteiro no nulo a, o
polinmio
1 2
... 1
n n n
x ax ax ax

+ + + + irredutvel, i.e., no pode ser escrito
como o produto de dois polinmios no constantes com coeficientes inteiros.

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
r

Qual deve ser o valor do raio do crculo para que o canteiro tenha rea mxima?
Qual a rea mxima?

92) Seja (F
n
)
nN
a seqncia de Fibonacci, definida por F
1
= 1, F
2
= 1 e
2 1
, .
n n n
F F F n
+ +
= + N Prove que mdc
( , )
( , )
m n mdc m n
F F F = para quaisquer
inteiros positivos m e n.



Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
59
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 2 p tal que 2 1
p
primo e
1
2 (2 1)
p p
n

= .

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?

95) "Resta-Um" um jogo de tabuleiro na qual as peas ocupam um tabuleiro
formando parte de um reticulado retangular (na verdade, existem variaes em
tabuleiros de reticulado triangular). O nico movimento permitido consiste
em tomar duas peas em casas adjacentes vizinhas a uma casa vazia, e fazer a
pea mais distante da casa vazia pular sobre a outra pea, ocupando a casa
vazia. A pea pulada retirada.

(esse movimento pode ser feito para a direita, para a esquerda, para cima ou
para baixo).
Agora imagine um tabuleiro que um reticulado retangular infinito e uma reta
que contm uma linha do reticulado, dividindo-o em dois lados. Todas as casas
de um dos lados da linha esto vazias e cada casa do outro lado da linha
pode ou no ter uma pea.
Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
60
Quantas peas, no mnimo, precisamos para chegar a uma casa do lado vazio
do tabuleiro, a uma distncia n da linha ? Abaixo indicamos uma casa a
distncia n, para n = 1,2,3,4,5.

5
4
3
2
1







Voc sabia
Que
20996011
2 1 primo? Este o maior primo conhecido, tem
6320430 dgitos e foi descoberto por Michael Shafer, um
participante do GIMPS (um projeto distribudo para procurar
primos de Mersenne. Veja: http://www.mersenne.org para mais
informaes). Agora so conhecidos 40 expoentes p para os
quais 2 1
p
primo (e portanto
1
2 (2 1)
p p
perfeito - veja o
problema proposto 93): 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107,
127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689,
9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503,
132049, 216091, 756839, 859433, 1257787, 1398269,
2976221, 3021377, 6972593, 13466217 e 20996011.




Problema 89 proposto na 27 Olimpada Russa de Matemtica em 2001, problema 90 proposto
na Olimpada Romena de Matemtica de 1992, problema 91 proposto por Osvaldo Mello
Sponquiado (Ilha Solteira SP).

Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
61
Voc sabia
Que existem infinitos inteiros positivos mpares k tais que
2 1
n
k + composto para todo nN? Tais inteiros k so
chamados nmeros de Sierpinski. Em 1962, John Selfridge
provou que 78557 um nmero de Sierpinski, e conjectura-se
que seja o menor deles. Atualmente h 11 nmeros menores que
78557 sobre os quais no se sabe se so nmeros de Sierpinski
ou no: 4847, 10223, 19249, 21181, 22699, 24737, 27653,
28433, 33661, 55459 e 67607. O nmero 5359 fazia parte
dessa lista at 6/12/2003, quando Randy Sundquist ( um
participante do Seventeen or Bust, um projeto distribudo
para atacar o problema de Sierpinski) encontrou o primo
5054502
5359 2 1 + , que tem 1521561 dgitos e o quarto maior
primo conhecido, e maior primo conhecido que no de
Merssenne.
Veja: http://www.seventeenorbust.com para mais informaes.

Exerccio: Prove que 78557 um nmero de Sierpinski, e que
existem infinitos nmeros de Sierpinski a partir das
congruncias
0 1 2 78557
0
+ (mod 3)
0 1 2 78557
1
+ (mod 5)
0 1 2 78557
7
+ (mod 7)
0 1 2 78557
11
+ (mod 13)
3 39
78557 2 1 78557 2 1 0 + + (mod 73)
0 1 2 78557
15
+ (mod 19)
0 1 2 78557
27
+ (mod 37).








Sociedade Brasileira de Matemtica
EUREKA! N18, 2003
62
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
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
Gil Cunha Gomes Filho (Colgio ACAE) Volta Redonda RJ
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
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