SOBRE LA DESIGUALDAD DE CAUCHY

Un enfoque heurstico y algunas aplicaciones

Francisco Bellot Rosado
En muchos problemas de concursos se puede utilizar la desigualdad
de Cauchy como herramienta para demostrar desigualdades.
En esta nota voy a exponer la forma en que a m, personalmente, me
gusta presentar la desigualdad a alumnos de 14 15 aos de edad
en adelante. Descarto, por la edad de los alumnos, el enfoque
vectorial habitual con la utilizacin del producto escalar; emplear la
identidad de Lagrange, pero no la voy a presentar cada del cielo ni
despacharla diciendo (como he llegado a leer en algn texto) que se
demuestra haciendo operaciones y desarrollando ambos miembros.
La identidad de Lagrange
Queremos comparar las dos expresiones siguientes:
( )( )
2 2 2 2 2 2
a b c x y z + + + + (1)
y
( )
2
ax by cz + + (2)
con objeto de saber cul de las dos ser mayor. Aqu, los seis nmeros
involucrados son nmeros reales cualesquiera. Pido a los alumnos que
desarrollen por separado (1) y (2) :
(1)=
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
a x a y a z b x b y b z c x c y c z + + + + + + + +
(2)=
2 2 2 2 2 2
2 2 2 a x b y c z abxy acxz bcyz + + + + +
A la vista del resultado obtenido, y si es preciso con algunos ejemplos
numricos, conjeturamos que (1) debe ser mayor o igual que (2);
para demostrar esto de forma concluyente vamos a ver si
conseguimos expresar (1) como una suma, uno de cuyos sumandos
sea (2) y los dems sean positivos. Para que esto sea as,
procuraremos que los otros sumandos sean cuadrados, y adems que
los trminos que estn en (1) pero no en (2) aparezcan en la suma
y se simplificarn y los dobles productos, que estn en (2) pero no
en (1), se simplifiquen directamente apareciendo con signo opuesto
en los desarrollos de los cuadrados:
Propongo, entonces, a los alumnos, que completen adecuadamente
( ) ( )
2 2
2 2
( ) ( ) ax by cz + + + + +
y que escriben como
( ) ( )
2 2
2 2
( ) ( ) ax by cz ay bx bz cy cx az + + + + + .
Hemos llegado, de esta forma a la identidad
( )( ) ( ) ( )
2 2
2 2 2 2 2 2 2 2
( ) ( ) a b c x y z ax by cz ay bx bz cy cx az + + + + = + + + + +
que recibe el nombre de Lagrange (para tres variables, pero que es
fcilmente generalizable a ms) y que, como subproducto, demuestra la
desigualdad
( )( ) ( )
2
2 2 2 2 2 2
a b c x y z ax by cz + + + + + + ,
que es la desigualdad de Cauchy.
El caso de igualdad
Cundo valdr el signo igual en la desigualdad de Cauchy?
Los alumnos, despus de reflexionar un poco, dicen: cuando sean 0
los tres cuadrados suplementarios del segundo miembro de la
identidad.
Esto se formula como
0 ay bx bz cy cx az = = =
que se expresa de forma ms compacta en forma de proporcin:
a b c
x y z
= = ,
es decir, cuando las tres primeras variables sean proporcionales a las tres
segundas.
Algunos comentarios
En la excelente monografa de J. Michael Steele The Cauchy-Schwarz Master
Class, Cambridge U.P. & M.A.A. 2004 se afirma que el procedimiento que
hemos utilizado es el que describe Cauchy en su libro de texto para los
alumnos de la Escuela Politcnica de Francia (1821).
En la bibliografa rusa, se suele aadir el nombre de Buniakovski a los de
Cauchy y Schwarz. En realidad, Schwarz y Buniakovski desarrollaron,
independientemente uno de otro, una generalizacin de la desigualdad de
Cauchy para clculo integral.
La formulacin generalizada de la desigualdad es
( )( ) ( )
2
2 2 2 2 2 2
1 2 1 2 1 1 2 2 n n n n
a a a b b b a b a b a b + + + + + + + + + ,
valiendo el signo igual si y slo si las variables a
i
y b
i
son proporcionales, es
decir, si existe
tal que
i
i
a
b
= ,
Cualquiera que sea ,1 i i n .
Para generalizar el argumento anteriormente usado en la identidad de
Lagrange, hay que observar que a la expresin
( )
2
1 1 2 2 n n
a b a b a b + + +
es necesario sumarle los n(n-1)/2 cuadrados
( ) ( ) ( )
2 2 2
1 2 2 1 1 3 3 1 1 1 n n n n
a b a b a b a b a b a b

+ + +
nmero que coincide con el de formas de elegir dos subndices distintos de
entre los n. Con esto, se obtiene el primer miembro de la identidad de
Lagrange para n variables.
Aplicaciones
El primer ejemplo que vamos a ver procede de una pequea obra maestra:
Maxima and Minima without Calculus, de Ivan Niven (M.A.A. 1981).
Ejemplo 1
Hallar los valores mximo y mnimo de 2x+3y+6z para valores de
x,y,z que satisfacen x
2
+y
2
+z
2
= 1.
Solucin
Por la desigualdad de Cauchy para 3 variables, con a = 2, b=3, c = 6
obtenemos
( )( ) ( )
2
2 2 2 2 2 2
2 3 6 2 3 6 x y z x y z + + + + + + ,
con igualdad si y slo si
2 3 6
x y z
= = .
Pero sobre la esfera
2 2 2
1 x y z + + = , se tiene
( )
2
49 2 3 6 x y z + + ,
lo cual significa que
7 2 3 6 7 x y z + + .
El problema estar terminado cuando encontremos efectivamente puntos
sobre la esfera donde se verifique el signo igual. Para ello resolvemos el
sistema formado por la ecuacin de la esfera junto con las dos condiciones
2 3 6
x y z
= = .
As obtenemos los valores
( )
2 3 6 2 3 6
, , , , y , ,
7 7 7 7 7 7
x y z
| | | |

| |
\ . \ .
.
Por lo tanto, el mnimo valor es -7 y el mximo 7.
Ejemplo 2
(del libro de Mircea Becheanu y Bogdan Enescu Inegalitati elementaresi
mai putin elementare, Ed. Gil, 2002)
Si a,b,c son nmeros reales tales que a + b + c = 1, demostrar que
a
2
+b
2
+c
2
es mayor o igual que 1/3.
Solucin
Aplicamos la desigualdad de Cauchy en la forma
( ) ( )
2
2 2 2 2
1 1 1 1 3 a b c a b c = + + + + .
La desigualdad que acabamos de demostrar tiene una interpretacin
geomtrica interesante:

Consideremos el cubo ABCDABCD de lado 1 y sea P un punto interior
situado en el plano ACD. El punto P se proyecta en el plano ABCD en Q, y Q
se proyecta sobre las aristas AD y CD en los puntos R y S, respectivamente.
Supongamos que DR = a, DS = b, PQ = c. Entonces
2 2 2 2
DP a b c = + + .
Por otra parte, el volumen del tetraedro DACD se puede expresar de dos
maneras:
'
1 1 1 1 1
' o bien ,
3 3 2 6 3
ADC AD C
V DD S V S h = = = =
donde h es la distancia de D al plano ADC. Ya que
'
3
,
2
AD C
S = resulta que
1
3
h = . Puesto que
2 2
DP h , la desigualdad propuesta expresa el siguiente
resultado geomtrico: la distancia del vrtice D del cubo a un punto P
interior al tringulo ADC es mayor o igual que
3
3
. La distancia mnima
tendr lugar cuando los vrtices PDRQS sean vrtices de un cubo.
Ejemplo 3
Si a, b, c son nmeros positivos, demostrar que
( )
1 1 1
9 a b c
a b c
| |
+ + + +
|
\ .

Solucin
Como a,b,c son estrictamente positivos, podemos considerar los nmeros
(tambin positivos) , , a b c y aplicar la desigualdad de Cauchy:
( )
( ) ( ) ( )
( )
2 2 2
2 2 2
1 1 1 1 1 1
a b c a b c
a b c a b c
| |
| | | | | | | |
+ + + + = + + + + |
| | | |
|
\ . \ . \ . \ .
\ .

2
1 1 1
9 a b c
a b c
| |
+ + =
|
\ .
.
Ejemplo 4
Si a,b,c son nmeros reales positivos, entonces
2 2 2
2 2 2
a b c a b c
b c a b c a
+ + + +

Solucin
Escribimos el segundo miembro astutamente:
2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2
a c c a b c a c b b a c a b c
c b a b c a b a c c b a b c a
| | | |
+ + + + + + = + +
| |
\ . \ .
.
Ejemplo 5 (La desigualdad de Nesbitt)
Si a, b, c son nmeros positivos, entonces
3
2
a b c
b c c a a b
+ +
+ + +
.
Solucin
Obsrvese la forma en que se invoca aqu la desigualdad de Cauchy:
( ) ( ) ( ) ( )
2 a b c
a b c b c a c a b a b c
b c c a a b
| |
+ + + + + + + + + (
|
+ + +
\ .

De esta desigualdad se obtiene
( )
( ) ( )
2
2 2 2
1
2 2
a b c
a b c a b c
b c c a a b ab bc ca ab bc ca
+ +
+ +
+ + = +
+ + + + + + +

Pero como es bien conocido que
2 2 2
a b c ab bc ca + + + + , resulta
1 3
1
2 2
a b c
b c c a a b
+ + + =
+ + +
.
Bibliografa
M.Becheanu, B. Enescu: I negalitati elementaresi mai putin
elementare. Ed. Gil, Zalau, 2002.
J.Michael Steele: The Cauchy- Schwarz Master Class, Cambridge U.P.
& M.A.A.2004.
I Niven: Maxima and Minima without Calculus. M.A.A. 1981.