Desigualdades 1

Desigualdades

Esta seccin cubre gran cantidad de desigualdades importantes, comenzando
con las ms fciles. Todos los nmeros son reales a menos que se diga otra cosa.
Muchos de los problemas que involucran la demostracin de una desigualdad
pueden ser resueltos en una variedad de formas. De esta manera, intenta siempre
usar una simple desigualdad, antes de usar las ms poderosas que se muestran al
final de esta seccin. Se te sugiere que pruebes casos simples para entender cada
una de las Desigualdades que se muestran ms adelante.
Ten en cuenta que necesitas conocimientos previos de aritmtica, lgebra y
trigonometra mnimo, para manipular las expresiones con las que te enfrentas.

1 Reglas
Aqu estn algunas simples reglas para la manipulacin de desigualdades. Para
nmeros reales a, b, c.

(1) Si a < b entonces a c < b c.
(2) Si 0 < a < b entonces a
n
< b
n
.
(3) Si a < b < 0 entonces a
n
< b
n
si y slo si n es impar. En caso contrario a
n
> b
n
.
(4) Si a < b y c > 0 entonces a c < b c.
(5) Si a < b y c < 0 entonces a c > b c.
(6) Siempre a
2
0.
(7) Si con a, b, c podemos formar un tringulo, entonces a + b > c, a + c > b,
b + c > a. (Desigualdad triangular)

Ejemplo. Si 0 < a < 1, entonces 0 < a
2
< a. Si b > 1, entonces b
2
> b.

2 Desigualdades Bsicas

(1) Si a b es positivo (a b > 0), entonces a > b. (Por lo tanto, una forma de probar
que x > y es considerar el signo de x y.)

Ejemplo.
Si x y y son dos enteros positivos distintos, entonces
3 3 2 2
x y x y xy + > +

Notemos que
3 3 2 2 2 2
x y x y xy x y x y + + = ( ) ( )( ) . Ambos factores del lado
derecho de la igualdad son positivos, o son negativos. En cada caso, su
producto es positivo. De otra forma,
2 2 2
x y x y x y x y ( )( ) ( )( ) = + , y entonces
ambos trminos son positivos.
Es decir,
3 3 2 2
0 x y x y xy ( ) + + > .
Desigualdades 2

(2) Si b > 0 y 1
a
b
> , entonces a > b. (Otra forma de probar que x > y, donde y > 0, es
considerar
x
y
.)
Ejemplo.
Si x > y > 0, entonces
3 4 4
4x x y x y ( ) > .

Tenemos que:
3 3
4 4 3 2 2 3
4 4 x x y x
x y x x y xy y
( )
=
+ + +


(cancelando el factor x y, lo cual est permitido si x y)

2 3
2 3
4
1
y y y
x
x x
=
+ + +

> 1,
ya que 0 <
y
x
< 1. (En este caso 1
n
n
y
x
< , para todo natural n.)

(3) Siempre
2
0 a b ( ) .

Ejemplo.
Si x, y, z son nmeros reales, entonces
2 2 2
x y z yz zx xy + + + + .

Tenemos que:
2 2 2 2 2 2
2 2 2
1
2 2 2 2 2 2
2
1 1 1
2 2 2
0
x y z yz zx xy x y z yz zx xy
x y y z z x
( )
( ) ( ) ( )
.
+ + = + +
= + +

Si la suma de dos nmeros es constante, entonces su producto es mximo
cuando ellos son iguales.

Supongamos que x + y = k. Entonces xy = x (k x) =
2
2
4 4
k k
x
| |

|
\
, as xy es
mximo cuando
2
4
k
x
| |

|
\
es mnimo, y esto es cuando x =
2
k
= y.
Alternativamente, puedes observar que 4xy = (x + y)
2
(x y)
2
es mximo
cuando (x y)
2
es mnimo.
Desigualdades 3

Muchas desigualdades pueden establecerse ignorando muchos trminos
ajenos.

Ejemplo.
Si a1, a2, , a
n son positivos y a1 + a2 + + a
n = c, entonces:

1 2
1 1 1 1
n
a a a c ( )( )...( ) + + + > + .

Demostracin.
1 2 1 2 1 2 1 2
1 1 1 1 1 a a a a a a a a c ( )( ) ( ) ( ) + + = + + + > + + = + , si
1 2
0 a a , > .


Similarmente:
1 2 3 1 2 3
1 1 1 1 1 a a a a a a ( )( )( ) ( )( ) + + + > + + +
1 2 3 3 1 2
1 a a a a a a ( ) = + + + + +
1 2 3
1 a a a > + + +
1 c = +

El resultado general puede ser establecido por induccin.

3 Relacin entre las Medias:
Aritmtica (MA), Geomtrica (MG), Harmnica (MH)
y Cuadrtica (MC)

Sean
1 2 n
x x x , , ..., nmeros reales positivos. Entonces, se cumplen las siguientes
relaciones:

2 2 2
1 2 1 2
1 2
1 2
1 1 1
n n
n
i n i
n
x x x x x x n
mn x x x x mx x
n n
x x x
... ...
( ) ... ( )
...
+ + + + + +

+ + +


Y la igualdad se da si y slo si
1 2 n
x x x ... = = = .

En respectivo orden:

i i
mn x MH MG MA MC mx x ( ) ( )

Ejemplos:

(i) Si x, y y z son reales positivos, entonces:
3 3 3
3 x y z xyz + + .

Desigualdades 4

Usando la desigualdad entre medias aritmtica geomtrica obtenemos:

3 3 3 3 3 3
3
1
3
x y z x y z xyz ( ) + + = .

(ii) Si x, y y z son reales positivos, entonces:
3
1 1 1 3
x y z xyz
+ + .

Usando la desigualdad MA MG, obtenemos:

3
1 1 1 1 1 1 1
3 x y z x y z
| | | |
+ +
| |
\ \


Lo cual nos lleva al resultado deseado.

(iii) Si x, y y z son reales positivos, entonces:
3
2
y x z
y z z x x y
+ +
+ + +
.
Usando MA MH, tenemos:

1 1 1 1 3
3 y z z x x y y z z x x y
| |
+ +
|
+ + + + + + + +
\
,
y luego:
1 1 1 9
2
9
3
2
3
2
x y z
y z z x x y
y x z
y z z x x y
y x z
y z z x x y
( ) ,
,
.
| |
+ + + +
|
+ + +
\
+ + +
+ + +
+ +
+ + +


4 Medias Pesadas
Si
1 2 n
w w w , , ..., son nmeros racionales positivos, entonces
1 1 2 2
1 2
n n
n
w a w a w a
w w w
...
...
+ + +
+ + +

es llamada la media aritmtica pesada de los nmeros positivos
1 2 n
a a a , , ..., .
De la misma forma,
1 2 1 2
1
1 2
n n
w w w w w w
n
a a a
...
( )
+ + +

es llamada la media geomtrica pesada.

Desigualdades 5

La siguiente generalizacin de la desigualdad MA MG permanece:

1 2 1 2
1
1 1 2 2
1 2
1 2
n n
w w w w w w n n
n
n
w a w a w a
a a a
w w w
...
...
( )
...
+ + +
+ + +

+ + +
.

Este caso especial en los siguientes ejemplos puede tomarse como modelo para una
prueba general del resultado. En particular, demuestra cmo trabajar con pesos
i
w , que son nmeros racionales.

Ejemplo 1.
Para x, y, z racionales positivos:
2 2 2
x y z
y x z
x y z
x y z
x y z
+ +
| | + +

|
+ +
\
.

Primero supongamos que x, y, z son enteros positivos. Sea n = x + y + z y
apliquemos la desigualdad MA MG a los n nmeros que consisten de x xs, y ys
y z zs:
2 2 2
y x z x y z
x y z x x y y z z
x y z
x y z x y z
+ +
+ + + +
=
+ + + +
,
y el resultado sigue de elevar ambos miembros a la potencia (x + y + z).

Ahora sean x, y, z cualesquiera nmeros racionales positivos. Sea m el mnimo
comn mltiplo de sus denominadores. Entonces mx, my y mz son enteros.
Entonces de la siguiente desigualdad:
2 2 2 2 2 2
mx my mz
my mx mz
m x m y m z
mx my mz
mx my mz
( ) ( ) ( )
+ +
| | + +

|
+ +
\
,
obtenemos:
2 2 2
m x y z
m x y z y m x y z x z m
x y z
m x y z m
x y z
( )
( ) ( )
( )
+ +
+ + + +
| | + +

|
+ +
\
.
Cancelando el factor comn y sacando la raz m-sima a ambos lados obtenemos el
resultado.

Ejemplo 2.
Si p y q son racionales positivos tales que
1 1
1
p q
+ = , entonces para positivos x, y
q p
y x
xy
p q
+ .
Dado que
1 1
1
p q
+ = , podemos escribir
m n
p
m
+
= ,
m n
q
n
+
= , donde m y n son
enteros positivos. Escribimos
1 p
x a
/
= ,
1 q
y b
/
= .
Desigualdades 6

Entonces:
q p
y x a b ma nb
m n m n
p q m n
m n
+
+ = + =
+ +
+
.
Aplicando la desigualdad MA MG, obtenemos:
1 1
1
p q m n
m n
ma nb
a b a b xy
m n
( )
+
+
= =
+
,
esto es:
q p
y x
xy
p q
+ .

5 Desigualdad de Euler
Una de las desigualdades ms antiguas acerca de tringulos es la que relaciona
los radios del circuncrculo e incrculo. Fue demostrada por Euler y est contenida
en los siguientes teoremas.

Teorema 1 (Euler 1765) Sean 0 e I el circuncentro e incentro, respectivamente, de un
tringulo con circunradio R e inradio r; sea d la distancia IO. Entonces

2 2
2 d R Rr =

Teorema 2 En un tringulo con circunradio R e inradio r, se tiene que 2 R r .

Aqu estn otros siete interesantes y tiles hechos acerca de tringulos. Aqu s
denota el semipermetro del tringulo ABC, , , los ngulos, a, b, c los lados
opuestos, y K el rea.

(1)
1 1 1
2 2 2
K absen ac sen bc sen = = = .
(2) K s s a s b s c ( )( )( ) = . (Frmula de Hern)
(3) K rs = .
(4) 2
a b c
R
sen sen sen
= = = . (Ley de Senos)
(5)
4
abc
K
R
= .
(6) 1
2
( a b c)( a b c)
cos
bc

+ + + +
+ = 1
2
( a b c)( a b c)
cos
bc

+ +
= .
(7)
2
s b s c
sen
bc
( )( )
=
2
s(s a)
cos
bc

=
2
(s b)(s c) r
tan
s(s a) s a

= =

.
Desigualdades 7

Frmulas similares en (6) y (7) pueden ser escritas para los ngulos y . Para
ver (1), traza la altura desde C a c para formar un tringulo rectngulo. El rea es
un medio del producto de la base c por la altura. Pero la altura es igual a a sen .
Para ver (2), traza de nuevo la altura h, formando dos tringulos rectngulos con
bases x y c x. Usa el Teorema de Pitgoras en ambos y elimina la altura para
resolver
2 2 2
2
a b c
c
x
+
= (Nota que x = a cos ). Ahora sustituye x de nuevo en
h
2
= a
2
x
2
. Usa A
2
B
2
= (A + B)(A B) y A
2
+ 2AB + B
2
= (A + B)
2
para expandir.
Luego multiplica por 4c
2
obteniendo (b + c a) (a + b c) (a + c b) (a + b + c). Para
ver (3), divide el tringulo en tres tringulos con segmentos desde el incentro a los
vrtices. Para ver (4), circunscribe el tringulo y dibuja un dimetro de uno de los
vrtices. Dibuja una cuerda desde el otro extremo del dimetro a un segundo
vrtice del tringulo. Nota que el ngulo en el tercer vrtice es igual al ngulo
formado por el dimetro y la cuerda, o son suplementarios, si el tercer ngulo no es
agudo. An as, los ngulos tienen senos iguales. Para ver (5), usa (1) y (4). Para ver
(6), resuelve la Ley de Cosenos para cos y suma o resta 1. Para ver (7), usa las
frmulas de ngulo mitad
2 2
1 1
2 2 2 2
cos cos
sen ,cos
+
= = , y (6). Para la parte
final de (7) usa las primeras dos partes de (7) y las frmulas (2) y (3).

6 Funciones Convexas
Una funcin f x ( ) es convexa si para cualesquiera nmeros reales a < b, cada
punto (c, d) sobre el segmento que une los puntos (a, f a ( ) ) y (b, f b ( ) ), se encuentra
por encima o en el punto (c, f c ( ) ), en la grfica de f con la misma coordenada x.

Algebraicamente, esta condicin dice que:
1 1 f t a tb t f a tf b (( ) ) ( ) ( ) ( ) + + (*)
siempre que a < b para toda t [0, 1]. (El lado izquierdo representa la altura de la
grfica de la funcin sobre el valor x = (1 t)a + tb, el cual es una fraccin t del
camino de a a b, y el lado derecho representa la altura del segmento de recta sobre
el mismo valor x.)

Por ejemplo, la funcin
2
f x x ( ) = es convexa, as como
n
f x x ( ) = para cualquier
entero positivo n que sea par.

Uno tambin puede decir que una funcin f x ( ) es convexa en un intervalo I. Esto
significa que la condicin (*) se cumple al menos cuando a, b I (a < b y t [0, 1]).
Por ejemplo, uno puede demostrar que
3
f x x ( ) = es convexa en [0, ), y que
f x senx ( ) = es convexa en ( , 0).

Desigualdades 8

Finalmente uno dice que una funcin f x ( ) en un intervalo I es estrictamente
convexa, si
1 1 f t a tb t f a tf b (( ) ) ( ) ( ) ( ) + < +
para a, b I y a < b y t (0, 1). En otras palabras, el segmento que une dos puntos
de la grfica de f debe estar completamente en la grfica de f, excepto donde toca a
los extremos.

Una suma de funciones convexas es convexa. Sumar una constante o una
funcin lineal a la funcin, no afecta la convexidad.

Comentarios (para quienes saben acerca de continuidad y derivadas):
Si uno quiere demostrar rigurosamente que una funcin es convexa, en lugar
de verlo de la grfica, comnmente es ms fcil usar uno de los criterios listados
abajo, en lugar de la definicin de convexidad.

(1) Sea f x ( ) una funcin continua en un intervalo I. Entonces f x ( ) es convexa si y
slo si 2 2 f a f b f a b ( ( ) ( ))/ (( )/ ) + + para todo a, b I. Adems, f x ( ) es
estrictamente convexa si y slo si 2 2 f a f b f a b ( ( ) ( ))/ (( )/ ) + > + para a, b I y
a < b.
(2) Sea f x ( ) una funcin diferenciable en un intervalo I. Entonces f x ( ) es convexa
si y slo si f x '( ) es creciente en I. Adems, f x ( ) es estrictamente convexa si y
slo si f x '( ) es estrictamente creciente en el interior de I.
(3) Sea f x ( ) una funcin doblemente diferenciable en un intervalo I. Entonces
f x ( ) es convexa si y slo si 0 f x ''( ) para toda x I. Adems, f x ( ) es
estrictamente convexa si y slo si 0 f x ''( ) para toda x en el interior de I.

Desigualdades para funciones Convexas:

7 Desigualdad de Jensen
Sea f una funcin convexa en un intervalo I. Si
1 n
x x I , ..., y tenemos nmeros
reales
1
0
n
w w , ..., tales que
1
1
n
w w ... + + = , entonces:

1 1 1 1 n n n n
w f x w f x f w x w x ( ) ... ( ) ( ... ) + + + + .

Ms an, si f es estrictamente convexa, la igualdad se da si y slo si todas las
i
x ,
con 0
i
w , son iguales.
Un caso especial muy til es:
1 1
1 1
n n
i i
i i
f x f x
n n
( )
= =
| |

|
\

.
Desigualdades 9

Demostracin por Induccin. El caso n = 2 es cierto por la definicin de convexidad.
Supongamos que la relacin es cierta para n, entonces tenemos:

1
1 1 1 1 1
1 1 1 1
1
1
1
n n n
i i i i i i i i i i i
i i i i
f w x f w x w x f w x w w x
w
( )
+
+ + + + +
= = = +
| |
| | | |
= + = +
| | |

\ \ \


1 1 1
1 1
1 1 1
1 1
1 1 1
1 1
1 1
1
1
1
1
1
1
1
1
1
1
n
i i i i i
i i
n
i
i i i i
i i
n
i
i i i i
i i
n
i i i i
i
n
i i
i
w f x w f w x
w
w
w f x w f x
w
w
w f x w f x
w
w f x w f x
w f x
( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( )
( ).
+ + +
= +
+ + +
= +
+ + +
= +
+ +
=
+
=
| |
+
|

\
| |
= +
|

\
+

= +
=

Esto muestra que la relacin es vlida para n + 1 y por el principio de Induccin es
vlida para todos los nmeros naturales.

Nota: Si la funcin no es convexa entonces la desigualdad se invierte.

Una consecuencia fcil del Teorema de Jensen es la siguiente demostracin de la
desigualdad entre las medias Aritmtica y Geomtrica:

(Desigualdad MA MG) Si
1
0
n
x x , ..., entonces
1
1
n
n
n
x x
x x
n
... + +
.
Demostracin. Dado que la funcin ln( x) es convexa, entonces ln( x) es cncava.
Por el teorema de Jensen tenemos:

1 1 n n
x ... x lnx ... lnx
ln
n n
+ + + +
| |

|
\

1 2
1
1 2
1
n
n
n
ln( x x x )
n
ln ( x x x )
=
(
=
(


Dado que ln( x) es creciente montonamente (
1
f '( x)
x
= ) para x > 0 tenemos que
1
1
n
n
n
x x
x x
n
... + +
.
Desigualdades 10

8 Desigualdad de mayorizacin de
Hardy-Littlewood-Poly
Sea f una funcin convexa en un intervalo I, y supongamos que
1 1 n n
a ,..., a , b ,..., b I . Suponga que la secuencia
1 n
a ,..., a mayoriza a
1 n
b ,..., b ; esto
quiere decir lo que sigue:


1
1
1 1
1 2 1 2
1 2 1 1 2 1
1 2 1 1 2 1
n
n
n n
n n n n
a ... a
b ... b
a b
a a b b
.
.
.
a a ... a b b ... b
a a ... a a b b ... b b

+ +
+ + + + + +
+ + + + = + + + +


(Nota la igualdad en la ecuacin final.) Entonces

1 1 n n
f ( a ) ... f ( a ) f (b ) ... f (b ) + + + + .

Si f es estrictamente convexa en I, entonces la igualdad se da si y slo si
i i
a b = para
toda i.

Desigualdades para funciones Simtricas:

Dados nmeros
1 n
a ,..., a y 0 i n, la i-sima funcin simtrica elementaria
i

est definida para ser el coeficiente de
n i
x

en
1 n
x a x a + + ( ) ( ) . Por ejemplo, para
n = 3,

0
1 1 2 3
2 1 2 2 3 3 1
3 1 2 3
1
a a a
a a a a a a
a a a

=
= + +
= + +
=


La i-sima media simtrica elementaria
i
S es la media aritmtica de los monomios
que aparecen en la expansin de
i
; en otras palabras
( )
n
i i i
S = / . En el ejemplo
de arriba,
Desigualdades 11

0
1 2 3
1
1 2 2 3 3 1
2
3 1 2 3
1
3
3
S
a a a
S
a a a a a a
S
S a a a
=
+ +
=
+ +
=
=


9 Desigualdad de Newton
Para cualesquiera nmeros reales
1 n
a ,..., a , tenemos que
2
1 1 i i i
S S S
+
.

10 Desigualdad de Maclaurin
Para
1
0
n
a ,..., a , tenemos
3
1 2 3
n
n
S S S S ... .
Ms an, si los
i
a son positivos y no todos iguales, entonces las desigualdades son
estrictas.

Ms desigualdades:

11 Desigualdad de Cauchy-Schwarz
Si
1 1 n n
a ,..., a , b ,..., b son nmeros reales, entonces
2 2 2 2 2
1 1 1 1 n n n n
a a b b x y x y + + + + + + ( ... )( ... ) ( ... ) .
Y la igualdad se da si y slo si
i i
a rb = , para alguna constante r.

Ejemplo.
Si x, y, z > 0 entonces
1
2 2 2
2
1
3 4 12
13
x y z x y z + + + + ( ) ( ) .
Esto es, por la desigualdad de Cauchy-Schwarz:
2 2 2 2 2 2 2
3 4 12 3 4 12 x y z x y z + + + + + + ( )( ) ( ) .
El resultado sigue de sacar la raz cuadrada a ambos lados.

Tambin, podemos demostrar la desigualdad entre MA y MG:

2 2 2 2 2 2 2
1 2 1 2
2 2 2 2
1 2 1 2
2 2 2 2
1 2 1 2
2
2 2 2
1 2 1 2
1 1 1 1 1 1
n n
n n
n n
n n
x x x x x x
x x x n x x x
x x x x x x
n n
x x x x x x
n n
+ + + + + + + + +
+ + + + + +
+ + + + + +

+ + + + + +

( ... ) ( ... )( ... )

( ... ) ( ... )
( ... ) ( ... )

... ...

Desigualdades 12

12 Desigualdad de Chebychev
Si
1
0
n
x x ... y
1
0
n
y y ... , entonces
1 1 1 1 n n n n
x y x y y y x x
n n n
+ + + + + +
| | | |

| |
\ \
... ... ...

con la igualdad si y slo si una de las secuencias es constante.

Desigualdad de Chebychev con tres secuencias:
Si
1
0
n
x x ... ,
1
0
n
y y ... , y
1
0
n
z z ... entonces
1 1 1 1 1 1 n n n n n n
x y z x y z y y x x z z
n n n n
+ + + + + + + +
| | | | | |

| | |
\ \ \
... ... ... ...

con la igualdad si y slo si al menos dos de las tres secuencias son constantes o una
de las secuencias es toda cero.

Probablemente piensas que hay una desigualdad de Chebychev con cuatro
secuencias.

13 Desigualdad de Hlder
Sean
1 1
0
n n
a ,..., a , b ,..., b , , > y suponga que 1 + = . Entonces
1 1 1 1 n n n n
a a b b a b a b

+ + + + + + ( ... ) ( ... ) ( ... )
con la igualdad si y slo si
1 2
1 2
n
a a a
b b bn
= = = ... .

Otra forma de ver este teorema es la siguiente: Si p y q son positivos con
1 1
1
p q
+ = ,
y
k k
a b , son no negativos, entonces
1 1
1 1 1
n n n
p q
p p
k k k k
k k k
a b a b
= = =
| | | |

| |
\ \

.

El caso p = q = 2 es la desigualdad de Cauchy-Schwarz de la seccin 11. En general,
debemos restringir los
k
a y
k
b a ser no negativos, siempre que potencias no
negativas se involucren.

14 Extensin de Jensen de la Desigualdad de Hlder
Supongamos que
1 1 1
0
n n n
a a b b l l > , ... , , ..., , ..., , ..., , , , ..., y 1 + + + ... .
Entonces
1 1 1 1
n n n n
i i i i i i
i i i i
a b l a b l


= = = =
| | | | | |

| | |
\ \ \

( ) .
Desigualdades 13

15 Desigualdad del Reacomodo
Supongamos que
1 n
a a ... y
1 n
b b ... son nmeros reales. Si es una
permutacin de 1, 2,, n, entonces

1 2 1 1 1 1 2 2 1 1 2 2 n n n n n n n
a b a b a b a b a b a b a b a b a b

+ + + + + + + + +
( ) ( ) ( )
... ... ... .

16 Desigualdad de Minkowski
Supongamos que
1 1
0
n n
a a b b , ... , , ..., , y r son nmeros reales. Si r > 1, entonces

1 1 1 1
r r r r r r
r r r
n n n n
a a b b a b a b + + + + + + + + + ... ... ( ) ... ( ) .

Si 0 < r < 1, entonces la desigualdad se invierte.

Ejemplo.
Si x, y, z > 0 entonces
2 2 2 2 2 2
4 x y y z z x x y z + + + + + + + ( ) ( ) ( ) ( ) .

Aplicando la desigualdad de Minkowski con r = y n = 3, obtenemos:
1 1 1
2 2 2 2 2 2 2 2 2
2 2 2
x y y z z x x y z y z x ( + + + + + + + + + +

( ) ( ) ( ) ( ) ( ) .
Elevando al cuadrado ambos lados terminamos.

17 Desigualdad de Bernoulli
Si x > 1 y 0 < a < 1, entonces
1 1
a
x ax + + ( ) ,
con la igualdad si y slo si x = 0. La desigualdad se invierte para a < 0 o a > 1.

18 Las Siete Maravillas del Mundo
El ttulo de esta seccin viene de un artculo de Richard Hoshino titulado El
Otro Lado de las Desigualdades, Parte 4 en Mathematical Mayhem, Volumen 7, captulo
4, Marzo-Abril 1995.
El artculo tuvo un intento muy exitoso por mostrar cmo algunas
desigualdades pueden ser resueltas elegantemente con algo de trigonometra. El
mayor tema fue aplicar la Desigualdad de Jensen para funciones convexas de tres
variables. Enunciado,
1 2 3 1 2 3
3 3
f x x x x x x
f
+ + + +
| |

|
\
( )
.
Nota que f x senx = ( ) es cncava en [0, ], f ( x) csc x = es convexa en [0, ],
f ( x) cos x = es cncava en [0, /2] y convexa en [ /2, ] y tanx es convexa en
Desigualdades 14

(0, /2). Como antes, , , son los ngulos del tringulo ABC. La siguiente lista
de desigualdades comprende las Siete Maravillas del Mundo.

W1
3 3
2
sen sen sen + + .
W2 2 3 csc csc csc + + .
W3
3
1
2
cos cos cos < + + .
W4
3
9
cot cot cot .
W5 3 cot cot cot + + .
W6
2 2 2
9
4
sen sen sen + + .
W7
2 2 2
1 cot cot cot + + .

Las siguientes son algunas demostraciones que exhiben la utilidad de la
Desigualdad de Jensen y algunas otras tcnicas estndar con funciones
trigonomtricas.

W1 Dado que senx es cncava en (0, ), por la desigualdad de Jensen tenemos
que
3
3 3 3 2
sen sen sen
sen sen
+ + + +
| |
= =
|
\
. Multiplicando ambos
lados de la desigualdad por 3, obtenemos el resultado.

W2 Dado que cosx es convexa en (0, ), por la desigualdad de Jensen tenemos
que
2
3 3 3 2 3
3 3 3
csc csc csc csc csc


+ +
| |
+ + = = =
|
\
.
W3 Si
2
, ,

< entonces por la desigualdad de Jensen tenemos que:

1 3
3 3 3
3 3 2 2
cos cos cos cos cos


+ +
| |
+ + = = =
|
\
. El otro lado de la
desigualdad parece ser ms complicado. Para una demostracin alternativa
ve Algunos Problemas Difciles, nmero 3, al final.

W4 Si uno de los ngulos, , no es agudo entonces el valor para 0 cot < y los
valores para los otros dos ngulos sern positivos de tal forma que la
desigualdad es claramente cierta. Si los tres ngulos son agudos, entonces
tanx es convexa y ( ) = + , y por la desigualdad de Jensen:
3 3 3 3
3 3
tan tan tan tan tan


+ +
| |
+ + = =
|
\
,
Desigualdades 15

pero tan tan tan tan tan tan + + = (Demuestra esto).
Por lo tanto 3 3 tan tan tan . Tomando los recprocos obtenemos el
resultado
1 3
9 3 3
cot cot cot .

W5 Primero notemos que:
cos cos sen cos cos sen sen( )
cot cot
sen sen sen sen sen sen



+ +
+ = + = = .
Pero:
1 cos( ) cos cos sen sen
cos( ) cos cos sen sen cos


= +
+ = + =

Sumando tenemos:
2 1
2 1
2 1
2 1
1 1
2
sen sen cos
sen sen sen( ) ( cos )sen( )
sen sen sen ( cos )sen( )
sen sen sen ( cos )sen( )

sen sen ( cos ) sen sen ( cos )

se

+
+ + +
+ +
+ +

+ +
1
n sen( )
cos sen sen


+

+

Por lo tanto:
2 2
2
1
1 4 2 2
2 1
1 3
2
sen( )
cot cot cot cot
sen sen
sen cos

cos sen
sen cos cos

( cos )sen
se

+
+ + = +
+
+
| | + +
=
|
+
\
=
2 2
2 2
2 1
1
1 3 1
2 1
1 3 1
2 1
n cos cos
( cos )sen
sen (cos )

( cos )sen
sen cos

( cos ) sen

| | + + +
|
+
\
| | + +
=
|
+
\
| | +
= +
|
+
\
2 3 1
2 1
3
sen cos
PorladesigualdadMA MG
( cos ) sen

+

+
=

Entonces 3 cot cot cot + + .
Desigualdades 16

W6 Como ( ) = + y el seno de un ngulo es igual al seno de su
suplemento, entonces tenemos:

2 2 2 2 2 2
sen sen sen sen sen sen ( ) + + = + + +

2 2 2 2 2 2
2 2 2 2 2 2
2 2 2 2 2 2 2 2
2 2
2
1 2 1
2
2 2 2
sen sen sen cos sen sen cos cos cos sen
sen sen ( cos )cos sen sen cos cos cos ( cos )
sen sen cos cos cos sen sen cos cos cos cos cos
cos cos sen sen




= + + + +
= + + + +
= + + + +
= +
2 2
2 2
2 2
cos cos
cos cos (cos cos sen sen )
cos cos cos( )
cos cos cos




=
= +
= +

Y de W3 tenemos que
1
3 2
cos cos cos + +
y entonces
3
1
3 8
cos cos cos + +
| |

|
\
.

Luego por la desigualdad MA MG tenemos que:
3
1
3 8
cos cos cos
cos cos cos


+ +
| |

|
\
.

Finalmente se obtiene que:
2 2 2
1 9
2 2 2 2
8 4
sen sen sen cos cos cos
| |
+ + = + + =
|
\
.

W7 Por MA MG se obtiene que
2 2
2 cot cot cot cot + , y lo mismo para
las otras parejas.
Sumando las tres desigualdades obtenidas, y dividiendo entre dos
obtenemos:

2 2 2
cot cot cot cot cot cot cot cot cot
cot cot cot cot( ) cot( )cot
cot cot cot( )(cot cot )

+ + + +
= + +
= + +
1
1
1
cot cot
cot cot (cot cot )
cot cot
cot cot cot cot

= +
+
= +
=


Por lo tanto
2 2 2
1 cot cot cot + + .
Desigualdades 17

19 Problemas Propuestos
Ahora algunos ejercicios sobre los cuales practicars estas ideas. Los primeros
tres son fciles si aplicas correctamente las identidades trigonomtricas. En los
siguientes once problemas aplica las Siete Maravillas del Mundo, la Desigualdad
de Jensen, la Desigualdad MA MG y/o los ejercicios anteriores.

1. Si 1
2 2
a b + = y 1
2 2
m n + = para nmeros reales a, b, m y n, prueba que
1 |am bn| + .
2. Resuelve 4 2 0
2 4
3sen sen = .
3. (1984 ARML) En el tringulo ABC, a b c . Si
3 3 3
3 3 3
7
a b c
sen sen sen
+ +
=
+ +
, calcula
el mximo valor posible para a.
4.
3 3
8
sen sen sen .
5.
8 3
9
csc csc csc .
6.
2 2 2
3
3
4
cos cos cos + + < .
7.
2 2 2
3 sec sec sec + + > .
8.
2 2 2
4 csc csc csc + + .
9.
3
1
2 2 2 2
sen sen sen

< + + .
10.
3 3
2
2 2 2 2
cos cos cos

< + + .
11. 3
2 2 2
tan tan tan

+ + .
12. 3 3
2 2 2
cot cot cot

+ + .
13. 6
2 2 2
csc csc csc

+ + .
14. 2 3
2 2 2
sec sec sec

+ + .
Desigualdades 18

20 Hints

1. Usa la identidad trigonomtrica fundamental que relaciona sen y cos .

2. Renombra o deriva la frmula para 3 sen en trminos de sen .

3. Usa Ley de Senos.

4. Usa W1 y la desigualdad MA MG.

5. Usa el ejercicio anterior.

6. Usa W6.

7. Considera el rango de |sec | .

8. Usa W7.

9. Observa que 2 2 2 ( ) / ( ) / ( ) / + + = . Usa W3.

10. Usa W1 para la segunda desigualdad. La primera desigualdad es algo difcil de
probar.

11. Usa W5 y el hecho de que tan y cot son funciones complementarias, es decir
2
cot tan

| |
=
|
\
.

12. Usa W4 y las mismas ideas como en el problema anterior.

13. Usa la desigualdad de Jensen.

14. Usa la desigualdad de Jensen.

21 Algunos Problemas Difciles

1. Usa la primera parte de la frmula 7 y la relacin con la desigualdad de Euler
para mostrar que
1
0
2 2 2 4 8
(s a)(s b)(s c) r
sen sen sen
abc R

< = = con la
igualdad si y slo si el tringulo es equiltero.

Desigualdades 19

2. Demuestra que 1 4
2 2 2
cos cos cos sen sen sen

+ + = + .

3. Usa el problema anterior para construir una prueba de W3.

4. (1997 Asian Pacific Mathematical Olympiad) Sea ABC un tringulo inscrito en
un crculo y sean
a b c
a b c
a b c
m m m
l ,l ,l
M M M
= = =
donde m
a
, m
b
, m
c son las longitudes de las bisectrices (interiores al tringulo) y
Ma, Mb, Mc son las longitudes de las bisectrices prolongadas hasta cortar al
crculo.
Demuestra que:
2 2 2
3
a b c
l l l
sen sen sen
+ + ,
y la igualdad se da si y slo si ABC es un tringulo equiltero.

5. (1995 Canadian Mathematical Olympiad) Sean a, b y c nmeros reales positivos.
Demostrar que
3
a b c
a b c
a b c ( abc)
+ +
.

6. Demuestra que para cualesquiera a, b, c > 0,
8 ( a b)(b c)(c a) abc + + + ,
y determina cundo se da la igualdad.

7. Demuestra que
1
n
n
n!
n
+
| |
<
|
\
para todos los enteros n > 1.

8. Demuestra que la suma de los catetos de un tringulo rectngulo nunca es
mayor que 2 veces la hipotenusa del tringulo.

9. Prueba que 2 3 1 x / x para toda x > 0.

10. Prueba que si a > b > 0 y n 1 es un entero, entonces
1
2
( n )
n n
a b n( a b)( ab)

> .

11. Sea E la elipsoide
2 2 2
2 2 2
1
y x z
a b c
+ + = , para algunos a, b, c > 0. Encuentra, en
trminos de a, b y c el volumen de la mayor caja rectangular que puede estar
dentro de E, con sus caras paralelas a los planos coordenados.

Desigualdades 20

12. De todos los planos que pasan a travs de un punto fijo (a, b, c) con a, b, c > 0 y
cortan en partes positivas a los tres ejes coordenados, encuentra el nico de los
tetraedros formados por los planos con los planos coordenados que tiene rea
mnima.

13. De todas las cajas rectangulares con volumen V, encuentra la nica con menor
superficie.

14. Ahora considera cajas abiertas con solo cinco caras. Nuevamente encuentra la
de menor superficie con volumen dado V.

15. Sea T un tetraedro con vrtices (0, 0, 0), (a, 0, 0), (0, b, 0), y (0, 0, c) para algunos
a, b, c > 0. Sea V el volumen de T, y sea l la suma de las longitudes de las seis
aristas de T. Demuestra que
3
3
6 3 3 2
l
V
( )

+
.

16. Sea
1
n
n
g a a = la media geomtrica de los nmeros
1
0
n
a ,..., a > . Prueba que
1 2
1 1 1 1
n
n
( a )( a ) ( a ) ( g) + + + + .

17. Supongamos que x, y, z > 0 y x + y + z = 1. Demuestra que
1 1 1
1 1 1 64
x y z
| |
| | | |
+ + +
| | |
\ \
\
.

18. Demuestra que uno puede obtener la desigualdad MA MG para nmeros
positivos de la desigualdad de Jensen con f ( x) log( x) = .

19. Prueba que
1
1
2
x
x
x
x
+
+
| |

|
\
para x > 0. (Hint: La funcin xlog(x) es convexa en
(0, ).)

20. Usa la desigualdad de Jensen para demostrar que de entre todos los n-gonos
convexos inscritos en un crculo dado, el n-gono regular es el de mayor
permetro.

21. Dados a, b, c, p, q, r > 0 con p + q + r = 1, demuestra que
p q p q q p r r r
a b c a b c a b c a b c + + + + .

22. Muestra que tomando algunos de los
i
a iguales en la desigualdad MA MG,
uno puede deducir la desigualdad pesada MA MG al menos en el caso donde
los pesos son nmeros racionales no negativos. (Para deducir de esto la
Desigualdades 21

desigualdad pesada MA MG general, uno puede usar un argumento de
lmites.) Puede uno deducir similarmente la media de potencias pesada y la
desigualdad pesada de Jensen de las versiones no pesadas?

23. Demuestra que si a, b, c son los lados de un tringulo, entonces
a b c a b c
( a b c) (b c a) (c a b) a b c + + + .

24. Dados a, b, c, d > 0 tales que
2 2 3 2 2
( a b ) c d + = + , prueba que
3 3
1
a b
c d
+ .

25. Qu conocida desigualdad se obtiene tomando solo los trminos extremos en
la desigualdad de Maclaurin?

26. Prueba que
4 3 3 3 2
27 (bc ca ab)( a b c) ( a b c ) + + + + + + para a, b, c > 0.

27. Prueba que si x, y, z, a, b, c > 0 entonces
4 4 4 4
3 3 3 3
y ( x y z) x z
a b c ( a b c)
+ +
+ +
+ +
.

28. Prueba que si a, b, c son lados de un tringulo entonces
2 2 2
0 a b( a b) b c(b c) c a(c a) + + .

29. Obtn la desigualdad de Chebychev de la desigualdad del Reacomodo.

30. Obtn la desigualdad de Chebychev de 3 secuencias de la desigualdad de
Chebychev de 2 secuencias.

31. Supn que
1
0 2
n
,..., / y
1
2
n
... + + = . Demuestra que
1
4 2
n
sen( ) ... sen( ) nsen( / n) + + .

32. Muestra que la desigualdad de Jensen es un caso especial de la desigualdad de
mayorizacin de Hardy-Littlewood-Poly.

33. Cul es el significado geomtrico de la desigualdad de Minkowski cuando
r = 2 y n = 3?

34. (IMO 1975/1) Sean 1 2
i i
x , y (i , ,..., n) = nmeros reales tales que
1 2 n
x x ... x y
1 2 n
y y ... y .
Prueba que si
1 2 n
z , z ,..., z es cualquier permutacin de
1 2 n
y , y ,..., y , entonces
2 2
1 1
n n
i i i i
i i
( x y ) ( x z )
= =


.

Desigualdades 22

35. (USAMO 1977/5) Suponga que 0 < p < q, y a, b, c, d, e [p, q]. Demuestre que
2
1 1 1 1 1
25 6
p q
a b c d e
a b c d e q p
| |
| |
+ + + + + + + + + +
|
|
|
\
\
( )
y determine cundo se da la igualdad.

36. (IMO 1964/2) Pruebe que si a, b, c son lados de un tringulo, entonces
2 2 2
3 a (b c a) b (c a b) c ( a b c) abc + + + + + .

37. (USAMO 1981/5) Si x es un nmero real positivo, y n es un entero positivo,
pruebe que
2
1 2
[ ] [ ] [ ]
[ ] ...
x x nx
nx
n
+ + + ,
donde [t] denota al mayor entero menor o igual que t.

38. Crea tus propios problemas de desigualdades y dselos a tus amigos (o
enemigos, dependiendo de la dificultad!).

Muchos de los problemas de arriba formaron parte de las sesiones de
entrenamiento de E.U. para la Olimpiada Internacional de Matemticas. Otros de
USSR Olympiad Problem Book. Muchas de las desigualdades que se vieron son
tratadas en el libro Inequalities de Hardy, Littlewood, y Poly, el cual es un buen
libro para lectura adicional.