Você está na página 1de 62

CONTEDO

AOS LEITORES 2

XI OLIMPADA DE MATEMTICA DO CONE SUL 3
Problemas e solues

VI OLIMPADA DE MAIO 11
Problemas

VI OLIMPADA DE MAIO 13
Resultados

XLI OLIMPADA INTERNACIONAL DE MATEMTICA 14
Problemas e Resultados


ARTIGOS

INTRODUO GEOMETRIA PROJETIVA 16
Luciano G. M. Castro

CONTAR DUAS VEZES PARA GENERALIZAR (O RETORNO) 28
Jos Paulo Carneiro, Universidade Santa rsula

O PRINCPIO DO ELEMENTO EXTREMO 33
Jos Rosales Ortega, Escola de Matemtica - Instituto Tecnolgico de Costa Rica

FUNES MULTIPLICATIVAS E A FUNO DE MBIUS 43
Carlos Gustavo T. de A. Moreira, IMPA & Nicolau Coro Saldanha, PUC-Rio

OLIMPADAS AO REDOR DO MUNDO 47

SOLUES DE PROBLEMAS PROPOSTOS 51

PROBLEMAS PROPOSTOS 60

AGENDA OLMPICA 61

COORDENADORES REGIONAIS 62
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
2
AOS LEITORES



Este nmero da Eureka! contm as provas das competies internacionais
de que participamos na primeira parte do ano 2000: a Olimpada de Maio, a
Olimpada do Cone Sul e a Olimpada Internacional de Matemtica. Estas provas
fornecem material que pode (e deve) ser usado na preparao para a Terceira Fase
da Olimpada Brasileira de Matemtica.

Na seo de artigos, com prazer que publicamos artigos de novos
colaboradores da Eureka!. Destacamos o artigo do Prof. Jos Rosales Ortega, da
Costa Rica, que esperamos d incio a uma colaborao intensa com professores
de outros pases, igualmente dedicados disseminao da matemtica entre os
jovens.

Neste nmero inauguramos uma nova seo, Olimpadas ao Redor do
Mundo, organizada pelo Prof. Antnio Luiz Santos, que trar problemas de
Olimpadas realizadas em outros pases. Esta seo se junta de problemas
propostos no objetivo de fornecer ainda mais material para treinamento e
desenvolvimento individual.

Aproveitamos para registrar, com satisfao, um grau cada vez maior de
participao de nossos leitores. Temos recebido um nmero crescente de solues
para os problemas propostos, alm de sugestes de novos problemas. Obrigado a
todos que tm colaborado!







Comit Editorial





Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
3
XI OLIMPADA DE MATEMTICA DO CONE SUL
14 a 19 de abril, Montevidu - Uruguai


A XI Olimpada de Matemtica do Cone Sul foi realizada em
Montevidu, Uruguai, no perodo de 14 a 19 de abril de 2000. A equipe brasileira
foi liderada pelos professores Paulo Jos Bonfim Gomes Rodrigues e Marcelo
Mendes, ambos de Fortaleza - CE. Nesta oportunidade a equipe brasileira obteve
a maior pontuao entre os pases participantes e a nica medalha de ouro da
competio.

RESULTADOS DA EQUIPE BRASILEIRA

BRA1 Carlos Stein Naves de Brito Prata
BRA2 Davi Mximo Alexandrino Nogueira Bronze
BRA3 Humberto Silva Naves Ouro
BRA4 Larissa Cavalcante Queiroz de Lima Prata


PROBLEMA 1
Dizemos que um nmero descendente se cada um de seus dgitos menor do
que ou igual ao dgito anterior, da esquerda para a direita. Por exemplo, 4221 e
751 so nmeros descendentes, enquanto 476 e 455 no so descendentes.
Determine se existem inteiros positivos n para os quais 16
n
descendente.


SOLUO DE CARLOS STEIN NAVES DE BRITO (GOINIA - GO)
Sabemos que ), 10 (mod 6 16
n
pois ). 10 (mod 6 6
n

Assim o dgito das unidades ser sempre 6.
Temos ento:
) 10 (mod 6 2
4

n

) 000 . 10 (mod 2 2
4 4
k
n
pois . 2 ) 2 , 000 . 10 (
4 4
=
n

Temos que . 1 5 ) 10 (mod 6 2
4
+ = q k k
) 000 . 10 )(mod 1 5 ( 2 2
4 4
+ q
n

) 000 . 10 (mod 6 ) 1 8 ( 10 2
4
+ + q
n




Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
4
Temos que 8q + 1 deve ter dgitos maiores ou iguais a 6. Em particular, 8q + 1
termina por 7 ou 9. Temos ento as seguintes possibilidades para os seus ltimos
3 dgitos:
999, 997, 987, 977, 887, 877, 777.
Os nicos que so da forma 8q + 1 so 977 e 777.
Como 2
5
divide 7776, 16
n
no termina em 77776 nem em 97776.
). 10 (mod 987776 16 ) 10 (mod 87776 16
6 5

n n
Como 2
7
divide 987776, 16
n

no termina em 9987776. Como 2
6
divide 99776, 16
n
no termina em 999776
16
n
tem no mximo 6 dgitos, e basta verificar os casos. Como para nenhum caso
haver soluo,
n
16 nunca descendente.


PROBLEMA 2
Em um tabuleiro 8 8 distribumos os inteiros de 1 a 64, um em cada casa.
A seguir, colocam-se sobre o tabuleiro fichas quadradas 22, que cobrem
exatamente quatro casas (sem superposio) e de modo que os quatro nmeros
cobertos por cada ficha determinem uma soma menor que 100.

Mostrar uma distribuio desses inteiros que permita colocar o maior nmero de
fichas, e demonstrar que no possvel obter uma distribuio que permita
colocar mais fichas.


SOLUO DE CARLOS STEIN NAVES DE BRITO (GOINIA - GO)
Sabemos que o somatrio dos nmeros sobre os quais colocamos fichas dividido
pelo nmero de fichas deve ser menor que 100.
Logo se preenchessemos todo o tabuleiro (com 16 fichas):

Absurdo! . 100 130 100
16
65 32
100
16
2
64 ) 1 64 (
100
16
64 ... 3 2 1


+

+ + + +

Ento a cada ficha a menos que colocamos devemos tirar o maior somatrio de
nmeros sem estar preenchidos, pois assim a razo anterior vai ser mnima.
A cada ficha que retiramos tiraremos 64, 63, 62, 61, depois 60, 59, 58, 57... at a
razo do somatrio dos nmeros preenchidos dividido pelo nmero de fichas ser
menor que 100. Disso temos:
Dado: o somatrio inicial 2080 e o nmero inicial de fichas 16 e sendo n o
nmero de fichas retiradas que deve ser mnimo
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
5
| |

|
.
|

\
|
/
/ +

+ + + +
100
16
2
4 ) 0 1 4 (
64 4 2080
100
16
)) 1 4 ( 64 ( ... ) 2 64 ( ) 1 64 ( 64 2080
n
n n
n
n
n
0 240 79 4 100 1600 2 8 256 2080
2 2
+ + n n n n n n

|
.
|

\
|
<

= = +
=
=
16
1
75 , 3
2 8
49 79
0 240 79 4
2
n
n
n n n
+ +

3,75 16

Como se quer o n mnimo, que satisfaa a desigualdade, n 4 e teremos 12 fichas
no mximo.
Para n = 3, com 13 fichas:
Podemos colocar 12 fichas, do seguinte modo:
Vamos ter os nmeros de 1 at 48. agrupamos eles de 4 em 4 para a soma ser
menor que 100.
Esses grupos so {1, 24, 25, 48}, {2, 23, 26, 47},...,{12, 13, 36, 37}.
Da forma {1+ n, 24 n, 25 + n, 48 n} com n {0, 1, ..., 11}.
Ento colocaremos esses nmeros em espaos 2 2:

1 24 2 23 3 22 4 21
25 45 26 47 27 46 28 45

Faremos isso com todos os grupos, sobrando ainda um espao 2 8, que no
tero ficha, onde colocaremos aleatriamente os nmeros {49, 50,...,64}.
Sendo essa uma soluo com cada ficha sob um grupo daqueles citados.



Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
6
Exemplo completo:

1 24 2 23 3 22 4 21
25 48 26 47 27 46 28 45
5 20 6 19 7 18 8 17
29 44 30 43 31 42 32 41
9 16 10 15 11 14 12 13
33 40 34 39 35 38 36 37
49 50 51 52 53 54 55 56
57 58 59 60 61 62 63 64

PROBLEMA 3
Um quadrado de lado 2 dividido em retngulos mediante vrias retas paralelas
aos lados (algumas horizontais e outras verticais). Os retngulos so coloridos
alternadamente de preto e branco, como se fosse um tabuleiro de xadrez. Se deste
modo a rea branca resultou igual a rea preta, demonstrar que ao recortar os
retngulos pretos ao longo de seus bordos, possvel formar com estes (sem
superposio) um retngulo preto 1 2.

SOLUO DE HUMBERTO SILVA NAVES (SO PAULO - SP)
Seja
n
x x x x ;...; ; ;
3 2 1
as distncias entre as retas verticais (
i
x distncia entre a
i-sima reta e a (i 1)-sima reta) e
p
y y y ;...; ;
2 1
as distncias entre as retas
horizontais: (
i
y a distncia entre a i-sima reta vertical e a (i 1)-sima reta).
Por simetria, podemos considerar:

rea sombreada =

paridade
mesma
de e j i
i
x

=
pares e j i
i j
x y

+
mpares e

j i
j i j
y x y
Logo, rea sombreada =
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
|
|
.
|

\
|
= + =

mpar mpar
mpares
e par par pares e
2
j
j
j
j
j i i
i
i
i j i
j i
j i
y x y x y x y x
e denotamos:

=
par " "i
i
x A e

=
"par "i
i
y B
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
7
mas

= = + =
mpar " " mpar " " par " "
, 2 2
j j
j j
i
i i
A x x x x e de mesmo modo
conclumos que:

=
mpar " "
. 2
j
j
B y
Logo: rea sombreada = 2 = + ) 2 )( 2 ( B A B A
= + + + = 2 2 ) ( 2 ) ( 2 4 2 2 AB B A B A AB
0 ) 1 )( 1 ( 1 ) 1 ( 1 = = = + B A B B A AB B A

Logo devemos ter ou
0 1
0 1

=
=
B
A


1 = A ou 1 = B Agora o problema fica fcil, pois se 1 = A (por simetria),
temos:

=
mpar par
,
j
j
i
i
x x logo basta juntar os "quadradinhos" de cada linha, a
vai formar um retngulo de base 1, e se juntarmos todos esses retngulos de base
1, vamos formar outro retngulo, cujos lados medem: 2 e 1.

PROBLEMA 4
Sejam ABCD um quadrado (sentido horrio) e P um ponto qualquer pertencente
ao interior do segmento BC. Constri-se o quadrado APRS (sentido horrio).
Demonstrar que a reta CR tangente a circunferncia circunscrita ao tringulo
ABC.

SOLUO DE LARISSA CAVALCANTE QUEIROZ DE LIMA (FORTALEZA-CE)
A B
S
D
R
C
P
M

45




45
45+


O ABC retngulo, portanto o
centro da circunferncia circunscrita
est no ponto mdio de sua
hipotenusa: AC centro da
circunferncia o ponto M
*ABCD um quadrado as
diagonais se cortam ao meio, e as
diagonais so iguais AM = BM =
MC = MD
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
8
Seja = P A B

e = A P B

; = + 90 ( retngulo ABP); = + + 180 90


Note que = = C P R C P R

90 180


* ( 45

ABC C A B = retngulo issceles)


= = 45

P A B C A B C A P
* APR issceles e retngulo = =

=
=
45

90

A R P R A P
R P A
PR AP

= + = = = 45 45 ) 45 ( 45

C A P R A P C A R
APCR C P R C A R = =

um quadriltero inscritvel
= = 90

R C A R P A
CR perpendicular a AC e que o dimetro da circunferncia circunscrita a
ABC CR tangente.


PROBLEMA 5
No plano cartesiano, considere os pontos de coordenadas inteiras. Uma operao
consiste em:
Escolher um destes pontos e realizar uma rotao de 90
o
. no sentido anti-horrio,
com centro neste ponto.
possvel, atravs de uma seqncia dessas operaes, levar o tringulo de
vrtices (0, 0), (1, 0), e (0, 1) no tringulo de vrtices (0, 0), (1, 0) e (1, 1)?

SOLUO ADAPTADA DA SOLUO DE DAVI MXIMO ALEXANDRINO NOGUEIRA
(FORTALEZA - CE)
Considere a figura relativa a demonstrao:
A
B
B
A
B
A
B
A A A B B B
A A A B B B
B B A A A
(0,0)
A X
Y

Considere duas cores A e B. Pinte o ponto (0,0) de A. A partir da, pinte todos os
outros pontos (coordenadas inteiras) do plano com as cores A e B,
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
9
alternadamente. Isto , pintamos (a, b) de A se a + b par, e de B se a + b
mpar. Vamos provar que um ponto e sua imagem possuem a mesma cor.
De fato, se P = (x, y), a imagem de (a, b) pela rotao de 90
o
no sentido
antihorrio com centro em P e (x + y b, x + y + a), cuja soma das coordenadas
2x + 2y + a b a + b (mod 2).
Como o primero tringulo tem um ponto da cor A e dois da cor B e o segundo tem
dois pontos da cor A e um da cor B no possvel tal coisa.

PROBLEMA 6
Existe um inteiro positivo divisvel pelo produto de seus algarismos e tal que esse
produto maior que 10
2000
?

SOLUO DE HUMBERTO SILVA NAVES (SO PAULO - SP)
Primeiramente vamos provar que 10 raiz primitiva no mdulo 7
n
.
*Sabemos que quando n = 1 ou n = 2, isto verdadeiro.
** Suponhamos que 10 seja uma raiz primitiva no mdulo ) 2 ( 7 n
n

Seja "a" uma raiz primitiva no mdulo
1
7
+ n
(ela existe pois
1
7
+ n
uma potncia
de um primo), isto :
j
a percorre todas as classes de congruncia que so primas
com 7, no mdulo
1
7
+ n
, consequentemente "a" tambm raiz primitiva no
mdulo
n
7 .
Pela definio de "a", existe um N x e um N y , tais que:
) 7 (mod 10
n x
a
) 7 (mod 10
1 +

n y
a
Temos que mdc , 1 )) 7 ( ; ( =
n
x pois 10 tambm raiz primitiva no mdulo . 7
n

Se mdc , 1 )) 7 ( ; (
1
=
+
d y
n
teramos:
) tambm (pois ) 7 ( com primo
)) 7 ( (mod ) 7 (mod
) 7 (mod 10
) 7 (mod 10
) 7 (mod 10
1
x y
y x a a
a
a
a
n
n n y x
n x
n y
n y


+
Chegamos a uma contradio, pois mdc d y
n
=
+
)) 7 ( ; (
1
e
mdc , 1 )) 7 ( ; ( =
n
y isto quer dizer:
mdc 1 ) 7 6 ; (
n
y e mdc 1 ) 7 6 ; (
1
=
n
y (com 2 n ), que um absurdo.
Da conclumos que mdc . 1 )) 7 ( ; (
1
=
+ n
y
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
10
Logo 10 tambm uma raiz primitiva no mdulo
1
7
+ n
, e por induo conclumos
que:
10 ; N n raiz primitiva no mdulo
n
7 .
Agora vamos achar um exemplo:
Considere a, tal que:
2000
10 7 >
a

E como 10 raiz primitiva no mdulo
a
7 , considere b > a, tal que:
), 7 (mod 10 6 7 10
a a b
temos que:
) 7 (mod 0 ) 7 (mod 0
9
10 10
7
9
1 10
a a
a b a
x x

+
|
|
.
|

\
|

=
mas:


dgitos dgitos
s 7' " " ' 0 " " "' 1 " " " : de total
777...7 1 ... 1111111 7 ... 777 0 ... 000 1 ... 1111111
a a b
a s a s a b
x

= + =

Ou seja x divisvel pelo produto de seus dgitos.







Voc sabia
Que foi novamente batido o record de maior primo de Fermat
generalizado conhecido?
o nmero 48594
65536
+ 1 descoberto este ano por Scott e Gallot,
que o 6
o
. maior primo conhecido (e o nico primo conhecido com
mais de um milho de bits que no de Mersenne). Com isso, os
9 maiores primos conhecidos so de Mersenne ou de Fermat
generalizados. So eles: 2
6972593
1, 2
3021377
1, 2
2976221
1,
2
1398269
1, 2
1257787
1, 48594
65536
+ 1, 2
859433
1, 2
756839
1 e
167176
32768
+ 1, os quais tm, respectivamente, 2098960, 909526,
895932, 420921, 378632, 307140, 258716, 227832 e 171153
dgitos.


Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
11
VI OLIMPADA DE MAIO
13 de maio de 2000

PRIMEIRO NVEL
Durao da prova: 3 horas

PROBLEMA 1
Encontre todos os nmeros naturais de quatro algarismos formados por dois
dgitos pares e dois dgitos mpares tais que, ao multiplic-los por 2, se obtm
nmeros de quatro algarismos com todos os seus dgitos pares e, ao divid-los por
2, se obtm nmeros naturais de quatro algarismos com todos os seus dgitos
mpares.

PROBLEMA 2
Seja ABC um tringulo retngulo em A, cujo cateto AC mede 1cm. A bissetriz do
ngulo C A B

corta a hipotenusa em R; a perpendicular a AR traada por R corta o


lado AB em seu ponto mdio. Encontre a medida do lado AB.

PROBLEMA 3
Para escrever todos os nmeros naturais consecutivos desde 1ab at ab2 inclusive
foram utilizados 1ab1 algarismos. Determine quantos algarismos a mais
precisam-se para escrever os nmeros naturais at o aab inclusive. Diga todas as
possibilidades. (a e b representam dgitos).

PROBLEMA 4
Temos peas com forma de tringulo equiltero de lados 1; 2; 3; 4; 5 e 6 (50
peas de cada medida).
Precisa-se armar um tringulo equiltero de lado 7 utilizando algumas destas
peas, sem buracos nem superposies. Qual o menor nmero de peas
necessrias?

PROBLEMA 5
Numa fileira temos 12 cartas que podem ser de trs tipos: com as duas faces
brancas, com as duas faces pretas ou com uma face branca e a outra preta.
Inicialmente temos 9 cartas com a face preta voltada para cima.
Viram-se as seis primeiras cartas da esquerda e ficam 9 cartas com a face preta
voltada para cima.
Continuando, viram-se as seis cartas centrais, ficando 8 cartas com a face preta
voltada para cima.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
12
Finalmente, viram-se seis cartas: as trs primeiras da esquerda e as trs ltimas da
direita, ficando 3 cartas com a face preta voltada para cima.
Diga se com esta informao se pode saber com certeza quantas cartas de cada
tipo existem na fileira.

SEGUNDO NVEL

PROBLEMA 1
O conjunto {1, 2, 3, 4} pode ser dividido em dois subconjuntos A = {1, 4} e B =
{3, 2} sem elementos comuns e tais que a soma dos elementos de A seja igual a
soma dos elementos de B. Essa diviso impossvel para o conjunto {1, 2, 3, 4,
5} e tambm para o conjunto {1, 2, 3, 4, 5, 6}.
Determine todos os valores de n para os quais o conjunto dos primeiros n
nmeros naturais pode ser dividido em dois subconjuntos sem elementos comuns
tais que a soma dos elementos de cada subconjunto seja a mesma.

PROBLEMA 2
Num paralelogramo de rea 1 so traadas retas que unem cada vrtice com o
ponto mdio de cada lado no adjacente a ele. As oito retas traadas determinam
um octgono no interior do paralelogramo. Calcule a rea do octgono.

PROBLEMA 3
Sejam S uma circunferncia de raio 2; S
1
uma circunferncia de raio 1 tangente
interiormente a S em B e S
2
uma circunferncia de raio 1 tangente a S
1
no ponto
A, mas que no tangente a S. Se K o ponto de interseo da reta AB com a
circunferncia S, demonstre que K pertence a circunferncia S
2
.

PROBLEMA 4
Temos um cubo de 3 3 3 formado pela unio de 27 cubinhos 1 1 1.
Retiramos alguns cubinhos de tal modo que os que permanecem seguem
formando um slido constitudo por cubinhos que esto unidos pelo menos por
uma face ao resto do slido. Quando um cubinho retirado, os que permanecem
ficam no mesmo lugar em que estavam inicialmente.
Qual o mximo nmero de cubinhos que podem ser retirados de modo que a
rea do slido que resulte seja igual rea do cubo original?

PROBLEMA 5
Um retngulo pode ser dividido em n quadrados iguais e tambm pode ser
dividido em n + 98 quadrados iguais. Se a rea do retngulo n, com n inteiro,
encontre os lados do retngulo. Diga todas as possibilidades.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
13
VI OLIMPADA DE MAIO
Resultados


PRIMEIRO NVEL

Fabio Dias Moreira Medalha de Ouro Rio de Janeiro - RJ
Guilherme Salermo Santos Medalha de Prata Goinia - GO
Raul M. Alexandrino Nogueira Medalha de Prata Fortaleza - CE
Alex Correa Abreu Medalha de Bronze Niteroi - RJ
Iuri Lima Ribeiro Medalha de Bronze Fortaleza - CE
Antnia Taline de Souza Mendona Medalha de Bronze Fortaleza - CE
Cincinato Furtado Leite Neto Medalha de Bronze Fortaleza - CE
Alan Hideki Uchida Meno Honrosa So Paulo - SP
Rodrigo Aguiar Pinheiro Meno Honrosa Fortaleza - CE
Luty Rodrigues Ribeiro Meno Honrosa Fortaleza - CE


SEGUNDO NVEL

Marcio Antonio F. Belo Medalha de Ouro Goinia - GO
Henrique Chociay Medalha de Prata Curitiba - PR
Davi M. Alexandrino Nogueira Medalha de Prata Fortaleza - CE
Larissa Goulart Rodrigues Medalha de Bronze Goinia - GO
Andreia Lucio dos Santos Medalha de Bronze Goinia - GO
Thiago da Silva Sobral Medalha de Bronze Fortaleza - CE
Luis Gustavo Bastos Pinho Medalha de Bronze Fortaleza - CE
Samuel Barbosa Feitosa Meno Honrosa Fortaleza - CE
Adriano Arantes Paterlini Meno Honrosa Tatu - SP
Germanna de Oliveira Queiroz Meno Honrosa Fortaleza - CE










Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
14
XLI OLIMPADA INTERNACIONAL DE MATEMTICA
13 a 25 de julho, Taejon - Coria do Sul


A XLI Olimpada Internacional de Matemtica foi realizada em Taejon,
Coria do Sul, no perodo de 13 a 25 de julho de 2000. A equipe brasileira foi
liderada pelos professores lio Mega e Edmilson Motta, ambos de So Paulo -
SP.

RESULTADOS DA EQUIPE BRASILEIRA

BRA1 Daniel Nobuo Uno Bronze
BRA2 Daniel Massaki Yamamoto Bronze
BRA3 Fabrcio Siqueira Benevides Bronze
BRA4 Humberto Silva Naves ----------
BRA5 Sergio Tadao Martins ----------
BRA6 Ulisses Medeiros de Albuquerque Meno Honrosa


PROBLEMA 1
Duas circunferncias
1
e
2
intersectam-se em M e N.
Seja l a tangente comum a
1
e
2
que est mais prxima de M do que de N. A
reta l tangente a
1
em A e a
2
em B. A reta paralela a l que passa por M
intersecta novamente a circunferncia
1
em C e novamente a circunferncia
2
em D.
As retas CA e DB intersectam-se em E; as retas AN e CD intersectam-se em P; as
retas BN e CD intersectam-se em Q.
Mostre que EP = EQ.


PROBLEMA 2
Sejam a, b, c nmeros reais positivos tais que abc = 1. Prove que

. 1
1
1
1
1
1
1 |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
+
a
c
c
b
b
a




Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
15
PROBLEMA 3
Seja 2 n um nmero inteiro positivo. No incio existem n pulgas numa reta
horizontal, nem todas no mesmo ponto.
Para um nmero real positivo , define-se um salto da seguinte maneira:
Escolhem-se duas pulgas quaisquer nos pontos A e B com o ponto A esquerda
do ponto B;
A pulga que est em A salta at o ponto C da reta, direita de B, tal que
. =
AB
BC

Determine todos os valores de para os quais, para qualquer ponto M na reta e
quaisquer posies iniciais das n pulgas, existe uma sucesso finita de saltos que
levam todas as pulgas para pontos direita de M.

PROBLEMA 4
Um mgico tem cem cartes numerados de 1 a 100. Coloca-os em trs caixas,
uma vermelha, uma branca e uma azul, de modo que cada caixa contm pelo
menos um carto.
Uma pessoa da platia escolhe duas das trs caixas, seleciona um carto de cada
caixa e anuncia a soma dos nmeros dos dois cartes que escolheu. Ao saber esta
soma, o mgico identifica a caixa da qual no se retirou nenhum carto.
De quantas maneiras podem ser colocados todos os cartes nas caixas de modo de
que este truque sempre funcione? (Duas maneiras consideram-se diferentes se
pelo menos um carto colocado numa caixa diferente).

PROBLEMA 5
Verifique se existe um inteiro positivo n tal que n divisvel por exatamente 2000
nmeros primos diferentes e 1 2 +
n
divisvel por n.

PROBLEMA 6
Sejam
3 2 1
, , CH BH AH as alturas de um tringulo acutngulo ABC. A
circunferncia inscrita no tringulo ABC tangente aos lados BC, CA, AB em
, 3 2 1
, , T T T respectivamente. Seja
1
l a reta simtrica da reta
3 2
H H relativamente
reta
3 2
T T ,
2
l a reta simtrica da reta
1 3
H H relativamente reta
1 3
T T e
3
l a reta
simtrica da reta
2 1
H H relativamente reta
2 1
T T .
Prove que
3 2 1
, , l l l determinam um tringulo cujos vrtices pertencem
circunferncia inscrita no tringulo ABC.


Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
16
INTRODUO GEOMETRIA PROJETIVA
Luciano G. M. Castro

Nvel Avanado

Artigo baseado em aula ministrada na III Semana Olmpica
Piracicaba - SP

Comeamos com um problema de Geometria Euclidiana:

Problema Inicial:

As tangentes a uma circunferncia de centro O, traadas por um ponto
exterior C, tocam a circunferncia nos pontos A e B. Seja S um ponto qualquer da
circunferncia. As retas SC SB SA e , cortam o dimetro perpendicular a OS
nos pontos A', B' e C ', respectivamente.
Prove que C' o ponto mdio de A'B'.
Encorajamos o leitor a resolver este problema utilizando mtodos da Geometria
Euclidiana, antes de prosseguir.
Nossa principal meta desenvolver ferramentas da Geometria Projetiva que nos
permitam resolver este e outros problemas similares de forma direta e natural.


1. POLARIDADE

Dada uma circunferncia , de centro O e raio R, vamos criar uma
associao entre pontos e retas do plano, da seguinte maneira: Para cada ponto A
distinto de O, seja A' o ponto da semi-reta OA tal que
2
' R OA OA = . (A'
chamado inverso de A em relao a . A transformao ' A A a inverso
relativa a ). Seja a a reta perpendicular a OA passando por A'. Dizemos que a
a reta polar de A em relao a , e que A o plo de a em relao a .
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
17
R
A O
a
A '

A transformao do plano que leva cada ponto em sua polar e cada reta em seu
plo chamada de polaridade. Para simplificar a notao, usaremos a mesma
letra para designar um ponto (maiscula) e sua polar (minscula).

Teorema 1: Sejam A e B dois pontos do plano, a e b suas respectivas polares. Se
B a, ento A b. Neste caso, dizemos que A e B so conjugados.

B'
A
O
b
A '
B
a

Considere um ponto B a.
Seja B' OB tal que . ' OB AB Os
tringulos OAB' e OBA' so retngulos e tm
um ngulo comum ( ' ' BA AB ), logo
so semelhantes. Assim,
. ' '
'
'
2
R OA OA OB OB
OA
OB
OB
OA
= = =
Logo B' o inverso de B, de onde b AB = ' e
. b A
Assim, se imaginarmos o ponto B variando ao longo da reta a, sua polar, b,
variar ao longo do feixe de retas que passam pelo ponto A.
Diremos que um ponto e uma reta so incidentes quando o ponto pertence reta,
o que o mesmo que dizer que a reta passa pelo ponto.
A polaridade, portanto, uma transformao que preserva incidncias.

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
18
Exerccio 1: Se um ponto conjugado a si mesmo, ento ele pertence
circunferncia e sua polar a tangente circunferncia por ele.

Este resultado nos permite desenvolver a seguinte construo para a reta polar de
um ponto A exterior circunferncia:

Exerccio 2: Se A exterior circunferncia, sejam B e C os pontos de contato das
duas tangentes circunferncia traadas por A. A reta BC a polar de A.

C
a
B
A


Soluo:
Como A pertence s polares de B e C, ento
B e C pertencem polar de A. Logo BC a =


2. O PLANO PROJETIVO

A polaridade definida anteriormente sugere que pontos e retas tm
comportamentos parecidos em relao incidncia. H algumas falhas, porm. A
transformao no est definida para o ponto O, centro da circunferncia, nem
tampouco para as retas que passam por O.

Podemos resolver este problema ampliando o plano euclidiano,
acrescentando-lhe uma nova reta que chamaremos de "reta do infinito", que
representaremos por o. Esta nova reta ser a polar do ponto O.

Formalmente, os pontos da nova reta do infinito esto em
correspondncia biunvoca com os feixes de retas paralelas no plano euclidiano.

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
19
Vejamos como a polaridade nos leva naturalmente a esta definio para
os pontos do infinito.

Por exemplo, vamos identificar o plo de uma reta r que passa por O.
Sejam A e B os pontos de contato de r com a circunferncia. Como A e B esto
sobre a reta r, suas retas polares a e b passam pelo plo R. Logo R o ponto de
encontro das duas retas a e b, que no plano Euclidiano seriam paralelas. De fato,
a reta polar de qualquer ponto de r ser perpendicular a r no plano euclidiano.
Estas retas passam a ser, no plano projetivo, um feixe de retas concorrentes (no
ponto do infinito R).

Esta a maneira de trabalhar com a reta do infinito: cada um de seus
pontos corresponde a um nico feixe de retas paralelas no plano euclidiano. E
vice-versa: a cada feixe de retas paralelas no plano euclidiano corresponde um
nico ponto da reta do infinito.
O
a
B
A
b
...
...
... R


3. O PRINCPIO DA DUALIDADE

Os pontos e retas do plano projetivo tm exatamente o mesmo
comportamento em relao a incidncia. Assim, qualquer propriedade
envolvendo pontos, retas e incidncia permenece vlida ao trocarmos pontos por
retas e retas por pontos. A nova propriedade assim obtida denominada "dual" da
primeira.

Em outras palavras, para todo teorema da Geometria Projetiva recebemos
outro grtis, oferecido pelo Princpio da Dualidade. Basta trocar a palavra "ponto"
pela palavra "reta" e vice versa.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
20
Exemplos:
Propriedade

Dada uma reta, sempre existe um
ponto no incidente a ela.

Cada reta incidente a pelo menos
trs pontos distintos.

Dois pontos distintos determinam
uma nica reta a eles incidente.
Dual

Dado um ponto, sempre existe uma reta
no incidente a ele.

Cada ponto incidente a pelo menos trs
retas distintas.

Duas retas distintas determinam um nico
ponto a elas incidente.


Observao:
Apesar de termos definido o plano projetivo como uma extenso do plano
euclidiano, isto no necessrio. O plano projetivo existe de forma independente,
podendo ser caracterizado a partir de um conjunto de axiomas, entre os quais
esto as propriedades duais citadas anteriormente.

4. QUDRUPLAS HARMNICAS

No plano euclidiano, se quatro pontos A, B, C e D de uma reta so tais
que:
,
BD
AD
BC
AC
=

dizemos que C e D "dividem harmonicamente" o segmento AB .
Observe que, de acordo com a definio, isto tambm implica que A e B dividem
harmonicamente o segmento CD. Representaremos esta situao com o smbolo
). , ( CD AB H Tambm diremos que A, B, C e D , nesta ordem, formam uma
"qudrupla harmnica".
Dados os pontos A, B e C sobre uma reta, o ponto D tal que ) ; ( CD AB H
chamado "conjugado harmnico" de C em relao a AB .
Surpreendentemente, apesar da definio utilizar a noo de distncia (que no
faz sentido no plano projetivo), o conceito de qudruplas harmnicas faz sentido
no Plano Projetivo, por meio da seguinte construo para o conjugado harmnico:
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
21
A C B D
a
2
a
1
F
E
G
c
b
2
b
1
Figura 1
H


Dados os pontos A, B e C sobre uma reta r, traamos duas retas quaisquer a
1
e a
2

passando por A e uma reta c passando por C. Unindo a B os pontos de incidncia
de c com a
1
e a
2
, respectivamente, obtemos as retas b
1
e b
2
. Fica ento formado
um quadriltero (EFHG, na figura) tal que os lados opostos concorrem em A e B,
e tal que uma de suas diagonais passa por C. Seja D o ponto de encontro de r com
a outra diagonal do quadriltero. Ento D o conjugado harmnico de C em
relao a AB.

Esta construo a definio de qudruplas harmnicas no plano projetivo.
Vejamos que ela coincide, no plano Euclidiano, com a definio usual. Sejam os
pontos E, F, G como na figura 1.
Aplicando o Teorema de Menelaus* no ABE , secante DGF, temos:

) 1 ( . 1 =
AF
EF
EG
BG
BD
AD


No ABE , aplicamos o Teorema de Ceva* para as cevianas concorrentes
: e , AG BF EC
) 2 ( . 1 =
AF
EF
EG
BG
BC
AC


De (1) e (2) temos .
BD
AD
BC
AC
=

*Ver apndice.

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
22
5. PONTO MDIO E CONJUGAO HARMNICA

O principal indcio de que qudruplas harmnicas so uma noo
projetiva o fato de, no plano euclidiano, o ponto mdio de um segmento no
possuir conjugado harmnico.
Porm, no plano projetivo, sejam A e B pontos sobre a reta r e C o ponto
mdio de AB . Ao realizarmos a construo da figura 1, verificamos que FC
paralelo a r. No plano projetivo, o conjugado harmnico D o ponto do infinito
correspondente ao feixe de retas paralelas a r.

6. FEIXES HARMNICOS

Vamos agora dualizar a definio de qudrupla harmnica. Dadas 3 retas
a, b e c concorrentes em um ponto R, podemos dualizar, passo a passo, a
construo do conjugado harmnico:
Sobre a reta a tomamos dois pontos distintos A
1
e A
2
e sobre a reta c
tomamos um ponto C. Sejam B
1
e B
2
os pontos de interseco da reta b com as
retas
2 1
e CA CA , respectivamente. Seja d a reta determinada pelos pontos R e
.
1 2 2 1
B A B A Chamamos d de conjugado harmnico de c em relao a a e b.
Dizemos que as quatro retas concorrentes a, b, c, e d formam um "feixe
harmnico". Representamos esta situao com o smbolo ). , ( cd ab H
A
1
C
B
1
D
a
A
2
R
c
b
Figura 2
B
2
d

Teorema 2: Uma reta qualquer do plano corta um feixe harmnico em quatro
pontos que formam uma qudrupla harmnica.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
23
Se voc percebeu a semelhana entre as figuras 1 e 2 deve ter
desconfiado deste fato. A demonstrao imediata.
Na construo da figura 2, os pontos A
1
e B
2
podem ser escolhidos sobre uma reta
s arbitrria (que no passe por R), e o ponto C fora de s. As retas
C B C A
2 1
e determinam os pontos B
1
e A
2
. Sendo ' C s c = e D s d = ,
vemos que o quadriltero
1 2
CB RA possui dois lados opostos concorrendo em A
1

e B
2
, com suas diagonais passando por C' e D . Portanto ) ' ; (
2 1
D C B A H , como
queramos demonstrar.

Exerccio 3:
Escreva o dual doTeorema anterior.

7. O TEOREMA DE PASCAL

Sem dvida, um dos mais belos teoremas da Geometria Projetiva. vlido para
qualquer cnica, apesar de que aqui s veremos a demonstrao para a
circunferncia, no plano euclidiano. importante mencionar, no entanto, que no
Plano Projetivo no h qualquer diferena entre uma circunferncia e qualquer
outra cnica no-degenerada.

Teorema 3: Os pontos de encontro entre os 3 pares de lados opostos de um
hexgono ABCDEF (convexo ou no) inscrito em uma circunferncia so
colineares.
A
E
P
C
Z
F
R
Q
Y
X
D
B

Consideremos o tringulo XYZ indicado na
figura. Aplicamos o Teorema de Menelaus
trs vezes:
XYZ , secante PDE:
1 =
EX
EZ
DZ
DY
PY
PX


XYZ , secante QBC:
1 =
CZ
CY
BY
BX
QX
QZ


XYZ , secante RAF:
1 =
FX
FZ
AY
AX
RZ
RY

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
24
Multiplicando essas trs ltimas equaes e lembrando que
XA XB = XE XF,
YA YB = YC YD e
ZC ZD = ZE ZF (potncia dos pontos x, y, z em relao
circunferncia), obtemos . 1 =
RZ
RY
QX
QZ
PY
PX


Logo, pelo recproco do Teorema de Menelaus no tringulo XYZ, secante
PQR, temos que P, Q e R so colineares.

Fazendo coincidir certos pares de pontos no hexgono ABCDEF, podemos
deduzir teoremas anlogos ao de Pascal para pentgonos, quadrilteros e
at tringulos inscritos na circunferncia. Por exemplo, fazendo coincidir
A com B e D com E, as retas DE AB e tornam-se tangentes circunferncia,
e obtemos a seguinte configurao:
C
P
A B
A
Q
R
D E
F
Figura 3

Exerccio 4:
Na figura anterior, verifique que o ponto comum s tangentes em C e F tambm
pertence reta PQR.

8. MAIS POLARIDADES

Agora estamos prontos para retomar nosso estudo das polaridade. Aproveitando
tudo o que vimos at aqui, vamos deduzir algumas propriedades mais avanadas.

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
25
Teorema 4: (Construo da reta polar usando apenas rgua)
Seja uma circunferncia e A um ponto exterior a ela.
Consideremos duas retas distintas passando por A e cortando nos pontos B, C,
D e E (figura). Ento a reta polar de A em relao a a reta que une os pontos
EC BD e CD BE .

A
B
P
E
Q
R
C
S


Demonstrao:

As polares de B, C, D e E so as retas b,
c, d, e e tangentes a em seus
respectivos plos.
Sendo c b R = e , e d S = temos
que as polares de R e S so as retas
BC r = e . DE s =
Como , s r A = sua polar a reta
. RS a =
Sendo CD BE P = e , EC BD Q =
um dos corolrios do Teorema de Pascal
garante que P, Q, R e S so colineares,
logo , PQ a = como queramos
demonstrar.
Teorema 5: (Relao entre reta polar e qudruplas harmnicas)
Dados uma circunferncia e um ponto exterior A, qualquer reta secante
circunferncia passando por A corta a polar a no conjugado harmnico do ponto
A em relao ao segmento com extremos nos dois pontos de corte da secante com
a circunferncia.

Demonstrao: Exerccio 5
(Dica: na figura anterior, use o quadriltero PBQC para encontrar o conjugado
harmnico de A em relao a ED).




Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
26
9. RESOLUO DO PROBLEMA INICIAL:

Podemos agora apresentar uma soluo simples e elegante para o problema
proposto no incio deste artigo.

S
P
B
A
c
C
B'
s
C'
A'
O
d
D


Seja d o dimetro perpendicular a OS .
Seja D

o ponto do infinito correspondente ao feixe de retas paralelas a d.


Queremos provar que ) ' , ' ' (

D C B A H . Para isto, basta provar que as retas SA,
SB , SC e

SD formam um feixe harmnico. Parece natural tentar verificar que


a reta AB corta o feixe em uma qudrupla harmnica. Mas isso equivale a provar
que SC a reta polar do ponto . AB SD


Isto simples:

C a interseco das polares de A e B, logo sua polar . AB c =

SD tangente circunferncia no ponto S, logo a polar de S ) ( s SD =

.
Assim, , c s AB SD =

e sua polar , portanto, SC , como queramos


demonstrar.




Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
27
APNDICE:
TEOREMA DE CEVA:
A
Q
N P
M
C B


Suponha que as cevianas AM, BN e
CP de um tringulo ABC se
encontrem em um ponto Q. Ento
. 1 =
AP
BP
BM
CM
CN
AN

Prova:
Suponha que C t B t A t Q
3 2 1
+ + = com . 1
3 2 1
= + + t t t
Ento teremos
3 2
3 2
t t
C t B t
M
+
+
= ,
3 1
3 1
t t
C t A t
N
+
+
= e .
2 1
2 1
t t
B t A t
P
+
+
=
Assim, 1
2
1
3
2
1
3
=
t
t
t
t
t
t
AP
BP
BM
CM
CN
AN



TEOREMA DE MENELAUS:
A
C
B
X
Y
Z


Suponha que AC Z BC Y AB X e ,
sejam colineares. Ento

. 1 =
AZ
CZ
CY
BY
BX
AX

Prova:
Suponha que B t tA X ) 1 ( + = e
. ) 1 ( C s sB Y + =
Ento , ) 1 ( Y u uX Z + = onde u tal que
, 0 ) 1 ( ) 1 ( = + u s u t ou seja,
.
1
) 1 )( 1 (
1
C
t s
t s
A
t s
st
Z
+

+
= Assim,
1
) 1 )( 1 (
1 1
=

=
t s
st
s
s
t
t
AZ
CZ
CY
BY
BX
AX



Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
28
CONTAR DUAS VEZES PARA GENERALIZAR
(O RETORNO)
Jos Paulo Q. Carneiro, Universidade Santa rsula

Nvel Avanado

1. A frmula que d diretamente a soma dos quadrados
2 2 2 ) 2 (
2 1 n S
n
+ + + = "
dos n primeiros inteiros positivos pode ser deduzida de vrias maneiras (por
exemplo, [3]). Uma das mais comuns partir da identidade:
( ) 1 3 3 1
2 3 3
+ + = + k k k k , escrev-la para k variando de 1 at n:
1 1 3 1 3 1 2
2 3 3
+ + =
1 2 3 2 3 2 3
2 3 3
+ + =
.........................................
( ) 1 3 3 1
2 3 3
+ + = + n n n n
e somar termo a termo estas n igualdades, obtendo:
( ) n S S n
n n
+ + = +
) 1 ( ) 2 ( 3 3
3 3 1 1
onde
2
) 1 (
2 1
) 1 (
+
= + + + =
n n
n S
n
" , como bem conhecido (ver [1]).
Substituindo este valor e fazendo as contas, chega-se a :
6
) 1 2 )( 1 (
2 1
2 2 2 ) 2 (
+ +
= + + + =
n n n
n S
n
"
Esta deduo bastante eficiente e rpida, mas, quando apresentada pela primeira
vez a um estudante, costuma deixar aquela sensao de coelho tirado da
cartola, devido ao aparecimento sbito de uma identidade cuja motivao no se
sabe de onde veio. Este tipo de sensao desperta admirao em uns, mas em
outros inspira uma frustrao, proveniente da reflexo: eu nunca vou conseguir
bolar um artifcio destes!. Coloca-se, portanto, a questo: h algum problema
onde a soma dos quadrados aparea naturalmente? E, para este problema, h
alguma outra maneira de resolv-lo, por meio da qual possamos deduzir a
frmula da soma dos quadrados?

2. Tradicionalmente, em problemas de contagem, o smbolo
p
n
C ( combinao
de n, p a p) representa o nmero de subconjuntos de p elementos contidos em
um conjunto de n elementos. Se, por exemplo, fizermos 2 = p , ento
2
n
C o
nmero de pares (no ordenados) que se pode extrair de um conjunto com n
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
29
elementos. Exemplos: o nmero de apertos de mo dados por n pessoas quando
cada uma cumprimenta todas as outras somente uma vez, ou ainda o nmero de
partidas de futebol em um campeonato com um s turno e n equipes. Em [1], um
artigo com o mesmo ttulo que o presente aproveitava justamente o ltimo
exemplo citado para mostrar como, resolvendo um mesmo problema de contagem
por dois mtodos diferentes, era possvel deduzir que:
2
n
C
2
) 1 (
) 1 ( 2 1
n n
n

= + + + = " .

3. Os pitagricos (sec.VI a.C.) chamavam os nmeros
2
n
C de nmeros
triangulares. O motivo que eles podem ser vistos como tringulos nas
figuras:

1
1
= T 3 2 1
2
= + = T 6 3 2 1
3
= + + = T 10 4 3 2 1
4
= + + + = T
Deste modo:
1
2

=
n n
T C , para 1 > n .
Alm dos nmeros triangulares, os pitagricos consideravam tambm os
nmeros quadrados 1 1
2
1
= = Q , 4 2
2
2
= = Q , etc., que podem ser
visualizados como quadrados (da seu nome).

Estas figuras pitagricas sugerem tambm uma relao interessante entre os
nmeros triangulares e os nmeros quadrados. Se voc partir o quadrado usando a
diagonal sudoeste-nordeste, e incluindo esta diagonal na parte de baixo, voc
poder olhar cada nmero quadrado como a soma de dois nmeros triangulares
consecutivos; mais especificamente:
n n n
T T Q + =
1
.


3 1 2
2
+ = 6 3 3
2
+ = 10 6 4
2
+ =

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
30
Esta relao pode, claro, ser confirmada algebricamente, j que:
n n n
Q n
n n n n
T T = =
+
+

= +

2
1
2
) 1 (
2
) 1 (
.

4. A observao precedente pode ser usada para calcular a soma dos quadrados
dos n primeiros nmeros naturais. De fato:
1 1
T Q =
2 1 2
T T Q + =
3 2 3
T T Q + =
...................
n n n
T T Q + =
1

Somando termo a termo, temos:
n n n n
T T T Q Q S + + + = + + =

) ( 2
1 1 1
) 2 (
" " . S
resta agora calcular
1 1
+ +
n
T T " , isto , a soma dos 1 n primeiros nmeros
triangulares. Para isto, lembremos que esta soma o mesmo que
2 2
3
2
2 n
C C C + + " , a qual vamos calcular pelo artifcio de resolver um mesmo
problema por duas contagens diferentes (ver [1]).

O nmero de subconjuntos de 3 elementos contidos em um conjunto A de 1 + n
elementos representado, como j se sabe, por
3
1 + n
C . Vamos contar estes
subconjuntos.

Para formar um subconjunto de A com 3 elementos, primeiramente escolhemos
um elemento A a . Para isto, temos 1 + n escolhas. Uma vez escolhido a,
temos n escolhas possveis para tomar um segundo elemento b; e para cada
escolha de a e b, temos 1 n escolhas possveis para selecionar o terceiro
elemento c. Isto d ento um total de ) 1 ( ) 1 ( + n n n escolhas. Mas claro que
esta contagem inclui repeties. Para cada c b a , , escolhidos, houve 6 repeties,
correspondentes s 6 permutaes destes elementos, a saber: c b a , , ; b c a , , ;
c a b , , ; a c b , , ; b a c , , ; a b c , , . Portanto:
6
) 1 ( ) 1 (
3
1
+
=
+
n n n
C
n
.
Por outro lado, se quisermos evitar desde o incio as repeties, podemos contar
do seguinte modo. Primeiramente, fixamos o elemento a; o nmero de
subconjuntos de A com 3 elementos e que possuem a o mesmo que o de
subconjuntos de } {a A com 2 elementos, isto :
2
n
C . Tomemos agora um
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
31
segundo elemento a b . O nmero subconjuntos de A com 3 elementos, que
possuem b mas no a, o mesmo que o de subconjuntos de } ; { b a A com 2
elementos, isto :
2
1 n
C . Analogamente, o nmero subconjuntos de A com 3
elementos, que contm c, mas no intersectam } , { b a , o mesmo que o de
subconjuntos de } ; ; { c b a A com 2 elementos, isto :
2
2 n
C . E assim por diante,
at que cheguemos ao antepenltimo elemento, quando j teremos contado todos
os subconjuntos A com 3 elementos. Logo:
3
1 + n
C
2
2
2
1
2
C C C
n n
+ + + =

" .

Deste modo, conclumos que:

1 1
+ +
n
T T " = + + =
2 2
3
2
2 n
C C C "
6
) 1 ( ) 1 (
3
1
+
=
+
n n n
C
n
. Conseguimos,
portanto, calcular a soma dos 1 n primeiros nmeros triangulares. Da
conclumos que:
n n n n
T T T Q Q S + + + = + + =

) ( 2
1 1 1
) 2 (
" "
2
) 1 (
3
) 1 ( ) 1 ( n n n n n +
+
+
=
6
) 1 2 )( 1 ( + +
=
n n n
.
Podemos generalizar as frmulas acima, calculando de duas maneiras diferentes o
nmero de subconjuntos de k + 1 elementos contidos em um conjunto A de n + 1
elementos, que representado por .
1
1
+
+
k
n
C
A primeira expresso para
1
1
+
+
k
n
C clssica e pode ser provada do mesmo modo
que foi feito para k + 1 = 3: temos
)! ( )! 1 (
)! 1 (
)! 1 (
) 1 )...( 2 )( 1 ( ) 1 (
1
1
k n k
n
k
k n n n n n
C
k
n
+
+
=
+
+ +
=
+
+


(lembremos que m! = 1 . 2 . ... . m).
Seja agora }. ,..., , {
1 2 1 +
=
n
a a a A O nmero de subconjuntos de k + 1 elementos de
A que contm
1
a
k
n
C (escolhemos os k elementos de A diferentes de
1
a ). O
nmero de subconjuntos de k + 1 elementos de A que contm
2
a mas no contm
1
a
k
n
C
1
, e assim sucessivamente, o que mostra a igualdade
. ...
1
1
1
k
k
k
n
k
n
k
n
C C C C + + + =

+
+

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
32
Se
!
) 1 )...( 2 )( 1 (
) (
1
k
n n k n k n
C n P
k
k n k
+ + +
= =
+
o "polinmio triangular
generalizado de dimenso k", temos que ) (n P
k
um polinmio em n de grau k, e,
pela frmula acima, temos
. ... ) ( ... ) 2 ( ) 1 (
1
1 1
+
+ + +
= + + + = + + +
k
k m
k
k m
k
k
k
k k k k
C C C C m P P P
Podemos, como antes, escrever
k
n como uma combinao linear dos polinmios
, 0 ), ( k j n P
j
e usar a frmula acima para obter uma frmula para
k k k k
n
n S + + + = ... 2 1
) (
(essa frmula ser a combinao correspondente dos
termos ,
1 +
+
j
j n
C com ). 0 k j
Tal frmula tambm pode ser obtida recursivamente como no incio do artigo,
somando as identidades

=
+
+ +
= +
k
r
r r
k
k k
j C j j
0
1
1 1
, ) 1 ( desde j = 1 at j = n,
ficando o lado esquerdo igual a 1 ) 1 (
1
+
+ k
n e o direito igual a
, ) 1 (
) (
1
0
1
) ( r
n
k
r
r
k
k
n
S C S k

=
+
+ + o que d . 1 ) 1 (
1
1
1
0
) (
1
1 ) (
|
|
.
|

\
|
+
+
=

=
+
+
k
r
r
n
r
k
k k
n
S C n
k
S

















Referncias Bibliogrficas:
[1] Carneiro, J.P., Contar duas vezes para generalizar, Eureka!, n6, pp.15-17, 1999.
[2] Eves, H., Introduo Histria da Matemtica, Editora da UNICAMP, 1995
[3] Valadares, E.C., e Wagner, E., Usando geometria para somar, Revista do Professor de
Matemtica, n39, pp.1-8, 1999.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
33
O PRINCPIO DO ELEMENTO EXTREMO
Jos Rosales Ortega
Escola de Matemtica, Instituto Tecnolgico de Costa Rica

Nvel Avanado

Resumo

O artigo expe um princpio de natureza heurstica chamado o "princpio do
extremo", que permite resolver problemas matemticos de nvel olmpico de
maneira simples.

1.- Introduo.
Muitos matemticos profissionais desejam contribuir para tornar a Matemtica
mais atrativa aos estudantes com talento. Uma forma de seguir este objetivo criar
problemas que requeiram uma grande dose de sentido comum, imaginao, e
muitas vezes, uma estratgia especfica de resoluo de problemas. Este artigo
introduz uma dessas estratgias, o "princpio do elemento extremo". Ainda que este
nome no seja amplamente usado, este princpio pode lhe ajudar a resolver
problemas matemticos que aparecem freqentemente em olimpadas. O material
baseado na experincia pessoal ganha ao trabalhar com estudantes com talento em
matemtica e na minha participao como organizador de vrias competies
olmpicas.

2.- A idia do princpio.
Considere uma fileira de estudantes ordenada em forma decrescente segundo a
altura. A maioria deles tem dois vizinhos. Dois "elementos extremos", o mais alto e
o mais baixo, tem somente um vizinho, porm estes dois elementos extremos
possuem outras propriedades muito teis. Por exemplo, quando contamos os
estudantes na fileira, a melhor maneira comear com um destes elementos
extremos.
Em matemtica, algumas vezes trabalhamos com conjuntos cujos elementos
parecem ser equivalentes e cujas propriedades conhecidas so poucas. Uma
estratgia poderosssima em tais casos considerar o elemento, ou os elementos,
que de alguma forma so elementos extremos. Por exemplo, quando consideramos
um conjunto infinito de nmeros naturais, o elemento extremo seu elemento
menor. Para um conjunto finito de nmeros reais os elementos extremos so o
mximo e o mnimo do conjunto.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
34
Em muitos casos o elemento extremo atrativo devido a que suas propriedades
adicionais nos permitem obter concluir sobre o mesmo elemento, ou sobre o do
conjunto como um todo. Por exemplo, em um tringulo o lado maior se ope ao
ngulo maior e vice-versa. Na continuao apresentamos mais exemplos.

Exemplo 1. Sejam os ngulos de um tringulo. Como o ngulo
maior, ento , 3 / j que, caso contrrio, teramos 3 / , 3 / < < e
3 / < , o que condradiz o fato de que . = + + Da mesma forma
podemos concluir que . 3 /
Tambm no difcil obter que, se o menor ngulo de um polgono convexo
com n lados (n > 3), ento . / ) 2 ( n n Para provar isto assuma o contrrio, e
use o resultado que estabelece que a soma dos ngulos no polgono igual a
) 2 ( n .
Exemplo 2. Considere trs raios com origem comum num mesmo plano, formando
trs ngulos , c b a tal que a + b + c = 2 . fcil ver que 3 / 2 c e
. 3 / 2 a Expresses similares podem ser encontradas se, em lugar de trs raios
considerarmos n raios com um origem comum.
a b
c

Exemplo 3. Os exemplos anteriores podem ser generalizados se considerarmos
uma sucesso
n
a a a ...
2 1
de nmeros reais tais que . ...
2 1 n
a a a s + + + =
Ento n s a /
1
e . / n s a
n

Estes exemplos so elementares, mas eles preparam o caminho para resolver o
primeiro exemplo no trivial.

Exemplo 4. Seis pontos em um plano so tais que quaisquer trs deles no so
colineares. Prove que trs desses seis pontos formam um tringulo que possui um
ngulo interno maior ou igual a
3
2
.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
35
Soluo: Denote os pontos por , ,..., .
6 2 1
A A A e seja M seu fecho convexo. Podem
ocorrer dois casos:

M possui seis vrtices. Aplicando o resultado da segunda parte do exemplo
1, para n = 6, vemos que o maior dos ngulos de M satisfaz a
desigualdade . 3 / 2 Se denotarmos por
i
A o vrtice de , e por
j
A e
k
A os vrtices adjacentes a , ento o tringulo
k j i
A A A tem a
propriedade requerida.

M possui menos de seis vrtices. Neste caso existem trs vrtices
k j i
A A A e , de M, e um ponto
l
A dentro do tringulo
k j i
A A A .
A
j
A
i
A
l
A
k


Aplicando o resultado do exemplo 2 aos raios A
l
A
i
, A
l
A
j
, e A
l
A
k
, segue-se que o
maior dos ngulos satisfaz a desigualdade . 3 / 2 Ento o tringulo
k j l
A A A possui a propriedade requerida.

3.- Aplicaes Geomtricas.
As aplicaes nesta seo esto relacionadas com objetos geomtricos. Em cada
caso o problema resolvido ao encontrar a maior ou a menor distncia, ngulo ou
rea.

Problema 1.- Em certo pas existem 100 cidades. As distncias entre cada par de
cidades esto especificadas, e todas so diferentes.
Uma estrada conecta duas cidades A e B se, e somente se, B a cidade mais
prxima de A ou A a cidade mais prxima de B.

Prove que existem no mximo 5 estradas que saem de cada cidade.
possvel que algumas das estradas formem um polgono?

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
36
Soluo: Provemos a primeira parte. Considere uma cidade X e duas estradas XA e
XB que ligam X a A e a B, respectivamente.
A
X
B

Segue-se que AB o maior lado do tringulo ABX . Isto verdade, pois, se (por
exemplo) AX for o maior lado do tringulo ABX , ento nem A a cidade mais
prxima para X, nem X a cidade mais prxima para A e portanto a estrada X no
deveria existir. Portanto, o ngulo B X A

o maior ngulo no tringulo ABX .


Segue-se (exemplo 1) que 60

B X A porque ABX escaleno.


Suponha que exista uma cidade X e que seis estradas vo desde X at outras
cidades. Ento a soma dos seis ngulos em volta de X deveria ser maior que
= 360 60 6 , o que impossvel.
Mostremos a segunda parte. Para isto suponhamos que existam estradas que
formam um polgono.
A estrada AB foi construda por um dos seguintes motivos:
A
C
B
D

B a cidade mais prxima de A, ou
A a cidade mais prxima de B.

Considere ainda sem perda de generalidade, que AB o maior lado do polgono.
Ento CA < AB e BD < AB. Portanto, B no a cidade mais prxima de A e A no
a cidade mais prxima de B. Logo, a estrada AB no deveria existir. Segue-se que
tal polgono no existe.

Problema 2.- Os comprimentos das bissetrizes de um tringulo ABC so menores
ou iguais a 1. Prove que a rea do tringulo menor ou igual a . 3 / 3
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
37
Soluo: Seja BAC = o menor ngulo do tringulo, e seja AD a sua bissetriz.
AB e AC no podem ser ambos maiores que ). 2 / cos( / AD Para demonstrar isso,
veja a figura:
B
y
D
A
/ 2
x C
) 2 / cos(
AD
Ay Ax = =
Suponhamos que ). 2 / cos( / AD AB . Como 60 , ento

.
3
2

30 cos

2
cos


AD AD
AB


Denotemos por
c
h e
c
l a altura e a bissetriz do vrtice C do tringulo ABC,
respectivamente. Ento, a rea do tringulo :
.
3
1
2
1

2
1
) ( = AB l AB h ABC
c c

Problema 3.- Sejam ) 3 ( > n n pontos num plano tais que a rea de qualquer
tringulo com trs desses pontos como vrtices no seja maior que 1. Prove que
todos os pontos esto contidos num tringulo, cuja rea menor ou igual a 4.

Soluo: Este problema tem o aspecto de ser muito difcil. A idia para resolv-lo
est baseada no seguinte: se voc tem um tringulo de rea 4, como poderia
relacion-lo com um tringulo de rea 1? Uma boa idia conectar os pontos
mdios dos lados do tringulo de rea 4. A rea do tringulo obtido 1.
Raciocinando inversamente, se temos um tringulo de rea 1 e se traarmos
paralelas m, n, p aos lados AB, BC e CA (de modo que C , m n A e p B ),
respectivamente, obteremos um tringulo de rea 4.
Agora no difcil completar a soluo. Considere todos os tringulos cujos
vrtices so trs quaisquer dos n pontos dados. Seja ABC o tringulo de maior rea.
Trace as retas m, n, p como foi descrito anteriormente. Se o ponto A e o ponto X
onde X um dos n pontos dados esto em diferentes lados de m, ento
). ( ) ( ABC ABX > Os outros casos so anlogos. Segue-se que nenhum dos pontos
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
38
dados est fora do tringulo MNP tringulo formado pelas interseces de m, n, p.
Como 1, ) ( ABC ento o tringulo MNP contm os pontos, e 4. ) ( MNP

4.- Aplicaes Algbricas.

Problema 4.- Em cada quadrado de um tabuleiro com infinitas fileiras e colunas,
se escreve um nmero natural. O nmero escrito em cada quadrado igual mdia
dos nmeros escritos em todos seus quadrados vizinhos (Dois quadrados so
vizinhos se eles compartilham um lado em comum.) Prove que todos os nmeros
escritos so iguais.

Soluo: Aqui aplicaremos o famoso resultado sobre conjuntos no vazios de
nmeros naturais, o qual estabelece que sempre h um elemento mnimo. Seja f o
menor dos nmeros naturais escritos no tabuleiro, e sejam a, b, c, d os nmeros
escritos nos quatro quadrados vizinhos de f. Ento
,
4
d c b a
f
+ + +
=
quer dizer f d c b a 4 = + + + . Como f o elemento mnimo, segue-se que
f c f b f a , , e . f d Se uma destas quatro desigualdades no uma
igualdade, ento teramos , 4 f d c b a > + + + o que um absurdo. Portanto, se x
um nmero escrito em uma casa da mesma coluna da casa na qual est escrito o
nmero f, ento x = f. O mesmo resultado vlido para as linhas. Logo, todos os
nmeros escritos so iguais.

Problema 5.- Em cada quadrado de um tabuleiro de m fileiras por n colunas, se
escreve um nmero real. O nmero em cada quadrado igual a mdia dos nmeros
escritos em todos seus quadrados vizinhos. (Dois quadrados so vizinhos se eles
compartilham um lado comum.) Prove que todos os nmeros escritos so iguais.
A soluo deste exerccio um pouco diferente da do exerccio prvio.

Soluo: H duas coisas diferentes. Primeiro, alguns quadrados tem menos que
quatro quadrados vizinhos. O leitor pode adaptar facilmente a situao ao
raciocnio da soluo do exemplo 4. Segundo, a existncia do nmero menor se
baseia em uma razo diferente: cada conjunto finito de nmeros possui um
elemento menor. Este um assunto importante. Se estamos tratando com
elementos extremos, devemos estar certos de que existem, qualquer que seja a
razo.


Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
39
Problema 6.- Prove que no existem inteiros positivos x, y, z e t tais que
). ( 3
2 2 2 2
t z y x + = +
Soluo: Algumas vezes no fcil imaginar como introduzir um elemento
extremo. Uma boa ideia nestes casos assumir a negao da proposio, e ver onde
se pode encontrar uma contradio.
Assuma que existem inteiros positivos x, y, z e t tais que ). ( 3
2 2 2 2
t z y x + = + J
que
2 2
y x + divisvel por 3, ento x, y tambm so divisveis por 3 (Prove).
Portanto, x = 3m e y = 3n, onde m, n so inteiros positivos. Depois de substituir 3m
por x e 3n por y na equao, e dividindo por 3, obtemos que
). ( 3
2 2 2 2
n m t z + = +
Pela mesma razo que antes se conclui que z = 3p e t =3q, onde p, q so inteiros
positivos. Logo, a equao original equivalente a
). ( 3
2 2 2 2
q p n m + = +
Portanto, obtivemos inteiros positivos m, n, p e q, que satisfazem a equao, e tais
que m < x, n < y, p < z e q < t. O argumento anterior pode ser usado
indefinidamente para obter sucesses decrescentes de nmeros inteiros positivos, o
que impossvel. Logo, a idia considerar o menor elemento, em algum sentido.
Sejam x, y, z e t inteiros positivos tais que ) ( 3
2 2 2 2
t z y x + = + e a soma
) (
2 2
y x + a menor entre todas as solues da equao. Seguindo o raciocnio de
antes obteremos os nmeros m, n, p e q, que satisfazem a equao, com m < x e n <
y. Portanto,
.
2 2 2 2
y x n m + < +
Esta uma contradio.


5.- Aplicaes Variadas.

A pergunta "Como comear a soluo?" parece ser a principal pergunta nas
solues dos problemas deste artigo. Espera-se que, quanto maior a quantidade de
exemplos que o leitor vir, maior ser a experiencia ganha. Portanto exporemos
mais exemplos que ajudem a exemplificar o princpio do extremo.

Problema 7.- Existir uma funo f : N* N*; onde N* o conjunto dos inteiros
positivos tais que se cumpra a seguinte igualdade para cada nmero natural n > 1:
? )) 1 ( ( )) 1 ( ( ) ( + + = n f f n f f n f
Soluo: A resposta NO. Para ver isto observe que entre os valores
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
40
),..., ( ),..., 3 ( ), 2 ( n f f f
deve haver um elemento mnimo, digamos que seja f(n
0
), onde n
0
> 1.
Observe que
. 1 1 1 )) 1 ( ( )) 1 ( ( ) ( ) 1 (
0 0 0 0
> + + + = + n f f n f f n f n f

Como
, 1 ) 1 (
0
> + n f ento ),...} 3 ( ), 2 ( { )) 1 ( (
0
f f n f f +


Portanto, ), ( )) 1 ( (
0 0
n f n f f + o que implica que
), ( 1 )) 1 ( ( )) 1 ( ( ) (
0 0 0 0
n f n f f n f f n f + + + =
o que impossvel.

Problema 8.- Cada quadrado de um tabuleiro de dimenses 8 8 contm ou um 0
ou um 1. Para cada quadrado A que contm um 0, a soma dos nmeros na mesma
fileira de A e os nmeros na mesma coluna de A maior ou igual a 8. Prove que a
soma de todos os nmeros no tabuleiro maior ou igual a 32.

Soluo: Considere a soma dos nmeros em cada fileira e em cada coluna. Escolha
a menor destas somas. Suponha que tal soma corresponda fileira L. Denote por k
o nmero de nmeros 1 que aparecem em L. Podem ocorrer os seguintes casos:

k 4. Ento cada fileira contm ao menos quatro nmeros 1. Portanto, a
soma de todos os nmeros no tabuleiro maior ou igual a 4 8 = 32.

k < 4. Ento existem 8 k zeros em L. Cada coluna que cruza L em um
quadrado com um 0 contm no menos que 8 k uns. Portanto, a soma de
todos os nmeros no tabuleiro maior ou igual a
. 32 16 2 ) 16 ) 4 (( 2 ) 8 32 ( 2 ) 8 (
2 2 2 2
= + = + = + k k k k k

Uma extenso do princpio do extremo a seguinte regra: "ordene os elementos
segundo o seu tamanho (valor)". Esta regra usada na soluo do seguinte
problema.

Problema 9.- A soma de 17 inteiros positivos distintos igual a 1000. Prove que
podem ser escolhidos 8 destes inteiros de tal forma que a sua soma maior ou
igual a 500.

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
41
Soluo: Ordene os inteiros em uma fileira . ...
17 2 1
a a a < < < Considere o
nmero
9
a que a metade da fileira, e o valor mdio da soma, parte inteira de
1000/17, que 58. Podem ocorrer os seguintes casos:

a
9
58. Ento a
10
59, a
11
60,..., a
17
66. Portanto,
a
10
+ a
11
+...+ a
17
59 + 60 +...+ 66 = 500.

a
9
< 58. Ento a
9
57, a
8
56,..., a
1
49. Portanto,
a
1
+ a
2
+...+ a
9
49 + 50 +...+ 57 = 477.

Segue que a
10
+ a
11
+...+ a
17
1000 477 > 500.

Problema 10.- Encontre todas as solues positivas do sistema
2
2 1 5
2
1 5 4
2
5 4 3
2
4 3 2
2
3 2 1
, , , , x x x x x x x x x x x x x x x = + = + = + = + = +

Soluo: Sejam x e y o maior e o menor dos nmeros , ,...,
5 1
x x respectivamente.
Observe que temos que x x 2
2
e . 2
2
y y Como x > 0 e y > 0 segue-se que
2 x e que , 2 y logo se conclui que
. 2 2 x y
Portanto, segue-se que a nica soluo do sistema dada por
. 2 ...
5 2 1
= = = = x x x

6.- Exerccios.

Nesta seo voce encontrar alguns problemas que so resolvidos por meio do
princpio do extremo, estando claro que pode haver outras solues que no usem
este princpio. Mas pede-se ao leitor que faa todo o esforo possvel para
resolver os seguintes exerccios usando unicamente o princpio do extremo.

1. Os nmeros positivos x, y e z so tais que
.
1
2
,
1
2
,
1
2
x
x
z
z
z
y
y
y
x
+
=
+
=
+
=
Prove que x = y = z.

2. Seis crculos iguais num mesmo plano possuem um ponto em comum. Prove
que um dos crculos contm o centro de outro dos crculos.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
42

3. Oito pontos so escolhidos dentro de um crculo de raio um. Prove que existem
dois pontos cuja distncia menor que 1.

4. A soma de vrios nmeros reais no negativos 3, e a soma de seus quadrados
estritamente maior que um. Prove que podem ser escolhidos trs destes nmeros
cuja soma estritamente maior que um.



















Referncias

[1] Mara Falk de Losada, Problemas y Soluciones 1987-1991, Nivel
Superior, Universidad Antonio Nario, Colombia, 1994.
[2] Eduardo Wagner, Carlos Gustavo T. de A. Moreira et al, 10 Olimpadas
Iberoamericanas de Matemtica, OEI, Madrid, 1996.
[3] Loren Larson, Problem -Solving Through Problems, Springer - Verlag,
New York, 1983.
[4] G. Polya, How to solve it, Princeton University Press, USA, 1965.
[5] D. O. Shklarsky, N.N Chentzov e I.M. Yaglom, The USSR Olympiad
Problem Book, Dover Publications, New-York, 1993.
[6] Ravi Vakil, A Mathematical Mosaic: patterns and problem-solving,
Bredan Kelly Publishing, Burlington, Ontario, 1996.

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
43
FUNES MULTIPLICATIVAS E A FUNO DE MBIUS*
Carlos Gustavo. T. de A. Moreira, IMPA & Nicolau Saldanha, PUC-Rio

Nvel Avanado

Recordamos inicialmente uma propriedade da funo de Euler, provada em [2]
(Lema 2, pgina 52). Lembremos que, para n inteiro positivo,
}. 1 ) , ( mdc e 0 | { } mdulo invertvel | / { # : ) ( = < = = n m n k k # n a n a n Z Z Z

Teorema 1: Para todo natural n,

=
n d
n d
|
. ) (
Prova: Considere as n fraes

n
n
n n
1
,...,
1
,
0


e simplifique cada uma delas: obtemos assim, para cada d|n, (d) fraes com
denominador d, donde segue a identidade do enunciado.

Mais formalmente, dado Z Z n a / , sejam d = n/(n, a) e a' = a/(n, a).
Claramente )*, / ( ' Z Z d a e definimos assim uma funo de ) /(n Z para a unio
disjunta dos conjuntos * ) / ( Z Z d , onde d varia sobre os divisores de n. A inversa
desta funo leva * ) / ( ' Z Z d a em , / ' com , d na a a = donde a funo uma
bijeo



O processo de construir g a partir de f como

=
n d
d f n g
|
) ( ) (
bastante comum em teoria dos nmeros Um fato interessante sobre este tipo de
construo ligado noo de funes multiplicativas. Dizemos que C N : f
multiplicativa se ). ( ) ( ) ( 1 ) , ( n f m f mn f n m mdc = = A funo de Euler, por
exemplo, multiplicativa (ver o corolrio da pgina 47 de [2]). Se f uma funo
multiplicativa e
k
k
p p p n

...
1 1
2 1
= a fatorao prima de n, ento


* Adaptado do livro Primos de Mersenne (e outros primos muito grandes), dos mesmos
autores([1]).
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
44
). ( ) (
1
i
i
k
i
p f n f

=
= Alm disso, vale a seguinte

Proposio: Se C N : f multiplicativa ento C N : g ,

=
n d
d f n g
|
) ( ) (
multiplicativa.

Prova: Se

= = = = =
mn d
n d
m d
n d
m d
d f d f d d f d f mn ,g n m mdc
|
|
|
2 1
|
|
2 1
2
1
2
1
) ( ) ( ) ( ) ( ) ( 1 ) , (
) ( ) ( ) ( ) (
|
2
|
1
2 1
n g m g d f d f
n d m d
=
|
|
.
|

\
|
|
|
.
|

\
|




Note que esta proposio fornece uma nova prova do Teorema 1: pela
multiplicidade de

n d
d
|
) ( , basta provar que

=
n d
n d
|
) ( se n potncia de
primo, mas se p primo

=

= =
= + = + = =
k
j
k j j
k
j
j
k
j
j
p d
p p p p p d
k
1
1
1 0 |
. ) ( 1 ) ( 1 ) ( ) (
Seria interessante poder inverter em geral identidades do tipo

=
n d
d f n g
|
) ( ) (
para escrever f a partir de g. O teorema anterior nos mostra que se fazemos f =
na equao acima temos g(n) = n; invertendo esta identidade teramos uma
frmula para . Vamos mostrar como fazer este tipo de inverso.

Definimos a funo de Mbius Z N : por

=
=
fatorao. sua em repetido primo fator algum tem se 0,
distintos, primos ,..., , com , ... se , ) 1 (
) (
2 1 2 1
n
p p p p p p n
n
m m
m


Assim, (1) = (6) = (10) = 1, (2) = (3) = (5) = (7) = 1 e (4) = (8) =
(9) = 0. Note que uma funo multiplicativa.




Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
45
Lema: Para todo inteiro positivo n temos

>
=
=
n d
n
n
d
|
. 1 se , 0
, 1 se , 1
) (


Dem: Como multiplicativa,

=
n d
d n h
|
) ( ) ( multiplicativa.
Temos h(1) = 1 e, para cada p primo e k 1 inteiro,

=
= + = =
k
j
j k
p p h
0
, 0 ) 1 ( 1 ) ( ) (
donde, se n > 1, 0 ) ( ) ( ) ( ) ( ...
2 1 1
2 1 1
= = =
k k
k k
p h p h p h n h p p n



Teorema 2: (Frmula de inverso de Mbius) Se para todo n > 0 temos

=
n d
d f n g
|
) ( ) (
ento

=
n d
d g d n n g
|
). ( ) / ( ) (

Dem: Basta provar que

|
|
.
|

\
|
=
n d d d
d f d n n f
| '|
. ) ' ( ) / ( ) (

Mas, escrevendo d'' = n/d e m = n/d' temos


=
|
|
.
|

\
|
=
|
|
.
|

\
|
n m m d n d d d
n f m n f d d f d n
| '| ' | '|
) ( ) / ( ) ' ' ( ) ' ( ) / (



Corolrio: Para todo natural n,

= =
n d n d
d
d
n d d n n
| |
.
) (
) / ( ) (


Teorema 1.22: (Segunda frmula de inverso de Mbius) Sejam f e g funes
reais com domnio (0, +) tais que f(t) = g(t) = 0 para todo t < 1. Se

|
.
|

\
|
= |
.
|

\
|
=

=

=
k
x
f
k
x
f x g
x
k k 1 1
) (

para todo x ento, para todo x,
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
46


=

=
|
.
|

\
|
= |
.
|

\
|
=
x
k k
k
x
g k
k
x
g k x f
1 1
. ) ( ) ( ) (
Prova: Basta provar que
, ) ( ) (
1 1
|
|
.
|

\
|
|
.
|

\
|
=


=

= r k
kr
x
f k x f
mas, tomando m = kr a ltima soma igual a
, ) (
1 |

=
|
|
.
|

\
|
|
.
|

\
|
|
|
.
|

\
|
m m k
m
x
f k
que pelo lema igual a f(x)



Apesar de no estar relacionada com o resto da nossa discusso, no podemos
deixar de mencionar a seguinte conjectura.

Conjectura (Hiptese de Riemann): Se 2 / 1 > ento

=

=
n
m
n
m
n
1
. 0 ) (
1
lim



Esta uma das formulaes da famosa hiptese de Riemann, um dos problemas
em aberto mais importantes da matemtica.
Podemos reenunciar esta conjectura assim: seja R +) , 0 ( : f definida por
0 ) ( = t f se t < 1 e

=
=
1
. 1 se , 1 ) / (
k
t k t f
Ento, para todo , 2 / 1 >
. 0
) (
lim =


t
t f
n

De fato, pela segunda frmula de inverso de Mbius temos

=
=
t
m
m t f
1
). ( ) (

[1] Carlos Gustavo T. de A. Moreira e Nicolau Saldanha, Primos de Mersenne (e outros
primos muito grandes), 22
o
. Colquio Brasilerio de Matemtica IMPA, 1999.

[2] Carlos Gustavo T. de A. Moreira, Divisibilidade, congruncias e aritmtica mdulo n,
Eureka! N
o
. 2, pp. 41-52.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
47
OLIMPADAS AO REDOR DO MUNDO

A partir deste nmero da EUREKA! apresentaremos esta nova seo
cujo objetivo contemplar os leitores que no tm facilidade de acesso a
problemas de competies de outras naes com alguns exemplos de problemas,
de tais competies.

Naes distintas possuem culturas matemticas distintas, portanto o leitor
pode achar alguns problemas extremamente fceis e outros extremamente
difceis. Tentaremos apresentar uma grande variedade de problemas
principalmente daqueles pases que costumam ter um bom desempenho na
Olimpada Internacional de Matemtica. Divirtam-se e mandem suas solues.

Antonio Luiz Santos
PROBLEMAS:

1. (Bulgria-1998) Seja ( ) 1 3
3
+ = x x x f . Determine o nmero de solues reais
distintas da equao ( ) ( ) 0 = x f f .
2. (Repblicas Tcheca e Eslovaca-1998) Determine todos os nmeros reais x tais que

88 = x x x x .
3. (ustria/Polnia-1998) Considere todos os pares ordenados ( ) b a, de nmeros
naturais tais que o produto
b a
b a , escrito na base 10, termina com exatamente
98 zeros. Determine o par ( ) b a, para o qual o produto ab o menor possvel.
4. (Reino Unido-1998) Em um tringulo ABC, D o ponto mdio de AB e E um
ponto do lado BC tal que BE = 2EC. Sabendo que ADC = BAE determine
a medida do ngulo BAC.
5. (Turquia-1998) Seja ( )
n
a uma seqncia de nmeros reais definida por t a =
1
e
( )
n n n
a a a =
+
1 4
1
para 1 n . Para quantos valores distintos de t teremos
0
1998
= a ?
6. (Rssia-1998) Um nmero de 10 algarismos dito interessante se todos os seus
algarismos so distintos e ele um mltiplo de 11111. Quantos nmeros
interessantes existem?
7. (Rssia-1998) Existem nmeros de 5 algarismos M e N onde todos os algarismos
de M sejam pares, todos os algarismos de N sejam mpares, cada um dos
algarismos de 0 a 9 ocorrendo exatamente uma vez entre M e N e tais que M
divide N?
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
48
8. (Romnia-1998) O volume de um paraleleppedo
3
216cm e a sua rea total
2
216cm . Mostre que o paraleleppedo um cubo.
9. (Irlanda-1998) Um tringulo ABC possui medidas dos lados expressas por
nmeros inteiros, A = 2B e C > 90. Determine o valor mnimo do
permetro deste tringulo.
10. (Canad-1998) Em um tringulo ABC tem-se que BAC = 40 e ABC = 60.
Sejam D e E pontos sobre os lados AC e AB respectivamente tais que CBD
= 40 e BCE = 70. Mostre que a reta que contm AF perpendicular que
contm BC.
11. (China-1999) A base de uma pirmide um polgono convexo de 9 lados. Pinta-
se cada uma das diagonais da base e cada uma de suas arestas laterais de
preto ou de branco (observe que os lados da base no esto coloridos). Mostre
que existem trs segmentos coloridos com a mesma cor que formam um
tringulo.
12. (Irlanda-1999) Trs nmeros c b a < < esto em progresso aritmtica se
a b b c = . Definamos a seqncia ( )
n
u , ,... 3 , 2 , 1 , 0 = n da seguinte
maneira : 0
0
= u , 1
1
= u e para cada 1 n ,
1 + n
u o menor inteiro positivo
tal que
n n
u u >
+1
e { }
1 1 0
, ,..., ,
+ n n
u u u u no possui trs elementos em
progresso aritmtica. Determine
100
u .
13. (Irlanda-1999) Uma funo f : N N satisfaz s condies :
( ) ( ) ( ) 1, e de comum divisor mximo o se b a b f a f ab f =
( ) ( ) ( ) . e primos nmeros os todos para q p q f p f q p f + = +
Mostre que ( ) ( ) 3 3 f , 2 2 = = f e ( ) 1999 1999 = f .
14. (Sua-1999) Determine todas as funes f : R\ { } 0 R satisfazendo
( ) x
x
f x f
x
= |
.
|

\
|
+
1 1
para todo x R\ { } 0 .
15. (Sua-1999) Dois crculos intersectam-se em dois pontos M e N. Um ponto A
qualquer do primeiro crculo, distinto de M e N, unido aos pontos M e N de
modo que as retas AM e AN intersectam novamente o segundo crculo nos
pontos B e C. Mostre que a tangente ao primeiro crculo em A paralela a
BC.
16. (Estnia-1999) Mostre que o segmento que une o ortocentro e o baricentro de um
tringulo acutngulo ABC paralelo ao lado AB se, e somente se,
3 = B tg A tg .
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
49
17. (Ucrnia-1999) Mostre que o nmero 1999000 9999999 + composto.
18. (Armnia-1999) Resolva a equao
( )
1
3 4
1 1
2 2
=

+
x
x

19. (Litunia-1999) Duas cordas AB e CD de um crculo intersectam-se no ponto K.
O ponto A divide o arco CAD em duas partes iguais. Se AK = a, KB = b,
determine a medida da corda AD.
20. (Espanha-1999) Mostre que existe uma seqncia de inteiros positivos
( ) ,... ,..., ,
2 1 n
a a a tal que
2 2
2
2
1
...
n
a a a + + + um quadrado perfeito para todo
inteiro positivo n.
21. (Estnia-1999) Determine o valor da expresso
|
.
|

\
|
+ + |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
+ + |
.
|

\
|
+ |
.
|

\
|
1
2000
1999
2000
2000
2000
2000
1999
2000
2
2000
1
f f f f f f
supondo que ( )
2
2
1 x
x
x f
+
= .
22. (Eslovnia-1999) Inicialmente os nmeros
1999
1
,
1998
1
..., ,
3
1
,
2
1
, 1 so escritos
em um quadro negro.
Em cada passo, escolhemos dois destes nmeros, digamos a e b, e os
substitumos pelo nmero ab b a + + . Continuamos desta maneira at que
reste um nico nmero no quadro negro. possvel que este nmero seja
2000? Justifique sua resposta.
23. (Rssia-1999) A soma dos algarismos de um inteiro positivo nescrito no sistema
de numerao decimal igual a 100 e a soma dos algarismos do nmero
n 44 800. Determine a soma dos algarismos do nmero n 3 .
24. (Rssia-1999) Um crculo que passa pelos vrtices A e B de um tringulo ABC
tangente ao lado BC, e o crculo que passa pelos vrtices B e C e tangente
ao lado AB intersecta o primeiro crculo no ponto K, K B . Se O o centro
do crculo circunscrito ao tringulo ABC, mostre que
2

= BKO .
25. (Espanha-2000) Determine o maior nmero inteiro N que satisfaz as seguintes
condies :
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
50
(a)
(

3
N
possui seus trs algarismos iguais.
(b)
(

3
N
igual soma de n nmeros naturais consecutivos a partir de 1.
26. (Espanha-2000)
B
A

A figura mostra um plano com ruas que
delimitam 12 quadras quadradas. Uma
pessoa P caminha de A at B e outra Q
caminha de B at A.
Ambas partem ao mesmo tempo
seguindo caminhos de comprimento
mnimo com a mesma velocidade
constante.
Em cada ponto com duas possveis
direes a tomar, ambas possuem a
mesma probabilidade.
Determine a probabilidade de que P e
Q se cruzem.

27. (Polonia-2000) Prove ou disprove a seguinte afirmativa :
Todo nmero racional positivo pode ser escrito sob a forma
7 5
3 2
d c
b a
+
+
onde a,
b, c e d so inteiros positivos.

28. (Polonia-2000) Seja I o incentro de um tringulo ABC com AB AC. As retas
suportes dos segmentos BI e CI intersectam os lados AC e AB nos pontos D e
E respectivamente. Determine todos os ngulos BAC para os quais a
igualdade DI = EI pode ser satisfeita.

29. (ustria/Polonia-1999) Determine todos os pares de inteiros positivos ( ) y x, tais
que
x y y x
y x
+
= .
30. (Polonia-1998) Determine todos os pares de inteiros positivos ( ) y x, tais que
50
x y
x
= .
31. (Baltic Way-1999) As bissetrizes dos ngulos A e B do tringulo ABC
intersectam os lados BC e CA nos pontos D e E respectivamente. Supondo
que AB BD AE = + , determine a medida do ngulo C.


Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
51
SOLUES DE PROBLEMAS PROPOSTOS
Publicamos aqui algumas das respostas enviadas por nossos leitores.


36) Na figura abaixo o tringulo DEF tem rea de medida S. Sabendo-se que o
tringulo DEF est inscrito num tringulo arbitrrio ABC, mostre que as
medidas S
i
( i = 1, 2, 3) das reas dos outros tringulos formados satisfazem a
desigualdade
3 2 1
1 1 1
3
S S S
S
+ +
e que a igualdade ocorre se e s se os
pontos DEF so os pontos mdios dos lados do tringulo, ABC.
S
2
S
S
1
S
3
A
F
B
D
E
C


Soluo de Carlos Alberto da Silva Victor (Rio de Janeiro - RJ):
S
2
S
S
1
S
3
A
F
B
D
E
C
b x
a y
c z x
z
y

=
=
=
a BC
c AB
b AC

Provar que
3 2 1
1 1 1
3
S S S
S
+ +
idntico a mostrar que . 3
3 2 1
+ +
S
S
S
S
S
S


Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
52
Se k a rea de ABC, temos ento:

b a
y x k
S


=
1
; ;
) (
2
c b
x b z k
S


=
c a
y a z c k
S


=
) ( ) (
3
e .
3 2 1
S S S k S =

Faamos tambm:
;
1
b
x
m =
c
z
m =
2
e
a
y
m =
3
e evidentemente teremos 1 0
1
< < m ; 1 0
2
< < m ;
1 0
3
< < m ; e consequentemente: ) 1 ( ;
1 2 2 3 1 1
m km S m m k S = = e
). 1 ( ) 1 (
3 2 3
m m k S = Seja .
1 1 1
) (
3 2 1
3 2 1
|
|
.
|

\
|
+ + =
S S S
S S S k

Portanto
( )
3
1
1
) 1 )( 1 (
1 1
1
3
3 2
) 1 ( 1
3 2 1 2
1
2
2
3
3
2
2 3

+

+
+

+ + =

m
m
m m
m m m m
m
m
m
m
m
m
m m



ou seja:

3
1
1
1
1
1
1
3 2 1
3
1
1
3
2
1
1
2
2
3
3
2

+ + =

m
m
m
m
m
m
m
m
m
m
m
m


como a soma de qualquer nmero positivo x com o seu inverso sempre maior do
que 2 ou igual a 2, valendo a igualdade se e s se x = 1 ( de fato,
), 0
1
2
1
2

|
|
.
|

\
|
= +
x
x
x
x teremos: . 3 3 2 2 2 = + + observe tambm
que s temos 2
1
= quando ;
3 2
m m = 2
2
= quando
2 1
1 m m = e que 2
3
=
quando
1 3
1 1 m m = ; ou seja ,
2
1
3 2 1
= = = m m m o que garante que os pontos
D, E e F so mdios dos lados correspondentes e como consequncia teremos o
mnimo de . 3 =
Concluso: 3 e a igualdade ocorre para os pontos mdios.




Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
53
37) Cinco quadrados so dispostos conforme ilustra o diagrama abaixo. Mostre
que a medida da rea do quadrado S igual a medida da rea do tringulo T.
S
T


Soluo de Geraldo Perlino (Itapecerica da Serra - SP):
S2
b a
h
e
d
d
e


b a
b
S1
b a
c

c


a
a
b





Prove : S
1
= S
2
S
1
= c
2
e
2 2 2
c b a = + (Pitgoras)
2
2
dh
S = ) (
2
) (
2
+ = + = sen e
d
S sen e h
) cos cos (
2
2
+ = sen sen e
d
S ;
2 2 2
4a b d + = e . 4
2 2 2
b a e + =
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
54
|
|
.
|

\
|
+ =

= =
= =
de
a
de
b
e
d
S
e
b
d
a
e
a
sen
d
b
sen
2 2
2
2 2

2 2
cos ;
2
cos
;


.
2 2 2
2
c b a S = + =


38) Os lados e diagonais de um polgono regular de n lados so coloridos em k
cores tais que:
i) para cada cor a e dois vrtices A e B do polgono, o segmento AB colorido
de a ou existe um vrtice C tal que AC e BC so coloridos de a.

ii) os lados de qualquer tringulo com vrtices entre os vrtices do polgono so
coloridos usando no mximo 2 cores.
Prove que k 2.

Soluo:
Suponha que haja pelo menos 3 cores a, b e c. Vamos construir um subconjunto
infinito de vrtices de X, o que uma contradio.
Fixemos um vrtice Z X. Existe um vrtice A
1
tal que A
1
Z tem a cor a, e um
vrtice B
1
tal que a cor de B
1
A
1
e de B
1
Z b. Existe um vrtice C tal que as cores
de C
1
Z e C
1
B
1
so C. Considerando os tringulos C
1
A
1
Z e C
1
A
1
B
1
, e usando a
condio ii), conclumos que a cor de C
1
A
1
tem que ser C.
Vamos construir por induo vrtices
n n n
C B A , , para cada inteiro positivo n,
todos distintos tais que, para todo i < n, as cores de
n i n i n i n
A C A B A A ZA e , , so
a, as cores de
n n n i n i n i n
B A B C B B B A ZB e , , , so b e as cores de
. so e , , , , c C B C A C C C B C A ZC
n n n n n i n i n i n

Suponhamos contrudos
j j j
C B A , , para . 1 n j
Por i), existe
1 + n
A tal que as cores de
n n
B A
1 +
e
n n
C A
1 +
so a. Considerando os
tringulos P B A
n n 1 +
e ,
1
P C A
n n+
(e usando a condio ii), conclumos que a cor
de P B A
n n 1 +
tem que ser a, para cada ponto P criado anteriormente. Do mesmo
modo, existe
1 + n
B tal que as cores de
1 1 + + n n
A B e
n n
C B
1 +
so b. Considerando os
tringulos P A B
n n 1 1 + +
e ,
1
P C B
n n+
para cada ponto P criado anteriormente,
conclumos que a cor de P B
n 1 +
tem que ser b. Por fim, existe
1 + n
C tal que as
cores de
1 1 + + n n
B C e
1 1 + + n n
A C so c, e, considerando os tringulos P B C
n n 1 1 + +
e
,
1 1
P A C
n n + +
para cada ponto P criado anteriormente, conclumos que a cor de
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
55
P C
n 1 +
tem que ser c. fcil ver que os pontos criados so todos distintos. Por
exemplo: como a cor de Z A
n
a, temos
k n
B A e
k n
C A para todo k. Como a
cor de
1 n n
B A a, Z A
n
, e como a cor de
1 n n
C A a, ,
j n
A A para todo
. n j <


39) Sejam x, y e z os ngulos de um tringulo de lados opostos a, b e c
respectivamente. Prove que . 2
1 1 1 1 1 1
|
|
.
|

\
|
+ +
|
|
.
|

\
|
+ + |
.
|

\
|
+ +
|
|
.
|

\
|
+
z
c
y
b
x
a
y x
c
x z
b
z y
a

Soluo:
a
y
c
x
b
z

Suponha sem parda de generalidade que . c b a
Teremos por tanto , z y x logo .
1 1 1
z y x

Temos ento . 0
1 1
) ( e 0
1 1
) ( , 0
1 1
) ( |
.
|

\
|

|
|
.
|

\
|

|
|
.
|

\
|

z x
a c
y z
c b
x y
b a
Somando essas 3 desigualdades obtemos a desigualdade do enunciado.


40) a) Calcular a soma dos divisores positivos de um nmero natural em termos
de sua fatorao prima.
b) Dizemos que n 1 abundante se a soma de seus divisores maior que
2n. Prove que se n abundante ento kn abundante para todo inteiro k 1.
c) Prove que existe n
0
N tal que todo inteiro n n
0
pode ser escrito como
soma de dois nmeros abundantes.

Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
56
Soluo de Marcio Afonso Assad Cohen (Rio de Janeiro - RJ):
a) Seja
n
n
p p p p k

= ...
3 2 1
3 2 1

Todo divisor de k da forma
n
a
n
a a
p p p ...
2 1
2 1
com , 0
i i
a e reciprocamente.
Portanto a soma de todos os divisores :

= = =

= = =
= = =

n
n
n
n
n
n n
n
n
a
a
n
a a
a
n
a a a
n
a a
a a a
p p p p p p p k S

0 0 0
1 2 1 2 1
0 0 0
) ... ( ... ) ... ( ... ) (
1
1
1
1
1 2 1 2 1
2
2
1
1
(pois
1 1
1 1
...


n
a
n
a
p p constante para o somatrio em a
n
).
|
|
.
|

\
|

=
+


1
1
... ...
1
1 2 1
0
1 2 1
1
1
1
1
n
n a
n
a a
a a
p
p
p p p
n
n
n
n

(soma da P.G.)

=

+


|
|
.
|

\
|

1
1
1
1
1 1
0
1 1
1
. ... ...
1
1

a a
a
n
a
n
n
n
n
n
n
p p
p
p
(pois
1
1
1

+
n
n
p
p
n

constante em relao s
variveis
1 2 1
,..., ,
n
a a a ).
Procedendo de maneira anloga, agora para o termo
1 n
p , e assim por diante
obtemos:
|
|
.
|

\
|


|
|
.
|

\
|

|
|
.
|

\
|

=
+ +
1
1
...
1
1
1
1
) (
2
1
2
1
1
1
2 1
n
n
p
p
p
p
p
p
k S
n

, que o que queramos.
b) Vamos analisar a razo
k
k S ) (
para
n
n
p p k

= ...
1
1

Temos que
=
+ + +

+ + + +
=
|
|
.
|

\
|


|
|
.
|

\
|

=
+ +
n
n n
n
n n
n
n
p
p p
p
p p p
p
p
p
p
k k
k S


) ... 1 (
...
) ... 1 (
1
1
...
1
1 1 ) (
1
1 1
1
1
2
1 1
1
1
1
1

.
1
...
1
1 ...
1
...
1 1
1
1
1
2
2 1
|
|
.
|

\
|
+ + +
|
|
.
|

\
|
+ + + + =
n
n n
p p
p p p


Agora se multiplicarmos k por
s
k
s
k k
q q q m = ...
2 1
2 1
, duas coisas podem acontecer:
i) Para cada primo
i
p que aparece na fatorao de k e de m, o fator
referente a ele no produtrio
kn
kn S ) (
aumenta, pois, 0
1
,..., 0
1
1
> >
+ + r
i i
i i
p p


e portanto, .
1
...
1
1
1
...
1
1
|
|
.
|

\
|
+ + <
|
|
.
|

\
|
+ + +
+r
i i i i
i i
p p p p


Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
57
ii) Para cada primo
j
q que s aparece na fatorao de k, vemos que ao
calcularmos ,
) (
km
km S
aparecer um novo fator , 1
1
...
1
1 >
|
|
.
|

\
|
+ + +
j
k
j
j q
q
de modo que
k
k S
km
km S ) ( ) (
> .
Em qualquer caso portanto, vale . * ,
) ( ) (
N m
k
k S
km
km S
Em particular, k
abundante . 2
) (
2
) (
> >
km
km S
k
k S


c) Note que na letra b), vale a desigualdade estrita
k
k S
km
km S ) ( ) (
> para todo
. 2 m
Em particular, como , 2
3
4
2
3
3
1
1
2
1
1
6
) 6 (
= = |
.
|

\
|
+ |
.
|

\
|
+ =
S

vemos que todo mltiplo de 6, maior do que 6 abundante. (pois
) 2
6
) 6 (
6
) 6 ( ) (
1 ; 6 = > = > =
S
t
t S
n
n S
t t n
Logo, se para um natural N, existe
1
N abundante tal que , 6 mod
1
N N e
, 6
1
> N N ento N t;t N N t t N N > + = = 1 6 ; 6
1 1
N pode ser escrito
como soma de dois nmeros abundantes.

Nosso problema se resume ento a descobrir 6 nmeros abundantes, dois
a dois distintos mdulo 6: mas para isso suficiente achar N abundante tal que
6 mod 1 N (pois nesse caso 6 mod 2 2 N e 2N abundante pela letra b); e
analogamente, 5 5 ; 4 4 , 6 mod 3 3 N N N e 6 mod 0 6 N so todos abundantes
e distintos mdulo 6).
Tambm seria suficiente achar algum T abundante tal que , 6 mod 5 T pois nesse
caso, 5T congruente a 1 mod 6 e recamos no caso anterior.

Note agora, que todo nmero da forma
6 mod 1 6 mod ... ) 1 ( 1 ) 1 ( . 11 7 5
3 2 1 3 2 1
N N

ou
. 6 mod 5 1 N
Obs: todo primo p > 3 congruente a 1 ou 1 mod 6, pois do contrrio teramos:
p p ) 6 (mod 0 , 4 , 2 par ou p p ) 6 (mod 3 mltiplo de 3.
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
58
O problema ento fica sendo o de encontrar um nmero da forma
p
p N

... 7 5
7 5
abundante.

Isso possvel mesmo se nos restringirmos apenas a nmeros em que
. 1 ...
7 5
= = = =
p

Basta ver que nesse caso,
|
|
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
+ =
p N
N S 1
1 ...
13
1
1
11
1
1
7
1
1
5
1
1
) (

.
1
...
13
14
11
12
7
8
5
6 ) (
p
p
N
N S +
=
Em particular, = =
31
32
29
30
23
24
19
20
17
18
13
14
11
12
7
8
5
6
) 31 29 23 19 17 13 11 7 5 ( S
. 2 0008 , 2 1729 , 1 7059 , 1
392863
460800
85085
145152
31 29 23 19
32 30 24 20
17 13 11 7 5
18 14 12 8 6
> > > = |
.
|

\
|


|
.
|

\
|


=

Logo, 31 29 23 19 17 13 11 7 5 = N abundante.
(temos ) 6 mod 5 1 ) 1 ( ) 1 ( 1 ) 1 ( 1 ) 1 ( 1 ) 1 ( N
Tomando portanto , 5
0
N N = temos
0 0 0 0 0 0
6 , 5 , 4 , 3 , 2 , N N N N N N so abundantes
distintos mdulo 6. Fazendo ento , 6 6
0 0
+ = N n vemos pelas observaes
anteriores que
0
n n > tem-se que n pode ser escrito como soma de dois nmeros
abundantes!.
PROBLEMA "CUTICO" (Publicado na Eureka! N
o
. 5):
Prove que para qualquer conjunto de inteiros positivos A e para todo inteiro
positivo k existe um conjunto infinito de nmeros primos S tal que o produto de k
elementos distintos de S est sempre em A ou o produto de k elementos distintos
de S nunca pertence a A.

Soluo de Daniel Massaki Yamamoto (So Paulo - SP):
Considere o Conjunto P formado por todos os primos.
Para todo subconjunto de P com k elementos, pinte-o de azul se o produto destes
pertencer a A e de vermelho caso contrrio. Pelo Teorema de Ramsey Infinito,
existe um subconjunto infinito de P tal que todos os seus subconjuntos de k
elementos so da mesma cor, ou seja os produtos de seus elementos sempre
pertencem ou nunca a A. Chamando-o de S, acabamos o problema.



Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
59
Agradecemos tambm o envio das solues e a colaborao de:

Alex Correa Abreu (Niteroi - RJ)
Carlos A. Gomes (Natal - RN)
Diego Alvarez Arajo Correia (Fortaleza - CE)
Estillac Lins Maciel Borges Filho (Belm - PA)
Fabrcio Siqueira Benevides (Fortaleza - CE)
Fernando Carvalho Ramos (Santa Maria - RS)
Geraldo Perlino Jnior (So Paulo - SP)
Jos Clovis Ado Macedo (Mato - SP)
Jos Guilherme Moreira Pinto (Juiz de Fora - MG)
Luciano Marinho Filho (Recife - PE)
Luiz Fernando Athayde Jnior (Rio de Janeiro - RJ)
Marcelo Rufino de Oliveira (Belm - PA)
Nijair Arajo Pinto (Fortaleza - CE)
Osvaldo Mello Sponquiado (Olmpia - SP)
Paulo de Sousa Sobrinho (Natal - RN)

Errata:
O problema N
o
. 4 (Olimpada Romnia 92) publicado Na Eureka! N
o
. 6, pg 37,
deveria dizer: Sejam p, q C, q 0. Se as razes da equao 0
2
= + + q px x tm
o mesmo mdulo, mostre que
q
p
2
um nmero real.
O problema N
o
. 8 (Olimpada Hungria 1899) publicado Na Eureka! N
o
. 6, pg 38,
deveria dizer:
4 3 2 1 0
, , , , A A A A A dividem a circunferncia unitria em cinco partes
iguais. Prove que . 5 ) (
2
4 2 1 0
= A A A A


Voc sabia
Que foram recentemente batidos os recordes de maior par de primos
gmeos (p, p +2) conhecido? So eles 4648619711505 2
60000
1,
descobertos este ano por Wassing, Jarai e Indlekofer, e tm 18075
dgitos cada. Tambm tem 18075 dgitos o maior primo conhecido p tal
que 2p + 1 tambm primo (tais primos so conhecidos como primos de
Sophie Germain). o nmero 3714089895285 2
60000
1, descoberto
pelos mesmos Wassing, Jarai e Indlekofer. Este o maior primo
conhecido p tal que o nmero de Mersenne 2
p
1 composto (de fato
divisvel por 2p +1; veja o problema 43 proposto na pgina 60).
Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
60
PROBLEMAS PROPOSTOS

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

41) Se a e b so nmeros reais positivos, ento . 1 > +
a b
b a

42) Suponha que a, b e c so as medidas dos lados de um tringulo ABC, com
semi-permetro p e rea S, verifique que
s
p
c b a
+ +
2
3 1 1 1

e mais ainda: verifique que a igualdade acima ocorre apenas se o tringulo
for equiltero.

43) Prove que se p um primo da forma 4k + 3, ento 2p + 1 tambm primo se
e somente se 2p + 1 divide 2
p
1.

44) O produto de dois inteiros positivos consecutivos pode ser igual ao produto
de dois inteiros positivos consecutivos pares?

45) Existe uma seqncia infinita de:
a) Nmeros reais
b) Nmeros inteiros
Tais que a soma de quaisquer dez termos consecutivos positiva, enquanto
que para todo n a soma dos primeiros 10n + 1 termos consecutivos
negativa?

46) (Baltic Way, 1997)
i) Prove a existncia de dois conjuntos infinitos A e B, no necessariamente
disjuntos, de inteiros no negativos tais que cada inteiro no negativo pode
ser representado de uma nica forma como a + b, com a A e b B.

ii) Prove que em cada tal par (A, B), ou A ou B contm apenas mltiplos de
algum inteiro k > 1.

Problemas 41 e 42 propostos por Carlos Alexandre Gomes da Silva (Natal - RN), problemas
44 e 45 obtidos do 21
o
. Torneio das Cidades - Primaveira 2000.


Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
61
A G E N D A O L M P I C A


XI OLIMPADA DO CONE SUL
14 a 19 de abril de 2000
Montevidu Uruguai



VI OLIMPADA DE MAIO
13 de maio de 2000



XXII OLIMPADA BRASILEIRA DE MATEMTICA - 2000
Primeira Fase Sbado, 10 de junho
Segunda Fase Sbado, 02 de setembro
Terceira Fase Sbado, 21 de outubro (nveis 1,2 e 3)
Domingo, 22 de outubro (nvel 3 - segundo dia).



XLI OLIMPADA INTERNACIONAL DE MATEMTICA
13 a 25 de julho de 2000
Taejon, Coria do Sul.



XV OLIMPADA IBEROAMERICANA DE MATEMTICA
16 a 24 de setembro de 2000
Caracas, Venezuela



III OLIMPADA IBEROAMERICANA DE MATEMTICA UNIVERSITRIA
7 de outubro de 2000



Sociedade Brasileira de Matemtica
EUREKA! N8, 2000
62
COORDENADORES REGIONAIS

Amarisio da Silva Arajo (UFV) Viosa - MG
Alberto Hassen Raad (UFJF) Juiz de Fora - MG
Angela Camargo (Centro de Educ.de Adultos - CEA) Blumenau - SC
Benedito T. Vasconcelos Freire (UFRN) Natal - RN
Claudio Arconcher (Col. Leonardo da Vinci) Jundia - SP
Claus Haetinger (UNIVATES) Lajeado - RS
Crescncio das Neves (UFAM) Manaus-AM
lio Mega (Col. ETAPA) So Paulo - SP
Enzo Marcom Takara (Col. Singular) Santo Andr - SP
Florncio F. Guimares Filho (UFES) Vitria - ES
Francisco Dutenhefner (UFMG) Belo Horizonte - MG
Gisele de A. Prateado Gusmo (UFGO) Goinia - GO
Ivanilde H. Fernandes Saad (U. Catlica Dom Bosco) Campo Grande - MS
Jacqueline F. Rojas Arancibia (UFPB) Joo Pessoa - PB
Joo Bencio de Melo Neto (UFPI) Teresina - PI
Joo F. Melo Libonati (Grupo Educ. IDEAL) Belm - PA
Irene Nakaoka (UEM) Maring - PR
Jos Carlos Pinto Leivas (UFRG) Rio Grande - RS
Jos Cloves Saraiva (UFMA) So Luis - MA
Jos Gaspar Ruas Filho (ICMC-USP) So Carlos - SP
Jos Luis Rosas Pinho (UFSC) Florianpolis - SC
Jos Paulo Carneiro (Univ. Santa rsula) Rio de Janeiro - RJ
Jos Vieira Alves (UFPB) Campina Grande - PB
Leonardo Matteo D'orio (Sistema Titular de Ensino)Belm - PA
Licio Hernandes Bezerra (UFSC) Florianpolis - SC
Luzinalva M. de Amorim (UFBA) Salvador - BA
Marcondes Cavalcante Frana (UF Cear) Fortaleza - CE
Pablo Rodrigo Ganassim (L. Albert Einstein) Piracicaba - SP
Paulo H. Cruz Neiva de L. Jr. (Esc. Tec.Everardo Passos) SJ dos Campos - SP
Reinaldo Gen Ichiro Arakaki (INPE) SJ dos Campos - SP
Ricardo Amorim (Centro Educ. Logos) Nova Iguau - RJ
Roberto Vizeu Barros (Colgio ACAE) Volta Redonda - RJ
Sergio Claudio Ramos (IM-UFRGS) Porto Alegre - RS
Seme Gebara Neto (UFMG) Belo Horizonte - MG
Silvio de Barros Melo (UFPE) Recife - PE
Tadeu Ferreira Gomes (U. do Estado da Bahia) Juazeiro - BA
Toms Menndez Rodrigues (U. Federal de Rondonia) Porto Velho - RO
Valdenberg Arajo da Silva (U. Federal de Sergipe) So Cristovo - SE
Wagner Pereira Lopes (Esc. Tec. Fed. de Gois) Jata - GO
Waldemar M. Canalli (P.M. S. Joo de Meriti) S. Joo de Meriti - RJ