Desigualdades

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.

Reglas

Aqu estn algunas simples reglas para la manipulacin de desigualdades. Para

nmeros reales a, b, c.
(1)
(2)
(3)
(4)
(5)
(6)
(7)

Si a < b entonces a c < b c.

Si 0 < a < b entonces an < bn.
Si a < b < 0 entonces an < bn si y slo si n es impar. En caso contrario an > bn.
Si a < b y c > 0 entonces a c < b c.
Si a < b y c < 0 entonces a c > b c.
Siempre a2 0.
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 < a2 < a. Si b > 1, entonces b2 > b.

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 x 3 + y 3 > x 2 y + xy 2
Notemos que x 3 + y 3 ( x 2 y + xy 2 ) = ( x 2 y 2 )( 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, ( x 2 y 2 )( x y ) = ( x + y )( x y )2 , y entonces
ambos trminos son positivos.
Es decir, x 3 + y 3 ( x 2 y + xy 2 ) > 0 .

Desigualdades

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

(2) Si b > 0 y

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

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

=

4
2

1 + + xy2 + xy3
y
x

> 1,
n

ya que 0 <

y
y
< 1. (En este caso n < 1 , para todo natural n.)
x
x

(3) Siempre ( a b )2 0 .
Ejemplo.
Si x, y, z son nmeros reales, entonces x 2 + y 2 + z 2 yz + zx + xy .
Tenemos que:
1
x 2 + y 2 + z 2 yz zx xy = ( 2x 2 + 2 y 2 + 2 z 2 2 yz 2 zx 2xy )
2
1
1
1
= ( x y )2 + ( y z)2 + ( z x )2
2
2
2
0.

Si la suma de dos nmeros es constante, entonces su producto es mximo

cuando ellos son iguales.
2

k2 k

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

x , as xy es
4 4

k
k

mximo cuando x es mnimo, y esto es cuando x = = y.

2
4

2
Alternativamente, puedes observar que 4xy = (x + y) (x y)2 es mximo
cuando (x y)2 es mnimo.

Desigualdades

Muchas desigualdades pueden establecerse ignorando muchos trminos

ajenos.
Ejemplo.
Si a1, a2, , an son positivos y a1 + a2 + + an = c, entonces:
(1 + a1 )(1 + a2 )...(1 + an ) > c + 1 .

Demostracin. (1 + a1 )(1 + a2 ) = 1 + ( a1 + a2 ) + a1a2 > 1 + ( a1 + a2 ) = 1 + c , si a1 , a2 > 0 .

Similarmente:

(1 + a1 )(1 + a2 )(1 + a3 ) > (1 + a1 + a2 )(1 + a3 )

= 1 + a1 + a2 + a3 + a3 ( a1 + a2 )
> 1 + a1 + a2 + a3
= 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 x1 , x2 ,..., xn nmeros reales positivos. Entonces, se cumplen las siguientes
relaciones:
mn( xi )

n
1 1
1
+ + ... +
x1 x2
xn

n x1x2 ...xn

x1 + x2 + ... + xn
x 2 + x22 + ... + xn2
1
mx( xi )
n
n

Y la igualdad se da si y slo si x1 = x 2 = ... = xn .

En respectivo orden:
mn( xi ) MH MG MA MC mx( xi )
Ejemplos:
(i) Si x, y y z son reales positivos, entonces: x 3 + y 3 + z3 3xyz .

Desigualdades

Usando la desigualdad entre medias aritmtica geomtrica obtenemos:

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

1 1 1
3
+ +
.
3
x y z
xyz

Usando la desigualdad MA MG, obtenemos:

1 1 1
1 1 1 1
+ + 3
3 x y z
x y z
Lo cual nos lleva al resultado deseado.
(iii)

Si x, y y z son reales positivos, entonces:

y
x
z
3
+
+
.
y+z z+x x+y 2

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
+
+
( x + y + z)
,
y+z z+x x+y 2
y
x
z
9
3 +
+
+
,
y+z z+x x+y 2
y
x
z
3

+
+
.
y+z z+x x+y 2

Medias Pesadas

Si w1 , w2 ,..., wn son nmeros racionales positivos, entonces

w1a1 + w2 a2 + ... + wn an
w1 + w2 + ... + wn
es llamada la media aritmtica pesada de los nmeros positivos a1 , a2 ,..., an .
De la misma forma,
( a1 a2 an )
es llamada la media geomtrica pesada.
w1

w2

wn

1
w1 + w2 + ...+ wn

Desigualdades

La siguiente generalizacin de la desigualdad MA MG permanece:

1

w1a1 + w2 a2 + ... + wn an
( a1w1 a2 w2 an wn ) w1 + w2 +...+ wn .
w1 + w2 + ... + wn

Este caso especial en los siguientes ejemplos puede tomarse como modelo para una
prueba general del resultado. En particular, demuestra cmo trabajar con pesos
wi , que son nmeros racionales.
Ejemplo 1.
x 2 + y 2 + z2
Para x, y, z racionales positivos:

x+y+z

x+y+z

xx y y zz .

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:
x 2 + y 2 + z2 x x + y y + z z x + y + z x y 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:
m2 x 2 + m2 y 2 + m2 z2

mx + my + mz

mx + my + mz

(mx )mx (my )my (mz)mz ,

obtenemos:
m( x + y + z )

x 2 + y 2 + z2
m
( x x y y z z )m mm( x + y + z ) .

x+y+z
Cancelando el factor comn y sacando la raz m-sima a ambos lados obtenemos el
resultado.
m( x + y + z )

Ejemplo 2.
Si p y q son racionales positivos tales que

1 1
+ = 1 , entonces para positivos x, y
p q

xp yq
+
xy .
p
q
1 1
m+n
m+n
+ = 1 , podemos escribir p =
Dado que
, q=
, donde m y n son
m
n
p q

enteros positivos. Escribimos x = a1/ p , y = b1/q .

Desigualdades

Entonces:
xp yq
a
b
ma + nb
+
=
+
=
.
+
+
m
n
m
n
p
q
m+n
m
n
Aplicando la desigualdad MA MG, obtenemos:
1

1
ma + nb
( am b n ) m + n = a p b q = xy ,
m+n

esto es:
xp yq
+
xy .
p
q

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
d 2 = R 2 2 Rr

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

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) K =

1
1
1
ab sen = ac sen = bc sen .
2
2
2

(2) K = s(s a)(s b )(s c ) . (Frmula de Hern)

(3) K = rs .
(4) 2 R =
(5) K =

a
b
c
=
=
. (Ley de Senos)
sen sen sen

abc
.
4R

(6) 1 + cos =
(7) sen

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

(s b )(s c )

=
bc
2

cos

s(s a)
=
2
bc

tan

(s b)(s c )
r
=
=
.
s(s a)
sa
2

Desigualdades

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
2
2
2
resolver x = a 2b c +c (Nota que x = a cos ). Ahora sustituye x de nuevo en
h2 = a2 x2. Usa A2 B2 = (A + B)(A B) y A2 + 2AB + B2 = (A + B)2 para expandir.
Luego multiplica por 4c2 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
1 cos
1 + cos
,cos 2 =
, y (6). Para la parte
frmulas de ngulo mitad sen 2 =
2
2
2
2
final de (7) usa las primeras dos partes de (7) y las frmulas (2) y (3).

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:
f ((1 t )a + tb ) (1 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 f ( x ) = x 2 es convexa, as como f ( x ) = x n 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 f ( x ) = x 3 es convexa en [0, ), y que
f ( x ) = sen x es convexa en ( , 0).

Desigualdades

Finalmente uno dice que una funcin f ( x ) en un intervalo I es estrictamente

convexa, si
f ((1 t )a + tb ) < (1 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 ( f ( a) + f ( b ))/ 2 f (( a + b )/ 2) para todo a, b I. Adems, f ( x ) es
estrictamente convexa si y slo si ( f ( a) + f ( b ))/ 2 > f (( a + b )/ 2) 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 f ''( x ) 0 para toda x I. Adems, f ( x ) es
estrictamente convexa si y slo si f ''( x ) 0 para toda x en el interior de I.
Desigualdades para funciones Convexas:

Desigualdad de Jensen

Sea f una funcin convexa en un intervalo I. Si x1 ,..., xn I y tenemos nmeros

reales w1 ,..., wn 0 tales que w1 + ... + wn = 1 , entonces:
w1 f ( x1 ) + ... + wn f ( xn ) f ( w1x1 + ... + wn xn ) .

Ms an, si f es estrictamente convexa, la igualdad se da si y slo si todas las xi ,

con wi 0 , son iguales.
Un caso especial muy til es:
1 n 1 n
f xi f ( xi ) .
n i =1 n i =1

Desigualdades

Demostracin por Induccin. El caso n = 2 es cierto por la definicin de convexidad.

Supongamos que la relacin es cierta para n, entonces tenemos:
n

1
f wi +1xi +1 + (1 wi +1 )
wi xi

1 wi +1 i =1

n
1

wi +1 f ( xi +1 ) + (1 wi +1 ) f
wi xi

1 wi +1 i =1

n+1

f wi xi =
i =1

f wi xi + wi +1xi +1 =
i =1

n wi

= wi +1 f ( xi +1 ) + (1 wi +1 ) f
xi
i =1 1 wi +1
n
wi
wi +1 f ( xi +1 ) + (1 wi +1 )
f ( xi )
i =1 1 wi +1
n

= wi f ( xi ) + wi +1 f ( xi +1 )
i =1

n +1

= wi f ( xi ).
i =1

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:
x1 + ... + xn n
x1 xn .
n
Demostracin. Dado que la funcin ln( x) es convexa, entonces ln( x) es cncava.
Por el teorema de Jensen tenemos:
(Desigualdad MA MG) Si x1 ,..., xn 0 entonces

x + ... + xn ln x1 + ... + ln xn
ln 1

n
n

1
= ln( x1x2 xn )
n
1

n
= ln ( x1x2 xn )

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

Desigualdades

10

Desigualdad de mayorizacin de
Hardy-Littlewood-Poly

Sea f una funcin convexa en un intervalo I, y supongamos que

a1 ,..., an ,b1 ,...,bn I . Suponga que la secuencia a1 ,..., an mayoriza a b1 ,...,bn ; esto
quiere decir lo que sigue:
a1 ... an
b1 ... bn
a1 b1
a1 + a2 b1 + b2
.
.
.
a1 + a2 + ... + an 1 b1 + b2 + ... + bn 1
a1 + a2 + ... + an 1 + an = b1 + b2 + ... + bn 1 + bn

(Nota la igualdad en la ecuacin final.) Entonces

f ( a1 ) + ... + f ( an ) f (b1 ) + ... + f (bn ) .

Si f es estrictamente convexa en I, entonces la igualdad se da si y slo si ai = bi para

toda i.
Desigualdades para funciones Simtricas:
Dados nmeros a1 ,..., an y 0 i n, la i-sima funcin simtrica elementaria i
est definida para ser el coeficiente de x ni en ( x + a1 ) ( x + an ) . Por ejemplo, para
n = 3,
0 =1
1 = a1 + a2 + a3
2 = a1a2 + a2 a3 + a3 a1
3 = a1a2 a3
La i-sima media simtrica elementaria Si es la media aritmtica de los monomios

que aparecen en la expansin de i ; en otras palabras Si = i / ( ni ) . En el ejemplo

de arriba,

Desigualdades

11
S0 = 1
a1 + a2 + a3
3
a1a2 + a2 a3 + a3 a1
S2 =
3
S3 = a1a2 a3

S1 =

Desigualdad de Newton
Para cualesquiera nmeros reales a1 ,..., an , tenemos que Si 1Si +1 Si2 .

10 Desigualdad de Maclaurin
Para a1 ,..., an 0 , tenemos
S1 S2 3 S3 ... n Sn .

Ms an, si los ai son positivos y no todos iguales, entonces las desigualdades son
estrictas.
Ms desigualdades:

11 Desigualdad de Cauchy-Schwarz
Si a1 ,..., an ,b1 ,...,bn son nmeros reales, entonces
( a12 + ... + an2 )(b12 + ... + bn2 ) ( x1y1 + ... + xn y n )2 .
Y la igualdad se da si y slo si ai = rbi , para alguna constante r.
Ejemplo.
1

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

Tambin, podemos demostrar la desigualdad entre MA y MG:

(1 x1 + 1 x2 + ... + 1 xn )2 (12 + 12 + ... + 12 )( x12 + x22 + ... + xn2 )
( x1 + x2 + ... + xn )2 n( x12 + x22 + ... + xn2 )
( x + x + ... + xn )2 ( x12 + x22 + ... + xn2 )
1 2 2

n
n
x + x + ... + xn
x 2 + x22 + ... + xn2
1 2
1
n
n

Desigualdades

12

12 Desigualdad de Chebychev
Si x1 ... xn 0 y y1 ... y n 0 , entonces
x1y1 + ... + xn yn x1 + ... + xn y1 + ... + yn

n
n
n

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

Desigualdad de Chebychev con tres secuencias:
Si x1 ... xn 0 , y1 ... y n 0 , y z1 ... zn 0 entonces
x1y1z1 + ... + xn yn zn x1 + ... + xn y1 + ... + yn z1 + ... + zn

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 a1 ,..., an ,b1 ,...,bn , , > 0 y suponga que + = 1 . Entonces

( a1 + ... + an ) (b1 + ... + bn ) ( a1 b1 + ... + an bn )

con la igualdad si y slo si
a
a1 a2
= = ... = n .
b1 b2
bn
Otra forma de ver este teorema es la siguiente: Si p y q son positivos con

1 1
+ = 1,
p q

y ak , bk son no negativos, entonces

1

n
n p p n p q
a
b

a k bk .

k
k

k =1
k =1 k =1

El caso p = q = 2 es la desigualdad de Cauchy-Schwarz de la seccin 11. En general,

debemos restringir los ak y bk a ser no negativos, siempre que potencias no
negativas se involucren.

14 Extensin de Jensen de la Desigualdad de Hlder

Supongamos que a1 ,...an , b1 ,..., bn ,..., l1 ,..., ln , , ,..., > 0 y + + ... + 1 .
Entonces

n
n n
n

a
b
l

i i
i ( ai bi li ) .
i =1
i =1 i =1
i =1

Desigualdades

13

15 Desigualdad del Reacomodo

Supongamos que a1 ... an y b1 ... bn son nmeros reales. Si es una

permutacin de 1, 2,, n, entonces
a1bn + a2bn1 + ... + an b1 a1b (1) + a2b ( 2 ) + ... + an b ( n ) a1b1 + a2 b2 + ... + an bn .

16 Desigualdad de Minkowski
Supongamos que a1 ,...an , b1 ,..., bn 0 , y r son nmeros reales. Si r > 1, entonces
r

a1

+ ... + a nr + r

b1

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

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

Ejemplo.
Si x, y, z > 0 entonces ( x + y )2 + ( y + z)2 + ( z + x )2 4( x 2 + y 2 + z 2 ) .
Aplicando la desigualdad de Minkowski con r = y n = 3, obtenemos:
1

( x + y )2 + ( y + z)2 + ( z + x )2 2 ( x 2 + y 2 + z 2 ) 2 + ( y 2 + z 2 + x 2 ) 2 .
Elevando al cuadrado ambos lados terminamos.

17 Desigualdad de Bernoulli
Si x > 1 y 0 < a < 1, entonces
(1 + x )a 1 + 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,
f ( x1 + x2 + x3 )
x + x + x3
f 1 2
.
3
3

Nota que f ( x ) = sen x 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 tan x 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
W2
W3
W4
W5
W6
W7

3 3
.
2
csc + csc + csc 2 3 .
3
1 < cos + cos + cos .
2
3
cot cot cot
.
9
cot + cot + cot 3 .
9
sen2 + sen2 + sen2 .
4
2
2
2
cot + cot + cot 1 .
sen + sen + sen

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

sen + sen + sen

3
+ +
sen
que
. Multiplicando ambos
= sen =
3
3
3
2

lados de la desigualdad por 3, obtenemos el resultado.

W2

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

2
+ +
=2 3.
que csc + csc + csc 3 csc
= 3 csc = 3
3
3
3

W3

Si , , <

entonces por la desigualdad de Jensen tenemos que:

2

1 3
+ +
cos + cos + cos 3 cos
= 3 cos = 3 = . El otro lado de la

3
3
2 2

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 cot < 0 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
tan x es convexa y = ( + ) , y por la desigualdad de Jensen:

+ +
tan + tan + tan 3 tan
= 3 tan = 3 3 ,
3
3

Desigualdades

15

pero tan + tan + tan = tan tan tan (Demuestra esto).

Por lo tanto tan tan tan 3 3 . Tomando los recprocos obtenemos el
resultado
1
3

.
cot cot cot
9
3 3
W5

Primero notemos que:

cos cos sen cos + cos sen sen( + )
cot + cot =
+
=
=
.
sen sen
sen sen
sen sen
Pero:
cos( ) = cos cos + sen sen 1
cos( + ) = cos cos + sen sen = cos
Sumando tenemos:
2sen sen 1 + cos
2sen sen sen( + ) (1 + cos )sen( + )
2sen sen sen (1 + cos )sen( + )
(1 + cos )sen( + )
2sen sen sen

sen sen (1 + cos ) sen sen (1 + cos )

sen( + )
2sen

1 + cos sen sen

Por lo tanto:
sen( + )
cot + cot + cot =
+ cot
sen sen
cos
2sen

+
1 + cos sen
1 4sen2 + 2 cos 2 + 2 cos
=

2
(1 + cos )sen

2
2
1 3sen + cos + 2 cos + 1
=

2
(1 + cos )sen

1 3sen2 + (cos + 1)2

=

2 (1 + cos )sen
1 3sen
cos + 1
=
+

2 (1 + cos )
sen

2
3sen
cos + 1

PorladesigualdadMA MG
2 (1 + cos ) sen

= 3
Entonces cot + cot + cot 3 .

Desigualdades
W6

16

Como = ( + ) y el seno de un ngulo es igual al seno de su

suplemento, entonces tenemos:

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

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

Y de W3 tenemos que

cos + cos + cos 1

y entonces
3
2
3
cos + cos + cos 1

.
3

Luego por la desigualdad MA MG tenemos que:

3
cos + cos + cos 1
cos cos cos
.
3

8
Finalmente se obtiene que:
1 9
sen2 + sen 2 + sen2 = 2 + 2 cos cos cos 2 + 2 = .
8 4
W7

Por MA MG se obtiene que cot 2 + cot 2 2 cot cot , y lo mismo para

las otras parejas.
Sumando las tres desigualdades obtenidas, y dividiendo entre dos
obtenemos:
cot 2 + cot 2 + cot 2 cot cot + cot cot + cot cot
= cot cot cot cot( + ) cot( + )cot
= cot cot cot( + )(cot + cot )
cot cot 1
= cot cot
(cot + cot )
cot + cot
= cot cot cot cot + 1
= 1
Por lo tanto cot 2 + cot 2 + cot 2 1 .

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 a 2 + b 2 = 1 y m2 + n 2 = 1 para nmeros reales a, b, m y n, prueba que

|am + bn| 1 .
2. Resuelve 3sen 2 4sen 4 2 = 0 .
a3 + b 3 + c 3
3. (1984 ARML) En el tringulo ABC, a b c . Si
= 7 , calcula
sen3 + sen3 + sen3
el mximo valor posible para a.
4. sen sen sen

3 3
.
8

5. csc csc csc

6.

8 3
.
9

3
cos 2 + cos 2 + cos 2 < 3 .
4

7. sec 2 + sec 2 + sec 2 > 3 .

8. csc 2 + csc 2 + csc 2 4 .
9. 1 < sen

3
+ sen + sen .
2
2
2 2

10. 2 < cos

3 3
+ cos + cos
.
2
2
2
2

11. tan

+ tan + tan 3 .
2
2
2

12. cot

+ cot + cot 3 3 .
2
2
2

13. csc

+ csc + csc 6 .
2
2
2

14. sec

+ sec + sec 2 3 .
2
2
2

Desigualdades

18

20 Hints
1. Usa la identidad trigonomtrica fundamental que relaciona sen y cos .
2. Renombra o deriva la frmula para sen3 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

cot = tan .
2

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

(s a)(s b)(s c ) r 1
para mostrar que 0 < sen sen sen =
=

con la
2
2
2
abc
4R 8
igualdad si y slo si el tringulo es equiltero.

Desigualdades

19

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

2
2
2
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
m
m
m
la = a ,lb = b ,lc = c
Ma
Mb
Mc
donde ma, mb, mc 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:
la
l
l
+ b2 + c 2 3 ,
2
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
a a b b c c ( abc )

a+ b+c
3

6. Demuestra que para cualesquiera a, b, c > 0,

( a + b)(b + c )(c + a) 8abc ,
y determina cundo se da la igualdad.
n

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

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 x 3 1 / x para toda x > 0.
10. Prueba que si a > b > 0 y n 1 es un entero, entonces a b > n( a b)( ab)
n

( n 1 )
2

x 2 y 2 z2
11. Sea E la elipsoide 2 + 2 + 2 = 1 , para algunos a, b, c > 0. Encuentra, en
a
b
c
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
l3
V
.
6( 3 + 3 2 )3
16. Sea g = n a1 an la media geomtrica de los nmeros a1 ,..., an > 0 . Prueba que
(1 + a1 )(1 + a2 ) (1 + an ) (1 + g)n .
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) .
x +1
19. Prueba que x x

2
(0, ).)

x +1

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

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
a + b + c a p b q c r + ar b pc q + aq b r c p .
22. Muestra que tomando algunos de los ai 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 + a b)c a a b b c c .
24. Dados a, b, c, d > 0 tales que ( a 2 + b 2 )3 = c 2 + d 2 , prueba que

a3 b 3
+ 1.
c d

25. Qu conocida desigualdad se obtiene tomando solo los trminos extremos en

la desigualdad de Maclaurin?
26. Prueba que (bc + ca + ab)( a + b + c )4 27( a3 + b3 + c 3 )2 para a, b, c > 0.
27. Prueba que si x, y, z, a, b, c > 0 entonces

x 4 y 4 z 4 ( x + y + z)4
+ +
.
a3 b3 c 3 ( a + b + c )3

28. Prueba que si a, b, c son lados de un tringulo entonces

a 2b( a b) + b 2c(b c ) + c 2 a(c a) 0 .
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 0 1 ,..., n / 2 y 1 + ... + n = 2 . Demuestra que
4 sen(1 ) + ... + sen( n ) nsen( 2 / 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 xi , y i (i = 1, 2 ,...,n) nmeros reales tales que
x1 x 2 ... xn y y1 y 2 ... y n .
Prueba que si z1 , z2 ,..., zn es cualquier permutacin de y1 , y 2 ,..., y n , entonces
n

( x
i =1

yi )2 ( xi zi )2 .
i =1

Desigualdades

22

35. (USAMO 1977/5) Suponga que 0 < p < q, y a, b, c, d, e [p, q]. Demuestre que
p
q
1 1 1 1 1
+
( a + b + c + d + e ) + + + + 25 + 6

q
p
a b c d e

y determine cundo se da la igualdad.

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

a 2 (b + c a) + b 2 (c + a b) + c 2 ( a + b c ) 3abc .
37. (USAMO 1981/5) Si x es un nmero real positivo, y n es un entero positivo,
pruebe que
[ x ] [ 2x ]
[nx ]
[nx ]
+
+ ... +
,
1
2
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.