OLIMPADA DE MATEMTICA DO ESTADO DO RIO GRANDE DO NORTE

AULA N 02 2010
UMA DESIGUALDADE MUITO TIL: A DE CAUCHYSCHWARTZ
Benedito Tadeu V. Freire e Jos Maria Gomes
1. Introduo
O objetivo desta aula mostrar, de forma sucinta, uma ferramenta muito poderosa, a Desigualdade
de Cauchy-Schwartz, muito til na prova de desigualdades que aparecem com freqncia em
Olimpadas de Matemtica. Depois de apresentarmos a demonstrao da Desigualdade de CauchySchwartz, faremos trs aplicaes, resolvendo os seguintes problemas, dois deles de Olimpadas de
Matemtica:
Problema (1)
Se a, b e c so nmeros reais tais que
a 2 b 2 c 2 1 , ento qual o valor mximo de ab + bc + ac?

Problema (2) (frica do Sul-95)

Se a, b, c e d nmeros reais positivos, prove que
1 1 4 16
64

a b c d abcd

Problema (3) (Cone Sul-96)

Se a, b, e c so nmeros reais positivos, prove que
a
b
c
3

bc ca ab 2

No final da Aula, deixamos para o leitor exercitar uma coleo de problemas em cuja soluo faz
uso dos argumentos aqui estudados.
Vamos fazer a demonstrao da Desigualdade de Cauchy-Schwartz provando, inicialmente, o lema
a seguir:
Lema
Se a, b, x, y so nmeros reais quaisquer, com x e y positivos, ento segue que:

a 2 b 2 ( a b) 2

x
y
x y
Demonstrao
A demonstrao feita a partir de manipulaes algbricas bem simples. Trabalhamos com a
desigualdade proposta at chegarmos a um fato verdadeiro bem conhecido, o que nos garante a
veracidade da desigualdade, pois, comeando com este fato conhecido, fazendo todas as operaes
inversas, chegaremos a desigualdade que queremos provar.
Assim, como x e y so positivos, multiplicamos ambos os lados da desigualdade que queremos
provar por xy(x+y), obtendo a 2 y ( x y ) b 2 x ( x y ) (a b) 2 xy , que o mesmo que
a 2 y x a 2 y 2 b 2 x 2 b 2 y a 2 xy 2abxy b 2 xy

Agora, fazendo os cancelamentos, obtemos: a 2 y 2 2abxy b 2 x 2 0 , que o mesmo que

(ay bx) 2 0 (que o nosso fato verdadeiro conhecido!). fcil ver que, a igualdade ocorre

quando ay bx , que o mesmo que

a b
. Assim, conclumos a prova do nosso lema.
x y

interessante observar que podemos estender a desigualdade a um terno de nmeros nas condies
do lema:

a 2 b 2 c 2 (a b) 2 c 2 (a b c ) 2


x
y
z
x y
z
x yz
Na verdade, por um simples argumento indutivo, podemos mostrar que a desigualdade vale para n
nmeros. Isto ,
a 2 (a a a ... an ) 2
a12 a2 2

n 1 2 3
x1
x2
xn
x1 x2 ... xn

E, de modo anlogo ao observado acima, para todo numero real a1,a2,...an e x1, x2 , ... xn > 0, a
igualdade ocorre somente com :
a
a1 a2

n
x1 x2
xn

2. A Desigualdade de CauchySchwartz
Se a1, a2 , ... ,an, b1, b2, ... bn so nmeros reais. Segue que:
(a12 a2 2 ... an 2 ) . (b12 b2 2 ... bn 2 ) (a1 b1 a2 b2 ... an bn ) 2

A igualdade ocorre se e somente se:

a
a1 a2

n
b1 b2
bn

Demonstrao 1:
Faremos uma demonstrao bem conhecida na literatura, que usa as propriedades da funo
quadrtica. Considere a funo:
f(x) = (a1 b1.x)2 + (a2 b2.x)2 + (a2 b3.x)2 + . . . + (an bnx)2
fcil ver que f(x) > 0, para todo x real, pois f(x) uma soma de quadrados. Logo, o
discriminante < 0.
Para concluirmos a prova, vamos reescrever a funo de modo conveniente:
f(x) = a1 2a1 b1 x + b2 x2 + a2 2a2 b2 x +b22 x2 + + an2 2abnx + bn2 x2
f(x) = (b12 + b22 + bn2 ) x2 (2a1b1 + 2a2 b2 + + 2anbn ) x + a12 + a22 + an2
Agora, calculando o discriminante da funo quadrtica b 2 4ac, temos
4(a1b1 a2b2 ... anbn ) 2 4.(a12 a2 2 ...an 2 ) . (b11 b2 2 ... bn 2 ) 0

Segue que:
(a1b1 a2b2 ... anbn ) 2 (a12 a2 2 ...an 2 ) . (b11 b2 2 ... bn 2 ) ,

O que conclui a demonstrao.

Observe que a igualdade ocorre quando = 0, o que implica que:
a
a1 a2

... n
b1 b2
bn

Demonstrao 2 ( Argumento fulminante!)

Vamos usar nosso lema. Comecemos pela expresso: a12 a22 ... an2
Agora observe que: a12 a22 ... an2

an2 . bn2
a12 . b12 a22 . b22

...

b12
b22
bn2

Aplicando o nosso lema poderoso, para o caso de n nmeros, obtemos:

a12 a22 ... an2

an2 bn2 (a1 b1 a2 b2 ... anbn ) 2

a12 b12 a22 b22

...

b12
b22
bn2
b12 b22 ...bn2

O que nos d, de forma bem simples, a Desigualdade de Cauchy-Schwartz:

(a12 a22 ... an2 ) . (b12 b22 ... bn2 ) ( a1 . b1 a2 . b2 ... anbn ) 2

Veja que foi espetacular a concluso!!!

Para finalizar, vamos usar a desigualdade de CauchySchwartz para provar o lema inicial.
Considere a expresso (a + b)2
Vamos reescrev-la de modo a utilizar CauchySchwartz:
a
b
( a b) 2
. x
.
x
y

a2
b2 2
y 2

. ( x )2 ( y )2

( x ) 2 ( y ) 2

da, segue que:

a 2 b2
( a b) 2

. ( x y)
x
y

Logo,

a 2 b 2 ( a b) 2

x
y
x y

A matemtica nos leva a caminhos inimaginveis, e nos faz sentir fortes emoes!!!..........
A seguir, vamos resolver os dois problemas apresentados no incio da Aula.

3. Problemas Resolvidos

Problema (1)
Se a, b e c so nmeros reais tais que
a 2 b 2 c 2 1 , ento qual o valor mximo de ab + bc + ac?

Soluo
Pela desigualdade de Cauchy-Schwarz, aplicada as ternas ordenadas de nmeros reais
(a, b, a) e (b, c, c) temos que

ab bc ac

(a 2 b 2 a 2 )(b 2 c 2 c 2 ) . Por outro lado, como

a 2 b 2 c 2 1 , segue que a 2 b 2 1 c 2 . Logo, a 2 b 2 a 2 1 c 2 a 2 . De modo anlogo,

temos que b 2 c 2 c 2 1 a 2 c 2 . Portanto,

ab bc ac

(a 2 b 2 a 2 )(b 2 c 2 c 2 ) (1 c 2 a 2 ).(1 a 2 c 2 ) . Agora, tomando

x a 2 c 2 , temos que ab bc ac (1 x )(1 x ) 1 x 2 1 . Portanto, o maior valor da

2

expresso ab + bc + ac 1 e esse valor atingido quando a b c

Problema (2) (frica do Sul-95)
Sejam a, b, c e d nmeros reais positivos, prove

1
.
3

1 1 4 16
64

a b c d abcd

Soluo - 1
Usando o poderoso lema imediato. Reescrevendo a expresso acima, temos
12 22 22 42
64

a b
c
d abcd

Segue que
12 22 22 42 (1 1 2 4) 2
64

a b
c
d
abcd
abcd

Esse lema realmente muito legal

12 22 22 42
64

a b
c
d abcd

12 22 22 42 (1 1 2 4) 2
64

a b
c
d
abcd
abcd

Soluo 2
Usando a Desigualdade de CauchySchwartz, temos:
Segue que:
a1

1
1
2
4
; a2
; a3
e a4
a
b
c
d

b1 a ; b2 b ; b3 c e b4 d
Aplicando CauchySchwartz, temos
(a12 a22 a32 a42 ) . (b12 b22 b32 b42 ) (a1b1 a2b2 a3b3 a4b4 ) 2

1
2
4
1

1 1 4 16
. a
. b
. c
. d
. (a b c d )
b
c
d
a b c d
a

Assim temos:
2
1 1 4 16
. (a b c d ) 1 1 2 4
a b c d

Logo:
1 1 4 16
64

a b c d abcd

Problema (3) (Cone Sul-96)

Se a, b, e c so nmeros reais. Prove que

a
b
c
3

bc ca ab 2

Soluo:
Multiplicamos os trs termos do lado esquerdo da desigualdade por

a b
c
,respectivamente,
, e
a b
c

que o mesmo que multiplicar por 1, e ento usamos nosso poderoso lema:
a2
b2
c2
3

ab ac bc ab ac bc 2

(a b c) 2
3

2(ab bc ac)
2
A expresso acima equivalente a:
a 2 b 2 c 2 2ab 2bc 2ac 3ab 3bc 3ac
a 2 b 2 c 2 ab bc ac
a 2 b 2 c 2 ab bc ac a igualdade ocorre quando a b c.

Nota:
Podemos facilmente verificar que a desigualdade a 2 b 2 c 2 ab bc ac verdadeira. Com
efeito, temos:
a 2 b 2 2ab ,

b 2 c 2 2bc e c 2 a 2 2ac

Adicionando as trs expresses acima temos:

2a 2 2b 2 2c 2 2(ab bc ac)

O final bem simples a 2 b 2 c 2 ab bc ac , o que conclui a demonstrao.

4. Problemas Propostos
1) Se x, y e z > 0 prove que

2
2
2
9

x y yz zx x yz

2) Se a e b so nmeros reais positivos, prove que 8(a 4 b 4 ) (a b) 4

3) (Repblica Tcheca-99) Para a, b e c nmeros reais positivos, prove a desigualdade
a
b
c

1
b 2c c 2a a 2b

4) Se a, b, x e y so nmeros reais positivos, prove que

x
y
z
3

ay bz az bx ax by a b

5) (Crocia-2004) Se x, y e z so nmeros reais positivos, prove que

x2
y2
z2
3

( x y ).( x z ) ( y z ). ( y x) ( z x).( z y ) 4

6) Se a, b e c >0 prove que

a 2 b2 b2 c2 a 2 c 2

abc
ab
bc
ac

7) Se a, b e c so nmeros positivos tais que a.b.c = 1 prove que:

1
1
1
3
3
3

a (b c) b (a c) c (a b) 2
3

8) Se x, y e z > 0 prove que

x
y
z
1

x 2 y 3z y 2 z 3x z 2 x 3 y 2

9) Para todo a, b, c e d reais positivos prove que

a
b
c
d

2
bc cd d a ab

10) (Moldvia-2007) Se w, x, y e z so nmeros reais positivos prove que:

w
x
y
2
2

x 2 y 3z y 2 z 3w z 2w 3x w 2 x 3 y 3