CMHR

2
ndice

Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Desigualdades Bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Desigualdad de las Medias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Desigualdad de Cauchy Schwarz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Desigualdad de Reordenamiento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Desigualdad de Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Desigualdad de Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Desigualdad de Holder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Desigualdad de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Algunas recomendaciones para demostrar desigualdades . . . . . . . . . . 27
Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28























3
Introduccin:
Segn Carl B. Boyer, las tres medias: aritmtica, geomtrica y subcontraria
(mas tarde llamada harmnica), ya eran conocidos por los babilonios.
Cuenta que Pitgoras de Samos, matemtico griego que vivi alrededor del
ao 550 A.N.E., sabia de las tres medias en Mesopotnea.
Los pitagricos posean una manera alternativa de definir las tres medias
arriba enunciadas; ellos utilizaban la nocin de proporcin. A saber, dados
dos nmeros positivos a y b , las medias aritmtica, geomtrica y
harmnica entre a y b es el nmero c satisfaciendo respectivamente las
siguientes relaciones:

a c a
c b a

(I)
a c a
c b c

(II)
a c a
c b b

(III)

De donde, despejando c de la ecuacin (I), obtenemos
2
a b
c
+
= , o sea c
es la media aritmtica de a y b ; despejando c de la ecuacin (II), tenemos
c ab = , esto es, c es la media geomtrica de a y b ; despejando c de la
ecuacin (III), obtenemos
2ab
c
a b
=
+
, o sea, c es la media armnica de a y
b .

Papus de Alejandra, geometra griego que viva alrededor del ao 300
A.N.E., describe en su libro III de la Coleccin una interesante construccin
de las medias aritmtica, geomtrica y harmnica, representando las tres
medias en un nico semicrculo:

Donde AB a = , BC b = y DO = media aritmtica, DB =media
geomtrica, DF =media harmnica.

4
Otra ilustracin geomtrica de las desigualdades entre las medias clsicas es
dada en la figura siguiente

Donde PM b = y QM a = .


Objetivos Generales

1. Contribuir en la formacin acadmica del estudiante de matemtica
y/o carreras afines.

2. Tener nuevas herramientas matemticas para el clculo de
mximos y mnimos de ciertas expresiones matemticas.


Objetivos Especficos
1. Definir, conocer y utilizar los conceptos, propiedades de las
desigualdades bsicas.
2. Definir, conocer y utilizar los conceptos, propiedades de la
desigualdad de las medias.
3. Definir, conocer y utilizar los conceptos, propiedades de otras
desigualdades tambin importantes para aplicarlos en diferentes
problemas de la vida real.


Las desigualdades juegan un rol fundamental dentro de las matemticas.
Para descubrir la forma de probarlas hay que ser en muchos casos
verdaderamente creativos. Existen libros completos dedicados a su estudio,

5
y en las competiciones internacionales de matemticas aparecen con
frecuencia, siendo casi siempre una pregunta fija. Todo entrenador experto
debe estar familiarizado con varias de ellas y con las tcnicas generales para
su manejo.
En todo lo que sigue asumiremos que las variables que usaremos son
nmeros reales, y si adems cumpliesen alguna propiedad adicional,
entonces ser especificado en cada caso.

La desigualdad fundamental satisfecha por cualquier nmero real, y de la
cual en cierto sentido se derivan todas las dems, es sencillamente

2
0 x ,

cumplindose la igualdad si y solo si 0 x = . Ms en general

2 2 2
1 2
0
n
x x x + + + ,

cumplindose la igualdad si y solo si
1 2
0
n
x x x = = = = .

Desigualdades bsicas

Teorema 1: Para los puntos , , A B C del espacio, se cumple
AB AC CB +
La igualdad se verifica si y solo si [ ] C AB .

Teorema 2: Para todo a , b nmeros reales, se cumple
2 2
2 a b ab + y
2
4 ( ) ab a b + .

La igualdad se verifica si y solo si a b = .

De estos teoremas, se obtienen otras desigualdades bastante comunes; como
son:

o Sean , , a b c nmeros reales, entonces se cumple
2 2 2
a b c ab bc ca + + + +
La igualdad se da cuando a b c = = .

o Si , a b son positivos, entonces se cumple que

6
2
a b
ab
+

La igualdad se da cuando a b = .

o Para todo real 0 x > , se cumple
1
2 x
x
+
y la igualdad se verifica si y solo si 1 x = .


Problemas

1. Sean , , a b c los lados de un triangulo. Pruebe que
2
a b c
b c c a a b
+ + <
+ + +


2. Pruebe que para todo real , 0 x y > :
4 2 2 4
1 x y
xy x y x y
+
+ +

3. Pruebe que para todo numero real , x y se cumple
2 2 2 2
1 1 1 x y x y y x + + > + + +

4. Sean , , a b c nmeros reales positivos. Pruebe que
3 3 1 3 3 1 3 3 1 1
( ) ( ) ( ) ( ) a b abc b c abc c a abc abc

+ + + + + + + +

5. Sean , x y nmeros reales positivos, halle el mnimo valor de la funcin
4 4 2 2
4 4 2 2
( , )
x y x y x y
f x y
y x y x y x
= + + +


Una de las tcnicas para determinar mximos y mnimos es el uso de las
desigualdades entre promedios. Dos de los ms elementales son la media
aritmtica y la media geomtrica que pasamos a estudiar.


Desigualdad de las medias ( MA MG MH )
Si
1
a ,
2
a ,
3
a , . . . ,
n
a son nmeros positivos; los nmeros

7
1 2 3 n
n
a a a a
A
n
+ + + +
=

,
1 2 3
n
n n
G a a a a =
formados en base a ellos se denominan respectivamente media aritmtica y
media geomtrica. Se cumple
n n
A G
1


La igualdad se da cuando
1 2 3 1 n n
a a a a a

= = = = = .

Prueba: Emplearemos el mtodo de induccin matemtica
Si 2 n = es evidente que
1 2
1 2
2
a a
a a
+
.

Basndose en el mtodo de induccin matemtica, supongamos que la
desigualdad se cumpla para n k = , es decir
k k
A G donde:
1 2 3 k
k
a a a a
A
k
+ + + +
=

,
1 2 3
k
k k
G a a a a =
y debemos demostrar el teorema para 1 n k = + , es decir que la desigualdad
1 1 k k
A G
+ +
se cumpla.

1 k
A
+
=
1 1
( 1) ( 1)
2
k k
k A k A
k
+ +
+ +

=
sumandos
. ( 1) sumandos
1 2 1 1 1 1
2
k
k
A k k
k k k k k
a a a a A A A
k

+ + + +
+ + + + + + + +

=
1 1 1
.
2
k k k k
A k a A A
k k
+ + +
+ + +
+



1
1 1
.
2
k
k
k k k
G a A

+ +
+

luego

1 k
A
+

1
1 1
.
2
k
k
k k k
G a A

+ +
+

1
1 1
.
k
k
k k k
G a A

+ +

Elevando a la 2k :

2
1
k
k
A
+

1
1 1
. .
k k
k k k
G a A

+ +

1
1
k
k
A
+
+

1
.
k
k k
G a
+


1
Hay tantas demostraciones de esta desigualdad, que posiblemente compita con el
teorema de Pitgoras en cuanto a cantidad de demostraciones que se conocen.

8

1
1
k
k
A
+
+

1
1
1 2 3 1
. . . . .
k
k
k k
G
a a a a a
+
+
+

_

Luego
1
1
k
k
A
+
+

1
1
k
k
G
+
+

1 1 k k
A G
+ +

con esto queda demostrado el teorema
Por lo tanto:
1 2 3
1 2 3
n
n
n
a a a a
a a a a
n
+ + + +

Definicin: (Medias Potenciales) El nmero
1
1 2 n
a a a
M
n

+ + +
=

se denomina media potencial de grado de los nmeros
1
a ,
2
a , . . . ,
n
a .
En particular, el nmero
1 2
1
n
a a a
M
n
+ + +
=


es la media aritmtica de los nmeros
1
a ,
2
a , . . . ,
n
a ; el nmero
1
1 1 1
1 2
1
1 2
1 1 1
n
n
a a a n
M
n
a a a

+ + +
= =


+ + +

es la media armnica de los nmeros
1
a ,
2
a , . . . ,
n
a

Teorema: Demuestre que si
1
a ,
2
a , . . . ,
n
a son nmeros positivos y si
0 < < , se tiene
M MG M

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

Demostracin:
De MG MA se obtiene
1 2
1 2
. . .
n n
n
a a a
a a a
n


+ + +

elevando ambos miembros a la potencia
1

y tomando en consideracin
que
1
0

< , obtenemos

9
1
1 2
1 2
. . .
n
n
n
a a a
MG a a a M
n

+ + +
= =

Con esto queda demostrado la primera de las desigualdades ( ); la
segunda se demuestra anlogamente.


Teorema: (Desigualdad de Bernoulli
2
)
Si 1 x y 0 1 < < , entonces
(1 ) 1 x x

+ +

En cambio, si 0 < 1 > , se tiene
(1 ) 1 x x

+ +

El signo de igualdad en ambos casos, se cumple solo para 0 x = .


Teorema: Si
1
a ,
2
a , . . . ,
n
a son nmeros positivos y < , se tiene que
M M

con la particularidad de que M M

= solo si
1 2 n
a a a = = = .

Prueba:
El teorema ya se ha demostrado cuando y son de signos contrarios;
resta demostrar para y de signos positivos.
Supongamos que 0 < < y sea

1
1 2 n
a a a
M k
n

+ + +
= =

, tambin
1
1 2 n
a a a
M
n

+ + +
=

Dividiendo M

entre k

1
1 2 n
a a a
M M
k k k
k M n

+ + +



= =

. . . . . . . . ( )

2
Desigualdad descubierta por Jacob Bernoulli (1654 - 1705).

10
Sea
1
1
a
d
k

=


,
2
2
a
d
k

=


, . . . ,
n
n
a
d
k

=


. Reemplazando estos
valores en ( ):

1
1 2 n
M
d d d
M n

+ + +

=

, tambin
1
1 2
1
1 2
n
n
a a a
d d d k k k
n n

+ + +

+ + +

=

1
1 2
1
n
a a a
k n


+ + +
=

de donde

1 2
1 1
. . 1
n
d d d
M k
n k k

+ + +
= = =

O sea que:
1 2 n
d d d n + + + =
Ahora sea:
1 1
1 d x = +

2 2
1 d x = +

3 3
1 d x = +
. .
1
n n
d x = +
Sumando:
1 2 3 1 2 3 n n
d d d d n x x x x + + + + = + + + + +
de donde
1 2 3
0
n
x x x x + + + + = .
Ahora por la desigualdad de Bernoulli, observar que 1

>
1 1 1
(1 ) 1 d x x

= + +
2 2 2
(1 ) 1 d x x

= + +
3 3 3
(1 ) 1 d x x

= + +
. . .

11
(1 ) 1
n n n
d x x

= + +
Sumando las desigualdades
0
1 2 3 1 2 3
( )
n n
d d d d n x x x x

+ + + + + + + + +

1
1
1 2 3
(1)
n
d d d d
n

+ + + +

_

1
M
M

de donde obtenemos M M

para < , que es lo que queramos
demostrar.






Problemas

1. Siendo , a b dos nmeros reales con 0 a , pruebe que
2 2
2
1
3
b
a b
a a
+ + +

2. Sean , , a b c nmeros reales positivos. Pruebe que
2 2 2 2 2 2 2 2 2
( )( ) 9 a b b c c a ab bc ca a b c + + + +

3. Si , , 0 a b c > y
2 2 2
3 a b c + + = , entonces pruebe que
1 1 1 3
1 1 1 2 ab bc ca
+ +
+ + +


4. Si , , x y z son nmeros reales no negativos tales que 1 x y z + + = ,
probar que
7
0 2
27
xy yz zx xyz + +

12

5. Sean k y n enteros positivos, 1 n > . Pruebe que
1 1 1 1
1
1 1
n
k
n
kn kn kn n k

+
+ + + >


+ +



6. Hallar todas las soluciones reales de la ecuacin
2 2 2
3 3 3 1
x x y y y z z z x
+ + =

7. Demuestre que si
3 3 3
81 x y z + + = donde 0 x > , 0 y > y 0 z > ; se
cumple 9 x y z + + .


Dentro de todas las desigualdades especiales que se utilizan en problemas
de competiciones matemticas, la desigualdad que sigue es considerada
juntamente con la desigualdad de las medias uno de los dos mas importantes
resultados a ser utilizados.

Desigualdad de Cauchy Schwarz
3

Sean
1 2
, , ,
n
a a a ,
1 2
, , ,
n
b b b nmeros reales no todos nulos ( 1 n > ).
Entonces
2 2 2 2 2 2 2
1 1 2 2 1 2 1 2
( ) ( )( )
n n n n
a b a b a b a a a b b b + + + + + + + + +

Demostracin:
Consideremos el polinomio de segundo grado
2 2 2
1 1 2 2
( ) ( ) ( ) ( ) 0
n n
P x a x b a x b a x b = + + + ; x R
Desarrollando
2 2 2 2
1 2 1 1 2 2
( ) ( ) 2( )
n n n
P x a a a x a b a b a b x = + + + + + +

2 2 2
1 2
0
n
b b b + + + + ; x R
y esto se verifica si y solo si 0 , esto es
2 2 2 2 2 2 2
1 1 2 2 1 2 1 2
4( ) 4( )( ) 0
n n n n
a b a b a b a a a b b b + + + + + + + + +

3
Bunyakovsky (1804 - 1889), alumno de Cauchy, publico esta desigualdad en una
monografa sobre desigualdades entre integrales en 1859, aunque no fue reconocido este
aporte suyo hasta hace relativamente poco. En cambio, la extensin a integrales fue
atribuida a Schwarz (1843 - 1921), quien publico el resultado en un trabajo de 1885; por
eso es ms conocida como desigualdad de Cauchy Schwarz.


13
Luego, cancelando el factor 4 y extrayendo la raz cuadrada de ambos
miembros, llegamos a la desigualdad de Cauchy Schwarz
2 2 2 2 2 2 2
1 1 2 2 1 2 1 2
( ) ( )( )
n n n n
a b a b a b a a a b b b + + + + + + + + + .

Examinemos ahora la igualdad. Si hay igualdad, quiere decir 0 = ,
entonces el trinomio tiene una raz real :
2 2 2
1 1 2 2
( ) ( ) ( ) 0
n n
a b a b a b + + + = y esto implica que
2
1 1
( ) 0 a b =
2
2 2
( ) 0 a b =
2
( ) 0
n n
a b =
de donde se obtiene
3 1 2
1 2 3
n
n
a a a a
b b b b
= = = =


Colorario 1: (Desigualdad entre las medias cuadrtica y aritmtica) Sean
1 2
, , ,
n
a a a nmeros reales positivos, entonces
2 2 2
1 2 1 2 n n
a a a a a a
n n
+ + + + + +

con igualdad si y solo si
1 2 n
a a a = = = .

Colorario 2: Sean
1 2
, , ,
n
a a a ,
1 2
, , ,
n
b b b nmeros reales positivos y n
un entero mayor que 1, entonces
2 1 2
1 1 2 2 1 2
1 2
( ) ( )
n
n n n
n
a a a
a b a b a b a a a
b b b

+ + + + + + + + +



con igualdad si y solo si
1 2 n
b b b = = = .


El Lema de Titu
4

El Lema de Titu es claramente una aplicacin directa de la desigualdad de
Cauchy Schwarz; algunos afirman que es simplemente la desigualdad de
Cauchy Schwarz y no estn equivocados.

Pero, Qu es lo que el lema dice? Dice que para cualquier nmeros reales
1 2
, , ,
n
a a a y cualquier nmeros
1 2
, , ,
n
x x x , se tiene la desigualdad:

4
Titu Andreescu (1956) Profesor de matemtica de la universidad de Texas, dedicado a
las olimpiadas de matemticas.
Esta desigualdad tambin es conocido con el nombre de Desigualdad til

14
2 2 2 2
1 2 1 2
1 2 1 2
( )
n n
n n
a a a a a a
x x x x x x
+ + +
+ + +
+ + +

Veamos por que le llaman desigualdad de Cauchy Schwarz:
2 2 2
1 2
1 2
1 2
( )
n
n
n
a a a
x x x
x x x

+ + + + + +




2
2 2 2
1 2
1 2
1 2
. . .
n
n
n
a a a
x x x
x x x

+ + +


.

2
1 2
( )
n
a a a = + + +


Problemas

1. Sean , , , , a b c d e nmeros reales tal que 8 a b c d e + + + + = y
2 2 2 2 2
8 a b c d e + + + + = . Cul es el mximo valor de e ?

2. Sean
1 2
, , , 0
n
a a a > . Pruebe que
2 2 2 2
1 1 2
1 2
2 3 1
n n
n
n
a a a a
a a a
a a a a

+ + + + + + +

3. Sean , , 0 a b c > , tal que 1 a b c + + = . Probar que
1 1 1 9
1 1 1 4 a b c
+ +
+ + +


4. Sean
1
, ,
4
x y z tales que 1 x y z + + = . Calcule el mximo valor de
4 1 4 1 4 1 x y z + + + + +

5. Pruebe que para cualquier nmeros reales , , a b c se cumple
3 3 3
2 2 2 2 2 2
3
a b c a b c
a ab b b bc c c ca a
+ +
+ +
+ + + + + +


6. Demostrar que
2
2 3 2 3 2 3 2 3 3
a b c d
b c d c d a d a b a b c
+ + +
+ + + + + + + +


15


Desigualdad de Reordenamiento
5

Si nos dan dos conjuntos ordenados finitos de nmeros reales
1 2 n
a a a y
1 2 n
b b b , y si
1 2
( , , , )
n
c c c es una permutacin
de
1 2
( , , , )
n
b b b , entonces se verifica
1 1 1 1 1
1 1 1
n n n
n n i n i i i i i n n
i i i
a b a b a b a c a b a b a b
+
= = =
+ + = + +



Demostracin:
Supongamos
r s
a a > . Consideremos las sumas
1 1
1 1
'
r r s s n n
r s s r n n
S a c a c a c a c
S a c a c a c a c
= + + + + + +
= + + + + + +



Entonces ' ( )( )
r s s r r r s s r s s r
S S a c a c a c a c a a c c = + =
en consecuencia,
'
r s
c c S S < >
'
r s
c c S S > <
La igualdad se da si
1 2 n
a a a = = = o
1 2 n
b b b = = = .

Ilustracin: consideremos
1
13 a = ,
2
12 a = ,
3
8 a = ,
4
7 a =

1
25 b = ,
2
20 b = ,
3
15 b = ,
4
10 b =

Suma directa = 13(25)+12(20)+8(15)+7(10) = 755
Suma aleatria = 13(20)+12(15)+8(25)+7(10) = 710
Suma invertida = 13(10)+12(15)+8(20)+7(25) = 645

Luego: Suma invertida Suma aleatoria Suma directa


Problemas


5
Esta desigualdad tiene una interpretacin fsica: si se tiene una barra OP y se coloca un
peso
i
a a distancia
( ) i
b

del extremo O , entonces

1 (1) 2 (2) ( ) n n
a b a b a b

+ + + es el
momento resultante respecto al punto O . La desigualdad dice que el momento es
mximo cuando los pesos mayores se colocan ms lejos y los menores ms cerca de O ,
y es mnimo cuando se procede a la inversa.

16
1. Pruebe que, para nmeros reales , , 0 a b c se cumple
3 3 3 2 2 2
3 a b c a b b c c a abc + + + +

2. Sean , , a b c nmeros reales positivos. Pruebe que
1
( )
2
bc ca ab
a b c
b c c a a b
+ + + +
+ + +


3. Pruebe que si , , 0 a b c > , entonces
3 3 3 2 2 2
2
a b c a b c
b c c a a b
+ +
+ +
+ + +


4. Sean , , a b c nmeros reales estrictamente positivos tales que
1 ab bc ca + + = . Pruebe que
1 1 1
3
ab bc ca
a b b c c a a b b c c a
+ + + + +
+ + + + + +


5. Halle el mnimo valor de la funcin
3 3
cos
( )
cos
sen x x
f x
x senx
= + sobre
2
0;

Desigualdad de Chebyshev
6

Sean
1 2
, , ,
n
a a a y
1 2
, , ,
n
b b b nmeros reales con
1 2 n
a a a y
1 2 n
b b b . Entonces

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

Si, por el contrario, se tiene
1 2 n
b b b , entonces

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

6
Pafnuty Lvvich Chebyshev (1821 - 1894), matemtico ruso y miembro extraordinario
de la Academia Imperial de Ciencias.

17
donde la igualdad se cumple si y solo si
1 2 n
a a a = = = o
1 2 n
b b b = = = .

Demostracin:
1 1 2 2 1 2 1 2
.
n n n n
a b a b a b a a a b b b
n n n
+ + + + + + + + +
=


[ ]
1 1 2 2 1 2 1 2 2
1
( ) ( )( )
n n n n
n a b a b a b a a a b b b
n
= + + + + + + + + +

2
, 1
1
( )( ) 0
n
i j i j
i j
a a b b
n
=
=

ya que los ,
i i
a b son igualmente ordenados.

Colorario: Sean
1 2
, , ,
n
a a a reales positivos y k un natural. Entonces
1 2 1 2
k
k k k
n n
a a a a a a
n n
+ + + + + +

con igualdad si y solo si los
i
a son iguales o {0,1} k .

Problemas

1. Sean , , 0 a b c > . Pruebe que
3
2
a b c
b c c a a b
+ +
+ + +

7


2. Siendo
1 2
, , , 0
n
x x x > , pruebe que
1 2
1 2
1 2 1 2
. . . ( . . . )
n
n
x x x
x x x
n
n n
x x x x x x
+ + +

Definiciones: Sea I un intervalo de la recta y : f I R una funcin.
Diremos que la funcin f es
Convexa si
( ) ( )
2 2
a b f a f b
f
+ +



para todos los , a b en I .


7
Tambin conocida como la Desigualdad de Nesbitt.

18
Cncava si
( ) ( )
2 2
a b f a f b
f
+ +



para todos los , a b en I .

Proposicin: Sea f una funcin. Entonces
f es convexa si y solo si, para todos , a b en I y todo [0,1] t se
tiene
( ) (1 ) (1 ) ( ) . ( ) f t a tb t f a t f b + +

Geomtricamente esto significa que la curva queda por debajo de
la cuerda. Esta condicin la cumplen, por ejemplo, las funciones
tales que ''( ) 0 f x > en I .

Algunas funciones convexas importantes son:
9 ( )
n
f x x = con n natural par, para todo x R.
9 ( ) | | f x x

= donde 1 > es una constante, x R .
9 ( )
kx
f x e = donde k es una constante real, x R .
9 ( ) f x x

= donde 1 > , para 0 x > .

Adems cualquier punto c del intervalo [ , ] a b se escribe en forma
nica:
(1 ) c t a bt = + ; 0 1 t

Del grafico ( ) ( ) f c g c
( )
( ) ( )
(1 ) . ( ) ( )
f b f a
f t a t b f a c a
b a

+ +

. . . . . ( )

19
como (1 ) c t a bt = +
c a
t
b a

y reemplazando en ( )
tenemos:
( ) ( ) (1 ) . ( ) ( ) ( ) f t a t b f a f b f a t + +
de donde
( ) (1 ) . (1 ) ( ) . ( ) f t a t b t f a t f b + +

f es cncava si y solo si, para todos , a b en I y todo [0,1] t se
tiene
( ) (1 ) . (1 ) ( ) . ( ) f t a t b t f a t f b + +


Desigualdad de Jensen
8

Sea ( ) f x una funcin convexa (cncava hacia arriba) en I , entonces se
cumple:
1 1
1 1
( )
n n
i i
i i
f a f a
n n
= =







con
i
a I ; para i = 1, 2, 3, . . ., n .

Es decir:
1 2 1 2
( ) ( ) ( )
n n
a a a f a f a f a
f
n n
+ + + + + +






Prueba:
Haremos la prueba aplicando el mtodo de induccin matemtica para
1 n > .
Para 2 n = debemos probar que
1 2 1 2
( ) ( )
2 2
a a f a f a
f
+ +




Del teorema anterior basta hacer:
1
a a =
2
b a =

8
Johan Ludvig William Valdemar Jensen (1859 - 1925) matemtico e ingeniero dans.

20
1
2
t =
Por lo tanto
1 2 1 2
( ) ( )
2 2
a a f a f a
f
+ +



.

Supongamos que la desigualdad se cumple para n k = , es decir
1 2 1 2
( ) ( ) ( )
k k
a a a f a f a f a
f
k k
+ + + + + +





Sea
1 2 3 k
k
a a a a
A
k
+ + + +
=

;
1 2 1
1
1
k k
k
a a a a
A
k
+
+
+ + + +
=
+

,
ahora debemos demostrar la desigualdad para 1 n k = +
1 2 1
1
( ) ( ) ( ) ( )
( )
1
k k
k
f a f a f a f a
f A
k
+
+
+ + + +

1 1
1
( 1) ( 1)
( )
2
k k
k
k A k A
f A f
k
+ +
+
+ +
=




( 1) sumandos
1 2 1 1 1 1
2
k
k k k k k
a a a a A A A
f
k

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

1 2 1 1 1 1
2
k k k k k
a a a a A A A
k k
f
+ + + +
+ + + + + + +
+

=







terminos
1 2 1 1 1 1
2
k
k k k k k
a a a a A A A
f f
k k
+ + + +
+ + + + + + +
+

( 1) terminos
1 2 1 1 1

( ) ( ) ( ) ( ) ( ) ( )
2
k
k k k k
f a f a f a f a f A f A
k k

+ + +
+ + + + + +
+

1 2 1 1
( ) ( ) ( ) ( ) ( 1) ( )
2
k k k
f a f a f a f a k f A
k k
+ +
+ + + +
+

1 2 1 1
( ) ( ) ( ) ( ) ( 1) ( )
2
k k k
f a f a f a f a k f A
k
+ +
+ + + + +
=


entonces

21
1 1 2 1 1
2 . ( ) ( ) ( ) ( ) ( 1) ( )
k k k
k f A f a f a f a k f A
+ + +
+ + + +
luego
1 1 2 1
( )[2 1] ( ) ( ) ( )
k k
f A k k f a f a f a
+ +
+ + + +
Por lo tanto
1 2 3 1
1
( ) ( ) ( ) ( )
( )
1
k
k
f a f a f a f a
f A
k
+
+
+ + + +

+


Finalmente
1 2 1 1 2 1
( ) ( ) ( )
1 1
k k
a a a f a f a f a
f
k k
+ +
+ + + + + +


+ +



lo que queramos demostrar.
La igualdad ocurre si
1 2 n
a a a = = = .


Problemas

1. Demuestre que:
2 2
n
n n
a b a b + +



; , a b
+
R y 2 n .

2. Si , 0 a b y 2 a b + = , pruebe que
( ) ( )
5 5
6 5 5
1 1 2 a b + + + .

3. Para todo triangulo ABC , pruebe que
3 3
2
senA senB senC + +

4. Utilizando la funcin logaritmo natural y la desigualdad de Jensen,
demuestre la desigualdad entre las medias aritmtica y geomtrica.

5. Sean , , a b c nmeros reales positivos tales que 1 a b c + + = . Demuestre
que
2 2 2
1 1 1 100
3
a b c
a b c

+ + + + +




6. Sean , , x y z nmeros reales positivos tal que 3 x y z + + = . Pruebe que

22
1 1 1
1 1 1 8
x y z


+ + +






Veamos el siguiente teorema que ser utilizado en la demostracin de la
desigualdad de Holder.


Teorema (Desigualdad de Young):
Si 1 p >
1 1
1
p q
+ = 0 a > 0 b > . Se cumple que:
p q
a b
ab
p q
+
9

La igualdad se da si
p q
a b = .

Prueba:
Sea : f I R tal que ( ) ( ) f x Ln x = (que es cncava hacia abajo),
entonces se cumple:
( ) (1 ) . (1 ) ( ) . ( ) f t m t n t f m t f n + + ; , m n I .
Luego: ( ) (1 ) . (1 ) ( ) . ( ) Ln t m t n t Ln m t Ln n + +
( ) ( )
1
(1 ) .
t t
Ln t m t n Ln m n

+

1
(1 ) .
t t
t m t n m n

+
Sea:
1
0
t
m b

= > y
t
n a =
Observar que la igualdad se da cuando m n =
dando forma
1 1
1 1 1
1
1 1
1
( ) ( )
(1 )( ) .( )
1 1
1
t t
t t
t t t t
t t
m n
t m t n m n
t t

+ = +

1 1
1
( ) ( )
1 1
1
t t
b a
ab
t t

9
William Henry Young (1863 - 1942), matemtico ingles cuya desigualdad se utiliza en
el estudio de ciertos espacios de funciones.

23
Ahora hagamos
1
1
q
t
=

y
1
p
t
= ; 1 p >
Luego
p q
a b
ab
p q
+ si
1 1
1
p q
+ = 1 p > 0 a > 0 b > .
La igualdad se da cuando m n = , es decir:
1 1
1 t t
b a

=
p q
a b = .


Otra forma:
Sea ( ) f x x

= , donde 0 x > y 0 > .

Del grafico, se cumple con las reas:

1 2 3 1 2
*
0 0
( ) ( )
( ) ( )
a b
A A A A A
f x dx f x dx ab
+ + +
+

_ _

Luego
1
0 0
a b
x dx x dx ab

+


1
1
1
0
0
1
1
1
b
a
x x
ab

+
+
+
+
+


1
1
1
1
1
1
a b
ab

+
+
+
+
+

Ahora hacemos

24
1 p + = y
1
1 q

+ = , entonces tenemos
p q
a b
ab
p q
+ donde
1 1
1
p q
+ = 1 p > 0 a > 0 b > .


Desigualdad de Holder
10


Definiciones previas
Definicin: Un espacio mtrico es un par ( ; ) X d , compuesto de un
conjunto (espacio) X de elementos (puntos) y de una distancia, es decir,
una funcin univoca real y no negativa ( ; ) d x y definido para dos elementos
cualesquiera x e y de X y que verifica las tres condiciones siguientes:

( ; ) 0 d x y = si y solo si x y =
( ; ) ( ; ) d x y d y x = (axioma de simetra)
( ; ) ( ; ) ( ; ) d x z d x y d y z + (axioma triangular)

Ejemplos: Algunos espacios mtricos son

1. ( ; ) X d , con
0 ; si
( ; )
1 ; si
x y
d x y
x y
=
=

.
2. El conjunto de los nmeros reales con la distancia
( ; ) | | d x y x y = .
3. El conjunto de grupos ordenados de n nmeros reales
1 2
( , , , )
n
x x x x = con la distancia
2
1
( ; ) ( )
n
k k
k
d x y y x
=
=

,
es un espacio mtrico (espacio n -dimensional).


Teorema (Desigualdad de Holder):
Sean , p q
+
R con 1 p > tales que
1 1
1
p q
+ = y
1 2
, , ,
n
a a a ,
1 2
, , ,
n
b b b
nmeros reales positivos. Entonces

10
Otto Ludwig Holder (1859 - 1937) matemtico alemn que trabajo en la convergencia
de las series de Fourier y en 1884 descubri la desigualdad que lleva su nombre.

25
1 1
1 1 1
n n n
p q
p q
i i i i
i i i
a b a b
= = =

Prueba:
Sabemos por el teorema anterior que:
p q
a b
ab
p q
+ donde 0 a > 0 b >
1 1
1
p q
+ = 1 p > .
al reemplazar a y b por
1/
1
j
p
n
p
i
i
a
a
a
=
=

,
1/
1
j
q
n
q
i
i
b
b
b
=
=

obtenemos
1/ 1/ 1/ 1/
1 1 1 1
1 1
j j j j
p q p q
n n n n
p q p q
i i i i
i i i i
a b a b
p q
a b a b
= = = =
+





sumando para j desde 1 hasta n obtenemos

1
1/ 1/
1
1 1
1 1
n
i i
i
p q
n n
p q
i i
i i
a b
p q
a b
=
= =
+

Por lo tanto
1/ 1/
1 1 1
p q
n n n
p q
i i i i
i i i
a b a b
= = =






Observar que si 2 p q = = tenemos la desigualdad de Schwarz.


Problemas

1. Pruebe que para todo nmeros positivos , , a b c se cumple
3 3 3 2 2 2
a b c a b b c c a + + + +

2. Si , , , 0 a b c d > y
2 2 2 2 3
( ) c d a b + = + , entonces pruebe que
3 3
1
a b
c d
+

3. Siendo , , 0 x y z > . Pruebe que

26
4 4 4
3 3 3
4 1 2 4 1 2 4 1 2
3 3 3 3 3 3 3 3 3
2 2 2 2 2 2
1
( ) ( ) ( ) ( ) ( ) ( )
x y z
x x y x z y y z y x z z x z y
+ +
+ + + + + + + + +

4. Pruebe que para 2 n , si
1 2
, , , 0
n
a a a > , entonces
3 3 3 2 2 2
1 2 1 2 2 3 1
( 1)( 1) ( 1) ( 1)( 1) ( 1)
n n
a a a a a a a a a + + + + + +


Desigualdad de Minkowski
11

Sea 1 p > y
1 2
, , ,
n
a a a ,
1 2
, , ,
n
b b b nmeros reales positivos. Entonces
1 1 1
1 1 1
( )
n n n
p p p
p p p
i i i i
i i i
a b a b
= = =

+ +




Es decir:
( ) ( ) ( )
1 1 1
1 1 1 1
( ) ( )
p p p p p p
p p p
n n n n
a b a b a a b b + + + + + + + + +

Demostracin:
Sabemos
1 1
( ) ( ) ( )
p p p
i i i i i i i i
a b a a b b a b

+ = + + +
luego
1 1
1 1 1
( ) ( ) ( )
n n n
p p p
i i i i i i i i
i i i
a b a a b b a b

= = =
+ = + + +

. . . . . . . . . . . . . ( )
y aplicando la desigualdad de Holder a la suma del lado derecho obtenemos
1/ 1/
1 ( 1)
1 1 1
( ) ( )
p q
n n n
p p q p
i i i i i i
i i i
a a b a a b

= = =

+ +




1/ 1/
1 ( 1)
1 1 1
( ) ( )
p q
n n n
p p q p
i i i i i i
i i i
b a b b a b

= = =

+ +




Reemplazando estas desigualdades en ( ) y teniendo en cuenta que
( 1) q p p = obtenemos
1/ 1/ 1/
1 1 1 1
( ) ( )
p p q
n n n n
p p p p
i i i i i i
i i i i
a b a b a b
= = = =


+ + +





Dividiendo esta desigualdad por
1/
1
( )
q
n
p
i i
i
a b
=

+

se obtiene la desigualdad
de Minkowski:

11
Hermann Minkowski (1859 - 1909) matemtico Ruso.

27
1 1 1
1 1 1
( )
n n n
p p p
p p
i i i i
i i i
a b a b
= = =

+ +






Problemas

1. Sean , , , a b c d nmeros reales. Determine el mnimo valor de
2 2 2 2 2 2
( 1) 2( 2) ( 3) ( 1) 2( 2) ( 3) S a b c b c d = + + + + + + + + +

2 2 2 2 2 2
( 1) 2( 2) ( 3) ( 1) 2( 2) ( 3) c d a d a b + + + + + + + + + +

2. Pruebe que para todo , , a b c
+
R tal que 1 a b c + + = , se cumple
2 2 2
2 2 2
1 1 1
82 a b c
a b c
+ + + + +




Algunas recomendaciones para demostrar desigualdades

1. Intente transformar la desigualdad para llevarla a la forma
i
p

, con
0
i
p > , por ejemplo
2
i i
p x = .

2. Recuerda algo la expresin de alguna de las medias?

3. Se puede aplicar la desigualdad de Cauchy - Schwarz? Se puede
aplicar ms veces de lo que parece.

4. Se puede aplicar la desigualdad de reordenacin? Tambin esta
subestimado este resultado.

5. Es simtrica? En tal caso, supngase a b
Puede resultar til expresar la desigualdad mediante las funciones
simtricas elementales.

6. Si se trata de una desigualdad sobre los lados de un triangulo, intntese
usar la desigualdad triangular. Se puede poner a x y = + , b y z = + ,
c z x = + , donde ahora , , x y z son nmeros reales positivos.


28
7. Lleve la desigualdad a la forma ( , , ) 0 f a b . Si f es una funcin
cuadrtica en una de las variables, puede ser til considerar su
discriminante.

8. Si la desigualdad debe probarse para los enteros positivos
0
n n ,
intntese usar la induccin.

9. Intntese hacer estimaciones formando sumas o productos
telescpicos:
2 1 3 2 1 1 n n n
a a a a a a a a

+ + + =
3 2
1 2 1 1
. . .
n n
n
a a a a
a a a a

=

10. Si una suma de cantidades positivas es constante, su producto es
mximo cuando todas son iguales.
Si un producto de cantidades positivas es constante, su suma es mnima
cuando todas son iguales.




Bibliografa

[1] Bornsztein Pierre Ingalits Classiques
Math Olympiades

[2] Kin Y. Li Math Problem Book I
Hong Kong Mathematical Society

[3] Korovkin P. P. Desigualdades
Editorial Mir Moscu

[4] Mitrinovic D. S. Elementary Inequalities
Belgrade, 23.III.1964

[5] Nieto Jos H. Desigualdades