1

SUCESIONES
El concepto de sucesin es la base para trabajar la teora de series, adems
de que muchos fenmenos y procesos se modelan por medio de una
sucesin.

Definicin. Una sucesin { }
n
a es una funcin R a : .
n
a denota la imagen de n , ) (n a a
n
= .
En palabras, una sucesin es un conjunto de nmeros reales que est
numerado { } { } K , , ,
3 2 1
a a a a
n
=

Nota: algunas sucesiones inician desde el trmino cero
0
a

Ejemplos.
{ }
)
`

=
)
`

= L ,
4
1
,
3
1
,
2
1
, 1 1 :
1
n
n
a
n
{ }
)
`

=
)
`

+
= L ,
5
8
,
2
3
,
3
4
, 1 1 :
1
2
n
n
n
a
n


{ } { } { } K , 16 , 8 , 4 , 2 , 1 0 : 2 = = n a
n
n
{ } { } { } K 1 , 1 , 1 , 1 1 : ) 1 ( = = n a
n
n


Ejemplo. Una persona invierte $500 al 12% de inters compuesto anual.
n
S representa el monto de capital al cabo de n aos, encuentre una
expresin para
n
S
500
0
= S ,
0 0 0 1
) 12 . 1 ( ) 12 . 0 ( S S S S = + =

0
2
0
1
1 1 2
) 12 . 1 (
) 12 . 1 )( 12 . 1 (
) 12 . 1 (
) 12 . 0 (
S
S
S
S S S
=
=
=
+ =


0
3
3
) 12 . 1 ( S S = , en general
0
) 12 . 1 ( S S
n
n
=

Dadas dos sucesiones se pueden construir otras aplicando las operaciones
de sucesiones.

Operaciones de sucesiones.
Sean { }
n
a y { }
n
b sucesiones y c una constante entonces
La suma es la sucesin { } { }
n n n
b a C + =
La multiplicacin por la constante c es { } { }
n n
ca m =
La multiplicacin de sucesiones es la sucesin { } { }
n n n
b a C =
El cociente es { }
)
`

=
n
n
n
b
a
C n b
n
todo para 0 si .
2
Ejemplos. { }
)
`

+
= 1 :
1
2
n
n
n
a
n
y { }
)
`

= 1 :
2 3
n
n
n
b
n

i) { } { }
)
`

+
+
= + =
2 3 1
2
n
n
n
n
b a C
n n n


)
`

=
)
`

+
+ +
=
1 :
2 3
3 7
) 2 3 )( 1 (
4 6
2
2
2 2
n
n n
n n
n n
n n n n


i) { } { }
)
`

\
|

\
|
+
= =
2 3 1
2
n
n
n
n
b a P
n n n


)
`

+
= 1 :
2 3
2
2
2
n
n n
n


ii) { }
)
`

+
=
)
`

=
2 3 1
2
n
n
n
n
b
a
D
n
n
n


)
`

=
)
`

+

=
1 :
1
4 6
) 1 (
) 2 3 ( 2
n
n
n
n n
n n


Los elementos de una sucesin pueden estar muy dispersos en la recta real
o pueden concentrarse alrededor de un nmero fijo.

Definicin. Se dice que la sucesin { }
n
a converge a L , si para cada
N existe 0 < , tal que para cualquier N n > se tiene < L a
n
.
Y se escribe L a
n
n
=

lim
.
En otro caso se dice que la sucesin diverge.

Ejemplo. Demuestre que 0
) 1 (
lim
=

n
n
n

Anlisis:
n n n
n n
1 ) 1 (
0
) 1 (
=

(1)
Queremos que <
n
1
o n <

1

Tomamos

1
= N
Justificacin
3
Sea < 0 , entonces existe

1
= N tal que si

1
= > N n o <
n
1

Esto lo sustituimos en (1)
< =

n n
n
1
0
) 1 (

Por lo tanto 0
) 1 (
lim
=

n
n
n


Ejemplo. Demuestre que
2
1
2
3
lim
=
+

n
n
n

Anlisis:
n n
n n
n
n
2
3
2
3
2
1
2
3
=
+
=
+
(1)
Como el argumento del valor absoluto es positivo, podemos eliminar las
barras del valor absoluto, luego planteamos <
n 2
3
,
n <
2
3
, tomando
2
3
= N ,
Justificacin:
Para


2
3
existe 0 = < N tal que si = >
2
3
N n <
n 2
3

Que sustituimos en (1)
< = =
+
n n n
n
2
3
2
3
2
1
2
3

Por lo tanto
2
1
2
3
lim
=
+

n
n
n


Sucesin Geomtrica: es una sucesin de la forma { } 0 : n a
n
donde a
se le llama la base de la sucesin.

Criterio de las sucesiones geomtricas.
i) 0
lim
=

n
n
a si 1 < a
ii)
n
n
a
lim

no existe si 1 > a
Demostracin.
a
n a n e e a a
a n a
n
n
n
ln
ln
, ln ln , , ,
) ln( ) ln(

> < < = < <
El ltimo paso porque 0 ln < a ya que 1 < a .
Por lo tanto si
a
N
ln
ln
= se satisface la definicin.

Ejemplos.
4
{ }
)
`

= 0 :
3
2
n a
n
n
n
converge { } { } 0 : 3 = n a
n
n
diverge
{ }

)

\
|
= 0 :
3
5
n a
n
n
diverge { }

)

\
|
= 0 :
1
n
e
a
n
n
converge

Teorema. Si existe ( )
lim n
n
a

es nico.
Demostracin. Sean L L y lmites de la sucesin { }
n
a , para
2 1
y existen 2 / 0 , 0 N N < < , tal que para cualesquiera
2 1
y N m N n > >
se tiene 2 / y 2 / < < L a L a
m n
por lo que si, { }
2 1
, N N mx n >
entonces
= + < + < + = 2 / 2 / L a a L L a a L L L
n n n n

Por lo tanto L L =

Definiciones. Una sucesin { }
n
a se dice acotada superiormente, si existe
M tal que M a
n
para todo N n .
{ }
n
a se dice acotada inferiormente, si existe K tal que
n
a K para todo
N n .
Una sucesin { }
n
a se dice acotada si es acotada superior e inferiormente.

Ejemplo. { }
)
`

=
)
`

+ = K ,
5
4
,
4
5
,
3
2
,
2
3
, 0 1 :
) 1 (
1 n
n
a
n
n
es acotada
superiormente por
2
3
e inferiormente por 0.

Proposicin. Toda sucesin convergente es acotada.
Demostracin. Sea L a
n
n
=

lim
, entonces para N existe 0 < , tal que
para cualquier N n > se tiene < L a
n

O L a L L a
n n
+ < < + < < ,
Es decir L + es cota superior para todo
n
a con N n > , entonces
{ } L a a a mx K
t
+ = , , , ,
2 1
K donde t es el mayor natural tal que N t < .
Es cota superior de { }
n
a .
En forma anloga { }
n
a est acotada inferiormente.

El recproco es falso: si una sucesin es acotada, entonces es convergente.
Contraejemplo: { } { }
n
n
a ) 1 ( = es acotada pero no tiene lmite.

La contrapuesta es un criterio de divergencia de sucesiones:
Si una sucesin no es acotada, entonces no es convergente.
5
Ejemplo. { } { } { } K , 27 , 8 , 1 ) (
3
= = n a
n
no es acotada inferiormente, si es
acotada superiormente por -1, por lo que no es convergente.

Ejemplo. { } { } { } K , 5 , 4 , 3 , 2 , 1 ) 1 ( = = n a
n
n
no es acotada superior ni
inferiormente y no es convergente.

Teorema. Si existen ( ) ( )
n
n
n
n
b a
lim lim
y

entonces,
i) ( ) ( ) ( )
n
n
n
n
n n
n
b a b a
lim lim lim

+ = +
ii) ( ) ( )
n
n
n
n
a c ca
lim lim

=
iii) ( ) ( ) ( )
n
n
n
n
n n
n
b a b a
lim lim lim

=
iv)
( )
( )
( ) 0 y , todo para 0 si
lim
lim
lim
lim
=
|
|

\
|

n
n
n
n
n
n
n
n
n
n
b n b
b
a
b
a


Demostracin. Sean ( ) ( ) B b a
n
n
n
n
= =

lim lim
y A
i) Para
2 1
y existen 2 / 0 , 0 N N < < tal que para cualesquiera
2 1
y N m N n > > se tiene 2 / y 2 / < < B b A a
m n
por lo que
si, { }
2 1
, N N mx n > entonces
= + < + < + + 2 / 2 / ) ( ) ( B b A a B A b a
n n n n


ii) Observamos

B b A A a b
AB Ab Ab b a AB Ab Ab b a AB b a
n n n
n n n n n n n n n n
+ =
+ + <

Como existe ( )
n
n
b
lim

, { }
n
b es acotada, sea M su cota, entonces
B b A A a M B b A A a b AB b a
n n n n n n n
+ < + <
Para < 0 , consideramos

2 1 2 1
y existen ,
) 1 ( 2
,
) 1 ( 2
N N
A M +
=
+
=




tal que para cualesquiera
2 1
y N m N n > > se tiene

2 1
y < < B b A a
m n
por lo que si, { }
2 1
, N N mx n > entonces



= + <
+
+
+
< + < 2 / 2 /
) 1 ( 2 ) 1 ( 2 A
A
M
M
B b A A a M AB b a
n n n n


iii)
( )
( ) 0 y , todo para 0 si
1 1
lim
lim
lim
= =
|
|

\
|



B b n b
b b
n
n
n
n
n
n
n

6
observamos
B b
B b
B b
n
n
n

=
1 1

como ( ) 0
lim
=

B b
n
n
para
1
existe , 2 / 0 N B < , tal que si
1
N n >
se tiene 2 / B B b
n
<
luego 2 / B B b B b
n n
<
y B b B
n
2 / ,
n
b B 2 / , B b B
n
2 /
2
,

2 /
1 1
2
B
B b
n
(1)
Por lo que
2 /
1 1
2
B
B b
B b
B b
B b
n
n
n
n

=
Para < 0 , consideramos
2
2
1
, 0
2
N existe
B
> =

tal que para
cualquiera
2
N n > se tiene
1
< B b
n
(2)
por lo que si, { }
2 1
, N N mx n > entonces se satisfacen (1) y (2)
por lo tanto



= = <

=
2
2
2
1
2
2
2
2
2 /
1 1
B
B
B B
B b
B b
B b
B b
n
n
n
n


Ejemplo. Sean { }
)
`

+
= 1 :
1
2
n
n
n
a
n
, { }
)
`

= 1 :
2 3
n
n
n
b
n
se puede
demostrar que
2
1
2
lim
=
+

n
n
n
y
3
1
2 3
lim
=

n
n
n
entonces
i) { }
)
`

+
+ +
=
)
`

+
+
= +
) 2 3 )( 1 (
4 6
2 3 1
2
2 2
n n
n n n n
n
n
n
n
b a
n n

{ }
)
`

= +
2 3
3 7
2
2
n n
n n
b a
n n

{ }
2 3 1
2
3
1
2
3
7
2 3
3 7
lim lim lim lim 2
2

+
+
= + = =
)
`

= +

n
n
n
n
n n
n n
b a
n n n
n n
n


ii) { }
)
`

= 1 :
2 3
5
5 n
n
n
b
n

{ }
2 3
) 5 (
3
1
) 5 (
3
5
2 3
5
5
lim lim lim

= |

\
|
= =
)
`

=

n
n
n
n
b
n n
n
n


iii)
{ }
)
`

+
=
)
`

\
|

\
|
+
=
2 3
2
2 3 1
2
2
2
n n
n
n
n
n
n
b a
n n

7
{ } |

\
|

\
|
+
= |

\
|
= =
)
`

+
=

2 3 1
2
3
1
2
3
2
2 3
2
lim lim lim lim 2
2
n
n
n
n
n n
n
b a
n n n
n n
n


iv) Como ( ) 0
3
1
y , todo para 0
lim
=

n
n
n
b n b

)
`

=
)
`

\
|

\
|
+
=
)
`

n n
n n
n
n
n
n
b
a
n
n
2
2
4 6
2 3 1
2

|

\
|

\
|
+
= |

\
|
= =
)
`

=
)
`

2 3 1
2
3
1
2 6
4 6
lim lim lim lim 2
2
n
n
n
n
n n
n n
b
a
n n n
n
n
n


Teorema. Si { }
n
a converge y { }
n
b diverge, entonces { }
n n
b a + diverge.
Demostracin. Por contradiccin
Suponemos que { }
n n
b a + converge,
Como { }
n
a converge, tambin { }
n
a converge, entonces por el teorema

{ } { } { }
{ }
n
n n n n n n
b
a b a a b a
=
+ = + + ) (

converge, lo que es una contradiccin.
por lo tanto { }
n n
b a + diverge

Nota. Si { }
n
a diverge y { }
n
b diverge, entonces { }
n n
b a + puede converger
o puede diverger.

Contraejemplos:
i) { }
)
`

= 0 :
2
3
n a
n
n
n
diverge porque es una geomtrica con razn 1
2
3
>
luego
)
`

=
)
`

+
)
`

n
n
n
n
n
n
3
2
2
3
2
3
2
diverge
ii) { }
)
`

= 0 :
3
2
n a
n
n
n

{ } 0
3
2
3
2
=
)
`

+
)
`

n
n
n
n
converge.

El concepto de subsucesin es importante, comenzamos con

Definicin. { }
k
n es una sucesin creciente de enteros positivos si
2 1
k k < implica
2 1
k k
n n < .

8
Definicin. Sea { }
n
a una sucesin y { }
k
n una sucesin creciente de
enteros positivos, entonces la sucesin { }
k
n
a se llama subsucesin de{ }
n
a .
Es decir, se tiene la composicin )) ( ( k n a a
k
n
= .

Ejemplo. Consideramos la sucesin { }
)
`

=
)
`

= L ,
4
1
,
3
1
,
2
1
, 1 1 :
1
n
n
a
n
,
luego
i) Con la sucesin de naturales k k n 2 ) ( = que es creciente y
obtenemos la subsucesin
k
k n a a
k
n
2
1
)) ( ( = =
{ }
)
`

=
)
`

= L ,
6
1
,
4
1
,
2
1
2
1
k
a
k
n

ii) Con la sucesin de naturales
2
) ( k k n = que es creciente
obtenemos la subsucesin
2
1
)) ( (
k
k n a a
k
n
= =
{ }
)
`

=
)
`

= L ,
16
1
,
9
1
,
4
1
, 1
1
2
k
a
k
n


En el concepto de sucesin se involucra el concepto de
{ }
{ } K K
K K
K K
, , ,
, , ,
2 1
2 1
2 1
k
n n n
k
n
a a a
n n n
a a a
< < < <

Composicin de funciones :
k
n
a
k
b
a n k

Teorema. Toda subsucesin de una sucesin convergente es convergente.
Demostracin.
Afirmacin:
k
n k para todo 1 k .
Por induccin. Para 1 = k , se satisface
1
1 n porque { }
k
n son naturales
Hiptesis de induccin:
k
n k
P.D.
1
1
+
+
k
n k
Por hiptesis de induccin
k
n k
Como { }
k
n es creciente
1 +
<
k k
n n
Por transitividad
1 +
<
k
n k
Por lo tanto
1
1
+
+
k
n k porque son naturales y sumamos 1 de lado
izquierdo.
Sea L a
n
n
=

lim
y { }
k
n
a una subsucesin de { }
n
a
Para N existe , 0 < , tal que para cualquiera N n > se tiene < L a
n

9
Como { }
k
n es sucesin creciente de enteros positivos, N n
N
> luego para
cualquier
N k
n n > se tiene < L a
k
n

Por lo tanto L a
k
n
n
=

lim


Ejemplo. { }
)
`

= 1 :
2 1
2
n
n
n
a
n

Con { } { }
2
k n
k
= tenemos la subsucesin
{ }
)
`

=
4
2
2 1
k
k
a
k
n
y tanto la sucesin como la subsucesin convergen a cero.

Una aplicacin til del resultado anterior es que si una sucesin tiene una
subsucesin divergente, entonces la sucesin es divergente.

Teorema. Sea R R f : continua en L , { } domf a
n
y L a
n
n
=

lim
,
entonces ) ( ) (
lim
L f a f
n
n
=

.
Demostracin. Como R R f : continua en L , para cada
0 existe 0 > > tal que si < L x domf x y
Entonces < ) ( ) ( L f x f ,
Para 0 > , como L a
n
n
=

lim
existe 0 > N tal que si N n >
Entonces < L a
n

Por hiptesis { } domf a
n
, tomamos
n
a x = , por lo que
< ) ( ) ( L f a f
n

Por lo tanto ) ( ) (
lim
L f a f
n
n
=

.

Ejemplos. Como
2
1
2
3
lim
=
+

n
n
n


2
1
2
1
2
3
lim
= =
+

n
n
n
por que la funcin x x f = ) ( es continua en .

|

\
|
= |

\
| +

2
1
2
3
lim
sen
n
n
sen
n
porque la funcin senx x f = ) ( es continua en .

2 / 1
2
1
exp
2
3
exp
lim
e
n
n
n
= |

\
|
= |

\
| +

porque la funcin
x
e x f = ) ( es continua en
.

10
Teorema. Sea R R f : , L x f
x
=

) (
lim
y una sucesin { }
n
a tal que
n
a n f = ) ( , entonces L a
n
n
=

lim
.

Recordamos que la regla de lHopital se aplica a indeterminaciones de la
forma
0
0
o


, cualquiera de las otras formas indeterminadas
0 0
0 1 . 0

se trabajan algebraicamente o se
transforman a una de las dos formas anteriores.

Ejemplos.
1. { } { } 1 : ) 1 (
/ 2
= n e n a
n
n

Consideramos ) 1 ( ) (
/ 2 x
e x x f = para que ) 1 ( ) (
/ 2 n
n
e n n f a = =
Tenemos que 0 . ) 1 (
/ 2
lim
=

x
x
e x ,
Lo reescribimos como
0
0
1
1
/ 2
lim
=

x
e
x
x

Ahora podemos aplicar la regla de Lhopital
2 2
1
2
1
1
/ 2
2
2
/ 2
/ 2
lim lim lim
= =

\
|

=

x
x
x
x
x
x
e
x
x
e
x
e

Por lo tanto 2 ) 1 (
/ 2
lim
=

n
n
e n

2. { }
)
`

> |

\
|

+
= 3 :
3
3
log n
n
n
n a
n

0 .
3
3
log
lim
= |

\
|

+

x
x
x
x

Luego

x
x
x
x
x
x
x x
/ 1
3
3
log
3
3
log
lim lim
|

\
|

+
= |

\
|

+



2
2
/ 1
) 3 (
3 3
3
3
lim
x
x
x x
x
x
x

|
|

\
|

\
|
+

=


6
9
6
2
2
lim
=

=

x
x
x

Por lo tanto 6
3
3
log
lim
= |

\
|

+

n
n
n
n


11
Observamos que ambos lmites anteriores fueron cuando n tiende a
infinito y la indeterminacin era del mismo tipo 0 . sin embargo los
resultados fueron diferentes, de ah el nombre de indeterminacin.


3. { } { } 1 : 3
2
+ = n n n n a
n

Calculamos ( ) = +

x x x
x
3
2
lim
, es una indeterminacin
Multiplicamos y dividimos por su conjugado

( ) ( )

=
|
|

\
|
+ +
=
|
|

\
|
+ +
+
=
|
|

\
|
+ +
+ +
+ = +


x x x
x
x x x
x x x
x x x
x x x
x x x x x x
x x
x x
3
3
3
3
3
3
3 3
2 2
2 2
2
2
2 2
lim lim
lim lim


Multiplicando y dividiendo entre x,
( )
2
3
1
3
1
3
3
3
3
lim lim lim
2
2
=
|
|
|
|

\
|
+ +
=
|
|

\
|
+ +
= +

x
x x x
x
x x x
x x x

Por lo tanto ( )
2
3
3
2
lim
= +

n n n
n


4. { }

\
|
+ = 1 :
2
1
1 n
n
a
n
n

Calculamos

=
|

\
|
+ 1
2
1
1
lim
x
x
x
es una indeterminacin
Sea
x
x
x
b |

\
|
+ =

2
1
1
lim


0 .
2
1
1 log
2
1
1 log
2
1
1 log log
lim
lim lim
=
|
|

\
|
|

\
|
+ =
|
|

\
|
|

\
|
+ =
|
|

\
|
|

\
|
+ =


x
x
x x
b
x
x
x
x
x

Usando la regla de Lhopital

0
0
/ 1
2
1
1 log
2
1
1 log log
lim lim
=
|
|
|
|

\
|
|

\
|
+
=
|
|

\
|
|

\
|
+ =

x
x
x
x b
x x

12

2
1
1 2 / 1
2
1
1 2
2
/ 1
2
1
1 log
log
lim lim lim 2
2
= |

\
|
+
=
|
|
|
|

\
|

\
|
|

\
|
+
=
|
|
|
|

\
|
|

\
|
+
=

x
x
x
x x
x
x
x
b
x x x

Entonces
2 / 1
2
1
1
lim
e
x
b
x
x
= |

\
|
+ =

Por lo tanto
2 / 1
2
1
1
lim
e
n
n
n
=
|

\
|
+



5. { }

\
|
+

=
+
1 :
1 2
3 2
1 2
n
n
n
a
n
n

Calculamos

+

= |

\
|
+

1
1 2
3 2
1 2
lim
x
x
x
x
es una indeterminacin
Sea
1 2
1 2
3 2
lim
+

|

\
|
+

=
x
x
x
x
b

0 .
1 2
3 2
log ) 1 2 (
1 2
3 2
log
1 2
3 2
log log
lim
lim lim
1 2 1 2
=
|
|

\
|
|

\
|
+

+ =
|
|

\
|
|

\
|
+

=
|
|

\
|
|

\
|
+

x
x
x
x
x
x
x
b
x
x
x
x
x

reescribimos

0
0
1 2
1
1 2
3 2
log
log
lim
=
|
|
|
|

\
|
+
|

\
|
+

=

x
x
x
b
x

Usando la regla de Lhopital

4
3 2
1 2
) 4 (
) 1 2 (
2
) 1 2 (
) 3 2 ( 2 ) 1 2 ( 2
3 2
1 2
log
lim
lim
2
2
=
|

\
|

+
=
|
|
|
|
|

\
|
+

|
|

\
|
+
+
|

\
|

+
=

x
x
x
x
x x
x
x
b
x
x

Entonces
4
1 2
1 2
3 2
lim

+

= |

\
|
+

= e
x
x
b
x
x

Por lo tanto
4
1 2
1 2
3 2
lim

+

=
|

\
|
+

e
n
n
n
n


6. { } ( ) { } 1 :
/ 1
+ = n e n a
n
n
n

13
Calculamos ( )
0
/ 1
lim
= +

x
x
x
e x
Sea ( )
x
x
x
e x b
/ 1
lim
+ =


( ) ( ) ( )
x
x
x
x
x
x
e x e x b
/ 1 / 1
log log log
lim lim
+ = |

\
|
+ =


( )

=
|

\
|
+ =

x
x
e x
x
log
1
lim

Aplicamos la regla de Lhopital
( )
|
|

\
|
+
= |

\
|
+ =

x
x
x
x
x
e x
e
e x
x
b
lim lim
log
1
log

Usando la regla de Lhopital otra vez
1 log
lim lim lim
=
|
|

\
|
=
|
|

\
|
|
|

\
|
+
=

x
x
x
x
x
x x
e
e
e x
e
b

Por lo que
( ) e e e x b
x
x
x
= = + =

1
/ 1
lim
y
( ) e e n
n
n
n
= +

/ 1
lim


Sucesiones especiales
i) { } { } 0 1 :
/ 1
> = c n c a
n
n


ii) { } { } 1 :
/ 1
= n n a
n
n


Teorema. 1
/ 1
n
lim
=

n
c y 1
/ 1
lim
=

n
n
n
Demostracin.
i)
0 / 1
lim
=

n
n
n
Escribimos
|

\
|
= ) ln(
1
exp
/ 1
n
n
n
n
, como ) exp(x es funcin continua
|

\
|
= |

\
|
= |

\
|

) ln(
1
exp ) ln(
1
exp
lim lim lim
/ 1
n
n
n
n
n
n n
n
n
y

= |

\
|

) ln(
1
lim
n
n
n


Aplicando la regla de Lhopital
0
1
) ln(
1
lim lim
= =

n
n
n
n n


14
Por lo que 1
0 / 1
lim
= =

e n
n
n
.

ii) 1 ) ln(
1
exp ) ln(
1
exp
0 / 1
lim lim lim
= = |

\
|
= |

\
|
= |

\
|

e c
n
c
n
c
n n
n
n



Ejemplos.
1 3
/ 1
n
lim
=

n
1 ) 3 / 2 (
/ 1
n
lim
=

n


TEOREMA
Si n todo para c b a
n n n
y
n
n
n
n
c L a
lim lim

= = entonces L b
n
n
=

lim


Ejemplo. { }
)
`

= 1 :
) (
n
n
n sen
a
n

Como
n n
n sen
n
1 ) ( 1
y
n n
n n
1
0
1
lim lim

= =

0
) (
lim
=

n
n sen
n
.

Ejemplo. { } { } b a con n b a a
n n n
n
< < + = 0 1 :
< < b a 0
n n
b a < < 0
luego
n n n n n
b b b a b + < + <
entonces b b a b
n n n n
2 < + <

como b b b
n
n n
2
lim lim

= = , porque 1 2
lim
=

n
n

por el teorema
b b a
n n n
n
= +

lim

En general { } b a mx b b a
n n n
n
,
lim
= = +

.

Ejemplo. { }
)
`

+
+ +
+
+
+
= 1 :
1
2
1
1
1
2 2 2
n
n n n n
a
n
L
O tambin { }
)
`

+
=

=
n
k
n
k n
a
1
2
1

Usamos las desigualdades adecuadas
Para n k 1 se satisfacen
n n k n n + + +
2 2 2
1
15
1
1 1 1
1
2 2 2
2 2 2
+

+
+ + +
n k n n n
n n k n n

Sumando las desigualdades desde k = 1 a n k =
1
1
2
1
2 2
+

+

= n
n
k n n n
n
n
k

Ahora 1
) / 1 ( 1
1
) / 1 (
1
lim lim lim
2 2
=
+
=
+
=
+
n
n n n n n
n
n n n

Y 1
) / 1 ( 1
1
1 ) / 1 (
1
1
2 2 2
lim lim lim
=
+
=
+
=
+ n n n n
n
n n n

Por el teorema
1
1
2
1
1
1
2 2 2
lim
=
|
|

\
|
+
+ +
+
+
+ n n n n n
L


SUCESIONES MONOTONAS
Definicin. Una sucesin { }
n
a
i) es montona creciente, si sus trminos son no decrecientes:
K K
n
a a a
2 1

ii) es montona decreciente, si sus trminos son no crecientes:
K K
n
a a a
2 1


Teorema. Sea { }
n
a una sucesin,
i) Si es montona creciente, es convergente si y slo si es acotada y
{ } { }
n n
n
a a sup
lim
=


ii) Si es montona decreciente, es convergente si y slo si es acotada y
{ } { }
n n
n
a a inf
lim
=

.
Demostracin.
i) Si K K
n
a a a
2 1
es acotada superiormente, tiene supremo L ,
entonces, para para 0 > , existe N tal que si
N
a L N n < , y N n a a
n N
para por ser creciente, entonces
N n a a L
n N
< para , de donde
N n a L
n
< < para 0
Por lo tanto { } { }
n n
n
a L a sup
lim
= =

.
ii) en forma similar al anterior.

De pendiendo de la expresin algebraica de la sucesin, para justificar la
monotona y el acotamiento se puede hacer aplicar una de las opciones
- Derivada
16
- Desigualdades
- Induccin matemtica

Casos con derivada
Ejemplo. { }
)
`

= 1 : n
e
n
a
n
n

Consideramos
x
e
x
x f = ) ( , como
x x
x
x
x x
e
x
e
x e
e
xe e
x f

=

=
1 ) 1 (
) (
2 2
de donde 1 para 0 ) ( > < x x f , es decir
es decreciente, y { }
)
`

=
n n
e
n
a est acotada inferiormente por 0.
Por lo tanto es convergente.
Como 0
1
lim lim
= =

x
x
x
x
e e
x
usando Lhopital.
0
lim
=

n
n
e
n


Ejemplo. { }
)
`

= 1 :
1
1 n
n
a
n

Consideramos
x
x f
1
1 ) ( = , como
( )
0
2
1
) (
3
> =
x
x f es decir es creciente,
y { }
)
`

=
n
a
n
1
1 est acotada superiormente por 1.
Ya que 1
1
1 <
n
para todo N n
Por lo tanto { }
)
`

=
n
a
n
1
1 es convergente y

1
2
1
lim
= |

\
|


n
n


Casos con desigualdades
Ejemplo. { }
)
`

+
+
= 1 :
1
1 3
n
n
n
a
n

Es creciente, se puede demostrar que
n
n
n n
a
a
a a
1
1
1 0 0
+
+
.
Consideremos 1
2 7 3
4 7 3
1 3
1
2
4 3
1
1 3
2
1 ) 1 ( 3
2
2
1
>
+ +
+ +
= |

\
|
+
+
+
+
=
+
+

+
+ +
=
+
n n
n n
n
n
n
n
n
n
n
n
a
a
n
n

Se satisface porque es equivalente a
17
2 4 2 7 3 4 7 3
2 2
> + + > + + n n n n lo cual es verdadero.
La sucesin est acotada superiormente por 3:
Porque 3 1 3 3 ) 1 ( 3 1 3 3
1
1 3
< + = + < + <
+
+
= n n n
n
n
a
n
, lo cual es
verdadero.
Por lo tanto la sucesin { }
)
`

+
+
=
1
1 3
n
n
a
n
es convergente.
Y 3
1
1 3
lim
= |

\
|
+
+

n
n
n


Ejemplo. { }
)
`

+
=
1 3
2
n
n
a
n

Es decreciente, se puede demostrar que
1
1
1 0 0
+
+

n
n
n n
a
a
a a .
Consideremos
0
) 4 3 )( 1 3 (
2
) 4 3 )( 1 3 (
2 8 6 8 6
) 4 3 )( 1 3 (
) 1 3 )( 2 2 ( ) 4 3 ( 2
4 3
2 2
1 3
2
1 ) 1 ( 3
) 1 ( 2
1 3
2

2 2
1
>
+ +
=
+ +
+ + +
=
+ +
+ + + +
=
+
+
+
+
=
+ +
+
+
+
=
+
n n n n
n n n n
n n
n n n n
n
n
n
n
n
n
n
n
a a
n n

lo cual es verdadero.
La sucesin est acotada inferiormente por
3
2
:
Porque n n n n
n
n
a
n
6 2 6 ) 2 ( 3 ) 1 3 2( -
1 3
2
3
2
< +
+
= , lo cual es
verdadero.
Por lo tanto la sucesin { }
)
`

+
=
1 3
2
n
n
a
n
es convergente.
Y
3
2
1 3
2
lim
= |

\
|
+

n
n
n


Casos con Induccin matemtica
Ejemplo. la sucesin definida en forma recursiva ) 6 (
2
1
, 2
1 1
+ = =
+ n n
a a a
Es creciente: induccin sobre n.
4 ) 6 2 (
2
1
2
2 1
= + = < = a a
Hiptesis de induccin:
1 +
<
n n
a a
P.D.
2 1 + +
<
n n
a a
Por hiptesis
1 +
<
n n
a a
18
Entonces 6 6
1
+ < +
+ n n
a a
) 6 (
2
1
) 6 (
2
1
1
+ < +
+ n n
a a es decir
2 1 + +
<
n n
a a .

Es acotada por 6:
6 2
1
< = a
Hiptesis de induccin: 6 <
n
a
P.D. 6
1
<
+ n
a
Por hiptesis 6 <
n
a
Entonces 12 6 6 6 = + < +
n
a
6 ) 12 (
2
1
) 6 (
2
1
= < +
n
a es decir
6
1
<
+ n
a .
Por lo tanto la sucesin es convergente.

Adems
n
n
n
n
a L a
lim lim 1

= = implica
) 6 (
2
1
2
6
lim lim 1
+ = |

\
| +
= =

L
a
L a
n
n
n
n
, por lo que
6 o , 6 2 = + = L L L , as que 6
lim
= =

L a
n
n
.

Ejemplo. La sucesin definida en forma recursiva
n n
a a a 3 , 1
1 1
= =
+

Es creciente: induccin sobre n.
3 1
2 1
= < = a a
Hiptesis de induccin:
1 +
<
n n
a a
P.D.
2 1 + +
<
n n
a a
Por hiptesis
1 +
<
n n
a a
Entonces
1
3 3
+
<
n n
a a
1
3 3
+
<
n n
a a es decir
2 1 + +
<
n n
a a .

Es acotada por 3:
3 1
1
< = a
Hiptesis de induccin: 3 <
n
a
P.D. 3
1
<
+ n
a
Por hiptesis 3 <
n
a
Entonces 9 ) 3 ( 3 3 = <
n
a
19
3 9 3 = <
n
a es decir
3
1
<
+ n
a
Por lo tanto la sucesin es convergente.

Adems
n
n
n
n
a L a
lim lim 1

= = implica
( )
n
n
n
n
n
n
a a L a
lim lim lim
3 3
1

+

= = = , por lo que
3 o 0 0 3 o , 3
2 2
= = = = L L L L L L , as que 3
lim
= =

L a
n
n
.


Teorema. Del valor absoluto. Sea { }
n
a una sucesin.
Si 0
lim
=

n
n
a entonces 0
lim
=

n
n
a
Demostracin.
Como 0
lim
=

n
n
a entonces 0
lim
=

n
n
a , y
n n n
a a a por teorema del sndwich, se sigue.

Ejemplo. { }
)
`

= 1 :
1
) 1 (
2
n
n
a
n
n

Como 0
1
1
1
) 1 (
2 2 lim lim
=
+
=
+

n n
n
n
n
entonces 0
1
) 1 (
2 lim
=
+

n
n
n
.

Teorema. Prueba de la razn. Sea { }
n
a una sucesin.
i) Si 1
1
lim
<
+

n
n
n
a
a
entonces 0
lim
=

n
n
a .
ii) Si 1
1
lim
>
+

n
n
n
a
a
entonces { }
n
a diverge.
iii) Si 1
1
lim
=
+

n
n
n
a
a
, no aplica el criterio
Demostracin.
i) Sea 1
1
lim
< =
+

n
n
n
a
a
L y 1 que tal < < r L R r ,
Tomamos 0 > = L r , entonces existe N tal que
N n L r L
a
a
n
n
> = <
+
para
1
, de aqu

20
L r L
a
a
r L
n
n
< <
+1
,

r
a
a
n
n
<
+1
de la segunda desigualdad,
N n a r a
n n
> <
+
para
1
, luego recursvamente
n n n
a r a r a
2
1 2
< <
+ +

n
k
k n
a r a <
+

O
n
k
k n n
k
a r a a r < <
+

Tomando el lmite cuando k
Como 1 0 < < r , por el teorema del sndwich, se sigue 0
lim
=

n
n
a .

ii) Sea 1
1
lim
> =
+

n
n
n
a
a
L y 1 que tal > > r L R r ,
Tomamos 0 > = r L , entonces existe N tal que
N n r L L
a
a
n
n
> = <
+
para
1
, de aqu

r L L
a
a
L r
n
n
< <
+1


n
n
a
a
r
1 +
< de la primera desigualdad,
N n a a r
n n
> <
+
para
1
, luego recursvamente
2 1
2
+ +
< <
n n n
a a r a r
k n n
k
a a r
+
<
Como 1 > r ,
k
r diverge, { }
k n
a
+
tambin diverge.

Ejemplo. { }
)
`

= 1 :
7
) 1 (
n
n
a
n
n
n

1
7
1
7
1
) 1 (
7
.
7
) 1 ( ) 1 (
lim lim lim 1
1
1
< =
+
=

+
=

+
+

n
n
n
n
a
a
n
n
n
n
n
n
n
n
n

Por lo tanto
0
7
) 1 (
lim
=

n
n
n
n


21
Ejemplo. { }
)
`

=
!
2
n
a
n
n

1 0
1
2
2
!
)! 1 (
2
!
2
)! 1 (
2
lim lim lim lim
1 1
1
< =
+
= |

\
|
+
=
+
=

+

+

+

n
n
n n n a
a
n
n
n
n
n n
n
n
n
n

Por lo tanto
0
!
2
lim
=

n
n
n
.

Ejemplo. { }
)
`

=
n
n
n
a
2
3

1
2
3
2
3
3
2
2
3
2
3
2
3
lim lim lim lim 1
1
1
1
1
> = =
|
|

\
|
= =

+
+

+
+

+
n
n
n
n
n
n
n
n
n
n
n
n
n
n
a
a

Por lo tanto { }
)
`

=
n
n
n
a
2
3
es divergente.

El criterio no se aplica cuando 1
1
lim
=
+

n
n
n
a
a
ya que existen sucesiones que
satisfacen este lmite pero unas son convergentes y otras no.

Ejemplo. { }
)
`

= 1 :
) ln(
n
n
n
a
n

=
+
=
+
+
=
+
+
=

) ln(
) 1 ln(
) ln(
) 1 ln(
1 ) ln(
.
1
) 1 ln(
lim
lim lim lim lim
1
n
n
n
n
n
n
n
n
n
n
a
a
n
n n n
n
n
n

Aplicando LHopital
1
) /( 1
) 1 /( 1
) ln(
) 1 ln(
lim lim
=
+
=
+

n
n
n
n
n n

Y directamente

=

n
n
n
) ln(
lim

Aplicando LHopital

0
2 2
2
1
/ 1 ) ln(
lim lim lim lim
= = = =

n n
n
n
n
n
n
n n n n

es convergente.

Ejemplo. { }
)
`

+
= 1 :
1
2
n
n
n
a
n

22
1
1
2 2
1 1
1 ) 1 ( 1
1
1 ) 1 (
2 3
2 3
2
2 2 2
1
lim
lim lim lim
=
+ + +
+ +
=
|

\
|
+ +
+ +
=
+

+
+ +
=

n n n
n n n
n
n
n
n
n
n
n
n
a
a
n
n n
n
n
n

Sin embargo
=
+

n
n
n
1
2
lim
diverge.

Unas sucesiones especiales son las llamadas sucesiones de Cauchy
Su manejo especial nos proporciona elementos para trabajar sucesiones
ms complicadas.

Definicin. Sucesin de Cauchy.
Una sucesin { }
n
a se llama sucesin de Cauchy, si para cada
0 existe 0 > > N tal que si N n m > ,
Entonces <
n m
a a

Teorema. Si una sucesin { }
n
a es convergente entonces es de Cauchy.
Demostracin. Sea L a
n
n
=

lim
para 0 existe 0 2 / y , 0 > > > N tal
que si N n m > ,
Entonces
2
1 y
2

< <
m n
a L a por lo tanto




< + < +
+ =

2 2
n m
n m n m
a L L a
a L L a a a

Por lo tanto { }
n
a es una sucesin de Cauchy.

Ejemplo. { }
)
`

+
=
n
n
a
n
1

Como 1
1
lim
=
+

n
n
n
para 0 existe 0 > > N tal que si N n m > ,
Entonces
2
1
1
y
2
1
1
<
+
<
+
m
m
n
n
por lo tanto




< + <
+
+
+

+
+
+
=
+

+
=

2 2
1
1 1
1
1
1 1
1 1 1
n
n
m
m
n
n
m
m
n
n
m
m
a a
n m

23
Por lo tanto { }
)
`

+
=
n
n
a
n
1
es sucesin de Cauchy.

El recproco del teorema tambin es cierto, cuya demostracin no est al
alcance de los elementos de este curso.

Teorema. Si una sucesin { }
n
a es de Cauchy entonces es convergente.

En el siguiente ejemplo usaremos la desigualdad
1
2
1
!
1

n
n
ya que se puede
demostrar por induccin matemtica que ! 2
1
n
n

Ejemplo. { }
)
`

+ + + + + =
!
1
! 3
1
! 2
1
1 1
n
a
n
K es una sucesin de Cauchy.
Anlisis: Sean n m > naturales y consideremos
|

\
|
+ + + + + + +
+
+ + + + + + =
!
1
! 3
1
! 2
1
1 1
!
1
)! 1 (
1
!
1
! 3
1
! 2
1
1 1
n m n n
a a
n m
K K K

Podemos eliminar las barras de valor absoluto porque su argumento es
positivo
|
|

\
|

=
|

\
|
+ + + =
+ + + + +
+
=

+
) 2 / 1 ( 1
) 2 / 1 ( 1
2
1
2
1
2
1
1
2
1
2
1
2
1
2
1
!
1
)! 1 (
1
1
1 1
n m
n n m n
m n n n m
m n
a a
K
K K

Se factorizo y se aplico la frmula para una suma geomtrica
1 1
2
1
2
1
1
2
1

< |

\
|
=
n n m n n m
a a (1)
La ltima desigualdad porque 1
2
1
1 <
n m


Y se necesita que <
1
2
1
n
se satisface por la propiedad arquimediana, ya
que

<
1
2
1
n
si y solo si
2 2
1
<
n
si y solo si
2 log
2
2
n n
e = <


si y solo si 2 log
2
log n <

y n <
2 log
2
log


Justificacin: para 0 > tomamos
2 log
2
log

= N
24
Si n N < =
2 log
2
log

entonces regresando el razonamiento anterior
se cumple <
1
2
1
n

que sustituimos en (1)
< <
1
2
1
n n m
a a
Por lo tanto la sucesin { }
)
`

+ + + + + =
!
1
! 3
1
! 2
1
1 1
n
a
n
K es de Cauchy y
converge.


Ejemplo. { }
)
`

+ + + =
+
!
) 1 (
! 3
1
! 2
1
1
1
n
a
n
n
K es una sucesin de Cauchy.
Anlisis: Sean n m > naturales y consideremos
!
) 1 (
)! 1 (
) 1 (
!
) 1 (
! 3
1
! 2
1
1
!
) 1 (
! 3
1
! 2
1
1
1 2
1 1
m n
n m
a a
m n
n m
n m
+ +
+ +

+ +
+

=
|
|

\
|
+ + +

+ + + =
K
K K

Aplicamos la desigualdad del tringulo
!
) 1 (
)! 1 (
) 1 (
1 2
m n
a a
m n
n m
+ +

+ +
+

L
1 1
2
1
2
1
2
1
!
1
)! 1 (
1
+
+ + + + +
+
=
m n n n m
m n
a a K K
|
|

\
|

=
|

\
|
+ + + =


) 2 / 1 ( 1
) 2 / 1 ( 1
2
1
2
1
2
1
1
2
1
1
n m
n n m n
K
Se factorizo y se aplico la frmula para una suma geomtrica
1 1
2
1
2
1
1
2
1

< |

\
|
=
n n m n n m
a a
Lo siguiente es igual que el ejemplo anterior
Por lo tanto la sucesin { }
)
`

+ + + =
+
!
) 1 (
! 3
1
! 2
1
1
1
n
a
n
n
K es de Cauchy y
converge.

Ejemplo. { }
)
`

+ + + + =
n
a
n
1
3
1
2
1
1 K no es una sucesin de Cauchy.
Anlisis: Sea n m > y consideremos
25
m n
n m n n
a a
n m
1
) 1 (
1
1
3
1
2
1
1
1
) 1 (
1 1
3
1
2
1
1
+ +
+
=
|

\
|
+ + + + + +
+
+ + + + + =
K
K K K

para
1 , 2 para y
) 1 (
1 1
1 +
+
< < + m n
n m
m n K por lo tanto

m
n m
m m m
a a
n m

= + + + >
1 1 1
K
En particular si n m 2 =
2
1
2 2
2
2
= =

>
n
n
n
n n
a a
n n
no se satisface que <
n n
a a
2
para todo 0 >
arbitrario, por lo tanto la sucesin no es de Cauchy.
Y tampoco es convergente.

Bibliografa:
Haaser, LaSalle, Sullivan. Anlisis Matemtico. Vol. 2. Ed. Trillas
Bartle. Anlisis Matemtico. Ed Limusa.
Spivak Michael. Clculus. Ed. Reverte.
Spiegel Murray. Clculo. Shaums, Mc Graw Hill.