Desigualdades

As desigualdades tem mudado um pouco de cara nos ultimos anos. O que eram aplica c oes aparentemente
aleat orias das desigualdades conhecidas virou um monte de desigualdades com novas ideias, para os quais
aplica c oes diretas das desigualdades conhecidas n ao funcionam.
Mas isso n ao quer dizer que voce n ao precisa dominar essas desigualdades.
1. As conhecidas
Vamos separar as desigualdades de acordo com o caso de igualdade. N ao e a nossa inten c ao demonstrar ou
mostrar todas, ja que as demonstra c oes est ao bem documentadas em varios outros materiais.
1.1. Uma desigualdade boba que nao deve ser desprezada
Todo quadrado e nao negativo. Para todo x real,
x
2
0
1.2. Desigualdades que aproximam pontos
Ou seja, em que o caso de igualdade e quando todos sao iguais (ou semelhantes).
Desigualdade das medias. Sendo a
1
, a
2
, . . . , a
n
reais positivos,
a
1
+ a
2
+ + a
n
n

n

a
1
a
2
. . . a
n

n
1
a1
+
1
a2
+ +
1
an
A igualdade ocorre quando a
1
= a
2
= = a
n
.
Desigualdade das medias potenciais. Sendo a
1
, a
2
, . . . , a
n
reais positivos, dena
M() =
_
a

1
+ a

2
+ + a

n
n
_1

Ent ao
< = M() M()
A igualdade ocorre quando a
1
= a
2
= = a
n
.
Desigualdade de Jensen. Se f e uma fun c ao convexa (para quaisquer dois pontos A e B no graco da f,
o graco da f entre A e B est a debaixo do segmento AB; caso f seja derivavel duas vezes, f

(x) > 0 para

todo x no domnio da f) est a ent ao, sendo E(y
i
) a media aritmetica dos n umeros y
i
,
E(f(x
i
)) f(E(x
i
))
Se f e uma fun c ao c oncava (para quaisquer dois pontos A e B no graco da f, o graco da f entre A e B
est a acima do segmento AB; caso f seja derivavel duas vezes, f

(x) < 0 para todo x no domnio da f)

ent ao
E(f(x
i
)) f(E(x
i
))
Todas as desigualdades anteriores funcionam com medias ponderadas.
Desigualdade de Cauchy-Schwarz. Sendo a
1
, a
2
, . . . , a
n
e b
1
, b
2
, . . . , b
n
reais,
(a
2
1
+ a
2
2
+ + a
2
n
)(b
2
1
+ b
2
2
+ + b
2
n
) (a
1
b
1
+ a
2
b
2
+ + a
n
b
n
)
2
A igualdade ocorre quando existem constantes k, reais tais que a
i
= kb
i
para todo i = 1, 2, . . . , n.
Desigualdade de Cauchy-Schwarz na forma de Engel. Sendo a
1
, a
2
, . . . , a
n
e b
1
, b
2
, . . . , b
n
reais posi-
tivos,
a
2
1
b
1
+
a
2
2
b
2
+ +
a
2
n
b
n

(a
1
+ a
2
+ + a
n
)
2
b
1
+ b
2
+ + b
n
A igualdade ocorre quando existem constantes k, reais tais que a
i
= kb
i
para todo i = 1, 2, . . . , n.
Desigualdade de Holder. Sendo a
1
, a
2
, . . . , a
n
, b
1
, b
2
, . . . , b
n
e c
1
, c
2
, . . . , c
n
reais positivos,
(a
3
1
+ a
3
2
+ + a
3
n
)(b
3
1
+ b
3
2
+ + b
3
n
)(c
3
1
+ c
3
2
+ + c
3
n
) (a
1
b
1
c
1
+ a
2
b
2
c
2
+ + a
n
b
n
c
n
)
3
Desigualdade de Muirhead. Se a sequencia de reais n ao negativos (a
1
, a
2
, . . . , a
n
) majora a sequencia de
reais n ao negativos (b
1
, b
2
, . . . , b
n
) (ou seja, a
1
+ +a
i
b
1
+ b
i
para 1 i < n e a
1
+ +a
n
= b
1
+ b
n
)
ent ao

sym
x
a1
1
x
a2
2
. . . x
an
n

sym
x
b1
1
x
b2
2
. . . x
bn
n
para todos x
1
, x
2
, . . . , x
n
reais positivos, com igualdade quando x
1
= x
2
= = x
n
ou as sequencias sao
iguais.
Desigualdades de Newton e Maclaurin. Seja d
k
=
k
/
_
n
k
_
, em que
k
e o k-esimo polinomio simetrico
das variaveis positivas x
1
, x
2
, . . . , x
n
o termo em x
k
de (x + x
1
)(x + x
2
) . . . (x + x
n
). Ent ao
(Desigualdade de Newton)
d
2
k
d
k1
d
k+1
para k = 1, 2, . . . , n 1
(Desigualdade de Maclaurin)
d
1
d
1/2
2
d
1/3
3
. . . d
1/n
n
1.3. Desigualdades que afastam pontos
Nem todas as desigualdades juntam pontos. Algumas tem o caso de igualdade nos extremos.
Desigualdade do rearranjo. Sejam a
1
a
2
. . . a
n
e b
1
b
2
. . . b
n
reais. Ent ao, sendo
c
1
, c
2
, . . . , c
n
uma permuta c ao da sequencia b
1
, b
2
, . . . , b
n
, os valores maximo e mnimo de
a
1
c
1
+ a
2
c
2
+ + a
n
c
n
sao respectivamente
a
1
b
1
+ a
2
b
2
+ + a
n
b
n
e a
1
b
n
+ a
2
b
n1
+ + a
n
b
1
Os casos de igualdade sao um pouco mais complicados, especialmente se h a n umeros iguais.
Desigualdade de Chebyshev. Sejam a
1
a
2
. . . a
n
e b
1
b
2
. . . b
n
reais. Ent ao
a
1
+ a
2
+ + a
n
n

b
1
+ b
2
+ + b
n
n

a
1
b
1
+ a
2
b
2
+ + a
n
b
n
n
Se as sequencias estiverem em ordem invertida, a desigualdade se inverte tambem. Novamente, como essa
desigualdade decorre de rearranjo, os casos de igualdade s ao complicados. Alem disso, essa desigualdade
nao e verdadeira para medias com pesos.
Fun c oes convexas e c oncavas. Se f(x) e uma fun c ao convexa (concava) em [a, b] ent ao seu maximo
(mnimo) nesse intervalo e f(a) ou f(b); isso tambem vale para fun c oes de varias variaveis: basta checar os
extremos e as fronteiras.
A proxima desigualdade e um meio-termo.
Desigualdade de Schur. Sendo x, y, z reais n ao negativos e t real positivo,
x
t
(x y)(x z) + y
t
(y x)(y z) + z
t
(z x)(z y) 0
com igualdade quando x = y = z ou quando dois dos n umeros x, y, z sao iguais e o outro n umero e zero. A
desigualdade e valida para todos x, y, z reais se t e um inteiro par. Para t = 1 ela equivale a

sym
x
3
+ xyz

sym
2x
2
y,
de modo que ela pode ser muito util se aliada a Muirhead.
2. Algumas tecnicas padrao
2.1. Homogenizar desigualdades
Uma desigualdade e homogenea quando n ao se altera quando multiplicamos cada variavel pelo mesmo
n umero real t.
`
As vezes, e melhor trabalhar com desigualdades homogeneas (para, por exemplo, aplicarmos
Muirhead); caso haja alguma condi c ao sobre as variaveis, podemos substitui-la para obtermos desigualdades
homogeneas.
`
As vezes, fazemos o caminho inverso, para cair, por exemplo, em uma desigualdade do tipo

f C.
2.2. Desigualdades simetricas
Uma desigualdade e simetrica quando n ao se altera ao permutarmos as variaveis. Caso ela se mantenha so
se trocarmos duas variaveis, digamos, x e y, ela e simetrica em x e y. No primeiro caso, podemos estabelecer
uma ordem entre as variaveis; no segundo, podemos supor, sem perda de generalidade, x y.
2.3. Algumas substitui c oes
Vale a pena car de olho em possveis substitui c oes, como trigonometrica (x = tg =
x
x
2
+1
=
1
2
sen 2,
por exemplo) ou geometricas (

a
2
+ b
2
e Pit agoras, a = x + y, b = y + z e c = z + x para a, b, c lados de
um triangulo) ou simplesmente que simplicam denominadores chatos (x = b + c, y = c + a e z = a + b em
a
b+c
+
b
c+a
+
c
a+b
, por exemplo).
3. Novas diculdades e novas tecnicas
A raz ao pela qual as desigualdades foram separadas em duas classes e a seguinte: e importante saber
quando juntar ou separar pontos. Antigamente, praticamente todas as desigualdades tinham como
caso de desigualdade todas as variaveis iguais, envolviam fun c oes convexas, e eram simetricas e homogeneas.
Muitas ainda mantem essa caracterstica, mas outras tem novos desaos.
3.1. Os casos de igualdade sao bizarros
Tome, por exemplo, o seguinte problema do banco da IMO 2005:
Exemplo 3.1.
(Banco IMO 2005) Quatro n umeros reais p, q, r, s satisfazem p +q +r +s = 9 e p
2
+q
2
+r
2
+s
2
= 21. Prove
que existe uma permuta c ao (a, b, c, d) de (p, q, r, s) tal que ab cd 2.
Resolu cao
Primeiro, note que n ao e possvel termos p = q = r = s. E a permuta c ao na verdade e uma quimera: basta
supor que p q r s, porque a melhor permuta c ao e tomar p e q grandes e r e s pequenos.
Mesmo assim, o caso de igualdade parece ser mais proximo de todos juntos do que de todos separa-
dos, porque precisamos aproximar pq de rs. De fato, n ao e difcil notar que um caso de igualdade e p = 3
e q = r = s = 2.
Pela quantidade de quadrados que aparecem e pela assimetria, parece interessante dividir os n umeros
em dois grupos: p, q e r, s. Come camos observando que
pq rs =
(p + q)
2
(p
2
+ q
2
) + (r s)
2
(r
2
+ s
2
)
2
=
(p + q)
2
+ (r s)
2
21
2
Agora, n ao parece que h a muito o que fazer a n ao ser abrir (p + q + r + s)
2
:
(p + r + q + s)
2
= p
2
+ q
2
+ r
2
+ s
2
+ 2(pq + rs + pr + qs + ps + qr)
Como conseguirmos expressoes n ao simetricas? Usando rearranjo! Note que
pq + rs pr + qs ps + qr
(na primeira desigualdade, considere (p, s) e (q, s); na segunda, (p, q) e (r, s)).
Ent ao, substituindo p + q + r + s e p
2
+ q
2
+ r
2
+ s
2
e considerando essa desigualdade,
9
2
= 21 + 2(pq + rs + pr + qs + ps + qr) 21 + 6(pq + rs) = pq + rs 10
Quase! Faltou so um sinal! Mas temos
pq + rs =
(p + q)
2
p
2
q
2
+ (r + s)
2
r
2
s
2
2
=
(p + q)
2
+ (r + s)
2
21
2
de modo que, sendo S = p + q,
S
2
+ (9 S)
2
21
2
10 S
2
9S + 20 0 S 4 ou S 5
Como p + q r + s, S
9
2
, de modo que p + q 5.
Logo
pq rs =
(p + q)
2
(p
2
+ q
2
) + (r s)
2
(r
2
+ s
2
)
2
=
(p + q)
2
+ (r s)
2
21
2

5
2
21
2
= 4
3.2. Desigualdades do tipo

f(x
i
) C com fun c oes f nem convexas nem c oncavas
Desigualdades que saem direto com Jensen tem diminudo nos ultimos tempos (a unica diculdade a mais
que aparecia era os pesos que apareciam). Ent ao come caram a aparecer desigualdades com fun c oes f que
n ao sao nem c oncavas nem convexas em todo o intervalo. Nesse caso, h a as seguintes possibilidades para
atacar os problemas:
(1) Estudar a convexidade de f e dividir em casos, de acordo com os intervalos de convexidade;
(2) Estimar f por retas ou outras curvas (veremos como fazer isso logo)
(3) Uma combina c ao dos anteriores.
Exemplo 3.2.
Sendo a, b, c reais positivos, prove que
(b + c a)
2
(b + c)
2
+ a
2
+
(c + a b)
2
(c + a)
2
+ b
2
+
(a + b c)
2
(a + b)
2
+ c
2

3
5
.
Resolu cao
Como a desigualdade e homogenea, podemos supor, sem perda de generalidade, que a + b + c = 3 (so para
o caso de igualdade ser a = b = c = 1). A desigualdade ent ao e equivalente a
(3 2a)
2
(3 a)
2
+ a
2
+
(3 2b)
2
(3 b)
2
+ b
2
+
(3 2c)
2
(3 c)
2
+ c
2

3
5
.
Seja ent ao f(x) =
(32x)
2
(3x)
2
+x
2
. Note que f

(x) =
18(2x3)
(2x
2
6x+9)
2
e f

(x) =
108(2x
2
6x+3)
(2x
2
6x+9)
3
, Note que f

tem
duas razes,
3

3
2
, ambas no intervalo [0, 3]. Ou seja, f n ao e nem c oncava nem convexa nesse intervalo.
Vamos usar a estategia de passar reta tangente, ent ao. Vamos tentar encontrar uma desigualdade do
tipo
f(x) mx + n
em que o caso de igualdade e para x = 1 (que e o caso de igualdade no nosso problema). De cara, temos
f(1) = m + n m + n =
1
5
Mas n ao basta a reta cruzar f, porque a o sinal da desigualdade inverte em x = 1; a reta deve
tangenciar o graco da f em x = 1. Logo
f

(1) = m m =
18
25
Logo n =
23
25
. Vamos vericar se f(x)
18x23
25
: para isso e so abrir a conta e lembrar que x = 1 e
raiz dupla dessa equa c ao (use isso para checar suas contas!):
f(x)
18x 23
25
25(4x
2
12x + 9) (18x 23)(2x
2
6x + 9)
36x
3
54x
2
+ 18 0
(x 1)
2
(2x + 1) 0,
o que e verdade para todo x 0.
Logo
(3 2a)
2
(3 a)
2
+ a
2
+
(3 2b)
2
(3 b)
2
+ b
2
+
(3 2c)
2
(3 c)
2
+ c
2
= f(a) + f(b) + f(c)

18a 23
25

18b 23
25

18c 23
25
=
3 23 18(a + b + c)
25
=
3
5
,
como queramos demonstrar.
S o para ilustrar, mostramos o graco da f e da reta:
Nem sempre uma reta so resolve. Veja o proximo exemplo.
Exemplo 3.3.
Se a, b, c e d sao n umeros reais positivos tais que a + b + c + d = 2, prove que
a
2
(a
2
+ 1)
2
+
b
2
(b
2
+ 1)
2
+
c
2
(c
2
+ 1)
2
+
d
2
(d
2
+ 1)
2

16
25
.
Resolu cao
Seja f(x) =
x
2
(x
2
+1)
2
. Note que, sendo f(x) =
1
(x+
1
x
)
2
= f
_
1
x
_
e f crescente em [0, 1], podemos supor,
sem perda de generalidade, que a, b, c, d 1. De fato, se por exemplo a > 1 trocamos a por
1
a
< a, e
1
a
+b+c+d < 2, de modo que f(a)+f(b)+f(c)+f(d) = f
_
1
a
_
+f(b)+f(c)+f(d) < f(x)+f(y)+f(z)+f(w),
em que substitumos a, b, c, d por x, y, z, w tais que 1 x mn(a,
1
a
), 1 y mn(b,
1
b
), 1 z mn(c,
1
c
),
w mn(d,
1
d
) e x + y + z + w = 2.
Para cada x
0
considere a reta tangente ao graco de f em (x
0
, f(x
0
)), ou seja, g(x) = f(x
0
)+f

(x
0
)(x
x
0
). Vejamos quando f(x) g(x). Notando que x = x
0
e raiz dupla de f(x) g(x), temos
f(x) g(x) =
x
2
(x
2
+ 1)
2

x
2
0
(x
2
0
+ 1)
2

2x
0
(x
2
0
+ 1) x
2
0
2 2x
0
(x
2
0
+ 1)
3
(x x
0
)
=
(x + x
0
)(xx
0
+ 1)(x x
0
)(xx
0
+ 1)
(x
2
+ 1)
2
(x
2
0
+ 1)
2

2x
0
2x
3
0
(x
2
0
+ 1)
3
(x x
0
)
=
x x
0
(x
2
+ 1)
2
(x
2
0
+ 1)
3
_
(x + x
0
)(xx
0
+ 1)(xx
0
+ 1)(x
2
0
+ 1) 2x
0
(1 x
2
0
)(x
2
+ 1)
2
_
=
(x x
0
)
2
(x
2
+ 1)
2
(x
2
0
+ 1)
3
_
(1 x
2
x
2
0
)(x
2
0
+ 1) + 2x
0
(x + x
0
)(x
2
0
x
2
x
2
2)
_
=
(x x
0
)
2
(x
2
+ 1)
2
(x
2
0
+ 1)
3
_
2x
0
(1 x
2
0
)x
3
x
2
0
(3 x
2
0
)x
2
4x
0
x + 1 3x
2
0
_
O sinal de f(x) g(x) e o mesmo que o sinal de
h(x) = 2x
0
(1 x
2
0
)x
3
x
2
0
(3 x
2
0
)x
2
4x
0
x + 1 3x
2
0
Como estamos trabalhando somente com x
0
(0, 1], todos os coecientes de h, com a possvel exce c ao
de 1 3x
2
0
, sao negativos.
O caso de igualdade no problema e a = b = c = d =
1
2
, ent ao x
0
=
1
2
e uma escolha natural. Nesse
caso, g(x) =
4
25
+
48
125
_
x
1
2
_
e h(x) =
3
4
x
3

11
16
x
2
2x +
1
4
. Note que h(x) 0 para x
1
8
. Ent ao, se
a, b, c, d
1
8
ent ao
f(a) + f(b) + f(c) + f(d) g(a) + g(b) + g(c) + g(d) = 4
4
25
+
48
25
_
a + b + c + d 4
1
2
_
=
16
25
Resta ent ao os casos em que um ou mais n umeros sao menores do que
1
8
. Note que, como a+b+c+d = 2
e a, b, c, d 1 ent ao no maximo dois n umeros sao menores do que
1
8
.
Se dois n umeros sao menores do que
1
8
, como f e crescente ent ao
f(a) + f(b) + f(c) + f(d) 2f
_
1
8
_
+ 2f(1) = 2
64
65
2
+ 2
1
4
< 2
1
64
+
1
2
<
16
25
Se exatamente um n umero e menor do que
1
8
, digamos a, ent ao tomamos x
0
=
2
3
. Nesse caso, o termo
independente de h(x) e 1 3
_
2
3
_
2
< 0, o que quer dizer que h(x) < 0 para todo x [0, 1]. Sendo
g(x) =
36
169
+
540
13
3
_
x
1
8
_
,
f(a) + f(b) + f(c) + f(d) f(a) + 3
36
169
+
540
13
3
_
b + c + d 3
2
3
_
= f(a) +
108
169

540
13
3
a
Sendo f

(x) =
2(3x
4
8x
2
+1)
(1+x
2
)
4
> 0 para 0 < x
1
8
, f

(x) e crescente nesse intervalo, de modo que

f

(a) f

_
1
8
_
=
2
1
8
_
1(
1
8
)
2
_
_
1+(
1
8
)
2
_
3
=
631664
5
3
13
3
=
1221464
12513
3
<
2,1464
13
3
=
537,6
13
3
<
540
13
3
. Logo o lado direito da ultima
desigualdade e crescente em a, de modo que
f(a)+f(b)+f(c)+f(d)f
_
1
8
_
+
108
169

540
13
3

1
8
=
64
65
2
+
108
169

135
213
3
<
1
64
+
10826135
22197
=
1
64
+
113
5
22197
<
16
25
A ultima desigualdade pode ser vericada notando que
16
25

1
16
=
999
1600
e
11 3
5
2 2197
<
999
1600

11 3
2
2197
<
37
800
99 800 < 37 2197,
que e verdadeiro pois 37 2197 = 81289 > 80000 > 800 99.
3.3. Desigualdades que parecem as conhecidas, mas invertidas
Como seria Cauchy-Schwarz ao contrario?
Exemplo 3.4.
Sejam a
1
, a
2
, . . . , a
n
e b
1
, b
2
, . . . , b
n
reais positivos, e sejam m e M o mnimo e o maximo de
ai
bi
, 1 i n.
Prove que
(a
2
1
+ a
2
2
+ + a
2
n
)(b
2
1
+ b
2
2
+ + b
2
n
)
(M + m)
2
4Mm
(a
1
b
1
+ a
2
b
2
+ + a
n
b
n
)
2
Resolu cao
Como atacar um problema que parece ao contrario? Pensando tambem ao contrario: no lugar de pensar
em desigualdades que juntam pontos, vamos separar: primeiro, note que
_
a
i
b
i
m
__
M
a
i
b
i
_
0 (M + m)a
i
b
i
a
2
i
+ Mmb
2
i
(quando ocorre a igualdade?)
Somando as desigualdades para i = 1, 2, . . . , n obtemos
(M + m)(a
1
b
1
+ a
2
b
2
+ + a
n
b
n
) (a
2
1
+ a
2
2
+ + a
2
n
) + Mm(b
2
1
+ b
2
2
+ + b
2
n
)
Aplicando medias,
(M + m)(a
1
b
1
+ a
2
b
2
+ + a
n
b
n
) 2
_
Mm(a
2
1
+ a
2
2
+ + a
2
n
)(b
2
1
+ b
2
2
+ + b
2
n
)
e e so elevar ao quadrado. O caso de igualdade ca a seu cargo, mas note que as raz oes
ai
bi
vao ser iguais a
m ou M.
Outra maneira de resolver problemas desse tipo e trabalhar com convexidade: fun c oes convexas tem
maximos em extremos.
Exemplo 3.5.
Sejam a
1
, a
2
, . . . , a
n
reais n ao negativos. Prove que
m
2

a
1
+ a
2
+ + a
n
n

n

a
1
a
2
a
n

(n 1)M
2
,
onde m = mn
1i<jn
_
(

a
i

a
j
)
2
_
e M = max
1i<jn
_
(

a
i

a
j
)
2
_
.
Resolu cao
A primeira desigualdade e bem simples, na verdade: e so colocar o foco nos (

a
i

a
j
)
2
: cada um deles
e maior ou igual a m, e e igual a a
i
+ a
j
2

a
i
a
j
. Somando ciclicamente para (i, j) = (i, i + 1), sendo
a
n+1
= a
1
, obtemos
2(a
1
+ a
2
+ + a
n
) 2(

a
1
a
2
+

a
2
a
3
+ +

a
n
a
1
) nm

a
1
+ a
2
+ + a
n
n

a
1
a
2
+

a
2
a
3
+ +

a
n
a
1
n

m
2
Agora e so aplicar medias na segunda fra c ao:

a
1
a
2
+

a
2
a
3
+ +

a
n
a
1
n

n
_

a
1
a
2

a
2
a
3
. . .

a
n
a
1
=
n

a
1
a
2
. . . a
n
e somar as desigualdades. Note que se m > 0 e n > 2 a desigualdade e estrita, pois os dois casos de igualdade
n ao podem ocorrer.
O outro lado e mais interessante, porque e ao contrario. Nesse caso, vamos usar convexidade. Para
n ao ter que lidar com razes, seja a
i
= x
n
i
, de modo que a expressao agora e
f(x
1
, x
2
, . . . , x
n
) =
x
n
1
+ x
n
2
+ + x
n
n
n
x
1
x
2
. . . x
n
Suponha, sem perda de generalidade, a
2
= x
1
x
2
. . . x
n
= b
2
. Ent ao M = (

a
n


a
1
)
2
=
(a
n
b
n
)
2
. Agora, f e convexa (o produto some apos duas derivadas e os outros coecientes continuam n ao
negativos apos derivar), de modo que assume valor maximo nos extremos. Assim, alguns x
i
s, digamos, k sao
iguais a a
2
e os outros n k, iguais a b
2
. A expressao para esses valores e
f(a
2
, a
2
, . . . , a
2
. .
k
, b
2
, b
2
, . . . , b
2
. .
nk
) =
ka
2n
+ (n k)b
2n
n
a
2k
b
2n2k
Agora, devemos provar que
ka
2n
+ (n k)b
2n
n
a
2k
b
2n2k

(n 1)(a
n
b
n
)
2
2
2ka
2n
+ 2(n k)b
2n
2na
2k
b
2n2k
n(n 1)(a
n
b
n
)
2
2n(n 1)a
n
b
n
(n(n 1) 2k)a
2n
+ (n(n 1) 2(n k))b
2n
+ 2na
2k
b
2n2k
,
que sai direto por medias (com os pesos certos, que tenho certeza que voce vai saber encontrar). Alias, o
valor de k que maximiza f depende de a e b. Novamente, se M > 0 a desigualdade tambem e estrita.
3.4. Desigualdades com n variaveis
Muitas desigualdades tem n variaveis e, pior ainda, n ao sao nem simetricas. Muitas vezes, a ideia e tentar
estimar com uma telescopica ou qualquer outra soma facil de calcular.
Exemplo 3.6.
(Banco IMO 2001) Sejam x
1
, x
2
, . . . , x
n
reais. Prove que
x
1
1 + x
2
1
+
x
2
1 + x
2
1
+ x
2
2
+ +
x
n
1 + x
2
1
+ x
2
2
+ + x
2
n
<

n.
Resolu cao
Primeiro, Cauchy (ou medias potenciais, ou quadr atica-aritmetica. . . ) para aparecer quadrados:
_
x
1
1 + x
2
1
+
x
2
1 + x
2
1
+ x
2
2
+ +
x
n
1 + x
2
1
+ x
2
2
+ + x
2
n
_
2
n
_
x
2
1
(1 + x
2
1
)
2
+
x
2
2
(1 + x
2
1
+ x
2
2
)
2
+ +
x
2
n
(1 + x
2
1
+ x
2
2
+ + x
2
n
)
2
_
E agora, telescopamos (escolha um x
n+1
qualquer):
x
2
1
(1+x
2
1
)
2
+
x
2
2
(1+x
2
1
+x
2
2
)
2
+ +
x
2
n
(1+x
2
1
+x
2
2
+ +x
2
n
)
2
<
x
2
1
(1+x
2
1
)(1+x
2
1
+x
2
2
)
+
x
2
2
(1+x
2
1
+x
2
2
)(1+x
2
1
+x
2
2
+x
2
3
)
+ +
x
2
n
(1+x
2
1
+ +x
2
n
)(1+x
2
1
+ +x
2
n+1
)
=
_
1
1+x
2
1

1
1+x
2
1
+x
2
2
_
+
_
1
1+x
2
1
+x
2
2

1
1+x
2
1
+x
2
2
+x
3
3
_
+
_
1
1+x
2
1
+ +x
2
n

1
1+x
2
1
+ +x
2
n+1
_
=
1
1+x
2
1

1
1+x
2
1
+ +x
2
n+1
<1,
e e so substituir na original e tirar a raiz.
3.5. Desigualdades nao sao mais simetricas
Ja vimos algumas desigualdades que n ao sao simetricas, mas vale a pena ver algumas desigualdades cclicas
com quatro variaveis a, b, c, d. Nessas desigualdades, voce pode:
Escolher qualquer uma das variaveis para ser a maior;
Vericar se e possvel supor, sem perda de generalidade, a c e b d (nesse caso, e claro, se voce usou
o item anterior, a ou b deve ser o maior);
Utilizar a fatora c ao ab + bc + cd + da = (a + c)(b + d).
Exemplo 3.7.
Sejam a, b, c, d reais positivos. Prove que
a
a + b
b + c
+ b
b + c
c + d
+ c
c + d
d + a
+ d
d + a
a + b
a + b + c + d
Resolu cao
Passando a, b, c, d para o primeiro membro, obtemos
a
a c
b + c
+ b
b d
c + d
+ c
c a
d + a
+ d
d b
a + b
0
Aqui, infelizmente n ao d a para supor que a c e b d ao mesmo tempo (mas d a para supor uma delas:
e so trocar a por c e b por d ao mesmo tempo). Vamos esperar para ver se vamos precisar fazer alguma
suposi c ao do tipo. Mas d a para fatorar a c e b d:
a
a c
b + c
+ b
b d
c + d
+ c
c a
d + a
+ d
d b
a + b
=
(a c)(a
2
+ ad bc c
2
)
(b + c)(d + a)
+
(b d)(ab + b
2
cd d
2
)
(c + d)(a + b)
O a
2
c
2
e o b
2
d
2
sugerem que d a para fatorar um pouco mais; mas e adbc e abcd? Para isso, usamos
o truque que voce ja deve ter usado em teoria dos n umeros: adbc = b(ac) a(b d) = d(ac) c(b d)
e ab cd = b(a c) + c(b d) = a(b d) + d(a c):
(a c)(a
2
+ ad bc c
2
)
(b + c)(d + a)
+
(b d)(ab + b
2
cd d
2
)
(c + d)(a + b)
=
(a c)
2
(a + c + d)
(b + c)(d + a)
+
(b d)
2
(b + d + a)
(c + d)(a + b)
+
(b d)(a c)d
(c + d)(a + b)

(a c)(b d)c
(b + c)(d + a)
Vamos provar algo um pouco mais forte: provaremos que
(a c)
2
(a + c + d)
(b + c)(d + a)
+
(b d)
2
(b + d + a)
(c + d)(a + b)
|(a c)(b d)|
_
d
(c + d)(a + b)
+
c
(b + c)(d + a)
_
Utilizando medias, temos
(a c)
2
(a + c + d)
(b + c)(d + a)
+
(b d)
2
(b + d + a)
(c + d)(a + b)
2|(a c)(b d)|

(a + c + d)(b + d + a)
(b + c)(d + a)(c + d)(a + b)
E agora vemos que a vitoria est a proxima: a raiz quadrada parece ser maior do que os dois termos que
queremos que sejam menores! De fato,

(a + c + d)(b + d + a)
(b + c)(d + a)(c + d)(a + b)

d
(c + d)(a + b)
(a + c + d)(b + d + a)(c + d)(a + b) d
2
(b + c)(d + a)
e

(a + c + d)(b + d + a)
(b + c)(d + a)(c + d)(a + b)

c
(b + c)(d + a)
(a + c + d)(b + d + a)(b + c)(d + a) c
2
(c + d)(a + b)
Agora, vale a pena supormos sem perda de generalidade que a e o maior de todos. A a primeira
desigualdade e verdadeira porque a + c + d > a + d, b + d + a > b + a b + c, c + d > d e a + b > a d e
a segunda e verdadeira porque a + c + d > c + d, b + d + a > a + b, b + c > c e d + a > a c. Note que as
desigualdades sao estritas a n ao ser que a = c e b = d, que e o caso de igualdade.
Outra dica que funciona para qualquer desigualdade cclica: se um produto x
1
x
2
. . . x
n
e igual a 1, pode
valer a pena substituir x
1
=
a1
a2
, x
2
=
a2
a3
, . . . , x
n
=
an
a1
, ou x
1
=
a2
a1
, x
2
=
a3
a2
, . . . , x
n
=
a1
an
(as duas
substitui c oes sao diferentes).
Exemplo 3.8.
(R ussia) Sejam x
1
, x
2
, . . . , x
n
reais positivos, n > 3, tais que x
1
x
2
. . . x
n
= 1. Prove que
1
1 + x
1
+ x
1
x
2
+
1
1 + x
2
+ x
2
x
3
+
1
1 + x
3
+ x
3
x
4
+ +
1
1 + x
n1
+ x
n1
x
n
+
1
1 + x
n
+ x
n
x
1
> 1
Resolu cao
Sejam x
1
=
a2
a1
, x
2
=
a3
a2
, . . . , x
n
=
a1
an
. Ent ao o termo tpico do somatorio e
1
1 + x
i
+ x
i+1
=
1
1 +
ai+1
ai
+
ai+1
ai

ai+2
ai+1
=
a
i
a
i
+ a
i+1
+ a
i+2
(sendo os ndices tomados modulo n; tente fazer a outra substitui c ao para ver o que acontece)
A ca facil terminar: cada termo e maior do que
ai
S
, sendo S = a
1
+ a
2
+ + a
n
. Assim,
1
1 + x
1
+ x
1
x
2
+
1
1 + x
2
+ x
2
x
3
+
1
1 + x
3
+ x
3
x
4
+ +
1
1 + x
n1
+ x
n1
x
n
+
1
1 + x
n
+ x
n
x
1
>
a
1
+ a
2
+ + a
n
S
= 1
Exerccios
Os problemas n ao est ao em nenhuma ordem especca, nem em termos de diculdade nem de tecnica.
01. (IMO 2008) (a) Prove que
x
2
(x 1)
2
+
y
2
(y 1)
2
+
z
2
(z 1)
2
1 ()
para todos os n umeros reais x, y, z, diferentes de 1, com xyz = 1.
(b) Prove que existe uma innidade de ternos de n umeros racionais x, y, z, diferentes de 1, com xyz = 1,
para os quais ocorre a igualdade em ().
02. (Banco IMO 2006) Sendo a
1
, a
2
, . . . , a
n
reais positivos, prove que

1i<jn
a
i
a
j
a
i
+ a
j

n
2(a
1
+ a
2
+ + a
n
)

1i<jn
a
i
a
j
.
03. (Banco IMO 2009) Sejam a, b, c reais positivos tais que a + b + c =
1
a
+
1
b
+
1
c
. Prove que
1
(2a + b + c)
2
+
1
(a + 2b + c)
2
+
1
(a + b + 2c)
2

3
16
.
04. Sendo x, y, z reais positivos, prove que
(2x + y + z)
2
2x
2
+ (y + z)
2
+
(2y + z + x)
2
2y
2
+ (z + x)
2
+
(2z + x + y)
2
2z
2
+ (x + y)
2
8.
05. (Banco IMO 2004) Sejam a, b, c reais positivos tais que ab + bc + ca = 1. Prove que
3
_
1
a
+ 6b +
3
_
1
b
+ 6c +
3
_
1
c
+ 6a
1
abc
.
06. (IMO 2004) Seja n 3 um inteiro. Sejam t
1
, t
2
, . . . , t
n
n umeros reais positivos tais que
n
2
+ 1 > (t
1
+ t
2
+ + t
n
)
_
1
t
1
+
1
t
2
+ +
1
t
n
_
.
Prove que t
i
, t
j
e t
k
sao medidas dos lados de um triangulo para quaisquer i, j, k com 1 i < j < k n.
07. (IMO 2005) Sejam x, y, z reais positivos tais que xyz 1. Prove que
x
5
x
2
x
5
+ y
2
+ z
2
+
y
5
y
2
x
2
+ y
5
+ z
2
+
z
5
z
2
x
2
+ y
2
+ z
5
0.
08. (IMO 2006) Determine o menor real M tal que a desigualdade
|ab(a
2
b
2
) + bc(b
2
c
2
) + ca(c
2
a
2
)| M(a
2
+ b
2
+ c
2
)
2
e verdadeira para todos os reais a, b e c.
09. (IMO 2007) Sejam a
1
, a
2
, . . . , a
n
n umeros reais. Para cada i (1 i n) denimos
d
i
= max{a
j
: 1 j i} mn{a
j
: i j n}
e
d = max{d
i
: 1 i n}.
(a) Prove que para quaisquer n umeros reais x
1
x
2
. . . x
n
,
max{|x
i
a
i
| : 1 i n}
d
2
. ()
(b) Prove que existem n umeros reais x
1
x
2
x
n
para os quais vale a igualdade em ().
10. (Banco IMO 2007) Seja n um inteiro positivo e x e y reais positivos tais que x
n
+ y
n
= 1. Prove que
_
n

k=1
1 + x
2k
1 + x
4k
_

_
n

k=1
1 + y
2k
1 + y
4k
_
<
1
(1 x)(1 y)
.
11. (OBM 2009) Seja n > 3 um inteiro xado e x
1
, x
2
, . . . , x
n
reais positivos. Encontre, em fun c ao de n,
todos os possveis valores reais de
x
1
x
n
+ x
1
+ x
2
+
x
2
x
1
+ x
2
+ x
3
+
x
3
x
2
+ x
3
+ x
4
+ +
x
n1
x
n2
+ x
n1
+ x
n
+
x
n
x
n1
+ x
n
+ x
1
12. (CGMO 2010) Sejam x
1
, x
2
, . . . , x
n
reais tais que x
2
1
+ x
2
2
+ + x
2
n
= 1. Prove que
n

k=1
_
1
k

n
i=1
ix
2
i
_
2

x
2
k
k

_
n 1
n + 1
_
2 n

k=1
x
2
k
k
.
Quando ocorre a igualdade?
13. (Banco IMO 2008) Sejam a, b, c, d reais positivos tais que abcd = 1 e a + b + c + d >
a
b
+
b
c
+
c
d
+
d
a
.
Prove que
a + b + c + d <
b
a
+
c
b
+
d
c
+
a
d
.
14. (OBM 2008) Sejam x, y, z reais tais que x + y + z = xy + yz + zx. Encontre o valor mnimo de
x
x
2
+ 1
+
y
y
2
+ 1
+
z
z
2
+ 1
.
15. (Banco IMO 2006) Se a, b, c sao lados de um triangulo, prove que

a + b c

a +

c
+

a b + c

b +

c
+

a + b + c

a +

b +

c
3.
16. (Banco IMO 2009) Sejam a, b, c reais positivos tais que ab + bc + ca 3abc. Prove que
_
a
2
+ b
2
a + b
+
_
b
2
+ c
2
b + c
+
_
c
2
+ a
2
c + a
+ 3

2
_

a + b +

b + c +

c + a
_
.
17. (Banco IMO 2007) Sejam a
1
, a
2
, . . . , a
100
reais n ao negativos tais que a
2
1
+ a
2
2
+ + a
2
100
= 1. Prove
que
a
2
1
a
2
+ a
2
2
a
3
+ + a
2
100
a
1
<
12
25
.
18. (Banco IMO 2008) Prove que, para todos reais positivos a, b, c, d,
(a b)(a c)
a + b + c
+
(b c)(b d)
b + c + d
+
(c d)(c a)
c + d + a
+
(d a)(d b)
d + a + b
0.
Determine quando ocorre a igualdade.
19. (China 2011) Sejam a
i
, b
i
, i = 1, 2, . . . , n reais n ao negativos, n 4, tais que a
1
+ a
2
+ + a
n
=
b
1
+ b
2
+ + b
n
> 0.
Encontre o maximo de

n
i=1
a
i
(a
i
+ b
i
)

n
i=1
b
i
(a
i
+ b
i
)
20. (China 2011) Sejam a
1
, a
2
, . . . , a
n
reais. Prove que
n

i=1
a
2
i

n

i=1
a
i
a
i+1

_
n
2
_
(M m)
2
sendo a
n+1
= a
1
, M = max
1in
a
i
, m = mn
1in
a
i
.
21. Sejam a, b, c, d reais tais que a
2
+ b
2
+ c
2
+ d
2
= 1. Prove que

1 ab +

1 bc +

1 cd +

1 da 2

3.
22. (Romanian Master 2010) Para cada inteiro positivo n, encontre o maior real C
n
com a seguinte pro-
priedade: dadas quaisquer n fun c oes f
1
(x), f
2
(x), . . . , f
n
(x) denidas no intervalo fechado 0 x 1 e que
assumem valores reais, e possvel encontrar n umeros x
1
, x
2
, . . . , x
n
, com 0 x
i
1, tais que
|f
1
(x
1
) + f
2
(x
2
) + + f
n
(x
n
) x
1
x
2
x
n
| C
n
.
23. (Tuymaada 2002) Sejam a, b, c, d reais positivos tais que abcd = 1. Prove que
1 + ab
1 + a
+
1 + bc
1 + b
+
1 + cd
1 + c
+
1 + da
1 + d
4
24. (MEMO 2007) Sejam x y z reais tais que xy +yz +zx = 1. Prove que xz <
1
2
.

E possvel melhorar
a constante
1
2
?