Polos Olmpicos de Treinamento

Curso de lgebra - Nvel 3

Prof. Antonio Caminha
Aula
1
Desigualdades 1
Nesta aula, aprenderemos e exercitaremos a desigualdade entre as medias aritmetica e
geometrica e a desigualdade de Cauchy, bem como alguns corol arios seus. Para saber mais
sobre o conte udo desta aula, sugerimos as se coes 7.1 a 7.3 de [1], 2.3 e 2.4 de [3] e a se cao
5.5 de [4].
A observacao b asica para o estudo sistematico de desigualdades e o fato do quadrado
de todo n umero real ser n ao negativo, sendo igual a zero se e s o se o n umero em questao for
tambem igual a zero. Portanto, para x, y R temos (|x| |y|)
2
0, ocorrendo a igualdade
se e s o se |x| = |y|. Desenvolvendo a express ao entre parenteses, conclumos que
x
2
+ y
2
2
|xy|, (1)
ocorrendo a igualdade se e s o se |x| = |y|. Assim, partindo de dois n umeros reais positivos
a e b e fazendo x =

a 0 e y =

b 0, segue da desigualdade acima que

a + b
2

ab, (2)
ocorrendo a igualdade se e s o se

a =

b, i.e., se e s o se a = b.
Exemplo 1. Para x, y, z reais positivos, temos
x
2
+ y
2
+ z
2
xy + xz + yz, (3)
ocorrendo a igualdade se, e somente se, x = y = z.
Prova. Para obter a desigualdade do enunciado, basta somar membro a membro as desi-
gualdades parciais (obtidas a partir de (2))
x
2
+ y
2
2
xy,
x
2
+ z
2
2
xz,
y
2
+ z
2
2
yz.
Se x = y = z, entao a desigualdade do enunciado e claramente uma igualdade. Reci-
procamente, se ao menos uma das desigualdades acima for estrita, digamos
x
2
+y
2
2
> xy,
entao, ap os somarmos as mesmas membro a membro, obteremos
x
2
+ y
2
+ z
2
> xy + xz + yz.
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
A desigualdade (2) e um caso particular da desigualdade entre as medias aritmetica
e geometrica. A m de enunciar e provar tal generaliza cao precisamos, inicialmente, da
seguinte
Denicao 2. Para n > 1 n umeros reais positivos a
1
, a
2
, . . . , a
n
, denimos sua:
(a) Media aritmetica como o n umero
a
1
+a
2
++an
n
.
(b) Media geometrica como o n umero
n

a
1
a
2
. . . a
n
.
No contexto da denicao acima, o que zemos em (2) foi mostrar que a media aritmetica
de dois reais positivos e sempre maior ou igual que sua media geometrica, ocorrendo a
igualdade somente se os dois n umeros forem iguais. Estabelecemos o caso geral no resultado
a seguir, sendo (4) conhecida como a desigualdade entre as medias.
Teorema 3. Dados n > 1 reais positivos a
1
, a
2
, . . . , a
n
, temos
a
1
+ a
2
+ + a
n
n

n

a
1
a
2
a
n
, (4)
ocorrendo a igualdade se e s o se a
1
= a
2
= = a
n
.
Para entender a din amica da prova do teorema acima, analisemos separadamente os
casos n = 3 e n = 4, come cando com o caso n = 4. Para tanto, dados reais positivos
a, b, c, d, ja sabemos que
a+b
2

ab e
c+d
2

cd. Da,
a + b + c + d
4
=
a+b
2
+
c+d
2
2

ab +

cd
2

_

ab

cd =
4

abcd.
Mostramos, acima, que
a+b+c+d
4

4

abcd. Escrevendo tal desigualdade com

3

abc no
lugar de d, obtemos
a + b + c +
3

abc
4

4
_
abc
3

abc =
4

d
3
d = d =
3

abc.
Segue, da, a desigualdade a +b +c +
3

abc 4
3

abc, ou, o que e o mesmo,

a+b+c
3

3

abc.
Conforme veremos a seguir, a prova da vers ao geral da desigualdade entre as medias e
uma adapta cao dos argumentos utilizados para os dois casos acima.
Prova do Teorema 3. Inicialmente, provemos por inducao que a desigualdade desejada
e verdadeira sempre que n for uma potencia de 2, ocorrendo a igualdade se e s o se a
1
=
a
2
= = a
n
. Para tanto, temos de vericar o caso inicial n = 2 (o que ja foi feito ao longo
da discussao que estabeleceu (2)), formular a hip otese de inducao (para n = 2
j
, digamos)
e executar o passo de inducao (deduzir o caso n = 2
j+1
a partir do caso n = 2
j
). Mas
desde que 2
j+1
= 2 2
j
, basta supormos que a desigualdade seja verdadeira para quaisquer
k reais positivos, com igualdade se e s o se os k n umeros forem todos iguais, e deduzir a
partir da que ela tambem ser a verdadeira para quaisquer 2k reais positivos, com igualdade
2
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
novamente se e s o se todos os n umeros forem iguais. Para estabelecer esse fato, considere
os 2k reais positivos a
1
, a
2
, . . . , a
2k
. Entao:
1
2k
2k

j=1
a
j
=
1
2
_
_
1
k
k

j=1
a
j
+
1
k
k

j=1
a
k+j
_
_

1
2
_
k

a
1
. . . a
k
+
k

a
k+1
. . . a
2k
_

_
k

a
1
. . . a
k
k

a
k+1
. . . a
2k
=
2k

a
1
. . . a
k
a
k+1
. . . a
2k
.
Para haver igualdade, devemos ter igualdade em todas as passagens. Entao, deve ser
a
1
+ + a
k
k
=
k

a
1
. . . a
k
,
a
k+1
+ + a
2k
k
=
k

a
k+1
. . . a
2k
e
k

a
1
. . . a
k
+
k

a
k+1
. . . a
2k
2
=
_
k

a
1
. . . a
k
k

a
k+1
. . . a
2k
.
Para as duas primeiras igualdades, devemos ter por hip otese que a
1
= = a
k
e a
k+1
=
= a
2k
. Por m, a ultima igualdade ocorre se e s o se
k

a
1
. . . a
k
=
k

a
k+1
. . . a
2k
, e esta
condi cao, juntamente com as duas anteriores, implica que devemos ter a
1
= = a
k
=
a
k+1
= = a
2k
.

E tambem evidente que, se os n umeros forem todos iguais, entao a
igualdade ocorre (verique!). Logo, por inducao temos (4) verdadeira, com a condi cao para
a igualdade dada no enunciado, sempre que n for uma potencia de 2.
Provemos agora, por inducao forte, que a desigualdade e verdadeira em geral, ocorrendo
a igualdade se e s o se os n umeros forem todos iguais. Para tanto, seja n > 1 natural e
a
1
, a
2
, . . . , a
n
reais positivos dados. Tome k N tal que 2
k
> n. Aplicando a desigualdade
entre as medias aos n n umeros a
1
, a
2
, . . . , a
n
, juntamente com 2
k
n copias do n umero
a =
n

a
1
a
2
. . . a
n
(totalizando n + (2
k
n) = 2
k
n umeros), obtemos
a
1
+ + a
n
+ a + + a
2
k

2
k
_
a
1
. . . a
n
a
2
k
n
=
2
k
_
a
n
a
2
k
n
=
2
k
_
a
2
k
= a.
A partir da, obtemos a
1
+ a
2
+ + a
n
+ (2
k
n)a 2
k
a ou, ainda,
a
1
+ a
2
+ + a
n
n
a =
n

a
1
a
2
. . . a
n
.
Para haver igualdade, segue da primeira parte que a
1
= a
2
= = a
n
= a = = a.
Em particular, todos os n umeros a
1
, a
2
, . . . , a
n
devem ser iguais. Finalmente, e facil ver
que se esses n umeros forem todos iguais, entao haver a igualdade.
Exemplo 4. Para n > 1 reais positivos a
1
, a
2
, . . . , a
n
, temos
(a
1
+ a
2
+ + a
n
)
_
1
a
1
+
1
a
2
+ +
1
a
n
_
n
2
, (5)
ocorrendo a igualdade se e s o se a
1
= a
2
= = a
n
.
3
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
Prova. Aplicando duas vezes a desigualdade entre as medias, temos
(a
1
+ a
2
+ + a
n
)
_
1
a
1
+
1
a
2
+ +
1
a
n
_
(n
n

a
1
a
2
a
n
)
_
n
n
_
1
a
1

1
a
2

1
a
n
_
= n
2
.
Para haver a igualdade, devemos ter a
1
+ a
2
+ + a
n
= n
n

a
1
a
2
a
n
, donde a
1
= a
2
=
= a
n
. Reciprocamente, e imediato vericar que se todos os n umeros forem iguais, entao
teremos igualdade em (5).
Exemplo 5 (

Asia-Pacco). Se a, b e c s ao reais positivos, prove que

_
1 +
a
b
_
_
1 +
b
c
_
_
1 +
c
a
_
2
_
1 +
a + b + c
3

abc
_
.
Prova. Desenvolvendo o primeiro membro, obtemos
_
1 +
a
b
_
_
1 +
b
c
_
_
1 +
c
a
_
= 2 +
a + c
b
+
b + c
a
+
a + b
c
,
donde basta mostrarmos que
a + c
b
+
b + c
a
+
a + b
c

2(a + b + c)
3

abc
.
Denotando por S o primeiro membro da express ao acima, segue da desigualdade entre
as medias e de (5) que
S = (a + b + c)
_
1
a
+
1
b
+
1
c
_
3
=
2
3
(a + b + c)
_
1
a
+
1
b
+
1
c
_
+
1
3
(a + b + c)
_
1
a
+
1
b
+
1
c
_
3

2
3
(a + b + c)
_
3
3

abc
_
+
1
3
9 3
=
2(a + b + c)
3

abc
.
Voltando a (1), suponha dados n umeros reais a
1
, a
2
, a
3
e b
1
, b
2
, b
3
, tais que a
2
1
+a
2
2
+a
2
3
=
1 e b
2
1
+ b
2
2
+ b
2
3
= 1. Temos
a
2
1
+ b
2
1
|a
1
b
1
|, a
2
2
+ b
2
2
|a
2
b
2
|, a
2
3
+ b
2
3
|a
3
b
3
|, (6)
ocorrendo a igualdade se e s o se |a
1
| = |b
1
|, |a
2
| = |b
2
|, |a
3
| = |b
3
|. Somando membro a
membro as desigualdades acima, obtemos
(a
2
1
+ a
2
2
+ a
2
3
) + (b
2
1
+ b
2
2
+ b
2
3
) = (a
2
1
+ b
2
1
) + (a
2
2
+ b
2
2
) + (a
2
3
+ b
2
3
)
2(|a
1
b
1
| +|a
2
b
2
| +|a
3
b
3
|)
2|a
1
b
1
+ a
2
b
2
+ a
3
b
3
|,
4
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
onde, na ultima desigualdade, aplicamos a desigualdade triangular para tres n umeros (cf.
Problema 1).
Portanto, provamos acima que, se a
2
1
+ a
2
2
+ a
2
3
= 1 e b
2
1
+ b
2
2
+ b
2
3
= 1, entao
|a
1
b
1
+ a
2
b
2
+ a
3
b
3
| 1. (7)
A igualdade ocorre se e s o se tivermos igualdade tanto nas desigualdades em (6) quanto
na desigualdade triangular utilizada, i.e., se e s o se |a
1
| = |b
1
|, |a
2
| = |b
2
| e |a
3
| = |b
3
| e,
alem disso, a
1
b
1
, a
2
b
2
, a
3
b
3
0 ou a
1
b
1
, a
2
b
2
, a
3
b
3
0. Mas e imediato vericar que tais
condi coes s ao equivalentes a a
1
= b
1
, a
2
= b
2
e a
3
= b
3
.
Considere, agora, n umeros reais a
1
, a
2
, a
3
e b
1
, b
2
, b
3
quaisquer, exceto pelo fato de que
pelo menos um dos n umeros a
1
, a
2
, a
3
e pelo menos um dos n umeros b
1
, b
2
, b
3
s ao n ao nulos.
Fazendo c =
_
a
2
1
+ a
2
2
+ a
2
3
e d =
_
b
2
1
+ b
2
2
+ b
2
3
, temos c, d > 0; portanto, se x
i
=
a
i
c
e
y
i
=
b
i
d
, para 1 i 3, temos x
2
1
+x
2
2
+x
2
3
=
a
2
1
+a
2
2
+a
2
3
c
2
= 1 e, analogamente, y
2
1
+y
2
2
+y
2
3
= 1.
Segue, pois, de (7) que
|x
1
y
1
+ x
2
y
2
+ x
3
y
3
| 1,
com igualdade se e s o se x
i
= y
i
para 1 i 3.
Substituindo as denicoes de x
i
e y
i
na desigualdade acima, conclumos ser ela equiva-
lente `a desigualdade
|a
1
b
1
+ a
2
b
2
+ a
3
b
3
| cd =
_
a
2
1
+ a
2
2
+ a
2
3
_
b
2
1
+ b
2
2
+ b
2
3
.
Ademais, h a igualdade se e s o se a
i
=
c
d
b
i
para 1 i 3.
A discussao acima estabeleceu, para n = 3, a desigualdade do teorema a seguir, conhe-
cida como a desigualdade de Cauchy.
Teorema 6 (Cauchy). Sejam n > 1 inteiro e a
1
, a
2
, . . . , a
n
, b
1
, b
2
, . . . , b
n
n umeros reais
dados. Entao

j=1
a
j
b
j

_
n

j=1
a
2
j

_
n

j=1
b
2
j
, (8)
ocorrendo a igualdade se e s o se os a
i
e os b
i
forem respectivamente proporcionais, i.e., se
e s o se existir um real n ao nulo tal que a
1
= b
1
, a
2
= b
2
, a
n
= b
n
.
Prova. Se todos os a
i
ou todos os b
i
forem iguais a zero, nada h a a fazer. Sen ao, a m de
estabelecer (8), basta seguir os passos do caso particular n = 3 discutido acima, tomando
o cuidado de, no momento oportuno, utilizar o caso geral da desigualdade triangular.
Os dois exemplos a seguir ilustram a utiliza cao da desigualdade de Cauchy.
Exemplo 7 (Romenia). Sejam x
1
, x
2
, . . ., x
n+1
reais positivos tais que x
1
+x
2
+ +x
n
=
x
n+1
. Prove que
_
x
1
(x
n+1
x
1
) + +
_
x
n
(x
n+1
x
n
)
_
x
n+1
(x
n+1
x
1
) + + x
n+1
(x
n+1
x
n
).
5
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
Prova. Para 1 j n seja y
j
= x
n+1
x
j
. Pela desigualdade de Cauchy, temos

x
1
y
1
+ +

x
n
y
n

x
1
+ + x
n

y
1
+ + y
n
=

x
n+1
_
(x
n+1
x
1
) + + (x
n+1
x
n
).
Exemplo 8. Dados n umeros reais a
1
, . . . , a
n
e b
1
, . . . , b
n
, temos

_
n

j=1
(a
j
+ b
j
)
2

_
n

j=1
a
2
j
+

_
n

j=1
b
2
j
, (9)
ocorrendo a igualdade se e s o se a
1
, . . . , a
n
e b
1
, . . . , b
n
forem positivamente proporcionais,
i.e., se e s o se existir um real positivo , tal que a
i
= b
i
para 1 i n.
Prova. Facamos a prova para n = 3, sendo o caso geral inteiramente an alogo. Uma vez
que ambos os membros de (9) s ao reais n ao negativos, basta mostrar que o quadrado do
primeiro membro e menor ou igual que o quadrado do segundo membro, i.e., que
(a
1
+ b
1
)
2
+ (a
2
+ b
2
)
2
+ (a
3
+ b
3
)
2

_
_
a
2
1
+ a
2
2
+ a
2
3
+
_
b
2
1
+ b
2
2
+ b
2
3
_
2
.
Desenvolvendo todos os quadrados (a
i
+b
i
)
2
, segue que o quadrado do primeiro membro
e igual a
(a
2
1
+ 2a
1
b
1
+ b
2
1
) + (a
2
2
+ 2a
2
b
2
+ b
2
2
) + (a
2
3
+ 2a
3
b
3
+ b
2
3
).
Analogamente, o quadrado do segundo membro e igual a
(a
2
1
+ a
2
2
+ a
2
3
) + 2
_
a
2
1
+ a
2
2
+ a
2
3
_
b
2
1
+ b
2
2
+ b
2
3
+ (b
2
1
+ b
2
2
+ b
2
3
).
Mas, como em ambas as express oes temos a parcela (a
2
1
+ a
2
2
+ a
2
3
) + (b
2
1
+ b
2
2
+ b
2
3
), a
desigualdade do enunciado e equivalente a
2(a
1
b
1
+ a
2
b
2
+ a
3
b
3
) 2
_
a
2
1
+ a
2
2
+ a
2
3
_
b
2
1
+ b
2
2
+ b
2
3
,
a qual e, precisamente, a desigualdade de Cauchy.
A deducao das condi coes para a igualdade ca a cargo do leitor.
Problemas
1. * Dados n umeros reais n ao nulos x
1
, x
2
, . . . x
n
, prove a desigualdade triangular:
|x
1
+ x
2
+ + x
n
| |x
1
| +|x
2
| + +|x
n
|,
ocorrendo a igualdade se e s o se x
1
, x
2
, . . . , x
n
tiverem um mesmo sinal.
6
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
2. (OBM). Sejam a, b, c reais positivos dados. Prove que
(a + b)(a + c) 2
_
abc(a + b + c).
3. Dispomos de uma folha de cartolina de 2m por 3m e queremos construir com a mesma
uma caixa aberta com o maior volume possvel. Quais devem ser as dimensoes da
caixa? Justique sua resposta.
4. (Estados Unidos). Prove que, para todos a, b, c reais positivos, tem-se
1
a
3
+ b
3
+ abc
+
1
b
3
+ c
3
+ abc
+
1
c
3
+ a
3
+ abc

1
abc
.
Para os dois problemas a seguir precisamos de um pouco de geometria Euclidiana
plana. Mais precisamente (cf. Figura 1), sendo a = BC, b = AC e c = AB os
comprimentos dos lados de um tri angulo ABC, existem x, y, z > 0 tais que a = y +z,
b = x + z e c = x + y: basta tomar x, y e z como sendo iguais aos comprimentos
dos segmentos determinados sobre os lados de ABC pelos pontos de tangencia com
os mesmos do crculo inscrito em ABC (para uma prova de tais armacoes, veja o
Captulo 3 de [2]). No contexto de desigualdades envolvendo os lados a, b e c de
um tri angulo, a substituicao dos mesmos respectivamente por y + z, x + z e x + y e
conhecida como a transformacao de Ravi.
A
B
C
I
x
x
y
y
z
z
Figura 1: a transforma c ao de Ravi.
5. (IMO). Se a, b, c s ao os comprimentos dos lados de um tri angulo, prove que
abc (a + b c)(b + c a)(c + a b).
6. Sejam a, b, c os comprimentos dos lados de um tri angulo. Prove que
a
b + c a
+
b
c + a b
+
c
a + b c
3.
7. (Baltic Way). Sejam a, b, c, d reais positivos dados. Prove que
a + c
a + b
+
b + d
b + c
+
c + a
c + d
+
d + b
d + a
4.
7
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
8. (Uniao Sovietica). Sejam a, b, c reais positivos. Prove que
(ab + ac + bc)
2
3abc(a + b + c).
9. Sejam a, b e c reais positivos dados. Prove que 9(a
3
+ b
3
+ c
3
) (a + b + c)
3
.
10. Dados a, b, c reais positivos, prove que
a
4
(1 + b
4
) + b
4
(1 + c
4
) + c
4
(1 + a
4
) 6a
2
b
2
c
2
,
com igualdade se e s o se |a| = |b| = |c| = 1.
11. Sejam a
1
, a
2
, . . . , a
n
reais positivos. Prove que
a
1
a
2
+
a
2
a
3
+
a
3
a
4
+ +
a
n1
a
n
+
a
n
a
1
n.
12. O proposito deste problema e apresentar uma segunda demonstra cao da desigualdade
(5), a qual n ao faz uso da desigualdade (4). Para tanto, faca os dois itens a seguir:
(a) Mostre que
(a
1
+ a
2
+ + a
n
)
_
1
a
1
+
1
a
2
+ +
1
a
n
_
= n +

i<j
_
a
i
a
j
+
a
j
a
i
_
.
(b) Aplique a desigualdade entre as medias para cada uma das parcelas
a
i
a
j
+
a
j
a
i
do
somat orio acima e obtenha (5).
13. (Romenia). Sejam n > 1 inteiro e 0 < a
1
< a
2
< < a
n
reais dados. Prove que
1
2
a
1
+
2
2
a
2
+ +
n
2
a
n

n
a
1
+
n 1
a
2
a
1
+
n 2
a
3
a
2
+ +
1
a
n
a
n1
.
Sob que condi coes a igualdade ocorre?
14. (China). Para a, b e c reais positivos, prove que
a +

ab +
3

abc
3

3

a
_
a + b
2
__
a + b + c
3
_
.
15. Dados reais positivos a
1
, a
2
, . . . , a
n
, denimos sua media quadr atica como o n umero
real
_
a
2
1
+ a
2
2
+ + a
2
n
n
.
Prove a desigualdade entre as medias quadr atica e aritmetica:
_
a
2
1
+ a
2
2
+ + a
2
n
n

a
1
+ a
2
+ + a
n
n
, (10)
com igualdade se e s o se a
1
= a
2
= = a
n
.
8
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
16. Sejam a
1
, a
2
, a
3
, a
4
reais positivos. Prove que

1i<j<k4
a
2
i
+ a
2
j
+ a
2
k
a
i
+ a
j
+ a
k
a
1
+ a
2
+ a
3
+ a
4
,
ocorrendo a igualdade se e s o se a
1
= a
2
= a
3
= a
4
.
17. (Leningrado). Dados reais positivos a, b, c e d, prove que
1
a
+
1
b
+
4
c
+
16
d

64
a + b + c + d
.
18. (Uniao Sovietica). Se x, y, z > 0, prove que
x
2
y
2
+
y
2
z
2
+
z
2
x
2

y
x
+
z
y
+
x
z
.
19. (Torneio das Cidades). Sejam a
1
, a
2
, . . . , a
n
reais positivos dados. Prove que
_
1 +
a
2
1
a
2
__
1 +
a
2
2
a
3
_
. . .
_
1 +
a
2
n
a
1
_
(1 + a
1
)(1 + a
2
) (1 + a
n
).
20. (IMO). Sejam a, b e c reais positivos tais que abc = 1. Prove que
1
a
3
(b + c)
+
1
b
3
(a + c)
+
1
c
3
(a + b)

3
2
.
Bibliograa
1. A. Caminha. Topicos de Matematica Elementar, Volume 1: N umeros Reais. Socie-
dade Brasileira de Matematica, Rio de Janeiro, 2012.
2. A. Caminha. Topicos de Matematica Elementar, Volume 2: Geometria Euclidiana
Plana. Sociedade Brasileira de Matematica, Rio de Janeiro, 2012.
3. E. Lozansky e C. Rousseau. Winning Solutions. Springer-Verlag, Nova Iorque, 1996.
4. P. Zeitz. The Art and Craft of Problem Solving. John Wiley & Sons, Nova Iorque,
1999.
9
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
Dicas e Solucoes
1. Faca inducao sobre n 2. Para o caso inicial, eleve ambos os membros da desigual-
dade em questao ao quadrado e utilize (1), juntamente com o fato de que |a|
2
= a
2
,
para todo a R.
2. Desenvolva o primeiro membro e, em seguida, aplique a desigualdade (2) adequada-
mente.
3. Sendo x o comprimento do lado do quadrado que deve ser recortado de cada canto
da folha, caremos com uma caixa de dimensoes 2 2x, 3 2x e x. Escolha n umeros
reais positivos a, b e c tais que a(22x) +b(32x) +cx independa de x e a(22x) =
b(32x) = cx; em seguida aplique a desigualdade entre as medias a m de maximizar
o volume da caixa.
4. Mostre inicialmente que a
3
+ b
3
(a + b)ab; em seguida, deduza a partir da que
1
a
3
+b
3
+abc

c
abc(a+b+c)
, obtendo desigualdades an alogas para as outras duas parcelas
do primeiro membro.
5. Aplique a transformacao de Ravi e, em seguida, utilize (2) tres vezes.
6. Aplique a transformacao de Ravi para escrever o primeiro membro como
1
2
_
y
x
+
z
x
+
x
y
+
z
y
+
y
z
+
x
z
_
;
em seguida, utilize a desigualdade entre as medias.
7. Agrupe adequadamente as quatro parcelas em pares e utilize duas vezes a desigual-
dade (5), para n = 2.
8. Inicialmente, mostre que e suciente provar que (ab)
2
+(bc)
2
+(ca)
2
abc(a+b +c);
para o que falta, faca x = ab, y = bc, z = ca e aplique a desigualdade (3).
9. Inicialmente, mostre a identidade algebrica
(a + b + c)
3
= a
3
+ b
3
+ c
3
+ 3(a + b)(a + c)(b + c);
em seguida, ap os efetuar as simplicacoes obvias, mostre que
8(a
3
+ b
3
+ c
3
) (a + b)
3
+ (a + c)
3
+ (b + c)
3
e utilize a desigualdade entre as medias para tres n umeros.
10. Aplique a desigualdade entre as medias.
11. Aplique a desigualdade entre as medias.
10
POT 2012 -

Algebra - Nvel 3 - Aula 01 - Prof. Antonio Caminha
13. Faca a
0
= 0 e aplique a desigualdade (5) para obter
1
a
j
a
j1
+ +
1
a
1
a
0

j
2
a
j
.
Em seguida, some membro a membro as desigualdades acima para 1 j n e
agrupe os termos iguais para obter a desigualdade procurada. Por m, conclua que
h a igualdade se e s o se a sequencia (a
k
)
k1
for uma PA.
14. Substituindo a, b e c na desigualdade desejada respectivamente por 6x
6
, 6y
6
e 6z
6
,
mostre que basta provarmos a desigualdade
7x
12
+ 12x
6
y
6
+ 7y
6
z
6
+ 9y
12
+ 9x
6
z
6

2x
3
y
9
+ 6x
9
y
3
+ 6x
2
y
8
z
2
+ 12x
5
y
5
z
2
+ 6x
4
y
4
z
4
+ 6xy
7
z
4
+ 6x
8
y
2
z
2
.
Para tanto, escreva a express ao do primeiro membro como a soma de sete outras
express oes tais que, aplicando a desigualdade entre as medias a cada uma delas,
obtenhamos as sete parcelas do segundo membro; por exemplo,
2x
6
z
6
+ 2x
6
z
6
+ 2x
12
+ 2y
12
+ 2y
12
+ 2x
6
y
6
12x
5
y
5
z
2
.
15. Aplique a desigualdade de Cauchy com b
1
= b
2
= = b
n
= 1.
16. Aplique a desigualdade do problema anterior ao numerador de cada parcela do so-
mat orio acima.
17. Multiplique ambos os membros por a + b + c + d e use a desigualdade de Cauchy;
alternativamente, tente aplicar a desigualdade (5).
18. Use a desigualdade de Cauchy.
19. Faca a prova por inducao sobre n 2. Para o passo de inducao, aplique a desigualdade
de Cauchy.
20. Faca x =
1
a
, y =
1
b
e z =
1
c
e, em seguida, aplique a desigualdade de Cauchy para
obter
((y + z) + (x + z) + (x + y))
_
x
2
y + z
+
y
2
x + z
+
z
2
x + y
_
(x + y + z)
2
.
Por m, aplique a desigualdade entre as medias.
11