Desigualdad entre las medias Aritmética y

Geométrica

Jorge Tipe Villanueva

Dados n reales positivos a1 , a2 , . . . , an , definimos la media aritmética de a1 , a2 , . . . , an como

el número
a1 + a2 + . . . + a n
n
y la media geométrica como el número
√
n
a1 a2 . . . a n .

Al siguiente resultado se le llama “Desigualdad entre las medias aritmética y geométrica"

o simplemente “Desigualdad entre las medias":

Teorema: La media aritmética de n números reales positivos es mayor o igual que la media
geométrica de los mismos, es decir, si a1 , a2 , . . . , an son reales positivos, entonces se cumple que:
a1 + a2 + · · · + a n √
≥ n a1 a2 . . . a n
n
además, se da la igualdad únicamente cuando a1 = a2 = · · · = an . 

Observación: Al aplicar este teorema es muy importante tener en cuenta cuándo se da la

igualdad, sobre todo si queremos encontrar un máximo o mínimo.

Algunos casos particulares y primera demostración

Veamos la demostración clásica del teorema para el caso n = 2, que es la versión del
teorema más usada en la solución de problemas.

Demostración del Teorema para n = 2.

Dados los números reales positivos a y b, tenemos que:

√ √
a+b √ ( a − b )2
− ab = ≥0
2 2
pues el cuadrado de un número real siempre es mayor o igual que cero, entonces se
cumple que:
a+b √
≥ ab.
2
 √ √
Notemos que la igualdad se da únicamente cuando a= b, esto es, únicamente cuan-
do a = b.

1
Problema 1. Si x > 0, pruebe que x + ≥ 2.
x
1
Solución. Aplicando la desigualdad de las medias para x y obtenemos la desigualdad
x
que nos piden. Note que la igualdad ocurre solamente cuando x = 1.

1 1 4
Problema 2. Si a y b son reales positivos entonces + ≥ .
a b a+b
Solución. La desigualdad es equivalente a ( a + b)2 ≥ 4ab, que a su vez es equivalente a
a2 + b2
2 ≥ ab, que es la desigualdad de las medias aplicada a los números a2 y b2 .

Problema 3. Si a y b son reales positivos, pruebe que a3 + b3 ≥ ab( a + b).

Problema 4. Si a, b, c son reales positivos entonces a2 + b2 + c2 ≥ ab + bc + ca.

Solución. Sumamos las siguientes desigualdades, y obtenemos lo que queremos:

a2 + b2 ≥2ab
b2 + c2 ≥2bc
c2 + a2 ≥2ca
Note que la igualdad ocurre si y sólo si a = b = c.

Problema 5. Sean x y y números reales positivos tales que xy + x + y = 31, demuestre

que x + 2y ≥ 13.

Solución. Al sumar 1 a la condición del problema obtenemos ( x + 1)(y + 1) = 32, aplica-

mos entonces la desigualdad de las medias a los números positivos ( x + 1) y 2(y + 1),
entonces:
( x + 1) + 2( y + 1)
q
≥ 2( x + 1)(y + 1) = 8,
2
con lo cual obtenemos que:
x + 2y + 3 ≥ 16 ⇐⇒ x + 2y ≥ 13.
Note que la igualdad se puede dar solamente cuando ( x + 1) = 2(y + 1) y como sabe-
mos que ( x + 1)(y + 1) = 32, obtenemos que x = 7 y y = 3.

Demostración del Teorema para n = 4

Sean a, b, c, d reales positivos, sabemos que:

( a + b) + (c + d)
q
≥ ( a + b)(c + d), (1)
2
pero
√ √
( a + b) ≥ 2 ab y (c + d) ≥ 2 cd, (2)

entonces:
q √ √ √
( a + b) + (c + d)
q
4
≥ ( a + b)(c + d) ≥ 2 ab · 2 cd = 2 abcd,
2
de donde obtenemos:
a+b+c+d √
4
≥ abcd. (3)
4
Note que para que se dé la igualdad en (3), debe darse la igualdad en (2) y en (1), es de-
cir, se debe cumplir que a = b, c = d y a + b = c + d, lo cual implica que a = b = c = d. 

Siguiendo la misma idea podemos demostrar que si el Teorema es válido para n, en-
tonces también es válido para 2n. En particular, podemos demostrar que el Teorema es
válido para cualquier potencia de 2.

Problema 6. Sean a y b números reales, demuestre que a4 + b4 + 8 ≥ 8ab.

Solución. Aplicando la desigualdad de las medias a los números a4 , b4 , 4, 4 obtenemos:

a4 + b4 + 4 + 4 √
4
≥ a4 · b4 · 4 · 4 = 2| ab|,
4
con lo cual obtenemos a4 + b4 + 8 ≥ 8| ab|, pero es claro que | ab| ≥ ab, y esto es suficiente
para terminar la solución.

Demostración del Teorema para n = 3

ya demostramos el teorema para n = 4, lo aplicamos

Sean a, b, c reales positivos. Como √
3
a los números a, b, c, d, donde d = abc (note que abc = d3 ):

a+b+c+d √
4
√
4 a+b+c √
3
≥ abcd = d3 · d = d =⇒ ≥ d = abc.
4 3
Note que para que se dé la igualdad, debe cumplirse que a = b = c = d. 

Problema 7. Sea x un real positivo, pruebe que x5 + x4 − 3x3 + 1 ≥ 0.

Solución. Aplicando la desigualdad de las medias a los números x5 , x4 , 1 obtenemos:

x5 + x4 + 1 √
3
≥ x9 = x3 =⇒ x5 + x4 + 1 ≥ 3x3 ,
3
la cual es equivalente a la desigualdad que nos piden.

Así como demostramos el Teorema para n = 3 a partir de n = 4, podemos demostrar

que si el Teorema es válido para n entonces también lo es para n − 1. Especifiquemos
este resultado:

Si el teorema es válido para n, vamos a demostrar que es válido para n − 1. Sean

a1 , a2 , . . . , an−1 reales positivos, aplicamos el teorema a los n números a1 , a2 , . . . , an−1 , g,
√
donde g = n−1 a1 a2 · · · an−1 :
a 1 + a 2 + · · · + a n −1 + g √
q
≥ a1 a2 · · · an−1 · g = n gn−1 · g = g,
n
n
de donde obtenemos:
a 1 + a 2 + · · · + a n −1 √
≥g= n −1 a 1 a 2 · · · a n −1 .
n−1


Hasta ahora tenemos lo siguiente:

Demostramos que el Teorema es válido para n = 2.

Suponiendo que el Teorema es válido para n, demostramos que también es válido

para 2n.

Suponiendo que el Teorema es válido para n, demostramos que también es válido

para n − 1.

Es fácil notar que con el proceso anterior podemos llegamos a cualquier n empezando
desde el 2, por ejemplo, para demostrar el teorema para n = 12 seguimos la secuencia:

2 → 4 → 8 → 16 → 15 → 14 → 13 → 12.

Para ser más precisos, dado cualquier n, tomamos un k tal que 2k ≥ n, luego, como el
Teorema es válido para 2k a partir de ahí vamos bajando de 1 en 1 hasta llegar a n, con
lo cual quedaría demostrado el Teorema para n.

De esta forma queda demostrado que el teorema es válido para cualquier n.

Segunda demostración
Vamos a demostrar el siguiente Lema (que en realidad es un caso particular del Teorema
que queremos demostrar).

Lema. Sean x1 , x2 , . . . , xn reales positivos tales que x1 x2 · · · xn = 1, entonces

x1 + x2 + · · · + xn ≥ n,
además, la igualdad se da solamente cuando x1 = x2 = · · · = xn = 1.

Demostración. Vamos a usar inducción matemática. Es claro que para n = 1 el resultado

es cierto. Supongamos que el resultado es cierto para n, vamos a demostrarlo para n + 1.
Es decir, consideremos los n + 1 números x1 , x2 , . . . , xn+1 cuyo producto es 1, tenemos
que demostrar que su suma es al menos n + 1.
Si todos los números xi son iguales a 1 es claro que x1 + x2 + · · · + xn+1 = n + 1, es decir,
se da la igualdad. Si no todos son 1, entonces habrá uno de ellos que es menor que 1 y
otro que es mayor que 1. Sin pérdida de generalidad suponemos que xn < 1 y xn+1 > 1.
Apliquemos la hipótesis a los n números x1 , x2 , . . . , xn−1 , xn xn+1 , como su producto es 1
se cumple que:
x1 + x2 + · · · + xn−1 + xn xn+1 ≥ n,
y para demostrar que x1 + x2 + · · · + xn + xn+1 ≥ n + 1 sólo necesitaríamos que se
cumpla:
xn + xn+1 − xn xn+1 ≥ 1,
pero esta última desigualdad es equivalente a:
( xn+1 − 1)(1 − xn ) ≥ 0,
la cual es verdadera porque ambos factores son positivos. Es más, podemos notar que
no se puede dar la igualdad cuando no todos los números son iguales a 1. 

Sean a1 , a2 , . . . , an reales positivos, definimos P = a1 a2 · · · an y para cada i entre 1 y n

definimos:
ai
xi = √
n
,
P
entonces x1 , x2 , . . . , xn son reales positivos cuyo producto es 1, por el Lema:
√
n
x1 + x2 + · · · + x n ≥ n ⇐⇒ a1 + a2 + · · · + a n ≥ n P
a1 + a2 + · · · + a n √
⇐⇒ ≥ n a1 a2 · · · a n ,
n
que es la desigualdad de las medias.

Algunas aplicaciones al cálculo de máximos y mínimos

Problema 8. Un rectángulo tiene perímetro 20, ¿cuál es el mayor valor que puede tomar
su área?

Solución. Sean a y b las dimensiones del rectángulo, luego, a + b = 10 y su área es ab ;

ahora, por (MA-MG):
a+b √
5= ≥ ab
2
de donde ab ≤ 25, y la igualdad se da cuando a = b = 5, por lo tanto, el mayor valor
que puede tomar el área es 25.
Problema 9. La suma de dos números naturales distintos es 30, ¿cuál es el mayor valor
que puede tomar su producto?

Problema 10. Todas las caras de una caja son rectangulares,

√ además, la distancia entre
dos vértices opuestos (que no estén en la misma cara) es 9 3 cm. ¿Cuál es el mayor valor
que puede tomar el volumen de la caja?
√
Solución. Sean a, b y c las dimensiones de la caja. Como la diagonal mide 9 3 cm. enton-
ces se cumple que: p √
a2 + b2 + c2 = 9 3 cm. (3)
Apliquemos ahora la desigualdad de las medias a los números a2 , b2 y c2 :

a2 + b2 + c2 √
3
≥ a2 b2 c2 ,
3
reemplazamos (3) en la desigualdad anterior, y luego simplificamos para obtener:

abc ≤ 93 cm3 = 729 cm3

además, notamos que se puede dar la igualdad cuando a = b = c = 9 cm. Por lo tanto,
el mayor valor que puede tomar el volumen es 729 cm3 .

En el problema 1, vimos que si x > 0 se cumple que x + 1x ≥ 2, esto se podría formular

así: el mínimo valor que toma la función f ( x ) = x + 1x , cuando x > 0, es 2 . Note que
para asegurar esto no es suficiente demostrar que f ( x ) ≥ 2, sino que tenemos que en-
contrar un x0 para el cual f ( x0 ) = 2, para nuestro caso podemos tomar x0 = 1 ya que
f (1) = 2.

Problema 11. Hallar el mínimo de la función g( x ) = x + 4x , cuando x > 0.

1
Problema 12. Hallar el mínimo de la función h( x ) = x + x −2 , cuando x > 2.

1
Solución. Notemos que h( x ) = [( x − 2) + x− 2 ] + 2, con lo cual h ( x ) ≥ 2 + 2 = 4 y como
h(3) = 3 + 1 = 4, concluimos que el mínimo valor de h( x ) es 4 (y se consigue cuando
x = 3).

Problema 13. Hallar el mínimo de la función j( x ) = x2 + 4x , cuando x > 0.

Solución. Este es el primer problema que vamos a ver en el que hay que aplicar la de-
sigualdad de las medias de forma especial. Para que al aplicar esta desigualdad nos
resulte un número en el lado derecho hacemos la separación:
4 2 2
x2 + = x2 + + ,
x x x
con lo cual tenemos:
√
r
2 2 3 2 2 3
x2 + + ≥ 3 x2 · · = 3 4,
x x x x
 √ 2
√
es decir, el mínimo sería 3 3 4, y se consigue cuando x2 = x = 2x , es decir, cuando x = 3
2.

Problema 14. Hallar el máximo de la función k ( x ) = x (1 − x3 ), cuando 0 ≤ x ≤ 1.

Solución. Aplicamos la desigualdad de las medias a los números (positivos):

3 1 − x3 1 − x3 1 − x3
x , , , ,
3 3 3
con lo cual obtenemos:
1− x 3 3 3
+ 1−3x + 1−3x
r
x3 + 3 4 x 3 (1 − x 3 )3
≥ ,
4 33
que equivale a:
 4  4/3
1 [ x (1 − x3 )]3 1 3
≥ =⇒ 3 ≥ x (1 − x 3 ) =⇒ √ ≥ x (1 − x 3 ),
4 33 4 3
4 4
3 1− x 3
con lo cual el valor máximo de k ( x ) es √
3 y se consigue cuando x3 = 3 , es decir,
4 4
1
cuando x = √
3 .
4

Problema 15. Hallar el máximo de la función `( x ) = x2 (1 − x5 ), cuando 0 ≤ x ≤ 1.

Problemas resueltos
Problema 16. (M. aritmética - M. geométrica - M. armónica) Sean a1 , a2 , . . . , an reales
positivos, pruebe que:
a1 + a2 + · · · + a n √ n
≥ n a1 a2 · · · a n ≥ 1 1 1
.
n a1 + a2 +···+ an

Solución. Ya sabemos que la primera desigualdad se cumple. Para la segunda desigual-

dad, aplicamos la desigualdad de las medias a los números a11 , a12 , a13 , . . . , a1n para obtener:
s
1 1 1
a1 + a2 +···+ an n 1
≥ ,
n a1 a2 · · · a n

que es equivalente a la desigualdad que queremos probar.

Problema 17. Sea k un entero positivo, pruebe que:

  k ( k +1)
k+1 2
11 · 22 · 33 · · · k k ≥
2
Solución. Vamos a aplicar la desigualdad M. geométrica - M. armónica a los números:

1, 2, 2, 3, 3, 3, . . . , k, k, . . . , k,
| {z }
k veces

k ( k +1)
podemos notar que la cantidad de números es 2 , entonces:

√ k ( k +1)
k ( k +1)
2 k+1
2
11 · 22 · 33 · · · kk ≥ = ,
1 1 2
1 + 12 + 12 + 13 + 31 + 13 + · · · + +···+
|k {z k}
k veces

de donde se obtiene lo que queremos.

Problema 18. Si a, b, c son reales positivos tales que abc = 1, pruebe que

1 + ab 1 + bc 1 + ca
+ + ≥ 3.
1+a 1+b 1+c
Solución. En el primer término vamos multipicar al numerador y denominador por c:

1 + ab c + abc 1+c
= = ,
1+a c (1 + a ) c (1 + a )

y si hacemos lo mismo con los otros términos obtendríamos:

1+c 1+a 1+b

+ + ≥ 3,
c (1 + a ) a (1 + b ) b (1 + c )

la cual se prueba con la desigualdad de las medias porque el producto de los tres térmi-
nos de la izquierda es 1.

Problema 19. Si a, b, c son reales positivos, pruebe que:

2( a + b + c)( a2 + b2 + c2 ) ≥ a3 + b3 + c3 + 15abc

Solución. Desarrollamos el producto de la izquierda y pasamos a restar a3 + b3 + c3 , y

obtenemos:

a3 + b3 + c3 + 2( a2 b + a2 c + b2 a + b2 c + c2 a + c2 b) ≥ 15abc,

pero esta desigualdad se puede ver como la desigualdad de las medias aplicada a los 15
números
a3 , b3 , c3 , a2 b, a2 b, a2 c, a2 c, . . . , c2 b, c2 b.
Problema 20. Sean x, y, z números reales positivos tales que x + y + z = 3, pruebe que:
√ √ √
x + y + z ≥ xy + yz + zx.
Solución. Como x + y + z = 3, entonces x2 + y2 + z2 + 2( xy + yz + zx ) = 9 con lo cual la
desigualdad pedida es equivalente a:
√ √ √
2 x + 2 y + 2 z ≥ 2( xy + yz + zx )
√ √ √
2 x + 2 y + 2 z ≥ 9 − ( x 2 + y2 + z2 )
√ √ √
x 2 + y2 + z2 + 2 x + 2 y + 2 z ≥ 9
√ √
Pero por la desigualdad de las medias x2 + x + x ≥ 3x, y si sumamos esas tres
expresiones análogas obtenemos:
√ √ √
x2 + y2 + z2 + 2 x + 2 y + 2 z ≥ 3( x + y + z) = 9,

que es lo que queremos.

Problemas propuestos
1. Si 0 < b < a son números reales, pruebe que
1
a+ ≥ 3.
( a − b)b

2. Demuestre las siguientes desigualdades, donde x, y, z son reales positivos:

x y
a) + ≥ 2.
y x
b) ( x + y)(y + z)(z + x ) ≥ 8xyz.
√ √ √
c) xy + yz + zx ≥ x yz + y zx + z xy.
xy yz zx
d) + + ≥ x + y + z.
z x y
e) x2 (y + z) + y2 (z + x ) + z2 ( x + y) ≥ 6xyz.
f ) x4 + 2x3 y + 2xy3 + y4 ≥ 6x2 y2 .
g) ( x2 y + y2 z + z2 x )( xy2 + yz2 + zx2 ) ≥ 9x2 y2 z2 .
x 3 + y6
h) ≥ 3xy2 − 4.
2

3. Sean a, b, c, d reales positivos, pruebe que

 10
2 3 4 a + 2b + 3c + 4d
ab c d ≤ .
10

4. Se sabe que ( a, b, c, d, e, f ) es una permutación de (3, 4, 5, 6, 7, 8), ¿cuál es el menor

valor que puede tomar ab + cd + e f ?
 5. Sea a un real positivo, pruebe que

a4 + 9 4
> .
10a 5

6. Sea a un real positivo, pruebe que (1 − a)5 (1 + a)(1 + 2a)2 < 1.

7. Sea n un número entero mayor que 1, pruebe que 1 · 3 · 5 · · · (2n − 1) < nn .

8. Sean m y n enteros positivos, pruebe que:

2mn m+n
 
n m
m ·n ≤
m+n

9. Sean a y b reales positivos, pruebe que 27a2 b ≤ 4( a + b)3 .

2x
10. Determine el mínimo valor de la función f ( x ) = x + x −5 , cuando x > 5.

11. Determine el mínimo valor de la función f ( x ) = x3 + 1x , cuando x > 0.

12. Si a y b son reales positivos, determine el máximo valor que puede tomar la expre-
sión 6ab − ( a3 + b3 ).

13. Considere todos los triángulos isósceles que tienen perímetro 12, ¿cuál de ellos tie-
ne mayor área?

14. Sean a, b, c reales positivos, pruebe que

1 1 1 1
+ 3 + 3 ≤
a3 3 3 3
+ b + abc b + c + abc c + a + abc abc

15. Si a, b, c son reales positivos tales que a + b + c = 1, pruebe que

   
1 1 1
1+ 1+ 1+ ≥ 64
a b c

16. Sean a, b, c reales positivos, pruebe que

√
3
√
3 √
3 2( a + b + c )
ab + bc + ca − 1 ≤ .
3
17. En cierto país se desea emitir monedas cuyos valores sean tres cantidades enteras
positivas distintas, de tal manera que una persona que lleva k monedas conve-
nientemente elegidas, pueda pagar exactamente cualquier cantidad entera desde 1
hasta 99 (sin recibir vuelto). ¿Cuál es el menor valor que puede tener k?

18. Sean x, y, z reales positivos tales que xyz = 1, pruebe que:

x3 y3 z3 3
+ + ≥
(1 + y)(1 + z) (1 + z)(1 + x ) (1 + x )(1 + y) 4