Você está na página 1de 6

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-se que a2
a2 b2
2ab + b2 0, ou ainda, ab (*), com igualdade quando a = b. Este um resultado bastante
2
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.


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
x2
ocorra em (1), por exemplo, deve ocorrer tambm em (*), o que nos d x 1 x2 3x + 1 = 0.
x 1
3 13 3 13
Como x > 1, devemos ter x . Analogamente, devemos ter y z .
2 2
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 j foi
2
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.
a1 a 2 ... a n 1
Considere os n 1 reais positivos a1, a2,..., an 1 e defina a n . Dessa forma
n 1
temos
a1 a 2 ... a n1 a1 a 2 ... a n 1 a n
an .
n 1 n

Como o teorema vale para quaisquer n reais positivos (Hiptese de Induo), ento
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.

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 = a2 =...=an.
n n

Demonstrao:

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


aj = , para j = 1, 2..., n.
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 ocorre a
27
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 a 5 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 e c,


a b c
respectivamente. Mostre que o valor mnimo de ocorre quando P o incentro do tringulo
ha hb hc
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

Você também pode gostar