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 con!ecimento de clculo " #til ainda que no imprescindvel. Em tais ocasies indicamos ao leitor a refer$ncia %&' como bibliografia auxiliar. (ntes de discutirmos qualquer desigualdade em especial consideremos um exemplo preliminar.

+* +* +... + * Exemplo 1) Para todo inteiro positivo n prove que * + * + & , n

Soluo ) -e.a que para todo inteiro k / *
* + k * + *

* +

(log

n +* .

* + k * + +

+ ... +

* +k

>

* k +

+ k * ve0es

* * k + ...+ k + +

* +

Portanto sendo + k a maior pot$ncia de + menor ou igual a n temos

*+
* +

j =&

* j

*+

* +

* + * j =*+ + + j =&

+k

( +
k j =+
* +

j *

+*

+ ... +

* +j

>* + * + +

* +
j =+

=*+ k +

> 1as + k n < + k +* k log + n < k + * * + k +

" imediata.

(log

n + * e a desigualdade do enunciado

2 exemplo acima foi colocado de prop3sito. Ele c!ama ateno para o fato de que nem sempre precisamos de algo mais que raciocnio para resolver problemas envolvendo desigualdades. ( proposio abaixo mostra um pouco mais sobre como podemos derivar desigualdades interessantes com muito pouca matemtica.

Proposio 1 (Desigualdade do Rearranjo)) 4e.am a* < a+ < ... < a n reais positivos dados e considere a expresso S = a*b* + a + b+ + ...+a n bn onde 5 b* b+ ... bn 6 " uma reordenao de 5 a* a+ ... a n 6 . Ento
+ + + a*a n + a + a n * + ...+a n a* S a* + a+ + ...+a n

Prova ) -amos primeiro tornar S a maior possvel. 7omo s3 ! um n#mero finito 5 n fatorial6 de possveis reordenaes 5 b* b+ ... bn 6 ! uma delas que torna S mxima. 4upon!a ento que estamos com a reordenao 5 b* b+ ... bn 6 que torna S mxima. 8ueremos mostrar que essa reordenao " exatamente 5 a* a+ ... a n 6 . Para isso basta mostrarmos que deve ser b* < b+ < ... < bn . 4upon!a o contrrio i.e. que existam ndices i 9 j tais que bi > b j . Trocando as posies de bi e b j 5i.e. pondo bi ao lado de a j e b j ao lado de a i 6 S varia de a i b j + a j bi 5 a i bi + a j b j 6 = 5 a i a j 65 b j bi 6 > : quer di0er S aumenta. 1as isso contraria o fato de ser a reordenao 5 b* b+ ... bn 6 aquela que torna S

mxima. ;ogo b* < b+ < ... < bn e da bi = a i para todo i donde o maior valor possvel de S + + + " a* . + a+ + ...+a n 2 raciocnio para minimi0ar S " anlogo. Passemos agora a nosso principal ob.etivo o estudo de desigualdades especiais. ( mais importante destas " a dada pela proposio + abaixo. (ntes uma definio. Definio 1 ) <ados n / * reais positivos a* a + ... a n definimos
a + a + ...+ a n i. ( mdia aritmtica de a* a + ... a n como o n#mero * + . n

ii. ( mdia geomtrica de a* a + ... a n como o n#mero

a*a + ... a n .

Proposio 2 (Desigualdade Entre as Mdias Aritmti a e !eomtri a) ) <ados n / * reais positivos a* a + ... a n sua m"dia aritm"tica " sempre maior ou igual que a m"dia geom"trica ocorrendo a igualdade se e s3 se a* a+ ... a n forem todos iguais. Em smbolos)
a* + a + + ...+ a n n

a*a + ... a n

Prova ) =aamos a prova em dois passos)

i. ( desigualdade " verdadeira quando n for uma pot$ncia de + ocorrendo a igualdade se e

s3 se todos os n#meros forem iguais.

ii. ( desigualdade " verdadeira em geral e a igualdade ocorre se e s3 se os n#meros forem

todos iguais.

i. =aamos induo sobre k * sendo n = + k ) Para k > * temos

a* + a + +

a*a+ a* + a*a+ + a+ : 5 a* a+ 6+ : o que " verdade. ? igualdade se e

a* + a + + ...+ a n n

s3 se 5 a* a + 6 + = : i.e. se e s3 se a* = a + . 4e . provamos que

n = + k ento
5 a* +...+ a n 6 + 5 a n +* +...+ a + n 6 +n

n a*a + ... a n com igualdade se e s3 se a* = ... = a n para

* a* +...+ a n + n
n

a n +* +...+ a + n n

a* ...a n +

a n +* ...a + n

a*... a n

a n +*... a + n = + n a*... a n a n +*... a + n

Para !aver igualdade devemos ter igualdade em todas as passagens. Ento deve ser
a* + ...+ a n n
n

= n a*... a n
n

a n +* + ...+ a + n n

= n a n + *... a+ n e

a* ...a n +

a n +* ...a + n

= + n a*... a n a n + *... a + n

Para as duas primeiras igualdades segue da !ip3teses de induo que deve ser a* = ... = a n e a n +* = ... = a + n

( #ltima igualdade ocorre se e s3 se

implicam que devemos ter a* = ... = a n = a n +* = ... = a+ n . @ tamb"m evidente que se os n#meros forem todos iguais a igualdade ocorre.

a*... a n = n a n +*... a+ n . Estas duas condies .untas

ii. 4e.a agora n / * um natural qualquer e a* a + ... a n reais positivos. Tome k natural tal que + k > n. Asando a desigualdade entre as m"dias para os + k n#meros a* a+ ... a n
e + k n c3pias de a = n a*a+ ... a n obtemos
a* + ...+ a n + a + ...+ a +
k

+ a*... a n a +

+k

a na +

+k

a+ = a

e da a* + ...+a n + 5 + k n 6a + k a ou ainda dese.ada.

a* + ...+ a n n

a = n a* ... a n que era a desigualdade

Para !aver igualdade segue do item i que deve ser a* = ... = a n = a = ... = a . Em particular todos os n#meros a* a+ ... a n devem ser iguais. @ fcil ver que se esses n#meros forem todos iguais ento ! igualdade. "orol#rio 2.1 ) <ados n / * reais positivos a* a + ... a n temos

5 a* + a+ + ...+ a n 6

com igualdade se e s3 se a* a+ ... a n forem todos iguais.

* a*

* a+

+ ...+

* an

)n

Prova ) Basta aplicarmos duas ve0es a proposio + e multiplicarmos os resultados) * * * * n a* + a+ + ...+ a n n n a*a + ... a n e a* + a + + ...+ a n n a*a + ...a n

Exemplo 2 ) 5Olimpada Israelense6 4e.am k e n inteiros positivos n / *. Prove que

* kn * + kn*+* + ...+ kn + n * > n

Prova ) Basta ver que

n * * + n = kn + j j =:
n * j =:

n k +* k

* kn + j

+* =

n *

j=:

kn + j +* kn + j

> nn

n * j =:

kn + j +* kn + j

=nn

k +* k

onde aplicamos a desigualdade entre as m"dias aritm"tica e geom"trica uma ve0. Cote que kn + j + * como os n#meros kn + j so dois a dois distintos no ! igualdade ra0o do sinal / acima.

<entre todas as desigualdades especiais que temos oportunidade de usar em problemas de competies matemticas a desigualdade a seguir se constitui .untamente com a desigualdade entre as m"dias aritm"tica e geom"trica num dos dois mais importantes resultados a serem guardados. Proposio $ (Desigualdade de "au %&)) 4e.am a* ... a n b* ... bn reais dados no todos nulos 5n / *6. Ento

+ + D a*b* + ... + a n bn D a* +... + a n

+ + b* +... + bn

(l"m disso teremos a igualdade se e s3 se os a i e os bi forem proporcionais i.e. se e s3 se existir um real positivo tal que bi = ai para todo i. Prova ) 7onsidere o seguinte trinEmio do segundo grau f 5 x 6 = 5 a* x b* 6 + + 5 a + x b+ 6 + + ...+5 a n x bn 6 + <esenvolvendo os par$nteses c!egamos a
+ + + + + + f 5 x 6 = 5 a* + a+ + ...+a n 6 x + +5 a*b* + a+ b+ + ...+a n bn 6 x + 5 b* + b+ + ...+bn 6 Por ser uma soma de quadrados temos f 5 x 6 : para todo real x e da deve ser : i.e. + + + + + + ,5 a*b* + a + b+ + ...+a n bn 6 + ,5 a* + a+ + ...+a n 65 b* + b+ + ...+bn 6 7ancelando o fator , e extraindo a rai0 quadrada de ambos os membros c!egamos na desigualdade de 7auc!F. Examinemos agora a igualdade. 4e !ouver igualdade quer di0er se for = : ento o trinEmio tem uma rai0 real )

1as a todos os par$nteses devem ser nulos i.e. bi = ai para todo i. Ento !avendo igualdade os a i e bi devem ser proporcionais. @ evidente que se eles forem proporcionais a igualdade ocorre. Temos a seguir alguns corolrios importantes. "orol#rio $'( (Desigualdade entre as Mdias )uadr#ti a e Aritmti a) ) <ados reais temos
+ + + a* + a+ + ...+ a n n

5 a* b* 6 + + 5 a+ b+ 6+ + ...+5 a n bn 6+ = :

positivos a* ... a n

a* + a + + ..+ a n n

com igualdade se e s3 se

a* = ... = a n .
Prova =a0endo b* = b+ = ... = bn = * na desigualdade de 7auc!F obtemos
+ + a* + a + + ... + a n a* +... + a n

com igualdade se e s3 se existir um real positivo tal que ai = para todo i quer di0er se e s3 se os a i forem todos iguais. Para obter a desigualdade do enunciado basta dividir ambos os membros da desigualdade acima por n. "orol#rio 3.2 ) 4e n / * " inteiro e a* ... a n b* ... bn so reais positivos ento

com igualdade se e s3 se b* = ... = bn . Prova ) =aa xi =

ai bi

a* b*

+ ...+

an bn

) ( a b + ... + a b ) ( a + ... + a )
** n n * n

y i = ai bi e aplique a desigualdade de 7auc!F para os n#meros

x* ... x n y* ... y n .
Exemplo 3 ) 5Teste de Seleo da Rom nia para I!O6 4e.am x* x + ... x n +* reais positivos tais que x* + x + + ...+ x n = x n +* . Prove que

x* 5 x n +* x* 6 + ...+ x n 5 x n +* x n 6 x n +* 5 x n +* x* 6 + ...+ x n +* 5 x n +* x n 6 Prova ) Para * j n se.a y j = x n +* x j . Pela desigualdade de 7auc!F

temos
x* y* +...+ x n y n x* +...+x n y* + ...+ yn =

x n +* 5 x n +* x* 6 + ...+ 5 x n +* x n 6

Temos mais duas desigualdades importantes. Proposio * ("%e+& %ev)) 4e.am a* ... a n b* ... bn reais com a* a + ... a n e b* b+ ... bn . Ento

a* + a + + ...+ a n n

)(

b* + b+ +...+ bn n

a*b* + a + b+ + ...+ a n bn n

com igualdade se e s3 se a* = a + = ... = a n ou b* = b+ = ... = bn . Prova )

a*b* + a + b+ + ...+ a n bn n

a* + a + + ...+ a n n

)(

b* + b+ + ...+ bn n

)=

* n+

[ n( a*b* + a+b+ + ...+an bn ) ( a* + a+ + ...+an )( b* + b+ + ...+bn ) ] =

>
* n+ i j =*

5 ai a j 65 bi b j 6 :

. que os ai bi so igualmente ordenados. Cote que a condio do enunciado " suficiente para !aver igualdade. Por outro lado supon!a que ten!amos a igualdade. 7omo 5 ai a j 65 bi b j 6 : para todos i j devemos ter 5 a i a j 65 bi b j 6 = : para todos os i j. 4upon!a que existisse um ndice k com bk < bk +* . Ento b* ... bk < bk +* ... bn e de 5 a i a k +* 65 bi bk +* 6 = : segue que ai = a k +* 5 ai a k 65 bi bk 6 = : e i > k para i k. Portanto a* = a + = ... = a k = a k +* . <e conclumos que a k +* = ... = a n . ;ogo todos os a i devem ser iguais.

"orol#rio 4.1 ) 4e.am a* a + ... a n reais positivos e k um natural. Ento

k k k a* + a+ + ...+ a n n

com igualdade se e s3 se todos os a i forem iguais ou k G: *H. Prova ) Por induo o resultado acima " trivialmente verdadeiro para k > *. 4upon!a k / * e o resultado vlido para k " *. 7omo ambos os membros da desigualdade acima so invariantes por permutaes dos ndices * + ... n podemos supor sem perda de generalidade que k * k * k * a* a + ... a n . <a a* e da desigualdade de 7!ebFc!ev obtemos a+ ... a n
k k k a* + a+ + ...+ a n n

a* + a + + ...+ a n k n

a* + a + + ...+ a n n

k * k * k * a* + a+ + ... + a n . n

Pela !ip3tese de induo vem que

k * k * k * a* + a+ + ... + a n n

a* + a + + ... + a n k * . 7ombinando as n

duas desigualdades acima segue o resultado. ( condio de igualdade " 3bvia a partir da desigualdade de 7!ebFc!ev. Por fim ve.amos algo um pouco mais sofisticado. Definio , ) 4e.a I um intervalo da reta e f ) I R uma funo. ( funo f " dita

i. #on$exa se ii. #%nca$a se

( ) f( )
x +y + x +y +

f 5 x 6+ f 5 y 6 + f 5 x 6+ f 5 y 6 +

para todos os x y em I. para todos os x y em I.

Cas aplicaes quase sempre lidamos com funes contnuas 5se voc$ no sabe o que vem a ser uma funo contnua pense na mesma como uma funo cu.o grfico no sofre interr&p'es o& saltos ao longo de seu domnio6. 4e f for contnua a proposio a seguir " geometricamente evidente. ( 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 ) 4e.am f ) I I uma funo. Ento)
%: *' tivermos i. f " convexa se e s3 se para todos x y em I e todo t f ( ( * t ) x + ty ) ( * t ) f ( x ) + tf ( y ) ii. f " convexa se e s3 se para todos x y em I e todo t %: *' tivermos f ( ( * t ) x + ty ) ( * t ) f ( x ) + tf ( y )

=aamos o caso em que f " convexa. 2 outro caso " anlogo. 2bserve que ( * t ) x + ty % x y ' I e que no trap"0io abaixo (* t ) f ( x ) + tf ( y ) " o comprimento da paralela Js bases pelo ponto ( * t ) x + ty

f (-)

- . ( 1 t ) x + t&

&

Prova ) 4upon!a primeiro que f satisfa0 a condio do item i. Tomando t = * + conclumos que f " convexa. Ieciprocamente supon!a que f se.a convexa. <ados x y em I temos
f

x +& y ,

x+y + y = f ++

( ) + f ( y)
x+y +

f ( x) + f ( y) +

+ f ( y)

* ,

& f ( x) + , f ( y ) Trocando x por y e

raciocinando como acima segue que para

t :

* * & , + ,

f ( ( * t ) x + ty ) ( * t ) f ( x ) + tf ( y ) 5K6

Por induo sobre k inteiro positivo podemos concluir de maneira anloga que 5K6 continua onde : m + k " inteiro. 7omo todo real em %: *' " limite de uma seqL$ncia de n#meros dessa forma segue que 5K6 continua vlida para todo t em %: *'. vlida para todo t da forma (s afirmaes a seguir so agora bastante evidentes e vo ser nosso principal guia quando quisermos decidir se uma dada funo " ou no convexa ou cEncava.
m +k

i. 4e para todos a 9 b em I o grfico de f entre as retas x ( a e x ( b estiver abaixo da reta

que passa por 5 a f 5 a 66 5 b f 5 b66 ento f " convexa e reciprocamente.

ii. 4e para todos a 9 b em I o grfico de f entre as retas x ( a e x ( b estiver acima da reta que
passa por 5 a f 5 a 66 5 b f 5 b66 ento f " cEncava e reciprocamente. ( figura abaixo para se convencer da valide0 desse resultado no caso em que f " convexa.

& . f(x)

( / e)

( / d)

Cele c =
f
b ( a+ + )

a +b + . @ evidente que d = f 5 a 6 + f 5 b6 e f " convexa. +

f 5c6 = f

b ( a+ + )

e e=

f 5 a 6 + f 5 b6 +

. <a

Para n3s a importMncia dessa discusso sobre funes cEncavas e convexas reside na seguinte) Proposio 0 (Desigualdade de 1ensen)) 4e.am I um intervalo da reta e f ) I I uma funo. 4e x* ... x n I e t* ... t n %: *' com t* + ... + t n = * ento t* x* + ... + t n x n I e i. f convexa f ( t* x* + ... + t n x n ) t* f ( x* ) + ... + t n f ( x n )

ii. f cEncava f ( t* x* + ... + t n x n ) t* f ( x* ) + ... + t n f ( x n )

Prova ) =aamos a prova por induo sobre n / * para o caso em que f " convexa sendo o outro caso anlogo. 2 caso n > + " nossa !ip3tese. 4upon!a agora que para um certo n / * e todos x* ... x n I e t* ... t n %: *' com t* + ... + t n = * ten!amos t* x* + ...+t n x n I e f ( t* x* + ... + t n x n ) t* f ( x* ) + ... + t n f ( x n )

7onsidere agora x* ... x n +* I e t* ... t n +* %: *' com t* + ... + t n +* = * . 4e t n +* = * ento t* = ... = t n = : e nada ! a fa0er. 4eno defina

y=
t

t* x* + ... + t n x n * t n +*

= s*x* + ... + sn x n

j onde s j = *t . 7omo s* + ...+ sn = * segue da !ip3tese de induo que y I . <a n +*

f ( t* x* + ... + t n + * x n + * ) =

( * tn +*) f

t* x* + ... + t n x n * t n + *

)+t

n + *x n + *

= f ( * t n +* ) y + t n +* x n +* ( * t n +* ) f 5 y 6 + t n +* f 5 x n +* 6

. que f " convexa. (plicando a outra metade da !ip3tese de induo obtemos

f ( y ) = f ( s* x* + ... + sn x n ) s* f ( x* ) + ...+ sn f ( x n ) =

t* * t n +*

f ( x* ) + ...+ * tn
t

n +*

f ( xn )

Nuntando essas duas desigualdades obtemos a desigualdade de Nensen. -e.amos agora um exemplo de como aplicar a desigualdade de Nensen. Exemplo 5) 5Olimpada )alc*nica6 4e.am n / * e a* ... a n reais positivos com soma *. n a* a an Para cada i se.a bi = a j . Prove que + *+ + + ...+ *+ b + nn* . * + b b * + n j =* j * Prova ) -e.a que b j =* + (* a j ) = + a j e ento temos de provar que
a* + a*

a+ + a+

+ ...+ + n a
n

n + n *
x +x

R dada por f ( x ) = (firmamos que a funo f ) ( + )

" convexa. Para ver isso

basta escrever f ( x ) =

+ +x

* e esboar o grfico de f como abaixo.

Portanto temos pela desigualdade de Nensen que

f (a j)
j =*

* n f n

* a j = nf ( n ) j =*

n + n *

Exemplo 6 ) Atili0ando a funo logaritmo natural e a desigualdade de Nensen vamos dar outra prova da desigualdade entre as m"dias aritm"tica e geom"trica.

Prova ) 4e.am a* ... a n reais positivos. Existem reais x* ... x n tais que a j = ln x j para todo j. 7omo f ( x ) = ln x " uma funo cEncava vem que
f ( x* ) + ... + f ( x n ) n

ou se.a

x* + ... + x n n

ln n x* ... x n ln

x* + ...+ x n n

7omo f " crescente c!egamos ao resultado dese.ado. -ale notar para quem tem familiaridade com derivadas que " possvel provar que se f O O existe ento f " convexa se e s3 se f O O 5 x 6 : para todo x em I e f " cEncava se e s3 se f O O 5 x 6 : para todo x em I. =inali0amos este artigo com alguns problemas onde procuramos oferecer oportunidade de exercitar o que foi aprendido no texto al"m de desenvolver um pouco mais a teoria. @ bom salientar que em alguns deles mais de uma desigualdade pode ser usada. Pro+lemas onde no pre isamos das desigualdades a ima/ mas de riatividade 1. 5Olimpada +mericana6) Prove que para todos a b c reais positivos temos * * * + + * a & + b & + abc b & + c & + abc c & + a & + abc abc

2. 5,esig&aldade de +bel6) 4e.am a* ... a n b* ... bn reais dados 5n / *6 com a* a + ... a n : . 4e ! e m so respectivamente o mximo e o mnimo do con.unto Gb* b* + b+ ... b* + ... + bn H prove que ma* a*b* + a + b+ + ...+a n bn !a* com igualdade se e s3 se a* = a+ = ... = a n . 3. 5Teste de Seleo de Singap&ra para I!O6) Prove que quaisquer que
se.am os reais positivos a- b e c tem-se
c a + ab + b + + a b + bc + c + b a + + ac + c +

4. 5)anco I!O6) 4e.am n / * um inteiro dado. <etermine o maior valor

possvel da soma
*i < j n

xi x j ( xi

+x j

sobre todas as n"uplas x* ... x n de reais no

negativos cu.a soma " *.

Desigualdade entre as mdias aritmti a e geomtri a 5. 5Torneio das #idades6 4e.am a b e c reais positivos dados. Prove que a& b& c& a + b+ c + + + + + + + + & a + ab + b b + bc + c c + ca + a

6. <ados os reais positivos a* a + a& b* b+ b& prove que

&

( a* + b* )( a+ + b+ )( a& + b& )

&

a*a + a& + & b*b+ b&

Desigualdades de "%e+& %ev/ 1ensen e "au %&

7. 5Olimpada T&rca6 4e.am n / * inteiro e x* ... x n reais positivos tais

que

x i+ = * .
i =*

<etermine

valor

mnimo

de

P x* x + + x & + ...+ x n

P x+ x* + x & + ...+ x n

+ ...+ x

P xn . * + x + + ...+ x n *

8. 5Olimpada Romena6) 4e.a . a altura de um tetraedro regular e .* .+ .& ., as distMncias desde um ponto / em seu interior Js faces do tetraedro. Prove
que
. .* . + .*

. .+ . + .+

. .& . + .&

. ., . + .,

*+ P

9. 5)anco I!O6 ) 4e.am a b c d reais no negativos tais que ab + bc + cd + da = * . Prove que

a& b+ c + d

b& c+ d +a

c& d +a+b

d& a + b+ c

* &

10. 4e.am n / * e x* x + ... x n reais positivos cu.a soma " *. Prove que
x* * x*

+ ...+

xn * x n

n n *

x* + ...+ x n n *

11. 4e.am x* x + ... x n reais pertencentes ao intervalo %: *' e tais que x* + x + + ... + x n = a com : < a < * . Prove que
* a *+ a

* x* * x + *+ x* *+ x +

... *+ x n
n

* x

( nn + aa ) n

2utras Desigualdades 5,esig&aldade de )erno&lli6) 4e.am n um inteiro positivo e x * um real. Prove que ( * + x ) n * + nx .

12. 13.

5,esig&aldade entre as !dias de /ot ncias6) 4e.am < reais positivos. Ento para todos a* a + ... a n reais positivos vale
a + a + ... + a n +a + + ... + a n a* * +n n * *

com igualdade se e s3 se a* a + ... a n forem todos iguais.

14.

5,esig&aldade de 0iro&x6) 4e.am I* ... I n intervalos fec!ados da reta

... In R de n variveis convexa separadamente em e considere a funo f )I * relao a cada varivel. Ento se I j = %a j b j ' f atinge seu valor mximo em um dos + n pontos da forma 5 c* ... c n 6 com ci = ai ou bi para cada i. Prove isto e enuncie um resultado anlogo J desigualdade de Qiroux para uma funo de n variveis f cEncava separadamente em relao a cada varivel. 15. 5Olimpada )1lgara6) 4e.am n + um inteiro e : x i * para * i n. Prove que
5 x* + x + +...+ x n 6 5 x* x + + x + x& +...+ x n * x n + x n x* 6
n +

16. 2s tr$s itens a seguir visam derivar uma desigualdade difcil. * * i. 5,esig&aldade de 2o&ng6) 4e.am p e 3 reais positivos tais que p + 3 = * . Prove que

xy
positivos e p 3 reais positivos tais que

xp p
* p

y3 3

x y :
*R p *R 3

ii. 5,esig&aldade de 4older6) 4e.am a* a + ... a n b* b+ ... bn reais

+* 3 = * . Prove que

i =*

n p a i bi ai i =*

n 3 bi i =*

5,esig&aldade de !inko5sky6) 4e.am a* a + ... a n b* b+ ... bn reais positivos e p um real maior que *. Prove que

iii.

( a*

p p +b* ) p + ...+ ( a n +bn ) p p a*p + ...+a n +p b*p + ...+bn

Sugesto: =aa ci > 5a i + bi 6 p * e use o tem anterior para 5ai6 e 5ci6 e para 5bi6 e 5ci6.

Refernc !s: %*' 4!SlarsSF <. 2. 7!ent0ov C. C. e Taglom U. 1. T!e A44I 2lFmpiad Problem BooS. <over. Toronto *VV&. %+' Iousseau 7. e ;o0ansSF E. Winning 4olutions. 4pringer--erlag *VVX.

%&' ;ima Elon ;. (nlise Ieal vol. *. U1P( *VVP.