'0 d0 0 d 0h G Sh G SG e S' Sd

 9% &&6%96"6%B !E !$ $5E5$  !2 4 5E oB"31 86"  # 2  $2   1| $ S"6"67""2  # 2 $2   1| $2 5  zF  S""67"89""98" 5EF 1 5 $5$  5 42 ! 67%9969 "71 8 P Qe8Sh0SS0Sg T0"ASiwaS930W SY SA 0SwWI 0wU030)0S~P}W Y0%%0P wT0 t i H WW Wm P IP ` TP H uh IP Ugv j fX` X IW  | { 1  5  E y     ! #  ! # F 1  z E oF!9%76D96F 6"c 986 !B "2 9w93&F y WY 7W YX0A03PY 0Sx 0PSY0wvP S f` fYS 87Y S7SU S7303W 0YY"p0SSU wf%SU 0YS7Y0Yf e f P Ug q T U f X ut W fs V fW Ug TPX rhWq I p X TWXP e gXP  1$#( #E 1 5 ! 4B !$2 A"9&SD98&7"8"DDo"2 6E " W S`iwX8W S0"A0SSg iwXSlUkjS8&0wPI 0Sw07P SS"7Y0Yf T In fW m UgW I i h U IW T`W H gXP d$%9S6$w$98 ! 6"6"C&& "698B E # $E $2  c F5 $#E QPI YS9S7S%7S0W YS0 fXW P `  !# $2 !$# 1   F5 $ &c 9Sp%&C 9SA%"6# !E
&

y x utr wv6)sq h Sd G Sd d Sd G ' XPg T`XU e U XW V TR I pS0 fW SiS7%030U SSQP"H  !#@ 1# 1 5 E !BE$# ! 5 42 !  B 987"687 6&98E C6 "71 8S! )( XPg T`XU 0SS fW SY0e  766 "3 !1 %0"c !  1  5  5 42  ! XW V TR I 030U SSQP"H  766 "3 !1 %0"c !  1  5  5 42  ! XU a TPX U XW V TR I 0SbY0` SY7%030U SSQP"H F"6E%9BD65CB !9#8@A1"9#87656 "3 !1 %0)( 1  5 42  ! $ !   &%# "   

Sociedade Brasileira de Matemtica

Este nmero da Eureka! contm as provas das competies internacionais de que participamos na primeira parte do ano 2000: a Olimpada de Maio, a Olimpada do Cone Sul e a Olimpada Internacional de Matemtica. Estas provas fornecem material que pode (e deve) ser usado na preparao para a Terceira Fase da Olimpada Brasileira de Matemtica. Na seo de artigos, com prazer que publicamos artigos de novos colaboradores da Eureka!. Destacamos o artigo do Prof. Jos Rosales Ortega, da Costa Rica, que esperamos d incio a uma colaborao intensa com professores de outros pases, igualmente dedicados disseminao da matemtica entre os jovens. Neste nmero inauguramos uma nova seo, Olimpadas ao Redor do Mundo, organizada pelo Prof. Antnio Luiz Santos, que trar problemas de Olimpadas realizadas em outros pases. Esta seo se junta de problemas propostos no objetivo de fornecer ainda mais material para treinamento e desenvolvimento individual. Aproveitamos para registrar, com satisfao, um grau cada vez maior de participao de nossos leitores. Temos recebido um nmero crescente de solues para os problemas propostos, alm de sugestes de novos problemas. Obrigado a todos que tm colaborado!

EUREKA! N8, 2000

s 
Comit Editorial
2

Sociedade Brasileira de Matemtica

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

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

Sabemos que 16 n 6(mod 10), pois 6 n 6(mod 10). Assim o dgito das unidades ser sempre 6. Temos ento: 2 4 n 6(mod 10) 2 4 n 2 4 k (mod 10.000) pois (10.000,2 4 n ) = 2 4. Temos que 2 4 k 6(mod 10) k = 5q + 1. 2 4 n 2 4 (5q + 1)(mod 10.000) 2 4 n 10(8q + 1) + 6(mod 10.000)

EUREKA! N8, 2000

p)l6&" &Q)C l&&pi  ~sC   % d  !E !   !$|  5 c E !#  $ B  5  F  %  9o%w# 96&&6E "S8696D698"
3

6 & S&& 6

k&&&8&A&88 8 & 8868&& &&&k& 8 sC 88 8 C 6&

6&666%&%66  1|$ 7""2 % % % %

Sociedade Brasileira de Matemtica

Temos que 8q + 1 deve ter dgitos maiores ou iguais a 6. Em particular, 8q + 1 termina por 7 ou 9. Temos ento as seguintes possibilidades para os seus ltimos 3 dgitos: 999, 997, 987, 977, 887, 877, 777. Os nicos que so da forma 8q + 1 so 977 e 777. Como 25 divide 7776, 16n no termina em 77776 nem em 97776. 16 n 87776(mod 10 5 ) 16 n 987776(mod 10 6 ). Como 27 divide 987776, 16n no termina em 9987776. Como 26 divide 99776, 16n no termina em 999776 16n tem no mximo 6 dgitos, e basta verificar os casos. Como para nenhum caso haver soluo, 16 n nunca descendente.

Em um tabuleiro 8 8 distribumos os inteiros de 1 a 64, um em cada casa. A seguir, colocam-se sobre o tabuleiro fichas quadradas 22, que cobrem exatamente quatro casas (sem superposio) e de modo que os quatro nmeros cobertos por cada ficha determinem uma soma menor que 100. Mostrar uma distribuio desses inteiros que permita colocar o maior nmero de fichas, e demonstrar que no possvel obter uma distribuio que permita colocar mais fichas.

Sabemos que o somatrio dos nmeros sobre os quais colocamos fichas dividido pelo nmero de fichas deve ser menor que 100. Logo se preenchessemos todo o tabuleiro (com 16 fichas): (64 + 1)64 1 + 2 + 3 + ... + 64 32 65 2 100 100 100 130 100. Absurdo! 16 16 16 Ento a cada ficha a menos que colocamos devemos tirar o maior somatrio de nmeros sem estar preenchidos, pois assim a razo anterior vai ser mnima. A cada ficha que retiramos tiraremos 64, 63, 62, 61, depois 60, 59, 58, 57... at a razo do somatrio dos nmeros preenchidos dividido pelo nmero de fichas ser menor que 100. Disso temos: Dado: o somatrio inicial 2080 e o nmero inicial de fichas 16 e sendo n o nmero de fichas retiradas que deve ser mnimo
EUREKA! N8, 2000

d  !E !   !$|  5 c E !#  $ B  5  F  %  9o%w# 96&&6E "S8696D698"

 1|$ 7""2

Sociedade Brasileira de Matemtica

2080 [64 + ( 64 1) + ( 64 2 ) + ... + ( 64 ( 4 n 1)) ] 100 16 n / (4n 1 + 0)4n 2080 4 n 64 / 2 100 16 n 2080 256 n + 8 n 2 2 n 1600 100 n 4 n 2 79 n + 240 0 79 49 n1 =16 2 < n = 3 , 75 4 n 79 n + 240 = 0 n = 8 2

3,75

16

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

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

EUREKA! N8, 2000

Sociedade Brasileira de Matemtica

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

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

Seja x 1 ; x 2 ; x 3 ;...; x n as distncias entre as retas verticais ( x i distncia entre a i-sima reta e a (i 1)-sima reta) e y 1 ; y 2 ;...; y p as distncias entre as retas horizontais: ( y i a distncia entre a i-sima reta vertical e a (i 1)-sima reta). Por simetria, podemos considerar: rea sombreada =

Logo, rea sombreada =

2=

e denotamos: A = xi e B =
"i " par

EUREKA! N8, 2000

d2 F2  cE c !  $| 1F 5 F "& D &&w&"6C&8 "D# "6396D698"

 1|$ 7""2

i e j de mesma paridade

xi y j =

i e j pares

xi y j +

xi i e j mpares

xi y j +

i e j pares

ie j mpares

xi y

= xi i par

y i + i par

x j mpar

yj mpar

"i "par

yi

Sociedade Brasileira de Matemtica

mas x i =

" i " par

xi +

" j " mpar

xj = 2

" j " mpar

x j = 2 A , e de mesmo modo

conclumos que:

" j " mpar

y j = 2 B.

Logo: rea sombreada = 2 = A B + ( 2 A )( 2 B ) 2 = 2 AB + 4 2 ( A + B ) 2 ( A + B ) 2 AB = 2 A + B AB = 1 A (1 B ) = 1 B ( A 1)( 1 B ) = 0

A 1 = 0 Logo devemos ter ou 1 B = 0 A = 1 ou B = 1 Agora o problema fica fcil, pois se A = 1 (por simetria), temos: x i = x j , logo basta juntar os "quadradinhos" de cada linha, a
i par j mpar

vai formar um retngulo de base 1, e se juntarmos todos esses retngulos de base 1, vamos formar outro retngulo, cujos lados medem: 2 e 1. Sejam ABCD um quadrado (sentido horrio) e P um ponto qualquer pertencente ao interior do segmento BC. Constri-se o quadrado APRS (sentido horrio). Demonstrar que a reta CR tangente a circunferncia circunscrita ao tringulo ABC.

EUREKA! N8, 2000

d #$   5  !F #E cB  !$  5 F "QB8"898% wyC3 !1 6$ "986B "6""o 6D698"

 1|$ 7""2
S

45

P M 45+

D 45 R

O ABC retngulo, portanto o centro da circunferncia circunscrita est no ponto mdio de sua hipotenusa: AC centro da circunferncia o ponto M *ABCD um quadrado as diagonais se cortam ao meio, e as diagonais so iguais AM = BM = MC = MD

Sociedade Brasileira de Matemtica

Seja BAP = e BPA = ; + = 90 ( retngulo ABP); + + 90 = 180 Note que RPC = 180 90 RPC =

* BAC = 45(ABC retngulo issceles) PAC = BAC BAP = 45 AP = PR PAR = PRA = 45 * APR issceles e retngulo APR = 90 RAC = PAR PAC = 45 (45 ) = 45 45 + =

RAC = RPC = APCR um quadriltero inscritvel APR = ACR = 90

CR perpendicular a AC e que o dimetro da circunferncia circunscrita a ABC CR tangente.

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

Considere a figura relativa a demonstrao:

Y B A B A B A B B A A B A B A B A B A

Considere duas cores A e B. Pinte o ponto (0,0) de A. A partir da, pinte todos os outros pontos (coordenadas inteiras) do plano com as cores A e B,
EUREKA! N8, 2000

d #$ "B  "8988Qy  ! F E  !$ 5E (  ! @ 1 !c 5 5     5 5 #2 5  F  6$ "6%%9E 69)p831 )( A"696F %"66S96698"

 1|$ 7""2

B A B

A (0,0) B

Sociedade Brasileira de Matemtica

alternadamente. Isto , pintamos (a, b) de A se a + b par, e de B se a + b mpar. Vamos provar que um ponto e sua imagem possuem a mesma cor. De fato, se P = (x, y), a imagem de (a, b) pela rotao de 90o no sentido antihorrio com centro em P e (x + y b, x + y + a), cuja soma das coordenadas 2x + 2y + a b a + b (mod 2). Como o primero tringulo tem um ponto da cor A e dois da cor B e o segundo tem dois pontos da cor A e um da cor B no possvel tal coisa.

Existe um inteiro positivo divisvel pelo produto de seus algarismos e tal que esse produto maior que 102000?

Primeiramente vamos provar que 10 raiz primitiva no mdulo 7n. *Sabemos que quando n = 1 ou n = 2, isto verdadeiro. ** Suponhamos que 10 seja uma raiz primitiva no mdulo 7 n (n 2) Seja "a" uma raiz primitiva no mdulo 7 n +1 (ela existe pois 7 n +1 uma potncia de um primo), isto : a j percorre todas as classes de congruncia que so primas com 7, no mdulo 7 n +1 , consequentemente "a" tambm raiz primitiva no mdulo 7 n . Pela definio de "a", existe um x e um y , tais que: a x 10(mod 7 n ) a y 10(mod 7 n +1 ) Temos que mdc ( x; (7 n )) = 1, pois 10 tambm raiz primitiva no mdulo 7 n . Se mdc ( y; (7 n +1 )) = d 1, teramos: a 10(mod 7
y n +1

Chegamos a uma contradio, pois mdc ( y; (7 n +1 )) = d e mdc ( y; (7 n )) = 1, isto quer dizer: mdc ( y;6 7 n ) 1 e mdc ( y;6 7 n 1 ) = 1 (com n 2 ), que um absurdo. Da conclumos que mdc ( y; (7 n +1 )) = 1.
EUREKA! N8, 2000

d2 F2  cE c !  $| 1F 5 F "& D &&w&"6C&8 "D# "6396D698"

y primo com (7 n ) (pois x tambm )
9

a y 10(mod 7 n ) ) x a x a y (mod 7 n ) x y (mod (7 n )) n a 10(mod 7 )

 1|$ 7""2

 P3Y `` u t v u r v v w r t v w y x y u w v u r u w v s y v x w v u s t s e)h1ef1qApfhApfe`)Vhpe`r

 e p e rrP ez dp z p5 e 5 5 e %C1 rR16'P6cuYrpA6CA 1dcA3PC61CcAr19'P AA`61'1BY1C19C P '6`cE )C'e316CcA"r"11R1Aq rTPR1A 6r P  ~} CcPICA`C1cBY1CcY`EPICA`C1cBI66h6I3d 'A| { 1m zyr%jwq1cvC6t%66EE1%9pqA3b'l'1PBghf 1ePIvdw Cs xA 3rCr'P6Autr1p6ACAe p yr x ppml u om msr jpkj m ojnm kji f y g ' " Pv9c Ysq i h 6g wx w i f f D8 @Q&a & 0 2QW Q 8 @ &H HQ S&Q 0 2D8 D & @8704 20( &$ 1dcAbT`HRBY@1CX6I02PVUPT910'A9R0)PIH61CFG&E14CBA9'6531)'%# !     " 

( g a i c b c ( b g c d c b a ( I B X I F 8 @ B S I Q 2 I H ( F D B @ 8 6 4 2 0 ( & qfephfeA`Y3PWVEU 39T7RP9GAEC2 A97531)'% "  $ # !     

10 a 1 10 b 10 a x= 0 (mod 7 a ) x 0(mod 7 a ) 9 7 + 9 mas:

Logo 10 tambm uma raiz primitiva no mdulo 7 n +1 , e por induo conclumos que: n ; 10 raiz primitiva no mdulo 7 n . Agora vamos achar um exemplo: Considere a, tal que: 7 a > 10 2000 E como 10 raiz primitiva no mdulo 7 a , considere b > a, tal que: 10 b 7 6 10 a (mod 7 a ), temos que:

x = 1111111...1 000...0 + 777...7 = 1111111...1 777...7

b a dgitos

EUREKA! N8, 2000

Ou seja x divisvel pelo produto de seus dgitos.

total de: "b a " "1"' s "a " 0 's

Sociedade Brasileira de Matemtica

"a " 7's

10
a dgitos

Sociedade Brasileira de Matemtica h h h f e d T7pg&C "Y l   

EUREKA! N8, 2000

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

Seja ABC um tringulo retngulo em A, cujo cateto AC mede 1cm. A bissetriz do

ngulo BAC corta a hipotenusa em R; a perpendicular a AR traada por R corta o lado AB em seu ponto mdio. Encontre a medida do lado AB.

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

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

Numa fileira temos 12 cartas que podem ser de trs tipos: com as duas faces brancas, com as duas faces pretas ou com uma face branca e a outra preta. Inicialmente temos 9 cartas com a face preta voltada para cima. Viram-se as seis primeiras cartas da esquerda e ficam 9 cartas com a face preta voltada para cima. Continuando, viram-se as seis cartas centrais, ficando 8 cartas com a face preta voltada para cima.

| on { z o y sn w o u s r q on m txts v 9xtvtvtp`l ji kq

66 %k66  1|$ 7""2  1|$ 7""2  1|$ 7""2  1|$ 7""2  1|$ 7""2

11

Sociedade Brasileira de Matemtica

Finalmente, viram-se seis cartas: as trs primeiras da esquerda e as trs ltimas da direita, ficando 3 cartas com a face preta voltada para cima. Diga se com esta informao se pode saber com certeza quantas cartas de cada tipo existem na fileira.

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

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

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

Temos um cubo de 3 3 3 formado pela unio de 27 cubinhos 1 1 1. Retiramos alguns cubinhos de tal modo que os que permanecem seguem formando um slido constitudo por cubinhos que esto unidos pelo menos por uma face ao resto do slido. Quando um cubinho retirado, os que permanecem ficam no mesmo lugar em que estavam inicialmente. Qual o mximo nmero de cubinhos que podem ser retirados de modo que a rea do slido que resulte seja igual rea do cubo original? Um retngulo pode ser dividido em n quadrados iguais e tambm pode ser dividido em n + 98 quadrados iguais. Se a rea do retngulo n, com n inteiro, encontre os lados do retngulo. Diga todas as possibilidades.
EUREKA! N8, 2000

12

i } 66kjq%6  1|$ 7""2  1|$ 7""2  1|$ 7""2  1|$ 7""2  1|$ 7""2

VR kRY vT`kRV VR kRY VR kRY VR kRY RR RR VR kRY pR k q RR

)Re9tR )Re9tR )Re9tR t9RR9 R t9RR9 R t9RR9 R t9RR9 R R3R9 R R3R9 R R9 R

R 9 Rt g9RR R RR3RRRR R Rk ttR9RR R Rkt9 R 9R 9R RT kR9Rg RR RR 9R RAf RR )t R RR9qR R9 tRq 9 RRqR RRq RV Rkg

i } 66kjq%6
VR kRY VR kRY vT R3 VR kRY VR kRY VR kRY ApRk q VR kRY RR Vp R9t A )Re9tR )Re9tR )Re9tR t9RR9 R t9RR9 R t9RR9 R t9RR9 R R3R9 R R3R9 R R9 R R VR RVkR 9R 3pR RR RRA 9tqR q  kek R9RRER tR q t9RR99g RT RkR RR A RtR 9RRq  R9eR RRR tRRA RRR 9R9 R RR9 q RE

i 66kjq%k66
RRR 7RA

l   

EUREKA! N8, 2000

Sociedade Brasileira de Matemtica

13

Sociedade Brasileira de Matemtica

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

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.

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

EUREKA! N8, 2000

f d & &lA p  p% & &CeE lDs  sl   l

14
tRR` t

kwQwkwwQw kwQwkwwQw 1

R` R` R`

| | |

RtRRR ` v tt ` R tRtf R7 7"` P 7 R` PRt` tRR 7 t RtR ttttv t ` R` Rf t `

6&666%&%66  7 1 7 1 # E  3 | 7  F 1S E S  1|$ 7""2  1|$ 7""2 5 5 y  F 9| $ 9| $ 9| $ 9| $ 9| $ $ 9|

Sociedade Brasileira de Matemtica

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. 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). Verifique se existe um inteiro positivo n tal que n divisvel por exatamente 2000 nmeros primos diferentes e 2 n + 1 divisvel por n. 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! N8, 2000

 1|$ 7""2  1|$ 7""2  1|$ 7""2  1|$ 7""2

15

Sociedade Brasileira de Matemtica pATp7V)& T   s  s sl

Comeamos com um problema de Geometria Euclidiana:

A t R @ R78 9

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

Dada uma circunferncia , de centro O e raio R, vamos criar uma associao entre pontos e retas do plano, da seguinte maneira: Para cada ponto A
2 distinto de O, seja A' o ponto da semi-reta OA tal que OA OA' = R . (A' chamado inverso de A em relao a . A transformao A A' a inverso

relativa a ). Seja a a reta perpendicular a OA passando por A'. Dizemos que a a reta polar de A em relao a , e que A o plo de a em relao a .

EUREKA! N8, 2000

4 ' 7   3  %R!)3 6! 54  2 0 ( # ' $$$ #   )3 !" 1p)R!3&&%R"R P # "" f

16

!gRRt9RR    

  

Sociedade Brasileira de Matemtica

A'

A transformao do plano que leva cada ponto em sua polar e cada reta em seu plo chamada de polaridade. Para simplificar a notao, usaremos a mesma letra para designar um ponto (maiscula) e sua polar (minscula).
c b ` Y SW U S 6@aVXVTR

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

Considere um ponto B a. Seja B' OB tal que AB ' OB. Os tringulos OAB' e OBA' so retngulos e tm um ngulo comum ( AB ' BA' ), logo so semelhantes. Assim,

A O B'

A'

OA OB' = OB OB' = OA OA' = R 2 . OB OA' Logo B' o inverso de B, de onde AB ' = b e A b.

Assim, se imaginarmos o ponto B variando ao longo da reta a, sua polar, b, variar ao longo do feixe de retas que passam pelo ponto A. Diremos que um ponto e uma reta so incidentes quando o ponto pertence reta, o que o mesmo que dizer que a reta passa pelo ponto. A polaridade, portanto, uma transformao que preserva incidncias.

EUREKA! N8, 2000

17

Sociedade Brasileira de Matemtica

Se um ponto conjugado a si mesmo, ento ele pertence circunferncia e sua polar a tangente circunferncia por ele. Este resultado nos permite desenvolver a seguinte construo para a reta polar de um ponto A exterior circunferncia:
q sU 6g VXVfVd r i h gW S e

duas tangentes circunferncia traadas por A. A reta BC a polar de A.

c U x w u VVv U t

A polaridade definida anteriormente sugere que pontos e retas tm comportamentos parecidos em relao incidncia. H algumas falhas, porm. A transformao no est definida para o ponto O, centro da circunferncia, nem tampouco para as retas que passam por O. Podemos resolver este problema ampliando o plano euclidiano, acrescentando-lhe uma nova reta que chamaremos de "reta do infinito", que representaremos por o. Esta nova reta ser a polar do ponto O. Formalmente, os pontos da nova reta do infinito esto em correspondncia biunvoca com os feixes de retas paralelas no plano euclidiano.

EUREKA! N8, 2000

R d y IVITI!V6r

q pU 6g VXVfVd b i h gW S e

Se A exterior circunferncia, sejam B e C os pontos de contato das

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

C a

18

Sociedade Brasileira de Matemtica

Vejamos como a polaridade nos leva naturalmente a esta definio para os pontos do infinito. Por exemplo, vamos identificar o plo de uma reta r que passa por O. Sejam A e B os pontos de contato de r com a circunferncia. Como A e B esto sobre a reta r, suas retas polares a e b passam pelo plo R. Logo R o ponto de encontro das duas retas a e b, que no plano Euclidiano seriam paralelas. De fato, a reta polar de qualquer ponto de r ser perpendicular a r no plano euclidiano. Estas retas passam a ser, no plano projetivo, um feixe de retas concorrentes (no ponto do infinito R). Esta a maneira de trabalhar com a reta do infinito: cada um de seus pontos corresponde a um nico feixe de retas paralelas no plano euclidiano. E vice-versa: a cada feixe de retas paralelas no plano euclidiano corresponde um nico ponto da reta do infinito.
A a ...

...

... B b

Os pontos e retas do plano projetivo tm exatamente o mesmo comportamento em relao a incidncia. Assim, qualquer propriedade envolvendo pontos, retas e incidncia permenece vlida ao trocarmos pontos por retas e retas por pontos. A nova propriedade assim obtida denominada "dual" da primeira. Em outras palavras, para todo teorema da Geometria Projetiva recebemos outro grtis, oferecido pelo Princpio da Dualidade. Basta trocar a palavra "ponto" pela palavra "reta" e vice versa.
EUREKA! N8, 2000

d d II III I IVy

19

Sociedade Brasileira de Matemtica

Dada uma reta, sempre existe um Dado um ponto, sempre existe uma reta ponto no incidente a ela. no incidente a ele. Cada reta incidente a pelo menos Cada ponto incidente a pelo menos trs trs pontos distintos. retas distintas. Dois pontos distintos determinam Duas retas distintas determinam um nico uma nica reta a eles incidente. ponto a elas incidente.
c U x w ` W S f h VV6i V6!

Apesar de termos definido o plano projetivo como uma extenso do plano euclidiano, isto no necessrio. O plano projetivo existe de forma independente, podendo ser caracterizado a partir de um conjunto de axiomas, entre os quais esto as propriedades duais citadas anteriormente.
o n m d l d k t ITFpII st IIITFVy j

No plano euclidiano, se quatro pontos A, B, C e D de uma reta so tais que: AC AD = , BC BD dizemos que C e D "dividem harmonicamente" o segmento AB . Observe que, de acordo com a definio, isto tambm implica que A e B dividem harmonicamente o segmento CD . Representaremos esta situao com o smbolo ( AB, CD ). Tambm diremos que A, B, C e D , nesta ordem, formam uma "qudrupla harmnica". ( AB; CD ) Dados os pontos A, B e C sobre uma reta, o ponto D tal que chamado "conjugado harmnico" de C em relao a AB . Surpreendentemente, apesar da definio utilizar a noo de distncia (que no faz sentido no plano projetivo), o conceito de qudruplas harmnicas faz sentido no Plano Projetivo, por meio da seguinte construo para o conjugado harmnico:
q q

EUREKA! N8, 2000

20

u ` v 6!I

S g ` g iW e UW VVS X!X

c f u e Y S e 6!U !aVfVd

Sociedade Brasileira de Matemtica

E F G a1 H c a2 b1 b2 Figura 1

Dados os pontos A, B e C sobre uma reta r, traamos duas retas quaisquer a1 e a2 passando por A e uma reta c passando por C. Unindo a B os pontos de incidncia de c com a1 e a2 , respectivamente, obtemos as retas b1 e b2. Fica ento formado um quadriltero (EFHG, na figura) tal que os lados opostos concorrem em A e B, e tal que uma de suas diagonais passa por C. Seja D o ponto de encontro de r com a outra diagonal do quadriltero. Ento D o conjugado harmnico de C em relao a AB . Esta construo a definio de qudruplas harmnicas no plano projetivo. Vejamos que ela coincide, no plano Euclidiano, com a definio usual. Sejam os pontos E, F, G como na figura 1. Aplicando o Teorema de Menelaus* no ABE , secante DGF, temos: AD BG EF = 1. BD EG AF (1)

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

*Ver apndice.
EUREKA! N8, 2000

21

Sociedade Brasileira de Matemtica

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

Vamos agora dualizar a definio de qudrupla harmnica. Dadas 3 retas a, b e c concorrentes em um ponto R, podemos dualizar, passo a passo, a construo do conjugado harmnico: Sobre a reta a tomamos dois pontos distintos A1 e A2 e sobre a reta c tomamos um ponto C. Sejam B1 e B2 os pontos de interseco da reta b com as retas CA1 e CA2 , respectivamente. Seja d a reta determinada pelos pontos R e

Dizemos que as quatro retas concorrentes a, b, c, e d formam um "feixe harmnico". Representamos esta situao com o smbolo (ab, cd ).
R

A2 B1 C d Figura 2

A1 a c

B2 b

: Uma reta qualquer do plano corta um feixe harmnico em quatro pontos que formam uma qudrupla harmnica.

EUREKA! N8, 2000

22

o n T IxpII m IIIIIs ItIFVy r w v u d d s n R

A1 B2 A2 B1 . Chamamos d de conjugado harmnico de c em relao a a e b.

r ` Y SW U S ~aVXVTR

Sociedade Brasileira de Matemtica

Se voc percebeu a semelhana entre as figuras 1 e 2 deve ter desconfiado deste fato. A demonstrao imediata. Na construo da figura 2, os pontos A1 e B2 podem ser escolhidos sobre uma reta s arbitrria (que no passe por R), e o ponto C fora de s. As retas

A1C e B2 C determinam os pontos B1 e A2. Sendo c s = C ' e d s = D , vemos que o quadriltero RA2 CB1 possui dois lados opostos concorrendo em A1 e B2, com suas diagonais passando por C' e D . Portanto ( A1 B2 ; C ' D ) , como
queramos demonstrar. Escreva o dual doTeorema anterior.
II t s@IVy d n d d R c U 6g VXVfVd i h gW S e 

Sem dvida, um dos mais belos teoremas da Geometria Projetiva. vlido para qualquer cnica, apesar de que aqui s veremos a demonstrao para a circunferncia, no plano euclidiano. importante mencionar, no entanto, que no Plano Projetivo no h qualquer diferena entre uma circunferncia e qualquer outra cnica no-degenerada.
q aVXVTR ` Y SW U S
P R D Y B

Os pontos de encontro entre os 3 pares de lados opostos de um hexgono ABCDEF (convexo ou no) inscrito em uma circunferncia so colineares. Consideremos o tringulo XYZ indicado na X figura. Aplicamos o Teorema de Menelaus trs vezes: XYZ , secante PDE: PX DY EZ E =1 PY DZ EX A
Z Q F C

XYZ , secante QBC:

QZ BX CY =1 QX BY CZ

XYZ , secante RAF:

RY AX FZ =1 RZ AY FX

EUREKA! N8, 2000

23

Sociedade Brasileira de Matemtica

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

Logo, pelo recproco do Teorema de Menelaus no tringulo XYZ, secante PQR, temos que P, Q e R so colineares. Fazendo coincidir certos pares de pontos no hexgono ABCDEF, podemos deduzir teoremas anlogos ao de Pascal para pentgonos, quadrilteros e at tringulos inscritos na circunferncia. Por exemplo, fazendo coincidir A com B e D com E, as retas AB e DE tornam-se tangentes circunferncia,
e obtemos a seguinte configurao:
F A B

P A D E R

Figura 3

Na figura anterior, verifique que o ponto comum s tangentes em C e F tambm pertence reta PQR.
d n t I IIF t IpVy

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

EUREKA! N8, 2000

q j U 6g VXVfVd i h gW S e
24

Sociedade Brasileira de Matemtica

As polares de B, C, D e E so as retas b, tangentes a em seus c, d, e e respectivos plos. Sendo R = b c e S = d e, temos que as polares de R e S so as retas
A

r = BC e s = DE. Como A = r s, sua polar a reta a = RS . Sendo P = BE CD e Q = BD EC ,

um dos corolrios do Teorema de Pascal garante que P, Q, R e S so colineares, logo demonstrar. como queramos

Relao entre reta polar e qudruplas harmnicas) Dados uma circunferncia e um ponto exterior A, qualquer reta secante circunferncia passando por A corta a polar a no conjugado harmnico do ponto A em relao ao segmento com extremos nos dois pontos de corte da secante com a circunferncia.
g

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

EUREKA! N8, 2000

25

c U x w `Wf U Y S V6VX!aVI

r U Vg 66V!6V6!a6I i h gW S e d c U x w `Wf U Y S

q r aVXVTR ` Y SW U S

q j aVXVTR ` Y SW U S

(Construo da reta polar usando apenas rgua) Seja uma circunferncia e A um ponto exterior a ela. Consideremos duas retas distintas passando por A e cortando nos pontos B, C, D e E (figura). Ento a reta polar de A em relao a a reta que une os pontos

BD EC e BE CD .

A' O

C
Sociedade Brasileira de Matemtica

S s

C'

B' Podemos agora apresentar uma soluo simples e elegante para o problema B proposto no incio deste artigo. c d D

Seja d o dimetro perpendicular a OS .

Seja D o ponto do infinito correspondente ao feixe de retas paralelas a d. Queremos provar que

a reta
SC

que a reta polar do ponto Isto simples:

C a interseco das polares de A e B, logo sua polar tangente circunferncia no ponto S, logo a polar de S
c =

Assim, demonstrar.

EUREKA! N8, 2000

c n d w v d !I II @!IFIIIIF t IVy d

( A' B' , C ' D ) . Para isto, basta provar que as retas SA ,

SB ,

SC

e
AB

formam um feixe harmnico. Parece natural tentar verificar que

corta o feixe em uma qudrupla harmnica. Mas isso equivale a provar

AB

e sua polar , portanto,

SC

, como queramos

26

XP Q

N
Sociedade Brasileira de Matemtica

BB

Suponha que Ento

EUREKA! N8, 2000

c ` i UW VX

c t Ips)@IFTR d d d n d n d d

c d d n d d TTs)@IFTR c d  TII
C Y C

Suponha que as cevianas AM, BN e CP de um tringulo ABC se encontrem em um ponto Q. Ento

Ento teremos Assim,

c ` i UW VX

Suponha que ,

com

t 1

t 2

t 3

e
u

Suponha que sejam colineares. Ento

e onde u tal que ou seja, Assim,

u

27

Sociedade Brasileira de Matemtica

1. A frmula que d diretamente a soma dos quadrados dos n primeiros inteiros positivos pode ser deduzida de vrias maneiras (por exemplo, [3]). Uma das mais comuns partir da identidade: , escrev-la para k variando de 1 at n:

......................................... e somar termo a termo estas n igualdades, obtendo:

onde

Substituindo este valor e fazendo as contas, chega-se a :

( 2 ) S n 6 = 1 2 + 2 2 + L + n 2 = n ( n + 1 )( 2 n + 1 )

Esta deduo bastante eficiente e rpida, mas, quando apresentada pela primeira vez a um estudante, costuma deixar aquela sensao de coelho tirado da cartola, devido ao aparecimento sbito de uma identidade cuja motivao no se sabe de onde veio. Este tipo de sensao desperta admirao em uns, mas em outros inspira uma frustrao, proveniente da reflexo: eu nunca vou conseguir bolar um artifcio destes!. Coloca-se, portanto, a questo: h algum problema onde a soma dos quadrados aparea naturalmente? E, para este problema, h alguma outra maneira de resolv-lo, por meio da qual possamos deduzir a frmula da soma dos quadrados? ( combinao 2. Tradicionalmente, em problemas de contagem, o smbolo de n, p a p) representa o nmero de subconjuntos de p elementos contidos em um conjunto de n elementos. Se, por exemplo, fizermos , ento o nmero de pares (no ordenados) que se pode extrair de um conjunto com n
p = 2

EUREKA! N8, 2000

&@"s)s"@p"")

Jos Paulo Q. Carneiro, Universidade Santa rsula

)))p

, como bem conhecido (ver [1]).

28

Sociedade Brasileira de Matemtica

elementos. Exemplos: o nmero de apertos de mo dados por n pessoas quando cada uma cumprimenta todas as outras somente uma vez, ou ainda o nmero de partidas de futebol em um campeonato com um s turno e n equipes. Em [1], um artigo com o mesmo ttulo que o presente aproveitava justamente o ltimo exemplo citado para mostrar como, resolvendo um mesmo problema de contagem por dois mtodos diferentes, era possvel deduzir que: .

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

Deste modo: , para . Alm dos nmeros triangulares, os pitagricos consideravam tambm os nmeros quadrados , , etc., que podem ser visualizados como quadrados (da seu nome). Estas figuras pitagricas sugerem tambm uma relao interessante entre os nmeros triangulares e os nmeros quadrados. Se voc partir o quadrado usando a diagonal sudoeste-nordeste, e incluindo esta diagonal na parte de baixo, voc poder olhar cada nmero quadrado como a soma de dois nmeros triangulares consecutivos; mais especificamente: .

EUREKA! N8, 2000

29

Sociedade Brasileira de Matemtica

Esta relao pode, claro, ser confirmada algebricamente, j que: . 4. A observao precedente pode ser usada para calcular a soma dos quadrados dos n primeiros nmeros naturais. De fato:

................... Somando termo a termo, temos: . S

resta agora calcular , isto , a soma dos primeiros nmeros triangulares. Para isto, lembremos que esta soma o mesmo que , a qual vamos calcular pelo artifcio de resolver um mesmo problema por duas contagens diferentes (ver [1]). O nmero de subconjuntos de 3 elementos contidos em um conjunto A de elementos representado, como j se sabe, por . Vamos contar estes subconjuntos. Para formar um subconjunto de A com 3 elementos, primeiramente escolhemos um elemento . Para isto, temos escolhas. Uma vez escolhido a, temos n escolhas possveis para tomar um segundo elemento b; e para cada escolha de a e b, temos escolhas possveis para selecionar o terceiro elemento c. Isto d ento um total de escolhas. Mas claro que esta contagem inclui repeties. Para cada escolhidos, houve 6 repeties, correspondentes s 6 permutaes destes elementos, a saber: ; ;
a , c , b b , a , c

. Portanto:

Por outro lado, se quisermos evitar desde o incio as repeties, podemos contar do seguinte modo. Primeiramente, fixamos o elemento a; o nmero de subconjuntos de A com 3 elementos e que possuem a o mesmo que o de subconjuntos de com 2 elementos, isto : . Tomemos agora um
EUREKA! N8, 2000

30

Sociedade Brasileira de Matemtica

segundo elemento . O nmero subconjuntos de A com 3 elementos, que possuem b mas no a, o mesmo que o de subconjuntos de com 2 elementos, isto : . Analogamente, o nmero subconjuntos de A com 3 elementos, que contm c, mas no intersectam , o mesmo que o de subconjuntos de com 2 elementos, isto : . E assim por diante, at que cheguemos ao antepenltimo elemento, quando j teremos contado todos os subconjuntos A com 3 elementos. Logo: . Deste modo, conclumos que: . portanto, calcular a soma dos conclumos que: Conseguimos,

primeiros nmeros triangulares. Da

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

(lembremos que m! = 1 . 2 . ... . m). Seja agora

a 1

O nmero de subconjuntos de k + 1 elementos de

a 1

(escolhemos os k elementos de A diferentes de ). O A que contm nmero de subconjuntos de k + 1 elementos de A que contm mas no contm
a 2 a 1

, e assim sucessivamente, o que mostra a igualdade

EUREKA! N8, 2000

31

Sociedade Brasileira de Matemtica

Se generalizado de dimenso k", temos que pela frmula acima, temos

k

o "polinmio triangular um polinmio em n de grau k, e,

Podemos, como antes, escrever como uma combinao linear dos polinmios e usar a frmula acima para obter uma frmula para
n P ( n ), 0 j k , j

(essa frmula ser a combinao correspondente dos termos com Tal frmula tambm pode ser obtida recursivamente como no incio do artigo, somando as identidades ficando o lado esquerdo igual a o que d desde j = 1 at j = n, e o direito igual a

Referncias Bibliogrficas: [1] Carneiro, J.P., Contar duas vezes para generalizar, Eureka!, n6, pp.15-17, 1999. [2] Eves, H., Introduo Histria da Matemtica, Editora da UNICAMP, 1995 [3] Valadares, E.C., e Wagner, E., Usando geometria para somar, Revista do Professor de Matemtica, n39, pp.1-8, 1999.

EUREKA! N8, 2000

32

Sociedade Brasileira de Matemtica

O artigo expe um princpio de natureza heurstica chamado o "princpio do extremo", que permite resolver problemas matemticos de nvel olmpico de maneira simples. 1.- Introduo. Muitos matemticos profissionais desejam contribuir para tornar a Matemtica mais atrativa aos estudantes com talento. Uma forma de seguir este objetivo criar problemas que requeiram uma grande dose de sentido comum, imaginao, e muitas vezes, uma estratgia especfica de resoluo de problemas. Este artigo introduz uma dessas estratgias, o "princpio do elemento extremo". Ainda que este nome no seja amplamente usado, este princpio pode lhe ajudar a resolver problemas matemticos que aparecem freqentemente em olimpadas. O material baseado na experincia pessoal ganha ao trabalhar com estudantes com talento em matemtica e na minha participao como organizador de vrias competies olmpicas. 2.- A idia do princpio. Considere uma fileira de estudantes ordenada em forma decrescente segundo a altura. A maioria deles tem dois vizinhos. Dois "elementos extremos", o mais alto e o mais baixo, tem somente um vizinho, porm estes dois elementos extremos possuem outras propriedades muito teis. Por exemplo, quando contamos os estudantes na fileira, a melhor maneira comear com um destes elementos extremos. Em matemtica, algumas vezes trabalhamos com conjuntos cujos elementos parecem ser equivalentes e cujas propriedades conhecidas so poucas. Uma estratgia poderosssima em tais casos considerar o elemento, ou os elementos, que de alguma forma so elementos extremos. Por exemplo, quando consideramos um conjunto infinito de nmeros naturais, o elemento extremo seu elemento menor. Para um conjunto finito de nmeros reais os elementos extremos so o mximo e o mnimo do conjunto.
EUREKA! N8, 2000

t t ! | F) T

s@"s"Xs)s Vs% t

Resumo

33

b c
Sociedade Brasileira de Matemtica

Em muitos casos o elemento extremo atrativo devido a que suas propriedades adicionais nos permitem obter concluir sobre o mesmo elemento, ou sobre o do conjunto como um todo. Por exemplo, em um tringulo o lado maior se ope ao ngulo maior e vice-versa. Na continuao apresentamos mais exemplos. Exemplo 1. Sejam os ngulos de um tringulo. Como o ngulo maior, ento j que, caso contrrio, teramos e , o que condradiz o fato de que Da mesma forma podemos concluir que Tambm no difcil obter que, se o menor ngulo de um polgono convexo com n lados (n > 3), ento Para provar isto assuma o contrrio, e use o resultado que estabelece que a soma dos ngulos no polgono igual a .
a b g g

Exemplo 2. Considere trs raios com origem comum num mesmo plano, formando trs ngulos tal que a + b + c = 2 . fcil ver que e Expresses similares podem ser encontradas se, em lugar de trs raios considerarmos n raios com um origem comum.
a 2 p / 3 .

Exemplo 3. Os exemplos anteriores podem ser generalizados se considerarmos uma sucesso de nmeros reais tais que Ento e Estes exemplos so elementares, mas eles preparam o caminho para resolver o primeiro exemplo no trivial. Exemplo 4. Seis pontos em um plano so tais que quaisquer trs deles no so colineares. Prove que trs desses seis pontos formam um tringulo que possui um ngulo interno maior ou igual a
EUREKA! N8, 2000

34

Ai

Al a
Sociedade Brasileira de Matemtica

Ak Soluo: Denote os pontos por ocorrer dois casos:

e seja M seu fecho convexo. Podem

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

M possui menos de seis vrtices. Neste caso existem trs vrtices de M, e um ponto dentro do tringulo .

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

3.- Aplicaes Geomtricas. As aplicaes nesta seo esto relacionadas com objetos geomtricos. Em cada caso o problema resolvido ao encontrar a maior ou a menor distncia, ngulo ou rea. Problema 1.- Em certo pas existem 100 cidades. As distncias entre cada par de cidades esto especificadas, e todas so diferentes. Uma estrada conecta duas cidades A e B se, e somente se, B a cidade mais prxima de A ou A a cidade mais prxima de B. Prove que existem no mximo 5 estradas que saem de cada cidade. possvel que algumas das estradas formem um polgono?

EUREKA! N8, 2000

35

D C B

Sociedade Brasileira de Matemtica

Soluo: Provemos a primeira parte. Considere uma cidade X e duas estradas XA e XB que ligam X a A e a B, respectivamente.

Segue-se que AB o maior lado do tringulo . Isto verdade, pois, se (por exemplo) AX for o maior lado do tringulo , ento nem A a cidade mais prxima para X, nem X a cidade mais prxima para A e portanto a estrada X no deveria existir. Portanto, o ngulo o maior ngulo no tringulo . Segue-se (exemplo 1) que porque escaleno. Suponha que exista uma cidade X e que seis estradas vo desde X at outras cidades. Ento a soma dos seis ngulos em volta de X deveria ser maior que , o que impossvel. Mostremos a segunda parte. Para isto suponhamos que existam estradas que formam um polgono. A estrada AB foi construda por um dos seguintes motivos:
A X B 60

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

Considere ainda sem perda de generalidade, que AB o maior lado do polgono. Ento CA < AB e BD < AB. Portanto, B no a cidade mais prxima de A e A no a cidade mais prxima de B. Logo, a estrada AB no deveria existir. Segue-se que tal polgono no existe. Problema 2.- Os comprimentos das bissetrizes de um tringulo ABC so menores ou iguais a 1. Prove que a rea do tringulo menor ou igual a
EUREKA! N8, 2000

36

Sociedade Brasileira de Matemtica

Soluo: Seja o menor ngulo do tringulo, e seja AD a sua bissetriz. Para demonstrar isso, AB e AC no podem ser ambos maiores que veja a figura:

Suponhamos que

. Como

, ento

Denotemos por e a altura e a bissetriz do vrtice C do tringulo ABC, respectivamente. Ento, a rea do tringulo :

Problema 3.- Sejam pontos num plano tais que a rea de qualquer tringulo com trs desses pontos como vrtices no seja maior que 1. Prove que todos os pontos esto contidos num tringulo, cuja rea menor ou igual a 4. Soluo: Este problema tem o aspecto de ser muito difcil. A idia para resolv-lo est baseada no seguinte: se voc tem um tringulo de rea 4, como poderia relacion-lo com um tringulo de rea 1? Uma boa idia conectar os pontos mdios dos lados do tringulo de rea 4. A rea do tringulo obtido 1. Raciocinando inversamente, se temos um tringulo de rea 1 e se traarmos paralelas m, n, p aos lados AB, BC e CA (de modo que C e ), respectivamente, obteremos um tringulo de rea 4. Agora no difcil completar a soluo. Considere todos os tringulos cujos vrtices so trs quaisquer dos n pontos dados. Seja ABC o tringulo de maior rea. Trace as retas m, n, p como foi descrito anteriormente. Se o ponto A e o ponto X onde X um dos n pontos dados esto em diferentes lados de m, ento Os outros casos so anlogos. Segue-se que nenhum dos pontos
EUREKA! N8, 2000

37

Sociedade Brasileira de Matemtica

dados est fora do tringulo MNP tringulo formado pelas interseces de m, n, p. Como ento o tringulo MNP contm os pontos, e
( MNP ) 4.

4.- Aplicaes Algbricas. Problema 4.- Em cada quadrado de um tabuleiro com infinitas fileiras e colunas, se escreve um nmero natural. O nmero escrito em cada quadrado igual mdia dos nmeros escritos em todos seus quadrados vizinhos (Dois quadrados so vizinhos se eles compartilham um lado em comum.) Prove que todos os nmeros escritos so iguais. Soluo: Aqui aplicaremos o famoso resultado sobre conjuntos no vazios de nmeros naturais, o qual estabelece que sempre h um elemento mnimo. Seja f o menor dos nmeros naturais escritos no tabuleiro, e sejam a, b, c, d os nmeros escritos nos quatro quadrados vizinhos de f. Ento

quer dizer

. Como f o elemento mnimo, segue-se que e Se uma destas quatro desigualdades no uma igualdade, ento teramos o que um absurdo. Portanto, se x um nmero escrito em uma casa da mesma coluna da casa na qual est escrito o nmero f, ento x = f. O mesmo resultado vlido para as linhas. Logo, todos os nmeros escritos so iguais.
d f .

Problema 5.- Em cada quadrado de um tabuleiro de m fileiras por n colunas, se escreve um nmero real. O nmero em cada quadrado igual a mdia dos nmeros escritos em todos seus quadrados vizinhos. (Dois quadrados so vizinhos se eles compartilham um lado comum.) Prove que todos os nmeros escritos so iguais. A soluo deste exerccio um pouco diferente da do exerccio prvio. Soluo: H duas coisas diferentes. Primeiro, alguns quadrados tem menos que quatro quadrados vizinhos. O leitor pode adaptar facilmente a situao ao raciocnio da soluo do exemplo 4. Segundo, a existncia do nmero menor se baseia em uma razo diferente: cada conjunto finito de nmeros possui um elemento menor. Este um assunto importante. Se estamos tratando com elementos extremos, devemos estar certos de que existem, qualquer que seja a razo.

EUREKA! N8, 2000

38

Sociedade Brasileira de Matemtica

Problema 6.- Prove que no existem inteiros positivos x, y, z e t tais que Soluo: Algumas vezes no fcil imaginar como introduzir um elemento extremo. Uma boa ideia nestes casos assumir a negao da proposio, e ver onde se pode encontrar uma contradio. Assuma que existem inteiros positivos x, y, z e t tais que J que divisvel por 3, ento x, y tambm so divisveis por 3 (Prove). Portanto, x = 3m e y = 3n, onde m, n so inteiros positivos. Depois de substituir 3m por x e 3n por y na equao, e dividindo por 3, obtemos que
2 2 x + y

Pela mesma razo que antes se conclui que z = 3p e t =3q, onde p, q so inteiros positivos. Logo, a equao original equivalente a Portanto, obtivemos inteiros positivos m, n, p e q, que satisfazem a equao, e tais que m < x, n < y, p < z e q < t. O argumento anterior pode ser usado indefinidamente para obter sucesses decrescentes de nmeros inteiros positivos, o que impossvel. Logo, a idia considerar o menor elemento, em algum sentido. Sejam x, y, z e t inteiros positivos tais que e a soma a menor entre todas as solues da equao. Seguindo o raciocnio de antes obteremos os nmeros m, n, p e q, que satisfazem a equao, com m < x e n < y. Portanto, Esta uma contradio.

5.- Aplicaes Variadas. A pergunta "Como comear a soluo?" parece ser a principal pergunta nas solues dos problemas deste artigo. Espera-se que, quanto maior a quantidade de exemplos que o leitor vir, maior ser a experiencia ganha. Portanto exporemos mais exemplos que ajudem a exemplificar o princpio do extremo. Problema 7.- Existir uma funo f : * *; onde * o conjunto dos inteiros positivos tais que se cumpra a seguinte igualdade para cada nmero natural n > 1: Soluo: A resposta NO. Para ver isto observe que entre os valores
EUREKA! N8, 2000

39

Sociedade Brasileira de Matemtica

deve haver um elemento mnimo, digamos que seja f(n0), onde n0 > 1. Observe que

Como ento

Portanto, o que impossvel.

o que implica que

Problema 8.- Cada quadrado de um tabuleiro de dimenses 8 8 contm ou um 0 ou um 1. Para cada quadrado A que contm um 0, a soma dos nmeros na mesma fileira de A e os nmeros na mesma coluna de A maior ou igual a 8. Prove que a soma de todos os nmeros no tabuleiro maior ou igual a 32. Soluo: Considere a soma dos nmeros em cada fileira e em cada coluna. Escolha a menor destas somas. Suponha que tal soma corresponda fileira L. Denote por k o nmero de nmeros 1 que aparecem em L. Podem ocorrer os seguintes casos: k 4. Ento cada fileira contm ao menos quatro nmeros 1. Portanto, a soma de todos os nmeros no tabuleiro maior ou igual a 4 8 = 32. k < 4. Ento existem 8 k zeros em L. Cada coluna que cruza L em um quadrado com um 0 contm no menos que 8 k uns. Portanto, a soma de todos os nmeros no tabuleiro maior ou igual a

Uma extenso do princpio do extremo a seguinte regra: "ordene os elementos segundo o seu tamanho (valor)". Esta regra usada na soluo do seguinte problema. Problema 9.- A soma de 17 inteiros positivos distintos igual a 1000. Prove que podem ser escolhidos 8 destes inteiros de tal forma que a sua soma maior ou igual a 500.

EUREKA! N8, 2000

40

Sociedade Brasileira de Matemtica

Soluo: Ordene os inteiros em uma fileira

Considere o

nmero que a metade da fileira, e o valor mdio da soma, parte inteira de 1000/17, que 58. Podem ocorrer os seguintes casos: a9 58. Ento a10 59, a11 60,..., a17 66. Portanto, a10 + a11 +...+ a17 59 + 60 +...+ 66 = 500. a9 < 58. Ento a9 57, a8 56,..., a1 49. Portanto, a1 + a2 +...+ a9 49 + 50 +...+ 57 = 477.

Segue que a10 + a11 +...+ a17 1000 477 > 500. Problema 10.- Encontre todas as solues positivas do sistema

Soluo: Sejam x e y o maior e o menor dos nmeros Observe que temos que e e que logo se conclui que

respectivamente.

Como x > 0 e y > 0 segue-se que

Portanto, segue-se que a nica soluo do sistema dada por

6.- Exerccios. Nesta seo voce encontrar alguns problemas que so resolvidos por meio do princpio do extremo, estando claro que pode haver outras solues que no usem este princpio. Mas pede-se ao leitor que faa todo o esforo possvel para resolver os seguintes exerccios usando unicamente o princpio do extremo. 1. Os nmeros positivos x, y e z so tais que

Prove que x = y = z. 2. Seis crculos iguais num mesmo plano possuem um ponto em comum. Prove que um dos crculos contm o centro de outro dos crculos.
EUREKA! N8, 2000

41

Sociedade Brasileira de Matemtica

3. Oito pontos so escolhidos dentro de um crculo de raio um. Prove que existem dois pontos cuja distncia menor que 1. 4. A soma de vrios nmeros reais no negativos 3, e a soma de seus quadrados estritamente maior que um. Prove que podem ser escolhidos trs destes nmeros cuja soma estritamente maior que um.

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

EUREKA! N8, 2000

42

Sociedade Brasileira de Matemtica

Recordamos inicialmente uma propriedade da funo de Euler, provada em [2] (Lema 2, pgina 52). Lembremos que, para n inteiro positivo,

Teorema 1: Para todo natural n,

Prova: Considere as n fraes

e simplifique cada uma delas: obtemos assim, para cada d|n, (d) fraes com denominador d, donde segue a identidade do enunciado. Mais formalmente, dado , sejam d = n/(n, a) e a' = a/(n, a). Claramente e definimos assim uma funo de para a unio disjunta dos conjuntos , onde d varia sobre os divisores de n. A inversa
a ' ( Z / d Z )*,

desta funo leva bijeo t

O processo de construir g a partir de f como

bastante comum em teoria dos nmeros Um fato interessante sobre este tipo de construo ligado noo de funes multiplicativas. Dizemos que multiplicativa se A funo de Euler, por exemplo, multiplicativa (ver o corolrio da pgina 47 de [2]). Se f uma funo multiplicativa e a fatorao prima de n, ento

* Adaptado do livro Primos de Mersenne (e outros primos muito grandes), dos mesmos autores([1]).
EUREKA! N8, 2000

   

em

43

tt|V TF

&

s )"@sXs T)| )5F  F|

donde a funo uma

Sociedade Brasileira de Matemtica

Alm disso, vale a seguinte Proposio: Se multiplicativa. Prova: Se multiplicativa ento ,

Note que esta proposio fornece uma nova prova do Teorema 1: pela multiplicidade de , basta provar que se n potncia de primo, mas se p primo

Seria interessante poder inverter em geral identidades do tipo para escrever f a partir de g. O teorema anterior nos mostra que se fazemos f = na equao acima temos g(n) = n; invertendo esta identidade teramos uma frmula para . Vamos mostrar como fazer este tipo de inverso. Definimos a funo de Mbius por

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

EUREKA! N8, 2000

44

Sociedade Brasileira de Matemtica

Lema: Para todo inteiro positivo n temos

Dem: Como multiplicativa,

multiplicativa.

Temos h(1) = 1 e, para cada p primo e k 1 inteiro, donde, se n > 1,

t

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

ento

Dem: Basta provar que

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

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

para todo x ento, para todo x,

EUREKA! N8, 2000

45

Sociedade Brasileira de Matemtica

Prova: Basta provar que

mas, tomando m = kr a ltima soma igual a

que pelo lema igual a f(x) t Apesar de no estar relacionada com o resto da nossa discusso, no podemos deixar de mencionar a seguinte conjectura. Conjectura (Hiptese de Riemann): Se ento

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

Ento, para todo

De fato, pela segunda frmula de inverso de Mbius temos

[1] Carlos Gustavo T. de A. Moreira e Nicolau Saldanha, Primos de Mersenne (e outros primos muito grandes), 22o. Colquio Brasilerio de Matemtica IMPA, 1999. [2] Carlos Gustavo T. de A. Moreira, Divisibilidade, congruncias e aritmtica mdulo n, Eureka! No. 2, pp. 41-52.

EUREKA! N8, 2000

46

Sociedade Brasileira de Matemtica

A partir deste nmero da apresentaremos esta nova seo cujo objetivo contemplar os leitores que no tm facilidade de acesso a problemas de competies de outras naes com alguns exemplos de problemas, de tais competies. Naes distintas possuem culturas matemticas distintas, portanto o leitor pode achar alguns problemas extremamente fceis e outros extremamente difceis. Tentaremos apresentar uma grande variedade de problemas principalmente daqueles pases que costumam ter um bom desempenho na Olimpada Internacional de Matemtica. Divirtam-se e mandem suas solues. Antonio Luiz Santos
c b ` Y X W U T S QFaIFVFIR P H G A D B QICFECA

EUREKA! N8, 2000

yw t gxv xrg&d

7.

yw t gxv xrg&d

6.

yw t f rs f xxv iug d

5.

ywe t o p e t xiq igaio i&d

4.

naturais tais que o produto , escrito na base 10, termina com exatamente 98 zeros. Determine o par para o qual o produto o menor possvel. Em um tringulo ABC, D o ponto mdio de AB e E um ponto do lado BC tal que BE = 2EC. Sabendo que ADC = BAE determine a medida do ngulo BAC. Seja uma seqncia de nmeros reais definida por e para . Para quantos valores distintos de t teremos ? Um nmero de 10 algarismos dito interessante se todos os seus algarismos so distintos e ele um mltiplo de . Quantos nmeros interessantes existem? Existem nmeros de 5 algarismos M e N onde todos os algarismos de M sejam pares, todos os algarismos de N sejam mpares, cada um dos algarismos de 0 a 9 ocorrendo exatamente uma vez entre M e N e tais que M divide N?
( a ) n = 0 1998

yw t o h e lk tsj f xv in imxv uxri dh

3.

yw v v f h v v h gxxxe xd)x t ii&d

2.

yw ts q h f e xv urp ig&d

1.

Seja distintas da equao .

 ' 8 7   ' 2  ' 4 2  % 0 % ' %# !   595"3565$53(1)(&$"  @

. Determine o nmero de solues reais . Determine todos os nmeros reais x tais que de nmeros

Considere todos os pares ordenados

47

Sociedade Brasileira de Matemtica

Mostre que
ii 

{ 0

para todo x \
  ~} y xxx &w

{ 0

15.

Dois crculos intersectam-se em dois pontos M e N. Um ponto A qualquer do primeiro crculo, distinto de M e N, unido aos pontos M e N de modo que as retas AM e AN intersectam novamente o segundo crculo nos pontos B e C. Mostre que a tangente ao primeiro crculo em A paralela a BC. Mostre que o segmento que une o ortocentro e o baricentro de um tringulo acutngulo ABC paralelo ao lado AB se, e somente se, .
  ~} z xxxgxy ixx&w

16.

EUREKA! N8, 2000

48

14.

e . Determine todas as funes f :

  ~} y{ z xxxry u v w

13.

  ~} y{ z xxxry u v w

12.

  ~} y x xxrz ig&w

11.

 ~} |{ yz y x xgxri&w

10.

yw vq o h v gxxrv us &d

9.

yw t o t s e xv uig&d
u

8.

O volume de um paraleleppedo e a sua rea total . Mostre que o paraleleppedo um cubo. Um tringulo ABC possui medidas dos lados expressas por nmeros inteiros, A = 2B e C > 90. Determine o valor mnimo do permetro deste tringulo. Em um tringulo ABC tem-se que BAC = 40 e ABC = 60. Sejam D e E pontos sobre os lados AC e AB respectivamente tais que CBD = 40 e BCE = 70. Mostre que a reta que contm AF perpendicular que contm BC. A base de uma pirmide um polgono convexo de 9 lados. Pintase cada uma das diagonais da base e cada uma de suas arestas laterais de preto ou de branco (observe que os lados da base no esto coloridos). Mostre que existem trs segmentos coloridos com a mesma cor que formam um tringulo. Trs nmeros esto em progresso aritmtica se . Definamos a seqncia , da seguinte maneira : , e para cada , o menor inteiro positivo tal que e no possui trs elementos em progresso aritmtica. Determine . Uma funo f : satisfaz s condies :
( u ) n = 0 u 0 n + 1 u 100

satisfazendo

Sociedade Brasileira de Matemtica

em um quadro negro. Em cada passo, escolhemos dois destes nmeros, digamos a e b, e os substitumos pelo nmero . Continuamos desta maneira at que reste um nico nmero no quadro negro. possvel que este nmero seja 2000? Justifique sua resposta.
  ~} xxy xrg&w

23.

A soma dos algarismos de um inteiro positivo escrito no sistema de numerao decimal igual a e a soma dos algarismos do nmero 800. Determine a soma dos algarismos do nmero . Um crculo que passa pelos vrtices A e B de um tringulo ABC tangente ao lado BC, e o crculo que passa pelos vrtices B e C e tangente ao lado AB intersecta o primeiro crculo no ponto K, K B . Se O o centro do crculo circunscrito ao tringulo ABC, mostre que
} y z y gxx&xrrx&w   ~} xxy xrg&w
p BKO = 2

24.

25.

condies :
EUREKA! N8, 2000

  ~} t xxxgxy z x x&w

22.

  ~} z xxxgxy ixx&w

21.

  ~} y z y xxxrrx&w

20.

Mostre que existe uma seqncia de inteiros positivos tal que um quadrado perfeito para todo inteiro positivo n.
( a , a ,..., a ,... ) 1 2 n

  ~} xxy z i&w

19.

Duas cordas AB e CD de um crculo intersectam-se no ponto K. O ponto A divide o arco em duas partes iguais. Se AK = a, KB = b, determine a medida da corda AD.
CAD

  ~} t s xxy z um w

18.

  ~} xy z g&w

17.

Mostre que o nmero Resolva a equao

composto.

Determine o valor da expresso

supondo que

. Inicialmente os nmeros so escritos

Determine o maior nmero inteiro N que satisfaz as seguintes

49

Sociedade Brasileira de Matemtica

(a) (b) 26.

possui seus trs algarismos iguais. igual soma de n nmeros naturais consecutivos a partir de 1. A figura mostra um plano com ruas que delimitam 12 quadras quadradas. Uma pessoa P caminha de A at B e outra Q caminha de B at A. Ambas partem ao mesmo tempo seguindo caminhos de comprimento mnimo com a mesma velocidade constante. Em cada ponto com duas possveis direes a tomar, ambas possuem a mesma probabilidade. Determine a probabilidade de que P e Q se cruzem.

Todo nmero racional positivo pode ser escrito sob a forma b, c e d so inteiros positivos.
} xx&y iz &w

28.

Seja I o incentro de um tringulo ABC com AB AC. As retas suportes dos segmentos BI e CI intersectam os lados AC e AB nos pontos D e E respectivamente. Determine todos os ngulos BAC para os quais a igualdade DI = EI pode ser satisfeita. Determine todos os pares de inteiros positivos tais tais que
  ~} xxy z i mx y xri w

29. 30. 31.

que
 ~} xy iz &w
x y = x 50

As bissetrizes dos ngulos A e B do tringulo ABC intersectam os lados BC e CA nos pontos D e E respectivamente. Supondo que , determine a medida do ngulo C.
  ~} y y xx i&w

EUREKA! N8, 2000

} xx&y iz &w

27.

} y z y x&xi&w

Prove ou disprove a seguinte afirmativa : onde a,

. Determine todos os pares de inteiros positivos

50

AA z FF c z B B S3 S3 ay S S D D y

bx E E S1 x S1 C C
Sociedade Brasileira de Matemtica

36) Na figura abaixo o tringulo DEF tem rea de medida S. Sabendo-se que o tringulo DEF est inscrito num tringulo arbitrrio ABC, mostre que as medidas Si ( i = 1, 2, 3) das reas dos outros tringulos formados satisfazem a desigualdade e que a igualdade ocorre se e s se os

pontos DEF so os pontos mdios dos lados do tringulo, ABC.

Provar que

EUREKA! N8, 2000

0  0  !  2 ! 0 %  4   2 ! 4 ' 0 4 7   )9$()5$5$99$0

x xii iximQi xiQx i

FgFII)I)F)gF)I

idntico a mostrar que

51

Sociedade Brasileira de Matemtica

Se k a rea de ABC, temos ento:

;

Faamos tambm: e e evidentemente teremos

; ;

; e consequentemente: Seja

Portanto ou seja:

como a soma de qualquer nmero positivo x com o seu inverso sempre maior do que 2 ou igual a 2, valendo a igualdade se e s se x = 1 ( de fato, teremos: que s temos quando
1 m 3 j 1 = 2

observe tambm quando

m 1 = 1 m 2

quando
m 1

e que

; ou seja

o que garante que os pontos

D, E e F so mdios dos lados correspondentes e como consequncia teremos o mnimo de Concluso: e a igualdade ocorre para os pontos mdios.

EUREKA! N8, 2000

52

h e d q
Sociedade Brasileira de Matemtica

37) Cinco quadrados so dispostos conforme ilustra o diagrama abaixo. Mostre a e que a medida da rea do quadrado S igual a medida da rea do tringulo T. d a b a q b ba a b a c b c S 1 b a a a b b

Prove : S1 = S2
dh S 2 2 =

S1 = c2

EUREKA! N8, 2000

53

" #!

     IaII

(Pitgoras)

2 e = a

2 + 4 b

2 .

Sociedade Brasileira de Matemtica

38) Os lados e diagonais de um polgono regular de n lados so coloridos em k cores tais que: i) para cada cor a e dois vrtices A e B do polgono, o segmento AB colorido de a ou existe um vrtice C tal que AC e BC so coloridos de a. ii) os lados de qualquer tringulo com vrtices entre os vrtices do polgono so coloridos usando no mximo 2 cores. Prove que k 2.
$ " %I

Suponha que haja pelo menos 3 cores a, b e c. Vamos construir um subconjunto infinito de vrtices de X, o que uma contradio. Fixemos um vrtice Z X. Existe um vrtice A1 tal que A1 Z tem a cor a, e um vrtice B1 tal que a cor de B1 A1 e de B1 Z b. Existe um vrtice C tal que as cores de C1 Z e C1B1 so C. Considerando os tringulos C1 A1 Z e C1 A1 B1, e usando a condio ii), conclumos que a cor de C1A1 tem que ser C. Vamos construir por induo vrtices para cada inteiro positivo n, todos distintos tais que, para todo i < n, as cores de so a, as cores de so b e as cores de Suponhamos contrudos para

Por i), existe tal que as cores de e so a. Considerando os tringulos e (e usando a condio ii), conclumos que a cor de tem que ser a, para cada ponto P criado anteriormente. Do mesmo modo, existe tal que as cores de e so b. Considerando os tringulos e para cada ponto P criado anteriormente, conclumos que a cor de tem que ser b. Por fim, existe tal que as cores de e so c, e, considerando os tringulos e para cada ponto P criado anteriormente, conclumos que a cor de
EUREKA! N8, 2000

54

Sociedade Brasileira de Matemtica

tem que ser c. fcil ver que os pontos criados so todos distintos. Por exemplo: como a cor de a, temos e para todo k. Como a cor de a, , e como a cor de a, para todo

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

" %I

Suponha sem parda de generalidade que Teremos por tanto Temos ento Somando essas 3 desigualdades obtemos a desigualdade do enunciado. logo

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

EUREKA! N8, 2000

55

Sociedade Brasileira de Matemtica

" ! @ 9  @ 9 8 6 5 5 2 5 3 2  0 #414F74411I

a) Seja Todo divisor de k da forma Portanto a soma de todos os divisores : com e reciprocamente.

(pois

constante para o somatrio em an). (soma da P.G.) (pois constante em relao s

variveis ). Procedendo de maneira anloga, agora para o termo obtemos:

, e assim por diante

, que o que queramos. b) Vamos analisar a razo Temos que para

Agora se multiplicarmos k por , duas coisas podem acontecer: i) Para cada primo que aparece na fatorao de k e de , o fator referente a ele no produtrio e portanto, aumenta, pois,

EUREKA! N8, 2000

56

Sociedade Brasileira de Matemtica

ii)

Para cada primo

que s aparece na fatorao de k, vemos que ao de modo que

calcularmos .

aparecer um novo fator

Em qualquer caso portanto, vale abundante

Em particular, k

c)

Note que na letra b), vale a desigualdade estrita

para todo

Em particular, como

vemos que todo mltiplo de 6, maior do que 6 abundante. (pois

Logo, se para um natural N, existe ento como soma de dois nmeros abundantes.

abundante tal que pode

ser

e escrito

Nosso problema se resume ento a descobrir 6 nmeros abundantes, dois a dois distintos mdulo 6: mas para isso suficiente achar N abundante tal que (pois nesse caso e 2N abundante pela letra b); e analogamente, e so todos abundantes e distintos mdulo 6). Tambm seria suficiente achar algum T abundante tal que pois nesse caso, 5T congruente a 1 mod 6 e recamos no caso anterior. Note agora, que todo nmero da forma ou Obs: todo primo p > 3 congruente a 1 ou 1 mod 6, pois do contrrio teramos: par ou mltiplo de 3.

EUREKA! N8, 2000

57

Sociedade Brasileira de Matemtica

O problema ento fica sendo o de encontrar um nmero da forma abundante.

Isso possvel mesmo se nos restringirmos apenas a nmeros em que

Basta ver que nesse caso,

Em particular,

Logo, abundante. (temos Tomando portanto temos so abundantes distintos mdulo 6. Fazendo ento vemos pelas observaes anteriores que tem-se que n pode ser escrito como soma de dois nmeros abundantes!. 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.
" #! " ! ` #Y X WUI1RI 74444G0 4C49 V T S E  Q F A 6 P I H 6 F 2 E D B A

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

EUREKA! N8, 2000

58

 d d Ib b141I c S 5 5 0 a

 n69 `Q9yQ@)9)evFB )QQn @G`QQ G 6 )y`y) 9iq eGGQX e G9 Q  HGGCB)A9 QT zGi !9CG)919 ` } ~ | y } | { y { y x wu t r d h k o ml i h d e  &99 n !``!TzTznvTsg q ep6nCkj)g qfCd`G x s `@9CsGAIG99 T9iQCsGF TXyIGyws u&Xqig f e9b a x r p s x v v t s r p h d c Y`XV U CG TGQPIHGFCBA@9 8631)'&&$" !  W ( S R  " D E D  "  7 5 4 2 0 " ( " % #       b|U 4G  g|bbgWs
rr# %srsU 4spgUg g g  1gsbpeUsgUpgbbg po1

O problema No. 4 (Olimpada Romnia 92) publicado Na Eureka! No. 6, pg 37, tm deveria dizer: Sejam p, q , q 0. Se as razes da equao

r sUgfs }  gg od ~ r t v k r x w q gssrt g  q } d r t y sg|{ s w t w t sox sow s t } t u t ggs s x x w q t s%k  }  w x ggog# }  r } w  ggow gog  x x w  gs gng t v k r x w q gssrt g  q } d r t y sg|{ s t v k r x w q gssrt g  r sUgfs w x t s s " Q  5 i 5 5 h Up1)1&

w z x w  w  t r w ggsow g} w w w  b gow r e g#% r t x w r j w } w m l q gnw gox gx m s t r t w r t u x yx gj ow gnsow x x w l t z q w w w x t q w #gok v w q w z x x w w u z r ow so v w } t x w x t d x t { w gnw gx soyz r %s w t u x w q j r v { w eUs w ss x w l w r x t } w r x t w ow go % w d w r jx v w w w x t osoz psoq t j t w t y t  ~ x  #sx  gow u q w q t i x w y r u x v u z r sst sw  r r gfgt psonx ygj Uet sh t x x w v w m l q k t x r q w i t d w q r x esw sv t x q t x x w v u r ysys#t sq d f Q d  5 d  e g42

EUREKA! N8, 2000

iguais. Prove que

O problema No. 8 (Olimpada Hungria 1899) publicado Na Eureka! No. 6, pg 38, deveria dizer: dividem a circunferncia unitria em cinco partes

o mesmo mdulo, mostre que

Sociedade Brasileira de Matemtica

um nmero real.

59
"  UIE

Sociedade Brasileira de Matemtica

41) Se a e b so nmeros reais positivos, ento 42) Suponha que a, b e c so as medidas dos lados de um tringulo ABC, com semi-permetro p e rea S, verifique que

e mais ainda: verifique que a igualdade acima ocorre apenas se o tringulo for equiltero. 43) Prove que se p um primo da forma 4k + 3, ento 2p + 1 tambm primo se e somente se 2p + 1 divide 2p 1. 44) O produto de dois inteiros positivos consecutivos pode ser igual ao produto de dois inteiros positivos consecutivos pares? 45) Existe uma seqncia infinita de: a) Nmeros reais b) Nmeros inteiros Tais que a soma de quaisquer dez termos consecutivos positiva, enquanto que para todo n a soma dos primeiros 10n + 1 termos consecutivos negativa?
46)

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.
d r w x 4 r  t d w @ t x w u r q r x v x w ot y(ss#s ej r goeo%Agft sow ysU E E E 9 t j x } t v t w x w D #x #od g Usow s0 w w w x #

EUREKA! N8, 2000

60

" 

  ! 

0  0  !  2 ! 0 %  4   2 )9$()55$!
  F    

! )0( & %$#  1 ) '    G F X

7 6 6 5 2 r 4 #3u sy

C bs gn#s8 5 9 w w w B 8 t 8 9 8 t ot g} 5 8 d r wx

2 9 I P 44

9 V H 2 6 P I FE i 44440

E P 2 0 E a 2 V 2 6 41444449 142 E 0

A 49 R43D E B 2 a 2h 0

2 6 P I 4410 444R9 42 E P 2 0 E a 2 V 2 6 E 0

A 9 4443D E B 2 a 2h 0 A

i 3g

2 6 P I R410 4444V E P 2 0 E a D 2

A 6 2 V 4449 4443D E P V 2 a 2h 0

A D

q q q p  2 6 P I rsr$4410

E P 2 0 E a 2 9 E D 44 

2 9 B 2 a 2h 0 D A g F444R31C 3g

A 2 0 E a 2 a 2h 0 D A 444R31C

D 4H

E 4V

A 6 A a 2 a 2h 0 4|443D

A 

F f e c a Y W UbRdb`XV

F S Q I G UTRPHF

EUREKA! N8, 2000

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

Sociedade Brasileira de Matemtica

16 a 24 de setembro de 2000 Caracas, Venezuela

13 a 25 de julho de 2000 Taejon, Coria do Sul.

14 a 19 de abril de 2000 Montevidu Uruguai

7 de outubro de 2000

13 de maio de 2000

61
A 

Sociedade Brasileira de Matemtica

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

EUREKA! N8, 2000

e F Q Ve G I v I v V S F Q I S v V V yuuywxwutuyxwwuutf

62

Sociedade Brasileira de Matemtica

EUREKA! N8, 2000

63