Desigualdades (por Iuri de Silvio ITA-T11)

Apresentação
O objetivo desse artigo é apresentar as desigualdades mais importantes para quem vai
prestar IME/ITA, e mostrar como elas podem ser utilizadas na resolução de problemas.

Axiomas

- Tricotomia dos números reais: a a 0 ou a 0 ou a 0

- Adição: a b, c a c b c
a b e c 0 ac bc
- Multiplicação:
a b e c 0 ac bc
- Transitividade: a b e b c a c

Teoremas

1 1
1) a b e ab 0
a b
Multiplicação 1 1 1 1
Demonstração: a b .a .b
ab ab b a

2) a b e c d a c b d

a b Adição a c b c Transitiva
Demonstração: a c b d
c d b c b d

*
3) a b e c d ; a, b, c, d ac bd

a b Multiplicação ac bc Transitiva
Demonstração: ac bd
c d bc bd

Esses três teoremas iniciais são apenas para lembrar algumas propriedades essenciais daqui
pra frente, e mostrar as demonstrações a partir dos axiomas.

a b
Desigualdade de Cauchy: a, b ab
2
2 2 2 x2 y2
Demonstração: x y 0 x y 2 xy xy
2
a b
Para x 2 a e y2 b: ab
2
 *
x1 , x2 , x3 ,..., xn
Teorema auxiliar de Cauchy: x1 x2 x3 ... xn n
x1 x2 x3 ...xn 1
Demonstração: (pelo Princípio da Indução finita)

1) Provando para casos particulares

n 1: x1 1 1 (V)
n 2 : x1 x2 1
x1 x2
Pela desigualdade de Cauchy (provada anteriormente), 1 x1 x2 2 (V).
2
*
x1 , x2 , x3 ,..., xk
2) Hipótese: x1 x2 x3 ... xk k
x1 x2 x3 ...xk 1
*
x1 , x2 , x3 ,..., xk , xk 1
Tese: x1 x2 x3 ... xk xk 1 k 1
x1 x2 x3 ...xk xk 1 1

Demonstração da tese de indução

x1 x2 x3 ...xk 1 xk xk 1 1 x1 x2 x3 ... xk 1 xk xk 1 k
Sem perda de generalidade, supomos xk 1 e xk 1 1.

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

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

x1 x2 x3 ... xk 1 xk xk 1 k xk xk 1 xk xk 1 1 1
Fatorando: x1 x2 x3 ... xk 1 xk xk 1 k 1 xk 1 1 xk 1 k 1 (cqd)
0 0

Exercício relacionado: (Olimpíada 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 expressão, 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 médias: x1 , x2 ,..., xn MQ MA MG MH
x12 x22 ... xn2
Média Quadrática: MQ
n
x1 x2 ... xn
Média Aritmética: MA
n
Média Geométrica: MG n x1 x2 ...xn
n
Média Harmônica: MH
1 1 1
...
x1 x2 xn
1) MA MG
MG n x1 x2 x3 ...xn MG n
Teorema
x1 x2 x3 x x1 x2 x3 xn
. . ... n 1 auxiliar ... n
MG MG MG MG MG MG MG MG
x1 x2 ... xn
MG (cqd)
n

2) MG MH
x1 x2 ... xn
MA MG n x1 x2 ...xn
n
1
Com xi , para 1 i n :
yi
1 1 1
...
y1 y2 yn 1 1 1 n
n . ... n y1 y2 ... yn MH MG
n y1 y2 yn 1 1 1
...
y1 y2 yn
3) MQ MA
x12 x22 ... xn2 x1 x2 ... xn
Supondo por absurdo MQ MA :
n n
Elevando ambos os lados ao quadrado:
2 2 2
x12 x22 ... xn2 x1 x2 ... xn 2 x1 x2 x1 x3 ... xn 2 xn xn 1 xn
n n2
Fazendo as simplificações necessárias:
n 3 x12 x22 ... xn2 2 x12 x22 ... xn2 x1 x2 x1 x3 ... xn 2 xn xn 1 xn 0
0 0 (PROVE)
2
Para n 2 : x12 x22 2 x1 x2 x1 x2 0 , que é absurdo.
Para n 3 : o resultado acima é claramente absurdo, e portanto MQ MA .

Das demonstrações acima, temos a validade da desigualdade das médias.

A igualdade MQ=MA=MG=MH ocorre somente para x1 x2 ... xn .
 4
x y
Exercícios relacionados: (ITA-2002) Mostre que 2 C8,4 para quaisquer x e y
y x
reais positivos. ( Cn, p denota a combinação de n elementos tomados p a p).

8!
Sabemos que C8,4 70 .
4!4!
A partir daí, temos que encontrar uma desigualdade que seja capaz de provar a proposição.

x y x y
Temos que 2 , e portanto 2 4 . Elevando ambos os lados à quarta
y x y x
4
x y
potência: 2 256 70
y x
n
x 1; 0 n 1; n 1 x 1 nx
Desigualdade de Bernoulli: n
x 1; n<0 ou n>1; n 1 x 1 nx

n
1) x 1; 0 n 1; n 1 x 1 nx
Para n essa desigualdade é imediata a partir do conhecimento do Triângulo de Pascal.
p *
Para n (p eq , p q) :
q
Da desigualdade das médias ( MG MA ):
p p. 1 x q p .1 px q p p
q
1 x .1q p x 1 q
1 x .1q p
1 nx
q q q
Para n irracional, com r :
n r n
1 x lim 1 x lim 1 rx 1 nx 1 x 1 nx; 0 n 1
r n r n

Mesmo envolvendo um limite nessa última parte, o entendimento disso é intuitivo. Para
todo irracional, existe um número racional infinitamente próximo 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 proposição da desigualdade.

n
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
 1
1 1
Para n : 1 y n 1 y; n 1 . Elevando ambos os lados a n, com y nx :
m n
n
1 nx 1 x ; n 1.
Para provar a validade para n 0 o processo é análogo ao primeiro caso, fazendo com que
p seja negativo.

Observação: quanto menor o valor de | x | , mais próximos são os valores de 1 nx e

n n
1 x , sendo que para | x | 1 , 1 x 1 nx .

Desigualdade de Cauchy-Schwarz:
ai , bi ;1 i n a1b1 a2b2 a3b3 ... an bn a12 a22 a32 ... an2 . b12 b22 b32 ... bn2

Demonstração:
2
a1 x b1 0 a12 x 2 2a1b1 x b12 0
2
a2 x b2 0 a22 x 2 2a2b2 x b22 0

2
an x bn 0 an2 x 2 2an bn x bn2 0
Somando todas as equações:
a12 a22 ... an2 x 2 2 a1b1 a2b2 ... anbn x b12 b22 ... bn2 0; x
Para que a inequação acima seja satisfeita para quaisquer valores de x, 0.

2
4 a1b1 a2b2 ... anbn 4 a12 a22 ... an2 b12 b22 ... bn2 0
2
a1b1 a2b2 ... an bn a12 a22 ... an2 b12 b22 ... bn2
a1b1 a2b2 a3b3 ... an bn a12 a22 a32 ... an2 . b12 b22 b32 ... bn2 (cqd)

Observações:
*
1. Para b1 b2 ... bn 1 e a1 , a2 ,..., an :
a1 a2 ... an a12 a22 ... an2
a1 a2 ... an a12 a22 ... an2 . n ( MA MQ )
n n
a1 a2 an
2. A igualdade ocorre para ... .
b1 b2 bn
Outra desigualdade: e x x 1; x
A demonstração elementar dessa desigualdade é bastante extensa, e não 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.
Comentários
- Esses são apenas alguns exemplos de desigualdades, sendo que em geral são suficientes
para resolver as questões do ITA e do IME;
- por mais abrangente que a aula sobre esse tema, sempre será necessário criatividade;
- o tópico mais importante com certeza é a desigualdade das médias, por ser utilizado com
maior freqüência;
- as demonstrações foram colocadas não apenas pelo rigor matemático, mas sim para
termos uma visão das idéias que serão necessárias para resolver os problemas. Entenda
como foram feitas as demonstrações acima, para aproveitar as idéias em exercícios
posteriores;
- nem todas as questões propostas abaixo exigem a utilização das desigualdades mostradas
nesse artigo. Em alguns casos é necessário apenas o conhecimento dos axiomas e um pouco
de manipulação algébrica.

Problemas
a2 2
1. Prove que 2.
a2 1
n
* n 1
2. Seja n , prove que n !
2
3. Calcule o valor mínimo de x y 2 z 2 xy xz yz .
2

4. (ITA) Para todo x 1 e n , vale a desigualdade de x n n x 1 , temos como

conseqüência que, para 0 x 1e n , tem-se:
n 1 1
a) x n x 1
1
b) x n 1
n 1 x 1
1
c) x n 1
n2 1 x
1
d) x n 1
n 1 1 x
1
e) x n 1
n 1 x
2x2
y
1 x2
2 y2
5. Resolva em : z
1 y2
2z2
x
1 z2
6. (ITA-2005) Encontre o menor inteiro positivo n para o qual a diferença
n n 1 fica menor que 0,01.
 x
y z 3
7. (IME-2002) a) Sejam x,y e z números reais positivos. Prove que: xyz .
3
b) Considere um paralelogramo de lados a,b,c e área total S0 . Qual a relação entre
a,b e c para que esse volume seja máximo? Demonstre seu resultado.
4
8. Sendo f x 1 xe g x x4 f x , prove que 8 g x 1; x .
e
9. Prove que e .

Gabarito
3) zero 4) E 5) S 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.