Sucesiones PDF

Tericas de Anlisis Matemtico (28) Prctica 3 Sucesiones
Prctica 3
Sucesiones
1. Introduccin
En la unidad anterior, hemos introducido el lenguaje con el que nos manejaremos en este curso.
Estudiaremos fenmenos que se pueden representar por medio de funciones numricas y usaremos
los nmeros reales para medir e introducir los conceptos en los que se basa el clculo diferencial e
integral, y que nos permitir abordar los dos problemas del clculo.
Las sucesiones son una clase especial de funciones con las que podremos preparar el camino para
formular y entender el concepto de lmite, objetivo central de esta unidad.
Las sucesiones son objetos matemticos muy sencillos que se apoyan en la ordenacin de un
conjunto (finito o infinito) de nmeros reales. Por ejemplo, Galileo observ y anot cuidadosamente
el espacio que en cada segundo, recorra una bolita al caer por un plano inclinado. Observando la
sucesin de nmeros que obtuvo concluy que el espacio recorrido en t segundos era proporcional
al cuadrado del tiempo ( at 2 ) donde la constante a dependa de la inclinacin del plano.
Las sucesiones sirven, por ejemplo, para estudiar, representar y predecir los fenmenos que ocurren
o se miden en el tiempo, en forma intermitente. El lenguaje de las funciones y de los nmeros reales
sern vitales para su comprensin y para la obtencin de propiedades que nos permitirn el
desarrollo de los conceptos centrales del curso.
1.1. Un problema a modo de presentacin. La raz cuadrada de 2

El problema consiste en encontrar un algoritmo (una receta) que calcule la raz cuadrada de un
nmero dado (por ejemplo 2 ), utilizando slo las cuatro operaciones bsicas.
Una solucin al problema se basa en una idea geomtrica:
Se construyen sucesivos rectngulos todos de rea 2. La base de cada uno de ellos es el promedio de
la base y la altura del anterior.
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 1

1 2 2 2
2 2
1,5 2 1, 4167 1, 4118 2 1, 4118
1,5 1, 5
1 1 2 2
1, 5 1, 5
2 1, 5
1, 4167
2
Designamos con x1 a la medida de la base del primer rectngulo, que elegimos que fuera igual a 1,
con x2 a lo que mide la base del segundo rectngulo, con x3 a la del tercero y as sucesivamente.
Entonces resulta:
2 2 2
x1 x2 xn
x1 x2 xn
x1 1 , x2 1,5 , x3 1, 4167 ,., xn 1
2 2 2
Geomtricamente se observa que los rectngulos se van aproximando a un cuadrado de rea 2, por
lo cual las bases xn se van aproximando al lado del cuadrado de rea 2, es decir xn 2 . ( xn se
aproxima a 2 ).
Parte del objetivo de esta unidad, ser darle sentido preciso a esta idea de que una lista de nmeros
(los xn en este caso) se aproximen a un lmite ( 2 en el ejemplo que estamos tratando).
1.2. Ejemplos de sucesiones

Consideramos los siguientes ejemplos:
1 1 1
1. 1, , , , ...
2 3 4
2. 1, 3, 5, 7, ...
Informalmente, una
1 1 1 1 sucesin
3. , , , ,...
2 4 8 16 es una lista ordenada e
1 2 3 4 infinita de nmeros
4. , , , , ...
2 3 4 5 reales.
5. 0, 1, 0, 1, ...
6. 2, 4, 6, 8, ...

Nos interesar el comportamiento a la larga de cada lista de nmeros. En otras palabras, nos
interesar saber si, a medida que avanzamos en la lista de nmeros, stos se parecen o aproximan a
un nmero determinado. Habr que dar ms precisin a esta idea.
Observemos por el momento, que una lista ordenada de nmeros se puede describir con el lenguaje
de las funciones que vimos en el primer mdulo, usando como conjunto ordenador a los nmeros
naturales.
Definicin: Una sucesin es una funcin a : , se escribe a (n) an .
Se lee a sub n. Indica el nmero real de la lista en la posicin n.
Observemos la lista de sucesiones con las que comenzamos esta seccin:

1 1 4 1000
En la sucesin 1. a3 y a100 , en la sucesin 4. a4 y a1000 .
3 100 5 1001
Lo que interesar es el comportamiento de an para valores grandes de n.
3n 3
Ejercicio. Dada la sucesin an 2 . Encontrar los primeros cinco trminos de la sucesin y
n
dar el valor de a10 .
Solucin
El primer trmino se obtiene reemplazando en la frmula de an , la variable n por el valor n 1
313 1
a1 2
32
1 9
Los siguientes trminos se obtienen reemplazando la variable n por los valores 2, 3, 4 y 5

respectivamente.
323 31 1
a2
22 4 12
333 30 1
a3
32 9 9

343 3
a4
42 16
353 32 9
a5 2

5 25 25
De la misma forma, se obtiene el dcimo trmino de la sucesin evaluando en su frmula con el
valor n 10
3103 37
a10 21,87
102 100
1.3. Trmino general

Es la expresin de an para cada n. Analizamos cada una de las sucesiones de 1.2
1 1 1 1
1. an 1, , , , ...
n 2 3 4
2. an 2n 1 1, 3, 5, 7, ...
1 1 1 1 1
3. an (1) n , , , ,...
2n 2 4 8 16
n 1 2 3 4
4. an , , , , ...
n 1 2 3 4 5
0 si n es impar
5. an 0, 1, 0, 1, ...
1 si n es par
6. an (1) n 1 2n 2, 4, 6, 8, ...
Ejercicio. Tenemos la sucesin an cuyos primeros trminos son

1 1 1
1,1, , 2, ,3, , 4...
2 3 4
a) Encontrar el trmino 10 y el trmino 11.
b) Encontrar el trmino general. Cules son los valores de a100 y de a101 ?

Solucin
a) Como tenemos ocho trminos de la sucesin, basta agregar tres trminos, para llegar al trmino
10 y 11. Tenemos en cuenta el comportamiento que se infiere de los primeros trminos y
destacamos en color los trminos pedidos:
1 1 1 1 1
1,1, , 2, ,3, , 4, , 5, ...
2 3 4 5 6
b) Se observa que la sucesin sigue un patrn para las posiciones impares diferente al patrn
que sigue para las posiciones pares. Veamos esto.
1 1 1
Destacamos las posiciones impares: 1,1, , 2, ,3, , 4...
2 3 4
1 1 1
Destacamos las posiciones pares: 1,1, , 2, , 3, , 4...
2 3 4
En el caso de las posiciones impares se tiene:
1 1 1
a1 1 , a3 a21 , a5 a2*21 , a7 a2*31
2 3 4
1
En general: a2 n 1
n 1
En el caso de las posiciones pares se tiene:
a2 1 , a4 a2*2 2 , a6 a2*3 3 , a8 a2*4 4
En general: a2 n n
En sntesis, el trmino general de la sucesin se puede presentar como
k / 2 si k 2n

ak 2
k 1 si k 2n 1
Cambiamos el nombre de
la variable para distinguir
los dos casos
Para calcular a100 reemplazamos en el trmino general teniendo en cuenta que 100 2 50 .
a100 50
Lo mismo hacemos para calcular a101 teniendo en cuenta ahora que 101 2 50 1 .
1
a101
51

Con lo trabajado hasta aqu, se pueden hacer los ejercicios 1 y 2 de la Prctica 3.
1.4. Representacin grfica

Como una sucesin es una funcin admite una representacin grfica. Veamos alguno de los
ejemplos de sucesiones de 1.2:
1 1 1
Sucesin 1. 1, , , , ...
2 3 4
1
1
an
n
12
1
13 an 0
14 n
1n
1 2 3 4 n
1 1 1 1
Sucesin 3. , , , ,...
2 4 8 16
1
an (1) n 0
2n
14
1 16
1 2 3 4 n
1 8
1 2

1 2 3 4
Sucesin 4. , , , , ...
2 3 4 5
1
an
45
34
23
12 n
an 1
n 1
1 2 3 4 n
2. Nocin de lmite
Intuitivamente, una sucesin tiende a un valor determinado L si los valores de an estn cerca de L
cuando n es grande. Un poco ms precisamente: el error que se comete al aproximar L con an es
pequeo (menor que psilon ( )) si n es bastante grande (ms que n0 en el grfico)
L
Idea geomtrica
L
A partir de n0 la franja
L
verde capta a todos los an
n0
La definicin precisa de lmite es la siguiente:
Se dice que an tiene lmite L si, cualquiera sea 0 , existe un nmero natural n0 tal que si
n n0 , entonces
L an L (o sea an L si n n0 )
Se escribe lim an L o an L , se lee el lmite de a sub n cuando n tiende a infinito es L.

n

Tambin se dice en tal caso que an ( L , L ) para casi todo n (pctn). En general, una
propiedad vale para casi todo n si vale para todo n salvo un nmero finito de valores de n. Se pone
pctn.
Un anlisis ms detallado de la definicin de lmite se puede encontrar en la entrada Nocin de
lmite.
Es un buen momento para hacer los ejercicios 3 y 4 de la Prctica 3.
2.1. Sucesiones divergentes

No todas las sucesiones convergen a un lmite L .
La sucesin 2 de los ejemplos 1.2, diverge a ms infinito (o tiende a ms infinito), la sucesin 5,
oscila finitamente y la sucesin 6. oscila infinitamente.
Ejemplos de sucesiones que no convergen

an 2n 1 tiende a ms infinito.
0 si n es impar
bn oscila finitamente.
1 si n es par
cn (1) n 1 2n oscila infinitamente.
an 2n 1 1, 3, 5, 7, ...
2n 1
lim(2n 1)
n
K Para todo K 0 existe

5
n0 tal que si n n0 ,
3 2n 1 K
(en el sector verde)
1
1 2 3 n0 n

0 si n es impar
bn 0, 1, 0, 1, ...
1 si n es par
lim bn no existe
1 n
En este caso se dice que

an oscila finitamente
1 2 3 4
cn (1) n 1 2n 2, 4, 6, 8, ...
Se dice que
cn tiende a infinito
6 (sin especificar el signo) o
que oscila infinitamente
2
1 2 3 4
4

3. Propiedades del lmite

La mayora de las veces, el problema consistir en calcular el valor de lim an . La definicin no ser
n
til para ello porque presupone conocer el valor de L, de modo que nos valdremos de propiedades y
diversos recursos algebraicos para poder determinar el valor del lmite en los ejemplos que
estudiemos. La definicin de lmite es imprescindible para poder obtener esas propiedades y para
introducir casi todos los conceptos de la materia que se basan en esta nocin. En la prctica no
haremos un uso directo de dicha definicin.
Las siguientes propiedades se deducen de la definicin de lmite y nos servirn para desarrollar
tcnicas que nos permitan calcular algunos lmites.
3.1. Unicidad del lmite
Si as fuera todos los an a

L1
partir de n n0 tendran que
estar simultneamente en
L2 las dos franjas y eso no es
posible.
1 2 3 4 n0
Una sucesin no puede converger a dos lmites distintos
3.2. Acotacin de las sucesiones convergentes
Si an es convergente, entonces el conjunto A an : n es acotado
M Se elige 1 o cualquier otro.

Una vez que an queda dentro
L 1
de la franja verde para n n0 ,
L es fcil encontrar cotas
L 1 superiores e inferiores de A.
M es cota superior y m es cota
m
inferior de A.
n0

3.3. Conservacin de signo
Si an converge a un lmite L mayor que cero, entonces la sucesin an es mayor que cero para
casi todo n. Es decir:
Si lim an L 0 entonces an 0 pctn
n
Se elige L 2 , de modo
LL 2 que L L 2 L 2 0
Esto asegura que la franja
L
verde est por encima del
LL 2 eje de las x.
As an 0 si n n0
n0
3.4. lgebra de lmites

En lo que sigue consideremos dos sucesiones convergentes
an a y bn b
Hablando informalmente, para valores grandes de n los valores de an se parecen al nmero a,

mientras que los valores de bn se parecen al nmero b. Cabe preguntarse qu sucede cuando
realizamos con dichas sucesiones alguna operacin elemental como suma o producto. En otras
palabras, tambin informalmente hablando, podemos pensar que an es una aproximacin de a y que
bn es una aproximacin de b. Es esperable que an bn sea una aproximacin de a b y que an bn
sea una aproximacin de ab .
El siguiente teorema recoge esta idea y resulta ser una herramienta eficaz para el clculo de lmites.
lgebra de lmites. Si an a y bn b , entonces

an bn a b
an bn ab . En particular k an ka si k
an a
Si b 0 entonces
bn b
an a
b
Si a 0 entonces an n ab

3
1 2n
Ejemplo. Calcular lim .
n n n 1
Solucin
Tenemos que
1
lim 0 Sucesin 1 de los ejemplos 1.2.
n n
2n n
lim 2 lim 2 1 2 Sucesin 4 de los ejemplos 1.2.
n n 1 n n 1
Entonces:
3
1 2n 3
lim (0 2) 8
n n n 1
3n 2 2
Ejercicio. Calcular el lim
n 2n 2 5n
Solucin
El lgebra de lmites requiere que las sucesiones involucradas sean convergentes a un nmero real.
Por ello, en este ejemplo, no podemos aplicar el lgebra de lmites en forma directa ya que un
primer anlisis de la sucesin nos dice que tanto numerador como denominador tienden a ms
infinito y el teorema de lgebra de lmites se refiere a valores numricos del lmite. Se suele decir

que estamos en presencia de una indeterminacin en este caso, del tipo " " entendiendo este

smbolo como el cociente de sucesiones que tienden ambas a infinito. El nombre de
indeterminacin es porque no hay, como veremos en los prximos ejemplos, una propiedad general
que nos indique el valor del lmite en una situacin como esta.
Sin embargo, no hay que desesperar: hablando otra vez
Se parecen en trminos relativos
informalmente, para valores grandes de n, (3n 2 2) se
Si, por ejemplo n 1000 resulta
parece en trminos relativos a 3n 2 as como
3n 2 2 3000 002 y 3n 2 3000 000
(2n 2 5n) se parece a 2n 2 . En otras palabras, para
mientras que
valores grandes de n podemos despreciar el trmino 2n 5n 2005000 y 2n 2 2000000
2
2 en el numerador y el trmino 5n en el denominador

frente a los trminos 3n 2 y 2n 2 respectivamente. Para poner de manifiesto esta idea en forma
algebraicamente correcta, sacamos factor comn, tanto en el denominador como el numerador, a
n 2 y simplificando luego:

2 2
n 2 (3 2 ) 3 2
3n 2 2 n lim n
lim lim
n 2n 2 5n n 2 5 n 5
n (2 ) 2
n n
Factor comn n 2 en Se simplifica el

el numerador y en el
factor n 2
denominador.
Ahora estamos en condiciones de aplicar el teorema de lgebra de lmites ya que el numerador

tiende a 3 y el denominador tiende a 2.
2
2 3
3n 2 n2 3
lim 2 lim
n 2n 5n n 5 2
2
n
3n 2 2
n 2n 3 5n
Solucin
Valen las mismas consideraciones que en el ejercicio anterior. Estamos ante una indeterminacin

del tipo " " . Usamos la misma idea de sacar como factor comn al trmino de mayor grado (que es

el que crece ms rpido) en el numerador y en el denominador para luego simplificar y ver si
estamos en condiciones de aplicar el lgebra de lmites.
2 2 2
n 2 (3 2 ) 3 2 3 2
3n 2 2 n lim n lim 1 n
lim lim
n 2n 3 5n n 3 5 n 5 n n 5
n (2 2 ) n(2 2 ) 2 2
n n n
Factor comn n 2 en Se simplifica el Se prepara para

el numerador y n3
factor n 2 usar lgebra de
en el denominador. lmites
Se puede ahora aplicar lgebra de lmites ya que

2
3
1 n2 3
0 y
n 5 2
2 2
n

2
2 3
3n 2 1 n2 0 3 0
Entonces lim 3 lim
n 2n 5n n n 5 2
2 2
n
n4 1
Calcular el lim
n 25n 2 n
Solucin

Nuevamente estamos ante una indeterminacin del tipo " " . Misma tcnica que en los ejemplos

anteriores (sacar factor comn el trmino que va ms rpido a infinito, tanto en el numerador como
en el denominador, simplificar y preparar para usar lgebra de lmites)
1 1 1
4 n 4 (1 ) n 2 (1 4 ) 1 4
n 1 4
n lim n lim ( n 2 )( n )
lim lim
n 25n 2 n n 2 1 n 1 n 1
n (25 ) 25 25
n n n
1
25
Sin embargo, en este ejemplo hay una pequea sutileza. Si prestamos atencin al ltimo lmite,
1
1
vemos que el primer factor ( n 2 ) tiende a ms infinito mientras que el segundo ( n 4 ) tiende a
1
25
n
1
. Si bien no podemos aplicar el teorema de lgebra de lmites que requiere que ambos lmites
25
sean nmeros, s podemos enunciar un resultado ad hoc para este caso que es verdadero y que se
deduce a partir de la definicin de lmite:
Si an y bn L 0 entonces an bn
Aplicado a nuestro caso, resulta

1
1 4
n4 1 n )
lim lim ( n 2 )(
n 25n 2 n n 1
25
n

Veamos un ejemplo ms del tipo " "


n2 1 n
Calcular el lim
n 5n 2
Solucin
La diferencia con los ejemplos anteriores es que no es el cociente de dos polinomios. Sin embargo,
haciendo un anlisis intuitivo vemos que si despreciamos el 1 (dentro de la raz) del numerador,
para valores grandes de n, ste se parece a 2n y si despreciamos el 2 del denominador nos queda
5n de modo que, siempre intuitivamente, el lmite del cociente es 2/5. Como en los casos anteriores,
tenemos que hacer una cuenta que ponga de manifiesto esta idea intuitiva. Tal como lo hicimos
previamente, sacamos factor comn a n tanto en el numerador como en el denominador,
simplificamos y vemos si el lgebra de lmites es aplicable despus de estas operaciones
algebraicas.
1 1
n( 1 1) 1 2 1
n2 1 n n 2
n
lim lim lim
n 5n 2 n 2 n 2
n(5 ) 5
n n
Se saca factor comn n
teniendo en cuenta cmo
opera la raz cuadrada:
n algo n 2 algo
Quedamos en condiciones de aplicar el lgebra de lmites:
1
2 1 1
n 1 n n2 11 2
lim lim
n 5n 2 n 2 5 5
5
n
Con lo visto hasta aqu se pueden hacer los ejercicios 5 y 6 de la Prctica 3.
3.5. Indeterminaciones

Los ejemplos precedentes son todos del tipo " " . Sin embargo, los resultados fueron variados

( 0, y 5 2 ). En otras palabras no podemos predecir el valor del lmite en estos casos en forma
general. Es necesario, en cada caso, aplicar alguna tcnica algebraica que permita salvar la
indeterminacin y calcular el lmite. No es el nico tipo de indeterminacin con el que nos vamos a
encontrar.

Por ejemplo, el producto de dos sucesiones, una de ellas que tienda a cero y la otra que tienda a
infinito (cero por infinito o "0 " ), constituye tambin una indeterminacin. Analicemos los
siguientes ejemplos:
1 1
an 0 , bn n : an bn n 11
n n
1 1 2
an 0 , bn n 2 : an bn n n
n n
1 1 1
an 0 , bn n : an bn n 0
n2 n 2
n
En estos observamos que no existe una propiedad que pueda predecir sobre un lmite del tipo
"0 " .
Los lmites de los siguientes tipos, aunque no son todos, constituyen indeterminaciones:

" " " "

0
"0 " " "
0
"()0 " "00 "
En todos los casos, hay que entender estos smbolos como el lmite de la operacin aritmtica
indicada en cada caso, entre dos sucesiones.
Como vimos, el lgebra de lmites requiere que las sucesiones involucradas sean convergentes a un
nmero real. Cuando esto no ocurre, a veces se presentan indeterminaciones. En cada caso hay que
usar algn recurso algebraico que permita salvar la indeterminacin y calcular el valor del lmite.
Ejercicio. Calcular el lim n

n
n5 n
Solucin
No se puede aplicar el lgebra de lmites, porque de un primer anlisis surge que n y
n 5 n es de la forma infinito menos infinito que constituye una indeterminacin en s
misma.
Para salvar la indeterminacin y poder calcular el lmite, multiplicamos y dividimos por el
conjugado de n 5 n :

n5 n 5 n
n n5 n n n5 n n5 n

n5 n
El producto por conjugado

Cuando aparecen races " "

cuadradas es til usar la
identidad
( A B )( A B ) A2 B 2
( n 5 n )( n 5 n ) n 5 n 5
para eliminarlas.
Seguimos teniendo una indeterminacin, ya que el numerador tiende a ms infinito y el

denominador tambin. Pero estamos mejor que antes. Sacamos factor comn n en el numerador y
en el denominador:
5 n n5 5

n5 n 5 5
n( 1 1) 1 1
n n
Ahora estamos en condiciones de aplicar el lgebra de lmites: el numerador es igual a 5, la raz del
denominador tiende a 1. Entonces
5 5
lim n
n

n 5 n lim
n 5

2
1 1
n
3.5.1. Parecen pero no son determinaciones

En ocasiones no es posible aplicar el lgebra de lmites porque los lmites involucrados no son
finitos, sin embargo no estamos ante una indeterminacin. Tuvimos esa situacin en un ejemplo del
tipo " L " con L 0 . A continuacin damos algunas situaciones ms (incluyendo esta) donde se
puede saber el lmite a pesar de que los lmites involucrados no sean todos nmeros reales.
n
"() L " si L 0 Por ejemplo: lim n
n 3n 1
n2
"() " Por ejemplo: lim n
n n 1
"() oscila finitamente " Por ejemplo: lim (n cos(n))

n
1
0
" 0" Por ejemplo: lim n 0
n n 2 1
n
n
"(0) 0" Por ejemplo: lim 2 0
n n 1

Cada una de estas afirmaciones se puede demostrar a partir de la definicin de lmite. Haremos uso
de ellas libremente.
Hasta aqu estn en condiciones de resolver los ejercicios 7 y 8 de la Prctica 3.
3.6. Cero por acotado

Si bien los lmites del tipo "0 " resultan ser una indeterminacin y, por lo tanto, nada podemos
decir a sobre el valor del lmite sin salvar tal indeterminacin, s se puede decir algo cuando
estamos en presencia de un producto de una sucesin que tiende a cero por otra que est acotada. En
estos casos se obtiene una sucesin que tiende a cero. Es decir
Si an 0 y bn K entonces an bn 0
n
Ejemplo: Calcular el lim 1 ( 1)
n 1
n n 1
La expresin (1) n1 vale 1 o 1 segn la paridad de n. En particular est acotada: (1) n1 1 . Por
n 1
otra parte, lim 1 lim 0 . Usando la propiedad cero por acotado se obtiene
n n 1 n n 1

n n 1
lim 1 ( 1) 0
n n 1
7 cos( n3 5)
n n2
Solucin
En el Cuaderno de Anlisis Matemtico Funciones vimos que la funcin coseno tiene como
imagen al intervalo 1,1 . Es decir que vale
1 cos( x) 1 cualquiera sea el nmero real x
En particular 1 cos(n3 5) 1
Si multiplicamos por 7 esta ltima desigualdad nos queda

7 7 cos(n3 5) 7
En otras palabras, la expresin 7 cos(n3 5) est acotada. Entonces el lmite que nos piden calcular
lo podemos escribir como un producto para poder usar la propiedad recin enunciada:

1
lim (7 cos(n3 5))
n n2
Tiende a Est acotada

cero
1
As pensada, tenemos una sucesin que es producto de una que tiende a 0 ( ) por otra que est
n2
acotada ( 7 cos(n3 5) ). Entonces, podemos afirmar que
7 cos(n3 5)
lim 0
n n2
3.7. Propiedad del sndwich

Si dos sucesiones convergen a un mismo lmite L, entonces, cualquier sucesin comprendida entre
ambas, tambin converge a L.
Si bn an cn entonces lim bn lim an lim cn

n n n
1
Ejemplo: Calcular el lim 3 cos(3n 1)
n n
El coseno es una funcin que toma valores entre 1 y 1. Entonces vale

1 cos(3n 1) 1 entonces
1 1 1 Otra forma
cos(3n 1) entonces
n n n
1
1 1 1 lim 3 cos(3n 1)
3 3 cos(3n 1) 3 n n
n n n
1
3 lim cos(3n 1) 3
1 1 n n
Ahora bien: lim 3 lim 3 3 . Entonces
n n n n

Tiende a Est acotado
1 cero
lim 3 cos(3n 1) 3
n n

3.7.1. Sndwich en el infinito

La propiedad del sndwich se puede generalizar de la siguiente forma.
Si an bn y bn entonces an
3n 2 1
Ejemplo: Calcular el lim an sabiendo que an para todo n.
n 100n 5
3n 2 1
Calculamos el lim . Para ello, dividimos por n numerador y denominador:
n 100n 5
1
3n
3n 2 1 n . Entonces lim a .
lim lim n
n 100n 5 n 5 n
100
n
Estn en condiciones de resolver el ejercicio 9 de la Prctica 3.
4. Sucesiones montonas
Las sucesiones son funciones que tienen por dominio a los nmeros naturales. Estudiaremos
aquellas sucesiones que son funciones crecientes o decrecientes de su variable natural. Es decir:
an 1 an para (casi) todo n. En tal caso ser decreciente o
an 1 an para (casi) todo n. En tal caso ser creciente.
En ambos casos decimos que se trata de una sucesin montona.

La importancia de las sucesiones montonas radica en que siempre tienen lmite, ya sea ste finito o
infinito. Antes de enunciar con precisin este resultado, hacemos una observacin que ser de
utilidad en lo que sigue.
Si la sucesin es de trminos positivos se tiene que:

an 1
1 equivale a an decreciente.
an
an 1
1 equivale a an creciente.
an

Ejemplo. Determinemos si las sucesiones an (0,8) n y bn (0,8) n son montonas.

Solucin
La sucesin an (0,8) n tiene todos sus trminos positivos. Sus primeros trminos son:
a1 0,8 , a2 0,64 , a3 0,512 ... Aparentemente es decreciente, pero no alcanza con visualizar tres
trminos (ni un milln) para concluir que es decreciente. Sirve para hacer una conjetura. Para
demostrar que la misma es efectivamente cierta usamos la observacin precedente
an 1 (0,8) n 1
0,8 1
an (0,8) n
Recordemos que
An Anm
Am
an 1
Entonces, como 1 , la sucesin resulta decreciente .
an
En el otro caso, la sucesin no es de trminos positivos pues bn (0,8) n va cambiando de signo

segn sea n par o impar. Los primeros trminos de bn son b1 0,8 , b2 0,64 , b3 0,512 ... . Se
observa que bn 0 si n es impar y que bn 0 si n es par. Podemos concluir entonces que la sucesin
bn no es montona.
Este ejemplo nos muestra que no todas las sucesiones son montonas y que stas constituyen una
clase particular de sucesiones. El siguiente teorema nos dice cmo se comporta el lmite de una
sucesin montona.
4.1. Teorema sobre sucesiones montonas

El estudiar una clase particular de sucesiones nos permite decir ms sobre dicha clase. Este es un
recurso habitual de la matemtica: si no puedes decir mucho sobre un conjunto de objetos (en
nuestro caso las sucesiones), toma un subconjunto (las sucesiones montonas) y trata de decir algo
ms sobre ellos.
Si an es una sucesin creciente puede ser que el conjunto A an : n est acotado superiormente
o que no lo est. Para cada uno de estos dos casos se tiene el siguiente teorema.
a. Si A an : n est acotado superiormente, entonces existe lim an L .

n
b. Si A an : n no est acotado superiormente, entonces lim an .

n

De forma anloga, hay una versin del teorema cambiando creciente por decreciente, acotada
superiormente por acotada inferiormente y lim an por lim an .
n n
En otras palabras, el teorema dice que la sucesin no puede oscilar: o tiene lmite finito o tiende a
infinito (ms o menos segn sea creciente o decreciente).
El teorema es de los llamados teoremas de existencia, esto L sup an : n
es, asegura que el lmite existe (en el caso de acotacin)
pero no dice cunto vale.
El grfico ilustra
Aunque pueda parecer poca cosa, el slo hecho de saber el primer caso
que el lmite existe nos permitir en varios casos poder del teorema
calcularlo efectivamente.
La demostracin del teorema es un buen ejemplo de la lim an L
necesidad de contar con el axioma de completitud de los n
nmeros reales. La pods ver en la entrada Teorema de las sucesiones montonas.
4.2. Algunos ejemplos importantes

Estudiaremos algunos ejemplos importantes de sucesiones, no slo por los ejemplos en s, sino por
las tcnicas usadas para calcular sus lmites. Haremos uso del teorema recin enunciado sobre
sucesiones montonas.
an r n , 0 r 1
1 1
Si experimentamos con algn caso particular ( r , an , por ejemplo) nos podemos convencer
2 2n
de que la sucesin tiende a 0 ya que 2n crece a ms infinito. Veamos cmo este convencimiento se
puede plasmar en una demostracin.
an 1
La sucesin es de trminos positivos. Estudiamos el cociente a los efectos de compararlo con
an
1. Se tiene que
an 1 r n 1
n r 1 para todo n.
an r
Entonces, la sucesin es decreciente. Adems, dijimos que es de trminos positivos, por lo que
0 an , es decir, est acotada inferiormente.

El teorema nos dice entonces que existe el lmite lim an L 0 . Apostamos a (conjeturamos es
n
ms apropiado) que L 0 .
Estamos
razonando por el
Pues bien, veamos qu pasa si fuera L 0 . En tal caso, podemos aplicar el absurdo
an 1
teorema de lgebra de lmites al cociente y obtenemos la siguiente
an
contradiccin:
Por un lado:
an 1 nlim an 1 L
lim 1 ,
n a lim an L
n
n
lim a lim an L
n n 1 n
Por otro lado

an 1
lim lim r r
n a n
n
Como el lmite es nico, debe ser 1 r . Pero r 1 . Contradiccin!
Luego no queda otra que L 0 . Es decir
0 r 1 lim r n 0
n
Con una cuenta similar se obtiene que si
r 1 lim r n
n
5n 2 n
Calcular el lim
n 7 n 2
Solucin

Estamos ante una indeterminacin del tipo " " . En el numerador, el trmino que tiende ms

rpido a ms infinito es 5n , en el denominador es claramente 7 n . Pongamos esta idea de
manifiesto sacando como factor comn estos trminos en el numerador y el denominador
respectivamente
Recordar
n
5n 5

7n 7
2n 2n
n n 5n (1 ) n 1
5 2 5n lim 5 5n
lim n lim
n 7 2 n n 2 n 7 2
7 (1 n ) 1 n
7 7
Podemos usar ahora lgebra de lmites:

n
5 5
Por un lado 0 pues 0 1
7 7
2n
1 n
5 n 1 2 2
Por el otro 1 pues 0 y n 0
2 1 5 7
1 n
7
2
0 1
5
Entonces
2n
n 1
5n 2 n 5 5n 0 1 0
lim n lim
n 7 2 n 7 2
1 n
7
Es decir:
5n 2 n
lim 0
n 7 n 2
rn
bn , r 1
n
Otra vez tenemos una sucesin de trminos positivos. Estamos ante una indeterminacin del tipo

. Si tuviramos que conjeturar un resultado, habra que decidir quin va ms rpido a ms

infinito, el numerador o el denominador? Si fuera r 2 , los primeros trminos seran:
8 32
2, 2, , 4, ,.... . Aparentemente va creciendo y nada la detiene
3 5
bn 1
Calculamos el cociente y lo comparamos con 1 como en el ejemplo anterior.
bn

Recordemos que
A
B AD
r n 1 C BC
bn 1 D
n
n n 1 r
bn r n 1
n
(*)
Volveremos a usar esta
igualdad
Observamos que:
1) r 1 Es dato
n n 1
2) 1
n 1 n 1 1 1
n
n n 1
3) El producto r 1 para casi todo n. r 1 si n
n 1 n 1 r 1
rn
Entonces la sucesin bn es creciente. El teorema de las sucesiones montonas nos dice que si
n
est acotada superiormente tiene lmite finito, caso contrario, tiende a ms infinito.
Supongamos que est acotada superiormente.
Otra vez, razonamos por
En tal caso lim bn L 0 y se puede usar el lgebra de lmites en la el absurdo
n
expresin (*) y obtener:

Por un lado,
bn 1 L
lim 1
n b L
n
y, por otro lado,

bn 1 n
lim lim r r
n b n n 1
n

Se llega a la contradiccin: r 1 cuando tenamos de movida que r 1 . Esta contradiccin proviene

rn rn
de suponer que la sucesin creciente bn est acotada superiormente. Por lo tanto bn no
n n
est acotada superiormente. El teorema nos dice entonces que
rn
r 1 lim
n n
La exponencial r n
va ms rpido que n
Con una cuenta similar se obtiene que
a ms infinito si
r 1.
0 r 1 lim nr n 0
n
Con una demostracin anloga a la precedente, vale que

rn
n r 1 lim y que 0 r 1 lim n k r n 0
La exponencial r n n k n
va ms rpido que
cualquiera sea k .
n k a ms infinito si
r 1.
Ejemplo. Calcular lim (0,9) 2n n100

n
Solucin
No tenemos ms que aplicar el resultado precedente
(0,9) 2 n n100 (0,81) n n100

n
(0,9) 2 n (0,9) 2 (0,81) n
Como 0 0,81 1 resulta
lim (0,9) 2 n n100 0

n
4n 1 n 2
Ejemplo. Calcular lim
n 22 n n 1
Solucin

Es una indeterminacin del tipo " " . En el numerador, el trmino que tiende ms rpido a ms

infinito es 4n1 4 4n , en el denominador es 22n 4n . Pongamos esta idea de manifiesto sacando
como factor comn 4n en el numerador y el denominador
n2 n2
4n (4 ) 4
4n 1 n 2 4n 4n 4 4
lim 2 n lim lim
n 1 n 1
1 n n 1
n 2 n 1 n n n
4 (1 n n )
4 4 4 4
n
n2 1
n
n2 0
4 4
4n 1 n 2
Es decir nlim 4 n
n
1
22 n n 1 n 0
n
4 4
1
0
4n
cn n n
rn
Nos apoyaremos en que lim ( r 1) .
n n
Observemos en primer lugar que
cn n n 1 para todo n.
Vamos a probar que

lim n n 1 .
n
Cualquiera sea 0 , basta probar que
1 n n 1 para casi todo n.

Llamamos r 1 1 y la desigualdad a probar es equivalente a probar que
n (1 ) n r n para casi todo n.
rn rn
Es decir 1 para casi todo n. Pero sabemos que pues r 1 . Entonces, es seguro que
n n
rn
1 para casi todo n. Luego
n
lim n n 1
n
Ejemplo. Calcular lim n 7 n n n 2

n
Solucin
Si hacemos un anlisis intuitivo, el trmino 7 n n dentro de la raz ensima, es el ms relevante
frente al otro trmino n 2 . Una vez ms ponemos de relevancia la idea intuitiva sacando este trmino
como factor comn

n2 n
lim n 7 n n n 2 lim n 7 n n(1 n
) lim n 7 n n n 1 n
n n 7 n n 7
Tambin se La raz es
poda sacar distributiva con
factor comn respecto al
7n . producto.
Vamos a aplicar lgebra de lmites al producto que nos qued. Para ello analizamos cada uno por
separado:
n 1
Por un lado, 7n n n 7n n n 7 n n 7 n
7 n (7 n ) n 7
n
Por otro lado, n 1 1 n
7n 0
7n
Entonces
n
lim n 7 n n n 2 lim n 7 n n n 1 7 1 7
n n 7n
n n
Es decir nlim 7 n n2 7 .

4.3. El nmero e
n
1
en 1
n
Esta sucesin ejemplifica un nuevo tipo de indeterminacin "1 " , siempre entendiendo este smbolo
como una sucesin que tiende a 1 elevada a una sucesin que tiende a infinito.
Sin pretender dar una demostracin, mostraremos que en es creciente ( en1 en ) y acotada ( en K ).
Aceptados estos dos hechos, el teorema de sucesiones montonas nos asegurar que la sucesin
converja a un lmite finito.
Para visualizar que en es creciente y acotada recurriremos al grfico de la funcin
f ( x) log(1 x) para valores positivos de la variable x. Ms precisamente, fijamos la atencin en
1 1
x1 y x2 .
n 1 n
Esto ocurre por
Se observa que la recta verde
la concavidad
tiene pendiente mayor que la recta f( )
1
del grfico n
azul. Estas dos rectas pasan por el f(
1
)
n 1
origen y lo unen con los puntos
del grfico ( x1 , f ( x1 )) y
1 1
rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires n 1 n 28
( x2 , f ( x2 )) respectivamente. Esta observacin se traduce en la desigualdad
1 1
log 1 log 1
n 1 n
1 1
n 1 n
Es decir,
1 1
(n 1) log 1 n log 1
n 1 n
Recordar
O bien,
k log a log a k
n 1 1 n
1
log 1 log 1
n 1 n
Como el logaritmo es una funcin creciente la desigualdad vale para las expresiones que estn entre
corchetes. Es decir
n 1 n
1 1
1 1
n 1 n
Esto muestra que la sucesin en es creciente.
Para ver que adems est acotada, tambin apelamos al grfico de f ( x) log(1 x) y observamos
que las pendientes de las rectas de colores (sean azules o verdes) son todas menores que la
pendiente de la recta roja.
Si tal pendiente es m est observacin se traduce en la desigualdad
1
log 1
n m
1
n
Es decir,
1 n
log 1 m
n Recordar
y 10 x
Con lo cual,
es creciente
n
1 m
1 10 K
n

El teorema de las sucesiones montonas, nos asegura que existe

n
1
lim 1 e
n n
El nmero e, valor lmite de la sucesin en es un nmero muy importante de la matemtica que

aparece en diversas situaciones. Es un nmero irracional que est entre 2 y 3. Ms precisamente, su
expresin decimal aproximada es e 2,718281...
n
1
Conocer el lmite de 1 nos permite calcular el lmite de otras sucesiones con la misma
n
pinta. Para ver ms detalles ir a la entrada el nmero e.
n 1
2 2
Ejemplo. Calcular lim 1
n n 1
Solucin
n 1
Estamos ante una indeterminacin del tipo "1 " . Observemos, adems, que si llamamos an ,
2
podemos escribir el lmite a calcular como
an
1
lim 1 donde lim an
n
an n
Este lmite, con un tratamiento similar al realizado para el caso an n , tiende al nmero real e. De
modo que, en general vale
an
1
lim 1 e si lim an
n
an n
1
Es equivalente decir, cambiando bn que
an
1
lim 1 bn bn e si lim bn
n n
Haremos uso de estos dos resultados sin ms justificaciones

por ahora.
Cuando estemos ante una indeterminacin del tipo "1 " , la La estrategia ser
estrategia ser llevar por medio de transformaciones (algo)
1
algebraicas, el lmite a calcular a una de estas situaciones. 1 e si algo +
algo

n 1
2
Ejemplo. Calcular el lim 1
n n2
Solucin
Es una indeterminacin del tipo "1 " . Utilicemos la estrategia recin propuesta. Indicamos en cada
igual, lo que estamos haciendo (la tctica) para poder calcular el lmite
2 Para compensar que
n 1 n 1( n 1) hicimos aparecer en el
n 1
n 1
2 exponente algo
2 1 1
1 1
n 1
1
n 1
ponemos
1
y
n 1 algo
2 2 mantenemos lo que ya
Preparamos la base como estaba
Hacemos aparecer en
1
1 el exponente algo
algo para poder decir que el
El exponente queda igual corchete tiende a e.
Si bien la expresin que qued tiene un aspecto temible, si la miramos con optimismo, podemos ver
que lo que est entre corchetes es del tipo
an
1
lim 1 con lim an
n
an n
n 1
2
1
Sabemos en estos casos que 1 e
n 1

2
Por otra parte, si concentramos la atencin en lo que qued en el exponente por fuera del corchete,
vemos que tenemos una sucesin que sabemos atacar.
2
2
2 2n 2 n 2
(n 1)
n 1 n 1 1 1
n
De modo que podemos usar lgebra de lmite: la base (lo que est entre corchetes) tiende al nmero
real e y el exponente tiende a 2, entonces
n 1
2
lim 1 e2
n n2

n2 1
2n 2
n 1 3n 2
Ejemplo. Calcular el lim 2 .
n
2n 5
Solucin
Es una indeterminacin del tipo "1 " . Escribimos la base como 1 + algo:
2n 2 n 1 (2n 2 5) ( n 1 5) n4
2
2
1 2
2n 5 2n 5 2n 5
Sumamos y restamos 5 Dividimos cada

para que en el parntesis por la
numerador aparezca la expresin del
misma expresin del denominador.
denominador
Observemos que, como era de esperar, lo que qued como algo tiende a cero:
1 4
2
n4 n n 0

2n 2 5 2 5
n2
Luego, hacemos aparecer en el exponente el inverso multiplicativo de algo para transformar el
lmite en lmites conocidos
( n 4) ( n 2 1)
n2 1 2 n2 5 (2 n2 5) (3n 2)
2 n 2 n 1 3n 2 n 4 n4 ?
2 1 2
2n 5
2n 5

La sucesin que queda entre corchetes, tiende a e. Analizamos lo que qued en el exponente, por
fuera del corchete
4 1 4
1 2 3
(n 4)(n 2 1) n3 4n 2 n 4 n n n 1
3
2 2
(2n 5)(3n 2) 6n 4n 15n 10 6 4 15 10 6

n n 2 n3
Nuevamente, estamos en condiciones de aplicar el lgebra de lmites y concluir que

n2 1
2 n 2 n 1 3n 2 1
6 6e
lim 2 e
n
2n 5

2 n 5
cos(n 1)
Ejemplo. Calcular el lim 1
n n2 4
Solucin
Es una indeterminacin del tipo "1 " pues
cos(n 1) 1
2
2 cos(n 1) 0
n 4 n 4
Tiende a cero Est acotado
Ya tenemos la base escrita como 1 + algo. Transformamos el exponente como lo venimos haciendo
en los lmites de este tipo:
cos( n 1)
(2 n 5)
n2 4 n2 4
2 n 5
cos(n 1) cos(n 1) cos( n 1)
1 1 ?
n2 4 n2 4

e
Analizamos lo que nos qued en el exponente:
2 5
2
cos(n 1) 2n 5 n n cos(n 1) 0
(2n 5) 2 cos(n 1)
2
n 4 n 4 4
1 2
n
Est acotado
0
Entonces, podemos concluir que
2 n 5
cos(n 1)
lim 1 e0 1
n n2 4
Estn en condiciones de resolver los ejercicios 9 y 10 de la Prctica 3.
5. El Criterio de Cauchy o de la raz ensima

Hemos visto que r n tiende a 0 si r est entre 0 y 1 y tiende a ms infinito si r es mayor que 1. Se
puede extender fcilmente este resultado para valores negativos de r diciendo que
r n 0 si 1 r 1
r n si r 1

Este ejemplo sirve para dar un criterio que ser muy til para el clculo de lmites. Se quiere
calcular el lim an .
n
Criterio de Cauchy. Si lim n an L vale que:

n
Si 0 L 1 entonces lim an 0 .
n
Si L 1 o es ms infinito entonces lim an .

n
Si L 1 entonces el criterio no sirve para decidir el lim an .

n
n
1 2
Ejemplo: Calcular lim
n 2 n
Aplicamos el criterio de la raz ensima:

n
1 2 1 2 1
n
1
2 n 2 n 2
El criterio dice entonces que

n
1 2
lim 0
n 2 n
En la entrada Criterio de Cauchy se puede ver una demostracin de este criterio.
6. El Criterio de DAlembert o del cociente

an 1
Se basa en la idea que usamos en los primeros ejemplos donde estudiamos el cociente y lo
an
comparbamos con 1.
Se quiere calcular el lim an . El criterio de DAlembert se enuncia como sigue
n
an 1
Criterio de DAlembert. Si lim L vale que
n an
Si 0 L 1 entonces lim an 0 .
n
Si L 1 o es ms infinito entonces lim an .

n
Si L 1 entonces el criterio no sirve para decidir el lim an .

n

n3
Ejemplo. Calcular el lim
n n !
n ! 1 2 3...( n 1) n
Aplicamos el criterio del cociente:
(n 1)3 1
n 2 (1 ) 2
an 1 (n 1)! (n 1)3 n ! (n 1)3 n ! (n 1) 2 n 1 (1 1 ) 2 0
3
3
3
3
3
an n (n 1)! n (n 1)n ! n n n n n
n!
n3
Como 0 1 , el criterio dice que nlim 0
n!
Observe que, en general, el lmite de cociente de DAlembert no coincide (como ocurre en este
ejemplo) con el lmite de la sucesin original porque se trata de sucesiones distintas.
En la entrada Criterio de DAlembert se puede encontrar una demostracin del mismo.
Pueden resolver los ejercicios 11 y 12 de la Prctica 3.
x 2 n (n 1) 2
Ejercicio. Hallen todos los valores de x para los cuales la sucesin an tenga
9n
un lmite finito. En cada caso, calcular lim an
n
Solucin
Aplicamos el criterio de la raz ensima:
La estrategia
Aplicar el criterio de la raz
x 2 n (n 1) 2 x 2 n (n 1) 2 x2 La tctica
n an n
9n 9 9 Si lim n an 1 resultar lim an 0
n n
n (n 1) 2 1 Si lim n an 1 resultar lim an
n n
El caso igual a 1 lo trataremos en particular.

x2
Si 1 entonces lim an 0
9 n x2
1 x 2 9 3 x 3
9
x2
Si 1 entonces lim an
9 n
Es decir,
x 2 n (n 1) 2
Si 3 x 3 entonces lim 0
n 9n
x 2 n (n 1) 2
Si x 3 3 x entonces lim
n 9n
El criterio no sirve cuando x 3 x 3 lim n an 1 x 2 9

n
Si x 3
(3) 2 n (n 1) 2 9n (n 1) 2
an (n 1) 2
9n 9n
La misma cuenta vale para x 3 .

En sntesis,
x 2 n (n 1) 2
Si 3 x 3 entonces lim 0
n 9n
x 2 n (n 1) 2
Si x 3 3 x entonces lim
n 9n
7. Subsucesiones
Hemos visto que algunas sucesiones carecen de lmite
finito o infinito. Es el caso de las sucesiones que oscilan Subsucesiones
finitamente o infinitamente. Comprobar que una sucesin
Tienen otras utilidades. Por ejemplo,se
no tiene lmite en forma rigurosa puede resultar difcil
puede probar (ver entrada
con slo la definicin de lmite ya que hay que descartar Subsucesiones) que toda sucesin
todo posible candidato a ser el lmite de la sucesin. acotada tiene una subsucesin
Para resolver este problema ser til introducir la idea de convergente y esto resulta de gran
subsucesin. importancia para el desarrollo del
clculo.
Consideremos una sucesin de nmeros reales:
a1 , a2 , a3 , a4 , a5 , a6 ,...., an , ...

Con dicha sucesin se puede realizar de muchas maneras la siguiente construccin: se suprimen de
la sucesin una cantidad finita o infinita de trminos de manera que queden infinitos trminos. Los
que quedan forman una nueva sucesin que volvemos a numerar. Por ejemplo:
Si sacamos el primer trmino nos queda la nueva sucesin:
a2 , a3 , a4 , a5 , a6 ,...., an , ...
que volvemos a numerar b1 , b2 , b3 , b4 , b5 , ...., bn , ... de modo que bn an1 . Esta nueva sucesin resulta
ser una subsucesin de la primera.
Si, en cambio, sacamos los infinitos trminos impares, nos quedan los infinitos trminos pares
a2 , a4 , a6 , a8 , a10 ,...., a2 n , ... de modo que si volvemos a numerarla b1 , b2 , b3 , b4 , b5 , ...., bn , ... resulta
ser bn a2n . Como antes, se dice que a2n es una subsucesin de an .
Una subsucesin de an es una sucesin bk ank donde n1 n2 n3 n4 n5 n6 .... nk ... es

la nueva numeracin.
Dada la sucesin an cuyos primeros trminos son 2, 4, 6, 4, 2, 4, 6, 4, 2, escribir el trmino

general de a2n y de a2n1 . Determinen si alguna de las dos subsucesiones es convergente.
Solucin
a2n es la subsucesin de los trminos pares. Los iluminamos con azul para poder visualizarlos:
2, 4, 6, 4, 2, 4, 6, 4, 2,
Claramente se observa que a2n 4 para todo n. De modo que, al ser una sucesin constante, resulta
convergente.
a2 n 1 es la subsucesin de los trminos impares. Los destacamos con rojo.
2, 4, 6, 4, 2, 4, 6,
Vemos que esta subsucesin se obtiene sacando todos los 4 de la sucesin. Si hacemos eso queda 2,
6, 2, 6, 2, de modo que
2 si n impar
bn a2 n 1
6 si n par
que no resulta convergente. Pero, cmo probar que no es convergente?
El siguiente resultado, que se deduce directamente de la definicin de lmite, vendr en nuestra
ayuda.

Proposicin. Sea an una sucesin de nmeros reales. Entonces an L s y slo si toda

subsucesin bk ank de an converge a L (L puede ser finito o infinito).
El cuantificador toda subsucesin la hace poco prctica para usarla para calcular lmites. Pero
alcanza con que dos subsucesiones tiendan a lmites diferentes para que la sucesin original no sea
convergente.
2 si n impar
Ejemplo. Probemos que la sucesin bn no tiene lmite.
6 si n par
Solucin
Consideremos la subsucesin de los trminos pares y la subsucesin de los impares:
2, 6, 2, 6,
b2n 6 y b2 n 1 2
Es inmediato que b2n 6 y que b2n1 2 . Como estos lmites son distintos, se concluye que la
sucesin bn no tiene lmite.
2n 1 n
Ejemplo. Demostrar que la sucesin an cos no tiene lmite.
5n 3 2
Solucin
A la sucesin an se la puede ver como el producto de dos sucesiones an bn cn .
1
2
2n 1 n2.
La primera de ellas bn
5n 3 5 3 5
n
n
La segunda cn cos es una sucesin que oscila finitamente. Sus primeros trminos son
2
3 5
cos , cos( ) , cos , cos(2) ,cos , cos(3) , ...
2 2 2
Es decir,
0 , 1 , 0 , 1 , 0 , 1 , ...
que parece no tener lmite.

No podemos aplicar lgebra de lmites, porque este teorema exige la existencia de lmite de ambas
sucesiones. Adems no servira para ninguna conclusin.
Pero s es de utilidad la proposicin precedente sobre subsucesiones. Por un lado, la proposicin nos
2n 1 2
dice que cualquier subsucesin del primer factor bn tendr el mismo lmite igual a .
5n 3 5
n
Por otro lado, si elegimos dos subsucesiones del segundo factor cn cos con distinto lmite la
2
proposicin nos asegurar que la sucesin producto an bn cn no tiene lmite.
Definida la estrategia, vayamos en bsqueda de estas subsucesiones que resolvern el problema.
n
Esto no es difcil observando el comportamiento de cn cos . Mientras que los trminos
2
impares son todos iguales 0, los trminos mltiplos de 4 son todos iguales 1 . En smbolos esto se
traduce como:
c2 n 1 0 y c4n 1
Entonces, las subsucesiones de la sucesin producto son

2
a2 n 1 b2 n1 c2 n1 0 0 y
5
2 2
a4 n b4 n c4 n (1)
5 5
Lo dicho entonces: hay dos subsucesiones de an que tienden a distintos lmites, entonces no existe
el lmite de an .
Estn en condiciones de hacer los ejercicios 13, 14 y 15 de la prctica.
8. Sucesiones dadas en forma recurrente

Hasta ahora hemos tratado cada sucesin por medio de
Recordar
su trmino general.
El problema de disear un algoritmo
Sin embargo, en muchas situaciones vinculadas con las para calcular la raz cuadrada de un
aplicaciones y procesos iterativos, las sucesiones se nmero que dimos en la presentacin de
presentan en forma recurrente. Esto es, se define el la seccin responde a este tipo de
primer trmino a1 , luego del mismo surge a2 y en sucesiones.
general, se define an1 a partir del trmino anterior an o 1 2
xn 1 xn
ms generalmente, a partir de todos los trminos 2 xn
anteriores.

A estas sucesiones se las llama sucesiones recurrentes y requieren, muchas veces, un tratamiento
distinto del que le venimos dando a las sucesiones.
an 1 n 1
Ejemplo. Estudiemos la convergencia de la sucesin definida como a1 5 , para
an 3n
todo n 1 .
Solucin
La sucesin viene servida para aplicar el criterio del cociente:
an 1 n 1 1
lim lim 1
n an n 3n 3
Entonces
lim an 0
n
n n 3n
Ejemplo. Sea an la sucesin definida en forma recurrente por a1 1, an 1 an .
n!
Calcular, si existe, el lim 211/ an
n
Solucin
La sucesin es de trminos positivos. En primer lugar calculamos el lim an . Para ello usaremos el
n
Criterio del cociente o Criterio de DAlembert.
Aprovechamos la forma recurrente en que viene definida la
No es conveniente usar el criterio del
sucesin:
cociente en la expresin
an1 n n 3n n n 3n n n 3n

an n! n! n! n!
ya que el signo + complica el clculo.
Estudiamos cada trmino por separado, usando otra vez, el
nn
criterio del cociente: xn . El cociente de DAlembert es
n!
(n 1) n1
xn1 (n 1)! (n 1) n1 n !

xn nn (n 1)! n n
n!
Trabajamos un poco esta ltima expresin
n n
xn 1 (n 1) n 1 n ! (n 1)(n 1) n n ! (n 1) n n 1 1
1 .
xn (n 1)! n n (n 1) n ! n n nn n n

n
x 1
Entonces lim n1 lim 1 e . Como e 1 , el criterio Con este resultado alcanza para
n x n n asegurar que el cociente
n
an1 n n 3n
nn
del cociente nos dice que la sucesin xn tiende a ms an n! n!
n!
nn tiende a ms infinito y as, por el
infinito. Es decir lim Criterio del cociente podemos
n n ! afirmar que
lim an .
n
.
De todas maneras estudiemos el segundo trmino:

3n
yn . El cociente de DAlembert es en este caso:
n!
3n1
yn1 (n 1)! 3n1 n ! 3
n
n
yn 3 (n 1)! 3 n 1
n!
yn1 3
Entonces lim lim 0 . Como 0 1 el criterio del cociente nos dice que lim yn 0 .
n yn n n 1 n
an1 n n 3n
En consecuencia lim lim .
n a n n ! n!
n
El criterio del cociente afirma que lim an .

n
Estamos en condiciones de calcular el lmite que nos pide el problema, teniendo en cuenta que
1
lim 0.
n a
n
1 lim 1a
lim 211/ an 2 n n 210 2
n
Pueden hacer los ejercicios 16, 17 y 18 de la Prctica 3.

8.1. La raz cuadrada de 2

Comenzamos esta unidad planteando el
La idea geomtrica
problema de disear un algoritmo para
calcular la raz cuadrada de un nmero
utilizando las cuatro operaciones
1 2 2 2
2 2
elementales de la aritmtica. Tomamos el
1,5 2 1, 4167 1, 4118 2 1, 4118
1,5 1,5 caso particular a 2 .
1 2 2
Con la ayuda de una original idea
1 1,5 1,5
2 1,5
1, 4167
geomtrica, llegamos a conjeturar que las
2
bases de los rectngulos aproximaban a 2.
La medida de las bases tienden a 2.
En este Cuaderno de Anlisis Matemtico
hemos construido las herramientas para poder probar este hecho.
Las medidas de las bases de los sucesivos rectngulos vienen dados por la sucesin dada en forma
recurrente por la frmula
1 2
x1 1 , xn1 xn
2 xn
Esta sucesin resulta ser una sucesin de trminos positivos que podemos ver que est acotada
inferiormente y es decreciente, usando la desigualdad entre el
Desigualdad ente la
promedio geomtrico y el promedio aritmtico que recordamos en el
media geomtrica y la
recuadro.
aritmtica
2 Si a 0, b 0 vale
Para ver que est acotada inferiormente ponemos a xn y b en
xn ab
ab
la desigualdad y queda 2
1 2 2
xn1 xn xn 2 n 1
2 xn xn
Para ver que es decreciente analizamos el cociente de DAlembert como en ocasiones anteriores y
volvemos a usar la desigualdad entre promedios y la acotacin que acabamos de demostrar. El
cociente es
xn1 1 2
1 2
xn 2 xn
2
Al poner en la desigualdad a 1 y b se obtiene
xn2
xn1 1 2 2 2
1 2 1 2 1 , n 2
xn 2 xn xn xn

Entonces, la sucesin de la medida de las bases de los rectngulos xn es decreciente y acotada

inferiormente. Por el Teorema de las sucesiones montonas podemos afirmar que existe lim xn L .
n
Solo queda calcular L. Para ello, usamos el lgebra de lmites en la definicin recurrente de xn y
obtenemos
1 2 1 2
L lim xn1 lim xn L
n n 2
xn 2 L
Es decir,
2
2L L
L
o lo que es equivalente
L2 2 L 2 L 2
Como la sucesin es de trminos positivos, el lmite no puede ser negativo (recordar la propiedad de
conservacin de signo). Entonces, podemos asegurar que la solucin verdadera es la positiva. Es
decir
lim x 2
n n
En la entrada Un ejemplo biolgico estudiamos un interesante modelo matemtico que usa sucesiones
dadas en forma recurrente.

ANEXO
A. La nocin de lmite
La nocin de lmite es el concepto ms importante de toda la materia. En l se basa la nocin de
derivada y de integral que conforman las dos herramientas del clculo.
A pesar de que Arqumedes estuvo muy cerca de toparse con este concepto, tuvieron que pasar
2000 aos para que la humanidad superara los prejuicios que tena al estudiar los procesos infinitos
y darle una forma manejable a un concepto que termina siendo muy intuitivo.
En esta entrada pretendemos hacer un breve anlisis de cada una de las componentes que
conforman la definicin de lmite. Veremos sus ventajas tericas y sus dificultades prcticas que
nos obligarn a explotar las propiedades que se deducen de este concepto para convertirlo en uno
manejable y eficaz.

existe un nmero natural n0 tal que si n n0

Cualquiera sea 0 Son los valores de la sucesin (los an ) en los que
Es la diferencia que estamos
vamos a fijar la atencin. Los anteriores no
dispuestos a tolerar entre an y L. importan. Ellos son los que tienen que caer en la
En el grfico que sigue 2 es el franja de color.
ancho de la franja verde donde puede Este nmero n0 es el que en el grfico determina
estar an el segmento vertical que delimita la franja verde.
Cualquiera sea 0 , existe un nmero natural n0 tal que si n n0 , entonces

L an L (o sea an L si n n0 )
entonces L an L
Es el intervalo en el que vive an
En el grfico L es el piso de la
franja verde y L es el techo.
L

L
L
n0
n
Ejemplo. Demostrar, usando la definicin, que lim 1.
n n 1
Sea 0 , cualquiera. Se debe encontrar un n0 tal que

n
1 1 siempre que n n0 (1)
n 1
n
Vamos en bsqueda de n0 . En primer lugar, observamos que 1 1 . De modo que la
n 1
desigualdad de la derecha de (1) se cumple para todo valor de n 1 .
n 1
Que 1 , es equivalente, despejando n, a que n
n 1

1
Alcanza pues con elegir n0 tal que n0 (lo podemos hacer porque los nmeros naturales

1 n
no estn acotados superiormente). As, si n n0 resulta n n0 con lo cual 1 .
n 1
n
Como la otra desigualdad de (1) vale para todo nmero natural, resulta probado que lim 1.
n n 1
Volver
B. Sucesiones montonas
Una de las estrategias que maneja la matemtica cuando estudia un objeto tan general como son las
sucesiones, es restringir el objeto de estudio para ver si es posible obtener nuevas propiedades y
resultados que despus se puedan aprovechar para seguir avanzando.
Este es el caso de esta entrada, donde estudiaremos un conjunto particular de sucesiones. Aquellas
que, como funciones, son crecientes o decrecientes.
Veremos que, el resultado aqu obtenido, servir para atacar varios problemas de lmite de
sucesiones que de otra manera nos resultan inaccesibles.
Sea an una sucesin montona creciente.

a. Si A an : n est acotado superiormente, entonces existe lim an L .
n
b. Si A an : n no est acotado superiormente, entonces lim an .

n
Demostracin de a.
En lo que sigue suponemos que an es una sucesin montona creciente.
Si A an : n est acotado superiormente el axioma del supremo nos asegura que el conjunto A
tiene supremo. Sea
L sup A sup an : n
Se afirma que lim an L tal como se sospecha del grfico. Pero hay que demostrarlo:
n

Sea 0 . Por la definicin de supremo, existe n0

tal que L sup an : n
L
L an0 L
L
Pero, como la sucesin es creciente y L es el supremo,
a partir de ese valor, los puntos estn todos en la zona
gris. Es decir
L an0 an L si n n0 n0
En otras palabras, si n n0 resulta 0 L an , lo que prueba que lim an L

n
Demostracin de b.
Si A an : n no est acotado superiormente.
Queremos probar en este caso que lim an . Esto es, segn la definicin, que dado cualquier
n
M 0 existe n0 tal que an M si n n0 .
Ahora bien, como A no est acotado superiormente, existe n0 tal que
an0 M .
Pero como la sucesin es creciente, vale que

an an0 si n n0 .
Entonces
an M si n n0 .
Lo que demuestra que lim an .

n
De forma anloga, hay una versin del teorema cambiando creciente por decreciente y
acotada superiormente por acotada inferiormente y lim an por lim an .
n n
Volver

C. El nmero e
Tal vez, la constate ms importante de la matemtica despus del nmero pi, sea el nmero e que
presentamos en esta entrada.
Este nmero que tiene la inicial del matemtico Leonard Euler, aparece frecuentemente en las
aplicaciones y en diferentes ramas de la matemtica tales como la estadstica y las probabilidades y
en el anlisis matemtico para mencionar las dos ms importantes. En las aplicaciones, es de uso
frecuente tanto en la ingeniera como en la economa, en la biologa como en la fsica.
Hay muchas formas de presentar al nmero e. La que aprendemos aqu, muestra a este nmero
como el lmite de una sucesin montona.
n
1
En oportunidad de estudiar la sucesin en 1 dimos una El nombre e es la
n
inicial del
visualizacin de que era creciente y acotada superiormente, pero no matemtico suizo
brindamos una buena demostracin de estos dos hechos que dan lugar a la Leonard Euler
convergencia de esta sucesin a un nmero que bautizamos con la letra e y
que est entre 2 y 3.
Dada la importancia que tiene esta sucesin y su lmite en el desarrollo del
clculo, en esta entrada damos una demostracin de los dos hechos
mencionados.
Vamos a usar la siguiente desigualdad
(1 x) n 1 nx para 0 x 1
que se puede probar en forma inductiva.
Cuando n 1 se da la igualdad. Induccin

Se debe probar la
Tambin es fcil comprobar la desigualdad para n 2 ya que
desigualdad para n 1 y
luego, suponiendo que
(1 x) 2 1 2 x x 2 1 2 x
vale para n k probar la
Pasar del caso n k al caso n k 1 tampoco reviste dificultad: desigualdad para
n k 1
(1 x) k 1 (1 x) k (1 x) (1 kx)(1 x) 1 (k 1) x kx 2 1 (k 1) x
De modo que inductivamente, se prueba que la desigualdad es cierta para todo n 1 .

De forma similar se puede probar la desigualdad
(1 x) n 1 nx para x 0

n
1
Teniendo estas desigualdades a mano, probaremos que en 1 es creciente y acotada
n
superiormente.
n
1
en 1 es creciente.
n
Demostracin
Consideraremos el cociente de DAlembert y probaremos que es mayor que 1.
n 1 n
1 n2 1
1 1 2 n
en 1 n 1 n 1 n 1 n 2n 1
n
n 2
1
en 1 n 1 (n 1) n 1
1
n n
n n
en 1 n 2 2n 1 1 1
1 1 2 1
en (n 1) 2 n 1 (n 1) n 1
Los colores indican de qu

forma estamos operando en
cada factor. Tomen papel y
lpiz para seguir la cuenta.
Usamos ahora la primera desigualdad anunciada al comienzo para

1 Desigualdad en uso
el primero de los factores con x (1 x) n 1 nx
(n 1) 2
0 x 1
Entonces resulta,
n
en 1 1 1 n 1 1
1 1 1 2
1 1 1
en (n 1) 2 n 1 (n 1) n 1 (n 1)3
Queda demostrado que

n
1
en 1 es creciente.
n

n
1
en 1 es acotada.
n
Demostracin
Vamos a probar esto indirectamente. Consideremos la sucesin,
muy parecida a la que estamos estudiando, dada por la frmula Los primeros trminos de
n 1 An son en forma
1 1 aproximada:
An 1 en 1
n n 4; 3,375; 3,16; etc.
No prueba nada pero se
Probaremos que An es decreciente. intuye que es decreciente.
De ser as, en particular resultar,
n 1
1 1
An 1 en 1 A1 22 4
n n
Entonces
4 n
en 4 4
1 n 1
1
n
n
1
Con lo cual en 1 es acotada.
n
Basta probar entonces que An es decreciente.
Como antes, hacemos el cociente de DAlembert y comparamos con 1:
n 1 n
1 n 1 1
1 1 2 n
An n n n n 1 1
n n 2 1
An 1 1 n n n
1
n 1 n 1
1 1
2 n1 1
An n 1 1 n n
2 1 n n
An 1 n n n 2 1
2 1 2
n 1 n 1

Usamos ahora la otra desigualdad para el factor del denominador con

Desigualdad en uso
1 (1 x) n 1 nx , x 0
x 2
n 1
Como est dividiendo, la desigualdad se da vuelta
1 1 1
1 1 1
An n n n
n 1
An 1 1 n 1
1 1
1 2 n2 1 1
n 1 n
n
n
1
Esto prueba que An es decreciente y por lo tanto, en 1 es acotada.
n
n
1
Esta ltima cuenta es suficiente para probar que en 1 tiene lmite.
n
n 1
1 1
En efecto: hemos probado que la sucesin de trminos positivos An 1 en 1
n n
es decreciente (y acotada inferiormente porque es de trminos positivos)
Por lo tanto, tiene lmite finito. Entonces, nuestra sucesin en estudio es el cociente de dos
An
sucesiones que tienen lmite en
1
1
n
Usando lgebra de lmites, se obtiene
An lim An
lim en lim n lim An
n n 1 1 n
1 nlim

1
n n
Volver
D. Criterio de convergencia de la raz ensima (Cauchy)

El matemtico francs Augustin Louis Cauchy (1789 - 1857) fue uno de los que le dio bases slidas
al clculo infinitesimal.
Tambin investig la convergencia y divergencia de series infinitas que ser motivo de estudio al
final de este curso. En este campo desarroll algunos criterios en el que se incluye el que aqu

presentamos y usamos para la convergencia de sucesiones. Cuando veamos series infinitas,

recuperaremos este resultado y lo utilizaremos en toda su potencia.
Si lim n an L vale que:

n
a. Si 0 L 1 entonces lim an 0 .
n
b. Si L 1 o es ms infinito entonces lim an .

n
c. Si L 1 entonces el criterio no sirve para decidir el lim an .

n
Demostracin
Caso 0 L 1
Del grfico se deduce que n an r 1 para casi todo n. Entonces 1

0 an r n . Aplicando la propiedad del sndwich resulta lim an 0 . r n an
n L
Luego lim an 0
n
Caso L 1 .
n an
Del grfico se deduce que n an r 1 para casi todo n. Entonces L
r
an r n . Aplicando la propiedad del sndwich en el infinito, 1
resulta lim an
n
Caso L 1 .
n
k k
La sucesin an 1 tiene lmite igual ek . Sin embargo n an 1 1.
n n
Entonces, en este caso, el criterio no sirve para determinar el valor del lmite. Volver
E. Criterio de convergencia del cociente (DAlembert)

Al igual que el Criterio de la raz ensima de Cauchy, este criterio que en esta unidad
explotaremos para sucesiones, fue creado para el estudio de series infinitas, por lo que lo
retomaremos al final del curso.
El matemtico Jean le Rond DAlembert (1717-1783) al igual que Cauchy naci y vivi en Pars
pero 60 aos antes que ste. Junto con Diderot, miembros relevantes de la ilustracin francesa, fue
creador de la famosa LEncyclopedie que, adems de ser la primera, contena la sntesis de los
principales conocimientos de la poca.

an 1
Si lim L vale que
n an
a. Si 0 L 1 entonces lim an 0 .
n
b. Si L 1 o es ms infinito entonces lim an .

n
c. Si L 1 entonces el criterio no sirve para decidir el lim an .

n
Demostracin de a.
Caso 0 L 1
an 1
Del grfico se deduce que r 1 para casi todo n. Entonces la
an 1
r
sucesin an es decreciente y acotada inferiormente. Por lo tanto, L an 1
an
tiene lmite finito: lim an l con 0 l 1 . Si fuera 0 l tomando
n
lmite en la desigualdad verde (se puede usar lgebra de lmite) se obtendra L 1 lo que es
claramente contradictorio con la hiptesis de que 0 L 1 . Entonces debe ser, lim an 0 , de donde
n
lim an 0 .
n
Demostracin de b.
Caso L 1 .
an 1
Mirando el grfico, se deduce, en este caso, que r 1. an 1
an
L an
Entonces an1 an . La sucesin an resulta ser creciente. Si r
1
llegara a estar acotada superiormente, tendra lmite finito y mayor
que cero. En tal caso se llega a la contradiccin:
an 1 nlim an 1
L lim 1
n an lim an
n
En contradiccin con el hecho de que L 1 . La contradiccin proviene de suponer que an est

acotada superiormente. Luego an no est acotada superiormente, adems vimos que es creciente.
Entonces
lim an .
n
Volver

F. Sucesiones acotadas y subsucesiones

Las sucesiones acotadas juegan un papel importante en el desarrollo del clculo y en la
formalizacin de la estructura de los nmeros reales a la que apenas nos hemos asomado.
En ese marco, las subsucesiones que en la prctica usamos para decidir sobre la divergencia de
algunas sucesiones, sirven para dar un resultado central en la tarea de presentar una acabada
descripcin de los nmeros reales. Este resultado dice que toda sucesin acotada tiene una
subsucesin convergente y en esta entrada daremos una elegante demostracin de este hecho
importante.
Entre las primeras propiedades de sucesiones vimos que toda sucesin convergente a un lmite
finito, est acotada superior e inferiormente.
Tambin vimos que no vale al revs. Es decir, hay sucesiones acotadas que no tienen lmite. Tal es
el ejemplo de la sucesin oscilante
1, 0, 1, 0, 1,
Sin embargo, es posible decir algo ms de las sucesiones acotadas.
El siguiente resultado es de gran importancia para el clculo y, aunque no haremos uso del mismo
durante el curso, presentamos aqu una demostracin que echa mano del teorema de las sucesiones
montonas.
Teorema. Si A an : n est acotado, entonces existe una subsucesin de an que tiene

lmite finito.
Demostracin
La estrategia de la demostracin es observar primer lugar, que hay una subsucesin montona.
Como tambin resultar acotada por hiptesis, el teorema de las sucesiones montonas, nos dar
seguridad de que tal subsucesin tiene lmite finito como dice el enunciado del teorema que
queremos demostrar.
Vamos pues por el resultado que da cuenta de que existe una subsucesin montona.
Para ello nos valdremos del concepto de punto panormico. Diremos que a p es un punto
panormico de la sucesin an , si
a p an para n m
1 1
Por ejemplo, en la sucesin 0,1,0, ,0, ,0...
2 3
1 1
los puntos panormicos son 1, , , ... .
2 3

1
En cambio, la sucesin an 1 no tiene puntos panormicos.
n
El siguiente grfico muestra con ms claridad el concepto de punto panormico:
Punto
panormico
Punto
panormico
Desde un punto
panormico, se ve el resto
de la sucesin
No es punto
panormico
Queremos probar que de la sucesin original an se puede extraer una subsucesin montona.
Se pueden dar dos situaciones:
Situacin 1: existen infinitos puntos panormicos.

En tal caso elegimos el primer trmino de la subsucesin n1 de forma tal que an1 sea un punto
panormico. Es decir, tenemos que
an 1 an para n n 1
El siguiente paso, como hay infinitos puntos panormicos, es elegir n2 n1 de forma tal que an2
tambin sea un punto panormico. Entonces tenemos hasta aqu
an 1 an 2 an para n n 2 n1
Ya nos podemos imaginar los siguientes pasos. Como tenemos infinitos puntos panormicos,
podemos repetir este proceso indefinidamente y obtener una sucesin de ndices
... n k n k 1 ... n1
tales que an k son todos puntos panormicos, de modo que vale
an 1 an 2 an 3 ... an k ...
He aqu la sucesin montona (decreciente en este caso) que estbamos prometiendo.

Situacin 2: existen slo finitos puntos panormicos.

Como slo hay una cantidad finita de puntos panormicos, podemos decir que a partir de un ndice
n 1 en adelante, no hay ms de tales puntos. En otras palabras, si n n 1 entonces an no es punto
panormico.
Para construir la sucesin montona en este caso procedemos como sigue:
Se elige an1 como primer trmino de la subsucesin.
Como an1 no es punto panormico, debe existir un ndice n 2 n 1 de modo que
an 1 an 2
De la misma forma, como an 2 no es punto panormico, existe n 3 n 2 tal que
an 2 an 3
Podemos repetir este procedimiento indefinidamente y obtener una subsucesin

an1 an 2 an 3 ... an k ...
que resulta montona creciente.
Hemos establecido que cualquiera sea la situacin siempre es posible obtener de an una
subsucesin an k montona.
Como por hiptesis, la sucesin an est acotada, tambin est acotada la subsucesin an k .
El teorema de las sucesiones montonas, nos asegura que existe y es finito el lmite de ank .
El teorema queda demostrado.

Volver
G. Un ejemplo biolgico. Sucesiones por recurrencia

A esta Unidad 2 se la motiva con el problema de generar un algoritmo para crear la raz cuadrada de
un nmero. Este problema qued resuelto al final de la unidad cuando estudiamos las sucesiones
dadas en forma recurrente.
Presentamos en esta entrada otro ejemplo donde un modelo biolgico puede ser tratado eficazmente
con las herramientas que adquirimos en esta unidad.
Esta sucesin recurrente que se recrea aqu en un modelo biolgico, es base de una teora
matemtica que en la actualidad est tomando mucho impulso: la teora del caos. En la bibliografa
obligatoria, se puede profundizar un poco ms en ella.
El siguiente modelo de la evolucin de la poblacin de una colonia de insectos se ajusta bien a la

realidad. Con una adecuada escala de medida, la poblacin de cada perodo ( pn 1 ) se obtiene a
partir de la del perodo anterior ( pn ) mediante la expresin
pn 1 rpn (1 pn ) , 0 p0 1
En este caso r es una constante entre 0 y 4 que mide la vitalidad de la poblacin. Con la escala
elegida la poblacin se mantiene siempre entre 0 y 1. El 0 indica la extincin y el 1 un tope para la
poblacin imposible de superar por las condiciones del habitat.
Vamos a probar que si la vitalidad de la poblacin es baja ( 0 r 1 ), entonces la poblacin a la
larga se extingue. Es decir lim pn 0 .
n
Solucin
La sucesin pn est acotada tanto superior como inferiormente pues
0 pn 1 para todo n
pn 1
Adems, se puede fcilmente comparar con 1 el cociente de DAlembert .
pn
pn 1
r (1 pn ) 1
pn
Entonces la sucesin pn es decreciente.
De acuerdo al teorema de las sucesiones montonas, existe lim pn p con 0 p 1 .

n
Veamos que p 0 . Si as no lo es, resultara p 0 y se llega a la siguiente contradiccin:
Por un lado,
pn 1 p
lim 1
n pn p
y por otro lado

pn 1
lim lim r (1 pn ) r (1 p)
n pn n

Como el lmite es nico, ambos valores deben coincidir, de donde

1
p 1 0
r
Contradiciendo la suposicin de que p 0 . Se sigue que
lim pn 0
n
Es decir, la poblacin a la larga, se extingue. Volver
Cintia Buxton, Lisi DAlfonso, Flora Gutierrez, Gabriela Jeronimo, Gustavo Massaccesi, Juan Carlos Pedraza
y Juan Sabia (2015), Sucesiones, Tericas de Anlisis Matemtico (28).

Sucesiones PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sucesiones PDF

Cargado por

Copyright:

Formatos disponibles

Tericas de Anlisis Matemtico (28) Prctica 3 Sucesiones

1.1. Un problema a modo de presentacin. La raz cuadrada de 2

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 1

1.2. Ejemplos de sucesiones

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 2

Definicin: Una sucesin es una funcin a : , se escribe a (n) an .

Se lee a sub n. Indica el nmero real de la lista en la posicin n.

Observemos la lista de sucesiones con las que comenzamos esta seccin:

Lo que interesar es el comportamiento de an para valores grandes de n.

El primer trmino se obtiene reemplazando en la frmula de an , la variable n por el valor n 1

Los siguientes trminos se obtienen reemplazando la variable n por los valores 2, 3, 4 y 5

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 3

1.3. Trmino general

Ejercicio. Tenemos la sucesin an cuyos primeros trminos son

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 4

a2 1 , a4 a2*2 2 , a6 a2*3 3 , a8 a2*4 4

En sntesis, el trmino general de la sucesin se puede presentar como

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 5

Con lo trabajado hasta aqu, se pueden hacer los ejercicios 1 y 2 de la Prctica 3.

1.4. Representacin grfica

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 6

La definicin precisa de lmite es la siguiente:

Se escribe lim an L o an L , se lee el lmite de a sub n cuando n tiende a infinito es L.

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 7

Es un buen momento para hacer los ejercicios 3 y 4 de la Prctica 3.

2.1. Sucesiones divergentes

Ejemplos de sucesiones que no convergen

K Para todo K 0 existe

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 8

En este caso se dice que

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 9

3. Propiedades del lmite

3.1. Unicidad del lmite

Si as fuera todos los an a

Una sucesin no puede converger a dos lmites distintos

3.2. Acotacin de las sucesiones convergentes

Si an es convergente, entonces el conjunto A an : n es acotado

M Se elige 1 o cualquier otro.

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 10

3.3. Conservacin de signo

3.4. lgebra de lmites

Hablando informalmente, para valores grandes de n los valores de an se parecen al nmero a,

lgebra de lmites. Si an a y bn b , entonces

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 11

2 en el numerador y el trmino 5n en el denominador

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 12

Factor comn n 2 en Se simplifica el

Ahora estamos en condiciones de aplicar el teorema de lgebra de lmites ya que el numerador

Factor comn n 2 en Se simplifica el Se prepara para

Se puede ahora aplicar lgebra de lmites ya que

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 13

Aplicado a nuestro caso, resulta

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 14

Quedamos en condiciones de aplicar el lgebra de lmites:

Con lo visto hasta aqu se pueden hacer los ejercicios 5 y 6 de la Prctica 3.

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 15

"()0 " "00 "

Ejercicio. Calcular el lim n

rea de Matemtica Ciclo Bsico Comn Universidad de Buenos Aires 16

El producto por conjugado

Seguimos teniendo una indeterminacin, ya que el numerador tiende a ms infinito y el

3.5.1. Parecen pero no son determinaciones

"() oscila finitamente " Por ejemplo: lim (n cos(n))

a2 1 , a4 a22 2 , a6 a23 3 , a8 a2*4 4