Sunteți pe pagina 1din 62

vD} v D} | DR hDR v DR v DR r D8 h D' 8 D' h Dv R Dv h R 8 '

 a% &&7%a7"7%c !e !d$ $5e5$  !2 4 5ed gc"P1 `7" {z$g  $ !  1 &7"67e ""7Pc  # 2  $2   1u $ Df"7"73""2  # 2 $2   1u $2 5  yxg  fD"f"73"`af""fa`" Awp EF i FW VQ V lF @ DUqF H"PHPF UDF 3A@ HPG Bl"9  ! b 1# 1  ac # q"a`Ph5 e7c !a$"q1$&guag"2P !1 % 0 ) HX uf a7"7# e a "P1 ` 0 ) Ht ! 5 4  t  e !ce$ ! 5 42 ! Y A Da%k DHP3DH PHPA HDA Hs VFt lT e Ip l GI j l V $#e 1  5 g ! "7a`"q" ""775 gd""5 A E m@I j V l 9 @IkF j ETI Dp DoInDaPA H "HUD3A DH"9  #i  d  5 ! 4c !$2 7aD"7%h7dg"2 7e " QFWF e EF @I DHDHP3A DUBfD3e   de ! #  $#b !$5 % gfa $aPf"a` g EFTI G ECI qHDHP"3A DH"9 5e 1    $ g$ 7g3du&261a"% %a#  !# 1 fc a`b3"7#`31&"7"75f31%7g7aa g      c 5  e  5  5 x 7yw QAW ETQF S F QI G EC @ qDH VI DsD3%HPHF DDBA"9 7c # P"a`3175uf !a7"7# e a "P1 ` 0 ) Ht ! b 1 #   e ce$ ! 5 42 ! Y QFrp EA i F QI G EC @ DDsqT D"3%HPHF DDBA"9 "fadc a#`P1"#`37a "P1 ` 0 ) HX g e c 5 ! b  1 5 5 42 ! Y QAW ETQF HDD VI DUHS  !3176 "3 !1 % 0 ) (  5 5 42  QI G EC @ HPHF DDBA"9  31756 "3 !1 % 0 ) ( ! 5 42  $ !   &%# "   

Sociedade Brasileira de Matemtica

Realizamos a primeira fase da XXI Olimpada Brasileira de Matemtica em mais de 3.000 colgios do nosso pas. Atravs dos relatrios enviados pelas escolas aos Coordenadores Regionais, estabelecemos as notas de corte para a promoo dos alunos segunda fase que se realizar em agosto.

Notas de corte para promoo a segunda fase: Primeiro nvel (5a. e 6a. sries) : Segundo nvel (7a. e 8a. sries) : Terceiro nvel (Ensino mdio) : 09 acertos ou mais. 10 acertos ou mais. 12 acertos ou mais.

A prova da segunda fase ser discursiva e ainda ser aplicada nos colgios. Os enunciados, as solues e os criterios de pontuao sero enviados a todas as escolas participantes. A Comisso de Olimpadas agradece a participao de alunos e professores na primeira fase e deseja sucesso a todos nas fases seguintes. Agradecemos s pessoas que colaboraram com este nmero propondo problemas e enviando solues de problemas propostos. Aproveitamos para continuar estimulando nossos leitores a contribuir para nossa revista com artigos, problemas e solues. Lembramos da existncia da lista de discusso de problemas de matemtica da OBM, cujo endereo eletrnico mudou para: obm-l@mat.puc-rio.br . Para maiores informaes escreva para obm@impa.br ou para o Prof. Nicolau Saldanha, administrador desta lista em nicolau@mat.pucrio.br .

EUREKA! N5, 1999

  y  ~
Comit Editorial.
2

Sociedade Brasileira de Matemtica

So escolhidos 2 nmeros inteiros entre 1 e 100 inclusive, tais que a diferena 7 e o produto mltiplo de 5. De quantas maneiras pode ser feita a escolha? Num paralelogramo ABCD, BD a diagonal maior. Ao fazer coincidir B com D, mediante uma dobra, se forma um pentgono regular. Calcular as medidas dos ngulos que a diagonal BD forma com cada um dos lados do paralelogramo. Em cada um dos 10 degraus de uma escada existe uma r. Cada r pode, de um pulo, colocar-se em outro degrau, mas quando uma r faz isso, ao mesmo tempo, uma outra r pula a mesma quantidade de degraus em sentido contrrio: uma sobe e outra desce. Conseguiro as rs colocar-se todas juntas num mesmo degrau?

Ana, Beatriz, Carlos, Diego e Emilia jogam um torneio de xadrez. Cada jogador enfrenta uma vez s cada um dos outros quatro jogadores. Cada jogador consegue 2 pontos se ganha a partida, 1 ponto se empata e 0 pontos se perde a partida. Ao finalizar o torneio, as pontuaes dos 5 jogadores so todas diferentes. Encontre o mximo nmero de empates que pode ter tido o torneio e justifique por que no pode ter havido um nmero maior de empates.

EUREKA! N5, 1999

`guh h ~  ~  ~ P t 3""2  1u$  1u$ 3""2  1u$ 3""2 ( 3""2  1u$ X 3""2  1u$
Dez cartes quadrados de 3 centmetros de lado so cortados por uma lnha, como mostra a figura. Depois dos cortes tem-se 20 peas: 10 tringulos e 10 trapzios. Forme um quadrado que utilize as 20 peas sem superposies nem espaos.
3

Sociedade Brasileira de Matemtica

Um nmero natural de trs algarismos chamado de tricbico se igual soma dos cubos dos seus dgitos. Encontre todos os pares de nmeros consecutivos tais que ambos sejam tricbicos. A figura representa a quarta parte de um crculo de raio 1. No arco AB, se consideram pontos P e Q de forma tal que a reta PQ seja paralela reta AB. Sejam X e Y os pontos de interseo da reta PQ com as

A primeira fileira da tabela ao lado preenchida com os nmeros de 1 a 10, em ordem crescente. A segunda fileira preenchida com os nmeros de 1 a 10, em qualquer ordem. Em cada casa da terceira fileira se escreve a soma dos dois nmeros escritos nas casas acima. Existe alguma maneira de preencher a segunda fileira de modo que os algarismos das unidades dos nmeros da terceira fileira sejam todos distintos?

Seja ABC um tringulo equiltero. M o ponto mdio do segmento AB e N o ponto mdio do segmento BC. Seja P o ponto exterior a ABC tal que o tringulo ACP issceles e retngulo em P. PM e AN cortam-se em I. Prove que CI a bissetriz do ngulo MCA. So dados 12 pontos que so os vrtices de um polgono regular de 12 lados. Rafael deve traar segmentos que tenham seus dois extremos em dois dos pontos desenhados. permitido que cada ponto seja extremo de mais de um segmento e que os segmentos se cruzem, mas proibido traar trs segmentos que sejam os trs lados de um tringulo em que cada vrtice um dos 12 pontos iniciais. Encontre o nmero mximo de segmentos que pode traar Rafael e justifique por que no possivel traar um nmero maior de segmentos.

EUREKA! N5, 1999

retas OA e OB respectivamente. Calcular

____ 2

7 o

77fff%77

 1u$ 3""2  1u$ 3""2 t 3""2  1u$ ( 3""2  1u$

X 3""2  1u$

Sociedade Brasileira de Matemtica

Fbio Dias Moreira Andr de Carvalho Amaro Diego Costa de Almeida Daniel Haanwinckel Junqueira Ral M. Alexandrino Nogueira Bruna Griguol Felipe Oliveira de Sousa Guilherme Finkelfarb Lichand Leonardo Luis Desideri Freitas Zilma K. Barbosa Bezerra Thiago Augusto Caldas Bello Mateus Gomes Filgueiras

Joo Alfredo Castellani F. Freire Arthur Duarte Nehmi Davi M. Alexandrino Nogueira Luiz Brizeno Firmeza Neto Luciana Andretta do Nascimento Thiago Barros Rodrigues Costa Daniel Pinheiro Sobreira Maurcio Masso Soares Matsumoto Fabio S. Toniolo Einstein do Nascimento Jr. Hugo Pinto Iwata Rodrigo Roque Dias

O Brasil teve uma excelente participao na 5a. Olimpada de Maio na qual participaram 13 paises, sendo o pas com maior pontuao nos dois nveis em que realizada esta competio.

EUREKA! N5, 1999

` D 7h` ` o ~  ~  ~  f &&& ` f `7
Ouro Prata Prata Bronze Bronze Bronze Bronze Meno Honrosa Meno Honrosa Meno Honrosa Meno Honrosa Meno Honrosa Rio de Janeiro - RJ So Paulo - SP Fortaleza - CE Salvador - BA Fortaleza - CE Cafelndia - PR Fortaleza - CE So Paulo - SP Vitria - ES Fortaleza - CE Salvador - BA Fortaleza - CE Ouro Prata Prata Bronze Bronze Bronze Bronze Meno Honrosa Meno Honrosa Meno Honrosa Meno Honrosa Meno Honrosa Salvador - BA So Paulo - SP Fortaleza - CE Fortaleza - CE Cafelndia - PR Fortaleza - CE Fortaleza - CE So Paulo - SP So Paulo - SP Fortaleza - CE S J do Rio Preto - SP So Paulo - SP 5

YxYYcE((%|Q# A#|YY(ce#e U#9   } u  {  ~ } v {z u s u t u x w v u s t u t Y#(c|EQ|y!YY!#s g e g g g e q g p o m l j h g f e d #r Y!cY(Y!e(YnkiAY#cec &QP(' AGECA65 9864 31%(%#!  &"`` I H FD B 4 @ 2 7 5 2 0 ) & ' & $ "      h"&h""gau 6y3qh w d w b R w w y w u b S s r r p q ph g W S d b W a S ` X W V T S Ew A(Y!YYxvYt6AYi%f(ec%%#YAUR

qa ` `&` h `H D o ~  ~  ~ 
Sociedade Brasileira de Matemtica

x x a

EUREKA! N5, 1999

Pas Brasil Argentina Espanha Mxico Peru Colombia Cuba Costa Rica Uruguai Chile Bolvia Venezuela Equador

Pontuao 286 272 206 168 157 154 152 143 142 121 118 95 55

6 Pas Brasil Peru Argentina Cuba Colombia Mxico Espanha Uruguai Chile Bolvia Costa Rica Venezuela Equador Pontuao 405 341 264 219 188 175 136 125 123 108 57 57 22
!!!!

Sociedade Brasileira de Matemtica

A 10a. Olimpada de Matemtica do Cone Sul foi realizada na cidade de Crdoba, Argentina no perodo de 17 a 24 de maio de 1999. Dela participaram alunos de at 15 anos dos seguintes pases: Argentina, Brasil, Bolvia, Chile, Paraguai, Peru e Uruguai. A equipe brasileira foi selecionada atravs de provas realizadas em maro e maio deste ano e foi liderada pelos professores Florncio Ferreira Guimares Filho da UFES, e Antnio Caminha Muniz Neto, da UFCE.
f|&& 3 6& #

Achar o menor inteiro positivo n tal que as 73 fraes 19 20 21 91 , , ,........., n + 21 n + 22 n + 23 n + 93 sejam todas irredutveis.

a a irredutvel se e s se irredutvel ( se a e b tem um fator b ba comum, ento a e b a tm um fator comum, e reciprocamente). O problema se transforma em achar o menor valor de n tais que as fraes 19 20 91 , ,..., n+2 n+2 n+2 sejam todas irredutveis. A frao
EUREKA! N5, 1999

B`fh #    ~ oy ~  ~  ~ P
7

&8% &8%

%8 %8

# `&Q& # fx`& G # &c &%7 `& %i 3#`##|#`&

#xU!#x#|###8 `7

X 3""2  1u$

xg 7E`"

Sociedade Brasileira de Matemtica

Se n + 2 primo, maior que 91, todas as fraes so irredutveis. Assim, um valor possvel de n 95. Verifiquemos que o menor possvel. 20 Se n + 2 < 97 e n + 2 par (n par) h fraes redutveis, por exemplo . n+2 Se 19 n + 2 91, obviamente h uma frao redutvel. Se n + 2 < 19, ento n + 2 tem um mltiplo entre 19 e 91, e portanto, h uma frao redutvel. 31 Se n + 2 = 93 = 3 . 31, ento redutvel. n+2 19 Se n + 2 = 95 = 5 . 19, ento redutvel. n+2 Ento, o valor mnimo de n + 2 97, que corresponde a n = 95. Seja ABC um tringulo retngulo em A. Construir o ponto P sobre a hipotenusa BC, tal que se Q for o p da perpendicular traada desde P ao cateto AC, ento a rea do quadrado de lado PQ igual rea do retngulo de lados iguais a PB e PC. Mostrar os passos da construo.

EUREKA! N5, 1999

 1u$ 3""2 xg 7E`"


____ ____

B H P

P BC satisfaz as condies do enunciado se e s se PQ 2 = PB PC (*). Como


____ ___ ___

____

____ ____

PQC BAC , vem que PC


____

PQ
____

AB
____

. Da, PQ = PC
____

____

____

AB
____

, e segue de (*) que


____

PC = BC
____ 2 ____

BC

BC
____ ____

. Sendo H o p da altura relativa a BC , temos BH BC = AB 2 , donde

PB

AB 2

Sociedade Brasileira de Matemtica


____ ____

PC
____

BC
____

PB

BH

Temos ento a seguinte construo:


B'

P H

H'

A r

i) ii) iii) iv) v)

Trae, por C, a reta r tal que r r AC . Marque em r o ponto B' tal que B ' C = BC e B, B' estejam num mesmo
____ ____

semi-plano dos determinados por BC . Trace a altura AH relativa hipotenusa BC. Marque H' AB tal que BH' = BH. BC B'H' = {P}

H 1999 bolinhas em uma reta; algumas so vermelhas e as demais azuis (poderiam ser todas vermelhas ou todas azuis). Debaixo de cada bolinha escrevemos o nmero igual soma da quantidade de bolinhas vermelhas direita dela mais a quantidade de bolinhas azuis esquerda dela. Se, na sequncia de nmeros assim obtida, houver exatamente trs nmeros que aparecem uma quantidade mpar de vezes, quais podem ser estes trs nmeros?

Se as 1999 bolinhas so de uma mesma cor, a sucesso de nmeros crescente ou decrescente. Cada nmero aparece uma vez s e h 1999 (portanto, no h
EUREKA! N5, 1999

 1u$ 3""2 xg 7E`"

Sociedade Brasileira de Matemtica

exatamente 3 nmeros que se repetem um nmero mpar de vezes (1 mpar). Logo, h bolinhas das duas cores. Dada uma distribuio das bolinhas que tem em certa posio uma bolinha azul A e na posio seguinte uma bolinha vermelha R, se h a bolinhas azuis esquerda de A e r bolinhas vermelhas sua direita, ento h a + 1 bolinhas azuis esquerda de R e r 1 bolinhas vermelhas sua direita. O nmero escrito embaixo de A n = a + r e o nmero escrito embaixo de R a + 1 + r 1 = n. Se trocamos de lugar A e R, e no mexemos em nenhuma outra bolinha, na nova distribuio h a bolinhas azuis esquerda de R e r 1 bolinhas vermelhas sua direita, enquanto que esquerda de A h a bolinhas azuis e, sua direita, r 1 bolinhas vermelhas. Os nmeros escritos embaixo de R e A so a + r 1= n 1 e a + r 1 = n 1. Os nmeros escritos embaixo das outras bolinhas no mudam. Ento, depois da troca, o nmero n se repete duas vezes menos e o nmero n 1 se repete duas vezes mais. Os nmeros que se repetem uma quantidade mpar de vezes sero os mesmos em ambas configuraes. Portanto, basta estudar a configurao na qual todas as bolinhas vermelhas so consecutivas, a partir da primeira, e todas as azuis so consecutivas, a partir da ltima vermelha. Sejam , , as quantidades de bolinhas vermelhas e azuis, respectivamente; ento + = 1999. Embaixo da primeira bolinha ( vermelha) est o nmero 1, na seguinte, 2, depois 3, e assim por diante, at ter 0 na ltima bolinha vermelha (na posio ). Ento, embaixo da primeira bolinha azul h 0, na segunda 1 e assim por diante, at a ltima, que tem 1 embaixo. Se < , os nmeros 0, 1, 2, , 1 aparecem duas vezes (quantidade par) e os nmeros , + 1, + 2, , 1 aparecem uma vez (quantidade mpar). Se h exatamente 3 nmeros que aparecem uma quantidade mpar de vezes, estes so , + 1 e + 2 = 1. Portanto, + = 2 + 3, donde = 998, e os trs nmeros que se repetem uma quantidade mpar de vezes so 998, 999 e 1000. Se > , os trs nmeros que aparecem uma quantidade mpar de vezes so , +1 e + 2 = 1, donde + = 2 + 3 e os tres nmeros so, novamente, 998, 999 e 1000.
#xx!#x#|###8 &&&

Seja A um nmero de seis algarismos, trs dos quais esto coloridos e so iguais a 1, 2 e 4.
EUREKA! N5, 1999

t 3""2  1u$

10

Sociedade Brasileira de Matemtica

Demonstrar que sempre possvel obter um nmero que mltiplo de 7, efetuando uma s das seguintes operaes: ou suprimir os trs algarismos coloridos, ou escrever todos os algarismos de A em alguma ordem.

Provaremos o seguinte resultado mais geral: Seja A um nmero de mais de 3 algarismos, trs dos quais so 1, 2, 4. Prove que sempre possvel permutarmos os algarismos de A de modo que o nmero resultante seja um mltiplo de 7. Prova: Seja B = (aka1)10, k 1, o nmero obtido a partir de A ao suprimirmos uma ocorrncia de cada um dos algarismos 1, 2, 4 e C o nmero que queremos obter a partir de A. i)
ii)

iii)

iv)

s h algarismos 0 e 7 em B. Suponhamos, de agora em diante, que nem todos os algarismos de B sejam iguais a 7 ou zero. B no equivalente a 0 (mod 7): Como {0, 124, 142, 214, 241, 412, 421} um sistema completo de restos, mdulo 7, (isto , esses nmeros, quando divididos por 7 deixam todos os restos possveis: 0, 1, 2, 3, 4, 5 e 6) obtemos C justapondo, direita de B, uma permutao conveniente de 124. B 0 (mod. 7): Se a1 7,0 ento B' = (aka2 0 a1)10 no mltiplo de 7, pois 10B B' = 9a1. Como {0, 1024, 1042, 2014, 2041, 4012, 4021} tambm um sistema completo de restos, mdulo 7, obtemos C como em (iii) (isto , somando 100B' a um dos seis nmeros 1024,,4021).

dado um quadrado de lado 1. Demonstrar que, para cada conjunto finito de pontos no bordo do quadrado, possvel achar um vrtice do quadrado com a seguinte propriedade: a mdia aritmtica dos quadrados das distncias de tal 3 vrtice aos pontos do conjunto maior ou igual a . 4

EUREKA! N5, 1999

k >1

( 3""2  1u$

xg 7E`"
B = 7 : tome C = 2471 B = 7......7 : tome C = 7...72471. Analogamente tratamos o caso em que
k 1

11

Sociedade Brasileira de Matemtica

Sejam A1A2A3A4 o quadrado e X1, X2, , Xn os pontos do permetro. Devemos provar que uma das quatro somas Ai X 1 + Ai X 2 + ... + Ai X n , i = 1, 2, 3, 4, maior 3n ou igual que . 4 Somamos entre si estas quatro somas ( A1 X 1 + A1 X 2 + ... + A1 X n ) + ( A2 X 1 + A2 X 2 + ... + A2 X n ) + ( A3 X 1 + A3 X 2 + ... + A3 X n ) + ( A4 X 1 + A4 X 2 + ... + A4 X n ) e reagrupamos os somandos em n grupos, um por cada ponto Xi ( A1 X 1 + A2 X 1 + A3 X 1 + A4 X 1 ) + ( A1 X 2 + A2 X 2 + A3 X 2 + A4 X 2 ) + ... + ( A1 X n + A2 X n + A3 X n + A4 X n ). Demostraremos que, se X um ponto do permetro do quadrado, ento ( A1 X + A2 X + A3 X + A4 X ) 3. Sejam x e 1 x as distncias X aos extremos do lado ao que pertencem. Ento as distncias de X aos outros dois vrtices do quadrado so, em alguma ordem, 1 + x 2 e 1 + (1 x) 2 , e temos Devemos provar que, para todo x [0,1] ,
_____ 2 _____ 2 ______2 ______2
_____ 2 _____ 2 _____ 2 _____ 2 ______ 2 ______ 2 ______ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 ______ 2 _____ 2 _____ 2 ______ 2 ______ 2 ______ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2

verdadeira. Temos assim que ( A1 X 1 + A1 X 2 + ... + A1 X n ) + ( A2 X 1 + A2 X 2 + ... + A2 X n ) + + ( A3 X 1 + A3 X 2 + ... + A3 X n ) + ( A4 X 1 + A4 X 2 + ... + A4 X n ) 3n, 3n portanto, um dos quatro somandos maior ou igual que , c.q.d. 4
_____ 2 ______ 2 _____ 2 ____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2 _____ 2

EUREKA! N5, 1999

xg 7E`"
A1 X + A2 X + A3 X + A4 X = x 2 + (1 x) 2 + (1+ x 2 ) + (1 + (1 x) 2 ) = 4( x 2 x + 1).
1 3 3 ( x ) 2 + , que claramente 2 4 4 4( x 2 x + 1) 3, mas isto equivale a
12

Sociedade Brasileira de Matemtica

Uma formiga caminha pelo piso de um ptio circular de raio r e avana em linha reta, mas s vezes se detm. Cada vez que se detm, antes de continuar a caminhar, gira 60o alternando o sentido (se da ltima vez ela girou 60o para a direita da prxima vez gira 60o para a esquerda, e vice-versa). Achar o maior comprimento possvel do caminho percorrido pela formiga. Demonstrar que o comprimento assim obtido efetivamente, o mximo possvel.

Podemos supor que a formiga s se detm uma vez, pois, caso se detenha mais vezes podemos substituir seu caminho por outro de mesmo comprimento onde ela s se detm uma vez, como na figura abaixo

Sejam A e B respectivamente os pontos inicial e final do caminho percorrido pela formiga. Se AB C' no dimetro, traamos o dimetro A'B' // AB. Se C' tal que A'C'B' ACB, temos C' dentro do B crculo (pois A'C'B' = 120) e A'C' + C'B' = A B' O A' B ' A' ( AC + CB) > AC + CB. AB Logo, para o caminho ser mximo AB deve ser dimetro, ou seja, AB = 2r Temos agora que maximizar AC + CB sobre todos os tringulos ACB. tais que
C

que ACB = 120 e AB = 2r. Seguem duas demonstraes de que AC + CB mxima quando AC = CB:
EUREKA! N5, 1999

 1   u  $ 3""2

60o

Giro de 60o direita.

xg 7E`"

13

Sociedade Brasileira de Matemtica

1a. demonstrao a 2 + b 2 + ab = 4r 2 (a + b) 2 ab = 4r 2
C
120

a B

(a + b) 2 a+b 4r 3

b 2r

(a + b) 2 (a + b) 2 ab = 4r 2 4 , com igualdade se e s se a = b.

2a. demonstrao
C''

Seja C ' ' sobre AC tal que C ' ' C = CB e C ' ' A. Temos AC ' ' = AC + CB e AC ' ' B = 60.

C
120

C'' C O'

Ento devemos determinar a maior corda AC'', com C'' sobre o arco capaz do ngulo 60 sobre AB. Se O' o centro da circunferncia do arco capaz, a corda o dimetro por O', Da, C O' e AC = CC'' = CB

Assim, a resposta do problema

4r 3

EUREKA! N5, 1999

14

Sociedade Brasileira de Matemtica

A 40a. Olimpada Internacional de Matemtica foi realizada na cidade de Bucharest, Romnia, no perodo de 10 a 22 de julho de 1999. A equipe brasileira foi liderada pelos professores Nicolau Coro Saldanha, da PUC - Rio, e Carlos Gustavo T. de A. Moreira, do IMPA.
f|&& 3 6& #

A prova deste ano foi considerada difcil. Pela primeira vez em muitos anos nenhum participante obteve a pontuao mxima (42 pontos). A maior pontuao obtida este ano foi de 39 pontos.
# xx#|#xU!#x#|###8 `7

Determine todos os conjuntos finitos S de pontos do plano com pelo menos trs elementos que satisfazem a seguinte condio: Para quaisquer dois pontos distintos A e B de S, a mediatriz do segmento AB um eixo de simetria de S. Seja n 2 um inteiro fixo. a) Determinar a menor constante C para a qual a desigualdade

1i < j n

x i x j ( xi2 + x 2 ) C ( j

1 i n

x )
i

b)

vlida para quaisquer nmeros reais x1, , xn 0. Para esta constante C, determine quando ocorre a igualdade.

EUREKA! N5, 1999

15

H%&%|"hc % H%&%|"hc %

H%&%|"hc %

H%&%|"hc %

` ` `# ~ oyhy ~  ~ o ~ o ~  ~ P h h h h
%c&& # %c&& # %c&& # %c&&|# %c&& # %c&& # ` # `&Q& & &c `& |Q % & 3 %i 3#`##|#`& & & &6& 36& 7 # fx`& G #

 1u$ 3""2

X 3""2  1u$

Sociedade Brasileira de Matemtica

Considere um tabuleiro quadrado n n, onde n um inteiro positivo par fixo. O tabuleiro est dividido em n2 quadrados unitrios. Dizemos que dois quadrados distintos do tabuleiro so adjacentes se eles tm um lado comum. Marcam-se N quadrados unitrios do tabuleiro de tal forma que qualquer quadrado (marcado ou no) adjacente a pelo menos um quadrado marcado. Determine o menor valor possvel para N.
# xx#|#xU!#x#|###8 &&&

Determine todos os pares (n, p) de inteiros estritamente positivos tais que p primo, n 2p, e (p 1)n + 1 divisvel por np1.

Duas circunferncias 1 e 2 esto contidas no interior de uma circunferncia e so tangentes a em pontos distintos M e N, respectivamente. A circunferncia 1 passa pelo centro de 2 . A reta que passa pelos dois pontos de interseo de 1 e 2 intersecta em A e B. As retas MA e MB intersectam 1 respectivamente em C e D. Prove que CD tangente a 2 .
 1   u  $ 3""2

f ( x f ( y )) = f ( f ( y )) + x f ( y ) + f ( x) 1 para quaisquer x, y .

EUREKA! N5, 1999

Determine todas as funes f :

 1u$ 3""2 t 3""2  1u$ ( 3""2  1u$

tais que

16

Sociedade Brasileira de Matemtica

Diz a lenda que, h muitos milnios, o mundo vivia em guerra constante, pois as pessoas no sabiam como resolver as suas discordncias, a no ser pela fora bruta. Um dia, os deuses (que so exmios matemticos), para resolver esta situao, enviaram um mensageiro Terra, com a misso de ensinar os homens a resolverem as suas disputas. O anjo se dirigiu ento aos homens, dizendo: - Quando dois entre vs precisarem chegar a um acordo, que se faa como vos digo: que um escolha par e o outro escolha mpar, ento que ambos mostrem ao mesmo tempo a mo exibindo uma certa quantidade de dedos. Sero ento somadas estas quantidades. Se a soma for um nmero par declara-se vencedor o jogador que escolheu par e, caso contrrio, declara-se vencedor aquele que escolheu mpar. Os homens ficaram maravilhados com a sabedoria dos deuses e, deste dia em diante, houve um grande perodo de paz, pois todas as questes eram resolvidas com o jogo que eles haviam aprendido dos deuses. Um dia, porm, esta paz foi abalada. Trs reis disputavam um pedao de terra, que ficava exatamente na divisa entre os trs pases. Eles estavam prontos a utilizar o jogo divino do par-ou-mpar, mas o rei que sabia mais matemtica entre os trs se levantou e disse: - Caros colegas, ns todos sabemos que um nmero s pode ser par ou mpar, no existindo uma terceira opo. Como somos trs, algum de ns no vai ter opo alguma. Este era realmente um problema muito srio. Para resolv-lo, foi chamado o melhor matemtico da Terra na poca, chamado Zerinhoum. Ele pensou durante vrias semanas em como resolver o problema dos reis, e finalmente chegou a uma soluo: - Majestades, encontrei a soluo para o vosso problema. Ao mesmo tempo, vs estendereis vossas mos, mantendo-as ou com a palma para cima ou com a palma para baixo. Aquele dentre vs que tiver a mo em posio diferente dos demais ganha a disputa.

EUREKA! N5, 1999

$1 ' ( ( & % $ ! 20 ) ' # "


17

  ~ f~ ~ ~ xy   oh ~ h a ~ f ~ h ~     

     cE

Sociedade Brasileira de Matemtica

- E se todos ns tivermos as palmas das mos viradas para o mesmo lado? -indagaram os reis. - Neste caso, majestades, vs jogareis novamente, at que algum entre vs vena. Como a disputa era muito urgente, os reis aceitaram a sugesto do eminente matemtico. Houve mais um perodo de paz, desta vez muito mais curto. Em pouco tempo, as pessoas perceberam que o jogo de Zerinhoum podia se alongar indefinidamente, e que era possvel se fazer alianas para prejudicar adversrios polticos. Ento as pessoas rezaram aos deuses, pedindo um novo jogo, que trouxesse de novo a paz Terra. Os deuses ento enviaram novamente um mensageiro. Quando ele chegou, os homens lhe cercaram dizendo: - Mensageiro dos deuses, atendeste as nossas preces. Vivamos em guerra, e os deuses nos enviaram o sagrado jogo do par-ou-mpar, que nos trouxe a paz. Mas este jogo s podia ser jogado por dois jogadores, e as trevas se abateram de novo sobre ns. Ento um grande homem nos ensinou um novo jogo, que chamamos Zerinhoum em sua homenagem. Mas este jogo tinha problemas, e a guerra voltou a nos assolar. Por favor, grande sbio, que vem em nome dos deuses, ensina-nos um novo jogo, que possa nos trazer de volta nossa paz. E o anjo assim respondeu: - Eu vos ensinarei um novo jogo. Zerinhoum era um grande matemtico, mas no conhecia os segredos dos deuses. Eu vos revelarei estes segredos. Para isto, o melhor comear pelo antigo jogo do par-ou-mpar. Como se decide se um nmero par ou mpar? Basta dividi-lo por 2. Se o resto for igual a 0, o nmero ser par, se for igual a 1, o nmero ser mpar. Estas so as nicas duas opes, porque o resto sempre menor do que o dividendo (2). Reparai que se dividirmos o nmero por 3, passam a existir 3 opes para o resto, pois ele pode ser 0, 1 ou 2. Na diviso por 4, existem 4 restos possveis ( 0, 1, 2 e 3). Em geral, quando dividimos um nmero por n , existem n restos possveis ( 0, 1, 2, , n 2 e n 1 ). E o que isto tem a ver com o jogo? Tudo, eu vos digo. Se n pessoas estiverem em uma disputa, vs fareis como eu vos digo: As pessoas escolhero, cada uma, um nmero entre 0 e n 1 diferente. Depois, ao mesmo tempo, elas mostraro as mos, exibindo uma quantidade qualquer de dedos. As quantidades sero somadas, e o nmero resultante ser dividido por n. A pessoa que escolheu o resto desta diviso ser a vencedora.

EUREKA! N5, 1999

18

Sociedade Brasileira de Matemtica

Esta a forma que os deuses jogam. Mas vs da Terra sois muito desorganizados para poder escolher tantos nmeros de forma tranqila. Portanto, eu vos ensinarei uma forma alternativa de jogar este jogo. Vs vos arrumareis em um crculo. Uma pessoa ser designada a contar. Ento vs gritareis a palavra mgica Adedanha e todos mostraro as mos. Os resultados sero somados, e aquele que havia sido designado far o seguinte procedimento: Em primeiro lugar falar Um, e apontar para o cu, para que nunca vos esqueais de que foram os deuses que vos ensinaram este jogo. Ento apontar para si mesmo e falar Dois. Depois apontar para o jogador sua esquerda e falar Trs, e depois seguir apontando para o jogador esquerda deste e assim por diante, sempre acrescentando um ao nmero que havia falado anteriormente, at chegar soma que havia sido calculada. O jogador que estiver sendo apontado neste momento ser o vencedor. Se a soma for 1, o jogador que estiver direita do que estiver contando ser declarado vencedor. Se for 0, ser o que estiver direita deste. Os homens entenderam as determinaes do mensageiro, mas ainda no entendiam porque o segundo jogo era equivalente ao primeiro. O anjo ento lhes explicou: - A pessoa que est contando vai apontar para si mesma quando estiver falando 2. Depois vai dar uma volta completa no crculo e vai apontar para si mesma novamente quando estiver no 2 + n, e novamente no 2 + 2n. Ou seja, ela vai estar apontando para si mesma se e somente se estiver falando um nmero cujo resto na diviso por n seja 2. Da mesma forma, vai estar apontando para o jogador sua esquerda se e somente se estiver falando um nmero que deixa resto 3 ao ser dividido por n. E assim por diante, de forma que cada jogador ter associado a si um nmero entre 0 e n 1 tal que ele o vencedor se e somente se o resultado da soma deixa aquele resto quando dividido por n. Os homens estavam maravilhados com a explicao do mensageiro, mas um sbio ancio levantou uma questo: - , mensageiro divino, sem dvida s sbio e sagaz. No entanto, uma dvida me corri o esprito. Tendo cada jogador 10 dedos, esta soma pode atingir nmeros muito elevados, fazendo com que o responsvel pela contagem passe um tempo enorme falando e apontando at que se descubra o vencedor. - Tens toda a razo, sbio homem. Mas em verdade vos digo que tolice que um jogador exiba uma quantidade de dedos maior ou igual quantidade de jogadores. Com efeito, suponde que um jogador coloque um nmero maior ou
EUREKA! N5, 1999

19

Sociedade Brasileira de Matemtica

igual a n. Os primeiros n dedos s vo ter o efeito de fazer com que a contagem d uma volta completa no crculo, sem alterar em nada quem ser o vencedor. Portanto, ele pode subtrair n da sua quantidade sem que isto altere o resultado. Se o nmero persistir maior ou igual a n, basta voltar a subtrair, at que o nmero fique entre 0 e n 1. - Isto de fato diminui sobremaneira o esforo requerido- replicou o ancio. Mas ainda assim o resultado pode chegar a n(n 1), que ainda bastante grande. - s de fato perspicaz, meu nobre homem. Mas no penseis que a sabedoria dos deuses possui limite. O mesmo processo que foi aplicado a cada nmero individualmente pode ser aplicado soma. Por exemplo, considerai um jogo com 4 jogadores. Suponde que um dos jogadores exibe 3 dedos e outro exibe 2 dedos. Por que considerar a sua soma como sendo 5, se o efeito de somar 4 apenas fazer com que o responsvel pela contagem d uma volta a mais? Em vez disto, muito mais sensato considerar a sua soma como sendo 5 4 = 1. Mais geralmente, considere um jogo com n jogadores. Em primeiro lugar diminui-se n dos valores jogados por cada um, de forma que todos eles estejam entre 0 e n 1 (se todos os jogadores dessem ouvidos s palavras dos deuses, no jogariam alm destes limites). Depois procede-se a soma, da seguinte forma. Soma-se o primeiro valor com o segundo. Caso esta soma seja um valor maior ou igual a n, subtrai-se n do resultado ( Sede espertos e sabereis que fazendo isto sempre obtereis um nmero entre 0 e n 1 ). Depois, a este resultado, soma-se o terceiro valor, tomando-se o cuidado de se subtrair n caso a soma exceda n 1. Prossegue-se desta forma at que todos os valores tenham sido somados. Se seguistes o meu raciocnio at este ponto, no deveria ser-vos surpresa o fato que o resultado de uma tal operao est sempre entre 0 e n 1, e portanto o jogador responsvel pela contagem nunca precisar dar mais de uma volta. E ento todos os habitantes se ajoelharam aos ps do anjo, reconhecendo a sua suprema sabedoria, e o mundo conheceu enfim a paz. At hoje os homens jogam os jogos de par-ou-mpar e adedanha da forma como foram ensinados pelos deuses, embora, infelizmente, a maioria tenha se esquecido da lio final e continue se extenuando em uma interminvel contagem que d voltas e mais voltas.

EUREKA! N5, 1999

20

Sociedade Brasileira de Matemtica

E foi assim que a lenda me foi contada pela minha av, que ouviu de sua av, que ouviu de sua prpria av, e assim por diante, at o princpio dos tempos. Voc deve estar achando meio esquisita a maneira de somar que foi ensinada pelos deuses. No entanto, eles a usaram em vrias outras coisas que nos so muito familiares. Se voc no acredita, responda rpido a estas perguntas: a) Se uma coisa comea em uma segunda-feira e dura 7 dias, em que dia ela termina? E se durar 14 dias? E se durar 701 dias? b) Se uma coisa comea s 8 horas da manh e dura 24 horas, a que horas ela acaba? E se durar 48 horas? E se durar 4804 horas? c) Se o ponteiro dos minutos de um relgio est apontando 23 minutos, para onde ele estar apontando daqui a 60 minutos? e daqui a 120 minutos? e daqui a 66681 minutos? Garanto que, se voc respondeu terceira pergunta dos 3 tens, no contou de um em um (ou ento j estamos no terceiro milnio ). Voc percebeu que os dias da semana se repetem de 7 em 7 dias, que as horas do dia se repetem de 24 em 24 horas e que o ponteiro do relgio volta a apontar para o mesmo ponto de 60 em 60 minutos. Garanto tambm que voc, sem se dar conta, j pensou vrias vezes coisas como 5 horas depois das 21 horas so 2 horas da manh, ou seja, fez a conta 21 + 5 = 2 ! E, por incrvel que parea, esta conta est certa!!! Est certa, porque voc est pensando a menos de mltiplos de 24 (ou, como preferem os matemticos, mdulo 24) , ou seja: 21 + 5 = 2 ( + um mltiplo de 24 ) , ou, como preferem os matemticos, 21 + 5 = 2 (mod 24) . Desta forma, a terceira pergunta do item c) pode ser reescrita como Quanto 23 + 66681 (mod 60) . Se voc foi esperto(a) o suficiente para responder quela pergunta, voc j deve ter percebido que 66681 = 21 (mod 60), e que 23 + 66681 = 23 + 21 (mod 60), ou seja, 23 + 66681 = 44 (mod 60), logo o ponteiro estar apontando para o minuto 44. S para ver se voc entendeu at agora, preencha estas lacunas:
EUREKA! N5, 1999

21

Sociedade Brasileira de Matemtica

2 + 2 = 1 (mod __ ) 2 +__ = 0 (mod 17) 26 = 3 (mod __ ) No se esquea que a expresso mod n s uma forma abreviada de + um mltiplo de n. Lembrando-se disto, veja quantas coisas voc sabia, mas no sabia que sabia: 3 3 = 1 (mod 4) 1 = 1 (mod 2) 2 2 2 2 = 1 (mod 5) 3 3 3 3 = 1 (mod 5) (esta talvez voc no saiba, mas n n n n = 1 (mod 5), sempre que n no mltiplo de 5. Voc pode ver isto e muito mais no artigo do professor Carlos Gustavo Moreira, na No. 2. Pergunta: se n mltiplo de 5, quanto n n n n (mod 5)? ) Agora que voc j sabe o segredo dos deuses matemticos, j pode jogar adedanha da forma original, como os deuses a conceberam, e manter a paz no mundo sem fazer esforo.

EUREKA! N5, 1999

C B A 5 8 6 D7@975

22

Sociedade Brasileira de Matemtica

Apresentamos a seguir alguns resultados que servem de ferramenta para resoluo de problemas de geometria elementar envolvendo quadrilteros e tringulos, bastante freqentes em problemas de olimpada.

Os ngulos opostos de um quadriltero inscritvel so suplementares. Reciprocamente, se os ngulos opostos de um quadriltero so suplementares, ento esse quadriltero inscritvel (cclico).
D C O

Alm disso, se ocorrer uma situao onde dois ngulos iguais olham para um mesmo segmento, ento os extremos desse segmento e os vrtices dos dois ngulos formam um quadriltero inscritvel.
D C

Exemplo: Seja AB o dimetro de um semicrculo. Um ponto M marcado no semicrculo e um ponto K marcado sobre AB. Um crculo com o centro P passa
EUREKA! N5, 1999

 ""i a# 7"7e f"a` g ! 4 !$c ! $#b !$5

Y V(X IVU@2' # " T ( W $ T $1 & % $ !


A B A B 23

`ShQ D hP R P  H  qI GF6y  o ~

Sociedade Brasileira de Matemtica

por A, M, K e um crculo com centro Q passa por M, K, B. Prove que M, K, P, Q pertencem a um mesmo crculo. Soluo: No crculo circunscrito de AMK, MPK = 2MAK; e no crculo circunscrito de BMK, MQK = 2MBK. Como AB dimetro do semicrculo, AMB = 90o e MAK+MBK = 90o. Da, MPK+MQK = 180o e MPKQ inscritvel.

Se ABCD um quadriltero inscritvel de diagonais AC e BD, ento: AB CD + AD BC = AC BD.


A d D c E B b C

Prova: Seja x = BD e y = AC e a, b, c, d, os comprimentos dos lados. Construa CDE = ABD, E AC. Da, CDE ADB e ADE BCD, dando, respectivamente, ECx = ac e AEx = bd. Somando essas duas ltimas equaes, temos xy = ac + bd, como queramos provar u H tambm uma extenso para esse teorema que vale para quadrilteros no inscritveis: AB CD + AD BC > AC BD, isto , numa situao geral vale AB CD + AD BC AC BD. Exemplo: Prove que, se ABCDEFG um heptgono regular convexo, ento:
1 1 1 = + . AB AC AD

Aplicando o Teorema de Ptolomeu no quadriltero inscritvel ACDE, onde


EUREKA! N5, 1999

g 1  #2  5  1$  "P% %aD7P"%"a#


a 24

Sociedade Brasileira de Matemtica

CD = DE = a = AB, AC = CE = b e AD = AE = c, temos bc = ac + ab. Dividindo essa ltima equao por abc, segue o resultado.

Sejam H e O respectivamente o ortocentro e o circuncentro, do ABC e M, o ponto mdio do lado BC. Ento AH = 2OM.

Prova: Sejam AX e BY alturas e N, o ponto mdio de AC. Como MN base mdia, MN // AB e MN = AB. Da, ABH OMN pois tm lados paralelos entre si (e razo 2:1). Portanto, AH = 2OM u Exemplo: Prove que o ortocentro, o baricentro e o circuncentro de um tringulo qualquer so colineares. (Reta de Euler) Seja G a interseo de AM e HO (na figura acima). Ento, AHG GOM na razo 2:1. Da, AG = 2GM. Portanto, G o baricentro e pertence reta HO.

1.

Seja P um ponto sobre o menor arco AC da circunferncia circunscrita a um tringulo equiltero ABC. Calcule a medida do ngulo APC. Prove que um trapzio inscritvel se, e somente se, ele for issceles (lados no paralelos iguais). Sejam AX e BY alturas de um tringulo issceles ABC (AC = BC) de ortocentro H. Prove que 2HXXC = XYHC.

2.

3.

EUREKA! N5, 1999

# 2  5   $ e ce gc !c 5 D%"fda`7# "77g$  !#$` 1g  $ ec#$ 5 !ce# !5  $#e x$ 7c a`"ai d# "7%a`%d 7aDga7a`"aA7`"a
A Y N
H

O M C

q p i h g f d c Da7eeab
25

Sociedade Brasileira de Matemtica

4.

Seja ABCD um losango inscritvel de lado 1 e P, um ponto sobre o menor arco CD. Prove que PD2 + PCPA = 1. Seja P um ponto sobre o menor arco AC da circunferncia circunscrita a um tringulo equiltero ABC. Prove que PB = PA + PC. Seja H o ortocentro de um tringulo ABC e P, o ponto diametralmente oposto a B na circunferncia circunscrita a ABC. Prove que AHCP um paralelogramo. ABCD um paralelogramo. H o ortocentro do ABC e O, o circuncentro do ACD. Prove que H, O, D so colineares. 1 1 1 , Seja A1A2An um polgono regular de n lados. Se = + A1 A2 A1 A3 A1 A4 calcule n. Sejam M, N, P os pontos mdios dos lados de um ABC acutngulo de circuncentro O. Prolongue MO, NO, PO, a partir de O, at X, Y, Z, respectivamente, tais que MX = 2 OM , NY = 2 ON , PZ = 2 OP. Prove que XYZ semelhante ao ABC . Sejam M, N, P os pontos mdios dos lados de um ABC acutngulo de circuncentro O. Prolongue MO, NO, PO, a partir de O, at X, Y, Z, respectivamente, tais que MX, NY, PZ tenham comprimentos respectivamente iguais s metades das alturas do tringulo a partir dos vrtices A, B, C. Prove que XYZ semelhante ao tringulo rtico de ABC (tringulo formado pelos ps das alturas do ABC).

5.

6.

7. 8.

9.

10.

EUREKA! N5, 1999

26

Sociedade Brasileira de Matemtica

Muitos problemas atraentes de matemtica elementar exploram relaes entre conjuntos finitos, expressas em linguagem coloquial. Parte de sua atrao vem justamente do fato de que podem ser formulados e, muitas vezes, resolvidos sem recorrer a frmulas ou a tcnicas complicadas. Vejamos um exemplo simples. Exemplo 1. Qual o nmero mnimo de pessoas que devemos reunir para que tenhamos certeza de que entre elas h duas que fazem aniversrio no mesmo ms? Soluo: A resposta 13. Se houvesse apenas 12 pessoas, seria possvel que cada uma delas fizesse aniversrio em um ms diferente. Com 13 pessoas, h , obrigatoriamente, pelo menos um ms com mais de um aniversrio (se houvesse, no mximo, um aniversrio por ms, o nmero de pessoas presentes seria, no mximo, 12). O argumento empregado acima conhecido como Princpio das Gavetas de Dirichlet ou Princpio das Casas do Pombos. Um possvel enunciado para este princpio o seguinte: Se n objetos forem colocados em, no mximo, n 1 gavetas, ento pelo menos uma delas conter pelo menos dois objetos. (Uma maneira um pouco mais formal de dizer o mesmo : se o nmero de elementos de um conjunto finito A maior do que o nmero de elementos de um outro conjunto B, ento uma funo de A em B no pode ser injetiva.) Embora trate-se de um fato extremamente elementar, ele til para resolver problemas que, pelo menos primeira vista, no so imediatos. Para aplic-lo, devemos identificar, na situao dada, quem faz o papel dos objetos e quem faz o papel das gavetas. Exemplo 2. Uma prova de concurso possui 10 questes de mltipla escolha, com cinco alternativas cada. Qual o menor nmero de candidatos para o qual podemos garantir que pelo menos dois deles deram exatamente as mesmas respostas para todas as questes?
EUREKA! N5, 1999

V IV@2} y "w  z  z~ | { z x


27

v t s e pk f o l k i g f 7u aSr mqqme en mSjShe d7 rw s yw u s "DxIvIxxvtr

Sociedade Brasileira de Matemtica

Soluo: Neste caso, os objetos so os alunos e as gavetas so as possveis seqncias de respostas . Como cada questo pode ser respondida de 5 modos, a prova pode ser preenchida de 5 5 5 5 = 510 = 9 765 625 modos. Logo, s se pode ter a certeza de que dois candidatos fornecem exatamente as mesmas respostas se houver pelo menos 9 765 626 candidatos. Exemplo 3. Em uma reuniao h n pessoas. Mostre que existem duas pessoas que conhecem exatamente o mesmo nmero de outros participantes (admitimos que conhecerseja uma relao simtrica, ou seja, se a conhece b, ento b conhece a). Soluo: Os objetos so as pessoas. As gavetas, naturalmente, so as quantidades de pessoas conhecidas. Temos, no entanto, uma dificuldade: as possveis quantidades de conhecidos so 0, 1, 2, , n 1. Assim, primeira vista, temos n gavetas para n objetos, o que nos impede de usar o princpio das gavetas. Note, porm, que as gavetas 0 e n 1 no podem ser usadas simultaneamente: se existir uma pessoa que no conhece nenhum participante, ento no pode existir um participante que conhea todos! Assim, uma das gavetas 0 ou n 1 permanece desocupada e os n objetos devem ser, portanto, distribudos em n 1 gavetas. Portanto, uma delas ser ocupada por pelo menos dois objetos, o que mostra que h duas pessoas que conhecem exatamente o mesmo nmero de participantes. Nos casos anteriores, foi bastante simples identificar as gavetas. Nem sempre assim. Os exemplos a seguir ilustram situaes em que necessrio construir as gavetas a serem usadas. Exemplo 4: Escolhem-se 5 pontos ao acaso sobre a superfcie de um quadrado de lado 2. Mostre que pelo menos um dos segmentos que eles determinam tem comprimento menor ou igual a 2 . Soluo: Neste caso, est claro que os objetos so os 5 pontos. O ponto chave da resoluo est na identificao das gavetas. Devemos subdividir o quadrado dado em 4 partes de modo tal que a distncia entre dois pontos situados em uma destas partes nunca seja maior que 2 . A Fig. 1 mostra como faz-lo: basta dividi-lo nos quatro quadrados determinados pelas retas que unem os pontos mdios dos lados opostos. Em cada uma destas quatro gavetas, a distncia mxima entre dois pontos igual sua diagonal, que mede 2 . Portanto, dados 5 pontos, pelo menos 2 estaro em uma mesma gaveta e, assim, determinam um segmento de comprimento menor ou igual a 2 .
EUREKA! N5, 1999

28

Sociedade Brasileira de Matemtica


1 1 1 1

Figura 1

Exemplo 5. Escolha 101 nmeros dentre os elementos do conjunto {1, 2, 3, , 200}. Mostre que, dentre os nmeros escolhidos, h sempre dois nmeros tais que um divide o outro. Soluo: Antes de mais nada, observe que podemos escolher 100 nmeros do conjunto sem que exista um par onde um nmero divide o outro: basta tomar os nmeros 101, 102, , 200. claro que se acrescentamos mais um nmero p (obrigatoriamente menor ou igual a 100) a essa coleo, um mltiplo seu j estar l. Na verdade, podemos garantir que esse mltiplo da forma 2rp (basta tomar p e multiplic-lo sucessivamente por 2 at que ele se torne maior do que 100). Mostraremos que isso ocorre para qualquer conjunto de 101 elementos. Ou seja, todo subconjunto com 101 dos nmeros de 1 a 200 sempre contm um nmero e um mltiplo seu obtido atravs de multiplicao por uma potncia de 2. Note que esta afirmativa mais forte do que a dada do enunciado, mas, como veremos, nos permite estruturar uma demonstrao. Isto ocorre com frequncia nos problemas envolvendo o Princpio das Gavetas: parte do sucesso nas solues depende da habilidade em perceber o que deve ser demonstrado. Voltando soluo, observemos que todo inteiro n se escreve, de modo nico, na forma n = 2rb, onde r um inteiro no negativo e b um nmero mpar. Por exemplo, 18 = 21.9 , 36 = 22.9 e 125 = 20.125. Para os nmeros de 1 a 200, os valores possveis de b so os mpares de 1 a 199, que so 100. Aqui esto nossas gavetas! J que h 100 valores possveis de b, qualquer coleo de 101 nmeros de 1 a 200 possui dois nmeros x = 2rb e y = 2sb com o mesmo b (isto , temos dois objetos que sero colocados na mesma gaveta). Se r < s, ento x divide y; seno, y divide x, o que conclui a demonstrao. O ltimo exemplo requer um argumento um pouco mais sofisticado. Exemplo 6: Em uma reunio, h 6 pessoas. Mostre que necessariamente existem 3 pessoas que se conhecem mutuamente ou 3 pessoas que no se conhecem mutuamente (como no exemplo 3 admitimos que, se a conhece b, ento b conhece a).
EUREKA! N5, 1999

29

Sociedade Brasileira de Matemtica

Soluo: Usaremos o diagrama da Fig. 2 abaixo para ilustrar a situo. Cada pessoa representada por um vrtice do hexgono. Quando duas pessoas se conhecem, ligamos os vrtices correspondentes por um segmento contnuo; seno, usamos um segmento tracejado. O que devemos mostrar que, nesta figura, necessariamente existe um tringulo formado por linhas contnuas ou um tringulo formado por linhas tracejadas.

Figura 2

Consideremos os segmentos que incidem em um dos vrtices p1. Como eles so 5, h pelo menos 3 deles que so contnuos ou pelo menos 3 que so tracejados. Admitamos que haja 3 contnuos (o argumento seria anlogo no outro caso). Denotemos por p2, p3 e p4 vrtices ligados a p1 por segmentos contnuos (veja a Fig. 3). Se algum dos segmentos p2p3, p2p4 ou p3p4 contnuo, este segmento, juntamente com os que ligam seus extremos a p1, formam um tringulo contnuo. Por outro lado, se nenhum deles contnuo, eles formam um tringulo tracejado, o que completa a demonstrao.
p2

p1

p3

p4

Figura 3

Este exemplo um caso particular de um teorema mais geral, chamado de Teorema de Ramsey. Dado qualquer inteiro k 3, existe um inteiro R(k) tal que, em uma reunio de R(k) pessoas, sempre existem k que se conhecem
EUREKA! N5, 1999

30

Sociedade Brasileira de Matemtica

mutuamente ou k que no se conhecem mutuamente. Este resultado normalmente expresso usando a linguagem de grafos: ao se colorir, com duas cores, as arestas de um grafo completo com R(k) vrtices, h sempre um subgrafo completo com k vrtices onde todas as arestas tm a mesma cor. (Na realidade, o Teorema de Ramsey aborda situaes mais gerais; veja, por exemplo os problemas 8 e 9 abaixo). Aproveitamos para mencionar a seguinte generalizao do princpio das gavetas: Se n objetos so colocados em m gavetas e n > mk (onde m, n e k so nmeros naturais) ento alguma gaveta conter pelo menos k + 1 objetos. Terminamos com uma lista de problemas que podem ser resolvidos com as tcnicas aqui ilustradas. As solues sero publicadas nos prximos nmeros da .

1) Numa gaveta h 6 meias pretas e 6 meias brancas. Qual o nmero mnimo de meias a se retirar (no escuro) para garantir que: a) b) As meias retiradas contenham um par da mesma cor? As meias retiradas contenham um para de cor branca?

2) Sejam n um natural mpar e A uma matriz simtrica em que cada linha e coluna seja uma permutao dos inteiros 1, 2,, n. Mostre que cada um destes nmeros aparece uma vez na diagonal de A. 3) Mostre que se um subconjunto com n + 1 elementos escolhido do conjunto {1, 2, 3,, 2n} ento este subconjunto necessariamente contm um par de nmeros primos entre si. 4) Considere 9 pontos de coordenadas inteiras no 3. Mostre que o ponto mdio de um dos segmentos de reta definidos por estes pontos tambm tem coordenadas inteiras. 5) Mostre que se n mpar e a1, a2,,an uma permutao de 1, 2,,n, ento o produto (a1 1) (a2 2)(an n) par. 6) Mostre que em qualquer coleo de n inteiros h um subconjunto cuja soma dos elementos divisvel por n.
EUREKA! N5, 1999

31

q p i h g f d c Da7eeab

D7@97

Sociedade Brasileira de Matemtica

7) Mostre que em qualquer coleo de n inteiros existe um par cuja soma ou diferena divisvel por n. 8) Mostre que em toda reunio com 10 pessoas existem 3 que se conhecem mutuamente ou 4 que se desconhecem mutuamente. Mostre que, na realidade, o resultado vale mesmo que na reunio s existam 9 pessoas. 9) Dados inteiros a, b 2, seja N (a, b) o menor nmero para o qual, dado um conjunto com N (a, b) pessoas, sempre existam a que se conheam mutuamente ou b que se desconheam mutuamente (se existir tal nmero). Os problemas anteriores implicam que N (3, 3) 6 e N (3, 4) 9. Mostre que: a) b) c) N(a, 2) = a; N(a, b) = N (b, a); N(a, b) N (a 1, b) + N (a, b 1); observe que, em consequncia, N(a, b) existe para todo par (a, b).

10) Dois discos A e B so divididos em 2n setores iguais. No disco A, n setores so pintados de azul e n de vermelho. No disco B, os setores so pintados de azul ou vermelho de forma completamente arbitrria. Mostre que A e B podem ser superpostos de modo que pelo menos n setores tenham cores coincidentes. 11) Sejam A1, A2,, A100 subconjuntos distintos de um conjunto X satisfazendo a propriedade de que cada Ai possua mais da metade dos elementos de X. Mostre que existem 6 elementos x1, x2,x6 de X tais que cada Ai contenha pelo menos um destes 6 elementos. 12) Considere um conjunto A com n elementos. Seja F uma famlia de subconjuntos de A tal que: Quaisquer dois elementos de F tm interseo no vazia. Nenhum outro subconjunto de A intersecta todos os elementos de F.

a) D exemplo de uma famlia F satisfazendo a estas condies. b) Mostre que F possui 2n 1 elementos. 13) Uma fbrica produz pelo menos uma unidade de um produto X por dia e no mximo 10 unidades deste produto por semana. Mostre que dado qualquer
EUREKA! N5, 1999

32

Sociedade Brasileira de Matemtica

inteiro positivo n existe um conjunto de dias consecutivos em que a produo total igual a n [ Sugesto: mostre que existe um nmero k (dependente de n) suficientemente grande para o qual os conjuntos {S1, S2,Sk} e {S1 + n, S2 + n, , Sk + n} tem pelo menos um elemento comum, onde Si a soma das produes nos dias 1, 2, , i.]. 14) Mostre que toda sequncia com n2 + 1 elementos possui uma subsequncia crescente com n + 1 elementos ou uma subsequncia decrescente com n + 1 elementos. 15) Sejam mn + 1 elementos tais que a1 < a2 < < amn + 1. Mostre que ou existem m + 1 destes nmeros tais que nenhum divisor de um outro ou existem n + 1 deles tais que cada um divisor do seguinte. 16) Prove que se o conjunto {1, 2, 3, , 1978} partido em 6 subconjuntos, em algum destes subconjuntos existe um elemento que igual soma de dois elementos, no necessariamente distintos, do mesmo subconjunto. 17) Considere um conjunto com 2n pontos. a) Mostre que possvel conectar estes pontos com n2 segmentos de reta sem que um tringulo de vrtices nos pontos dados seja formado. b) Mostre que se os pontos so conectados por n2 + 1 segmentos de reta, ento pelo menos um tringulo formado. 18) Considere um conjunto de n pontos 1, 2, , n. Para cada par de pontos escolhida uma orientao para o segmento de reta que os une. Se o segmento ij orientado de i para j dizemos que i j. Mostre que existe uma permutao a1, a2, an de 1, 2, , n tais que a1 a2 an. 19) So dados n pontos azuis e n pontos vermelhos no plano. Mostre que possvel formar n pares de pontos (um azul e um vermelho em cada par) de modo que os n segmentos de reta definidos por estes pares no se cruzem. 20) Mostre que dados 5 pontos do plano em posio geral h 4 que formam um quadriltero convexo.

EUREKA! N5, 1999

33

Sociedade Brasileira de Matemtica

Pretendemos neste artigo desenvolver ferramentas bsicas a fim de que o leitor se torne apto a resolver uma vasta gama de problemas de competies matemticas que envolvam desigualdades. Tentamos tornar nossa exposio a mais auto-suficiente possvel. Em certas passagens, contudo, algum conhecimento de clculo til, ainda que no imprescindvel. Em tais ocasies indicamos ao leitor a referncia [3] como bibliografia auxiliar. Antes de discutirmos qualquer desigualdade em especial, consideremos um exemplo preliminar. Exemplo
1 2

Soluo : Veja que, para todo inteiro k > 1,


1 2 k 1 +1

Portanto, sendo 2 k a maior potncia de 2 menor ou igual a n, temos

1+ 1 2

j =3

1 j

1+ 1 2

+ 1 = 1+ 1 + 2 j
j =3

2k

j =2

2 j1 +1

Mas 2 k n < 2 k +1 k log 2 n < k + 1 1 + k > 2 do enunciado imediata. t

O exemplo acima foi colocado de propsito. Ele chama ateno para o fato de que nem sempre precisamos de algo mais que raciocnio para resolver problemas envolvendo desigualdades. A proposio abaixo mostra um pouco mais sobre como podemos derivar desigualdades interessantes com muito pouca matemtica.

EUREKA! N5, 1999

34

} y { z x aavy "w
1:
1 3

1 + + + +... +
1 4 1 n

e "i SdxSmn mhxe SSe v o g ln u r l f ln o n u y w QI"v"vvI"Qvx


Para todo
1 2

(log

inteiro
2

n +1 .

positivo

n,

prove

que

1 2 k 1 + 2

+ ... +

1 2k

>

1 2k

1 2k

+ ...+

1 2k

1 2

2 k 1 vezes

+ ... +

1 2j

>1 + 1 + 1 = 1 + k 2 2 2
j =2

1 2

(log

n + 1 , e a desigualdade

Sociedade Brasileira de Matemtica

Proposio 1 (Desigualdade do Rearranjo): Sejam a1 < a 2 < ... < a n reais positivos dados, e considere a expresso S = a1b1 + a 2 b2 + ...+ a n bn , onde ( b1 , b2 ,..., bn ) uma reordenao de ( a1 , a 2 ,..., a n ) . Ento
2 2 2 a1a n + a2 a n 1 + ...+ a n a1 S a1 + a2 + ...+ a n

Prova : Vamos primeiro tornar S a maior possvel. Como s h um nmero finito (n fatorial) de possveis reordenaes ( b1 , b2 ,..., bn ) , h uma delas que torna S mxima. Suponha ento que estamos com a reordenao ( b1 , b2 ,..., bn ) que torna S mxima. Queremos mostrar que essa reordenao exatamente ( a1 , a 2 ,..., a n ) . Para isso, basta mostrarmos que deve ser b1 < b2 < ... < bn . Suponha o contrrio, i.e., que existam ndices i < j tais que bi > b j . Trocando as posies de bi e b j (i.e., pondo

bi ao lado de a j e b j ao lado de a i ), S varia de ai b j + a j bi ( ai bi + a j b j ) = ( ai a j )( b j bi ) > 0 , quer dizer, S aumenta.

Mas isso contraria o fato de ser a reordenao ( b1 , b2 ,..., bn ) aquela que torna S mxima. Logo, b1 < b2 < ... < bn e da bi = a i para todo i, donde o maior valor
2 2 2 possvel de S a1 + a 2 + ...+ a n . O raciocnio para minimizar S anlogo. t

Passemos agora a nosso principal objetivo, o estudo de desigualdades especiais. A mais importante destas a dada pela proposio 2 abaixo. Antes, uma definio. Definio 1 : Dados n > 1 reais positivos a1 , a 2 ,..., a n , definimos

i. A mdia aritmtica de a1 , a 2 ,..., a n como o nmero ii. A mdia geomtrica de a1 , a 2 ,..., a n como o nmero

a1 + a 2 + ...+ a n n n

a1a2 ... a n .

Proposio 2 (Desigualdade Entre as Mdias Aritmtica e Geomtrica) : Dados n > 1 reais positivos a1 , a 2 ,..., a n , sua mdia aritmtica sempre maior ou igual que a mdia geomtrica, ocorrendo a igualdade se e s se a1 , a2 ,..., a n forem todos iguais. Em smbolos:
EUREKA! N5, 1999

35

Sociedade Brasileira de Matemtica a1 + a 2 + ...+ a n n

n a1a 2 ... a n

Prova : Faamos a prova em dois passos:

i. A desigualdade verdadeira quando n for uma potncia de 2, ocorrendo a


igualdade se e s se todos os nmeros forem iguais. ii. A desigualdade verdadeira em geral, e a igualdade ocorre se e s se os nmeros forem todos iguais.

i. Faamos induo sobre k 1, sendo n = 2 k : Para k = 1, temos


a1 + a 2 2

a1a 2 a1 2 a1a 2 + a 2 0 ( a1 a 2 )2 0 , o que


a1 + a 2 + ...+ a n n k

verdade. H igualdade se e s se ( a1 a 2 )2 = 0 , i.e., se e s se a1 = a 2 . Se j provamos que

n a1a2 ... a n , com igualdade se e s se

a1 = ... = a n para n = 2 , ento


( a1 +...+ a n ) + ( a n +1 +...+ a 2 n ) 2n

1 a1 +...+ a n 2 n n

a n +1 +...+ a 2 n n

a1 ...a n +

a n +1 ...a 2 n

a1... a n

a n +1... a2 n = 2 n a1... a n a n +1... a 2 n

Para haver igualdade, devemos ter igualdade em todas as passagens. Ento, deve ser
a1 +...+ a n n
n

= n a1... a n ,
n

a n +1 +...+ a 2 n n

= n a n +1... a 2 n e

a1 ...a n +

a n +1 ...a 2 n

= 2 n a1... a n a n +1... a 2 n

Para as duas primeiras igualdades, segue da hipteses de induo que deve ser a1 = ... = a n e a n +1 = ... = a 2 n A ltima igualdade ocorre se e s se n a1... a n = n a n +1... a 2 n . Estas duas condies juntas implicam que devemos ter a1 = ... = a n = a n +1 = ... = a 2 n . tambm evidente que se os nmeros forem todos iguais a igualdade ocorre.
EUREKA! N5, 1999

36

Sociedade Brasileira de Matemtica

ii. Seja agora n > 1 um natural qualquer e a1 ,a 2 ,...,a n reais positivos. Tome k
natural tal que 2 k > n. Usando a desigualdade entre as mdias para os 2 k nmeros a1 , a2 ,..., a n e 2 k n cpias de a = n a1a 2 ... a n , obtemos
a1 + ...+ a n + a + ...+ a 2k

2 a1... a n a 2

2k

a na 2

2k

a2 = a ,

e da a1 + ...+ a n + ( 2 k n )a 2 k a , ou ainda era a desigualdade desejada.

a1 + ...+ a n n

a = n a1 ... a n , que

Para haver igualdade, segue do item i que deve ser a1 = ... = a n = a = ... = a . Em particular, todos os nmeros a1 , a2 ,..., a n devem ser iguais. fcil ver que se esses nmeros forem todos iguais ento h igualdade. t Corolrio 2.1 : Dados n > 1 reais positivos a1 , a 2 ,..., a n , temos

( a1 + a2 + ...+ a n )

1 a1

1 a2

+ ...+ a1 n 2 ,
n

com igualdade se e s se a1 , a2 ,..., a n forem todos iguais. Prova : Basta aplicarmos duas vezes a proposio 2 e multiplicarmos os resultados:

a1 + a2 + ...+ a n n n a1a 2 ... a n e

1 a1

1 a2

+ ...+ a1 n n
n

1 a1a 2 ...a n
t

Exemplo 2 : (Olimpada Israelense) Sejam k e n inteiros positivos, n > 1. Prove que


1 kn

1 kn +1

+ ...+ kn +1n 1 > n

n k +1 k

Prova : Basta ver que

n 1 1 + n = kn + j j =0

n 1 j =0

1 kn + j

+1 =

n 1

j =0

kn + j +1 kn + j

> nn

n 1 j =0

kn + j +1 kn + j

=nn

k +1 k

EUREKA! N5, 1999

37

Sociedade Brasileira de Matemtica

onde aplicamos a desigualdade entre as mdias aritmtica e geomtrica uma vez. Note que, como os nmeros razo do sinal > acima. t Dentre todas as desigualdades especiais que temos oportunidade de usar em problemas de competies matemticas, a desigualdade a seguir se constitui, juntamente com a desigualdade entre as mdias aritmtica e geomtrica, num dos dois mais importantes resultados a serem guardados. Proposio 3 (Desigualdade de Cauchy): Sejam a1 , ..., a n , b1 , ..., bn reais dados, no todos nulos (n > 1). Ento
2 2 | a1b1 + ... + a n bn | a1 +... + a n 2 2 b1 +... + bn kn + j +1 kn + j

so dois a dois distintos, no h igualdade,

Alm disso, teremos a igualdade se e s se os i.e., se e s se existir um real positivo tal que

ai e os bi forem proporcionais, bi = ai para todo i.

Prova : Considere o seguinte trinmio do segundo grau

f ( x ) = ( a1 x b1 )2 + ( a 2 x b2 )2 + ...+( a n x bn )2
Desenvolvendo os parnteses, chegamos a
2 2 2 2 2 2 f ( x ) = (a1 + a2 + ...+an )x 2 2(a1b1 + a2b2 + ...+anbn )x + (b1 + b2 + ...+bn ) Por ser uma soma de quadrados, temos f ( x ) 0 para todo real x, e da deve ser 0 , i.e., 2 2 2 2 2 2 4( a1b1 + a 2 b2 + ...+ a n bn )2 4( a1 + a 2 + ...+ a n )( b1 + b2 + ...+ bn )

Cancelando o fator 4 e extraindo a raiz quadrada de ambos os membros, chegamos na desigualdade de Cauchy. Examinemos agora a igualdade. Se houver igualdade, quer dizer, se for = 0 , ento o trinmio tem uma raiz real : Mas a todos os parnteses devem ser nulos, i.e., bi = ai para todo i. Ento, havendo igualdade os a i e bi devem ser proporcionais. evidente que se eles forem proporcionais a igualdade ocorre. t Temos a seguir alguns corolrios importantes.
EUREKA! N5, 1999

( a1 b1 )2 + ( a2 b2 )2 + ...+( a n bn )2 = 0

38

Sociedade Brasileira de Matemtica

Corolrio 3.1 (Desigualdade entre as Mdias Quadrtica e Aritmtica) : Dados reais positivos a1 , ..., a n , temos se e s se a1 = ... = a n . Prova Fazendo b1 = b2 = ... = bn = 1 na desigualdade de Cauchy, obtemos
2 2 a1 + a 2 + ... + a n a1 +... + a n
2 2 2 a1 + a 2 + ...+ a n n

a1 + a 2 +..+ a n n

, com igualdade

n,

com igualdade se e s se existir um real positivo tal que ai = para todo i, quer dizer, se e s se os a i forem todos iguais. Para obter a desigualdade do enunciado, basta dividir ambos os membros da desigualdade acima por n. t Corolrio 3.2 : Se n > 1 inteiro e a1 , ..., a n , b1 , ..., bn so reais positivos, ento

com igualdade se e s se b1 = ... = bn . Prova : Faa x i =


ai bi

a1 b1

+ ...+ b n
n

)(a b +... + a b ) (a +... + a ) ,


2 1 1 n n 1 n

, yi = ai bi e aplique a desigualdade de Cauchy para os

nmeros x1 ,..., x n , y1 ,..., y n . t Exemplo 3 : (Teste de Seleo da Romnia para IMO) Sejam x1 , x 2 ,..., x n +1 reais positivos tais que x1 + x 2 + ...+ x n = x n +1 . Prove que

x1( xn+1 x1) + ...+ xn ( xn+1 xn ) xn+1( xn+1 x1) + ...+xn+1( xn+1 xn ) Prova : Para 1 j n , seja y j = x n +1 x j . Pela desigualdade de Cauchy
temos

x1 y1 + ...+ x n y n =

x1 + ...+ x n

y1 + ...+ yn =

x n +1 ( x n +1 x1 ) + ...+ ( x n +1 x n ) t

EUREKA! N5, 1999

39

Sociedade Brasileira de Matemtica

Temos mais duas desigualdades importantes. Proposio (Chebychev): Sejam a1 , ..., a n , b1 ,..., bn a1 a 2 ... a n e b1 b2 ... bn . Ento 4 reais, com

a1 + a 2 + ...+ a n n

)(

b1 + b2 + ...+ b n n

a1 b1 + a 2 b2 + ...+ a n b n , n

com igualdade se e s se a1 = a 2 = ... = a n ou b1 = b2 = ... = bn . Prova :


a1 b1 + a 2 b2 + ...+ a n bn n

a1 + a 2 + ...+ a n n

)(

b1 + b2 + ...+ bn n

)=

1 n2

[n(a1b1 + a2b2 + ...+an bn ) (a1 + a2 + ...+an )(b1 + b2 + ...+bn )] =


=
1 n2 i, j =1

(ai a j )(bi b j ) 0 ,

j que os a i , bi so igualmente ordenados. Note que a condio do enunciado suficiente para haver igualdade. Por outro lado, suponha que tenhamos a igualdade. Como ( a i a j )( bi b j ) 0 para todos i, j, devemos ter ( a i a j )( bi b j ) = 0 para todos os i, j. Suponha que existisse um ndice k com bk < bk +1 . Ento b1 ... bk < bk +1 ... bn , e de ( a i a k +1 )( bi bk +1 ) = 0 segue que ai = a k +1 para i k. Portanto a1 = a2 = ... = a k = a k +1 . De ( a i a k )( bi bk ) = 0 e i > k conclumos que a k +1 = ... = a n . Logo, todos os a i devem ser iguais. t Corolrio 4.1 : Sejam a1 , a 2 ,..., a n reais positivos e k um natural. Ento
k k k a1 + a 2 + ...+ a n n

a1 + a 2 + ...+ a n k n

),

com igualdade se e s se todos os a i forem iguais ou k {0, 1}.

EUREKA! N5, 1999

40

Sociedade Brasileira de Matemtica

Prova : Por induo, o resultado acima trivialmente verdadeiro para k = 1. Suponha k > 1 e o resultado vlido para k - 1. Como ambos os membros da desigualdade acima so invariantes por permutaes dos ndices 1, 2, ..., n, podemos supor sem perda de generalidade que a1 a 2 ... a n . Da,
k k k a1 1 a2 1 ... a n 1 ,
k k k a1 + a 2 + ...+ a n n

a1 + a 2 + ...+ a n n

da

desigualdade .

de

Chebychev

obtemos

k k k a1 1 + a 2 1 + ... + a n 1 n

Pela hiptese de induo, vem que

k k k a1 1 + a 2 1 + ... + a n 1 n

a1 + a 2 + ... + a n k 1 . n

Combinando as duas desigualdades acima segue o resultado. A condio de igualdade bvia a partir da desigualdade de Chebychev. t Por fim, vejamos algo um pouco mais sofisticado. Definio 2 : Seja I um intervalo da reta e f : I R uma funo. A funo f dita

( ) ii. Cncava se f ( )
i. Convexa se f
x+ y 2 x+ y 2

f ( x)+ f ( y) 2 f ( x )+ f ( y ) 2

para todos os x, y em I. para todos os x, y em I.

Nas aplicaes, quase sempre lidamos com funes contnuas (se voc no sabe o que vem a ser uma funo contnua, pense na mesma como uma funo cujo grfico no sofre interrupes ou saltos ao longo de seu domnio). Se f for contnua a proposio a seguir geometricamente evidente. A partir de agora, sempre que nos referirmos a uma funo estaremos sempre supondo ser seu domnio um intervalo da reta e a funo contnua nesse intervalo.

i. f convexa se e s se, para todos x, y em I e todo t [0, 1] tivermos

f ((1 t ) x + ty ) (1 t ) f ( x ) + tf ( y ) ii. f convexa se e s se, para todos x, y em I e todo t [0,1] tivermos f ((1 t ) x + ty ) (1 t ) f ( x ) + tf ( y )
Faamos o caso em que f convexa. O outro caso anlogo. Observe que

(1 t ) x + ty [ x , y ] I , e que, no trapzio abaixo, (1 t ) f ( x ) + tf ( y )


41

EUREKA! N5, 1999

Proposio 5 : Sejam f : I

uma funo. Ento:

Sociedade Brasileira de Matemtica

o comprimento da paralela s bases pelo ponto (1 t ) x + ty

f (z)

z = ( 1 t ) x + ty

1 Prova : Suponha primeiro que f satisfaz a condio do item i. Tomando t = 2 conclumos que f convexa. Reciprocamente, suponha que f seja convexa. Dados x, y em I, temos

( )
x +3y 4

x+ y + y = f 22

( )+ f ( y )
x+ y 2

f ( x )+ f ( y ) + 2

f ( y)

1 4

f (x) +

3 4

f ( y ) Tro

cando x por y e raciocinando como acima segue que, para


3 t 0, 1 , 1 , 4 ,1 , 4 2

f ((1 t ) x + ty ) (1 t ) f ( x ) + tf ( y ) (*)
Por induo sobre k inteiro positivo podemos concluir de maneira anloga que (*) continua vlida para todo t da forma m , onde 0 m 2 k inteiro. Como todo k
2

real em [0,1] limite de uma seqncia de nmeros dessa forma, segue que (*) continua vlida para todo t em [0, 1]. t As afirmaes a seguir so agora bastante evidentes, e vo ser nosso principal guia quando quisermos decidir se uma dada funo ou no convexa ou cncava.

EUREKA! N5, 1999

42

Sociedade Brasileira de Matemtica

i. Se para todos a < b em I o grfico de f entre as retas x = a e x = b estiver abaixo da reta que passa por ( a, f ( a )), ( b, f ( b )) , ento f convexa, e
reciprocamente.

ii. Se para todos a < b em I o grfico de f entre as retas x = a e x = b estiver acima da reta que passa por ( a, f ( a )), ( b, f ( b )) , ento f cncava, e
reciprocamente. A figura abaixo para se convencer da validez desse resultado no caso em que f convexa.

y = f(x)

(c, e)

(c, d)

f ( a ) + f ( b) a+b Nele, c = 2 . evidente que d = f ( c ) = f a + b e e = . Da, 2 2

( a + b ) f (a )+ f ( b) e f convexa. 2 2

( )

Para ns, a importncia dessa discusso sobre funes cncavas e convexas reside na seguinte: Proposio 6 (Desigualdade de Jensen): Sejam I um intervalo da reta e f : I uma funo. Se x1 ,..., x n I e t1 ,..., t n [0,1] , com t1 + ... + t n = 1 , ento t1 x1 + ... + t n x n I e

EUREKA! N5, 1999

43

Sociedade Brasileira de Matemtica

i. f convexa f t1 x1 + ... + t n x n t1 f x1 + ... + t n f x n

( )

( )

ii. f cncava f ( t1 x1 + ... + t n x n ) t1 f ( x1 ) + ... + t n f ( x n )


Prova : Faamos a prova, por induo sobre n > 1, para o caso em que f convexa, sendo o outro caso anlogo. O caso n = 2 nossa hiptese. Suponha agora que para um certo n > 1 e todos x1 ,..., x n I e t1 ,..., t n [0,1] , com t1 + ... + t n = 1 , tenhamos t1 x1 +...+ t n x n I e f t1 x1 + ... + t n x n t1 f x1 + ... + t n f x n Considere agora x1 ,..., x n +1 I e t1 ,..., t n +1 [0,1] , com t1 + ... + t n +1 = 1 . Se t n +1 = 1 ento t1 = ... = t n = 0 e nada h a fazer. Seno, defina

( )

( )

y=
tj

t1 x1 + ... + t n x n 1 t n +1

= s1 x1 + ... + sn x n ,

onde s j = 1 t . Como s1 + ...+ sn = 1 , segue da hiptese de induo que n +1 y I . Da,

f (t1 x1 + ... + t n +1x n +1 ) = f (1 t n +1 )

t1 x1 + ... + t n x n 1 t n +1

)+ t

n +1 x n +1

= f (1 t n +1 ) y + t n +1 x n +1 (1 t n +1 ) f ( y ) + t n +1 f ( x n +1 ) ,
j que f convexa. Aplicando a outra metade da hiptese de induo, obtemos

f ( y) = f ( s1x1 +... + sn xn ) s1 f ( x1) +...+sn f ( xn ) = 1t1


t

n+1

f ( x1) +...+ 1tn


t

n+1

f ( xn )

Juntando essas duas desigualdades, obtemos a desigualdade de Jensen. t Vejamos agora um exemplo de como aplicar a desigualdade de Jensen. Exemplo 5: (Olimpada Balcnica) Sejam n > 1 e a1 ,..., a n reais positivos com soma
a1 1+ b1

1.

Para
an + ...+ 1+ b n

cada

i, .

seja

bi =

j =1, j 1

aj .

Prove

que

a2 1+ b2

n 2 n 1

EUREKA! N5, 1999

44

Sociedade Brasileira de Matemtica

Prova : Veja que b j = 1 + 1 a j = 2 a j , e ento temos de provar que


a1 2 a1

a2 2 a2

+ ...+ 2 n a
n

n 2 n 1

2 ver isso, basta escrever f ( x ) = 2 x 1 , e esboar o grfico de f, como abaixo.

Portanto, temos pela desigualdade de Jensen que

f (a j )
n j =1

n f1 n

Exemplo 6 : Utilizando a funo logaritmo natural e a desigualdade de Jensen, vamos dar outra prova da desigualdade entre as mdias aritmtica e geomtrica. Prova : Sejam a1 ,..., a n reais positivos. Existem reais x1 ,..., x n tais que

a j = ln x j para todo j. Como f ( x ) = ln x uma funo cncava, vem que


f ( x1 ) + ... + f ( x n ) n

ou seja,

ln n x1 ... x n

EUREKA! N5, 1999

Afirmamos que a funo f : ( ,2 )

x dada por f ( x ) = 2 x convexa. Para

a j = nf ( 1 ) = n
n j =1

n 2 n 1 t

( ln(
f

x1 + ... + x n n

),

x1 + ...+ x n n

45

Sociedade Brasileira de Matemtica

Como f crescente, chegamos ao resultado desejado. t Vale notar, para quem tem familiaridade com derivadas, que possvel provar que, se f ' ' existe, ento f convexa se e s se f ' '( x ) 0 para todo x em I e f cncava se e s se f ' ' ( x ) 0 para todo x em I. Finalizamos este artigo com alguns problemas onde procuramos oferecer oportunidade de exercitar o que foi aprendido no texto, alm de desenvolver um pouco mais a teoria. bom salientar que em alguns deles mais de uma desigualdade pode ser usada. Problemas onde no precisamos das desigualdades acima, mas de criatividade 1. (Olimpada Americana): Prove que, para todos a, b, c reais positivos, temos
1 a 3 + b 3 + abc

1 b 3 + c 3 + abc

1 c 3 + a 3 + abc

1 abc

2. (Desigualdade de Abel): Sejam a1 , ..., a n , b1 ,..., bn reais dados (n > 1), com a1 a 2 ... a n 0 . Se M e m so respectivamente o mximo e o mnimo do conjunto {b1 , b1 + b2 ,..., b1 + ... + bn } , prove que ma1 a1b1 + a 2 b2 + ...+ a n bn Ma1 ,
com igualdade se e s se a1 = a 2 = ... = a n .

3. (Teste de Seleo de Singapura para IMO): Prove que, quaisquer que


sejam os reais positivos a, b e c, tem-se

c a 2 ab + b 2 + a b 2 bc + c 2 b a 2 + ac + c 2 . 4. (Banco IMO): Sejam n > 1 um inteiro dado. Determine o maior valor


possvel da soma
1 i < j n

x i x j x i + x j sobre todas as n-uplas x1 ,..., x n de reais

no negativos cuja soma 1.

EUREKA! N5, 1999

46

Sociedade Brasileira de Matemtica

Desigualdade entre as mdias aritmtica e geomtrica 5. (Torneio das Cidades) Sejam a, b e c reais positivos dados. Prove que
a3 a 2 + ab + b 2

b3 b 2 + bc + c 2

c3 c 2 + ca + a 2

a + b+ c 3

6. Dados os reais positivos a1 , a 2 , a3 , b1 , b2 , b3 , prove que


3

(a1 + b1 )( a2 + b2 )(a3 + b3 ) 3 a1a2a3

+ 3 b1b2 b3

Desigualdades de Chebychev, Jensen e Cauchy

7. (Olimpada Turca) Sejam n > 1 inteiro e x1 ,..., x n reais positivos tais


que

xi2 = 1 .
i =1

Determine

o .

valor

mnimo

de

5 x1 x 2 + x 3 + ...+ x n

5 x2 x1 + x 3 + ...+ x n

+ ...+ x

5 xn 1 + x 2 + ...+ x n 1

8. (Olimpada Romena): Seja h a altura de um tetraedro regular e h1 , h2 , h3 , h4 as distncias desde um ponto P em seu interior s faces do
tetraedro. Prove que
h h1 h + h1

h h2 h + h2

h h3 h + h3

h h4 h + h4

12 5

9. (Banco IMO) : Sejam a, b, c, d reais no negativos tais que ab + bc + cd + da = 1 . Prove que


a3 b+c+ d

b3 c+d +a

c3 d +a+b

d3 a + b+ c

1 3

10. Sejam n > 1 e x1 , x 2 ,..., x n reais positivos cuja soma 1. Prove que
x1 1 x1

+ ...+

xn 1 x n

n n 1

x1 + ...+ x n n 1

11. Sejam x1 , x 2 ,..., x n reais pertencentes ao intervalo [0, 1] e tais que x1 + x 2 + ... + x n = a , com 0 < a < 1 . Prove que
EUREKA! N5, 1999

47

Sociedade Brasileira de Matemtica 1 a 1+ a

1 x1 1 x 2 1+ x1 1+ x 2

... 1+ x n
n

1 x

( n a )n n+a

Outras Desigualdades

12. (Desigualdade de Bernoulli): Sejam n um inteiro positivo e x 1 um n real. Prove que (1 + x ) 1 + nx . 13. (Desigualdade entre as Mdias de Potncias): Sejam < reais positivos. Ento, para todos a1 , a 2 ,..., a n reais positivos, vale
a1 + a 2 + ... + a n a1 + a 2 + ... + a n , n n com igualdade se e s se a1 , a2 ,..., a n forem todos iguais. 1 1

14. (Desigualdade de Giroux): Sejam I1 ,..., I n intervalos fechados da reta


e considere a funo f :I 1 ...I n de n variveis, convexa separadamente em relao a cada varivel. Ento, se I j = [a j , b j ] , f atinge seu valor mximo em um dos 2 n pontos da forma ( c1 ,..., cn ) , com ci = a i ou bi para cada i. Prove isto e enuncie um resultado anlogo desigualdade de Giroux para uma funo de n variveis f, cncava separadamente em relao a cada varivel. 15. (Olimpada Blgara): Sejam n 2 um inteiro e 0 xi 1 para 1 i n. Prove que

( x1 + x 2 +...+ x n ) ( x1 x 2 + x 2 x3 +...+ x n 1 x n + x n x1 ) n 2
16. Os trs itens a seguir visam derivar uma desigualdade difcil. i. (Desigualdade de Young): Sejam p e q reais positivos tais que 1 + 1 = 1 . p q Prove que

xy

xp p

ii. (Desigualdade de Holder): Sejam a1 , a 2 ,..., a n , b1 , b2 ,..., bn reais


EUREKA! N5, 1999

yq q

, x, y 0

48

Sociedade Brasileira de Matemtica

positivos e p, q reais positivos tais que 1 + 1 = 1 . Prove que p q

n a i bi a ip i =1 i =1
n

1/ p

n q bi i =1

1/ q

iii. (Desigualdade de Minkowsky): Sejam a1 , a2 ,..., a n , b1 , b2 ,..., bn reais


positivos e p um real maior que 1. Prove que
p

(a1 + b1 ) p +...+(a n + bn ) p

a1p +...+ a np + p b1p +...+ bnp

Sugesto: Faa ci = (a i + bi ) p 1 e use o tem anterior para (ai) e (ci) e para (bi) e (ci).

Referncias: [1] Shklarsky, D. O., Chentzov, N. N. e Yaglom, I. M. The USSR Olympiad Problem Book. Dover. Toronto, 1993. [2] Rousseau, C. e Lozansky, E. Winning Solutions. Springer-Verlag, 1996. [3] Lima, Elon L., Anlise Real, vol. 1. IMPA, 1995.

EUREKA! N5, 1999

49

Sociedade Brasileira de Matemtica

Determine todos os inteiros positivos n > 1 para os quais existem um inteiro positivo k inteiros x1, x2, xn dois a dois distintos tais que o conjunto {xi + x j ; 1 i < j n} Seja um conjunto de potncias distintas de k. Observao: x1, x2, xn no so necessariamente positivos. Sejam a, b, c, d nmeros reais tais que a = 4 5 a , b = 4 + 5 b , c = 4 5 + c e d = 4 + 5 + d . Calcule abcd.

Considere um tringulo ABC e BD e CE as bissetrizes dos ngulos B e C, respectivamente ( D AC e E AB). A circunferncia circunscrita a ABC tem centro O e a circunferncia ex-inscrita tangente ao lado BC tem centro Ia. Estas duas circunferncias intersectam-se nos pontos P e Q. (i) Mostre que PQ paralelo a DE. (ii) Prove que IaO perpendicular a DE.

o conjunto dos racionais extritamente positivos e o conjunto dos Sejam + e inteiros. Determine todas as funes f : + satisfazendo as seguintes condies: (1) f (1999) = 1 + (2) f(ab) = f (a) + f(b), para quaisquer a, b . + (3) f(a + b) min{f(a), f(b)}, para quaisquer a, b . A notao min{x, y} denota o menor dentre os inteiros x e y. Por exemplo, min{3, 4} = 4 e min{3, 3} = 3. (i) (ii) Se m, n so inteiros positivos tais que 2n 1 divide m2 + 9, prove que n uma potncia de 2. Se n uma potncia de 2, prove que existe um inteiro positivo m tal que 2n 1 divide m2 + 9.

EUREKA! N5, 1999

p i h g f d c IDa7eeab @ IhI  w y w u r u xvvxxvIxvIw s w VQr xxQVQr @ y rw y u yw s w


50

p i h g f d c IDa7eeab p i h g f d c IDa7eeab p i h g f d c IDa7eeab IDa7eea

Sociedade Brasileira de Matemtica

21)

a) Encontre todas as solues inteiras da equao b) Encontre todas as solues inteiras da equao
3

Soluo de Carlos Alberto da Silva Victor. a) Vamos separar em 2 etapas: i) Tomando a = k2 ; b = t2 teremos c = (k + t)2 consequentemente (k2, t2, (k + t)2) soluo da equao para todo k, t . Suponha que a no seja um quadrado perfeito. Neste caso, a pode ser escrito na forma a = k2s, onde s um produto de primos distintos. Como c = a + b + 2 ab , devemos ter b = t2 . s (t ) j que ab dever ser um quadrado perfeito (observe que se tomarmos s com exponente mpar diferente de 1, podemos inclu-lo em t2); Da: c = a + b + 2 ab = k 2 s + t 2 s + 2kts c = s (k 2 + t 2 + 2kt ) c = s. (k + t ) 2 e neste caso (k 2 s, t 2 s, s (k + t ) 2 ) soluo da equao onde k , s, t , . Nota: observe que o tem (ii) representa a situao genrica e inclui as solues de (i), fazendo s = 1. b) i) a + 3 b = 3 c , logo c = a + b + 3(3 a 2 b + 3 ab 2 ). Vamos separar tambm em 3 etapas: Tomando a = k3; b = t3 teremos c = (k + t)3 com k, t e
3

ii)

consequentemente (k 3 , t 3 , (k + t ) 3 ) soluo da equao. ii)

Suponha que a no seja um cubo perfeito. Observe que a pode ser escrito na forma: a = t 3 . . 2 onde e so produtos de primos distintos. J que c = a + b + 3 (3 a 2 b + 3 ab2 ), devemos tomar

EUREKA! N5, 1999

51

Iv"xvxvII"v jj jjjSjjj jj ajjjDj jjjjDj ja


a + b = c. a + 3 b = 3 c.

B
Sociedade Brasileira de Matemtica

b = t 3 . . 2 pois a 2 = k 6 . 2 4 (de fato,

a 2 b + 3 ab 2 racional, e,

elevando ao quadrado, obtemos que a 3 ab 2 + 2ab + b3 a 2 b (e logo


a 3 ab 2 + b3 a 2 b ) tambm racional, donde, assumindo a b,
3

ab 2 e

a 2 b so racionais e inteiros). da:

c = k 3 . . 2 + t 3 . 2 + 3(k 2 t . 2 + k . t 2 . . 2 ) c = . 2 (k 3 + t 3 + 3k 2 t + 3kt 2 ) Logo (k 3 . . 2 , t 3 . 2 , . 2 (k + t ) 3 ) soluo da equao dada. (Novamente, as solues em (i) so obtidas de (ii) com = = 1. 22) Sejam , , , os ngulos de um quadriltero, nessa ordem. Prove que esse quadriltero inscritvel se, e somente se, a relao + + + = 2 ocorre.

Soluo de Andr Luiz Arruda Marques.


A

1a. parte:

Hiptese: O quadriltero inscritvel. Tese: vlida a relao + + + = 2

BCD + BAD = 360 Sabe-se que : BCD = 2 2 + 2 = 360 = 2 + = (1) BAD = 2

EUREKA! N5, 1999

52

z O N H M C x y

Sociedade Brasileira de Matemtica


ABC + ADC = 360 ABC = 2 2 + 2 = 360 = 2 + = (2) ADC = 2

de (1) e (2) ( + )( + ) = 2 + + + = 2 (c.q.d)

2a. parte:

Hiptese: vlida a relao + + + = 2 Tese: O quadriltero inscritvel

Tm-se a relao: + + + = 2 Fatorando vem: ( + )( + ) = 2 = Sabe-se que: + + + = 360 = 2

Seja: Logo:

23)

Seja ABC um tringulo qualquer de ortocentro H e sejam ha, hb, hc os comprimentos das alturas relativas a A, B, C respectivamente. Prove que

Soluo de Maria Ivete Caetano Rodrigues.

EUREKA! N5, 1999

53

Sociedade Brasileira de Matemtica

Notaes:

Temos que :

retngulo

I II

retngulo substituindo II em I, temos (1)

Analogamente temos: (3) somando (1), (2) e (3), obtemos:

(2) e

(c.q.d.) 25) Durante o ano de 1998, uma pequena livraria, que abria nos sete dias da semana, vendeu no mnimo um livro por dia e um total de 600 livros no ano todo. Diga, justificando, se existiu, obrigatoriamente, um perodo de dias consecutivos onde foram vendidos exatamente 129 livros.

Soluo de Marcelo Rufino de Oliveira. Seja ai o total acumulado de livros vendidos at o final do i-simo dia. Por exemplo: a5 = total vendidos at o quinto dia a35 a31 = total de livros vendidos entre os dias 35 e 32 (inclusive). Ento: a1 < a2 < a3 < < a364 < a365 = 600 (1)
EUREKA! N5, 1999

54

Sociedade Brasileira de Matemtica

Resta agora analisar se existem ai, aj (i, j menores que 365, j > i) tais que aj ai = 129 Somemos agora a cada termo de (1) o valor 129: a1 + 129 < a2 + 129 < a3 + 129 < < a364 + 129 < a365 + 129 = 729 Chamemos estes termos de bi (bi = ai + 129): b1 < b2 < b3 < < b364 < b365 = 729 Temos ento 730 termos, 365 termos ai e 365 termos bi, com ai aj (i j) e bp bk (p k). Notemos que estes 730 termos naturais esto entre 1 e 729, ou seja, existem dois valores iguais (princpios das casa dos pombos ou Princpio das Gavetas de Dirichet) entre estes 730 termos. Como cada ai distinto e cada bi distinto, ento existe um am que igual a um bn: am = bn => am = an + 129 => am an = 129 Que prova que existe um perodo de dias consecutivos (m n dias) onde foram vendidos exatamente 129 livros.
PROBLEMA No. 9 DO VISITANTE MATEMTICO (Revista EUREKA! No. 2)

Um vaso de vinho est suspenso sobre outro, de igual capacidade (digamos 1 litro), cheio de gua. Por um orifcio no fundo de cada vaso, o vinho escorre sobre o vaso de gua e a mistura se esvai na mesma velocidade. Quando o vaso de vinho estiver vazio, qual o volume de gua no vaso inferior? Soluo de Carlos Frederico Borges Palmeira. Aqui est uma soluo, que usa apenas a noo de limite e o fato que

Vamos discretizar o problema, supondo que primeiro deixamos passar uma frao
1

de um vaso para o outro, a gua e o vinho se misturam, e depois retiramos do novo volume do segundo vaso. Aps n passos o primeiro vaso estar vazio.

Seja

a quantidade de vinho no segundo vaso aps o k-simo passo.


1 1 ) n ( v ( k ) + n ), 1 ) = ( 1 -

Temos

sendo v (0) = 0.

EUREKA! N5, 1999

55

Q1 1'~ dd{d~1d~ 1 ~ | } ~ d|d| T|} d|{1d~H|11d 1| 1}|HHuQ~dy d~ "1 T~~ |d1{'| "1 1'~~ 1~){~ 1{1|~ '~Td~ y dd ~ d Td|d1''d 11Q|| 'd{ ddd{ Ty ~ Q~ } ~ } ~ g } ) ~1'{| 11z~ |1~T'{' T '|} }1 |'~ T1 t"| y "'| 1 1~'H}~~ gy 1 1Td~Q1 T~| )|u1| } T)1 d~1|~)1d' 'd{|1|} u'|d1~1 ~T|1{ 'd|  "| 1~u d{ |'|d{ ~1~1 |d')} |''d{ | T}y | ~ }1{ ~ g z
No da No. 4, pgina 21, sobre um polinmio que assume apenas valores negativos ou primos, h um erro tipogrfico na terceira linha da expresso do polinmio: onde est "[ e3 . (e + 2) . (a +1)2 + " leia-se "[e3 . (e + 2) . (a + 1) 2 + ".

xw rt q om j ihf d )!vug!sr Tlpnlkge ")

x v!)dEh !wD1fY!!@ "hD $P$U $h!U1bB"v`$a Y)UihS e1X'f@ HxWIv $hV f"5"!wIU P p HGFff gE yv t!w!RQv9!@f P uHGtFp "!@hdsE e!Dr19Cq 1pB!h$iA @$g9 "e  xT q" f c S I 81705!413!21)''&"$"! 9 6 0 ( % # 

EUREKA! N5, 1999

resta no segundo vaso quando o primeiro fica vazio.

limite quando n tende ao infinito, obtemos

temos apenas o segundo termo, que fica

Segue que

Agora,

equao

de

Sociedade Brasileira de Matemtica

(nada alm de progresses geomtricas aqui).

diferenas

56

Esta a frao de vinho que e como v (0) = 0, , e passando ao tem soluo

Sociedade Brasileira de Matemtica

 u $p du  u pp1 $Bu p  d" $


.

26)

Sejam as funes fo (x) = xn e fi (x) = fi 1(x + 1) fi 1(x) onde x, n e i so inteiros positivos. Prove que, para todo x, fn(x) = n! O tringulo equiltero ABC possui um ponto interno P tal que em P chegam trs segmentos de reta (PA, PB, PC) onde PA = 6, PB = 8 e PC = 7. Com esses dados descubra qual a rea do tringulo.

27)

28)

Seja n 2 um nmero inteiro. Prove que n e n + 2 so ambos primos se e somente se inteiro.

29)

Seja n > 1 um nmero inteiro. Existem n lmpadas L0, L1, ... , Ln1 colocadas em um crculo. Cada lmpada est ACESA ou APAGADA. Uma seqncia de passos S0, S1, ... , Si, ... executada. O passo Sj afeta apenas o estado da lmpada Lj (deixando o estado de todas as outras inalterado) da seguinte forma: Se Lj1 est ACESA, Sj muda o estado de Lj de ACESA para APAGADA, ou de APAGADA para ACESA; Se Lj1 est APAGADA, Sj deixa o estado de Lj inalterado. As lmpadas so rotuladas mod n, ou seja,

EUREKA! N5, 1999

pY
57

Sociedade Brasileira de Matemtica

L 1 = Ln 1, L0 = Ln, L1 = Ln + 1, etc. Inicialmente todas as lmpadas esto ACESAS. Mostre que: a. Existe um inteiro positivo M(n) tal que depois de M(n) passos todas as lmpadas esto ACESAS de novo; Se n da forma 2k ento todas as lmpadas esto ACESAS depois de n2 1 passos; Se n tem a forma 2k + 1 ento todas as lmpadas esto ACESAS depois de n2 n + 1 passos.

b. c.

O problema 6 da Olimpada Internacional de Matemtica de 1994 pedia que fosse mostrada a existncia de um conjunto A de inteiros positivos com a seguinte propriedade: para todo conjunto infinito de nmeros primos S existem um inteiro positivo k 2 e dois inteiros positivos m A e n A, cada um dos quais um produto de k elementos distintos de S. Os leitores que enviarem solues corretas (at o dia 15 de novembro de 1999) para o seguinte problema concorrero a um exemplar do livro "10 Olimpadas Iberoamericanas de Matemtica".

Prove que no problema acima k no pode ser escolhido independentemente do conjunto S. Mais precisamente: Prove que para qualquer conjunto de inteiros positivos A e para todo inteiro positivo k existe um conjunto infinito de nmeros primos S tal que o produto de k elementos distintos de S est sempre em A ou o produto de k elementos distintos de S nunca pertence a A.

Nota: Os problemas 26 e 27 foram propostos por Christian Lyoiti Watanabe e Roberto Gomides respectivamente.
EUREKA! N5, 1999


58

"       #! 

Sociedade Brasileira de Matemtica

Se voc fantico por Matemtica e deseja receber na sua casa a revista , faa o seu pedido escrevendo para: Secretaria da Olimpada Brasileira de Matemtica, Estrada Dona Castorina, 110 Jardim Botnico - Rio de Janeiro, RJ - CEP: 22460-320. O custo de cada exemplar avulso ou atrasado de R$4,00. Voc pode fazer uma assinatura anual o que dar direito a receber as publicaes do ano (mnimo 3 exemplares) por um valor promocional de R$10,00. Para isso, faa um depsito no Banco do Brasil - Agncia 0598-3 Conta N52208-2 em nome do professor Eduardo Wagner. Envie-nos a fotocopia do depsito e faa referncia aos nmeros desejados. No esquea de colocar seu nome e endereo completos e ns remeteremos a(s) revista(s) pelo correio. Pedidos podem ser feitos tambm por e-mail e comprovantes de depsito podero ser enviados pelo fax. Se tiver qualquer dvida entre em contato conosco. Telefone: 021-5295077 / Fax: 021-5295023 e-mail: obm@impa.br Home-Page: http//www.obm.org.br/

A RPM uma publicao da SBM destinada aos professores de Matemtica do ensino mdio, que pretende ser um veculo de circulao e intercmbio de idias atravs de seus artigos e sees.
Revista do Professor de Matemtica Caixa Postal 66281 CEP 05315-970 So Paulo SP e-mail: rpm@ime.usp.br Fone/Fax: (11) 818-6124

Estamos comemorando o nmero 40 da RPM e 17 anos de publicao sem interrupo, com capa nova e com renovado estmulo para continuar auxiliando o professor de Matemtica.

EUREKA! N5, 1999

59

1 0 2 

) % & ('&k $
A @ 9 3 6 4 B58753

5mp}mt5ytyx 5my E5tmSqSy m t55m57tyyq2mS55 y 5m25tmSqSS Se5m 5p }mtxt y 5mxmyyttm5Sm55y5msmmS mym5m }5y }my q y5 }5S5yw v u t mSsp5mqh g f SeSf z w ~ x| { z x o p r q p on l k j i d qB7

nml5$i$Qfd$&&ui $du 6 y 3 k jjhghge y Axvu&dq i&dFD aAA9WV 5SQFHFD "AA987 65310'&$"  IE w G h t G s r p h g G f e G c bE `YX U T R P I G E CB@ ) 4 2( )( # % # !     

c p8p82u t8qf8u 8Xe fc xpXSU T Q Y g s rY h g i Y w y c Y r s ` i r c ` i d c w c Y g i ` c V g i Y c d b a `Y W V

c uY r s ` i r c ` i d c w c Y g i ` c V g i Y c d b a Y W V v 8pxqf8u e fc ` XSU T SR

c Y r s ` i r c ` i d c gY i Y h c g e c d b a Y W V R u t8qf8pW 8fc ` XSU T SQ

P $ E

TI GE D H F ' C

EUREKA! N5, 1999

Primeira Fase 12 de junho (sbado) Segunda Fase 28 de agosto (sbado) Terceira Fase 23 de outubro (sbado) e 24 de outubro (domingo)

Sociedade Brasileira de Matemtica

12 a 19 de setembro La Habana, Cuba.

16 de setembro

60

Sociedade Brasileira de Matemtica

Amarisio da Silva Arajo Alberto Hassen Raad Antnio C. Rodrigues Monteiro Angela Camargo Benedito T. Vasconcelos Freire Claudio Arconcher lio Mega Florncio F. Guimares F. Francisco Dutenhefner Gisele de A. Prateado G. Ivanilde H. Fernandes Saad Joo B. de Melo Neto Joo F. Melo Libonati Jorge Ferreira Jos Carlos Pinto Leivas Jos Clovis Saraiba Jos Luis Rosas Pinho Jos Paulo Carneiro Jos Vieira Alves Leonardo Matteo D'orio Licio Hernandes Bezerra Luzinalva M. de Amorim Marco Polo Marcondes Cavalcante Frana Pablo Rodrigo Ganassim Paulo H. Cruz Neiva de L. Jr. Reinaldo Gen Ichiro Arakaki Ricardo Amorim Roberto Vizeu Barros Sergio Claudio Ramos Seme Gebara Neto Tadeu Ferreira Gomes Toms Menndez Rodrigues Valdenberg Arajo da Silva Wagner Pereira Lopes Waldemar M. Canalli

EUREKA! N5, 1999

2f fxYf&e $ P ' P C F ' F


(UFV) Viosa - MG (UFJF) Juiz de Fora - MG (UFPE) Recife - PE (Centro de Educao de Adultos - CEA) Blumenau - SC (UFRN) Natal - RN (Col. Leonardo da Vinci) Jundia - SP (Col. ETAPA) So Paulo - SP (UFES) Vitria - ES (UFMG) Belo Horizonte - MG (UFGO) Goinia - GO (U. Catlica Dom Bosco) Campo Grande - MS (UFPI) Teresina - PI (Grupo Educ. IDEAL) Belm - PA (UEM) Maring - PR (UFRG) Rio Grande - RS (UFMA) So Luis - MA (UFSC) Florianpolis - SC (USU) Rio de Janeiro - RJ (UFPB) Campina Grande - PB (Sistema Titular de Ensino)Belm - PA (UFSC) Florianpolis - SC (UFBA) Salvador - BA (Colgio Singular) Santo Andr - SP (UF Cear) Fortaleza - CE (L. Albert Einstein) Piracicaba - SP (Esc. Tec.Everardo Passos) SJ dos Campos - SP (INPE) SJ dos Campos - SP (Centro Educ. Logos) Nova Iguau - RJ (Colgio ACAE) Volta Redonda - RJ (IM-UFRGS) Porto Alegre - RS (UFMG) Belo Horizonte - MG (U. do Estado da Bahia) Juazeiro - BA (U. Federal de Rondonia) Porto Velho - RO (U. Federal de Sergipe) So Cristovo - SE (Esc. Tec. Fed. de Gois) Jata - GO (P.M. S. Joo de Meriti) S. Joo de Meriti - RJ 61

Sociedade Brasileira de Matemtica

EUREKA! N5, 1999

62

S-ar putea să vă placă și