Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Korovkin Media Geométrica
Korovkin Media Geométrica
Desigualdades
Korovkin
(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)
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)
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
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 .
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 ,
(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 .
,
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 .
x2 + 1
Solucin. Tenemos
x2 + 2
x +1
2
x2 + 1
x +1
2
1
x +1
2
= x2 + 1 +
1
x +1
2
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
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
x
x1 x2
... n ,
g g
g
o sea,
x
x1 x2
. . . n =1
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
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
m3
m
. El signo de la igualdad tiene lugar slo si a = b = c = ,
27
3
o sea, si el paraleleppedo es un cubo.
tenemos V
n +1
n! <
n2
2
Solucin. Empleando el teorema 2, tenemos
(5)
1 + 2 + 3 + . . . + n (n + 1)n n + 1
=
=
n
2n
2
n! = n 1 2 3 . . . n <
Media potencial
Definicin. El nmero
a + a2 + . . . + an
c = 1
a + a2 + . . . + an
c2 =
1
2
a 1 + a2 1 + . . . + an 1
n
c1 = 1
= 1 1
1
1
n
+ + + ...+
a1 a2 a3
an
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
consideracin que
y tomando en
< 0 , obtenemos
1
a + a2 + . . . + an
g = n a1 a2 . . . an 1
= c
n
a + a2 + a3 + . . . + an
n
1
= c1 .
1 1
1
1
n
+ + + ...+
a1 a2 a3
an
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