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 .
Prove que CA B + CO P < 90 .
SOLUO DE ALEX CORRA ABREU (NITERI RJ):
A

90 C

90 B

O
A

Sejam AC B = C , AB C = B, CA O = A e CO P = CP = b cos C . Seja M o

ponto mdio de BC.
CM
a
Como CO M = A e CO P = PO M = A tg A =
e
=
OM 2OM
PM
onde BC = a , AC = b , AB = c e R = OA = OB = OC
tg ( A ) =
OM
CM PM

tg A tg A
CP OM
OM
=
=
=
tg = tg A A =

CM PM OM 2 + CM PM
1 + tgA tg A
1+
2
OM
b cos C R cos A
j
que
OM = R cos A ,
=
CP = b cos C
a 2 ab
2
2

R cos A +
cos C
4
2

( (

))

EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

a
a
a
CP = b cos C e CM =
e, pela lei dos senos no tringulo
2
2
2
ABC b = 2 RsenB e a = 2RsenA
2R 2 senB cos C cos A
2senB cos C cos A
tg = 2
=
, mas
R cos 2 A + R 2 sen 2 A 2 R 2 senA senB cos C 1 2senA senB cos C
2senB cos C cos A senA

=
como tg > 0 1 2senA senB cos C > 0 tg tgA =
1 2senA senB cos C cos A
2 senB senA cos C
1
=
e como 2x 2 x 1 < 0, x ,1 2 sen 2 A sen A < 1
2
1 2 senB senA cos C
1
A (0,90), mas sen C B
pois 90 > C B 30 e a funo seno
2

(0,90) senA sen C B senA

crescente
no
intervalo
2
2

senA 2 senAsen C B 2 senA 2senAsen C B 2 sen A senA < 1

PM =

( )
2 senA (senA sen(C B ))< 1 2 senA (sen(B + C ) + sen(B C ))< 1

2 senA senB cos C

pois
1 2 senA senB cos C
1 2 senA senB cos C > 0 tgA tg < 1 tg A + = tg + tgA > 0 A + < 90.
4 senA senB cos C < 1

PROBLEMA 2

Prove que
a
a 2 + 8bc

b
b 2 + 8ca

c
c 2 + 8ab

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

SOLUO DE ALEX CORRA ABREU (NITERI RJ):

a
a 2 + 8bc

b
b 2 + 8ac

c
c 2 + 8ba

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

c 2 (b 2 + 8ca)(a 2 + 8bc) 513a 2b 2 c 2 + 8(a 3b 3 + a 3c 3 + c 3b 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

donde:

64 abc ( a 3 + b 3 + c 3 ) 192 a 2 b 2 c 2

(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 ) 27abc

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).
Dividindo (IV) por abc, obtemos 8 ab2 + 1 + 8 ac2 + 1 + 8 bc2 + 1 9 , e fazendo
c

ab
ac
bc
= u , 2 = v, 2 = w temos que provar que: 8u + 1 + 8v + 1 + 8 w + 1 9 ,
2
c
b
a
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 6 512 uvw + 192 3 u 2 v 2 w 2 + 24 3 uvw + 1 = 3 6 729 = 9 , 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.

EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

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

Considere a tabela:
O

...

O1

O2

O3

O21

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

.
.
.
A 21 X 21,1 X21,2 X21,3

...

X 21,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.

S (a ), o somatrio de todas n! permutaes possveis.

Clculo de S ( a ) :
Seja

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! , e

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

n!(n!+1) n!
n! n!
n! + (mod n!) .
2
2 2
2
n!
De * e ** temos que 0 (mod n!) , absurdo.
2

**

S (a )
i

EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

Logo h S(b) e S(c) tais que S(b) S(c) (mod n!) n! S (b) S (c).
PROBLEMA 5

Num tringulo ABC, seja AP a bissectriz de BA C com P no lado BC, e seja BQ a

bissectriz de AB C com Q no lado CA.
Sabemos que BA C = 60 e que AB + BP = AQ + QB.
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
2ac cos
Lema 1: BQ =
(a + c)
Prova: note que a rea do tringulo ABC igual a soma das reas dos tringulos
ABQ e BQC. Logo
a c sen2 c BQ sen a BQ sen
=
+

2
2
2
a c 2 sen cos = (a + c )BQ sen
2ac cos
BQ =
(a + c)

EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

Lema 2: AQ =

bc
(a + c)

Prova: Pelo teorema das bissetrizes internas temos que:

(a + c)
CQ a
CQ + AQ (a + c)
b
bc
.
=
=

=
AQ =
(a + c)
AQ c
AQ
c
AQ
c
Lema 3: BP =

ac
(b + c )

Prova: anlogo ao lema 2.

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

2ac cos
ac
bc
a + b + c b + 2a cos
+c=
+

b+c
a+c
a+c
b+c
a+c
(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.

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

ABC = 2 = 120 = 180 60 = 180 = BA C , absurdo.

b
Ento cos = . Pela lei dos senos no tringulo
2c
2

EUREKA! N12, 2001

Sociedade Brasileira de Matemtica

2sen cos
b
sen2
sen2
=
cos =
=

2 sen(120 2 ) 2 sen(120 2 )
c sen(120 2 )
sen(120 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
Logo os ngulos do tringulo so:
AB C = 80, BC A = 40 e BA C = 60 .
ABC :

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 p23(b2
c ), e da p2(b2 c2), uma vez que p 3. Porm, p = ab + cd > b, de modo que
2

0 < b2 c2 < p2,

um absurdo.

EUREKA! N12, 2001

10

Sociedade Brasileira de Matemtica

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:
i. b / c (mod 2): o fato de ser p = ab + cd garante que mdc(b, c) = 1. Como b + c
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)
Mas b / c (mod 2) implica em b + c e b c mpares, de modo que , ,
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

EUREKA! N12, 2001

11

Sociedade Brasileira de Matemtica

(pois j temos mdc(x, y) = 1). Se 3(x + y) (o outro caso novamente anlogo),

escrevendo
x y x + y
b c b + c

= 3

2
2

2 2

e pondo
x y bc
x y b+c
,
,
, = mdc
,
2
2
2
2

= mdc

x+ y bc
x+ y b+c
,
,
, = 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.

EUREKA! N12, 2001

12

Sociedade Brasileira de Matemtica

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.
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. . 2., onde
0 ^ . ^ 
Vou fixar o final do nmero em 3232 e completar o resto apenas com 2s.
Ento 0 ^ . ^ 
3 2 n
(I)
Para que dGn, basta garantirmos que: 4
(II)
2 n

EUREKA! N12, 2001

13

Sociedade Brasileira de Matemtica

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

satisfeito.
Para garantirmos a divisibilidade por 9 , basta que a soma dos algarismos seja
divisvel por 9.
Pegue n0 = 22223232 . Note que 9G
Podemos colocar blocos de nove 2s esquerda de n0 que no afetar a
divisibilidade por 9.
k
k
Adicionando blocos, o nmero ter mais de 9 + 8 > k dgitos.
9
9
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.
EUREKA! N12, 2001

14

Sociedade Brasileira de Matemtica

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)
Note que OZ e OY so raios OZ = OY . (2)
Por (***), (1) e (2) temos que os tringulos OZP e OYQ so congruentes
OQ Y = OP Z . (3)
Se = OB Z e = OC Y , temos que (no ZPB )

+ ZP O = = + OQ Y mas, por (3), OQ Y = OP Z

= , 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
nk
comuns a Si e Sj maior ou igual a r
.
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

ai
que contm {bi} ai, o nmero de pares de subconjuntos que
2
compartilham bi.
n

Temos que

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

i =1

subconjuntos Si.
x + k x x + k 1 x + 1
, pois:
+
+
Temos que, para k 1,
2 2 2
2
x 2 + 2xk + k 2 k x + x 2 x x 2 + k 2 +1+ 2kx 2x 2k x k +1 + x 2 + x k 1.

)(

) (

)(

EUREKA! N12, 2001

15

Sociedade Brasileira de Matemtica

n

Logo em

ai

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

i

i =1

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

(n q) ais sendo y ( para minimizar

2 ).
i =1

Temos ento:

ai

y + 1
y
y
+ (n q ) = qy + n .
2
2
2

2 q

Vamos mostrar que

kr

(yn + q ) y + q 1
kr 1
2
y
n
n
2qy + ny ny

qy + n

2
2
2
2

2qy + ny 2 ny ny 2 +

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

Logo temos:
ai

i =1 2
n

kr

kr 1
n

.
2

Note agora que

ai

2 conta com multiplicidade o nmero de subconjuntos S

k k (k 1)
com algum elemento em comum. Dividindo por =
, que o nmero
2
2
de pares de subconjuntos Si , obtemos o tamanho mdio das intersees de dois
kr

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

r 1
n

r nk
4(k 1)
k 1

EUREKA! N12, 2001

16

Sociedade Brasileira de Matemtica

kr

r 1
n
4r (k 1) nk
4(k 1)
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
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 a i = 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.

EUREKA! N12, 2001

17

Sociedade Brasileira de Matemtica

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
temos j 1 < n j 2 j < n + 1.
Mas para 2 j <
2
n +1
n +1
< j n 1 temos j 1 > n j.
temos j 1 = n j e para
Para j =
2
2
Portanto, o nmero de P.A.s menor ou igual a
n 1
2

n 1
( j 1) +
+

2
j =2
n 3
2

n 1

(n j ) =
j=

= i +
i =1

n +3
2

n 3
2

n 1
n 3 n 1

+ i = 21 + 2 + ... +
=
+
2
2
2

i =1

n 3 n 3
1 +

2 2 n 1 2 + n 3 n 3 n 1

= 2
=
+

+ 2 =
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
2

n 1
P.A.s, pois acontece
2

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

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 < a3 < ... < a n < a n
2

+1

< ... < a n 1 < a n

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

EUREKA! N12, 2001

18

Sociedade Brasileira de Matemtica

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
, temos j 1 < n j e para
2
2
j 1 > n j , logo o nmero de P.A.s menor ou igual a

Mas para

2 j

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 ) = 21 + 2 + ... + 1 =
2
i =1
i =1

n
n
1 + 1 1
2
2 = n n 1 = n(n 2) .
= 2

2 2
2
4

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:

2
n(n 2)
.
Para n par:
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.
EUREKA! N12, 2001

19

Sociedade Brasileira de Matemtica

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

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

marciana e xti , y ti a coordenada da terrestre.

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

Se o primeiro h escolhido for 1, xt0 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: ht 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 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):

0
0
1
'
x x = p; x m + hm xt + hm + 1 x m0 x10 1 p 1;


 


x1t
x1m

0
m

0
t

) (

))

) (

x m2 xt2 x m' + n m2 xt' + n m2 + 1 x m' xt' 1 ( p 1) 1 p 2,

(
) (x

Assim por induo finita:

x x x
k
m

k
t

k 1
m

+h

k
m

se x mk 1
k 1
k
t
m

)
) 1 p k.

xtk 1 p (k 1)

) (

+ h +1 x

EUREKA! N12, 2001

20

k 1
m

k 1
t

Sociedade Brasileira de Matemtica

Logo depois k jogadas terrestres a diferena entre as coordenadas

x m e xt 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
v1 = 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.
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 1 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

EUREKA! N12, 2001

21

Sociedade Brasileira de Matemtica

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

1
utilizando cinco quadrados iguais de lado a < . Ento, como o dimetro de cada
2
2
um dos quadrados pequenos a 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.
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
EUREKA! N12, 2001

22

Sociedade Brasileira de Matemtica

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 2 ) + a (1 + 4 2 ).
1
Como 1 2 < 0, k 2 e a < , observamos que
2
3+ 2 2
<3
ka 1 2 + a 1 + 4 2 2a 1 2 + a 1 + 4 2 = a 3 + 2 2 <
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 estar
2
em lados distintos da banda determinada por l e m (tambm podem estar em l e
1
implica que esses dois vrtices de KLMN so opostos,
m). A condio a <
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
paralelas l e m que esto a distncia

EUREKA! N12, 2001

23

Sociedade Brasileira de Matemtica

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 :

h1 + h2
S = (h1tg + h1 cot ) + (h2 tg + h2 cot ) =
=
sen cos

a (sen + cos )
sen cos

Como sen + cos < 1 + sen cos equivale desigualdade evidente

(1 sen )(1 cos ) > 0 e a < 1 , obtemos
2
1
1
1
a(sen + cos )
a(1 + sen cos )
a
2<
2 =a+
2 < a.
S=
sen cos
sen cos
sen cos
A demonstrao est completa.

EUREKA! N12, 2001

24

1
2.

Sociedade Brasileira de Matemtica

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.
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 quea 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
EUREKA! N12, 2001

25

Sociedade Brasileira de Matemtica

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),
escolhendo t >

x0 y 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.

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 a a (mod p).
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 isso o mesmo que
ja / ia (mod p ) . Tambm, nenhum dos 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).
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 +

EUREKA! N12, 2001

26

Sociedade Brasileira de Matemtica

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.

n

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

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 .
d

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

m

divide ambos x 1 e x 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)
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
EUREKA! N12, 2001

27

Sociedade Brasileira de Matemtica

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
elegante. Seja S o conjunto dos inteiros x tais que seja inteiro. Veja que m
mn

est em S j que nmeros binomiais so inteiros. Tambm n est em S, pois

m 1
n m n
m!
=

=
n
m 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
mn
mn

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 : 4 + = 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.
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 = f (m) + f
n
n

donde
EUREKA! N12, 2001

28

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

Sociedade Brasileira de Matemtica

m
f = 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.
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

EUREKA! N12, 2001

29

Sociedade Brasileira de Matemtica

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
[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.
EUREKA! N12, 2001

30

Sociedade Brasileira de Matemtica

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.
Edmilson
Gustavo

Eduardo

Carlos

Onofre

Paulo
Emanuel

EUREKA! N12, 2001

31

Sociedade Brasileira de Matemtica

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:

1

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!).
EUREKA! N12, 2001

32

Sociedade Brasileira de Matemtica

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

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),
EUREKA! N12, 2001

33

Sociedade Brasileira de Matemtica

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

( X 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).

EUREKA! N12, 2001

34

Sociedade Brasileira de Matemtica

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 n l-se n escolhe k ou

k

combinao de n k a k.
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.
Fazendo como em (i), temos n maneiras de escolhermos os elementos;

k

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

e assim por diante. Assim temos
n
n
k (k 1) ... 1 = k!
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
n
k! = nmero de filas = n (n 1) ... (n k + 1)
k
n n (n 1) ... (n k + 1) (n k )!
n!
=

=
(n k )! k!(n k )!
k!
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.
EUREKA! N12, 2001

35

Sociedade Brasileira de Matemtica

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

2
2

Resoluo

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

aparecem nos tringulos
1

3
2

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 :
EUREKA! N12, 2001

36

Sociedade Brasileira de Matemtica

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

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
1 + 4n 3 n / 4.

EUREKA! N12, 2001

37

Sociedade Brasileira de Matemtica

Resoluo

Considere um castelo ligado a outros dois.

d (v)
pares de estradas.
Para cada castelo v do conjunto V dos castelos temos
2
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
= pares de estradas pares de castelos =
vV 2
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

(d (v))

vV

vV

d (v)

4A

Assim
(*)

4A

2 A n 2 n 4 A 2n A n n 2 n 0 (**)

n
Resolvendo (**) em A , obtemos

n
n n 4n 3
n + n 4n 3
A
A 1 + 4n 3 .
4
4
4

EUREKA! N12, 2001

38

Sociedade Brasileira de Matemtica

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

Mostre que
n

1
d ( n)
i=2 i

i =1

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

2n
m

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.

EUREKA! N12, 2001

39

Sociedade Brasileira de Matemtica

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 + ax + b para dois
2

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

representados de maneira nica sob a forma

x2 + y
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.

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 . Mostre que se o
quadriltero AO1 BO2 cclico (inscritvel) ento AQ e BP intersectamse em s1 .

124. (Rssia-2001) Dois crculos

125. (Rssia-2001) Eliminando-se o 2000 . algarismo da expanso decimal da

1
(onde p um nmero primo maior que 5) obtemos a frao
p
a
irredutvel . Mostre que b divisvel por p .
b

frao

EUREKA! N12, 2001

40

Sociedade Brasileira de Matemtica

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
do conjunto A = , , ,...,
,
. Determine a soma de todos
2000 2001
2 3 4
estes produtos.
130. (Eslovnia-2001) Para os inteiros positivos

x e y verdadeira a igualdade

3x + x = 4 y + y . Mostre que x y um quadrado perfeito.

2

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

EUREKA! N12, 2001

41

Sociedade Brasileira de Matemtica

Determine todas as funes

satisfazem equao :
x 3
3+ x
f
=x
+ f
x +1
1 x

134. (Crocia-2001)

f : 5\{-1, 1} 5 que

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

x7 + y7 + z 7
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 p 3 p 4 onde p1 , p 2 , p 3 e p 4 so

quatro nmeros primos distintos. Sejam

d1 = 1 < d 2 < d 3 < < d15 < 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:

3
2
6 1
2

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

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 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
EUREKA! N12, 2001

42

Sociedade Brasileira de Matemtica

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

an +

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

2

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.
= yx ,
(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.

144. (Itlia-2001) Dada a equao x

2001

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.
146. (Israel-2001) Dados 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

1 2001 2 1 2001

x n
x n
2001
2001
n =1
n =1

e onde este mximo atingido.

147. (Grcia-2000) Seja

f : 1 5 uma funo tal que f (1) = 3 e

f (2m ) + f (2n )
2
para todos os inteiros no negativos m e n com m n . Determine a
expresso de f(m).
f (m + n ) + f (m n ) m + n 1 =

EUREKA! N12, 2001

43

Sociedade Brasileira de Matemtica

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.

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 b+c
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
EUREKA! N12, 2001

44

Sociedade Brasileira de Matemtica

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 que implica em
O ngulo C = 3 B obtuso assim, 0 < B <
6
n
3
< cos B < 1 e portanto, 3 < < 2 . facil ver que esta desigualdade no
2
m
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.

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 . Seja F o ponto de interseo de BD e
CE. Mostre que a reta que que contm AF perpendicular que contm BC.
(Canad-1998)

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 :
CD
BD
DA
BD
=
=
e
sen40 sen80
sen20 sen40
CD sen40sen40
=
ou
.
DA sen80sen20
EA sen60sen10
=
. Pelo Teorema de Ceva, se AX, BD e CE
Analogamente
EB sen70sen40
so cevianas concorrentes no tringulo ABC tem-se que:
CD EA BX
sen40sen40sen60sen10 BX

=1

= 1 ou
DA EB XC
sen20sen80sen70sen40 XC
XC 2 sen 20 cos 20sen60 cos 80
sen60
tg 60
=
=
=
1 tg 80 tg 80
BX
sen 20sen80 cos 20
2
Como AH temos nos tringulos AHB e AHC respectivamente:

EUREKA! N12, 2001

45

Sociedade Brasileira de Matemtica

tg 60 =

AH
AH
tg 60 HC
e tg 80 =
logo
=
HB
HC
tg 80 HB

HC XC
HC + HB XC + XB
=

=
e como BAC agudo ento H est
HB XB
HB
XB
entre B e C e portanto,
BC BC
=
XB = HB X coincide com H.
HB XB
Logo

13.

(Irlanda-1999). Uma funo

f : 1 1 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 )
e da, f (2 ) = 2.

Agora,
Por
f (4 ) = f (2) + f (2 ) = 4 f (12 ) = 4 f (3) .
f (12 ) = f (7 ) + f (5) f (12 ) = 2 f (2) + f (3) + f (2 ) + f (3)

outro

f (3) = 3.

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,

f (2001) = f (3) f (23) f (29 ) = 2001 f (1999 ) = 1999

EUREKA! N12, 2001

46

lado,

Sociedade Brasileira de Matemtica

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,
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 .
AHE = CHD
Como
temos
tambm
que
EH
EAH = BCE , isto os tringulos retngulos CEB e AEH so semelhantes e
CE AE
CE
=
. Observando que tgA =
, obtemos a relao necessria.
tgB =
EB EH
AE
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)
Logo, se os algarismos de 44 n forem :
4a1 , (4 a2 + 4 a1 ) , (4a 3 + 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 ,3a3 ,...,3a k .
Assim,
S (3n) = 3a1 + 3a 2 + 3a3 + ... + 3a k = 3.S (n) = 300 .

EUREKA! N12, 2001

47

Sociedade Brasileira de Matemtica

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

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.

9RFrVDELD

4XH IRL GHVFREHUWR XP QRYR SULPR GH 0HUVHQQH HP

 TXH WHP  GtJLWRV H
 " e R Q~PHUR 




p DR ODGR GH 

 XP GRV GRLV SULPRV FRQKHFLGRV FRP

PDLV GH XP PLOKmR GH GtJLWRV 2 GHVFREULGRU 0LFKDHO &DPHURQ

GH



DQRV

XP

SDUWLFLSDQWH

GR

*,036

FRRSHUDWLYR SDUD SURFXUDU SULPRV GH 0HUVHQQH

&RQVXOWH QD LQWHUQHW D SiJLQD
KWWSZZZPHUVHQQHRUJSULPHKWP

EUREKA! N12, 2001

48

XP

SURMHWR

Sociedade Brasileira de Matemtica

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
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 x4
g ( x) =

1
1 x+2 1
x+3
+
=
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

EUREKA! N12, 2001

49

+ F2 t 1 + 3 F2 t
5

Sociedade Brasileira de Matemtica

Utilizando que Fn =

1
5

n +1

n +1 , onde =

1+ 5
1 5
, =
:
2
2

2 (1) + F2t 1 + 3F2t =

t

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

2 (1) t + F2t + 2 + F2t =
1

2 (1) t +

5
1

2 (1) t +

2t + 3

2t +3 +

[( + )
1

2t + 2

2 t +1

2t +1 =

+ 1 2t + 2

Notando que = 1 :
1+ 5 1 5

= 5
2
2
= 1 = 5

+ 1 =
+ 1
Juntando tudo:

[x ]g ( x ) = 15 [2 ( 1)
n

+ 2t + 2 + 2t + 2 =

2 t + 2 + 2 t + 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

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

Resposta: p = 3 ou p = 7.
EUREKA! N12, 2001

50

2 p 1 1
o quadrado
p

Sociedade Brasileira de Matemtica

Primeiramente, note que

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

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

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

2p1 1
quadrado,
p

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 3 k 1)( 2 3 k + 1)
k ; p = 1 + 6k
=
=
p
p
p
mdc{2 3 k 1, 2 3 k + 1} = mdc{2, 2 3 k + 1} = 1 como p primo ( p > 3), p 2 3 k 1

ou p 2 3 k + 1.
(i) p 2 3 k 1.
Da, como 2 3 k 1 e 2 3 k + 1 no tem fatores em comum, 2 3 k + 1 quadrado
q N ;2 3 k + 1 = q 2 2 3 k = ( q 1)( q + 1) q = 3 e k = 1 (de fato, q-1
e 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 3 k + 1. (Assuma k > 1, pois k = 1 j soluo)

)(

Da, 2 3 k 1 quadrado m N ;2 3 k 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

d 2 2 k + 2 k + 1,

mas

logo

2 k d | 3 d = 1 ou 3 .
d = 1 2 2k + 2 k + 1
(2 ) < 2
quadrado.
k

2k

+ 2 +1< 2 +1 ,
k

d 3.2 k .

No

ento no possvel

EUREKA! N12, 2001

51

2 2 k + 1),

d 2 k 1, d no

Como

quadrado.

2k

entanto,
2

2k

divide

temos

+ 2 +1
k

ser

Sociedade Brasileira de Matemtica

2k 1
quadrado.
d =3
3
Como

2k 1
mpar,
3

2k 1
1(mod 8) 2 k 4 mod 8 k = 2 p = 13 , que no soluo.
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)

a
a+b
tg = ; tg 2 =
x
x
2tg
2.a/x a + b
a+b
=

2
x
x
1 tg
a2
1 2
x
2
2a.x
a+b

=
2ax 2 = (a + b )x 2 a 2 (a + b) (b a )x 2 = a 2 (a + b ),
2
2
x
x(a a )
logo
x = a.

a+b
.
ba

EUREKA! N12, 2001

52

Sociedade Brasileira de Matemtica

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

x
B

Pela lei dos senos, temos:

senx sen2 x
=
b
a
senx 2 senx cos x
=
, obviamente x k , k =
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
a2 + c2 b2

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

ac
2

a 2 c = a 2 b + bc 2 b 3
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).

EUREKA! N12, 2001

53

Sociedade Brasileira de Matemtica

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 :
(sentido horrio) dada por S =

1
1
Im ( z 2 z 1 ) ( z 3 z 1 ) = Im {a cis 1 b cis ( 2 )}=
2
2
ab
absen
Im {cis ( 1 2 )}=
=S
2
2
Problema:

1
w+iv
w+v
w
wv
wiv

-1

-i

EUREKA! N12, 2001

54

Sociedade Brasileira de Matemtica

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
1
a + c = 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

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:

EUREKA! N12, 2001

55

Sociedade Brasileira de Matemtica

D

d1

(ABCD) =

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

a+b+c+d
2
+
+
=
(a frmula tambm vale se fizermos =
).
2
2
p=

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

(BCD ) = 1 b c sen

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

a 2 + d 2 2ad cos = d 12 = 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)
EUREKA! N12, 2001

56

Sociedade Brasileira de Matemtica

(ABCD ) = 1 a d sen + 1 b c sen

2

2(ABCD ) = a d sen + b c sen

(2(ABCD ))2 = (a d sen + b c sen )2

2
4(ABCD ) = a 2 d 2 sen 2 + 2abcd sen sen + b 2 c 2 sen 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 2 c 2 1 cos 2

4(ABCD ) = a d 2 1 cos 2 + abcd (2 + 2 cos cos ) +

2

+ b c 1 cos 4abcd cos 2

2

4(ABCD ) = a d 1 cos 2 + abcd (1 cos cos + cos cos + 1 +

2

+ cos + cos + cos cos ) + b 2 c 2 1 cos 2 4 abcd 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 cos2

4( ABCD) 2 = [ad (1 cos ) + bc(1 + cos )][ad (1 + cos ) + bc(1 cos )] 4abcd cos2
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:
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 16 abcd cos 2

][

EUREKA! N12, 2001

57

Sociedade Brasileira de Matemtica

16( ABCD) 2 = (a d + b + c)(a d b c)(a + d b + c)(a + d + b c) 16abcd cos2

16( ABCD) 2 = (a + b + c d )(a + b + c + d )(a b + c + d )(a + b c + d ) 16abcd cos2
16( ABCD) 2 = (a + b + c + d )(a b + c + d )(a + b c + d )(a + b + c d ) 16abcd cos2
(a + b + c + d) (a b + c + d) (a + b c + d ) (a + b + c d)

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

( ABCD) 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 No. 57 publicado na

revista Eureka! No. 11.

EUREKA! N12, 2001

58

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 51000 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 = / n = com n
B = / n 2 = com n elementos tal que
elementos existe
A + B = x + y x A, y B = / n 2 = tem mais de n 2 / 2 elementos.
2

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.

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).

EUREKA! N12, 2001

59

Sociedade Brasileira de Matemtica

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

60

Sociedade Brasileira de Matemtica

COORDENADORES REGIONAIS
Amarsio da Silva Arajo
Alberto Hassen Raad

(UFV)
(UFJF)

Viosa MG
Juiz de Fora MG

Angela Camargo
Benedito Tadeu Vasconcelos Freire

(Centro de Educao de Adultos CEA)

(UFRN)

Blumenau SC
Natal RN

Carlos Frederico Borges Palmeira

Claudio Arconcher

(PUC-Rio)
(Colgio Leonardo da Vinci)

Rio de Janeiro RJ
Jundia SP

Claus Haetinger

(UNIVATES)

Lajeado RS

Cleonor Crescncio das Neves

lio Mega

(UTAM)
(Colgio Etapa)

Manaus AM
So Paulo SP

Rosngela Souza
Florncio Ferreira Guimares Filho

(Colgio Singular)
(UFES)

Santo Andr SP
Vitria ES

Gisele de Arajo Prateado Gusmo

Ivanilde Fernandes Saad

(UFGO)
(UC. Dom Bosco)

Goinia GO
Campo Grande MS

Jacqueline Fabiola Rojas Arancibia

(UFPB)

Joo Pessoa PB

Joo Bencio de Melo Neto

Joo Francisco Melo Libonati

(UFPI)
(Grupo Educacional Ideal)

Teresina PI
Belm PA

Irene Nakaoka
Jos Carlos Pinto Leivas

(UEM)
(UFRG)

Maring PR
Rio Grande RS

Jos Cloves Saraiva

(UFMA)

So Luis MA

Jos Gaspar Ruas Filho

Jos Luiz Rosas Pinho

(ICMC-USP)
(UFSC)

So Carlos SP
Florianpolis SC

Jos Vieira Alves

Marcelo Rufino de Oliveira

(UFPB)
(Sistema Titular de Ensino)

Campina Grande PB
Belm PA

Licio Hernandes Bezerra

Luzinalva Miranda de Amorim

(UFSC)
(UFBA)

Florianpolis SC
Salvador BA

Marcondes Cavalcante Frana

(UFC)

Fortaleza CE

Pablo Rodrigo Ganassim

Paulo Henrique Cruz Neiva de Lima Jr.

(Liceu Terras do Engenho)

(Escola Tcnica Everardo Passos)

Piracicaba SP
SJ dos Campos SP

Reinaldo Gen Ichiro Arakaki

Ricardo Amorim

(INPE)
(Centro Educacional Logos)

SJ dos Campos SP
Nova Iguau RJ

Roberto Vizeu Barros

(Colgio Acae)

Volta Redonda RJ

Srgio Cludio Ramos

Silvio de Barros Melo

(IM-UFRGS)
(UFPE)

Porto Alegre RS
Recife PE

Tadeu Ferreira Gomes

Toms Menndez Rodrigues

(UEBA)
(U. Federal de Rondnia)

Juazeiro BA
Porto Velho RO

Valdenberg Arajo da Silva

Wagner Pereira Lopes

(U. Federal de Sergipe)

(Escola Tcnica Federal de Gois)

So Cristovo SE
Jata GO

EUREKA! N12, 2001

61