Você está na página 1de 67

CONTEDO

AOS LEITORES

XLII OLIMPADA INTERNACIONAL DE MATEMTICA


Problemas e Solues

XVI OLIMPADA IBEROAMERICANA DE MATEMTICA


Problemas e Solues

13

ARTIGOS
COMO FERMAT E BZOUT PODEM SALVAR O DIA
Antonio Caminha Muniz Neto

25

GRAFOS E CONTAGEM DUPLA


Carlos Yuzo Shine

31

OLIMPADAS AO REDOR DO MUNDO

40

SOLUES DE PROBLEMAS PROPOSTOS

49

PROBLEMAS PROPOSTOS

59

AGENDA OLMPICA

60

COORDENADORES REGIONAIS

61

Sociedade Brasileira de Matemtica

AOS LEITORES
Nesta ltima edio de 2001 publicamos solues dos problemas da
Olimpada Internacional e da Olimpada Iberoamericana deste ano, nas quais o
Brasil obteve timos resultados, que deixaram toda a nossa comunidade olmpica
muito contente.
Por falar na comunidade olmpica, lembramos que neste ano foi criado o nvel
universitrio da OBM, cujas provas e solues sero publicadas no prximo
nmero da Eureka!. Aproveitamos para saudar os novos (e antigos) olmpicos
universitrios.
Mais uma vez agradecemos o grande nmero de solues e problemas
propostos que so enviados pelos leitores, e que nos ajudam a fazer a Eureka!.
Como um estmulo adicional a nossos colaboradores, vamos dar um
reconhecimento especial aos leitores que resolverem mais problemas
propostos,ou aqueles problemas propostos que considerarmos mais difceis, ou
que estiverem h bastante tempo sem soluo. Aguardem e continuem
colaborando!
Finalmente, agradecemos a colaborao de Carlos Yuzo Shine, Eduardo
Tengan e Pablo Ganassim, que ajudaram na reviso deste nmero, e desejamos
um timo 2002 a todos.

Os editores.

EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

XLII OLIMPADA INTERNACIONAL DE MATEMTICA


Problemas e Solues
PROBLEMA 1

Seja ABC um tringulo acutngulo com circuncentro O. Seja PA uma altura do


tringulo com P no lado BC.
Considere que BC A AB C 30 .
B CO
P 90 .
Prove que CA
SOLUO DE ALEX CORRA ABREU (NITERI RJ):
A

90

90 B

O
A

O A e CO
P CP b cos C .
Sejam AC B C , AB C B, CA
Seja M o ponto mdio de BC.
P PO
M A tg A
CM
M A
e CO
Como CO
OM

)
tg ( A

PM
OM

onde BC a , AC b , AB c e R OA OB OC

A

tg tg A

a
2OM

tg A

tgA

tg A

1 tgA

b cos C R cos A
2
a ab cos C
R 2 cos 2 A
4
2

EUREKA! N12, 2001

CM PM
CP OM
OM

2
CM PM
OM CM PM
1
2
OM

que

CP b cos C

Sociedade Brasileira de Matemtica

e CM a e, pela lei dos


, PM a CP a b cos C
OM R cos A
2

senos

no

tg


e a 2 RsenA
ABC b 2 RsenB

tringulo

2R
R

cos

R
A

cos A

cos C
senB
2
2
senB
co
sen
A 2 R senA

mas

como

senB
0 tg tgA

cos C
tg 0 1 2 senA

cos C

senA
2 senB

1 2 senBsenA cos C

co
2 senB
s
1 2 senA

como

1
senA
1
2 x 2 x 1 0, x ,1 2 sen 2 A
2

1 pois 90 C B
0,90 , mas sen C B
30 e a funo
A
2

sen C B
senA
seno crescente no intervalo 0,90 senA
2

2 senA
sen C
B
2 senA
sen C
B
senA
1
2 senA
2 sen 2 A
senA

2senA senA sen C B 1 2senA sen B C sen B C 1


senB
1
cos C
4 senA

pois

senB

cos C
2 senA

1 2 senAsenB cos C

senB
0 tgA
tg 1 tg A
tg tgA
0 A
90.
cos C
1 2 senA

PROBLEMA 2

Prove que
a
2

a 8bc

b
2

b 8ca

c
2

c 8ab

para quaisquer nmeros reais positivos a, b, e c.


SOLUO DE ALEX CORRA ABREU (NITERI RJ):
a
b
c

1 a 2 (b 2 8ca)(c 2 8ba ) b 2 ( a 2 8cb)(c 2 8ba)


2
2
2
a 8bc
b 8ac
c 8ba
c 2 (b 2 8ca)( a 2 8bc )

513a 2 b 2 c 2 8( a 3 b 3 a 3 c 3 c 3 b 3 ) 64abc ( a 3 b 3 c 3 )

Elevando ao quadrado, obtemos


EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

(I)
2 513a 2 b 2 c 2 8( a 3 b 3 a 3 c 3 c 3 b 3 ) 64abc (a 3 b 3 c 3 )
( ab c 2 8ab ac b 2 8ac bc a 2 8bc ) 510a 2 b 2 c 2 8( a 3 b 3 a 3 c 3 b 3 c 3 )

mas pela desigualdade das mdias vale:


(II) 8(a 3b3 a 3c 3 c 3b3 ) 24a 2b 2c 2 e 64abc(a 3 b 3 c 3 ) 192a 2 b 2 c 2
donde:
(III) 2 513a 2 b 2 c 2 8(a 3 b 3 a 3 c 3 c 3 b 3 ) 64abc (a 3 b 3 c 3 ) 27 abc
portanto basta mostrar que:
(IV) ( ab c 2 8ab ac b 2 8ac bc a 2 8bc ) 9abc . fcil ver que (II),
(III) e (IV) implicam (I).
ab
ac
bc
Dividindo (IV) por abc, obtemos 8 2 1 8 2 1 8 2 1 9 , e
c
b
a
ab
ac
bc
u , 2 v, 2 w
fazendo
temos
que
provar
que:
c2
b
a
8u 1 8v 1 8w 1 9 , dado que uvw = 1.
Usando vrias vezes a desigualdade entre as mdias aritmtica e geomtrica,
obtemos
8u 1 8v 1 8w 1 3 6 512uvw 64(uv uw vw) 8(u v w) 1
3 512uvw 1923 u 2 v 2 w 2 243 uvw 1 3 6 729 9 ,
6

o que prova (IV), e

de (II), (III) e (IV) obtemos (I), c.q.d..


PROBLEMA 3

Vinte e uma meninas e vinte e um meninos participaram numa competio


matemtica.

Cada participante resolveu no mximo seis problemas.


Para cada menina e cada menino, existe pelo menos um problema que foi
resolvido por ambos.

Prove que existe um problema que foi resolvido por pelo menos trs meninas e
pelo menos trs meninos.

SOLUO DE CARLOS STEIN NAVES DE BRITO (GOINIA GO):

Considere a tabela:
EUREKA! N12, 2001

Sociedade Brasileira de Matemtica


O

...

O1

O2

O3

A1

X1,1

X1,2

X1,3

X1,21

A2

X2,1

X2,2

X2,3

X2,21

A3

X3,1

X3,2

X3,3

X3,21

O21

.
.
.

.
.
.
A21 X21,1 X21,2 X21,3

...

X21,21

Cada interseco Xi,j a questo que a menina Ai e o menino Oj fizeram em


comum (se fizeram mais de uma em comum, escolha uma delas qualquer)
Lema: em cada linha i da tabela temos pelo menos 11 Xi,k's com a propriedade (I):

esse Xi,k aparece pelo menos 3 vezes nesta linha (contando ele mesmo).
Prova: Se por absurdo h menos de 11, ento h pelo menos 11 que no tm essa

propriedade (so 21 no total). Ento cada um desses se refere a uma questo que
aparece no mximo 2 vezes na linha.
Mas se h pelo menos 11 Xi,ks e para cada questo no mximo dois Xi,ks se
referem a ela, ento h no mnimo 6 questes referidas nesse grupo.
Mas uma linha s tem no mximo 6 questes referidas, pois a menina i fez no
mximo 6 questes. Assim todas 6 questes feitas pela menina aparecem no
mximo 2 vezes. Absurdo, pois 6 2 = 12, mas na linha aparecem 21 (21 > 12)
questes. Assim o lema verdadeiro.
H o lema anlogo de que em cada coluna j h pelo menos 11 Xkjs com a
propriedade (II): cada um se refere a uma questo que aparece pelo menos 3
vezes na coluna. A prova anloga.
Contando os Xi,js com a propriedade (I) temos pelo menos 11 21 (21 linhas).
Analogamente pelo menos 11 21 com a propriedade (II).
Se no houvesse nenhum Xi,j que tem ambas propriedades, teramos pelo menos
11 21 com propriedade (I), outros 11 21 com propriedade (II), somando
22 21 Xi,js, absurdo, pois h s 21 21 Xi,js. Assim h um Xi,j que tem ambas
propriedades. Assim ele se refere a uma questo y que aparece 3 vezes em sua
coluna e 3 vezes em sua linha. Como aparece 3 vezes em sua coluna (em 3 linhas
distintas), as 3 meninas relativas a essas 3 linhas fizeram a questo y (pois tem ela
em comum).

EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

Analogamente 3 meninos fizeram a questo y, analisando as 3 colunas distintas.


Assim 3 meninos e 3 meninas fizeram a questo y, o que sempre ocorre para certa
questo y.
SEGUNDO DIA
DURAO: 4 horas e meia.
PROBLEMA 4

Seja n um inteiro mpar maior do que 1 e sejam k1 , k 2 ,..., k n inteiros dados.


Para cada uma das n! permutaes a ( a1 , a 2 ,..., a n ) de {1,2,..., n}, defina
S (a)

k a .
i

i 1

Prove que existem duas permutaes b e c, b c, tais que n! um divisor de


S (b) S (c ).
SOLUO DE CARLOS STEIN NAVES DE BRITO (GOINIA GO):

Se no h S(b) S(c) tal que n! S (b) S (c) , e h n! permutaes, cada


permutao de uma classe mdulo n!. Se no,existem b e c tais que
S (b) S (c )(mod n) S (b) S (c ) 0(mod n). Absurdo.
Seja S ( a i ), o somatrio de todas n! permutaes possveis.
Clculo de S (a i ) :
Cada ki aparece em (n 1)! permutaes multiplicando cada coeficiente (de 1 a
n). Logo no total temos n 1 !1 2 ... n de cada ki. Assim,
*

S (a ) n 1 !
i

n 1 n
2

n 1 n!
2

0(mod n! )

(pois n mpar).Temos tambm que cada permutao de uma classe, logo

S (a ) 1 2 ... n!
i

Como n 1,

2 n! ,

n! n! 1
(mod n!).
2

e
n! n!1 n!
n! n!
S (a i )

(mod n! ) .
n!
**
2
2
2
2

n!
De * e ** temos que 0 (mod n! ) , absurdo.
2
Logo h S(b) e S(c) tais que S(b) S(c) (mod n! ) n! S (b) S (c).

EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

PROBLEMA 5

C com P no lado BC, e seja


Num tringulo ABC, seja AP a bissectriz de BA

BQ a bissectriz de ABC com Q no lado CA.


C 60 e que AB + BP = AQ + QB.
Sabemos que BA
Quais so os possveis valores dos ngulos do tringulo ABC?
SOLUO DE THIAGO BARROS RODRIGUES COSTA (FORTALEZA CE):
A

Q
c

Nomenclatura:
a = BC
b = AC
c = AB
= AB Q CB Q
Lema 1: BQ

2ac cos
(a c)

Prova: note que a rea do tringulo ABC igual a soma das reas dos tringulos

ABQ e BQC. Logo


a c sen 2 c BQ sen a BQ sen

2
2
2
a c 2 sen cos a c BQ sen
2ac cos
BQ

(a c)

Lema 2: AQ

bc
(a c)

EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

Prova: Pelo teorema das bissetrizes internas temos que:

CQ a
CQ AQ ( a c)
b
(a c)
bc

AQ
.
AQ c
AQ
c
AQ
c
(a c)

Lema 3: BP

ac
(b c)

Prova: anlogo ao lema 2.

Do problema, temos que AB BP AQ QB. Ento, pelos lemas:


ac
bc
2ac cos
a b c b 2a cos
c

bc
ac
ac
bc
ac
a c a b c b c b 2a cos
a 2 c 2 2ac ab bc b 2 bc 2a b c cos
a 2 c 2 b 2 2ac ab 2a b c cos . (I)

Agora, pela lei dos cossenos no ABC :


a 2 c 2 2ac cos 2 b 2 a 2 c 2 b 2 2ac cos 2
Assim, de (I):
2ac cos 2 2ac ab 2a b c cos
2c cos 2 1 b 2 b c cos

2c cos 2 sen 2 cos 2 sen 2 b 2 b c cos


4c cos 2 b c cos b 0.
2

Resolvendo a equao:
1
b
cos ou cos
.
2
2c
1
Se cos , o nico valor que ele poderia assumir era 60, nesse caso
2
C , absurdo.
C 2 120 180 60 180 BA
AB
b
. Pela lei dos senos no tringulo
Ento cos
2c
b
sen 2
sen 2
2 sen cos
ABC :
cos

c sen120 2
2 sen120 2 2 sen120 2
sen120 2 sen (note que cos 0)
Veja que deve pertencer ao intervalo (0, 60) para que o tringulo possa existir.
Assim, o nico valor possvel para seria fazendo 120 2 40
ABC 80 BCA 40
EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

Logo os ngulos do tringulo so:


A 40 e BA
C 60 .
C 80, BC
AB

PROBLEMA 6

Sejam a, b, c, d inteiros com a > b > c > d > 0. Considere que


ac bd (b d a c)(b d a c).

Prove que ab + cd um nmero primo.


SOLUO DE ANTONIO CAMINHA MUNIZ NETO (FORTALEZA CE):

Simplificando a condio do enunciado obtemos a2 + c2 ac = b2 + d2 + bd, ou


ainda (2a c)2 + 3c2 = (b + 2d)2 + 3b2 (*). Suponha, por contradio,
que ab + cd = p, p primo. A condio a > b > c > d > 0 garante que p =
ab + cd 43 + 21 = 14, de modo que p 17. Por outro lado,
2p = 2ab + 2cd = (2a c)b + (b + 2d)c,
de modo que mdc(2a c, b + 2d) divide 2p. Para mdc(2a c, b + 2d) ser par,
deveramos ter b e c pares, donde p = ab + cd seria par, o que um absurdo.
Logo,
mdc(2a c, b + 2d) = 1 ou p
Afirmao: mdc(2a c, b + 2d) = 1:
Suponha que mdc(2a c, b + 2d) = p. Ento (*) nos daria que p2 3(b2
c2), e da p2 (b2 c2), uma vez que p 3. Porm, p = ab + cd > b, de modo que
0 < b2 c2 < p2,
um absurdo.
Agora, sejam x = 2a c, y = b + 2d. Ento mdc(x, y) = 1 e segue de (*)
que x2 y2 = 3(b2 c2), ou ainda
(x y)(x + y) = 3(b c)(b + c)
Consideraremos dois casos separadamente:

EUREKA! N12, 2001

10

Sociedade Brasileira de Matemtica

c (mod 2): o fato de ser p = ab + cd garante que mdc(b, c) = 1. Como b + c


i. b
e b c so mpares, isto implica em mdc(b + c, b c) = 1. Um argumento anlogo
implica em mdc(x + y, x y) = 1 tambm. Se 3 (x + y) ento
x y = mdc(x y, (b + c)(b c)) = mdc(x y, b + c) mdc(x y, b c)
e
x + y = 3mdc(x + y, (b + c)(b c)) = 3mdc(x + y, b + c) mdc(x + y, b c)
Escrevendo = mdc(x y, b c), = mdc(x y, b + c), = mdc(x + y, b c) e
finalmente = mdc(x + y, b + c), temos x y = e x + y = 3. Por outro lado,
b c = mdc(b c, x y)mdc(b c, x + y) = e b + c = ,
analogamente. Resolvendo para a, b, c e d obtemos 4a = + + 3 , 2b
= + , 2c = + e 4d = + 3 . Da
4p = 4(ab + cd) = (2 + 32)

c (mod 2) implica em b + c e b c mpares, de modo que , ,


Mas b
e so mpares. Assim, temos os seguintes casos:
a) = p: nesse caso, 2 + 3 2 = 4 e da = = 1. Portanto, a = b, um absurdo.
b) = 1: neste caso, = = 1 e da c = d, um novo absurdo.
ii. b c (mod 2): Nesse caso b e c devem ser mpares, pois do contrrio 2
dividiria ab + cd = p. Assim, nas notaes acima, temos x e y tambm mpares.
Segue que
mdc(b + c, b c) = mdc(x + y, x y) = 2
(pois j temos mdc(x, y) = 1). Se 3 (x + y) (o outro caso novamente anlogo),
escrevendo
x y x y
bc bc

2 2
2 2
e pondo
x y bc
x y bc
,
,
, = mdc
,
= mdc
2
2
2
2
EUREKA! N12, 2001

11

Sociedade Brasileira de Matemtica

x y bc
x y bc
,
,
, = mdc

2
2
2
2

= mdc

chegamos, como acima, a 2a = + + 3 , b = + , c = + e


2d = + 3 . Da,
p = ab + cd = ( 2 + 3 2)
Nem nem so iguais a p, pois do contrrio teramos b > p, o que contradiz ab
+ cd = p. Logo = = 1 e da c = d, um novo absurdo.

XVI OLIMPADA IBEROAMERICANA DE MATEMTICA


Enunciados e Resultado Brasileiro
A XVI Olimpada Iberoamericana de Matemtica foi realizada na cidade
de Minas, Uruguai no perodo de 24 a 29 de setembro de 2001.

EUREKA! N12, 2001

12

Sociedade Brasileira de Matemtica

A equipe brasileira foi liderada pelos professores Carlos Gustavo Tamm


de Araujo Moreira, do Rio de Janeiro RJ e Pablo Rodrigo Ganassim, de So
Paulo SP.
O Resultado da Equipe Brasileira
BRA 1
BRA 2
BRA 3
BRA 4

Carlos Stein Naves de Brito


Daniel Massaki Yamamoto
Daniel Pinheiro Sobreira
Thiago Barros Rodrigues Costa

Ouro
Prata
Ouro
Prata

PRIMEIRO DIA
DURAO: 4 horas e meia.
PROBLEMA 1

Dizemos que um nmero natural n "charrua" se satisfaz simultaneamente as


seguintes condies:
- Todos os algarismos de n so maiores que 1
- Sempre que se multiplicam quatro algarismos de n, obtm-se um divisor de n.
Demonstrar que para cada nmero natural k existe um nmero "charrua" com
mais de k algarismos.
SOLUO DE DANIEL MASSAKI YAMAMOTO (SO PAULO SP):

Vou construir nmeros charruas (o que, afinal, significa isso?), utilizando os


algarismos 2 e 3.
Multiplicando-se 4 algarismos, obtemos um nmero da forma d = 3 . 24, onde
0 4.
Vou fixar o final do nmero em 3232 e completar o resto apenas com 2s.
Ento 0 2.

Para que dn, basta garantirmos que:

3 2 n

(I)

4
2 n

(II)

fcil ver que 2 4 3232 2 4 M 10 4 3232, M N 2 4 n , logo (II) est


satisfeito.
Para garantirmos a divisibilidade por 9 , basta que a soma dos algarismos seja
divisvel por 9.
EUREKA! N12, 2001

13

Sociedade Brasileira de Matemtica

Pegue n0 = 22223232 . Note que 922223232.


Podemos colocar blocos de nove 2s esquerda de n0 que no afetar a
divisibilidade por 9.


Adicionando blocos, o nmero ter mais de 9 8 k dgitos.
9
9
k

PROBLEMA 2

A circunferncia inscrita no tringulo ABC tem o centro O e tangente aos lados


BC, AC e AB nos pontos X, Y e Z, respectivamente. As rectas BO e CO
intersectam a recta YZ nos pontos P e Q, respectivamente.
Demonstrar que se os segmentos XP e XQ tm o mesmo comprimento, ento o
tringulo ABC issceles.
SOLUO DE THIAGO BARROS RODRIGUES COSTA (FORTALEZA CE):
A

Q
O
.

Pelo teorema do bico, o tringulo BXZ issceles. Como OB bissetriz do


ngulo B , OB mediatriz do segmento XZ .
Considere o tringulo ZXP. O ponto P pertence a mediatriz de XZ . Assim, a
altura relativa ao vrtice P e a mediana relativa ao mesmo so iguais XZP
issceles XP PZ . (*)
De maneira anloga, XQ QY .(**) .
Suponha agora que XP XQ.
Ento, por (*) e (**), QY PZ (** *) .
Seja AZY AYZ (O AZY issceles, pelo teorema do bico).
Como O incentro OZ AZ YZO 90 .
Da mesma forma, OY AY OYZ 90
OYZ YZO . (1)
EUREKA! N12, 2001

14

Sociedade Brasileira de Matemtica

Note que OZ e OY so raios OZ OY . (2)


Por (***), (1) e (2) temos que os tringulos OZP e OYQ so congruentes
Y OP
Z . (3)
OQ
Se OB Z e OC Y , temos que (no ZPB )
Y mas, por (3), OQ
Y OP
O OQ
Z
ZP
, mas AB C 2 2 AC B ABC isosceles.
PROBLEMA 3

Sejam S um conjunto de n elementos e S1, S2,,Sk subconjuntos de S ( k 2),


cada um deles com pelo menos r elementos.
Demonstrar que existem i e j, com 1 i j k , tais que o nmero de elementos
comuns a Si e Sj maior ou igual a r

nk
.
4( k 1)

SOLUO DE CARLOS STEIN NAVES DE BRITO (GOINIA GO):

Chamaremos os n elementos de S de b1, b2, ...,bn .Se o nmero de subconjuntos Si

que contm {bi} ai,

ai

2

o nmero de pares de subconjuntos que

compartilham bi.
n

Temos que

kr , pois a soma de quantos elementos h em cada um dos

i 1

subconjuntos Si.

EUREKA! N12, 2001

15

Sociedade Brasileira de Matemtica

Temos que, para

x k x k 1 x
k1, ,
2 2

pois:

2 xk k 2 k x x 2 x x 2 k 2 1 2kx 2 x 2k x k 1 x 2 x k 1.

EUREKA! N12, 2001

16

Sociedade Brasileira de Matemtica

ai

i1 2
n

Logo em

voc pode ir reduzindo a diferena entre os ais que a soma s

diminui at que voc tenha nmero com diferena mxima, dois a dois, de um.
Seja kr yn q, 0 q n 1. Assim teremos no fim q ais sendo (y + 1) e

ai

i1 2
n

(n q) ais sendo y ( para minimizar

EUREKA! N12, 2001

17

).

Sociedade Brasileira de Matemtica

Temos ento:

ai y 1 y y
q nqyn.
2 222

Vamos mostrar que

EUREKA! N12, 2001

18

Sociedade Brasileira de Matemtica

kr q
kr 1 2 yn yq 1
y n 2qyny ny n
qyn
2 2 2 2
2qy ny 2 ny ny 2

q2
q2
2 yq ny q q
, o que segue de n q.
n
n

Logo temos:

kr
kr 1
n
ai n

i1 2 2

EUREKA! N12, 2001

19

Sociedade Brasileira de Matemtica

Note agora que

ai

2

conta com multiplicidade o nmero de subconjuntos Si

com algum elemento em comum. Dividindo por

k (kk 1)

2 2

, que o nmero de pares

de subconjuntos Si , obtemos o tamanho mdio das intersees de dois desses


kr

kr
1
subconjuntos, que portanto maior ou igual a n
2 1 1 .
2
k k 1
Basta mostrar que esse mnimo para esse certo subconjunto maior ou igual a
nk
r
e acaba o problema.Para isso,note que
4 k 1
kr

r
1
n
r nk

k 1
4( k 1)
kr

1
n
4r (k 1) nk
k 1
4( k 1)

4r 2 k 4n 4nrk 4rn n 2 k
4r 2 k 4nrk n 2 k 4r 2 4nr n 2 n 2 4nr 4r 2 0
n 2r 0 (sempre verdade).
2

SEGUNDO DIA
EUREKA! N12, 2001

20

Sociedade Brasileira de Matemtica

DURAO: 4 horas e meia.


PROBLEMA 4

Determinar o nmero mximo de progresses aritmticas crescente de trs termos


que pode ter uma sucesso a1 a 2 ... a n de n 3 nmeros reais.
Nota: trs termos a i , a j , a k de uma sucesso de nmeros reais formam uma
progresso aritmtica crescente se a i a j a k e a j ai a k a j .
SOLUO DE DANIEL PINHEIRO SOBREIRA (FORTALEZA CE):

Primeiro vejamos que cada P.A. tem um termo central, pois so formadas de trs
termos. Vamos estimar o nmero mximo de posibilidades para o termo central.
Lema: Se em uma seqncia temos um termo ak, e temos x nmeros menores que
ak e y nmeros maiores que ak , vamos ver que ak termo central de no mximo
min{x, y} P.A.s.
Para cada P.A. onde ak o termo central, um dos outros termos maior e o outro
menor, logo devo ter a mesma quantidade de termos maiores e menores que ak
que participam das P.A.s de que ak termo central.
Ento se ak for termo central de j > min{x, y} P.A.s teramos que ter no mnimo j
nmeros menores que ak e no mnimo j nmeros maiores que ak, ou seja, x j e y
j, logo min{x, y} j. Ento o nmero de P.A.s com ak como termo central no
mximo min{x, y}.
Agora vamos dividir em 2 casos:
Caso 1: n mpar. Temos:
a1 a 2 a 3 ... a n 1 a n 3 ... a n 1 a n
2

lgico que a1 e a n no podem ser termos centrais.


Se pegarmos o nmero a j , temos ( j 1) nmeros menores que ele
( a1 , a 2 ,..., a j 1 ) e ( n j ) nmeros maiores que ele ( a j 1 , a j 2 ,...a n ).
Logo a j termo central de no mximo min{ j 1, n j} P.A.s.
n 1

Ento temos que o nmero de P.A.s menor ou igual a

min{ j 1, n j}.
j 2

n 1
Mas para 2 j
temos j 1 n j 2 j n 1.
2

EUREKA! N12, 2001

21

Sociedade Brasileira de Matemtica

Para

n 1
2

temos

j 1 n j

para

j 1 n j.

n 1
j n 1
2

temos

Portanto, o nmero de P.A.s menor ou igual a


n 1
2

n 1
( j 1)

2
j 2
n 3
2

i
i 1

1
2

n 1

(n j )

n 3
2

n 3
2

n 1
n 3 n 1

i 2 1 2 ...


2
2
2

i 1

n 3 n 3

2
2
2

n 1 2 n 3 n 3 n 1

2
2
2
2

n 1 n 3 n 1 n 1 n 3
n 1 n 1 n 1
1






.
2 2 2 2 2
2 2 2

n 1

fcil ver que a seqncia (1, 2, 3,..., n) tem

P.A.s, pois acontece

justamente o que queremos: 2 termo central de uma P.A. o 3 de duas P.A.s e


assim exatamente como ocorre a igualdade.
Caso 2: n par. Temos:
a1 a 2 a 3 ... a n a n
2

... a n 1 a n

Da mesma forma a1 e a n no podem ser termos centrais.


Se pegarmos o nmero a j , temos ( j 1) nmeros menores que ele
( a1 , a 2 ,..., a j 1 ) e ( n j ) nmeros maiores que ele ( a j 1 , a j 2 ,...a n ).
Logo a j termo central de no mximo min{ j 1, n j} P.A.s.
n
n
1 j n 1, temos
Mas para 2 j , temos j 1 n j e para
2
2
j 1 n j , logo o nmero de P.A.s menor ou igual a

EUREKA! N12, 2001

22

Sociedade Brasileira de Matemtica


n 1

n
2

j 2

j 2

min{ j 1, n j} ( j 1)
n
1
2

n 1

(n j )

n
j 1
2

n
1
2

n
i (i) 2 1 2 ... 1
2
i 1
i 1

n
n


1 1
1
2
2

n n 1 n( n 2) .

2
4
2 2

Mas fcil ver que a seqncia (1, 2, ..., n) tem

n n 2
P.A.s, porque ela
4

satisfaz todas as igualdades.


Logo o nmero mximo de P.A.s :
n 1
Para n mpar:

Para n par:

n ( n 2)
.
4

PROBLEMA 5

Num tabuleiro de 2000 2001 as casas tm coordenadas (x, y) com x, y inteiros,


0 x 1999 e 0 y 2000. Uma nave no tabuleiro move-se da seguinte
maneira:
antes de cada movimento, a nave est numa posio (x, y) e tem uma velocidade
(h, v) onde h e v so inteiros. A nave escolhe uma nova velocidade (h', v') de
forma que h' h seja igual a 1, 0 ou 1 e v' v seja igual a 1, 0 ou 1. A nova
posio da nave ser (x', y') onde x' o resto da diviso de x + h' por 2000 e y' o
resto da diviso de y + v' por 2001.
H duas naves no tabuleiro: a marciana e a terrestre que quer capturar a marciana.
Inicialmente cada nave est numa casa do tabuleiro e tem velocidade (0, 0).
Move-se primeiro a nave terrestre e continuam movendo-se alternadamente.
Existe uma estratgia que permita sempre nave terrestre capturar a nave
marciana, quaisquer que sejam as posies inicias?
Nota: a nave terrestre, que sempre v a marciana, captura a marciana se depois
de um movimento seu cai na mesma posio da marciana.
SOLUO DE CARLOS STEIN NAVES DE BRITO (GOINIA GO):
EUREKA! N12, 2001

23

Sociedade Brasileira de Matemtica

A estratgia existe!
A nave terrestre deve fazer uma estratgia para ficar na mesma coordenada x,
independente do movimento da nave marciana e tambm na mesma coordenada
y, at que isso ocorra simultaneamente e a terrestre pegue a nave marciana.
Para ficar no mesmo x : x mi , y mi a coordenada depois de i rodadas da nave

i
t

marciana e x , y

i
t

a coordenada da terrestre.

0
0
Seja 0 p 1999, p x m xt (mod 2000).

Se o primeiro h escolhido for 1, x t0 aumenta 1 (mod 2000) .


'
A partir da se a nave marciana fizer sua h tal que hm hm a,

a 1, a

nave terrestre far o mesmo: h ht a.


A partir da temos ht hm 1 ( ht e hm so as velocidades momentneas da
nave terrestre e marciana, respectivamente), isso porque a terrestre j tem ht 1
por causa da primeira jogada. Esse ht hm 1 , se manter sempre depois da
'
t

jogada terrestre, pois se nm' nm a e

ht' ht a; ht hm 1 ( ht' a) (hm' a ) 1 ht' hm' 1, logo a induo


bvia. Assim a cada rodada a nave marciana anda hm e a terrestre hm 1.
Logo a cada rodada da nave terrestre temos (tudo mod 2000):

x x p; x h x h 1 x m0 x10 1 p 1;

x1m
x1t

0
m

0
t

0
m

1
m

0
t

'
m

x m2 xt2 x m' n m2 xt' n m2 1 x m' xt' 1 p 1 1 p 2,

Assim por induo finita: se x mk 1 x tk 1 p k 1

x x x
k
m

k
t

k 1
m

h x
k
m

k 1
t

h 1 x
k
m

k 1
m

k 1
t

1 p k.

Logo depois k jogadas terrestres a diferena entre as coordenadas


x m e x t p k (mod 2000), assim para k x 2000a p, para qualquer
inteiro a 0, p k 0(mod 2000), assim estaro na mesma coordenada x.
O estudo para as coordenadas y m e y t anlogo, como a nave terrquea tendo
v 1 1 , e depois alternando sua velocidade igual marciana, mas agora tudo
0
0
mdulo 2001, logo se a diferena inicial x m y t q temos que depois de k
jogadas a diferena ser. q k ' (mod 2001), logo, para k y 2001b q,
estaro no mesmo y.
EUREKA! N12, 2001

24

Sociedade Brasileira de Matemtica

Ento a terrestre capturar a marciana quando est no mesmo x e no mesmo y, o


que acontece quando o nmero de rodadas k satisfaz k x e k y :
k k x k y 2000a p 2001b q, a, b N 2001b 2000a p q.

Achar soluo para isso fcil: s adotar a = b = p q, que obviamente


soluo da equao e se p q < 0, s pegar b = p q + 2000 0 e
a p q 2001 0, que tambm so solues e agora positivas. Logo na
jogada terrestre de nmero k 2001 p 2000q 2000 2001, ela ter o mesmo
x e y da marciana, capturando-a.
PROBLEMA 6

Demonstrar que impossvel cobrir um quadrado de lado 1 com cinco quadrados


1
.
iguais de lado menor que
2
SOLUO OFICIAL:
D

v
A

Seja ABCD um quadrado unitrio e suponhamos que possvel cobri-lo


1
utilizando cinco quadrados iguais de lado a . Ento, como o dimetro de
2
cada um dos quadrados pequenos a 2

2
, ou seja, menor que a metade da
2

diagonal de ABCD, os vrtices A, B, C, D e o centro O de ABCD devem pertencer


a quadrados distintos. Chamaremos de QA, QB, QC, QD e QO estes quadrados.
Para obter uma contradio, demonstraremos primeiro que a parte do permetro
que cobre cada um dos quadrados QA, QB, QC, QD tem comprimento menor ou
igual a 2a.
Consideremos, por exemplo, QA; como contm a A, o quadrado intersecta ABCD
tal como mostra a figura.

EUREKA! N12, 2001

25

Sociedade Brasileira de Matemtica

Sejam u, v as pores dos lados AB, AD, contidas em QA. Ento


u v 2(u 2 v 2 ) e u 2 v 2 a hipotenusa de um tringulo retngulo contido
em QA. Logo, u 2 v 2 a 2 e, em conseqncia, u v 2 .a 2 2a.
Segue que QA, QB, QC, QD em conjunto cobrem uma poro do permetro de
ABCD de comprimento total menor ou igual a 8a < 4. Ento, o quinto quadrado,
QO, deve ter interseo no vazia com o permetro de ABCD. Digamos, por
exemplo, que intersecte AB.
D

Vamos ver que os cinco quadrados em conjunto no podem cobrir


simultaneamente os segmentos AB, CD, e EF, onde E e F so os pontos mdios
de AD e BC.
A demonstrao se apoia no lema a seguir:
1
1
Dadas duas retas paralelas l e m a distncia
e um quadrado de lado a
2
2
que tem interseo no vazia com cada uma das retas l e m, a soma dos
comprimentos dos segmentos da interseo do quadrado com as retas menor
que a.
Antes de demonstrar o lema, vejamos que suficiente para completar a soluo.
De fato, do lema se conclui que ao menos k 2 dos quadrados QA, QB, QC, QD
devem ter interseo com EF (um destes quadrados mais QO cobriro em
conjunto uma poro menor que 2a 1 do comprimento do segmento EF).
Ento, novamente pelo lema, esses k quadrados e QO cobrem uma poro do
comprimento menor que ( k 1) a dos segmentos AB, CD, e EF.
Os restantes (4 k) quadrados intersectam exatamente um dos segmentos AB e
CD, e cada um deles pode cobrir uma poro de comprimento no mximo a 2
do segmento correspondente. Assim, a poro de AB, CD e EF coberta pelos
cinco quadrados menor que:
( k 1) a ( 4 k ) a 2 ka (1

EUREKA! N12, 2001

26

2 ) a (1 4 2 ).

Sociedade Brasileira de Matemtica

Como 1 2 0, k 2 e a

1
, observamos que
2

ka 1 2 a 1 4 2 2a 1 2 a 1 4 2 a 3 2 2

3 2 2
3
2

o que contradiz que AB, CD e EF esto cobertos.


M
h1

h2

Falta demonstrar o lema. Se o quadrado KLMN de lado a

1
intersecta as retas
2

1
, ento dois vrtices de KLMN devem
2
estar em lados distintos da banda determinada por l e m (tambm podem estar em
1
l e m). A condio a implica que esses dois vrtices de KLMN so opostos,
2
digamos K e M.
Ento, pela mesma condio, os restantes dois vrtices do quadrado devem estar
contidos na faixa comprendida entre l e m. Sejam h1 e h2 as alturas
correspondentes s hipotenusas dos tringulos retngulos semelhantes que so as
duas pores do quadrado que esto fora da faixa comprendida entre l e m, e
denotamos ao menor dos ngulos agudos dos tringulos. Ento, o ngulo
comprendido entre KM e qualquer reta perpendicular a l e m 45 e a
projeo de KLMN sobre uma reta mede a 2 cos(45 ). Logo,
1
1
h1 h2 a 2 cos( 45 ) a sen cos .
2
2
A soma das hipotenusas consideradas :

paralelas l e m que esto a distncia

1
a sen cos
h1 h2
2.
S h1tg h1 cot h2 tg h2 cot

sen cos
sen cos
Como sen cos 1 sen cos equivale desigualdade evidente

EUREKA! N12, 2001

27

Sociedade Brasileira de Matemtica

1 sen 1 cos 0 e

1
, obtemos
2

1
1
1
a 1 sen cos
a
2
2 a
2
S
a.
sen cos
sen cos
sen cos
A demonstrao est completa.
a sen cos

COMO FERMAT E BZOUT PODEM SALVAR O DIA


Antonio Caminha Muniz Neto, Fortaleza - CE
Nvel Avanado.
Certamente voc, leitor, tem alguma familiaridade com os fatos mais
bsicos da teoria elementar dos nmeros. Portanto, no objetivo desenvolv-los
aqui de modo sistemtico. Para isso voc pode consultar [1], [2] ou [3] nas
referncias. O que vou fazer mostrar como dois resultados particulares, os
teoremas de Bzout e Fermat, podem ser usados para abordar com sucesso alguns
problemas interessantes. Para facilitar a leitura, vamos relembrar alguns conceitos
e provar os resultados mais centrais para ns.

EUREKA! N12, 2001

28

Sociedade Brasileira de Matemtica

Definio 1: Dados dois inteiros no nulos a e b, definimos o mximo divisor

comum (mdc) como o maior inteiro d que divide ambos a e b.


A definio acima certamente faz sentido, uma vez que a e b tm divisores
comuns (1, por exemplo) e qualquer inteiro que divida a e b deve ser, em
particular, menor ou igual a a. Assim, realmente existe um maior inteiro que
divide a e b. Caso esse maior inteiro seja igual a 1, dizemos que a e b so primos
entre si, ou ainda relativamente primos. Para nossos propsitos, o seguinte
resultado sobre o mdc de dois inteiros ser suficiente:
Teorema 1 (Bzout): Sejam a e b inteiros no nulos dados e d seu mdc. Ento

existem inteiros x e y tais que d = ax0 + by0. Mais ainda, se a e b so


positivos, podemos escolher x0 > 0 e y0 < 0, ou vice-versa.
Prova: Seja S o conjunto dos inteiros da forma ax + by, com x e y inteiros.

Escrevendo a = a(1) + b0, conclumos que a S, e


portanto S contm inteiros positivos. Podemos ento escolher o
menor inteiro positivo pertencente a S, o qual vamos denotar por
d. Afirmamos que tal menor elemento positivo d o mdc de a e
b.
Desde que d est em S, devem existir inteiros x0 e y0 tais que d = ax0 + by0. Para
provar que d divide a, dividamos a por d: a = dq + r, com 0 r < d.
r = a dq = a (ax0 + by0)q = a(1 x0q) + b( y0q),
que por definio est em S. O fato de ser d o menor inteiro positivo em S,
juntamente com 0 r < d, implica que r = 0, e assim d divide a. Analogamente
mostramos que d divide b. Por outro lado, se d for qualquer outro divisor comum
de a e b, segue que d divide ax + by, quaisquer que sejam os inteiros x e y. Em
particular, d divide d = ax0 + by0, de modo que d d. Isso prova ser d o mdc de
a e b.
Para o que falta, analisemos somente o caso em que a, b > 0 (a anlise dos demais
casos totalmente anloga). Como d = ax0 + by0 = a(x0 + tb) + b(y0 ta),
x
y
escolhendo t 0 , 0 obtemos x0 + tb > 0 > y0 ta.
b a

Corolrio 1.1: Dois inteiros no nulos a e b so primos entre si se e s se existirem


inteiros x e y tais que ax + by = 1.

EUREKA! N12, 2001

29

Sociedade Brasileira de Matemtica

O outro resultado que usaremos nos problemas a seguir o pequeno teorema de


Fermat. Recordemos seu enunciado e prova:
Teorema 2 (Fermat): Dados inteiros a > 1 e p primo, tem-se ap a (mod p).
Prova: Se a for mltiplo de p nada h a fazer. Seno, como p primo temos que a

e p so primos entre si.


Considere agora os nmeros a, 2a, 3a, ...., (p 1)a. Dados 1 i < j p 1, como
ja ia = (j i)a um produto de dois nmeros no divisveis por p,
temos que ja ia no divisvel por p. Em linguagem de congruncias
ia (mod p ) . Tambm, nenhum dos
isso o mesmo que ja
nmeros ja mltiplo de p, e portanto os restos dos nmeros a, 2a,
3a, ...., (p 1)a na diviso por p formam uma permutao de 1, 2, 3, ...,
p 1. Voltando s congruncias, isso implica que
a2a3a .... (p 1)a 123 .... (p 1) (mod p),
ou ainda
(p 1)!ap 1 (p 1)! (mod p)
Mas (p 1)! relativamente primo com p, e portanto pode ser cancelado em
ambos os membros da ltima congruncia acima, dando o resultado desejado.

Aps essa breve reviso(?), vamos aos problemas!


PROBLEMAS RESOLVIDOS
Problema 1: Sejam a e b inteiros positivos primos entre si. Ento todo inteiro c

maior ou igual que o nmero (a 1)(b 1) pode ser escrito da forma c =


ar + bs, com r, s 0. Mais ainda, o menor inteiro com essa propriedade
(a 1)(b 1).

EUREKA! N12, 2001

30

Sociedade Brasileira de Matemtica

Soluo: Dado c inteiro, o fato de serem a e b primos entre si garante que existem

inteiros x e y tais que c = ax + by (voc entendeu por qu?). Seja agora


y = da + s, onde 0 s < a. Temos c = ax + b(da + s) = a(x + bd) + bs.
Seja r = x + bd. Se c (a 1)(b 1) ento (a 1)(b 1) c = ar + bs
ar + b(a 1), de modo que ar (a 1) , e portanto r 0.
Resta mostrarmos que (a 1)(b 1) 1 = ab a b no pode ser escrito da
forma ar + bs, com r, s 0. Supondo o contrrio, seja ab a b = ar +
bs, onde r, s 0. Ento temos a (b 1 r) = b(s + 1). Como a e b so
primos entre si, segue que a divide s + 1 e b divide b 1 r. Como b
1 r < b, deve ser b 1 r 0, ou ainda r b 1. Tambm, como s +
1 > 0 e a divide s + 1, deve ser s + 1 a, ou s a 1. Mas a, ar + bs
a(b 1) + b(a 1) = 2ab a b > ab a b = (a 1)(b 1) 1, uma
contradio.
Problema 2: (Seleo da Romnia para IMO) Prove que no existe um inteiro n >

1 tal que n divida 3n 2n.


Prova: Suponha o contrrio, isto , que para algum inteiro n > 1 tenhamos 3n 2n

0 (mod n). Obviamente 2 e 3 no dividem n. Seja agora p o menor fator


primo de n e n = pm (aqui que usamos ser n > 1, para garantir que n
tem fator primo). Nossa hiptese, juntamente com o pequeno teorema de
Fermat, nos do:
3n 2n (mod n) 3mp 2mp (mod p) 3m 2m (mod p) (*)
Se d = mdc(m, p 1), temos em particular que d divide n. Portanto, o fato de ser
p o menor divisor primo de n implica que d = 1. Tome ento inteiros positivos x e
y satisfazendo mx = (p 1)y + 1. O pequeno teorema de Fermat de novo,
juntamente com (*), nos do
3 3(p 1)y + 1 = 3mx 2mx = 2(p 1)y + 1 2 (mod p),
o que um absurdo.
Problema 3: Sejam m e n inteiros positivos. Determine o polinmio mnico p, de

maior grau possvel, que divide simultaneamente os polinmios xm 1 e xn 1 .


Soluo: Primeiro, no difcil vermos que, sendo d o mdc de m e n, ento xd 1

divide ambos xm 1 e xn 1. De fato, seja por exemplo m = dk, com k > 0


inteiro. Ento
xm 1 = (xd)k 1 = (xd 1)(xd(k 1) + xd(k 2) + .... + xd + 1)

EUREKA! N12, 2001

31

Sociedade Brasileira de Matemtica

Mostrar que xd 1 divide xn 1 anlogo. A parte mais difcil mostrar que xd


1 o polinmio mnico p de maior grau que divide ambos xm 1 e xn 1, e para
isso que precisamos de Bzout. Seja p um polinmio mnico que divide ambos
xm 1 e xn 1 e z uma raiz complexa de p. Como p divide xm 1 e xn 1, temos
que z raiz de ambos esses polinmios. Em outras palavras, zm = zn = 1. Mas o
teorema de Bzout garante que existem inteiros u e v tais que mu + nv = 1. Isso
nos d
zd = zmu + nv = (zm)u(zn)v = 1u1v = 1,
e assim z raiz de xd 1. Como toda raiz de p tambm raiz de xd 1 e como xd
1 s tem razes simples, segue que p divide xd 1. Portanto, xd 1 o
polinmio mnico de maior grau que divide ambos xm 1 e xn 1.
Problema 4: (The William Lowell Putnam Competition) Sejam m e n inteiros
mdc ( m, n) m

inteiro.
positivos, com m n. Prove que
m
n
Prova: Para esse problema usamos o teorema de Bzout de um modo bastante
x m

seja inteiro.
elegante. Seja S o conjunto dos inteiros x tais que
m n

Veja que m est em S j que nmeros binomiais so inteiros. Tambm n


est em S, pois
m 1
n m
n
m!


m n
m (m n)! n! n 1

Por outro lado note que, se x e y estiverem em S, ento ux + vy tambm estar em


S, quaisquer que sejam u e v inteiros. De fato,
ux vy m
x m
y m

u
v
,
m n
m n
m n

que um inteiro. Como o mdc de m e n pode ser escrito da forma mu + nv, para
algum par de inteiros u e v, segue que mdc(m, n) est em S.
Problema 5: (Seleo do Brasil para a IMO) Determine todas as funes

f : Q * Z satisfazendo as seguintes condies:


i. f (1999) = 1.
ii. f (ab) = f (a) + f (b), para todos os racionais positivos a, b.
iii. f (a + b) min {f (a), f (b)}, para todos os racionais positivos a, b.

EUREKA! N12, 2001

32

Sociedade Brasileira de Matemtica

Soluo: Fazendo a = b = 1 em ii. Vem que f (1) = 2f (1), donde f (1) = 0. Da,

dados inteiros positivos m e n, temos


m
1
= f (m) + f
n
n

1
+ f (n) = f (1) = 0,
n

donde
m
= f (m) f (n)
n

Assim, basta calcularmos os valores de f (n), com n inteiro positivo. Seja n =


a
a
p1 1 .... p k k a decomposio de n em fatores primos. Usando ii. vrias vezes,
vem que f (n) = a1 f (p1) + .... + ak f (pk), de modo que basta calcularmos f (p), com
p primo. Afirmamos que f (n) 0 para todo inteiro positivo n. Para provar esse
fato, faamos induo sobre n. J vimos que f (1) = 0. Suponhamos agora que f
(n) 0 para algum inteiro positivo n. Ento f (n + 1) min {f (n), f (1)} 0, e
isso termina nossa induo. Afirmamos agora que f (2) = 0 ou f (3) = 0. De fato,
como 1999 = 39 + 4934, temos que
1 = f (1999) min {f (3) + f (9), f (493) + f (4)}
min {3f (3), 2f (2)},
e da segue o afirmado. Suponhamos que f (2) = 0 ( f (3) = 0 anlogo), e seja p
um primo diferente de 2 e de 1999. Tomando k inteiro suficientemente grande, o
problema 1 garante a existncia de inteiros positivos x e y tais que px + 1999y =
2k. Ento
0 = f (2k) min { f (p) + f (x), f (1999) + f (y)}
Como f (1999) + f (y) 1, segue que f (p) = 0. Ento, sendo n = 1999am, com
1999 e m primos entre si, segue que f (n) = a. Mas imediato verificar que tal
funo satisfaz as condies impostas no enunciado.
PROBLEMAS PROPOSTOS
Problema 6: Generalizando a teoria desenvolvida acima e o problema 1, sejam a1,

a2, ...., an (n 2) inteiros positivos tais que mdc(a1, a2, ...., an) = d (a definio de
mdc que demos no incio se aplica nesse caso ipsis literis). Prove que:
i. Existem inteiros x1, x2, ...., xn tais que a1x1 + a2x2 + .... + anxn = d.

EUREKA! N12, 2001

33

Sociedade Brasileira de Matemtica

ii. Se d = 1, mostre que existe um inteiro positivo m0 tal que todo inteiro m m0
pode ser escrito da forma a1y1 + a2y2 + .... + anyn, com y1, y2, ...., yn 0.
(sugesto: para o item i. imite a prova do texto acima. Para ii., que tal usar
induo sobre n > 1? Para uma cota mais precisa para m0, veja [2]).
Problema 7: Considere duas progresses aritmticas infinitas e no constantes de

inteiros positivos. Prove que existem infinitos naturais termos de ambas


as seqncias se e s se o mdc de suas razes dividir a diferena entre
seus termos iniciais.
(sugesto: use Bzout. fcil!).
Problema 8: (The William Lowell Putnam Competition) Prove que no existe

inteiro n > 1 tal que n divida 2n 1.


(sugesto: use as idias que apareceram na prova do problema 2).
Problema 9: (Olimpada Blgara) Determine todos os primos p, q tais que pq

divida o nmero (5p 2p)(5q 2q)


(sugesto: se q dividir 5p 2p e p q, ento mdc(p, q 1) = 1. Como antes, use
Bzout e Fermat).
Problema 10: (Seleo da Romnia para IMO) Sejam p, q nmeros primos. Se q

dividir 2p + 3p, prove que q > p ou q = 5.


(sugesto: se p > 3 e q p, ento q 1 < p, donde q 1 e p so primos entre si.
Mais uma vez use Bzout e Fermat).

REFERNCIAS

EUREKA! N12, 2001

34

Sociedade Brasileira de Matemtica

[1] Introduo Teoria dos Nmeros. Antnio Plnio dos Santos. IMPA. Rio de Janeiro,
1998.
[2] Olimpadas de Matemtica, um Curso de Introduo, vol. 2. Antonio Caminha.
Editora Ipiranga. Fortaleza, 2001 (a ser publicado).
[3] Divisibilidade,Congrncias e Aritmtica mdulo n. Carlos Gustavo Moreira, Eureka!
no.2 (1998),pp. 41-52.

GRAFOS E CONTAGEM DUPLA


Carlos Yuzo Shine, Colgio Etapa
Nvel Intermedirio.
1. GRAFOS
1.1 O que so e para que servem grafos?

Define-se grafo como o par (V, A) onde V = {v1, v2,...,vn} um conjunto de


vrtices e A {{vi, vj}t.q. vi, vj V, i j} um conjunto de arestas (na verdade,
uma aresta um par no-orientado de vrtices).
A representao mais comum de grafos associar os vrtices a pontos e as arestas
a linhas que ligam os pares de vrtices que as formam.
Mas o mais importante que os grafos podem representar inmeras situaes. Por
exemplo, quando voc brinca de ligar os pontos, no fundo voc est traando
arestas em um grafo onde os vrtices so dados (em vez de ligue os pontos,
poderamos escrever areste o grafo...).
Embora paream simples, os grafos tm muito mais utilidades, como veremos.
Na verdade, a Teoria dos Grafos uma das partes mais importantes da
Matemtica, e muito utilizada principalmente em computao.
Exemplo 1.1

Podemos construir um grafo que represente pessoas apertando mos. Os vrtices


seriam as pessoas. Ligamos dois vrtices (formando assim uma aresta) se duas
pessoas se cumprimentaram.

EUREKA! N12, 2001

35

Sociedade Brasileira de Matemtica


Edmilson
Gustavo
Eduardo

Carlos

Onofre

Paulo
Emanuel

Exemplo 1.2

possvel que os cavalos do tabuleiro (I) fiquem na posio do tabuleiro (II) ?

(II)
(I)
Observao: um cavalo, no xadrez, se movimenta da seguinte forma: ele se move
duas casas na vertical ou horizontal e depois se move uma casa na direo
perpendicular direo em que havia se movimentado antes.

Resoluo

Vamos numerar as casas do tabuleiro da seguinte forma:

EUREKA! N12, 2001

36

Sociedade Brasileira de Matemtica

Vamos construir um grafo onde os vrtices so as casas do tabuleiro. Ligaremos


dois vrtices i e j se possvel um cavalo ir da casa i casa j. Temos ento o
seguinte grafo (verifique!).
1
6

2
9

Coloquemos agora os cavalos nas situaes inicial e final, respectivamente:


1

Inicial

Final

Observe que no podemos ter dois cavalos na mesma casa, assim os cavalos
devem sempre estar na mesma ordem no ciclo. Logo no possvel chegar na
posio final.
Exerccios

EUREKA! N12, 2001

37

Sociedade Brasileira de Matemtica

01. (IMO) Considere um inteiro positivo r e um retngulo de dimenses


AB 20, BC 12. O retngulo dividido em uma grade de 20 12
quadrados unitarios. Uma moeda pode ser movida de um quadrado a outro se, e
somente se, a distncia entre os centros dos quadrados r . A tarefa encontrar
uma seqncia de movimentos que levem uma moeda do quadrado que tem A
como vrtice ao quadrado que tem B como vrtice.
a) Mostre que a tarefa no pode ser feita se r divisvel por 2 ou 3.
b) Prove que a tarefa pode ser feita se r = 73.
c) Pode a tarefa ser feita quando r = 97?
Dicas: Para o item a), use o fato de que um quadrado perfeiro pode deixar
somente os restos 0 ou 1 quando divididos por 3 ou 4. Para os itens b) e c),
construa dois grafos: um que considera a posio da moeda na horizontal e outro
na vertical.
1.2. Grau de vrtice

Definimos grau de vrtice vi como o nmero de arestas que contm vi e


denotamos d(vi). No ltimo exemplo, o grau de um vrtice seria o nmero de
apertos de mo que a pessoa correspondente deu.
Exemplo 1.3.

Na cidade de Micrpolis, h 7 telefones. Um candidato a prefeito prometeu que


ampliaria a rede de telefonia de modo que cada um dos 7 telefones esteja
conectado diretamente a exatamente 5 outros telefones. possvel que ele
cumpra sua promessa?
Resoluo

Se imaginarmos um grafo onde os vrtices so os telefones e as arestas, as


conexes, teramos que o grau de cada vrtice seria 5.
Vamos contar o nmero de conexes entre dois telefones (ou seja, o nmero de
arestas do grafo). Como de cada telefone sairiam 5 conexes, teramos a princpio
5.7 = 35 conexes; mas contamos cada conexo duas vezes, uma vez em cada um
dos dois telefones a que ele est conectado. Assim, deveramos ter na verdade
35/2 conexes, o que seria um absurdo. Assim, o candidato a prefeito no pode
cumprir sua promessa (no votem nele!!).
Este exemplo mostra

EUREKA! N12, 2001

38

Sociedade Brasileira de Matemtica

1.3. Um teorema importante


Teorema. Em um grafo, a soma dos graus de todos os vrtices igual ao dobro do

nmero de arestas. Em smbolos: no grafo (V, A),


d (v i ) 2 A
vi V

denota o nmero de elementos do conjunto X.)

Demonstrao

De cada vrtice v saem d(v) arestas. Assim, se somarmos os graus de todos os


vrtices, obtemos o nmero de arestas multiplicado por dois, pois contamos cada
aresta duas vezes (lembre-se de que cada aresta est associada a dois vrtices).
2. Contagem Dupla

O que acabamos de fazer foi contar algo de duas maneiras diferentes, no caso o
nmero de arestas (na verdade, o seu dobro). Esta idia de contar duas vezes s
vezes muito til para demonstrar algumas relaes.
Exemplo 2.1.

(Combinaes) De quantos modos podemos escolher k elementos dentre n


disponveis?

Importante: Tal nmero representado por

combinao de n k a k.

n

k

l-se n escolhe k ou

Resoluo

Vamos contar de duas maneiras o nmero de filas com os k elementos escolhidos.


Podemos (i) primeiro escolher os k elementos e coloc-los em filas ou (ii)
escolher diretamente os elementos e irmos colocando na fila.

EUREKA! N12, 2001

39

Sociedade Brasileira de Matemtica

Fazendo como em (i), temos

n

k

maneiras de escolhermos os elementos;

podemos escolher o primeiro da fila de k maneiras, o segundo de k 1 maneiras,


e assim por diante. Assim temos

n n
k1. k!1
k k

maneiras de formar a fila. (lembrete: k k 1 ... 1 k! l-se k fatorial).


Por outro lado, fazendo como em (ii), temos n maneiras de escolher o primeiro da
fila, n 1 maneiras de escolher o segundo e assim por diante, at o ltimo, que
pode ser escolhido de n k + 1 maneiras. Assim, temos n n 1 ... n k 1
maneiras de formar a fila. Logo, de (i) e (ii), conclumos que

EUREKA! N12, 2001

40

Sociedade Brasileira de Matemtica

n
k! nmero de filas n n 1 . . n k 1
k

n n n 1 . . n k 1 n k ! n!


k k! n k ! k!n k !
Exemplo 2.2.

(Lema de Sperner) Dividimos um tringulo grande 123 em tringulos menores de


modo que quaisquer dois dentre os tringulos menores ou no tm ponto em
comum, ou tm um vrtice em comum ou tem um lado (completo) em comum.
Os vrtices dos tringulos so numerados: 1, 2 ou 3. A numerao arbitrria,
exceto que os vrtices sobre os vrtices do tringulo maior oposto ao vrtice i no
podem receber o nmero i. Mostre que entre os tringulos menores existe um
com os vrtices 1, 2, 3.
1
1
1

3
1

1
1

2
2

Resoluo
EUREKA! N12, 2001

41

Sociedade Brasileira de Matemtica

Contaremos o nmero de segmentos 12 (com algumas repeties). Eles


aparecem nos tringulos
1

Digamos que h x tringulos 123, y tringulos 122 e z tringulos 112. Observe


que os segmentos 12 internos ao tringulo grande so contados duas vezes (eles
so comuns a dois tringulos) e os segmentos do lado do tringulo grande,
somente uma vez. Notemos tambm que os segmentos 12 aparecem duas vezes
nos tringulos 122 e 112 e uma vez nos tringulos 123. Assim,
2 segmentos interiores + segmentos nos lados = nmero de segmentos = x 2 y 2 z
Mostraremos um fato mais forte que o lema: provaremos que x mpar e portanto
no pode ser zero.
Observando a equao acima, vemos que basta provarmos que o nmero de
segmentos 12 sobre os lados do tringulo grande mpar.
Como no podemos ter pontos 1 no lado 23 nem pontos 2 no lado 13 , todos os
segmentos 12 esto sobre o lado 12 do tringulo grande. Provemos que o
nmero de segmentos sobre o lado mpar. Para isso, vamos colocar vrtices 1
ou 2 no lado 12 . Assim, no comeo, temos somente o lado 12 :
1

Na hora de colocar vrtices, considere o menor segmento em cujo interior


colocaremos o vrtice. Poderemos estar em uma das seguintes situaes:
Este segmento do tipo 11 :
1 ou 2

Se colocarmos 1, o nmero de segmentos 12 no muda; se colocarmos 2,


aumenta de 2. De qualquer forma, a paridade do nmero de segmentos 12 no
muda.
Este segmento do tipo 22 :
1

1 ou 2

EUREKA! N12, 2001

42

Sociedade Brasileira de Matemtica

Se colocarmos 1, o nmero de segmentos 12 aumenta de 2; se colocarmos 2,


no muda. De qualquer forma a paridade do nmero de segmentos 12 no
muda.
Este segmento do tipo 12 :
1

1 ou 2

Se colocarmos 1 ou 2, o nmero de segmentos 12 no muda e claro que a


paridade desse nmero no muda tambm.
Logo a paridade do nmero de segmentos 12 nunca muda (ou seja,
invariante). Como no comeo temos um segmento 12 (o prprio lado 12 ),
temos que o nmero de segmentos 12 no lado do tringulo grande sempre
mpar, o que completa nossa demonstrao.
Contar algo de duas maneiras tambm nos ajuda a demonstrar desigualdades.
Exemplo 2.3.

Na terra de Oz h n castelos e vrias estradas, sendo que cada uma liga dois
castelos e no h mais do que uma estrada ligando diretamente dois castelos. Diz
a lenda que se houver quatro castelos ligados em ciclo (ou seja, se existirem
quatro castelos A, B, C e D tais que A e B, B e C, C e D e D e A esto ligados),
um drago aparecer do centro dos castelos e destruir a Terra de Oz. Mostre que
para esta desgraa no acontecer o nmero de estradas deve ser menor ou igual a

4 n 3 n / 4.

Resoluo

Considere um castelo ligado a outros dois.

EUREKA! N12, 2001

43

Sociedade Brasileira de Matemtica

Para cada castelo v do conjunto V dos castelos temos

d (v )

2

pares de estradas.

Para a desgraa no ocorrer, observemos que devemos Ter no mximo um par de


estradas asociado a um mesmo par de castelos. Assim, a quantidade de pares de
estradas menor ou igual quantidade de pares de castelos. Logo

d(v) n
paresdt paresdctlo
2vV 2

d v

d v n 2 n

vV

d v d v n 2 n
2

vV

(*)

vV

Sabemos que a soma vV d (v ) igual ao dobro do nmero de estradas


2 A . Alm disso, pode-se mostrar (usando a desigualdade entre as mdias
quadrtica e aritmtica, ou mesmo Cauchy-Schwarz) que

EUREKA! N12, 2001

44

Sociedade Brasileira de Matemtica

(d (v))

d (v )
vV

vV

4A

Assim
(*)

4A

2 A n2 n 4 A

Resolvendo (**) em

A,

2n A n n 2 n 0

(**)

obtemos

n n 4n 3
n n 4n 3
A
A 1
4
4

4n 3

n4 .

Exerccios

02. Dizemos que dois poliedros P e Q so equidecomponveis se possvel cortar


o poliedro P em vrios poliedros menores e montar, sem deixar espaos vazios e
sem sobrar poliedros, o poliedro Q. Sejam 1 , 2 ,..., m os ngulos didricos
(ngulos entre faces adjacentes) de P e 1 , 2 ,..., m os ngulos didricos de
Q. Mostre que se P e Q so equidecomponveis ento existem nmeros inteiros
positivos a1 , a 2 ,..., a m , b1 , b2 ,..., bn e um nmero inteiro k tais que

a1 1 a 2 2 ... a m m b1 1 b2 2 ... bn m k

A partir desta relao podemos mostrar (isto um pouco mais difcil!!) que um
cubo e um tetraedro de mesmo volume no so equidecomponveis.
03. Dado n inteiro, seja d(n) o nmero de divisores de n. Seja d (n) o nmero
mdio de divisores dos nmeros entre 1 e n, ou seja,
d ( n)

1
n

d ( j)
j 1

Mostre que
n

n
1
1
d ( n)
i 2 i
i 1 i
Esta desigualdade nos mostra que d (n) ln n, e que a diferena d ( n) ln n
no mximo 1.
04. (IMO) Num concurso, h m candidatos e n juzes, onde n 3 mpar. Cada
candidato avaliado por cada juiz, podendo ser aprovado ou reprovado. Sabe-se
que os julgamentos de cada par de juzes coincidem em no mximo k candidatos.
Prove que
k
n 1

m
2n

EUREKA! N12, 2001

45

Sociedade Brasileira de Matemtica

Referncias Bibliogrficas
A parte de grafos foi baseada em um dos captulos do livro Mathematical Circles A
Russian Experience, que aborda o treinamento russo para as olimpadas.
Muitos dos exerccios de contagem dupla foram extrados do livro Proofs From The
Book, que contm as demonstraes consideradas pelos autores (e tambm por muitos
leitores!) as mais elegantes.

OLIMPADAS AO REDOR DO MUNDO


O comit editorial de EUREKA! agradece aos leitores o crescente envio de
solues e aos inmeros elogios para a seo OLIMPADAS AO REDOR DO MUNDO.

Continuamos salientando que estamos disposio na OBM para aqueles


que estiverem interessados na soluo de algum problema particular. Para tanto,
basta contactar a OBM, atravs de carta ou e-mail.
Antonio Luiz Santos

Primeiramente vamos aos problemas propostos deste nmero


121. (Rssia-2001) Os valores da funo quadrtica f x x 2 ax b para dois

inteiros consecutivos so os quadrados de dois inteiros tambm


consecutivos. Mostre que os valores da funo quadrtica so quadrados
perfeitos para todos os inteiros.
122. (Rssia-2001) Determine todos os nmeros inteiros positivos que podem ser
x2 y
representados de maneira nica sob a forma
onde x e y so
xy 1

inteiros positivos.
123. (Rssia-2001) Os

senos

dos ngulos de um tringulo so nmeros racionais.


Mostre que os seus cossenos so tambem racionais.

124. (Rssia-2001) Dois crculos s1 e s 2 de centros O1 e O2 intersectam-se

nos pontos A e B . Seja M um ponto qualquer do crculo s1 tal que


MA intersecta s 2 no ponto P e MB intersecta s 2 no ponto Q .

EUREKA! N12, 2001

46

Sociedade Brasileira de Matemtica

Mostre que se o quadriltero AO1 BO2 cclico (inscritvel) ento AQ


e BP intersectam-se em s1 .
125. (Rssia-2001) Eliminando-se o 2000o. algarismo da expanso decimal da
1
frao
(onde p um nmero primo maior que 5) obtemos a frao
p

irredutvel

a
. Mostre que b divisvel por p .
b

126. (Rssia-2001) Cinco nmeros, um dos quais 2000, so escritos em um

quadro negro. permitido apagar qualquer um destes nmeros e o


substituirmos pelo nmero a b c , onde a , b e c so trs quaisquer
dos nmeros restantes. possvel com estas operaes obter cinco nmeros
iguais a 2000?
127. (Estnia-2001) Quantos nmeros inteiros positivos menores que 20002001

no contm outros algarismos distintos de 0 e 2?


128. (Estnia-2001) Em um tringulo ABC , as medidas dos seus lados so

inteiros consecutivos e a mediana relativa ao lado BC perpendicular


bissetriz interna do ngulo ABC . Determine as medidas dos lados do
tringulo ABC .
129. (Estnia-2001) Considere todos os produtos por 2, 4, 6,...,2000 dos elementos

1
1
1 1 1
, , ,...,
,
. Determine a soma de todos
2
3
4
2000
2001

do conjunto A
estes produtos.

x e y verdadeira a igualdade
x

y
y . Mostre que
um quadrado perfeito.

130. (Eslovnia-2001) Para os inteiros positivos


2

3x x 4 y

131. (Eslovnia-2001)

Determine

todos

os

nmeros

primos

da

forma

101010...101 .
132. (Eslovnia-2001) Gustavo tentou escrever alguns nmeros utilizando somente

o algarismo 1 e o sinal de mais. Ele percebeu , por exemplo, que existem


apenas dois inteiros positivos n (13 e 4) para os quais o nmero 13 pode ser
escrito utilizando n 1s e o sinal de mais. De fato, o nmero 13 pode ser
EUREKA! N12, 2001

47

Sociedade Brasileira de Matemtica

escrito como a soma de 13 1s ou 11 + 1 + 1 onde 4 1s foram utilizados.


Determine quntos so os inteiros positivos n tais que o nmero 125 seja
escrito utilizando-se n 1s e o sinal de mais.
133. (Eslovnia-2001) Seja ABC um tringulo retngulo de hipotenusa AC .

Sabendo que sobre o lado BC existem pontos D e E tais que


BAD DAE EAC e EC 2 BD . Determine os ngulos do
tringulo.

f : R\-1, 1 R que satisfazem

134. (Crocia-2001) Determine todas as funes

equao :
x 3
3 x
f
x
x 1
1 x

135. (Crocia-2001) Se x y z 0 , simplifique

x7 y7 z7
xyz x 4 y 4 z 4

Sugesto : calcule x y e x y
4

136. (Crocia-2001). Dado o nmero n p1 p 2 p3 p 4 onde p1 , p 2 , p 3 e p 4

so quatro nmeros primos distintos. Sejam


d1 1 d 2 d 3 d 15 d16 n
os divisores positivos de n . Determine todos os n 2001 tais que
d 9 d 8 22 .
137. (Albnia-2001) Mostre as igualdades:

2
6
1
2

2 3
sen 2
sen
sen
(i) cos
11
11
11 4
11

3
2
4 sen
11
(ii) tg
11
11
138. (Bielorssia-2001) Em um tringulo issceles ABC , no qual AB AC e
BAC 30 , marcam-se os pontos Q e P sobre o lado AB e sobre
EUREKA! N12, 2001

48

Sociedade Brasileira de Matemtica

a mediana AD respectivamente, de modo que PC PQ ( Q B ).


Determine a medida do ngulo PQC .
139. (Bielorssia-2001) Eduardo escreveu todos os produtos, todas as somas e todos

os valores absolutos das diferenas dos inteiros positivos a1 , a 2 ,..., a100


tomados dois a dois. Qual o maior nmero de inteiros mpares obtidos por
Eduardo?
140. (Bielorssia-2001). Um inteiro positivo k chamado bom se existe um inteiro

positivo N com k algarismos em sua representao decimal e tal que o


i simo algarismo da esquerda para a direita do nmero 3N igual ao
k i 1 simo algarismo da direita para a esquerda do nmero 2N,
1 i k . Determine a soma de todos os nmeros bons existentes entre 1 e
100.
141. (Bielorssia-2001) Mostre que

1
1

2 n2 a 2
n
a
a

para todo inteiro positivo n e todo real positivo


an

a.

142. (Finlndia-2001) Determine n N tais que n 2 2 divida 2 2001n .


143. (Itlia-2001) Em um hexgono equingulo, as medidas de quatro lados

consecutivos so, nesta ordem, 5, 3, 6 e 7. Determine as medidas dos outros


dois lados.
144. (Itlia-2001) Dada a equao x 2001 y x ,

(i) determine todos os pares de solues (x, y) tais que x seja um nmero
primo e y um inteiro positivo.
(ii) determine todos os pares de solues (x, y) tais que x e y so inteiros
positivos.
145. (Israel-2001) As medidas dos lados de um tringulo ABC so 4, 5 e 6. Por um

ponto D qualquer de um de seus lados, traamos as perpendiculares DP e


DQ sobre os outros lados. Determine o valor mnimo de PQ.

2001 nmeros reais x1 , x 2 ,..., x 2001 tais que


0 x n 1 para cada n 1,2,...,2001 determine o valor mximo de

146. (Israel-2001) Dados

EUREKA! N12, 2001

49

Sociedade Brasileira de Matemtica

1 2001 2 1 2001

x n
x n
2001
n 1

2001 n 1
e onde este mximo atingido.

147. (Grcia-2000) Seja f : N R uma funo tal que f (1) = 3 e

f 2m f 2n
2
n
e
com m n . Determine a

f m n f m n m n 1
para todos os inteiros no negativos
expresso de f(m).

148. (Grcia-2001) Fatore a expresso


A x 4 y 4 z 4 2x 2 y 2 2 y 2 z 2 2z 2 x 2

e mostre que a equao A = 2000 no possui soluo no conjunto dos


nmeros inteiros.
149. (Hungria-2000) O produto de 2001 inteiros positivos distintos possui

exatamente 2000 divisores primos distintos. Mostre que podemos escolher


alguns destes 2001 nmeros de modo que seu produto seja um quadrado
perfeito.
150. (Hungria-2000) Seja S o nmero de subconjuntos com 77 elementos de H = {1,

2, 3,...2000, 2001} para os quais a soma dos elementos de cada subconjunto


seja par e seja N o nmero de subconjuntos com 77 elementos de H para os
quais a soma dos elementos de cada subconjunto seja mpar. Determine qual
dos dois S ou N maior e o quanto?

Agora vamos aos comentrios e solues dos leitores para alguns dos
problemas apresentados em nossa seo nos nmeros anteriores de EUREKA!.
9.

(Irlanda-1998) Um tringulo ABC possui medidas dos lados expressas por

nmeros inteiros, A 2 B e C 90 . Determine o valor mnimo


do permetro deste tringulo.

EUREKA! N12, 2001

50

Sociedade Brasileira de Matemtica

SOLUO DE EINSTEIN DO NASCIMENTO JNIOR (FORTALEZA CE) (com adaptaes):

A resposta 77. De fato, fazendo-se B x temos A 2 x , sejam a, b e c


as medidas dos lados opostos aos ngulos A , B e C
respectivamente. Prolongando-se o lado CA no sentido de C para A at o
ponto D de um comprimento igual a c, vemos que o tringulo BCD
semelhante ao tringulo ABC logo,
b
a

ou a 2 b b c
a bc
Como estamos procurando um tringulo com o menor permetro possvel,
podemos supor que a, b e c no possuem fatores primos comuns pois, de outra
forma um outro exemplo menor haveria. De fato, b e c devem ser primos entre si
porque qualquer fator primo comum a b e c seria tambm um fator de a. Alem
disso, como o produto b(b + c) um quadrado perfeito que igual ao produto de
dois nmeros primos entre si tanto b quanto b + c devem eles mesmos serem
quadrados perfeitos. Deste modo, para m e n inteiros positivos quaisquer primos
entre si temos b = m2, b + c = n2, a = mn e da
n
a
2 cos B (pela lei dos senos)
m b

O ngulo C 3 B obtuso assim, 0 B


o que implica em
6
n
3
cos B 1 e portanto, 3 2 . facil ver que esta desigualdade no
m
2
possui solues inteiras com m = 1, 2 ou 3 da m 4 , n 7 e
a b c mn n 2 4 7 7 2 77

De fato, o par (m, n) = (4, 7) gera o tringulo (a, b, c) = (28, 16, 33) que satisfaz
todas as condies do problema.
10.

BAC 40 e
ABC 60 . Sejam D e E pontos sobre os lados AC e AB
respectivamente tais que CBD 40 e BCE 70 . Seja F o ponto
de interseo de BD e CE. Mostre que a reta que que contm AF
perpendicular que contm BC.
(Canad-1998) Em um tringulo ABC tem-se que

SOLUO DE LUCAS DE MELO PONTES E SILVA (FORTALEZA CE):

Sejam X o ponto de interseo de AF com BC e H o p da altura que parte de A.


Ento pela lei dos senos temos nos tringulos CBD e BDA :

EUREKA! N12, 2001

51

Sociedade Brasileira de Matemtica

CD
BD
DA
BD

e
sen40
sen80
sen 20
sen40
CD
sen 40sen 40

ou
.
DA
sen80sen20
EA
sen60sen10

Analogamente
. Pelo Teorema de Ceva, se AX, BD e
EB
sen70sen 40
CE so cevianas concorrentes no tringulo ABC tem-se que:
CD EA BX
sen40sen40 sen60sen10 BX

1 ou
DA EB XC
sen 20sen80sen70sen 40 XC

XC 2sen20 cos 20sen60 cos 80


sen60
tg 60

1 tg 80 tg 80
BX
sen20sen80 cos 20
2
Como AH temos nos tringulos AHB e AHC respectivamente:
tg 60
HC
AH
AH
tg 60
e tg 80
logo tg 80 HB
HB
HC
HC XC
HC HB XC XB

Logo
e como BAC agudo ento H
HB
XB
HB
XB
est entre B e C e portanto,
BC BC

XB HB X coincide com H.
HB XB
13.

(Irlanda-1999). Uma funo f : N N satisfaz s seguintes condies:


(i) f ab f a f b se o mximo divisor comum de a e b 1.
(ii) f p q f p f q para todos os nmeros primos p e q.
Mostre que f 2 2, f 3 3 e f 1999 1999 .

SOLUO DE MARCLIO MIRANDA DE CARVALHO (TERESINA PI):

Seja p um nmero primo mpar. Ento,

f 2 p f p p f p f p 2 f p

enquanto que

f 2 p f 2 f p

f
2

2
.
e da,
f 4 f 2 f 2 4 f 12 4 f 3 .
Agora,
f 12 f 7 f 5 f 12 2 f 2 f 3 f 2 f 3
f 3 3.
EUREKA! N12, 2001

52

Por

outro

lado,

Sociedade Brasileira de Matemtica

Finalmente,

f 5 f 2 f 3 5 f 15 15 f 13 13

f 26 26 f 23 23.

Por outro lado,

f 13 13 f 11 11 f 33 33 f 31 31

f 29 29.

Logo,

16.

f 2001 f 3 f 23 f 29 2001 f 1999 1999

(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,


tgA tgB 3 .

SOLUO DE GERALDO PERLINO JNIOR (SO PAULO SP) (com adaptaes):

Sejam D e E os ps das alturas traadas dos vrtices A e C respectivamente. Se H


o ortocentro do tringulo, observe que H pertence uma reta paralela a AB e
CE
3 . Deste modo, basta mostrar que
passando pelo baricentro se, e s se
EH
CE
tgA tgB . Como AHE CHD temos tambm que
EH
EAH BCE , isto os tringulos retngulos CEB e AEH so semelhantes e
CE
AE
CE
tgB

. Observando que tgA


, obtemos a relao
EB
EH
AE
necessria.
23.

(Rssia-1999) A soma dos algarismos de um inteiro positivo n escrito no

sistema de numerao decimal igual a 100 e a soma dos algarismos do


nmero 44n 800. Determine a soma dos algarismos do nmero 3n.
SOLUO DE MARCLIO MIRANDA DE CARVALHO (TERESINA PI):
Sejam a1 , a2 , a3 ,..., ak os algarismos de n e S n a soma de seus

algarismos. Ento,

44n 40 a1 a 2 ...a k 4 a1 a 2 ...a k 4 a1 a 2 ...a k 10 1

EUREKA! N12, 2001

53

Sociedade Brasileira de Matemtica

Logo, se os algarismos de 44 n forem :


4a1 , 4 a2 4 a1 , 4a3 4a 2 , ... , 4a k 4a k 1 e 4a k

teramos S 44n 8 a1 a 2 a k 800 . Assim, se houvesse algum vaium, a soma dos algarismos de 44n cairia . Deste modo, todos os algarismos de
n so menores ou iguais a 2 donde os algarismos de 3n so
3a1 ,3a 2 ,3a 3 ,...,3a k . Assim,
S (3n) 3a1 3a 2 3a3 ... 3a k 3.S ( n) 300 .

Acusamos o recebimento de solues de problemas anteriores dos seguintes


leitores de EUREKA!:
Anderson Torres
Geraldo Perlino
Ioziel Matos Corra Jnior
Jorge Silva Jnior
Marcelo R. De Souza
Marcelo Rufino de Oliveira

So Paulo SP
Itapec. da Serra SP
Rio de Janeiro RJ
Cachoeiro do Itapemirim ES
Rio de Janeiro RJ
Belm PA

Mauro Flix de Souza


Osvaldo Mello Sponquiado

Cordovil RJ
Olmpia SP

Paulo Alexandre Arajo Sousa


Renato Francisco Lopes Mello
Wallace Rodrigues de Holanda Miranda

Teresina PI
Jaboato dos Guararapes PE
Teresina PI

Wilson Carlos de Silva Ramos

Belm PA

EUREKA! N12, 2001

54

Prob.16, 52, 67, 69, 70, 76, 102, 105, 118, 120.
Prob. 115.
Prob. 52, 62, 71, 74, 76, 78.
Prob. 96, 98, 99, 101, 103, 110.
Prob. 95, 115.
Prob. 91, 92, 93, 95, 97, 98, 99, 101, 102, 104,
107, 109, 110, 111, 112, 114, 115, 118.
Prob. 98.
Prob. 29, 30, 38, 56, 57, 59, 63, 66, 67, 69, 74, 98,
107, 114, 118.
Prob. 62, 78, 82, 88, 76, 70.
Prob. 98, 99, 101, 109, 117.
Prob. 97, 98, 99, 101, 102, 104, 106, 109, 112,
114, 116, 117, 120.
Prob. 43, 68, 74, 82.

Sociedade Brasileira de Matemtica

Voc sabia

Que foi descoberto um novo primo de Mersenne em


14/11/2001 ? o nmero 2 13466917-1, que tem 4053946 dgitos e
, ao lado de 26972593-1, um dos dois primos conhecidos com mais
de um milho de dgitos. O descobridor, Michael Cameron, de
20 anos, um participante do GIMPS (um projeto cooperativo
para procurar primos de Mersenne).
Consulte na internet a pgina:
http://www.mersenne.org/prime.htm

SOLUES DE PROBLEMAS PROPOSTOS


Publicamos aqui algumas das respostas enviadas por nossos leitores.
56) Para cada nmero n, seja f(n) a quantidade de maneiras que se pode expressar
n como a soma de nmeros iguais a 1, 3 ou 4.
Por exemplo, f(4) = 4, pois todas as maneiras possveis so 4 = 1 + 1 + 1 + 1,
4 = 1 + 3, 4 = 3 + 1, 4 = 4. Demonstrar que se n par, f(n) um quadrado
perfeito.
SOLUO DE MRCIO ASSAD COHEN (RIO DE JANEIRO RJ):

O coeficiente de xn em (x + x3 + x4)k conta exatamente uma vez cada modo de


representar o nmero n na forma 3 4 com k , ou seja, conta
os modos de representar n utilizando 1s, 3s e 4s com um total de k nmeros.
Variando k, segue que f(n) o coeficiente de xn na srie formal

EUREKA! N12, 2001

55

Sociedade Brasileira de Matemtica

g ( x)

(x x

x4 )k .

k 0

Somando a PG, fatorando, e decompondo em fraes parciais tem-se:


1
g ( x)
1 x x3 x 4
g ( x)

1
1 x2 1
x3


2
2
5 1 x x2
(1 x )(1 x x ) 5 1 x
2

Utilizando respectivamente soma de PG e o mtodo desenvolvido para sries


formais no artigo da Revista Eureka! No. 11 tem-se:
1
1 x 2 x 4 x 6 ...
1 x2
1
F0 F1 x F2 x 2 F3 x 3 ...
2
1 x x
onde Fn o n-simo nmero de Fibonacci, com F0 = F1 = 1, Fn+2 = Fn+1 + Fn.
Se n par, n = 2t, o coeficiente de xn no desenvolvimento de g(x) ser ento:

x g ( x) 2 (1)
n

Utilizando que Fn

n 1

5
2 (1) F2t 1
t

F2t 1 3F2t
5

n 1 , onde 1 5 , 1 5 :
2
2
3F2t

2 (1) t [( F2t 1 F2t ) F2t ] F2t


2 (1) t F2t 2 F2t
2 (1) t
2 (1) t

1
5
1
5

2t 3

2t 3

2t 2

Notando que 1 :

EUREKA! N12, 2001

56

2 t 1

2t 1

1 2t 2

Sociedade Brasileira de Matemtica

1 5 1 5

2
2
1 5

1
1

Juntando tudo:

x g ( x) 15 2 (1)
n

2t 2 2t 2

2t 2 2t 2 2 ( ) t 1 t 1 t 1

5
5

Ft 2

E, em particular, f(n) quadrado perfeito sempre que n par.

58) Determine todos os primos p para os quais o nmero

2 p 1 1
o
p

quadrado de um inteiro.
SOLUO DE RODRIGO VILLARD MILET (RIO DE JANEIRO RJ):

Resposta: p = 3 ou p = 7.
Primeiramente, note que

2 p 1 1
inteiro, para p > 2 (pelo pequeno Teorema
p

de Fermat), e p = 2 no serve. Da, como p mpar, 2 p 1 1 0(mod 3). Se p


= 3,

2 p 1 1
2 31 1
quadrado,
1 que quadrado. Se p = 3, como
p
3

9 2 p 1 1 2 p 1 1(mod 9) ord 9 2 6 p 1 p 1(mod 6).

2 p 1 1 2 6 k 1 (2 3k 1)(2 3k 1)

p
p
p
3k
1} mdc{2, 2 1} 1 como p primo ( p 3),

k N; p 1 6k
mdc{2 3 k 1, 2 3 k
p 2 3k 1

ou

p 2 3 k 1.

(i) p 2 3k 1.
Da, como 2 3k 1 e 2 3k 1 no tem fatores em comum, 2 3k 1 quadrado
q N ;2 3k 1 q 2 2 3k (q 1)(q 1) q 3 e k 1 (de fato, q-1 e

EUREKA! N12, 2001

57

Sociedade Brasileira de Matemtica

q+1 devem ser potncias de 2,o que s possvel se forem 2 e 4). Nesse caso,
2 7 1 1
9 que quadrado.
7
(ii) p 2 3k 1. (Assuma k > 1, pois k = 1 j soluo)
Da, 2 3k 1 quadrado m N ;2 3k 1 m 2 2 k 1 2 2 k 2 k 1 m 2 .
Seja d mdc{2 k 1, 2 2 k 2 k 1} . d 2 k 1 d (2 k 1) 2 (2 2 k 2 2 k 1),
d 3.2 k .
mas d 2 2 k 2 k 1, logo
Como d 2 k 1, d no divide
2 k d | 3 d 1 ou 3 .

quadrado.
No
entanto,
temos
d 1 2 2k 2 k 1

( 2 k ) 2 2 2 k 2 k 1 2 k 1 , ento no possvel 2 2 k 2 k 1 ser quadrado.

2k 1
quadrado.
3
2k 1
Como
mpar,
3
2k 1
1(mod 8) 2 k 4 mod 8 k 2 p 13 , que no soluo.
3
d 3

59) Um pedestal de altura a sustenta uma coluna de altura b (b > a). A que
distncia do monumento se deve colocar um observador para ver o pedestal
e a coluna sob ngulos iguais?
SOLUO DE CARLOS ALBERTO DA SILVA VCTOR (NILPOLIS RJ):

Supondo a altura do observador desprezvel, teremos:

(b > a)

EUREKA! N12, 2001

58

Sociedade Brasileira de Matemtica

tg

a
ab
; tg 2
x
x

2tg
ab
2.a/x
ab

2
2
x
x
1 tg
a
1 2
x

2a.x 2
ab

2ax 2 a b x 2 a 2 a b b a x 2 a 2 a b , logo
2
2
x
x a a

x a.

ab
.
ba

60) Se num tringulo ABC , A = 2B, provar que a 2 b(b c).


Obs.: a, b e c so, respectivamente, os lados opostos aos ngulos A, B e C.
SOLUO DE MARCELO RIBEIRO DE SOUZA (RIO DE JANEIRO RJ):

A
2x
c

Pela lei dos senos, temos:


senx sen 2 x

b
a
senx 2 senx cos x

, obviamente x k , k Z
b
a
a 2b cos x (1)

I)

II) Usando lei dos cossenos: b 2 a 2 c 2 2ac cos x


2ac cos x a 2 c 2 b 2
a2 c2 b2
(2)
cos x
2ac

EUREKA! N12, 2001

59

Sociedade Brasileira de Matemtica

a2 c2 b2
2ac

III) Substituindo (2) em (1): a 2b

a c a b bc b
2

a 2 (c b ) b ( c 2 b 2 )
a 2 (c b) b(c b)(c b).

Se b c, temos a 2 b(b c).


Se b=c, temos b=c=x, donde 4 x x / 4 e
a b 2 a 2 2b 2 b(b c ).

61) Na figura abaixo um quadrado EFGH foi colocado no interior do quadrado


ABCD, determinando 4 quadrilteros. Se a, b, c, e d denotam os medidas
das reas dos quadrilteros, mostre que a + b = c + d .
a
c

d
b

SOLUO DE MRCIO ASSAD COHEN (RIO DE JANEIRO RJ):


Lema: A rea de um tringulo cujos vrtices no plano complexo so z1, z2, z3

1
Im ( z 2 z1 )( z 3 z1 ) .
2
Prova: Se z 2 z1 a cis 1 ; z 3 z1 b cis 2 :
1
1
Im ( z 2 z1 )( z 3 z1 ) Im a cis 1b cis ( 2 )
2
2
ab
absen
Im cis ( 1 2 )
S
2
2

(sentido horrio) dada por S

Problema:

EUREKA! N12, 2001

60

Sociedade Brasileira de Matemtica

1
w+iv
w+v
w
wv
wiv

-1

-i

Coloque os eixos de modo que os vrtices do quadrado maior sejam 1, i, 1, i


(basta adotar uma unidade de medida tal que 2u.m = diagonal).
Seja w o centro do quadrado menor, e w + v um de seus vrtices. Ento, os outros
vrtices do quadrado menor sero w + iv, w i, w iv (pois rodar 90o
multiplicar por i).
Dividindo cada quadriltero em tringulos como mostra a figura temos:
1
a Im ( w iv 1)(i 1) (1 w iv )v (1 i )
2
1
c Im ( w iv 1)( i 1) ( 1 w iv )v (i 1)
2

ac

1
Im (1 i ) ( w iv 1) v (1 w iv) ( w iv 1) v (1 w iv )
2

Note que w cancelado e a + c independe do centro do quadrado menor:

a c Im (1 i )(1 iv )(1 v )

Da mesma forma, obtemos:


1
b d Im ( w v i )(1 i ) ( i w v)v( i 1) ( w v i )( 1 i ) (1 w v)v(1 i )
2
1
Im (1 i ) ( w v i ) (i w v)v ( w v i ) ( w v i )v
2
Im (1 i )(i v)(v 1)
Fatorando, obtemos

EUREKA! N12, 2001

61

Sociedade Brasileira de Matemtica

b d Im i (i 1)(i v )(v 1) Im (i 1)(1 iv )(v 1) a c .

62) Se ABCD um quadriltero convexo tal que os lados AB, BC , CD e DA


medem respectivamente a, b, c e d e que , , e so as medidas dos seus
ngulos internos, mostre que a medida da rea desse quadriltero, denotada
por (ABCD), dada por:
D

d1

(ABCD) = ( p a)( p b)( p c)( p d ) abcd cos 2 onde:


abcd
p
2


(a frmula tambm vale se fizermos
).

2
2
SOLUO DE WALLACE RODRIGUES DE HOLANDA MIRANDA (TERESINA PI):

Antes da resoluo do problema precisa-se ressaltar algumas noes


fundamentais:
1) cos( ) cos cos sen sen
cos( 2 ) cos cos sen sen

cos 2 sen 2 cos cos sen sen

cos 2 1 cos 2 cos cos sen sen

sen sen cos cos 2 cos 2 1

2)

ABD 1 a d sen
2

BCD 1 b c sen
2

EUREKA! N12, 2001

62

Sociedade Brasileira de Matemtica

3) Pela lei dos cossenos nos tringulos ABD e BCD:

a 2 d 2 2ad cos d12 b 2 c 2 2bc cos


a 2 d 2 b 2 c 2 2ad cos 2bc cos

Agora vamos resoluo do problema:


(ABCD) = (ABD) + (BCD)
ABCD 1 a d sen 1 b c sen
2
2
2 ABCD a d sen b c sen

2 ABCD 2 a d sen b c sen 2

4 ABCD a 2 d 2 sen 2 2abcd sen sen b 2 c 2 sen 2


2

Substituindo sen 2 por 1 cos 2 e sen sen por

cos cos 2 cos

1 de 1) fica:

4 ABCD a d 1 cos 2 2abcd 1 cos cos 2 cos 2


2

b c 1 cos
2

4 ABCD a d 1 cos 2 abcd 2 2 cos cos


2

b 2 c 2 1 cos 2 4abcd cos 2

4 ABCD a 2 d 2 1 cos 2 abcd (1 cos cos cos cos 1


2

cos cos cos cos ) b 2 c 2 1 cos 2 4abcd cos 2

4( ABCD ) a d 1 cos abcd 1 cos 1 cos 1 cos 1 cos


2

b 2 c 2 1 cos 2 4abcd cos 2

4( ABCD) 2 ad (1 cos ) ad (1 cos ) ad (1 cos )bc(1 cos )

ad (1 cos )bc (1 cos ) bc(1 cos )bc (1 cos ) 4abcd cos 2

4( ABCD ) 2 ad (1 cos ) ad (1 cos ) bc(1 cos ) bc (1 cos )[ ad (1 cos )


bc (1 cos ) 4abcd cos 2

4( ABCD) 2 ad (1 cos ) bc (1 cos ) ad (1 cos ) bc (1 cos ) 4abcd cos 2


16( ABCD) 2 2( ad ad cos bc bc cos ) 2 (ad ad cos bc bc cos )

16abcd cos 2
16( ABCD) 2 (2ad cos 2bc cos 2ad 2bc)( 2ad cos 2bc cos
2ad 2bc) 16abcd cos 2

Substituindo (2ad cos 2bc cos ) por (a 2 d 2 b 2 c 2 ) de 3) fica:

EUREKA! N12, 2001

63

Sociedade Brasileira de Matemtica

16( ABCD) 2 ( a 2 2ad d 2 b 2 2bc c 2 )(a 2 2ad d 2 b 2 2bc c 2 )


16abcd cos 2

16( ABCD) 2 ( a d ) 2 (b c) 2 ( a d ) (b c) 2 16abcd cos 2


16( ABCD) ( a d b c)(a d b c)(a d b c)(a d b c) 16abcd cos 2
2

16( ABCD) 2 ( a b c d )(a b c d )(a b c d )(a b c d ) 16abcd cos 2


16( ABCD) 2 (a b c d )( a b c d )(a b c d )(a b c d ) 16abcd cos 2
(a b c d ) (a b c d ) (a b c d ) (a b c d )
( ABCD ) 2

abcd cos 2
2
2
2
2
( ABCD ) 2 ( p a )( p b)( p c )( p d ) abcd cos 2
( ABCD )

( p a )( p b)( p c )( p d ) abcd cos 2 .

Agradecemos tambm o envio das solues e a colaborao de:


Bruno de Souza Ramos
Everaldo de Melo Bonotto
Fernando Carvalho Ramos
Geraldo Perlino
Jorge Silva Junior
Marcelo Ribeiro
Marcelo Rufino de Oliveira
Marclio Miranda de Carvalho
Mateus Queiroz Guilherme de Oliveira
Oswaldo Melo Sponquiado

Realengo RJ
Guararapes SP
Santa Mara RS
Itapecerica da Serra SP
Cachoeiro de Itapemerim ES
Rio de Janeiro RJ
Belm PA
Teresina PI
Fortaleza CE
Olmpia SP

Seguimos aguardando o envio de solues do problema proposto N o. 57 publicado na


revista Eureka! No. 11.

EUREKA! N12, 2001

64

Sociedade Brasileira de Matemtica

PROBLEMAS PROPOSTOS

Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos


problemas para os prximos nmeros.

63) Prove que existem infinitos nmeros naturais mltiplos de 5 1000 sem
nenhum 0 na representao decimal.
64) Iniciando de um certo inteiro positivo, permitido fazer apenas uma
operao: o dgito das unidades separado e multiplicado por 4, e ento
este valor somado ao restante do nmero. Por exemplo, o nmero 1997
transformado para 7.4 + 199 = 227. A operao feita repetidamente. Prove
que se a seqncia de nmeros obtida contm 1001, ento nenhum dos
nmeros na seqncia pode ser um nmero primo.
65) Determine todos os inteiros N tais que, em base 10, os dgitos de 9N so os
mesmos dgitos de N na ordem inversa, e N possui no mximo um dgito
igual a 0.
66) Prove que, dados um inteiro n 1 e um conjunto A Z / n 2 Z com n
elementos existe
com n elementos tal que
B Z / n 2Z
A B x y x A, y B Z / n 2 Z tem mais de n 2 / 2 elementos.
67) Seja ABCD um quadriltero tal que os crculos circunscritos aos tringulos
ABC e BCD so ortogonais.Prove que os crculos circunscritos aos
tringulos BCD e DAB tambm so ortogonais.

EUREKA! N12, 2001

65

Sociedade Brasileira de Matemtica

Problema 63 proposto por Wallace Rodrigues de Holanda Miranda (Teresina PI);


Problemas 64 e 65 propostos por Marcelo Rufino de Oliveira (Belm PA); Problema 67
proposto por Luciano Castro (Rio de Janeiro RJ).

AGENDA OLMPICA
XXIV OLIMPADA BRASILEIRA DE MATEMTICA
NVEIS 1, 2 e 3
Primeira Fase Sbado, 8 de junho de 2002
Segunda Fase Sbado, 14 de setembro de 2002
Terceira Fase Sbado, 19 de outubro de 2002 (nveis 1, 2 e 3)
Domingo, 20 de outubro de 2002 (nveis 2 e 3 - segundo dia de prova).
NVEL UNIVERSITRIO
Primeira Fase Sbado, 14 de setembro de 2002
Segunda Fase Sbado, 19 e Domingo, 20 de outubro de 2002

VIII OLIMPADA DE MAIO


maio de 2002

XIII OLIMPADA DE MATEMTICA DO CONE SUL


junho de 2002
Fortaleza CE, Brasil

XLIII OLIMPADA INTERNACIONAL DE MATEMTICA


julho de 2002
Glasgow, Reino Unido

XVII OLIMPADA IBEROAMERICANA DE MATEMTICA


setembro de 2002
El Salvador

V OLIMPADA IBEROAMERICANA DE MATEMTICA UNIVERSITRIA


outubro de 2002

EUREKA! N12, 2001

66

Sociedade Brasileira de Matemtica

COORDENADORES REGIONAIS
Amarsio da Silva Arajo
Alberto Hassen Raad
Angela Camargo
Benedito Tadeu Vasconcelos Freire
Carlos Frederico Borges Palmeira
Claudio Arconcher
Claus Haetinger
Cleonor Crescncio das Neves
lio Mega
Rosngela Souza
Florncio Ferreira Guimares Filho
Gisele de Arajo Prateado Gusmo
Ivanilde Fernandes Saad
Jacqueline Fabiola Rojas Arancibia
Joo Bencio de Melo Neto
Joo Francisco Melo Libonati
Irene Nakaoka
Jos Carlos Pinto Leivas
Jos Cloves Saraiva
Jos Gaspar Ruas Filho
Jos Luiz Rosas Pinho
Jos Vieira Alves
Marcelo Rufino de Oliveira
Licio Hernandes Bezerra
Luzinalva Miranda de Amorim
Marcondes Cavalcante Frana
Pablo Rodrigo Ganassim
Paulo Henrique Cruz Neiva de Lima Jr.
Reinaldo Gen Ichiro Arakaki
Ricardo Amorim
Roberto Vizeu Barros
Srgio Cludio Ramos
Silvio de Barros Melo
Tadeu Ferreira Gomes
Toms Menndez Rodrigues
Valdenberg Arajo da Silva
Wagner Pereira Lopes

(UFV)
(UFJF)
(Centro de Educao de Adultos CEA)
(UFRN)
(PUC-Rio)
(Colgio Leonardo da Vinci)
(UNIVATES)
(UTAM)
(Colgio Etapa)
(Colgio Singular)
(UFES)
(UFGO)
(UC. Dom Bosco)
(UFPB)
(UFPI)
(Grupo Educacional Ideal)
(UEM)
(UFRG)
(UFMA)
(ICMC-USP)
(UFSC)
(UFPB)
(Sistema Titular de Ensino)
(UFSC)
(UFBA)
(UFC)
(Liceu Terras do Engenho)
(Escola Tcnica Everardo Passos)
(INPE)
(Centro Educacional Logos)
(Colgio Acae)
(IM-UFRGS)
(UFPE)
(UEBA)
(U. Federal de Rondnia)
(U. Federal de Sergipe)
(Escola Tcnica Federal de Gois)

EUREKA! N12, 2001

67

Viosa MG
Juiz de Fora MG
Blumenau SC
Natal RN
Rio de Janeiro RJ
Jundia SP
Lajeado RS
Manaus AM
So Paulo SP
Santo Andr SP
Vitria ES
Goinia GO
Campo Grande MS
Joo Pessoa PB
Teresina PI
Belm PA
Maring PR
Rio Grande RS
So Luis MA
So Carlos SP
Florianpolis SC
Campina Grande PB
Belm PA
Florianpolis SC
Salvador BA
Fortaleza CE
Piracicaba SP
SJ dos Campos SP
SJ dos Campos SP
Nova Iguau RJ
Volta Redonda RJ
Porto Alegre RS
Recife PE
Juazeiro BA
Porto Velho RO
So Cristovo SE
Jata GO