You are on page 1of 62

CONTEDO

AOS LEITORES VIII OLIMPADA DE MAIO Enunciados e Resultado Brasileiro XIII OLIMPADA DE MATEMTICA DO CONE SUL Enunciados, Solues e Resultado Brasileiro XLIII OLIMPADA INTERNACIONAL DE MATEMTICA Enunciados e Resultado Brasileiro

2 3

17

ARTIGOS
MUROS, PRDIOS E ESCADAS Ccero de Oliveira Holmer INTEIROS DE GAUSS E INTEIROS DE EISENSTEIN Guilherme Fujiwara SEQNCIAS ARITMTICO-GEOMTRICAS Jos Paulo Carneiro & Carlos Gustavo Moreira O PRINCPIO DA INVARINCIA Marcelo Rufino de Oliveira TORNEIO DAS CIDADES Provas OLIMPADAS AO REDOR DO MUNDO SOLUES DE PROBLEMAS PROPOSTOS PROBLEMAS PROPOSTOS AGENDA OLMPICA COORDENADORES REGIONAIS 19

23

32

35

43

48 53 59 61 62

Sociedade Brasileira de Matemtica

AOS LEITORES
com grande alegria que anunciamos que, mais uma vez, os 6 estudantes da equipe brasileira obtiveram medalhas na IMO. Isto mostra a nossa grande evoluo com a nova OBM e as atividades extras que apareceram com ela: a Eureka, a Semana Olmpica, as semanas de treinamento antes das competies internacionais. Mas o que nos traz maior satisfao saber que esses 6 jovens so a ponta de um iceberg. Basta observar o nmero de pessoas que resolvem os vrios problemas que trazemos a cada nova edio da Eureka. So estudantes, professores, profissionais liberais, enfim, amantes da Matemtica que provam que no nosso pas h muitas pessoas de boa vontade e de grande competncia. Falando mais um pouco sobre problemas, nesse nmero publicamos algumas provas do Torneio das Cidades, uma competio que se caracteriza pela originalidade de suas questes, algumas das quais j entraram para o folclore matemtico. Ela possui duas modalidades, Snior (2a e 3a sries EM) e Jnior (8a srie EF e 1a srie EM); nveis O (iniciante) e A (avanado). Para encerrar, os agradecimentos. Mais uma vez, o professor Carlos Shine e os estudantes Alex Lopes, Felipe de Souza, Henry Hsu, Rodrigo Yamashita e Guilherme Fujiwara fizeram uma leitura cuidadosa das verses prvias desta edio.

Os editores.

EUREKA! N14, 2002

Sociedade Brasileira de Matemtica

VIII OLIMPADA DE MAIO


Enunciados e Resultado Brasileiro
PRIMEIRO NVEL PROBLEMA 1

Um grupo de homens, alguns dos quais acompanhados pelas esposas, gastaram 1000 dlares num hotel. Cada homem gastou 19 dlares e cada mulher, 13 dlares. Determine quantas mulheres e quantos homens estavam no hotel.
PROBLEMA 2

Uma folha de papel retangular (branca de um lado e cinza do outro) foi dobrada trs vezes, como mostra a figura abaixo: 2 3 1 O retngulo 1, que ficou da cor branca aps a primeira dobra, tem 20cm a mais de permetro que o retngulo 2, que ficou branco aps a segunda dobra, e este por sua vez tem 16cm a mais de permetro que o retngulo 3, que ficou branco aps a terceira dobra. Determine a rea da folha.
PROBLEMA 3

Mustaf comprou um tapete. O vendedor mediu o tapete com uma rgua que supostamente media um metro. Como o resultado foi que o tapete tinha 30 metros de largura e 20 metros de comprimento, o vendedor cobrou 120000 rupias. Quando Mustaf chegou a sua casa mediu novamente o tapete e percebeu que o vendedor tinha cobrado 9408 rupias a mais. Quantos centmetros mede a rgua usada pelo vendedor?
PROBLEMA 4

Num banco s o diretor conhece o segredo do cofre, que um nmero de cinco dgitos. Para proteger este segredo so dados a cada um dos dez empregados do banco um nmero de cinco dgitos. Cada um destes nmeros tem numa das cinco posies o mesmo dgito que o segredo e nas outras quatro posies um dgito diferente do que tem o segredo nesse lugar. Os nmeros de proteo so: 07344, 14098, 27356, 36429, 45374, 52207, 63822, 70558, 85237, 97665. Qual o segredo do cofre?
EUREKA! N14, 2002

Sociedade Brasileira de Matemtica

Encontre o mximo nmero de caixinhas de 3 5 7 que podem ser colocadas dentro de uma caixa de 11 35 39. Para o nmero encontrado, indique como colocar essa quantidade de caixinhas dentro da caixa.
SEGUNDO NVEL PROBLEMA 1

PROBLEMA 5

Utilizando cubinhos brancos de lado 1 foi montado um prisma (sem buracos). As faces do prisma foram pintadas de preto. Sabe-se que os cubinhos que ficaram com exatamente 4 faces brancas so 20 no total. Determine quais podem ser as dimenses do prisma. Encontre todas as possibilidades.
PROBLEMA 2

Seja k um nmero inteiro positivo fixo, k 10. Dada uma lista de dez nmeros, a operao permitida : escolher k nmeros da lista, e somar 1 a cada um deles. Obtm-se assim uma nova lista de dez nmeros. Se inicialmente temos a lista 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, determine os valores de k para os quais possvel, mediante uma seqncia de operaes permitidas, obter uma lista que tenha os dez nmeros iguais. Indique a seqncia para cada caso. Num tringulo ABC, retngulo em A e issceles, seja D um ponto do lado AC (D A e D C) e seja E o ponto do prolongamento do lado BA tal que o tringulo ADE issceles. Se P o ponto mdio do segmento BD, R o ponto mdio do segmento CE e Q o ponto onde se cortam as retas ED e BC, demonstre que o quadriltero ARQP um quadrado.
PROBLEMA 4 PROBLEMA 3

Os vrtices de um polgono regular de 2002 lados esto numerados de 1 a 2002, no sentido horrio. Dado um inteiro n, 1 n 2002, pinta-se de azul o vrtice n, logo, seguindo o sentido horrio, contam-se n vrtices comeando no seguinte de n, e pinta-se de azul o nmero n. E assim sucessivamente, a partir do vrtice que segue ao ltimo vrtice que h sido pintado, contam-se n vrtices, pintados ou sem pintar, e o nmero n pintado de azul. Quando o vrtice que tem que ser pintado j azul, o processo pra. Denotamos P(n) ao conjunto de vrtices azuis que se obtm com este procedimento quando se comea pelo vrtice n. Por exemplo, P(364) est formado pelos vrtices 364, 728, 1092, 1456, 1820, 182, 546, 910, 1274, 1638 e 2002. Determine todos os inteiros n, 1 n 2002, tais que P(n) tem exatamente 14 vrtices.
EUREKA! N14, 2002

Sociedade Brasileira de Matemtica

PROBLEMA 5

Dados x e y inteiros positivos, consideramos um quadriculado de x y, que tem pintados de vermelho os (x + 1) (y + 1) pontos que so vrtices de quadradinhos. Inicialmente h uma formiga em cada um dos pontos vermelhos. Num instante dado, todas as formigas comeam a caminhar pelas linhas do quadriculado, todas com a mesma velocidade. Cada vez que chegam num ponto vermelho, giram 90 em alguma direo. Determine todos os valores de x e y para os quais possvel que as formigas continuem movendo-se indefinidamente de maneira que em nenhum momento h duas ou mais formigas num mesmo ponto vermelho. (No interessam as possveis coincidncias em pontos das linhas do quadriculado que no so vermelhos.)
RESULTADO BRASILEIRO PRIMEIRO NVEL (AT 13 Anos)
Eduardo Fischer Pedro Nogueira Machado Andr Mrcio de Lima Curvello Katja Stephanie Ried Enzo Haruo Hiraoka Moriyama Anderson Gleryston Silva Sousa Mariana Nasser Brolezzi Arthur Rodrigues de Oliveira Sobral Cssio Kendi Takamori Diogo Bonfim Moraes Morant de Holanda Encantado RS Rio de Janeiro RJ Goinia GO Valinhos SP So Paulo SP Campina Grande PB Santo Andr SP S. Jos dos Campos SP S. Jos dos Campos SP Rio de Janeiro RJ Medalha de Ouro Medalha de Prata Medalha de Prata Medalha de Bronze Medalha de Bronze Medalha de Bronze Medalha de Bronze Meno Honrosa Meno Honrosa Meno Honrosa

SEGUNDO NVEL (AT 15 Anos)


Fbio Dias Moreira Guilherme Rodrigues Salerno Telmo Luis Correa Jnior Thiago Costa Leite Santos Andr Rodrigues Salerno Henry Wei Cheng Hsu Rodrigo Aguiar Pinheiro Rafael Marini Silva Larissa Rodrigues Ribeiro Douglas Bokliang Ang Cunha Rio de Janeiro RJ Goinia GO Santo Andr SP So Paulo SP Goinia GO So Paulo SP Fortaleza CE Vila Velha ES Fortaleza CE S. Jos dos Campos SP Medalha de Ouro Medalha de Prata Medalha de Prata Medalha de Bronze Medalha de Bronze Medalha de Bronze Medalha de Bronze Meno Honrosa Meno Honrosa Meno Honrosa

EUREKA! N14, 2002

Sociedade Brasileira de Matemtica

XIII OLIMPADA DE MATEMTICA DO CONE SUL


Enunciados, Solues e Resultado Brasileiro A XIII Olimpada de Matemtica do Cone Sul foi realizada na cidade de Fortaleza, Cear no perodo de 22 a 28 de junho de 2002. A equipe brasileira foi liderada pelos professores Yoshiharu Kohayakawa (So Paulo SP) e Luciano Guimares Castro (Rio de Janeiro RJ). O Resultado da Equipe Brasileira BRA 1 BRA 2 BRA 3 BRA 4 Alex Corra Abreu Israel Dourado Carrah Larissa Cavalcante Queiroz de Lima Rafael Daigo Hirama Ouro Bronze Ouro Ouro

PRIMEIRO DIA DURAO: 4 horas e meia. PROBLEMA 1:

Os alunos da turma de Pedro praticam a soma e a multiplicao de nmeros inteiros. A professora escreve os nmeros de 1 a 9 em nove fichas, uma para cada nmero, e as coloca em uma urna. Pedro retira trs fichas e deve calcular a soma e o produto dos trs nmeros correspondentes. Ana e Julin fazem o mesmo, esvaziando a urna. Pedro informa professora que retirou trs nmeros consecutivos cujo produto 5 vezes a soma. Ana informa que no tem nenhum nmero primo, mas sim dois consecutivos e que o produto desses trs nmeros 4 vezes a soma dos mesmos. Quais nmeros retirou Julin?
SOLUO DE ISRAEL FRANKLIM DOURADO CARRAH (FORTALEZA CE):

Diremos que Pedro escolheu os nmeros P1, P1 + 1 e P1 + 2, Ana retirou os nmeros A1, A2 e A3. Logo, temos que: P1 ( P1 + 1) ( P1 + 2) = 5 ( P1 + P1 + 1 + P1 + 2) = 5 (3P1 + 3) = 3 5 ( P1 + 1) e como (P1 + 1) um nmero positivo P1 ( P1 + 2) = 3 5 = 15 P1 e ( P1 + 2) so divisores de 15 (obviamente P1 + 2 > P1). Assim, temos duas possibilidades: P1 = 1 1a . Absurdo! P1 + 2 = 15 P1 = 13 = 1 P1 = 3 2 a . Ok! P1 + 2 = 5 P1 = 3 Portanto, Pedro escolheu os nmeros 3, 4 e 5.
EUREKA! N14, 2002

Sociedade Brasileira de Matemtica

Como Ana escolheu 3 nmeros que no so primos os possveis nmeros retirados por Ana so 1, 6, 8 e 9. (pois 2 e 7 so nmeros primos e 3, 4 e 5 so nmeros que j foram retirados por Pedro.) Mas temos tambm que Ana retirou dois nmeros consecutivos e dentre (1, 6, 8 e 9) os nicos dois nmeros consecutivos so 8 e 9 Ana escolheu os nmeros 8 e 9. Assim: A2 = 8, A3 = 9 e A1 8 9 = 4 (A1 + 8 + 9) A1 18 = A1 + 17 17A1 = 17 A1 = 1. Logo, Ana escolheu os nmeros 1, 8 e 9. Portanto, Julin retirou os nmeros restantes: 2, 6 e 7.
PROBLEMA 2:

De um tringulo ABC, retngulo em A, conhecemos: o ponto T de tangncia da circunferncia inscrita em ABC com a hipotenusa BC, o ponto D de interseo da bissetriz interna do ngulo B com o lado AC e o ponto E de interseo da bissetriz interna do ngulo C com o lado AB. Descreva uma construo com rgua e compasso para obter os pontos A, B e C. Justifique.
SOLUO DE LARISSA CAVALCANTE QUEIROZ DE LIMA (FORTALEZA CE):
A . D N E

BC = a, AC = b, AB = c; p =

. W

CT = p c; BT = p b sejam Y tal que EY BC e W tal que DW BC


a +b+c 2

. Y

EC comum * EYC AEC ACE = ECY (CE bissetriz) CAE = EYC = 90


AE = EY AC = CY = b

BD comum * DWB ADB BWD = BAD = 90 ABD = DBW ( DB bissetriz) DW = AD AB = WB = c


EUREKA! N14, 2002

Sociedade Brasileira de Matemtica

* WT = WB TB = c (p b) = (c + b + a) a p = 2p p a = p a * YT = YC CT = b (p c) = c + b p = p a T ponto mdio de WY. *DEYW um trapzio retngulo DWY = WYE = 90 .

Construo do ABC. Dados D e E, fcil obter com rgua e compasso o ponto N, ponto mdio de DE. Sabemos que os pontos D, E, Y e W do ABC formam um trapzio retngulo, sendo T o ponto mdio de YW NT ser base mdia e NT//EY//DW NTY = 90 NTBC Conhecemos j a reta NT, com compasso, marcamos N ' NT ; N ' T = TN . A mediatriz de NN' perpendicular a NN' em T, portanto coincide com a reta BC conhecemos agora a reta BC . * EYT = 90 para encontrar Y, encontramos M1, ponto mdio de ET e contrumos com compasso a circunferncia 1 de centro M1 passando por E e T. Onde 1 encontrar a reta BC ser o ponto Y (note que ser no segundo ponto de encontro com BC , o primeiro T). Analogamente, encontramos o ponto W no encontro da circunfrncia 2 de dimetro DT e da reta BC . Dessa maneira, encontramos EY e DW . Com o compasso, encontramos 3 de raio EY e centro E, e 4 de raio DW e centro D. 3 4 = { A, A' } A ser o ponto que est "acima"de DE ( supondo o ponto T "abaixo"de DE). Encontramos ento as retas AE e AD . B = AE BC e C = AD BC Encontramos ento ABC obs: Se Y coincidir com T, temos que W coincidir com T e p a = 0 ou seja, a+b+c a = 0 a + b + c 2a = 0 b + c = a Absurdo! 2 Y T e W T.
PROBLEMA 3:

Arnaldo e Bernardo jogam uma Super Batalha Naval. Cada um tem um tabuleiro n x n. Arnaldo coloca barcos em seu tabuleiro (pelo menos um mas no se sabe quantos). Cada barco ocupa as n casas de uma linha ou de uma coluna e os barcos no podem se superpor nem ter um lado comum. Bernardo marca m casas (representando tiros) em seu tabuleiro. Depois que Bernardo marcou as m casas, Arnaldo diz quais dentre elas correspondem a posies ocupadas por barcos. Bernardo ganha se, a seguir, descobre quais so as posies de todos os barcos de
EUREKA! N14, 2002

Sociedade Brasileira de Matemtica

Arnaldo. Determine o menor valor de m para o qual Bernardo pode garantir sua vitria.
SOLUO DE ALEX CORRA ABREU (NITERI RJ):

Suponha n 4 (I) Primeiro vemos que obviamente tem que marcar casas em todas as linhas e colunas, pois se uma linha no tiver nenhuma casa marcada obviamente podemos ter um barco em uma linha no adjacente portanto Bernardo no saber se ali tem ou no um barco. De modo anlogo para as colunas. (II) Agora suponha que uma casa est marcada, se na linha e na coluna dessa casa no tiver mais nenhuma outra casa marcada, pode vir a calhar de arnaldo ter colocado apenas um barco no tabuleiro e ser exatamente nessa linha, portanto Bernardo no sabe se o barco est na vertical ou na horizontal pois s vai ter uma casa onde sabe que o barco est. Ento para cada casa marcada existe outra na linha ou na coluna. Considere agora que Arnaldo marcou um barco na linha i se uma casa marcada na linha i, para identificar se o barco est na horizontal ou na vertical precisamos de mais uma casa adjacente. Se esta estiver pintada o barco est na vertical (baseado no desenho) e na horizontal caso contrrio. O problema consiste em pintar blocos 1 k tais que cada linha e cada coluna tem interseo com um deles, agora se tivermos um 1 k se k > 3 podemos dividir e de fato apenas melhoramos as coisas ento os blocos so 1 2 e 1 3.

k1 k k2

M(n) o mnimo procurado para um tabuleiro n n.

EUREKA! N14, 2002

Sociedade Brasileira de Matemtica


3 1 A

Se n 3 retire as 3 primeiras linas e as 3 primeiras colunas ento m(n) = m(3) + m (n 3) pois precisamos de m(n 3) pois se no tiver nenhum barco nas 6 fileiras que saram e m(3) se no tiver nas que ficaram pois se considerarmos s a regio A. temos que colocar 3 em cada no mnimo, o que d mais 6 contra 4 de m(3) (tambm porque podemos diminuir as interseces)

m(3k ) = km(3) = 4k m(3k + 1) = (k 1)m(3) + m(4) = 4k 4 + 6 = 4k + 2 m(3k + 2) = 4(k 1) + m(5) = 4k + 3 fcil ver que m(3) = 4 pois 3 obviamente no e m(4) = 6, m (5) = 7 como ao lado.
SEGUNDO DIA DURAO: 4 horas e meia. PROBLEMA 4:

Seja ABCD um quadriltero convexo tal que suas diagonais AC e BD so perpendiculares. Seja P a interseo de AC e BD e seja M o ponto mdio de AB. Mostre que o quadriltero ABCD inscritvel se, e somente se, as retas PM e CD so perpendiculares.
SOLUO DE ISRAEL FRANKLIM DOURADO CARRAH (FORTALEZA CE):

Primeiramente vejamos quando PM e CD so perpendiculares


B A 90 2 M

90 P

90

.. K

EUREKA! N14, 2002

10

Sociedade Brasileira de Matemtica

Seja MP CD = {K }. Como no ABP , retngulo em P, M o ponto mdio da hipotenusa AB PM = MA = MB. Assim, seja

ABD = MPB = AMP = 2


MPA = 90 CPK = APM = 90 e como PKC = 90 PCD = . Logo, ABD = ACD = inscritvel! Vejamos agora se ABCD inscritvel:

O quadriltero ABCD

B M A 90
90 P

90

Do mesmo modo como M o ponto mdio da hipotenusa AB do tringulo retngulo APB PM = MA = MB. Logo, se ABD = BAP = MPA = 90 CPK = 90 e como ABCD inscritvel ACD = ABD = PKC = 180 (90 + ) = 90 MPCD . Portanto, ABCD inscritvel PMCD.
PROBLEMA 5:

Considere o conjunto A = {1, 2,, n}. Para cada inteiro k, seja rk a maior quantidade de elementos distintos de A que podemos escolher de maneira que a diferena entre dois nmeros escolhidos seja sempre diferente de k. Determine o maior valor n possvel de rk, onde 1 k . 2
EUREKA! N14, 2002

11

Sociedade Brasileira de Matemtica

SOLUO DE RAFAEL DAIGO HIRAMA (CAMPINAS SP):

Vamos analizar casos pequenos: 1, 2, 3, 4, 5, 6, 7, 8 k = 1 rk = 4 k = 2 rk = 4 k = 3 rk = 5 k = 4 rk = 4 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 k = 1 rk = 5 k = 2 rk = 6 k = 3 rk = 6 k = 4 rk = 6 k = 5 rk = 5 Isso me deu idia para um lema!

1, 2, 3, 4, 5, 6, 7, 8, 9 k = 1 k=2 k=3 k=4

rk = 5 rk = 5 rk = 6 rk = 5

m + 1 Lema: Para n = m k (m inteiro positivo maior que 1) temos que rk = k 2 Prova: Podemos dividir os nmeros em casas de congruncias mdulo k. Por exemplo o 0. Seus componentes sero k, 2k, 3k,...,mk. Como a diferena entre dois deles deve ser diferente de k, no podemos escolher dois nmeros consecutivos nessa seqncia. Sempre deve haver um "ausente" ou mais entre dois "presentes". Para m par temos m m + 1 escolhidos teremos escolhidos pois caso tenhamos que s poderemos ter 2 2 m 1 no escolhidos, mas para separar os escolhidos (para no serem consecutivos) 2 m deveramos ter pelo menos no escolhidos. Absurdo. 2 m +1 m +1 1 no escolhidos que podem ser espaados pelos Para m mpar teremos 2 2 m +1 m +1 + 1 deveramos ter escolhidos. Do mesmo modo, para espaos mas s 2 2 m +1 m 3 + 1 = teriam sobrado m no escolhidos que no so suficientes. 2 2
EUREKA! N14, 2002

12

Sociedade Brasileira de Matemtica

Como temos k casas de congruncia com m nmeros cada e pelo fato de m +1 se m mpar m + 1 m + 1 2 temos que rk = k . 2 = m 2 2 se m par Agora precisamos ver como transformar o lema em algo que seja mais verstil ao nosso problema, ou seja, no devemos ter de usar o fato n = m k. 2n Analizando mais casos pequenos estou conjecturando que o rk mximo . 3 2n Vamos provar que rk para todo k. 3 2n Suponha o contrrio, que h rk > . Logo vamos provar primeiro que em uma casa 3 2 de congruncia mdulo k com j termos o aproveitamento mximo de termos do 3 total j de termos. Temos a seguinte regra: se x foram escolhidos ento pelo menos x x 2 1 no podem ter sido. Logo devemos provar que 2 j 3 x. Sabemos que j 3 Para x 2 j est provado. Mas se escolhermos x = 1 necessariamente j = 2 pois se j = 1, ou seja, se h somente um nmero entre 1 e n com congruncia mdulo k n significa que 2k > n, ento k > o que contradiz o enunciado. 2 1 2 Nesse caso o aproveitamento que menor que . 2 3 Chamando o aproveitamento para a casa de congruncia i de ai e o nmero de termos nessa casa de congruncia de bi temos 2 2 rk = a1b1 + a 2 b2 + ... + a k bk (b1 + b2 + b3 + ... + bk ) = n 3 3

j x + x 1, portanto vale 2 j 3x 2[x + ( x 1)] 3x 4x 2 3x x 2.

( pois b1 + b2 + ... + bk = n) portanto rk

2 n 3

2 como rk inteiro rk mximo n . 3 Falta provar a existncia de tal rk. Se faz assim:

EUREKA! N14, 2002

13

Sociedade Brasileira de Matemtica

n Divide-se n por 3 e arredonda-o para cima. Esse o nosso k. k = . obvio que 3 n para n 2, k . ( se n =1 k no existe) 2 2 Se n = 3k ento rk = n e mximo 3 Se n = 3k 1 ento teramos, em relao ao caso acima a perda de um termo, a n + 1 = 3k 2(n + 1) 2 1 2 1 = n = n escolher. O 3k rk mximo rk = 3 3 3 3 Se n = 3k 2 do mesmo modo perdemos 2 em relao ao primeiro caso n + 2 = 3k 2(n + 2) 2 2 2 2 = n = n . rk = 3 3 3 3 Portanto ao montar o caso n = 3k escolhe-se: 2 1, 2, 3,..., k, 2k, 2k + 1,..., 3k totalizando 2k termos n 3 O caso n = 3k 1 e n = 3k 2 retira-se o 3k; e o 3k e o 3k 1 respectivamente. 1 n = 1 no podemos ter k 1 k 2 Resposta: 2n n 1 rk mximo 3 Obs: x maior inteiro menor ou igual a x x 1 < x x x inteiro x menor inteiro maior ou igual a x x x < x + 1 x inteiro.
PROBLEMA 6:

Dizemos que um inteiro n, n, > 1, ensolarado se ele divisvel pela soma dos seus fatores primos. Por exemplo, 90 ensolarado pois 90 = 2 3 2 5 e 2 + 3 + 5 = 10 divide 90. Mostre que existe um nmero ensolarado com pelo menos 10 2002 fatores primos distintos.

EUREKA! N14, 2002

14

Sociedade Brasileira de Matemtica

SOLUO DE RAFAEL DAIGO HIRAMA (CAMPINAS SP):

Vamos ver casos pequenos: 2 3 5 = 30 e ensolarado pois 2 + 3 + 5 = 10|30 Olha s que interessante: se escolhemos alguns nmeros primos e a soma deles puder ser escrita como um produto qualquer deles o produto de todos esses primos vezes a soma deles um nmero ensolarado, alis o mmc ensolarado. Vamos ver at onde isso vai: 2 + 3 + 5 + 7 = 17 droga! 17 primo, vamos adaptar 2 + 3 + 5 + 7 + 17 = 34 e 34 = 2 17 mmc (34, 2 3 5 7 17) = 2 3 5 7 17 que ensolarado 2 + 3 + 5 + 7 + 11 = 28 e 28 = 22 7 mmc ( 28, 2 3 5 7 11) = 22 3 5 7 11 que ensolarado 2 + 3 + 5 + 7 + 11 + 13 = 41 2 + 3 + 5 + 7 + 11 + 13 + 41 = 82 e 82 = 2 41 2 3 5 7 11 13 41 ensolarado. Prova geral: p1 + p2 + p3 + p4 + ... + pn = x, x = p1 1 p 2 2 ... p n n (ou seja, no tem fatores primos alm dos p1 a pn, mas i pode ser 0)
mmc(p1p2p3...pn), x) = p11 p 2 2 ... p n n = y. Como x | y e y s tem fatores p1, p2, ..., pn, y ensolarado. Percebendo os meus testes podemos ver um modo de adaptar se tivermos a soma desses primos um nmero primo diferente dos anteriores. E se tivermos mais? n+ n n p1 < p 2 < p3 < ... < p n e p1 + p 2 + ... + p n = p1 1 p 2 2 p3 3 p 4 4 ... p n n p n +11 p n + + 2 p n + +3 ... 2 3 n+ n p1 + p 2 + ... + p n + p n +1 = p n +1 ( p1 1 p 2 2 p3 3 ... p n n p n +11 1 p n ++ 2 ... + 1) 2

este nmero com certeza menor que a soma inicial logo ter um limite para seus fatores primos. Fazendo: n+ n n p1 + p2 + ... + pn + pn +1 = p11 p2 2 p3 3 ... pn +11 pn ++22 pn ++3 ... 3
n+ n n p1 + p2 + ... + pn + pn +1 + pn + 2 = pn + 2 ( p1 1 p2 2 p3 3 p4 4 ... pn +11 pn ++ 2 1 pn ++3 ... + 1) 2 3 Calma, podemos evitar tudo isso se escolhermos os n primeiros primos: 2 + 3 + 5 +...+ pn = x n pn. Se tivesem dois primos pi e pj em x tal que i, j > n teremos pipj x n pn. Mas perceba que pk > k para todo k 1 (isso acontece porque a seqncia dos k percorre todos os naturais enquanto a dos pk "pula" vrios naturais). Continuando Vamos provar que n pn < pi pj, no o contrrio. pi p j > p n p n

EUREKA! N14, 2002

15

Sociedade Brasileira de Matemtica

pi p j > n p n Logo em x s pode haver um fator primo diferente dos 2, 3, 5,..., pn. Usaremos pi e do mesmo modo vemos que x no divisvel duas vezes por pi ( s fazer j = i) 2 + 3 + 5 +...+pn = m pi n pn n pn m pi Olhe s, como

pn < 1 porque pn < pi porque n < i, m < n s que n < pn m < pn pi

Como m e pn so inteiros m + 1 pn Agora pronto: 2 + 3 + 5 +...+ pn = m pi 2 + 3 + 5 +...+ pn + pi = (m + 1) pi mas como m + 1 pn , m + 1 pode ser escrito como produto dos primos 2, 3, 5,..., pn, ou seja 2 + 3 + 5 + ... + p n + pi = 21 3 2 ... p n n pi .
Como 2 + 3 + 5 + ... + p n + pi = 2 1 3 2 ... p n n pi
n pi alis, mmc (21 3 2 ... p n n pi ,2 3 5 ... pn pi ) = 2 max(1 ,1) 3max( 2 ,1)... p n como m + 1 pn n= 0 ou 1, ou seja max(n , 1) = 1 Como queremos 102002 primos distintos, se 2 + 3 + ... + p10 2002 no for fatorvel nos
max( ,1)

primos 2,3,..., p102002 ele ser da forma m pi , i > 10 m < p102002.

os 10 2002 primeiros primos 2002

Com isso 2 + 3 + ... + p10 2002 + pi = (m + 1) pi , que fatorvel em 2,3,5,..., p102002 , pi , j que m + 1 p102002 . Logo pelo menos um entre 21 3 2 ... p1010 ou 2 1 3 2 ... p1010 pi , com 2002 2002
2002 2002

pi 2+3+...+ 10 2002 , com i e i suficientemente grandes so ensolarados, ou seja, h um nmero ensolarado com 102002 ou 102002 + 1(ou ambos) fatores primos distintos Alias, esse mtodo prova que para todo t inteiro positivo existe pelo menos um nmero ensolarado com t fatores primos ou pelo menos um nmero ensolarado com t + 1 fatores primos (ou ambos). x, se x y Obs. max( x, y ) = y, se y x
p

EUREKA! N14, 2002

16

Sociedade Brasileira de Matemtica

XLIII OLIMPADA INTERNACIONAL DE MATEMTICA


Enunciados e Resultado Brasileiro A LXIII Olimpada Internacional de Matemtica foi realizada na cidade de Glasgow, Reino Unido no perodo de 18 a 31 de julho de 2002. A equipe brasileira foi liderada pelos professores Edmilson Motta (So Paulo SP) e Ralph Costa Teixeira (Niteri RJ). O Resultado da Equipe Brasileira BRA 1 BRA 2 BRA 3 BRA 4 BRA 5 BRA 6 Alex Corra Abreu Larissa Cavalcante Queiroz de Lima Guilherme Issao Camarinha Fujiwara Yuri Gomes Lima Davi Mximo Alexandrino Nogueira Thiago da Silva Sobral Bronze Prata Bronze Bronze Bronze Bronze

PRIMEIRO DIA DURAO: 4 horas e meia.

PROBLEMA 1

Seja n um inteiro positivo. Seja T o conjunto de pontos (x; y) no plano onde x e y so inteiros no negativos e x + y < n. Cada ponto de T pintado de vermelho ou azul. Se um ponto (x; y) vermelho, ento todos os pontos (x'; y') com x' x e y' y tambm so. Um conjunto X um conjunto de n pontos azuis com abcissas todas distintas, e um conjunto Y um conjunto de n pontos azuis com ordenadas todas distintas. Prove que o nmero de conjuntos X igual ao nmero de conjuntos Y. Seja BC um dimetro do crculo de centro O. Seja A um ponto de tal que 0 0 < AOB < 120 0 . Seja D o ponto mdio do arco AB que no contm C. A reta que passa por O e paralela a DA encontra a reta AC em J. A mediatriz de OA corta em E e F. Prove que J o incentro do tringulo CEF.
PROBLEMA 3 PROBLEMA 2

Encontre todos os pares de inteiros m, n 3 tais que h infinitos inteiros positivos a am + a 1 inteiro. para os quais n a + a2 1

EUREKA! N14, 2002

17

Sociedade Brasileira de Matemtica

SEGUNDO DIA DURAO: 4 horas e meia.

PROBLEMA 4

Seja n inteiro maior que 1. Os divisores positivos de n so d1, d2,,dk , onde


1 = d 1 < d 2 < ... < d k = n

Seja D = d1d2 + d2d3 ++dk 1 dk. (a) Prove que D < n2. (b) Encontre todos os valores de n para os quais D um divisor de n2.
PROBLEMA 5

Encontre todas as funes f de 5 em 5 tais que ( f ( x) + f ( z ))( f ( y ) + f (t )) = f ( xy zt ) + f ( xt + yz ) para todo x, y, z, t 5.


PROBLEMA 6

Sejam 1 , 2 ,..., n crculos de raio 1 no plano, onde n 3. Seus centros so O1, O2,,On, respectivamente. Suponha que no exista reta que intercepte mais que dois dos crculos. Prove que (n 1) 1 . 4 1i < j n Oi O j

EUREKA! N14, 2002

18

Sociedade Brasileira de Matemtica

MUROS, PRDIOS E ESCADAS


Ccero de Oliveira Holmer, So Paulo SP Nvel Avanado. H um clssico problema de mximos e mnimos cujo enunciado envolve um prdio (to alto quanto se queira) e um muro de altura h, uma distncia d deste prdio. Pretende-se colocar uma escada, apoiada no muro, a partir do solo e alcanando o prdio, conforme o esquema:

h d

Pergunta-se ento o seguinte: Qual o comprimento mnimo da escada? Vamos montar um modelo, considerando um tringulo retngulo ABC e um retngulo APQR inscrito neste tringulo:
C

B P A

Sendo PQ = a, QR = b e m( ABC ) = , temos: a b a. cos b sen BC = BQ + QC = . Assim, BC = f ( ) e f ' ( ) = + + sen cos sen 2 cos 2 a cos b sen Para termos BC mnimo, preciso que f ' ( ) = 0, isto , + =0 sen 2 cos 2 b sen a cos sen 3 a a (I). = = tg = 3 2 2 3 b sen cos cos b Pelo teorema de Pitgoras, BC 2 = BA2 + AC 2 BC 2 = (BP + PA) 2 + ( AR + RC) 2 =

EUREKA! N14, 2002

19

Sociedade Brasileira de Matemtica

a 2 = tg + b + (a + b tg ) . Como BC deve ser mnimo, de (I), temos:


2 2 2 a a 2 BC = + b + a + b 3 = 3 a2 b + b + a + 3 a b2 = b 3 a b
2

= a 3 a b2 + 2 b 3 a2 b + b2 + a2 + 2 a 3 a b2 + b 3 a2 b = = a 2 + 3 a 3 a b 2 + 3 b 3 a 2 b + b 2 = 3 a 2 + 3 b 2 BC = 3 a 2 + 3 b 2 . Portanto, o comprimento mnimo da escada deve ser 3 h2 + 3 d 2 . Vamos agora considerar uma situao com valores numricos (talvez voc possa aproveitar melhor o que vem a seguir tendo em mos papel, caneta e, se possvel, uma boa calculadora). A partir de um tringulo retngulo bem conhecido, de lados 3, 4 e 5, e outro tringulo semelhante, por exemplo o de lados 9, 12 e 15, podemos montar a figura:
C
3 3 3

10 m

Q 5m 3m B

9m

4m

8m

Formulamos, ento, o seguinte problema: Se o muro tem 3 metros de altura, a distncia do muro ao prdio igual a 8 metros e a escada tem 15 metros de comprimento, poderamos afirmar que a distncia do p da escada ao muro igual a 4 metros?

EUREKA! N14, 2002

20

Sociedade Brasileira de Matemtica

Vejamos: O menor comprimento possvel da escada de metros.


3 9 + 4 < 15, e isto quer dizer que h duas maneiras Pode-se verificar que distintas de posicionarmos a escada e, portanto, existem duas distncias possveis do p da escada ao muro. Vamos ento, novamente, montar um modelo:

32 + 3 82 =

( 9 + 4)
3

15

3 B

Uma soluo possvel, claro, x = 4 metros. Busquemos a outra soluo: PBQ ~ ABC , logo No BPQ temos

15 x BP BA x x+8 = = BQ = 15 BQ BC BQ x+8
2

15 x 4 3 2 x = BQ 3 x = 9 x + 16 x 152 x + 144 x + 576 = 0 x+8 Aplicando-se o algoritmo de Briot-Ruffini, obtemos:


2 2 2 2

1 1

16 20

152 72

144 144

576 0

Assim, a outra soluo raiz de x 3 + 20 x 2 72 x 144 = 0. possvel mostrar que essa equao tem duas razes reais negativas e uma raiz real positiva, que aproximadamente 4,3274534 e pode ser escrita como
EUREKA! N14, 2002

21

Sociedade Brasileira de Matemtica

1567 arccos 4 154 154 5 (ver por exemplo [3] para um mtodo de 154 cos 3 3 resoluo de equaes do terceiro e quarto graus). Assim, as possveis distncias do p da escada ao muro, so de 4 metros e de 1567 arccos 4 154 154 = 154 . cos 5 4,3274534... metros. 3 3

Referncias Bibliogrficas [1] Piskunov N., Clculo Diferencial e Integral, Tomos I e II, Ed. Mir 1977 [2] Demidovitch B., Problemas e Exerccios de Anlise Matemtica, Ed. Mir 1978 [3] Moreira, C.G., Uma soluo das equaes do terceiro e quarto graus, RPM 25, pp. 23-28.

EUREKA! N14, 2002

22

Sociedade Brasileira de Matemtica

INTEIROS DE GAUSS E INTEIROS DE EISENSTEIN


Guilherme Fujiwara, So Paulo SP Nvel Avanado. Vamos abordar nesse artigo a aritmtica de dois conjuntos de inteiros algbricos: os Inteiros de Gauss e os Inteiros de Eisenstein. Definimos o conjunto =[i] dos inteiros de Gauss como =[i] = {a + bi | a, b =}, onde (i2 = 1). A seguir veremos as duas coisas mais importantes de sua aritmtica, o teorema da fatorao nica e os primos. 1.1 Norma Vamos definir uma funo N: =[i] =+ chamada norma, tal que z =[i], N(z) = z z sendo z o conjugado complexo de z. Observe que como ab = a b, ento
1. INTEIROS DE GAUSS

N (a ) N (b) = a a bb = a b a b = ab ab = N (ab) , ou seja, a norma


multiplicativa. 1.2. Unidades As unidades em =[i], analogamente a =, so todos os elementos z =[i] que possuem inverso, ou seja, que z ' =[i ] tal que z z ' = 1. Segue que se z = a + bi uma unidade, ento 1 = N ( z z ' ) = N ( z ) N ( z ' ) N ( z ) = 1 a 2 + b 2 = 1 a = 1, b = 0 ou a = 0, b = 1 = = 1 ou = = i , e como esses quatro tem inverso, todas as unidades so 1 e i. Observe ento que x =[i] unidade N ( x) = 1. 1.3. Divisibilidade Dizemos que para a, b =[i], a|b (l-se a divide b) se c =[i ] tal que b = ac. 1.4. Diviso Euclidiana Vamos ver como funciona a diviso euclidiana. A diviso Euclidiana a existncia de q, r =[i], a, b =[i], b 0 tal que a = bq + r, sendo 0 N (r ) < N (b). Para demonstr-la, basta dividir: a = x + yi, b = z + wi, onde x, y, z, w =.
EUREKA! N14, 2002

23

Sociedade Brasileira de Matemtica

a x + yi x + yi z wi xz xwi + yzi ywi 2 xz + yw yz xw = = = 2 + i b z + wi z + wi z wi z 2 + w2 z + w2 z 2 + w2

Tomamos m e n como os inteiros mais prximos de respectivamente. Note que m


xz + yw
2 2

xz + yw yz xw e 2 , 2 2 z +w z + w2

z +w z +w a yz xw yz xw r = a bq = b q = b 2 z + w2 m + z 2 + w2 n b 2 2 1 1 N (b) < N (b) N (r ) N (b) + = 2 2 2


2 2

,n

yz xw

1 Se q = (m + ni), ento: 2

1.5. Lema de Euclides A partir da diviso euclidiana podemos demonstrar o lema de Euclides, ou seja, se p um primo de Gauss (ou seja, no pode ser escrito como o produto de dois inteiros de Gauss cujas normas so maiores que 1), ento sendo a, b =[i], p|ab p|a ou p|b. Para demonstr-lo, vamos fazer sucessivas divises euclidianas, sendo a0 = a e a1 = p. Seja ak + 2 o resto da diviso euclidiana de ak por ak+1. Temos ento as divises: a 0 = q1 a1 + a 2 a1 = q 2 a 2 + a 3 a 2 = q3 a3 + a 4 a n 2 = q n 1 a n 1 + a n a n 1 = q n a n + a n +1 Observe que como a k 0 N (a k +1 ) < N (a k ) , podemos tomar n tal que N(an +1) = 0, ou seja, an + 1 = 0. Logo an|an 1. Observe que a n | a k +1 e a n | a k a n | a k 1 . Logo a n | a n e a n | a n 1 , ento indutivamente,

a n | a k , k 0 k n,

particularmente

an | a0 = a

a n | a1 = p. Tomando as j + 1 primeiras equaes e realizando substituies adequadas, temos que aj = xj a1 + yj a0 = xj p +yj a; particularmente a n = x n p + y n a.
EUREKA! N14, 2002

24

Sociedade Brasileira de Matemtica

Voltando ao lema, veja que se p|a ento o lema est certo. Se p no divide a, ento, como a n | p, an|a e an = xnp + yna, ento an {1; 1; i; i} e temos:
a n = x n p + y n a b = a n 1 ( px n b + aby n ) p | b, pois demonstrao.

p | ab, o que conclui a

1.6. Fatorao nica A fatorao nica uma das propriedades mais usadas em problemas envolvendo nmeros inteiros. Vamos prov-la para os inteiros de Gauss. Primeiramente provaremos que todo inteiro z de Gauss com norma maior que 1 pode ser escrito como o produto de um ou mais primos de Gauss. Se N(z) = 2, como 2 primo e a norma multiplicativa, ento z primo, portanto est provado. Considere N(z) > 2. Se z primo a fatorao imediata. Se z no primo, ento z = a b N(z) = N(a) N(b), onde N(a), N(b) > 1, portanto N(a), N(b) < N(z). Podemos supor, por induo, que se N(x) < N(z), ento x fatorvel. Logo a e b so fatorveis, e portanto z. Para provar que esta fatorao unica, basta considerar as duas fatoraes p1p2pn e q1q2qm . Suponha, por induo, que p1p2pn = q1q2qm, sendo uma unidade, implica que a seqncia (pi) uma permutao (a menos que sejam multiplicaes por unidades) da (qi). Se max{n; m} = 1, ento o resultado imediato. Supondo que ele vale se max{n'; m'}< max{n; m}, pelo lema de Euclides, vemos que para algum i, pn|qi. Sem perda de generalidade, i = m. Como pn e qm so primos, ento qm = 'pn, onde ' uma unidade. Logo p1p2pn = q1q2qm p1p2pn 1 = ' q1 q 2 ...q m 1 . Por induo, p1, p2,...,pn-1 uma permutao (a menos que sejam multiplicaes por unidades) de q1, q2, , qm, portanto a fatorao nica est provada. 1.7. Nmeros primos Vamos agora ver quem so os nmeros primos em Z[i]. Observe que se N() primo em =, ento um primo de Gauss (pois se fatora ento N() fatora). Observe que todo primo divide N(), portanto ele deve dividir ao menos um fator primo em = de N(). Se dividir ao menos dois nmeros distintos (absolutamente) x e y primos em =, como sempre possvel tomar a, b = tal que ax + by = 1, teramos |1, um absurdo. Logo todo primo de Gauss divide exatamente um primo inteiro positivo (e seu oposto negativo) em =. Seja esse primo inteiro positivo p. Temos trs casos: Se p par, ento p = 2. Sendo = a + bi, ento a2 + b2 = 2 = 1 i , e obtemos os quatro primos 1 + i, 1 i, 1 + i e 1 i. Observe que eles so dois a dois um a multiplicao por uma unidade do outro.
EUREKA! N14, 2002

25

Sociedade Brasileira de Matemtica

Se p 3 (md. 4), como x = x2 0 ou 1 (md. 4), ento, se existisse = c + di, c, d Z, 1 < N() < p2 tal que p = , facil ver que, como p um primo inteiro = c di , logo p = c2 + d2 0, 1 ou 2 (mod.4), absurdo, pois p = 4k + 3. Logo p um primo de Gauss. Se p 1 (md. 4), ento, sendo x = 1 2 ( p 1)/2, ento: ( p 1) ( p 1) x 2 1 2 ... 1 2 ... 2 2 ( p 1) ( p + 1) 1 2 ... ... ( p 2) ( p 1) 1 ( p 1) 2 2 1(md . p ) Logo p | x 2 + 1 = ( x + i)( x i). Como um primo de Gauss que divide p, ento Z, |x + i ou |x i |1, absurdo. Portanto =[i] tal que p = . Seja = a + bi e = c + di, a, b, c, d Z. Como p primo em z, ento mdc(a; b) = mdc(c;d) = 1. Temos p = (a + bi)(c + di) = ac bd + (bc + ad)i. Como p Z, ento bc = ad (a = c e b = d) ou (a = c e b = d) = . Como p > 0, ento = N ( ) = p, logo primo (e e seu conjugado so nicos primos de Gauss que dividem p). Portanto vimos que os nmeros primos em =[i] so: (1) O primo 1 + i e seus produtos pelas unidades. (2) Os primos p em = tal que p 3 (mod. 4) e seus produtos pelas unidades. (3) Para cada primo p em =+ tal que p 1 (mod. 4), os primos a + bi, a bi e seus produtos pelas unidades, sendo a2 + b2 = p. 1.8. Ternas pitgoricas Agora que j vimos a aritmtica bsica dos inteiros de Gauss, vamos comear com um resultado simples e interessante. Vamos achar as solues da equao a2 + b2 = c2, sendo a, b, c =. Seja m = mdc(a; b), a' = a/m e b' = b/m. Temos ento m2 (a2 + b2) = c2 m|c. Seja ento c' = c/m, temos a'2 + b'2 = c'2, mdc(a';b';c') = 1. Note que a'2 + b'2 = c'2 (a'+ b'i)(a' b'i) = c'2. Observe que se d = mdc(a' + b'i; a' b'i), ento d|2a' e d|2b' d|2. Se d no divide 1, ento d|a'2 + b'2 a' e b' so mpares, o que um absurdo, basta ver congruncia mdulo 4. Portanto d|1 a' + b'i e a' + b'i so primos entre si, logo ambos so quadrados perfeitos. Observe tambm que quaisquer a'e b' primos entre si tais que a' + b'i e a' b'i so quadrados perfeitos so solues da equao. Portanto a'e b' formam uma soluo se e somente se existem x, y, z, w = tal que:

EUREKA! N14, 2002

26

Sociedade Brasileira de Matemtica

a '+b' i = ( x + yi) 2 a 'b' i = ( z + wi ) 2

a '+b' i = ( x + yi) 2 a 'b' i = ( x yi) 2

a '+b' i = ( x + yi) 2

a' = x 2 y 2 b' = 2 xy

Veja ento que a' e b' so primos entre si se e s se x e y so primos entre si. Logo as solues so a = (x2 y2) d, b = 2xy d, ou vice-versa, e conseqentemente c = (x2 + y2) d, para x, y, d =, sendo x e y primos entre si. 1.9. O nmero de representaes de um inteiro como a soma de dois quadrados Provaremos agora o seguinte Teorema. Dado n 1 , o nmero de pares a, b = tais que n = a2 + b2 igual a quatro vezes a diferena entre o nmero de divisores da forma 4k + 1 de n e o nmero de divisores da forma 4k + 3 de n. Podemos expressar n da forma: n = 2 p1 ... p k q11 (q i ) 1 ...q mm (q m ) m k Sendo pi primos de Gauss inteiros (da forma 4k + 3) e os pares de conjugados qi q i primos de Gauss (N(qi) da forma 4k + 1) e esses primos diferem dois a dois por mais do que uma multiplicao por uma unidade. Sendo n = a2 + b2 = (a + bi)(a bi), ento, pelo teorema da fatorao nica e a multiplicidade do conjugado, temos:
a + bi = (1 + i ) p12 ... p k2 q1 1 (q 1 ) 1 1 ...q mm (q m ) m m , onde 0 i i e uma unidade. Portanto o nmero de representaes de m como a soma de dois quadrados ser 0 se algum i for mpar e ser 4(1 + 1)( m + 1) se todos i forem pares, sendo o fator 4 pois h 4 escolhas possveis para a unidade. Observe agora que a fatorao de n em primos inteiros ser: n = 2 p1 1 ... p k k N (q1 ) 1 ...N (q m ) m Onde pi sero primos da forma 4k + 3 e N(qi) sero primos da forma 4k + 1. Observe agora que um divisor mpar de n ser da forma: a d = p1a1 ... p k k N (q1 ) b1 ...N (q m ) bm , onde a1 1 ,..., a k k , b1 1 ,..., bm m Note que se a1 + + ak par, ento d da forma 4k + 1, se for mpar da forma 4k + 3. Portanto, conseguimos verificar que se algum i for mpar, o nmero de ds da forma 4k + 3 ser igual ao nmero de ds da forma 4k + 1, e se todos os i forem pares, a diferena entre esses nmeros ser ( 1 + 1)( m + 1), o que termina a demonstrao do teorema. 1 k

EUREKA! N14, 2002

27

Sociedade Brasileira de Matemtica

1.10. Problemas Problema 1. Determine todos os pares x, y = tal que y3 = x2 + 1 Problema 2. Sejam x, y, z 1 tais que xy = z2 + 1. Prove que existem inteiros a, b, c, d tais que x = a2 + b2, y = c2 + d2 e z = ac + bd. Problema 3. Prove que existem duas seqncias inteiras (an) e (bn) infinitas e estritamente crescentes tais que ak(ak + 1) divide bk2 + 1 para todo natural k. 2. INTEIROS DE EISENSTEIN Vamos agora ver os Inteiros de Eisenstein. Definimos o conjunto =[] dos inteiros 1 i 3 + , donde 2 + 2 2 + 1 = 0. Para = a + b =[] definiremos a norma como N() = = a2 ab + b2. Observe que essa norma segue as mesmas propriedades da norma dos inteiros de Gauss ( inteira no negativa e multiplicativa). 2.1. Unidades As unidades em =[] so definidas como os seus elementos que possuem inverso, ou seja u, tal que u 1 tal que u u 1 = 1 N(u) = 1 u = 1, , (1 + ), e verificamos que esses quatro nmeros tem inverso, portanto u unidade se, e s se N(u) = 1. 2 Obs. Note que (1 + ) = . 2.2. Diviso Euclidiana Para provar a existncia de diviso Euclidiana entre a, b =[], b 0. Sejam e tais que: a = + b Tomando q = c + d, tais que c e d so respectivamente os inteiros mais prximos de e . Portanto: r = a bq = b( + q ) N (r ) = 1 1 = N (b)(( c) 2 ( c)( d ) + ( d ) 2 ) N (b) + + 4 4 Portanto existe a diviso Euclidiana.
EUREKA! N14, 2002

de Eisenstein como =[] = {a + b| a, b =}, sendo =

1 < N (b) 4

28

Sociedade Brasileira de Matemtica

2.3. Teorema da fatorao nica Note que, para os inteiros de Gauss, provamos o lema de Euclides e a fatorao nica, usando somente o fato de que existe diviso Euclidiana, portanto, seguindo os mesmos passos para provar o lema de Euclides e a fatorao nica, provaremos a fatorao nica para os inteiros de Eisenstein. 2.4. Primos Tudo muito parecido com os inteiros de Gauss: N() primo em = primo em =[]; todo primo em =[] divide exatamente um primo inteiro positivo. A demonstrao desses dois fatos exatamente igual que foi dada na seo de inteiros de Gauss. Seja p o inteiro positivo primo que o primo, em Z[] divide. Temos trs casos: Se p da forma 3k, ento p = 3, e obtemos = (1 ) ou (2 + ). Se p da forma 3k + 2, como a2 ab + b2 s da forma 3k ou 3k + 1 (verifique voc mesmo), ento p um primo de em Z[] tal que N() = p2. Se p da forma 3k + 1, pela lei da reprocidade quadrtica*: p 3 = (1) 3 p
p 1 31 2 2

3 =1 p =1

Portanto existe x inteiro tal que p | ( x 1) 2 + 3 = x 2 2 x + 2 2 = ( x 2 )(x 2 2 ) , e como p no divide 2, ento p no primo em Z[] e existem e tal que = p. Como p um primo inteiro, ento = , logo e = so primos em

=[] e

= p . Portanto os primos em =[] so: (1) O primo 1 e suas multiplicaes por unidades. (2) Os primos inteiros da forma 3k + 2 e seus produtos pelas unidades, que tambm so primos em =[].
(3) Para todo primo inteiro p da forma 3k + 1, os primos e tal que = p e seus produtos pelas unidades so primos em =[]. *A lei de reciprocidade quadrtica de Gauss diz o seguinte: dados a = e p = primo que no divide
a, definimos a = 1, se a resduo quadrtico mod.p. Para p, q p 0, caso contrrio.
vale sempre p q = ( 1) q p p 1 q 1 2 2

= primos mpares com p > 0

EUREKA! N14, 2002

29

Sociedade Brasileira de Matemtica

2.5. Exemplo Ache todos os a, b, c = + lados de um tringulo com um ngulo de 60o.


*

Vamos supor, sem perda de generalidade, que o ngulo de 60o entre os lados de medidas a e b. Pela lei dos co-senos, temos: c 2 = a 2 + b 2 2ab cos(60) = a 2 + b 2 ab = (a + b )(a b ) Observe a semelhana deste problema com o das ternas pitagricas. Seja m = mdc(a; b), a = a'm, b = b'm. Segue que m 2 c 2 m c , e teremos c = c'm. Logo c 2 = a 2 + b 2 ab c' 2 = a' 2 +b' 2 a' b ', e temos mdc(a'; b'; c') = 1. Seja d tal que d a '+b' e d a 'b' . Segue que d 2a ' e d 2b' , logo d 2 . Se d no divide 1, ento 2 d 2 a' 2 a ' b'+b' 2 2 a ' e 2 b' , absurdo, logo d 1 , e portanto: a '+b' = ( x + y ) 2 = x 2 y 2 + (2 xy y 2 ) a' = x 2 y 2 b' = 2 xy y 2

Portanto as solues so a = ( x 2 y 2 )m, b = (2 xy y 2 )m e c = ( x 2 xy + y 2 )m , para todo x, y, m =+ com x > y, e as permutaes de a, b e c. Outro bom exemplo de aplicao dos inteiros de Eisenstein o problema 6 da IMO de 2001: Sejam a, b, c, d inteiros com a > b > c > d > 0. Considere que ac + bd = (b + d + a c)(b + d a + c) Prove que ab + cd no primo. Primeiramente vamos mostrar por que usar inteiros de Eisenstein: ac + bd = (b + d + a c)(b + d a + c) ac + bd = b 2 + bd ab + bc + bd + d 2 ad + cd + ab + ad a 2 + ac bc cd + ac c 2 b 2 + bd + d 2 = a 2 ac + c 2 A vemos por que usar inteiros de Eisenstein.

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

Observe que como a, b, c > 1, ento mdc(b; d) > 1 ab + cd no primo, logo podemos supor que b e d so primos entre si. Analogamente supomos que mdc(a; c) = mdc(a; d) = mdc(b; c) =1.
EUREKA! N14, 2002

30

Sociedade Brasileira de Matemtica

Seja um primo em

=[ ] tal

que b d . Vamos provar que no divide


2

a + c no divide a + c , e segue que b d a + c . Suponha ento que

a + c . Veja que N ( ) (b d )(a + c ), e temos (b d )(a + c ) = ab + cd + (bc + cd ad )


Como N ( ) =, e N ( ) (b d )(a + c ) , ento N ( ) ab + cd e, supondo ab + cd primo, teramos

ab + cd = N ( ) .
k

Mas
k

nesse

caso

segue

que

b d = k b d 2 = a + c = ' , sendo e ' unidades.


Se = ' / , ento b + d + d = b d 2 = (a + c ). Considerando o fato de mdc(b; d) = mdc(a; c) = mdc(b; c) = 1 e que a > b > c > d > 0, temos que isto um absurdo (a verificao fica para o leitor, basta considerar as 6 possibilidades para ) . Logo b d a + c , e analogamente a + c b d . Portanto b d = (a + c ) , onde uma unidade. Novamente, basta verificar todas as possibilidades para e verificar que isto um absurdo. Portanto ab + cd no primo. 2.6. Problemas Deixamos aqui mais alguns problemas para o leitor: Problema 1. (a) Prove que, para cada inteiro n, o nmero de solues inteiras de x2 xy + y2 = n finito e divisvel por 6. (b) Determine todas as solues inteiras de x2 xy + y2 = 727. Problema 2. Mostre que a equao diofantina x3 + y3 + z3 = 0 s tem solues triviais, ou seja, tais que xyz = 0. Problema 3. Prove que se n um inteiro positivo tal que a equao x3 3xy2 + y3 = n tem solues em inteiros (x; y), ento ela tem pelo menos trs solues.

EUREKA! N14, 2002

31

Sociedade Brasileira de Matemtica

SEQNCIAS ARITMTICO-GEOMTRICAS
Jos Paulo Carneiro & Carlos Gustavo Moreira Nvel Intermedirio. A) Seqncias Aritmtico-Geomtricas ( la Z Paulo) Uma progresso aritmtica (PA) uma seqncia tal que cada termo igual ao anterior adicionado de uma constante (a razo), isto , seu termo geral (an) satisfaz relao de recorrncia a n = a n 1 + r. Da se deduz, como conhecido, que a n = a1 + (n 1)r . Analogamente, uma progresso geomtrica (PG) uma seqncia tal que cada termo igual ao anterior multiplicado por uma constante (a razo), isto , seu termo geral (an) satisfaz relao de recorrncia a n = q a n 1 . Da se deduz, como conhecido, que a n = a1 q n 1 . Existe um outro tipo de seqncia que aparece freqentemente, que uma espcie de mistura de uma PA e uma PG. aquela cujo termo geral (an) satisfaz a relao de recorrncia a n = q a n 1 + r , e que vamos chamar de seqncia aritmticogeomtrica ( la Z Paulo) (SAG), de "razo geomtrica" q e "razo aritmtica" r. (s vamos considerar os casos em que r 0 e q 1, para no recair numa PA ou numa PG.) Observemos que, uma vez conhecido o primeiro termo a1 e a relao de recorrncia a n = q a n 1 + r , conhecem-se sucessivamente a2, a3, etc., e, em princpio, todos os an. Mas permanece o interesse em determinar uma expresso explcita para o termo geral de uma SAG em funo de n, uma vez conhecidos r, q e a1. Um exemplo de SAG aparece na soluo do clebre problema da Torre de Hani (ver [2]), onde so dados trs pinos A, B e C, e se quer determinar o nmero mnimo de movimentos necessrios para se mover do pino A para um dos dois outros pinos uma pilha de n discos de tamanhos desiguais, de modo que nunca um disco maior fique em cima de um disco menor. Se an for o nmero procurado, podemos raciocinar que, inicialmente, vo ser necessrios an 1 movimentos para mover os n 1 discos superiores para o pino B, digamos; em seguida, um movimento para mover o maior de todos os discos para o pino C; e finalmente, mais an 1 movimentos para mover a pilha restante para C e completar a operao. Portanto, an satisfaz relao de recorrncia an = an 1 + 1 + an 1 = 2an 1 + 1, alm da condio inicial a1 = 1. A partir da, podem ser determinados sucessivamente: a2 = 2 1 + 1 = 3, a3 = 2 3 + 1 = 7, e assim por diante. Uma seqncia constante pode ser considerada uma PA de razo 0 ou uma PG de razo 1.
EUREKA! N14, 2002

32

Sociedade Brasileira de Matemtica

Uma pergunta interessante : uma SAG pode ser uma seqncia constante? claro que, se c for este valor constante, isto ocorrer se e s se: c = qc + r, ou seja: r . c= 1 q Vamos agora determinar uma expresso explcita para o termo geral de uma SAG em funo de n. Para isto, consideremos duas SAGs quaisquer, de termos gerais, respectivamente, an e bn, que tenham a mesma razo aritmtica r e a mesma razo geomtrica q, e consideremos a sua diferena dn = an bn . Como an = q an 1 + r e bn = q bn 1 + r, ento dn = an bn = q (an 1 bn 1) = q dn 1. Mas isto mostra que (dn) uma PG de razo q e, portanto: dn = d1 qn 1, ou seja: an bn = (a1 b1)qn 1 , ou ainda: an = bn + (a1 b1)qn 1. Como an e bn eram SAGs quaisquer, esta frmula indica como qualquer SAG pode ser obtida de outra que tenha a mesma razo aritmtica e a mesma razo geomtrica q, podemos tomar bn constante e igual a r r n 1 r q , + a1 , obtendo: a n = 1 q 1 q 1 q que a expresso que se procurava para an. Por exemplo, no caso da Torre de Hani, an = 2an 1 + 1, com a1 = 1. Portanto:
1 1 n 1 n + 1 2 = 2 1. 1 2 1 2 Vale a pena acrescentar que, se a SAG tiver uma infinidade de termos e |q| < 1, ento r qn 1 tende a zero, quando n tende a infinito. Portanto, an tende a . 1 q

Por exemplo: a seqncia infinita definida por: a n =

2 + a n 1 , com a1 = 1 tem 5

3 13 63 termos: 1; ; ; ;..., ou, em decimais: 1,000; 0,600; 0,520; 0,504;. 5 25 125 1 2 2 1 Como a n = a n 1 + , esta seqncia uma SAG com r = e q = , de modo 5 5 5 5 1 1 1 1 que seu termo geral a n = + , e o seu limite = 0,5. 2 2 5 n 1 2 B) Seqncias Aritmtico-Geomtricas ( la Gugu ) Na seo anterior definimos seqncias aritmtico-geomtricas ( la Z Paulo) generalizando as recorrncias de PA's e PG's. Vamos adotar agora um ponto de vista alternativo, generalizando a frmula do termo geral de PA's e PG's.
EUREKA! N14, 2002

33

Sociedade Brasileira de Matemtica

Lembremos que em uma PA de termo inicial a0 = a e razo r temos an = a + nr, n  e numa PG de termo inicial a0 = a e razo q, temos an = aqn. Fazemos, inspirados nessas frmulas, a seguinte definio: Definio: Uma progresso Aritmtico-Geomtrica (PAG) ( la Gugu) uma seqncia (an) cujo termo geral satisfaz a frmula an = (a + nr)qn, n  . Note que se r = 0 nossa PAG uma PG, e se q = 1 nossa PAG uma PA. interessante obter uma frmula para a soma dos n primeiros termos de uma PAG (sn =

a
j =0

n 1

), a qual generalizaria as frmulas para a soma dos n primeiros termos de

PG's (a princpio generalizaria tambm de PA's, mas suporemos q 1. Se fizermos q tender a 1 a frmula tender frmula da soma dos n primeiros termos de uma PA). n 2 n 1 s a n1 Temos sn = (a + jr )q j . Ento n = (a + jr)q j 1 = (a + ( + 1)r )q  = q j =1  =0 j =0 =

 =0

n2

rq  +

"
n 2
 =0

(a + r )q  = r

( q n 1 1) + s n (a + (n 1)r )q n 1 e, portanto, q 1

q 1 q q n1 1 a r a r = (a + (n 1)r )q n1 r = (a + (n 1)r sn )q n1 + sn = q q q 1 q 1 q 1 q q 1 q qr n 1 (r a )q + a q + a + nr . = q 1 q 1 (q 1) 2 aq n a (1 q ) a (q n 1) + = , que a q 1 (q 1) 2 q 1 frmula da soma dos n primeiros termos de uma PG. Notemos finalmente que SAG's e PAG's satisfazem recorrncias lineares homogneas (ver [1]): Para SAG's, temos a n + 2 qa n +1 = r = a n +1 qa n , logo Note que se r = 0 a expresso acima se reduz a
a n + 2 = (q + 1) a n +1 qa n , e para PAG's, notamos que se bn = a n / q n , temos bn =

a + nr, e bn + 2 bn +1 = r = bn +1 bn bn + 2 = 2bn +1 bn = 2qa n +1 q 2 a n . Os polinmios caractersticos

a n+ 2 q
n+2

2a n 1 q
n +1

an qn

a n+ 2 =

dessas

recorrncias

so

respectivamente x 2 (q + 1) x + q = ( x q )( x 1) e x2 2qx + q2 = (x q)2. Referncia: [1] Hctor Soza Pollman, Equaes de Recorrncia, Eureka! No. 9, pp. 33-40. [2] Carlos Yuzo Shine, A torre de Hani, Eureka! No. 11, pp. 17-23.
EUREKA! N14, 2002

34

Sociedade Brasileira de Matemtica

O PRINCPIO DA INVARINCIA
Marcelo Rufino de Oliveira, Belm PA Artigo baseado em aula ministrada no II Teorema, Fortaleza CE Nvel Intermedirio. Uma das principais estratgias para resoluo de problemas de olimpadas a procura por invariantes. O fundamento do Princpio da Invarincia simples: busca pelo que se mantm constante quando uma operao permitida realizada. Entre as principais formas de invariantes destacam-se trs, que sero apresentadas a seguir atravs de exemplos resolvidos.
1. Expresses ou Valores Numricos Invariantes Exemplo 1.1: Comeando com o conjunto {3, 4, 12}, permitido apagar dois nmeros

a e b e escrever em seus lugares 0,6.a 0,8.b e 0,8.a + 0,6.b. possvel chegar ao conjunto {4, 6, 12}?
Resoluo:

Repare que (0,6.a 0,8.b)2 + (0,8.a + 0,6.b)2 = a2 + b2, implicando que a soma dos quadrados dos nmeros dos conjuntos obtidos invariante. Como 32 + 42 + 122 = 132 e 42 + 62 + 122 = 142 ento no possvel chegar ao conjunto {4, 6, 12}.
Exemplo 1.2: (Maio-99) Em cada um dos 10 degraus de uma escada existe uma r.

Cada r pode, de um pulo, colocar-se em outro degrau, mas quando uma r faz isso, ao mesmo tempo, uma outra r pular a mesma quantidade de degraus em sentido contrrio: uma sobe e outra desce. Conseguiro as rs colocar-se todas juntas num mesmo degrau?
Resoluo:

Numeremos os degraus de 1 a 10 e associemos a cada r o nmero do degrau que ocupam. O somatrio inicial destes valores S = 1 + 2 + + 10 = 55. Perceba agora que este somatrio invariante, pois quando uma r sobe uma certa quantidade x de degraus, temos outra r que desce x, fazendo com que a soma das numeraes destas duas rs no se altere. Caso todas as rs ocupem um mesmo degrau (digamos y), ento todas as suas numeraes so iguais a deste degrau, ou seja, teremos 10y = 55, que no possui soluo inteira. Deste modo, impossvel que todas as rs ocupem um mesmo degrau.

EUREKA! N14, 2002

35

Sociedade Brasileira de Matemtica

Exemplo 1.3: As seguintes operaes so permitidas com a equao quadrtica ax2 + bx + c: a) trocar a e c; b) trocar x por x + t, onde t um nmero real. Repetindo estas transformaes possvel transformar x2 x 2 em x2 x 1? Resoluo:

Mostraremos que invariante o valor do discriminante de todas as equaes obtidas pela aplicao das operaes permitidas. Inicialmente temos 0 = b2 4ac. Aplicando a primeira operao: ax2 + bx + c cx2 + bx + a (1) Para esta equao temos 1 = b2 4ca = 0 Aplicando a segunda operao: ax2 + bx + c a(x + t)2 + b(x + t) + c = ax2 + (b + 2at)x + at2 + bt + c (2) 2 = (b + 2at)2 4a(at2 + bt + c) = b2 + 4abt + 4a2t2 4a2t2 4abt 4ac 2 = b2 4ac = 0 = 1 Como o discriminante de x2 x 2 9 e o discriminante de x2 x 1 5, a transformao impossvel.
2. Restos de Divises Invariantes Exemplo 2.1: (Torneio das Cidades-85) Todo membro de uma seqncia, iniciando do segundo, igual a soma entre o termo precedente e a soma dos seus dgitos. O primeiro nmero 1. possvel que 123456 pertena seqncia? Resoluo:

Perceba que: a2 = 2 = 3.0 + 2 a3 = 4 = 3.1 + 1 a4 = 8 = 3.2 + 2 a5 = 16 = 3.5 + 1 a6 = 23 = 3.7 + 2 a7 = 28 = 3.9 + 1 ... Aparentemente os restos da diviso por 3 dos termos so alternadamente 1 e 2. Vamos demonstrar isto. Seja S(n) a soma dos dgitos de n. Sabemos que n e S(n) deixam o mesmo resto na diviso por 3: i) Se an = 3k1 + 1 an + 1 = an + S(an) = 3k1 + 1 + 3k2 + 1 = 3k3 + 2. ii) Se an = 3k1 + 2 an + 1 = an + S(an) = 3k1 + 2 + 3k2 + 2 = 3k3 + 1. Deste modo, se n par ento an = 3k + 2 e se n mpar ento an = 3k + 1 (invariante). Como 123456 divisvel por 3 ento no pertence seqncia.
Exemplo 2.2: (Leningrado-85) Trs cangurus esto alinhados em uma estrada. A cada

segundo um dos cangurus salta. permitido que um canguru salte por cima de um outro canguru, mas no de dois cangurus de uma s vez. Prove que depois de 1985 segundos, os cangurus no podem voltar a ocupar a posio relativa inicial.

EUREKA! N14, 2002

36

Sociedade Brasileira de Matemtica

Resoluo:

Existem seis posies para os cangurus: 123 132 312 321 231 213 Note que as posies sublinhadas somente podem ser alcanadas atravs de um posio anterior em negrito e vice-versa (invariante). Assim, depois de um nmero mpar de pulos somente as posies sublinhadas (132, 321 e 213) podem ser alcanadas, fazendo com que depois de 1985 pulos no seja possvel que os cangurus voltem a ocupar a posio inicial (123).
Exemplo 2.3: (Par-2001) Um tabuleiro 4x4 possui, inicialmente, todas as casas pintadas de branco. Uma operao permitida escolher um retngulo consistindo de 3 casas e pintar cada uma das casas da seguinte forma: se a casa branca ento pinta-se de preto; se a casa preta ento pinta-se de branco. Prove que, aplicando vrias vezes a operao permitida, impossvel conseguirmos que todo o tabuleiro fique pintado de preto. Resoluo:

Distribuimos as letras a, b e c no tabuleiro da seguinte forma:

a b c c a b b c a a b c

a c b a

Note que as letras esto alternadas tanto nas linhas quanto nas colunas. Esta alternncia faz com que toda vez que um retngulo com 3 casas seja selecionado, ento exatamente uma letra a, uma letra b e uma letra c so selecionadas. Sejam: A a quantidade de casas brancas com a letra a, B a quantidade de casas brancas com a letra b e C a quantidade de casas brancas com a letra c. No incio temos: A = 6 B = 5 C = 5. Toda vez que selecionamos um retngulo formado de trs casas, estamos somando a cada valor de A, B e C os valores + 1 ou 1. Perceba que se todas casas ficarem pretas, ento teremos A = 0, B = 0 e C = 0. Entretanto, note que iniciando de A = 6, B = 5 e C = 5, e alterando simultaneamente por + 1 ou 1 estes valores, sempre teremos entre os valores de A, B e C dois nmeros mpares e um par ou dois pares e um mpar (invariante), fazendo com que a situao A = 0, B = 0 e C = 0 seja impossvel.
Exemplo 2.4: (OBM Jr.-95) Temos um tabuleiro 1995 1995. A cada uma de suas

19952 casas associamos um dos nmeros + 1 ou 1. Em seguida, associamos a cada

EUREKA! N14, 2002

37

Sociedade Brasileira de Matemtica

linha o produto dos nmeros das casas desta linha, e a cada coluna o produto dos nmeros das casas de cada coluna. i) Se T a soma dos nmeros associados s linhas, colunas e casas, prove que T diferente de 0. ii) Se S a soma dos nmeros associados s linhas e s colunas, prove que S diferente de 0.
Resoluo:

i) Como temos 1995 colunas e 1995 linhas, ento as somas dos nmeros associados s linhas e colunas so nmeros mpares, pois so soma ou subtrao de 1995 nmeros mpares. Em relao s casas temos o mesmo raciocnio, pois so ao todo 19952 casas, cujo valor de cada casa pode ser igual a 1 ou 1. Somando todos estes valores teremos tambm um valor mpar. Assim, T a soma de trs valores mpares, sendo tambm mpar, nunca podendo assumir o valor zero. ii) Inicialmente notemos que qualquer disposio no tabuleiro pode ser alcanada partindo de uma configurao inicial na qual todas as casas possuem valor 1 e alterando-se os sinais desejados. Com o tabuleiro contendo somente 1's, temos que as somas das linhas e colunas 1995, fazendo uma soma total de 3990, que obviamente o maior valor possvel. Quando trocamos um 1 por um 1, notamos que as somas das linhas e colunas passam a ser 1993, fazendo S = 3986. Assim, fica evidente que uma alterao de um sinal em uma casa do tabuleiro altera o valor da soma da linha e da coluna a qual pertence esta casa em 2, e por conseqncia altera a soma total em 0 ou 4 (invariante). Deste modo, a soma total pode ser escrita da forma S = 3990 4k. Caso S = 0, teramos 4k = 3990, que no possui soluo inteira, absurdo.
Exemplo 2.5: (Hong Kong-97) Cinco nmeros 1, 2, 3, 4, 5 esto escritos em um quadro negro. Um estudante pode apagar dois dos nmeros a e b no quadro e escrever os nmeros a + b e ab nos seus lugares. Se esta operao repetida indefinidamente, podem os nmeros 21, 27, 64, 180, 540 aparecer no quadro negro ao mesmo tempo? Resoluo:

No possvel. Note que no incio existe somente um nmero divisvel por 3 e no final existem quatro nmeros divisveis por 3. Observemos o que acontece com os restos da diviso por 3 dos nmeros no quadro quando fazemos uma operao: i) se a = 3x e b = 3y a + b = 3z e ab = 3w ii) se a = 3x + 1 e b = 3y a + b = 3z + 1 e ab = 3w iii) se a = 3x + 2 e b = 3y a + b = 3z + 2 e ab = 3w iv) se a = 3x + 1 e b = 3y + 1 a + b = 3z + 2 e ab = 3w + 1
EUREKA! N14, 2002

38

Sociedade Brasileira de Matemtica

v) se a = 3x + 1 e b = 3y + 2 a + b = 3z e ab = 3w + 2 vi) se a = 3x + 2 e b = 3y + 2 a + b = 3z + 1 e ab = 3w + 1 Portanto, a nica forma de aumentar os divisveis por 3 escolher a = 3x + 1 e b = 3y + 2. Consequentemente tambm acrescentamos um nmero da forma 3k + 2. Por outro lado, na situao final o nico nmero que no divisvel por 3 64, que da forma 3k + 1, contradio, pois este nmero deveria ser da forma 3k + 2 (O caso iii) mostra que sempre haver um nmero da forma 3k + 2 aps termos 4 deles da forma 3k).
3. Tendncias de Crescimento ou Decrescimento Invariantes Exemplo 3.1: Um total de 2000 pessoas esto divididas entre os 115 quartos de uma

manso. A cada minuto, at que todas no estejam em um mesmo quarto, uma pessoa anda para um quarto com um nmero igual ou maior de pessoas do que o quarto que ocupava. Prove que eventualmente todas as pessoas vo estar em um mesmo quarto. Seja ai a quantidade de pessoas no quarto i, 1 i 115. 2 2 2 Considere a expresso I = a1 + a2 + ... + a115 . Digamos que uma pessoa sai de um quarto que possui n pessoas e vai para um quarto que possui m pessoas (m n). A variao de I : I = ((m + 1)2 + (n 1)2) (m2 + n2) = 2(m n + 1) > 0 Assim, toda vez que uma pessoa troca de quarto o valor de I cresce (tendncia de crescimento invariante). Entretanto note que o valor de I no pode crescer indefinidamente, uma vez que o nmero total de pessoas finito, implicando que uma hora todas as pessoas estaro em um mesmo quarto.
Exemplo 3.2: (2 Lista de Preparao para a Cone Sul-2001) Existem inicialmente n
a

Resoluo:

nmeros 1 em um quadro negro. Em cada passo permitido apagar quaisquer dois nmeros a e b e escrever o nmero ab 2 . Esta operao feita n 1 vezes. Prove a+b que o ltimo nmero no menor que 1 . n
Resoluo:

Suponha que depois de k operaes temos os seguintes nmeros escritos no quadro: 1 a1, a2, ..., an k. Considere a expresso Ik = 12 + 12 + ... + 2 . a1 a2 an k
EUREKA! N14, 2002

39

Sociedade Brasileira de Matemtica

Depois de uma operao a variao de I vale:


2 I = a + b 12 1 = 1 1 + 1 12 1 I = 1 1 2 1 2 ab 2a 2b a b2 2 a b a b2 2 ab Pela desigualdade entre as mdias aritmtica e geomtrica: 1 + 1 a 2 b2 1 1 = 1 1 1 1 0 2 ab 2a 2 2b 2 a 2 b 2 ab Desta forma I 0, ou seja, I nunca cresce. Como I0 = n e In 1 = 12 ento In 1 I0 12 n a1 1 . n a1 a1 2

Exemplo 3.3: (St. Petersburg-96) Vrios inteiros positivos distintos esto escritos em

um quadro negro. Uma operao permitida apagar dois inteiros distintos e escrever em seus lugares o mximo divisor comum e o mnimo mltiplo comum destes nmeros. Prove que, depois da aplicao de operaes permitidas vrias vezes, os nmeros eventualmente vo parar de mudar.
Resoluo:

Suponha que a e b (a > b) so dois nmeros escritos no quadro. Sejam D = mdc (a, b) e L = mmc (a, b). Consequentemente: D < a, D b, L a, L > b. Como ab = DL ab + b2 = DL + b2 (1) Como (L b)(D b) 0 DL Lb bD + b2 0 DL + b2 bL + bD (2) Aplicando (2) em (1): ab + b2 bL + bD a + b D + L (3) Assim, a soma S dos nmeros escritos no quadro nunca decresce. Repare tambm que a igualdade em (3) implica (L b)(D b) = 0, ou seja, D = b L = a. Por outro lado, como mdc (x1, x2, ..., xm) mmc (x1, x2, ..., xm) x1x2...xm, ento, depois de um nmero qualquer de operaes realizadas, cada nmero no quadro menor ou igual que o produto de todos os nmeros inicialmente escritos. Portanto, S menor ou igual a n vezes o produto dos nmeros inicialmente escritos. Como podese fazer um nmero infinito de operaes e S possui ao mesmo tempo as propriedades de ser limitada e nunca decrescer, ento a partir de um certo momento S fica constante, fazendo com que D = b e L = a, implicando que eventualmente os nmeros vo parar de mudar.

EUREKA! N14, 2002

40

Sociedade Brasileira de Matemtica

Exerccios: 01. Um crculo dividido em seis setores. Os nmeros 1, 0, 1, 0, 0, 0 so escritos em

sentido horrio. permitido aumentar em 1 dois nmeros vizinhos. possvel que em algum momento todos os nmeros sejam iguais?
02. Divide-se um crculo em 10 setores e coloca-se uma ficha em cada setor. Um movimento consiste em selecionar duas fichas e mover cada uma para um setor adjacente. Prove que, depois de uma seqncia arbitrria de movimentos, impossvel que todas as fichas localizem-se em um mesmo setor. 03. (Rio Grande do Norte-99) A professora desafia Andr e Thiago com o seguinte

jogo, em que eles jogam alternadamente. Ela escreve no quadro-negro os inteiros de 1 a 50. Uma jogada consiste em escolher dois dos nmeros escritos, apagar esses nmeros, substituindo-os pela soma (Por exemplo, se Andr escolheu 8 e 23, apagaos e escreve 31). Depois de algum tempo, vai restar no quadro negro um nico nmero. Se esse nmero par, o ganhador Andr, caso contrrio, o ganhador Thiago. Quem vence o jogo: Andr ou Thiago?
04. (Torneio das Cidades-93) Trs pilhas de caroos so dadas sobre uma mesa.

permitido adicionar ou remover de uma pilha um nmero de caroos que igual a soma do nmero de caroos das outras duas pilhas. Por exemplo [12, 3, 5] pode tornar-se [12, 20, 5] pela adio de 17 = 12 + 5 para a pilha de 3 ou tornar-se [4, 3, 5] pela remoo de 8 = 3 + 5 caroos da pilha com 12. possvel, iniciando com pilhas possuindo 1993, 199 e 19 caroos, conseguir uma pilha vazia depois de uma seqncia de operaes permitidas?
05. (Torneio das Cidades-85) Na ilha de Camelot vivem 13 camalees roxos, 15

verdes e 17 amarelos. Quando dois de cores distintas se encontram, mudam simultaneamente para a terceira cor. Poderia dar-se a situao na qual todos tenham a mesma cor?
06. (Rssia-78) So dadas 3 mquinas que produzem cartes com pares de nmeros

naturais. A primeira, sendo dado o carto com (a, b), produz um novo carto com (a + 1, b + 1); a segunda, sendo dado o carto com (a, b), produz novo carto com (a/2, b/2), se ambos a e b so pares e nada no caso oposto e a terceira mquina, sendo dados os cartes (a, b) e (b, c), produz um novo carto com (a, c). Todas as mquinas retornam tambm os cartes iniciais. Suponha que foi dado o carto inicial (5, 19). possvel obter: a) (1, 50)?
EUREKA! N14, 2002

41

Sociedade Brasileira de Matemtica

b) (1, 100)? c) Suponha que foi dado o carto inicial (a, b) (a < b). Ns queremos obter o carto (1, n). Para quais n isto possvel?
07. Em um quadro negro esto escritos n nmeros. A cada minuto apaga-se dois

nmeros a e b e escreve-se o nmero (a + b)/4. Repetindo esta operao n 1 vezes, existir somente um nmero no final. Prove que se inicialmente existirem n 1's no quadro, ento o ltimo nmero no menor que 1/n.
08. (Leningrado-89) Vrios (mas no menos que 2) nmeros no nulos so escritos

em um quadro negro. possvel apagar dois dos nmeros, A e B, e ento escrever nos seus lugares os nmeros A + B/2 e B A/2. Prove que o conjunto de nmeros no quadro negro, depois de um nmero qualquer de operaes, no pode coincidir com o conjunto inicial.
09. (2 Lista de Preparao para a Cone Sul-96) 119 anes vivem em uma aldeia com
a

120 pequenas casas. Uma casa dita super-habitada se 15 anes ou mais vivem l. Todo dia, os anes de uma casa super-habitada tm uma discusso e se mudam para outras (distintas) casas da aldeia. Algum dia, necessariamente, esse processo se encerrar?

Bibliografia:

[1] A. Engel, Problem-Solving Strategies, Springer-Verlag, 1998. [2] P. J. Taylor, Tournament of the Towns 1984-1989, Australian International Centre for Mathematics Enrichment, 1992.
[3] D. Fomin, A. Kirichenko, Leningrad Mathematical Olympiads 1987-1991, MathPro Press, 1994.

EUREKA! N14, 2002

42

Sociedade Brasileira de Matemtica

XXII TORNEIO DAS CIDADES


Primavera 2001 Nvel O Jnior
PROBLEMA 1

O nmero natural n pode ser trocado por ab se a + b = n, onde a e b tambm so nmeros naturais. O nmero 2001 pode ser obtido a partir de 22 atravs destas trocas?
PROBLEMA 2

Um dos segmentos que liga os pontos mdios dos lados de um tringulo maior que uma das medianas do tringulo. Prove que o tringulo obtusngulo.
PROBLEMA 3

Vinte quilogramas de queijo esto venda em uma mercearia e os fregueses esto em fila para comprar esse queijo. Aps algum tempo, tendo acabado de atender um dos fregueses, a vendedora calcula (corretamente) a quantidade total de queijo j vendida e anuncia o nmero de fregueses para os quais h queijo, na quantia exata, se cada fregus comprar uma poro cuja massa exatamente igual a quantidade mdia comprada pelos anteriores. Pode ocorrer de a vendedora poder declarar, aps cada um dos 10 primeiros fregueses ter feito sua compra, que h queijo na quantia exata para os prximos 10? Se isso puder ocorrer, quanto queijo haver ainda na mercearia aps os primeiros 10 fregueses terem feito suas compras? (A quantidade mdia de uma seqncia de compras a massa total de queijo vendida dividida pelo nmero de vendas.)
PROBLEMA 4

a) H 5 tringulos de papel idnticos sobre uma mesa. Cada um pode ser transladado em qualquer direo. verdade, ento, que qualquer um deles pode ser coberto pelos outros 4? b) H 5 tringulos equilteros de papel idnticos sobre uma mesa. Cada um pode ser transladado em qualquer direo. Prove que, ento, qualquer um deles pode ser coberto pelos outros 4.
PROBLEMA 5

Sobre um tabuleiro 15 15 so colocados quinze cavalos de modo que em cada fileira (linha ou coluna) do tabuleiro haja exatamente um cavalo. Ento, simultaneamente, cada cavalo faz um movimento segundo as regras do xadrez. Prove que aps os movimentos haver dois cavalos em uma mesma fileira do tabuleiro.
EUREKA! N14, 2002

43

Sociedade Brasileira de Matemtica

Primavera 2001 Nvel O Snior


PROBLEMA 1

Um nibus que percorre um trajeto de 100 km equipado com um computador, que prev quanto tempo falta para chegar ao destino final. Esta previso feita assumindo que a velocidade mdia do nibus na parte restante do trajeto ser a mesma da parte j percorrida. Quarenta minutos aps a partida do nibus, o computador previu que o tempo restante de viagem seria de uma hora. E este tempo previsto permaneceu inalterado pelas prximas 5 horas. Isso pode de fato ocorrer? Caso possa, quantos quilmetros o nibus percorreu nestas 5 horas? (A velocidade mdia do nibus o nmero de quilmetros percorridos dividido pelo tempo gasto para percorr-los.)
PROBLEMA 2

A representao decimal do nmero natural a consiste de n dgitos, enquanto que a representao decimal de a3 consiste de m dgitos. Pode n + m ser igual a 2001?
PROBLEMA 3

No tringulo ABC o ponto X est sobre o lado AB, enquanto o ponto Y est sobre o lado BC. Os segmentos AY e CX interceptam-se no ponto Z. Sabe-se que AY = YC e AB = ZC. Prove que os pontos B, X, Z e Y esto sobre uma circunferncia. Duas pessoas jogam sobre um tabuleiro 3 100. Elas jogam alternadamente: a primeira coloca domins 1 2 sobre o tabuleiro, a segunda coloca domins 2 1. A perdedora aquela que, na sua vez, no puder colocar domin. Qual dos dois jogadores tm estratgia vencedora? Descreva-a.
PROBLEMA 5 PROBLEMA 4

Nove pontos so desenhados sobre a superfcie de um tetraedro regular de aresta 1 cm. Prove que entre estes pontos existem dois cuja distncia (no espao) menor ou igual a 0.5 cm.

EUREKA! N14, 2002

44

Sociedade Brasileira de Matemtica

XXIII TORNEIO DAS CIDADES


Outono 2002 Nvel O Jnior
PROBLEMA 1

dado um nmero suficientemente grande de cartes retangulares a cm b cm, onde a e b so inteiros positivos e a menor do que b. Sabe-se que com esses cartes podemos montar (sem sobrepor cartes e sem buracos) um retngulo 49 cm 51 cm e um 99 cm 101 cm. Os valores de a e b esto determinados unicamente a partir desses dados?
PROBLEMA 2

Dado um tringulo qualquer, possvel cort-lo em quatro conjuntos convexos: um tringulo, um quadriltero, um pentgono e um hexgono?
PROBLEMA 3

O nmero x 2 + xy + y 2 , no qual x e y so inteiros positivos, escrito na notao decimal termina em zero. Prove que ele termina em pelo menos dois zeros.
PROBLEMA 4

Os lados AB, BC, CD e DA do quadriltero ABCD so tangentes a uma circunferncia nos pontos K, L, M e N, respectivamente; S o ponto de interseco dos segmentos KM e LN. Sabe-se que o quadriltero SKLB inscritvel. Prove que o quadriltero SNDM tambm inscritvel.
PROBLEMA 5

a) So dadas 128 moedas de duas massas distintas, 64 de cada tipo. Como obter duas moedas de massas distintas fazendo no mais de 7 pesagens um uma balana com dois braos (e sem pesos auxiliares)? b) So dadas oito moedas de duas massas distintas, 4 de cada tipo. Como obter duas moedas de massas distintas fazendo no mais de duas pesagens em uma balana com dois braos (e sem pesos auxiliares)?

EUREKA! N14, 2002

45

Sociedade Brasileira de Matemtica

Outono 2002 Nvel A Jnior


PROBLEMA 1

Sejam a, b, e c as medidas dos lados de um tringulo. Prove a desigualdade a 3 + b 3 + 3abc >c 3


PROBLEMA 2

Quatro peas (duas brancas e duas pretas) so colocadas em um tabuleiro quadriculado 23 23: as peas brancas so colocadas no canto superior esquerdo e no canto inferior direito; as peas pretas so colocadas no canto inferior esquerdo e no canto superior direito. As brancas e pretas se movem alternadamente, sendo que as brancas comeam. Em cada movimento, uma pea movida para qualquer casa vizinha (isto , que tem uma lado em comum) que no tenha pea. O objetivo das peas brancas ocupar duas casas vizinhas. As pretas podem evitar que isso acontea?
PROBLEMA 3

Sejam E e F os pontos mdios dos lados BC e CD, respectivamente, do quadriltero convexo ABCD. Os segmentos AE, AF e EF dividem o quadriltero em 4 tringulos cujas reas (em alguma ordem) so inteiros positivos consecutivos. Qual a maior rea que o tringulo ABC pode ter?
PROBLEMA 4

N lmpadas esto enfileiradas. Inicialmente, algumas delas esto acesas. A cada minuto, todas as lmpadas acesas so apagadas e acendemos cada lmpada apagada que for vizinha a exatamente uma lmpada que estava acesa. Para que valores de n possvel escolher uma configurao inicial de lmpadas de modo que em qualquer momento pelo menos uma lmpada esteja acessa?
PROBLEMA 5

Um tringulo acutngulo cortado por uma reta em dois pedaos (no necessariamente triangulares). Em seguida, um dos pedaos cortado por uma reta em dois pedaos, e assim por diante: a cada passo um dos pedaos obtido em qualquer passo anterior escolhido e cortado por uma reta em dois novos pedaos. Aps um certo nmero de passos, todos os pedaos so triangulares. possvel que todos tenham um ngulo obtuso?

EUREKA! N14, 2002

46

Sociedade Brasileira de Matemtica

PROBLEMA 6

Em uma seqncia crescente de inteiros positivos, cada termo, a partir do 2002simo, divide a soma de todos os termos anteriores. Prove que cada termo da seqncia, a partir de um certo ponto, igual soma de todos os anteriores.
PROBLEMA 7

Dada uma cadeia de domins, montada de acordo com as regras usuais, permitida a seguinte operao: escolha uma subcadeia contida nela cujas extremidades so iguais (tm o mesmo nmero de pontos marcados), retire-a, inverta sua ordem e recoloque. Mostre que, dadas duas cadeias montadas a partir de um mesmo conjunto de domins e com extremidades respectivamente iguais (isto , os incios so iguais entre si, bem como os finais), possvel transformar, atravs de uma seqncia de operaes como a descrita, uma das cadeias na outra.

EUREKA! N14, 2002

47

Sociedade Brasileira de Matemtica

OLIMPADAS AO REDOR DO MUNDO

Como sempre acontece no perodo em que realizada a maior parte das competies internacionais o comit editorial da revista EUREKA! se preocupa em mostrar as resolues das competies nacionais dos anos anteriores para o treinamento dos nossos atuais e futuros competidores. Por isto, estivemos ausentes da edio anterior. Continuamos a disposio na OBM para aqueles que estiverem interessados na soluo de algum problema particular. Para tanto, basta contactar a OBM, atravs de carta ou e-mail. Antonio Luiz Santos

151. (Irlanda-2001) Seja ABC um tringulo de lados BC , CA, AB cujas medidas so

respectivamente iguais a a, b, c. Se D e E so os pontos mdios de AC e AB respectivamente, mostre que a mediana BD perpendicular a CE se, e somente se, b 2 + c 2 = 5a 2 .
152. (Irlanda-2001) Mostre que se um nmero primo mpar p pode ser colocado sob a

forma x 5 y 5 para alguns inteiros x e y ento


4 p + 1 v2 + 1 = 5 2

para algum inteiro mpar v.


153. (Irlanda-2001) Determine os nmeros reais x no negativos para os quais
3

13 + x + 3 13 x

um nmero inteiro.
154. (Irlanda-2001) Determine todas as funes f : 1 1 que satisfazem

f (x + f ( y )) = f (x ) + y, x, y N.

155. (Rssia-2001) Os nmeros de 1 a 999 999 so divididos em dois grupos: no

primeiro, cada nmero nele colocado tal que o quadrado perfeito mais prximo dele o quadrado de um nmero mpar. No segundo, os nmeros esto mais prximos de quadrados perfeitos de nmeros pares. Determine em qual dos grupos a soma dos nmeros a ele pertencentes maior.
EUREKA! N14, 2002

48

Sociedade Brasileira de Matemtica

156. (Rssia-2001) Sobre o maior lado AC de um tringulo ABC , toma-se um ponto

N de modo que as mediatrizes dos segmentos AN e NC intersectam os lados AB e BC nos pontos K e M, respectivamente. Prove que o circuncentro O do tringulo ABC pertence ao crculo circunscrito ao tringulo KBM.
157. (Rssia-2001) Dois crculos so tangentes internamente no ponto N . Uma

tangente traada de um ponto K do crculo interno intersecta o crculo externo nos pontos A e B . Se M o ponto mdio do arco AB que no contm o ponto N , mostre que o raio do crculo circunscrito ao tringulo BMK no depende da escolha do ponto K do crculo interior.
158. (Rssia-2001) A seqncia (xn ) tal que x1 = 1 , xn +1 = n sen xn + 1 . Mostre que

esta seqncia no peridica.


159. (Eslovnia-2001) Sejam a1 , a 2 , a3 , a 4 e a5 nmeros reais distintos. Denotando por

m o nmero de valores distintos das somas ai + a j , onde 1 i j 5 ,

determine o menor valor possvel de m .


160. (Eslovnia-2001) Sejam a, b, c, d , e e

f nmeros reais positivos tais que a seqncia (a, b, c, d ) seja aritmtica e a seqncia (a, e, f , d ) seja geomtrica. Mostre que bc ef . Sabendo que a bissetriz interna do ngulo C intersecta o lado oposto no ponto E e que CEA = , determine a medida do ngulo EDB . 4

161. (Eslovnia-2001) Seja D o p da altura relativa ao lado BC do tringulo ABC .

162. (Eslovnia-2001) (a) Mostre que a desigualdade

2 n verdadeira para todo inteiro positivo n .

n +1 n <

< n n 1

(b) Mostre que a parte inteira da expresso 1 1 1 1 1+ + + + + 2 2 3 m 1 m2 onde m um inteiro positivo igual a 2m 2 ou 2m 1 .

EUREKA! N14, 2002

49

Sociedade Brasileira de Matemtica

163. (Crocia-2001) Resolva a inequao

x1+ log a x > a 2 x, a > 0, a 1


164. (Crocia-2001) A partir dos pontos mdios dos lados de um tringulo acutngulo

so traadas perpendiculares aos outros dois lados. Mostre que a rea do hexgono definido por esses segmentos igual metade da rea do tringulo.
165. (Crocia-2001) Determine todos os pares ordenados de nmeros reais x, y que

satisfazem equao 2 1 1 1 = y log 2 2 cos 2 (xy ) + 2 2 cos 2 (xy )


166. (Crocia-2001) Quatro esferas de raios iguais a R so mutuamente tangentes entre

si. Determine o raio r da maior esfera que pode ser inserida entre elas.
167. (Bielorssia-2001) No grfico da parbola y = x no plano cartesiano marcamos os
2

pontos A, B e C (com A entre B e C ). No segmento BC marca-se o ponto N de modo que AN seja paralelo ao eixo das ordenadas. Se S1 e S 2 so as reas dos tringulos ABN e ACN , respectivamente, determine a medida do segmento AN.
168. (Bielorssia-2001) A comisso organizadora da OBM preparou algumas variantes

de uma competio com 4 problemas cada uma. Duas variantes distintas podem conter um mesmo problema mas no mais do que um. Qual o menor nmero de problemas necessrios para que a comisso organizadora prepare 10 variantes da competio?
169. (Bielorssia-2001) O quadriltero ABCD est inscrito num crculo S1 ; um outro

crculo S 2 passa pelo ponto D , pelo ponto O , de interseo das diagonais do quadriltero, e intersecta AD e CD em M e N, respectivamente. Sabendo que OM e AB intersectam-se em R enquanto que ON e BC intersectam-se em T ( R , T e A pertencem ao mesmo semiplano em relao a BC ), mostre que O, R, T e B pertencem ao mesmo crculo.

EUREKA! N14, 2002

50

Sociedade Brasileira de Matemtica

170. (Bielorssia-2001) Determine o resto da diviso de

1! 5 + 2! 11 + + k! k 2 + 3k + 1 + + 200! 40601 por 2004 .


171. (Inglaterra-2001) Determine todos os nmeros naturais N de dois algarismos para

os quais a soma dos algarismos de 10 N N divisvel por 170 .


172. (Inglaterra-2001) Um crculo S interior a um crculo T e o tangencia no ponto

A . De um ponto P A sobre T , traam-se as cordas PQ e PT de T que tangenciam S em X e Y, respectivamente. Mostre que QAR = 2XAY .

173. (Inglaterra-2001) Uma seqncia

(an )

tal que a n = n +

n , onde n um

inteiro positivo e x o inteiro mais prximo a x , sendo as metades arredondadas para cima se for necessrio. Determine o menor inteiro k para os quais os termos ak , ak +1 ,..., ak + 2000 formam uma seqncia de 2001 inteiros consecutivos.
174. (Inglaterra-2001) As medidas dos lados de um tringulo so a, b, c e a medida do

raio do crculo circunscrito ao tringulo R . Mostre que o tringulo retngulo se, e somente se, a 2 + b 2 + c 2 = 8R 2 .
175. (Torneio das Cidades-2001) Diga se existem inteiros positivos a1 < a2 < ... < a100 tais

que para todo k , 2 k < 100 , o mnimo mltiplo comum de ak 1 e ak maior que o mnimo mltiplo comum de ak e ak +1 .
176. (Torneio das Cidades-2001) Os vrtices de um tringulo tm coordenadas (x1 , y1 ) ,

(x2 , y2 ) e (x3 , y3 ). Para quaisquer inteiros h e k , o tringulo cujos vrtices tm coordenadas (x1 + h, y1 + k ) , (x2 + h, y2 + k ) e (x3 + h, y3 + k ) disjunto do
1 ? 2

tringulo original. (i) possvel que a rea deste tringulo seja maior que (ii) Qual a rea mxima deste tringulo?

EUREKA! N14, 2002

51

Sociedade Brasileira de Matemtica

177. (Torneio das Cidades-2001) Sejam a e d inteiros positivos tais que, para qualquer

inteiro positivo n , a expanso decimal de a + nd contm um bloco de algarismos consecutivos igual expanso decimal de n. Prove que d uma potncia de 10.

178. (ustria-Polnia-2001) Determine o nmero de inteiros positivos a para os quais

existem inteiros no negativos x0 , x1 ,..., x2001 que satisfazem a a x0 =


179. (Estnia-2001) Os ngulos de um
2001 k =1

xk

n gono convexo so , 2, ... , n . Determine todos os valores possveis de n e os valores correspondentes de .

180. (Estnia-2000) Mostre que para todo inteiro a > 1 , existe um nmero primo p tal

que

1 + a + a 2 + + a p 1 composto.

Acusamos o recebimento de solues de problemas anteriores dos seguintes leitores de EUREKA!:. No prximo nmero publicaremos algumas delas.
Alessandra A. da Gama Gomes de A. Anderson Torres Bruno Borges de Souza Lima Bruno de Souza Ramos Carlos Jos Amorim da Silva Diego Alonso Teixeira Evandro Makiyama de Melo Filipe Rodrigues de Souza Moreira Geraldo Perlino Jr. Gibran Medeiros de Souza Helainy Igncio de Almeida Torres Helder Oliveira de Castro Karla Detagne Santos Leonardo Freitas de Lima Luiz Srgio Carvalho de Mello Marcelo Ribeiro de Souza Marcelo Rufino de Oliveira Marclio Miranda de Carvalho Mauro Flix de Souza Okakamo Matsubachi Raquel Teresa de Souza Gomes Renato Francisco Lopes Mello Wallace Alves Martins Rio de Janeiro RJ So Paulo SP Goinia GO Rio de Janeiro RJ Rio de Janeiro RJ Santos SP So Paulo SP Rio de Janeiro RJ Cotia SP Natal RN Rio de Janeiro RJ Mogi das Cruzes SP Rio de Janeiro RJ Rio de Janeiro RJ Rio de Janeiro RJ Rio de Janeiro RJ Belm PA Teresina PI Rio de Janeiro RJ So Paulo SP Rio de Janeiro RJ J. dos Guararapes PE Rio de Janeiro RJ Prob. 119. Prob. 4, 16, 28, 31, 36, 46, 47, 53, 57, 59, 65,66, 68, 78, 80, 85, 88, 89, 95, 104, 109, 121, 123, 130,135,137, 145. Prob. 102, 107, 147. Prob. 127, 128, 131, 132, 134, 138, 139, 143, 144. Prob. 133, 138, 143. Prob. 121. Prob. 51, 121, 123, 128, 131, 133, 135, 142, 147. Prob. 64, 121, 128, 131, 133, 135, 138, 145, 147. Prob. 121, 122, 125 a 139, 141 a 144, 146 a 148. Prob. 138. Prob. 135, 137, 147. Prob. 32, 57, 68, 69, 76, 87, 98, 121,127, 132, 138, 139. Prob. 128, 138. Prob. 138. Prob. 8, 47, 69, 127, 128, 132, 143. Prob. 121, 122, 124, 126, 127, 128, 130, 132, 133, 134, 138, 143, 147. Prob. 121 a 150. Prob. 66, 87, 106. Prob. 121, 128, 134. Prob. 130. Prob. 128, 133, 143. Prob. 127, 132, 143. Prob. 121, 128, 130, 133, 138.

EUREKA! N14, 2002

52

Sociedade Brasileira de Matemtica

SOLUES DE PROBLEMAS PROPOSTOS  Publicamos aqui algumas das respostas enviadas por nossos leitores.
57) Dado n nmeros reais x1, x2 , xn satisfazendo as condies x1 ++ xn = 0 e 1 2 x12 + ... + x n = 1 , prove que existem i e j tais que xi x j . n
SOLUO DE ZOROASTRO AZAMBUJA NETO (RIO DE JANEIRO RJ):

Podemos supor que x1 ,..., x k 0, x k +1 ,..., x n < 0. Temos

i =1 k i =1

xi2 + xi2

j = k +1

2 j

=1=

nk k + . n n

Assim,

nk ou n

j = k +1

2 j

k . Supomos sem perda de generalidade que n

x
i =1 k

2 i

nk (o outro caso anlogo). Assim, se xi para 1 i k , temos n nk , n


j

i =1 n

xi

pois

i =1

xi2

i =1

xi .

Como

j = k +1

( x j ) = x j0

x ,
i i =1

temos Tomando 1 ,e n

j = k +1

( x
1 i k

nk , n

donde

existe

k + 1 j 0 n com

1 . n

= max x i , temos que existe i0 k com xi0 = , donde x i0 x j0 = ( x j0 )


1 logo xi0 x j0 . n

63) Prove que existem infinitos nmeros naturais mltiplos de 51000 sem nenhum 0 na representao decimal.
SOLUO DE EDUARDO CASAGRANDE STABEL (PORTO ALEGRE RS):

Provaremos por induo que existe um nmero de k algarismos, todos diferentes de 0 (zero), divisvel por 5k. Para k = 1, tome a1 = 5; para k = 2, tome a2a1 = 25. Agora suponhamos que seja n = ak 1ak 2a2a1 divisvel por 5k 1.
EUREKA! N14, 2002

53

Sociedade Brasileira de Matemtica

Temos a k 2 k 1 +

a k a k 1 ...a 2 a1 5
k 1

a k 10 k 1 + a k 1 ...a 2 a1 5
k 1

= a k 2 k 1 +

n 5
k 1

preciso

que

n 5
k 1

0 mdulo 5 para que ak ak 1a2a1 seja mltiplo de 5k. A equao n


k 1

equivalente a a k a k 2 k 13 k 1

5 Podemos escolher um tal ak no conjunto {1, 2, 3, 4, 5}, pois a temos um conjunto de restos da diviso por 5. Para concluir, basta tomar k = 1000, 1001, 1002, 64) Iniciando de um certo inteiro positivo, permitido fazer apenas uma operao: o dgito das unidades separado e multiplicado por 4, e ento este valor somado ao restante do nmero. Por exemplo, o nmero 1997 transformado para 7.4 + 199 = 227. A operao feita repetidamente. Prove que se a seqncia de nmeros obtida contm 1001, ento nenhum dos nmeros na seqncia pode ser um nmero primo.

3 k 1 mdulo 5.

ADAPTAO DA SOLUO DE MARCELO RIBEIRO DE SOUZA (RIO DE JANEIRO RJ):

Vamos ver que todos os termos da seqncia so mltiplos de 13, caso a seqncia contenha 1001 (que mltiplo de 13). De fato, se bn = 10kn + rn , com 0 rn 9, o prximo termo ser bn + 1 = kn + 4rn, ou seja, bn = 10(bn +1 4rn ) + rn = 10bn +1 39rn . Assim, bn mltiplo de 13 bn + 1 mltiplo de 13, ou nenhum deles . Como os termos antes de 1001 so maiores que 1001 e, partindo de 1001, obtemos a seqncia 1001 104 26 26 , todos os termos da seqncia so mltiplos de 13, mas nenhum igual a 13, donde nenhum primo. 65) Determine todos os inteiros N tais que, em base 10, os dgitos de 9N so os mesmos dgitos de N na ordem inversa, e N possui no mximo um dgito igual a 0.
SOLUO DE DANIEL DE SOUZA RAMOS (PIRASSUNUNGA SP):

Seja N um nmero de n dgitos na base 10, com no mximo um dgito igual a 0. Sabemos pelo enunciado definio do problema que 9N tem n dgitos. Da temos que ao multiplicarmos N por 9, 9N s ter n dgitos se o primeiro dgito de N for 1. Isto implica que o ltimo dgito de 9N 1. Mas tal fato s ser possvel se o ltimo dgito de N for 9. Assim N = 19 e 9N = 91. Imaginemos a multiplicao por 9. Para que o primeiro algarismo de 9N seja 9 necessrio que o dgito anterior ao dgito 1 de N seja 0 ou 1, uma vez que qualquer dgito maior do que 1, em tal posio, far com que 9N tenha um nmero de dgitos diferente do de N.
EUREKA! N14, 2002

54

Sociedade Brasileira de Matemtica

Analisemos ento os 2 casos: 1o. Caso) N = 119 (9N = 911); 0 k 9, k 1 9k + 8 1(mod 10) 11... k 9 k 7(mod 10) k = 7 9 9k...11 Da: N = 1179(9N = 9711), 0 k', k'' 9, k', k'' 1
k '' k' 8

9 1 + k ' 7(mod 10) 1 1 ... .7 9 k ' 2 8(mod 10) k ' = 8 k ' ' = 1 9 9 7....1 1

Porm com k'' = 1 no ser possvel que 9N seja da forma 9711. Portanto o caso N = 119 no satisfaz. 2o. Caso) N = 109 (9N = 901); 0 k 9, k 1 9k + 8 0(mod 10) 10... k 9 k 8(mod 10) k = 8 9 9k...01 Da: N = 1089(9N = 9801), 0 k', k'' 9, k', k'' 1 (4)
8

Para que esta situao acontea, k = 8 1 0 k ....k ' 8 9 ou k = 9 (pois apenas 9 8 pode, somado a 8 chegar a 80, 9 e 9 9 = 81). 9 8 k '....k 0 1
Para o caso k = 8 [k = 8 k' = 0 pois 9k' + 8 8 (mod 10) k' 0(mod 10)]
8 8 8 8

8*

Neste caso o nmero N possuiria mais de um dgito 1 0 8 ... .0 8 9 0, no condizendo com a situao proposta. 9 9 8 0....8 0 1 Para o caso k = 9:
EUREKA! N14, 2002

55

Sociedade Brasileira de Matemtica

9k '+8 9(mod 10) 1 0 9... .k ' 8 9 k ' 9(mod 10) k ' = 9 9 9 8 k '....9 0 1 Temos agora que N = 1 0 99 8 9. Desenvolvendo:
8 8 8 8

8 8

1 0 9 k ... k ' 9 8 9 Para que esta situao acontea 9 k = 8 ou k = 9 9 8 0k '....k 9 0 1 Para o caso k = 8.
8 8 8

1 0 9 8... k ' 9 8 9 9k' + 8 8(mod 10) 9 k ' 0(mod 10) k ' = 0 9 8 9 k '....8 9 0 1 No satisfaz o problema pois possui mais de um dgito 0. Para o caso k = 9.
8 8 8 8 8

1 0 9 9... k ' 9 8 9 9k' + 8 9(mod 10) 9 k ' 9(mod 10) k ' = 9 9 8 9 k '....9 9 0 1 Temos agora que N = 1 0 9 9 9 9 8 9. Desenvolvendo:
8 8 8 8 8 8 8

1 0 9 9 k ... k ' 9 9 8 9 9 9 9 8 9 k '....k 9 9 0 1 Procedendo de forma anloga ao momento em que sabia-se que N = 1 0 9 9 8 9, teremos N = 1 0 9 9 9 9 9 9 8 9. Conclui-se ento que todos os inteiros N que satisfazem a condio do problema so da forma: N = 10 9...9 89, n 1 n 4 . ,
( n 4 ) dgitos

EUREKA! N14, 2002

56

Sociedade Brasileira de Matemtica

67)

Este problema saiu com o enunciado errado, devido a um erro tipogrfico, como observaram Rodrigo Villard Milet, Anderson Torres e Carlos da Silva Victor, que enviaram verses corrigidas, com solues. Pedimos desculpas aos leitores pelo erro e publicamos as verses corrigidas a seguir:

VERSO DE RODRIGO VILLARD MILET (RIO DE JANEIRO RJ) e ANDERSON TORRES (SO PAULO SP):

Seja ABCD um quadriltero tal que os crculos circunscritos aos tringulos ABC e BCD so ortogonais. Prove que os crculos circunscritos aos tringulos ACD e ABD tambm so ortogonais. Vamos denotar por (XYZ) o crculo que passa por X, Y e Z e por (w1, w2) e ngulo entre as curvas w1 e w2. Considere uma inverso com centro em B e de razo k. Como (ABC) e (BCD) passam por B, ((ABC)) = A' C' e ((BCD)) = C'D'. Como ((ABC), (BCD)) = 90, segue que A'C'D' = 90. Temos (( ACD)) = ( A' C ' D' ). Da, A'D' dimetro de (A'C'D'), pois A'C'D' = 90. E assim, ((A'C'D'), A'D') = 90, logo ( ((A'C'D')), (A'D')) = ((ACD), (ABD)) = 90, pois (A'D') = (ABD)(A'D' no passa por B). Ento os crculos (ACD) e (ABD) so ortogonais.
VERSO DE CARLOS ALBERTO DA SILVA VICTOR (NILPOLIS RJ): SOLUO:

Seja ABCD um quadriltero tal que os crculos circunscritos aos tringulos ABC e ACD so ortogonais. Prove que os crculos circunscritos aos tringulos BCD e DAB tambm so ortogonais.
SOLUO:

Sejam O1, O2, O3 e O4 os centros dos crculos circunscritos aos tringulos ABC, ADC, ADB e BDC respectivamente. Sejam: O1CB = a ; O2 CD = b ; O1CA = ; DBC = e ; DBA = d ; BDA = c e BDC = f . Note que, pela hiptese do problema,

O2 AC = O2 CA = 90 . Podemos concluir que C = O1CB + O1CA + O2 CA + O2 CD = a + + 90 1b = a + b + 90 . Alm disso, fcil ver que O1 AB = 90 a e O2 AD = b, portanto O1 AB + O1 AC + O2 AC + O2 AD = (90 a ) + + (90 ) + b = = 180 a b. Veja tambm que DO4 O3 = e + f e DO3 O 4 = c + d . Observe
agora no tringulo DO3 O4 em que e + f + c + d = 180 O3 DO4 e, pelo
EUREKA! N14, 2002

57

Sociedade Brasileira de Matemtica

quadriltero ABCD temos A + B + C + D = 360 , ou seja e + f + c + d = 360 (C + A) = 360 [90 + a + b + 180 a b] e + f + c + d = 360 270 = 90.

Concluso: O3 DO4 = 180 DO4 O3 DO3O4 = 180 (e + f + c + d ) = 90 e os crculos circunscritos aos tringulos BCD e DAB tambm so ortogonais.
Agradecemos tambm o envio das solues e a colaborao de:
Fbio Nunes Ribeiro Maia Anderson Torres Fbio Dias Moreira Marcelo Rufino de Oliveira Helder Oliveira de Castro Oswaldo Mello Sponquiado Renato Francisco Lopes Mello Marclio Miranda de Carvalho Evandro Makiyama de Melo Gibran Medeiros de Souza Carlos A. Gomes Jorge Silva Jnior Rio de Janeiro RJ So Paulo SP Rio de Janeiro RJ Belm PA Mogi das Cruzes SP Olimpia SP Jaboato dos Guararapes PE Teresina PI So Paulo SP Natal RN Natal RN Cachoeiro de Itapemirim ES

Seguimos aguardando o envio de solues do problema proposto N. 66 publicado na revista Eureka! N. 12

9R.rVDELD

&RQVLGHUH XP ELOKmR GH Q~PHURV GLVWLQWRV HVFULWRV FDGD XP HP XP GH XP ELOKmR GH SDSHL]LQKRV KDMD SDSHO HP XP FKDSpX 9RFr GHYH UHWLUDU XP SDSHO GH FDGD YH] 9RFr GHYH GL]HU TXH YRFr HQFRQWURX R PDLRU GH WRGRV RV Q~PHURV ORJR DSyV UHWLUiOR 1mR YDOH GL]HU TXH XP RXWUR Q~PHUR TXH YRFr Mi WLQKD UHWLUDGR DQWHV p R PDLRU $ SUREDELOLGDGH GH YRFr DFHUWDU VXD DILUPDWLYD SDUHFH PXLWR SHTXHQD QmR" 9RFr VDELD TXH YRFr SRGH DGRWDU XPD HVWUDWpJLD GH PRGR TXH D SUREDELOLGDGH GH DFHUWDU VHMD PDLRU TXH " 9RFr GHYH GHVFDUWDU RV SULPHLURV V Q~PHURV RQGH V p DSUR[LPDGDPHQWH Q H H  p D FRQVWDQWH GH (XOHU  H HP VHJXLGD HVFROKHU R SUy[LPR Q~PHUR TXH IRU PDLRU TXH WRGRV RV DQWHULRUHV 9RFr WHP SUREDELOLGDGH PXLWR SUy[LPD GH H GH DFHUWDU

8P SUREOHPD VHPHOKDQWH IRL SURSRVWR QD OLVWD GH GLVFXVVmR GD 2%0 8P LQVSHWRU VDEH TXH R FKHIH GH  EDQGLGRV p R PDLV EDL[LQKR GH WRGRV H TXH WRGDV DV DOWXUDV VmR GLIHUHQWHV 6DEHVH WDPEpP TXH HOHV HVWDUmR SUHVHQWHV QXPD UHXQLmR HP XP HGLItFLR QXP LQWHUYDOR GH  PLQXWRV &RPR R LQVSHWRU QmR VDEH TXDO GRV EDQGLGRV p R PDLV EDL[R GHFLGH GHL[DU VDLU RV GRLV SULPHLURV EDQGLGRV H SUHQGHU R SULPHLUR GRV VHJXLQWHV TXH VHMD PDLV EDL[R GH WRGRV TXH VDtUHP 4XDO D SUREDELOLGDGH GH R LQVSHWRU SUHQGHU D SHVVRD FHUWD"
$ SUREDELOLGDGH GH DFHUWDU p DOWD PDLRU TXH   &DOFXOHD
EUREKA! N14, 2002

58

Sociedade Brasileira de Matemtica

PROBLEMAS PROPOSTOS

68)
Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos problemas para os prximos nmeros.

Seja ABC um tringulo de lados inteiros e rea racional. Prove que existem pontos X, Y, Z com coordenadas inteiras no plano #2 tais que o tringulo XYZ congruente ao tringulo ABC. Sejam a e b inteiros positivos tais que an 1 divide bn 1 para todo inteiro positivo n. Prove que existe k  tal que b = ak.

69)

70)
P1

X5 P5 Q5 Q4 X4 Q3 Q1 Q2

X1

P2

X2

X3 P4 P3

Na figura acima, para 1 j 5, X j o ponto de interseo dos crculos circunscritos aos tringulos Qj 1 PjQj e Qj Pj + 1 Qj + 1 distintos de Qj (os ndices so tomados mdulo 5). Prove que o pentgono X1X2X3 X4X5 inscritvel. Obs: O pentgono P1P2P3P4P5 no necessariamente regular.

EUREKA! N14, 2002

59

Sociedade Brasileira de Matemtica

71)

Considere trs circunferncias, tangentes duas a duas. Prove que h apenas duas circunferncias tangentes s trs simultaneamente, e mostre como constru-las. Ache todas as funes f : x, y #.

72)

# # tais que

f ( x 4 + y ) = x 3 f ( x) + f ( f ( y )),

73)

Prove que, dado um inteiro positivo n, existe uma progresso aritmtica crescente formada por n inteiros positivos cujas somas dos dgitos tambm formam uma progresso aritmtica crescente, mas no existe uma progresso aritmtica infinita de inteiros positivos cujas somas dos dgitos formem uma progresso aritmtica crescente.

Problema 70 proposto por Jiang Zemin, presidente da China, a membros da direo da Unio Internacional de Matemtica, durante uma reunio preparatria do Congresso Internacional de Matemtica (ICM), realizado em agosto de 2002, em Beijing, China; Problema 71 proposto por Marcelo Ribeiro de Souza (Rio de Janeiro RJ); Problema 72 adaptado da 14a. Asian Pacific Mathematical Olympiad; Problema 73 adaptado do 17o.Torneio das Cidades, 1995.
EUREKA! N14, 2002

60

Sociedade Brasileira de Matemtica

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

VIII OLIMPADA DE MAIO 11 de maio de 2002

XIII OLIMPADA DE MATEMTICA DO CONE SUL 22 a 28 de junho de 2002 Fortaleza CE, Brasil

XLIII OLIMPADA INTERNACIONAL DE MATEMTICA 18 a 31 de julho de 2002 Glasgow, Reino Unido

XVII OLIMPADA IBEROAMERICANA DE MATEMTICA 30 de setembro a 5 de outubro de 2002 El Salvador

V OLIMPADA IBEROAMERICANA DE MATEMTICA UNIVERSITRIA 9 de novembro de 2002

EUREKA! N14, 2002

61

Sociedade Brasileira de Matemtica

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

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

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

62

You might also like