Desigualdades

(por Iuri de Silvio ITA-T11)

Apresentao O objetivo desse artigo apresentar as desigualdades mais importantes para quem vai prestar IME/ITA, e mostrar como elas podem ser utilizadas na resoluo de problemas. Axiomas
a - Tricotomia dos nmeros reais: a - Adio: a b, c a c b c a b e c 0 ac bc - Multiplicao: a b e c 0 ac bc - Transitividade: a b e b c a c 0 ou a 0 ou a 0

Teoremas 1) a b e ab 0

1 a

1 b
Multiplicao

Demonstrao: a b 2) a b e c
d

1 .a ab

1 .b ab

1 b

1 a

a c b d

Demonstrao:

a b c d

Adio

a c b c b c b d

Transitiva

a c b d

3) a b e c

d ; a, b, c, d
a b c d

ac bd
ac bc bc bd
Transitiva

Demonstrao:

Multiplicao

ac bd

Esses trs teoremas iniciais so apenas para lembrar algumas propriedades essenciais daqui pra frente, e mostrar as demonstraes a partir dos axiomas. Desigualdade de Cauchy: a, b Demonstrao: x Para x 2 y
2

a b 2
2

ab
x2 2 y2 xy

2 xy

a e y2

b:

a b 2

ab

Teorema auxiliar de Cauchy:

x1 , x2 , x3 ,..., xn x1 x2 x3 ...xn 1

x1

x2

x3 ... xn

Demonstrao: (pelo Princpio da Induo finita) 1) Provando para casos particulares n 1: x1 1 1 (V) n 2 : x1 x2 1

Pela desigualdade de Cauchy (provada anteriormente), 2) Hiptese: Tese:

x1 2

x2
k

1 x1

x2

2 (V).

x1 , x2 , x3 ,..., xk x1 x2 x3 ...xk
1

1
*

x1

x2

x3 ... xk

x1 , x2 , x3 ,..., xk , xk x1 x2 x3 ...xk xk
1

x1

x2

x3 ... xk

xk

k 1

Demonstrao da tese de induo x1 x2 x3 ...xk 1 xk xk 1 1 x1 x2 x3 ... xk Sem perda de generalidade, supomos xk

x1 x1 x2 x2 x3 ... xk xk xk
1 1

xk xk
1

1 e xk
k xk
1

1.
xk
1

xk xk

xk xk

xk xk k
1

xk xk xk k 1

Somando

em ambos os lados, e somando 1-1 no membro direito:

1 1

x3 ... xk x2

xk xk

1 1 xk 1 1 xk
0 0 1

Fatorando: x1

x3 ... xk

xk

k 1 (cqd)

Exerccio relacionado: (Olimpada Ibero-Americana) Demonstre a seguinte desigualdade: 1 1 1 x, y , z S 1 xy 1 yz 1 xz 6 x y z 1 1 1 1 1 1 Desenvolvendo a expresso, temos: S y z x x y z x y z x y z 1 1 1 Pelo teorema auxiliar de Cauchy, temos de imediato que S 6 , pois x. . y. .z. 1. x y z Desigualdade das mdias: x1 , x2 ,..., xn Mdia Quadrtica: MQ Mdia Aritmtica: MA x12
2 2 x2 ... xn n x2 ... xn n

MQ MA MG

MH

x1

Mdia Geomtrica: MG Mdia Harmnica: MH

x1 x2 ...xn

n 1 x1 1 x2 ... 1 xn

1) MA MG MG n x1 x2 x3 ...xn

MG n x1 MG x2 MG x3 xn ... MG MG n

Teorema x x1 x2 x3 . . ... n 1 auxiliar MG MG MG MG x1 x2 ... xn MG (cqd) n

2) MG

MH

MA MG
Com xi 1 y1

x1

x2 ... xn n

x1 x2 ...xn

1 , para 1 i n : yi 1 1 ... y2 yn 1 1 1 n . ... n y1 y2 yn

n 1 y1 x12 1 y2 ... 1 yn

y1 y2 ... yn

MH

MG

3) MQ

MA MA :
2 2 x2 ... xn n

Supondo por absurdo MQ

x1

x2 ... xn n

Elevando ambos os lados ao quadrado: 2 2 2 2 2 x12 x2 ... xn x1 x2 ... xn 2 x1 x2 x1 x3 ... xn 2 xn xn 1 xn n n2 Fazendo as simplificaes necessrias: 2 2 2 2 n 3 x12 x2 ... xn 2 x12 x2 ... xn x1 x2 x1 x3 ... xn 2 xn xn 1 xn
0 0 (PROVE)

Para n

2 : x12

2 x2 2 x1 x2

x1 x2

0 , que absurdo.

Para n 3 : o resultado acima claramente absurdo, e portanto MQ

MA .

Das demonstraes acima, temos a validade da desigualdade das mdias. A igualdade MQ=MA=MG=MH ocorre somente para x1 x2 ... xn .

x y Exerccios relacionados: (ITA-2002) Mostre que 2 C8,4 para quaisquer x e y y x reais positivos. ( Cn, p denota a combinao de n elementos tomados p a p).

8! 70 . 4!4! A partir da, temos que encontrar uma desigualdade que seja capaz de provar a proposio.
Sabemos que C8,4 Temos que potncia: x y x y y x 2 2 , e portanto y x
4

x y

y x

4 . Elevando ambos os lados quarta

256 70

Desigualdade de Bernoulli:

x x

1; 0 n 1; n 1; n<0 ou n>1; n
n

1 x

1 nx
n

1 x

1 nx

1) x Para n Para n

1; 0 n 1; n

1 x

1 nx

essa desigualdade imediata a partir do conhecimento do Tringulo de Pascal.

p * (p eq , p q) : q Da desigualdade das mdias ( MG MA ): p. 1 x q p .1 px q p q 1 x .1q p q q Para n irracional, com r :

1 x
n

p x 1 q

1 x .1q

1 nx

lim 1 x
r n

lim 1 rx
r n

1 nx

1 x

1 nx; 0 n 1

Mesmo envolvendo um limite nessa ltima parte, o entendimento disso intuitivo. Para todo irracional, existe um nmero racional infinitamente prximo a ele no conjunto dos reais, ou seja, para esse caso a desigualdade satisfeita. Ao provar que a desigualdade vale para n natural, racional ou irracional, provamos que ela vale para quaisquer valores reais de n. Precisamos agora provar a segunda proposio da desigualdade. 2) x

1; n<0 ou n>1; n

1 x

1 nx
m

J foi provada a validade para 0 m 1 : 1 y

1 my; 0 m 1

Para n

1 nx

1 1 1 : 1 y n 1 y; n 1 . Elevando ambos os lados a n, com y m n n 1 x ; n 1.

nx :

Para provar a validade para n 0 o processo anlogo ao primeiro caso, fazendo com que p seja negativo. Observao: quanto menor o valor de | x | , mais prximos so os valores de 1 nx e

1 x , sendo que para | x | 1 , 1 x

Desigualdade de Cauchy-Schwarz:
ai , bi ;1 i n a1b1 a2b2

1 nx .

a3b3 ... an bn

a12

2 a2

2 2 a3 ... an . b12 b22 b32 ... bn2

Demonstrao:
a1 x b1 a2 x b2 an x bn
2 2

0 0 0

a12 x 2
2 a2 x 2

2a1b1 x b12 2a2b2 x b22 2an bn x bn2

0 0 0

2 an x 2

Somando todas as equaes: 2 2 a12 a2 ... an x 2 2 a1b1 a2b2 ... anbn x

b12 b22 ... bn2

0; x
0.
0

Para que a inequao acima seja satisfeita para quaisquer valores de x,

4 a1b1 a2b2 ... anbn
2

4 a12

2 2 2 2 a2 ... an b12 b2 ... bn

a1b1 a2b2 ... an bn a1b1 a2b2

a12

2 2 a2 ... an b12 b22 ... bn2

a3b3 ... an bn

a12

2 a2

2 2 a3 ... an . b12 b22 b32 ... bn2 (cqd)

Observaes: 1. Para b1 b2 a1 a2 ... an

... bn a12

1 e a1 , a2 ,..., an
2 2 a2 ... an . n

: a12
2 2 a2 ... an ( MA MQ ) n

2. A igualdade ocorre para

a1 b1

a2 b2

a1 a2 ... an n an ... . bn

Outra desigualdade: e x x 1; x A demonstrao elementar dessa desigualdade bastante extensa, e no ser mostrada aqui. Graficamente, temos uma curva exponencial e uma reta, sendo que a igualdade ocorre apenas em x 0 . Para todos os outros valores, a exponencial estar acima da reta.

Comentrios - Esses so apenas alguns exemplos de desigualdades, sendo que em geral so suficientes para resolver as questes do ITA e do IME; - por mais abrangente que a aula sobre esse tema, sempre ser necessrio criatividade; - o tpico mais importante com certeza a desigualdade das mdias, por ser utilizado com maior freqncia; - as demonstraes foram colocadas no apenas pelo rigor matemtico, mas sim para termos uma viso das idias que sero necessrias para resolver os problemas. Entenda como foram feitas as demonstraes acima, para aproveitar as idias em exerccios posteriores; - nem todas as questes propostas abaixo exigem a utilizao das desigualdades mostradas nesse artigo. Em alguns casos necessrio apenas o conhecimento dos axiomas e um pouco de manipulao algbrica. Problemas 1. Prove que
*

a2

a2 1

2.
n

n 1 2. Seja n , prove que n ! 2 2 3. Calcule o valor mnimo de x y 2 z 2 xy xz yz . 4. (ITA) Para todo x 1 e n , vale a desigualdade de x n
conseqncia que, para 0 a) x
n 1

n x 1 , temos como

x 1e n

, tem-se:

n x 1

b) x n c) x n d) x n e) x n

n 1 x 1 n2 1 x
1

n 1 1 x n 1 x
1

5. Resolva em

2x2 1 x2 2 y2 : 1 y2

y z

2z2 x 1 z2 6. (ITA-2005) Encontre o menor inteiro positivo n para o qual a diferena n n 1 fica menor que 0,01.

7. (IME-2002) a) Sejam x,y e z nmeros reais positivos. Prove que:

y z 3 xyz . 3 b) Considere um paralelogramo de lados a,b,c e rea total S0 . Qual a relao entre a,b e c para que esse volume seja mximo? Demonstre seu resultado.
1 xe g x
e

8. Sendo f x 9. Prove que e Gabarito 3) zero 4) E 5) S

x4

f x

, prove que 8 g x

1; x

x, y, z /(0, 0, 0);(1,1,1)

6) 2501

This document was created with Win2PDF available at http://www.daneprairie.com. The unregistered version of Win2PDF is for evaluation or non-commercial use only.