Proyecto 1.

1
El proposito de este proyecto es demostrar que la sucesion
__
1 +
1
n
_
n
_

n=1
con-
verge. La estrategia es demostrar que la sucesion es creciente y acotada. El
limite es e, la base del logaritmo natural. Usaremos el teorema del binomio
para escribir
_
1 +
1
n
_
n
= 1 + 1 +
n(n 1)
2!
_
1
n
_
2
+ +
_
n
k
__
1
n
_
k
+ +
_
1
n
_
n
.
La demostracion consta de dos grandes partes. La primera es mostrar que la
sucesion es acotada (puntos 1, 2 y 3) y la segunda es mostrar que es creciente
(puntos 4 y 5). El sexto punto es la conclusion general.
1. Veamos que para todo k Z
+
, si k 2 entonces
_
n
k
__
1
n
_
k

1
k!

1
2
k1
.
Demostracion:
a)La parte izquierda de la desigualdad se cumple porque
_
n
k
__
1
n
_
k
=
n!
k!n k)!
_
1
n
_
k
=
n(n 1)(n 2) (n k + 1)(n k)!
k!(n k)!
_
1
n
_
k
=
n(n 1)(n 2) (n k + 1)
k!
_
1
n
_
k
=
_
1
k!
_
_
n
n
_
_
n 1
n
__
n 2
n
_

_
n k + 1
n
_

1
k!
.
b)Para probar la parte derecha de la desigualdad, esto es que para todo
k 2 es cierto que
1
k!

1
2
k1
, utilizaremos el principio de induccion.
i Es evidente que cuando k = 2 se cumple porque
1
2!
=
1
2
=
1
2
1
=
1
2
21
.
ii Veamos que si el enunciado se cumple para alg un k entonces se cumple
tambien para k + 1. En efecto, si
1
k!

1
2
k1
, entonces
1
(k + 1)!
=
1
k + 1
1
k!

1
k + 1
1
2
k1

1
2
1
2
k1
=
1
2
k
.
1
2. Ahora mostraremos que 1 +
1
2
+
1
4
+ +
1
2
n1
2 para todo n Z
+
.
Demostracion:
Primeramente, veamos que para todo n Z
+
es cierto que
1 +
1
2
+
1
4
+ +
1
2
n1
= 2
1
2
n1
.
Lo demostraremos por induccion:
i Para n=1 se cumple:
1 = 2 1 = 2
1
2
0
= 2
1
2
11
.
ii Veamos que si el enunciado se cumple para alg un n entonces se
cumple tambien para n + 1. En efecto, si 1 +
1
2
+
1
4
+ +
1
2
n1
=
2
1
2
n1
, entonces
1 +
1
2
+
1
4
+ +
1
2
n1
+
1
2
n
= 2
1
2
n1
+
1
2
n
= 2
1
2
n1
_
1
1
2
_
= 2
1
2
n
.
Ahora bien, como
1
2
n1
0 para todo n Z
+
, entonces es claro que
1 +
1
2
+
1
4
+ +
1
2
n1
= 2
1
2
n1
2.
3. Veamos que la sucesion
__
1 +
1
n
_
n
_

n=1
es acotada.
Demostracion:
Utilizando lo probado en los puntos anteriores, podemos concluir que
_
1 +
1
n
_
n
=
_
n
o
__
1
n
_
0
+
_
n
1
__
1
n
_
1
+ +
_
n
n
__
1
n
_
n

_
n
o
__
1
n
_
0
+
_
n
1
__
1
n
_
1
+
1
2
21
+
1
2
31
+ +
1
2
n1
= 1 + 1 +
1
2
+
1
4
+ +
1
2n 1
1 + 2
1
2
n1
= 3
1
2
n1
< 3.
Por lo tanto 3 es una cota superior para la sucesion; como 0 es cota inferior
porque todos los terminos son positivos, entonces la sucesion esta acotada.
2
4. Veamos que para todo k 2,
_
n+1
k
_
(
1
n+1
)
k

_
n
k
_ _
1
n
_
k
.
Demostracion:
Procedemos por induccion:
i Demostramos para k=2:
_
n + 1
2
__
1
n + 1
_
2
=
(n + 1)(n)
2!
1
(n + 1)
2
=
n
2(n + 1)
=
1
2

1
2(n + 1)

1
2

1
2(n)
n 1
2n
=
n(n 1)
2
1
n
2
=
_
n
2
__
1
n
_
2
.
ii Veamos que si se cumple para alg un k entonces se cumple tambien
para k + 1. En efecto, si
_
n+1
k
_
(
1
n+1
)
k

_
n
k
_ _
1
n
_
k
, entonces
_
n + 1
k + 1
__
1
n + 1
_
k+1
=
(n + 1)!
(k + 1)!(n k)!
_
1
n + 1
_
k
1
n + 1
=
(n + 1)!
k!(n k + 1)!
_
1
n + 1
_
k
n k + 1
(n + 1)(k + 1)
=
_
n + 1
k
__
1
n + 1
_
k
n k + 1
(n + 1)(k + 1)

_
n
k
__
1
n
_
k
n k + 1
(n + 1)(k + 1)
=
n!
k!(n k)(n k 1)!
_
1
n
_
k
n k + 1
(n + 1)(k + 1)
=
n!
(k + 1)!(n (k + 1))!
_
1
n
_
k
n k + 1
(n + 1)(n k)
=
_
n
k + 1
__
1
n
_
k
n k + 1
n
2
nk + n k

_
n
k + 1
__
1
n
_
k
n k + 1
n
2
nk + n
=
_
n
k + 1
__
1
n
_
k+1
n k + 1
n k + 1
=
_
n
k + 1
__
1
n
_
k+1
.
3
5. Con ayuda del punto anterior, veamos que la sucesion es creciente, es decir
que para todo a
n
de la sucesion se tiene que si m n entonces a
m
a
n
,
o lo que es equivalente, que para todo n Z
+
, a
n
a
n+1
.
Pues bien, para todo n Z
+
tenemos que
a
n+1
=
_
1 +
1
n + 1
_
n+1
=
_
n + 1
0
__
1
n + 1
_
0
+
_
n + 1
1
__
1
n + 1
_
1
+
_
n + 1
2
__
1
n + 1
_
2
+ +
_
n + 1
n
__
1
n + 1
_
n
+
_
n + 1
n + 1
__
1
n + 1
_
n+1

_
n + 1
0
__
1
n + 1
_
0
+
_
n + 1
1
__
1
n + 1
_
1
+
_
n
2
__
1
n
_
2
+ +
_
n
n
__
1
n
_
n
+
_
n + 1
n + 1
__
1
n + 1
_
n+1
=1 + 1 +
_
n
2
__
1
n
_
2
+ +
_
n
n
__
1
n
_
n
+
_
n + 1
n + 1
__
1
n + 1
_
n+1
=
_
n
0
__
1
n
_
0
+
_
n
1
__
1
n
_
1
+
_
n
2
__
1
n
_
2
+ +
_
n
n
__
1
n
_
n
+
_
n + 1
n + 1
__
1
n + 1
_
n+1
=
_
1 +
1
n
_
n
+
_
n + 1
n + 1
__
1
n + 1
_
n+1

_
1 +
1
n
_
n
= a
n
.
6. Conclusion. La sucesi on
__
1 +
1
n
_
n
_

n=1
es creciente y acotada, luego converge a un n umero real. Dicho n umero es
llamado e.
4