Desigualdades em R

Leonardo Borges Avelino

December 4, 2010

Abstract
Este pequeno artigo, discorre sobre alguns problemas da matematica
que podem ser resolvidos utilizando-se de desigualdades. Apresentaremos primeiramente uma ideia intuitiva para uso de desigualdades e depois mostraremos as seguintes desigualdades conhecidas da matematica:
Desigualdade das Medias, Desigualdade de Cauchy-Bunyakowski-Schwartz.

Uma desigualdade simples

Vamos comecar!
Temos da an
alise elementar que o quadrado de todo n
umero real e maior
ou igual a zero, com igualdade se e somente se este n
umero e zero. Falando
matematicamente, temos que x2 0, x R, com igualdade se e somente
si x = 0;
A seguinte quest
ao foi aplicada para uma turma de jovens estudantes de
ensino fundamental em um certo pas:

Problema 1.1 Prove que 4a a4 3, a R:

Solu
c
ao Note que a desigualdade acima pode ser escrita da seguinte forma:
2
(a 1)2 + 2(a 1)2 0
A seguinte quest
ao utiliza a mesma ideia desta secao, o quadrado de um
real e sempre n
ao-negativo.
Problema 1.2 Determine se f : R R, injetora; tal que:
f (x2 ) f 2 (x)

1
4

Solu
c
ao Facamos primeiramente x = 0. Disso vem: f (0) f 2 (0) 14
0 (f (0) 12 )2 0 f (0) = 12 Da mesma forma, fazendo x = 1, teremos
f (1) = 21 . Desta forma teramos f (1) = f (0) = 12 , implicando na funcao nao
ser injetora. Logo, n
ao existe tal funcao.
1

Desigualdade das M
edias

Existem algumas desigualdades entre medias, sendo a mais conhecida, a

desigualdade entre media aritmetica e media geometrica. Existem diversas
demonstrac
oes desta desigualdade, entre as quais, usando calculo, desigualdade de Chebyschev, desigualdade do rearranjo, desigualdade de Jensen, e
outros. Neste artigo ser
a apresentada uma demostracao usando um argumento indutivo:
Para a demostrac
ao, ser
a feita a seguinte estrategia:
(i) Demostrar que a desigualdade e valida para todas as potencias de 2,
utilizando-se de induc
ao finita
(ii) Sabendo-se que a desigualdade e valida para todas as potencias de 2, a
mesma ser
a v
alida para todo n N

Temos que ( x y)2 0, x, y > 0. Assim teremos: x + y 2 xy,

com igualdade sss, x = y x = y

A demostrac
ao foi feita para n = 2k , com k = 1. Para mostrar (i), faremos
induc
ao em k. Suponhamos que a desigualdade e valida para k, mostraremos
que e v
alida para k + 1.

n
Temos que: x1 +x2 +...+x
n x1 x2 ...xn
n

+...+x2n
n xn+1 xn+2 ...x2n .
Da mesma forma, temos que xn+1 +xn+2
n
+...+x2n
n
Pela desigualdade das medias para os n
umeros: x1 +x2 +...+x
e xn+1 +xn+2
,
n
n
vem:
[

x
+x
+...+x2n
x1 +x2 +...+xn
+ n+1 n+2
]
n
n

[ n x x ...x + n x

n
1 2
n+1

2
p

n x x ...x n x

1 2
n
n+1 xn+2 ...x2n

xn+2 ...x2n ]

Ou seja:
x1 +x2 +...+x2n
2n

2n

x1 x2 ...x2n

Para demonstrar (ii), consideremos a menor potencia de 2, maior que n.

Seja k o expoente desta potencia de 2. Nosso objetivo agora e demonstrar
a desigualdade para n > 2. Ja sabemos que a desigualdade e valida para
qualquer potencia de 2, ent
ao usaremos os reais x1 , x2 , ..., xn , a, a, ..., a, com

k
n
2 n as, onde a = x1 x2 ...xn .

x1 +x2 +...+xn +a+a+...+a

2k x1 x2 ...xn aa...a
2k

n
x1 + x2 + ... + xn + (2k n)a 2k a x1 +x2 +...+x
n x1 x2 ...xn
n
Com igualdade sss, x1 = x2 = ... + xn
Problema 2.1 Demonstre que para a, b e c, reais positivos, temos sempre
que:
(a + b)(b + c)(c + a) 8abc

Solu
c
ao Aplicaremos M A M G para a e b, para b e c, e para c e a, da
seguinte forma:

a + b 2 ab, b + c 2 bc e c + a 2 ca.
Multiplicando as tres desigualdades vem o resultado desejado.

Um lema interessante

Lema 3.1 Se a, b, x, y s
ao n
umeros reais e x, y > 0, ent
ao a seguinte
desigualdade e v
alida:
a2
x

b2
y

(a+b)2
(x+y)

Prova Prova: A desigualdade e valida se e somente se, a2 y(x + y) + b2 x(x +

y) (a + b)2 xy. Simplificando, teremos (ay bx)2 0, que e sempre valido,
com igualdade sss xa = yb .
N
ao e difcil ver que o lema acima pode ser estendido indutivamente:
Corol
ario 3.2 Sejam os reais a1 , a2 , ..., an ex1 , x2 , ..., xn , tal que x1 , x2 , ..., xn >
0 a seguinte desigualdade e sempre v
alida:
a21
x1

a22
x2

+ ... +

a2n
xn

(a1 +a2 +...+an )2

(x1 +x2 +...+xn )

com igualdade sss:

a1
x1

a2
x2

= ... =

an
xn

Um outro corol
ario muito interessante deste lema, e a propria Desigualdade de Cauchy-Bunyakowski-Schwartz

Desigualdade de Cauchy-Bunyakowski-Schwartz

Apresentaremos aqui, a versao real de um dos resultados mais lindos da

an
alise elementar, que e a desigualdade de Cauchy-Bunyakowski-Schwartz.
Teorema 4.1 Sejam os reais a1 , a2 , ..., an e b1 , b2 , ..., bn , temos sempre que:
(a21 + a22 + ... + a2n )(b21 + b22 + ... + b2n ) (a1 b1 + a2 b2 + ... + an bn )
com igualdade sss,

a1
b1

a2
b2

= ... =

an
bn .

Prova Consideremos a seguinte funcao: f (x) = (a1 x b1 )2 + (a2 x b2 )2 +

f
... + (an x bn )2 . E
acil ver que f e sempre nao-negativa, por ser a soma de
quadrados. Note que podemor rearranjar f de forma que ela seja escrita da
seguinte forma: f (x) = (a21 + a22 + ... + a2n )x2 2(a1 b1 + a2 b2 + ... + an bn )x +
(b21 + b22 + ... + b2n )
3

Olhando f , e f
acil notar que a mesma e uma equacao de segundo grau, que
deve ter seu delta menor ou igual a zero. Assim, teremos:
4(a1 b1 + a2 b2 + ... + an bn )2 4(a21 + a22 + ... + a2n )(b21 + b22 + ... + b2n ) 0 que
e o resultado que desej
avamos.
Problema 4.2 Para os reais x, y e z, prove que:
(x + y + x)( x1 +

1
y

+ z1 ) 9

Solu
c
ao Na desigualdade de Cauchy-Bunyakowski-Schwartz, faremos as

seguintes substituic
oes: a1 = x = b11 , a2 = y = b12 e a3 = z = b13 .
O resultado desejado seguir
a facilmente

Problemas

Problema 5.1 Sejam a, b e c reais positivos. Prove que:

a
b+c

b
c+a

c
a+b

3
2

Problema 5.2 Sejam a e b reais positivos. Prove que:

8(a4 + b4 ) (a + b)4
Problema 5.3 Sejam a, b, c > 0. Prove que:
a2 +b2
a+b

b2 +c2
b+c

a2 +c2
a+c

a+b+c

Problema 5.4 Sejam a, b R. Ache:

min max(a2 + b, b2 + a)
Problema 5.5 Ache o m
aximo da func
ao f (x, y, z) = 5x 6y + 7z na
elips
oide 2x2 + 3y 2 + 4z 2 = 1
Problema 5.6 Ache todos os inteiros positivos n, k1 , k2 , ..., kn que satisfacam
as seguintes express
oes:
k1 + k2 + ... + kn = 5n 4 e

1
k1

1
k2

+ ... +

1
kn

=1

Problema 5.7 (IMO) Sejam a, b, c positivos tais que abc = 1. Prove que:
1
a3 (b+c)

1
b3 (a+c)

1
c3 (a+b)

3
2