Ejercicio 1

Mostrar que si ak  1, k  1,..., n, son todos positivos o negativos entonces:

 a1  1 a2  1 ...  an  1  1  a1  a2  ...  an
Demostracion.-
Usaremos induccion para la demostracion. Para n  1, se verifica
pues:
1  a1  1  a1
Para un n arbitrario, asumamoslo como hipotesis, ahora demostraremos para n  1.
Como se verifica para n, entonces se verifica que:
 a1  1 a2  1 ...  an  1  1  a1  a2  ...  an 1
Ahora, usemos un numero real que verifique la primera hipotesis,
es decir, un numero, al que llamaremos an 1 , tal que an 1  1.
Notese tambien que an 1  1  0. Ahora podemos usar este numero para multiplicar 1 ,
y obtenemos:
 a1  1 a2  1 ...  an  1 an1  1  1  a1  a2  ...  an  an1  1  2 
Ahora notemos que:
1  a1  a2  ...  an  an1  1  1  a1  a2  ...  an  an1  (an1  a1  a2  ...  an )  3
Tambien vemos que:
1  a1  a2  ...  an  an 1  (an 1  a1  a2  ...  an )  1  a1  a2  ...  an  an 1 4
Esto se justifica:
Si a1 , a2 ,..., an , an 1 son todos positivos, entonces (an 1  a1  a2  ...  an ) es positivo.
Si a1 , a2 ,..., an , an 1 son todos negativos, entonces (an 1  a1  a2  ...  an ) es positivo.
Como 1  a1  a2  ...  an  an 1  (an 1  a1  a2  ...  an ) es suma de solamente numeros
positivos, el numero que es resultado de la suma total es mayor que alguno de los numeros
que son parte de la suma.
El uso de  y no el , se justifica pues an 1 puede ser 0.
Uniendo  2  ,  3 y  4  se obtiene:
 a1  1 a2  1 ...  an  1 an1  1  1  a1  a2  ...  an  an1

Auxiliar: Ivan Mamani… Materia: MAT-115

Ejercicio 2
Usando induccion, demostrar que si a1 , a2 ,..., an son numeros reales positivos tales que
a1  a2  ...  an  1, entonces se verifica que a1  a2  ...  an  n.
Demostracion.-
Para n  1, se verifica trivialmente. Ahora elijamos un n arbitrario y demostraremos la
proposicion para n  1.
Por hipotesis de induccion, asumimos que a1  a2  ...  an  n.
Para demostrar la proposicion para n  1, tomemos un conjunto de numeros tales que
a1  a2  ...  an  an 1  1, y, sin perdida de generalidad, podemos asumir que a1  a2  ...  an 1
Notemos que a1  1 y 1  an 1. Esto se justifica notando que si, por ejemplo, ab  1, se puede
concluir que b  a 1 y de ahí b  1 y 1  a. Esto quiere decir que, volviendo al ejercicio,
en el producto a1  a2  ...  an  an 1  1 existen numeros mayores o iguales que 1 junto a sus
inversos.
Hagamos lo siguiente: a2  a3  ...   an 1  a1   1. Solo asociamos unos dos factores, ahora:
a2  a3  ...   an 1  a1  tiene n factores, sin contar como dos, sino como uno el factor asociado.
Ahora apliquemos la hipotesis de induccion:
a2  ...   an 1  a1   n
Ahora pasemos a restar el factor asociado:
a2  ...  an  n   an 1  a1 
Ahora sumamos a ambos lados de la desigualdad dos numeros positivos:
a1  a2  ...  an  an 1  n   an 1  a1   a1  an 1 1
n   an 1  a1   a1  an 1  n  an 1 1  a1   a1  1  1  n  1  (an 1  1) 1  a1  2
Notemos que an 1  1 y 1  a1 son numeros positivos y su producto tambien lo es, y, como se
menciono en el anterior ejercicio, el numero que es el resultado de la suma de numeros
positivos es mayor que el numero que es resultado de una parte de la suma. El hecho de que
sea  y no  se justifica del hecho que an 1  1 o 1  a1 o ambos pueden ser cero.
Asi tenemos que:
n  1  (an 1  1) 1  a1   n  1  3
Asi, uniendo 1 ,  2  y  3 , obtenemos:
a1  a2  ...  an  an 1  n  1

Auxiliar: Ivan Mamani… Materia: MAT-115

Ejercicio 3
Sea An , Gn y H n , las medias aritmetica, geometrica y armonica, respectivamente, de n
numeros reales positivos a1 , a2 ,..., an , esto es:
a1  a2  ...  an n
An  ; Gn  n a1  a2  ...  an ; H n 
n 1 1 1
  ... 
a1 a2 an
Demostrar que An  Gn  H n .
Demostracion:
a1 an
Consideremos los numeros ,..., , todos bien definidos, pues
n a1  a2  ...  an n a  a  ...  a
1 2 n

cada numero ai es distinto de 0. Notemos que su producto es igual a 1. Asi podemos

aplicar el ejercicio 2, esto significa:
a1 an a  ...  an n
 ...  n  1  a1  a2  ...  an
n a1  a2  ...  an n a  a  ...  a
1 2 n
n
1 1
Para probar Gn  H n , consideremos los numeros ,..., , esto por que todos son
a1 an
distintos de 0.
Aplicando estos valores a la desigualdad An  Gn , esto significa:
1 1
 ... 
a1 an 1 1 1 n
 n   ...   n a1  a2  ...  an 
n a1 a2 an 1 1
 ... 
a1 an

Ejercicio: Demostrar la desigualdad de Bernoulli, esto significa:

 a  1  1  na con a  1
n

Pista: Aplicar el ejercicio 1.

Auxiliar: Ivan Mamani… Materia: MAT-115