A desigualdade de Jensen

Emanuel Carneiro - emanuelc@baydenet.com.br 25 de maro de 2004 c

Preliminares de Clculo a

Conheceremos neste cap tulo uma das mais poderosas armas para o combate aos problemas de olimp ada: a desigualdade de Jensen. Para compreender esta desigualdade e saber caracterizar suas hipteses o leitor precisar de um prvio o a e conhecimento de clculo. Apenas algumas noes topolgicas (conjuntos abera co o tos, fechados, compactos, ...), funes cont co nuas, limites e derivadas. Principalmente saber derivar qualquer funo dada, e para isso necessrio treino ca e a exaustivo da regra da cadeia. E a derivao que vai nos indicar quando e como ca usar a desigualdade de Jensen. Se voc no sabe nada de clculo, no se desese a a a pere, pea a um amigo para lhe dar umas dicas bsicas e tente ler as prximas c a o pginas. Garanto que o seu esforo ser recompensado. a c a Seja f : (a, b) R uma funo diferencivel. Um ponto t (a, b) dito ser um ca a e mximo local de f (resp. m a nimo local de f ) se f (t) f (x) (resp. f (t) f (x)) para qualquer x em um intervalo aberto contendo t. Um ponto t dito ser um extremo local de f se um ponto de mximo ou e e a m nimo local. Podemos encontrar os extremos de f pela caracterizao abaixo: ca Proposio 1. Se t um extremo local de f , ento f (t) = 0. ca e a Podemos tambm lembrar como a primeira derivada pode nos dar informaes e co sobre a funo f . ca Proposio 2. Examinando o sinal de f (x) podemos dizer que: ca (i) f (x) > 0 em (a, b) f crescente em (a, b); e (ii) f (x) 0 em (a, b) f no-decrescente em (a, b); e a (iii) f (x) < 0 em (a, b) f decrescente em (a, b); e (iv) f (x) 0 em (a, b) f no-crescente em (a, b); e a Acho que agora estamos aptos a conhecer a desigualdade de Jensen. No cap tulo Aplicaes do clculo `s desigualdades apresentaremos outras formas co a a de usar as tcnicas do clculo para abordar desigualdades. e a

A desigualdade de Jensen

Segue abaixo a verso mais simples e mais utilizada desta desigualdade. a Teorema 1 (Desigualdade de Jensen). Seja f : (a, b) R duas vezes diferencivel. Se f (x) 0 (funo convexa) em todo o intervalo (a, b) ento, a ca a para quaisquer x1 , x2 , ..., xn (a, b) vale: f (x1 ) + f (x2 ) + ... + f (xn ) f n x1 + x2 + ... + xn n

Se, por outro lado, f (x) 0 (funo cncava) em todo o intervalo (a, b), ca o valer: a f (x1 ) + f (x2 ) + ... + f (xn ) x1 + x2 + ... + xn f n n Prova: Vamos fazer a prova para o primeiro caso, onde f 0. A demosntrao para o segundo caso anloga e ser deixada como exerc ca e a a cio. A prova ser por induo sobre n. O caso n = 1 no oferece resistncia. Suponha a ca a e ento que a desigualdade valha para quaisquer n 1 reais no intervalo (a, b). a Faamos ento o passo indutivo para n. Inicialmente xe x1 , x2 , ..., xn1 e chame c a xn = x. Faamos x1 + x2 + ... + xn1 = l e f (x1 ) + f (x2 ) + ... + f (xn1 ) = k. c Queremos provar que: k + f (x) f n Dena ento a funo: a ca g(x) = Derivando obtemos: g (x) = k + f (x) f n f (x) 1 f n n l+x n l+x n l+x n para qualquer x (a, b)

l Se x = l+x x = n1 teremos g (x) = 0. Usando agora que f noe a n decrescente em (a, b) (lembre-se que estamos supondo f > 0) podemos inferir l l que se x < n1 teremos g (x) 0 e se x > n1 teremos g (x) 0. Usando l e nimo nossos conhecimentos de clculo, conclu a mos que x = n1 um ponto de m global para g(x) no intervalo (a, b). Da segue que:

g(x) g pois:

l n1

(n 1)f k = n n l n1

l n1

k f n1

por hiptese de induo. As condies de igualdade dependem da funo f . o ca co ca No caso mais comum temos f > 0 estritamente no intervalo a, b. Nesse caso, pela demostrao acima podemos concluir que a igualdade s ocorrer ca o a 2

se x1 = x2 = ... = xn . Obs: Podemos aplicar a desigualdade de Jensen tambm em intervalos innie tos, desde que estes sejam abertos e que a funo f seja convexa ou cncava em ca o todo o intervalo.

Teorema 2 (Desigualdade de Jensen - generalizada). Seja f : (a, b) R uma funo duas vezes diferencivel. Sejam x1 , x2 , ..., xn (a, b) e a1 , a2 , ..., an ca a reais quaisquer cuja soma 1. Se f 0 em (a, b) temos: e a1 f (x1 ) + a2 f (x2 ) + ... + an f (xn ) f (a1 x1 + a2 x2 + ... + an xn ) Se, por outro lado, tivermos f 0 em (a, b) a desigualdade mudar de sinal: a a1 f (x1 ) + a2 f (x2 ) + ... + an f (xn ) f (a1 x1 + a2 x2 + ... + an xn ) Prova: A demonstrao da generalizao segue as mesmas idias da prova ca ca e apresentada acima e deixada como exerc e cio. Volto a salientar que, na maioria dos casos, usaremos a desiguladade em sua verso mais simples, como veremos a seguir nos exerc a cios.

Exerc cios Resolvidos

Exemplo 3.1 ( India/95). Sejam x1 , x2 , ..., xn reais positivos cuja soma 1. e Prove que: x x2 xn n 1 + + ... + n1 1 x1 1 x2 1 xn Soluo: Olhe para a funo f (x) = ca ca Derivando-a duas vezes obtemos: f (x) = (1 x) 2 +
3

x 1x

denida no intervalo (0, 1).

5 3x (1 x) 2 0 4

Logo, sendo f convexa no intervalo (0, 1), podemos aplicar a desigualdade de Jensen:
n

f (xi )
i=1

n Temos portanto que:

n

x1 + x2 + ... + xn n

f (xi ) n.f
i=1

1 n

n n1

Sentiram o poder?

Exerc cios Propostos

3

Problema 1

Sejam a, b, c reais positivos tais que a + b + c = 1. Calcule o m nimo valor para: a+

Problema 2

1 a

10

+ b+

1 b

10

+ c+

1 c

10

Sejam , , os ngulos de um tringulo. Prove que: a a (i) sen + sen + sen (ii) cos A + cos B + cos C (iii) sen .sen .sen 2 2 2
1 8 3 3 2 3 2

(iv) cotg + cotg + cotg

Cuidado: Nem todas as funes acima so cncavas ou convexas em todo o co a o dom nio.
Problema 3

Derive a desigualdade M A M G: a1 + a2 + ... + an n a1 a2 ...an n onde os ai so reais no-negativos, a partir da desigualdade de Jensen. a a
Problema 4

(USAMO/74) Sejam a, b, c reais positivos, prove que: aa bb cc (abc)

Problema 5
a+b+c 3

(Banco IMO/00) Sejam a1 , a2 , ..., an reais positivos tais que a1 +a2 +...+an < 1. Prove que: 1 a1 a2 ...an [1 (a1 + a2 + ... + an )] n+1 (a1 + a2 + ... + an )(1 a1 )(1 a2 )...(1 an ) n
Problema 6

Sejam a1 , a2 , ..., an reais positivos, cada um dos quais maior ou igual a 1. e Prove que: 1 1 n 1 + + ... + n a a ...a a1 + 1 a2 + 1 an + 1 1 2 n+1
Problema 7

Se f uma funo convexa e x1 , x2 , x3 esto no dom e ca a nio de f , ento: a f (x1 )+f (x2 )+f (x3 )+f x1 + x2 + x3 3 4 f 3 x1 + x2 2 +f x1 + x3 2 +f x2 + x3 2

Problema 8

(Vietn/98) Sejam n 2 e x1 , x2 , ..., xn reais positivos que satisfazem: a 1 1 1 1 + + ... + = x1 + 1998 x2 + 1998 xn + 1998 1998 Prove que: x1 x2 ...xn 1998 n1 Obs: Novamente, cuidado com a no-convexidade em todo o dom a nio.
Problema 9

(IMO/01) Prove que, para quaisquer reais positivos a, b, c temos: b c a + + 1 2 + 8ac 2 + 8ab + 8bc b c

a2