Sei sulla pagina 1di 61

fVg rVg qVo oVo o Vg f Rg F RF R'

w v  ! xs @ $3 #A 2$# 6 @ RvRVu%t"1CmnC1"4CR7C7"$  C% &&7%C7"7%@ !A !x$ $6A6$  # 3  $3   29 $ R"7"7`"p"3  # 3 $3  29$3 6 y R""7`"1C""C1"  2 6 $6$  6 53 ! 67Ay`n%CmCl7C "`2 1 eWkeTi I HWa RVRVjBRPRRV"h  7% 7y &%7" !A !@A f y eW SI G WdI YH VE SU V"4V"1VI V  !CA"7$"7B7&%7" @ $@ $ 6 y WRWPR"`TRPRTRVT"I `V HW Y H X S XI  6 #  3 # x 2w$ %7$&CR37y%C4C9 v u rqi ts70ph

g Rf F '

XTdb SI Y T XW U SQ H RReca R"`%VEVT RRPI"G  !# 2    A @ A # ! 6 53 !  @ C1D`"7#1`26 !7$&C1A 87 "`2 1R! 0( X db SI Y T XW U SQ H RTReca R"`%VEVT RRPI"G 7@ !# DE"C#142B6A7@ !"4&9 !87 "42 10( 2     $ 2 $ 6 53 ! ) $ !   &%# "   

Sociedade Brasileira de Matemtica

Pases de grande tradio nas olimpadas de Matemtica tm o seu excelente rendimento em muito baseado na existncia de revistas de divulgao para estudantes pr-universitrios. Apenas citando alguns exemplos, a hngara KMaL, a russa (agora tambm americana) Kvant (Quantum), a romena Gazeta Matematica e a canadense (lida por alguns, poucos, brasileiros) Crux Mathematicorum desenvolvem em seus pases o ambiente ideal para o aparecimento e desenvolvimento de jovens talentosos. Ns queremos que a Eureka! tenha o mesmo sucesso que essas revistas. Para isso estamos tentando trazer artigos cada vez mais interessantes e elucidativos, e problemas cada vez mais bonitos e desafiantes para todos os leitores da Eureka! (inclusive os dos Nveis 1 e 2), porm tal sucesso no depende exclusivamente de ns. fundamental a participao (muito) ativa de todos os leitores. Ficamos bastante contentes com a repercusso da seo "Olimpadas ao Redor do Mundo", com vrios leitores enviando resolues dos problemas propostos. Mas queremos que todas as outras sees e artigos tenham a mesma repercusso. Por exemplo, vrios artigos trazem problemas propostos porm raramente recebemos resoluo desses problemas. Ficaremos contentes em receb-las e poderemos saber se o pblico-alvo os entendeu. Assim, faa-nos saber todo o estudo(!) e a diverso(!!) que cada uma das Eureka! proporcionou (no se esquea dos nmeros antigos).

Sero publicados na revistas Eureka! artigos relevantes na preparao dos estudantes para a Olimpada Brasileira de Matemtica em seus diversos nveis e para vrias olimpadas de carter internacional das quais o Brasil participa. Como para a grande maioria dos tpicos e tcnicas explorados nas olimpadas no existem publicaes expositrias adequadas em lngua portuguesa, nosso objetivo inicial abord-los todos em artigos auto-suficientes. Assim, daremos preferncia queles que tratem de assuntos ainda no explorados nos nmeros anteriores da Eureka!. Como a deficincia em artigos adequados para estudantes do Ensino Fundamental (Nveis 1 e 2 da OBM) ainda mais grave, estes tero primazia na sua publicao. Vale a pena observar que, quando um tema importante para os estudantes de diversos nveis, ele deve aparecer em artigos adequados para cada um desses nveis, separadamente. recomendvel que os artigos tragam alguns problemas resolvidos detalhadamente e referncias que o complementem ou aprofundem. Os Editores.
EUREKA! N9, 2000

7%|&77|%&7

y ~ } z y p |{ x
2

Sociedade Brasileira de Matemtica

A XV Olimpada Iberoamericana de Matemtica foi realizada em Caracas, Venezuela no perodo de 16 a 24 de setembro de 2000. A equipe brasileira foi liderada pelos professores Ralph Costa Teixeira (Rio de Janeiro RJ) e Eduardo Tengan (So Paulo - SP). Nesta oportunidade a equipe brasileira obteve a maior pontuao entre os pases participantes alm da Copa Puerto Rico, prmio entregue ao pas com maior progresso nos ltimos dois anos na competio.

Constri-se um polgono regular de n lados ( n 3 ) e enumeram-se os vrtices de 1 a n. Traam-se todas as diagonais do polgono. Demonstrar que se n mpar, possvel associar a cada lado e a cada diagonal um nmero inteiro de 1 a n, tal que se verifiquem simultaneamente as seguintes condies: 1. O nmero associado a cada lado ou diagonal seja diferente dos nmeros dos seus vrtices. 2. Para cada vrtice, todos os lados e diagonais que nele se intersectem tenham nmeros diferentes.

Existe um jeito simples de pintar os lados e as diagonais do polgono regular. Escolhe-se um ponto do polgono regular com o nmero "i" associado este ponto, que chamaremos de Pi. Seja O o centro da circunferncia circunscrita ao polgono regular.

EUREKA! N9, 2000

m&mcRC`"cct&&& x lp x  x x  x } x  x |  } } ~ ~ } z
3

&| &| &| 7

3 y3  )A ) !  $9 2yw 6 y "&  &n&t&"78&1 "# "7EC77C1"

7&77|7|%&m%77 1171&& m m 1&&78 m & m8 7 1 1 B 1& &m&& 1& w  29$ `"p"3 th0C r u ir r i % % % %

Sociedade Brasileira de Matemtica

i Pi x1 i x1'

O x2 i x2'

Fig. 1

Sabemos que a reta Pi O eixo de simetria dos pontos do polgono regular e nenhum ponto do polgono est sobre a reta Pi O (pois n mpar). Digamos esses pares de pontos simtricos e numeramos com o nmero "i", ou seja pegamos um outro ponto qualquer (diferente de Pi) do polgono regular, ligamos com o seu respectivo simtrico e numeramos com o nmero "i" (fazemos isso para todos os outros pontos). Vide fig. 1. Este um exemplo do processo para o ponto Pi. Repetimos esse processo para todos os pontos do polgono regular. Desta forma pintamos todos os lados e todas as diagonais, pois: De uma forma geral (e mais simples): Se quisermos saber o nmero de um segmento Pi Pj do polgono regular, basta traarmos a mediatriz desse segmento, que vai certamente encontrar um outro vrtice X do polgono regular (pois n mpar) e o segmento Pi Pj vai ter o mesmo nmero de X. Esta forma de numerao claramente satisfaz as condies do enunciado pois: 1) No existe nenhum segmento com o mesmo nmero de um de seus vrtices, pois a mediatriz desse segmento no passa pelos vrtices do segmento. Para cada vrtice, todos os lados e todas as diagonais que incidem neste vrtice tem nmeros diferentes, pois se existissem dois segmentos de mesmo nmero, teramos:

2)

EUREKA! N9, 2000

Sociedade Brasileira de Matemtica

Pj

O ponto Pw (que deve estar na mediatriz de Pi Pj e na mediatriz de


w Pw= O w Pi

Pi Pt ) o prprio O, um absurdo. Logo vale a propriedade 2 e isso acaba o problema.

Pt

Sejam S1 e S2 duas circunferncias de centros O1 e O2, respectivamente, secantes em M e N. A reta t a tangente comum a S1 e S2, mais prxima de M. Os pontos A e B so os pontos de tangncia de t com S1 e S2, respectivamente, C o ponto diametralmente oposto a B e D o ponto de interseo da reta O1O2 com a reta perpendicular reta AM que passa por B. Demonstrar que M, D e C so colineares.

BC dimetro BMC = 90 Para provar [MDC ], basta provar que BMD = BMC = 90
B

EUREKA! N9, 2000

3  y  3   #  2  2  !     2  ! A  6  6  y   &"  "&tn&E`C&"7E" 7C77C1"

u  29$ `"p"3

A 1 O1 D

90 2

O2

Sociedade Brasileira de Matemtica

Geometria Analtica: Dados: M = (0, 1) A = (m, 0) O1 = (m, y1) B = (n, 0) O2 = (n, y2) Quero determinar D:

C (n, 22)

N O2 2 M n B = (n, 0)

D O1 1

1 A m0 = (m, 0)

1 ( x m) m BD : AM AM : y = BD : y = m( x n) x = O1O2 : y y 2 = y +n m

y 2 y1 ( x n) m+n BD O1O2 = {D}


y 2 y1 y m+n m y y1 y 1 + 2 ( m + n) m = y 2 m ( m + n) yD = y2 m( m + n ) + y y 2 1 y 2 (m + n) +n x0 = m( m + n ) + y 2 y 1 y y2 =

y 2 m(m + n) m(m + n) y 2 + y1 m ( m + n ) + y 2 y1 yD 1 = coef. angular de DM : xD mn(m + n) + n( y 2 y1 ) y 2 (m + n) m ( m + n ) y 2 y1


EUREKA! N9, 2000

Sociedade Brasileira de Matemtica

n2 + 1 n2 + 1 m2 + 1 m(m + n ) m 2 mn 2 2 + 2 = 2 2 2 n m n + 1 mn(m + n ) + n 2 ( m + n) 2 n2 2 m 2 mn n2 m2 2 m + mn + + + m mn 2 2 2 2 2 = = 2 n( n m) n 1 (m + n ) mn + 2 2 2 n [mn(m + n) (m + n)] n(m + n)(mn 1) 2 = = =n (m + n)(mn 1) mn 1 ( m + n) 2 coef. ang. de BM :


1 n = 1 , logo n BM DM .

m n n n ( m 2 + mn) 2 2 2 mn 1 (m + n) 2

1 n

Encontrar todas as solues da equao

para x, y, z inteiros maiores que 1. Considerando a equao mdulo x + 1 , obtemos ( 1)z 1(mod x + 1), o que implica que z mpar. Logo y (1) (x + 1) x z = 1 ( x + 1) y = x z + 1 ( x + 1) y = ( x + 1)(x z 1 x z 2 + ... x + 1)
y 1

(2) (x + 1) = x z 1 x z 2 + ... x + 1 e, ento, x par pois, caso contrrio, os dois lados de (2) seriam de paridade oposta.

EUREKA! N9, 2000

 29$ `"p"3 y 7C1"

(x + 1)y x z = 1

Sociedade Brasileira de Matemtica


Analogamente, escrevendo (1) na forma (x + 1) + ( x + 1) y 2 + ... + ( x + 1) + 1 = x z 1 , ns vemos que y par tambm. Sejam, portanto, x = 2x1 e y = 2y1 Ento por (1), y 1

(3) ((x + 1) y1 1)((x + 1) y1 +1) = x z . Temos ainda que x | ( x + 1) y1 1 e, como x par, mdc ((x + 1) y1 1, ( x + 1) y + 1) = 2. Assim de (3), ( x + 1) y1 1 = 2 x1z (4). ( x + 1) y1 + 1 = 2 z 1 Conseqentemente, 2 z 1 > 2 x1z , ou seja, x1 =1 x = 2 e, de (4), y = 2 e z = 3. P.S. gratificante saber que tal equao estudada por grandes matemticos desse sculo como W.J. Leveque e A. Schinzel, pode ser resolvida por brilhantes estudantes pr-universitrios em um tempo to limitado quando o de uma prova de olimpada.

PG = 1, 1 + m1 r;1 + m 2 r;1 + m3 r... com mi + ; apenas 1 + mi +1 r 1 + m1 r 1 + m 2 r = = ... = . m0 = 0 q = 1 1 + m1 r 1 + mi r (1 + m 2 r ) 1 = (1 + m1 r ) 2 1 + m 2 r = 1 + m12 r 2 + 2m1 r. Supondo m2 2 m2 m1 2 = m1 r + 2 =r r 0; m2 = m1 r + 2m1 m2 = m1 (m1 r + 2) m1 m1

EUREKA! N9, 2000

3 y3  Ay y9A  !A6 6 y "&  &n&tn7C" 7C77C1"

 29$ `"p"3 th|4Cv r u s

de nmeros reais, De uma progresso aritmtica infinita 1, a1 , a 2 , eliminam-se termos, obtendo-se uma progresso geomtrica infinita 1, a n1 , a n2 , de razo q. Determinar os possveis valores de q.

Sociedade Brasileira de Matemtica

primos entre si. Da: q = 1 + m1 r . Seja q = ; c; d ; d 0 c e d primos entre si. d Da teremos a ki a + b PA : 1 + k i = b b cj c PG: = j d d Anlise do denominador: PA: PG: ki a + b b cj d
j j

; k i a + b o mximo do denominador b.

como mdc(c; d) = 1 o denominador d j .


j

Podemos pegar um j suficientemente grande tal que d Logo, a PG no pode ser infinita para d > 1.

Logo; como d d = 1 ou d = 1. Se d = 1 q = c razo inteira, e para isso, s pegar r = 1 e tirar os termos desnecessrios. A PA ser sempre crescente ou sempre decrescente ( p r 0) se d = 1.

Dois jogadores, alternadamente, retiram pedras de um conjunto de 2000 pedras, de acordo com as seguintes regras: 1. Em cada jogada pode-se retirar 1, 2, 3, 4 ou 5 pedras. 2. Em cada jogada, um jogador no pode retirar o mesmo nmero de pedras que o seu adversrio retirou na jogada anterior.

EUREKA! N9, 2000

 29$ `"p"3

m1 r

q .

>b

Como m1 ; m2

+,

ento r racional; Seja r =

; onde a; b ; b 0, a e b

Sociedade Brasileira de Matemtica

O jogador que, na sua vez, no puder jogar de maneira vlida, perde. Determinar que jogador tem uma estratgia que lhe garanta a vitria e encontrar essa estratgia.

0 se quem vai jogar agora perde (com ambos jogando o melhor possvel). G (n, m) = 1 se ganha. n = atual m = movimento anterior

G (1, 1) = 0 A frmula recursiva


0 se para todo 1 i 5, n i, i m, G (n i, i ) = 1 (isto , se o outro ganha G (n, m) = para qualquer movimento) 1 caso contrrio.

EUREKA! N9, 2000

3  y  3   #  2  2  !     2  ! A  6  6  y   &"  "&tn&E`C&"7E" 7C77C1"


n\ m 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 1 0 0 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 2 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 3 0 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 4 0 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 5 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 1 0 1 1 1 n\ m 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 2 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 3 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 4 0 1 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 5 1 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 1 0

10

Sociedade Brasileira de Matemtica

Para 1 n 5, G (n, m) = 1 se m n Podemos definir G (0, m) = 0 Visualizando: Como preencher a linha n: veja os quadrados com (*) (*) (*) (*) (*) (*) n

Se foram todos 1's, a linha n ter s zeros. Se tiver dois ou mais zeros, a linha n ter todos 1's. Se for zero, todos sero 1's, a menos da que est na mesma coluna do zero. Sempre perde: 7, 13, 20, 26, 33, 39, 46 Parece que para n = 7 ou 13 (md 13) sempre perde (G(n, m) = 0) Basta ver que h um bloco 5 5 da tabela que se repete, (tirando as 6 primeiras linhas). Agora vamos provar a frmula recursiva. Primeiras 5 linhas: - G (n, m) = 1 se m n, pois ele pode tirar n pedras e ganhar. - G (1, 1) = 0, pois no pode jogar. - G (2, 2) = 1, pois tirando uma pedra, forar o outro a ficar com G (1, 1),... - G (i, i) = 0, i = 3, 4 ou 5, pois no importa como jogue o outro pode ganhar. Agora, a frmula nos outros casos: Tirando i pedras, se voc est com G(n, m), o adversrio vai ficar com G(n i, i). Se algum deles for 0, o adversrio vai perder e voc ganha. Se todos forem 1, o adversrio sempre ganha. Note que voc no pode tirar m pedras, ento no pode deixar o adversrio com G(n m, m).
EUREKA! N9, 2000

11

Sociedade Brasileira de Matemtica

Na tabela, o bloco que se repete 13 n 17, igual a 26 n 30. Ento o primeiro jogador ganha, pois se ele tirar 4 pedras na primeira jogada, vai deixar o outro com 1996 pedras. 1996 7(mod 13) o segundo perde.

Um hexgono convexo bonito se tem quatro diagonais de comprimento 1 cujos extremos contm todos os vrtices do hexgono. (a) Para cada nmero k maior que 0 e menor ou igual a 1, encontrar um hexgono bonito de rea k. 3 (b) Demonstrar que a rea de um hexgono bonito qualquer menor que . 2

Consideremos todos os hexgonos bonitos ABCDEF com lados opostos paralelos tais que os quatro segmentos dados de comprimento 1 so AC , CE , BF e FD. Seja = BFD = ACE (figura (a)).
A F E (a) D B C A' F E' E (b) A B C' D C

Translademos os segmentos AC e CE na direo de AB para obter A'C ' e C ' E ' respectivamente de forma que A' , F , E ' sejam colineares do mesmo modo que B, C ' , D. A rea do hexgono ABCDEF igual a rea do retngulo A'BDE' que por sua vez igual a sen (figura (b)). Dado que quaisquer k (0,1] igual a sen para algum com 0 < 90 ento temos um hexgono bonito que cumpre o pedido. b) Para demonstrar o resultado pedido, enunciamos os seguintes lemas sem demonstrao:
EUREKA! N9, 2000

 29$ `"p"3 y 7C1"

12

Sociedade Brasileira de Matemtica

1- A soma dos comprimentos de um par de lados opostos de um quadriltero convexo menor que a soma dos comprimentos das diagonais. 2- A rea de um quadriltero convexo menor ou igual que a metade do produto das suas diagonais. Utilizaremos por simplicidade a seguinte terminologa: Sabemos que no hexgono h quatro diagonais de comprimento 1 cujos extremos contm todos os vrtices do mesmo. Chamaremos diagonais principais as diagonais em questo. Definamos o grau de um vrtice de um hexgono bonito como o nmero de diagonais principais que passam por ele. Alm disso denotaremos por diagonal que divida ao hexgono nos quadrilteros. Dado que a soma dos graus dos vrtices 8 e o grau de cada um pelo menos 1, temos dois casos: a) Um vrtice tem grau 3 e os restantes tm grau 1. b) Dois vrtices tm grau 2 e os restantes tm grau 1. No primeiro caso, dado que h exatamente trs diagonais que saem de um mesmo vrtice num hexgono, s h um possvel tipo de configurao (salvo "issomorfismo" de grafos): 1 Pelo lema 2 a rea do hexgono menor ou igual que ( AB + AC ) e isto 2 1 menor que (2 AX + BC ) pela desigualdade triangular. Como AX 1, BC = 1, a 2 3 rea menor que . 2
A M X O N

Para o segundo caso, sejam P e Q os vrtices de grau mximo. Consideremos as possibilidades: c) Os vrtices P, Q esto conectados por uma diagonal principal. Nesse caso se a diagonal que os conecta no central, as outras diagonais principais que saem destes dois vrtices devem estar num mesmo lado de PQ . Alm disso, alguma dessas diagonais deve ser central, pois caso contrrio, chegariam a um mesmo ponto e nesse caso se formaria um tringulo equiltero com diagonais principais como lados e sabemos que isso no pode ocorrer pois haveria trs vrtices de
EUREKA! N9, 2000

13

Sociedade Brasileira de Matemtica

grau 2. Portanto, dependendo se ambas diagonais so centrais ou s uma , se apresentam as seguintes configuraes: No desenho direita, AB 1 pelo lema 1. Logo a rea do hexgono menor ou igual que 1 1 ( AB CQ + PQ AD) < (CQ + AD) 2 2 e isto menor que 1 pelo lema 1.
C A B C A B

P D

No desenho esquerda, AB < 2 pelo lema 1. Logo, a rea do hexgono menor ou igual que
Q

P D

1 1 3 ( AB PC + PQ BD) < (2 + 1) = 2 2 2

Se a diagonal que os conecta central, as outras diagonais principais que saem de P e Q devem estar em lados distintos de PQ , pois caso contrrio, se utilizaro j trs diagonais sem haver unido dois vrtices consecutivos que ficam a um lado de PQ e estes no podem ser conectados pela diagonal que falta. Ento, s h uma configurao possvel: Aqui a rea menor ou igual que 1 1 ( PX + QY ) < (2) = 1, pelos lemas 2 e 2 2 1 respectivamente.
P Y X

d) Os vrtices P e Q no esto conectados por uma diagonal principal. Nesse caso s h trs configuraes possveis: Pelo lema 2, neste caso a rea menor ou 1 igual que (1 1 + 1 1) = 1. 2
P

EUREKA! N9, 2000

14

"3&9$2 9G29E4&pG y 3 &2G&4 E &GE&4Eh6924E62 y9 y"E& " 2Wp GE4&eE32294'2  &p4Y p  ~ s z  z s q o 2&GEt $4 p o s s p  v z  z  z r o t s q p s v p s r q p o n | z ~ q z p z  t p ''i~ 4uEv E&4Um)9E$4&9v &v &  4v l99&4E4dp &'94d'E499'2~  n ~ z s q p ~ v z z v p r p z { o  p o ~ } s s q v s  s { p s z o z ~ q p q v v z  t p p r p z { o  p o  z ~ } s |{ z xw v v s t s r q p o 49s  (v E'&4Ep &'2E&y2yu&9n u w w u w u q r u s k s q u j r y r w r r q v u y v u w g u mil&GhUq " 4iG4EGi'62294h)E& u s w u d s y q w u w u w u y r s r q x w u v u s r 99 f3ey E4 )99$449y 2)2t 2q f e S A I Qh D S F ` f A A R c C c H B X C f A A I H A b a ` B I C X C D H BT S A D Q P I H C F D C A 4R p2iG4H YEe ES 4&94$ge &S d9c ")3H &YEWVUR 2&GEB "@  7 98440R56%)4n&01 320&%)(%'%%&#$!"R   n 8 # 1  #   n8

EUREKA! N9, 2000

Pelo lema 1, algum dos segmentos PX ou QY mede menos que 1, logo esta configurao pode ser reduzida configurao de um vrtice de grau trs, que j foi estudada (se bem no a mesma, o raciocnio idntico). Esgotadas as possibilidades, se resolve completamente o problema.

Neste caso a rea menor ou igual que 1 1 3 ( XY + 1) < (2 + 1) < , onde o ltimo 2 2 2 se da por desigualdade triangular.

http://www.cis.upenn.edu/~wilf/AeqB.html

Sociedade Brasileira de Matemtica

15 X X Y P P Q Q Y

Sociedade Brasileira de Matemtica

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

Inicialmente, vamos mostrar que AE = AM e que BE = BM. De fato, como AB || CD e AB tangente a 1, segue-se que EAB =ACM = BAM = e EBA = BDM = ABM = Da, imediato que os tringulos EAB e MAB so congruentes (caso ALA), de modo que AE = AM e BE = BM.
EUREKA! N9, 2000

c&" m% &c %c x p x { z x x p} x  x  ||z } } ~ } z } 3 y3  # 2 2 ! 2  !A ""  7""tn&4`0 C"&E"tC6  #$  !$f  ! 6 3 2@  fA 6 y "7@  31C11Pf7 C18m)  "C"`77$ %77C1" w  29$ `"p"3
E A C P M Q B l D 1 N 2
16

Sociedade Brasileira de Matemtica

Alm disso, segue da congruncia que EM AB, e portanto, EM CD. Agora, basta mostrarmos que PM = MQ, porque dessa forma EM ser mediatriz de PQ, tal que EP = EQ. Para isto, note que o prolongamento de MN passa pelo ponto mdio de AB, pois MN o eixo radical das duas circunferncias e AB tangente comum. Assim, como PQ || AB, conclumos que MN tambm passa pelo ponto mdio de PQ. Logo, EM PQ e EM passa pelo ponto mdio de PQ, de modo que EM mediatriz de PQ e EP = EQ.

Temos e C A N = C MN NBD = NMD . Como CMN + NMD = N + EBN = CAN + NBD = ; temos que AEBN cclico. EA Seja EAB = ECD = ANM = ; XAC = CNA = .

Seja EBA = , analogamente, BDM = BNM = YBD = DNB = Como AEBN cclico, EAB = ENB = ; EBA = ENA = ECQ = ENQ ECNQ cclico EQC = ENC = + EDP = ENP EDNP cclico EPD = END = + . Logo, EPQ issceles.

EUREKA! N9, 2000

3 y3  Ay y9A  !A6 6 y "&  &n&tn7C" 7C77C1"


E
+ +

e 2

X C 1

A P

[ XABY ]

17

Sociedade Brasileira de Matemtica

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


1 1 1 a 1 + b 1 + c 1 + 1. b c a

Fazendo a =

1 = ac) , a desigualdade b equivalente a ( x + z y )( x + y z )( y + z x) xyz. Fazendo u = x + z y, v = x + y z e w = y + z x, temos u + v = 2 x, u + w = 2 z e v + w = 2 y, donde a desigualdade equivalente a 8uvw (u + v)(u + w)(v + w). Como u + v, u + w e v + w so todos positivos, no mximo um dentre os nmeros u, v e w no positivo. Se houver um tal nmero, 8uvw ser negativo ou nulo, enquanto (u + v)(u + w)(v + w) positivo, e a desigualdade acima trivial. Se u, v e w so positivos, a desigualdade acima conseqncia direta da desigualdade entre as mdias aritmtica e geomtrica, pois (u + v)(u + w)(v + w) = u 2 v + uv 2 + u 2 w + (podemos tomar, por exemplo, y = 1, x = a, z =
+ uw 2 + v 2 w + vw 2 + 2uvw , donde a desigualdade u 2 v + uv 2 + u 2 w + uw 2 + v 2 w + vw 2 6uvw, que segue

Seja n 2 um nmero inteiro positivo. No incio existem n pulgas numa reta horizontal, nem todas no mesmo ponto. Para um nmero real positivo , define-se um salto da seguinte maneira: Escolhem-se duas pulgas quaisquer nos pontos A e B com o ponto A esquerda do ponto B; A pulga que est em A salta at o ponto C da reta, direita de B, tal que BC = . AB Determine todos os valores de para os quais, para qualquer ponto M na reta e quaisquer posies iniciais das n pulgas, existe uma sucesso finita de saltos que levam todas as pulgas para pontos direita de M.
EUREKA! N9, 2000

u  29$ `"p"3  29$ `"p"3 y 7C1"

y x z ,b = ,c = y z x

equivalente a das desigualdades

u 2 v + vw 2 2uvw, uv 2 + uw 2 2uvw e u 2 w + v 2 w 2uvw.

18

Sociedade Brasileira de Matemtica

1 (n 1) Devemos demonstrar duas coisas: 1 a) que, para l , existe uma seqncia infinita de movimentos que vai (n 1) levando as pulgas cada vez mais para a direita, ultrapassando qualquer ponto prefixado M;

A resposta para l

1 e para qualquer posio inicial dada as pulgas, existe um (n 1) ponto M tal que as pulgas em um nmero finito de movimentos jamais alcanam ou ultrapassam M.

b) que, para l<

Comearemos pelo item b). Sejam x1 , x 2 , ..., x n as posies iniciais das pulgas, com x1 x 2 ... x n , de tal forma que x n a posio da pulga mais direita. 1 Seja P = (1 (n 1) l (x n l x1 l x 2 ... l x n 1 ). ) O ponto P claramente est direita de todas as pulgas. Afirmamos que se aps alguns movimentos as novas posies so x'1 ,..., x' n e definimos 1 P' = (1 (n 1) l (x' n l x'1 l x' 2 ... l x' n 1 ). ) Se P ' P, isto conclui a demonstrao. Basta considerar o que ocorre aps um movimento. Se a pulga que estava em xi pula sobre a pulga que estava em x n ento x' n x n = l ( x n xi ) e x' n l x n = x n l xi e P ' = P. Qualquer outro caso ainda mais favorvel. De fato, se a pulga que pulou continua atrs de x n , temos x n ' = x n e x1 '+... + x n 1 ' > x1 + ... + x n 1 , donde P ' < P. Se ela passa de x n , teremos x n ' = x j + ( x j x i ) x n ' x n < x n ' x j = x j xi < x n xi .

EUREKA! N9, 2000

g
19

y 7C1"

Sociedade Brasileira de Matemtica

Item a) Se P = x n ( x1 + x 2 + ... + x n 1 ) se, em cada movimento, a pulga mais esquerda pula sobre a pulga mais direita, temos x n ' = x n + ( x n x1 ) x n ' x n = x n x1 e P ' = P, donde P uma constante positiva (escolhendo a origem, por exemplo, em x n ) . Temos ento 1 n 1 1 ( x n x j ) = x n n 1 ( x1 + ... + x n1 ) x n ( x1 + ... + x n 1 ) = P n 1 j =1

x n x1

P 1 n 1 ( x n x j ) = P x n ' x n = ( x n x1 ) n 1 , donde o ponto n 1 j =1

P para a direita a cada passo, logo tende a n 1 infinito. Como o ponto mais a direita, aps n 1 passos ser o ponto mais esquerda, todos os pontos tendem a infinito (para a direita). mais direita caminha pelo menos Nota: Na estratgia descrita na soluo do item a), o ponto mais esquerda se torna sempre o mais direita, donde podemos definir x n +1 = x n ' = x n + ( x n x1 ), e teriamos simplesmente x j ' = x j +1 , j. Reduzimos ento a anlise dessa estratgia ao estudo da recorrncia linear x n +1 = (1 + ) x n x1 , cujo polinmio caracterstico P ( x) = x n +1 (1 + ) x n + , P( x) do qual 1 raiz, donde, como = x n ( x n 1 + x n 2 + ... + x + 1), a expresso x 1 y m = x m ( x m 1 + x n 2 + ... + x m n + 2 + x m n +1 ) um invariante da recorrncia, isto , y m +1 = y m m, donde y m constante. Da vem nossa frmula para P. Veja o artigo sobre equaes de recorrncia nesta Eureka.

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

EUREKA! N9, 2000

 3
20

Sociedade Brasileira de Matemtica

Seja f (n) o nmero de maneiras de se colocarem os cartes de 1 a n , mas sem contar a ordem das caixas. No final, basta multiplicar f (100) por 6 = 3!. Achamos facilmente que f (4) = 2, onde as duas nicas maneiras so: 1, 4 2 3 1 2, 3 4

Vamos provar por induo que f (n + 1) = f (n) = 2 para n 4, e que as nicas maneiras so das formas: A) 1, 4, 7,... 2, 5,... 3, 6,... B) 1 2, 3, ..., n 1 n

H duas possibilidades para o carto n + 1: 1) Ele aparece junto com outros cartes. Nesse caso, os cartes de 1 a n estaro na configurao A ou B. Se for A): n 2, n 1 e n esto em caixas diferentes. n + 1 no pode estar na mesma caixa de n ou n 1, pois (n 2) + (n + 1) = (n 1) + ( n) Se colocarmos n + 1 na mesma caixa de n 2, a mgica funcionar. Basta ver a soma mdulo 3. No caso B): n + 1 no pode entrar em nenhuma caixa, pois 1 + (n + 1) = 2 + (n) e (n) + 3 = (n + 1) + 2 2) (n + 1) est em uma caixa isolada. Como (n + 1) + (1) = (2) + (n), 2 e n devem estar na mesma caixa. Temos a seguinte configurao:
n +1 2, n, k k +1

Fazendo isso para k = 2, 3,..., n 2, temos que os cartes 2, 3,..., n esto na mesma caixa . Como a outra caixa no pode ficar vazia, 1 est nela.
EUREKA! N9, 2000

G $ 2 F ' E $  ' D 0  %B  $ "4 @ $ 9 $ ) ' 04 $  64  4 2 0 ) ' % $ "      !((((7(C&A3!!83735 31 (&!#! 


e e Se k est junto com 2 e k + 1 est na outra caixa, (n + 1) + k = n + ( k + 1) . Ento k e k + 1 esto na mesma caixa.
21

Sociedade Brasileira de Matemtica

Para ver que esta configurao funciona, basta ver os intervalos das possveis somas para cada par de caixas. o nmero total 6 f (100) = 12.

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

Vamos, primeiramente, provar o seguinte "super-lema": Lema: 3 n | 2 3 + 1 e 2 3 + 1 tem pelo menos "n" fatores primos distintos: Esse lema ser provado por induo: Quando n = 1 ou n = 2, o lema verdadeiro pois 2 3 + 1 = 9 = 32 e 2 3 + 1 = 513 = 33 19 Suponha que seja vlido, tambm, para um certo "p" ( p 2), Vamos provar que tambm verdadeiro para " p + 1": * 3 p | 2 3 + 1 k | 2 3 + 1 = k 3 p 2 3 = 1 + k 3 p (2 3 ) 3 = = (1 + k 3 p ) 3 2 3 = (k k 3 + k 3
2 p 3 3 p +1 3p 3
p p p p 2 n n

"j" tal que j | (2 23 2 3 + 1) e j / (2 3 + 1), logo 23 |


p p P p

tem pelo menos 1 fator primo a mais que 2 3 + 1, logo 2 3 + 1 tem pelo menos "p + 1" fatores primos em sua decomposio. Logo o lema vlido para "p + 1", tambm. Pelo princpio da induo finita, provamos que o lema verdadeiro para todo natural "n".
EUREKA! N9, 2000

G H (#(' H AC&A!8A #(!R &!#!   F      B  $ @ ' 9 ' @ 4   D 0 $ ) I Q $ "     

* *2

+ 1 = (2 ) + 1 = (2
3

a, b

temos : a 3 + b 3 = (a + b)(a 2 ab + b 2 )
p p p p p p p p p p

S que 2 23 23 +1 = (2 3 +1) 2 3(23 +1) + 3 mdc (2 3 +1;2 23 23 +1) = = mdc(2 3 + 1;3) = 3 pois 3 p | 2 3 +1 3 | 2 3 +1. Logo deve existir um fator primo
p +1

P ' I $  )  0 H
p +1

= 1 + k 3 p +1 k 2 3 2 p +1 + k 3 33 p 2 3 )3
p +1 3p

p +1

+1=

2 p 1

p +1 3p

|2
2

3 p +1

+ 1.
p

+ 1)[(2 ) (2 3 ) + 1], pois

+ 1 = (23 + 1)(2 23 23 + 1)
p p p

p +1

22

Sociedade Brasileira de Matemtica

Pronto, o "super-lema" veio te salvar nessa hora de sufoco! 2000 Sabemos que mpar 2 3 + 1 tem pelo menos 2000 fatores primos e pegamos 1999 fatores primos que so diferentes de 3 e os chamamos de p1 ; p 2 ; p 3 ;...; p1999 . Temos que
3 2000 | 2 3
2000

+1 e
2000

p1 p 2 p 3 ... p1999 | 2 3

+1

Basta escolhermos o inteiro mpar n = 3


3 2000 | n 2 3
2000

2000

p1 ... p1999 , pois:

+ 1 | 2 n + 1 e como n | 23
2000

+ 1 n | 2n + 1

Logo existe um "n" de 2000 fatores primos, tal que n | 2 n + 1 .

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

EUREKA! N9, 2000

G $ 2 F ' E $ ' D 0  %B  4 ' % ' @ 4  "  !(( Y&!' 0 8X( W' &V H !&!(7&!#!  I ' 2 $ 0 %  9  $ "     

U ' I $  )  0 H
A H2 T2 H3 T3 P L M N l1 B T1 C

fig. 01

23

Sociedade Brasileira de Matemtica

Inicialmente, vamos mostrar que as retas l1, l2 e l3 so paralelas aos lados BC, CA e AB, respectivamente. Sejam P H 2 H 3 T2T3 , M e N os pontos de interseo da reta l1 com a circunferncia inscrita. Supondo AB < AC, temos a fig. 01 acima. Veja que PH3T3 = AH3H2 = C , B+C AT3T2 = AT2T3 = , 2 de modo que BC H 3 PT3 = e H3PM = 2.H3PT3 = B C, 2 e, portanto, H3LM = H3PM + LH3P = (B C) + C = B. Logo, l1 || BC e, analogamente, conclumos que l2 || AC e l3 || BA. Se AB = AC, ento, l1 || BC por simetria. Neste caso, teremos H2H3 || T2T3 || l1 || BC. Agora, vamos calcular a distncia entre as retas l1 e BC. Como PT2 a bissetriz do ngulo H2PN, ento d(T2, PH2) = d(T2, l1) e d(l1, BC) = d(T2, BC) d(T2, PH2) (1) Mas, d(T2, BC) = (p c).sen C e como AH2H3 = B, segue que d(T2, PH2) = H2T2.sen B. (2) Tambm, H2T2 = CH2 CT2 = a.cos C (p c). Em (2), obtemos: d(T2, PH2) = (a.cos C (p c))sen B. (3) Usando que a. cos C = a2 + b2 c2 b c , obtemos: , sen B = , sen C = 2b 2R 2R

EUREKA! N9, 2000

24

Sociedade Brasileira de Matemtica

d (l1 , BC ) = ( p c).senC + ( p c).senB senB.(a. cos C ) c b b a2 + b2 c2 + ) . 2R 2R 2R 2b 2 2 (a + b c).(b + c) a + b c 2 = 4R 4R 2 ab + ac a = 4R a b+ca = 2R 2 = ( p a ).senA. Dessa forma, acabamos de mostrar que = ( p c)( d(l1, BC) = d(T2, AB) = d(T3, AC) = (p a).sen A. (*) Vamos mostra agora que BT2 = BN e, analogamente, mostraremos que CT3 = CM. Sejam U e V as projees ortogonais de T2 e N sobre os lados AB e BC respectivamente. Ento, NV = T2U = (p a).sen A. Sejam I o incentro e E a projeo ortogonal de I sobre l1 (fig. 02). Veja que EN = T1V e EI = |(p a).sen A r|.

A U T2 T3 M

E I r r

l1

T1

V
fig. 02

EUREKA! N9, 2000

25

Sociedade Brasileira de Matemtica

i) T1V 2 = EN 2 = IN 2 EI 2 = r 2 (( p a). sen A r ) 2 = 2r.( p a ) sen A ( p a) 2 . sen 2 A ii) T3U 2 = T2T3 2 T2U 2 = T2T3 2 ( p a ) 2 . sen 2 A Agora, o quadriltero AT3IT2 inscritvel na circunferncia de dimetro AI. Logo, temos duas relaes: I) II) T2T3 = AI.sen A; T2T3.AI = 2r.AT2 = 2r.(p a) (pelo teorema de Ptolomeu).

De (I) e (II), obtemos T2T32 = 2r.(p a).sen A. Portanto, em (i) e (ii) ficamos com T1V 2 = T3U 2 T1V = T3U , e como BT1 = BT3, por ltimo segue que BVN BUT2 (**) de modo que BT2 = BN, como queramos demonstrar.

A T2 T3 r I r

B
fig. 03

De (**), ainda podemos concluir que ABT2 = CBN, e como ABI = CBI, temos T2BI = NBI.

EUREKA! N9, 2000

26

Sociedade Brasileira de Matemtica

Finalmente, como T2B = NB, podemos concluir que N o simtrico de T2 em relao bissetriz do ngulo B. Analogamente, M o simtrico de T3 em relao bissetriz interna do ngulo C. Dessa forma, podemos redefinir as retas l1, l2 e l3 da seguinte forma: Sejam S1, S2 e S3, respectivamente, os simtricos de T1, T2 e T3 em relao s bissetrizes dos ngulos A, B e C, respectivamente. L1 a reta que passa por S2 e S3, l2 a reta que passa por S1 e S3 e l3 a reta que passa por S1 e S2. Claramente, l1, l2 e l3 determinam um tringulo inscrito na circunferncia inscrita no tringulo ABC.

EUREKA! N9, 2000

27

Sociedade Brasileira de Matemtica

Nestas notas apresentaremos as frmulas da geometria plana para o clculo da rea de um tringulo e de um quadriltero cclico (inscrito numa circunferncia) em funo do comprimento de seus lados e de seu semipermetro. Para o tringulo esta conhecida como a frmula de Heron de Alexandria, embora escritores rabes afirmem que esta foi descoberta por Arquimedes. Para os quadrilteros cclicos h uma generalizao natural da frmula de Heron, to importante, que considerada como a mais notvel descoberta da geometria hindu, feita por BRAHMAGUPTA. Originalmente a prova de Brahmagupta faz uso do conhecido Teorema de Ptolomeu para quadrilteros cclicos. Aqui, estas duas frmulas so deduzidas, elementarmente, da Lei dos co-senos para um tringulo.

Seja ABC um tringulo cujos lados medem a, b e c indicados na figura abaixo, ento a medida da rea deste tringulo dada pela frmula:
S= p( p a )( p b)( p c)

onde p =

________________________________________________________________________________ O autor agradece o apoio pesquisa da Universidade Estadual de Maranho (UEMA) e o saudvel ambiente de trabalho do DEMATI-CECEN
EUREKA! N9, 2000

9  0 $ Q $ " '  I 0 % V!&!8 R8' 

~ C} (zC(v urp om |x | { q yx qw t s q n

1 ( a + b + c) o semi-perimetro do ABC . 2
B

y v x v r b a b q b r q p h b f d b a iiwuciRtsRWiigWecW`
C

k i g f e ljh!ed A A s
a h c b A

28

Sociedade Brasileira de Matemtica

Todos sabem que a rea de um tringulo calculada pela frmula 1 S = bh. Nas condies aqui tratadas sabemos que a altura relativa ao lado CA 2 dada por h = a senC , donde podemos escrever para a rea: S= 1 ab senC (*) 2

tambm muito conhecida a Lei dos co-senos para um tringulo. E, pela figura acima, esta pode ser escrita como: c 2 = a 2 + b 2 2ab cos C (**) Com efeito, elevando ao quadrado S na expresso (*) temos que: 4 S 2 = a 2 b 2 sen 2 C = a 2 b 2 (1 cos 2 C ) = ab(1 cos C ) ab(1 + cos C ) = = (ab ab cos C )(ab + ab cos C ) Multiplicando este ltimo resultado por 4, obtemos: 16 S 2 = (2ab 2ab cos C )(2ab + 2ab cos C ) no qual podemos completar quadrados e adequar os fatores para o uso da Lei dos co-senos (**) temos:
16S 2 = [a 2 b 2 + 2ab + a 2 + b 2 2ab cosC][a 2 + b 2 + 2ab a 2 b 2 + 2ab cosC] = = [(a b) 2 + c 2 ][(a + b) 2 c 2 ] = [c 2 (a b) 2 ][(a + b) 2 c 2 ]

fatorando as diferenas de quadrados, podemos escrever: 16 S 2 = (c + a b)(c a + b)(a + b + c)(a + b c) = (a + b + c)(a + b + c)(a b + c)(a + b c) Aonde, dividindo por 16: 1 1 1 1 S 2 = (a + b + c) (a + b + c 2a ) (a + b + c 2b) (a + b + c 2c) 2 2 2 2

EUREKA! N9, 2000

(A!

29

Sociedade Brasileira de Matemtica

Portanto: 1 1 1 1 S 2 = (a + b + c) ( a + b + c) a (a + b + c) b ( a + b + c) c 2 2 2 2 1 substituindo o semi-permetro p = (a + b + c), conclumos que: 2 S = p( p a )( p b)( p c) , a conhecida frmula de Heron. De uma certa analogia da frmula acima demonstrada deduzimos, a seguir, o resultado principal destas notas.

A medida da rea de um quadriltero cclico de lados a, b, c, d cujo semipermetro denotado por p a seguinte: K = ( p a )( p b)( p c)( p d )
D

Os seguintes fatos elementares so considerados na prova: I. Seja um quadriltero tal que seus ngulos opostos internos sejam suplementares: na figura temos B + D = 180 (esta relao vale para os quadrilteros cclicos). As reas dos tringulos S1 e S 2 so dadas pelas relaes: 1 1 S1 = ab senB e S 2 = cd senD 2 2

II.

EUREKA! N9, 2000

'  ' I Q ' 0 ) $ " '   0 % D H 7!!z!(RI 7('


onde p =
d A a b B x C c

1 (a + b + c + d ) 2 1 ( p a) = ( a + b + c + d ) 2 1 ( p b) = ( a b + c + d ) 2 1 ( p c) = (a + b c + d ) 2 1 ( p d ) = (a + b + c d ) 2

30

Sociedade Brasileira de Matemtica

III.

A diagonal x, indicada na figura anterior, pela Lei dos co-senos aplicada aos tringulos S1 e S 2 verifica a relao: a 2 + b 2 2ab cos B = x 2 = c 2 + d 2 2cd cos D

De I. obtemos que cos( B + D) = 1, que implica a igualdade senB senD = 1 + cos B cos D (*). Com efeito, seja K a medida da rea do quadriltero cclico dada por: K = S1 + S 2 , Substituindo II. Obtemos a igualdade 2 K = ab senB + cd senD . Elevando ao quadrado obtemos: 4 K 2 = a 2 b 2 sen 2 B + 2 abcd senB senD + c 2 d 2 sen 2 D substituindo (*) no produto de senos temos: 4 K 2 = a 2 b 2 (1 cos 2 B) + 2abcd (1 + cos B cos D) + c 2 d 2 (1 cos 2 D) ou melhor,
4K 2 2 2 2 2 2 2 = a b (1 cos B ) + abcd (1 + cos B cos D ) + abcd (1 + cos B cos D ) + c d (1 cos D )

Multiplicando, adequadamente, por 4 os dois membros, 16K 2 = 2[ab (1 cos B) + cd (1 + cos D)] 2 [ab (1 + cos B) + cd (1 cos D)] 16K 2 = [2ab cos B 2ab 2cd cos D 2cd][2ab cos B + 2ab + 2cd cos D 2cd cos D] Substituindo a relao III. obtemos: 16 K 2 = [a 2 + b 2 2ab (c 2 + d 2 ) 2cd ][a 2 + b 2 + 2ab (c 2 + d 2 ) + 2cd ] 16 K 2 = [(a b) 2 (c + d ) 2 ][(a + b) 2 (c d ) 2 ] 16 K 2 = [(a b) (c + d )][(a b) + (c + d )][(a + b) (c d )][(a + b) + (c d )] por tanto temos que: 1 1 1 1 K 2 = (a + b + c + d ) ( a b + c + d ) (a + b c + d ) (a + b + c d ) 2 2 2 2 da, imediato ver que:
EUREKA! N9, 2000

(A!

4 K 2 = a 2 b 2 (1 cos B)(1 + cos B ) + ab (1 + cos D )cd (1 + cos B) + c 2 d 2 (1 cos D )(1 + cos D )

31

Sociedade Brasileira de Matemtica

K 2 = ( p a )( p b)( p c)( p d ) permitindo concluir que, K = ( p a )( p b)( p c)( p d ) concluindo a prova. Como observao final, a frmula acima demonstrada no pode ser mais geral do que foi provado por BRAHMAGUPTA. De fato, a frmula vale exatamente para os quadrilteros cclicos. Em geral, se o quadriltero no for cclico, sua rea estritamente menor que ( p a )( p b)( p c)( p d ) , pois nesse caso senB senD < 1 + cos B cosD , o que pode ser usado como na prova acima para provar nossa afirmao.

E.W. Hobson, A Treatise on Plane Trigonometry (NY); Macmillan Company, 4a ed., (1902), pg. 204.
EUREKA! N9, 2000

' !A(0 4 2 9 0 $ % $

32

Sociedade Brasileira de Matemtica

Frenqentemente em teoria da Computao (ver exemplo [2]), ao analisar o tempo de execuo de um algoritmo (ou o espao ocupado na memria pelos dados), obtemos uma (ou mais) equaes discretas, chamadas de Equaes de Recorrncia, cuja incgnita uma funo inteira f(n), que geralmente uma funo do tamanho n do problema (por exemplo: a quantidade de dados a ordenar se um algoritmo de ordenamento). Esta equao resulta ser uma relao entre f(n) e seus valores prvios, como so f(n 1), f(n / 2), ou outro. Alm disso se conhecemos o algoritmo analisado com detalhe, podemos estabelecer um valor de bordo num ponto dado (como f(0) por exemplo). Neste artigo so apresentados alguns dos mtodos desenvolvidos para resolver este tipo de equaes, as quais aparecem em ordem de dificuldade. Os tipos de equaes de recorrncia a serem consideradas so as seguintes, em que a incgnita a sucesso x n com n 0 :

O tipo mais simples de equao de recorrncia de primeira ordem : x n +1 = x n + bn , n 0 em que x 0 e a sucesso bn so dados do problema. Sua resoluo faz uso da propriedade telescpica da soma obtendo:
x n = x 0 + bi , n 1
i =0 n 1

Exemplo: Para a equao: x n = 2 , n 0.


n

A equao linear de primeira ordem com coeficientes constantes : a n x n = bn x n 1 + c n , n 0


EUREKA! N9, 2000

 4 D 94 0  ' @ $ "  $ D 9 $ 4 % $  2 I  2 I $ " 0  ' 4 $ 4 r 0 $ 3 !34 2 7e!W0 AI 0 H 8!!9 5!' 7$  $ " 0 ' $ 4      6

A9 r!!34 2 7e!W0 AI 0 H 8!!9 5!' 7$  $ D ' D 9  2  $ D 9 $ 4 % $  2 I  2 I $ " 0  ' 4 $ 4 $ " 0 ' $ 4      6

~ { v p s q n (((r!rp om
x n +1 = x n + 2 n , n 0, com
x 0 = 1,

A AX ACVkWXhWAid XYWA 3X 7!eA AVej!ACAs e f e b a a v a x y b p 3WW&WiW&WciWeci&


obtemos
33

Sociedade Brasileira de Matemtica

em que x 0 e as sucesses numricas a n , bn e c n so dados do problema (as sucesses a n e bn no devem ser nulas). Para resolver esta equao ela deve ser multiplicada pelo fator S n (chamado fator somante): S n a n x n = S n bn x n 1 + S n c n Impe-se a condio: S n bn = S n 1 a n 1 (1) com o qual obtemos: S n a n x n = S n 1 a n 1 x n 1 + S n c n Observa-se que a equao anterior se reduz a uma de primeiro tipo, e que sua soluo : n 1 ( S 0 a 0 x 0 + S i c i ), n 0 xn = S n an i =1 O fator somante obtido a partir da condio (1) e considerando que S 0 = 1 : a a ...a a S n = n 1 n 2 1 0 , n 1 bn bn 1 ...b2 b1 Dadas trs varetas e n discos de distintos tamanhos colocados na primeira vareta em ordem de tamanho (do menor ao maior), mover estes n discos desde a vareta inicial at a terceira usando a segunda como auxiliar, sem colocar um disco de tamanho maior sobre um de tamanho menor (para maiores explicaes ver [4]). Se x n a quantidade de movimentos para levar os n discos da primeira a terceira vareta, podemos provar, ao analisar como so distribudos os movimentos, que, se x n a quantidade de movimentos para mover os n discos desde a primeira terceira vareta (com n 0), ento: x n = 2 x n 1 + 1, n 1 com x 0 = 0. De fato, dada uma soluo do problema de Hanoi com n 1 discos em x n 1 movimentos, podemos mover os n 1 primeiros discos para a segunda vareta, depois mover o ltimo disco para a terceira vareta e por fim mover os primeiros discos para a terceira vareta, gastando n 1 x n 1 + 1 + x n 1 = 2 x n 1 + 1 movimentos. Neste caso temos que o fator somante 1 resulta ser: S n = n . Logo, a soluo da equao das torres de Hanoi : 2
EUREKA! N9, 2000

!zX!0 7 R! H r$ 4  9 ' Q $ "  $ 0 D  '  I $


34

Sociedade Brasileira de Matemtica

x n = 2 n 1, n 0 Observamos, por exemplo, que para n = 3 devem ser realizados 7 movimentos. Deixamos como exerccio para o leitor provar que impossvel resolver este problema usando uma quantidade menor de movimentos.

Considere a equao: a k x n + k + a k 1 x n + k 1 + ... + a 0 x n = 0, n 0 (2) em que a 0 ,..., a k so sucesses independentes de n, e os valores de xi so conhecidos para i = 0, ..., k 1 (correspondem aos valores de bordo). Supondo que a equao (2) admite uma soluo do tipo: x n = n , em que um parmetro inteiro, e substituindo em (2) temos: a k n + k + a k 1 n + k 1 + ... + a 0 n = 0 Se 0 ento obtemos a equao caracterstica associada a equao (2): a k k + a k 1k 1 + ... + a 0 0 = 0 Vamos mostrar que se esta equao tem as razes complexas 1 ,..., r com multiplicidades 1 , 2 ,..., r , respectivamente, ento as solues de (2) so
n exatamente as seqncias ( x n ) da forma xn = Q1(n)1 + Q2 (n)n + ... + Qr (n)n , 2 r onde Q1 ,..., Qr so polinmios com grau (Qi ) < i , 1 i r (em particular, se i uma raz simples ento Qi constante).

Seja P( x) = a k x k + ak 1 x k 1 + ... + a0 um polinmio. Dizemos que uma seqncia ( x n ) n satisfaz a propriedade Rec ( P ( x)) se a k xn +k + ak 1 xn+k 1 + ... + a0 xn = 0, n . No difcil verificar os seguintes fatos:

ii) Se Q( x) = br X r + br 1 X r 1 + ... + b0 e ( X n ) satisfaz Rec ( P ( x)) ento ( X n ) satisfaz Rec ( P( x)Q( x))
j =0

EUREKA! N9, 2000

35

(isso segue de

b j (a k X n + j + k + a k 1 X n + j + k 1 + ... + a 0 X n + j ) = 0, n

i) Se ( X n ) e (Yn ) satisfazem Rec ( P ( x)) e c Rec ( P ( x)) .

X$ !' rVzX$ 32 !e!V80 hI 0 H !&AA7R!&V!' 7$  D 9 D  9  2  D 9 $4 4 % $  2 I  2 I $ " 0  ' 4 $ 4 $ "  ' $ 9  I  Q  $   6


ento ( Z n ) = X n + cYn satisfaz )

Sociedade Brasileira de Matemtica

iii)

(X n )

satisfaz

Rec ( P ( x))

se

e
k

s
j =0

se

(Yn ) = X n n

satisfaz

Rec ( P(X )) (substitua X n + j = n + j Yn + j em


n

a j X n + j = 0).

iv) Se S n = x k ento ( x n ) satisfaz Rec ( P ( x)) se e s se ( S n ) satisfaz


k =0

Rec (( x 1) P( x)) (escreva x n + j +1 = S n + j +1 S n + j e substitua em

a j x n + j +1 = 0).
j =0

Por iii), para ver que, para todo polinmio Q(x) de grau menor que m, X n = Q(n) n satisfaz Rec (( x ) m ), basta ver que (Yn ) = (Q (n) ) satisfaz Rec (( x 1) m ), o que faremos por induo. Isso claro se m = 1, e em geral, se ~ Z n = Yn +1 Yn = Q(n + 1) Q(n), como Q ( x) = Q( x + 1) Q( x) tem grau menor que m 1, ( Z n ) satisfaz Rec (( x 1) m 1 ) (por hiptese de induo), e logo, por (iv), (Yn ) satisfaz Rec (( x 1) m ). Essa observao, combinada com ii), mostra que se ( P ( x) = ( x 1 ) 1 ( x 2 ) 2 ...( x r ) r , e grau (Qi ) < i para 1 i r ento x n = Qi (n) n satisfaz Rec ( P ( x)) . i
i =1 r

Para ver que se ( x n ) satisfaz Rec ( P ( x)) ento x n da forma acima, usaremos induo novamente.
n Supomos 1 0 e tomamos Yn = X n 1 , Z n = Yn +1 Yn (com Z 0 = Y0 ).

Por iii) e iv), Z n satisfaz Rec ( P(1 x) ( x 1)) e, portanto por hiptese de induo, ~ ~ ~ ~ Z n = Q1 ( x) + Q2 ( x)( 2 1 ) n + ... + Qr ( x)( r 1 ) n , onde grau Qi < i para ~ 2 i r e grau Q1 < 1 1. Para terminar a prova, vamos mostrar que se existem polinmios P1 , P2 ,..., Pk tais
n que Yn +1 Yn = P1 (n) + P2 (n) 2 + ... + Pk ( n) kn (onde 1, 2 ,..., k so complexos ~ ~ ~ n distintos e Pi 0, i 2 ) ento Yn = P1 ( n) + P2 (n) 2 + ... + Pk (n) kn , onde ~ ~ ~ P1 ,..., Pk so polinmios com grau Pi = grau Pi para i 2 e grau ~ P1 = grau P1 + 1, por induo na soma dos graus dos polinmios Pi , onde convencionamos que o grau do polinmio nulo 1. EUREKA! N9, 2000

36

Sociedade Brasileira de Matemtica


n (no nosso caso temos i = i 1 , e como X n = 1 Yn o resultado segue imediatamente).

Para provar essa afirmao observamos inicialmente que, se a soma dos graus de Pi 1, ento Yn +1 Yn = 0, n, e logo, Yn constante e, em geral, consideramos 2 casos: a) P1 ( x) = c m x m + c m 1 x m 1 + ... + c 0 , c m 0.
m +1

Nesse

caso

definimos

c n ~ ~ ~ , e temos Yn +1 Yn = Q1 (n) + P2 (n) 1n + ... + Pk (n) kn , com Yn = Yn m m +1 ~ grau Q < m. Por hiptese de induo, Yn (e logo Yn ) da forma desejada. b)
~ Yn = Yn

P2 ( x) = d s x s + d s 1 x s 1 + ... + d 0 , d s 0.
dsns n 2

Nesse

caso,

definimos

~ ~ n , e temos Yn +1 Yn = P1 (n) + Q(n) 2 + P3 (n) 3n + ... + Pk (n) kn , 2 1 ~ com grau Q < s. Por hiptese de induo, Yn (e logo Yn ) da forma desejada.
Exemplo: x n = sen (n ) satisfaz uma recorrncia linear. De fato, x n +1 = sen(n + ) = sen(n ) cos + cos( n ) sen x n + 2 = sen(n + 2 ) = sen(n ) cos 2 + cos( n ) sen 2 sen2 sen2 x n+ 2 cos ) x n , ou seja, x n +1 = (cos 2 sen sen x n + 2 = 2 cos X n +1 X n . Note que x n no parece ser da forma geral descrita nesta seo, mas de fato,
xn = 1 e in e in 1 i n 1 i n 1 = (e ) (e ) = (cos + isen ) n (cos isen ) n 2i 2i 2i 2i 2i

Obs. Se ( x n ) satisfaz Rec (( x 1) P( x)) , onde P ( x) = a n x k + a k 1 x k 1 + ... + a 0 , ento, se definirmos teremos Yn = a k x n + k + a k 1 x n + k 1 + ... + a 0 x n , Yn +1 = Yn , n , ou seja, Yn constante. Assim, a k x n + k + ... + a 0 x n um invariante da seqncia x n , o que uma observao til para muitos problemas olmpicos. Veja o problema 3 da IMO.

EUREKA! N9, 2000

37

Sociedade Brasileira de Matemtica

A sucesso que lhes d origem : f n + 2 = f n +1 + f n , n 0 em que f 0 e f 1 so dados. Ao aplicar o mtodo analisado, considerando f 0 = 0 e
f 1 = 1, obtemos o polinmio caracterstico 2 1 = 0, cujas solues so:

1+ 5 1 5 , 2 = 2 2 Considerando as condies do bordo a soluo geral da equao de Fibonacci (ver [3]): 1 n (1 n ), n 0 fn = 2 5

Observa-se que os valores associados a esta sucesso so todos inteiros. Por exemplo: f 3 = 2, f 4 = 3, etc. Podemos comprovar que, se n converge a infinito
n ento 2 converge a zero, portanto, f n da ordem de 1 , e a frao f n +1 f n converge a 1 .

A equao mencionada do tipo: a k x n + k + a k 1 + ... + a 0 x n = y n , onde a 0 , a1 ,..., a k so constantes e y n satisfaz uma equao homognea de primeira ordem com coeficientes constantes. Supondo que y n satisfaa b y n + + b 1 y n + 1 + ... + b0 y n = 0, onde b0 , b1 ,..., b so constantes, observamos que b (a k x m + + k + ... + a 0 x m + ) + b 1 (a k x m + 1+ k + ... + a 0 x m + 1 ) + ... b0 (a k x m + k + ... + a 0 x m ) = 0, ou seja, temos uma equao homognea de primeira ordem com coeficientes constantes. Pode-se demonstrar que a equao caracterstica da recorrncia : (a k x k + a k 1 x k 1 + ... + a 0 ) (b x + b 1 x 1 + ... + b0 ) = 0.
EUREKA! N9, 2000

38

 D 9 $4 4 % $  A$ 32 (V2

I  72

I " 0  ' 04 $ 4 $ V3I 0 H

A!' r2  $ D 9 D 9  $ "  ' $ 9  I Q   9  $  '  6 !AA7h7 !V !7$

!) (&!&V hzV H r$ 4 2 2 ' 9  4 % $ "  0 $ I 9    I $


1 =

Sociedade Brasileira de Matemtica

Exemplo 1: Considere a seguinte equao de recorrncia 1, se n multiplo de 4, n 1; x n x n 1 = 0, caso contrrio x 0 = 0. 1, se n multiplo de 4, satisfaz a recorrncia. yn = 0, caso contrrio = y n y n + 4 y n = 0, n 0. Assim, ( x n + 4 x n +3 ) ( x n x n 1 ) = 0 x n + 4 x n + 3 x n + x n 1 = 0 e x 0 = 0; x1 x 0 = 0 x1 = 0; x 2 x1 = 0 x 2 = 0; x3 x 2 = 0 x3 = 0; x 4 x 3 = 1 x 4 = 1.

y n+4

A equao caracterstica x 5 x 4 x + 1 = 0 ( x 4 1) ( x 1) = 0 a qual possui as razes 1 (raiz dupla); 1; i ; i. Ou seja, x n = ( An + B ) 1n + C (1) n + D i n + E (1) n , A, B, C, D, E constantes. De fato, considerando as condies de bordo, n 3 ( 1) n (1 + i) n (1 i ) + i + ( i ) n xn = + 4 8 8 8 8 n i n ((1 + i ) + (1) n (1 i )) + ( 1) n 3 xn = + 4 8 n ( interessante notar que, na verdade, x n = .) 4 Exemplo 2: Seja a seguinte equao de recorrncia, que considera logaritmos em base 2: f (n) = 2 f ( n ) + log 2 log 2 n, n 3 f (2) = 1 Neste caso aplicamos uma troca de varivel para ir desta equao a uma equao linear, e poder resolv-la, o qual significa que haver soluo s para os valores de n que tome com este cambio. Este :
EUREKA! N9, 2000

39

Sociedade Brasileira de Matemtica

n = 22 ,

n = 22

k 1

, log 2 log 2 n = k

Ao efetuar essas substituies na equao obtemos: x k 2 x k 1 = k (3) onde: k x k = f (n) = f (2 2 )


x 0 = f (2 2 ) = 1
0

A equao (3) uma equao no homognea. Procedendo como acima obtemos: x k + 2 4 x k +1 + 5 x k 2 x k 1 = 0 cuja soluo considerando a condio do bordo : x k = 2 k + 3 2 k , k 0 Logo, voltando a varivel n original, a soluo final :
f (n) = 3 log 2 n log 2 log 2 n 2, n = 2 2 , k 0
k

A soluo s tem resultados inteiros para os valores de n mencionados. Por exemplo: f (4) = 3, f (16) = 8, etc. Deixamos a prova deste fato como exerccio para o leitor.

EUREKA! N9, 2000

40

Sociedade Brasileira de Matemtica

Uma das tcnicas bsicas para a resoluo de equaes com funes perceber quando ela injetora, isto , quando f (a) = f (b) a = b. Isto particularmente freqente em problemas em que temos equaes do tipo f ( f ( x)) = kx, k 0. De fato, f (a) = f (b) f ( f (a)) = f ( f (b)) ka = kb a = b. "Sabendo que f injetora, podemos provar novas relaes aplicando f dos dois lados da equao". Por exemplo, considere o seguinte problema: (IMO) Seja
+

tal que f ( xf ( y )) = f ( x) y para todo x, y + . f: Para x = 1, temos f ( f ( y )) = f (1) y e da temos que f injetora: f (a) = f (b) f ( f (a )) = f ( f (b)) f (1) a = f (1) b a = b. ( f (1) + , logo f (1) 0). Agora, vamos provar que a funo multiplicativa, isto , que f (ab) = f (a) f (b). Aplicamos f a cada membro da equao, f (1) f ( f (ab)) = ab f ( f (a )) f (1) = f ( f (a) f (b)) = b ab Como os resultados so iguais e f injetora, conclumos que f (ab) = f (a) f (b). Da temos: f (1 1) = f (1) f (1) f (1) = 1 1 1 1 1 1 f a = f (a) f 1 = f (a) f f = a a a a f (a) a 1 f (a) f = f a = b b f (b) Assim, basta construir a funo para os inteiros positivos. Mais ainda, basta defini-la para os primos. Devemos ter f ( f ( p )) = f (1) p = 1 p . Pensando um pouco, sendo p1 , p 2 , p 3 ,... todos os primos, podemos tomar

EUREKA! N9, 2000

41

~ { v p s q n (((r!rp om
+ +

o conjunto dos racionais positivos. Construa uma funo

A VW r As!eAAreA7Ajg g e y b v p y b p iciWsziWici&

Sociedade Brasileira de Matemtica

p n 1 se n par f ( pn ) = 1 p n +1 se n mpar e verificar que a condio inicial satisfeita. (IMO) Determine o menor valor possvel de f(1998), onde f uma funo do conjunto N dos inteiros positivos nele mesmo, tal que, para todo m, n : f (n 2 f (m)) = m( f (n)) 2 .

Para funes de domnio real, podemos utilizar desigualdades para obter igualdades. Por exemplo, considere o seguinte problema. Determine todas as funes f : 2 tais que f (a; a ) = a para todo a e a + b < c + d f (a, b) < f (c, d ) para quaisquer a, b, c, d . Observe, em primeiro lugar, que, para > 0, a+b a+b a+b a+b , f ( a, b) f + , + f 2 2 2 2 a+b a+b f ( a, b ) + (*) 2 2 Logo razovel que f (a, b) = (a + b) 2 . Suponha que existam a 0 e b0 tais que f (a0 , b0 ) (a0 + b0 ) 2. Se f (a0 ,b0 ) > (a0 + b0 ) 2, ento f (a0,b0) = (a0 + b0) 2 + p, p > 0 . Mas f (a 0 , b0 ) (a 0 + b0 ) 2 + p 2 por (*), ou seja, (a 0 + b0 ) 2 + p (a 0 + b0 ) 2 + p 2 p 0, absurdo. Analogamente f (a 0 , b0 ) < (a 0 + b0 ) 2 impossvel. Logo f (a, b) = (a + b) 2 para todo a, b . Podemos utilizar um raciocnio semelhante em diversos problemas que envolvem funes crescentes. s vezes, necessrio obter a desigualdade a partir das 2 condies do problema, muitas vezes, utilizamos relaes como f x 2 = ( f (x ))

( )

para concluir que x 0 f ( x) 0 (basta substituir x no lugar de x na relao anterior). Observe o exerccio a seguir. Seja f uma funo de R em R tal que f(1) = 1, f (a + b) = f(a) +f(b) para todo a, b e f ( x) f (1 x) = 1 para todo x 0. Prove que f ( x) = x para todo nmero real.

EUREKA! N9, 2000

42

 4 3r$ 21 2 0 $

Sociedade Brasileira de Matemtica

fcil ver que f (n) = n para todo n inteiro positivo e de f (0) = f (0) + f (0) f (0) = 0 e f (0) = f (1) + f (1) f (1) = 1, que f ( x) = x para todo x Z . Para verificar este resultado para x , basta utilizar f (1 x) = 1 f ( x). Observamos ainda que f injetora: temos f ( y ) + f ( x y ) = f ( x) f ( x y ) = f ( x) f ( y ). Como f ( x) f (1 x) = 1 f ( x) 0, ento f ( x) = 0 x = 0 e f ( x ) = f ( y ) f ( x ) f ( y ) = 0 f ( x y ) = 0 x y = 0 x = y. Para estender o resultado para R, precisamos obter uma desigualdade (na verdade, s desta forma que poderemos distinguir o conjunto dos racionais do conjunto dos reais. No jargo matemtico, dizemos que R um corpo ordenado completo). Utilizando a observao que precede o exerccio, vamos tentar calcular f ( x 2 ). Se a a 2 , f (a a 2 ) 0 (pois f injetora), logo 1 1 1 1 1 = = f = f + 2 2 2 a 1 a f (a) f (a ) f (a a ) aa 1 1 1 1 = f + f + f ( a 2 ) = ( f (a )) 2 , = a 1 a f (a ) f (1 a ) que vale tambm quando a = a 2 a = 0 ou a = 1. Agora, observando que a > b a b > 0 f (a b) > 0 f (a ) > f (b), conclumos verificando que, por exemplo, se f ( x 0 ) > x 0 para algum x 0 , que se f ( x 0 ) < x 0 ento existe um q tal que f ( x 0 ) > q > x 0 . Porm q > x 0 f (q ) > f ( x 0 ) q > f ( x 0 ), o que absurdo. O caso f ( x 0 ) < x 0 anlogo, o que termina o problema. tais que f ( x 2 + f ( y )) = y + f ( x) 2 .

Dica: Prove que f ( x 2 ) = ( f ( x)) 2 e que f ( x + y ) = f ( x) + f ( y ), para x 0 e y , ento conclua. Se voce no conseguir concluir, puxa!! Voc passou muito perto da resoluo. (IMO) Encontre todas as funes f, definidas no conjunto dos reais no negativos e assumindo valores reais no negativos, tais que: i) f ( xf ( y )) f ( y ) = f ( x + y ) para todo x, y 0 ii) f (2) = 0
EUREKA! N9, 2000

43

(IMO) Encontre todas as funes f :

# 3r # 3r

Sociedade Brasileira de Matemtica

iii) f ( x) 0 para 0 x < 2 Dica: x 2 y x 2 f ( y ). Incrvel, no? Muitas vezes, til considerarmos os pontos fixos de uma funo, isto , pontos x tais que f ( x) = x. Para mostrar que esta simples considerao leva, muitas vezes, soluo do problema, observe abaixo o seguinte exemplo: (IMO) Seja S o conjunto dos reais maiores que 1. Encontre todas as funes f : S S satisfazendo as condies i) f ( x + f ( y ) + xf ( y )) = y + f ( x) + yf ( x), x, y S ii) f ( x) x estritamente crescente para 1 < x < 0 e x > 0. Para x = 0, temos f ( f ( y )) = y (1 + f (0)) + f (0), donde conclumos que f injetora. De f ( f (0)) = f (0) e da injetividade de f, conclumos que f (0) = 0. Seja x 0 um ponto fixo de f. Sabemos da condio ii) que h no mximo um ponto em cada um dos intervalos (1; 0) e (0; + ). Substituindo x = y = x 0 em i),
2 2 encontramos f x 0 + 2 x 0 = x 0 + 2 x 0 . 2 + 2 x 0 (1;0), logo x 0 + 2 x 0 = x 0 , absurdo. Analogamente, Se no h pontos fixos em (0;+). Assim, 0 o nico ponto fixo de f. Substituindo x = y em i), temos f ( x + f ( x) + xf ( x)) = x + f ( x) + xf ( x), ou seja xf (x) ponto fixo e, portanto, igual a 0, logo f ( x) = x (1 + x), que satisfaz i) e ii). 2 x 0 (1;0), x 0

(IMO) Encontre todas as funes f definidas no conjunto dos reais positivos e assumindo valores neste conjunto e que satisfaz as condies: i) f ( xf ( y )) = yf ( x) para todo x, y * ; + ii) f ( x) 0 quando x +.

f ( f ( x)) = x 2 1996. Dica: utilize pontos fixos, mas utilize mesmo!

(IMO) Seja N 0 o conjunto dos inteiros no negativos. Encontre todas as funes f : N 0 N 0 tais que f (m + f (n)) = f ( f (m)) + f (n), m, n N 0 . Dica: considere o menor ponto fixo da funo.

EUREKA! N9, 2000

44

WWWuiW&Weice3&si

(Torneio das Cidades) Mostre que no existem funes f :

# 3r

# 3r

# 3r

(5

tais

Sociedade Brasileira de Matemtica

O comit editorial da sente-se gratificado pela acolhida desta nova seo por parte dos seus leitores. Aproveitamos a oportunidade para agradecer aqueles que nos enviaram sugestes, opinies, crticas e principalmente solues para os problemas. Cumpre informar, aos leitores, que por uma questo de espao fsico as solues de todos os problemas propostos, em um exemplar de , no podero ser apresentadas no nmero posterior ao daquele em que foram publicados visto que a revista possui outras sees de grande interesse do pblico em geral. Entretanto, as mesmas sero divulgadas nos nmeros posteriores medida que os leitores as enviarem. Se houver interesse mais urgente na soluo de algum problema especfico, solicitamos contactar a OBM, seo , atravs de carta ou e-mail.

Primeiramente vamos aos problemas propostos deste nmero

an =

33. Seja n um nmero natural tal que 2n 2 possui 28 divisores distintos e o nmero 3n 2 possui 30 divisores distintos . Qual o nmero de divisores do nmero 6n 2 ? 34. A seqncia (a n ) , n 0 tal que a 0 = 1 , a100 = 0 , e para todo n 1 , tem-se que a n +1 = 2a1 a n a n 1 . a) Mostre que a1 1 . b) Determine a1996 Seja d (n ) o maior divisor mpar de um nmero natural n .
     " !

2n Definamos uma funo f : N N tal que f (2n 1) = 2 n e f (2n ) = n + d (n ) para todo n N Determine todos os valores de k tais que f ( f (... f (1)...)) = 1997 onde f iterada k vezes.
EUREKA! N9, 2000

35.

     (R

 #     " !

32.

A seqncia

(a n ) ,

n N* verifica as relaes a1 =

a n 1 para todo nmero natural n > 1 . Calcule a1 + a 2 + + a1998 . 2na n 1 + 1

45

!!Xjz  !!h

!Vo

!V

!5W7 X g&!  
     (R

1 e 2

Sociedade Brasileira de Matemtica

36. Seja PQRS um quadriltero inscrito num crculo e cuja medida do ngulo PSR seja igual a 90 o . Se H e K so os ps das perpendiculares baixadas de Q sobre PR e PS respectivamente (convenientemente prolongados se necessrio). Mostre que HK divide QS ao meio. 37. Os algarismos de um inteiro positivo A em sua representao no sistema de numerao decimal crescem da esquerda para a direita. Determine a soma dos algarismos do nmero 9 A 38. Para um hexgono convexo ABCDEF cujos lados possuem todos medidas iguais a 1, determine o valor mximo M e o valor mnimo m das diagonais AD , BE e CF e seus possveis conjunto de valores. 39. Determine todos os inteiros positivos m tais que a quarta potncia do nmero de seus divisores positivos igual a m . 40. Mostre que existe um nmero inteiro positivo na seqncia de Fibonacci que divisvel por 1000 . 41. Seja P * o conjunto de todos os nmeros primos mpares menores do que 10000 . Determine todos os nmeros primos p P * tal que para cada subconjunto S de P * digamos, S = {p1 , p 2 , ... , p k } , com k 2 , sempre que p S , existe algum q em P * , mas no em S tal que q + 1 um divisor de ( p1 + 1)( p 2 + 1) ( p k + 1). 42. As alturas de um tringulo acutngulo intersectam os lados BC , AC e BC nos pontos D , E e EF intersecta BC no ponto P e a reta que passa por intersecta AC e AB em Q e R respectivamente, seja N BC tal que NQP + NRP < 180o . Prove que BN > CN .
R Q 5"% H 3 2 2 2 10 ( ) ' ) P"IF 5 % 3 2 2 2 10 ( ) ' ) !GF  % 3 2 2 2 10 ) E ( C "!) DB % 3 2 2 2 10 ) E ( C "!) DB 8 % 7 3 2 2 2 10 A @ 9 !) % 3 2 2 2 10 ' 6 6 4 ") !5 % %

43.
2

x 3 px p = 0 possui duas razes reais distintas x1 e x 2 .


2 a) Prove que 3 px1 + x 2 p > 0 .

EUREKA! N9, 2000

3 2 2 2 10 'B T ") DS C

3 2 2 2 10 ) ' & ( 

ABC onde AB > AC F respectivamente. Se D e paralela a EF um ponto sobre o lado

Seja

um

parmetro

real

tal

que

equao

46

Sociedade Brasileira de Matemtica

b) Determine o menor valor possvel de A = Quando ocorre a igualdade ?

p2
2 3px1 + x2 + 3p

2 3px2 + x1 + 3p

p2

44. Determine o menor nmero natural n tal que a soma dos 2 quadrados de seus divisores (incluindo 1 e n ) igual a (n + 3) . 45. Seja M o ponto mdio do lado BC de um tringulo ABC no o qual CAB = 45 e ABC = 30 o . a) Determine AMC AB BC b) Prove que AM = 2 AC 46. Sejam M um ponto do interior de um quadrado ABCD e A1 , B1 , C1 e D1 os pontos de interseo de AM , BM , CM e DM respectivamente com o crculo circunscrito ao quadrado ABCD . Mostre que A1 B1 C1 D1 = A1 D1 B1C1 . f ( f (x ) + y ) = f x 2 y + 4 f (x )y para todos os nmeros reais x e y . 48. Em um tringulo ABC a bissetriz do ngulo BAC intersecta o lado BC no ponto D . Seja um crculo tangente a BC no ponto D e que passa pelo ponto A . Se M o segundo ponto de interseo de AC com e se BM intersecta o crculo em P , mostre que AP uma mediana do tringulo ABD . 49. Determine o menor nmero natural que pode ser obtido colocando-se parntesis na expresso 15 : 14 : 13 : 12 : 11 : 10 : 9 : 8 : 7 : 6 : 5 : 4 : 3 : 2 50. A mdia aritmtica de uma quantidade de nmeros primos distintos igual a 27 . Determine o maior nmero primo que aparece entre eles. 51. produto
% 3 2 2 2 10 ) W ) ` C 6 U ) W U & W 6 ) C V 4 9 U "YdA Ywc!PsW ' ! % 3 2 2 2 10 ) W ) ` C 6 U ) W U & W 6 ) C V 4 9 U "aA Y b5oW ' !! % 3 2 2 2 10 ) W ) ` C 6 U ) W U & W 6 ) C V 4 9 U "aA YeX5WW ' ! % 3 2 2 2 10 @ "B % 3 2 2 2 10 'B T ) DS C R Q "% R Q "% 3 2 2 2 10 'B T ") DS C R Q %

47.

EUREKA! N9, 2000

3 2 2 2 10 'B T ") !S C

3 2 2 2 10 @ "B

Determine todas as funes

f : R R que satisfazem a

Mostre que para todo nmero natural n o

47

Sociedade Brasileira de Matemtica

2 2 2 2 4 4 4 4 1 2 3 n

um inteiro. 52. As tangentes dos ngulos de um tringulo so inteiros positivos. Determine estes nmeros. 53. Determine todas as funes estritamente crescentes f : N* N* tais que f (n + f (n )) = 2 f (n ) 54. Seja O o centro do crculo circunscrito ao tringulo ABC . Se P e Q so os pontos mdios de AO e BC respectivamente, determine a medida do ngulo OPQ se CBA = 4 OPQ e ACB = 6 OPQ .
% 3 2 2 2 10 ' ( f ` C 6 ") !YdA Y % % 3 e 2 2 10 ) & ( ) 9 6 "Y 3 2 2 2 10 ' ( hg 6 ) !iY 3 2 2 2 10 ' ( hg 6 ") !iY R R V 6B UgU q rsY rg V 6B UgU q DrY rg % % 3 e 2 2 10 ) & ( ) 9 6 "!Y

55.
3

x + 9 xy + 127 = y .
3

56. Determine todos os valores de a tais que o valor absoluto de uma das razes da equao x 2 + (a 2 )x 2a 2 + 5a 3 = 0 seja igual a duas vezes o valor absoluto da outra raiz. 57. Sejam O1 e O2 os centros de dois crculos que no se intersectam e de mesmo raio. Se s a reta que passa pelos seus centros e t sua tangente comum externa, considere um crculo tangente aos dois crculos nos pontos K e L e tambm tangente s retas s e t nos pontos M e P respectivamente. Determine a medida de O1O2 . Mostre ainda que os pontos M , K e N esto alinhados onde N o ponto de tangncia da reta t com o primeiro crculo. 58. 150 bolas de encher (bexigas) vermelhas , 150 azuis e 150 verdes flutuam sob o teto de um circo. Existem exatamente 13 bolas verdes dentro de cada bola azul e exatamente 5 bolas azuis e 19 bolas verdes dentro de cada bola vermelha. Mostre que algumas bolas verdes no esto contidas no interior de nenhuma das outras 449 bolas. 59. Todos os nmeros inteiros positivos no superiores a 100 so escritos em ambos os lados de 50 cartas (cada nmero escrito exatamente
EUREKA! N9, 2000

3 2 2 2 10 S !DB

3 2 2 2 10 S "DB

3 2 2 2 10 ' ( f ` C 6 ") !YdA Y p % %

Determine todos os inteiros x e y que satisfazem equao

p "%

48

Sociedade Brasileira de Matemtica

uma vez). Estas cartas so postas sobre uma mesa de modo que somente os nmeros que estejam virados para cima podem ser vistos. Gustavo pode escolher vrias cartas, vir-las e ento calcular a soma de todos os 50 nmeros que aparecem agora. Qual o valor mximo da soma S tal que Gustavo pode com certeza obter uma soma no inferior a S ? 60. Trs mgicos apresentam um truque entregando a uma pessoa da platia um mao de cartas numeradas com 1,2,...,2n + 1(n > 6). O espectador fica com uma das cartas e aleatoriamente distribui as restantes entre o primeiro e o segundo mgicos (cada um deles fica com n cartas) . Estes olham suas cartas (sem se comunicar um ao outro) e cada um escolhe duas cartas formando um mao (ordenado) com estas cartas e as entrega ao terceiro mgico. O terceiro mgico olha estas quatro cartas e anuncia a carta que ficou com o espectador. Explique como este truque pode funcionar.
R p "% 3 2 2 2 10 S "DB V 6B UgU q DrY rg

Agora vamos aos comentrios e solues dos leitores para alguns dos . O critrio por ns problemas apresentados no nmero anterior de adotado para este nmero foi apresentar as solues dos problemas que foram, at o presente momento, resolvidos pelo maior nmero de leitores. 4. Em um tringulo ABC , D o ponto mdio de AB e E um ponto do lado BC tal que BE = 2 EC . Sabendo que ADC = BAE determine a medida do ngulo BAC . Enviaram solues Einstein do Nascimento Jnior (Fortaleza-CE), Geraldo Perlino Jnior (SP) e Diego Alvarez Arajo Correia (Fortaleza-CE). Sejam = ADC = BAE e P = AE CD e tracemos pelo ponto D uma reta paralela a AE e que intersecta o lado BC no ponto Q . Como EC = EQ e DQ // PE ento AP = PD . Da, PD = PA = PC e seja PCA = PAC = logo, PCA + PAC + PAB + PDA = 180 o 2 + 2 = 180 o + = 90 o . 7. Existem nmeros de n algarismos M e N onde todos os algarismos de M sejam pares, todos os algarismos de N sejam mpares, cada um dos algarismos de 0 a 9 ocorrendo exatamente uma vez entre M e N e tais que M divide N ?
EUREKA! N9, 2000

49

t w u vyxvt

t s r q f n m e k j f e apigpio!!lbidhgdb!

3 e 2 2 10 A ' ( A ' U P"!E !b!( 

3 e 2 2 10 ' 6 6 4 ) 

Sociedade Brasileira de Matemtica

Enviaram solues com comentrios sobre um possvel erro no enunciado: Diego Alvarez Arajo Correia (Fortaleza-CE) e Marclio Miranda de Carvalho (Teresina PI).
v w ~  ~ | { ~ { ~  } vw  ~ } | { v z y xw v o!iyphiidib!u

M | N M K = N absurdo!
par mpar

Concluso : No existem M e N que satisfaam s condies do problema Marclio tambm observou que como a Rssia tem grande tradio em IMOs deveria haver um erro no enunciado e que o mesmo possivelmente deva ser : ... e tais que N divide M apresentando a seguinte soluo para o novo enunciado : M 0 + 2 + 4 + 6 + 8 2(mod 9 ) N 1 + 3 + 5 + 7 + 9 7(mod 9 )
N | M N K = M 7 K 2(mod 9) K 8(mod 9 ) K 8.

Mas N 13579 N K > 105 M possui mais de 5 algarismos. Concluso : No existem M e N que satisfaam s condies do problema. O volume de um paraleleppedo 216cm 3 e a sua rea total 8. 216cm 2 . Mostre que o paraleleppedo um cubo. Enviaram solues Einstein do Nascimento Jnior (Fortaleza-CE), Geraldo Perlino Jnior (SP), Jos Guilherme Moreira Pinto (Juiz de Fora - MG) e Diego Alvarez Arajo Correia (Fortaleza-CE).
~ |   v v ~  |  ~ w v | | { v z y xw v 5!iybiyIiyi!yb!u % 3 e 2 2 10 ' ( f A ) x

Sejam a , b e c as medidas das dimenses do paraleleppedo. Pelo enunciado tem-se : abc = 216 e ab + ac + bc = 108 . ab + bc + ac 3 Como MA MG , ab bc ac ento 3 108 3 2 2 (abc ) = 3 (216 ) = 36 36 36 . Como ocorre a igualdade, temos que 3 ab = bc = ca a = b = c .

EUREKA! N9, 2000

50

Sociedade Brasileira de Matemtica

Enviaram solues Marclio Miranda de Carvalho (Teresina PI) e Geraldo Perlino Jnior (SP). Seja p um nmero primo mpar, ento f (2 p ) = f (2 ) f ( p ) . Como, f (2 p ) = f ( p ) + f ( p ) = 2 f ( p ) f (2) = 2 Alm disso, f (4) = f (2) + f (2) = 4 f (12 ) = 4 f (3) . Por outro lado
f (12 ) = f (7 ) + f (5) f (12) = 2 f (2 ) + f (3) + f (2 ) + f (3) = 6 + 2 f (3) f (3) = 3 .
v w ~  ~ | { ~ { ~  } vw  ~ } | { v z y xw v o!iyphiidib!u

Finalmente, Mas, 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
!Y% R p

f (5) = f (2) + f (3) = 5 f (15) = 15 f (13) = 13 f (26) = 26 f (23) = 23.

14.

1 1 f ( x ) + f = x para todos x R\ {0}. x x

Enviaram solues Marclio Miranda de Carvalho (Teresina PI) e Geraldo Perlino Jnior (SP). Seja a R com a 0 . Fazendo x = a e x =
1 a f ( a ) + f a 1 = a

EUREKA! N9, 2000

 v v w  | v {w ~  | | { v z y xw v dphbi!i!iIb!u

3 2 2 2 10 )

13.

Mostre que f (2) = 2, f (3) = 3 e f (1999) = 1999 .

3 2 2 2 10 ) E ( C "!) DB

Uma funo f : N N satisfaz s condies :

f (ab ) = f (a ) f (b ) se o mximo divisor comum de a e b 1,

f ( p + q ) = f ( p ) + f (q ) para todos os nmeros primos p e q.

Determine todas as funes f : R\ {0} R satisfazendo

1 na equao dada temos a

. Resolvendo-se o sistema

51

Sociedade Brasileira de Matemtica

formado por estas duas equaes chegamos a .


3 2 2 2 10 )

() = 1 2 + 1 2

e portanto,

BC

Enviaram solues Einstein do Nascimento Jnior (Fortaleza-CE), Geraldo Perlino Jnior (SP) e Diego Alvarez Arajo Correia (Fortaleza-CE) .
 v v | ~ v { | | { v z y xw v pigpio!!lbidhgdb!u

Seja e Temos ento que ento resultando em


MNB = 180

19. Duas cordas e de um crculo intersectam-se no ponto . O ponto divide o arco em duas partes iguais. Se e , determine a medida da corda .
K

EUREKA! N9, 2000

v w ~  ~ | { ~ { ~  } vw  ~ } | { v z y xw v o!iyphiidib!u

3 2 2 2 10 ' ( "P) !

'g

"%

17.

3 2 2 2 10 ' ( B ") !W

!Y% R p

15.

Dois crculos intersectam-se em dois pontos e . Um ponto qualquer do primeiro crculo, distinto de e , unido aos pontos e de modo que as retas e intersectam novamente o segundo crculo nos pontos e . Mostre que a tangente ao primeiro crculo em paralela a .
M N M N M AM AN B C A

o q

: um ponto sobre a tangente ao primeiro crculo em . e como o quadriltero inscritvel e da .


A

Mostre que o nmero

composto.

AB

CD

AD

52

Sociedade Brasileira de Matemtica

Enviaram solues Marclio Miranda de Carvalho (Teresina PI), Einstein do Nascimento Jnior (Fortaleza-CE), e Geraldo Perlino (SP) e Geraldo Perlino Jnior (SP).
v w ~  ~ | { ~ { ~  } vw  ~ } | { v z y xw v o!iyphiidib!u

Seja semelhantes logo,


ABD =

ADK

ento tem-se que os tringulos

ABD

so

supondo que

Enviaram solues Marclio Miranda de Carvalho (Teresina PI), Einstein do Nascimento Jnior (Fortaleza-CE), Geraldo Perlino Jnior (SP), Diego Alvarez Arajo Correia (Fortaleza-CE) e Gibran Medeiros de Souza (Natal-RN).
v w ~  ~ | { ~ { ~  } vw  ~ } | { v z y xw v o!iyphiidib!u

expresso

em um quadro negro. Em cada passo, escolhemos dois destes nmeros, digamos . Continuamos desta a e b, e os substitumos pelo nmero
EUREKA! N9, 2000

22.

3 2 2 2 10 ' ( f ` C 6 ") !YdA Y

21.

3 2 2 2 10 ' ( hg 6 ") !iY

Determine o valor da expresso

. Logo o valor da

Inicialmente os nmeros

so escritos

53

Sociedade Brasileira de Matemtica

maneira at que reste um nico nmero no quadro negro. possvel que este nmero seja 2000 ? Justifique sua resposta. Enviaram solues Einstein do Nascimento Jnior (Fortaleza-CE) e Geraldo Perlino Jnior (SP).
| y ~ ~ { ~ v v ~ | { v z y xw v ~ { v x 5phg!bhi!Y!piip|

Seja . fcil ver que e e portanto podemos escolher os nmeros em qualquer ordem. Calculemos os resultados ento na ordem dada :
a b = a + b + ab a b = b a

Deste modo vemos que ns sempre alcanaremos alcanar .


2000

1999

no podendo ento

42) Suponha que a, b e c so as medidas dos lados de um tringulo ABC, com


EUREKA! N9, 2000

iici&egcsW8&W &isi&
D l D"  Y
54

Sociedade Brasileira de Matemtica

semi-permetro p e rea S, verifique que

e mais ainda: verifique que a igualdade acima ocorre apenas se o tringulo for equiltero.
w ygid| ~  | w | { v i!hIidgx !ib!u vw |  ~ } | { v z y xw v

Sejam x = a + c b y = a + b c z = b + c a Pela Desigualdade Triangular temos que x > 0, y > 0 e z > 0. Assim, isoloando a, b e c: a = x + y b = y + z c = z + x Pela Desigualdade entre as Mdias Aritmtica e Geomtrica temos: , e (1) Vamos desenvolver agora o valor de para isso o resultado (1): em funo de x, y e z, usando

Pela Desigualdade de Cauchy podemos afirmar que . Fazendo ento , e (2) Calculando em funo de x, y e z obtemos: conclumos que:

Assim, usando o resultado (2):

EUREKA! N9, 2000

55

Sociedade Brasileira de Matemtica

1 + a

1 + b

1 c 2

(3)

Como nas duas desigualdade usadas a igualdade vale se e s se os termos so iguais, ento temos a igualdade na desigualdade (3) s e s se a = b = c.

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

Se 2p + 1 tambm primo, temos:

No podemos ter k = 1, pois primo.

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

EUREKA! N9, 2000

~ |w ~  lpgpv

~ x  ~ } ~ | w | ~ | { v z y xw v pypgi!!yb!u

x |  ~   v |w | { v z y xw v iyiiy!yb!u | ~ ~ { x | 5gipu |  ~ ~  |  5gi!i!ii

par para todo

Assim,

Sociedade Brasileira de Matemtica

Seja A o produto de dois nmeros inteiros positivos consecutivos. Isto implica que onde . Observe que: - Caso x seja par temos:
x Z

(Esta desigualdade fcil de ser vista) - Caso x seja mpar temos: (Logo x + 1 par) (desigualdade fcil de ser vista) Analizando os casos vemos que A est entre dois produtos consecutivos de dois inteiros pares consecutivos positivos. Logo conclui-se que no possvel que o produto de dois inteiros positivos seja igual ao produto de dois inteiros positivos consecutivos pares. i) Prove a existncia de dois conjuntos infinitos A e B, no necessariamente disjuntos, de inteiros no negativos tais que cada inteiro no negativo pode ser representado de uma nica forma como a + b, com a A e b B. ii) Prove que em cada tal par (A, B), ou A ou B contm apenas mltiplos de algum inteiro k > 1.
u vw x ~ v z ipc!u | ~ ~ w u v  | x | { v z y xw v !yhbgibyb!u Q %
46)

i) Todo natural se escreve da maneira nica como soma de potncias de 2 distintas, donde os conjuntos se escreve como soma de potncias de 2 distintas com expoente mpar} e se escreve como soma de potncias de 2 distintas com expoente par} satisfazem as condies do enunciado (note que e ii) 0 deve pertencer aos dois conjuntos, e 1 a exatamente um deles (seno 1 = 0 + 1 = 1 + 0 seria representado de 2 formas distintas), digamos ao conjunto B. Seja k o menor elemento positivo do conjunto A. fcil ver que {0, 1, ..., k 1} B. Vamos provar que o mdc dos elementos de A k. Para isso, vamos mostrar por induo que para cada inteiro positivo m, existem
0 A

inteiros

r 1

,...,

r s

tais que

elementos de A menores que mk so mltiplos de k. Consideremos o inteiro mk.


EUREKA! N9, 2000

3 2 2 1 ) ' C W ig )

e todos os

57

"l hcY " Y  i "x "YGb  Y  b 

iici&egcsWW&
p R p "% 3 Y xA C Yo@ % 0 ) A 3 0 ) C ) B A Y(U rg ! % 3 8 0 ) C ) B A Y(U rg ! % 3 (6 ' !! C  % 0 C A 9 ' 3 0 C )g)  rs % 3 0 ) C ) B A Y(U rg ! % 3 (0 ) ' 6 U p !( D5 % B U 3 Y ) !x l"% 0 ' 9 C 8 R 3 0 )B A U E lD!! ' 8 q DB ( ' DYoE Dp A C B U Q A CR ) B U ) 6 A ' U ) 6 A VB C 8 rg R!D) U ) BA !4 rdx ox( i( Y ' ( Ag ( U p ' W 6 ) A E ' Ug6 ' B!iW YY C` ' p ig V !A D Ag ' ) )R E A B U C 6 C B ) ) A D!V U E q ( )B ' A g ' A 4 ) B ' ) ' rd( YoDaDYB D  ) A & A 6 C U A S ' R W p A Yf  A E h) ' !9 A RE Y8 ( A C U A C ) `6 Ag ' ) ' UB A U B U rd( YDB Dx!& C ' !A 6

| { v z y ~  v ~w v ~ | | y xw v ~ { v | v ~ v | | { ~  5Yb!i!o!!io!b!Yigb!iy

EUREKA! N9, 2000

Ele deve ser escrito de maneira nica como soma de um elemento de A com um elemento de B. Se podemos escrever os elementos mk A, Como soma de um elemento de A(mk) com um elemento de B (pertencente a Se podemos escrever com e Devemos ter Se por hiptese de induo, pertencem a B , donde, para soma de elementos de A e de B menores que mk, donde nenhum dos pertencem a A nem a B (pela unicidade da representao, seno poderamos escrev-los como ou o que prova a afirmao para m + 1. Se Queremos mostrar que para pertence a B (e logo no pertence a A), provando a afirmao para Suponha o contrrio, e considere o menor j com tal que mk + j no pertence a B. Devemos ter mk + j = x + y, com e Se e donde por hiptese de induo, e contradizendo a unicidade. Se como pertencem a B (e portanto no pertencem a A), devemos ter e mas nesse caso teramos contradizendo novamente a unicidade.

mk

mk

mk

mk

,...,

mk

rk

j ,

<

Sociedade Brasileira de Matemtica

mk

58
+ A j , \ { 0 } m y + 1 B . . ( m r ) k B

Sociedade Brasileira de Matemtica

47) Dada uma circunferncia , trace as tangentes a ela por um ponto exterior, A, tocando-a em M e N. Trace a reta r passando por A e tocando em B e C. Se , prove que a bissetriz de D o ponto mdio de
G G MN MN BDC .

48) Doze pintores vivem em doze casas construdas ao longo de uma rua circular e so pintadas ou de branco ou de azul. Cada ms um dos pintores, pegando consigo bastante tinta branca e azul, deixa sua casa e caminha ao longo da rua no sentido anti-horrio. Desta forma, ele repinta cada casa (iniciando na sua) com a cor oposta. Finaliza o trabalho to longo repinte alguma casa branca de azul. Em um ano, cada casa estar pintada com a sua cor original sabendo que, no comeo do ano, ao menos uma casa estava pintada de azul. 49) Dado um polgono regular de n lados. Assinale aleatoriamente, no seu interior, um ponto M. Sendo distncias de M a cada um dos lados, verifique que: onde a a medida do lado do poligono. 50) Calcule o determinante: as

x 1

x 2

,...,

x n

Onde MDC (a, b) o mximo divisor comum de a e b. 51) Trs feirantes foram vender melancias. Um levou 10; outro 16; o terceiro, 26. Todos venderam algumas melancias pelo mesmo preo at o meio dia. Depois disso, os trs baixaram o preo, mas continuaram vendendo por preos iguais. Quando voltaram para casa, aps venderem todas as melancias, cada um tinha a mesma quantia de dinheiro; 35 mil cruzeiros. Por quanto foi vendida cada melancia antes e aps o meio-dia?
% q 3R 0 C ) g ) "(rs R xl5A Drs!!D9 6 U A 8 q 6 C B ) B A 9 6 A g 6 A 9 A B % WU WxU !D!yYV% bU rg ! iU S D!8 6 ' 2 6 ) C V A B 9 U 3 0 ) Cp) B A )g6 A 6 ' B E A R U SB D!A !rs!!D B A 9 6 Ag6 A 9 AB 9 1 U e 6 ) C V AB 9 3 0 ) C ) B A xU "YAxU rg ! Y C` ' xiaYA xW ) U 6 Ug ( A C U U E 6 ) 6 CB ) B A Ag6 A 9 AB 9 ) C V AB A D !9 rs!GxU !DY
Amarsio da Silva Arajo Alberto Hassen Raad
EUREKA! N9, 2000

 eciiW&Wiic&WWii
(UFV) (UFJF) 59

Viosa - MG Juiz de Fora - MG

Sociedade Brasileira de Matemtica

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

EUREKA! N9, 2000

60

Sociedade Brasileira de Matemtica

Colgios (Preencher com letra de forma)

Instituio: Diretor: Endereo: Bairro: Cidade: Cep: Telefone: ( Fax: ( e-mail:


3 3

) )

Professor Responsvel: Endereo: Bairro: Cidade: Cep: Telefone: ( Fax: ( e-mail:

) )

Para seguir participando Olimpada Brasileira de Matemtica, uma cpia desta ficha deve ser preenchida e enviada para a Secretaria da Olimpada Brasileira de Matemtica pelos colgios ainda no recadastrados.

EUREKA! N9, 2000

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

Pblica

Privada

Estado:

Estado:

61

Potrebbero piacerti anche