- Desigualdad de las medias aritmética y geométrica
-
Desigualdad de las medias aritmética y geométrica
Contenido
Desigualdad de las medias aritmética y geométrica
En matemáticas, se conoce como desigualdad entre media aritmética y geométrica, o MA-MG, aquella desigualdad que establece que la media aritmética de un conjunto de números reales positivos es mayor o igual que la media geométrica del mismo conjunto, cumpliéndose únicamente la desigualdad cuando todos los elementos del conjunto sean iguales.
Media aritmética y media geométrica
La media aritmetica de un conjunto
, es igual a la suma dividida por el número total de elementos,
La media geométrica de un conjunto
, es igual a la raíz n-ésima del producto de todos ellos.![\sqrt[n]{x_1x_2 \cdots x_n}](/pictures/eswiki/51/3e7b18d9dc1bcde8c9342f6f54ad3b74.png)
La desigualdad
Sea
,![\frac{x_1+x_2\cdots+x_n}{n}\geq\sqrt[n]{x_1x_2 \cdots x_n}](/pictures/eswiki/57/98a13646757f4793bba24619f8751923.png)
Cumpliendose la igualdad si y sólo si

![\frac{x_1+x_2\cdots+x_n}{n}=\sqrt[n]{x_1 x_2 \cdots x_n}](/pictures/eswiki/98/be8a9413bdbefea3aded1e686311ea0f.png)
Demostración por inducción
Para demostrar la desigualdad MA-MG, se desarrollara por el metodo de inducción matemática, demostrando que la MA-MG es cierta para 2 elementos, luego generalizandolo para 2n elementos y demostrando que si cierta para n es cierta para n+1 elementos.
Sea
, un conjunto de n elementos ,Procedemos a considerar el primer paso en que n=2
![\frac{x_1 + x_2 }{2}\geq\sqrt[2]{x_1 x_2}](/pictures/eswiki/52/49905b564c2e2ef8e95bf6a1e6842899.png)





Quedando asi demostrado para n=2, luego se demuestra que si cierta para 2 es cierta para 2n elementos.
![\frac{x_1+x_2\cdots+x_{2n}}{2n}\geq\sqrt[2n]{x_1 x_2 \cdots x_{2n}}](/pictures/eswiki/99/c647c6e53798e5f66170723b675bd617.png)
![\frac{\frac{(x_1+x_2+\cdots+x_{n+1})}{n}+\frac{(x_{n+1}+x_{n+2}+\cdots+x_{2n})}{n}}{2}\ge \sqrt[2]{\frac{(x_1+x_2+\cdots+x_{n+1})}{n}\frac{(x_{n+1}+x_{n+2}+\cdots+x_{2n})}{n}}](/pictures/eswiki/54/6c2c5b91e0a554d1d70ae26141bfbd27.png)
Suiguiendo la hipótesis,
![\frac{x_1+x_2\cdots+x_n}{n}\geq\sqrt[n]{x_1 x_2 \cdots x_n}](/pictures/eswiki/57/98a13646757f4793bba24619f8751923.png)
Se sigue que,
![\frac{\frac{(x_1+x_2+\cdots+x_{n+1})}{n}+\frac{(x_{n+1}+x_{n+2}+\cdots+x_{2n})}{n}}{2}\ge \sqrt[2]{\sqrt[n]{(x_1x_2\cdots x_{n+1})} \sqrt[n]{(x_{n+1}x_{n+2}\cdots x_{2n})}}](/pictures/eswiki/48/0f6df5a29c021501c2fd29d56eda00c1.png)
Siendo esto igual a,
![\frac{x_1+x_2\cdots+x_{2n}}{2n}\geq\sqrt[2n]{x_1 x_2 \cdots x_{2n}}](/pictures/eswiki/99/c647c6e53798e5f66170723b675bd617.png)
Quedando asi demostrado que si es cierto para 2 elementos es cierto para 2n elementos.
Ahora procedemos a demostrar que si es cierta para n elementos es cierta para n-1 elementos,
Sea
y 
Se considera la desigualdad de todos los emlementos mencionados,
![\frac{x_1+x_2+\cdots x_{n-1} +\frac{x_1+x_2\cdots+x_{n-1}}{n-1}}{n}\geq\sqrt[n]{x_1x_2\cdots x_{n-1}\frac{x_1+x_2\cdots+x_{n-1}}{n-1}}](/pictures/eswiki/51/3b90a77b8bf640f35c8bea21ccbbbce0.png)
![\frac{(n-1)x_1+(n-1)x_2+\cdots +(n-1)x_{n-1} +x_1+x_2\cdots+x_{n-1}}{(n-1)n}\geq\sqrt[n]{x_1x_2\cdots x_{n-1}}\sqrt[n]{\frac{x_1+x_2\cdots+x_{n-1}}{n-1}}](/pictures/eswiki/55/751bca4def29686c86482ab3eca24ce3.png)
![\frac{nx_1+nx_2+\cdots +nx_{n-1}}{(n-1)n}\geq\sqrt[n]{x_1x_2\cdots x_{n-1}}\sqrt[n]{\frac{x_1+x_2\cdots+x_{n-1}}{n-1}}](/pictures/eswiki/56/81f2864383d73d58f46ab78483e91d7a.png)
![\frac{x_1+x_2+\cdots +x_{n-1}}{n-1}\geq\sqrt[n]{x_1x_2\cdots x_{n-1}}\sqrt[n]{\frac{x_1+x_2\cdots+x_{n-1}}{n-1}}](/pictures/eswiki/99/cd7ab2eb4f92375e572f2367ee859f7f.png)


Haciendo raíz n-1-ésima se sigue,

Quedando asi demostrado por el metodo inductivo, la veracidad de la desigualdad MA-MG.
Q.E.D.Véase también
- Media geometrica
Referencias
- Oleksandr, karlein.Rondero Guerrero, Carlos.Tarasenko, Anna. (2008). Desigualdades, métodos de calculo no tradicionales". Díaz de Santos. ISBN 978-84-7978-807-0
Categorías: Desigualdades | Medias
Wikimedia foundation. 2010.