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 2 Sucesión recursiva convergente

3 Sm 1
Sea la sucesión S1  1, S2  2, Sm2  , m  1 , grafique los primeros 20 términos de la
5 Sm
sucesión y demuestre si es convergente utilizando el teorema de acotamiento y monotonía.

 La grafica esta vez se hará en Derive 5. El cálculo para este tipo de funciones es complejo,
por eso se toman los valores generados del programa en pascal. Se toma como base el
programa del material CONVERGENCIA SUCESION RECURSIVA. En el programa solo
de cambia la definición de la función.
 Los primeros 15 valores, en Derive 5 o en el 6, se ingresan entre corchetes, separando con
comas los pares ordenados:

Al dar enter se visualiza la siguiente tabla:

 La gráfica se muestra a continuación:

La tabla y la gráfica sugieren que al seguir evaluando de forma recursiva la sucesión converge
3 Sm 1 3 Sm 1
a 0.77459, es decir con S1  1, S2  2, Sm2  , m  1, el lím  0.77459 . Para ser
5 Sm m   5 Sm
más precisos, puede modificarse el programa para que nos dé una mejor precisión del límite.
a) Programa modificado para que calcule la tendencia de 3 Sm 1

Claramente se observa que lím 3 Sm 1  3

m  

b) Programa modificado para que calcule la tendencia de 5 Sm

 Claramente se observa que lím 5 Sm  5
m  

3
 La intuición es correcta y el límite de la sucesión es  0.7745966692 .
5
Con los valores iniciales S1  1, S2  2 , se observa que a medida m   , el valor de
3 Sm  1 3 3 Sm 1 3
3 Sm1  3  5 Sm  5 , luego  esto implica que lím  .
5 Sm 5 m  5 Sm 5
Demostración: Se consideran los límites lím Sm 2  L  lím Sm1  L  lím Sm  L , esto
m   m   m  

porque, si m   entonces, m  1, m  2 también tienden a   .

3 Sm  1
lím Sm  2  L  lím
m  m  5 Sm
3 Sm  1
 lím
m  5 Sm
3 lím Sm  1 3L 3
m 
 , sustituyendo se tiene que L  
5 lím Sm 5L 5
m 
 3
Se puede concluir con este resultado que la sucesión es convergente y converge a . Se
5
demuestra además, la convergencia por 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  , S 5      ,0.560348589556 . De aquí
que él SupS m  2 y el InfS m  S 5  0.5603 . Esto indica también que todos los valores de la


sucesión están en S 5 , 2  , la sucesión es acotada.
Demostración por inducción
Sea la proposición P(m)  0.5603  S m 2  2 . Se hará inducción para m , un elemento natural
arbitrario, m  1 .
3S 1 1
i ) m  1  0.5603  2
5S 1
3S 2
 0.5603  2
5S 1

3 2
 0.5603  2
5  1
6
 0.5603   2  0.5603  1.095445115  2, esto es cierto.
5
ii ) Se supone que, si 0.5603  S m  2  0.5603  S m  1  2 es cierto, debe probarse que
0.5603  S  m  1 1  S m 2  2 también es cierto. Entonces:
0.5603  S m  1  2  3  0.5603   3S m  1  3  2 
 1.6809  3S m  1  6
0.5603  S m  2  5  0.5603   5S m  5  2 
 2.8015  5S m  10
1.6809 3S m  1 6 3 3S m  1 3
Luego,     
2.8015 5S m 10 5 5S m 5

3 3S m  1 3
  
5 5S m 5
3 3

 S m 2 
5 5
Por i), ii) y el PIM se concluye que 0.5603  S m 2  2 , luego S m  2 es acotada.

Otra forma de determinar el acotamiento es porque existe un número natural, por ejemplo
3, tal que S m  2  3 , es decir que 3  S m 2  3 . Este número no es único, existen infinitos

números M  tal que S m  2  M .

  Los valores calculados indican claramente que la sucesión es creciente, se concluye que
la sucesión es monótona.
Demostración:
3 S m  1 1
3 Sm  1  
Sm  2  S m1  2  
  5 Sm 5 Sm  1
3 Sm  1 3 Sm  2
 
5 Sm 5 Sm  1
 3 Sm  1 5Sm  1  3 Sm  2 5 Sm

      5 Sm  
2 2
  3 Sm  1 5 Sm  1    3 Sm  2
   
  3Sm  1  5 Sm  1    3Sm  2   5 Sm 
 15 Sm  1  15 Sm Sm  2
 Sm  1  Sm Sm  2
Sm  1 Sm  1
  Sm  2 , equivalente a probar que Sm  2 
Sm Sm
Demostración por inducción
Sm 1
Sea la proposición P ( m)  Sm  2  , se hará inducción para m  , m  1 .
Sm
S2 1
i ) Para S1  1  S2  2  m  1  S3  1.09544   , P(1) es cierto.
S1 2
Sm  1
ii ) Se supone que P ( m)  Sm  2  es cierto, debe probarse que P ( m  1) también lo es.
Sm
S m 1  1
  Sm  2
S m  2 1   Sm  3  , por hipotésis de inducción se tiene:
  Sm  1 Sm  1
Sm  1
Sm Sm  1 1
Sm  3    , cierto para todo m  1
Sm  1 Sm Sm  1 Sm
Por i), ii) y el PIM, la sucesión es monótonamente decreciente.

3 Sm1
Por lo tanto la sucesión S1  1, S2  2, Sm2  , m  1 es convergente.
5 Sm
TAREA: Siguiendo el procedimiento anterior determine la convergencia de las siguientes
sucesiones recursivas. Modifique el programa de pascal, calcule los primeros 20 términos de la
sucesión y grafíquelos en el plano cartesiano usando derive 5 o Grapes. Demuestre si es
convergente utilizando el teorema de acotamiento y monotonía.

a) Sea la sucesión S1  1, Sn1  3 4  Sn1  , n  1 .

2

1
b) Sea la sucesión S1  1, Sn  , n2.
3  Sn1

c) Sea la sucesión S1  2 , Sn  2 Sn1 , n  2 .