Desigualdades Clssicas a

Mrcio Nascimento da Silva a 29 de maio de 2009

Resumo As desigualdades so de extrema importncia nas cincias. Sua utilizaao vai desde a estia a e c mativa de uma grandeza com um certo erro pr-denido, passando por problemas de olimp e adas de Matemtica at a demonstraao de grandes teoremas. O presente trabalho trata de algumas a e c desigualdades que so de grande uso na demonstraao de resultados na matemtica, sendo, de a c a certa forma, um trabalho bastante tcnico. e

Palavras-Chave: desigualdades, Hlder, Cauchy. o

Mdias Artimtica e Geomtrica e e e

A(x, y) = x+y 2

A mdia aritmtica de dois nmeros no negativos x, y denida por e e u a e

j a mdia geomtrica de tais nmeros dada por a e e u e G(x, y) = xy Um dos resultados mais utilizados tanto na demonstrao de alguns teoremas, como na deca monstrao de outras igualdades o seguinte ca e Teorema 1.1 Se x, y so nmeros no negativos, ento a mdia geomtrica deles no maior a u a a e e a e que sua mdia artimtica. Ocorre igualdade das mdias se, e somente se, x = y. e e e Prova: Devemos mostrar que G(x, y) A(x, y). Sendo x, y no negativos, podemos supor x = a2 e y = b2 . Da o que temos a mostrar a , e ab a2 + b2 2 (1)

Considere o nmero no negativo (a b)2 . Ento u a a (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 sentena verdadeira, segue que (1) tambm o . Alm disso, se x = y, c e e e 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 geomtrica para o mesmo resultado. Considere a reta y = x e os pontos e 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 geomtrica para a Desigualdade G(x, y) A(x, y). e Claramente, a rea do retngulo OP RQ estritamente menor do que a soma das reas dos a a e a tringulos OP S e OQT , ou seja: a c2 d2 cd < + 2 2 Perceba que quando aumentamos o tringulo OQT de modo que T coincida com S, teremos a area(OP RS) = area(OP S) + area(OQT ) isto , quando c = d, obtemos e c2 d2 + 2 2 Nosso prximo passo generalizar a desigualdade entre as mdias aritmtica e geomtrica para o e e e e n nmeros no negativos. Denamos, pois, as mdias nesses casos. u a e Sejam x1 , x2 , . . . , xn , n nmeros no negativos. A mdia aritmtica de tais nmeros dada por u a e e u e cd = A(x1 , x2 , . . . , xn ) = e a mdia geomtrica e e 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 ento x1 + x2 + . . . + xn n. a Prova: Provemos por induo, iniciando com o caso n = 2. Mostremos que ca 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, ento, obviamente, x1 + x2 = 2 2. Se x1 = 1, x2 = 1 ento devemos ter a a 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 provado que a x1 .x2 = 1 = x1 + x2 2 ocorrendo igualdade somente quando x1 = x2 = 1. Passemos agora ` hiptese de induo, isto , vamos supor a o ca e 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 so todos iguais e portanto iguais a 1; a (ii) Os termos no so todos iguais. a a No caso (i), sendo x1 = x2 = . . . = xk = xk+1 = 1, temos obviamente x1 +x2 +. . .+xk +xk+1 = k + 1 k + 1. Consideremos, ento, o caso em que os termos xi no so todos iguais. Para que a a a o produto de tais nmeros seja exatamente 1, necessrio que tenhamos termos menores que 1 e u e a 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. Ento a x1 1 < 0 e 1 xk+1 < 0, sendo o produto (x1 1)(1 xk+1 ) positivo. Alm disso, fazendo e y1 = x1 .xk+1 , temos: x1 .x2 . .xk .xk+1 = 1 (x1 .xk+1 ).x2 . .xk = 1 (y1 ).x2 . .xk = 1 e pela hiptese de induo, se o produto de k termos igual a 1, ento sua soma maior do que o ca e a e 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 generalizao do Teorema 1.1. ca

Teorema 1.2 A mdia geomtrica de n nmeros no negativos no maior que a sua mdia e e u a a e e aritmtica. e Prova: Devemos mostrar que, se x1 , x2 , . . . , xn so nmeros no negativos, ento: a u a a n Se g = n x1 .x2 . .xn x1 + x2 + . . . + xn n xn x1 x2 . . . g g g

x1 .x2 . .xn . Ento a 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. Ento a

Para demonstrar tal resultado, vamos desenvolver o lado esquerdo at que nalizemos com a e 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 geomtrica para tal desie gualdade. Considere a Figura 2. Utilizando a frmula para a distncia entre dois pontos, temos: o a 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: Interpretao geomtrica para a Desigualdade de Cauchy. ca e 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, so colineares. a A desigualdade de Cauchy pode ser generalizada. Teorema 2.1 (Desigualdade de Cauchy) Dados a1 , a2 , . . . , an e b1 , b2 , . . . , bn 2n nmeros reu ais, temos (a2 + a2 + . . . + a2 )(b2 + b2 + . . . + b2 ) (a1 b1 + a2 b2 + . . . + an bn )2 1 2 n 1 2 n

Desigualdade de Hlder o

Podemos obter uma forma ainda mais geral para o Teorema 2.1: Teorema 3.1 (Desigualdade de Hlder) Sejam a1 , a2 , . . . , an , b1 , b2 , . . . , bn nmeros no neo u a 1 1 gativos. Se p, q so racionais tais que + = 1, ento a a p q (ap + ap + . . . + ap ) n 1 2
1/p

. (bq + bq + . . . + bq ) n 1 2

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. Ento a 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/q p p 1/p q + . . . + an ) q (b1 + . . . + bn ) (a1 + . . . + an ) (b1 + . . . + bq ) n Em seguida, denindo a2 a= p 1/p (a1 + . . . + ap ) n b2 b= q 1/q (b1 + . . . + bq ) n Tambm pelo Lema 3.1, temos e p (ap 1 ap bq a2 .b2 2 2 + p 1/q p 1/p q p (ap + . . . + ap ) q (bq + . . . + bq ) 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/q p 1/p q + . . . + an ) q (b1 + . . . + bq ) n (a1 + . . . + an ) (b1 + . . . + bq ) n para todo k {1, 2, . . . , n}. Fazendo o somatrio das desigualdades como em (2), com k o {1, 2, . . . , n}, teremos: p (ap 1 ap + . . . + ap bq + . . . + bq a1 .b1 + . . . + an .bn n n 1 1 p p p + 1/p 1/q p (a1 + . . . + an ) q (bq + . . . + bq ) n (a1 + . . . + ap ) (bq + . . . + bq ) 1 n n 1 1 1 a1 .b1 + . . . + an .bn + p 1/p 1/q p q (a + . . . + ap ) (bq + . . . + 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 (ap + . . . + ap ) n 1

1/p 1/p

(bq + . . . + bq ) n 1
1/q

1/q

(ap + . . . + ap ) n 1

(bq + . . . + bq ) n 1

a1 .b1 + . . . + an .bn

Referncias e
[1] BECKENBACH, Edwin. BELLMAN, Richard. An Introduction to Inequalities. Yale University. New York, 1961. [2] KOROVKIN, P. P. Desigualdades. Traduo para o Espanhol, Editorial Mir, 1976. ca