Eureka23 PDF

CONTEDO
AOS LEITORES XIX OLIMPADA IBEROAMERICANA DE MATEMTICA Enunciados e Solues
2 3
ARTIGOS
PESSOAS CONFIVEIS E NO-CONFIVEIS Svetoslav Savchev O TEOREMA DE STOLZ Digo Veloso Ucha & Renato Purita Paes Leme CONTAS COM DESIGUALDADES Mrcio Afonso Assad Cohen & Rodrigo Villard Milet O PROBLEMA IMPOSSVEL Cssio Neri COMO QUE FAZ? SOLUES DE PROBLEMAS PROPOSTOS PROBLEMAS PROPOSTOS AGENDA OLMPICA COORDENADORES REGIONAIS 10
15 23
32 40 44 59 61 62
Sociedade Brasileira de Matemtica
AOS LEITORES
Neste nmero publicamos um artigo do Prof. Svetoslav Savchev, da Bulgria, um dos maiores especialistas internacionais em problemas de olimpada, alm de trs outros artigos de temas variados. Nos tem alegrado bastante a boa qualidade de artigos e problemas enviados por nossos colaboradores, que contribuem muito para a qualidade e a vitalidade de nossa revista. Publicamos tambm, alm das sees de Problemas propostos e Como que faz, solues da Olimpada Ibero-americana de 2004, na qual todos os quatro integrantes da equipe brasileira (Alex Corra Abreu, Fbio Dias Moreira, Gabriel Tavares Bujokas e Rafael Daigo Hirama) conquistaram medalha de ouro. Como a equipe de 2005 repetiu o feito, publicaremos no prximo nmero as suas solues. Aproveitamos tambm para registrar a realizao da IX Semana Olmpica, atividade que vem sendo realizada desde 1998. Nesta oportunidade o evento teve lugar na cidade de Juiz de Fora MG entre os dias 21 a 27 de janeiro de 2006. Durante a Semana Olmpica 2006, reunimos alunos ganhadores da XXVII Olimpada Brasileira de Matemtica nos seus quatro nveis de competio. Estes alunos participaram de um treinamento intensivo com professores de diversas partes do pas como preparao para a futura formao das equipes que representaro o Brasil em Olimpadas Internacionais.
Os editores
EUREKA! N23, 2006
XIX OLIMPADA IBEROAMERICANA DE MATEMTICA

Enunciados e Solues
PRIMEIRO DIA
PROBLEMA 1
Deve-se colorir as casas de um tabuleiro 1001 1001 de acordo com as seguintes regras: Se duas casas tm um lado comum, ento pelo menos uma delas deve ser colorida. De cada seis casas consecutivas de uma linha ou de uma coluna, devem colorir-se sempre pelo menos duas delas que sejam adjacentes. Determinar o nmero mnimo de casas que devem ser coloridas.
SOLUO DE FBIO DIAS MOREIRA (RIO DE JANEIRO - RJ)
Lema: Todo retngulo 5 1 tem pelo menos trs quadrados pintados. Prova: Suponha que no, que o tabuleiro possui algum retngulo 5 1 (ou 1 5) com dois ou menos quadrados pintados. Ento, pela primeira condio, trivialmente impossvel que s 1 ou 0 quadrados estejam pintados e, se dois quadrados estiverem pintados, eles devem ser os da figura abaixo:
B
Mas ento tomamos um retngulo 6 1 que contenha o 5 1 e que esteja contido no tabuleiro (isto sempre possvel pois 5 < 1001). Independente do quadrado agregado ser ou no colorido, chegamos a um absurdo pois a segunda condio violada. Decompomos agora o tabuleiro em 200400 retngulos 5 1 e um quadrado 1 1 (200000 retngulos 5 1 na horizontal, contidos no quadrado 1000 1000 do canto superior esquerdo, 200 na horizontal, no retngulo 1000 1 na borda inferior, e 200 na vertical, no retngulo 1 1000 na borda direita e o quadrado 1 1 no canto inferior direito).
1000 1
1000
200000
200
200
EUREKA! N23, 2006
Em cada um desses retngulos, pelo menos trs quadrados esto coloridos, logo pelo menos 601200 casas devem ser coloridos. E, de fato, este mnimo pode ser atingido: numere as colunas e as linhas do tabuleiro de 1 a 100. Pinte o quadrado (i, j) se somente se, i + j 1, 3 ou 4 (md. 5). Cada um dos retngulos 5 1 que criamos contm exatamente um quadrado de cada classe de congruncia, logo pintamos 601200 casas, pois o quadrado que no foi contado, (1001, 1001), no pintado (pois 1001 + 100 2 (md 5)). Alm disso fcil ver que qualquer retngulo 6 1 contm duas casas adjacentes pintadas.
PROBLEMA 2
Considera-se no plano uma circunferncia de centro O e raio r, e um ponto A exterior a ela. Seja M um ponto da circunferncia e N o ponto diametralmente oposto a M. Determinar o lugar geomtrico dos centros das circunferncias que passam por A, M e N quando M varia.
SOLUO DE ALEX CORRA ABREU (NITERI - RJ)
A
M P O
O'
Seja a circunferncia de centro O e raio r, ' a circunferncia qua passa por A, HJJG l M, N; O' seu centro, B = AO ' e P AO tal que OPO ' = 90. Ento obviamente AP = PB. Agora como O est no eixo radical de e r2 r2 ' OA OB = OM ON = r 2 OB = . Chamando OA = d ,temos OB = , OA d 2 r d+ 2 2 d = d r logo P tal que OP = OA AP = d , e logo fixo e portanto 2 2d todos os centros O' esto na reta por P perpendicular a AO quando M varia.
EUREKA! N23, 2006
l Mas para todo O '' tq O '' PO = 90 se traarmos '' circunferncia com centro em O'' que passa por A ele tambm ir passar por B logo a potncia de O ser r 2 se {M '', N ''} = '' ento OM '' ON '' = r 2 e logo M'' e N'' so diametralmente opostos. Assim, o lugar geomtrico dos centros uma reta perpendicular a AO que passa pelo
ponto P tal que OP =
PROBLEMA 3
OA2 r 2 na direo de A. (cqd). 2OA
Sejam n e k nmeros inteiros positivos tais que n mpar ou n e k so pares. Provar que existem inteiros a e b tais que mdc (a, n) = mdc(b, n) = 1 e k = a + b.
SOLUO DE RAFAEL DAIGO HIRAMA (CAMPINAS - SP)
Devemos achar ento, para n e k inteiros positivos, um a tal que mdc(a, n) = = mdc (k a, n) = 1 pois b = k a. mdc (k a, n) = mdc(a k, n), por definio. Ento devemos achar dois nmeros que distam k, primos com n. Deve ser til o Teorema Chins dos Restos. Fatorando: n = p11 p2 2 ... ptt , com pi ' s primos e ,i s inteiros positivos e seja k i (mod pi ) com 0 i < pi Se trocarmos a k por c queremos que: c 0(mod pi ) e a = c + k 0 (mod pi) para todo i inteiro, 1 i t Se cada um dos pares de congruncia for obedecida, escolhendo as congruncias mdulo pi e usando o Teorema Chins dos Restos podemos achar tal c (pois cada par de pi ' s so primos entre si). Ento precisamos provar que existe possibilidade para a congruncia mdulo pi para o c. Queremos c 0(mod pi ) e c k (mod pi ) . Se pi for maior que 2, temos pelo menos 3 classes de congruncias distintas, e tirando essas duas: 0 e pi i , sobra pelo menos uma. Se pi 2, ento n par e pelo enunciado, k tambm e ento k 0(mod 2). Assim no so tirados duas classes de congruncia mdulo 2, e sim apenas a classe do 0. Podemos fazer ento c 1(mod 2). Ento o mtodo para construir a e b :
EUREKA! N23, 2006
Fatora-se n e pega-se seus fatores primos p1 , p2 ,..., pt . Acha-se as classes de congruncia para cada pi , de forma que c 0(mod pi ) e c + k 0(mod pi ), que sempre existe como j provamos. Pode haver vrias, ento encolhe-se qualquer uma. Pelo Teorema Chins dos Restos, existe c que obedece tais congruncias, logo a = c e b = c + k , que obedecem a condio a + b = k e mdc(a, n) = mdc(b, n) = 1, pois pi | c pi | c = a e pi | c + k = b e, assim, a e n no tm fatores comuns, nem b e n os tm. Obs: Realmente, se n for par e k for mpar no d pois ou a ou b par e ento ou 2 | mdc (a, n) ou 2 | mdc (b, n).
PROBLEMA 4
Determinar todos os pares (a, b), onde a e b so nmeros inteiros positivos de dois dgitos cada um, tais que 100a + b e 201a + b so quadrados perfeitos de quatro dgitos.
SOLUO:
Devemos ter 100a + b = m 2 e 201a + b = n 2 , onde m e n so inteiros tais que 0 < m < n < 100. Da segue que n 2 m 2 = 101a. Como n 2 m 2 = (n m )(n + m ) mltiplo de 101, 0 < n m < 100 e n + m < 200, devemos ter n + m = 101, pois 101 primo, e 101 no divide n m. Da 101a 101 a . De = a, logo (101 m ) m = a, donde m = segue que n m = 2 n+m 101 a = 100a + b, e logo a 2 602a + 10201 = 4b. 100a + b = m 2 , segue que 2 0 4b < 400. Como f (a ) = a 2 602a + 10201 uma funo quadrtica cujo Temos
2
mnimo atingido para a =
602 = 301, f (a ) decrescente para 0 a 100. Como 2 f (16) = 825 > 400, f (17) = 256 e f (18) = 311 < 0, devemos ter a = 17, donde Com efeito,
101 17 256 = 64 . = 42, b= n = 101 m = 59 e 2 4 m 2 = 1764 = 100 17 + 64, e n 2 = 3481 = 201 17 + 64. m=
EUREKA! N23, 2006
Assim, o nico par (a, b) que satisfaz as condies do enunciado (a, b) = (17, 64).
PROBLEMA 5
Dado um tringulo escaleno ABC, designam-se por A', B', C' os pontos de interseo das bissetrizes interiores dos ngulos A, B e C com os lados opostos, respectivamente. Sejam: A'' a interseo de BC com a mediatriz de AA', B'' a interseo de AC com a mediatriz de BB' e C'' a interseo de AB com a mediatriz de CC'. Provar que A'', B'' e C'' so colineares.
SOLUO:
Suponhamos a > b > c , sem perda de generalidade. A perpendicular a AA' passando E por A a bissetriz externa do ngulo A no tringulo ABC. Sua interseo A com a E A '+ A , pelo teorema de Tales. Por outro lado, se reta BC tal que A '' = 2 BC = a, AC = b e AB = c so os lados do tringulo ABC, pelo teorema das BA ' CA ' bB + cC , donde A ' = , e, pelo teorema das bissetrizes = bissetrizes temos c b b+c BE CE A A bB cC A , donde E = = externas, . bc c b 1 bB + cC bB cC b 2 B c 2 C + Assim, A '' = = 2 2 . 2 b+c b c b c
A
E A
A'' B
A'
Analogamente, B '' =
a 2 A c 2C a2 A b2 B . Assim, e C '' = 2 a2 c2 a b2 b2 c2 a2 b2 b2 c2 ) A''+ (a2 b2 ) C '' = ( a2 c2 ) B '', donde B '' = 2 2 A''+ 2 2 C '' = tA''+ (1 t)C '', ( a c a c
EUREKA! N23, 2006
com t =
b2 c2 , e logo B '' A '' C '', o que resolve o problema. a2 c2
PROBLEMA 6
Para um conjunto H de pontos no plano, diz-se que um ponto P do plano um ponto de corte de H, se existem quatro pontos distintos A, B, C e D em H tais que as retas AB e CD so distintas e se cortam em P. Dado um conjunto finito A0 de pontos no plano, constri-se uma sucesso de conjuntos A1 , A2 , A3 ,... da seguinte forma: para qualquer j 0, Aj +1 a unio de Aj com o conjunto de todos os pontos de corte de Aj . Demonstrar que se a unio de todos os conjuntos da sucesso um conjunto finito ento, para qualquer j 1, tem-se Aj = A1 .
SOLUO:
A
G D H B E
Observemos inicialmente que nenhum dos conjuntos Aj pode conter 4 pontos A, B, C, D tais que D interior ao tringulo ABC. De fato, se AD BC = {E}, BD AC = {F }, CD AB = {G} e BD EG = {H }, temos que ABE um tringulo estritamente contido em ABC e H interior a ABE. Repetindo indefinidamente esta construo, obtemos infinitos pontos na unio dos conjuntos An , absurdo.
D C F E B A
EUREKA! N23, 2006
Suponha agora que algum dos conjuntos Aj contenha os vrtices de um quadriltero convexo ABCD. Se ABCD no um paralelogramo, podemos supor que AB no paralelo a CD (ver figura acima). Prolongando AB e CD obtemos um ponto de interseo E. As diagonais AC e BD se intersectam num ponto F interior ao tringulo ADE, absurdo pelo caso anterior. Considere agora o fecho convexo C de A0 . Se C um segmento de reta, temos An = A1 = A0 , n `. Se C um tringulo de vrtices A, B e C, estes pontos pertencem a A0 , que, como vimos, no pode conter nenhum ponto no interior de C. Se A0 contm pontos no interior de dois lados de C, digamos D em AB e E em AC, BE e CD se intersectam em F A1 , que interior a C, absurdo.
A
D F B
Assim, A0 s pode conter os vrtices A, B e C e, eventualmente, alguns pontos em um dos lados do tringulo, digamos AB. fcil ver que nesse caso ainda temos An = A1 = A0 , n `. Caso C seja um quadriltero, deve ser um paralelogramo ABCD. Se A0 contm algum ponto no interior de algum lado do paralelogramo, digamos E em AB, conter os vrtices do quadriltero convexo EBCD, que no um paralelogramo, absurdo. Se algum Aj contm algum ponto do interior de C, este no pode ser interior aos tringulos ABC e ACD, logo deve pertencer diagonal AC, e, analogamente, deve pertencer diagonal BD, e portanto deve ser o centro O de ABCD. Temos ento dois casos: i) Se A0 = { A, B, C , D} temos A1 = { A, B, C , D, O} e An = A1 , n 1. ii) Se A0 = { A, B, C , D, O}, temos An = A1 = A0 , n `. Finalmente, se C tem pelo menos 5 vrtices consecutivos A, B, C, D, E, devemos ter CD e DE paralelos a AB, pois ABCD e ABDE so quadrilteros convexos com vrtices em A0 , mas isso um absurdo, e o problema est resolvido.
EUREKA! N23, 2006
PESSOAS CONFIVEIS E NO-CONFIVEIS

Svetoslav Savchev, Bulgria Traduo: Cesar Ryudi Kawakami e Rafael Morioka Oda So Paulo SP
Nvel Avanado
Em um grupo de n 3 pessoas, algumas so confiveis e as outras no. Uma pessoa que confivel sempre diz a verdade, enquanto uma no-confivel s vezes diz a verdade e s vezes mente. Sabemos que o nmero de pessoas no n confiveis no mximo k, onde k um inteiro que satisfaz 0 < k < . Um 2 observador quer identificar quem confivel e quem no . Ele pode fazer perguntar a qualquer pessoa do grupo sobre a confiabilidade de alguma outra. Qual o nmero mnimo de perguntas necessrias para descobrir o que deseja? Essa pergunta originou-se de uma questo da olimpada de Moscou de 1978, que perguntava sobre o nmero mximo e proposto pelo proeminente Sergei Konyagin. Depois do concurso, muitos matemticos, como Schlosman, Ruzsa e Galvin, acharam a idia to atraente que publicaram outras variantes do problema. Um possvel nmero suficiente foi encontrado e o necessrio, que era mais difcil, foi sendo gradualmente melhorado. Finalmente, o problema foi completamente estabelecido por Pavel Blecher, que j havia sido premiado na prpria olimpada de Moscou. Ns seguimos sua idia, numa verso um pouco diferente do problema. O menor nmero de questes n + k 1. Ns comeamos provando que esse nmero suficiente, usando induo em n 3. 3 Para n = 3 ns temos 0 < k < ento k = 1, ou seja, no mximo uma pessoa 2 no confivel em um grupo de 3. Numere as pessoas e pergunte para a pessoa 2 se a 1 confivel. Se a resposta for sim, ento 1 de fato confivel (caso contrrio 1 e 2 no seriam confiveis). Sabendo que 1 confivel, basta perguntar a ele sobre 2 e 3. Portanto temos que 3 = 3 + 1 1 = n + k 1 questes so suficientes. Se a pessoa 2 responder no, ento temos que ou 1 ou 2 no-confivel (seno a resposta teria sido sim). Portanto temos que 3 confivel, e basta perguntar a ele sobre 1 e 2. Novamente, trs perguntas bastam. Assuma que m + k 1 questes so suficientes para todo grupo de tamanho m ], m 3 e menor que n, e considere um grupo de n pessoas que satisfaz as
EUREKA! N23, 2006
10
condies dadas. Comece perguntando sucessivamente s pessoas 2,3...,n sobre a pessoa 1. Pare de perguntar assim que: i) O nmero de respostas sim se iguale a k. ii) O nmero de respostas no exceda o nmero de respostas sim. Note que (i) ou (ii) ir necessariamente ocorrer devido condio k < n / 2. No caso (i), a pessoa 1 confivel (ou ento ele mais as k pessoas que respoderam sim seriam no-confiveis, absurdo). Suponha que m pessoas tenham respondido no at aquele momento; todas elas so no confiveis. Agora basta perguntar a 1 sobre todas as pessoas no grupo, exceto ele mesmo e as m pessoas mencionadas. Isto leva n m 1 questes, ento (k + m) + (n m + 1) = n + k 1 questes so suficientes. No caso (ii), existe um nmero m tal que as pessoas 2, 3,..., 2m so perguntadas e temos m respostas no e m 1 respostas sim. Observe que no importa se 1 confivel ou no, pelo menos m pessoas do grupo G1 ={1,2,...,2m} so no confiveis. Se 1 confivel, ento temos que as m que responderam no so no-confiveis. Se 1 no confivel, ento ele e as m 1 pessoas que responderam sim so no-confiveis. Conclumos portanto que m k, j que existem apenas k pessoas no-confiveis, e assim temos que o grupo G 2 ao qual pertencem as n 2m pessoas restantes no vazio, uma vez que k < n / 2. Alm do mais, existem no mximo k m pessoas que no so confiveis em G 2 , o que menor que (n 2m)/2. Se m < k ento 1 k m < (n 2m)/2, n 2m n 2(k 1) 3, e logo a hiptese de induo se aplica ao grupo G 2 . Ento (n 2m) + (k m) 1 questes so suficientes para saber quem o que no grupo. A mesma concluso trivial para m = k, caso em que G 2 consiste de n 2k pessoas, todas confiveis, e portanto nenhuma pergunta necessria. Agora escolha uma pessoa confivel A em G 2 (existe sempre pelo menos uma) e pergunte-a sobre 1. Dependendo da resposta, pergunte a A sobre que disseram a verdade sobre 1. Para ser mais preciso, se 1 confivel (no-confivel), pergunte a aqueles que responderam sim (no). No mximo 1 + m questes so necessrias nessa ltima etapa. No h mais questes necessrias pois j sabemos que aqueles que mentiram sobre 1 no so confiveis. Um total de (2m 1) + (n 2m) + (k m) 1 + (1 + m) = n + k 1 questes so suficientes novamente. A cota superior est provada. A cota inferior consideravelmente mais difcil: mostrar que n + k 1 perguntas so tambm necessrias. Considere uma
EUREKA! N23, 2006
11
seqncia arbitrria de n + k 2 questes ( p1 , q1 ),( p 2 , q 2 ),...,( p n +k 2 , q n +k 2 ); (1) onde a questo i pergunta pessoa pi sobre a pessoa qi . Arbitrria em particular quer dizer que cada questo de (1) pode depender das respostas s perguntas anteriores. Definimos tambm uma seqncia r1 , r2 ,, rn +k 2 de respostas, tal que, para cada i , a resposta ri depende apenas das questes ( p1 , q1 ), ( p 2 , q 2 ),...,( pi , qi ). Agora, sero apresentadas duas configuraes diferentes de pessoas confiveis e no-confiveis num grupo de n , e ambas consistentes no s com as respostas r1 , r2 ,, rn +k 2 mas tambm com o limite de k pessoas noconfiveis. Ento a seqncia de questes (1) falhar em diferenciar essas duas configuraes, e portanto no h n + k 2 questes que podem resolver o problema em geral. Ns definimos a resposta ri em dois estgios: o primeiro, quando as primeiras k 1 questes so feitas, e a segunda, envolvendo as n 1 questes restantes. Todas as respostas na primeira parte sero no. Depois que as k 1 perguntas acabam, represente como pontos todas as pessoas p1 ,, p k 1 ,
q1 ,, q k 1 envolvidas nelas e ligue pi a qi por uma aresta, i = 1,..., k 1. O grafo obtido ser usado a seguir. Chame de G1 ,..., Gm suas componentes conexas, com conjuntos de vrtices V1 ,..., Vm respectivamente. Ento cada questo ( pi , qi ) na
primeira parte (ou seja, i = 1,..., k 1) envolve duas diferentes pessoas do mesmo grupo V j (j = 1,..., m). Se e1 , e2 ,, em so os nmeros de arestas em G1 ,..., Gm , temos que e1 + e2 ++ em = k 1 (2)
Finalmente, denote por W o conjunto de pessoas no envolvidas no primeiro conjunto de perguntas, i.e. o complemento de V1 V2 ... Vm em relao ao conjunto de todas as n pessoas. As questes ( p k , q k ),...,( p n +k 2 , q n +k 2 ) so feitas na segunda etapa. De acordo com elas, ns escolhemos um representante de cada grupo V j (j = 1,..., m) mas podem haver dois diferentes tipos de representantes dependendo do grupo. Se forem feitas perguntas sobre cada pessoa em V j na segunda parte, dizemos que V j um grupo com um verdadeiro representante escolhido da seguinte
EUREKA! N23, 2006
12
maneira: ache o menor i tal que V j est contido na seqncia q k ,..., qi ; ento qi o (verdadeiro) representante de V j . Se h pessoas em V j sobre as quais no foram feitas perguntas na segunda etapa, escolha uma qualquer dentre elas e chame-a de falsa representante. No momento em que a questo ( pi , qi ) feita, est claro se qi ou no um representante verdadeiro de algum V j . Conseqentemente as prximas questes na segunda fase so tais que a resposta ri depende somente das questes ( p1 , q1 ), ( p 2 , q 2 ),...,( pi , qi ): Para cada i = k,..., n + k 2, definimos a resposta ri como sim se qi pertence a W ou se qi um verdadeiro representante de um grupo V j ; caso contrrio defina ri como no. Agora considere uma configurao S de n pessoas onde a pessoa p : confivel se p pertence a W ou se p um representante de algum grupo V j (verdadeiro ou falso); no-confivel em qualquer outra hiptese. Vamos mostrar que S tem as seguintes propriedades: i) S consistente com todas as respostas r1 , r2 ,, rn +k 2 , i.e. todas as respostas dadas por pessoas confiveis em S so verdadeiras; ii) No h mais que k 1 pessoas no-confiveis em S. Para provar (i), observe que todas as respostas da segunda etapa rk ,, rn +k 2 so verdadeiras, pela sua definio e pela definio de pessoas confiveis e noconfiveis (usando o fato de que no perguntamos sobre nenhum representante falso na segunda parte). Ento ns precisamos apenas garantir que todas as pessoas confiveis deram respostas verdadeiras na primeira etapa. Escolha uma pessoa confivel p. Se p pertence a W ento no houve perguntas a p nem sobre p no primeiro estgio. Suponha que p representante de algum grupo V j . Ento as possveis perguntas que lhe podem ter sido feitas na primeira etapa so sobre as pessoas de seu prprio grupo que no ele prprio. Todas essas pessoas so noconfiveis, e todas as respostas da primeira parte foram no, portanto p disse a verdade. Para verificar (ii), lembre-se que, por construo, as pessoas no-confiveis esto todas nos grupos V1 ,..., Vm . Exatamente uma pessoa em cada grupo confivel seu representante. Uma vez que o nmero de pessoas no-confiveis em V j
EUREKA! N23, 2006
13
V j 1, j = 1,..., m, e o nmero total u de pessoas no-confiveis igual. Agora ns usamos o fato de que V j o conjunto de vrtices de um grafo conexo: em tal grafo, o nmero de arestas pelo menos o nmero de vrtices menos um. Deste modo e j V j 1 para j = 1,..., m. De (2) temos que u =
( V
m j =1
1 e1 + e2 + ... + em = k 1 , e logo (ii) verdade.
Ter no mximo k 1 pessoas no-confiveis em S ser usado para obter uma outra configurao S consistente com as respostas r1 , r2 ,, rn +k 2 e tendo no mximo k pessoas no-confiveis. Descreveremos agora esta construo. Se algum grupo V j tem algum representante falso q, ele confivel em S. Defina q como um no-confivel em S e deixe todas as outras pessoas como eram em S. Como q no-confivel na nova configurao, suas respostas so irrelevantes para a consistncia com r1 , r2 ,, rn +k 2 . Portanto S consistente com as respostas se, e somente se, cada pessoa confivel de S disse a verdade quando perguntada sobre q. Mas no h pessoa confivel que foi perguntada sobre q. De fato, no perguntaram sobre sua confiabilidade na segunda etapa pela definio de falso representante. E se alguma pessoa foi perguntada sobre q na primeira fase, ela pertence ao mesmo grupo V j que q, e portanto no representante do grupo, o que significa que no confivel em ambas as configuraes. Assim, S satisfaz as condies. Se no h representantes falsos em S ento foram feitas perguntas sobre todas as pessoas em V1 ,..., Vm na segunda etapa. Porm, n 1 questes foram feitas no total durante ela, logo no houve perguntas sobre pelo menos uma pessoa q dentre as n. Claramente, q pertence a W. Defina q como no-confivel em S e deixe todos os restantes da mesma maneira que em S. Ningum perguntou sobre q (nem na primeira nem na segunda etapa), e portanto a nova configurao S satisfaz novamente todas as condies, e a prova est completa.
EUREKA! N23, 2006
14
O TEOREMA DE STOLZ
Digo Veloso Ucha & Renato Purita Paes Leme Nvel Avanado
INTRODUO
Apresentaremos um pequeno resultado sobre limites com uma srie de conseqncias interessantes e, em seguida, alguns problemas que podem ser resolvidos usando-o. Usando a demontrao do teorema como pretexto, vamos mostrar como a intuio geomtrica pode nos dar boas indicaes sobre o caminho a seguir. Isso pode ser resumido na velha mxima: Pense geometricamente, prove algebricamente.
Teorema (Stolz)
Seja {xn} uma seqncia estritamente crescente com lim x n = + , e {yn} uma seqncia arbitrria. Se lim
Prova
y n +1 y n y = a ento: lim n = a . x n +1 x n xn
Podemos pensar em ( x n , y n ) como uma seqncia de pontos do plano pertencentes a uma curva da forma: y = f (x ) , j que xn crescente. Assim,
y n +1 y n x n +1 x n
representa a razo incremental entre dois pontos consecutivos. medida que n aumenta, essa razo vai se tornando arbitrariamente prxima do valor constante a, ou seja, para x grande (xn com n grande) a curva f praticamente uma reta. Isto , se y = f (x ) tiver uma assntota, ela deve ser uma reta da forma y = ax + b para algum b. Como para n grande y n ax n + b , quando n ,
y n ax n + b b =a+ a xn xn xn
Naturalmente, isso no constitui uma prova (ainda, veremos que nem sempre os pontos ( x n , y n ) se aproximam de uma reta quando n ) mas isso serve como uma boa orientao para uma prova formal. Vejamos:
EUREKA! N23, 2006
15
(x7,y7) (x6,y6) (x5,y5) (x4,y4) (x3,y3) (x2,y2) (x1,y1)
Pela definio de limite, como lim
y n +1 y n = a: x n +1 x n y n +1 y n a < x n +1 x n
> 0, n0 tal que n > n0

ou seja, a razo incremental
y n +1 y n est entre a e a + . Geometricamente: x n +1 x n

y y n0 (a )( x xn )
0
y
(xn0,yn0)
y n0
(a
)( x
x n0 )
A geometria acima nos diz que para n > n0 , todo ( x n , y n ) est entre essas retas, ou seja:
y n0 + k y n0 x n0 + k x n0
a < , k > 0
EUREKA! N23, 2006
16
Precisamos provar algebricamente o que a geometria nos mostra. Mas isso simples:
(a ) ( x n0 +1 x n0 ) < y n0 +1 y n0 < (a + ) ( x n0 +1 x n0 ) (a ) ( x n0 + 2 x n0 +1 ) < y n0 + 2 y n0 +1 < (a + ) ( x n0 + 2 x n0 +1 )

...
(a ) ( x n0 + k x n0 + k 1 ) < y n0 + k y n0 + k 1 < (a + ) ( x n0 + k x n0 + k 1 )
Somando as expresses acima, temos:
(a ) ( x n0 + k x n0 ) < y n0 + k y n0 < (a + ) ( x n0 + k x n0 )
Ou seja,
y n0 + k y n0 x n0 + k x n0
a < .
Dividindo tudo por x n0 + k e fazendo k tender ao infinito, temos:
y n0 + k x n0 + k 1
y n0 x n0 + k a < y n0 + k x n0 + k x n0 x n0 + k y n0 x n0 + k y n0 x n0 + k xn a1 0 xn +k 0 + a x n0 x n0 + k x < 1 n0 x n0 + k < 2
x n0 x n0 + k
y n0 + k x n0 + k
a < 1
para k suficientemente grande. Logo: lim
yn =a xn
A prova desse teorema composta de algumas poucas linhas. Demoramos mais, pois perdemos tempo discutindo a sua essncia geomtrica. Comentamos que nem sempre yn se aproxima de uma reta axn + b, ou seja, que nem sempre a seqncia bn = yn axn converge. Por exemplo: xn = n e yn = 2n + log(n)
EUREKA! N23, 2006
17
No entanto, nas condies do teorema, bn uma seqncia cujas razes incrementais em relao a xn tendem a zero quando n tende ao infinito, isto : lim como o caso de bn = log(n).
bn +1 bn = 0, x n +1 x n
Corolrio
Dada uma seqncia {an} tal que lim a n = a , o limite da mdia artimtica dos n primeiros termos da seqncia tambm a. Ou seja:
lim
Prova
a1 + ... + a n = a. n
Basta fazer y n =
a
i =1
e x n = n . Como {xn} estritamente crescente e tende ao
infinito, podemos aplicar o Teorema de Stolz : lim

Problema Resolvido I
a1 + ... + a n a = lim n +1 = a [ 1 n
Mostre que se lim a n = a ento lim
1 n ak = a. ln n k =1 k
Soluo : Fazendo y n =
n
ak e x n = ln n e aplicando o Teorema de Stolz k =1 k

n +1 1 ln 1 + n +1
an +1 a 1 n+ lim kk = lim ln(n + 1)1 ln n = lim ln n k =1
an +1
=a.
Problema Resolvido II
Dado um nmero real p > 0, calcule lim
1 p + 2 p + ... + n p . n n p +1
Soluo: Faamos:
EUREKA! N23, 2006
y n = 1 p + 2 p + ... + n p e x n = n p +1 que estritamente
18
crescente e tende ao infinito. Logo podemos aplicar o Teorema de Stolz:
y n +1 y n (n + 1) p = = x n +1 x n (n + 1) p +1 n p +1 1 p +1 1 + 1 n
Tomando x = 1 / n e, usando que = p + 1 (pois a derivada de x + (1 + x ) p 1 em x = 0 ) para calcular o limite quando x 0 , temos:
x 0
1 1 1 + n n
(1 + x ) lim
p +1
lim
x (1 + x ) p = x 0 (1 + x) p +1 1
1 lim
x 0
(1 + x )
p +1
1 p +1
Logo: lim
y n +1 y n y 1 1 , assim: lim n = [ = x n +1 x n 1 + p xn 1 + p
Problema Resolvido III
(Schweitzer Competition - alterada) Dada a seqncia definida recursivamente por: 0 < a1 < 1 e a n +1 = a n (1 a n ) , para n > 1 , prove que: (a) lim n a n = 1 (b) lim
n (1 na n ) =1 ln n n . Para isso, devemos 1 / an
Soluo: a) Queremos usar o Teorema de Stolz em lim
mostrar que 1 / a n estritamente crescente e tende ao infinito, o que equivale a mostrar que a n estritamente decrescente e tende a 0+. Por induo:
0 < a 2 = a1 (1 a1 ) < a1 < 1 pois 0 < a1 < 1

Assumindo como hiptese de induo que: 0 < ai +1 < ai < 1 , temos que:
0 < ai + 2 = ai +1 (1 ai +1 ) < ai +1 < 1 , pois 0 < ai +1 < 1

EUREKA! N23, 2006
19
Como a n estritamente decrescente e limitada, ela converge. Logo a = lim a n e:
a = a (1 a ) a = 0 . Aplicando o Teorema de Stolz:

lim
a [a (1 an ) ] a a a 2 (1 an ) ( n + 1) n = lim n n +1 = lim n n = lim n = 1 1 an an +1 an [an (1 an ) ] an 2 an +1 an
= lim(1 an ) = 1. b) Aplicando um truque algbrico:
1 1 1na n n n na n (1 na n ) n (1 na n ) an n = lim = lim lim na n , ln n ln n ln n ln n 1 n an se lim existir. Mostremos que ele de fato existe e vale 1, por Stolz: ln n
1 1 1 1 1 1 n 1 n 1 1 n a an an +1 an = an +1 an = = n +1 n +1 ln(n + 1) ln n n +1 1 ln ln 1 + n n +1 a an +1 nan 1 n n an +1 an 1 an = = 1 quando n + [ n +1 n +1 1 1 ln 1 + ln 1 + n +1 n +1 A seguir apresentamos alguns problemas (em ordem crescente de dificuldade) que so resolvidos com a aplicao do Teorema de Stolz. 1 - Seja {xn} uma seqncia de termos positivos tais que x n = e lim ento lim y1 + ... + yn = a. x1 + ... + xn
yn =a xn
2 Seja {xn} uma seqncia de termos positivos tais que lim x n = a . Mostre que lim n x1 x2 ...xn = a. Sugesto: Use o corolrio aps o Teorema de Stolz.
EUREKA! N23, 2006
20
3 Para uma seqncia de termos positivos {a n } mostre que se lim
a n +1 = a ento an
lim n a n = a .
4 Seja k um inteiro fixo arbitrrio maior que 1. Determine lim n . n
n j 5 Calcule lim n 1 + . n j =1
nk
6 Prove que se {an} uma seqncia que converge para a ento :
na1 + (n 1)a 2 + ... + 1a n a = . 2 n2 a a n 1 = 0. 7 Prove que se lim( a n a n 2 ) = 0 ento lim n n n 1 k k k , k natural fixo. 8 Calcule lim k (1 + 2 + ... + n ) k + 1 n lim
9 (OBM adaptado) Dada a seqncia {a n } definida recursivamente por a1 = 3 e a n +1 = a n 2 . Prove que lim
2
ln(ln a n ) = ln 2 . n
10 Para uma seqncia {a n } , considere a seqncia { An } , de mdias arirmticas, ou seja, An =
a1 + a 2 + ... + a n . Mostre que se lim An = A , ento: n 1 n ak lim = A. ln n k =1 k
Sugesto: Escreva a k em funo de alguns Ai . 11 Mostre que, se para a seqncia de termos positivos {a n } , o limite
EUREKA! N23, 2006
21
a lim n1 n +1 an
existe ento o limite
lim
ln a n ln n
tambm existe e os dois so iguais. Ainda, se o primeiro limite infinito, o segundo tambm o . 12 Seja a1 = 1 e a n +1 = a n +
a
k =1
para n 1 , prove que: lim

k
an 2 ln n
=1
2 Sugesto: Estude a n .
REFERNCIAS
[ 1 ] KACZOR, W.J e NOWAK, M.T Problems in Mathematical Analysis I Real Numbers, Sequences and Series American Mathematical Society [ 2 ] LIMA, E. L. Curso de Anlise, Volume I Projeto Euclides IMPA [ 3 ] APOSTOL, T Calculus, Volume I Addison-Weasley
Digo Veloso Ucha e Renato Purita Paes Leme so alunos de Engenharia que gostam de matemtica. Cursam o 4 ano do INSTITUTO MILITAR DE ENGENHARIA e estudam no INSTITUTO DE MATEMTICA PURA E APLICADA. Os dois agradecem ao professor Carlos Gustavo T. A. Moreira pela reviso desse artigo.
EUREKA! N23, 2006
22
CONTAS COM DESIGUALDADES

Mrcio Afonso Assad Cohen & Rodrigo Villard Milet Nvel Avanado
Vamos discutir aqui uma notao prtica para lidar com funes simtricas e estudar a utilizao de duas poderosas ferramentas, as desigualdades de Muirhead, mais conhecida como bunching e a de Schur. Por simplicidade de notao, os resultados sero mostrados para trs variveis. O leitor no ter dificuldade em generalizar esses resultados para n variveis (quando necessrio, sero fornecidas dicas para essa generalizao).
1. EXPRESSES SIMTRICAS
Uma funo f ( x, y , z ) simtrica quando se tem, para todo x, y, z:
f ( x, y , z ) = f ( x, z , y ) = f ( y , x, z ) = f ( y , z , x ) = f ( z , x, y ) = f ( z , y , x)
(isto , trocar uma varivel com outra no altera a expresso). Dada uma funo qualquer P ( x, y, z ) , definimos:
sym
P( x, y, z) = P( x, y, z) + P( x, z, y) + P( y, x, z) + P( y, z, x) + P(z, x, y) + P(z, y, x) . x
sym 2
Exemplo 1. De acordo com a definio, verifica-se que:
y = x2 y + x2 z + y2 x + y2 z + z 2 x + z 2 y ;
x
sym
= 2 (x3 + y3 + z 3 ) ;
xyz = 6 xyz
sym
(reflita um pouco para entender os coeficientes 2 e 6 dos exemplos anteriores!).

1.1. Propriedades 1.
sym
f uma funo simtrica, i.e, f ( x, y, z ) = f ( x, z, y) = ...

sym sym
sym sym
2. Se ( x, y , z ) uma funo simtrica, ento (x, y, z) f (x, y, z) =(x, y, z) f (x, y, z)
(porque ( x, y , z ) uma constante para esse somatrio).

Exemplo 2. (Quadrado e Cubo da soma) Sendo s = x + y + z , expresse 2s e 2s
2 3
como somas simtricas:

EUREKA! N23, 2006
23
Soluo:
2s = x 2 s 2 = x ( x + y + z ) = ( x 2 + xy + xz ) = ( x 2 + 2 xy )
sym sym sym sym 3 2 2 3 2 2 sym sym
2s = 2s s = (x + 2xy) (x + y + z) = (x + x y + x z + 2x 2 y + 2xy2 + 2xyz) 2s = (x + 6x y + 2xyz)

3 3 2 sym
Exemplo 3. Sendo x, y, z > 0, mostre que:
9 x y z + + ( x + y )( x + z ) ( y + x)( y + z ) ( z + x)( z + y ) 4( x + y + z )
Soluo: Usando a notao de simetria, podemos reescrever o problema como:
1 9 x 2 sym ( x + y )( x + z ) 4( x + y + z )
(Se voc no entendeu o fator ,
volte ao exemplo 1). Multiplicando tudo pelo mmc ( x + y )( x + z )( y + z )( x + y + z ) :
2 x( y + z )( x + y + z ) 9( x + y )( x + z )( y + z )
sym
Agora observe que; chamando o lado esquerdo de LE e o direito de LD: (i) LD = 9 (x + y)(x + z)(y + z) = 9 (x2 y + x 2 z + ...+ xyz + xyz) = 9
1 2 x y + 3 xyz sym sym
(para evitar erros, confira se a expresso est verdadeira para x = y = z = 1, 1 = 6 nesse caso). lembrando que
sym
(ii) LE= 2
(xy+ xz)(x + y + z) = 2 (x y + xy + xyz+ x z + xyz+ xz ) = (8x y + 4xyz)

2 2 2 2 2 sym sym sym
Portanto, LE LD
(8x
sym
y + 4 xyz) (9 x y + 3xyz) x 2 y xyz .

2 sym sym sym
A ltima inequao consequncia direta da desigualdade das mdias:
x 2 y + x 2 z + y 2 x + y 2 z + z 2 x + z 2 y 6 xyz .
2. MUIRHEAD (vulgo bunching)
Dadas duas seqncias no-crescentes (a1 , a2 , a3 ) e (b1 , b2 , b3 ) , diz-se que a majora b quando: a1 b1 ; a1 + a2 b1 + b2 ; e a1 + a2 + a3 = b1 + b2 + b3
EUREKA! N23, 2006
24
Nesse caso, escreve-se [ a1 , a2 , a3 ] [b1 , b2 , b3 ] e se x, y, z so reais positivos temos:
x
sym
a1
y a2 z a3 xb1 y b2 z b3 .
sym
Demonstrao: Lema (smoothing): Se em
x
sym
u1
y u2 z u 3 substituirmos dois expoentes u i , u j (i < j)
por vi , v j com u i + u j = vi + v j e ui vi v j u j , o valor da expresso diminui (ou no muda). (isto , manter a soma constante e diminuir a distncia entre dois expoentes no aumenta a expresso)
Demonstrao do Lema:
(x
sym
S.p.g, suponha u1 = m + R , u 2 = m R, v1 = m + r , v 2 = m r :
u1 u u v v u y 2z 3 x1y 2z 3)=
= =
1 ( x m + R y m R z u3 x m + r y m r z u 3 + x m R y m + R z u 3 x m r y m + r z u 3 ) = 2 sym 1 z u3 x m y m ( x R y R + x R y R x r y r x r y r ) 2 sym
A ltima expresso no-negativa, pois para a positivo fixo (no caso a = x/y), a funo f (t ) = a t + a t crescente:
f (R) f (r) = a R ar +
1 1 1 r = (aR ar ) R r (a R ar ) = aRr (a R ar )(aR ar 1) R a a a a
Se a > 1 e R > r > 0, essa expresso obviamente positiva. Se 0 < a < 1, tambm (troque a por 1/a).
Demonstrao do teorema:
Como [a1 , a 2 , a 3 ] [b1 , b2 , b3 ] , se as seqncias no forem iguais, adotamos o seguinte procedimento: Seja i o maior ndice tal que ai > bi , e j o menor ndice maior do que i tal que a j < b j . (o qual existe, pois
a = b e a b , donde a > b
k k k <i k k <i k k i k k i
).
Se i < k < j , ak = bk . Seja r = min{ai bi , b j a j } > 0. Podemos fazer o troca de ai por ai r e de a j por a j + r, de modo que o nmero de ndices s tais que
EUREKA! N23, 2006
25
as = bs aumenta de pelo menos uma unidade. A ordem dos ai preservada, pois ai r bi b j a j + r e, se i < k < j, ai r bi bk = ak . Como a soma simtrica
x
sym
a1
y a2 z a3
nunca aumenta (pelo lema), repetimos o procedimento at que
x
sym
as = bs para todo s, o que mostra que, no incio, tnhamos

a1
y a2 z a3 xb1 y b2 z b3 .
sym
Obs. A demonstrao do caso com n variveis anloga. (A demonstrao fornece uma idia intuitiva para o conceito de majorar. Uma seqncia na qual os expoentes esto prximos uns dos outros sempre majorada por uma com os termos mais espalhados!)
Exemplo 4. (Desigualdade das mdias) Dados a1 , a 2 ,..., a n reais positivos, mostre que
a1 + a 2 + ... + a n n a1 a 2 ...a n n
Soluo: Vamos usar a verso de n variveis de bunching:
1 1 1 1 [1,0,0,...,0] > , , ,... n n n n a1 a11 n a21 n ... an1 n

sym sym
(n 1)! (a1 + a2 + ... + an ) n !
a1a2 ...an MA MG.
Exemplo 5. (Vingana olmpica) Dados a, b, c, x reais positivos, prove que
a x+2 + 1 b x+2 + 1 c x+2 + 1 + + 3 a x bc + 1 b x ac + 1 c x ab + 1

Soluo: Na notao simtrica, o problema pode ser reescrito como:
1 a x+ 2 + 1 x 3 2 sym a bc + 1
(a
sym
x+2
+ 1)(b x ac + 1)(c x ab + 1) 6(a x bc + 1)(b x ac + 1)(c x ab + 1)
Desenvolvendo cada lado:
EUREKA! N23, 2006
26
LE = (a x + 4 b x +1 c x +1 + 2a x + 3 b x c + a x + 2 + b x +1 c x +1 a 2 + 2a x bc + 1)
sym
LD = (a x + 2 b x + 2 c x + 2 + 3a x +1b x +1 c 2 + 3a x bc + 1)
sym
Temos LE LD j que, usando bunching trs vezes, podemos escrever:

sym sym sym
LE LD= (ax+4bx+1cx+1 ax+2bx+2cx+2 ) + 2 (ax+3bxc ax+1bx+1c2 ) + (ax+2 axbc) 0.
Exemplo 6. (Torneio das cidades e Japo) Mostre que sendo a, b, c positivos de
produto 1 tem-se
1 1 1 + + 1 a + b +1 b + c +1 a + c +1
Soluo: Inicialmente, vamos nos livrar da restrio, homogeneizando a
inequao:
1 1 1 1 + + 3 3 3 3 a + b + abc b + c + abc a + c + abc abc
Para evitar as razes, faa x = 3 a , y = 3 b , z = 3 c . xyz x 3 + y 3 + xyz 2 sym
xyz( y
sym
+ z 3 + xyz)(x3 + z 3 + xyz) 2(x 3 + y 3 + xyz)( y 3 + z 3 + xyz)(x 3 + z 3 + xyz)
Desenvolvendo,
(x3 + z 3 + xyz)(y3 + z 3 + xyz) = z 6 + x3 z 3 + y 3 z 3 + x3 y3 + x 4 yz + 2z 4 yx + y 4 xz + x2 y 2 z 2

(*) Logo, LE =
(x
sym
yz + 4 x 5 y 2 z 2 + 3x 4 y 4 z + x 3 y 3 z 3 )
Multiplicando (*) por x 3 + y 3 + xyz e escrevendo na notao simtrica:
LD = ( x 7 yz + 2 x 6 y 3 + 2 x 5 y 2 z 2 + 3x 4 y 4 z + x 3 y 3 z 3 )
sym
(No incio, difcil olhar direto para os coeficientes. Nesse caso, no perca tempo. Faa a conta com os 27 termos no LD e s depois escreva na notao de simetria!) Cancelando os termos comuns, a desigualdade portanto equivalente a x6 y3 x5 y 2 z 2 ,
xym
sym
EUREKA! N23, 2006
27
que segue por bunching j que [6,3,0] [5,2,2] .

3. SCHUR (para trs variveis)
Se x, y, z, r so positivos, tem-se:
x ( x y )( x z ) 0 .
r sym
Demonstrao: Como a expresso simtrica, podemos supor, sem perda de generalidade, x y z , de forma que:
x r ( x y )( x z ) + y r ( y x)( y z ) = ( x y )( x r ( x z ) y r ( y z )) 0 ,
pois x z y z e x r y r . Para
r
completar
demonstrao,
basta
somar
essa
desigualdade
com
z ( z x)( z y ) 0 .
Quando r = 1, obtemos a principal variao da desigualdade de Schur:
(x
sym
+ xyz 2 x 2 y ) 0.
(Schur muito til quando o termo mais distribudo (ex: xyz) deve ser maior que algum outro termo).
Exemplo 7. (Ir) Dados x, y, z reais positivos, mostre que
1 1 1 ( xy + yz + xz ) ( x + y ) 2 + ( y + z ) 2 + ( x + z) 2
Soluo:
9 . 4
Tirando mmc queremos provar que:
2 ( xy + yz + xz )( y + z ) 2 ( x + z ) 2 9 [( x + y )( x + z )( y + z )]
sym
Fazendo as contas, ( x + y )( x + z )( y + z ) = ( x + y )( z 2 + xy + xz + yz ) = x 2 y + x 2 z + y 2 x + y 2 z + z 2 x + z 2 y + 2 xyz = s
1 2 LD = 9 [( x + y )( x + z )( y + z )] = 9 s 2 = 9s x 2 y + 9 s xyz sym 3 sym

EUREKA! N23, 2006
28
LD = 9 ( x 4 y 2 + x 3 y 3 + x 4 yz + x 2 y 3 z + x 3 yz 2 + x 2 y 2 z 2 + 2 x 3 y 2 z ) +
sym
+3 (6 x 3 y 2 z + 2 x 2 y 2 z 2 )
LD = (9 x 4 y 2 + 9 x 4 yz + 9 x 3 y 3 + 54 x 3 y 2 z + 15 x 2 y 2 z 2 )
sym
sym
No lado esquerdo, pondo = xy + xz + yz :
LE = 2 [( y + z)(x + z)] = 2 (z 2 + )2 = 2 (6 3 + 2 2 x 2 + x 4 )
2 sym sym sym sym
Agora, usando o exemplo 2:
6 3 = 3 ( x 3 y 3 + 6 x 3 y 2 z + 2 x 2 y 2 z 2 )
sym
2 = ( x 2 y 2 + 2 x 2 yz );
2 sym 2
x = (x y
sym sym sym
2 2
+ 2x2 yz) 2 (x2 + y2 + z 2 ) = 2 (2x4 y2 + x2 y2 z 2 + 2x4 yz + 4x2 y3z)

sym
x 4 = x 4 ( xy + xz + yz ) = (2 x 5 y + x 4 yz )
sym sym
Juntando tudo,
sym
LE = 2 (2 x 5 y + 4 x 4 y 2 +5 x 4 yz + 3 x 3 y 3 + 26 x 3 y 2 z + 8 x 2 y 2 z 2 )
Usando duas vezes bunching e em seguida Schur temos:

sym
LE LD = (4 x 5 y x 4 y 2 + x 4 yz 3 x 3 y 3 2 x 3 y 2 z + x 2 y 2 z 2 ) =
sym sym sym
= ( x 5 y x 4 y 2 ) + 3 ( x 5 y x 3 y 3 ) + xyz ( x 3 + xyz 2 x 2 y ) 0
Exemplo 8. (IMO) Sejam x, y, z reais positivos com xyz = 1. Mostre que:
y5 y 2 x5 x2 z5 z 2 + 2 + 2 0. x5 + y 2 + z 2 x + y5 + z 2 x + y 2 + z5
Soluo:
Escrevendo na notao de simetria, o problema equivalente a:
(x
sym
x 2 ) (x 2 + y 5 + z 2 ) (x 2 + y 2 + z 5 ) 0
EUREKA! N23, 2006
29
Como (x2 + y 5 + z 2 ) (x2 + y 2 + z 5 ) = x 4 + ( y 5 + z 2 + y 2 + z 5 )x2 + ( y5 + z 2 )(y 2 + z 5 ) , basta que: x5 ( x 4 + 2 y 5 x 2 + 2 y 2 x2 + 2 y 7 + y 5 z 5 + z 2 y 2 )

sym
x2 (x4 + 2 y5 x2 + 2 y 2 x2 + 2 y7 + y5 z5 + z2 y 2 )
(x
sym
sym
+ 2x 7 y 5 + 2x 7 y 2 + 2x 5 y 7 + x 5 y 5 z 5 + x 5 y 2 z 2 ) + 2 x 4 y 5 + 2x 4 y 2 + 2 x 2 y 7 + x 5 y 5 z 2 + x 2 y 2 z 2 )
(x
sym
S bunching no vai resolver isso, pois o termo x5y5z5 fica sobrando do lado esquerdo. Usando respectivamente a desigualdade das mdias, bunching e xyz porm temos:
(x
sym sym
y 5 + x 7 y 5 + x 5 y 5 z 5 + x 5 y 2 z 2 ) 4 x 6 y 4, 25 z 1, 75
sym 6
(2 x (2 x
sym
y 4 z 2 + x5 y5 z 2 + x4 y 4 z 4 ) y 2 + x5 y 5 z 2 + x 2 y 2 z 2 )
O problema est resolvido somando-se essa desigualdade com:
(x
sym
+ 2 x 7 y 5 ) ( x 7 yz + 2 x 6 y 5 z ) ( x 6 + 2 x 5 y 4 ) ,
sym sym
que vale por bunching e xyz UHVSHFWLYDPHQWH

4. EXERCCIOS PROPOSTOS:
(Assuma as variveis reais positivas nos exerccios abaixo)
a b c 3 + + . b+c a+c a+b 2 2 2 2 2 2 2 2 2 2 2 2 2 2. ( x + y z ) ( x y) + ( y + z x )( y z ) + ( z + x y )(z x) 0 . 7 3. (IMO) Se x + y + z = 1, mostre que 0 xy + yz + zx 2 xyz . 27

1. 4. (Banco IMO) Se xyz = 1, mostre que
y3 x3 z3 3 + + . (1 + y )(1 + z ) (1 + z )(1 + x) (1 + x )(1 + y ) 4
EUREKA! N23, 2006
30
1 1 1 3 + 3 + 3 . a (b + c ) b (a + c) c (a + b) 2 1 1 1 6. (IMO) Se abc = 1, mostre que a 1 + b 1 + c 1 + 1 . b c a

5. (IMO) Sendo abc = 1, mostre que
3
7. (Banco IMO)
(a + b c) 2 (a b + c)2 (a + b + c)2 (a2 + b2 c 2 ) (a2 b2 + c 2 ) (a2 + b2 + c 2 ) . (b + c a ) 2 (c + a b ) 2 ( a + b c) 2 3 8. (Japo) + + . 2 2 2 2 2 2 5 (b + c) + a (c + a ) + b ( a + b) + c (2 x + y + z) 2 (2 y + x + z ) 2 ( 2 z + y + x) 2 9. (USA) + + 8. 2 x 2 + ( y + z ) 2 2 y 2 + ( x + z ) 2 2 z 2 + ( y + x) 2

10. (Bulgria) Se abc = 1, mostre que
1 1 1 1 1 1 + + + + . 1+ a + b 1+ b + c 1+ a + c 2 + a 2 + b 2 + c
EUREKA! N23, 2006
31
O PROBLEMA IMPOSSVEL
Cssio Neri Instituto de Matemtica, Universidade Federal do Rio de Janeiro Nvel Avanado
INTRODUO:
O Problema Impossvel um lindo problema sobre nmeros inteiros. Sua forma original foi dada por Freudenthal [1] antes de ser popularizada por Martin Gardner1 [2]. As duas verses no so exatamente iguais. A verso de Gardner a seguinte:
Dois nmeros inteiros (no necessariamente diferentes) entre 2 e 20 so escolhidos. Apenas a soma dos dois nmeros dada ao matemtico Srgio. Apenas o produto dos dois nmeros dado ao matemtico Paulo. Por telefone, Srgio diz a Paulo: "No existem meios para que voc determine minha soma". Uma hora depois, Paulo telefona de volta para dizer: "Eu sei a sua soma". Mais tarde, Srgio telefona novamente para Paulo para anunciar: "Agora eu sei o seu produto". Quais so os nmeros?
No problema original, Freudenthal fixou uma cota superior de 100 (no para os nmeros, mas para a soma; no obstante, vamos considerar apenas variaes do problema com cotas para os nmeros, embora a verso de Freudenthal possa ser analisada de modo anlogo). Para simplificar o problema, Gardner preferiu usar a cota superior igual a 20. Fazendo isto, "o Problema Impossvel se tornou literalmente impossvel" como disse o prprio Gardner [3]. Neste texto vamos explicar este ponto. surpreendente que o problema original seja bem posto j que, como pode-se pensar, a pequena conversa telefnica no acrescenta nenhuma informao relevante sobre os nmeros. Mas, como veremos, esta conversa rica de informaes matemticas. O Problema Impossvel um problema 3 em 1. Os problemas propostos a Paulo e a Srgio so diferentes do nosso e entre si. Cada um dos personagens tem uma informao adicional (o produto para Paulo e a soma para Srgio) que ns no temos. Isto faz uma grande diferena.
1
O autor, alm de traduzir o enunciado, tomou a liberdade de chamar os personagens de Paulo e Srgio em vez de P e S como na verso em ingls.
EUREKA! N23, 2006
32
Nas duas primeiras sees consideraremos o problema como nos foi proposto. Na ltima seo consideramos os problemas propostos a Paulo e a Srgio.
SOLUO DO PROBLEMA
Para resolver o problema vamos usar um programa de computador j que existem muitos casos a considerar. Um programa escrito em linguagem C est disponvel em [6]. Posteriormente veremos uma soluo sem a necessidade de ajuda computacional. Vejamos a estratgia da soluo. Aproximadamente falando, comearemos com dois conjuntos grandes: o dos produtos admissveis e o das somas admissveis. De cada frase do dilogo, extrairemos informao que nos permitir reduzir o tamanho destes conjuntos. Ao final, teremos apenas um produto e uma soma admissvel. Resolvendo uma equao de segundo grau, determinaremos os dois nmeros. Faremos a seguinte hiptese fundamental, caso contrrio, o problema no tem sentido matemtico.
Hiptese fundamental: Paulo e Srgio dizem a verdade. Esta hiptese merece um comentrio filosfico. Algum leitor pode julgar que tal hiptese seja falsa j que Srgio afirma que Paulo no pode determinar a soma e, uma hora depois, Paulo anuncia que o fez. Um deles est mentindo? No necessariamente. A hiptese continua sendo plausvel ao considerarmos o tempo. Inicialmente Paulo no podia resolver o problema. Por alguma razo, que veremos a seguir, Srgio sabia disto e anunciou o fato. Paulo pensou e descobriu qual era esta razo. S depois de descobri-la (portanto, no antes de Srgio se pronunciar) que Paulo foi capaz de determinar a soma.
Chamaremos de p ao produto e s soma dos dois nmeros. Seja N a cota superior dada para os nmeros. Nesta seo consideraremos N = 100. Sabemos, a priori, que p no primo j que ele um produto de dois inteiros maiores que 1. Alm disto, p no pode ter nenhum divisor primo maior que N (por exemplo, p no pode ser 2 101). H outras restries, por exemplo, p 11 11 11 e p 11 13 17. Veja que sabemos muita coisa sobre p. Por outro lado, no temos nenhuma restrio sobre s, exceto que 4 s 200. Para simplificar a apresentao, faremos as seguintes definies.
EUREKA! N23, 2006
33
Definio: Dado um inteiro m 4, dizemos que o par (i, j) uma fatorao de m se m = ij com i e j inteiros entre 2 e N. Definio: Dado um inteiro m 4, dizemos que o par (i, j) uma decomposio de
m se m = i + j com i e j inteiros entre 2 e N. Repare que estas definies dependem de N. Assim, (2, 8) uma fatorao de 16 se, e somente se, N 8. Em se tratando de fatoraes e decomposies, consideramos (i, j) = (j, i). As restries sobre p, citadas anteriormente, so conseqncias do seguinte fato: existe pelo menos uma fatorao para p. Os conjuntos dos produtos e das somas admissveis so dados, respectivamente, por P0 = {m `; 4 m N 2 e m tem pelo menos uma fatorao}, S0 = {m `; 4 m 2 N }. O programa informa que P0 tem 2880 elementos. Informa tambm que S0 tem 197, entretanto isto trivialmente constatado sem necessidade de computador. Passemos anlise do dilogo. Inicialmente Srgio diz que Paulo no pode determinar a soma. Isto significa que p tem pelo menos duas fatoraes distintas. De fato, j sabemos que p tem fatorao. Se (i, j) fosse a nica fatorao de p, ento Paulo saberia que s = i + j. Desta forma, o conjunto dos produtos admissveis se reduz a P = {m P0 ; m tem pelo menos duas fatoraes}. 1 Temos que p P e, segundo o programa, P tem 1087 elementos. Percebe-se 1 1 facilmente que se i e j so primos, com i, j N , ento ij P0 \ P . Porm, nmeros 1 desta forma constituem apenas uma pequena parte de P0 \ P . Outros exemplos de 1 elementos de P0 \ P so N 2 e N ( N 1). 1 Existe outra conseqncia da primeira frase de Srgio: qualquer que seja a decomposio (i, j) de s temos que ij P . com efeito, suponhamos que s tenha 1 decomposio (i, j) tal que ij P . Vamos mostrar que, neste caso, existe uma 1 circunstncia na qual Paulo poderia determinar a soma, de modo que Srgio no poderia fazer sua primeira declarao. Isto ocorre quando p = ij pois teramos p P 1 e, portanto, (i, j) seria a nica fatorao de p. Isto permitiria a Paulo concluir que s = i + j. Em vista disso, o conjunto de somas admissveis se reduz a S1 = {m S 0 ; para toda decomposio (i, j) de m temos que ij P }. 1
EUREKA! N23, 2006
34
Temos que s S1 e, de acordo com o programa, S1 = {11,17,23,27, 29,35,37,41,47,53} Em seguida, Paulo anuncia saber a soma. Segue da que existe uma nica fatorao (i, j) de p tal que i + j S1. De fato, s S1 , logo, p tem fatorao cuja soma est em S1 . Se existisse mais de uma fatorao nessa condio, ento Paulo no poderia saber qual delas seria correta. Assim, o conjunto dos produtos admissveis reduzido a P2 = {m P1 ; existe uma nica fatorao (i, j) de m tal que i + j S1}. Temos que p P2 . O programa diz que P2 tem 86 elementos. Finalmente, Srgio diz que tambm sabe o produto. Graas a um argumento anlogo ao do pargrafo anterior, conclumos que existe uma nica decomposio (i, j) de s tal que ij P2 . Portanto, o conjunto das somas admissveis se reduz a S 2 = {m S1 ; existe uma nica decomposio (i, j) de m tal que ij P2 }. Temos que s S2 . O programa informa que S 2 = {17}. Logo, s = 17. Neste momento, Srgio j anunciou ter encontrado o produto. Como est dizendo a verdade, ento ns tambm podemos encontr-lo. Com efeito, sabemos que a soma vale 17 e, portanto, podemos nos colocar no lugar de Srgio. Outra maneira de proceder reiterar o argumento que define P2 a partir de S1 e aquele que define S 2 a partir de P2 para, assim, construir Pn a partir de S n 1 e S n a partir de Pn . Repetimos isto at encontrar n ` tal que Pn e S n sejam unitrios. Mais precisamente, para n = 3,, definimos Pn = {m Pn1 ; existe uma nica fatorao (i, j) de m tal que i + j S n 1}, S n = {m S n 1 ; existe uma nica decomposio (i, j) de m tal que ij Pn }. Obtemos assim, P3 = {52} e S3 = {17}, logo p = 52 e s = 17, de onde segue que os nmeros so 4 e 13.
O ERRO DO GARDNER
Conhecendo a resposta, 4 e 13, a intuio diria que a mesma soluo valeria se trocssemos, como fez Gardner, a cota superior N de 100 para 20.
EUREKA! N23, 2006
35
Surpreendentemente, isto est errado! Veremos que para N 61 os nmeros 4 e 13 no resolvem o problema! O que acontece se N 61 ? Neste caso 17 S2 . De fato, o programa mostra que S 2 = , o que significa que o problema no tem soluo. Pode-se pensar que esta uma falha do mtodo e que talvez, por outro argumento encontrssemos a soluo, mas conclumos o seguinte. Se s e p so os nmeros fornecidos a Srgio e Paulo, respectivamente, e se ambos dizem a verdade, ento obtemos, sucessivamente, os seguintes fatos: 1. antes do dilogo: p P0 e s S0 ; 2. aps a primeira frase de Srgio: p P1 e s S1 ; 3. aps a primeira frase de Paulo: p P2 ; 4. aps a primeira frase de Srgio: s S2 . Logo, se os nmeros so 4 e 13, ento p = 52 P2 e s = 17 S2 . Suponhamos agora que N 61. Vamos mostrar que 52 P2 ou 17 S2 , de onde seguir que os nmeros no podem ser 4 e 13. Procedemos por absurdo supondo que 52 P2 e 17 S 2 . Afirmaremos que 19,37 S1 . De fato, como 34 tem apenas a fatorao (2, 17), temos que 34 P e, portanto, 2 + 17 = 19 S1 . Observamos que 186 pode ser escrito 1 como produto de dois nmeros naturais apenas das seguintes formas: 1 186, 2 93, 3 62 e 6 31. Como N 61, a nica fatorao de 186 (6, 31), logo, 186 P . Segue da que 6 + 31 = 37 S1 . 1 Agora, mostraremos que 70 P2 . Podemos escrever 70 como 1 70,2 35,5 14 e 7 10. Como j vimos, 37 = 2 + 35 e 19 = 5 + 14 no esto em S1 , porm, 17 S2 S1 . Logo, 70 P2 . Finalmente, entre todas as decomposies de 17 temos (4, 13) e (7, 10). Como 52,70 P2 temos que 17 S2 o que uma contradio. Salientamos os seguintes fatos: Mostramos apenas que (4, 13) no soluo para N 61. Talvez, outra soluo aparea quando N 61. Entretanto, o programa em [6] mostra que S 2 = e, portanto, o problema no tem soluo.
EUREKA! N23, 2006
36
2. Mesmo os puristas, que no aceitam demonstraes assistidas por computador, devero aceitar que (4, 13) no soluo do problema quando N 61. 3. Quando dizemos que o problema no tem soluo, significa que o nosso problema no tem soluo. Por outro lado, o problema proposto a Paulo tem soluo desde que a ele seja fornecido um nmero adequado. A situao de Srgio no muito diferente da nossa. Abordaremos estas questes na prxima seo.
O PROBLEMA DE PAULO E O DE SRGIO
Nesta seo, consideraremos os outros problemas, especialmente, o dado a Paulo. Em [6] est disponvel um programa em linguagem C que poderia ser usado por Paulo (ou por ns em seu lugar) e outro para Srgio. Por hora, voltemos a considerar N = 100. Paulo sabe que p = 52 e que suas fatoraes so (2, 26) e (4, 13). Assim, ele sabe que s vale 28 ou 17. Aps Srgio falar pela primeira vez, Paulo procura as decomposies de 28: (2, 26), (3, 25), (4, 24), (5, 23), Ele pode parar por a e concluir que s 28 pois (5, 23) a nica fatorao de 115 (5 e 23 so primos) e, portanto, 115 P e 28 S1 . Agora, ele pode procurar as decomposies de 17 (s 1 para ter certeza que s = 17): (2, 15), (3, 14), (4, 13), (5, 12), (6, 11), (7, 10) e (8, 9). Estas decomposies so fatoraes, respectivamente, de 30, 42, 52, 60, 66, 70 e 72. Todos estes nmeros esto em P j que cada um deles tem outra fatorao diferente 1 daquela aqui mostrada. Paulo conclui que s = 17. Srgio deve trabalhar mais que Paulo. Porm, ele tambm pode achar o produto aps alguns minutos2. Consideremos, agora, outros valores para N. Para valores pequenos no podemos resolver o problema. Da mesma forma, para N grande, por exemplo N = 866, no possvel determinar os nmeros pois Pn = {52,244} e S n = {17,65} para todo N 3. Para Paulo, o efeito de trocar N quase nulo: sabendo que p = 52 ele encontra s = 17 para todo N 13 (fato em acordo com a intuio). Mesmo a ambigidade que aparece para ns quando N = 866 no atrapalha Paulo. Neste caso, se ele recebesse p = 244, ento acharia s = 65. Quando N 25,(2,26) no mais fatorao de 52. Assim, Paulo no teria dvida de que s = 17. Portanto, Srgio no diria que Paulo no podia determinar a soma. Paulo acharia s mas Srgio no acharia p (como veremos abaixo).
O autor se ps no lugar de Srgio e aps, aproximadamente, 15 minutos achou o produto. Nos seus clculos ele considerou em P0 \ P apenas os nmeros que so produtos de dois 1 primos.
EUREKA! N23, 2006
2
37
Para N 61 , a situao de Srgio similar a nossa: ele no pode achar p. A razo a mesma de antes: (4, 13) e (7, 10) so duas decomposies de 17 com produtos em P2 . Outra maneira de ver este fato a seguinte. Tome N = 61 e coloquemo-nos no lugar de Paulo, primeiro com p = 52 e, depois, com p = 70. Em ambos os casos, aps a primeira frase de Srgio, encontraramos s = 17. Logo, Srgio no poderia decidir se p = 52 ou p = 70. Na verdade, existe ainda uma terceira possibilidade, p = 66, que aparece quando N = 61. Para N = 866, Srgio encontra p = 52, quando s = 17, ou p = 244, quando s = 65.
SOLUO SEM ASSISTNCIA COMPUTACIONAL
Vejamos agora uma soluo do problema original, com N = 100, que no necessita de assistncia computacional. Determinar P0 ou P manualmente seria muito trabalhoso (lembre-se que, segundo o 1 programa, esses conjuntos tm, respectivamente, 2880 e 1087 elementos). Vamos procurar S1 sem computador mas com pacincia. Para concluir que S S1 basta existir uma decomposio (i, j) de S que seja a nica fatorao de ij. Vejamos alguns casos (cuja verificao deixamos para o leitor). Para S = 200 temos a decomposio (100, 100). Para S = 199 e S = 198 temos (99, 100) e (99, 99), respectivamente. Se 99 S 197,(i, j ) = (97, S 97) resolve pois 2 S 97 100 e ij tem fator primo 97, logo, i, digamos, tem fator 97. Como 97 > 50, se i tivemos outro fator primo, ento teramos i > 100, que absurdo. Conclumos que i = 97 e j = S 97. Portanto, (S, S 97) a nica fatorao de ij. Analogamente, se 55 S 153, ento (53, S 53) a nica fatorao de 53(S 53). Resumindo, at aqui mostraremos que se S 55, ento S S1 . Agora, se S 54 e S par, ento pode-se verificar, caso a caso, que S tem decomposio (i, j) com i e j primos (o caso geral, isto , sem cota superior para S, um problema em aberto conhecido como Conjectura de Goldbach), logo, S S1 . Analogamente, os mpares 5, 7, 9, 13, 15, 19, 21, 25, 31, 33, 39, 43 e 45 so todos da forma 2 + P com P primo e, portanto, nenhum deles est em S1 . Finalmente, (17, 34) uma decomposio de 51 que a nica fatorao de 578 = 2 17 2 (pois 172 > 100), ou seja, 51 S1. i Conclumos que S1 S = {11,17,23,27, 29,35,37, 41, 47,53}. Quem quiser pode mostrar que vale a incluso contrria, mas isto no ser necessrio nossa demonstrao.
EUREKA! N23, 2006
38
Determinar P2 tambm exigiria muito esforo. Por isto, passaremos diretamente para S 2 . Observaremos que se S S2 , ento existe uma nica decomposio (i, j) de S tal i que ij P e esta a nica fatorao de ij com soma em S S .
i Assim, para concluir que S S \ S 2 basta exibir duas decomposies distintas (i1 , j1 ) e (i2 , j2 ) de S tais que i1 j1 e i2 j2 admitam, no mximo, estas fatoraes com i soma em S . Por exemplo, 11 S . De fato, considere as decomposies (2, 9) e (3,
2
8). Elas tm produtos 18 e 24, respectivamente. Alm de (2, 9) e (3, 8), estes nmeros admitem as seguintes fatoraes: (3, 6), (2, 12) e (4, 6) cujas somas 9, 14 e i 10 esto fora de S . Analogamente, mostra-se que 23 S2 considerando as decomposies (4, 19) e (10, 13). Para 27, considere (4, 23) e (8, 19); para 29 considere (6, 23) e (10, 19). Finalmente, para S {35,37,41,47,53} considere (31, S 31) e (29, S 29) (mostre caso a caso). Finalmente, conclumos que S 2 = {17}, logo, a soma 17. As fatoraes de 17 so (2, 15), (3, 14), (4, 13), (5, 12), (6, 11), (7, 10) e (8, 9). Os produtos correspondentes so 30, 42, 52, 60, 66, 70 e 72. Ora, o produto procurando est em P2 , logo, ele tem uma nica fatorao cuja soma est em i S S . O nico dos nmeros anteriores com esta propriedade 52. Por exemplo,
i i 30 = 2 15 = 5 6 e 5 + 6 = 11 S (alm disto, claro que 2 + 15 = 17 S ). De modo anlogo consideraremos 42 = 3 14 = 2 21, 60 = 5 13 = 3 20,66 = 6 11 = 2 33,70 = 7 10 = 2 35 e 72 = 8 9 = 3 24. Logo, o produto 52 e os nmeros so 4 e 13.
Referncias [1] HANS FREUDENTHAL, Nicuw Archief Voor Wiskunde, Ser 3, 17 (1969) 152 [2] MARTIN GARDNER, Mathematical Games, Scientific American, 241 (Dec. 1979) 22. [3] MARTIN GARDNER, Mathematical Games, Scientific American, 242 (May 1980) [4] LEE SALLOWS, The Impossible Problem, The Mathematical Intelligencer, 17:1 (1995) 27. [5] ISAACS I. M. ISAACS, The Impossible Problem Revisited Again, Tha Mathematical Intelligencer, 17:4 (1195) 4. [6] URL: www.labma.ufrj.br/~cassio/f-impossivel.html
EUREKA! N23, 2006
39
COMO QUE FAZ?

Resolveremos a seguir dois problemas da IV Olimpada Iberoamericana de Matemtica Universitria, por sugesto de Macelo da Silva Mendes, de Teresina PI. 1) Seja > 0 um nmero real. Sejam 0 < x1 < x2 < x3 < ... as solues reais da 1 converge. equao x sen( x ) = ln x. Encontre os valores de para os quais n =1 xn Suponhamos inicialmente que 1. Dado k `* , temos 1 1 (2k )1 sen ( 2k ) = 0 < ln ( 2k ) , enquanto 1 1 1 1 1 2k + 1 = 2k + 1 > ln 2k + 1 , 2k + sen 2 2 2 2 pois x > ln x, para todo x > 0. Assim, para todo k `* , existe uma soluo
SOLUO:
1 1 1 x sen ( x ) = ln x . da equao yk ( 2 k ) , 2 k + 2 1 1 1 1 1 = +, caso 1. x 1 1 2 k =1 k + 1 n =1 n k =1 k =1 1 2k + 2k + 2 2
Assim,
Consideremos
agora
o
1
caso
0 < < 1. Para
Seja
f ( x ) = x sen( x ). existe um
Temos nico temos
f '( x ) = sen( x ) + x cos( x ). wk ( 2k ) , (( 2k + 1) )

1
cada
k `, para
com
f '( wk ) = 0;
1
( 2k )
< x < wk
f '( x ) > 0, e, para wk < x < (( 2k + 1) ) , temos 1 0 < x 2k + 2

1
f '( x ) < 0. De fato, para
, temos que
f '( x ) > 0, f ' decrescente no intervalo
1 1 1 2k + , ((2k + 1) ) e f ' 2
(((2k + 1) ) ) < 0.
1
EUREKA! N23, 2006
40

1 1 1 1 1 1 Como f 2k + = 2k + > ln 2k + , e 2 2 2
(((2k + 1)) ) = 0 < ln (((2k + 1) ) ),

1 1
existe uma soluo yk de f ( x ) = ln x
1 com 2k + 2 temos
< x < (( 2k + 1) ) . Para

1
((2k + 1) )
x (( 2k + 2 ) ) ,
1
f ( x ) 0 < ln x.
Para
1 x wk , (( 2k + 1) ) , temos
f '( x) 0
1 > 0, donde a equao f ( x ) = x tem no mximo uma soluo em x w , (( 2k + 1) )1 . k 1 1 1 1 5 5 Como f (( 2k + 2) ) = 0 < ln ((2k +1) ) e f 2k + > ln 2k + , 2 2 existe uma menor soluo de com uk f ( x ) = ln x
(ln x )' =
5 < uk < 2k + . Como f (uk ) = uk sen (uk ) = ln uk , donde 2 ln uk sen (uk ) = uk sen (uk ) = ln uk , temos sen (uk ) = . uk
( ( 2k + 2 ) )
ln uk 1 5 > = ( ln ) ' (uk ) Temos, para uk < y 2k + , f '( y ) sen y sen (uk ) = uk uk 2 (pois uk > ( 2 )
1
> 2 > e), donde f ( y ) > ln y , e logo uk a nica soluo de
1 1 1 5 1 > ln x em (( 2k + 2 ) ) , 2k + . Se 2k + y wk , f ( x) 2 2 1 1 1 1 1 f ( y ) f 2k + = 2k + > ln (( 2k + 1) ) > ln wk ln y 2 2 1 1 1 1 e 1 (de fato, ln (( 2k + 1) ) = ln 2k + < ln (( 2k + 1) ) = e ln 2k + 2 2
EUREKA! N23, 2006
41
1 1 8 2k + ; ln (( 2k +1) ) < eln 2k + segue de ln < ln < eln . 2 2 3 2 2 Assim, e solues de em yk uk so as nicas f ( x ) = ln x
1 1 1 5 2k + , 2k + , 2 2
para
todo
k ` .
Finalmente,
1
se
x ( 0,1) , f ( x ) > 0 > ln x
e,
para
x x f ( x) x sen1 x sen = > ln x, donde no h soluo de f ( x) = ln x em 6 2 e 1 1 1 1 < 2 < +, no caso 0, . Assim, x < 2 1 1 2 n=1 n k =0 k =0 ( k + 1) 1 2k + 2 0 < < 1. A resposta , portanto, { \ 0 < < 1}. 2) Calcular n 3 ...cos . n n n=1 m < , temos SOLUO: Observemos inicialmente que, para todo sen(mx) = senx Qm (cos x), onde Q0 = 0 e, para m 1, Qm um polinmio de grau
1 x , 2
temos
cos n cos n
cos
m 1 e coeficiente lder 2m1. Alm disso, o coeficiente constante de Qm 0 se m

par e igual a (1)k , se m = 2k + 1 , para todo k 0 . Isto pode ser provado a partir da identidade sen (( m + 1) x ) + sen (( m 1) x ) = 2sen ( mx ) cos x; temos ento Q0 ( y) = 0 , Q1 ( y) = 1 e Qm +1 ( y) = 2 yQm ( y) Qm 1 ( y), m 1. k Por outro lado, como sen(k) = 0 e sen 0 para todo k inteiro com m k 1 k m 1, temos que cos raiz de Qm ( y ), para 1 k m 1. Como Qm tem m k grau m 1, tem coeficiente lder 2m1 e os nmeros cos ,1 k m 1, so todos m m1 k distintos, temos Qm ( y) = 2m1 y cos , m 1. m k =1
EUREKA! N23, 2006
42
Em particular, o coeficiente constante de Qm ( y ) ( 2 ) 0,se m par k Assim, cos = ( 1)r . m 2 r , se m = 2r + 1, r ` k =1 2 n cos = cos = 1, a srie que Como n
m1
m 1
m 1 k cos . m k =1
queremos
calcular
vale
1 4 = . 1 5 r =0 2 1+ 4 _______________________________
2r
( 1)r
O leitor Joo Alexandre Jnior enviou uma soluo do problema No. 2 do artigo "Os 4 4 problemas do Visitante Matemtico", que pedia para calcular 44 . Como 44 = 4256 Joo Alexandre calculou manualmente, de forma sucessiva, 42 = 16, 44 = 162 = 256,
2
48 = 2562 = 65536, 416 = 655362 = 4294967296, 432 = ( 416 ) = 18446744073709551616,

464 = 432
( )
= 340282366920938463463374607431768211456, 4128 = 464
( )
=115792089237316195423570985008687907853269984665640564039457584007 913129639936 e, finalmente, 4256 = 4128
( )
= 1340780792994259709957402499820
5846127479365820592393377723561443721764030073546976801874298166903 427690031858186486050853753882811946569946433649006084096.
EUREKA! N23, 2006
43
SOLUES DE PROBLEMAS PROPOSTOS

Publicamos aqui algumas das respostas enviadas por nossos leitores.
Uma prova de mltipla escolha com n questes feita por k alunos. Uma 89) resposta correta na i-sima questo vale pi pontos, onde pi um inteiro positivo, para 1 i n. A nota de cada aluno a soma dos pontos correspondentes s questes que ele acertou. Aps a realizao a prova, foi observado que, mudando os pesos pi, as notas dos alunos podem estar em qualquer uma das k! possveis ordens (em que no h duas notas iguais). Dado n, qual o maior valor possvel de k?
SOLUO DE ZOROASTRO AZAMBUJA NETO (RIO DE JANEIRO RJ)
Vamos mostrar que o maior valor possvel de k n. De fato, fcil ver k pode ser igual a n: dada uma bijeo = {1, 2,..., n} {1, 2,..., n}, e supondo que, para 1 i n, o i-simo aluno acertou a i-sima questo e errou todas as outras, se atribuirmos peso pi = n + 1 (i) questo i para 1 i n, temos que o aluno de nmero 1 (i ) obteve a i-sima melhor nota, para 1 i n. Suponha agora que k alunos tenham feito k provas como no enunciado. Para cada i k , denotamos por v(i) {0,1}n o resultado da i-sima prova:
v(i) = (vi1 , vi 2 ,..., vin ), onde vij = 1 se o i-simo aluno acertou a j-sima questo, e vij = 0 caso contrrio. Se k > n, os vetores v(i),1 i k , so linearmente
dependentes, ou seja existem constantes ci ,1 i k , no todas nulas, tais que
c v(i) = 0. Assim, passando os termos com

i =1 i
ci negativo para o lado direito da a1 , a2 ,..., ar , b1 , b2 ,..., bs

com
igualdade,
obtemos
r
constantes
positivas
s
r , s 1, r + s k e
ai v ( (i ) ) = b j v ( ( j ) ) , onde
i =1 j =1
(1), (2),..., (r ), (1), (2),..., (s ) so os ndices i tais que ci 0 os ( j ) so tais que c ( j ) > 0 e os ( j ) so tais que c ( j ) < 0 .
Agora, se o peso da i-sima questo pi > 0, a nota da i-sima prova
n(v(i)) = vij p j .
j =1
EUREKA! N23, 2006
44
Sejam =
bj
j =1
a , b
i =1 i
bi
b
j =1
a e ai = r i .
j
a
i =1
Podemos supor sem perda de generalidade que 1 (seno trocamos os lados da igualdade). Como
s
b j v ( ( j) ) = ai v ( (i) ) , temos
j =1 i =1 r i i =1
b v ( ( j ) ) = a v ( (i) ) e, como n(v) depende linearmente de v, temos

j j =1 s
s r ( j ) )) = n b j v ( ( j ) ) = n a i v ( (i ) ) b j n (v ( j =1 i =1 j =1
=
i =1
ai
n (v ( (i )) ai n (v ( (i) )) ,
i =1
mas como
b j = ai = 1, temos que
j =1 i =1
b j n ( v ( ( j ) )) e
j =1
so respectivamente mdias ponderadas dos desigualdade
a n (v ( (i) )) n (v ( ( j ) )) e dos n (v ( (i) )) , e a

i i =1
claramente implica que no podemos ter n v ( (i) ) > n v ( ( j ) ) para todo i r e j s , e portanto as notas no podem ficar em qualquer ordem. Nota: Se k > n ento quaisquer vetores v1 , v2 ,..., vk \ n = {( x1 , x2 ,..., xn ); xi \ ,
acima
i n} so linearmente dependentes, isto , existem constantes ci \,1 i k

no todas nulas tais que
c v
i =1
i i
= c1v1 + ... + ck vk = 0. Podemos provar isso por
induo em n. O resultado claramente verdade se n = 1: se v1 , v2 \ no so ambos nulos, c1 = v2 e c2 = v1 so tais que c1v1 + c2 v2 = 0. identificar
\
m
Se m < n podemos
com{( x1, x2 ,..., xm ,0,0,...,0) \n ; xi \, i m}. Se vi = 0 para com

( vi = ( x1(i ) ,..., xni+)1 ) para cada i k , temos duas
algum i, podemos tomar ci = 1 e c j = 0, j i. Se k > n + 1, e v1 , v2 ,..., vk so vetores em possibilidades:

\
n+1
EUREKA! N23, 2006
45

( i) xni+)1 = 0 para todo i k . Nesse caso vi \ n para todo i k e o resultado segue imediatamente pela hiptese de induo.
( ii) xni+)1 0 para algum i. Podemos supor sem perda de generalidade que isso vale para i = k. (j x n +)1 Nesse caso temos v i = v j ( k ) v k \ n para todo j com 1 j k 1 e, como x n +1
(n + 1)-sima coordenada desses vetores se anula e k 1 > n, por hiptese de

induo, existem c1 ,..., c k 1 \ no todos nulos tais que
(j ( v j = v j a j vk , onde a j = xn+)1 xnk )1 , e portanto + k
c
j =1
k 1
v j = 0, mas
c (v
j j =1 k 1 j =1
k 1
a j vk ) = 0, donde
c j v j = 0, onde c j = c j para 1 j k 1 e ck = a j c j , o que prova o

j =1
resultado. 97) Seja p um primo mpar. Encontre todas as funes f : ] ] que satisfazem as seguintes condies: i)
ii)
Se m n(mod p) ento f (m) = f (n).
f (mn) = f (m) f (n) para quaisquer m, n ].
SOLUO DE EDEL PREZ CASTILLO (PINAR DEL RIO CUBA)
Temos
f (1) = f (1) f (1) , o que implica f (1) {0,1}. Se f (1) = 0, ento f (m) = f (m 1) = f (m) f (1) = 0 , para todo m, o que claramente uma soluo. Suponhamos ento que f (1) = 1. De f (0) = f (0) f (0), temos f (0) {0,1}. Se f (0) = 1, ento f (0) = f (0 m) = f (0) f (m) implica f (m) = 1, para todo m, o
que tambm uma soluo. Suponhamos agora que f (0) = 0. Se m mltiplo de p, ou seja, m 0(mod p), temos tambm f (m) = 0. Se m no mltiplo de p ento existe um inteiro x tal que m x 1(mod p) , o que implica 1 = f (1) = f ( m) f ( x), e logo f (m) {1,1}, pois f (m) e f ( x ) so inteiros.
EUREKA! N23, 2006
46
Se p / m e m resduo quadrtico mdulo p, i.e., se existe b inteiro com |
b 2 m(mod p ) ento f (m) = f (b) 2 = 1, pois f (b) {1,1}. Se m e n no so resduos quadrticos mdulo p ento m n resduo quadrtico mdulo p (veja [MS]), e logo f (mn) = f (m) f (n) = 1. Assim, f (m) = f (n), ou
seja, f toma o mesmo valor pertencente a {1, 1} em todos os inteiros que no so resduos quadrticos mdulo p. Assim, as funes f que satisfazem as condies do enunciado so: 1) f (n) = 0, n ] 2) f (n) = 1, n ] 3) f (n) = 0 se p| n e f (n) = 1 se p / n | 4) f (n) = 0 se p| n, f (n) = 1 se p / n e n resduo quadrtico mdulo p e | f (n) = 1 se n no resduo quadrtico mdulo p. Nota: A funo em 4) usualmente denotada pelo smbolo de Legendre
n f (n) = . Veja a referncia [MS]: Carlos G. Moreira e Nicolau Saldanha. p

Reciprocidade Quadrtica. Eureka! No. 15, pp. 27 30.
2 98) Seja (an ) n< uma seqncia tal que a1 > 2 e an +1 = an 2, n `.
a1 a12 4 1 Mostre que . = 2 n =1 a1 a2 ... an
SOLUO DE RODRIGO VILLARD MILET e MRCIO ASSAD COHEN (RIO DE JANEIRO RJ)
Faa a1 = x +
1 ( isso possvel pois a1 > 2 ). Podemos considerar, sem perda de x 1 generalidade, que x > 1 (se no for, troque x por ). Temos, por induo, que x
2n 1
n 1 n 1 1 + n 1 , pois x 2 + n 1 2 = x 2 + n . an = x x2 x2 x2 Veja que fcil calcular o produto dos 2 n 1 n 1 1 2 1 4 1 1 1 + n 1 = x 2 n . x x + x + 2 x + 4 ... x 2 x x x x x x2 1

EUREKA! N23, 2006
ai, Ento
pois temos
47
1 = que n=1 a1 a 2 ...a n n =1
x x2
n
x2 O legal que chegamos em uma soma telescpica: n n +1 N +1 2 N x2 x2 x2 = x n +1 N +1 . Para ` , a segunda parcela tende n 2 n =1 x 2 1 x2 1 x 1 x2 1 a 1 (pois x > 1), logo este ltimo somatrio igual a 1 1 1 1 =x 2 = . x x 1 x n =1 a1 a 2 ...a n 1 x2 1= 2 , portanto 2 x 1 x 1 o problema, pois
1 n n+1 2n 1 x2 x2 x =x 1 x . = x n +1 2n+1 1 x n=1 x x n =1 x 2n 1 x 2 1 1

n
Isso
finaliza
a1 = x + x=
2 a a1 4 1 x 2 a1 x + 1 = 0 x = 1 . 2 x 2 1 a1 a1 4 . . Isso d = 2 x
Como
>
1,
temos
2 a1 + a1 4
100) a) Um conjunto X ` dito impressionante se existe m ` tal que, para todo k ` , existem elementos de X, a1 < a2 < ... < ak , tais que
a j +1 a j m, j < k .
Determine se possvel particionar ` em um nmero finito de conjuntos, nenhum deles impressionante. b) Determine se possvel particionar ` em dois conjuntos A e B de modo que nem A nem B contm progresses aritmticas infinitas mas, para cada q `, A e B contm progresses aritmticas de q termos.
SOLUO DE JOS DE ALMEIDA PANTERA (RIO DE JANEIRO RJ)
No.
r ` = {1, 2,3,...} que, se ` = A1 A2 ... An ento existe j com 1 j r tal que A j impressionante.
Vamos provar, por induo em
Para r = 1 isto bvio. Suponha agora que ` = A1 A2 ... An An +1 , e que An +1 no impressionante. Ento existem intervalos arbitrariamente grandes contidos em ` \ Ar +1 , isto , existe uma seqncia infinita de inteiros positivos ( a j ) j< tal que
EUREKA! N23, 2006
48
a j +1 > a j + j, j `, e, para todo j ` e 1 r j , a j + s Ar +1 . Para cada j `, seja f j :{1, 2,..., j} {1, 2,..., r} tal que a j + s Af j ( s ) , para 1 s j.
Construiremos recursivamente g (1), g (2), g (3),... {1, 2,..., r} tais que, para todo
E De fato, dado m `, se j escolhemos g(m) com a propriedade acima para todo E h n possibilidades para o valor de f j m para esses infinitos j, podemos extrair E um subconjunto infinito desses j para os quais f j m tem sempre o mesmo valor, o E qual ser g m , por definio.
Considere agora a decomposio
m `, existem infinitos j m tais que f j ( s ) = g ( s ), para 1 s m.
E E E m < m, existem infinitos j m tais que f j ( s ) = g ( s ), para todo s < m. Como s
( )
onde = E 1 E 2 ... E n , A A A n E j g ( n) = j. Por hiptese de induo, q r tal que E q impressionante. A A Afirmamos que o conjunto Aq tambm impressionante. De fato, seja m tal que para todo k `, existem elementos b < b < ... < b de E q com b b m, i < k . A
`
1 2 k i +1 i
( )
( )
Para esse mesmo m, dado k `, escolhemos j bk tal que f j ( s ) = g ( s ), para
1 s bk . Como bi um elemento de E q para 1 i k , g (bi ) = q, para 1 i k . A Assim, f j (bi ) = g (bi ) = q, para 1 i k , ou seja, a j + bi Aq , para
impressionante. b) Sim. Temos
2k
1 i k . Como ( a j + bi +1 ) ( a j + bi ) = bi +1 bi m, i < k , conclumos que Aq

`
= A B, onde
A = {n ` 2 n < 22 k +1 , para algum inteiro k 0} e

+ + B = {n ` 22k 1 n < 22k 2 , para algum inteiro k 0} .
Temos que [0, +) \ A e [0, +) \ B contm intervalos arbitrariamente grandes, donde nem A nem B podem conter progresses aritmticas infinitas. Por outro lado, para cada q `, se k ` tal que 22 k q, A contm a progresso aritmtica da razo 1 e q termos {22 k , 2 2 k + 1,..., 2 2 k + q 1}, e B contm a progresso aritmtica da razo 1 e q termos {22 k +1 , 22 k +1 + 1,..., 22 k +1 + q 1}.
EUREKA! N23, 2006
49
102) Voc recebe x metros de arame para cercar um terreno na forma de um tringulo pitagrico (os lados so nmeros inteiros), com a condio de que a medida do cateto menor seja 24 metros. Qual dever ser a medida do cateto maior e o comprimento do arame, a fim de que a rea seja: a) mxima? b) mnima?
SOLUO DE JOS FABRICIO LIMA (JOO PESSOA PB)
Considere o tringulo abaixo: Temos: a 2 = b 2 + 242
a 2 b2 = 242 (a + b) (a b) = 26 32
a b
24
Faamos 26 32 como sendo um produto de 2 fatores x y tal que a + b = x e
a b = y. Resolvendo o sistema temos que: a =
x+ y x y e b= . 2 2
Como x + y e x y so ambos divisveis por 2, temos que x, y so nmeros pares pois a decomposio de 26 32 para x e y nmeros mpares impossvel.
x y > 24, logo x y > 48. 2 Portanto as decomposies x y tais que x y > 48 so dadas por:
Sendo b > 24 temos que
x = 25 32 e y = 2 ( x y = 286 )
x = 23 32 e y = 23 ( x y = 64 )
x = 2 4 32 e y = 22 ( x y = 140 ) x = 25 3 e y = 2 3 ( x y = 90 )
EUREKA! N23, 2006
50
Note que a rea do tringulo 12 b , sendo assim, para que a rea seja: a) Mxima: Basta que b seja o maior possvel, ou seja, a diferena x y seja a maior possvel. Devemos ter ento x = 25 32 = 288 e y = 2, donde a =
b=
x y = 143, e logo o comprimento da corda deve ser a + b + 24 = 312m. 2 x y 64 x + y 80 = = 32 e a = = = 40. 2 2 2 2
x+ y = 145 e 2
b) Mnima: Basta escolher o menor valor para x y, ou seja,
b=
Logo, o comprimento de corda :
x = a + b + 24 = 40 + 32 + 24 = 96m.
103) Sejam A e B matrizes 2 2 com elementos inteiros. Sabendo que A, A + B, A + 2B, A + 3B e A + 4B so invertveis e que os elementos das respectivas inversas tambm so todos inteiros, mostre que A + 5B tambm invertvel e que os elementos da sua inversa tambm so inteiros.
SOLUO DE ASDRBAL PAFNCIO SANTOS (BOTUCATU - SP)
Para cada t \ , seja f (t ) o determinante da matriz A + tB. Temos que f(t) uma funo polinomial de grau no mximo 2. Efetivamente, se
= ( a1 + ta2 )( d1 + td2 ) (b1 + tb2 )(c1 + tc2 ).
a A= 1 c1
b1 a2 e B= d1 c2
b2 a1 + ta2 , f (t ) = det + d2 c1 tc2
b1 + tb2 = d1 + td2
Se uma matriz C com elementos inteiros invertvel e os elementos de sua inversa so tambm inteiros, temos 1 = det I = det(C C 1 ) = det C det C 1 e, como
det C e det C 1 so inteiros, det C {1,1}.

Assim, f (t ) = det( A + tB ) {1,1}, para todo t {0,1, 2,3, 4}, e logo um dos valores 1 ou 1 igual a f(t) para pelo menos trs valores de t em {0, 1, 2, 3, 4}. Como f(t) um polinmio de grau no mximo 2, f(t) necessariamente constante igual a 1 ou 1, e logo, para todo t ] (e em particular para t = 5), A + tB tem
EUREKA! N23, 2006
51
elementos inteiros e determinante pertencente a { 1, 1}, e logo tem uma inversa com todos os elementos inteiros. 104) ABC um tringulo. Mostre que existe um nico ponto P de modo que:
( PA )2 + ( PB )2 + ( AB )2 = ( PB )2 + ( PC )2 + ( BC )2 = ( PC )2 + ( PA )2 + (CA)2
SOLUO DE FRANK DE CASTRO (SO PAULO SP)
Considere o tringulo A ' B ' C ' cujos lados paralelos aos lados do tringulo ABC e passam por A, B e C. Considere tambm o ponto P, ortocentro do tringulo A'B'C' (figura abaixo)
A'
P C
B' A
Provaremos que:
C'
( PA)2 + ( PB )2 + ( AB)2 = ( PB )2 + ( PC )2 + ( BC )2 P ortocentro de A ' B ' C ' 2 2 2 = ( PC ) + ( PA) + (CA)

Nesse caso o ponto procurado ser o ponto P e como o ortocentro do tringulo A'B'C' nico, segue diretamente a unicidade do ponto P. Utilizaremos vetores. Temos:
JJJ G JJJ G
(I) PA ' CB ( A ' P ) ( B C ) = 0 A ' B A ' C P B + P C = 0 Como o quadriltero A'BAC um paralelogramo temos A ' C = B A , ou A ' = C + B A (II). JJJ G JJJ G De (I) e (II) vem que PA ' CB (C + B A ) ( B C ) P B + P C = 0
C B C 2 + B2 B C A B + A C P B + P C = 0 .
EUREKA! N23, 2006
52
Sendo C B = B C , Vem que PA ' CB B2 P B A B = C 2 P C A C. Multiplicando a igualdade anterior por 2 e na seqncia somando P 2 + A2 a ambos os membros, segue que:
JJG J JJJ G
JJJ G
JJJ G
PA ' CB P2 + B2 2 P B + A2 2 A B + B2 = P 2 + C 2 2P C + A2 2 A C +
2 2 2 2
C2 ( P B) + ( A B) = ( P C ) + ( A C ) .
Finalmente, somando conclumos que:
JJG J JJJ G
2 2 2
( P + A )2 a
2
ambos os membros da ltima igualdade obtida

2 2 2 2
PA ' CB ( P A) + ( P B ) + ( A B ) = ( P C ) + ( P A) + ( A C )
2 2 2 2
( PA) + ( PB ) + ( AB ) = ( PC ) + ( PA) + (CA) .

racionando de forma anloga teremos:
JJJ G
PB ' CA ( PA) + ( PB) + ( AB) = ( PB) + ( PC) + ( BC ) , onde B ' = A + C B, e

2 2 2 2 2 2
JJG J
PC ' BA ( PB) + ( PC ) + ( BC) = ( PC) + ( PA) + (CA) , onde C ' = B + A C. Nessas condies, o ortocentro do tringulo A ' B ' C ' o ponto P procurado.
2 2 2 2 2 2
JJJ G
JJG J
Nota: Utilizamos:
( X Y ) ( Z W ) representando o produto escalar dos vetores YX e WZ . JJJ JJJG G ( X Y ) ( Z W ) = 0 YX WZ. JJJG JJJG X Y = ( X O ) (Y O) = OX OY onde o ponto O a origem do nosso plano.
X 2 = ( X O) ( X O) = OX OX = OX = (OX ) = ( XO ) .
2 2
JJG J
JJJG
JJJG JJJG JJJG 2
( X Y ) = ( X Y ) ( X Y ) = YX YX = YX
2
JJJ JJJ JJJ 2 JJJG 2 G G G
= XY .
105) O baricentro do tringulo ABC G. Denotamos por g a , gb , gc as distncias desde G aos lados a, b e c respectivamente. Seja r o raio da circunferncia inscrita. Prove que:
2r 2r 2r , gb , g c 3 3 3 g + gb + gc b) a 3 r
a) g a
EUREKA! N23, 2006
53
SOLUO DE CARLOS ALBERTO DA SILVA VICTOR (NILPOLIS RJ)

A
G ga B ha C
Observe que ha = 3 g a
1 a+b+c a ha ga = r. 2 3 a 1 a+b+c 1 a +b+c De forma anloga, temos: gb = r e gc = r. 3 3 b c a) como a < b + c a + b + c > 2a e 1 a +b+c 1 2a 2r ga = r g a > r = ; de forma anloga, temos: 3 3 a 3 a 2r 2r e gc > . gb > 3 3 2r Note que a igualdade g a = no ocorrer, pois caso contrrio, teramos: 3 1 a+b+c 2r a + b + c = 2a b + c = a e o tringulo no existiria. r = 3 3 a r a +b + c a +b + c a +b + c + + g a + gb + gc = 3 a b c r b a a c b c g a + gb + gc = 3 + + + + + + 3 a b c a c b 2 2 2 r logo g a + gb + gc (3 + 2 + 2 + 2 ) = 3r ou seja: 3 g a + gb + g c 3. r s = pr =
NNN
54
EUREKA! N23, 2006
106) Os polinmios
P0 ( x, y, z ), P ( x, y, z ), P2 ( x, y, z ),... so definidos por 1
e P0 ( x, y, z ) = 1 Pm+1 ( x, y , z ) = ( x + z )( y + z ) Pm ( x, y , z + 1) z 2 Pm ( x, y, z ), m 0. Mostre que os polinmios Pm ( x, y , z ), m ` so simtricos em x, y, z, i.e., P ( x, y, z) = P ( x, z, y) = P ( y, x, z) = P ( y, z, x) = P ( z, x, y) = P ( z, y, x), para m m m m m m quaisquer x, y, z.

SOLUO DE MARCOS FRANCISCO FERREIRA MARTINELLI (RIO DE JANEIRO RJ)
Provarei, por induo finita, o seguinte: I) Pn ( x, y , z ) = Pn ( x, z , y ) = Pn ( z , y , x ) = Pn ( y , x, z ) , n `.
II) ( z y ) Pn ( x, y , z ) + ( x + y ) Pn ( x, y + 1, z ) = ( x + z ) Pn ( x, y , z + 1) , n ` i) P ( x, y, z ) = xy + xz + yz = P ( x, z , y ) = P ( z , y, x ) = P ( y, x, z ). 1 1 1 1 E ainda ( z y ) P ( x, y , z ) + ( x + y ) P ( x, y + 1, z ) ( x + z ) P ( x, y , z1 ) = 1 1 1
= ( z y) + ( x + y) ( xy + xz + yz) + ( x + y)( x + z) ( x + z)( xy + xz + yz) = ( x + z)( x + y) =
= ( z y)( xy + xz + yz) +( x + y) x( y +1) + xz +( y +1) z ( x + z) xy + x( z +1) + y ( z +1) =

= ( z + x ) + ( xy + xz + yz ) ( x + z )( xy + xz + yz ) = 0.
Logo est provado que
( z y) P ( x, y, z) +( x + y) P ( x, y +1, z) = ( x + z) P ( x, y, z +1). 1 1 1
ii) Suponhamos que para n = m ( m`) temos:
( z y) Pm ( x, y, z ) + ( x + y ) Pm ( x, y +1, z ) ( x + z ) Pm ( x, y, z +1) = 0. Logo ( z y ) P +1 ( x, y, z ) + ( x + y) Pm+1 ( x, y +1, z ) ( x + z ) P +1 ( x, y, z +1) = m m 2 = ( z y ) ( x + z )( y + z ) Pm ( x , y , z + 1) z Pm ( x , y , z ) + 2 + ( x + y ) ( x + z )( y + z + 1) Pm ( x , y + 1, z + 1) z Pm ( x , y + 1, z )

( x + z ) ( x + z +1)( y + z +1) P ( x, y, z + 2) ( z +1) P ( x, y, z +1) = m m 2 = z (( z y ) Pm ( x, y, z + 1) + ( x + y ) Pm ( x, y + 1, z ) ( x + z ) Pm ( x, y, z + 1)) +
2
+( x + z)( y + z +1) (( z +1 y) P ( x, y, z +1) +( x + y) P ( x, y +1, z +1) ( x + z +1) P ( x, y, z +2)) = 0 m m m

(aqui usamos tambm a verso de (II) para n = m trocando z por z + 1). Isto prova (II) para n = m + 1.
EUREKA! N23, 2006
55
Supondo ainda para n = m ( m ` ) que
Pm ( x, y, z ) = Pm ( x, z, y ) = Pm ( z, y, x ) = Pm ( y, x, z ) , temos: Pm+1 ( x, y, z ) Pm+1 ( y, x, z ) = ( x + z )( y + z ) Pm ( x, y, z + 1) z Pm ( x, y, z )

2
( y + z )( x + z ) Pm ( y, x, z + 1) z 2 Pm ( y, x, z ) . Mas da hiptese de induo: Pm+1 ( x, y, z ) Pm+1 ( y, x, z ) = ( x + z )( y + z ) Pm ( x, y, z + 1) Pm ( y, x, z + 1) z 2 Pm ( x, y, z ) Pm ( y, x, z ) = 0 Pm+1 ( x, y, z ) = Pm+1 ( y, x, z ) ( x + z )( y + x ) Pm ( z, y, x + 1) x2 Pm ( z, y, x ) =

E, por hiptese de induo e (II) temos:
Pm+1 ( x, y, z ) Pm+1 ( z, y, x ) = ( x + z )( y + z ) Pm ( x, y, z + 1) z Pm ( x, y, z )
2
= ( x + z ) ( y + z ) Pm ( x, y, z + 1) ( y + x ) Pm ( z, y, x + 1) ( z x ) Pm ( z, y, x ) .
( y + z ) Pm ( x, y, z + 1) ( y + x ) Pm ( x + 1, y, z ) ( z x ) Pm ( x, y, z ) = ( y + z ) Pm ( y, x, z + 1) ( y + x ) Pm ( y, x + 1, z ) ( z x ) Pm ( y, x, z ) = 0 Pm+1 ( x, y, z ) = Pm+1 ( z, y, x ).
P +1 ( x, z, y) = P +1 ( z, x, y) = P +1 ( y, x, z) = P +1(x, y, z), c.q.d. m m m m
A partir da temos:
107) a) Dado um tringulo qualquer, prove que existe um crculo que passa pelos pontos mdios dos seus lados, pelos ps das suas alturas e pelos pontos mdios dos segmentos que unem o ortocentro aos vrtices do tringulo (o chamado "crculo dos nove pontos"). b) Prove que, se X o centro do crculo dos nove pontos de um tringulo, H o seu ortocentro, O seu circuncentro e G seu baricentro, ento OX =
JJJ G
3 JJJG 1 JJJG OG = OH . 2 2
EUREKA! N23, 2006
56
SOLUO DE ANDERSON TORRES e CARLOS ALBERTO DA SILVA VITOR (SO PAULO SP, NILPOLIS RJ)
A
TA HC H O MA HA
HB
M' H'
a) Seja H A o p altura por A, M A o ponto mdio de BC e TA o ponto mdio de AM. Aplicando uma homotetia de centro H e razo 2, o ponto TA levado no ponto A. Assim sendo, o que queremos provar que H ' e M ' (os pontos em que H A e M A so levados na homotetia) esto no circuncrculo de ABC. Temos que BM A H CM A M ' (de fato, LAL : BM A = CM A , BM A H = CM AM ', M A H = M A M ' ). Analogamente
HM AC M ' M A B. Com isto, BHC CM ' B pelo caso LLL (isto sai das
congruncias). Portanto BHC = BM ' C . BC mediatriz de HH ' (de fato HH A = H A H ' e HH A B = HH AC = 900 ). Assim, BHC BH ' C e assim BH ' C = BHC = BM ' C. Para finalizar, basta demonstrar que BHC + BAC = 180. E isto simples: BHC = H B HH C , e o quadriltero AH C HH B cclico
(AH C H + AH B H = 90 + 90 = 180 ).
Assim H B HH C + BAC = 180 BHC + BAC = 180. c.q.d. b) Se X o centro deste crculo, a homotetia leva X em O.
EUREKA! N23, 2006
57
Assim HX = XO, e assim OX =
OH . Pelo Lema abaixo, 2 JJJG JJJ G JJJ G JJJG JJJ G OH 3 OG = , c.q.d. OH = 3 OG , e fim: OX = 2 2
JJJG
JJJ G
JJJ G
JJJJ G
Lema: O baricentro, o circuncentro e o ortocentro de qualquer tringulo esto alinhados. Prova: Considere a figura abaixo: A
c O S A M
T b
R B
HA
AB = R (raio do crculo circunscrito). c = 2 R (da lei dos senos). sen C

Seja O o circuncentro de ABC. A reta OH intersecta AM em S. Observe que OM // AH A e que:
AT AT c = = cos A = 2 R cos A cos(90 C ) sen C sen C AH AS Do OBM OM = R cos A = e S o baricentro G do , logo MS = 2 2 ABC. JJJG JJJ G Assim, O, G e H esto alinhados, e OH = 3 OG. AT = c cos A AH =
EUREKA! N23, 2006
58
B
x D
PROBLEMAS PROPOSTOS
Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos problemas para os prximos nmeros.
108)
Sejam
1 i1 < i2 <...< ik n
Sk =
A1 , A2 ,..., An
conjuntos
finitos.
Para
1 k n,
seja
Ai1 Ai2 ... Aik , a soma dos nmeros de elementos das
intersees de k dos conjuntos Ai . Prove que: a) O nmero de elementos que pertencem a exatamente r dos conjuntos Ai
( 1)
k =r
kr
k S k , para 1 r n. r k 1 S k , para 1 r n. r 1
Mostre que
b) O nmero de elementos que pertencem a pelo menos r dos conjuntos Ai
( 1)
k =r
k r
AC 109) Na figura abaixo, AB = AC , B l = 100 e AD = BC .
l x = BCD racional quando expresso em graus.

A
110) Um conjunto finito de inteiros positivos chamado de Conjunto DS se cada elemento divide a soma dos elementos do conjunto. Prove que todo conjunto finito de inteiros positivos subconjunto de algum conjunto DS.
EUREKA! N23, 2006
59
111) Prove que existem infinitos mltiplos de 7 na seqncia (an ) abaixo:

a 1 = 1 9 9 9 , a n = a n- 1 + p ( n ) , " n 2
, onde p(n) o menor primo que divide n.
112) a) Determine todos os inteiros positivos n tais que existe uma matriz n n com todas as entradas pertencentes a { 1, 0, 1} tal que os 2n nmeros obtidos como somas dos elementos de suas linhas e de suas colunas so todos distintos. b) Para os inteiros positivos n determinados no item anterior, encontre o nmero de matrizes n n com a propriedade do enunciado.
Problema 109 proposto por Jos do Nascimento Pantoja Jnior de Ananindeua PA, problemas 110 e 111 propostos por Anderson Torres de So Paulo SP. Agradecemos tambm o envio das solues e a colaborao de: Diego Andrs de Barros Dymitri Cardoso Leo Geraldo Perlino Glauber Moreno Barbosa Kellem Corra Santos Macelo da Silva Mendes Marcos Francisco Ferreira Martinelli Michel Faleiros Martins Raphael Constant da Costa Rodrigo Cardaretti dos Nascimento Rodrigo Peres Barcellos Recife PE Recife PE Itapecerica da Serra SP Rio de Janeiro RJ Rio de Janeiro RJ Teresina PI Rio de Janeiro RJ Campinas SP Rio de Janeiro RJ Curitiba PR Rio de Janeiro RJ
9RFr VDELD
":0 p SULPR" (VWH Q~PHUR GH GtJLWRV p R

4
PDLRU SULPR FRQKHFLGR H p R 3ULPR GH 0HUVHQQH GHVFREHUWR
SHOR *,036 YHMD ZZZPHUVHQQHRUJ SDUD PDLV LQIRUPDo}HV LQFOXVLYH VREUH FRPR DMXGDU D DFKDU RXWURV SULPRV GH 0HUVHQQH (VWD GHVFREHUWD IRL IHLWD HP
EUREKA! N23, 2006
60
AGENDA OLMPICA
XXVIII OLIMPADA BRASILEIRA DE MATEMTICA NVEIS 1, 2 e 3 Primeira Fase Sbado, 10 de junho de 2006 Segunda Fase Sbado, 2 de setembro de 2006 Terceira Fase Sbado, 28 de outubro de 2006 (nveis 1, 2 e 3) Domingo, 29 de outubro de 2006 (nveis 2 e 3 - segundo dia de prova). NVEL UNIVERSITRIO Primeira Fase Sbado, 2 de setembro de 2006 Segunda Fase Sbado, 28 e Domingo, 29 de outubro de 2006
XII OLIMPADA DE MAIO 13 de maio de 2006
XVII OLIMPADA DE MATEMTICA DO CONE SUL 5 a 11 de maio de 2006 Escobar, Argentina
XLVII OLIMPADA INTERNACIONAL DE MATEMTICA 8 a 19 de julho de 2006 Ljubljana - Eslovnia.
XIII OLIMPADA INTERNACIONAL DE MATEMTICA UNIVERSITRIA 20 a 26 de julho de 2006 Odessa, Ucrnia
XXI OLIMPADA IBEROAMERICANA DE MATEMTICA 22 de setembro a 01 de outubro de 2006 Equador
EUREKA! N23, 2006
61
COORDENADORES REGIONAIS
Alberto Hassen Raad Amrico Lpez Glvez Amarsio da Silva Arajo Andreia Goldani Antonio Carlos Nogueira Ali Tahzibi Benedito Tadeu Vasconcelos Freire Carlos Alexandre Ribeiro Martins Carlos Frederico Borges Palmeira Claus Haetinger Cleonor Crescncio das Neves Cludio de Lima Vidal Edson Roberto Abe lio Mega der Luiz Pereira de Andrade Eudes Antonio da Costa Florncio Ferreira Guimares Filho Ivanilde Fernandes Saad Janice T. Reichert Joo Bencio de Melo Neto Joo Francisco Melo Libonati Jorge Costa Duarte Filho Jos Cloves Saraiva Jos Luiz Rosas Pinho Jos Vieira Alves Jos William Costa Krerley Oliveira Licio Hernandes Bezerra Luzinalva Miranda de Amorim Mrio Rocha Retamoso Marcelo Rufino de Oliveira Marcelo Mendes Newman Simes Ral Cintra de Negreiros Ribeiro Ronaldo Alves Garcia Rogrio da Silva Igncio Reginaldo de Lima Pereira Reinaldo Gen Ichiro Arakaki Ricardo Amorim Srgio Cludio Ramos Seme Guevara Neto Tadeu Ferreira Gomes Toms Menndez Rodrigues Turbio Jos Gomes dos Santos Valdenberg Arajo da Silva Valdeni Soliani Franco Vnia Cristina Silva Rodrigues Wagner Pereira Lopes (UFJF) (USP) (UFV) FACOS (UFU) (USP) (UFRN) (Univ. Tec. Fed. De Paran) (PUC-Rio) (UNIVATES) (UTAM) (UNESP) (Colgio Objetivo de Campinas) (Colgio Etapa) (UNESPAR/FECILCAM) (Univ. do Tocantins) (UFES) (UC. Dom Bosco) (UNOCHAPEC) (UFPI) (Grupo Educacional Ideal) (UFPB) (UFMA) (UFSC) (UFPB) (Instituto Pueri Domus) (UFAL) (UFSC) (UFBA) (UFRG) (Grupo Educacional Ideal) (Colgio Farias Brito, Pr-vestibular) (Cursinho CLQ Objetivo) (Colgio Anglo) (UFGO) (Col. Aplic. da UFPE) (Escola Tcnica Federal de Roraima) (LAC - Laboratrio Associado de Computao) (Centro Educacional Logos) (IM-UFRGS) (UFMG) (UEBA) (U. Federal de Rondnia) (UFPB) (U. Federal de Sergipe) (U. Estadual de Maring) (U. Metodista de SP) (CEFET GO) Juiz de Fora MG Ribeiro Preto SP Viosa MG Osrio RS Uberlndia MG So Carlos SP Natal RN pato Branco - PR Rio de Janeiro RJ Lajeado RS Manaus AM S.J. do Rio Preto SP Campinas SP So Paulo SP Campo Mouro PR Arraias TO Vitria ES Campo Grande MS Chapec SC Teresina PI Belm PA Joo Pessoa - PB So Luis MA Florianpolis SC Campina Grande PB Santo Andr SP Macei AL Florianpolis SC Salvador BA Rio Grande RS Belm PA Fortaleza CE Piracicaba SP Atibaia SP Goinia GO Recife PE Boa Vista RR SJ dos Campos SP Nova Iguau RJ Porto Alegre RS Belo Horizonte MG Juazeiro BA Porto Velho RO Joo Pessoa PB So Cristovo SE Maring PR S.B. do Campo SP Jata GO
EUREKA! N23, 2006
62

Eureka23 PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Eureka23 PDF

Hochgeladen von

Copyright:

Verfügbare Formate

CONTEDO

AOS LEITORES XIX OLIMPADA IBEROAMERICANA DE MATEMTICA Enunciados e Solues

Sociedade Brasileira de Matemtica

EUREKA! N23, 2006

Sociedade Brasileira de Matemtica

XIX OLIMPADA IBEROAMERICANA DE MATEMTICA

EUREKA! N23, 2006

Sociedade Brasileira de Matemtica

Sociedade Brasileira de Matemtica

OA2 r 2 na direo de A. (cqd). 2OA

Sociedade Brasileira de Matemtica

mnimo atingido para a =

Sociedade Brasileira de Matemtica

EUREKA! N23, 2006

Sociedade Brasileira de Matemtica

b2 c2 , e logo B '' A '' C '', o que resolve o problema. a2 c2

EUREKA! N23, 2006

Sociedade Brasileira de Matemtica

EUREKA! N23, 2006

Sociedade Brasileira de Matemtica

PESSOAS CONFIVEIS E NO-CONFIVEIS

Sociedade Brasileira de Matemtica

Sociedade Brasileira de Matemtica

Sociedade Brasileira de Matemtica

Sociedade Brasileira de Matemtica

1 e1 + e2 + ... + em = k 1 , e logo (ii) verdade.

EUREKA! N23, 2006

Sociedade Brasileira de Matemtica

EUREKA! N23, 2006

Sociedade Brasileira de Matemtica

(x7,y7) (x6,y6) (x5,y5) (x4,y4) (x3,y3) (x2,y2) (x1,y1)

Pela definio de limite, como lim

> 0, n0 tal que n > n0

y n +1 y n est entre a e a + . Geometricamente: x n +1 x n

EUREKA! N23, 2006

Sociedade Brasileira de Matemtica

(a ) ( x n0 +1 x n0 ) < y n0 +1 y n0 < (a + ) ( x n0 +1 x n0 ) (a ) ( x n0 + 2 x n0 +1 ) < y n0 + 2 y n0 +1 < (a + ) ( x n0 + 2 x n0 +1 )

Dividindo tudo por x n0 + k e fazendo k tender ao infinito, temos:

y n0 x n0 + k a < y n0 + k x n0 + k x n0 x n0 + k y n0 x n0 + k y n0 x n0 + k xn a1 0 xn +k 0 + a x n0 x n0 + k x < 1 n0 x n0 + k < 2

para k suficientemente grande. Logo: lim

EUREKA! N23, 2006

Sociedade Brasileira de Matemtica

e x n = n . Como {xn} estritamente crescente e tende ao

infinito, podemos aplicar o Teorema de Stolz : lim

Mostre que se lim a n = a ento lim

ak e x n = ln n e aplicando o Teorema de Stolz k =1 k

an +1 a 1 n+ lim kk = lim ln(n + 1)1 ln n = lim ln n k =1

Dado um nmero real p > 0, calcule lim

y n = 1 p + 2 p + ... + n p e x n = n p +1 que estritamente

Sociedade Brasileira de Matemtica

crescente e tende ao infinito. Logo podemos aplicar o Teorema de Stolz:

Problema Resolvido III

n (1 na n ) =1 ln n n . Para isso, devemos 1 / an

Soluo: a) Queremos usar o Teorema de Stolz em lim

0 < a 2 = a1 (1 a1 ) < a1 < 1 pois 0 < a1 < 1

0 < ai + 2 = ai +1 (1 ai +1 ) < ai +1 < 1 , pois 0 < ai +1 < 1

Sociedade Brasileira de Matemtica

Como a n estritamente decrescente e limitada, ela converge. Logo a = lim a n e:

a = a (1 a ) a = 0 . Aplicando o Teorema de Stolz:

a [a (1 an ) ] a a a 2 (1 an ) ( n + 1) n = lim n n +1 = lim n n = lim n = 1 1 an an +1 an [an (1 an ) ] an 2 an +1 an

= lim(1 an ) = 1. b) Aplicando um truque algbrico:

Sociedade Brasileira de Matemtica

3 Para uma seqncia de termos positivos {a n } mostre que se lim

que vale por bunching e xyz UHVSHFWLYDPHQWH