Escolar Documentos
Profissional Documentos
Cultura Documentos
Desigualdades
Desigualdades
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 + Soluo : Veja que, para todo inteiro k > 1,
2
k 1
1 2
+ 1 + 1 +... + 1 3 4 n
1 2
(log
n +1 .
+1
k 1
1 +2
+ ... +
1 2k
>
1 1 1 k + k + ...+ k 2 2 2 2 k 1 vezes
1 2
1+ +
1 2
j=3
1 j
1+ +
1 2
2k
j=3
1 j
= 1+ 1 + 2
(2
k j=2
j 1
+1
+ ... +
1 2j
>1+ 1 + 2
1 = 1 + k2 2
j=2
1 2
(log
n + 1 , e a desigualdade do enunciado
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 < ... < a n reais positivos dados, e considere a expresso S = a1b1 + a2 b2 + ...+ a n bn , onde ( b1 , b2 ,..., bn ) uma reordenao de ( a1 , a2 ,..., a n ) . Ento
2 2 2 a1a n + a2 a n 1 + ...+ a n a1 S a1 + a2 + ...+ a n
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 ,..., a n ) . Para isso, basta mostrarmos que deve ser b1 < b2 < ... < bn . Suponha o contrrio, i.e., que existam ndices i < j tais que bi > b j . Trocando as posies de bi e b j (i.e., pondo bi ao lado de a j e b j ao lado de ai ), S varia de ai b j + a j bi ( ai bi + a j b j ) = ( a i a j )( b j 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
2 2 2 S a1 + a2 + ...+ a n . O raciocnio para minimizar S anlogo. t
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 ,..., a n , definimos
i. A mdia aritmtica de a1 , a 2 ,..., a n como o nmero ii. A mdia geomtrica de a1 , a2 ,..., a n como o nmero
a1 + a 2 + ...+ a n n n
a1a 2 ... a n .
Proposio 2 (Desigualdade Entre as Mdias Aritmtica e Geomtrica) : Dados n > 1 reais positivos a1 , a2 ,..., a n , sua mdia aritmtica sempre maior ou igual que a mdia geomtrica, ocorrendo a igualdade se e s se a1 , a2 ,..., a n forem todos iguais. Em smbolos:
a1 + a 2 + ...+ a n n
n a1a2 ... a n
n = 2 k , ento
( a1 +...+ a n ) + ( a n +1 +...+ a 2 n ) 2n
1 a1 +...+ a n 2 n n
a n +1 +...+ a 2 n n
a1 ...a n +
a n +1 ...a 2 n
a1... a n
Para haver igualdade, devemos ter igualdade em todas as passagens. Ento, deve ser
a1 +...+ a n n
n
= n a1... a n ,
n
a n +1 +...+ a 2 n n
= n a n +1... a 2 n e
a1 ...a n +
a n +1 ...a 2 n
= 2 n a1... a n a n +1... a 2 n
Para as duas primeiras igualdades, segue da hipteses de induo que deve ser a1 = ... = a n e a n +1 = ... = a 2 n
A ltima igualdade ocorre se e s se n a1... a n = n a n +1... a2 n . Estas duas condies juntas implicam que devemos ter a1 = ... = a n = a n +1 = ... = a 2 n . tambm evidente que se os nmeros forem todos iguais a igualdade ocorre.
ii. Seja agora n > 1 um natural qualquer e a1 ,a 2 ,...,a n reais positivos. Tome k natural tal que 2 k > n. Usando a desigualdade entre as mdias para os 2 k nmeros a1 , a2 ,..., a n e 2 k n cpias de a = n a1a2 ... a n , obtemos
a1 + ...+ a n + a + ...+ a 2
k
2 a1... a n a 2
2k
a na 2
2k
a2 = a ,
a1 + ...+ a n n
Para haver igualdade, segue do item i que deve ser a1 = ... = a n = a = ... = a . Em particular, todos os nmeros a1 , a2 ,..., a n devem ser iguais. fcil ver que se esses nmeros forem todos iguais ento h igualdade. t Corolrio 2.1 : Dados n > 1 reais positivos a1 , a 2 ,..., a n , temos
( a1 + a2 + ...+ a n )
1 a1
1 a2
+ ...+ a1 n 2 ,
n
1 a1
1 a2
+ ...+ a1 n n
n
1 a1a 2 ...a n
t
1 kn +1
n k +1 k
n 1 1 + n = kn + j j=0
kn + j +1
n 1 j=0
1 kn + j
+1 =
n 1
j=0
kn + j +1 kn + j
> nn
n 1 j=0
kn + j +1 kn + j
=nn
k +1 k
onde aplicamos a desigualdade entre as mdias aritmtica e geomtrica uma vez. Note que, como os nmeros kn + j
t
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 , ..., a n , b1 ,..., bn reais dados, no todos nulos (n > 1). Ento
2 2 b1 +... + bn
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 ) = ( a1 x b1 ) 2 + ( a2 x b2 ) 2 + ...+( a n x bn ) 2
Desenvolvendo os parnteses, chegamos a
2 2 2 2 2 f ( x ) = ( a1 + a2 + ...+ a n ) x 2 2( a1b1 + a2 b2 + ...+ a n bn ) x + ( b12 + b2 + ...+ bn ) Por ser uma soma de quadrados, temos f ( x ) 0 para todo real x, e da deve ser 0 , i.e.,
2 2 2 2 2 2 4( a1b1 + a2 b2 + ...+ a n bn ) 2 4( a1 + a2 + ...+ a n )( b1 + b2 + ...+ bn )
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 : Mas a todos os parnteses devem ser nulos, i.e., bi = ai para todo i. Ento, havendo igualdade os a i e bi devem ser proporcionais. evidente que se eles forem proporcionais a igualdade ocorre. t Temos a seguir alguns corolrios importantes. Corolrio 3.1 (Desigualdade entre as Mdias Quadrtica e Aritmtica) : Dados reais
2 2 2 a1 + a 2 + ...+ a n n
( a1 b1 )2 + ( a2 b2 )2 + ...+( a n bn )2 = 0
a1 + a 2 +..+ a n n
, com igualdade se e s se
a1 = ... = a n .
Prova Fazendo b1 = b2 = ... = bn = 1 na desigualdade de Cauchy, obtemos
2 2 a1 + a 2 + ... + a n a1 +... + a n
n,
com igualdade se e s se existir um real positivo tal que ai = para todo i, quer dizer, se e s se os a i forem todos iguais. Para obter a desigualdade do enunciado, basta dividir ambos os membros da desigualdade acima por n. t Corolrio 3.2 : Se n > 1 inteiro e a1 , ..., a n , b1 ,..., bn so reais positivos, ento
a1 b1
+ ...+ bn
n
) ( a b +... + a b ) ( a +... + a )
1 1 n n 1 n
x1 ,..., x n , y1 ,..., y n . t
Exemplo 3 : (Teste de Seleo da Romnia para IMO) Sejam x1 , x 2 ,..., x n +1 reais positivos tais que x1 + x 2 + ...+ x n = x n +1 . Prove que
x1 y1 + ...+ x n y n =
x1 + ...+ x n
y1 + ...+ y n =
x n +1 ( x n +1 x1 ) + ...+ ( x n +1 x n ) t
Temos mais duas desigualdades importantes. Proposio 4 (Chebychev): Sejam a1 , ..., a n , b1 ,..., bn reais, com a1 a 2 ... a n e b1 b2 ... bn . Ento
a1 + a 2 +...+ a n n
)(
b1 + b2 +...+ bn n
a1b1 + a 2 b2 + ...+ a n bn , n
a1 + a 2 +...+a n n
)(
b1 + b2 +...+bn n
)=
1 n2
(ai a j )(bi b j ) 0 ,
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 ( a i a j )( bi b j ) 0 para todos i, j, devemos ter
( a i a j )( bi b j ) = 0 para todos os i, j. Suponha que existisse um ndice k com bk < bk +1 . Ento b1 ... bk < bk +1 ... bn , e de ( a i a k +1 )( bi bk +1 ) = 0 segue que ai = a k +1 para i k. Portanto a1 = a2 = ... = a k = a k +1 . De ( a i a k )( bi bk ) = 0 e i > k conclumos que a k +1 = ... = a n . Logo, todos os ai devem ser iguais. t
Corolrio 4.1 : Sejam a1 , a2 ,..., a n reais positivos e k um natural. Ento
k k k a1 + a 2 + ...+ a n n
com igualdade se e s se todos os a i 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 + a 2 + ...+ a n k n
a1 + a 2 + ...+ a n n
k k k a1 1 + a 2 1 + ... + a n 1 n
k k k a1 1 + a 2 1 + ... + a n 1 n
a1 + a 2 + ... + a n k 1 . n
Combinando as
duas desigualdades acima segue o resultado. A condio de igualdade bvia a partir da desigualdade de Chebychev. t 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
( ) ii. Cncava se f ( )
i. Convexa se f
x+ y 2 x+ y 2
f ( x)+ f ( y ) 2 f ( x )+ f ( y ) 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 ) ( 1 t ) f ( x ) + tf ( y ) ii. f convexa se e s se, para todos x, y em I e todo t [0,1] 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)
z = ( 1 t ) x + ty
Prova : Suponha primeiro que f satisfaz a condio do item i. Tomando t = 1 conclumos 2 que f convexa. Reciprocamente, suponha que f seja convexa. Dados x, y em I, temos
( )
x +3y 4
x+ y + y = f 22
( ) + f ( y)
x+ y 2
f ( x) + f ( y) 2
+ f ( y)
1 4
f ( x) +
3 4
f ( y ) Trocando x por
3 t 0, 1 , 1 , 4 ,1 , 4 2
f ( ( 1 t ) x + ty ) ( 1 t ) f ( x ) + tf ( y ) (*)
Por induo sobre k inteiro positivo podemos concluir de maneira anloga que (*) continua , onde 0 m 2 k inteiro. Como todo real em [0,1] limite de uma seqncia de nmeros dessa forma, segue que (*) continua vlida para todo t em [0, 1]. t vlida para todo t da forma 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.
m 2k
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)
(c, e)
(c, d)
( a + b ) f (a ) + f (b) e f convexa. 2 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 ,..., x n I e t1 ,..., t n [0,1] , com t1 + ... + t n = 1 , ento
t1 x1 + ... + t n x n I e
( )
( )
( )
( )
y=
t
t1 x1 + ... + t n x n 1 t n +1
= s1 x1 + ... + sn x n ,
f ( t1 x1 + ... + t n +1 x n +1 ) =
f ( 1 t n +1 )
t1 x1 + ... + t n x n 1 t n +1
) +t
n +1 x n +1
= f ( 1 t n +1 ) y + t n +1 x n +1 ( 1 t n +1 ) f ( y ) + t n +1 f ( x n +1 ) ,
j que f convexa. Aplicando a outra metade da hiptese de induo, obtemos
f ( y ) = f ( s1 x1 + ... + sn x n ) s1 f ( x1 ) + ...+ sn f ( x n ) =
t1 1 t n +1
f ( x1 ) + ...+ 1 tn
t
n+1
f ( xn )
Juntando essas duas desigualdades, obtemos a desigualdade de Jensen. t Vejamos agora um exemplo de como aplicar a desigualdade de Jensen. Exemplo 5: (Olimpada Balcnica) Sejam n > 1 e a1 ,..., a n reais positivos com soma 1. Para cada i, seja bi =
j =1, j 1
a j . Prove que
a1 1+ b1
n + 1+ 2 + ...+ 1+ b b 2 n
n 2 n 1 .
a2 2 a2
+ ...+ 2 n a
n
n 2 n 1 x 2 x
f ( x) =
f (aj)
j =1
n f1 n
a j = nf j =1
n
( 1 ) = 2nn1 n
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 a1 ,..., a n reais positivos. Existem reais x1 ,..., x n tais que a j = ln x j para todo j. Como f ( x ) = ln x uma funo cncava, vem que
f ( x1 ) + ... + f ( x n ) n
ou seja,
x1 + ... + x n n
),
ln n x1 ... x n ln
x1 + ...+ x n n
Como f crescente, chegamos ao resultado desejado. t 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 a 3 + b 3 + abc 1 b 3 + c 3 + abc 1 c 3 + a 3 + abc 1 abc
2. (Desigualdade de Abel): Sejam a1 , ..., a n , b1 ,..., bn reais dados (n > 1), com a1 a 2 ... a n 0 . Se M e m so respectivamente o mximo e o mnimo do conjunto {b1 , b1 + b2 ,..., b1 + ... + bn } , prove que
com igualdade se e s se a1 = a2 = ... = a n .
xi x j xi + x j
Desigualdade entre as mdias aritmtica e geomtrica 5. (Torneio das Cidades) Sejam a, b e c reais positivos dados. Prove que
a3 a + ab + b 2
2
b3 b + bc + c 2
2
c3 c + ca + a 2
2
a +b+c 3
( a1 + b1 )( a2 + b2 )( a3 + b3 )
a1a 2 a3 + 3 b1b2 b3
xi2 = 1 .
i =1
Determine
o .
valor
mnimo
de
5 x2 x1 + x 3 + ...+ x n
+ ...+ x
5 xn 1 + x 2 + ...+ x n 1
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 + h1
h h2 h + h2
h h3 h + h3
h h4 h + h4
12 5
b3 c+d +a
c3 d +a+b
d3 a + b+ c
1 3
10. Sejam n > 1 e x1 , x 2 ,..., x n reais positivos cuja soma 1. Prove que
x1 1 x1
+ ...+
xn 1 x n
n n 1
x1 + ...+ x n n 1
11. Sejam x1 , x 2 ,..., x n reais pertencentes ao intervalo [0, 1] e tais que x1 + x 2 + ... + x n = a , com 0 < a < 1 . Prove que
1 a 1+ a
1 x1 1 x 2 1+ x1 1+ x 2
...
1 x n 1+ x n
( na ) n n+a
Outras Desigualdades (Desigualdade de Bernoulli): Sejam n um inteiro positivo e x 1 um real. Prove que ( 1 + x ) n 1 + nx .
12.
(Desigualdade entre as Mdias de Potncias): Sejam < reais positivos. Ento, para todos a1 , a2 ,..., a n reais positivos, vale
13.
(Desigualdade de Giroux): Sejam I1 ,..., I n intervalos fechados da reta e considere a funo f :I 1 ...I n R de n variveis, convexa separadamente em relao a
14.
cada varivel. Ento, se I j = [a j , b j ] , f atinge seu valor mximo em um dos 2 n pontos da forma ( c1 ,..., cn ) , com ci = a i ou bi para cada i. Prove isto e enuncie um resultado anlogo 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 x i 1 para 1 i n. Prove que
( x1 + x 2 +...+ x n ) ( x1 x 2 + x 2 x3 +...+ x n 1 x n + x n x1 )
16. Os trs itens a seguir visam derivar uma desigualdade difcil.
n 2
xy
xp p
yq q
, x, y 0
iii.
n a i bi a ip i =1 i =1
n
1/ p
n q bi i =1
1/ q
(Desigualdade de Minkowsky): Sejam a1 , a2 ,..., a n , b1 , b2 ,..., bn reais positivos e p um real maior que 1. Prove que
p
( a1 + b1 ) p +...+( a n + bn ) p
Sugesto: Faa ci = (a i + 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.