Escolar Documentos
Profissional Documentos
Cultura Documentos
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 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.
Soluo:
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.
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
(*)
3
x 2 x 2 (1).
x 1
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
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
a1 a 2 ... a n 1
n 1 a1 a 2 ...a n 1 ,
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.
1 1 1
P = 1 1 1 64 .
a b c
Soluo:
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.
1 abc 3 1
abc q 3 .
3 3 q
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
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:
f ( x) (a1 x b1 ) 2 (a 2 x b2 ) 2 ... (a n x bn ) 2 ,
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 ,
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:
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.
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.
a b c 3
.
bc ca ab 2
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
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