Ttulo: La desigualdad entre la media aritmtica y geomtrica en

problemas de olimpiadas.
Por Eduardo Miguel Prez Almarales
Resumen:
En el presente artculo se pretende mostrar la utilidad de una desigualdad tan
elemental como la relacin entre las medias aritmtica y geomtrica para
resolver problemas de olimpiadas, se ofrece una demostracin algebraica y
una geomtrica para esta relacin en dos elementos, a continuacin se ofrece
la demostracin realizada por Cauchy al caso general y se proponen problemas
con soluciones de olimpiadas realizadas en diferentes pases.
Desarrollo:
Se conoce que la media aritmtica entre dos valores no negativos a y b se
+
calcula como y la media geomtrica como entonces demostraremos
2
+
que . Usaremos una va algebraica y una geomtrica que nos
2

permitir analizar algunas de las interconexiones conceptuales que se

establecen entre estas dos disciplinas de la Matemtica.
Va algebraica: Conocemos que 2 0, si en la desigualdad que queremos
demostrar multiplicamos por 2 y transponemos todo al miembro izquierdo,
2
obtenemos 2 + 0, factorizando tenemos ( ) 0, que se
cumple.
Va Geomtrica:
A Utilizando el teorema de las alturas se
tiene que = es decir la media
h geomtrica entre x, y. Por otra parte
D O +
B C podemos percatarnos que = , es
2
x y decir la media geomtrica, que en este
caso es la hipotenusa del tringulo
rectngulo AOD y la media geomtrica es uno de sus catetos, entonces se
+
tiene que .
2

Esta desigualdad se cumple adems si la cantidad de valores aumenta. Segn

Bulajich, Gmez y Valds (2008), Cauchy prob esta desigualdad utilizando
una induccin de la siguiente forma:

1
 1. Probar que se cumple para dos nmeros.
2. Probar que si se cumple para n elementos entonces se cumple para n
1 elementos.
3. Probar que si se cumple para n elementos entonces se cumple para 2n
elementos.
En el caso que nos ocupa el primer paso est probado. Probaremos el segundo
y el tercer pasos:
2) Tomamos n 1 nmeros no negativos 1 , 2 , , 1 y sea =
1
1 2 1 , como tenemos como premisa que se cumple para n elementos
entonces:
1 + 2 + + 1 +
1 2 1 = 1 =

1 + 2 + + 1 +
1 + 2 + + 1 1
1 2 1
1
Entonces se cumple para n 1 elementos.
3) sean 2n nmeros reales no negativos 1 , 2 , , 2
1 + 2 + + 2 = (1 + 2 ) + (3 + 4 ) + (21 + 2 )
2(1 2 + 3 4 + + 21 2 )

2 1 2 3 4 21 2

2 21 2 2

A continuacin analizaremos algunos ejercicios de olimpiadas donde se puede

utilizar esta desigualdad.
1. (Brasil, 2001) Prueba que ( + )( + ) 2( + + ), , ,

+
Solucin:
Vamos a transformar ( + )( + ) = 2 + + + = ( + + ) +
Aplicando la desigualdad entre la media aritmtica y la media geomtrica se
tiene:
( + + ) + 2( + + )
2. (Balcanes, 2002) Sean a, b, c reales positivos, prueba que:

2
 2 2 2 27
+ +
( + ) ( + ) ( + ) ( + + )2
Solucin: aplicando la desigualdad entre la media aritmtica y la media
geomtrica
2 2 2 23
+ + 3
( + ) ( + ) ( + ) 3( + )( + )( + )

Apliquemos dos veces ms la desigualdad media aritmtica media

geomtrica
3 ++ 3 2(++)
; ( + )( + )( + ) ; entonces
3 3
23 27

3 3
( + )( + )( + ) ( + + )2

3 3 3
3. (Canad, 2002) Prueba que , , + , se cumple que + +

+ + . Cundo ocurre la igualdad?

Solucin: teniendo en cuenta que > 0 podemos multiplicar la desigualdad
por con lo cual transformamos lo que queremos demostrar en: 4 + 4 +
4 ( + + )
4 +4 4 + 4 4 +4
Transformando el miembro izquierdo, 4 + 4 + 4 = + +
2 2 2

Si aplicamos media aritmtica media geomtrica a cada sumando tenemos:

4 + 4 4 + 4 4 + 4
+ + 2 2 + 2 2 + 2 2
2 2 2
2 ( 2 + 2 ) 2 ( 2 + 2 ) 2 (2 + 2 )
= + +
2 2 2
Aplicando nuevamente la desigualdad media aritmtica media geomtrica
tenemos que:
2 ( 2 + 2 ) 2 ( 2 + 2 ) 2 (2 + 2 )
+ + 2 + 2 + 2 = ( + + )
2 2 2
La igualdad si y solo si a = b = c.
4. (Rusia, 2002) Prueba que + + + + , para , ,

+ : + + = 3
Solucin:
Esta desigualdad puede ser transformada de la siguiente forma:
2( + + ) 2( + + )

3
 2 + 2 + 2 + 2( + + ) 2 + 2 + 2 + 2( + + )
= ( + + )2 = 3( + + )
Entonces la demostracin de la desigualdad original se reduce a demostrar que
2 + 2 + 2 + 2( + + ) 3( + + )
Vamos a utilizar 3 veces la desigualdad entre las medias aritmtica y
geomtrica:
3 3
2 + + 3 3 = 3, de la misma forma 2 + + 3 3 = 3;
3
2 + + 3 3 = 3, sumando estas desigualdades se tiene la deseada.

5. (Grecia, 2010) Si , + : + = 3 y , , + : = 1, prueba
que ( + )( + )( + ) 27. Cundo ocurre la igualdad?
Solucin:
La desigualdad se puede transformar en
3 + 2 ( + + ) + 2 ( + + ) + 3 27
Por la desigualdad entre las medias aritmtica y geomtrica
3
+ + 3 3 = 3; + + 3()2 = 3, entonces:
3 + 2 ( + + ) + 2 ( + + ) + 3 3 + 32 + 3 2 + 3 , y
por tanto es suficiente demostrar que 3 + 32 + 3 2 + 3 27
( + )3 27, que se cumple por ser + = 3. La igualdad se verifica si y solo
si x = y = z = 1.
6. (Grecia, 2010) Resolver en reales positivos el siguiente sistema:
+++ =4
{ 1 1 1 1 1
+ + + = 5

Solucin:
Por la desigualdad entre las medias aritmtica y geomtrica se tiene que:
+++ 4
1= 1 (1)
4
La segunda ecuacin se transforma en + + + + 1 = 5
Usando la desigualdad entre las medias aritmtica y geomtrica se tiene:
5
5 = + + + + 1 5()3 ()5 ()3 ,
entonces 1 (2)
Con la igualdad para = = = = 1
Por (1) y (2), = 1, que es posible cuando = = = = 1
Por tanto la nica solucin (, , , ) = (1,1,1,1)
4
 7. (Inglaterra, 1996) Encuentra todos los nmeros reales positivos a, b, c, d
que satisface que:
+ + + = 12
{
= 27 + + + + + +
Solucin:
Usando la desigualdad MA-MG en la segunda ecuacin obtenemos:
27 + 6
Si transponemos los elementos del miembro derecho para el izquierdo,
obtenemos un polinomio cuadrtico en y factorizando tenemos:
( + 3)( 9) 0
Esto implica que
9, lo cual combinado con la primera ecuacin del sistema da:
4 +++
4

La desigualdad MA-MG implica que = = = = 3 es la nica solucin.

8. (China, 2006) Sea + : 2 y 1 , 2 , , (0,1). Determina el

mximo valor de la suma 6 (1 +1 ), donde +1= 1
=1
Solucin: Por la desigualdad entre las medias aritmtica y geomtrica:
46 2
6 1 1 1 1 1
(1 +1 ) = 26 (1 +1 ) 2 2 2 2 23 6 ( +1 + 3), luego
2 1 2 1
6 (1 +1 ) 23 ( +1 + 3) = 23 3 = 3
=1 =1 6 6 2
1
La igualdad se logra si y solo si 1 = 2 = = = 2, luego el mximo es 3 .
2

9. (Repblicas Checa y Eslovaca, 2012) Entre todos los nmeros reales

, , , que satisfacen que + = + = 4 y + = 5.
Encuentra aquellos para los cuales + + + es lo menor posible.
Solucin:
Tenemos que:
( + + + )2 = 2 + 2 + 2 + 2 + 2( + + + + + )
= 2 + 2 + 2 + 2 + 2(4 + 4 + 5) = 2 + 2 + 2 + 2 + 26 (1)
Ahora por la desigualdad MA-MG 2 + 2 2, 2 + 2 2 donde la
igualdad se verifica si y solo si = y = y de (1) tenemos:

5
( + + + )2 2 + 2 + 26 = 2 5 + 26 = 36, entonces entre todos los
nmeros reales que satisfacen las condiciones siempre tenemos:
+ + + 6, donde la igualdad se verifica si y solo si = y = , o
2 = 4, 2 + 2 = 5, entonces {, } = {1,2}. Entonces los nmeros buscados
, , , son las cudruplas (1,2,2,1), (2,1,1,2).
10. (Rumana, 2002) Sea , > 1, y , , : , funciones reales tal
que () + () + () 0, . Demuestra que la ecuacin
() + () + () = 3 tiene soluciones si y solo si las funciones
(), (), () tienen ceros comunes.
2 1
a) Resuelve la ecuacin 51+ + 2 + 22(1||) = 3
Solucin:
Por la desigualdad entre las medias aritmtica y geomtrica tenemos:
1 () 3 3 3
1= ( + () + () ) () () () = ()+()+() 0
3
=1
Entonces se cumple la igualdad en esta desigualdad: () = () = ()
() = () = () y como () + () + () = 0, porque tiene que cumplirse
la igualdad () = () = () = 0, entonces los valores de x tienen que ser
ceros comunes.
a) La ecuacin puede escribirse en la forma:
2 1
2(1+) log2 5 + 2 + 22(1||) = 3, por tanto considerando
() = (1 + ) log 2 5, () = 2 1, () = 2(1 ||), tenemos
() + () + () = (1 + ) log 2 5 + (|| 1)2 0, el resultado
anterior implica que la solucin est formada por las races comunes a las
tres funciones , , , que son = 1, = 1.

6
Bibliografa:
1. Al-Thukair, F. (2012). Saudi Arabia Mathematical Competitions 2012.
2. Andreescu, T. and Dospinescu, G. (s.f). Good for IMO. En formato digital.
3. Andreescu, T., Feng, Z. and Lee, G. (Eds.) (2001). Mathematical
Olympiads 20002001. Problems and Solutions From Around the World.
USA: The Mathematical Association of America.
4. Andreescu, T. and Gelca, R. (2009). Mathematical Olympiad Challenges.
Boston: Birkhuser.
5. Ba Can, V. and Pohoata, C. (2008). Old and New Inequalities. En formato
digital.
6. Bin, X. and Yee, L. (Eds.) (2007). Mathematical Olympiad in China.
Problems and Solutions. China: East China Normal University Press and
World Scientific Publishing.
7. Boju, V. and Funar, L. (2007). The Math Problems Notebook. Boston:
Birkhuser.
8. Bulajich, R., Gmez, J. and Valdez, R. (2009). Inequalities. A Mathematical
Olympiad Approach. Germany: Birkhuser.
9. Chau, L. and Khoi, L. (2010). Selected Problems of the Vietnamese
Mathematical Olympiad (1962-2009 ). Singapore: World Scientific
Publishing.
10. Dashdorj, T. et al. (2010). 46th Mongolian Mathematical Olympiad.
Ulaanbaatar: National University of Mongolia.
11. De Souza, P. and Silva, J. (1998). Berkeley Problems in Mathematics. En
formato digital.
12. Djuki, D., Jankovi, V., Mati, I. and Petrovi, N. (2011). The IMO
Compendium. New York: Springer.
13. Dorrie, H. (1965). 100 Great Problems of Elementary Mathematics. Their
History and Solution. New York: Dover Publications.
14. Feng, Z. and Sun, Y. (Eds.)(2013). USA and International Mathematical
Olympiads, 2012-2013.
15. Haggstrom, P. (2013). A one line proof of the Cauchy-Schwarz inequality.
En www.gotohaggstrom.com.
16. Hork, K. (Ed.) (2012).61st Czech and Slovak Mathematical Olympiad.
17. Joyce, D. (2012). Cauchy's Inequality. En formato digital.

7
18. Kedlaya, K. (1999). A < B (A is less than B). En formato digital.
19. Lee, H. (2011). Inequalities From Around the World 1995-2005. En formato
digital.
20. Lee, H., Lovering, T., and Pohoata, C. (2008). Infinity. En formato digital.
21. Lee, H. (2005). Topics in Inequalities. En formato digital.
22. Lee, H. (2005). Inequalities Through Problems. En formato digital.
23. Lee, H. (2005). Topics in Inequalities - Theorems and Techniques. En
formato digital.
24. Mildorf, T. (2005). Olympiad Inequalities. En formato digital.
25. Muniz Neto, A. (1999). Desigualdades Elementares. En revista Eureka.
Nmero 5.
26. Poonen, B. (s.f.). Inequalities. En formato digital.
27. Steele, M. (2004). The CauchySchwarz Master Class. An Introduction to
the Art of Mathematical Inequalities. New York: Cambridge University
Press.
28. Ta-Tsien, L. (Ed.). (1998). Problems and Solutions in Mathemtics. USA:
World Scientific Publishing.