10.

1 Sucesiones 539

n n
(e) a n b = a1 + n b : e
Notación factorial n - 2 -2 -2
Fórmula 5 con x 5 22
La notación n! (“n factorial”) significa
el producto 1 ? 2 ? 3 ??? n de los enteros
desde 1 hasta n. Observe que
100n
(f) :0 Fórmula 6 con x 5 100
sn + 1d! = sn + 1d # n! Por lo tanto, n!
4! = 1 # 2 # 3 # 4 = 24 y
5! = 1 # 2 # 3 # 4 # 5 = 5 # 4! = 120 . Definiciones recursivas
Definimos 0! como 1. Los factoriales Hasta ahora hemos calculado cada an de manera directa a partir del valor de n. Pero en oca-
crecen aún más rápido que las exponen- siones las sucesiones se definen de manera recursiva, lo cual da
ciales, como lo sugiere la tabla. Los valores
en la tabla fueron redondeados. 1. El valor (o valores) del (de los) término(s) inicial(es) y
2. Una regla, denominada fórmula recursiva, para calcular cualquier término posterior a
partir de los términos que le preceden.
n en n!
EJEMPLO 10
1 3 1 (a) Los enunciados a1 5 1 y an 5 an21 1 1 para n . 1 definen la sucesión 1, 2, 3, …, n, …,
5 148 120 de enteros positivos. Con a1 5 1, tenemos a2 5 a1 1 1 5 2, a3 5 a2 1 1 5 3 y así suce-
10 22,026 3,628,800 sivamente.
20 4.9 * 108 2.4 * 1018 (b) Los enunciados a1 5 1 y an 5 n ? an21 para n . 1 definen la sucesión 1, 2, 6, 24, …, n!, …,
de factoriales. Con a1 5 1, tenemos a2 5 2 ? a1 5 2, a3 5 3 ? a2 5 6, a4 5 4 ? a3 5 24,
etcétera.
(c) Los enunciados a1 5 1, a2 5 1 y an11 5 an 1 an21 para n . 2 definen la sucesión 1, 1,
2, 3, 5, …, de números de Fibonacci. Con a1 5 1 y a2 5 1, tenemos a3 5 1 1 1 5 2,
a4 5 2 1 1 5 3, a5 5 3 1 2 5 5 y así sucesivamente.
(d) Como vemos al aplicar el método de Newton (ejercicio 133), las proposiciones x0 5 1
y xn + 1 = xn - [ssen xn - xn2 d>scos xn - 2xn d] para n . 0 definen una sucesión que,
cuando converge, da una solución de la ecuación sen x 2 x 2 5 0.

Sucesiones monótonas acotadas

Dos conceptos que desempeñan un papel importante en la determinación de la convergencia de
una sucesión son los de sucesión acotada y de sucesión monótona.

DEFINICIONES Una sucesión {an} está acotada por arriba si existe un número M
tal que an # M para toda n. El número M es una cota superior para {an}. Si M es
una cota superior para {an}, pero ningún número menor que M es una cota superior
para {an}, entonces M es la mínima cota superior para {an}.
Una sucesión {an} está acotada por abajo si existe un número m tal que an $ m
para toda n. El número m es una cota inferior para {an}. Si m es una cota infe-
rior para {an}, pero ningún número mayor que m es una cota inferior para {an}, en-
tonces m es la máxima cota inferior para {an}.
Si {an} está acotada por arriba y por abajo, entonces {an} está acotada. Si {an} no
está acotada, decimos que {an} es una sucesión no acotada.

EJEMPLO 11
(a) La sucesión 1, 2, 3, …, n, … no tiene cota superior, ya que en algún momento sobrepasa
a todo número M. Sin embargo, está acotada por abajo por todo número real menor o
igual a 1. El número m 5 1 es la máxima cota inferior de la sucesión.
1 2 3 n
(b) La sucesión , , , Á , , Á está acotada por arriba por todo número real mayor
2 3 4 n + 1
o igual a 1. La cota superior M 5 1 es la mínima cota superior (ejercicio 125). La suce-
1
sión también está acotada por abajo por todo número menor o igual a , que es su máxima
2
cota inferior.
540 Capítulo 10: Sucesiones y series infinitas

Si una sucesión {an} converge al número L, entonces por definición existe un número N
Las sucesiones convergentes están
acotadas
tal que uan 2 Lu , 1, si n . N. Esto es,
L - 1 6 an 6 L + 1 para n 7 N.
Si M es un número mayor que L 1 1 y también mayor que la cantidad finita de números
a1, a2, …, aN, entonces para todo índice n tenemos an # M, por lo que {an} está acotada por
arriba. De manera análoga, si m es un número menor que L 2 1 y menor que los números
a1, a2, …, aN, entonces m es una cota inferior de la sucesión. Por lo tanto, todas las sucesio-
nes convergentes están acotadas.
Aunque es cierto que toda sucesión convergente está acotada, existen sucesiones acota-
das que no son convergentes. Un ejemplo es la sucesión acotada {(21)n11} analizada en el
ejemplo 2. Aquí, el problema es que algunas sucesiones acotadas saltan dentro de una banda
an determinada por cualquier cota inferior m y cualquier cota superior M (figura 10.6). Un tipo
importante de sucesión que no se comporta de esa manera es aquella en la que cada término
M es al menos tan grande, o al menos tan pequeño, como su predecesor.

n DEFINICIÓN Una sucesión {an} es no decreciente si an # an11 para toda n. Esto es,
0 12 3 a1 # a2 # a3 # … La sucesión es no creciente si an $ an11 para toda n. La sucesión
{an} es monótona si es no decreciente o no creciente.
m

FIGURA 10.6 Algunas sucesiones acotadas

EJEMPLO 12
saltan dentro de sus cotas y no convergen
a límite alguno. (a) La sucesión 1, 2, 3, Á , n, Á es no decreciente.
1 2 3 n
(b) La sucesión , , , Á , , Á es no decreciente.
2 3 4 n + 1
1 1 1 1
(c) La sucesión 1, , , , Á , n , Á es no creciente.
2 4 8 2
(d) La sucesión constante 3, 3, 3, Á , 3, Á es tanto no decreciente como no creciente.
(e) La sucesión 1, -1, 1, -1, 1, -1, Á es no monótona.
Una sucesión no decreciente que está acotada por arriba siempre tiene una mínima cota su-
perior. Asimismo, una sucesión no creciente acotada por abajo siempre cuenta con una máxima
cota inferior. Tales resultados tienen como base la propiedad de completez de los números
reales analizada en el apéndice 6. Ahora demostramos que si L es la mínima cota superior de
una sucesión no decreciente, entonces la sucesión converge a L, y que si L es la máxima cota
y
inferior de una sucesión no creciente, entonces la sucesión converge a L.

y⫽M
M
TEOREMA 6: El teorema de la sucesión monótona Si una sucesión {an} está aco-
y⫽L tada y es monótona, entonces la sucesión converge.
L

Demostración Suponga que {an} es no decreciente, L es su mínima cota superior y traza-

x
0 la más baja. Ninguno de los puntos (n, an) estará por arriba de y 5 L, pero algunos estarán por
FIGURA 10.7 Si los términos de una suce-
sión no decreciente tienen una cota superior
M, entonces tienen un límite L # M.
mos los puntos (1, a1), (2, a2),… (n, an),… en el plano xy. Si M es una cota superior de la suce-
sión, todos estos puntos estarán en o debajo de la recta y 5 M (figura 10.7). La recta y 5 L será
arriba de cualquier recta inferior y 5 L 2 P, si P es un número positivo. La sucesión converge
a L, ya que
(a) an # L para todos los valores de n y
(b) dado cualquier P . 0, existe al menos un entero N para el que aN . L 2 P.
El hecho de que {an} sea no decreciente, nos indica además que
an Ú aN 7 L - P para toda n Ú N.
Por lo tanto, todos los números an posteriores al n-ésimo número estarán a menos de P unida-
des de L. Ésta es precisamente la condición para que L sea el límite de la sucesión {an}.
La demostración para sucesiones no crecientes acotadas por abajo es similar.
 10.1 Sucesiones 541

Es importante hacer notar que el teorema 6 no dice que las sucesiones convergentes sean
monótonas. La sucesión {s -1dn + 1>n} converge y está acotada, pero no es monótona, ya que
alterna entre valores positivos y negativos, cuando se aproxima a cero. Lo que indica el teorema
es que una sucesión no decreciente converge cuando está acotada por arriba, aunque de otra
forma diverge a infinito.

Ejercicios 10.1
Encontrar los términos de una sucesión 1 8 27 64 125 Cubos de enteros positivos
24. , , , , ,Á
En cada uno de los ejercicios 1 a 6 proponga una fórmula para el n-ésimo 25 125 625 3125 15,625 divididos por potencias de 5

término an de la sucesión {an}. Determine los valores de a1, a2, a3 y a4.

25. La sucesión 1, 0, 1, 0, 1, Á Números 1 y 0 alternados
1 - n 1
1. an = 2. an = Todos los enteros positivos se
n2 n! 26. La sucesión 0, 1, 1, 2, 2, 3, 3, 4, Á repiten
s -1dn + 1
3. an = 4. an = 2 + s - 1dn Convergencia y divergencia
2n - 1
¿Cuáles de las sucesiones {an} en los ejercicios 27 a 90 convergen y cuá-
2n n
2 - 1
5. an = 6. an = les divergen? Determine el límite de cada sucesión convergente.
2n + 1 2n
n + s - 1dn
Cada uno de los ejercicios 7 a 12 proporciona el primer término o los dos 27. an = 2 + s0.1dn 28. an = n
primeros términos de la sucesión con una fórmula recursiva para los tér-
1 - 2n 2n + 1
minos restantes. Escriba los diez primeros términos de la sucesión. 29. an = 30. an =
1 + 2n 1 - 3 2n
7. a1 = 1, an + 1 = an + s1>2n d
1 - 5n4
an + 1 = an>sn + 1d
n + 3
8. a1 = 1, 31. an = 32. an = 2
n4 + 8n3 n + 5n + 6
9. a1 = 2, an + 1 = s -1dn + 1an>2
n2 - 2n + 1 1 - n3
10. a1 = - 2, an + 1 = nan>sn + 1d 33. an =
n - 1
34. an =
70 - 4n2
11. a1 = a2 = 1, an + 2 = an + 1 + an
36. an = s - 1dn a1 - n b
1
an + 2 = an + 1>an
35. an = 1 + s - 1dn
12. a1 = 2, a2 = - 1,

37. an = a b a1 - n b 38. an = a2 - b a3 + n b
n + 1 1 1 1
Encontrar la fórmula de una sucesión
2n 2n 2
En los ejercicios 13 a 26, halle una fórmula para el n-ésimo término de la
s - 1dn + 1 n
40. an = a- b
sucesión. 1
39. an =
2n - 1 2
13. La sucesión 1, - 1, 1, - 1, 1, Á Números 1 con signos alternados
2n 1
14. La sucesión - 1, 1, - 1, 1, - 1, Á Números 1 con signos alternados 41. an = 42. an =
An + 1 s0.9dn

43. an = sen a + nb
Cuadrados de los enteros positivos, p 1
15. La sucesión 1, - 4, 9, - 16, 25, Á con signos alternados 44. an = np cos snpd
2
Recíprocos de los cuadrados de los sen n sen2 n
1 1 1 1
16. La sucesión 1, - , , - , , Á enteros positivos, con signos 45. an = n 46. an =
4 9 16 25 alternados
2n
n 3n
1 2 22 23 24 Potencias de 2 divididas entre 47. an = 48. an =
17. , , , , , Á múltiplos de 3
2n n3
9 12 15 18 21
ln sn + 1d ln n
Enteros cuya diferencia es 49. a n = 50. an =
3 1 1 3 5 2n ln 2n
18. - , - , , , , Á 2 divididos entre productos
2 6 12 20 30 de enteros consecutivos
51. an = 81>n 52. an = s0.03d1>n
Cuadrados de los enteros positivos
19. La sucesión 0, 3, 8, 15, 24, Á
disminuidos en 1 n n
53. an = a1 + n b 54. an = a1 - n b
7 1
20. La sucesión - 3, - 2, -1, 0, 1, Á Enteros a partir de 23
Uno de cada dos enteros positivos n n
21. La sucesión 1, 5, 9, 13, 17, Á 55. an = 210n 56. an = 2n2
impares
1>n
57. an = a n b
Uno de cada dos enteros positivos 3
22. La sucesión 2, 6, 10, 14, 18, Á 58. an = sn + 4d1>sn + 4d
pares

5 8 11 14 17 Enteros cuya diferencia es 3 ln n

23. , , , , ,Á 59. an = 60. an = ln n - ln sn + 1d
1 2 6 24 120 divididos entre factoriales n1>n