DESIGUALDADES

1) La desigualdad de la media aritmética, geométrica y armónica.

Sean a1 ,K , an n números reales no negativos, entonces:
a1 + a2 + L + an n n
≥ a1 ⋅ a2 L an ≥
n 1 1 1
+ +L +
a1 a2 an
La igualdad se da si a1 = a2 = L = an .

2) La desigualdad de la media aritmética y geométrica con pesos.

Sean w1 , K , wn números racionales positivos y a1 ,K , an números reales positivos.
Entonces,
a1w1 + a2 w2 + L + an wn 1

w1 + w2 + L + wn
(
≥ a1 ⋅ a2 L an
w1 w2 wn w + w +L + w
1 2 n
)
¿Se dará la igualdad bajo alguna condición adicional?

¿Se verificará, bajo alguna condición adicional la desigualdad?

a1w1 + a2 w2 + L + an wn 1
w1 + w2 + L + w
w1 + w2 + L + wn
(
≥ a1w1 ⋅ a2 w2 L an wn ) w1 + w2 +L + wn
≥
w1 w2 w ?
+ +L + n
a1 a2 an

Aplicación de la desigualdad de la media aritmética-geométrica.

La desigualdad de la media aritmética-geométrica puede escribirse equivalentemente
como:
n
 a1 + a2 + L + an 
a1a2 L an ≤  
 n 
Por lo tanto, si la suma de n números reales no negativos es S, el máximo valor posible
para estos números es ( S n ) (Problema de máximo sujeto a condiciones o máximo
n

restringido).

3) Media de la potencia r-ésima.

Sean a1 ,K , an números reales positivos y r un número real, se define la media de la
potencia r-ésima por:
1
 a r + a2 r + L + anr  r
M r ( a1 ,K , an ) =  1  r≠0
 n 
y
M 0 (a1 ,K , an ) = n a1 a2 L an
Nótese que M r es una función creciente de r, a menos que a1 = a2 = L = an , en cuyo caso
M r es constante. Además, como M 0 se ha definido como la media geométrica, se nos
asegura que M r es una función continua de r.
Si r = 1 , obtenemos la media aritmética. Si r = −1 obtenemos la media armónica.

Desigualdades
Dados dos números reales, x, y tales que xy ≠ 0, x < y se tiene que
M x (a1 ,K , an ) < M y (a1 ,K , an )

3a) Media de la potencia r-ésima con pesos

Si w1 , K , wn son números reales tales que w1 + K + wn = 1, la media de la potencia
r-ésima se define por
1
M r w (a1 ,K , an ) = ( w1a1r + w2 a2r + L + wn an r ) r r≠0
y
M 0 w (a1 ,K , an ) = a1 w1 L an wn

1
Si para toda i, 1 ≤ i ≤ n, wi = la media de la potencia r-ésima con pesos se convierte
n
w
en la media de la potencia r-ésima. La función M r (a1 ,K , an ) es una función continua de
r.

Desigualdades
Si w1 , K , wn son pesos tales w1 + K + wn = 1 y dos números reales, x, y satisfacen que
x < y , es que
M x w (a1 ,K , an ) < M y w ( a1 ,K , an ) .

4) Desigualdad de Cauchy-Schwartz-Buniakowsky
Si a1 ,K , an y b1 ,K , bn son números reales entonces,
( a1b1 + L + anbn ) ≤ ( a1 2 + L + an 2 ) ( b1 2 + L + bn 2 )
2

con la igualdad si a1 = kb1 , a2 = kb2 , L , an = kbn .

Notación Vectorial
Un vector x no es más que una n-upla de números reales, o sea x = (a1 , K , an ) , y por lo
tanto es un elemento de ¡ n . Dados dos vectores x = (a1 , K , an ), y = (b1 , K , bn ) su
producto interno (o producto punto) denotado x, y se define por
x, y = a1b1 + L + anbn .
Podemos asignar a cada vector su norma o longitud, x dada por
1
x = ( x12 + L + xn2 ) 2 .
Es posible ahora reinterpretar la desigualdad de Cauchy-Schwartz-Buniakowsky
vectorialmente:

Si x = (a1 , K , an ), y = (b1 , K , bn ) son dos vectores en ¡ n

x, y ≤ x ⋅ y .

5) Desigualdad Triangular Generalizada

Si x = ( x1 , K , xn ), y = ( y1 , K , yn ) son dos vectores en ¡ n y x + y = ( x1 + y1 , K , xn + yn )
entonces:
x+ y ≤ x + y .
O sea,
1 1 1
[( x1 + y1 ) 2 + K + ( xn + yn )2 ] 2 ≤ ( x12 + L + xn2 ) 2 + ( y12 + L + yn2 )2

6) Desigualdad de Chebyshev
Supongamos que x1 ≤ x2 ≤ L ≤ xn y y1 ≤ y2 ≤ L ≤ yn o bien x1 ≥ x2 ≥ L ≥ xn y
n
y1 ≥ y2 ≥ L ≥ yn . Si λ1 , λ2 , K , λn son números positivos y ∑λ
i =1
i = 1 entonces,

 n  n  n
 ∑ i i  ∑ i i  ≤ ∑ λi xi yi .
λ x λ y
 i =1  i =1  i =1

Esta desigualdad permite relacionar la media aritmética de los xi y la media aritmética de

los yi con la media aritmética de los xi yi . Como caso especial se da:

 1 n  1 n  1 n
 n ∑ xi   n ∑ yi  ≤ n ∑ xi yi
 i =1   i =1  i =1

7) Desigualdad de Holder
Si x1 , x2 , L , xn y y1 , y2 , L , yn son números reales nonegativos y p, q satisfacen que
1 1
+ = 1 , entonces:
p q
1 1
n
 n p  n q
∑i =1
xi yi ≤  ∑ xi p   ∑ yi q 
 i =1   i =1 
La igualdad se da si ( x1 , K , xn ) y ( y1 , K , yn ) son proporcionales.
p p p p

¿Recuerda la desigualdad:
1 1
Si a, b son números nonegativos y p, q satisfacen que + = 1, entonces
p q
 a p bq
+ ≥ ab
p q
con la igualdad si a p = bq ?

¿Cómo se puede usar esta desigualdad para establecer la de Holder?

1
Note que si p = q =, la desigualdad de Holder nos da la desigualdad de Cauchy-
2
Schwartz-Buniakowsky.

8) Desigualdad de Minkowski
Si x1 , x2 , L , xn y y1 , y2 , L , yn son números reales no negativos y entonces:
1 1 1

 n p 
p
 n p p  n p p
∑ i ( x + yi )   ∑ xi  +  ∑ yi 
≤
 i =1   i =1   i =1 
La igualdad se da si y sólo si los vectores ( x1 ,K , xn ) y ( y1 ,K , yn ) son proporcionales.

9) Desigualdad de Bernoulli
Si x > −1 y n es un entero positivo, entonces:
( 1 + x ) ≥ 1 + nx .
n

Si el exponente es real, la versión es: si x > −1 y x ≠ 0, entonces ( 1 + x ) > 1 + rx si

r

r > 1 ó r < 0 y ( 1 + x ) < 1 + rx si 0 < r < 1.

r

10) Funciones convexas

Muchas desigualdades se pueden establecer elegantemente haciendo uso de una
propiedad de las funciones continuas a valores reales definidas en intervalos, la propiedad
de convexidad.
Una función a valores reales, continua y definida en un intervalo I subconjunto de ¡ se
dice de gráfica convexa (o por abuso de lenguaje, convexa) si para todos los puntos
x, y ∈ I y para cualquier η ∈ [ 0,1] se tiene que:
f (η x1 + (1 − η ) x2 ) ≤ η f ( x1 ) + (1 − η ) f ( x2 ) .

Geométricamente, la gráfica de la función f es convexa si independientemente de cómo

se escojan los puntos en la gráfica de la función, el segmento que une a estos dos puntos
está por encima de la gráfica.
Para ver ésto asumamos que A ( x1 , f ( x1 ) ) , B ( x2 , f ( x2 ) ) son dos puntos de la gráfica de f
con x1 < x2 . Sea M ( xm , f ( xm ) ) un punto arbitrario de la gráfica de f que satisface
x1 < xm < x2 .
Si

y2
B
N
yn

x
f( m ) M
y1
A
x1 xm x2

N ( xm , yn ) es un punto en el segmento AB , estableceremos que f ( xm ) ≤ yn .

Sea,
x −x
η = 2 m , entonces, 0 ≤ η ≤ 1 y xm = η x1 + (1 − η ) x2 .
x2 − x1
Además,

BN y2 − yn
η= = , por lo que yn = η y1 + (1 − η ) y2 = η f ( x1 ) + (1 − η ) f ( x2 ).
BA y2 − y1

En consecuencia, la condición f ( xm ) ≤ yn es equivalente a la condición de convexidad

f (η x1 + (1 − η ) x2 ) ≤ η f ( x1 ) + (1 − η ) f ( x2 ) .

La definición de convexidad es equivalente a una condición más sencilla: Una función a

valores reales, continua y definida en un intervalo I subconjunto de ¡ se dice de gráfica
convexa (o por abuso de lenguaje, convexa) si para todos los puntos x, y ∈ I se tiene que:
 x + y  f ( x) + f ( y )
f ≤ .
 2  2
Notas:
1. Si para todo η entre 0 y 1, se verifica que
f (η x1 + (1 − η ) x2 ) ≤ η f ( x1 ) + (1 − η ) f ( x2 )
entonces la condición de continuidad no es necesaria.

Si en la condición f (η x1 + (1 − η ) x2 ) ≤ η f ( x1 ) + (1 − η ) f ( x2 ) la desigualdad se invierte se

dice que la gráfica de la función es cóncava.
2. Si f definida en el intervalo I es tal que para todo x en I, f "( x) ≥ 0 , la gráfica de f es
convexa en I. Si f "( x) ≤ 0 , la gráfica de f es cóncava en el intervalo I.

Desigualdad de Jensen
Si w1 , K , wn son números reales tales que w1 + K + wn = 1 y x1 , x2 , L , xn son n puntos de
un intervalo en el cual f es continua y convexa, entonces:

f ( w1 x1 + L + wn xn ) ≤ w1 f ( x1 ) + L + w1 f ( xn ) .

La desigualdad de Jensen está basada en el siguiente hecho geométrico que satisfacen las
funciones convexas: En todo punto ( a, f (a) ) de la gráfica de una función convexa en un
intervalo I, existe al menos una recta de soporte, o sea una recta de la forma
y = f (a ) + m( x − a ) para la cual
f ( x ) ≥ f ( a ) + m( x − a )
para todo x ∈ I . Precisamente, si f es convexa en el intervalo I, entonces la desigualdad
anterior se da para todo x en I.

Propiedad Importante: Si f es continua y convexa en el intervalo [ a, b ] , entonces el

máximo valor de f lo toma en los puntos extremos, o sea si M = Max { f (a ), f (b)} ,
entonces:
f ( x) ≤ M
para todo x ∈ [ a, b ] .