AQUI VA LA PORTADA

25 de abril de 2016

Resumen
En matem
aticas y estadstica una media o promedio es una medida de tendencia central
que resulta al efectuar una serie determinada de operaciones con un conjunto de n
umeros
y que, en determinadas condiciones, puede representar por s solo a todo el conjunto.
Existen distintos tipos de medias, tales como la media geometrica, la media ponderada y
la media arm
onica aunque en el lenguaje com
un, el termino se refiere generalmente a la
media aritmetica, la cu
al se utiliza con mayor frecuencia en procesos estadsticos.
De entrada, se aclara que en este documento se estudiaran tres tipos de media: la media
aritmetica, la media geometrica y la media armonica. As como tambien, las relaciones
que existen entre ellas.

1.

Meda Aritm
etica y Media Geom
etrica.

Existen numerosos ejemplos de medias, pero, una de las pocas propiedades compartidas
por todas las medias es que cualquier media esta comprendida entre el valor maximo y el
valor mnimo del conjunto de variables:
min{x1 , x2 , ..., xn } x
max{x1 , x2 , ..., xn }
En los casos especficos de la media aritmetica y la media geometrica se tienen las
siguientes definiciones:
Media Aritm
etica:
Sea {x1 , x2 , ..., xn } un conjunto de valores numericos, la media aritmetica, denotada
por x
est
a dada por:
x
=

n
1X
xi
n i=1

Media Geom
etrica:
Sea {x1 , x2 , ..., xn } un conjunto de valores numericos, la media geometrica, denotada
por x
g est
a dada por:
n
Y

x
g =

!1

xi

i=1

De esta forma, si el conjunto de valores esta formado solamente por dos valores a y b,
se tiene:

a+b
2
=
ab

x
=
x
g

La idea que nos ocupa, a partir de aqu, es la de idea de demostrar que la media
aritmetica de dos n
umeros positivos es siempre mayor o igual que la media geometrica de
los mismos, es decir:

a+b
ab
2
Una forma sencilla de demostrarlo consiste en partir de dicha desigualdad y realizarle transformaciones correctas a la misma con el objetivo de llegar a una expresion que

sepamos con seguridad que es cierta. Despues, por tanto, podemos recorrer el desarrollo
obtenido en sentido inverso y tendramos demostrada la desigualdad. Veamoslo en este
caso:

a+b
2


a+b 2
ab
2
a2 + 2ab + b2
ab
4
4ab a2 + 2ab + b2
ab

0 a2 2ab + b2
0 (a b)2
Observe que en la u
ltima expresion tenemos que (a b)2 0, lo cual resulta evidentemente cierto, ya que toda expresi
on elevada al cuadrado sera mayor o igual que cero. Si
reescribimos el proceso de forma inversa, la desigualdad queda demostrada.
Pero hay m
as formas de demostrar que esta desigualdad es cierta. A continuacion se
presenta una demostraci
on visual de la misma, en la que m representa a la media aritmetica de dos valores x e y y g a la media geometrica de esos n
umeros:
En primer lugar, dibujamos una semicircunferencia cuyo diametro sea la suma de
nuestro dos n
umeros, x + y. Tomamos el punto de la circunferencia (en la imagen en rojo)
que esta verticalmente encima del punto de separacion entre los segmentos de longitudes
x (en negro) e y (en azul) y dibujamos el triangulo que tiene como vertices a este punto
y a los extremos del di
ametro de la circunferencia, como se muestra en la imagen de la
figura 1.

Figura 1: Demostracion Grafica

Como dicho tri

angulo est
a inscrito en la semicircunferencia y uno de sus lados es un
diametro de la misma sabemos que en realidad se trata de un triangulo rectangulo, (la
medida del
angulo es la mitad del arco de 180, es decir, nuestro angulo que abarca un

arco de 180 . Por tanto, tenemos que el angulo mide 90 y, en consecuencia, el triangulo
correspondiente es rect
angulo).
Dibujamos ahora el radio de la semicircunferencia que es perpendicular al diametro
ya dibujado (en verde) y el segmento que une el punto rojo con el que tenemos marcado
en el diametro (en rojo):

Figura 2: Demostracion Grafica

Al ser un radio de la semicircunferencia, tenemos que el segmento verde mide x+y

2 (la
mitad del di
ametro). Es decir, la longitud de ese segmento verde, que llamaremos m, es
exactamente la media aritmetica de x e y. Vamos a calcular ahora la longitud del segmento
rojo.
Si llamamos g a dicho segmento rojo y a y b a los catetos del triangulo rectangulo,
podemos considerar dicho tri
angulo dividido en otros dos triangulos rectangulos: el de
lados agx y el de lados bgy:

Figura 3: Demostracion Grafica

Ahora, utilizando el teorema de Pit

agoras en los tres triangulos obtenemos las siguientes igualdades:
a2 + b2

(x + y)2

x2 + g 2 = a2
y2 + g2

b2
(1)

Sustituyendo las dos u

ltimas en la primera y desarrollando el termino de la derecha
de esa primera igualdad obtenemos lo siguiente:
x2 + g 2 + y 2 + g 2 = x2 + y 2 + 2xy
Simplificamos los terminos que aparecen en ambos lados:
2g 2 = 2xy

Dividimos entre 2 y aplicamos raz cuadrada a ambos lados, obteniendo:

g = xy
o, lo que es lo mismo, la longitud del segmento rojo, g, es la media geometrica de x e y.
Y como es evidente que el segmento rojo siempre tendra menor o igual longitud que
el segmento verde tenemos demostrada la desigualdad comentada inicialmente:

xy

x+y
2

2. Meda Aritm
etica, Media Geom
etrica y Media
Arm
onica.
Se define la media arm
onica de un conjunto de valores de la siguiente forma:
Media Arm
onica:
Sea {x1 , x2 , ..., xn } un conjunto de valores numericos, la media arm
onica, denotada
por x
a est
a dada por:
x
a = n

n
X
1
i=1

!1

xi

Por ejemplo, para dos valores a y b se tiene que su media armonica esta dada por:
1 1 1
= 2
+
a b


a + b 1
= 2
ab
2ab
=
a+b


x
a

En esta secci
on, el objetivo es demostrar la siguiente desigualdad:
x
a x
g x

para lo cual se proceder

a de manera grafica.
En primer lugar, supongamos que tenemos tres puntos colineales P , Q y M , tales que
a = P M y b = QM . Observe la figura 4.

Figura 4: Construccion Grafica

Luego ubicamos el punto medio de P Q y le llamamos A. Luego trazamos una circunferencia de centro A y radio AP como se muestra en la figura 5.
Observe que el radio de la circunferencia es:
AP =

ab
2

Ahora trazamos un segmento de recta del centro de la circunferencia a un punto G de

la circunferencia, tal segmento de recta tendra como longitud el radio, es decir AG = ab
2 .
Observe la figura 6.

Figura 5: Construccion Grafica

Figura 6: Construccion Grafica

Luego trazamos un segmento de recta del punto G al punto M . Observe que por conveniencia el 4AGM es rect
angulo.
El lado AM de 4AGM se puede expresar como:
AM =

ab
a+b
+b=
2
2

De est
a manera por el teorema de Pitagoras se tiene:
(GM )2 = (AM )2 (AG)2




a+b 2
ab 2
2

(GM ) =
2
2
2
2
a + 2ab + b (a2 2ab + b2 )
(GM )2 =
4
4ab
(GM )2 =
4
GM =
ab
Puede observar este hecho en la figura 7.

Figura 7: Construccion Grafica

Luego trazamos una perpendicular del punto G al segmento de recta AQ, tal recta
corta al segmento en el punto H.
Observe en la figura 8, que GH representa la medida de la altura del 4AGM .
Se sabe que la altura de un triangulo rectangulo esta relacionada con sus catetos
mediante la f
ormula:
1
1
1
= 2+ 2
2
h
x
y
donde h es la altura, y x e y los catetos.
En nuestro caso la expresi
on quedara como:
1
1
1
=
+
2
2
(GH)
(AP )
(GM )2
Al desarrollar esta expresi
on se tiene:
1
(GH)2

1


ab
2

2 + 

1
2

ab

Figura 8: Construccion Grafica

1
(GH)2

1
(GH)2

(GH)2 =
(GH)2 =
(GH)2 =
GH =

1
4
2 + ab
(a b)
4ab + (a + b)2
ab(a b)2
ab(a b)2
4ab + (a + b)2
ab(a b)2
4ab + a2 2ab + b2
ab(a b)2
(a + b)2

ab(a b)
a+b

Ahora observe que con las medidas de GM y de GH ya se puede conocer la medida de

HM . Al ser 4HGM un tri
angulo rectangulo, se puede aplicar el teorema de Pitagoras y
se tiene:
(HM )2 = (GM )2 (GH)2
 2
ab(a b)2
(HM )2 =
ab
(a + b)2
ab(a b)2
(HM )2 = ab
(a + b)2
ab(a2 2ab + b2 )
(HM )2 = ab
(a + b)2
3
a b 2a2 b2 + ab3
(HM )2 = ab
(a + b)2
ab(a + b)2 (a3 b 2a2 b2 + ab3 )
(HM )2 =
(a + b)2
ab(a2 + 2ab + b2 ) (a3 b 2a2 b2 + ab3 )
(HM )2 =
(a + b)2
3
2
2
a b + 2a b + ab3 a3 b + 2a2 b2 ab3
(HM )2 =
(a + b)2
4a2 b2
(HM )2 =
(a + b)2

HM

2ab
a+b

Estas
construcciones se pueden observar en la figura 9.

Figura 9: Construccion Grafica

Por u
ltimo observe que en la figura 9 se cumplen las siguientes desigualdades:
HM GM AM
Lo que implica que:

2ab
a+b
ab
a+b
2

Esto en realidad demuestra que:

x
a x
g x

para dos n
umeros dados a y b con a > b > 0.
Con lo cu
al, las desigualdades para las diferentes medias quedan demostradas.