CAPÍTULO

Teoría elemental de los límites de sucesiones

de números reales.
“ De alguna manera, la matemática es la
única actividad humana infinita. Es concebible
que eventualmente la humanidad conozco toda
la biología o la física. Pero seguramente
la humanidad nunca podrá descubrir toda la
matemática, porque el tema es infinito. Los
números mismos son infinitos. Ésta es la causa
por qué la matemática es realmente mi único
interés.”
Leonhard Euler:

Contenido Capítulo 1 Página

1 Introducción a las sucesiones 2

1.1 Problemas 14

2 Convergencia y límite de sucesiones 16

Z Introducción
En este capítulo introducimos el concepto de sucesión de números reales. Se trata de una aplicación
de los números naturales, un conjunto infinito, pero discreto, en los números reales. Este tipo de
aplicaciones son inyectivas puesto que existe una cantidad infinita y densa de números reales y sólo
una cantidad infinita pero discreta de naturales.
Este capítulo versa sobre los tipos de sucesiones, el concepto de límite de una sucesión y los
métodos de cálculo analíticos y con WXMAXIMA estudiaremos el proceso que conducen a la determinación
del límite de sucesiones convergentes. Este capítulo es la base para comprender satisfactoriamente
los conceptos de “Sucesiones de números enteros positivos” y “Sucesiones acotadas”. Por lo tanto,
asimilarlo detenidamente es de fundamental importancia.
Averiguar si una sucesión es monótona, si está acotada y si existe el límite de dicha sucesión es

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 1

uno de los objetivos de la primera parte de este capítulo. Todas las sucesiones con límite satisfacen
determinadas operaciones que expondremos aquí en detalle. La parte central de este capítulo consiste
en desarrollar una habilidad de cálculo suficiente para poder determinar el límite en las llamadas
situaciones de indeterminación. En ellas debemos ser capaces de utilizar simplificaciones, para desen-
mascarar la indeterminación y averiguar el valor del límite.
OBJETIVOS
• Introducir el concepto de sucesión de números reales.
• Saber comprobar si una sucesión es acotada y monótona.
• Introducir el concepto de límite de una sucesión.
• Conocer las propiedades fundamentales del límite de una sucesión así como introducir la aritmética
de los límites.
• Distinguir los casos de indeterminaciones en el cálculo de límites y resolver casos concretos, utilizando
los criterios adecuados (criterio de Stolz, regla del bocadillo, etc).

PROBLEMAS PROPUESTOS
Deben resolver los problemas siguiendo los siguientes pasos:
• Planteamiento del problema,
• Construcción del modelo matemático que identifica al problema,
• solución del problema usando WXMAXIMA,
• análisis de las respuestas,
• Conclusión si es necesario.

Informe: 1.1. Introducción a las sucesiones

GUÍA

Z Introducción
En esta guía introductoria trataremos la construcción de listas de objetos de la forma:
{[1, a1 ], [2, a2 ], [3, a3 ], · · · , [n, an ]} donde n ∈ IN y an ∈ IR, las cuales son la estructura que tienen las
sucesiones,estas las podemos las podemos generar a partir de diferentes formas implícitas pero siempre
utilizando una regla o ley de asignación de la forma s : a[n].
Además estudiaremos como resolver problemas asociados a las sucesiones como practica para
construir modelos matemáticos y obtener respuestas a situaciones que se ajusten a las condiciones
establecidas al construir los modelos.
CONCEPTOS PREVIOS
• Previamente a la lectura de esta guía es muy aconsejable que se tenga un conocimiento mínimo del
programa WXMAXIMA.
• Por lo tanto, recomendamos que trabajes la guía “Uso básico de WXMAXIMA en el cálculo simbólico y
analítico” antes de empezar con éste.

CONCEPTOS FUNDAMENTALES
• Concepto de sucesión de números reales.

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 2

• Determinación del término n −∆ esimo de una sucesión.
• Representaciones geométricas.
• Clasificación de las sucesiones.

CREANDO LISTAS EN WXMAXIMA

En esta guía estudiaremos las sucesiones con WXMAXIMA. Para ello en primer lugar estudiaremos
cómo opera WXMAXIMAcon listas.
Una lista es una enumeración de objetos, en cierto modo se puede identificar con un vector.
El objetivo de esta sección es ilustrar como trabaja lmaxima con listas. Todo ello servirá como base
para el manejo de sucesiones.
Existen diferentes formas de definir una lista en lmaxima, las cuales estudiaremos ahora:
• Si queremos crear una lista explícitamente. Basta con introducir los elementos de la lista entre
corchetes ([]) separados por comas. Así: L: [a, sin(b), c!, d-1];

• Si tenemos una ley de formación para generar la lista, usamos el comando makelist. El cual permite
crear una lista dada su ley de formación. La sintaxis es la siguiente:
makelist (<expr>, <i>, <i_0>, <i_max>, <step>)
Donde:
expr : significa la ley de formación.

i : representa el parámetro de la ley de formación.

i_0 : es el valor inicial del parámetro.

i_max : es el valor final o máximo del parámetro.

step : este comando es opcional y representa el paso de avance del parámetro. Si no se indica se

supone que es el 1.
• Por ejemplo, si queremos generar los primeros 10 términos de una lista cuya ley de formación es n ,
escribiríamos:

(% i1) makelist(n, n, 1,10,1); +

y obtenemos la salida :

(%o1) [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]

• Ahora si queremos generar una lista de ceros realizamos lo siguiente :

(% i2) makelist(0,n,1,7); +

(% o2) [0, 0, 0, 0, 0, 0, 0]

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 3

• A menudo, es recomendable definir previamente la ley de formación. Esto puede hacerse del siguiente
modo: Por ejemplo queremos listar los diez primeros números impares. Entonces la ley de formación

sería a[n] : 2n − 1 para todo n ∈ IN. En WXMAXIMA lo haríamos de la siguiente manera:

(% i3) a[n]:=2·n-1 $ +

(% i4) makelist(a[n],n,1,10); +

(% o4) [1, 3, 5, 7, 9, 11, 13, 15, 17, 19]

• Por último, para generar los elementos que forman una lista se deben crear una nueva lista en la que
cada elemento sea un par de la forma: [n, an ], esto lo hacemos escribiendo en WXMAXIMA lo siguiente:

(% i5) makelist([n,a[n]],n,1,10); +

(% o5) [[1, 1], [2, 3], [3, 5], [4, 7], [5, 9], [6, 11], [7, 13], [8, 15], [9, 17], [10, 19]]

• Si tenemos una lista de datos y a partir de esta crear otra. Usamos el Comando create_list, la
sintaxis es muy parecida a la anterior. En este caso la lista de valores que toma el parámetro se
pasa de forma explicita. Además permite crear listas que dependan de más de una variable.

Y tiene la forma: create_list (<form>, <x_1>, <list_1>, ..., <x_n>,<list_n>)

Donde:
form : significa la ley de formación.
x_1 : representa el primer parámetro de la ley de formación.

list_1 : es la lista de valores del primer parámetro.

x_n : es el valor del último parámetro.

list_n : es la lista de valores del n −∆

esimo parámetro.

Por ejemplo, si queremos generar el cubo de los primeros cuatro números impares, entonces tipeamos
en WXMAXIMA:

(% i6) create_list (i^3,i,[1,3,5,7]); +

(% o6) [1, 27, 125, 343]

• Como lo expresamos anteriormente, también es posible generar listas que dependan de dos parámet-
ros, como por ejemplo

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 4

 (% i7) create_list ([i, j], i, [a, b], j, [e, f, h]); +

(% o7) [[a, e], [a, f], [a, h], [b, e], [b, f], [b, h]]

MAXIMA proporciona funciones que permiten manipular listas. Algunas de las más importantes se
muestran a continuación:

Funciones Descripción

L[i] muestra el i − ésimo elemento de la lista

append(L1,L2) concatena las listas L1 y L2
join(L1,L2) genera una lista entrelazando los elementos de L1 y L2
push(x,L) introduce el elemnto x al inicio de la lista L (use el paquete basic)
pop(L) elimina el primer elemento de la lista L
unique(L) elimina los elementos repetidos de la lista L
+, -, *, / son las operaciones algebraicas entre listas de la misma longitud
apply(f,L) aplica la función f a la lista L
map(f,L) aplica la función f a cada uno de los elementos de la lista L.

Ejercicio. 1.0.1

Dadas las listas L1 y L2 definidas por las leyes de formación , L1[n] : 3 · n, para n 1, 2, 3, 4, 5 y
L2[n] : 2 · n − 1 para n 1, 2, 3, 4, 5 determinar:

1. el tercer elemento de la lista L1,

2. la concatenación de las dos listas,
3. la lista L3 como, la mezcla de los elementos de las dos listas,
4. una nueva lista al añadirle el elemento 0 a la lista L1,
5. dos nueva listas al eliminar el primer elemento de la listas L1 y L2,
6. una nueva lista al ordenar y eliminar los elementos repetidos de L3,
7. el producto de las listas L1 y L2,
8. la suma de todos los elementos de la lista L1,
9. el valor máximo de la lista L2,
10. el coseno de cada uno de los elementos de la lista L2.

Solución
Primero Construiremos con WXMAXIMA las listas L1 y L2.

(% i8) L1:makelist(3*n, n,1,5); +

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 5

 (% o8) [3, 6, 9, 12, 15]

(% i9) L2:makelist(2*n-1, n,1,5); +

(% o9) [1, 3, 5, 7, 9]

Dadas las listas L1 y L2 definidas en WXMAXIMAResolveremos los 10 interrogantes.

1. El tercer elemento 3 de la lista L1 se obtiene:

(% i10) L1[3]; +

(% o10) 9

2. Para realizar la concatenación de las listas L1 y L2 usamos la función append de la siguiente

forma:

(% i11) L3:append(L1,L2); +

(% o11) [3, 6, 9, 12, 15, 1, 3, 5, 7, 9]

3. Las listas L1 y L2 se mezclan utilizando la función join, así:

(% i12) join(L1,L2); +

(% o12) [3, 1, 6, 3, 9, 5, 12, 7, 15, 9]

4. Ahora para añadir el cero a la lista L1 usaremos la función push

(% i13) push(0,L1); +

(% o13) [0, 3, 6, 9, 12, 15]

5. Si queremos eliminar el primer de la lista L2 utilizamos la función pop

(% i14) pop(L2); +

(% o14) 1

revisemos como quedo la lista L2

(% i15) L2; +

(% o15) [3, 5, 7, 9]

Para la lista L1 realizamos:

6. Si queremos ordenar la lista L3 y eliminar los elementos repetidos podemos utilizar la función
unique :

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 6

 (% i16) unique(L3); +

(% o16) [1, 3, 5, 6, 7, 9, 12, 15]

7. Como la lista L2 tiene un elemento menos que la lista L1 le agregamos primero el valor que le
habíamos quitado, así la multiplicación de los elementos de las listas L1 y L2 se indica:

(% i17) push(1,L2); +

(% o17) [1, 3, 5, 7, 9]

(% i18) L1*L2; +

(% o18) [3, 18, 45, 84, 135]

8. Para sumar los elementos de la lista L1 usamos la función apply("f",L)

(% i19) apply("+",L1); +

(% o19) 45

9. Para calcular el máximo de la lista L2 utilizamos la función f max en apply obteniendo:

(% i20) apply(max,L2); +

(% o20) 9

10. Por último, si queremos calcular el coseno de cada uno de los elementos de la lista L2
usamos nuevamente la función map siendo f, cos, así:

(% i21) L4:map(cos,L2); +

(% o21) [cos(1), cos(3), cos(5), cos(7), cos(9)]

Para que evalúe los elementos de la lista L4 debemos usar la función de WXMAXIMA float, pero
antes vamos a escoger el numero de cifras decimales que queremos que se impriman en la salida,
esto se hace con la función fpprintprec, quedando así:

(% i22) fpprintprec : 4 $ +

(% i23) float(L4); +

(% o23) [0.5403, −0.9899, 0.2836, 0.7539, −0.9111] .

TRABA JANDO CON SUCESIONES EN WXMAXIMA

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 7

 Para un matemático una sucesión es una aplicación del conjunto IN de los números naturales en el
conjunto IR de los números reales.
Dicho de otro modo eso significa una «lista» de parejas [n, a[n]] donde el primer elemento n de la
pareja es un número natural que indica la posición en la lista y el segundo a[n] el valor que tiene dicho
término n −∆esimo de la lista.
Una fila de personas, cada una con su altura a[n] podría ser modelada matemáticamente por una
sucesión. Bien es verdad que una sucesión matemática abstracta tiene siempre una cantidad infinita
de términos mientras que una tal fila tiene un número finito de personas. En este caso la sucesión la
representaríamos como {a[n]} : {a[1], a[2], a[3], · · · , a[k], · · · }.
Observe que no hemos dicho que las personas estén ordenadas de acuerdo a su altura. Están
ordenadas sí, pero de acuerdo con su posición en la fila, no de acuerdo con su altura.
A continuación mostramos algunos ejemplos de sucesiones. MAXIMA puede escribir los términos que
deseemos, pero siempre en una cantidad finita.
EXPRESIÓN EXPLÍCITA.
Usualmente la sucesión se identifica con el denominado término general an . Una sucesión an puede
venir definida por medio de una expresión explícita o ley de formación, de la forma {an }, como el ejemplo
a continuación

Ejercicio. 1.0.2 Sucesión representada explícitamente

1
Encontrar los primeros 7 términos de la sucesión { }
n

Solución
1
Para encontrar los 7 primeros términos de la sucesión a[n] así definida { }, debemos tipear en
n
WXMAXIMA lo que se indica a continuación.
Comenzamos utilizando el comando kill(all) para eliminar de la memoria todas las defini-
ciones que pudiéramos haber realizado con anterioridad a fin de evitar resultados extraños
y luego hacemos uso del comando makelist que permite construir listas como las que nos
interesan, luego definimos la sucesión de la siguiente manera a[n]:=1/n y por último le
pedimos a WXMAXIMA que nos liste los 7 primeros términos así makelist([n,a[n]],n,1,7),
visto en la interface de WXMAXIMA así.

(% i24) kill(all)$ +

(% i25) a[n]:=1/n $ +

(% i26) makelist([n,a[n]],n,1,7); +

(% o26) [[1, 1], [2, 21 ], [3, 31 ], [4, 14 ], [5, 51 ], [6, 16 ], [7, 17 ]]

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 8

 Cambie el número de términos y experimente con la sucesión anterior construyendo listas más
largas. Nunca podrá tener de forma «actual» la lista completa, pero «potencialmente» sí la tiene y sin
ambigüedades, en cuanto que es posible conocer el valor a[n] de cualquier término de la lista.
En una sucesión el valor del término n−∆
esimo está definido siempre de forma inequívoca. Pero hay
sucesiones, como la anterior, para las que es posible obtener de forma inmediata el valor del término
n −∆esimo, mientras que en otras dicho valor depende de los valores anteriores de los términos de la
sucesión.
LEY DE RECURRENCIA
Por ejemplo, pensemos en una sucesión cuyos dos primeros términos son a[1] 0, a[2] 1 y los restantes
términos, para n 2, se obtienen como la media aritmética de los dos términos inmediatamente anteriores;
o dicho de otra manera, a[n] : (a[n − 1] a[n − 2])/2. A esta última fórmula se le llama de recurrencia. Y
ahora explicaremos como se listan los k primeros elementos que la conforman utilizando WXMAXIMA.

Ejercicio. 1.0.3 Ley de recurrencia

Determine los diez primeros términos de la sucesión que cumple las siguientes condiciones:
• a[1] 0
• a[2] 1
a[n − 1] a[n − 2]
• para todo n 2.
2

Solución
Lo primero que debemos hacer es introducir las dos primeras condiciones, pero como en el
ejemplo anterior ya habíamos definido la sucesión en el ejercicio 2 como a[n] debemos borrar
esa definición con la función de WXMAXIMA kill(all), y luego tipear las tres condiciones dadas
en el ejercicio 3 como se muestra a continuación:

(% i27) kill(all)$ +

(% i28) a[1]:=0 $ +

(% i29) a[2]:=1 $ +

(% i30) a[n]:=(a[n-1]+a[n-2])/2$ +

(% i31) makelist([n,a[n]],n,1,10); +

(% o31) [[1, 0], [2, 1], [3, 21 ], [4, 43 ], [5, 58 ], [6, 11 21 43 85 171
16 ], [7, 32 ], [8, 64 ], [9, 128 ], [10, 256 ]]

El Ejercicio 3 es una muestra de que se conoce con el nombre de sucesiones recurrentes. Las
sucesiones recurrentes son más frecuentes de lo que a primera vista pudiera parecer. Y muy antiguas:

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 9

como es el caso de la «Sucesión de Fibonacci».

Problema Guía. 1.0.1

Hallar la expresión explícita de la sucesión {an } representada por la lista:

11 8 5 2
, , , , ···
3 7 11 15
y calcular.
a. Después calcule el término que ocupa el lugar 12,
b. el término de la sucesión a partir del cual la diferencia con ak − 34 es, en valor absoluto,
1
menor que 100 .

Solución
Si consideramos el numerador y el denominador de {an } como dos sucesiones {bn } y {cn }
respectivamente. Vemos que ambas son progresiones aritméticas. Ahora calculamos el término
general de cada una de ellas tendremos también el término general de la sucesión {an }.
sea {bn } 11, 8, 5, · · · } la sucesión de los numeradores, usando la fórmula del término general de
las progresiones aritméticas tenemos que:

bn b1 (n − 1) d 11 (n − 1) · (−3) 11 − 3n 3 14 − 3n.

Del mismo modo, si {cn } {3, 7, 11, 15, · · · } es la sucesión de los denominadores, entonces:

cn c1 (n − 1) d 4 (n − 1) · 4 3 4n − 4 4n − 1.

14 − 13n
Por tanto el término general de {an } es an .
4n − 1
a. Para calcular el término que ocupa el lugar 12 usamos WXMAXIMA

(% i32) kill(all)$ +

(% i33) a[n]:=(14-13*n)/(4*n-1)$ +

(% i34) a[12]; +

142
(% o34) − .
47
1
b. Debemos resolver la inecuación |ak − (− 34 )| 100 . Usando WXMAXIMA. Para lograrlo tenemos que
aplicar las propiedades de las inecuaciones para transformarla en una inecuación o aplicar la
14 − 3k 3 1
ley de los signos si no es posible transformarla. Para resolver la inecuación | |
4k − 1 4 100
14 − 3k 3
debemos simplificar el argumento del valor absoluto, , así:
4k − 1 4

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 10

 (% i35) ratsimp((14-3*k)/(4*k-1)+3/4); +

53
(% o35)
16k − 4

1
Ahora aplicamos la propiedad |x| a ⇔ −a x a ⇔ −a x ∧ x a. A la inecuación original:− 100
53 53 1
16−k ∧ 16−k 100 . Para resolver las dos inecuaciones resultantes cargamos primero la librería
solve_rat_ineq.

(% i36) load(solve_rat_ineq)$ +

(% i37) solve_rat_ineq(-1/100<53/(16-k)); +

(% o37) [[k 16], [k 5316]].

(% i38) solve_rat_ineq(53/(16-k)<1/100); +

(% o38) [[k −5284], [k 16]].

53 1
Definiremos la expresión f(k) de la siguiente forma: f(k) : | 16−k | − 100 .

(% i39) f(k):=abs(53/(16-k))-1/100$. +

Ahora usamos valores de prueba en f(k) y tomamos la decisión,Los valores de prueba que
tomaremos son: 15, 17 y 5320, por ser k ∈ IN no tomamos valores de prueba negativos.

(% i40) f([15,17,5320]); +

5299 5299 1
(% o40) [ , ,− ]
100 100 132600

53 1
Como el problema plantea que f(k) 0 entonces el valor mínimo que toma k para que | 16−k | − 100 0
es k 5317. Para que no quede duda verifiquemos la respuesta:

(% i41) is(f(5316)<0); +

(% o41) false,

(% i42) is(f(5317)<0); +

(% o42) true.

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 11

 Problema Guía. 1.0.2

Queremos contar el número de listas de longitud n ≥ 1 formadas con ceros y unos, luego
calcule el número de listas con 10 elementos.

Solución
Abordemos el problema planteando una relación de recurrencia entre los números an . Para
construir una lista de longitud n, con ceros y unos, construimos primero, una lista de longitud
n − 1 con las características pedidas. Y luego, a cada una de ellas, le añadimos un 0 o un 1 (así
obtenemos todas las posibles listas de longitud n).
Para empezar consideraremos que tenemos que construir listas con el cero o el uno como
elementos, pero de longitud uno. En este caso las posibles listas son:

[0], [1].

Es decir el número de listas de longitud uno, que podemos construir es 2.

Ahora consideremos que tenemos an−1 listas con n − 1 elementos y queremos agregarle a cada
lista un elemento más, es decir obtener listas con n elementos.
Como a cada posible lista de longitud n − 1 le podemos asociar dos listas distintas de longitud n,
el resultado total de listas an seria:
an 2an−1 .

Para calcular el número de listas de ceros y unos de longitud 10 usamos WXMAXIMA

(% i43) a[1]: 2$ +

(% i44) a[n]:= 2·a[n-1]$ +

(% i45) a[10]; +

(% o45) 1024

Es decir el número de listas de longitud 10 es 1024.

Problema Guía. 1.0.3

Sea an al número de regiones en que n rectas dividen al plano. Donde las rectas son tales que
por cualquier punto del plano pasen a lo sumo dos de ellas; y tales que ninguna de ellas sea
paralela a otra. Determine:
a. La ley de recurrencia que determina la sucesión {an } ,
b. el número de regiones en el que se divide el plano al trazar 15 rectas bajo las
condiciones dadas,
c. los cinco primeros términos de {an } .

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 12

Solución
a. Calculemos los primeros casos: para n 1, tenemos una recta, que divide al plano en, obvia-
mente, dos regiones. Para n 2, n 3 y n 4 aparecen cuatro, siete y once regiones, respectivamente:

IX

V VIII
I I VII V I VII
III VI VI
IV III IV X III IV
II II
II XI

Ya tenemos los primeros cuatro valores a1 2, a2 4, a3 7 y a4 11, pero el dibujo (figura1) se va

complicando, y corremos el riesgo de equivocarnos y olvidarnos de alguna región. Toca pensar:
fijémonos en cómo pasamos de n 2 a n 3.

1 2 3

1
2
3

Figura 1.1: Problema guía 1.0. 3.

Lo que hacemos es añadir una recta y como las dos rectas “viejas” deben cortar a la “nueva”, lo
que hacemos es añadir tres regiones del plano: ¿Cómo pasamos de n 3 a n 4? Véase el dibujo
(figura1): de nuevo añadimos una recta, que corta a las tres existentes y crea cuatro regiones
nuevas. Este argumento nos permite deducir que la regla de recurrencia es;

a1 2, an an−1 n, para cada n ≥ 2.

b. Como conocemos la ley de recurrencia de {an } , podemos usar WXMAXIMA para calcular el
número de regiones en las que se divide el plano al trazar 15 rectas; de la siguiente manera:

(% i46) kill(all)$ +

(% i47) a[1]:=2 $ +

(% i48) a[n]:=a[n-1]+n$ +

(% i49) a[15]; +

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 13

 (% o49) 121

Es el plano se divide en 121 regiones al trazar 15 rectas bajo las condiciones dadas.
c. Para listar los cinco primeros términos de {an }, utilizando WXMAXIMA, hacemos:

(% i50) makelist([n,a[n]],n,1,5); +

(% o50) [[1, 2], [2, 4], [3, 7], [4, 11], [5, 16]]

Los 5 primeros términos de la sucesión {an } son [1, 2], [2, 4], [3, 7], [4, 11], [5, 16].

1.1 Problemas

(a) Cuantos segundos se tardarán los monjes trasladar 7 discos del

1. El rompecabezas de la Torre de Hanoi fue inventado por el primer poste al tercero.
matemático francés Edouard Lucas en 1883. Se inspiró en una (b) Cuantos años se necesitan para finalizar la tarea.
leyenda acerca de un templo hindú donde el rompecabezas fue 2. Obtener una fórmula de recurrencia para a[n, k], siendo a[n, k]
presentado a los jóvenes sacerdotes. Al principio de los tiempos, el número de formas de distribuir n bolas idénticas en k cajas
a los sacerdotes se les dieron tres postes y una pila de 64 discos numeradas de forma que en cada caja haya entre 2 y 4 bolas. y
de oro, cada disco un poco más pequeño que el de debajo. Su calcule de cuantas formas se pueden distribuir 10 bolas en 5 cajas
misión era transferir los 64 discos de uno de los tres postes a otro, numeradas.
con dos limitaciones importantes. Sólo podían mover un disco a la 3. Hallar la expresión explícita de la sucesión :
vez, y nunca podían colocar un disco más grande encima de uno
más pequeño. Los sacerdotes trabajaban muy eficientemente, día 4 7 10 13
y noche, moviendo un disco cada segundo. Cuando terminen su , , , , ···
5 9 13 17
trabajo, dice la leyenda, el templo se desmenuzaría en polvo y el
mundo se desvanecería. y listar los 10 primeros elementos de la sucesión.
Si cada segundo se mueve un disco de un poste a otro, y su tarea 4. Hallar la expresión explícita de la sucesión {an } representada por
finalizará (y con ella el mundo) cuando logren transportar todos los la lista:
3 5 7 9
64 discos a otro poste. Pero, ¡atención!, nunca se puede colocar un , , , ···
disco sobre otro de diámetro más pequeño, es decir hay que seguir 2 4 6 8
las siguientes reglas: (a) Después calcule el término que ocupa el lugar 123,
• Sólo se puede mover un disco a la vez. (b) el término de la sucesión a partir del cual la diferencia con ak 1
1 .
es, en valor absoluto, menor que 100
• No puede haber nunca un disco de mayor tamaño o sobre uno de
tamaño menor. 5. Si el término general de una sucesión es
• Sólo se puede desplazar el disco que se encuentre arriba en cada
varilla. n2
n2 2
an ( )
n2

calcular:
(a) el término que ocupa el lugar 128,
(b) el término de la sucesión que la diferencia en valor absoluto del
numero e sea menor de 10001 .
Origen Intermedio Destino 6. Sabiendo que la diferencia en una progresión aritmética es − 3 y
el término vigésimo vale −18 , halla el primer término y la suma de
los 20 primeros.
Figura 1.2: Torre de Hanoi 7. Una rana quiere cruzar un charco de 2 metros. La rana es capaz
La Figura 1 muestra un ejemplo de una configuración de discos de saltar 1 metro en el primer salto, pero se va cansando por lo
en el proceso de movimiento del primer poste al tercero. Observe que cada salto es más pequeño que el anterior, según la relación
que, según especifican las reglas, los discos de cada poste se Ln1 rLn , siendo r 1. Si en el cuarto salto avanza 1/8, averigua la
apilan de manera que los discos más pequeños estén siempre razón y después el numero de saltos que debe dar la rana para
encima de los discos más grandes. estar a 20cm de la orilla del charco.
Calcule: 8. En las sucesiones de término general an 5n − 3 y bn 2n , halla los

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 14

 términos primero, segundo y décimo de las sucesiones: 9. Comprueba si 5, 7 y 9 son términos de la sucesión que tiene de
(a) {an − bn }, término general an 2n 3 .
(b) {an bn }, 10. Los lados de un cuadrilátero están en progresión aritmética de
(c) {an · bn }, diferencia 6. Si el perímetro es 52 cm, calcula la longitud de sus
(d) { an
b }. lados.
n

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 15

 Informe: 1.2. Convergencia y límite de sucesiones

GUÍA

Z Introducción
En la guía introductoria 1 tratamos la construcción de listas de objetos de la forma:
{[1, a1 ], [2, a2 ], [3, a3 ], · · · , [n, an ]} donde n ∈ IN y an ∈ IR , las cuales son la estructura que tienen las sucesiones, en esta guía estudiaremos
la convergencia y el límite de estas.
Además estudiaremos como como podemos clasificarlas de acuerdo con su comportamiento o su convergencia.

CONCEPTOS PREVIOS
• Previamente a la lectura de esta guía es muy aconsejable que se tenga un conocimiento mínimo del programa WXMAXIMA.
• Por lo tanto, recomendamos que trabajes la guía “Uso básico de WXMAXIMA en el cálculo simbólico y analítico” antes de empezar con éste.
• El lector debe conocer los conceptos de convergencia y límite de sucesiones.
• Además de lo anterior se debe conocer la definición de sucesiones crecientes y decrecientes.
• Representación gráfica de puntos en el plano cartesiano y la recta numérica.

CONCEPTOS FUNDAMENTALES
• Concepto de sucesión de números reales.
• Determinación del límite de una sucesión.
• Establecer si una sucesión es convergente o no.
• Clasificación de las sucesiones.

CALCULANDO LÍMITE DE SUCESIONES CON WXMAXIMA

En esta guía utilizaremos MAXIMA para el cálculo de límites de sucesiones.
El comando es: limit(<expr>, <n>, <val>) donde:
• expr : representa el término general de la sucesión,
• n: es la variable de la sucesión,
• val: en el caso de sucesiones val siempre toma el valor de inf que denota infinito y se representa con el símbolo ∞.

Capítulo 1. Teoría elemental de los límites de sucesiones de números reales. 16