TALLER DE MATEMÁTICAS

DESIGUALDADES

NOTAS

Es bien sabido que en el conjunto de los números reales existe una relación de orden
“natural”: se dice que x < y cuando y − x es un número positivo. Con esta relación, el
conjunto está “totalmente ordenado”, es decir si x 6= y, entonces, o bien x < y, o bien
y < x.
En esta lección comentaremos algunas desigualdades “famosas”: aquellas que se estable-
cen entre los distintos promedios de un conjunto de números reales. Con ellas intentaremos
resolver los problemas que se proponen después.

Dado un conjunto arbitrario de n números positivos {x1 , x2 , . . . , xn }, se pueden definir

varios “promedios”. Los más comunes son los siguientes:

x1 + x2 + · · · + xn
Media aritmética: M A = .
n
√
Media geométrica: M G = n x1 · x2 · · · · · xn .
n
Media armónica: M H = .
1/x1 + 1/x2 + · · · + 1/xn
r
x21 + x22 + · · · + x2n
Media cuadrática: M C = .
n
En este momento, es natural preguntarse:

1. ¿Qué es un promedio?

2. ¿Por qué existen varios promedios?

A grandes rasgos, un promedio es una cantidad que representa la escala de valores de

un grupo de números. Las caracterı́sticas básicas de un promedio son la homogeneidad
(no puede variar bajo un cambio en la escala de medida) y que su valor debe estar
comprendido entre el máximo y el mı́nimo de las cantidades que representa.
Por otra parte, no todos los promedios representan con la misma fiabilidad el mismo
conjunto de números. Dependiendo del caso, es más conveniente uno que otro.

Entre los distintos promedios se pueden establecer las siguientes relaciones generales:

mı́n{x1 , x2 , . . . , xn } ≤ M H ≤ M G ≤ M A ≤ M C ≤ máx{x1 , x2 , . . . , xn }.

Vamos a demostrar la desigualdad M G ≤ M A, para lo cual distinguiremos dos casos:

1) El caso n = 2k , para todos los valores de k, lo demostraremos por inducción.
√ x1 + x2
En primer lugar, si k = 1, tenemos que demostrar que x1 · x2 ≤ . Para ello
√ √ 2 2
partimos de la desigualdad evidente 0 ≤ ( x1 − x2 ) y desarrollamos. Ası́ pues,
√ √ x1 + x2
0 ≤ x1 + x2 − 2 x1 · x2 =⇒ x1 · x2 ≤ .
2
Supondremos a continuación que la desigualdad es cierta para cualquier valor de k,
es decir
√
2k
x 1 + x 2 + · · · + x 2k
x 1 · x 2 · · · · · x 2k ≤
2k
y veamos que también lo es para k + 1. Ahora bien,

x1 + x2 + · · · + x2k+1 x1 + x2 + · · · + x2k x2k +1 + x2k +2 + · · · + x2k +2k

= +
2k+1  2k+1 2k+1 
1 x1 + x2 + · · · + x2k x2k +1 + x2k +2 + · · · + x2k +2k
= + .
2 2k 2k

Aplicamos la hipótesis de inducción a los dos sumandos. Ası́ obtenemos:

x1 + x2 + · · · + x2k+1 1h
1/2k
1/2k i
≥ x 1 · x 2 · · · · · x 2k + x2k +1 + x2k +2 + · · · + x2k +2k .
2k+1 2
Esta última expresión corresponde a la media aritmética de dos términos. Como en
este caso se sabe que es mayor o igual que la media geométrica de dichos términos,
resulta en definitiva que

x1 + x2 + · · · + x2k+1
q
(1/2k )
(1/2k )
≥ x 1 · x 2 · · · · · x 2k · x2k +1 + x2k +2 + · · · + x2k +2k
2k+1
k+1
= (x1 · x2 · · · · · x2k+1 )1/2 .

2) Para demostrar el caso general, procedemos del siguiente modo:

Sea N = 2k + m, con 0 < m < 2k . A partir de la desigualdad (ya probada)
x1 + x2 + · · · + x2k+1 1/2k+1
≥ (x 1 · x 2 · · · · · x 2 k+1 ) ,
2k+1
sustituimos xi por (x1 + x2 + · · · + xN )/N , para i = N + 1, . . . , 2k+1 . Obtenemos
entonces:

x1 +x2 +···+xN +(2k+1 −N )·(x1 +x2 +···+xN )/N

2k+1
k+1 2k+1 −N
x1 +x2 +···+xN
≥ (x1 · x2 · · · · · xN )1/2 · N
2k+1 .

Agrupando términos y simplificando, llegamos a la desigualdad buscada

x1 + x2 + · · · + xN
≥ (x1 · x2 · · · · · xN )1/N .
N
Otras desigualdades muy útiles en variedad de problemas son las siguientes:
Desigualdad de Cauchy-Schwarz.
Dados dos conjuntos {x1 , x2 , . . . , xn }, {y1 , y2 , . . . , yn }, se verifica que

(x1 y1 + x2 y2 + · · · + xn yn )2 ≤ (x21 + x22 + · · · + x2n ) · (y12 + y22 + · · · + yn2 ).

Para demostrar esta desigualdad, consideramos la desigualdad (evidente)

(x1 − λy1 )2 + (x2 − λy2 )2 + · · · + (xn − λyn )2 ≥ 0,

donde λ es un parámetro real. Desarrollando la expresión anterior y agrupando términos,

obtenemos:

(y12 + y22 + · · · + yn2 )λ2 − 2λ(x1 y1 + x2 y2 + · · · + xn yn ) + (x21 + x22 + · · · + x2n ) ≥ 0.

Para que el polinomio cuadrático sea siempre mayor o igual que cero, necesariamente
el discriminante debe ser menor o igual que cero. Esto nos conduce directamente a la
desigualdad deseada.
Por cierto, a partir de esta desigualdad, es muy fácil probar que la media aritmética es
siempre menor o igual a la media cuadrática. ¿Se te ocurre cómo probarlo?
Desigualdad de Bernouilli.
Sea a un número real arbitrario. Entonces,
(a) Si 0 < a < 1, entonces (1 + x)a ≤ 1 + ax, para todo x mayor o igual que uno.
(b) Si a < 0 ó a > 1, entonces (1 + x)a ≥ 1 + ax, para todo x mayor que uno.

Algunos de los problemas siguientes requieren conocer algunas de las desigualdades ante-
riores pero otros se resuelven sin necesidad de ellas. Bastarán conocimientos más generales
o deducciones más simples.
 PROBLEMAS

1. Sean a1 , . . . , an números positivos.

(a) Probar que, si a1 + a2 + · · · + an = 1, entonces a21 + a22 + · · · + a2n ≥ 1/n.
(b) Probar que, si a1 · a2 · · · · · an = 1, entonces a1 + a2 + · · · + an ≥ n.

Sol. La primera parte es consecuencia inmediata de la desigualdad de Cauchy-

Schwarz (haciendo yk = 1, para todo k) y la segunda se deduce directamente de la
desigualdad entre la media aritmética y la media geométrica.

2. Dado el conjunto {a1 , . . . , an } de números positivos, probar que

a1 a2 an
+ + ··· + ≥ n.
a2 a3 a1

Sol. La respuesta es inmediata si aplicamos la desigualdad entre la media aritmética

y la media geométrica.

3. Sean a, b, c tres números positivos tales que abc = 1. Probar que (a+b)(b+c)(c+a) ≥
8.

Sol. La desigualdad que queremos probar es equivalente a

a+b b+c c+a
· · ≥ 1.
2 2 2
Debido a la desigualdad entre la media aritmética y la media geométrica, sabemos
que
√ a+b √ b+c √ c+a
ab ≤ , bc ≤ , ca ≤ .
2 2 2
Multiplicando miembro a miembro las tres desigualdades, se obtiene la desigualdad
deseada.

4. (Fase Local, 2007) Hallar todas las soluciones reales de la ecuación

2 −x−y 2 −y−z 2 −z−x
3x + 3y + 3z = 1.

Sol. Aplicando la desigualdad entre las medias aritmética y geométrica, tenemos:

2 2 2
√
3 2 2 2
3x −x−y +3y −y−z +3z −z−x ≥ 3 3x2 +y2 +z2 −2x−2y−2z = 3((x−1) +(y−1) +(z−1) )/3 ≥ 30 = 1.

La igualdad se cumple cuando x = y = z = 1.

5. (a) Probar que, en todo triángulo, tg α + tg β + tg γ = tg α · tg β · tg γ.
√
(b) Probar que, si α, β, γ son agudos, tg α · tg β · tg γ ≥ 3 3 y la igualdad se alcanza
cuando el triángulo es equilátero.

Sol. (a)

tg α + tg β + tg γ = tg α · tg β · tg γ ⇐⇒ sen α cos β cos γ + sen β cos α cos γ + sen γ cos α cos β =

⇐⇒ cos γ sen(α + β) = − sen γ cos(α + β) ⇐⇒ cos γ sen γ

(b) Por la desigualdad entre las medias aritmética y geométrica,

A+B+C ABC √
3
= ≥ ABC =⇒ (ABC)2/3 ≥ 3.
3 3

 n + 1 n
6. Sea n un número natural mayor que 1. Probar que n! < .
2
Sol. Reescribimos la desigualdad a probar de la siguiente forma:
p
n n+1
n(n − 1) . . . 2 · 1 < .
2
El primer miembro de la desigualdad sugiere utilizar la desigualdad entre la media
aritmética y la media geométrica. Tenemos entonces:
p
n n + (n − 1) + · · · + 2 + 1 n+1
n(n − 1) . . . 2 · 1 < = .
n 2

7. Sean x, y, z tres números reales tales que x2 + y 2 + z 2 + 2xyz = 1. Probar que

x2 + y 2 + z 2 ≥ 3/4.

Sol. Supondremos que todos los números son distintos de cero (caso contrario, el
resultado es evidente).
Llamaremos, para simplificar la notación, M = x2 + y 2 + z 2 . Por hipótesis, xyz =
1−M
. Además, si aplicamos la desigualdad entre la media aritmética y la media
2
M
geométrica a los números positivos x2 , y 2 , z 2 , tenemos que ≥ (xyz)2/3 . De las
3
dos condiciones, resulta que
M  1 − M 2/3
≥ .
3 2
De aquı́ deducimos que 4M 3 − 27M 2 + 54M − 27 ≥ 0.
Se puede comprobar (por métodos de cálculo diferencial) que este polinomio de
tercer grado toma valores negativos cuando M < 3/4 y positivos cuando M > 3/4,
lo que demuestra el enunciado.
 8. Sean x, y, z tres números reales tales que x+y +z = 6. Probar que x2 +y 2 +z 2 ≥ 12.

Sol. Aplicaremos la desigualdad de Cauchy-Schwarz a los conjuntos {x, y, z}, {1, 1, 1}.
Se obtiene: √ p
x + y + z ≤ 3 · x2 + y 2 + z 2 .
Utilizando la hipótesis dada, se llega fácilmente a la conclusión pedida.
Observar que el mismo resultado se obtiene si se aplica directamente la desigualdad
entre la media aritmética y la media cuadrática.

9. (Fase Nacional, 2007) Sea a 6= 1 un número real positivo y n un entero positivo.

an + a−n − 2
Demostrar que n2 < .
a + a−1 − 2
(an/2 − a−n/2 )2 αn −α−n
Sol. La desigualdad es equivalente a n2 < 1/2 o bien n < α−α−1
, con
√ (a − a−1/2 )2
α = a. Por la desigualdad entre las medias aritmética y geométrica,

αn − α−n 2n
−1 √
1−n α 1−n 2 2n−2 1−n n

−1
= α 2
= α (1+α +· · ·+α ) > α ·n α2+4+···+(2n−2) = n.
α−α α −1

Los problemas que vienen a continuación, también relativos a desigualdades numéri-

cas, necesitan otras técnicas diferentes y no precisan conocer las fórmulas anteriores.

10. (Fase Local, 1997) Si a, b, c son números reales positivos, demostrar la desigualdad

a2 + b2 + c2 − ab − bc − ca ≥ 3(a − b)(b − c).

¿Cuándo se verifica la igualdad?

Sol. Desarrollamos el producto del segundo miembro y agrupamos términos. Re-

sulta la desigualdad equivalente

a2 + 4b2 + c2 − 4ab − 4bc + 2ac ≥ 0.

2
Es fácil ver ahora que el primer miembro es igual a 2b − (a + c) , que es eviden-
temente mayor o igual que cero. Además la igualdad será cierta cuando 2b = a + c.

11. (Fase Local, 2005) Sean x, y, z números reales positivos.

1 1 1
(a) Si x + y + z ≥ 3, ¿se verifica necesariamente que + + ≤ 3?.
x y z
1 1 1
(b) Si x + y + z ≤ 3, ¿se verifica necesariamente que + + ≥ 3?.
x y z
Con la misma idea, probar que (a1 + · · · + an ) · (1/a1 + · · · + 1/an ) ≥ n2 .
 Sol. La primera parte es falsa, como muestra el siguiente ejemplo:
x = 0,01, y = 2, z = 2.
La segunda parte es cierta pues, si hacemos el producto
 
1 1 1 y x y z z x
(x + y + z) + + =3+ + + + + + ,
x y z x y z y x z
y tenemos en cuenta que la suma de un número positivo más su recı́proco es siempre
mayor o igual a dos, resulta que
   
1 1 1 1 1 1
3· + + ≥ (x + y + z) + + ≥ 9,
x y z x y z
de donde se deduce la desigualdad propuesta.

12. (Fase Iberoamericana, 1988) Sean a, b, c, d, p, q enteros positivos tales que ad−bc = 1
y a/b > p/q > c/d. Probar que q ≥ b + d y que, si q = b + d, entonces p = a + c.

Sol. De p/q > c/d se deduce que pd > cq; entonces pd ≥ cq+1, y p/q ≥ c/d+1/(qd).
Análogamente, a/b > p/q implica que a/b ≥ p/q + 1/(bq). Ası́,
a c 1 1 b+d
− ≥ + = ,
b d qd qb qbd
de donde a/b − c/d = 1/bd y q ≥ b + d.
Supongamos ahora que q = b + d. Tenemos ad − bc = 1led, de donde ad + cd − d ≤
bc + cd y (a + c − 1)/(b + d) ≤ c/d. Por tanto, p ≥ a + c. También ad − bc ≤ b, o
bien bc + b + ab ≥ ad + ab, con lo que (a + c + 1)/(b + d) ≥ a/b. Entonces p ≤ a + c,
es decir p = a + c.

13. (Fase Nacional, 1989) Probar las desigualdades

1 1 · 3 · 5 · · · · · 99 1
√ < < .
10 2 2 · 4 · 6 · · · · · 100 10

Sol. Escribimos el término central como

1 3 5 99
· · · ··· · .
2 4 6 100
Teniendo en cuenta que
1 2 3 4 98 99
< < < < ... < < < 1,
2 3 4 5 99 100
entonces
1 1 2 3 4 5 98 99 1 3 5 99 2 1 2 3 4 5 6 99
· · · · · ·· · ·· · < · · ·· · ·· < · · · · · ·· · ·· · 1.
2 2 3 4 5 6 99 100 2 4 6 100 2 3 4 5 6 7 100
Simplificando lo anterior y sacando raı́ces cuadradas, se obtiene el resultado pedido.
14. Dado un número natural arbitrario n, demostrar que
 1  9
1, 1 · 1, 01 · 1, 001 · · · · · 1 + n < .
10 8

Sol. Haremos la demostración en varias etapas. En primer lugar, debido a la de-

sigualdad entre la media aritmética y la media geométrica, tenemos:
 1    
1+ · 1 + 1012 · · · · · 1 + 101n
10 h n+ 1 + 1 +···+ 1 in 
10n n −1 n
< 10 102
n
= 1 + n1 · 109·10n
.

10n − 1
Como la sucesión es creciente y tiene lı́mite 1/9, deducimos que
9 · 10n
n  n
1 10n − 1

1
1+ · < 1+ .
n 9 · 10n 9n
Para llegar al resultado propuesto, basta ahora probar que la última expresión es
 1 n
menor que 9/8. Es sabido que la sucesión 1 + es creciente y tiene lı́mite e,
n
con lo que  n
1
1+ < e1/9 ,
9n
de modo que basta probar que e1/9 < 9/8.
 1 n+1
Para ello observamos que la sucesión 1+ tiene lı́mite e. Veamos que, además,
n
es decreciente.
En efecto, si aplicamos la desigualdad entre
n la nmedia naritmética ny laomedia geomé-
trica a la sucesión (de n + 2 elementos) 1, , ,..., , obtenemos:
n+1 n+1 n+1
n+1
n + 1  n  n+2
> ,
n+2 n+1
o bien  n + 2 n+2  n + 1 n+1
< ,
n+1 n
 n + 1 n+1
lo que indica que la sucesión es decreciente.
n
En particular, si hacemos n = 8, resulta que e < (9/8)9 , como querı́amos probar.
Solución alternativa. Para la segunda parte  de la demostración,
n si aplicamos la
1
fórmula del binomio de Newton a la expresión 1 + , resulta:
9n
 n
1 1 n

 1 2  n
1
1+ = 1 + n · 9n + 2 9n + · · · + 9n
9n
(n−1)(n−2)...2·1
= 1 + 19 + n−1
n
1
· 2!·9 2 + ··· + nn−1
1
· n!·9 n

< 1 + 9 + 92 + · · · + 9n < 1 + 9 + 92 + · · · = 1−1/9 = 98 .

1 1 1 1 1 1