Desigualdades entre as mdias

Por Adriano Carneiro (Caucaia CE)

Definio : Dados n > 1 reais positivos a1 , a2 ,..., a n , definimos

a1 + a 2 + ...+ a n
A mdia aritmtica de a1 , a 2 ,..., a n como o nmero n .
A mdia geomtrica de a1 , a 2 ,..., a n como o nmero n a1a2 ... a n .

Desigualdade Entre as Mdias Aritmtica e Geomtrica

Dados n > 1 reais positivos a1 , a 2 ,..., a n , sua mdia aritmtica sempre maior ou igual que a mdia
geomtrica, ocorrendo a igualdade se e s se a1 , a2 ,..., a n forem todos iguais. Em smbolos:
a1 + a 2 +... + a n n
a1a 2 ...a n
n
Dica:: No decorre das questes mais comum usarmos a desigualdade
Dica
a1 + a 2 +... + a n n.n a1a 2 ...a n .

Prova :

Faamos a prova por induo e usaremos dois passos:

A desigualdade verdadeira quando n for uma potncia de 2, ocorrendo a igualdade se e s se todos os

nmeros forem iguais.
A desigualdade verdadeira em geral, e a igualdade ocorre se e s se os nmeros forem todos iguais.

Faamos induo sobre k 1, sendo n = 2 k : Para k = 1, temos

a1 + a 2
2
a1a 2 a1 2 a1a 2 + a 2 0 ( a1 a 2 )2 0 , o que verdade. H igualdade se e s se
( a1 a 2 )2 = 0 , i.e., se e s se a1 = a 2 .
a1 + a 2 + ...+ a n
Se j provamos que n n a1a2 ... a n , com igualdade se e s se a1 = ... = a n para n = 2 k , ento
a1 +...+ a n a +...+ a
n a1 ...a n + n a n +1 ...a 2 n
n = n a1... a n , n +1 n 2 n n
2 = 2 n a1... a n a n +1... a2 n
= a n +1... a 2 n e
Para as duas primeiras igualdades, segue da hipteses de induo que deve ser a1 = ... = a n e a n +1 = ... = a 2 n
A ltima igualdade ocorre se e s se n a1... a n = n a n +1... a 2 n . Estas duas condies juntas implicam que devemos ter
a1 = ... = a n = a n +1 = ... = a 2 n . tambm evidente que se os nmeros forem todos iguais a igualdade ocorre.

Seja agora n > 1 um natural qualquer e a1 ,a 2 ,...,a n reais positivos. Tome k natural tal que 2 k > n. Usando a
desigualdade entre as mdias para os 2 k nmeros a1 , a2 ,..., a n e 2 k n cpias de a = n a1a 2 ... a n , obtemos
a1 + ...+ a n + a + ...+ a k k
n 2k k
n 2k k
k 2 a1... a n a 2 = a na 2 = a 2 = a , e da a1 + ...+ a n + ( 2 k n )a 2 k a , ou ainda
2
a1 + ...+ a n
n a = n a1 ... a n , que era a desigualdade desejada.
Para haver igualdade, segue do item i que deve ser a1 = ... = a n = a = ... = a . Em particular, todos os nmeros
a1 , a2 ,..., a n devem ser iguais. fcil ver que se esses nmeros forem todos iguais ento h igualdade.
A Desigualdade de Cauchy-
Cauchy-Schwarz

Sejam a1, a2,..., an, b1, b2,..., bn reais dados (no necessariamente positivos), no todos nulos (n > 1).
Ento
(a1b1 +...+ an bn ) 2 (a12 + ...+ an2 )(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.

Desigualdade entre as Mdias Quadrtica e Aritmtica

Dados reais positivos a1 , ..., a n , temos

a12 + a 22 + ...+ a n2 a1 + a 2 +..+ a n
n n ,
com igualdade se e s se a1 = ... = a n .

Problemas Resolvidos

1. (UFC - 2010) Joo escreveu o nmero 10 como soma de duas parcelas inteiras positivas, cujo produto o
maior possvel. O valor desse produto :
A) 9. D) 25.
B) 16. E) 27.
C) 21.

Soluo: Considere a1 e a2 os nmeros dados na questo e usando a desigualdade entre as mdias, temos:
a1 + a 2
a1 a 2 , mas a1 + a2 = 10 (I).
2
Substituindo (I), fica:
10
2
a1 a2 5 a1 a2 (5)
2
( a1 a2 ) 25 a a .
2
1 2

Logo produto Maximo ser 25.

2 2m n4
3
2. (Adriano) Considere mn = 1 e m, n + , prove que + + 6.
*
2 m n n n 2
2 m

2m 3 n 4 4m 5 n 2m 2 n 5
Soluo: Reorganizando a expresso 2m n
2
+n+ = + 2 m 2 2
n + =
n 2 m 2 n 2m 2
( )( )( )
4 m 5 + 2 m 2 n 2 + n 5 33 4 m 5 2 m 2 n 2 n 5 = 33 8m 7 n 7 = 3 .2 3 ( mn ) 7 = 6 3 1 = 6
2m 3 n4
Logo, temos 2m n
2
+n+ 6.
n 2 m 2

3. (Adriano) Sejam a e b nmeros reais, tais que 2 a + b = 5 .

a) Prove que a + b 5 .

Soluo:
Soluo Vamos usar a desigualdade de Cauchy.
Sejam a, b, c, d . Ento (a2 + b2)(c2 + d2) (ac + bd)2

(2 2
)
2 2

(
+ 12 a + b 2 a + b )
2
5(a + b ) 5 2
(a + b) 5
b) Se b um inteiro positivo maior que 0,3. Calcule o valor mximo de 5a + ab .

a + b 5
Soluo Como
Soluo: , podemos escrever 5a + ab (5 + b )a (5 + b )(5 b ) = 25 b 2 .
a 5 b
Logo 5a + ab 25 b 2 , fazendo b = 1, temos 5a + ab 25 12 25 1 24 , resposta: 24

4. (Adriano) Sejam a, b e c o comprimento dos lados de um tringulo. Sabendo que o permetro deste
tringulo representado por um nmero inteiro. Determine o menor valor do permetro desse tringulo, se
a + b + c = 10 .

Soluo:
Soluo Usando Cauchy Schwarz, que diz:
(a1b1 + a2b2 + . . . + anbn)2 (a12+ a22+ . . . + an2)( b12+ b22+ . . . + bn2)

(1. a + 1. b + 1. c ) (1
2 2
)
+ 12 + 12 a + b + c

2 2 2

10 2 3(a + b + c )

(a + b + c ) 100 = 33, 3 . Logo, o permetro vale 34.

3

5. (Adriano) Dado o sistema abaixo:

a 2 + b 2 + c 2 = 6
2
d + e 2 + f 2 = 24
Demonstre que a afirmao 12 < ad + be + cf < 12 falsa.

Soluo: 2 2 2
(
Soluo (ad + be + cf ) a + b + c d + e + f
2 2 2
)( 2
)
(ad + be + cf ) 6.24
2

(ad + be + cf )2 144 , fazendo x = ad + be + cf , temos:

x 144
2

x 2 144 0
.
x 2 12 2 0
(x 12)(x + 12) 0
Note que a soluo da desigualdade acima est representada pelo grfico ao
lado.
{ }
S = x R / x 12 ou x 12

6. (Adriano) Considere os inteiros x, y e z, tal que:

x + 2 y = 1

y + 3z = 5
z + 5 x = 13

( )( )( )
Demonstre que 4 x 2 + y 2 y 2 + z 2 x 2 + z 2 pode ser um nmero primo maior que 11.

Soluo Pela desigualdade de Cauchy (a 2 + b 2 )(c 2 + d 2 ) (ac + bd) 2 .

Soluo:
 (1 + 2 )(x + y ) (x + 2 y )
2 2 2 2 2
(1 2
)(
+ 32 y 2 + z 2 ( y + 3z ) ) 2
(1 2
)( )
+ 52 z 2 + x 2 (z + 5 x )
2

5(x + y ) 1
2 2
(
10 y 2 + z 2 25 ) (
26 z 2 + x 2 132 )
(x + y ) 15
2 2
(y2 + z2
25 5
=
10 2
) (z 2 + x2 )
13.13 13
2.13
=
2

Diante das desigualdades acima, vamos multiplicar:

(x 2 1
5
+ y2 )
(
y2 + z2
5
2
)
(
z 2 + x2
13
2
)
(x 2
+ y2 )( )( 1 5 13
y2 + z 2 x2 + z 2
5 2 2
)
5/ 13 13
(x 2
+ y2 )( )( 1
y2 + z 2 x2 + z 2 =
5/ 2 2 4
)
Multiplicando ambos os membros por 4, temos:
( )( )(
4 x 2 + y 2 y 2 + z 2 x 2 + z 2 4/ ) 134/
4(x 2
+ y2 )(y 2
+ z2 )(x 2
+ z2 ) 13.
7. (Adriano) As razes da equao x2 px + c = 0 so os nmeros a e b diferentes de zero.
1 1
Para + = 4 , responda:
a b
a) Calcule ab .

Soluo: Pela desigualdade entre as mdias, temos:

1 1
+ 4/
a b 1 1 1 1 1 1 1 1 1
. + 2 4/ 2/ 2 24 2 4 4/

2 a b a b ab ab ab ab ab
1 1
16 ab
ab 16

p 11
b) Prove que .
4c 7

x + x2 x1 + x2
2 2
Soluo: Inicialmente, usaremos a desigualdade MA MQ, isto , 1 .
2 2
x + x2 ( x + x2 ) ( x + x2 )
2 2 2 2 2 2
Como x1 + x2 2 1 = 4 1 = 4/ 1 = 2( x1 + x2 ) . Portanto, x1 + x2 2( x1 + x2 ) .
2 2 2 2

2 2 2/
1 1
Fazendo x1 = e x2 = , temos:
a b
1 1 1 2 1 2 1 1 1 1 1 1 b+a
+ 2 + 4 2 + 16 2 + 8 + 8.
a b a b a b a b a b ab
 ( p ) c
Como a + b = = p e ab = = c .
1 1
b+a p 1 p 8 11 p 11
= 8 , multiplicando por , temos =2
ab c 4 4c 4 7 4c 7

b
c) Determine a razo .
a

b+a
Soluo: Da desigualdade 8 , temos:
ab
a+b a + b ab b (7b 1)
1 8 1 7 a + b ab 7 ab b ab 7 ab a b(1 a ) a (7b 1)
ab ab a (1 a )

8. (Adriano) A soma dos inteiros m, n e p vale 6. Usando o fato que a mdia harmnica menor ou igual
mdia geomtrica que por sua vez menor ou igual a mdia Aritmtica. Responda:
mnp.
a) Qual o valor mximo de mnp

Soluo:
Soluo Usando a desigualdade MG MA, temos:
m+n+ p 6
3 mnp = =2
3 3
Da,
3 mnp 2 (
3 )
3
mnp 23 mnp 8. Portanto o valor mximo de mnp 8.

1 1 1 1 1 1
b) Mostre que + + + 1.
m n m p n p

Soluo Considere a e b dois nmeros reais, vamos usar a desigualdade MH MG, para obter:
Soluo:
2 1 1
ab + ab 2.
1 1 a b
+
a b
1 1 1 1 1 1
Logo + mn 2 , + mp 2 , + np 2 .
m n m p n p
Multiplicando as desigualdades acima, fica:
1 1 1 1 1 1
+ mn + mp + np 8
m n m p n p
1 1 1 1 1 1
+ + + (mnp ) 8
2

m n m p n p
1 1 1 1 1 1
+ + + mnp 8
m n m p n p
Do item anterior, sabemos que 8 mnp .
1 1 1 1 1 1
+ + + mnp 8 mnp
m n m p n p
1 1 1 1 1 1
+ + + 1
m n m p n p

n 1
9. (Questo Olmpica) Sejam x0 , x1 , x2 ,..., xn nmeros reais, tais que x0 + x1 + x2 + ... + xn =
3 3 3 3
.
108
 n
Sendo " n" e " k " nmeros inteiros, demonstre que (x
k =0
k
2
+ 9) 3 + 1 2 n 1.

Soluo: Inicialmente vamos desenvolver o somatrio.

n

(x
k =0
k
2
+ 9) 3 = ( x0 + 9) 3 + ( x1 + 9) 3 + ( x 2 + 9) 3 + ... + ( x n + 9) 3
2 2 2 2

Usando a desigualdade entre as mdias, temos:

2/
( x0 + 9) 2 x0 .9 = 22/ x0 .9/ = 2.3 x0 = 6 x0 ( x0 + 9)3 (6 x0 )3 = 216 x0
2 2 2 3

2/
( x1 + 9) 2 x1 .9 = 22/ x1 .9/ = 2.3x1 = 6 x1 ( x1 + 9)3 (6 x1 )3 = 216 x1
2 2 2 3

M M M
2/
( xn + 9) 2 xn .9 = 2 2/ xn .9/ = 2.3 xn = 6 xn ( xn + 9)3 (6 xn )3 = 216 xn
2 2 2 3

Somando as inequaes acima, vamos ter:

( x0 + 9)3 + ( x1 + 9)3 + ( x2 + 9)3 + ... + ( xn + 9)3 216 x0 + 216 x1 + 216 x2 + ... + 216 xn
2 2 2 2 3 3 3 3

(x
k =0
k
2
+ 9)3 216( x0 + x1 + x2 + ... + xn )
3 3 3 3

n
n 1
(x + 9)3 216.
2
k
k =0 108
n

(x + 9)3 2.(n 1)
2
k
k =0
n

(x
k =0
k
2
+ 9)3 + 1 2n 2 + 1
n

(x
k =0
k
2
+ 9)3 + 1 2n 1

10. (Questo Olmpica) So dados os nmeros a, b, c, x e n tais que x / x = {1,2,3,...,2n + 3} . Considere que
n 1
a x + bx +1 + c x +2 = 2 e prove que 27 n1 (a x bx+1c x+ 2 ) < 8n.
x =1

Soluo: Vamos expandir o produtrio dado.

n 1

a b
x =1
x c
x +1 x + 2 = (a1b2 c3 )( a 2 b3 c 4 )( a3 b4 c5 )...( a n 1bn c n +1 )

Por desigualdade entre as mdias, fica:

(a1 + b2 + c3 ) 3
a1b2 c3
27
(a + b3 + c4 ) 3
a2b3c4 2
27
(a3 + b4 + c5 ) 3
a3b4 c5
27
M M
(an1 + bn + cn+1 ) 3
an1bn cn+1 . Fazendo o produto das inequaes obtemos:
27
(a + b + c ) 3 (a + b + c ) 3 (a + b + c ) 3 (a + b + c ) 3
(a1b2 c3 )(a 2b3c4 )(a3b4 c5 )...(a n1bn cn+1 ) 1 2 3 2 3 4 3 4 5 ... n1 n n+1
27 27 27 27
Como
a x + bx +1 + c x + 2 = 2 ( a x + bx +1 + c x + 2 ) 3 = 2 3 ( a x + bx +1 + c x + 2 ) 3 = 8
Desta forma o produtrio
n 1 n 1 n 1 n 1
8 8 8 8 8 8n
a b
x =1
c
x x +1 x + 2 ...
27 27 27 27
a x bx +1c x + 2
x =1 27
27 n 1
a b
x =1
c
x x +1 x + 2 8 n 1
=
8
< 8 n.

Logo,
n 1
27 n 1 a x bx +1c x+ 2 < 8 n
x =1

Desafios Olmpicos

9. (Rioplatense 02) Sejam a, b e c nmeros reais positivos. Demonstre que

a 1 b 1 c 1
+ + + 1.
b + c 2 c + a 2 a + b 2

10. (Rssia 1995) Prove que para quaisquer x, y reais positivos, vale:
10.
x y 1
+ 4
x +y
4 2
y +x 2
xy

x4 y4 z4
11.
11. (Revista Excalibur) Sejam x, y, z > 1. Prove que + + 48 .
( y 1) 2 ( z 1) 2 ( x 1) 2

12. (Rssia 92) Prove que se x, y, z so nmeros reais positivos, ento x 4 + y 4 + z 2 2 2 xyz .

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

3 3 3
x+ y+z+ + + = 2( x + 2 + y + 2 + z + 2 )
x 1 y 1 z 1

14. 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

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

2 2
1 1 25
a + + b + .
a b 2

"O sucesso sempre est ligado ao esforo que fazemos por ns mesmos"
Antnio Cruise