Você está na página 1de 12

DESIGUALDADES ELEMENTARES

Antonio Caminha Muniz Neto

Nvel Avanado.
Pretendemos neste artigo desenvolver ferramentas bsicas a fim de que o leitor se torne
apto a resolver uma vasta gama de problemas de competies matemticas que envolvam
desigualdades. Tentamos tornar nossa exposio a mais auto-suficiente possvel. Em certas
passagens, contudo, algum conhecimento de clculo til, ainda que no imprescindvel. Em
tais ocasies indicamos ao leitor a referncia [3] como bibliografia auxiliar.
Antes de discutirmos qualquer desigualdade em especial, consideremos um exemplo
preliminar.
Exemplo 1: Para todo inteiro positivo n, prove que

1
2

1
3

1
4

...

1
n

1
2

log2 n 1 .

Soluo : Veja que, para todo inteiro k > 1,

1
1
2k 1 1 2k 1 2

...

1
2k

1
1 ... 1 1
k
k
2
2
2k 2

2k 1 vezes

Portanto, sendo 2k a maior potncia de 2 menor ou igual a n, temos


n
2k
k
1
1
1
1 1 1
1
1 2
1
... 21j 1 12
j
2
j
2
2j 1 1
j 3
j 3
j 2
Mas

2k n 2k 1

k log2 n k 1 1

k
2

1
2

1
2
j 2

k
2

log2 n 1 , e a desigualdade do enunciado

imediata.
O exemplo acima foi colocado de propsito. Ele chama ateno para o fato de que nem
sempre precisamos de algo mais que raciocnio para resolver problemas envolvendo
desigualdades. A proposio abaixo mostra um pouco mais sobre como podemos derivar
desigualdades interessantes com muito pouca matemtica.

Proposio 1 (Desigualdade do Rearranjo): Sejam a1 a2 ... an reais positivos dados,


e considere a expresso S a1b1 a2b2 ... anbn , onde (b1, b2,..., bn ) uma
reordenao de (a1, a2,..., an ) . Ento
a1an a2an 1 ... ana1 S a12 a22 ... an2
Prova : Vamos primeiro tornar S a maior possvel. Como s h um nmero finito (n fatorial)
de possveis reordenaes (b1, b2,..., bn ) , h uma delas que torna S mxima. Suponha ento
que estamos com a reordenao (b1, b2,..., bn ) que torna S mxima.
Queremos mostrar que essa reordenao exatamente (a1, a2,..., an ) . Para isso, basta
mostrarmos que deve ser b1 b2 ... bn . Suponha o contrrio, i.e., que existam ndices i <
j tais que bi bj . Trocando as posies de bi e bj (i.e., pondo bi ao lado de aj e bj ao
lado de ai ), S varia de aibj ajbi (aibi ajbj ) (ai aj )(bj bi ) 0, quer dizer, S

aumenta. Mas isso contraria o fato de ser a reordenao (b1, b2,..., bn ) aquela que torna S
mxima. Logo, b1 b2 ... bn e da bi ai para todo i, donde o maior valor possvel de S
a12 a22 ... an2 .
O raciocnio para minimizar S anlogo.
Passemos agora a nosso principal objetivo, o estudo de desigualdades especiais. A mais
importante destas a dada pela proposio 2 abaixo. Antes, uma definio.
Definio 1 : Dados n > 1 reais positivos a1, a2,..., an , definimos

a a ... an
i. A mdia aritmtica de a1, a2,..., an como o nmero 1 2n
.
ii. A mdia geomtrica de a1, a2,..., an como o nmero n a1a2...an .
Proposio 2 (Desigualdade Entre as Mdias Aritmtica e Geomtrica) : Dados n > 1 reais
positivos a1, a2,..., an , sua mdia aritmtica sempre maior ou igual que a mdia
geomtrica, ocorrendo a igualdade se e s se a1, a2,..., an forem todos iguais. Em smbolos:
a1 a2 ... an n
a1a2...an
n
Prova : Faamos a prova em dois passos:

i. A desigualdade verdadeira quando n for uma potncia de 2, ocorrendo a igualdade se e


s se todos os nmeros forem iguais.
ii. A desigualdade verdadeira em geral, e a igualdade ocorre se e s se os nmeros forem
todos iguais.

i. Faamos induo sobre k 1, sendo n 2k : Para k = 1, temos


a1 a2
a1a2 a1 2 a1a2 a2 0 ( a1 a2 )2 0, o que verdade. H
2
igualdade se e s se ( a1
a2 )2 0, i.e., se e s se a1 a2 .
a1 a2 ... an n
a1a2...an , com igualdade se e s se a1 ... an para
Se j provamos que
n
n 2k , ento
(a1 ... an ) (an 1 ... a2n )
2n

1 a1 ... an
2
n

n a1...an n an 1...a2n

an 1 ... a2n
n

n a1...an

n an 1...a2n

2n a1...anan 1...a2n

Para haver igualdade, devemos ter igualdade em todas as passagens. Ento, deve ser

a1 ... an
n

n a1...an , an 1 ... a2n


n

n a1...an

n an 1...a2n

n an 1...a2n e

2n a1...anan 1...a2n
2
Para as duas primeiras igualdades, segue da hipteses de induo que deve
ser
a1 ... an e an 1 ... a2n

A ltima igualdade ocorre se e s se n a1...an n an 1...a2n . Estas duas condies juntas


implicam que devemos ter a1 ... an an 1 ... a2n . tambm evidente que se os
nmeros forem todos iguais a igualdade ocorre.

ii. Seja agora n > 1 um natural qualquer e a1,a2,...,an reais positivos. Tome k natural tal
que 2k

n. Usando a desigualdade entre as mdias para os 2k nmeros a1, a2,..., an e

2k n cpias de a

n a1a2 ...an , obtemos

a1 ... an a ... a
2k
e da a1 ... an (2k
desigualdade desejada.

2k a ...a a2k n
1 n

n)a 2k a ,

ou ainda

2k n 2k n
aa

a1 ... an
n

2k 2k
a

a,

n a1...an , que era a

Para haver igualdade, segue do item i que deve ser a1 ... an a ... a . Em particular,
todos os nmeros a1, a2,..., an devem ser iguais. fcil ver que se esses nmeros forem
todos iguais ento h igualdade.
Corolrio 2.1 : Dados n > 1 reais positivos a1, a2,..., an , temos
(a1 a2 ... an ) a11 a12 ... a1n
com igualdade se e s se a1, a2,..., an forem todos iguais.

n2 ,

Prova : Basta aplicarmos duas vezes a proposio 2 e multiplicarmos os resultados:


a1 a2 ... an nn a1a2...an e a11 a12 ... a1n nn a1a21...an
Exemplo 2 : (Olimpada Israelense) Sejam k e n inteiros positivos, n > 1. Prove que
1
1
1
nk 1 1
kn kn 1 ... kn n 1 n
k
Prova : Basta ver que

n1
j 0

1
kn j

n1

n
j 0

1
kn j

n1

1
j 0

kn j 1
kn j

n1

nn
j 0

kn j 1
kn j

nn kk 1 ,

onde aplicamos a desigualdade entre as mdias aritmtica e geomtrica uma vez. Note que,
kn j 1
como os nmeros kn j so dois a dois distintos, no h igualdade, razo do sinal > acima.

Dentre todas as desigualdades especiais que temos oportunidade de usar em problemas de


competies matemticas, a desigualdade a seguir se constitui, juntamente com a
desigualdade entre as mdias aritmtica e geomtrica, num dos dois mais importantes
resultados a serem guardados.

Proposio 3 (Desigualdade de Cauchy): Sejam a1, ..., an, b1,..., bn reais dados, no todos
nulos (n > 1). Ento

|a1b1 ... anbn |

a12 ... an2 b12 ... bn2

Alm disso, teremos a igualdade se e s se os ai e os bi forem proporcionais, i.e., se e s se


existir um real positivo
tal que bi
ai para todo i.
Prova : Considere o seguinte trinmio do segundo grau
f (x) (a1x b1)2 (a2x b2)2

... (anx bn )2

Desenvolvendo os parnteses, chegamos a

f (x) (a12 a22 ... an2)x2 2(a1b1 a2b2 ... anbn)x (b12 b22 ... bn2)
Por ser uma soma de quadrados, temos f (x) 0 para todo real x, e da deve ser
0, i.e.,
4(a1b1 a2b2 ... anbn )2 4(a12 a22 ... an2)(b12 b22 ... bn2)
Cancelando o fator 4 e extraindo a raiz quadrada de ambos os membros, chegamos na
desigualdade de Cauchy. Examinemos agora a igualdade. Se houver igualdade, quer dizer, se
for
0, ento o trinmio tem uma raiz real :
(a1 b1)2 (a2 b2)2 ... (an bn)2 0
Mas a todos os parnteses devem ser nulos, i.e., bi
ai para todo i. Ento, havendo
igualdade os ai e bi devem ser proporcionais. evidente que se eles forem proporcionais a
igualdade ocorre.
Temos a seguir alguns corolrios importantes.
Corolrio 3.1 (Desigualdade entre as Mdias Quadrtica e Aritmtica) : Dados reais

a1, ..., an ,
a1 ... an .

positivos

Prova Fazendo b1

temos

a12 a22 ... an2


n

a1 a2 .. an
, com igualdade se e s se
n

b2 ... bn 1 na desigualdade de Cauchy, obtemos

a1 a2 ... an

a12 ... an2 n ,

com igualdade se e s se existir um real positivo


tal que ai
para todo i, quer dizer, se
e s se os ai forem todos iguais. Para obter a desigualdade do enunciado, basta dividir ambos
os membros da desigualdade acima por n.
Corolrio 3.2 : Se n > 1 inteiro e a1, ..., an, b1,..., bn so reais positivos, ento

a1
an
b1 ... bn
com igualdade se e s se b1 ...

a1b1 ... anbn


bn.

a1 ... an 2 ,

Prova : Faa

ai
bi , yi

xi

aibi

e aplique a desigualdade de Cauchy para os nmeros

x1,..., xn, y1,..., yn .

Exemplo 3 : (Teste de Seleo da Romnia para IMO) Sejam x1, x2,..., xn 1 reais positivos
tais que x1 x2 ... xn xn 1 . Prove que

x1(xn 1 x1) ... xn(xn 1 xn) xn 1(xn 1 x1) ... xn 1(xn 1 xn)
Prova : Para 1 j n, seja y j xn 1 x j . Pela desigualdade de Cauchy
temos

x1y1 ... xn yn

x1 ... xn y1 ... yn

xn 1 (xn 1 x1) ... (xn 1 xn )


Temos mais duas desigualdades importantes.

a1, ...,an,b1,...,bn

Proposio 4 (Chebychev): Sejam


b1 b2 ... bn. Ento

a1 a2 ... an
n
com igualdade se e s se a1

b1 b2 ... bn
n

reais, com

a1 a2 ... an

a1b1 a2b2 ... anbn


,
n

a2 ... an ou b1 b2 ... bn .

Prova :

a1b1 a2b2 ... anbn


n

1
n2

a1 a2 ... an
n

n a1b1 a2b2 ... anbn


= 12
n

b1 b2 ... bn
n

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

(ai aj )(bi bj ) 0,

i, j 1
j que os ai , bi so igualmente ordenados.

Note que a condio do enunciado suficiente para haver igualdade. Por outro lado, suponha
que tenhamos a igualdade. Como (ai aj )(bi bj ) 0 para todos i, j, devemos ter
(ai aj )(bi bj ) 0 para todos os i, j. Suponha que existisse um ndice k com

bk bk 1. Ento b1 ... bk bk 1 ... bn , e de (ai ak 1)(bi bk 1) 0 segue que


ai ak 1 para i k. Portanto a1 a2 ... ak ak 1 . De (ai ak )(bi bk ) 0 e
i k conclumos que ak 1 ... an . Logo, todos os ai devem ser iguais.
Corolrio 4.1 : Sejam a1, a2,..., an reais positivos e k um natural. Ento
a1k a2k ... ank
a1 a2 ... an k
,
n
n
com igualdade se e s se todos os

ai

forem iguais ou k

{0, 1}.

Prova : Por induo, o resultado acima trivialmente verdadeiro para k = 1. Suponha k > 1 e
o resultado vlido para k - 1. Como ambos os membros da desigualdade acima so invariantes
por permutaes dos ndices 1, 2, ..., n, podemos supor sem perda de generalidade que
a1 a2 ... an . Da, a1k 1 a2k 1 ... ank 1, e da desigualdade de Chebychev obtemos
a1k a2k ... ank
a1 a2 ... an a1k 1 a2k 1 ... ank 1
.
n
n
n

a1k 1 a2k 1 ... ank 1 a1 a2 ... an k 1


. Combinando as
n
n
duas desigualdades acima segue o resultado. A condio de igualdade bvia a partir da
desigualdade de Chebychev.
Pela hiptese de induo, vem que

Por fim, vejamos algo um pouco mais sofisticado.


Definio 2 : Seja I um intervalo da reta e f : I R uma funo. A funo f dita
x y
f (x) f ( y)
i. Convexa se f 2
para todos os x, y em I.
2
x y
f (x) f ( y)
ii. Cncava se f 2
para todos os x, y em I.
2
Nas aplicaes, quase sempre lidamos com funes contnuas (se voc no sabe o que vem a
ser uma funo contnua, pense na mesma como uma funo cujo grfico no sofre
interrupes ou saltos ao longo de seu domnio). Se f for contnua a proposio a seguir
geometricamente evidente. A partir de agora, sempre que nos referirmos a uma funo
estaremos sempre supondo ser seu domnio um intervalo da reta e a funo contnua nesse
intervalo.
Proposio 5 : Sejam f : I

R uma funo. Ento:

i. f convexa se e s se, para todos x, y em I e todo

t [0,1] tivermos

f 1 t x ty

ii.

1 t f x tf y
f convexa se e s se, para todos x, y em I e todo t [01
, ] tivermos
f 1 t x ty 1 t f x tf y

Faamos o caso em que f convexa. O outro caso anlogo. Observe que

1 t x ty [x, y] I , e que, no trapzio abaixo, 1 t f x tf y


o comprimento da paralela s bases pelo ponto 1 t x ty

f (z)
x

z = ( 1 t ) x + ty

Prova : Suponha primeiro que f satisfaz a condio do item i. Tomando t 1


2 conclumos
que f convexa. Reciprocamente, suponha que f seja convexa. Dados x, y em I, temos

x 3y
4

x y
2

x y
2

f x f y
2

f y
2

f y

1
4

3
4

f x

f y

Trocando x por

y e raciocinando como acima segue que, para

0, 14 , 12 , 43 ,1 ,

f 1 t x ty

1 t f x tf y

(*)

Por induo sobre k inteiro positivo podemos concluir de maneira anloga que (*) continua
vlida para todo t da forma mk , onde 0 m 2k inteiro. Como todo real em [0,1] limite
2
de uma seqncia de nmeros dessa forma, segue que (*) continua vlida para todo t em [0,
1].
As afirmaes a seguir so agora bastante evidentes, e vo ser nosso principal guia quando
quisermos decidir se uma dada funo ou no convexa ou cncava.

i. Se para todos a < b em I o grfico de f entre as retas x = a e x = b estiver abaixo da reta


que passa por

(a, f (a)), (b, f (b)), ento f convexa, e reciprocamente.

ii. Se para todos a < b em I o grfico de f entre as retas x = a e x = b estiver acima da reta que
passa por

(a, f (a)), (b, f (b)), ento f cncava, e reciprocamente.

A figura abaixo para se convencer da validez desse resultado no caso em que f convexa.

y = f(x)

Nele,

a b
2

(c, e)

(c, d)
c

a b
2 . evidente que d f (c)
f (a) f (b)
e f convexa.
2

a b e
2

f (a) f (b)
. Da,
2

Para ns, a importncia dessa discusso sobre funes cncavas e convexas reside na
seguinte:

Proposio 6 (Desigualdade de Jensen): Sejam I um intervalo da reta e


f :I
R uma funo. Se x1,..., xn I e t1,..., tn [01
, ], com t1
t1x1 ... tnxn I e
i. f convexa

f t1x1 ... tnxn

t1 f x1 ... tn f xn

f t1x1 ... tnxn

ii. f cncava

... tn 1, ento

t1 f x1 ... tn f xn

Prova : Faamos a prova, por induo sobre n > 1, para o caso em que f convexa, sendo o
outro caso anlogo. O caso n = 2 nossa hiptese. Suponha agora que para um certo n > 1 e
todos x1,..., xn I e t1,..., tn [01
, ], com t1 ... tn 1, tenhamos

t1x1 ... tn xn I

f t1x1 ... tnxn t1 f x1 ... tn f xn


I e t1,..., tn 1 [01
, ] , com t1 ... tn 1 1. Se tn 1 1

Considere agora x1,..., xn 1


ento t1 ... tn 0 e nada h a fazer. Seno, defina
y t1x11 ...tn 1tnxn s1x1 ... snxn ,
tj
onde sj 1 t . Como s1 ... sn 1, segue da hiptese de induo que
n1

f t1x1 ... tn 1xn 1

f 1 tn 1

f 1 tn 1 y tn 1xn 1

t1x1 ... tnxn


1 tn 1

y I . Da,

tn 1xn 1

1 tn 1 f ( y) tn 1 f (xn 1) ,

j que f convexa. Aplicando a outra metade da hiptese de induo, obtemos

f y

f s1x1 ... snxn s1 f x1 ... sn f xn

t1
1 tn 1

f x1 ...

tn
1 tn 1

f xn

Juntando essas duas desigualdades, obtemos a desigualdade de Jensen.


Vejamos agora um exemplo de como aplicar a desigualdade de Jensen.
Exemplo 5: (Olimpada Balcnica) Sejam n > 1 e a1,..., an reais positivos com soma 1. Para
n
a
a
a
aj . Prove que 1 1b1 1 2b2 ... 1 bnn 2nn 1 .
cada i, seja bi
j 1, j 1
Prova : Veja que

bj 1 1 aj
a1
2 a1

2 aj , e ento temos de provar que


a2
2 a2

...

an
2 an

n
2n 1

Afirmamos que a funo f :


,2 R dada por f x 2xx convexa. Para ver isso,
2
basta escrever f x
2 x 1, e esboar o grfico de f, como abaixo.

Portanto, temos pela desigualdade de Jensen que

f aj

nf

1
n

aj

nf

1
n

n
2n 1

j 1
j 1
Exemplo 6 : Utilizando a funo logaritmo natural e a desigualdade de Jensen, vamos dar
outra prova da desigualdade entre as mdias aritmtica e geomtrica.
Prova : Sejam
todo j. Como

a1,..., an

fx

reais positivos. Existem reais x1,..., xn tais que


ln x uma funo cncava, vem que

f x1 ... f xn
n

aj ln x j

para

x1 ... xn
,
n

ou seja,

ln n x1... xn ln x1

... xn
n

Como f crescente, chegamos ao resultado desejado.


Vale notar, para quem tem familiaridade com derivadas, que possvel provar que, se f ''
existe, ento f convexa se e s se f ''(x) 0 para todo x em I e f cncava se e s se
f ''(x) 0 para todo x em I.
Finalizamos este artigo com alguns problemas onde procuramos oferecer oportunidade de
exercitar o que foi aprendido no texto, alm de desenvolver um pouco mais a teoria. bom
salientar que em alguns deles mais de uma desigualdade pode ser usada.
Problemas onde no precisamos das desigualdades acima, mas de criatividade
1. (Olimpada Americana): Prove que, para todos a, b, c reais positivos, temos
1
1
1
1
3
3
3
3
3
3
abc
a b abc b c abc c a abc

2. (Desigualdade de Abel): Sejam

a1 a2 ... an
{b1, b1 b2,..., b1 ...

com

a1, ...,an,b1,...,bn

reais dados (n > 1),


0. Se M e m so respectivamente o mximo e o mnimo do conjunto
bn}, prove que

ma1 ab
Ma1 ,
1 1 a2b2 ... anbn

com igualdade se e s se a1

a2 ... an .

3. (Teste de Seleo de Singapura para IMO): Prove que, quaisquer que


sejam os reais positivos a, b e c, tem-se
c a2 ab b2 a

b2 bc c2 b a2 ac c2 .

4. (Banco IMO): Sejam n > 1 um inteiro dado. Determine o maior valor

xi xj xi xj

possvel da soma

sobre todas as n-uplas

1i j n
negativos cuja soma 1.

x1,..., xn

de reais no

Desigualdade entre as mdias aritmtica e geomtrica


5. (Torneio das Cidades) Sejam a, b e c reais positivos dados. Prove que
a3
b3
c3
a b c
2
2
2
2
2
3
a ab b
b bc c
c ca a2

6. Dados os reais positivos a1, a2, a3, b1, b2, b3, prove que
3

3 a1a2a3

a1 b1 a2 b2 a3 b3

3 bb
1 2b3

Desigualdades de Chebychev, Jensen e Cauchy

7. (Olimpada Turca) Sejam n > 1 inteiro e x1,..., xn reais positivos tais


n
xi2 1.
que
Determine
o
valor
mnimo
i 1
x15
x25
xn5
...
x2 x3 ... xn x1 x3 ... xn
x1 x2 ... xn 1 .

de

8. (Olimpada Romena): Seja h a altura de um tetraedro regular e


h1, h2, h3, h4 as distncias desde um ponto P em seu interior s faces do tetraedro. Prove que
h h1 h h2 h h3 h h4 12
h h1 h h2 h h3 h h4 5
9. (Banco IMO) : Sejam a, b, c, d reais no negativos tais que

ab bc cd da 1. Prove que
a3
b c d

b3
c d a

c3
d a b

d3
a b c

1
3

10. Sejam n > 1 e x1, x2,..., xn reais positivos cuja soma 1. Prove que

x1
1 x1

...

xn
1 xn

n
n1

x1 ... xn
n1

11. Sejam x1, x2,..., xn reais pertencentes ao intervalo [0, 1] e tais que
x1 x2 ... xn a, com 0 a 1. Prove que

1 x1 1 x2
1 x1 1 x2

1a
1a

... 11

n an
n a

xn
xn

Outras Desigualdades

12. (Desigualdade de Bernoulli): Sejam n um inteiro positivo e


real. Prove que 1 x n 1 nx .

13. (Desigualdade entre as Mdias de Potncias): Sejam

1 um
reais

positivos. Ento, para todos a1, a2,..., an reais positivos, vale


1

a1 a2 ... an
n

a1 a2 ... an
n

com igualdade se e s se a1, a2,..., an forem todos iguais.

14. (Desigualdade de Giroux): Sejam I1,..., In intervalos fechados da reta


e considere a funo

f :I1 ... In R de n variveis, convexa separadamente em relao a

I j [aj , bj ], f atinge seu valor mximo em um dos 2n pontos da


(c1,..., cn ), com ci ai ou bi para cada i. Prove isto e enuncie um resultado anlogo

cada varivel. Ento, se

forma
desigualdade de Giroux para uma funo de n variveis f, cncava separadamente em
relao a cada varivel.
15. (Olimpada Blgara): Sejam n

2 um inteiro e

0 xi 1 para 1

n. Prove que

n
2

(x1 x2 ... xn ) (x1x2 x2x3 ... xn 1xn xnx1)


16. Os trs itens a seguir visam derivar uma desigualdade difcil.
i. (Desigualdade de Young): Sejam p e q reais positivos tais que 1p 1
q
q
p
xy xp yq ,
x, y 0
ii. (Desigualdade de Holder): Sejam a1, a2,..., an, b1, b2,..., bn reais
positivos e p, q reais positivos tais que 1p 1
q 1. Prove que
n

aibi
i1

1/ p

aip

i1

1. Prove que

1/ q

biq

i1

iii. (Desigualdade de Minkowsky): Sejam a1, a2,..., an, b1, b2,..., bn reais
positivos e p um real maior que 1. Prove que
p

a1 b1

Sugesto: Faa ci = (ai

... an bn

a1p ... anp

b1p ... bnp

bi ) p 1 e use o tem anterior para (ai) e (ci) e para (bi) e (ci).

Referncias:
[1] Shklarsky, D. O., Chentzov, N. N. e Yaglom, I. M. The USSR Olympiad Problem Book.
Dover. Toronto, 1993.
[2] Rousseau, C. e Lozansky, E. Winning Solutions. Springer-Verlag, 1996.
[3] Lima, Elon L., Anlise Real, vol. 1. IMPA, 1995.