UNIVERSIDAD PEDAGÓGICA NACIONAL FRANCISCO MORAZÁN

CENTRO UNIVERSITARIO DE EDUCACION A DISTANCIA

SECCIÓN DE MATEMÁTICA
DE LOS DOCUMENTOS DE MAURICIO MONCADA

Ejemplo 1 Sucesión recursiva convergente

sm sm1
Sea la sucesión s1  1, s2  2, sm 2 
 , m  1 , grafique los primeros 10 términos de la
2 3
sucesión y demuestre si es convergente utilizando el teorema de acotamiento y monotonía.
m sm
s1 s2
1 2 7
1 s3   
   1.16 1.17
2 3 2 3 6
7
s2 s3 2 25
2 s4     6   138 1.39
2 3 2 3 18
7 25
s3 s4 113
3 s5    6  18  1.04629 1.05
2 3 2 3 108
25 113
s4 s5 169
4 s6    18  108  1.043209 1.04
2 3 2 3 162
113 169
s5 s6 1693
5 s7    108  162  0.87088 0.87
2 3 2 3 1944
169 1693
s6 s7 4375
6 s8    162  1944  0.81189 0.81
2 3 2 3 5832
1693 4375
s 7 s 8 1944 5832 24707
7 s9      0.70607 0.71
2 3 2 3 34992
4375 24707
s 8 s 9 5832 34992 33661
8 s10      0.641308 0.64
2 3 2 3 52488
24707 33661
s 9 s 10 34992 52488 357007
9 s11      0.566807 0.57
2 3 2 3 650826
33661 357007
s 10 s 11 52488 650826 962905
10 s12      0.50959 0.51
2 3 2 3 1889568
Gráfica de la función s  en
m
Grapes. Los puntos a graficar se insertan con la opción

:
 1,1 ,  2, 2  3,1.17  ,  4,1.39  5,1.05  ,  6,1.04  ,  7,0.87  ,  8,0.81 ,  9,0.71 ,  10,0.64  ,
s   11,0.57  , 12,0.51 ,
m 
 
Por ejemplo P 1,1 :
 Clic en P:

 Clic en Punto

 Clic en x 

 Ingresa la coordenada x  1 , luego presiona enter:

 Ingresa la coordenada y  1 , luego presiona enter:

 Cambie el color del punto a rojo y presiona OK

 El punto aparece en el mayado y así ingresa los demás puntos. La gráfica se muestra a
continuación:
Al seguir evaluando de forma recursiva se puede intuir que la sucesión converge a cero, es
s s s s
decir con s1  1, s2  2, sm 2  m  m1 , m  , m  1, el lím m  m1  0 .
2 3 m   2 3
Los siguientes son cálculos hechos en Derive 5:

sm sm1
m Valor exacto de sm 2   Valor aproximado
2 3

11

12

13

14

15

16

17

18

19

20

21

22
 23

24

Después de muchas iteraciones se obtienen los siguientes resultados:

 La intuición es correcta y el límite de la sucesión es cero.

Demostración:
Con los valores iniciales s1  1, s2  2 , se observa que a medida m   , el valor de
sm  0 ; análogamente, m   implica sm  1  0 . Luego:
sm sm1 3 sm  2 sm1
lím   lím
m  2 3 m   6
3 0  2 0 0
  0
6 6
Se puede concluir con este resultado que, la sucesión es convergente y converge a cero,
pero se demuestra el acotamiento y monotonía de la sucesión.
  De los valores calculados se puede determinar que el conjunto de cotas superiores de la
sucesión es el intervalo  2,    y las inferiores  ,0 . De aquí que él SupS m  2 y el
InfS m  0 . Esto indica también que todos los valores de la sucesión están en  0, 2  , la
sucesión es acotada.
Otra forma de determinar el acotamiento es porque existe un número natural, por
ejemplo 3, tal que S m  3 , es decir que 3  S m  3 . Este número no es único, existen

infinitos números M  tal que S m  M .

 Los valores calculados indican claramente que la sucesión es decreciente, se concluye

que la sucesión es monótona.
Demostración:
s s s s m11
sm 2  s m1 2  m  m1  m1 
2 3 2 3
s s s s
 m  m 1  m 1  m  2
2 3 2 3
3 s  2 sm1 3 sm  1  2 sm  2
 m 
6 6

 3 sm  2 sm1 

6 3 sm  1  2 sm  2
6
 3 sm  2 sm 1  3 sm  1  2 sm  2
Como 2 sm 1  3 sm  1 , si se toma sm  sm  2 ,entonces, por las propiedades de  , se cumple:
Si sm  sm  2 ,como 3  2, entonces 3 sm  2 sm  2 , luego:
2 sm 1  3 sm  1  2 sm1  3 sm  3 sm  1  2 sm  2
 3 sm  2 sm 1  3 sm  1  2 sm  2 ,  m 
La sucesión es monótonamente decreciente.
s s
Por lo tanto la sucesión s1  1, s2  2, sm 2  m  m1 , m  1 es convergente.
2 3
Visualizar el límite de este tipo de sucesiones no siempre resulta fácil, por eso la programación
es muy útil ya que se pueden calcular valores de la sucesión con facilidad e identificar e
identificar la tendencia de la sucesión a medida m  , en caso contrario, la sucesión
diverge.
Se presenta a continuación el código del programa en Free Pascal, este corre en MS – DOS para
Windows con arquitectura de 32 o de 64 bits.
La salida para el valor de m  10 es la
siguiente:
La salida para el valor de m  21 es la siguiente:

Corrida del programa si se ingresa un entero negativo:

TAREA: Siguiendo el procedimiento anterior demuestre si son o no convergentes las

siguientes sucesiones, modifique el código del programa para cada caso.

a) Serie de Fibonacci: f0  1, f1  1, fn1 (n)  fn1(n)  fn (n), n  1

am1 am 2
b) a1  2, a2  1, a3  3, am 3  am   , m1
6 9