Media aritmtica, media geomtrica y otras medias Desigualdades Korovkin

Media geomtrica y media aritmtica Si x1 , x2 , ... , xn son nmeros positivos, los nmeros x + x2 + . . . + xn a= 1 n n x x . . . x g= 1 2 n formados a base de ellos, se denominan, respectivamente, media aritmtica y media geomtrica de los nmeros x1 , x2 , . . . , xn . Para estos dos nmeros Augustin Cauchy, matemtico francs, demostr a principios del siglo XIX la desigualdad ga que se aplica frecuentemente en la solucin de problemas. Demostraremos esta desigualdad exponiendo previamente una proposicin auxiliar. Teorema 1. Si el producto de unos nmeros positivos x1 , x2 , . . . , xn es igual a 1 , la suma de los mismos no es menor que n : x1 x2 . . . xn = 1 x1 + x2 + . . . + xn n Demostracin. Emplearemos el mtodo de induccin matemtica1. Comprobaremos primero que el teorema es vlido para n = 2 , o sea, demostraremos que x1 x2 = 1 x1 + x2 2 Con este fin, consideraremos por separado dos casos: 1) x1 = x2 = 1 . En este caso tenemos x1 + x2 = 2 y el teorema queda demostrado. 2) 0 < x1 < x2 En este caso tenemos x1 < 1 y x2 > 1 , puesto que el producto es igual a 1. De la igualdad

(1 x1 )( x2 1) = x1 + x2 x1 x2 1 se deduce que
x1 + x2 = x1 x2 + 1 + (1 x1 )( x2 1)

(4)

La igualdad (4) ha sido establecida sin imponer condicin alguna a los nmeros x1 y x2 . Teniendo en cuenta ahora que x1 x2 = 1 , obtenemos
x1 + x2 = 2 + (1 x1 )( x2 1)
Una exposicin detallada del mtodo de induccin matemtica puede verse en el libro de I. S. Sominski Mtodo de la induccin Matemtica (Editorial MIR, 1975)
1

Finalmente, puesto que x1 < 1 < x2 , el ltimo nmero resulta positivo y por eso x1 + x2 > 2 . O sea, el teorema queda demostrado para n = 2 . Notemos que la igualdad
x1 + x2 = 2

se cumple slo si x1 = x2 . En cambio, para x1 x2 , se tiene

x1 + x2 > 2

Basndonos en el mtodo de induccin matemtica, supondremos ahora que el teorema es vlido para n = k , es decir, supondremos que la desigualdad
x1 + x2 + . . . + xk k

tiene lugar si x1 x2 ... xk = 1 , y demostraremos el teorema para n = k + 1 , o sea, demostraremos que

x1 + x2 + ... + xk + xk +1 k + 1

si x1 x2 xk xk +1 = 1 , donde x1 > 0 , x2 > 0 , x3 > 0 , . . . , xk > 0 , xk +1 > 0 Notemos ante todo que siendo
x1 x2 . . . xk xk +1 = 1 ,

se pueden presentar dos casos: 1) todos los factores x1 , x2 , . . . , xk , xk +1 son iguales, o sea:
x1 = x2 = . . . = xk = xk +1 2) no todos los factores son iguales.

En el primer caso todos los factores son iguales a la unidad y la suma de los mismos es igual a k + 1 , o sea,
x1 + x2 + . . . + xk + xk +1 = k + 1 .

En el segundo caso, entre todos los factores del producto x1 x2 . . . xk xk +1 , habr nmeros mayores y menores que uno (si todos los factores fueran menores que uno, el producto tambin sera menor que uno). Sea, por ejemplo, x1 < 1 y xk +1 > 1 . Tenemos ( x1 xk +1 ) x2 . . . xk = 1 Poniendo y = x1 xk +1 , obtenemos
y x2 x3 . . . xk = 1

Puesto que aqu el producto de k nmeros positivos es igual a la unidad, resulta (por hiptesis) que la suma de los mismos no es menor que k, o sea y1 + x2 + . . . + xk k Pero x1 + x2 + . . . + xk + xk +1 = ( y1 + x2 + . . . + xk ) + xk +1 y1 + x1
k + xk +1 y1 + x1 = (k + 1) + xk +1 y1 + x1 1 ,

Recordando que y = x1 xk +1 , obtenemos

x1 + x2 + . . . + xk + xk +1 (k + 1) + xk +1 x1 xk +1 + x1 1 =

(k + 1) + ( xk +1 1)(1 x1 ) Puesto que x1 < 1 y xk +1 > 1 ., tenemos ( xk +1 1)(1 x1 ) > 0 y, por consiguiente,
x1 + x2 + . . . + xk + xk +1 (k + 1) + ( xk +1 1)(1 x1 ) > k + 1 .

Con esto queda demostrado el teorema 1.

Problema 1. Demostrar que si x1 , x2 , . . . , xn son nmeros positivos, se tiene
x x x1 x2 + + . . . + n 1 + n n x2 x3 xn x1

con la particularidad de que el signo de igualdad tiene lugar slo si

x1 = x2 = x3 = . . . = xn . Solucin. Puesto que
x x x1 x2 . . . n 1 n = 1 x2 x3 xn x1

, la desigualdad se deduce del teorema 1. El signo de igualdad tiene lugar slo si

x x x1 x2 = = . . . = n 1 = n = 1 x2 x3 xn x1

o sea, slo si
x1 = x2 = x3 = . . . = xn .

Problema 2. Demostrar la desigualdad x2 + 2

x2 + 1 Solucin. Tenemos x2 + 2 x +1
2

2 1 x +1
2

x2 + 1 x +1
2

1 x +1
2

= x2 + 1 +

Puesto que el producto de los sumandos del ltimo miembro es igual a la unidad, la suma de los mismos no es menor que dos. El signo de la igualdad tiene lugar slo para x = 0.
Problema 3. Demostrar que para a > 1 se tiene

log10 a + log a 10 2 Solucin. Puesto que log10 a.lg a 10 = 1 , tenemos

log10 a + log a 10 = log10 a +

Problema 4. Demostrar la desigualdad

1 2. log10 a

x2 1 4 2 1+ x Solucin. Dividamos entre x 2 numerador y denominador del primer miembro de la desigualdad:

1 x2 = 4 1 1+ x + x2 2 x Puesto que

1 2 1 x = 1 , tenemos 2 + x 2 2 , y, por consiguiente, 2 x x 1 1 . 1 2 + x2 2 x

Pasemos ahora a demostrar la afirmacin enunciada al principio del pargrafo.

Teorema 2. La media geomtrica de nmeros positivos no pasa de la media aritmtica de estos mismos nmeros. Si los nmeros x1 , x2 , . . . , xn no son todos iguales, la media geomtrica de es tos nmeros es menor que su media aritmtica.

Demostracin. De la igualdad g = n x1 x2 . . . xn se deduce que 1 = o sea, x x1 x2 . . . n =1 g g g

x x1 x2 ... n , g g g

. Debido a que el producto de estos n nmeros positivos es igual a 1 , resulta (por el teorema 1) que la suma de los mismos no es menor que n, es decir, x x1 x2 + + ... + n n g g g Multiplicando por g y dividiendo entre n ambos miembros de la ltima desigualdad, obtenemos
a= x1 + x2 + . . . + xn g. n

Notemos que la igualdad tiene lugar slo cuando x x1 x2 = = . . . = n = 1, g g g o sea, x1 = x2 = . . . = xn = g

. Por el contrario, si los nmeros x1 , x2 , . . . , xn no son todos iguales, se tiene

a>g
. Problema 5. Entre todos los paraleleppedos con la suma fija de sus tres aristas recprocamente perpendiculares, hallar el paraleleppedo de volumen mximo. Solucin. Sea m = a + b + c la suma de las aristas y sea V = abc el volumen del paraleleppedo. Puesto que
3

V = 3 abc

a+b+c m = 3 3

tenemos V

m3 m . El signo de la igualdad tiene lugar slo si a = b = c = , 27 3 o sea, si el paraleleppedo es un cubo.

Problema 6. Demostrar la desigualdad

n +1 n! < n2 2 Solucin. Empleando el teorema 2, tenemos

(5)

n! = n 1 2 3 . . . n <

1 + 2 + 3 + . . . + n (n + 1)n n + 1 = = n 2n 2

Elevando a la nsima potencia ambos miembros de la ltima desigualdad, obtendremos la desigualdad (5).

Media potencial

Definicin. El nmero a + a2 + . . . + an c = 1 n

1

se denomina media potencial de grado de los nmeros a1 , a2 , , an . En particular el nmero

a + a2 + . . . + an c2 = n se denomina media cuadrtica, y el nmero

2 1 2 2

1 2

a 1 + a2 1 + . . . + an 1 n c1 = 1 = 1 1 1 1 n + + + ...+ a1 a2 a3 an

se denomina media armnica de los nmeros a1 , a2 , . . . , an .

Problema 7. Demostrar que s a1 , a2 , . . . , an son nmeros positivos y si < 0 < , se tiene

c g c

(6)

o sea, que la media potencial de grado negativo no pasa de la media geomtrica y que la media potencial de grado positivo no es menor que la media geomtrica.
Solucin. Debido a que la media geomtrica de nmeros positivos no pasa de la media aritmtica, tenemos g = a1 a2 . . . an
n

a1 + a2 + . . . + an . n

Elevando ambos miembros de la ltima desigualdad a la potencia consideracin que 1

y tomando en

< 0 , obtenemos
1

a + a2 + . . . + an g = n a1 a2 . . . an 1 = c n

Con esto queda demostrada la primera de las desigualdades (6) ; la segunda se demuestra anlogamente. De la desigualdad (6) se deduce, en particular, que la media armnica c1 no pasa de la media aritmtica c1 .
1 1 1 1 n 2 (a1 + a2 + a3 + . . . + an ) + + + . . . + an a1 a2 a3

Problema 8. Demostrar que si a1 , a2 , , an son nmeros positivos, se tiene

1 1 1 1 (a1 + a2 + a3 + . . . + an ) + + + . . . + n 2 an a1 a2 a3

Solucin. Puesto que c1 g c1 , tenemos c1 = a + a2 + a3 + . . . + an n 1 = c1 . 1 1 1 1 n + + + ...+ a1 a2 a3 an

De esta desigualdad se deduce que

1 1 1 1 n 2 (a1 + a2 + a3 + . . . + an ) + + + . . . + an a1 a2 a3

Problema 9. Demostrar la desigualdad

n a1 a2 . . . an a1n + a2 n + . . . + an n donde a1 > 0 , a2 > 0 , . . . , an > 0 . Solucin. Puesto que la media geomtrica no pasa de la media aritmtica, tenemos

(7)

a1 .a2 . . . an = n a1n a2 n . . . an n

a1n + a2 n + . . . + an n n

Multiplicando por n ambos miembros de esta desigualdad, obtenemos la desigualdad (7). De la desigualdad (7) se deduce que 2a1 a2 a12 + a2 2 3a1 a2 a3 a13 + a23 + a33 4a1 a2 a3 a4 a14 + a2 4 + a34 + a4 4 o sea, el producto duplicado de dos nmeros positivos no pasa de la suma de sus cuadrados, el producto triplicado de tres nmeros no pasa de la suma de sus cubos, etc.