Está en la página 1de 51

UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE CIENCIAS
ESCUELA DE MATEM

ATICA
LABORATORIO DE FORMAS EN GRUPOS
Introduccion a las sucesiones
y series numericas
Ramon Bruzual
Marisela Domnguez
Caracas, Venezuela
Septiembre 2005
Ramon Bruzual
Correo-E: rbruzual@euler.ciens.ucv.ve
Marisela Domnguez
Correo-E: mdomin@euler.ciens.ucv.ve
Laboratorio de Formas en Grupos
Centro de Analisis
Escuela de Matematica
Facultad de Ciencias
Universidad Central de Venezuela
http://euler.ciens.ucv.ve/

labfg
Nota: Este material esta disponible en la pagina web
http://euler.ciens.ucv.ve/

labfg/guias.htm
En general mantenemos una replica en un servidor externo a la Universidad Central de
Venezuela, el vnculo se encuentra indicado en esa misma pagina web.
Prologo
Estas notas han sido concebidas para ser utilizadas en la parte de Sucesiones y Series
Numericas, del curso de Matematica III de la Facultad de Ciencias de la Universidad Cen-
tral de Venezuela. En este curso participan estudiantes de las Licenciaturas en Biologa,
Geoqumica, Qumica, Computacion, Fsica y Matematica.
El trabajo de mecanografa y la elaboracion de los gracos esta a cargo de los autores.
Agradecemos cualquier observaci on o comentario que deseen hacernos llegar.
Ramon Bruzual.
Marisela Domnguez.
Septiembre 2005.
iii
CONTENIDO
Captulo 1. Sucesiones numericas. 1
1. Deniciones y resultados basicos 1
2. Sucesiones convergentes. 4
3. El n umero e. 5
4. Sucesiones monotonas. 5
5. Operaciones con sucesiones 5
6. Repaso de la regla de LHopital. 6
7. Lmite innito 9
8. Sumas nitas y el smbolo sumatorio. 11
Ejercicios.
Sucesiones. 13
Captulo 2. Series numericas. 19
1. Series. 19
2. Convergencia y divergencia de series. 22
3. Criterios de convergencia para series de terminos positivos. 24
4. Criterios de convergencia para series de terminos alternadas. 30
5. Series telescopicas. 30
Ejercicios.
Series. 32
Captulo 3. Formula de Stirling y producto de Wallis. 37
1. La formula de Stirling. 37
2. El producto de Wallis. 38
Ejercicios.
Formula de Stirling y producto de Wallis. 41
Bibliografa 43

Indice 45
v
CAP

ITULO 1
Sucesiones numericas.
Este captulo es un repaso de cursos previos.
Concepto de sucesion y ejemplos. Lmite de una sucesion. Propiedades
del lmite. Calculo de lmites de sucesiones.
1. Deniciones y resultados basicos
La idea de sucesion en R es la de una lista de puntos de R.
Son ejemplos de sucesiones:
1, 1, 2, 3, 5, 8, 13, . . .
2, 4, 6, 8, 10, . . .
1, 4, 9, 25, 36, . . .
1, 1/2, 1/3, 1/4, . . .
1, 10, 100, 1.000, 10.000, . . .
1, 1, 1, 1, 1, . . .
Lo importante acerca de una sucesion es que a cada n umero natural n le corresponde un
punto de R, por esto damos la siguiente denicion.
Definici

on 1.1. Una sucesion es una funcion de N en R.


Si a : N R es una sucesion en vez de escribir a(1), a(2), a(3), . . . suele escribirse
a
1
, a
2
, a
3
, . . .
La misma sucesion suele designarse mediante un smbolo tal como {a
n
}, (a
n
) o {a
1
, a
2
, . . .}.
Tambien usaremos {a
n
}, (a
n
) o {a
1
, a
2
, . . .}.
Ejemplo 1.2. La sucesion de Fibonacci {a
n
} esta denida por
a
1
= a
2
= 1, a
n
= a
n1
+ a
n2
.
1
2 1. SUCESIONES NUM

ERICAS.
Esta sucesion fue descubierta por Fibonacci (1175-1250. aprox.) en relacion con un problema
de conejos. Fibonacci supuso que una pareja de conejos criaba una nueva pareja cada mes y
que despues de dos meses cada nueva pareja se comportaba del mismo modo. El n umero a
n
de parejas nacidas en el n-esimo mes es a
n1
+ a
n2
, puesto que nace una pareja por cada
pareja nacida en el mes anterior, y ademas cada pareja nacida hace dos meses produce ahora
una pareja nueva.
Una sucesion, al igual que toda funcion, tiene una representaci on graca.
Por ejemplo, sean

n
= n

n
= (1)
n

n
=
1
n
Las gracas de {
n
}, {
n
} y {
n
} son las siguientes:
1 2 3 4 5
1
2
3
4
5
Figura 1.1. {
n
}
1. DEFINICIONES Y RESULTADOS B

ASICOS 3
1 2 3 4 5
1
-1
Figura 1.2. {
n
}
1 2 3 4 5
1
Figura 1.3. {
n
}
Sin embargo se obtiene una mejor representacion de una sucesion marcando los puntos
a
1
, a
2
, a
3
, . . . sobre una recta:
1
1
1
2
2
2
3
3
3
4
4
0
0
0




= = ...
= = ...
Figura 1.4.
Este tipo de diagramas nos indican hacia donde va la sucesion.
Definici

on 1.3. Una sucesion {a


n
} es acotada si {a
1
, a
2
, . . .} es un conjunto acotado.
Es decir, si existe K R tal que |a
n
| K para todo n N.
Definici

on 1.4. Una sucesion {a


n
} es acotada superiormente si existe M R tal que
a
n
M.
4 1. SUCESIONES NUM

ERICAS.
Ejemplo 1.5. Sea a
n
= 1/n. Entonces la sucesion {a
n
} es acotada superiormente por
M = 1.
Definici

on 1.6. Una sucesion {a


n
} es acotada inferiormente si existe m R tal que
a
n
m.
Ejemplo 1.7. Sea a
n
= n. Entonces la sucesion {a
n
} es acotada inferiormente por
m = 1.
Proposici

on 1.8. Sea {a
n
} una sucesion, {a
n
} es acotada si y solo si {a
n
} es acotada
superiormente y {a
n
} es acotada inferiormente.
2. Sucesiones convergentes.
En lo que sigue {a
n
} denotara una sucesion de n umeros reales.
Definici

on 1.9. lim
n
a
n
= L si:
para cada > 0 existe N N tal que si n N entonces |a
n
L| < .
En este caso se dice que la sucesion {a
n
} converge a L R, o lmite de {a
n
} es L.
Se dice que una sucesion {a
n
} es convergente si existe L R tal que {a
n
} converge a L;
se dice que es divergente (o que diverge) si no es convergente.
Ejemplo 1.10. Sea a
n
= 1/n entonces lim
n

a
n
= 0.
Ejemplo 1.11. Sea a
n
= n! entonces {a
n
} es divergente.
Teorema 1.12 (unicidad del lmite). Una sucesion convergente tiene uno y solo un
lmite.
Proposici

on 1.13. si {a
n
} es una sucesion que converge a cero y {b
n
} es una sucesion
acotada entonces la sucesion {a
n
b
n
} converge a cero.
Teorema 1.14. Si {a
n
}, {b
n
} y {c
n
} son sucesiones tales que a
n
b
n
c
n
para todo n
y
lim
n+
a
n
= lim
n+
c
n
= L.
Entonces
lim
n+
b
n
= L.
5. OPERACIONES CON SUCESIONES 5
3. El n umero e.
Se puede probar que la siguiente sucesion converge:
a
n
=
_
1 +
1
n
_
n
.
Su lmite es unico y es conocido como el n umero e:
lim
n+
_
1 +
1
n
_
n
= e.
Tambien se puede probar:
(a) 2 < e < 3
(b) el n umero e es irracional.
4. Sucesiones monotonas.
Definici

on 1.15. Una sucesion {a


n
} es monotona creciente si a
n
a
n+1
para todo
n N.
Ejemplo 1.16. Sea a
n
= n. Entonces la sucesion {a
n
} es monotona creciente.
Definici

on 1.17. Una sucesion {a


n
} es monotona decreciente si a
n+1
a
n
para todo
n N.
Ejemplo 1.18. Sea a
n
= 1/n. Entonces la sucesion {a
n
} es monotona decreciente.
Teorema 1.19.
(i) Toda sucesion monotona creciente y acotada superiormente es convergente.
(ii) Toda sucesion monotona decreciente y acotada inferiormente es convergente.
5. Operaciones con sucesiones
Teorema 1.20. Sean {x
n
}, {y
n
} sucesiones convergentes.
Sean x = lim
n+
x
n
, y = lim
n+
y
n
. Entonces:
lim
n+
x
n
+ y
n
= x + y.
Demostraci

on. Dado > 0 existen N


1
, N
2
N tales que
(a) si n N
1
entonces |x
n
x| < /2.
(b) si n N
2
entonces |y
n
y| < /2.
6 1. SUCESIONES NUM

ERICAS.
Sea N = max{N
1
, N
2
}. Si n N entonces
|(x
n
+ y
n
) (x + y)| = |(x
n
x) + (y
n
) y)|
|x
n
x| +|y
n
y|
< /2 + /2 = .
De donde
lim
n+
x
n
+ y
n
= x + y.

Teorema 1.21. Sean {x


n
}, {y
n
} sucesiones convergentes.
Sean x = lim
n+
x
n
, y = lim
n+
y
n
. Entonces:
lim
n+
x
n
y
n
= x y.
Teorema 1.22. Sean {x
n
}, {y
n
} sucesiones convergentes.
Sean x = lim
n+
x
n
, y = lim
n+
y
n
. Si y
n
= 0 para todo n, y = 0, entonces
lim
n+
x
n
y
n
=
x
y
.
A los lectores interesados en el Analisis Matematico se les recomienda consultar en algunos
de los libros de la bibliografa las demostraciones de estos dos ultimos teoremas.
6. Repaso de la regla de LHopital.
La regla de LHopital permite calcular lmites indeterminados para funciones de variable
real.
Las principales indeterminaciones las agruparemos en tres grupos:
(a)
0
0
,

, 0.,
(b) , +,
(c) 0
0
, 1

,
0
.
6.1. Indeterminaciones de la forma
0
0
,

, 0..
Teorema 1.23 (Regla de LHopital). Sean f y g funciones diferenciables en un intervalo
de la forma (a r, a + r) a, r R, r > 0. Supongamos que
(a) lim
xa
f(x) = lim
xa
g(x) = 0
(b) g

(x) = 0 para todo x en (a r, a + r), x = a.


(c) lim
xa
f

(x)
g

(x)
= L.
6. REPASO DE LA REGLA DE LH

OPITAL. 7
Entonces
lim
xa
f(x)
g(x)
= L.
La demostracion del teorema anterior se puede ver en [5]. En este momento no estamos
en capacidad de dar la prueba, pero podemos dar una justicacion.
Como f y g son diferenciables en a, entonces f y g son continuas en a. Luego f(a) = 0
y g(a) = 0. Por lo tanto
f(x)
g(x)
=
f(x) f(a)
g(x) g(a)
=
f(x) f(a)
x a
g(x) g(a)
x a
.
Si x a entonces la expresion de la derecha tiende a
lim
xa
f

(x)
g

(x)
= L.
Luego
lim
xa
f(x)
g(x)
= L.
Ejemplo 1.24.
lim
x1
x
3
1
4x
3
x 3
= lim
x1
3x
2
12x
2
1
=
3
11
.
El primer lmite es de la forma
0
0
.
Observaci

on 1.25. La regla de LHopital tambien es valida cuando se consideran


(a) lmites laterales (x a
+
o x a

),
(b) lmites innitos (x + o x ),
(c) lmites de la forma

.
Observaci

on 1.26. El resultado anterior permite calcular lmites de la forma 0., to-


mando en cuenta que si lim
xa
h(x) = entonces lim
xa
1
h(x)
= 0. En este caso la regla de
LHopital se aplica a g(x) =
1
h(x)
para obtener un lmite de la forma
0
0
. Tambien se puede
llevar a la forma

.
Ejemplo 1.27.
lim
x0
+
x ln x = lim
x0
+
ln x
1/x
= lim
x0
+
1/x
1/x
2
= lim
x0
+
(x) = 0.
El primer lmite es de la forma 0.(), el segundo lmite es de la forma

, el tercer
lmite se simplica algebraicamente dando origen al cuarto lmite que no es una indetermi-
nacion.
8 1. SUCESIONES NUM

ERICAS.
6.2. Indeterminaciones de la forma , +.
Estas indeterminaciones se resuelven haciendo operaciones algebraicas para llevarlo a
alguna de las formas consideradas antes, es decir,
0
0
,

, 0..
Ejemplo 1.28.
lim
x0
+
4x + 1
x

1
sen x
= lim
x0
+
(4x + 1) sen x x
x sen x
= lim
x0
+
4 sen x + (4x + 1)(cos x) 1
sen x + x cos x
= lim
x0
+
4 cos x + 4 cos x (4x + 1) sen x
cos x + cos x x sen x
=
4 + 4
2
= 4.
El primer lmite es de la forma , el segundo lmite es de la forma
0
0
, el tercer lmite
es de la forma
0
0
y el cuarto lmite ya no es una indeterminacion.
6.3. Indeterminaciones de la forma 0
0
, 1

,
0
.
Estos lmites se calculan usando la siguiente propiedad:
Proposici

on 1.29. Si lim
xa
f(x) existe, entonces
lim
xa
e
f(x)
= e
lim
xa
f(x)
.
Observaci

on 1.30. Esta Proposicion tambien es valida cuando se consideran


(a) lmites laterales (x a
+
o x a

),
(b) lmites innitos (x + o x ).
Ejemplo 1.31. Calcularemos
lim
x0
+
(sen x)
x
Este lmite es de la forma 0
0
.
Tenemos que
(sen x)
x
= e
ln((sen x)
x
)
= e
xln(senx)
.
Comenzaremos calculando
lim
x0
+
x ln(sen x).
que es un lmite de la forma 0.. Luego aplicaremos la exponencial.
7. L

IMITE INFINITO 9
lim
x0
+
x ln(sen x) = lim
x0
+
ln(sen x)
1/x
= lim
x0
+
cos x
senx
1
x
2
= lim
x0
+
x
2
cos x
sen x
= lim
x0
+
2x cos x + x
2
sen x
cos x
= 0.
El primer lmite es de la forma 0., el segundo lmite es de la forma

, el tercer lmite
se simplica algebraicamente dando origen al cuarto lmite que es de la forma
0
0
, el quinto
lmite no es una indeterminacion.
Ahora aplicamos la exponencial
lim
x0
+
(sen x)
x
= lim
x0
+
e
xln(sen x)
= e
lim
x0
+
xln(senx)
= e
0
= 1.
7. Lmite innito
Definici

on 1.32. Sea {a
n
} una sucesion.
Diremos que lim
n+
a
n
= + si para cada R existe N N tal que si n N
entonces a
n
.
Diremos que lim
n+
a
n
= si para cada R existe N N tal que si n N
entonces a
n
.
Es importante notar que las sucesiones que tienen lmite innito no son convergentes.
Proposici

on 1.33. Si {a
n
} es una sucesion convergente y {b
n
} es una sucesion tal que
b
n
= 0 para todo n y lim
n+
b
n
= +. Entonces lim
n+
a
n
b
n
= 0.
7.1. Calculo de lmite de sucesiones usando la regla de LHopital.
Para calcular el lmite de una sucesion usando la regla de LHopital se deben usar una
funciones auxiliares de variable real.
Por ejemplo, si la sucesion esta dada por a
n
= n
2
la funcion auxiliar f puede ser
f(x) = x
2
. Otro ejemplo: si la sucesion esta dada por a
n
= ln n la funcion auxiliar f
puede ser f(x) = ln x. Estas funciones auxiliares son sencillas y en estos casos se calcula el
lmite cuando x +.
Ejemplo 1.34. Consideremos
lim
n+
1
n
ln
_
1
n
_
.
Este es un lmite de sucesiones, de la forma 0.().
10 1. SUCESIONES NUM

ERICAS.
Para hallarlo, en lugar de n colocamos x y calculamos el siguiente lmite:
lim
x+
ln
_
1
x
_
x
= lim
x+
1
1/x
_
1
x
2
_
1
= lim
x+
x
x
2
= lim
x+
1
x
= 0.
Luego
lim
n+
1
n
ln
_
1
n
_
= 0.
A veces no conviene usar estas funciones auxiliares sencillas. Puede ser mas conveniente
considerar como funciones auxiliares algo aparentemente un poco mas complicado. Por
ejemplo, si la sucesion esta dada por a
n
= n
2
la funcion auxiliar f puede ser f(x) = (1/x)
2
.
Otro ejemplo: si la sucesion esta dada por a
n
= sen(1/n) la funcion auxiliar f puede ser
f(x) = sen x. En estos casos se calcula el lmite cuando x 0+.
Ejemplo 1.35. Consideremos
lim
n+
n
1
sen(1/n)
.
Este es un lmite de sucesiones, de la forma .
Para hallarlo, podramos calcular el siguiente lmite auxiliar.
lim
x+
x
1
sen(1/x)
.
En lugar de n hemos colocado x. Este es un lmite de funciones, de la forma . Usted
podra tratar de calcularlo. Hemos hecho una cambio sencillo, pero el lmite que se debe
calcular no es sencillo.
Sin embargo si hacemos un cambio un poco mas complicado el lmite que tendremos que
calcular es mas sencillo. En efecto, en lugar de n colocamos 1/x y obtenemos
lim
x0+
1
x

1
sen x
.
Este tambien es un lmite de funciones, de la forma . A continuacion lo calcularemos.
lim
x0+
1
x

1
sen x
= lim
x0+
sen x x
x sen x
= lim
x0+
cos x 1
sen x + x cos x
= lim
x0+
sen x
cos x + cos x x sen x
=
0
2
= 0.
Por lo tanto
lim
n+
n
1
sen(1/n)
= 0.
8. SUMAS FINITAS Y EL S

IMBOLO SUMATORIO. 11
8. Sumas nitas y el smbolo sumatorio.
Cuando queremos referirnos a una suma con n sumandos, en la que tenemos una formula
para cada sumando a
k
usamos la siguiente expresion
a
1
+ + a
n
que tambien se escribe de la siguiente manera:
n

k=1
a
k
Es decir,
n

k=1
a
k
= a
1
+ + a
n
.
Ejemplo 1.36.
(1) Sumar el n umero 1, n veces:
n

k=1
1 = n.
(2) La suma de los n primeros n umeros naturales es:
n

k=1
k = 1 + + n.
(3) La suma de los cuadrados de los n primeros n umeros naturales es:
n

k=1
k
2
= 1 + 2
2
+ + n
2
.
Se puede probar que
n

k=1
k =
n(n + 1)
2
. (1.1)
n

k=1
k
2
=
n
3
3
+
n
2
2
+
n
6
. (1.2)
Ejercicio Adicional: Usando el metodo de induccion completa demuestre las formulas 1.1
y 1.2.
12 1. SUCESIONES NUM

ERICAS.
Una propiedad importante de las sumas nitas es la llamada propiedad telescopica que
arma que:
n

k=1
(b
k
b
k+1
) = b
1
b
n+1
.
Estas sumas son denominadas sumas telescopicas.
EJERCICIOS. SUCESIONES. 13
Ejercicios.
Sucesiones.
(1) Sugiera el termino general de cada una de las siguientes sucesiones:
(a) 2, 4, 6, 8, 10, . . .
(b) 1,
1
4
,
1
9
,
1
16
, . . .
(c) 1, 8, 27, 64, . . .
(d)
1
2
,
2
3
,
3
4
,
4
5
, . . .
(e) 0, 5, 0, 5, 0, 5, . . .
(f)
1
2
, 0,

3,
1
2
, 0,

3, . . .
(2) Se deja caer una pelota desde una altura inicial de 15 pies sobre la losa de concreto.
Cada vez que rebota alcanza una altura equivalente a 2/3 de la altura anterior.
Determine la altura que alcanza en el tercer rebote y en el n-esimo rebote.
(3) Un objeto se deja caer desde una gran altura, de tal manera que recorre 16 pies
durante el primer segundo, 48 pies durante el segundo, 80 pies durante el tercero y
as sucesivamente. Cuanto recorre el objeto durante el sexto segundo?
(4) Sea {a
n
} una sucesion (innita) con termino general a
n
. Estudie la sucesion: Diga
si es acotada superiormente, acotada inferiormente, acotada, no acotada, monotona
creciente, monotona decreciente, no monotona. Dibuje el graco de la sucesion.
Determine si converge o diverge, y en caso de que converja halle su lmite.
(a) a
n
=
1
n
2
(b) a
n
=
1
n
+
n + 1
n
2
(c) a
n
=
(1)
n
n
(d) a
n
= sen(n)
(e) a
n
= sen
_

2
+ n
_
(f) a
n
= cos
_

2
+ n
_
(g) a
n
= cos(n)
(h) a
n
= 1 + (1)
n
(i) a
n
=
n
2
1
n 1
(j) a
n
=
n + 1
n 1
(k) a
n
=
_
n + 1
n 1
_
7
(l) a
n
= n
4
(m) a
n
= (1/n)
3
14 1. SUCESIONES NUM

ERICAS.
(n) a
n
= 8
1/n
(o) a
n
= (1/2)
n
(p) a
n
= 6
n
(5) La sucesion de Fibonacci:
(a) Suponga que la vida de los conejos es eterna y que cada mes una pareja procrea
una nueva pareja, que es fertil al mes. Si comenzamos con una pareja de
recien nacidos y a
n
representa el n umero de parejas nacidas en el n-esimo mes
demuestre que
a
1
= a
2
= 1, a
n
= a
n1
+ a
n2
si n 3
(la igualdad de la derecha es una formula recurrente).
(b) Verique que el termino general de la sucesion de Fibonacci es
a
n
=
1

5
_
1 +

5
2
_
n

5
_
1

5
2
_
n
demostrando que esta expresion satisface la formula recurrente dada en (a).
(6) Sean c, r constantes reales. Considere la sucesion {a
n
} denida por a
n
= cr
n1
. Se
dene la sucesion {S
n
} por
S
n
= a
1
+ + a
n
.
Probar que
(a) S
n
=
c cr
n
1 r
(b) {S
n
} converge si y solo si |r| < 1.
(c) Si |r| < 1 entonces
lim
n+
S
n
=
c
1 r
.
(7) Dar ejemplos de sucesiones {a
n
} y {b
n
} tales que
lim
n+
a
n
= lim
n+
b
n
= 0,
pero
(a) lim
n+
a
n
b
n
= 0
(b) lim
n+
a
n
b
n
= +
(c) lim
n+
a
n
b
n
=
(d) lim
n+
a
n
b
n
no existe.
EJERCICIOS. SUCESIONES. 15
(8) EL proposito de este ejercicio es recordar la formula para la derivada de un cociente,
que no debe confundirse con el cociente de derivadas.
Hallar la derivada de cada una de las siguientes funciones, en los puntos en los
que son derivables:
(a) f(x) =
tan x
ln x
(b) f(x) =
a
x
csc x
(c) f(x) =
arctan x
x 1
(d) f(x) =
sec x

x
(9) Calcular los siguientes lmites de funciones:
(a) lim
x0
+
_
1
sen x

1
x
_
(b) lim
x0
+
1
x
_
1
sen x

1
x
_
(c) lim
x0
+
(sen x)
sen x
(d) lim
x+
x
(
1
ln x
)
(e) lim
x1
+
x
1
x1
(f) lim
x0
+
(sen(3x))
sen(5x)
(10) Sea {a
n
} una sucesion (innita) con termino general a
n
. Para cada uno de los
siguientes casos determine si {a
n
} converge o diverge, y en caso de que converja
halle su lmite.
(a) a
n
=
4n 3
3n + 4
(b) a
n
=

n
(c) a
n
=
n
2
1
n
2
+ 1
(d) a
n
=
n
2
n + 1
(e) a
n
=
3 + (1)
n
n
2
(f) a
n
= n
(
1
ln n
)
(g) a
n
= (1/n)
1/n
(h) a
n
=
(1)
n
n
2
1 + n
3
(i) a
n
=
4n
3
+ 3n
2
+ 1
5n
3
+ 3
(j) a
n
= n2
n
16 1. SUCESIONES NUM

ERICAS.
(k) a
n
= n
2
_
1 cos
1
n
_
(l) a
n
= 1 + (1)
n
(m) a
n
=
sen n
n
(n) a
n
=
sen n
2
n
(o) a
n
=
e
n
e
n
e
n
+ e
n
(p) a
n
=

n + 8

n
(q) a
n
=
2
n
3
n
+ 1
(r) a
n
=
5 2
n
6 + 4
n
(s) a
n
=
ln(2 + e
n
)
3n
(t) a
n
= ln(n + 1) ln(n)
(u) a
n
=
_
1
4
n
_
n
(v) a
n
= 5 +
5
n
3
n
(w) a
n
= 10
(n+1)/n
(x) a
n
= n
2/(n+1)
(y) a
n
=

n(

n + 1

n)
(z) a
n
= nsen
_
1
n
_
(11) * Demostrar que:
(a) Si 0 < a < 2 entonces a <

2a < 2.
(b) La sucesion

2,
_
2

2,
_
2
_
2

2, . . . es convergente.
(c) Hallar el lmite de la sucesion anterior.
(12) * Demostrar que si {a
n
} es una sucesion que converge a cero y {b
n
} es una sucesion
acotada entonces la sucesion {a
n
b
n
} converge a cero.
(13) * Sean {a
n
}, {b
n
} y {c
n
} sucesiones tales que a
n
b
n
c
n
para todo n y
lim
n+
a
n
= lim
n+
c
n
= L.
Demostrar que
lim
n+
b
n
= L.
EJERCICIOS. SUCESIONES. 17
(14) * Sean {a
n
} una sucesion convergente y {b
n
} una sucesion tal que b
n
= 0 para todo
n y lim
n+
b
n
= +. Demuestre que
lim
n+
a
n
b
n
= 0.
CAP

ITULO 2
Series numericas.
Denicion y ejemplos. Criterios de convergencia para series de terminos
positivos: comparacion, lmites, raz, razon, integral. Series alternadas:
criterio de Leibnitz.
Las expresiones indenidamente largas, tales como
x + x
2
+ x
3
. . .
(lo que los matematicos llaman series innitas) pueden ser tratadas por medio de las reglas
de la aritmetica, o son necesarias tecnicas especiales para poder abarcar su innidad?
Enfrentada con tales dicultades conceptuales, la mente de los matematicos del siglo
XVIII empezo a titubear. Lagrange se desespero tanto que abandono las matematicas
durante un perodo de varios a nos, y, en una carta a su amigo y colega Jean Baptiste
DAlembert, en 1.781, expreso la opinion de que las matematicas estaban ahondando dema-
siado, con peligro de ser destruidas. DAlembert, en cambio, no sosego a sus alumnos, sino
que les exhorto:
Seguid adelante y la fe vendr a a vosotros.
1. Series.
Las series permiten entender la idea de querer hacer sumas en las que hay una cantidad
innita de sumandos (tantos sumandos como n umeros naturales).
Para dar la idea de una serie debemos considerar dos tipos de n umeros reales:
(1) la expresion para cada sumando: a
n
(2) la expresion para la suma nita de los primeros n sumandos:
s
n
= a
1
+ + a
n
=
n

k=1
a
k
La siguiente terminologa es usual:
(1) A a
n
se le llama termino general de la serie.
(2) A s
n
se le llama la suma parcial de la serie.
19
20 2. SERIES NUM

ERICAS.
Por lo tanto una serie esta relacionada con dos sucesiones:
(1) la sucesion {a
n
} de los terminos generales de la serie.
(2) la sucesion {s
n
} de sumas parciales de la serie.
La siguiente notacion es usual: En vez de referirse a la serie como un par de sucesiones
es usual hablar de la serie como
+

n=1
a
n
.
Ejemplo 2.1. Para la serie
+

n=1
n
tenemos que
a
n
= n
s
n
= 1 + + n =
n

k=1
k =
n(n + 1)
2
.
Para obtener la ultima expresion hemos usado la ecuacion 1.1.
Una serie

+
n=1
a
n
es una serie de terminos positivos cuando a
n
> 0 para cada n.
Una serie

+
n=1
a
n
es una serie alternada cuando
a
n
= (1)
n
c
n
para alguna sucesion {c
n
} tal que c
n
> 0 para cada n.
Ejemplo 2.2. La serie armonica es:
+

n=1
1
n
.
Para esta serie
a
n
=
1
n
.
Entonces se trata de una serie de terminos positivos. Ademas
s
n
= 1 +
1
2
+ +
1
n
=
n

k=1
1
k
.
1. SERIES. 21
Una cuenta interesante es la siguiente:
s
2n
s
n
=
_
1 +
1
2
+ +
1
n
+
1
n + 1
+ +
1
2n
_

_
1 +
1
2
+ +
1
n
_
=
1
n + 1
+ +
1
2n

1
2n
+ +
1
2n
= n
1
2n
=
1
2
.
En conclusion, para la serie armonica:
s
2n
s
n

1
2
.
Ejemplo 2.3. Para la serie
+

n=1
(1)
n
tenemos que
a
n
= (1)
n
.
Entonces se trata de una serie alternada. Ademas
s
n
=
n

k=1
(1)
k
= 1 + 1 1 + + (1)
n
=
_
1 si n es impar
0 si n es par
Ejemplo 2.4. La serie geometrica (de razon r) es:
+

n=0
r
n
.
Para esta serie
a
n
= r
n
.
Si r > 0 entonces se trata de una serie de terminos positivos. Si r < 0 entonces se trata de
una serie alternada. Ademas
s
n
= 1 + r + + r
n
=
n

k=0
r
k
.
Un hecho curioso es que para eta serie: Entonces
rs
n
= r + r
2
+ + r
n+1
.
Por lo tanto
(1 r)s
n
= s
n
rs
n
= (1 + r + + r
n
) (r + r
2
+ + r
n+1
)
= 1 r
n+1
22 2. SERIES NUM

ERICAS.
En conclusion, si r = 1 para la serie geometrica:
s
n
=
1 r
n+1
1 r
A veces se puede decir con exactitud cuanto da la suma nita (la suma

n
k=1
a
k
), pero
en general es muy difcil decir cuanto da la suma innita (la serie

+
n=1
a
n
).
Ejemplo 2.5. Para la serie
+

n=1
2 + cos(n
3
)
2
n
+ n
.
tenemos que
a
n
=
2 + cos(n
3
)
2
n
+ n
Esta serie es de terminos positivos. Ademas
s
n
=
n

k=1
2 + cos(k
3
)
2
k
+ k
2. Convergencia y divergencia de series.
Se dice que la serie

+
n=1
a
n
converge o es una serie convergente cuando la sucesion de
sumas parciales {s
n
} tiene lmite nito.
Se dice que la serie

+
n=1
a
n
diverge o es una serie divergente cuando la sucesion de sumas
parciales {s
n
} no converge (ya sea porque el lmite da +, da o no existe).
Sea s R, si la sucesion {s
n
} converge a s se suele escribir
+

n=1
a
n
= s.
En otras palabras, la expresion anterior quiere decir:
lim
n+
n

k=1
a
k
= lim
n+
s
n
= s.
En esto ultimo debe quedar claro que s no se obtiene simplemente por adicion, s es el
lmite de una sucesion de sumas.
2. CONVERGENCIA Y DIVERGENCIA DE SERIES. 23
Ejemplo 2.6. Para la serie
+

n=1
(1)
n
ya vimos que
s
n
=
_
1 si n es impar
0 si n es par
Como lim
n+
s
n
no existe tenemos que

+
n=1
(1)
n
diverge.
Ejemplo 2.7. La serie armonica es:
+

n=1
1
n
.
Anteriormente vimos que
1
2
s
2n
s
n
. (2.1)
Supongamos que existe un n umero real s tal que lim
n+
s
n
= s. Usando la ecuacion (2.1)
tenemos que
1
2
lim
n+
s
2n
lim
n+
s
n
.
Como lim
n+
s
2n
= s tenemos que
1
2
s s = 0.
Y esta es una contradicci on (porque 0 <
1
2
).
La contradicci on proviene de haber supuesto que existe un n umero real s tal que
lim
n+
s
n
= s.
Por el metodo de reduccion al absurdo concluimos que no existe un n umero real s tal
que lim
n+
s
n
= s.
Es decir, la serie armonica

+
n=1
1
n
diverge.
Criterio 2.8 (Criterio del termino general).
Dada

+
n=1
a
n
.
(i) Si lim
n+
a
n
= 0 entonces la serie

+
n=1
a
n
diverge.
(ii) Si lim
n+
a
n
= 0, no hay informacion (puede ser que la serie converja o puede ser
que la serie diverja).
Note que si lim
n+
a
n
= 0, este criterio no permite llegar a ninguna conclusion. En este
caso debe recurrir a otro criterio.
24 2. SERIES NUM

ERICAS.
Ejemplo 2.9. Consideremos la serie geometrica (de razon r):
+

n=0
r
n
.
Si |r| 1 entonces lim
n+
r
n
= 0. Por el criterio del termino general.

+
n=0
r
n
diverge si
|r| 1.
Por otro lado se probo que si r = 1 entonces
s
n
=
1 r
n+1
1 r
.
Sabemos que lim
n+
r
n
= 0 si |r| < 1. Luego
lim
n+
s
n
= lim
n+
1 r
n+1
1 r
=
1
1 r
.
En conclusion, si |r| < 1 entonces la serie

+
n=0
r
n
converge a
1
1r
, es decir,
+

n=0
r
n
=
1
1 r
.
Mas adelante estudiaremos que ocurre cuando |r| 1.
Este caso de la serie geometrica es uno de los pocos casos en los que se puede decir a que
valor converge la serie. En general no podemos decir cuanto vale.
Para saber si estamos trabajando con un n umero o no. Es conveniente dar varios criterios
de convergencia de series.
3. Criterios de convergencia para series de terminos positivos.
Vamos a estudiar las series de la forma

+
n=1
a
n
donde a
n
> 0. En estas condiciones
S
n
= a
1
+ + a
n
> 0.
Para indicar que una serie de terminos positivos es convergente se suele escribir
+

n=1
a
n
< +.
Esta notacion no se usa para otro tipo de series.
Criterio 2.10 (Criterio de acotacion).
Dada

+
n=1
a
n
con a
n
> 0. Si la sucesion de sumas parciales {S
n
} es acotada entonces

+
n=1
a
n
< + .
3. CRITERIOS DE CONVERGENCIA PARA SERIES DE T

ERMINOS POSITIVOS. 25
El criterio de acotacion es muy usado por los matematicos para demostrar teoremas.
Muchas de las demostraciones de los criterios siguientes se basan en este. Por otro lado, la
demostracion del criterio de acotacion requiere una comprension bien profunda del conjunto
de los n umeros reales, especialmente del axioma del supremo.
Criterio 2.11 (Criterio de comparacion).
Sean {a
n
} y {b
n
} sucesiones tales que 0 < a
n
b
n
para todo n.
(i) Si

+
n=1
b
n
converge entonces

+
n=1
a
n
tambien converge.
(ii) Si

+
n=1
a
n
diverge entonces

+
n=1
b
n
tambien diverge.
Ejemplo 2.12. Estudiar la convergencia de la siguiente serie
+

n=1
2 + cos(n
3
)
2
n
+ n
.
Sabemos que
0
2 + cos(n
3
)
2
n
+ n

3
2
n
= 3
_
1
2
_
n
.
Sean
a
n
=
2 + cos(n
3
)
2
n
+ n
.
b
n
= 3
_
1
2
_
n
entonces 0 a
n
b
n
.
Como
+

n=1
b
n
=
+

n=1
3
_
1
2
_
n
= 3
+

n=1
_
1
2
_
n
< +
porque la serie de la derecha es una geometrica de razon 1/2 < 1. Es decir, tenemos que la
serie

+
n=1
b
n
converge.
Por el criterio de comparacion, obtenemos

+
n=1
a
n
< +. Esto es,
+

n=1
2 + cos(n
3
)
2
n
+ n
< +.
Ejemplo 2.13. Estudiar la convergencia de la siguiente serie

n=1
1
n!
usando que
2
n1
n! para todo n 1.
26 2. SERIES NUM

ERICAS.
(Los estudiantes de la Licenciatura en Matematica deberan ser capaces de probar esta
desigualdad usando el metodo de induccion completa).
Se sigue que,
1
n!

1
2
n1
.
Sean
a
n
=
1
n!
, b
n
=
1
2
n1
.
Ademas
+

n=1
1
2
n1
=
+

k=0
1
2
k
=
+

k=0
_
1
2
_
k
< +,
porque la serie de la derecha es una geometrica de razon 1/2 < 1.
Por el criterio de comparacion

n=1
1
n!
< +.
Criterio 2.14 (Criterio del lmite).
Sean {a
n
}, {b
n
} dos sucesiones tales que 0 a
n
, 0 < b
n
y sea
= lim
n
a
n
b
n
.
(i) Si es nito y = 0, entonces

n=1
b
n
converge si y solo si

n=1
a
n
converge.
(ii) Si = y

n=1
b
n
diverge entonces

n=1
a
n
diverge .
(iii) En los otros casos no hay informacion.
Ejemplo 2.15. Estudiaremos
+

n=1
sen
_
1
n
_
.
Recuerde que
lim
x0
sen x
x
= 1.
Sean a
n
= sen
_
1
n
_
y b
n
=
1
n
. Usando el lmite anterior tenemos que
= lim
n
a
n
b
n
= lim
n
sen
_
1
n
_
1
n
= 1.
Como es nito y = 0 y
+

n=1
1
n
diverge, por el criterio del lmite tenemos que:
+

n=1
sen
_
1
n
_
diverge.
3. CRITERIOS DE CONVERGENCIA PARA SERIES DE T

ERMINOS POSITIVOS. 27
Criterio 2.16 (Criterio de la raz).
Sea {a
n
} una sucesion tal que a
n
> 0 y sea = lim
n+
n

a
n
. Entonces
(i) Si < 1, la serie

+
n=1
a
n
converge.
(ii) Si > 1, la serie

+
n=1
a
n
diverge.
(iii) Si = 1, no hay informacion (puede ser que la serie converja o puede ser que la
serie diverja).
Cuando se aplica un criterio y se llega al caso en que este no da informacion, se deja este
criterio de lado y se trabaja con otro criterio.
Ejemplo 2.17. Estudiaremos la serie
+

n=1
1
(ln n)
n
.
Tenemos
a
n
=
1
(ln n)
n
,
n

a
n
=
n

1
(ln n)
n
=
1
ln n
.
= lim
n+
n

a
n
= lim
n+
1
ln n
= 0 < 1.
Por el criterio de la raz
+

n=1
1
(ln n)
n
< +.
Criterio 2.18 (Criterio del cociente o de la razon).
Sea {a
n
} una sucesion tal que a
n
> 0 y sea = lim
n+
a
n+1
a
n
. Entonces
(i) Si < 1, la serie

+
n=1
a
n
converge.
(ii) Si > 1, la serie

+
n=1
a
n
diverge.
(iii) Si = 1, no hay informacion (puede ser que la serie converja o puede ser que la
serie diverja).
Ejemplo 2.19. Estudiaremos la serie
+

n=1
n!
n
n
.
Tenemos
a
n
=
n!
n
n
,
28 2. SERIES NUM

ERICAS.
a
n+1
=
(n + 1)!
(n + 1)
n+1
.
= lim
n+
a
n+1
a
n
= lim
n+
(n + 1)!
(n + 1)
n+1
n!
n
n
= lim
n+
(n + 1)! n
n
n! (n + 1)
n+1
= lim
n+
(n + 1)n! n
n
n! (n + 1) (n + 1)
n
= lim
n+
n
n
(n + 1)
n
= lim
n+
1
_
n+1
n
_
n
= lim
n+
1
_
1 +
1
n
_
n
=
1
lim
n+
_
1 +
1
n
_
n
=
1
e
< 1
(porque e > 1).
Por el criterio del cociente
+

n=1
n!
n
n
< +.
Para dar el proximo criterio de series usaremos integrales impropias de la forma
_
+
1
f(x) dx.
Se dice que la integral impropia
_
+
1
f(x) dx converge
cuando el lmite
lim
b+
_
b
1
f(x) dx existe y es nito.
Ejemplo 2.20. Estudiaremos la integral
_
+
1
1
x
dx.
Tenemos
_
+
1
1
x
dx = lim
b+
_
b
1
1
x
dx = lim
b+
[(ln x)]
b
1
= lim
b+
ln b = +.
Luego
_
+
1
1
x
dx diverge
3. CRITERIOS DE CONVERGENCIA PARA SERIES DE T

ERMINOS POSITIVOS. 29
Criterio 2.21 (Criterio de la integral).
Sea f una funcion positiva y estrictamente decreciente denida en [1, +) tal que
f(n) = a
n
para todo n natural.
La integral
_
+
1
f(x) dx converge
si y solo si la serie
+

n=1
a
n
converge.
Cuando queremos usar este criterio para estudiar una serie procedemos as a partir de
a
n
escogemos f, revisamos que f cumpla las condiciones dadas en el criterio. Calculamos la
integral y luego aplicamos lo siguiente:
(1) Si
_
+
1
f(x) dx converge entonces
+

n=1
a
n
converge.
(2) Si
_
+
1
f(x) dx diverge entonces
+

n=1
a
n
diverge.
Ejemplo 2.22. Estudiaremos la serie
+

n=1
1
n
2
.
Sea
f(x) =
1
x
2
.
Es claro que f es positiva. Por otro lado,
f

(x) = 2x
3
< 0
si x > 0 de donde f es estrictamente decreciente en [1, +).
Estudiaremos la integral
_
+
1
1
x
2
dx.
Tenemos
_
+
1
1
x
2
dx = lim
b+
_
b
1
1
x
2
dx = lim
b+
_
1
x
_
b
1
= lim
b+
1
1
b
= 1.
Luego
_
+
1
1
x
2
dx converge
30 2. SERIES NUM

ERICAS.
entonces la serie
+

n=1
1
n
2
< +.
4. Criterios de convergencia para series de terminos alternadas.
Criterio 2.23 (Criterio de Leibnitz).
Sea {c
n
} una sucesion tal que
(a) c
1
c
2
0.
(b) lim
n+
c
n
= 0.
Entonces la serie

+
n=1
(1)
n
c
n
converge.
Recuerde que como la serie no es de terminos positivos para decir que la serie converge
no se usa la notacion

+
n=1
a
n
< +..
Ejemplo 2.24. Estudiaremos la serie
+

n=1
(1)
n
1
n
.
En este caso el termino general es
a
n
= (1)
n
1
n
.
Sea
c
n
=
1
n
.
Entonces c
1
c
2
0.
lim
n+
c
n
= lim
n+
1
n
= 0.
Por el criterio de Leibnitz tenemos que
+

n=1
(1)
n
1
n
converge.
5. Series telescopicas.
Las series

+
n=1
a
n
tales que el termino general se puede representar como una diferencia
de la forma:
a
n
= b
n
b
n+1
se denominan series telescopicas y su comportamiento esta garantizado por el siguiente teo-
rema.
5. SERIES TELESC

OPICAS. 31
Teorema 2.25. Sean {a
n
} y {b
n
} dos sucesiones de n umeros reales tales que
a
n
= b
n
b
n+1
para n = 1, 2, . . . . Entonces la serie

+
n=1
a
n
converge si y solo si la sucesion {b
n
} converge,
en cuyo caso tenemos
+

n=1
a
n
= b
1
L,
donde L = lim
n+
b
n
.
Ejemplo 2.26. Queremos determinar si converge o no la serie
+

n=1
1
n
2
+ n
.
Sea
a
n
=
1
n
2
+ n
.
Se tiene que
a
n
=
1
n(n + 1)
=
1
n

1
n + 1
.
Tomando b
n
= 1/n tenemos que
a
n
= b
n
b
n+1
.
Ademas sabemos que b
1
= 1 y
lim
n+
b
n
= lim
n+
1/n = 0.
Aplicando el teorema anterior obtenemos
+

n=1
1
n
2
+ n
= 1.
32 2. SERIES NUM

ERICAS.
Ejercicios.
Series.
(1) Verique que las siguientes series son divergentes
(a)
1
2
+
2
3
+
3
4
+
4
5
+ . . .
(b)
+

n=1
3n
n + 1
(c)
+

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

n=1
n
2
n
2
+ 1
(e) 3
9
2
+
27
4

81
8
+ . . .
(f)
+

n=1
_
4
3
_
n
(g)
+

n=1
2
n
+ 1
2
n+1
(h)
+

n=1
n

n
2
+ 1
(2) Verique que las siguientes series son convergentes
(a) 2 +
3
2
+
9
8
+
27
32
+ . . .
(b)
+

n=1
(0.9)
n
(c) 2 1 +
1
2

1
4
+
1
8
. . .
(d)
+

n=1
(0.6)
n
(3) Pruebe que la serie
+

n=1
(1)
n1
diverge.
(4) Que esta mal en la siguiente demostracion de que la serie geometrica divergente
+

n=1
(1)
n+1
tiene por suma cero?
Demostracion:
+

n=1
(1)
n+1
= [1 + (1)] + [1 + (1)] + + [1 + (1)] + . . .
= 0 + 0 + + 0 + = 0
(5) Demuestre que
(a) La serie
+

n=1
1
n(n + 1)
converge y determine su suma.
(b) Se cumple la siguiente igualdad
+

n=1
1
(n + 2)(n + 3)
=
1
3
.
EJERCICIOS. SERIES. 33
Sugerencia: use la parte (a).
(6) Demuestre que la serie
+

n=1
7
n(n + 1)

2
3
n1
converge y determine su suma.
(7) Encuentre una formula para S
n
y demuestre que la serie converge o diverge usando
lim
n
S
n
.
(a)

n=1
1
4n
2
1
(b)

n=1
ln(
n
n + 1
)
(c)

n=1
1
9n
2
+ 3n 2
(d)

n=1
1

n + 1 +

n
.
(Sugerencia: racionalice el denominador).
(8) Determine si la serie
+

n=1
_
1
5
n
+
1
n
_
converge o diverge.
(9) Demuestre o de un contraejemplo:
Si
+

n=1
a
n
y
+

n=1
b
n
divergen entonces
+

n=1
a
n
+ b
n
diverge.
(10) Supongamos que lim
n+
(a
n+1
a
n
) existe. Demostrar que
+

n=1
(a
n+1
2a
n
+ a
n1
) = a
0
a
1
+ lim
n+
(a
n+1
a
n
).
(11) Determine si las siguientes series telescopicas convergen o divergen.
(a)
+

n=1
1

n + 1

n
(b)
+

n=1
(

n + 2 2

n + 1 +

n)
(c)
+

n=1
ln
_
n
2
1
n
2
_
(d)
+

n=1
ln((1 + 1/n)
n
(1 + n))
ln(n
n
) ln((n + 1)
n+1
)
(e)
+

n=1
arctan
_
1
n
2
+ n + 1
_
(f)
+

n=1
arctan
_
2
n
2
_
34 2. SERIES NUM

ERICAS.
Ayuda: use la formula:
arctan arctan = arctan
_

1
_
.
(12) Aplique el criterio mas conveniente para determinar si las siguientes series convergen
o divergen.
(a)

n=1
1
n

e
(b)

n=1
_
5
n + 2

5
n + 3
_
(c)

n=1
n
ln(n + 1)
(d)

n=1
ln
_
2n
7n 5
_
(e)

n=1
__
3
2
_
n
+
_
2
3
_
n
_
(f)

n=1
_
1
n(n + 1)

4
n
_
(13) *** Determine los valores positivos de p, para los cuales converge la serie indicada
(a)

n=1
np
n
(b)

n=1
n
2
_
2
p
_
n
(14) *** Determine los valores reales de p, para los cuales converge la serie indicada
(a)

n=1
n
p
n!
(b)

n=1
ln n
n
p
(15) Sea {a
n
} la sucesion de Fibonacci. Sea
b
n
=
a
n+1
a
n
.
Demuestre que
(a) b
n1
= 1 +
1
b
n2
,
(b) lim
n+
b
n
=
1 +

5
2
.
(c) La serie
1 + 1 +
1
2
+
1
3
+
1
5
+
1
8
+ =

n=1
1
a
n
es convergente.
EJERCICIOS. SERIES. 35
(16) Use el criterio de series alternadas para determinar si las siguientes series son con-
vergentes
(a)

n=1
(1)
n+1
1
n + 2
(b)

n=1
(1)
n1
1

n
(c)

n=1
(1)
n+1
n
n
2
+ 1
(d)

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

n=1
(1)
n+1
n
n + 2
(f)

n=1
(1)
n1
3n 1
n + 5
(g)

n=1
(1)
n+1
_
1
n
+
1
3
n
_
(h)

n=1
(1)
n
n + 1
4
n
(i)

n=1
(1)
n+1
4

n
2n + 3
(j)

n=1
cos(n)

n
2
+ 1
n
3
(k)

n=1
(1)
n+1
ln n
n
(l)

n=1
(1)
n+1
ln n
10
n
2
CAP

ITULO 3
Formula de Stirling y producto de Wallis.
Justicacion elemental de la formula de Stirling y producto de Wallis.
La formula de Stirling da un estimado para n! y el producto de Wallis da una expresion
para /2 como lmite de un cociente de n umeros parecidos a los factoriales.
1. La formula de Stirling.
Comenzamos dando un estimado para
n

n!.
Proposici

on 3.1. Se tiene que


lim
n
n

n!
n
=
1
e
.
Demostracion.
El graco de la funcion logaritmo ayuda a entender las siguientes desigualdades:
ln((n 1)!) = ln(1.2. . . . .(n 1)) = ln 1 + ln 2 + + ln(n 1)

_
n
1
ln xdx ln 2 + + ln n = ln 1 + ln 2 + + ln n
= ln(1.2. . . . .(n 1).n) = ln n!
Pero
_
n
1
ln xdx = [x ln x x]
n
1
= nln n n + 1 = ln(n
n
) n + 1.
De donde
ln((n 1)!) ln n
n
n + 1 ln n!.
Por lo tanto
(n 1)! n
n
e
n
e n!. (3.1)
De la segunda desigualdad en (3.1) obtenemos
1
e
n

e
n

n!
n
. (3.2)
37
38 3. F

ORMULA DE STIRLING Y PRODUCTO DE WALLIS.


Por otro lado, multiplicando por n en la formula (3.1) tenemos que
n! n
n
e
n
e n.
Luego
n

n! n
1
e
n

n
n

e.
Y as
n

n!
n

1
e
n

n
n

e. (3.3)
Como lim
n
n

n = lim
n
n

e = 1, de las desigualdades (3.2) y (3.3) obtenemos:


1
e
= lim
n
1
e
n

e lim
n
n

n!
n
lim
n
1
e
n

n
n

e =
1
e
lim
n
n

n
n

e =
1
e
.
De donde,
lim
n
n

n!
n
=
1
e
.
Esta formula da un estimado para n!.
Varios renamientos del metodo que acabamos de usar para estimar
n

n! permiten dar
un estimado para n!. Mas precisamente, se puede demostrar:
lim
n

2ne
n
n
n
n!
= 1
y esta es la conocida formula de Stirling.
Para no caer en aspectos demasiado tecnicos no damos la prueba. Sin embargo, el
lector interesado en ver una demostracion de esta formula puede hallarla en: Introduction
to Calculus and Analysis de R. Courant, F. John. Vol. I.
2. El producto de Wallis.
El producto de Wallis permite aproximar a

2
y es el siguiente:

2
= lim
m
2m2m(2m2)(2m2) . . . 6.6.4.4.2.2
(2m + 1)(2m1)(2m1)(2m3) . . . 7.5.5.3.3.1
.
Para los estudiantes de la Licenciatura en Matematica damos la demostracion. Recorde-
mos que
_
sen
n
xdx =
1
n
sen
n1
x cos x +
n 1
n
_
sen
n2
xdx.
Integrando entre 0 y

2
se obtiene la siguiente igualdad:
_
/2
0
sen
n
xdx =
n 1
n
_
/2
0
sen
n2
xdx. (3.4)
2. EL PRODUCTO DE WALLIS. 39
Aplicando esta formula varias veces se obtienen las siguientes igualdades:
_
/2
0
sen
2m
xdx =
2m1
2m
_
/2
0
sen
2m2
xdx =
(2m1)(2m3)
2m(2m2)
_
/2
0
sen
2m4
xdx
=
(2m1)(2m3) . . . 3.1
2m(2m2) . . . 4.2
_
/2
0
dx =
(2m1)(2m3) . . . 3.1
2m(2m2) . . . 4.2

2
.
_
/2
0
sen
2m+1
xdx =
2m
2m + 1
_
/2
0
sen
2m1
xdx =
(2m)(2m2)
(2m + 1)(2m1)
_
/2
0
sen
2m3
xdx
=
(2m)(2m2) . . . 4.2
(2m + 1)(2m1) . . . 5.3
_
/2
0
sen xdx =
(2m)(2m2) . . . 4.2
(2m + 1)(2m1) . . . 5.3
.
Resumiendo, llegamos a que
_
/2
0
sen
2m
xdx =
(2m1)(2m3) . . . 3.1
2m(2m2) . . . 4.2

2
,
_
/2
0
sen
2m+1
xdx =
(2m)(2m2) . . . 4.2
(2m + 1)(2m1) . . . 5.3
.
De las formulas anteriores

2
=
2m(2m2) . . . 4.2
(2m1)(2m3) . . . 3.1
_
/2
0
sen
2m
xdx, (3.5)
1 =
(2m + 1)(2m1) . . . 5.3
(2m)(2m2) . . . 4.2
_
/2
0
sen
2m+1
xdx. (3.6)
Dividiendo la formula (3.5) entre la formula (3.6), obtenemos que

2
=
2m2m(2m2)(2m2) . . . 4.4.2.2
(2m + 1)(2m1)(2m1)(2m3) . . . 5.3.3.1
_
/2
0
sen
2m
xdx
_
/2
0
sen
2m+1
xdx
(3.7)
A continuacion estudiaremos el cociente de estas dos integrales.
En [0, /2] as que 0 sen x 1. Luego
sen
2m+1
x sen
2m
x sen
2m1
x.
Integrando
_
/2
0
sen
2m+1
xdx
_
/2
0
sen
2m
xdx
_
/2
0
sen
2m1
xdx.
Dividiendo entre
_
/2
0
sen
2m+1
xdx se obtiene
1 =
_
/2
0
sen
2m+1
xdx
_
/2
0
sen
2m+1
xdx

_
/2
0
sen
2m
xdx
_
/2
0
sen
2m+1
xdx

_
/2
0
sen
2m1
xdx
_
/2
0
sen
2m+1
xdx
=
2m + 1
2m
(para la ultima igualdad hemos usado la ecuacion (3.4)).
40 3. F

ORMULA DE STIRLING Y PRODUCTO DE WALLIS.


Entonces
1
_
/2
0
sen
2m
xdx
_
/2
0
sen
2m+1
xdx

2m + 1
2m
= 1 +
1
2m
.
De donde
lim
m
_
/2
0
sen
2m
xdx
_
/2
0
sen
2m+1
xdx
= 1
Volviendo a la ecuacion (3.7) obtenemos que

2
= lim
m
2m2m(2m2)(2m2) . . . 6.6.4.4.2.2
(2m + 1)(2m1)(2m1)(2m3) . . . 7.5.5.3.3.1
,
y este es el conocido producto de Wallis.
EJERCICIOS. F

ORMULA DE STIRLING Y PRODUCTO DE WALLIS. 41


Ejercicios.
Formula de Stirling y producto de Wallis.
A continuacion indicamos tres formulas que permiten calcular lmites bastante compli-
cados.
Estimado para
n

n!:
lim
n
n

n!
n
=
1
e
.
Formula de Stirling:
lim
n

2ne
n
n
n
n!
= 1
Producto de Wallis

2
= lim
m
2m2m(2m2)(2m2) . . . 6.6.4.4.2.2
(2m + 1)(2m1)(2m1)(2m3) . . . 7.5.5.3.3.1
,
Deducir los siguientes lmites con la ayuda de las formulas anteriores
(1) * lim
n
n
(n!)
1/n
= e.
(2) * lim
n
(n!)
2
2
2n
(2n)!

n
=

.
(3) * lim
n
(1)
n
_
1/2
n
_
n =
1

.
donde
_
t
n
_
=
t(t 1) . . . (t n + 1)
n!
.
Nota: EL producto t(t1) . . . (tn+1) es un polinomio en t de grado n llamado
polinomio factorial n-esimo. Se representa con el smbolo t
(n)
, as pues
t
(n)
= t(t 1) . . . (t n + 1).
Bibliografa
[1] Alson, P. Calculo Basico. Editorial Erro.
[2] Apostol, T. Calculus Volumen 1. Editorial Reverte.
[3] Apostol, T. Calculus Volumen 2. Editorial Reverte.
[4] Bruzual, R. y Domnguez, M. Gua de problemas de Calculo III para Matematicos. Facultad de
Ciencias, Universidad Central de Venezuela.
[5] Bruzual, R. y Domnguez, M. Calculo diferencial en una variable. Publicaciones del Laboratorio de
Formas en Grupos, Facultad de Ciencias, Universidad Central de Venezuela. 7
[6] Bruzual, R. y Domnguez, M. Calculo integral en una variable. Publicaciones del Laboratorio de
Formas en Grupos, Facultad de Ciencias, Universidad Central de Venezuela.
[7] Deminovich, B. Problemas y ejercicios de An alisis Matematico. Editorial Paraninfo.
[8] Miranda, Guillermo Matematica III - Fsica Fac. Ciencias. UCV.
[9] Swokowsky, E. W. Calculo con Geometra Analtica. Grupo Editorial Iberoamericana.
43
44

Indice
criterio
de acotacion, 24
de comparacion, 25
de la integral, 29
de la raz, 27
de la razon, 27
de Leibniz, 30
del cociente, 27
del lmite, 26
del termino general, 23
LHopital, regla de, 6
lmite
innito, 9
serie, 19
alternada, 20
arm onica, 20
convergente, 22
de terminos positivos, 20
divergente, 22
geometrica, 21
sucesi on, 1
convergente, 4
divergente, 4
45