OLIMPADA BRASILEIRA DE MATEMTICA NVEL II SEMANA OLMPICA

Salvador, 19 a 26 de janeiro de 2001

DESIGUALDADES
Onofre Campos
onofrecampos@bol.com.br

Vamos estudar algumas desigualdades clssicas, como as desigualdades entre as

mdias aritmtica e geomtrica, a desigualdade de Cauchy-Schwarz, dentre outras. Para isso,
precisamos estar familiarizados com algumas propriedades bsicas que dizem respeito s
desigualdades entre nmeros reais. Dentre estas propriedades, fundamental que entendamos
as seguintes:

Proposio 1 Se x um nmero real ento x2 0, com igualdade ocorrendo quando x = 0. De

um modo geral, se x1, x2, ..., xn so nmeros reais ento x12 + x22 +...+ xn2 0, com igualdade
ocorrendo se, e somente se, x1 = x2 = ... = xn = 0.

Proposio 2 Considere a funo do segundo grau f(x) = ax2 + bx + c, com a > 0. Definindo
= b2 4ac, ento f(x) 0, para todo real x se, e somente se, 0. Se = 0, ento existe um
nico real tal que f() = 0.

Destas proposies, decorrem outras desigualdades, bastante comuns, como veremos.

Problema 1 Sejam a, b e c nmeros reais. Mostre que a2 + b2 + c2 ab + bc + ca, com

igualdade ocorrendo se, e somente se, a = b = c.

Soluo:

Usando que (a b)2 = a2 2ab + b2, a desigualdade dada reduz-se a

(a b)2 + (b c)2 + (c a)2 0

Ora, esta ltima desigualdade sempre verdadeira e a igualdade ocorre se, e somente
se, a b = b c = c a = 0, ou seja, quando a = b = c, como queramos mostrar.
Uma observao importante que devemos fazer que escrevendo (a b)2 0, segue-
a2 b2
se que a2 2ab + b2 0, ou ainda, ab (*), com igualdade quando a = b. Este um
2
resultado bastante simples e que ser generalizado mais adiante.

Se a e b forem positivos, podemos ainda escrever a x , para algum real x e b y

, para algum real y. De (*), segue-se que para quaisquer x, y > 0,
x y
xy ,
2

com igualdade ocorrendo se, e somente se, x = y.

Problema 2 Sejam a, b e c reais positivos. Mostre que (a + b)(b + c)(c + a) 8abc.

11
 Semana Olmpica Nvel II Prof.: Onofre Campos

Soluo:

Basta observar que a b 2 ab , b c 2 bc e c a 2 ca . Multiplicando estas

trs desigualdades chegamos desigualdade desejada.

Problema 3 (Olimpada Nrdica) Determine todos os x, y, z reais maiores que 1 tais que

3 3 3
x yz 2( x 2 y2 z 2)
x 1 y 1 z 1

Soluo:

Escrevemos

3 3 x2 x2
x ( x 1) (1 ) ( x 1) 2 ( x 1). 2 x2
x 1 x 1 x 1 x 1
(*)

ou, de modo simplificado,

3
x 2 x 2 (1).
x 1

Analogamente, descobrimos que

3
y 2 y 2 (2)
y 1
e que
3
z 2 z 2 . (3)
z 1

Finalmente, somando estas trs ltimas desigualdades obtemos

3 3 3
x yz 2( x 2 y 2 z 2 ) (**).
x 1 y 1 z 1

Como a igualdade ocorre em (**), deve ocorrer tambm em (1), (2) e (3). Para que a
igualdade ocorra em (1), por exemplo, deve ocorrer tambm em (*), o que nos d
x2 3 13
x 1 x2 3x + 1 = 0. Como x > 1, devemos ter x . Analogamente,
x 1 2
3 13
devemos ter y z .
2

2
 Semana Olmpica Nvel II Prof.: Onofre Campos

A Desigualdade entre as mdias Aritmtica e Geomtrica

Definio 1 Sejam a1, a2, ..., an nmeros reais positivos. Define-se a Mdia Aritmtica (MA) e
a Mdia Geomtrica (MG) de a1, a2,..., an da seguinte forma:

a1 a 2 ... a n
MA = e MG = n a1 a 2 ...a n .
n

Teorema 1 Se a1, a2,..., an so reais positivos, n 2, ento MA MG, ou seja,

a1 a 2 ... a n
n a1 a 2 ...a n ,
n

com igualdade ocorrendo se, e somente se, a1 = a2 =...= an. Em outras palavras, a Mdia
Aritmtica de n nmeros reais positivos maior que ou igual a Mdia Geomtrica, com
igualdade somente quando todos os nmeros forem iguais.

Demonstrao:

Faremos uma demonstrao por induo sobre n, da seguinte maneira: se o teorema

for vlido para quaisquer n reais positivos, mostraremos que vlido tambm para quaisquer
2n reais positivos. Depois mostraremos que se vlido para quaisquer n reais positivos ento
vlido tambm para quaisquer n 1 reais positivos. Dessa forma, percorreremos todos os
nmeros naturais e a induo ficar completa.

a1 a 2
Para n = 2, o teorema nos d a1a 2 , com igualdade se, e s se, a1 = a2. Isso
2
j foi provado.

Agora, suponha que o teorema seja vlido para quaisquer n nmeros reais positivos
(Hiptese de Induo). Vamos mostrar que para quaisquer 2n reais positivos o teorema
continua vlido. De fato, considere os reais positivos a1, a2,..., an, an+1,..., a2n. Temos

a1 ... a n a n1 ... a 2 n
n
(a1 ... a n ) (a n1 ... a 2 n ) a1 ...a n a n1 ...a 2 n
n
n n

2n 2 2
n a1 ...a n n a n 1 ...a 2 n 2 n a1 ...a n a n 1 ...a 2 n , como queramos mostrar.

Agora mostraremos que se o teorema vlido para um dado natural n ento vlido
tambm para n 1.
a a ... a n 1
Considere os n 1 reais positivos a1, a2,..., an 1 e defina a n 1 2 . Dessa
n 1
forma temos
a a ... a n1 a1 a 2 ... a n 1 a n
an 1 2 .
n 1 n

Como o teorema vale para quaisquer n reais positivos (Hiptese de Induo), ento

3
 Semana Olmpica Nvel II Prof.: Onofre Campos

a1 a 2 ... a n
an n a1 a 2 ...a n .
n

Simplificando, obtemos an n 1 a1 a 2 ...a n 1 . Logo, pela definio de an, segue-se

que

a1 a 2 ... a n 1
n 1 a1 a 2 ...a n 1 ,
n 1

e o teorema vlido tambm para n 1.

Falta apenas mostrar que a igualdade ocorre, em ambos os casos, somente quando
todos os nmeros forem iguais. Isso ser deixado como exerccio.

Problema 4 Se a, b e c so reais positivos tais que a + b + c = 1, mostre que

1 1 1
P = 1 1 1 64 .
a b c

Soluo:

Desenvolvendo o lado esquerdo da desigualdade, obtemos

1 1 1 1 1 1 1
P 1 .
a b c ab bc ca abc
Usando que MA MG, temos:
1 1 1

a b c 3 1 .
3 abc
1 1 1 1
Fazendo 3 = q, segue que 3q . Da mesma forma,
abc a b c

1 1 1

1
ab bc ca 3
2 2 2
q2 ,
3 a b c
1
e usando que q 3 , em (*) ficamos com
abc

P 1 + 3q + 3q2 + q3 = (1 + q)3.

Finalmente, usando que a + b + c = 1, segue que

1 abc 3 1
abc q 3 .
3 3 q

Logo, em (**), conclumos que P (1 + 3)3 = 64, como queramos mostrar.

4
 Semana Olmpica Nvel II Prof.: Onofre Campos

A Desigualdade de Cauchy-Schwarz

Teorema 2 Sejam a1, a2,..., an, b1, b2,..., bn reais dados (no necessariamente positivos), no
todos nulos (n > 1). Ento

|a1b1 ... a n bn | a12 ... a n

2
b12 ... bn2

Alm disso, teremos a igualdade se, e somente se, os ai e os bi forem proporcionais,

i.e., se, e somente se, existir um real positivo tal que bi = .ai, para todo i.

Demosntrao:

Considere a seguinte funo do segundo grau

f ( x) ( a1 x b1 ) 2 ( a 2 x b2 ) 2 ... ( a n x bn ) 2 ,

que podemos escrever como

f ( x) ( a12 a22 ... an2 ) x 2 2(a1b1 a2b2 ... anbn ) x (b12 b22 ... bn2 )

Observe que f(x) 0 para todo real x, visto que f se escreve como a soma de
quadrados, de modo que 0, isto ,

4( a1b1 a 2 b2 ... a n bn ) 2 4( a12 a 22 ... a n2 )(b12 b22 ... bn2 ) 0 .

Cancelando o fator 4 e extraindo a raiz quadrada de ambos os membros, chegamos na

desigualdade de Cauchy:

| a1b1 a 2 b2 ... a n bn | ( a12 a 22 ... a n2 ) (b12 b22 ... bn2 ) .

Examinemos agora a igualdade. Se houver igualdade, quer dizer, se for 0 , ento

o trinmio tem uma raiz real :

( a1 b1 ) 2 (a 2 b2 ) 2 ... ( a n bn ) 2 0

Dessa forma todos os parnteses devem ser nulos, i.e., bi = .ai, para todo i. Ento, a
igualdade deve ocorrer quando os ai forem diretamente proporcionais aos bi. evidente que se
eles forem proporcionais a igualdade ocorre.
Corolrio 1 Dados n reais positivos a1, a2,..., an, temos
2
a12 a 22 ... a n2 a a 2 ... a n
1 , com igualdade se, e somente se, a1
n n
= a2 =...=an.

Demonstrao:

Faa b1 = b2 =...= bn = 1 na desigualdade de Cauchy-Schwarz. A igualdade ocorre se, e

somente se, aj = , para j = 1, 2..., n.

5
 Semana Olmpica Nvel II Prof.: Onofre Campos

Problemas Propostos

1. Sejam a, b e c os comprimentos dos lados de um tringulo. Mostre que a funo

f(x) = b2x2 + (b2 + c2 a2).x + c2

positiva, para todo real x.

2. (Olimpada do Cone Sul 1994) Seja p um real positivo dado. Achar o mnimo valor de
x3 + y3 sabendo que x e y so nmeros reais positivos tais que xy.(x + y) = p.

2 4
3. Se a e b so reais positivos tais que a + b = 1, prove que ab e determine quando
27
ocorre a igualdade.

4. Mostre que se a, b > 0 e a + b = 1, ento

2 2
1 1 25
a b .
a b 2

5. (Seleo para a Cone Sul 1998) Sejam x, y reais positivos satisfazendo x2 + xy + y2 > 3.
Prove que pelo menos um dos nmeros x2 + xy e y2 + xy maior que 2.

6. Mostre que se a, b e c so reais positivos ento

a b c 3
.
bc ca ab 2

7. Se a, b, c, d e e so nmeros reais tais que a + b + c + d + e = 8 e a2 + b2 + c2 + d2 + e2 = 16,

determine o mximo valor de e.

8. (Olimpada Rioplatense 98) Sejam a, b, c nmeros reais positivos tais que a + b + c = 1.

Mostre que
a7 b7 b7 c7 c7 a7 1
.
a 5 b5 b5 c5 c5 a5 3

9. Seja P um ponto no interior de um tringulo e sejam ha, hb e hc as distncias de P aos lados

a b c
a, b e c, respectivamente. Mostre que o valor mnimo de ocorre quando P o
ha hb hc
incentro do tringulo ABC.

10. (Torneio das Cidades 94) Prove que para quaisquer reais positivos a1, a2,..., an vale a
desigualdade

a12 a 2 2 a n 2
1 1 ...1 (1 a1 )(1 a 2 )...(1 a n ) .
a2 a a
3 1