Desigualdades Cl assicas

M arcio Nascimento da Silva 29 de maio de 2009

Resumo As desigualdades s ao de extrema import ancia nas ci encias. Sua utiliza ca o vai desde a estimativa de uma grandeza com um certo erro pr e-denido, passando por problemas de olimp adas de Matem atica at e a demonstra ca o de grandes teoremas. O presente trabalho trata de algumas desigualdades que s ao de grande uso na demonstra ca o de resultados na matem atica, sendo, de certa forma, um trabalho bastante t ecnico.

Palavras-Chave: desigualdades, H older, Cauchy.

M edias Artim etica e Geom etrica

A(x, y ) = x+y 2

A m edia aritm etica de dois n umeros n ao negativos x, y e denida por

j a a m edia geom etrica de tais n umeros e dada por G(x, y ) = xy Um dos resultados mais utilizados tanto na demonstra c ao de alguns teoremas, como na demonstra c ao de outras igualdades e o seguinte Teorema 1.1 Se x, y s ao n umeros n ao negativos, ent ao a m edia geom etrica deles n ao e maior que sua m edia artim etica. Ocorre igualdade das m edias se, e somente se, x = y . Prova: Devemos mostrar que G(x, y ) A(x, y ). Sendo x, y n ao negativos, podemos supor x = a2 e y = b2 . Da , o que temos a mostrar e ab a2 + b2 2 (1)

Considere o n umero n ao negativo (a b)2 . Ent ao (a b)2 0 a2 + b2 2ab 0 a2 + b2 2ab x+y a2 + b2 ab xy 2 2

Sendo (a b)2 0 uma senten ca verdadeira, segue que (1) tamb em o e. Al em disso, se x = y , temos: x=y a2 = b2 a = b (a b)2 = 0 a2 + b2 2ab = 0 x+y a2 + b2 = ab = xy 2 2 1

Vejamos uma prova geom etrica para o mesmo resultado. Considere a reta y = x e os pontos O(0, 0), P (c, 0), Q(0, c), T (d, d), R(c, d), S (c, c) como mostra a Figura 1.

y=x S T

Q d

R c

P O d c

Figura 1: Prova geom etrica para a Desigualdade G(x, y ) A(x, y ). Claramente, a area do ret angulo OP RQ e estritamente menor do que a soma das areas dos tri angulos OP S e OQT , ou seja: c2 d2 cd < + 2 2 Perceba que quando aumentamos o tri angulo OQT de modo que T coincida com S , teremos area(OP RS ) = area(OP S ) + area(OQT ) isto e, quando c = d, obtemos c2 d2 + 2 2 Nosso pr oximo passo e generalizar a desigualdade entre as m edias aritm etica e geom etrica para n n umeros n ao negativos. Denamos, pois, as m edias nesses casos. Sejam x1 , x2 , . . . , xn , n n umeros n ao negativos. A m edia aritm etica de tais n umeros e dada por cd = A(x1 , x2 , . . . , xn ) = e a m edia geom etrica e G(x1 , x2 , . . . , xn ) = x1 + x2 + . . . + xn n n x1 .x2 . .xn

Para vericar que G(x1 , x2 , . . . , xn ) A(x1 , x2 , . . . , xn ), precisaremos do seguinte resultado. Lema 1.1 Se x1 .x2 . .xn = 1 ent ao x1 + x2 + . . . + xn n. Prova: Provemos por indu c ao, iniciando com o caso n = 2. Mostremos que x1 .x2 = 1 = x1 + x2 2 Se x1 .x2 = 1, temos dois casos a considerar: ou x1 = x2 = 1 ou x1 = 1, x2 = 1

Se x1 = x2 = 1, ent ao, obviamente, x1 + x2 = 2 2. Se x1 = 1, x2 = 1 ent ao devemos ter x1 < 1 e x2 > 1 (oux1 > 1 e x2 < 1) . De fato, se ambos fossem maiores que 1, o produto seria maior que 1. Se ambos fossem menores que 1, o produto seria menor que 1. Assim, temos: 2

x1 > 1 = x1 1 > 0 x2 < 1 = 1 x2 > 0 e portanto (x1 1)(1 x2 ) > 0 Por outro lado (x1 1)(1 x2 ) = x1 + x2 x1 .x2 1 e assim x1 + x2 = x1 x2 + 1 + (x1 1)(1 x2 ) > x1 x2 + 1 = 1 + 1 = 2 e est a provado que x1 .x2 = 1 = x1 + x2 2 ocorrendo igualdade somente quando x1 = x2 = 1. Passemos agora ` a hip otese de indu c ao, isto e, vamos supor x1 .x2 . .xk = 1 = x1 + x2 + . . . + xk k e mostrar que x1 .x2 . .xk .xk+1 = 1 = x1 + x2 + . . . + xk + xk+1 k + 1 Novamente, separemos em dois casos: (i) Os termos xi s ao todos iguais e portanto iguais a 1; (ii) Os termos n ao s ao todos iguais. No caso (i), sendo x1 = x2 = . . . = xk = xk+1 = 1, temos obviamente x1 + x2 + . . . + xk + xk+1 = k + 1 k + 1. Consideremos, ent ao, o caso em que os termos xi n ao s ao todos iguais. Para que o produto de tais n umeros seja exatamente 1, e necess ario que tenhamos termos menores que 1 e termos maiores que 1. De fato, se todos fossem maiores que 1, o produto seria maior que 1. Se todos fossem menores que 1, o produto seria menor que 1. Vamos supor x1 < 1 e xk+1 > 1. Ent ao x1 1 < 0 e 1 xk+1 < 0, sendo o produto (x1 1)(1 xk+1 ) positivo. Al em disso, fazendo y1 = x1 .xk+1 , temos: x1 .x2 . .xk .xk+1 = 1 (x1 .xk+1 ).x2 . .xk = 1 (y1 ).x2 . .xk = 1 e pela hip otese de indu c ao, se o produto de k termos e igual a 1, ent ao sua soma e maior do que ou igual a k . Em s mbolos: (y1 ).x2 . .xk = 1 = (y1 ) + x2 + + xk k Por outro lado, desenvolvendo a soma x1 + x2 + . . . + xk+1 , temos: x1 + x2 + . . . + xk + xk+1 = = = = (y1 + x2 + . . . + xk ) + xk+1 + x1 y1 k + xk+1 + x1 y1 = k + 1 1 + xk+1 + x1 y1 k + 1 1 + xk+1 + x1 (x1 .xk+1 ) k + 1 + xk+1 (1 x1 ) + (x1 1) k + 1 + (x1 1)(1 xk+1 ) > k + 1

Agora passemos a generaliza c ao do Teorema 1.1.

Teorema 1.2 A m edia geom etrica de n n umeros n ao negativos n ao e maior que a sua m edia aritm etica. Prova: Devemos mostrar que, se x1 , x2 , . . . , xn s ao n umeros n ao negativos, ent ao: n Se g = n x1 .x2 . .xn x1 + x2 + . . . + xn n xn x1 x2 . . . g g g

x1 .x2 . .xn . Ent ao n n x1 .x2 . .xn x1 .x2 . .xn = = 1= n g.g. .g g x1 x2 xn . . . =1 g g g

e portanto

Pelo Lema 1.1, x2 xn x1 + + ... + n g g g 1 (x1 + x2 + . . . + xn ) n g x1 + x2 + . . . + xn n.g x1 + x2 + . . . + xn g n x1 + x2 + . . . + xn g n x1 + x2 + . . . + xn n x1 .x2 . .xn n

Desigualdade de Cauchy
(a2 + b2 )(c2 + d2 ) (ac + bd)2

Sejam a, b, c, d R. Ent ao

Para demonstrar tal resultado, vamos desenvolver o lado esquerdo at e que nalizemos com a desigualdade acima. Temos: (a2 + b2 )(c2 + d2 ) = a2 c2 + b2 d2 + a2 d2 + b2 c2 = (ac)2 + 2(ac)(bd) + (bd)2 + (ad)2 2(ad)(bc) + (bc)2 = (ac + bd)2 + (ad bc)2 (ac + bd)2 a desigualdade vem do fato de (ad bc)2 0. Vejamos uma prova geom etrica para tal desigualdade. Considere a Figura 2. Utilizando a f ormula para a dist ancia entre dois pontos, temos: d(O, P ) = d(O, Q) = d(P, Q) = c2 + d2 a2 + b2

(a c)2 + (b d)2

b O c

Q a

Figura 2: Interpreta c ao geom etrica para a Desigualdade de Cauchy. Pela lei dos cossenos, temos: d(P, Q)2 = d(O, P )2 + d(O, Q)2 2.d(O, P ).d(O, Q). cos = (a c)2 + (b d)2 = (c2 + d2 ) + (a2 + b2 ) 2. cos = cos = cos2 = (c2 + d2 )(a2 + b2 ). cos

(a c)2 + (b d)2 (a2 + b2 ) (c2 + d2 ) 2. ac + bd (c2 + d2 )(a2 + b2 ) (ac + bd)2 (c2 + d2 )(a2 + b2 ) (c2 + d2 )(a2 + b2 )

Como cos2 1, segue que (ac + bd)2 1 (c2 + d2 )(a2 + b2 ) (ac + bd)2 (c2 + d2 )(a2 + b2 ) Observe que ocorre igualdade se os pontos P, Q, O, s ao colineares. A desigualdade de Cauchy pode ser generalizada. Teorema 2.1 (Desigualdade de Cauchy) Dados a1 , a2 , . . . , an e b1 , b2 , . . . , bn 2n n umeros reais, temos
2 2 2 2 2 2 (a2 1 + a2 + . . . + an )(b1 + b2 + . . . + bn ) (a1 b1 + a2 b2 + . . . + an bn )

Desigualdade de H older

Podemos obter uma forma ainda mais geral para o Teorema 2.1: Teorema 3.1 (Desigualdade de H older) Sejam a1 , a2 , . . . , an , b1 , b2 , . . . , bn n umeros n ao ne1 1 gativos. Se p, q s ao racionais tais que + = 1, ent ao p q
p p (ap 1 + a2 + . . . + an ) 1/p q q . (bq 1 + b2 + . . . + bn ) 1/q

a1 b1 + a2 b2 + . . . + an bn

Para demonstrar tal desigualdade, vamos utilizar o seguinte resultado auxiliar.

Lema 3.1 Seam p, q Q e a, b 0. Ent ao ap bq + ab p q Agora passemos a prova do Teorema 3.1. Sejam p, q Q tais que a= b= Pelo Lema 3.1, temos ap bq a1 .b1 1 1 p + q q 1 /p p p q 1/q + . . . + an ) q (b1 + . . . + bn ) (a1 + . . . + an ) (bq 1 + . . . + bn ) Em seguida, denindo a2 a= p 1/p (a1 + . . . + ap n) b2 b= q 1/q (b1 + . . . + bq n) Tamb em pelo Lema 3.1, temos p (ap 1 ap bq a2 .b2 2 2 + p q q 1/q p p 1/p q p (ap + . . . + a ) q ( b + . . . + b ) n n (a1 + . . . + an ) (b1 + . . . + bq 1 1 n) Enm, podemos denir ak a= p 1/p (a1 + . . . + ap n) bk b= q 1/q (b1 + . . . + bq n) e pelo Lema 3.1, teremos ap bq ak .bk k k p (2) p + q 1/p q 1/q p ) + . . . + an ) q (b1 + . . . + bq n (a1 + . . . + an ) (b1 + . . . + bq n) para todo k {1, 2, . . . , n}. Fazendo o somat orio das desigualdades como em (2), com k {1, 2, . . . , n}, teremos: p (ap 1
q p ap bq a1 .b1 + . . . + an .bn 1 + . . . + bn 1 + . . . + an p p p + q 1/p q 1/q ) p (a1 + . . . + an ) q (b1 + . . . + bq n (a1 + . . . + ap (b1 + . . . + bq n) n) 1 1 a1 .b1 + . . . + an .bn + p 1/p q 1/q p q (a + . . . + ap (b + . . . + bq n) n) 1 1

1 1 + = 1 e dena p q

a1 (ap 1 (bq 1 + . . . + ap n) b1 + . . . + bq n)
1/q 1/p

a1 .b1 + . . . + an .bn
p (ap 1 + . . . + an ) 1/p 1/p q (bq 1 + . . . + bn ) 1/q 1/q q (bq 1 + . . . + bn )

p (ap 1 + . . . + an )

a1 .b1 + . . . + an .bn

Refer encias
[1] BECKENBACH, Edwin. BELLMAN, Richard. An Introduction to Inequalities. Yale University. New York, 1961. [2] KOROVKIN, P. P. Desigualdades. Tradu c ao para o Espanhol, Editorial Mir, 1976.