Una Mirada Al Calculo A Traves de Las Sucesiones PDF

Una mirada al Calculo
a traves de las sucesiones
Luis, Julieta, Oscar

Indice general
Indice general III
Prefacio V
1. Las primeras sesiones 1

1.1. El problema del futbol . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Induccion matematica . . . . . . . . . . . . . . . . . . . . . . 9
1.3. Formula del binomio de Newton . . . . . . . . . . . . . . . . . 18
1.4. Las torres de Hanoi . . . . . . . . . . . . . . . . . . . . . . . . 28
1.5. El geoplano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.6. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2. Los numeros reales 41

2.1. El orden en los numeros reales . . . . . . . . . . . . . . . . . . 41
2.2. Medias aritmetica, geometrica y armonica . . . . . . . . . . . 45
2.3. Desigualdad de Cauchy . . . . . . . . . . . . . . . . . . . . . . 51
2.4. Valor absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3. Sucesiones 65
3.1. Listas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.2. Otras formas de construir listas . . . . . . . . . . . . . . . . . 68
3.3. Definicion y ejemplos . . . . . . . . . . . . . . . . . . . . . . . 71
3.4. Tendencia de una sucesion . . . . . . . . . . . . . . . . . . . . 79
4. Convergencia 87
4.1. Definicion y ejemplos . . . . . . . . . . . . . . . . . . . . . . . 87
4.2. Sucesiones de Cauchy . . . . . . . . . . . . . . . . . . . . . . . 106
4.3. Divergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
iii
iv Indice general
4.4. Sucesiones monotonas . . . . . . . . . . . . . . . . . . . . . . 110

4.5. Lmite de sucesiones monotonas . . . . . . . . . . . . . . . . . 123
5. Sucesiones recurrentes 127

5.1. Sucesion de Fibonacci . . . . . . . . . . . . . . . . . . . . . . 128
5.2. Otras sucesiones recurrentes . . . . . . . . . . . . . . . . . . . 132
5.3. Otro vistazo a la sucesion de Fibonacci . . . . . . . . . . . . . 134
5.4. El numero e . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
6. Series 147
6.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
6.2. Series geometricas . . . . . . . . . . . . . . . . . . . . . . . . . 150
6.3. Criterios de convergencia . . . . . . . . . . . . . . . . . . . . . 158
6.4. La serie armonica . . . . . . . . . . . . . . . . . . . . . . . . . 177
6.5. Series alternantes . . . . . . . . . . . . . . . . . . . . . . . . . 181
6.6. Convergencia absoluta . . . . . . . . . . . . . . . . . . . . . . 184
6.7. Series telescopicas . . . . . . . . . . . . . . . . . . . . . . . . . 192
Prefacio
Como iniciar un curso de calculo de nivel licenciatura? Esta pregunta ha

sido planteada y respondida de maneras muy diversas a lo largo de los anos.
Algunos cursos inician con una revision de material de los cursos de
matematicas en niveles anteriores: algo de algebra por aqu, un poco de geo-
metra analtica por alla. En este sentido, se inicia con una especie de mini-
curso que intenta remediar las deficiencias de algunos de los estudiantes
que comienzan una carrera.
Aunque es innegable que muchos de los estudiantes que ingresan a un
curso de nivel superior no conocen o no tienen soltura con una gran parte de
los conocimientos matematicos deseables en esta etapa, estamos convencidos
que el tipo de matematicas por resaltar debera ser otro. Habra que plantear,
en su momento, los aspectos mecanicos de las matematicas, pero nos parece
fundamental enfatizar otros aspectos de la actividad matematica, entendida
como una actividad de reflexion, discusion, cuestionamiento y profundizacion
del conocimiento. En particular, es importante enfatizar el uso de argumentos
para justificar las propias afirmaciones; as como el uso de ejemplos para
aclarar conceptos y refutar argumentos.
En otras palabras, nos interesa la construccion del conocimiento de ma-
nera dinamica, en contraposicion a la presentacion de las matematicas como
algo acabado. Para desarrollar este proceso es necesario promover la parti-
cipacion de los estudiantes, para lo cual nosotros hemos utilizado a lo largo
de varios anos diversos problemas cuya solucion requiere cierto ingenio o la
construccion de nuevos conceptos y resultados; son estos problemas la base
de este texto.
Como fruto de nuestras vivencias, estas paginas reflejan algunas de las
discusiones surgidas en nuestros salones de clase, aunque somos concientes
que esta obra solo puede representar una mnima parte de la diversidad de
experiencias que agradecemos a nuestros estudiantes.
v
vi
A nuestros lectores, profesores y estudiantes, les pedimos que no consi-

deren esta obra como un texto tradicional. Por el contrario, los invitamos a
comprometerse y analizar cada pregunta, cada ejemplo, cada resultado, para
as irse apropiando poco a poco de las ideas centrales del Calculo.
En las primeras secciones hemos planteado algunos problemas que po-
demos llamar problemas muestra. En cierto sentido, son problemas cuya
solucion no requiere tecnicas del calculo; pretenden que el lector entre en
confianza y comience a comprometerse con esta obra. Su solucion puede ob-
tenerse de varias maneras, algunas mas elegantes que otras, pero igualmente
validas.
Podemos enumerar, sin ser exhaustivos, algunos metodos que han usado
nuestros estudiantes:
1. El metodo de la fuerza bruta. Este metodo se sigue, por ejemplo, si al

resolver un problema de conteo, practicamente se cuenta de uno en uno.
Las personas que siguen este metodo trabajan mucho para llegar a un
resultado y continuan contando de esa manera hasta que el intercambio
de ideas muestra la necesidad de optimizar sus metodos. (Este termino
fue aplicado por una persona al comparar su solucion con las de los
demas y darse cuenta que haba formas mas practicas de resolver el
mismo problema.)
2. Uso de una formula a como de lugar. Algunos estudiantes buscan en

su memoria una formula que resuelva el problema en cuestion. En este
caso, les cuesta mucho trabajo expresar un procedimiento para obtener
el resultado, porque por lo general saben que la formula les funciona
pero no recuerdan de donde se obtiene esta.
3. Busqueda de una respuesta general. Algunos estudiantes tienden a bus-

car una formula general que resuelva todos los problemas de una vez,
aunque esto no se les solicite de entrada. Tienden a extrapolar un resul-
tado general mediante la observacion de uno o dos casos particulares,
sin cuestionarse si el supuesto comportamiento del fenomeno o experi-
mento sera valido en un caso general.
4. Uso de esquemas, graficos, dibujos, etcetera. Muchos estudiantes nece-

sitan hacer dibujos, esquemas o simples trazos para ordenar y visualizar
el problema que quieren atacar. En un principio, estos estudiantes no se
sueltan de inmediato, pues creen que no es formal usar dibujos, pero
Captulo 0. Prefacio vii
una vez que se sugiere que estos caminos tambien son validos y en oca-
siones mas claros para expresar una idea general, avanzan rapidamente
y buscan argumentos de otro tipo para expresar sus procedimientos.
Esta pequena lista de posibles metodos es una muestra de la diversidad de

caminos para llegar a un mismo resultado con logicas distintas. Es importante
observar y discutir la validez, los alcances y los lmites de estos metodos,
desarrollando a la vez una mejor comunicacion del pensamiento, tanto entre
profesores y estudiantes como entre los propios estudiantes.
Esta comunicacion es importante tambien en otro sentido: Puede ser que
algunos estudiantes hayan comprendido otra cosa en el enunciado del proble-
ma y esten tratando de resolver, o incluso resuelvan, un problema totalmente
diferente al que estan resolviendo los demas. Cuando surja este tipo de si-
tuacion, la discusion podra aclarar por que se resolvio otro problema y cual
es el error, si lo hay. As, en vez de decir al companero un simple esta mal
cuando obtiene un resultado diferente al propio, es mas conveniente reali-
zar un cierto analisis. Para saber si se esta resolviendo el mismo problema o
incluso explorar la posibilidad de la propia equivocacion.
Tambien puede surgir la situacion en que la solucion este mal, pero
que los estudiantes no encuentren donde esta el error; por ejemplo, podran
usar la regla de tres en un problema donde este modelo no sea el adecuado.
Aqu correspondera al profesor conducir la discusion a buen termino. En
general, la idea es que los estudiantes aprendan de sus errores y no teman
equivocarse.
Como el lector podra imaginar, invertimos mucho tiempo con estos pro-
blemas, para que quede claro el espritu de la clase, para que los estudian-
tes vayan desarrollando una estructura logica, para que experimenten en un
ambiente de continuo cuestionamiento, para que afinen los argumentos que
sustenten la certeza o falsedad de una respuesta y para que adquieran cada
vez mayor confianza para resolver problemas.
Una vez generado este ambiente en un grupo, habra que subir el grado
de dificultad de las preguntas, para que los estudiantes conozcan o recreen
diversos temas, como la estructura y naturaleza del conjunto de numeros
naturales, el uso del principio de induccion matematica o los conceptos de
sucesor de un numero, sucesiones y lmite, para posteriormente introducir los
temas especficos del curso de calculo tradicional.
Captulo 1
Las primeras sesiones
Como mencionamos en el prefacio, en este captulo presentaremos tres

ejemplos de problemas que hemos utilizado en nuestros cursos para propiciar
la participacion de los estudiantes en la discusion, as como para introducirlos
en la problematica del calculo:
El problema del futbol.
El problema de las torres de Hanoi.
El problema del numero de cuadrados en el geoplano.
1.1. El problema del futbol

Se desea jugar un torneo de futbol a visita recproca, donde participan
doce equipos. Cuantos partidos hay en total si los equipos juegan todos
contra todos?1
A continuacion presentamos algunas maneras de contestar la pregunta
planteada, con diversos grados de complejidad. Sin embargo, el lector debe
tratar de responder antes de continuar leyendo.
1. Se puede utilizar un esquema para ver que ocurre. Por ejemplo, dibujar
doce puntos y representar el encuentro entre dos equipos mediante una
lnea que una los puntos correspondientes. Al dibujar todas las lneas,
se podra obtener un esquema como el siguiente. Es facil contar con
este esquema?
1
En ocasiones tambien presentamos este problema como saludos de mano.
1
2 1.1. El problema del futbol
Aqu surge el problema de ordenar el conteo, para garantizar que se

cuentan todos los partidos y que cada uno fue contado una sola vez.
2. Es posible guiar una forma de obtener la respuesta mediante algunas

preguntas. Supongamos que los equipos estan numerados del 1 al 12.
Cuantos equipos enfrenta el equipo numero 1? Cuantos equipos MAS
enfrenta el equipo numero 2 (es decir, sin contar de nuevo el enfrenta-
miento de este con el primer equipo)? Cuantos equipos MAS enfrenta
el equipo numero 3? (Ya no se cuentan los partidos jugados contra el
primer y el segundo equipo.) Se continua de esta manera hasta el equi-
po numero 11. (Por que no se continua hasta el 12?) Con base en estas
ideas, el lector podra escribir una expresion para el numero de partidos,
como por ejemplo
11 + 10 + 9 + 8 + 7 + 6 + 5 + 4 + 3 + 2 + 1.
Pero como el torneo es a visita recproca, el resultado final es:
2(11 + 10 + 9 + 8 + 7 + 6 + 5 + 4 + 3 + 2 + 1).
3. Que ocurre si se cuenta de una vez los dos partidos de cada equipo (el
de ida y el de vuelta), numerando los partidos jugados por cada equipo
mediante pares solamente? Si contamos usando este punto de vista, el
equipo numero 1 juega 22 partidos, dos por cada equipo, el equipo 2
juega 20 partidos mas, y as sucesivamente. De esta manera, el numero
de partidos a jugar es:
22 + 20 + 18 + 16 + 14 + 12 + 10 + 8 + 6 + 4 + 2.
4. Otras soluciones usan un arreglo cuadrado donde las columnas repre-

sentan a los equipos visitantes y los renglones a los equipos locales.
En este esquema, los cuadritos de la diagonal no representan ningun
Captulo 1. Las primeras sesiones 3
partido. Cuantos renglones tiene el arreglo? Cuantos partidos estan

representados cada renglon? Cual es entonces el numero de partidos
del torneo?
5. (Variante del metodo anterior.) Una vez representados los partidos en

un arreglo como el anterior, es posible preguntarse cuantos partidos
habra en total? (Es decir, cuantos elementos tiene el arreglo en total?)
Cuantos partidos no son validos? Esto nos lleva a la expresion 12(12)
12.
6. Tambien se puede argumentar as: Cada equipo tiene que enfrentarse a

11 equipos en algun momento de la primera vuelta. Como el partido del
equipo A contra el equipo B es el mismo que el partido B contra A, si
multiplicamos el total de 12 equipos por los 11 partidos que juega cada
uno, obtendremos el total de partidos, repetidos dos veces. Al dividir
este numero entre dos se tendra el numero de partidos jugados en una
vuelta. Como son dos vueltas, tendremos que multiplicar el resultado
por dos. En este caso, se tiene que el numero de partidos viene dado
por la expresion
12(11)
(2).
2
7. Diremos que una jornada es el numero de partidos simultaneos que

pueden llevarse a cabo. Cuantos partidos habra en cada jornada de
la primera vuelta? Como cada equipo debe jugar contra alguno de los
11 restantes en cada jornada, cuantos partidos habra en la primera
vuelta? Es correcto decir que en el torneo se efectuara un total de
12
2
(11)(2) partidos en las dos vueltas?
8. Un ultimo metodo: Si se traza un polgono de doce vertices que repre-

sente a los equipos participantes y cada partido se representa como el
segmento que une a dos vertices, entonces el numero total de segmentos
es igual al numero de partidos jugados. Para calcular este numero, se
suma el numero de lados del polgono al numero de diagonales, con lo
que se obtiene una expresion para la suma. Como cada segmento re-
presenta solo uno de los partidos en una vuelta, habra que multiplicar
por 2. El lector puede escribir su expresion correspondiente. Se parece
esta expresion a la siguiente?

(12)(9)
12 + (2).
2
Cualquiera de los metodos anteriores nos da correctamente el numero de

partidos jugados. Sin embargo, es conveniente analizar las ventajas y des-
ventajas de cada uno de los metodos; en particular, conviene saber si estos
metodos se pueden generalizar al caso de un torneo con un numero arbitrario
de equipos.
Si en el torneo participan 15 equipos, cuales de los modelos y argumentos
anteriores siguen sirviendo?
Habra un metodo para resolver el problema de los partidos con un nume-
ro cualquiera de equipos participantes?
Cual sera el numero de partidos en un torneo a dos vueltas, con un
numero n (arbitrario) de equipos?
A continuacion mostramos algunas propuestas de expresiones para el
numero de partidos con n equipos. Que argumento se uso para obtener
cada expresion (ver los metodos usados para el caso de 12 equipos)?
1. 2 [(n 1) + (n 2) + (n 3) + + 3 + 2 + 1)].
2. 2(n 1) + 2(n 2) + 2(n 3) + + 6 + 4 + 2.
3. n(n 1).
4. n(n) n.
n(n1)
5. 2
(2).
6. n2 (n 1)(2).
h i
(n)(n3)
7. n + 2
(2).
Una vez obtenidas varias expresiones para el numero de partidos, es ne-

cesario ver que cualquiera de esas expresiones es igual a la otra, es decir,
son diferentes representaciones de un mismo numero. En varios casos, basta
hacer algunas operaciones para mostrar la igualdad entre las expresiones. Sin
embargo, en otros casos esto no es inmediato, como al tratar de demostrar
las siguientes igualdades:
2 [(n 1) + (n 2) + (n 3) + + 3 + 2 + 1] = n(n 1)
2(n 1) + 2(n 2) + 2(n 3)+ + 6 + 4+ 2 = n(n) n (1.1)
(n)(n3) n(n1)
n+ 2
(2) = 2
(2)
Cada una de estas igualdades es, por lo pronto, una conjetura.2 Una con-
jetura es, en el contexto de las matematicas, una especie de aproximacion
a la respuesta que debe verificarse de alguna manera. Aqu aparece un as-
pecto delicado y fundamental del trabajo matematico: Una vez establecida
una conjetura, como comprobar que es correcta? Como comprobar que es
incorrecta?
Veamos por ejemplo la manera de hacer ver que la primera de las ex-
presiones en (1.1) es verdadera. Para esto, tenemos que comprobar que las
dos expresiones que aparecen en la igualdad siempre arrojan el mismo nume-
ro para cualquier valor de n. Comprobemos esto en casos particulares; por
ejemplo, si n = 2 tenemos 2(1) = 2 del lado izquierdo y 2(2 1) = 2 del lado
derecho. Obtenemos el mismo numero.
Si n = 3, del lado izquierdo tenemos: 2(2 + 1) = 6 y del lado derecho
3(3 1) = 6. De nuevo, tenemos el mismo numero.
Aunque la igualdad se cumple en estos casos particulares, no basta con
esto, es necesario saber que en general las listas de numeros generados por
las expresiones de cada uno de los lados de la igualdad crecen siempre de
la misma manera.
A continuacion tenemos una tabla con los numeros que generan las dos
2
Segun el diccionario de la Real Academia Espanola, una conjetura es un juicio que
se forma por indicios y observaciones.
expresiones:
Numero 2[(n 1) + (n 2) + + 2 + 1] n(n 1) Incremento
de equipos por renglon
2 2(1) = 2 2(2 1) = 2 2
3 2(2 + 1) = 6 3(3 1) = 6 4
.. .. .. ..
. . . .
k 2[(k 1) + (k 2) + + 2 + 1] k(k 1)
k+1
As, si hay k participantes se juegan
2 [(k 1) + (k 2) + + 3 + 2 + 1]
partidos. Como podemos usar esta informacion para saber de antemano
cuantos partidos se jugaran y no volver a hacer toda la cuenta? Debemos
contar los partidos que deben agregarse cuando llega un nuevo equipo. Al
nuevo participante le falta jugar contra todos los equipos que ya haba antes;
esto es, le toca jugar contra k equipos a dos vueltas, de modo que debe-
mos agregar 2(k) partidos a la expresion para el numero de partidos con k
participantes:
2 [(k 1) + (k 2) + + 3 + 2 + 1] + 2(k)
= 2(k) + 2 [(k 1) + (k 2) + + 3 + 2 + 1]
= 2 [((k + 1) 1) + (k 1) + (k 2) + + 3 + 2 + 1] .
La ultima expresion es precisamente el numero de partidos que se jugaran
si hay k+1 equipos. As, hemos demostrado que las dos listas empiezan igual y
renglon a renglon crecen de la misma manera. De este modo, las expresiones
generan los mismos numeros. Podemos concluir que nuestra conjetura es
verdadera siempre:
2 [(n 1) + (n 2) + (n 3) + + 3 + 2 + 1] = n(n 1)
es cierto para cualquier numero natural n.
De igual manera se hace ver que las otras conjeturas que aparecen en
(1.1) son verdaderas.
Es posible que en esta discusion surjan conjeturas que no se obtienen
directamente del problema de los partidos, sino de las igualdades anteriores;
por ejemplo:
n(n + 1)
1 + 2 + 3 + 4 + + (n 1) + n = .
2
Veamos ahora una demostracion de esta igualdad usando el arreglo cua-

drado del metodo 4:
El cuadrado con n cuadritos por lado representa a los encuentros entre

los n equipos participantes. Calculamos el area del triangulo rectangulo de
base n 1 y altura n 1 marcado en la figura y le sumamos las areas de los n
triangulos rectangulos de area 12 que se forman en la diagonal de (n 1) por
(n 1). Como hay n 1 triangulos de area 21 , se tiene:
(n 1)2 (n 1)
1 + 2 + 3 + 4 + + (n 1) = + ;
2 2
el lado derecho tambien se puede expresar como
n1 (n 1)n
(n 1 + 1) = .
2 2
Tambien se puede calcular la suma 2[1 + 2 + 3 + 4 + + (n 1)] como el
numero de casillas que tiene el arreglo cuadrado para n equipos participantes,
descontando la diagonal.
Como el numero total de casillas es n2 y el numero de casillas de la

diagonal es n, entonces:
2[(1 + 2 + 3 + 4 + + n 1)] = n2 n = n(n 1).
As, tenemos que
n(n + 1)
1 + 2 + 3 + 4 + + (n 1) + n = . (1.2)
2
Cerraremos esta seccion usando la formula anterior para hacer un breve

comentario sobre los numeros figurados, aquellos que tienen alguna represen-
tacion geometrica. Los griegos de la antiguedad estudiaron varios de estos
numeros, entre ellos los numeros triangulares:
Los primeros seis numeros triangulares.
Se puede utilizar la expresion (1.2) para ver que un numero triangular

representa la suma de los primeros numeros naturales. Es decir,
n(n + 1)
2
es igual al n-esimo numero triangular.
Observemos que los numeros triangulares tienen ciertas relaciones intere-
santes entre s. Por ejemplo, veamos cuanto vale la suma de dos numeros
triangulares consecutivos cualesquiera.
De nuevo empecemos por la observacion de casos particulares. Podemos
colocar la informacion en una tabla como esta:
n Suma de triangulares Resultado

1 T1 + T2 = 1 + 3 4
2 T2 + T3 = 3 + 6 9
3 T3 + T4 = 6 + 10 16
4 T4 + T5 = 10 + 15 25
5 T5 + T6 = 15 + 21 36
.. .. ..
. . .
Podemos utilizar tambien la siguiente representacion geometrica de la

suma de dos numeros triangulares consecutivos para los primeros cuatro casos
particulares:
Suma de dos numeros triangulares consecutivos: T1 + T2 , T2 + T3 , T3 + T4 y T4 + T5 .
Observamos que en estos casos particulares cada suma de dos triangulares

consecutivos nos da un numero cuadrado, es decir, un numero de la forma n2 .
Seguira ocurriendo esta regularidad para los demas casos? Sera cierto que
la suma de dos triangulares consecutivos siempre es un numero cuadrado?
Para demostrar esta conjetura, podemos usar la expresion (1.2):
k(k + 1) (k + 1)(k + 2) (k + 1)(2k + 2)

Tk + Tk+1 = + = = (k + 1)2 . (1.3)
2 2 2
As, esta conjetura resulta ser verdadera: la suma de dos triangulares

consecutivos siempre resulta un numero cuadrado. En la siguiente seccion
veremos otra relacion entre los numeros cuadrados y los numeros triangulares.
En esta seccion hemos mostrado que (1.2) vale para cada numero natural
n. En la siguiente seccion presentaremos un util metodo general para demos-
trar enunciados como este, basado en el principio de induccion matematica.
Posteriormente continuaremos nuestra discusion de otros problemas, con un
sabor mas formal, pues nos interesa mostrar una forma de generar un am-
biente de discusion de ideas matematicas cada vez mas avanzadas.
1.2. Induccion matematica

Como hemos anunciado, ahora analizaremos un metodo que nos permi-
tira mostrar la validez de muchas propiedades de los numeros naturales.
Comenzaremos con un ejemplo, partiendo de la siguiente pregunta.
Cuanto vale la suma de los cuadrados de los primeros n numeros

naturales?
10 1.2. Induccion matematica
Para tratar de hallar una respuesta a esta pregunta, es conveniente ha-

cer unas primeras observaciones con algunos o varios casos particulares. Sin
embargo, debemos recordar que hay una infinidad de numeros naturales; de
modo que tendremos que buscar argumentos generales para nuestras obser-
vaciones y mostrar que tales argumentos seran validos para cualquier numero
natural no importando que tan grande sea.
Veamos el comportamiento de tal suma para tres casos particulares:
12 = 1, 12 + 22 = 5, 12 + 22 + 32 = 14.
En la siguiente tabla tenemos el calculo de la suma de los numeros cua-

drados para mas casos particulares.
Numero Suma de cuadrados Incremento

1 1 1
2 1+4=5 4
3 1 + 4 + 9 = 14 9
4 1 + 4 + 9 + 16 = 30 16
5 1 + 4 + 9 + 16 + 25 = 55 25
6 1 + 4 + 9 + 16 + 25 + 36 = 91 36
Con este numero de casos particulares, estaremos en condiciones de con-

jeturar algun resultado? Podremos deducir alguna formula para encontrar
el resultado de la suma de los primeros n numeros cuadrados?
Al estilo de los antiguos griegos, podemos ayudarnos con una representa-
cion geometrica de los numeros cuadrados, as como de su suma. La siguiente
figura representa por medio de arreglos de cubos los numeros cuadrados 1, 4
y 9:
Usando estos arreglos, representamos la suma de los dos primeros numeros

cuadrados como
Y la suma de los tres primeros numeros cuadrados como:
Podemos pensar cada uno de estos arreglos de bloques contenidos en

cubos de aristas 2 y 3 respectivamente, de donde quitamos algunos cubitos.
En el primer caso tenemos 23 3 cubitos y en el segundo 33 (3 + 5 + 5):
La suma de los primeros tres cuadrados completando un cubo de arista 3. A la

derecha aparece cada uno de los tres niveles del cubo, comenzando desde el primero.
Ahora veamos que pasa en el tercer caso:

La suma de los primeros cuatro cuadrados completando un cubo de arista 4. A

la derecha aparece cada uno de los cuatro niveles del cubo, comenzando desde el
primero.
De manera general, podemos representar la suma de los primeros numeros

cuadrados dentro de un cubo de arista n y luego restar por pisos los elementos
que no debemos considerar en la suma que buscamos. Para los casos que
hemos visto y algunos mas tenemos:
n Suma de los Quitando lo que

primeros n cuadrados no debemos sumar:
1 1 13 0(1) = 1
2 5 23 [0(1) + 1(3)] = 5
3
3 14 3 [0(1) + 1(3) + 2(5)] = 14
3
4 30 4 [0(1) + 1(3) + 2(5) + 3(7)] = 30
3
5 55 5 [0(1) + 1(3) + 2(5) + 3(7) + 4(9)] = 55
Estas observaciones sugieren como conjetura que al volumen de un cubo

de arista n debemos restarle lo siguiente
0(1) + 1(3) + 2(5) + 3(7) + + (n 1)(2(n 1) + 1).
Escribimos entonces
12 +22 + + n2 = n3 [0(1) + 1(3) + 2(5) + + (n 1) (2(n 1) + 1)]
= n3 [0(1) + 1(3) + 2(5) + + (n 1)(2n 1)]
= n3 [0(1)
+ 1(3) + 2(5) + + 2n2 3n +1 ]
= n3 2 (12 ) +2 (22 ) +2 (32 ) + + 2n2
+3 [1 + 2 + 3 + + n] (n)(1)
= n3 2 12 +22 + + n2 +3 (1 + 2 + + n) n
Podemos usar esta ultima expresion para obtener que el triple de la suma
que buscamos es:
3 12 + 22 + 32 + + n2 = n3 + 3 (1 + 2 + 3 + + n) n.

Usamos la expresion de la ecuacion (1.2) para la suma de los n primeros

numeros naturales para obtener
3n(n + 1) 2n3 + 3n(n + 1) 2n
3(12 + 22 + 32 + + n2 ) = n3 + n= .
2 2
As, hemos descubierto una expresion para la suma de los primeros n
numeros cuadrados:
n(n + 1)(2n + 1)
12 +22 +32 + + n2 = . (1.4)
6
Al analizar los casos particulares vimos como creca la lista de la suma
de los numeros cuadrados. Ahora comprobaremos que la lista de numeros
obtenidos mediante la expresion del lado derecho de (1.4) crece de la misma
manera, de modo que ambas expresiones generaran los mismos numeros para
cualquier n.
n Suma de los primeros Regla que descubrimos
n numeros cuadrados (n(n + 1)(2n + 1)) /6
1 1 1
2 1+4 5
3 1+4+9 14
4 1 + 4 + 9 + 16 30
5 1 + 4 + 9 + 16 + 25 55
6 1 + 4 + 9 + 16 + 25 + 36 91
Al observar los numeros de la segunda columna, vemos que para pasar
del renglon k al (k + 1) hay que sumar el numero cuadrado (k + 1)2 . Veamos
que este crecimiento es el mismo en la tercera columna:
n Regla que descubrimos: (n(n + 1)(2n + 1)) /6
1(1+1)(2+1)
1 6
1(1+1)(2+1) 2 1(2)(3)+4(2)(3) 2(2+1)(4+1)
2 6
+2 = 6
= 6
= 1 + 22
.. ..
. .
k(k+1)(2k+1)
k 6
2
k+1 k(k+1)(2k+1)
6
+(k + 1)2 = k(k+1)(2k+1)+6(k+1)
6
= (k+1)(k+2)(2k+3)
6
En el ultimo renglon de esta tabla hemos obtenido la expresion corres-

pondiente al valor k + 1 en el lado derecho de (1.4), de modo que la suma
de los primeros n numeros cuadrados y dicha expresion crecen de la misma
forma. As, hemos demostrado que (1.4) vale para cualquier numero natural
n.
Aprovecharemos nuestros resultados para ver otro ejemplo de relacion
entre los numeros triangulares definidos en la seccion anterior. Recordando
que la suma de dos numeros triangulares consecutivos es igual a un numero
cuadrado (ver la ecuacion (1.3)), podemos escribir la suma de los primeros
(n 1) numeros cuadrados en terminos de la suma de los primeros n 1
numeros triangulares como sigue:
12 + 22 + + n2 = (T1 ) + (T1 + T2 ) + + (Tn1 + Tn )

= 2(T1 + T2 + + Tn1 ) + Tn .
As,
1 2
1 + 22 + + n2 Tn .

T1 + T2 + + Tn1 =
2
Usando las expresiones (1.2) y (1.4), tenemos que

1 n(n + 1)(2n + 1) n(n + 1)
T1 + T2 + + Tn1 = ;
2 6 2
al simplificar obtenemos finalmente
1 3
T1 + T2 + T3 + + Tn1 = n n .
6
Si formulamos una conjetura general para cualquier numero natural n

y queremos garantizar que tal conjetura es verdadera, podemos utilizar la
induccion matematica, basada en el siguiente principio:
Principio de induccion
Una proposicion que depende de los numeros naturales se cumple para
todo numero natural si se satisfacen las dos condiciones siguientes:
1. La proposicion se cumple para el numero 1.

2. Siempre que la proposicion se satisface para el natural k implica que la

proposicion se satisface para el siguiente numero natural (k + 1).
Veamos un ejemplo. Mostraremos que para cualquier numero natural n

se cumple que
n2 (n + 1)2
13 + 23 + 33 + + n3 = . (1.5)
4
Antes de aplicar el principio de induccion, construyamos una tabla con los
valores de las expresiones que aparecen en la igualdad anterior para algunos
valores de n:
n2 (n + 1)2
n 13 + 23 + 33 + + n3
4
12 (1 + 1)2
1 13 = 1 =1
2
4 2
2 (2 + 1)
2 13 + 23 = 9 =9
4
32 (3 + 1)2
3 13 + 23 + 33 = 36 = 36
2
4 2
4 (4 + 1)
4 13 + 23 + 33 + 43 = 100 = 100
4
El renglon de esta tabla correspondiente a n = 1 muestra que la igualdad
(1.5) vale para este caso. Ahora suponemos que la igualdad vale para un
numero natural k, de modo que
3 3 3 k 2 (k + 1)2
3
1 + 2 + 3 + + k = .
4
Que ocurre para el caso del numero natural (k + 1)? Podemos usar esta
igualdad para ver que
k 2 (k + 1)2
13 + 23 + 33 + + k 3 + (k + 1)3 = + (k + 1)3 ,
4
pero podemos simplificar el lado derecho como
k 2 (k + 1)2 (k + 1)2 (k 2 + 4(k + 1)) (k + 1)2 (k + 2)2

+ (k + 1)3 = = ,
4 4 4
es decir,
(k + 1)2 (k + 2)2
13 + 23 + 33 + + k 3 + (k + 1)3 = ,
4
de modo que la igualdad (1.5) vale tambien para (k + 1). Por el principio de
ion, la igualdad vale para cualquier numero natural.
Ejercicios
1. Utiliza el principio de induccion matematica para verificar que las si-
guientes igualdades son validas para cualquier numero natural n:
a) 1 + 3 + 5 + + (2n 1) = n2 .
n(4n2 1)
b) 12 + 32 + 52 + + (2n 1)2 = .
3
c) 13 + 33 + 53 + + (2n 1)3 = n2 (2n2 1).
1 1 1 1 n
d) + + + + = .
12 23 34 n (n + 1) n+1
1 1 1 1 n
e) + + + + = .
13 35 57 (2n 1)(2n + 1) 2n + 1
n(n + 1)(n + 2)
f ) 1 2 + 2 3 + 3 4 + + n (n + 1) = .
3
g) 1 2 3 + 2 3 4 + 3 4 5 + + n (n + 1) (n + 2) =
n(n + 1)(n + 2)(n + 3)
.
4
12 22 32 n2 n(n + 1)
h) + + + + = .
13 35 57 (2n 1)(2n + 1) 2(2n + 1)
2. Determina si las siguientes afirmaciones son falsas o verdaderas.
a) Para todo numero natural n, n2 + n 20 < 0.

b) Para todo numero natural n, n2 n + 1 > 0.
c) Para todo numero natural n, n3 n es multiplo de 3.
d ) Para todo numero natural n, n5 n es multiplo de 5.
e) Para todo numero natural n, n7 n es multiplo de 7.
f ) Para todo numero natural n, (2n 1)(2n + 1)(2n + 3) es multiplo

de 5.
g) Para todo numero natural n > 3, 2n > 2n + 1.
3. Usa induccion para mostrar que las siguientes igualdades son validas
para cualquier numero natural n:
a) 1 + 2 + 22 + 23 + + 2n = 2n+1 1.
3n+1 1
b) 1 + 3 + 32 + 33 + + 3n = .
2
10n+1 1
c) 1 + 10 + 102 + 103 + + 10n = .
9

1 1 1 1
d ) 1 + + 2 + + n = 2 1 n+1 .
2 2 2 2

1 1 1 9 1
e) 1 + + 2 + + n = 1 n+1 .
9 9 9 8 9
4. Utiliza las expresiones del ejercicio anterior para plantear una conjetura
acerca de una expresion para la suma
1 + r + r2 + + rn
y demuestra que la conjetura es verdadera.
5. Demuestra que
1 (n + 1)rn + nrn+1
1 + 2r + 3r2 + + nrn1 = .
(1 r)2
6. Demuestra la siguiente igualdad:
n+1
2 4 2n 1 r2
(1 + r)(1 + r )(1 + r ) (1 + r ) = .
1r
7. Demuestra la siguiente desigualdad:
1 1 1 1
+ + + + > n, si n > 1.
1 2 3 n
8. Cuantos enteros positivos n cumplen que n 17 divide a n + 4?
9. Demuestra que la suma de cubos de tres numeros naturales consecutivos
es multiplo de 9.
18 1.3. Formula del binomio de Newton
1.3. Formula del binomio de Newton

En la seccion 1.1 analizamos el problema del numero de partidos de futbol
a realizar con 12 equipos. Uno de los modelos propuestos para estudiar este
problema utilizo un polgono de 12 vertices, donde cada vertice representaba
un equipo y cada partido estaba representado por un segmento entre dos
vertices. Utilizando esta informacion, podemos ver que (12)(11)/2 es igual al
numero de segmentos que se pueden trazar en un polgono con 12 vertices.
En general, el numero de segmentos que se pueden construir con n puntos
n(n 1)
es .
2
Ahora nos preguntaremos por el numero de triangulos que se pueden
construir con los vertices de un polgono con n vertices. Observemos que
cada triangulo se construye con los vertices de un segmento y un tercer
vertice que no esta en el segmento, de modo que por cada pareja de vertices
(o bien por cada segmento) disponemos de otros n 2 vertices del polgono
para construir los triangulos. Por ejemplo, en el caso del hexagono se tienen
4 triangulos por cada segmento como se observa en la figura:
En el caso general, tenemos

n(n 1)
(n 2)
2
triangulos. Pero en este calculo cada triangulo se ha contado 3 veces, de modo
que el numero total de triangulos que se pueden construir con los vertices de
un polgono de n lados es
n(n 1)(n 2)
.
23
Cuantos cuadrilateros podremos construir? Siguiendo la misma logica, el

numero de cuadrilateros se puede obtener a partir del numero de triangulos.
Retomando el ejemplo del hexagono, si fijamos uno de los triangulos, podemos
construir un cuadrilatero con cualquiera de los puntos sobrantes:
Por lo tanto, el numero de cuadrilateros es igual al producto del numero

de triangulos por el numero de puntos sobrantes. De nuevo, observamos que
cada cuadrilatero se ha contado 4 veces, de modo que debemos dividir el
numero obtenido entre cuatro, as, el numero de cuadrilateros que se pueden
construir con los vertices del hexagono es
6543
.
432
Podemos generalizar este razonamiento como sigue: Dado un polgono de
n vertices, por cada triangulo construido se dispone de otros n 3 vertices
para elegir el cuarto vertice del cuadrilatero. Como el numero de triangulos
es
n(n 1)(n 2)
,
23
se pueden construir
n(n 1)(n 2) n 3 n(n 1)(n 2)(n 3)
=
23 4 234
cuadrilateros.
Ahora podemos conjeturar que el numero de polgonos de k vertices que
se pueden construir en un polgono de n vertices es
n(n 1)(n 2)(n 3) (n k + 1)
.
2 3 4k
En la siguiente tabla se tiene la informacion del numero total de polgonos

con k lados que se pueden construir en polgonos de 3, 4, 5 y 6 vertices:
Numero de Total de Total de Total de Total de Total de Total de
vertices segmentos triangulos cuadrilateros pentagonos hexagonos polgonos
3 3 1 0 0 0 7
4 6 4 1 0 0 15
5 10 10 5 1 0 31
6 15 20 15 6 1 63
Observese que en cada caso el numero total de polgonos (ultima co-

lumna) se puede escribir como una potencia de 2 menos 1. Escribimos esta
informacion en la siguiente tabla, la cual extenderemos en dos sentidos por
conveniencia. En la segunda columna incluimos un caso lmite, el numero de
polgonos con k = 0 lados, es decir, el numero de puntos considerados.
Ademas, incluimos dos renglones al principio, correspondientes a los polgo-
nos con 1 o 2 vertices.
Numero Total de Total de Total de Total de Total de Total de Total de
de vertices puntos segmentos triangulos cuadrilateros pentagonos hexagonos polgonos
1 1 0 0 0 0 0 21 1
2 2 1 0 0 0 0 22 1
3 3 3 1 0 0 0 23 1
4 4 6 4 1 0 0 24 1
5 5 10 10 5 1 0 25 1
6 6 15 20 15 6 1 26 1
Se observa que en cada uno de los renglones hay algunos numeros que se
repiten. Que sucede en la geometra para que se de esta situacion? Veamos
los siguientes dibujos:
En el primer dibujo tenemos un polgono de 8 vertices y vemos que por

cada 3 vertices utilizados para formar un triangulo hay otros 5 vertices que no
se ocupan, con los que se puede construir un pentagono. En el segundo dibujo
tenemos 6 vertices, dos de los cuales se han usado para formar un segmento.
Con los vertices restantes formamos un cuadrilatero. En general, si tenemos
un polgono con n vertices, podemos afirmar que por cada polgono de k
vertices, podemos construir otro polgono con los n k vertices restantes.
Por lo tanto el numero de polgonos de k vertices que se puede construir en
un polgono de n vertices es igual al numero de polgonos con n k vertices
y tenemos la siguiente igualdad:
n(n 1)(n 2) (n k + 1) n(n 1)(n 2) (n (n k) + 1)

=
2 3k 2 3 (n k)
la cual es facil de verificar al hacer la multiplicacion cruzada.

En resumen, tenemos que el numero total de polgonos que se pueden
construir con los vertices de un polgono de n vertices es
n(n 1) n(n 1)(n 2) n(n 1)(n 2) 2

n+ + + + + 1 = 2n 1,
2 23 2 3 (n 1)
donde el primer sumando es el numero total de puntos del polgono, el segun-

do el numero total de segmentos, el siguiente el numero total de triangulos
y as sucesivamente hasta llegar al numero de polgonos con n vertices, que
es igual a 1. Observa que la expresion 2n 1 tambien da el numero total de
polgonos cuando el polgono original tiene solo uno o dos puntos.
Ahora abordaremos el problema de determinar el numero total de polgo-

nos desde otro punto de vista. En la siguiente figura hemos etiquetado los
vertices de un cuadrado como a, b, c, d:
Para formar un segmento con dos de los vertices de este cuadrado, basta
elegir cualesquiera dos letras en el conjunto {a, b, c, d}. En forma similar,
para formar un triangulo basta elegir tres letras del mismo conjunto. Para
obtener el numero total de polgonos que podemos formar con los vertices de
este cuadrado, podemos entonces preguntarnos cuantos subconjuntos tiene
{a, b, c, d}. Para contestar esta pregunta haremos una lista:
Tenemos 4 subconjuntos de un elemento: {a} , {b} , {c} , {d}.

Los subconjuntos de dos elementos son {a, b}, {a, c}, {a, d}, {b, c},
{b, d} y {c, d} ; en total, 6 subconjuntos de este tipo.
Subconjuntos de tres elementos: {a, b, c} , {a, b, d} , {a, c, d} , {b, c, d} ; es
decir, 4 subconjuntos.
Subconjuntos de cuatro elementos: {a, b, c, d}; o sea, un solo subcon-
junto.
En este caso, agregaremos a esta lista el conjunto vaco que siempre es sub-
conjunto de cualquier conjunto. As, el total de subconjuntos de {a, b, c, d}.
es
1 + 4 + 6 + 4 + 1 = 16 = 24 .
Para hacer una analoga completa entre el numero de figuras geometricas
que se pueden construir con los vertices de un cuadrado y el numero de
subconjuntos de un conjunto con 4 elementos, podemos asociar al conjunto

vaco la figura vaca.
Para confirmar esta analoga consideremos un pentagono y el conjun-
to {a, b, c, d, e} con 5 elementos. El numero de subconjuntos del conjunto
{a, b, c, d, e} es
1 + 5 + 10 + 10 + 5 + 1 = 32 = 25
vaco 1 elemento 2 elementos 3 elementos 4 elementos 5 elementos
Entonces en base al analisis realizado con los objetos geometricos se pue-

de conjeturar que el numero total de subconjuntos de un conjunto con n
elementos es 2n , esto es:
n(n 1) n(n 1)(n 2)
1 + n + + +
vaco 1 elemento 2 23
2 elementos 3 elementos
n(n 1)(n 2) (n k + 1)
+ + +
2 3k
k elementos
n(n 1)(n 2) 3 2
+ + + 1 = 2n .
2 3 (n 1) n elementos
n1 elementos
Tambien podemos afirmar que el numero de subconjuntos con k elementos

de un conjunto con n elementos es igual al numero de subconjuntos con n k
elementos.
Para no estar cargando tantas multiplicaciones vamos a definir el factorial
de un numero n, denotado por n!, como
n! = n(n 1)(n 2) 2 1;
por ejemplo, 3! = 3 2 1 = 6, o bien 5! = 5 4 3 2 1 = 60. Con esta
definicion,
n(n 1)(n 2) (n k + 1)
1 2 3k
se puede escribir como
[n(n 1)(n 2) (n k + 1)] (n k)! n!
= .
[1 2 3 k] (n k)! k!(n k)!
Denotamos esta ultima expresion como sigue:

n n!
= .
k k!(n k)!
Por ejemplo,

5 5! 5! 54321 20
= = = = = 10,
3 3!(5
3)! 3!2! (3 2 1)(2 1) 2
10 10! 10 9 8 7
= = = 210.
6 6!(10 6)! 4321
Con esta notacion se puede decir que el numero

de subconjuntos de k
n
elementos de un conjunto de n elementos es . Como el vaco es el conjunto
k
que no tiene elementos, debemos tener que

n
=1
0
de modo que definimos 0! = 1 para que

n n! n!
= = = 1.
0 n!(n n)! n!0!
Con esta notacion, podemos escribir 2n como

n n n n n n n
2 = + + + + + + + .
0 1 2 k n1 n
Ademas, el hecho de que un conjunto con n elementos tiene tantos sub-

conjuntos con k elementos como subconjuntos con n k se puede escribir
como
n n
= .
k nk
Regresemos a la tabla de la pagina 20, donde aparece el numero de sub-
polgonos que podemos formar con los vertices de un polgono, o bien, como
hemos visto, el numero de subconjuntos de un conjunto con n elementos.
Para tomar en cuenta al subconjunto vaco, tendramos que agregamos a es-
ta tabla una columna (entre la primera y la segunda columnas de la tabla
original) con un 1 correspondiente a dicho subconjunto. Ademas cambiare-
mos un poco la distribucion de los datos para obtener el siguiente arreglo de
numeros:
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
Observemos varios patrones en este arreglo:
1. Al inicio y al final de cada renglon aparecen unos.
2. En el tercer renglon aparece un 2 que se puede ver como la suma de

los unos que estan en el renglon superior.
3. En el cuarto renglon aparecen dos numeros 3 cada uno de los cuales es

la suma de un 1 y un 2 del renglon superior.
4. El quinto renglon se construye de manera analoga al cuarto: Iniciamos

con los unos en los extremos y luego sumamos 3 con 1, 3 con 3, otra
vez 3 con 3 y as sucesivamente para obtener 1, 4, 6, 4, 1.
En general, cualquier renglon de este arreglo se obtiene sumando los dos

numeros que estan en el renglon inmediato superior arriba de este. As po-
demos seguir construyendo los demas renglones del arreglo:
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 7 21 35 35 21 7 1
1 8 28 56 70 56 28 8 1
Este arreglo se llama triangulo de Pascal. Los elementos que aparecen en

el renglon n del triangulo son:

n n n n n n n n
.
0 1 2 k1 k k+1 n1 n
Puesto que el renglon (n + 1) esta formado por

n+1 n+1 n+1 n+1 n+1 n+1
,
0 1 2 k n n+1
para demostrar que el triangulo sigue el patron antes indicado hay que ver que
el (k + 1)-esimo elemento de este renglon se obtiene al sumar dos elementos
del renglon anterior, a saber,

n+1 n n
= + .
k k1 k
Para esto basta verificar esta igualdad:

n n n! n!
+ = +
k1 k (k 1)!(n k +1)! k!(n k)!
n! 1 1
= +
(k 1)!(n k)! n k + 1 k
n! k+nk+1
=
(k 1)!(n k)! k(n k + 1)
n! n+1
=
(k 1)!(n k)! (n k + 1)k
(n + 1)!
=
k(k 1)!(n + 1 k)(n k)!
(n + 1)!
=
1 k)!
k!(n +
n+1
= .
k
Ahora veremos una aplicacion del triangulo de Pascal, para lo cual desa-
rrollaremos algunas potencias de un binomio a + b: Es claro que
(a + b)1 = a + b.
Observemos que los coeficientes de los monomios son 1 y 1. Ahora,
(a + b)2 = a2 + 2ab + b2 ,
y sus coeficientes son 1, 2 y 1. Por otro lado,
(a + b)3 = a3 + 3a2 b + 3ab2 + b3 ,

y los coeficientes son 1, 3, 3, 1. Por ultimo,
(a + b)4 = a4 + 4a3 b + 6a2 b2 + 4ab3 + b4 ,

y sus coeficientes son 1, 4, 6, 4, 1.
As, en cada uno de estos desarrollos aparecen los coeficientes de uno de
los renglones del triangulo de Pascal. Podemos conjeturar que
(a + b)5 = a5 + 5a4 b + 10a3 b2 + 10a2 b3 + 5ab4 + b5 ,
y para verificar esta conjetura podemos efectuar el producto (a + b)4 (a + b).
Proposicion 1.1. La n-esima potencia de un binomio a+b se puede escribir

usando los coeficientes del triangulo de Pascal como

n n n n n1 n nk k n n1 n n
(a+b) = a + a b+ + a b + + ab + b .
0 1 k n1 n
Demostracion. Este es un resultado que puede demostrarse usando el prin-

cipio de induccion matematica. En primer lugar, la afirmacion es cierta para
n = 1, pues
1 1 1 1 11
(a + b) = a + a b.
0 1
Supongamos entonces que es valido el resultado para n 1, es decir, que
(a + b)n1 es igual a la suma
n1 n1
+ n1 a b + + n1 n1
+ n1
n2 n1k k n2 n1
0
a 1 k
a b + + n2 ab n1
b
Al multiplicar esta expresion por (a + b) obtenemos dos sumas, que son

n1 n
a + n1 a b + + n1 a b + + n1 + n1
n1 nk k 2 n2 n1
0 1 k n2
ab n1
ab
y
n1 n1 n1 n1 n1
an1 b + an2 b2 + + an1k bk+1 + + abn1 + bn .

0 1 k n2 n1
Agrupamos los terminos semejantes de estas dos sumas y usamos el hecho

de que
n1
= n1 = n0 = nn = 1

0 0
28 1.4. Las torres de Hanoi
para escribir
n n1
+ n1 n1 n1

(a + b)n = 0
an + 0 1
an1 b + 1
+ 2
an2 b2 + +
n1
+ n1 n1 n1 n n
nk k n1
k1 k
a b + + n2
+ n1
ab + n
b .
Finalmente, usamos la igualdad

n+1 n n
= +
k k1 k
en cada uno de los parentesis rectangulares para obtener la igualdad que
queramos mostrar. Por el principio de induccion, la igualdad en el enunciado
de esta proposicion es valida para cualquier numero natural n. Esta expresion
se conoce como la formula del binomio de Newton.
Ejercicios
1. Comprueba la siguiente igualdad.
(a b)n = n0 an n1 an1 b + n
a b + + (1)k nk ank bk
n2 2
2
n n
n
+ + (1)n1 n1
abn1 + (1)n n
b .
2. Cual es el septimo termino en el desarrollo de (2a2 5b3 )12 ?
3. Desarrolla los siguientes binomios: (x + 2y 2 )3 y (3x 2y)4 .
1.4. Las torres de Hanoi

El juego de las torres de Hanoi fue inventado por el matematico frances
Edouard Lucas, quien lo publico por primera vez en 1883. El material de
juego consta de varios discos o monedas de diferente tamano y un tablero
con tres estacas o con tres casillas. Al inicio los discos estan colocados en una
de las casillas en orden creciente (el mayor hasta abajo). El juego consiste en
trasladar todos los discos de la torre, uno por uno, a otra casilla (usando la
tercera como auxiliar) de manera que queden en el orden original. Los discos
se pueden mover a cualquier casilla siempre y cuando en ella no se encuentre
un disco de menor tamano; esto es, nunca se puede colocar un disco mayor
sobre uno menor.
Una pregunta que se plantea naturalmente despues de jugar con torres

de 3, 4 y 5 discos es
Cual es el numero de pasos necesario para trasladar una torre de n discos?
Otra pregunta natural es:
Cual es el mnimo numero de pasos para trasladar una torre de n discos?
Al experimentar directamente con unos cuantos discos reunimos los datos

de la siguiente tabla:
Numero de discos de la torre Numero mnimo de pasos

1 1
2 3
3 7
4 15
5 31
Antes de buscar cual sera el mnimo numero de pasos necesario para

trasladar una torre con n discos, verifiquemos que los numeros obtenidos al
experimentar con 1, 2, 3, 4 y 5 discos son los mnimos.
Claramente, si tenemos un solo disco basta con un movimiento para lle-
varlo a otra casilla y, por lo tanto, este es el mnimo.
Que sucede si tenemos dos discos en la torre? Observemos que para
mover el disco mayor primero se debe quitar de encima el disco pequeno
(para lo cual solo necesitamos un paso). Notese que ya necesitamos usar la
otra casilla como auxiliar para efectuar el juego sin infringir las reglas. El
movimiento del disco mayor requiere tambien de un solo paso y para volver
a formar la torre necesitamos mover nuevamente el disco pequeno una vez.
Esto da un total de 3 movimientos, y este el mnimo numero de pasos.
Si ahora se tienen en total 3 discos en la torre, para poder mover por
primera vez el disco mayor se deben mover previamente los discos menores
y llevarlos a una unica casilla (de modo que quede libre una casilla a donde
podamos trasladar al disco mayor). Como ya sabemos, para trasladar 2 discos
de una casilla a otra se necesitan al menos 3 movimientos, de modo que el
primer movimiento del disco mayor debe realizarse despues de 3 movimientos.
Una vez movido el disco mayor, se tienen que colocar los dos discos mas
pequenos encima del mayor y para esto se requieren otros tres movimientos.
As, se llega a que el mnimo numero de pasos necesario para trasladar 3 discos
se obtiene sumando el mnimo de movimientos necesarios para trasladar 2
discos, el movimiento del disco mayor y el numero mnimo de movimientos
necesarios para colocar 2 discos en la casilla que ocupa el mayor.
De manera analoga se puede demostrar que el mnimo numero de pasos
necesario para trasladar 4 discos es 15 y para 5 discos es 31.
Observese que, si denotamos como H(n) al mnimo numero de pasos
necesario para trasladar una torre con n discos, se tiene el siguiente principio
en el juego:
H(1) = 1;
H(2) = H(1) + 1 + H(1);
H(3) = H(2) + 1 + H(2);
H(4) = H(3) + 1 + H(3);
H(5) = H(4) + 1 + H(4).
Este principio de recursividad, que se descubre de la experimentacion

directa del juego con torres de 1, 2, 3, 4 y 5 discos, sugiere la siguiente
conjetura:
H(1) = 1; H(n) = H(n 1) + 1 + H(n 1) = 2H(n 1) + 1.
Claramente H(1) = 1 es el mnimo de pasos necesario para trasladar un

disco. En cuanto a la segunda relacion, sabemos que antes de mover por
primera vez el disco mayor (en este caso el n-esimo) hay que trasladar a una
unica casilla la torre con n 1 discos que esta encima de el, despues mover
el disco n y, por ultimo regresar la torre de n 1 discos a la casilla ocupada
por el disco n. De este modo, si H(n 1) es el mnimo numero de pasos
necesario para trasladar n 1 discos, entonces H(n) = 2H(n 1) + 1 debe
ser el mnimo numero de pasos necesario para trasladar n 1 discos.
En la practica, para encontrar H(n) debemos calcular primero H(2) a
partir de H(1) = 1, luego H(3) a partir de H(2), H(4) a partir de H(3) y
as sucesivamente. Esto nos sugiere desarrollar H(n) de la siguiente manera:
H(1) =1;
H(2) =2H(1) + 1 = 2 + 1;
H(3) =2H(2) + 1 = 2(2 + 1) + 1 = 22 + 2 + 1;
H(4) =2H(3) + 1 = 2(22 + 2 + 1) + 1 = 23 + 22 + 2 + 1;
..
.
H(n) = 2H(n 1) + 1 = 2(2n2 + 2n3 + + 2 + 1) + 1
= 2n1 + 2n2 + + 22 + 2 + 1.
En la ultima expresion suponemos que n 2. As, concluimos que

n
X
H(1) = 1; y H(n) = 2i1 para n 2. (1.6)
i=1
Sin embargo, esta formula no es muy practica, pues si n es un numero su-

ficientemente grande, el calculo de H(n) nos obliga a desarrollar un buen
numero de operaciones. Trataremos entonces de buscar algun otro camino
que nos permita encontrar H(n) de manera mas directa o bien que nos diga
como calcular la suma que necesitamos.
Agreguemos una columna a nuestra tabla anterior que indique los incre-
mentos que sufre el numero de pasos cuando el numero de discos crece:
Numero de discos de la torre Numero mnimo de pasos Incremento

0 0
1 1 1 = 20
2 3 2 = 21 (1.7)
3 7 4 = 22
4 15 8 = 23
5 31 16 = 24
Se observa que cada uno de los incrementos se puede expresar como una
potencia de 2 y que el mnimo numero de pasos necesario para trasladar
n discos se obtiene sumando ese incremento al mnimo numero de pasos
necesario para trasladar n1 discos. Esto es, se obtiene una segunda relacion
de recursividad dada por
H(1) = 1, H(n) = H(n 1) + 2n1 .

As, la propia tabla nos ofrece un segundo metodo para encontrar el mnimo
numero de pasos necesario para trasladar n discos. Haciendo un desarrollo
analogo al anterior obtenemos:
H(n) = H(n 1) + 2n1

= H(n 2) + 2n2 + 2n1
= H(n 3) + 2n3 + 2n2 + 2n1
..
.
= H(1) + 21 + 22 + 23 + + 2n2 + 2n1
= 20 + 21 + + 2n1 .
Es decir, mediante ambos metodos se obtiene que
n
X
H(n) = 2i1 .
i=0
Como ya se demostro que la relacion recursiva H(n) = 2H(n 1) + 1

proporciona el mnimo numero de pasos necesario para trasladar n discos, y
comoP la relacion H(n) = H(n 1) + 2n1 da como resultado la misma expre-
sion ni=0 2i1 , se tiene entonces que esta segunda relacion de recursividad
tambien proporciona el mnimo numero de pasos necesario para trasladar n
discos.
Sin embargo aun no hemos resuelto el problema de reducir el numero de
operaciones requeridas para encontrar H(n) con n suficientemente grande.
Sigamos buscando:
Recurramos nuevamente a la tabla que aparece en (1.7) y relacionemos en
ella, de otra manera, a los totales de pasos con los incrementos. Observemos
que el numero de pasos necesario para trasladar un disco es el incremento
correspondiente a 2 discos menos una unidad; que el total de pasos necesario
para trasladar 2 discos es el incremento correspondiente a 3 discos, menos
una unidad, etcetera. De aqu se puede conjeturar que el mnimo numero de
pasos necesario para trasladar n discos es 2n 1; es decir, H(n) = 2n 1.
En suma, tenemos que demostrar el siguiente:
Teorema 1.2. El mnimo numero de pasos necesario para trasladar n discos
esta dado por H(n) = 2n 1.
Demostracion. Ya sabemos que
H(n) = 2H(n) + 1 = H(n 1) + 2n1 = 20 + 21 + 22 + + 2n1

es el mnimo numero de pasos necesario para trasladar n discos, pero por el

ejercicio 4a de la seccion anterior,
20 + 21 + 22 + + 2n1 = 2n 1; (1.8)
de estas igualdades se sigue el teorema.
Ahora podemos hacer preguntas mas elaboradas, por ejemplo,
Dado un numero de paso k, que disco se mueve en ese paso?
En primer lugar es necesario contar con un esquema de los traslados que

se realizan a lo largo del juego; para ello es indispensable construir un modelo
del juego con un lenguaje adecuado. Una posibilidad es numerar los discos en
orden creciente y asignar a las casillas las letras A, B y C. Con esta notacion
se tienen dos posibles esquemas para un numero determinado de discos. Si
suponemos que siempre se parte de la casilla A y que la torre tiene tres discos,
los esquemas son
Disco que Casilla a la que Disco que Casilla a la que

se mueve se mueve el disco se mueve se mueve el disco
1 C 1 B
2 B 2 C
1 B 1 C
3 C 3 B
1 A 1 A
2 C 2 B
1 C 1 B
Si la torre tiene cuatro discos, los esquemas son
Disco que Casilla a la que Disco que Casilla a la que

se mueve se mueve el disco se mueve se mueve el disco
1 C 1 B
2 B 2 C
1 B 1 C
3 C 3 B
1 A 1 A
2 C 2 B
1 C 1 B
4 B 4 C
1 B 1 C
2 A 2 A
1 A 1 A
3 B 3 C
1 C 1 B
2 B 2 C
1 B 1 C
De los esquemas de los traslados para 3 y 4 discos se puede observar que

cuando el primer movimiento que se realiza es a la casilla C, la torre termina
en esa misma casilla siempre y cuando la torre tenga 3 discos y termina en B
siempre y cuando la torre tenga 4 discos. Tambien se puede observar que si
el primer movimiento que se realiza es a la casilla B, la torre termina en B si
hay un total de 3 discos y en C si hay 4. Es decir, para una torre de 3 discos,
el juego termina en la casilla hacia donde se realizo el primer traslado, y si
la torre tiene 4 discos, el juego termina en la casilla que queda libre despues
de realizar el primer traslado. Esto nos permite establecer la siguiente
Conjetura. Si el numero de discos de la torre es impar, la torre termina
en la casilla hacia donde se realizo el primer traslado, y si el numero de discos
de la torre es par, la torre termina en la casilla que quedo libre despues de
realizar el primer traslado.
Como los esquemas de traslados son esencialmente iguales haciendo el
primer movimiento a la casilla C o a la B, elegiremos uno de ellos como mo-
delo general del juego. En particular supondremos que el primer movimiento
siempre es a la casilla C (partiendo de la casilla A). Para ahorrar espacio (y
tiempo) denotaremos los traslados como 1-C o 2-B, o lo que corresponda.
Una vez impuesta la condicion de que el primer traslado se haga a la

casilla C partiendo de A obtenemos la tabla siguiente
Numero de paso Numero de discos de la torre

1 2 3 4 5
1 1C 1C 1C 1C 1C
2 2B 2B 2B 2B
3 1B 1B 1B 1B
4 3C 3C 3C
5 1A 1A 1A
6 2C 2C 2C
7 1C 1C 1C
8 4B 4B
Si se observa con detenimiento esta tabla se vera que el disco mas pequeno,
el numero 1, se mueve siempre cada tercer paso; es decir, en los pasos impares.
Tambien de la tabla se puede observar que el disco 2 se mueve en forma
parecida: fijandose solo en los pasos pares, se observa que el disco 2 tambien
se mueve cada tercer paso.
Si ahora se observan los pasos donde no se mueven los discos 1 o 2, es
decir los pasos 4, 8, 12, 16, etcetera, se vera que el disco 3 se mueve tambien
cada tercer paso. Destacamos esto en la siguiente tabla.
Disco Se mueve en el paso

1 1 3 5 7 9
2 2 6 10 14 18
3 4 12 20 28 36
4 8 24 40 56 72
Lo que resta ahora es expresar esta relacion de manera general y compro-

bar que se satisface para cualquier numero n de discos de la torre.
Si el numero de paso (denotado por k de aqu en adelante) es impar,
entonces se mueve el disco numero 1;
Si el numero de paso es de la forma k = 2p con p impar (esto para expresar
el cada tercer paso), se mueve el disco 2;
Si dicho numero es de la forma k = 4p con p impar, se mueve el disco 3;
Si es de la forma k = 8p con p impar, se mueve el disco 4; y
Si es de la forma k = 16p con p impar entonces se mueve el disco 5.
En general se puede establecer la siguiente
Conjetura. Si el numero de paso es de la forma k = 2n1 p con p impar,

entonces se mueve el disco n.
La demostracion de este resultado se basa en el siguiente razonamiento:
Sabemos que si la torre tiene n discos en total, el disco mayor se mueve
una unica vez y lo hace en el paso de la forma 2n1 , ya que antes de moverse
debe haberse trasladado a una sola casilla la torre con n 1 discos. Como
para trasladar la torre con n 1 discos se requiere un mnimo de 2n1 1
pasos, el paso en que se mueve el disco n es precisamente el siguiente, es decir
el 2n1 1 + 1 = 2n1 .
El disco n 1 se mueve dos veces. Veamos. Segun la relacion de recursi-
vidad descubierta en el juego, la torre con n 1 discos se mueve dos veces
en el juego con una torre de n discos, una vez antes de mover el disco mayor
y otra vez despues de mover el disco mayor. Como en la torre con n 1
discos ocurre que el disco mayor es el n 1, este se mueve una sola vez en
el paso de la forma 2n2 . Y como despues de mover el disco n se vuelve a
repetir el esquema del juego con n 1 discos, la segunda vez que se mueve
es precisamente en el paso de la forma 2n1 + 2n2 ; es decir, a partir del
momento en que se mueve el disco n contamos un numero de pasos igual al
correspondiente al primer movimiento del disco n 1.
As, el disco n 1 (en el juego con una torre de n discos) se mueve 2 veces
y lo hace en los pasos 2n2 y 2n2 (1 + 2) = 2n2 (3).
El disco n 2 se mueve cuatro veces, pues en el juego con una torre de
n 1 discos (que se repite dos veces en el juego con una torre de n discos)
se mueve dos veces. En el juego con una torre de n 1 discos, el disco n 2
se mueve en los pasos de la forma 2(n1)2 = 2n3 y 2(n1)2 (3) = 2n3 (3)
(por lo dicho en el caso anterior). Como el esquema de este juego se repite
en el esquema del juego con una torre de n discos, las otras dos veces que se
mueve el disco n 2 ocurren en los pasos de la forma:
2n1 + 2n3 (1) = 2n3+2 + 2n3 (1) = 2n3 (22 + 1) = 2n3 (5)
y
2n1 + 2n3 (3) = 2n3+2 + 2n3 (3) = 2n3 (22 + 3) = 2n3 (7),
de modo que el disco n 2 se mueve 22 = 4 veces en los pasos 2n3 (1),
2n3 (3), 2n3 (5) y 2n3 (7).
Analogamente, el disco n 3 se mueve 8 veces, pues en el juego con una
torre de n1 discos se mueve cuatro veces y este juego se repite dos veces en el
juego con una torre de n discos. Los pasos en los que se mueve seran, entonces
los pasos: 2n4 (1), 2n4 (3), 2n4 (5), 2n4 (7), 2n4 (9), 2n4 (11), 2n4 (13) y
2n4 (15).
En general, podemos conjeturar que si tenemos un juego con una torre
de n discos, el disco n i se mueve 2i veces y lo hace en los pasos: 2ni1 (1),
2ni1 (3), . . . , 2ni1 (2i+1 1). La demostracion de este hecho se basa en un
razonamiento identico al que se hizo para obtener el numero de veces que se
mueven los discos n 1, n 2 y n 3 y en que pasos lo hacen, cuando la
torre tiene n discos.
1.5. El geoplano
El geoplano cuadrado es un tablero de madera con clavos dispuestos en
forma de una cuadrcula; los hay pequenos de 2 2 o 3 3 hasta grandes
de 10 10 o mas. Ademas se utilizan ligas de colores para colocarse en los
clavos y formar diversas figuras geometricas. Por ejemplo, en la siguiente
figura aparecen dos cuadrados con vertices en los clavos del geoplano:
Cuantos cuadrados con vertices en los clavos habra en un geoplano?

Habra alguna manera para calcular el numero de cuadrados en un geoplano
38 1.5. El geoplano
cuadrado cualquiera, de n n?
Para responder a esta pregunta, veremos primero el caso particular del
geoplano 8 8 (ilustrado en la pagina 37) y trataremos de generalizarlo. Para
este caso, calcularemos primero el numero de cuadrados inscritos (aquellos
cuyos vertices estan en la orilla) en geoplanos de 2 2, 3 3, 4 4, 5 5,
6 6, 7 7 y 8 8. Despues calcularemos el numero de subgeoplanos de
2 2, 3 3, . . . , 7 7 que hay en un geoplano de 8 8.
Es claro que en el geoplano de 2 2 unicamente hay 1 cuadrado inscrito.
En el de 3 3 hay 2 cuadrados inscritos, en el de 4 4 hay 3 y en el de 5 5
hay 4:
Sucesivamente, en el geoplano de 6 6 hay 5 cuadrados inscritos y en el

de 7 7 hay 6:
Finalmente, en el de 8 8 hay 7:
Ahora es necesario obtener el numero de subgeoplanos de kk (2 k 8)

que hay en el geoplano de 8 8. Resumimos este conteo en la siguiente tabla:
Tipo 22 33 44 55 66 77 88
Numero 72 62 52 42 32 22 12
Por lo tanto tendremos que el numero total de cuadrados que podemos
construir en un geoplano de 8 8 es:
1 72 + 2 62 + 3 52 + 4 42 + 5 32 + 6 22 + 7 12 = 336.
Ahora podemos generalizar nuestro argumento para responder cuantos
cuadrados se pueden construir en un geoplano de n n.
Podemos decir que un geoplano de k k tiene k 1 cuadrados inscritos;
ademas, el numero total de subgeoplanos que tiene un geoplano de n n es:
Tipo 22 33 kk nn
Numero (n 1)2 (n 2)2 (n k + 1)2 12
As, el numero total de cuadrados que hay en un geoplano de n n es:
1 (n 1)2 + 2 (n 2)2 + + k (n k)2 + + (n 2) 22 + (n 1) 12 .
Para obtener una expresion mas sencilla de esta suma, separamos esto en
tres sumandos, observando que
k (n k)2 = kn2 2nk 2 + k 3 .
40 1.6. Resumen
Puesto que k toma valores de 1 hasta n 1, obtenemos las sumas
(1 + 2 + + (n 1)), (12 + 22 + + (n 1)2 ), (13 + 23 + + (n 1)3 );
las expresiones para las dos primeras sumas aparecen en las ecuaciones (1.2)
y (1.4), mientras que habamos dejado la tercera como ejercicio. Tenemos
entonces que
1(n1)2 +2(n2)2 + +(k 1)(nk +1)2 +k (nk)2 + +(n1)12 .
n2 (1 + 2 + + (n 1)) 2n(12 + 22 + + (n 1)2 ) + (13 + 23 + + (n 1)3 )
lo que es igual a
(n 1)2 n2 n2 (n2 1)

2 n(n 1) n(n 1)(2n 1)
n 2n + = .
2 6 4 12
As, en general, el numero de cuadrados que tiene un geoplano de n n
es igual a
n2 (n2 1)
.
12
1.6. Resumen
En los problemas de este captulo analizamos varios casos particulares y
las caractersticas de cada problema para buscar regularidades y proponer
conjeturas generales validas para todos los numeros naturales (por ejemplo,
numero de partidos, de movimientos o de cuadrados). Ademas establecimos
la regla de crecimiento en cada problema y finalmente utilizamos el principio
de induccion matematica para la justificacion formal de nuestras conjeturas.
Como ya habamos mencionado, la intencion de presentar estos problemas
a los estudiantes es animarlos para que adquieran confianza en su capacidad
de resolver problemas con una dificultad cada vez mayor, a la vez que acer-
carlos a varios temas que queremos recrear y transmitir: la conceptualizacion
de la estructura y naturaleza del conjunto de numeros naturales, el principio
de induccion matematica, as como los conceptos de sucesor de un numero,
sucesiones, lmite, etcetera, conceptos que analizaremos en el resto de esta
obra.
Captulo 2
Los numeros reales
En el captulo anterior presentamos el principio de induccion matematica,

que nos sirve para demostrar propiedades de los numeros naturales en una
gran diversidad de situaciones. A su vez, usaremos estas propiedades para
entender el comportamiento y la estructura del conjunto de numeros reales.
De hecho, esta obra se centra en el estudio de las sucesiones de numeros
reales, con base en las cuales construiremos los conceptos fundamentales del
calculo.
Entre las caractersticas fundamentales de los numeros reales podemos
destacar dos de ellas: su orden y su distancia. Por lo general, algunos estu-
diantes estan poco familiarizados con estas caractersticas y otros tienen co-
nocimientos relativamente profundos de estos temas. Pensando en una amplia
gama de estudiantes, en este captulo brindamos una introduccion al orden
y la distancia entre numeros reales, tratando de pasar de los conceptos mas
simples hasta llegar a aspectos que puedan constituirse en retos interesantes
para nuestros lectores.
Con esto buscamos no solo constituir un grupo (de estudiantes o de lec-
tores) mas homogeneo, sino tambien mostrar que inclusive temas como estos
pueden llevar a problemas avanzados e interesantes, muchos de los cuales son
incluso problemas abiertos en la actualidad.
2.1. El orden en los numeros reales

Aunque podemos enunciar una infinidad de propiedades de los numeros
reales relacionadas con su orden, es posible deducir muchas de estas pro-
41
42 2.1. El orden en los numeros reales
piedades en terminos de otras, es decir, podemos establecer un conjunto de

propiedades basicas a partir de las cuales obtener el resto como consecuencia
logica.
Partiremos de un hecho aparentemente simple: Nuestra experiencia en el
caso de los numeros reales nos permite decidir, en algunos casos sencillos,si
un numero es positivo o no. Por ejemplo, es claro que 3 es positivo y que 2
no lo es. Sin embargo, sera necesario adquirir habilidades en el manejo de las
desigualdades para tomar esta decision para numeros o expresiones cada vez
mas complejos. Para formalizar esta idea, introduciremos las caractersticas
generales de los numeros que llamaremos positivos.
En toda esta obra denotaremos por R al conjunto de numeros reales.
El conjunto de los numeros reales positivos, que denotaremos por R+ , es el
subconjunto de R con las siguientes propiedades:
1. Para todo a R se tiene que a cumple solo una de las siguientes tres
condiciones: a R+ o a R+ o a = 0.
2. Si a, b R+ , entonces a + b R+ y ab R+ . (Decimos que la suma y

el producto son operaciones cerradas en R+ .)
Como de costumbre, diremos que un numero a es negativo si a R+ . El

lector puede observar que mantendremos el caso del cero como algo especial:
0 no sera positivo, ni negativo.
Veremos a continuacion que la existencia de los numeros positivos basta
para definir el orden en los numeros reales.
Definicion 2.1. Sean a, b numeros reales. Diremos que
a es (estrictamente) menor que b, lo que denotaremos por a < b, si y

solo si b a R+ .
a es menor o igual que b, lo que denotaremos por a b, si y solo si

a b, si y

solo si b < a; es decir, si y solo si a b R+ .
a es mayor o igual que b, lo que denotaremos por a b, si y solo si

a > b o a = b.
Captulo 2. Los numeros reales 43
A su vez, esta definicion permite establecer una amplia serie de propie-

dades, algunas de las cuales reunimos a continuacion.
Proposicion 2.2 (Propiedades de las desigualdades). Sean a, b, c numeros

reales arbitrarios, a menos que se indique lo contrario.
1. Si a < b y b < c entonces a < c.
2. Si a < b entonces a + c < b + c, para toda c R.
3. Si a < b y c < d entonces a + c < b + d.
4. Si a < b y c R+ entonces ac < bc.
5. Si a < b y c R+ entonces bc < ac.
6. Si a < b, entonces b < a.
7. Si a < b, c < d y b, c R+ ; entonces ac < bd.
Demostracion. Como en el enunciado de la proposicion, sean a, b, c numeros

reales.
1. Dado que b a y c b pertenecen a R+ , tenemos que
(b a) + (c b) R+ .
Como (b a) + (c b) = c a, entonces a < c.
2. Como a < b entonces ba R+ y ba = ba+cc = (b+c)(a+c);

as, (b + c) (a + c) R+ ; por lo tanto, a + c < b + c.
3. Dado que ba y dc pertenecen a R+ , tenemos que (ba)+(dc) R+ .

Como (b a) + (d c) = (b + d) (a + c) entonces a + c < b + d.
4. Como b a R+ y c R+ , se tiene c(b a) R+ . Dado que c(b a) =

cb ca, entonces ac < bc.
5. Como b a R+ y c R+ , entonces c(b a) R+ y c(b a) =

ac bc; por lo tanto, bc < ac.
6. Es consecuencia de la propiedad anterior, haciendo c = 1.

44 2.1. El orden en los numeros reales
7. Como c R+ , se tiene que ac < bc. De manera similar, b R+ implica

que bc < bd. De estas desigualdades y la propiedad 1 se obtiene ac <
bd.
De aqu en adelante y para seguir las convenciones usuales, escribiremos

a > 0 en vez de a R+ , a < 0 para indicar a R+ , a 0 en vez de
a R+ {0} y a 0 cuando a / R+ .
A continuacion damos otra serie de propiedades, cuya demostracion de-
jamos a cargo de los lectores y que supondremos validas en adelante.
Ejercicios
Demuestra las siguientes propiedades. En todos los casos, a, b y c son
numeros reales.
1. Si a 0 y a 0.
3. Si a 0.
5. Si a > 0 y a 1, demuestra que a2 a.
6. Si 1 a, entonces a a2 .
7. Si a > 0 y a 1, demuestra que an a para todo numero natural n.
8. Si 1 a entonces a an para todo numero natural n.

1
9. Si a > 0, entonces a
> 0.
1
10. Si a < 0, entonces a
< 0.
1
11. Muestra que si a 6= 0, a R+ y a b.

14. Demuestra que si a > 0 y a < b, entonces a < b. Con base en esto,
demuestra que 1 < 2 < 3 < 2.
15. Sean a, b, c numeros naturales tales que ab < c. Demuestra que a+b c.
Sugerencia: Supongamos que a b; el caso b a es analogo. Considera
los casos a = 1 y a > 1.
16. Demuestra que para cualesquiera a, b R se satisface 2ab a2 + b2 .
17. Demuestra que si a + b = 1, entonces

1
a4 + b 4 .
8
Sugerencia: Utiliza el ejercicio anterior y las igualdades
a2 + b2 = (a + b)2 2ab, a4 + b4 = (a2 + b2 ) 2a2 b2 .
Hay alguna pareja de numeros a, b que satisfaga la igualdad

1
= a4 + b 4 ?
8
18. Para que valores de x R se cumplen las siguientes desigualdades?

1 1 2x
x+ < 4; 2 1; 2 > 1.
x x +1 x +1
2.2. Medias aritmetica, geometrica y armoni-

ca
Ahora usaremos algunas de las desigualdades basicas de la seccion anterior
para mostrar otras mas complejas que surgen en varios contextos, entre ellos
el geometrico. Comencemos con una desigualdad importante.
Proposicion 2.3. Si a, b > 0, entonces

a+b
ab . (2.1)
2
Demostracion. Sabemos que (a b)2 0, de modo que
a2 2ab + b2 0 y a2 + b2 2ab.
46 2.2. Medias aritmetica, geometrica y armonica
Si sumamos 2ab a ambos miembros de la ultima desigualdad tenemos
a2 + b2 + 2ab 4ab.
Factorizamos el lado izquierdo de la desigualdad y obtenemos
(a + b)2 4ab.
Ahora dividimos entre 4 y extraemos raz cuadrada a ambos lados de la

desigualdad. Observemos que por hipotesis a y b son positivos, de modo que
obtenemos la desigualdad que queramos demostrar.
Cuando se cumple la igualdad en la desigualdad anterior? Si observamos
el desarrollo de la justificacion, podemos afirmar facilmente que la igualdad
se da si y solo si a = b.
Recordemos que el promedio de dos numeros positivos a y b es (a + b)/2.
A este numero tambien se le llama la media aritmetica dea y b. Un poco
menos conocida es la media geometrica de a y b, dada por ab. Entonces la
desigualdad (2.1) se puede expresar diciendo que la media aritmetica es ma-
yor o igual que la media geometrica; ademas, la igualdad entre estas medias
se da si y solo si los numeros son iguales.
Ejercicio
Demuestra la desigualdad
a2 + b 2
ab
2
como una variante de (2.1).
La desigualdad (2.1) entre la media aritmetica y la media geometrica
tiene implicaciones en las mas diversas situaciones. Mostraremos algunas de
estas a continuacion.
Problema. Hallar dos numeros reales positivos a, b tales que su suma sea 8
y cuyo producto sea maximo. Esto es, si a + b = 8, queremos saber cuanto
deben valer a y b para que el producto ab sea el maximo posible.
Solucion. Como sabemos que a+b = 8, podemos usar la desigualdad (2.1)
para obtener que
8
ab .
2
o bien
ab 16.
Esto nos dice que el producto nunca es mas grande que 16. Por lo senalado
anteriormente, el producto sera igual a 16 si y solo si a = b; por lo tanto,
tenemos la ecuacion
a2 = 16,
de donde obtenemos que a y b deben ser iguales a 4.
La situacion anterior se puede interpretar geometricamente, consideran-
do una familia de rectangulos con permetro fijo y buscando en esta familia
el rectangulo con mayor area. Cuanto vale el permetro fijo en este caso?
Cual es el rectangulo con mayor area?. As, podemos pasar de un contexto
numerico e interpretarlo de manera geometrica. Ahora dejaremos que el lec-
tor recorra el camino en el sentido contrario, para que resuelva el siguiente
problema geometrico.
Ejercicio
De todos los rectangulos de area 5, cual es el que tiene el menor perme-
tro?
A continuacion definimos otra cantidad importante vinculada a dos nume-
ros reales.
Definicion 2.4. La media armonica de dos numeros positivos a y b esta dada

por la expresion
2ab
;
a+b
o, de manera equivalente, por
1
.
1 1 1
+
2 a b
En los siguientes ejercicios pedimos al lector que muestre la relacion entre

la media armonica y las medias aritmetica y geometrica.
Ejercicios
Si a y b son dos numeros positivos, muestra que:
1. Su media armonica siempre es menor o igual que su media aritmetica;
es decir, muestra que
2ab a+b
. (2.2)
a+b 2
En que caso se cumple la igualdad?
2. Su media armonica siempre es menor o igual que su media geometrica;
es decir, muestra que
2ab
ab.
a+b
En que caso se cumple la igualdad?
Observacion 2.5. Otra manera de escribir esta ultima desigualdad es
1
ab.
1 1 1
+
2 a b
Veamos una consecuencia geometrica de estas desigualdades.
Problema. Sea P0 un punto en el primer cuadrante de un plano cartesiano
con origen en el punto O. Consideremos la familia de rectas que pasan por P0
y que cortan a cada eje en su parte positiva. Si A y B son los puntos donde
una de estas rectas corta los ejes X y Y respectivamente, hallar la posicion
de la recta de modo que el triangulo OAB tenga area mnima. Ver figura.
Solucion. Sean (x0 , y0 ), (a, 0) y (0, b) las coordenadas de los puntos P0 , A

y B. Debemos hallar las condiciones sobre a y b para que el area dada por
ab/2 sea mnima; o bien, de manera equivalente, para que el producto ab sea
mnimo. La ecuacion de la recta que pasa por los puntos A y B es
x y
+ = 1,
a b
de modo que, como el punto P0 esta en la recta,
x0 y 0
+ = 1.
a b
Si llamamos
2x0 2y0
p= yq=
a b
la condicion sobre el punto P0 se puede escribir como
p+q
= 1;
2

usando la desigualdad (2.1) tenemos que pq 1; o bien, como p y q son
positivos,
pq 1.
Observemos que
2x0 2y0 4x0 y0
pq = = ,
a b ab
de modo que el producto ab es mnimo precisamente cuando el producto pq es
maximo, lo cual ocurre cuando p = q = 1. As, ab es mnimo cuando a = 2x0
y b = 2y0 , y el area mnima es 2x0 y0 .
En la proposicion 2.7 daremos una extension de las desigualdades entre
las medias armonica, geometrica y aritmetica. Para esto, demostraremos una
desigualdad previa.
Proposicion 2.6. Sean a, b y c numeros reales; entonces
ab + bc + ac a2 + b2 + c2 .
Demostracion. Observemos que:
2ab a2 + b2 y la igualdad se cumple si y solo si a = b.

2ac a2 + c2 y la igualdad se cumple si y solo si a = c.

2bc b2 + c2 y la igualdad se cumple si y solo si b = c.
Sumando estas tres desigualdades tenemos que
2(ab + bc + ac) 2(a2 + b2 + c2 ).
lo cual es equivalente a la desigualdad que haba que demostrar.
Ahora podemos dar la extension prometida.
Proposicion 2.7. Sean a, b y c tres numeros reales positivos; entonces
1 a+b+c
3 abc . (2.3)
1 1 1 1 3
+ +
3 a b c
Demostracion. Aplicaremos la desigualdad de la proposicion anterior a cier-
tos numeros p, q, r para obtener
pq + qr + rp p2 + q 2 + r2 ,
lo que es equivalente a
0 p2 + q 2 + r2 (pq + qr + rp).
Multiplicamos esta desigualdad por p + q + r para obtener
0 ((p2 + q 2 + r2 ) (pq + qr + rp))(p + q + r) = p3 + q 3 + r3 3pqr.
Por lo tanto,
p3 + q 3 + r 3
pqr , (2.4)
3
y la igualdad se cumple si y solo si p = q = r. Ahora, si hacemos p3 = a,
q 3 = b y r3 = c en esta ecuacion, obtenemos
3 a+b+c
abc ,
3
lo que muestra una de las desigualdades de (2.3). Por otro lado, si hacemos
p3 = 1/a, q 3 = 1/b y r3 = 1/c en (2.4) tenemos
s 1 1 1
1 1 1 + +
3
a b c.
a b c 3
Al considerar el recproco se obtiene la desigualdad deseada.
Veamos una aplicacion de lo anterior.

Problema. Sean a, b, c tres numeros positivos tales que a + b + c = 12. Cual
es el mnimo valor que puede tomar
1 1 1
+ + ?
a b c
Solucion. Sabemos que
3 a+b+c
,
1 1 1 3
+ +
a b c
de modo que
1 1 1 3
+ + ;
a b c 4
es decir, el valor mas pequeno de esta expresion es 3/4, que se alcanza cuando
los sumandos son iguales, esto es, cuando cada uno de los sumandos es igual
a 41 .
Observacion 2.8. Se puede extender la relacion entre las medias aritmetica,
geometrica y armonica a cualquier numero finito de numeros reales positivos
a1 , a2 , a3 , . . . , an , como sigue:
1 a1 + a2 + + an
n
a1 a2 an ,
1 1 1 1 n
+ + +
n a1 a2 an
donde las igualdades se cumplen si y solo si a1 = a2 = a3 = = an . Para
la demostracion, ver [15].
2.3. Desigualdad de Cauchy

En esta seccion mostraremos una desigualdad muy importante, la llamada
desigualdad de Cauchy. La enunciaremos primero para un caso particular.
Proposicion 2.9. Sean a1 , a2 , a3 y b1 , b2 , b3 numeros reales, entonces se cum-
ple la desigualdad
(a1 b1 + a2 b2 + a3 b3 )2 a21 + a22 + a23 b21 + b22 + b23 .

52 2.3. Desigualdad de Cauchy
Si adicionalmente suponemos que b1 , b2 , b3 6= 0, la igualdad se satisface si y

solo si
a1 a2 a3
= = .
b1 b2 b3
Demostracion. Analicemos el signo de la expresion
a21 + a22 + a23 b21 + b22 + b23 (a1 b1 + a2 b2 + a3 b3 )2 .

Al desarrollar esta expresion y reagrupar, obtenemos
a21 + a22 + a23 b21 + b22 + b23 (a1 b1 + a2 b2 + a3 b3 )2

= a21 b21 + a22 b22 + a23 b23 + a21 b22 + a21 b23 + a22 b21 + a22 b23 + a23 b21 + a23 b22

a21 b21 + a22 b22 + a23 b23 + 2a1 a2 b1 b2 + 2a1 a3 b1 b3 + 2a2 a3 b2 b3

= (a1 b2 a2 b1 )2 + (a1 b3 a3 b1 )2 + (a3 b2 a2 b3 )2 0;
por lo tanto tenemos que se cumple la desigualdad que queramos demostrar.

Como la expresion del ultimo renglon es una suma de cuadrados, tenemos
que la igualdad se cumple si y solo si cada sumando es cero; es decir,
a1 b2 a2 b1 = 0,
a1 b3 a3 b1 = 0,
a3 b2 a2 b3 = 0.
Si adicionalmente b1 , b2 , b3 6= 0, lo anterior es equivalente a

a1 a2 a1 a3 a2 a3
= , = , = .
b1 b2 b1 b3 b2 b3
Esto nos dice que la igualdad se satisface si y solo si
a1 a2 a3
= = .
b1 b2 b3
Observacion 2.10. Se puede extender esta desigualdad de la manera si-
guiente: Si a1 , a2 , a3 , . . . , an y b1 , b2 , b3 , . . . , bn denotan dos conjuntos de nume-
ros reales, entonces se cumple la desigualdad de Cauchy
n
!2 n
! n !
X X X
2
ai b i a1 b21 . (2.5)
i=1 i=1 i=1
La igualdad se cumple si y solo si

a1 a2 a3 an
= = = = .
b1 b2 b3 bn
El lector podra encontrar una demostracion de esta desigualdad, por ejemplo,
en [7].
Ejercicios
1. Si a, b y c son los lados de un triangulo, P su permetro y A su area,
demuestra las siguientes desigualdades:
1
a) a
+ 1b + 1
c
9
P
.
2
b) a2 + b2 + c2 P3 . Sugerencia: Desarrolla (a + b + c)2 y utiliza una
de las desigualdades de esta seccion.

c) P 2 12 3A. Sugerencia: La formula de Heron para el area del
triangulo es
p a+b+c
A= S(S a)(S b)(S c), donde S = .
2
Esta formula implica que
A2
= (S a)(S b)(S c).
S
Ahora, usando la desigualdad entre las medias geometrica y arit-
metica de los numeros S a, S b y S c, tenemos
(3S (a + b + c))3
(S a)(S b)(S c) ;
33
deduce de lo anterior que
P4
A2 .
24 33

d ) a2 + b2 + c2 4 3A. Sugerencia: Usa los incisos anteriores.
3
e) a3 + b3 + c3 P9 . Sugerencia: Desarrolla (a + b + c)3 y utiliza una
de las desigualdades de esta seccion.
54 2.3. Desigualdad de Cauchy

4 3AP
f ) a3 + b 3 + c 3 3
.
g) a4 + b4 + c4 16A . Sugerencia: Eleva al cuadrado la desigualdad
2
del inciso (d).
2. Sea P un punto en el interior del triangulo ABC y sean x, y, z las

distancias de P a BC, CA y AB, respectivamente. Cual es el valor
maximo del producto xyz? Aqu te damos algunas sugerencias para
resolver este problema.
a) Si a, b, c, K denotan las longitudes de BC, AC, AB, y el area del

triangulo, respectivamente, muestra que K = 12 (ax + by + cz).
b) Usa lo anterior y la desigualdad entre la media aritmetica y la
media geometrica para ver que
p
3 ax + by + cz 2
(ax) (by) (cz) = K.
3 3
y que el valor maximo de xyz es
3
8K 3

1 2
K = ,
abc 3 27abc
el cual se alcanza en el punto P que cumple ax = by = cz.
Para obtener una interpretacion geometrica de esta condicion, de-
mostraremos que ax = by = cz si y solo si P es el centroide del
triangulo ABC; es decir, P es el punto de interseccion de las tres
medianas del triangulo ABC.
Sea L el punto donde se corta AP con BC y , , , los angulos

BAL, LAC, ALC, ALB respectivamente. Por la ley de los senos
sabemos que
BL sen LC sen
= y = .
AB sen AC sen
Como y son angulos suplementarios, se tiene que sen = sen ;
entonces
c sen BL
= ;
b sen LC
ademas,
z y
sen = y sen = .
AP AP
Entonces
cz BL
= ,
by LC
de donde se sigue que BL = LC si y solo si by = cz. Por lo tanto
by = cz si y solo si P esta sobre la mediana AL. De manera similar
se puede probar que ax = by = cz si y solo si P esta sobre las tres
medianas del triangulo ABC, por lo que P resulta ser el centroide
del triangulo ABC.
3. Sean a, b, c, d 0 tales que a + b + c + d = 1. Demuestra que

7
0 ab + ca + bc 2abc .
27
56 2.4. Valor absoluto
4. Sean a1 , a2 , a3 , a4 , a5 las longitudes de los lados de un pentagono conve-

xo (no necesariamente regular) y m1 , m2 , m3 , m4 , m5 las longitudes de
sus diagonales, como en la siguiente figura:
Demuestra que
1 a1 + a2 + a3 + a4 + a5
1.
2 m1 + m2 + m3 + m4 + m5
5. Sean a, b, c > 0, si a + b + c > abc, muestra que a2 + b2 + c2 > abc.
6. Sean a R, b R+ numeros tales que b(b + 1) (a + 1)2 . Muestra

que b(b 1) a2 .
7. Sean a, b, c > 0. Demuestra la desigualdad

9 1 1 1
+ + .
2 (a + b + c) a+b b+c c+a
2.4. Valor absoluto

Ahora definiremos una funcion muy importante que a su vez nos permi-
tira definir la distancia entre dos numeros reales.
Definicion 2.11. El valor absoluto de un numero real a se define como

a, si a > 0,
|a| = 0, si a = 0,
a, si a < 0.

As, tenemos por ejemplo que

2
= 2 = 2 ,
3 3 3
pues 2/3 es negativo. Asmismo, si b es cualquier numero real, entonces

b + 1, si b + 1 > 0,
|b + 1| = 0, si b + 1 = 0,
(b + 1), si b + 1 < 0.

Proposicion 2.12 (Propiedades del valor absoluto). Si a, b son numeros

reales, entonces:
1. |a| 0.
2. |a| = |a|.
3. |a| = 0 si y solo si a = 0.
4. |a| b si y solo si b a b.
5. |a| a |a|.
6. |a + b| |a| + |b|.
7. ||a| |b|| |a b|.
8. |ab| = |a| |b|.
Demostracion. Sean a, b como en el enunciado.
1. Es consecuencia directa de la definicion.

2. Procederemos por casos. Si a = 0, entonces a = 0 y se cumple la
afirmacion. Si a > 0, entonces a < 0, de modo que
|a| = a y |a| = (a) = a;
por lo tanto, |a| = |a|. Si a < 0, entonces a > 0, de modo que
|a| = a y |a| = a;
por lo tanto, tambien en este caso |a| = |a|.

3. Si a = 0, entonces a 0 y |a| = a = 0. Recprocamente, si |a| = 0,

veremos que a = 0. Si a fuese positivo, entonces |a| = a > 0, contrario
a nuestra hipotesis |a| = 0. De la misma forma, si a < 0, entonces
|a| = a > 0, contradiciendo de nuevo la hipotesis, de modo que
necesariamente a = 0.
4. Observemos que b debe ser positivo o cero.

Supongamos primero que |a| b y procedamos por casos. Si a 0
tenemos que |a| = a, de modo que b < 0 a b. Si a < 0, tenemos
que |a| = a b, o en forma equivalente, a b. Entonces b a <
0 b. As, en cualquier caso tenemos b a b.
Recprocamente, si b a b, entonces multiplicamos por 1 para
obtener b a b; si a 0 entonces b |a| b y por la primera
propiedad obtenemos |a| b. De manera analoga, se tiene que si a < 0,
entonces |a| = a y |a| b.
5. Es consecuencia de la propiedad anterior.
6. Usando la desigualdad anterior aplicada a a y b se tiene
|a| a |a| y |b| b |b| ;
si sumamos ambas desigualdades se obtiene
|a| |b| a + b |a| + |b|
y por la propiedad (4) obtenemos
|a + b| |a| + |b| .
7. Mostraremos solo el caso en que elegimos el signo negativo del lado

derecho y dejamos el otro caso como ejercicio. Por un lado,
|a| = |a b + b| |a b| + |b| ,
de donde
|a| |b| |a b| .
De manera similar, partiendo de b,
|b| = |b a + a| |b a| + |a|
y por lo tanto
|b| |a| |b a| .
As tenemos que
|a b| |a| |b| |a b|
de modo que
||a| |b|| |a b| .
8. Si alguno de los numeros a o b es igual a cero, el resultado es cierto, de

modo que podemos suponer que ambos son distintos de cero y proceder
por casos.
Si ab > 0, entonces |ab| = ab y tenemos dos posibilidades: que a, b > 0
o a, b < 0. En la primera alternativa tenemos que
|a| = a y |b| = b
y su producto es |ab| = |a| |b|. Para la segunda posibilidad,
|a| = a y |b| = b
y el producto es |ab| = (a) (b) = ab = |a| |b|.

Si ab < 0, puede ocurrir que a > 0, b < 0 o bien que a < 0, b > 0. En la
primera situacion tenemos que |a| = a, |b| = b, y multiplicando estas
igualdades se tiene
|a| |b| = a(b) = ab = |ab| .
De manera analoga se trabaja en la situacion a < 0, b > 0.
Problema. Para que numeros reales x se satisface la desigualdad
|2x 3| 5?
Solucion. De la propiedad (4) tenemos que
5 2x 3 5.
Al sumar 3 a las desigualdades se tiene
2 2x 8.
Ahora dividimos entre 2 para obtener
1 x 4.
Este es el conjunto solucion de la desigualdad.

Problema. Para que valores de n N se cumple la desigualdad

2n 3 2 1
5n + 1 5 < 1000 ?

Solucion. Simplificamos primero la expresion que aparece dentro del valor

absoluto:
2n 3 2 5 (2n 3) 2 (5n + 1) 10n 15 10n 2 17
= = = .
5n + 1 5 5(5n + 1) 5 (5n + 1) 25n + 5
Ahora calculamos su valor absoluto:

17 = 17

25n + 5 25n + 5 ;
de modo que debemos resolver la desigualdad

17 1
< ,
25n + 5 1000
lo cual ocurre si 17000 < 25n + 5 o bien, en forma equivalente,
17000 5
< n.
25
Esta ultima desigualdad se cumple si n > 16995/25 = 679.8. Como n
es un natural, el conjunto de soluciones esta formado por todos los numeros
naturales mayores o iguales a 680.
Problema. Para que valores de x R, x 6= 0, se cumple que

1
x + 1?
x
Solucion. Observemos que
1 x2 + 1
x+ = .
x x
En la ultima fraccion, el numerador siempre es positivo, as que

x2 + 1

, si x > 0,
2
x + 1 x2 + 1

x

= =
x |x| 2
x + 1 , si x < 0.

x
Entonces debemos resolver las dos desigualdades
x2 + 1 x2 + 1
1, si x > 0; y 1, si x < 0.
x x
La primera desigualdad se cumple si y solo si x2 + 1 x, o en forma equi-
valente x2 x 1; completando el cuadrado en el lado izquierdo tenemos
1 1
x2 x + 1 + ,
4 4
de donde 2
1 3
x .
2 4
Observemos que en esta ultima desigualdad, la expresion del lado izquierdo
es positiva y la del lado derecho es negativa, de modo que la desigualdad
original no tiene solucion cuando x > 0.
Al analizar la segunda desigualdad cuando x < 0, seguimos un procedi-
miento analogo para obtener la desigualdad
2
3 1
> x+
4 2
De nuevo, esto no puede ocurrir, por lo que podemos afirmar que ningun
numero real x puede satisfacer la desigualdad

x + 1 1.

x
En otras palabras, el valor absoluto de la suma de un numero real y de su
inverso aditivo siempre es mayor que 1.
Problema. Hallar los valores maximo y mnimo de x + 3y + 4z para toda
x, y, z que satisface la ecuacion
x2 + y 2 + z 2 = 16.
Solucion. Usamos la desigualdad de Cauchy (proposicion 2.9) para obte-

ner
(x + 3y + 4z)2 x2 + y 2 + z 2 12 + 32 + 42 .

Con la condicion del problema, tenemos que
(x + 3y + 4z)2 (16) (26)
o bien
|x + 3y + 4z| 416. (2.6)
Para decidir si los valores
maximo y mnimo de x + 3y + 4z bajo la restriccion
x2 + y 2 + z 2 = 16 son 416 y 416, respectivamente, basta ver si se cumple
la igualdad en la desigualdad de Cauchy. Recordemos que esto ocurre si y
solo si
x y z
= =
1 3 4
Si despejamos y y z en terminos de x y sustituimos en (2.6), tenemos

|x + 9x + 16x| = 416, de donde |26x| = 416.

Al despejar x de esta ecuacion se llega a que los valores 416 y 416
realmente se alcanzan, y esto ocurre en los puntos con coordenadas

2 26 6 26 8 26
x= , y= , z= .
13 13 13
Para concluir este captulo, usaremos el valor absoluto para definir el

concepto de distancia entre numeros reales.
Definicion 2.13. Si a, b son numeros reales, definimos la distancia entre a

y b, denotada d(a, b), como sigue:
d(a, b) = |a b| .
En particular, el valor absoluto |a| es la distancia entre el numero a y el

cero.
Proposicion 2.14 (Propiedades de la distancia). Sean a, b numeros reales.

Entonces
1. d(a, b) = 0 si y solo si a = b.
2. d(a, b) = d(b, a) para todo a, b R.
3. d(a, b) d(a, c) + d(c, b) para todo a, b, c R.
La desigualdad del inciso (3) se conoce como la desigualdad del triangulo.

La demostracion de estas propiedades se deja al lector como ejercicio.
Captulo 3
Sucesiones
En este captulo iniciaremos el estudio de las sucesiones, que nos daran la

clave para abordar el concepto de lmite, que es central en el Calculo. Primero
daremos una introduccion intuitiva a las ideas detras de las sucesiones, para
despues refinar dichas ideas y formalizarlas.
3.1. Listas
En muchas situaciones cotidianas aparecen secuencias o listas de diversos
objetos o personas. En particular, seguramente habras presentado examenes
o pruebas psicometricas y encontrado listas de numeros o de configuraciones
como estas:
1, 2, 3, 4, 5, . . . 2, 4, 6, 8, . . . 1001, 1003, 1005, 1007, . . .
1 1 1
13, 26, 39, 52, . . . 3, 3, 3, 3, . . . 1, , , , . . .
2 3 4
1 2 3
, , ,... 1, 1, 1, 1, 1, . . . 1, 2, 3, 4, . . .
2 3 4
, , , . . . , , , , , . . .
o como esta:
65
66 3.1. Listas
Ejercicios
1. Encuentra la manera en que continua cada una de las listas anteriores.
2. Observa que cada una de estas listas tiene un orden: Hay un primer
numero, objeto o figura, un segundo, un tercero, etcetera. Describe el
numero, objeto o figura que debe aparecer en el vigesimo lugar de cada
una de las listas anteriores. Que numero, objeto o figura debe aparecer
en el centesimo lugar?
En realidad, para cada una de las listas anteriores puedes determinar el

numero, objeto o figura que aparece en cualquier lugar de la lista (por ejem-
plo, el lugar numero 17463). Puedes usar una frase para indicar la manera
de determinar el numero, objeto o figura mediante su lugar en la lista. Para
sucesiones numericas, se acostumbra resumir esta informacion de la siguien-
te manera: El lugar del numero, objeto o figura se representa mediante una
letra, por lo general la letra n,1 de modo que
Dada la lista 1, 2, 3, 4, 5, . . . , en el lugar n debe aparecer el numero n.
La lista 2, 4, 6, 8, . . . puede escribirse como 2(1), 2(2), 2(3), 2(4), . . ., de

modo que en el lugar n debe aparecer el numero 2n.
Ejercicios
Para cada una de las listas numericas con que iniciamos esta seccion,
indica el numero que debe aparecer en el lugar n. Analiza tambien las listas
siguientes:
1, 3, 5, 7, 9, . . .
1, 3, 5, . . .
1
Por supuesto, puede usarse alguna otra letra: m, p, q, . . . .
Captulo 3. Sucesiones 67
1, 1, 12 , 2, 31 , 3, . . . Sugerencia: Que numeros deben aparecer en los

lugares impares? Que numeros deben aparecer en los lugares pares?
La manera de determinar el numero que debe aparecer en cada lugar de

la lista se llama tambien la regla de correspondencia de la lista. Para todas
las listas numericas anteriores se puede determinar facilmente su regla de
correspondencia.
Ejercicios
La manera de construir las listas siguientes es precisa, aunque no tan

sencilla. Descubrela.
1, 2, 1, 3, 1, 2, 1, 4, 1, . . . Sugerencia: Revisa la seccion 1.4, donde pre-

sentamos las Torres de Hanoi.
2, 3, 5, 7, 11, 13, 17, . . .
0, 1, 24 , 1, 46 , 1, 86 , . . .Sugerencia: Que numeros deben aparecer en los lu-

gares impares? Que numeros deben aparecer en los lugares pares?
Fjate ahora en las siguientes frases:
La temperatura ambiente en tu cuarto, medida en grados centgrados

a las 10 horas de la manana de cada da, a partir del da en que leas
esta frase por vez primera.
El nivel de contaminacion de la ciudad de Mexico, medido en imecas

a las seis de la manana de cada da, a partir del da en que leas esta
frase por vez primera.
Cada una de estas frases establece una regla de correspondencia bastante

precisa (podra afinarse aun mas) que produce una lista de numeros. Sin
embargo, no podemos decidir de antemano cual sera el elemento de la lista
dentro de un ano. De hecho, una vez construida la lista hasta cierto da, no
es posible determinar como continuara la lista el da siguiente.
68 3.2. Otras formas de construir listas
3.2. Otras formas de construir listas

En la seccion anterior construimos listas numericas indicando el numero
que va en cada lugar de la lista; es decir, mediante una regla de correspon-
dencia. Otra manera usual de construir listas consiste en determinar cada
elemento de la lista mediante el numero en el lugar anterior.
Ejercicio
Construye una lista en que cada numero sea el triple del numero anterior.
La frase anterior tiene un pequeno error, pues el primer numero de la
lista no tiene un numero anterior. De hecho, como la frase no dice como
comienza la lista, puede haber muchas listas que cumplan que cada nume-
ro (excepto el primero) sea el triple del numero anterior; por ejemplo, las
siguientes listas cumplen esta condicion:
1 1 3
3, 9, 27, 81, . . . 2, 6, 18, 54, . . . , , ,...
6 2 2
5, 15, 45, . . .
Utilizaremos las palabras antecesor y sucesor para referirnos a las rela-

ciones correspondientes entre los elementos de una lista. As, en la lista
3, 9, 27, 81, . . . , 3n , . . .
se tiene que 9 es el sucesor de 3 y que 27 es el antecesor de 81.
Ejercicio
Para cada una de las siguientes listas, indica como se obtiene cada ele-
mento (excepto el primero) a partir de su antecesor.
1001, 1003, 1005, . . .

1, 1 + 2, 1 + 2 + 3, 1 + 2 + 3 + 4, . . .
1, 1 + 2, 1 + 2 + 22 , 1 + 2 + 22 + 23 , . . . , 1 + 2 + 22 + 23 + + 2n1 , . . .
Ahora que tenemos dos maneras de construir una lista (determinando un

elemento a partir de su lugar o a partir de su antecesor), cabe preguntarnos
si una lista dada puede construirse de estas dos formas. Veamos un ejemplo
con la lista
1, 3, 6, 10, . . .
El lector observador notara que esta lista aparece lneas arriba, como
1, 1 + 2, 1 + 2 + 3, 1 + 2 + 3 + 4, . . .
Ejercicio
Utiliza el principio de induccion matematica para mostrar que la lista
anterior es igual a la lista
1(2) 2(3) 3(4)
, , ,...
2 2 2
Antes de continuar nuestra discusion, utilizaremos un lenguaje mas formal
para referirnos de manera general a las listas. Hasta ahora hemos considerado
listas de elementos (numeros, figuras, objetos) ordenados de acuerdo con los
numeros naturales: listas con un primer elemento (que podemos asociar al
1), un segundo elemento (asociado al 2), etcetera.
As, dado un conjunto A, formamos una lista asociando elementos de A
a los numeros naturales en N. Esto nos conduce a la siguiente definicion.
Definicion 3.1. Una sucesion de elementos en A es una funcion que a cada
numero natural le asocia un elemento de A.
Todas las listas que hemos analizado hasta ahora se pueden describir
mediante funciones. Por ejemplo:
La lista 1, 2, 3, 4, 5, . . . se puede describir como la funcion que a cada

numero natural le asocia el mismo natural.
La lista
1, 1 + 2, 1 + 2 + 22 , 1 + 2 + 22 + 23 , . . . , 1 + 2 + 22 + 23 + + 2n1 , . . .
se puede describir como la funcion que a cada numero natural n le

asocia el numero 1 + 2 + 22 + 23 + + 2n1 .
Ejercicio
Describe la siguiente lista de figuras como una sucesion; es decir, indica
(con palabras) cual figura corresponde a un numero natural n. Indica ademas
cuantos palillos se necesitan para construir la figura correspondiente a un
numero natural n:
70 3.2. Otras formas de construir listas
Dado un conjunto A, una sucesion de elementos en A tiene un orden dado

por el orden de los numeros naturales, de modo que siempre podemos hablar
del antecesor de cualquier elemento de la sucesion (distinto del primero) y
del sucesor de cualquier elemento de la sucesion.
Ejercicios
1. Dada la sucesion
Cual es el antecesor del tercer elemento? Cual sera el sucesor del

quinto elemento?
2. Si se dice que una lista esta formada por todos los numeros multiplos
de menos uno, es posible indicar quien es el primer elemento de la
lista?
3. Considera la sucesion de numeros triangulares Tn . Esta en la sucesion

el numero Tk+n + (n + 1)? Esta el numero Tk+n + (k + n + 1)?
4. Dada la sucesion
1, 1 + 2, 1 + 2 + 22 , 1 + 2 + 22 + 23 , . . . , 1 + 2 + 22 + 23 + + 2n1 , . . . ,
como generamos un termino a partir de su antecesor?

3.3. Definicion y ejemplos

Ahora veremos la definicion formal del concepto de sucesion.
Definicion 3.2. Una sucesion numerica es una funcion cuyo dominio es el

conjunto de los numeros naturales y cuyo contradominio es el conjunto de
los numeros reales2 . As, una sucesion de este tipo es una funcion que a cada
numero natural le hace corresponder uno y solo un numero real.
Se acostumbra describir a la sucesion mediante los elementos de su imagen

ordenados, llamando a estos los terminos de la sucesion, escritos mediante
letras con subndices a1 , a2 , a3 , . . . , an , . . . . Esto significa que al numero 1 le
corresponde a1 , que es la imagen del natural 1 bajo la funcion y el primer
elemento de la sucesion; al 2 le corresponde el segundo elemento a2 ; al 3 le
corresponde el tercer elemento a3 , y as sucesivamente, se tiene que al numero
natural n le corresponde el n-esimo elemento an . De esta manera escribimos
la sucesion como la lista ordenada de numeros reales a1 , a2 , a3 , . . . , an , . . . .
Ejemplos
1. La regla que a cada natural le asocia su inverso multiplicativo produce
la lista
1 1 1 1
1, , , , . . . , , . . .
2 3 4 n
Esta sucesion esta definida por la funcion que asigna a cada numero
1
natural n el numero . Por ejemplo, el centesimo termino de la sucesion
n
1
es 100 .
2. La sucesion
1 2 3 n
, , ,..., ,...
2 3 4 n+1
tiene como regla de correspondencia que al numero natural n se le
asigna el numero real n/(n + 1). As, el termino 874 de la sucesion es
874/875.
3. En la sucesion 1, 1, 1, 1, . . ., a cada natural n se le asigna el numero

real 1. Este tipo de sucesion se llama sucesion constante, porque todos
los terminos son iguales. Observemos que, como cualquier sucesion, esta
2
Con mas precision, esta es la definicion de una sucesion numerica real.
72 3.3. Definicion y ejemplos
tiene un numero infinito de terminos: el primero es 1, el segundo es 1, ...,

el millonesimo termino de la sucesion tambien es 1, y as sucesivamente.
4. La sucesion 1, 1, 1, 1, . . . , (1)n+1 , . . .. Su regla de correspondencia

indica que a un numero natural impar se le asigna el numero 1 y a un
numero natural par se le asocia el 1. Esta sucesion es una sucesion
alternante, y toma unicamente los valores 1 y 1. En una posicion
impar de la sucesion siempre hay un 1 y en una posicion par siempre
hay un 1; por ejemplo, en la posicion 63427 hay un 1 porque el numero
63427 es impar y en la posicion 59044 hay un 1 porque el numero 59044
es par.
5. La sucesion 1, 3, 5, 7, . . . , 2n 1, . . . es la sucesion de los numeros im-

pares; es decir, al numero natural n se le asigna el nesimo numero
impar. Por ejemplo, el numero 33 ocupa la posicion 17, porque el 33 es
el decimo septimo numero impar.
6. La sucesion 0, 2, 4, 6, . . . , 2(n1), . . . es la sucesion de los numeros pares

a partir de 0. Como el dominio de las sucesiones es el conjunto de todos
los numeros naturales, la regla de correspondencia es 2(n 1) para que
el primer elemento imagen de la sucesion sea el 0.

7. La sucesion
1, 2, 3, 4, . . . tiene como regla de correspon-
dencia n. Observa que todos los terminos son negativos.
8. La regla de correspondencia de la sucesion

1 2 3 4 n
, 2, 3, 4,..., n,...
2 2 2 2 2
establece que a cada numero n se le asocia la razon del numero n con
respecto a la nesima potencia de 2.

9. La sucesion 2, 3 2, 4 2, . . . , n 2, . . . esta formada por las races nesi-
mas de 2. Es una sucesion cuyos terminos son todos positivos. El
termino n + 1 es menor que el termino n. (Por que?)

10. La sucesion 1, 2, 3 3, 4 4, . . . , n n, . . . tiene como termino general la
raz nesima del natural n. Observe que todos los terminos son dife-
rentes entre s. Por ejemplo, en esta sucesion aparece solo una vez el
numero 1.
11. En la sucesion
2 3 4 n
3 4 5 n+1
2, , , ,..., ,...,
2 3 4 n
todos los terminos son diferentes. (Por que?)
12. La sucesion
1, 1, 2, 1, 2, 3, 1, 2, 3, 4, 1, 2, 3, 4, 5, 1, 2, 3, 4, 5, 6, . . .
no esta dada por una formula, sino por un procedimiento. Observa que
primero escribimos el primer numero natural, en seguida los dos prime-
ros naturales, despues los tres primeros naturales y as sucesivamente.
Para saber cual es el numero que ocupa una cierta posicion, por ejem-
plo la 16, podemos fijarnos en el quinto numero triangular, el 15 y por
lo tanto afirmar que en la posicion 16 hay un 1. (Como se justifica
este procedimiento?)
13. La sucesion
1, 2, 1, 3, 1, 2, 1, 4, 1, 2, 1, 3, 1, 2, 1, 5, 1, 2, 1, 3, 1, 2, 1, 4, 1, 2, 1, 3, 1, 2, 1, 6, . . .
es la sucesion del numero de disco que se mueve en el paso n-esimo

en una Torre de Hanoi con un numero infinito de discos (ver seccion
1.4). Recordemos que en un paso correspondiente a un numero impar
siempre se mueve el disco mas pequeno (que nombramos con el numero
1), de modo que en todas las posiciones impares de esta sucesion aparece
el numero 1. El lector puede consultar la seccion citada para resolver
la siguiente pregunta: Que numero esta en una posicion dada? Es
decir, que procedimiento podemos seguir para determinar el valor del
n-esimo termino de esta sucesion?
Notemos que una sucesion tiene una infinidad de terminos: Como una
sucesion es una funcion que tiene como dominio un conjunto infinito (los
naturales), tambien tiene un numero infinito de imagenes. As, la sucesion
del ejemplo 4 tiene una infinidad de unos y una infinidad de menos unos,
aunque el conjunto imagen de la funcion tiene solo dos elementos.
A veces escribiremos de manera abreviada {an } n=1 , en lugar de la lista
a1 , a2 , a3 , . . . , an , . . . , o bien solamente {an } entendiendo que n N y que
an es el termino general de la sucesion.
Dado que por el momento solo estamos considerando sucesiones de nume-

ros reales, y estos numeros pueden ser operados (sumados, restados, etcetera),
podemos definir ciertas operaciones con las sucesiones, de la manera siguien-
te.
Operaciones con sucesiones

Sean {an } y {bn } dos sucesiones.
1. La suma (resta o producto, respectivamente) de sucesiones es una nueva

sucesion cuyo termino general esta dado por la suma (resta o producto,
respectivamente) de los terminos generales de cada una de las sucesio-
nes. Esto es:
{an } + {bn } = {an + bn },
{an } {bn } = {an bn },
{an } {bn } = {an bn }.
2. Definimos la division de sucesiones como una nueva sucesion cuyo

termino general es el cociente de los terminos generales de las dos su-
cesiones originales, siempre y cuando la sucesion que aparece en el
denominador nunca tome el valor cero. Esto es:

{an } an
= ,
{bn } bn
con bn 6= 0 para toda n N.
3. La multiplicacion de una sucesion por un numero es una nueva sucesion,

cuyo termino general se obtiene multiplicando el numero dado por el
termino general de la sucesion original; esto es, si R, entonces
{an } = {an }.
Ejemplos

n 1
Sean {an } = y {bn } = 1 . Entonces:
n+1 n
2
n 1 2n 1
1. {an } + {bn } = + 1 = .
n+1 n n2 + n

n 1 1
2. {an } {bn } = 1 = .
n+1 n n2 + n

n 1 n1
3. {an } {bn } = 1 = .
n+1 n n+1

n
n2

{an } n+1
4. = = . En este caso, el denominador se anula
{bn } 1 n2 1
1
n
para n = 1, por lo que la sucesion solo esta definida para n > 1.
( )

n 2n
5. 2 = .
n+1 n+1
Subsucesiones
Como una sucesion es una funcion definida en el conjunto de numeros na-
turales y este conjunto tiene varios subconjuntos notables (por ejemplo, los
numeros pares, los primos, las potencias de 2, etcetera), es natural que dada
una sucesion estudiemos otras sucesiones relacionadas con ella, consideran-
do subconjuntos de los naturales. En este contexto, diremos que las nuevas
sucesiones obtenidas a partir de la original son subsucesiones de la primera.
Veamos algunos ejemplos.
1. En el ejemplo 1 de la pagina 71 aparece la sucesion cuyo termino general

tiene la forma 1/n. Si solo nos fijamos en los terminos correspondien-
tes a los numeros naturales pares, obtenemos la subsucesion 1/2, 1/4,
1/6, . . . Podemos dar otro ejemplo de subsucesion de {1/n} cortan-
do los primeros cien terminos, obteniendo la nueva subsucesion 1/101,
1/102, . . . .
2. En el ejemplo 3 de la pagina 71 consideramos la sucesion constante tal

que todos sus terminos son iguales a 1. Es claro que cualquier subsuce-
sion de esta sera tambien constante.
3. El ejemplo 4 de la pagina 72 se refiere a la sucesion con termino gene-

ral igual a (1)n+1 . En este caso, destacan rapidamente dos subsuce-
siones, correspondientes a la consideracion de los numeros pares y de
los impares. Por supuesto, si n es par, (1)n+1 = 1, de modo que

la subsucesion es constante, con todos los terminos iguales a 1. Por
otro lado, la subsucesion obtenida al considerar los numeros impares es
tambien constante, aunque ahora los terminos son todos iguales a 1.
Consideremos una sucesion {an }, donde como de costumbre n N. Las

siguientes son algunas subsucesiones de esta:
1. a3 , a6 , a9 , . . . , considerando los numeros multiplos de 3;
2. a1 , a3 , a6 , a10 , . . . , tomando en cuenta los numeros triangulares;
3. a1 , a10 , a100 , . . . , donde nos fijamos en las potencias de 10.
Observemos que los subndices que aparecen en cada caso son a su vez
sucesiones: en el primer caso aparece la sucesion 3, 6, 9, . . . , en el segun-
do 1, 3, 6, 10, . . . y en el tercero 1, 10, 100, . . . . Para indicar que estamos
fijandonos en una subsucesion de {an }, denotamos por n1 , n2 , . . . , nk , . . . a los
subndices elegidos para conformar la subsucesion; as, en el tercer ejemplo,
relativo a las potencias de 10, tenemos que n1 = 1, n2 = 10, n3 = 100 y en
general, el termino k-esimo nk es igual a 10k1 .
Una ultima observacion: Puesto que una sucesion es un conjunto de nume-
ros ordenados de acuerdo al orden de N, una subsucesion debe respetar este
orden. Supongamos, por ejemplo, que al ir construyendo una subsucesion te-
nemos que el quinto termino de esta es el vigesimo de la sucesion original.
Entonces debemos elegir el sexto termino de la subsucesion entre los termi-
nos posteriores al vigesimo en la sucesion original. En general, si el k-esimo
termino de la subsucesion es el nk -esimo de la original, entonces el (k + 1)-
esimo termino de la subsucesion debe elegirse entre los posteriores a nk . Esto
dice que
nk+1 > nk
para toda k N. Dejaremos como ejercicio para el lector la demostracion de

que esto implica que
nk k (3.1)
para toda k N.
Ejercicios
1. Da una regla de correspondencia para cada una de las siguientes suce-
siones. Cual es el vigesimo termino de cada una de ellas? Cual es el
termino numero 35 de cada sucesion?
2 3 4 5
a) , , , ,...
1 2 3 4
1 1 1 1 1
b) , , , , ,...
3 8 15 24 35
1 3 5 1 3
c) , , , , ,...
5 8 11 2 5
1 1 1 1
d) 1, , , , , . . .
2 3 4 5
e) 0, 1, 0, 1, 0, 1, . . .
f ) 12 , 12 + 22 , 12 + 22 + 32 , 12 + 22 + 32 + 42 , . . .
2. Construye la sucesion de areas y la sucesion de permetros de los si-

guientes polgonos regulares inscritos en una circunferencia de radio
r:
a) De 3, 6, 12, 24, 48, . . . lados.

b) De 5, 10, 20, 40, . . . lados.
c) De 3, 4, 5, 6, 7, . . . lados.
3. Construye la sucesion de pendientes de la familia de rectas que pasan

por el punto (1, 1) y los puntos

3 9 4 16 5 25 6 36
(2, 4), , , , , , , , ,...
2 4 3 9 4 16 5 25
respectivamente.
4. Construye la sucesion de pendientes de la familia de rectas que pasa
por:
a) El punto (x0 , x20 ) y cada uno de los siguientes puntos:

2 2 2
x0 + 21 , x0 + 21 , x0 + 13 , x0 + 13 , x0 + 14 , x0 + 14 ,
2 2
x0 + 15 , x0 + 51 , . . . , x0 + n1 , x0 + n1 ,...
b) El punto (x0 , x30 ) y cada uno de los siguientes puntos:

3 3 3
x0 + 12 , x0 + 12 , x0 + 31 , x0 + 13 , x0 + 41 , x0 + 14 ,
3 3
x0 + 15 , x0 + 15 , . . . , x0 + n1 , x0 + n1 ,...

5. Construye geometricamente la sucesion 2, 3, 4, . . . , n, . . . a par-
tir del triangulo rectangulo isosceles cuyos catetos valen 1.
6. Sean l y m dos rectas paralelas, as como
A0 , A1 , A2 , A3 , . . . y B0 , B1 , B2 , B3 , . . .
puntos en las rectas l y m respectivamente tales que el segmento A1 B1 es

bisectriz del angulo B0 A1 A2 ; el segmento B1 A2 es bisectriz del angulo
A1 B1 B2 , el segmento A2 B3 es bisectriz del angulo B1 A2 A3 , y as de
manera sucesiva. Construye las sucesiones de los angulos Ak Bk Bk+1 y
Bk1 Ak Ak+1 . Ver figura.
7. Construye una sucesion de rectangulos como sigue: El primero es un

cuadrado de area uno. En el segundo paso se le agrega otro cuadrado
de area 1 para obtener un rectangulo de area 2. En el tercer paso se
agrega un nuevo rectangulo de area 1 en la parte superior de la figura
anterior para obtener un nuevo rectangulo, luego otro a la derecha,
como se muestra en el siguiente dibujo, y as sucesivamente.
Obten la razon entre los lados de cada uno de los rectangulos y cons-
truye la sucesion de estas razones.
8. Para cada una de las sucesiones {an } del ejercicio 1, construye una
subsucesion {ank }, dando una expresion para nk en terminos de k.
9. Demuestra la afirmacion de la pagina 76: Si {ank } es una subsucesion de

{an }, entonces nk k para toda k N. Sugerencia: Utiliza induccion
sobre k junto con la desigualdad nk+1 > nk .
3.4. Tendencia de una sucesion

Ahora nos interesa estudiar el comportamiento a largo plazo de una
sucesion. Veamos algunos ejemplos.
1. Consideremos la sucesion
1 1 1 1
1, , , , . . . , , . . .
2 3 4 n
y observemos como son sus terminos. Todos son positivos, siendo el
mas grande el primero. De hecho, mientras mayor sea n, menor sera el
nesimo termino; es decir, conforme crezcamos en el dominio, los
terminos se haran cada vez mas pequenos. Veamos por ejemplo algunos
terminos de la sucesion en la siguiente tabla:
n 10 102 103 104 105 106 107 108 109 1010

1 1 1 1 1 1 1 1 1 1 1
n 10 102 103 104 105 106 107 108 109 1010
El decimo termino de la sucesion es 0.1. El milesimo termino es 0.001,

que es menor que el decimo termino. El ultimo elemento de la tabla es
el diezmilmillonesimo termino, que es
1
= 0.0000000001;
1010
este numero es muy pequeno, mas pequeno que cualquiera de los termi-
nos anteriores. Si siguieramos analizando los terminos de la sucesion,
veramos que cualquier termino es mas pequeno que los anteriores y
que cada vez los terminos se parecen mas al cero. Por ejemplo, el
termino correspondiente a n = 1020 es
1
= 0.00000000000000000001.
1020
80 3.4. Tendencia de una sucesion
Entonces decimos que la tendencia de la sucesion {1/n} es acercarse

al cero.
2. En el caso de la sucesion {10n }, vemos que sus terminos crecen cada

vez mas; diremos que esta tiende a hacerse cada vez mas grande.
3. Ahora veamos que ocurre con la sucesion
1, 1, 1, 1, 1, 1, . . . , (1)n1 , . . .
Los terminos de esta sucesion se alternan siempre entre 1 y 1. Tampo-

co existe un numero al cual se aproximen cada vez mas los terminos de
la sucesion, pues estos terminos siempre son el 1 o el 1. En este caso
decimos que la sucesion {(1)n1 } no tiende a acercarse a un unico
numero, tambien es una sucesion sin tendencia.
1 2 3 4 5 n
, , , , , , ,...
2 3 4 5 6 n+1
y observemos algunos de sus terminos (que no sean los primeros); por
ejemplo si n = 265, el termino correspondiente de la sucesion es:
265 265
a265 = = ,
265 + 1 266
que es aproximadamente igual a 0.99624, es decir, un numero cercano
a 1. Si nos fijamos en otro elemento de la sucesion, por ejemplo
487652
a487652 = 0.999997949,
487653
este es un numero mas cercano al 1. Observemos que si n toma valores
muy grandes entonces an = n/(n + 1) es un numero muy cercano al
1, ya que el numerador y el denominador son muy parecidos entre
s, por lo que la razon entre ellos es casi 1. Decimos entonces que la
tendencia de la sucesion {n/(n + 1)} es acercarse a 1.
1 1 1 1 1 1 1 1 1 1
1, 1 + , 1 + + 2 , 1 + + 2 + 3 , 1 + + 2 + 3 + 4 ,
2 2 2 2 2 2 2 2 2 2
Si efectuamos algunas operaciones, podemos reescribirla como:

3 7 15 31
1, , , , , . . .
2 4 8 16
Observemos que tambien podemos escribir cada uno de estos terminos
como
2 1 22 1 23 1 24 1 25 1
, , , , ,...
20 2 22 23 24
Sera cierta esta relacion en general? Es decir, sera verdadera la igual-
dad
1 1 1 1 1 2n+1 1
1 + + 2 + 3 + + n1 + n = ?
2 2 2 2 2 2n
Recordemos la igualdad
1 + 2 + 22 + 23 + + 2n = 2n+1 1.
Si dividimos entre 2n , obtenemos
1 2 22 23 2n 2n+1 1
+ + + + + = ,
2n 2n 2n 2n 2n 2n
que es la igualdad deseada. Por lo tanto, tenemos que
1 1 1 1 1
1+ + 2 + 3 + + n = 2 n.
2 2 2 2 2
Hagamos ahora una tabla con diferentes valores de n:
n 2 21n
10 2 2110 1.9990234375
15 2 2115 1.999969482421875
20 2 2120 1.99998982747395833333
25 2 2125 1.9999996821085611979166
30 2 2130 1.9999999900658925374348
35 2 2135 1.99999999968955914179484
40 2 2140 1.999999999990298723181088
45 2 2145 1.999999999999696835099409
50 2 2150 1.999999999999990526096856
Observemos que los terminos de la sucesion son cada vez mas grandes
y que se acercan al numero 2; es decir, cuanto mas grande es el valor
de n, el termino de la sucesion se acerca mas al 2. Entonces decimos
que la tendencia de la sucesion es aproximarse a 2.
6. Ahora analicemos el comportamiento de la sucesion
3
4
5

6
2, 2, 2, 2, 2, 2, . . . .
Usamos una calculadora para aproximar cada uno de estos terminos:

n

n
n 2 n 2
1 16
1 2=2
2
16 2 1.0442737
32
2 2 1.4142 32 2 1.0218971
3 64
3 2 1.2599 64 2 1.0108892
4 128
4 2 1.1892 128 2 1.0054299
5 256
5 2 1.1487 256 2 1.0027112
6 512
6 2 1.1225 512 2 1.0013542
7 1024
7 2 1.1041 1024 2 1.0006771
8 2048
8 2 1.0905 2048 2 1.0003385
9 4096
9 2 1.0801 4096 2 1.0001692
10 10 2 1.0718 8192 8192
2 1.000084
Si seguimos evaluando distintas races del numero 2 para valores cada
vez mayores
de
n, podremos observar y afirmar que la tendencia de la
sucesion n 2 es acercarse a 1.
7. Analicemos ahora la sucesion
12 , 22 , 32 , 42 , . . . , n2 , . . . .
Consideremos primero algunos elementos de la sucesion; por ejemplo,
si n = 1020 , 1050 y 10100 , los terminos de la sucesion son
(1020 )2 = 1040 , (1050 )2 = 10100 y (10100 )2 = 10200 .
Cada uno de estos numeros es muy grande. Si consideramos nume-
ros naturales cada vez mas grandes, sus cuadrados seran mas grandes
que estos y as sucesivamente. Entonces esta sucesion crece en forma
desmedida y por lo tanto su tendencia es la de hacerse cada vez mas
grande.
Decimos que la sucesion {an } tiende a acercarse a un numero a si al
aumentar n los terminos de la sucesion se parecen cada vez mas al numero.
Otra forma de acercamiento

En los ejemplos anteriores hemos sugerido que algunas sucesiones tienden
a acercarse a un numero. Otro aspecto del acercamiento que sera de gran uti-
lidad ocurre cuando los terminos de una sucesion se acercan entre s. Aunque
precisaremos esta idea (al igual que precisaremos la idea de tendencia) en el
siguiente captulo, por el momento solo usaremos la siguiente idea intuitiva:
Los terminos de una sucesion an se acercan entre s si al ir considerando
n, m cada vez mayores, todos los terminos an , am estan muy proximos entre
s. Revisemos algunos de los ejemplos que vimos al principio de esta seccion
usando este punto de vista.
1. En el caso de la sucesion 1/n, vimos intuitivamente que al considerar n

cada vez mayor, los terminos de la sucesion se acercan a 0. Observemos
que si nos fijamos en dos terminos 1/n y 1/m de esta sucesion, la
distancia entre ellos es
1 1
.
n m
Si n = m, es claro que esta diferencia es 0: Los terminos no solo estan
cerca, sino que son exactamente iguales. Supongamos entonces que n 6=
m y, mas aun, que n < m (nuestro razonamiento sera muy similar en
el caso n > m). En ese caso, n1 > m1 . En este caso, observamos que

1
1 = 1 1 < 1;

n m n m n
esta desigualdad nos dice que la distancia entre los terminos 1/n y 1/m
de esta sucesion es menor que 1/n, lo que intuitivamente sabemos que
se va acercando a 0.
2. Para la sucesion {10n }, nos fijamos en la distancia entre los terminos

correspondientes a n y m. Podemos suponer que n > m para obtener
que esta distancia cumple
|10n 10m | = 10n 10m > 10n ;
pero como hemos visto, el numero 10n es cada vez mayor conforme n
aumenta, de modo que los terminos de esta sucesion no se acercan entre
s.
3. Nos fijamos ahora en la sucesion {(1)n1 }. En este caso, los terminos

van brincando, alternando entre el 1 y el 1. As, aunque muchos
terminos se vayan acercando entre s (por ejemplo, todos los terminos
correspondientes a n par son iguales a 1), esto no ocurre con todos,
pues los terminos correspondientes a n impar siempre se mantienen a
distancia 2 de los otros. Como en el ejemplo anterior, los terminos no
se acercan entre s.
Como veremos con mayor detalle y precision en el siguiente captulo, para

ciertas sucesiones sera mas sencillo determinar si hay un numero al cual se
acerquen, mientras que para otras lo mas facil sera ver si los terminos se van
acercando entre s, de modo que nos sera de gran utilidad precisar la relacion
entre estos comportamientos a largo plazo. Por supuesto, es razonable pensar
que si los terminos de una sucesion se acercan a algun numero, entonces los
terminos se iran acercando entre s. La cuestion recproca es aun mas intere-
sante, de modo que requerira de un analisis mas profundo de las propiedades
del conjunto de numeros reales.
Ejercicios
1. Investiga la tendencia de cada una de las siguientes sucesiones.
1 1 1 1
a) 1, , , , , . . .
2 3 4 5
2 3 4 5 6
b) 1, , , , , , . . .
3 5 7 9 11
5 15 37 65
c) 1, , 1, , 1, , 1, , . . .
3 17 35 63
d ) 1, 1 + 3, 1 + 3 + 3 , 1 + 3 + 32 + 33 , 1 + 3 + 32 + 33 + 34 , . . .
2
1 1 1 1 1 1 1 1 1 1
e) 1, 1 + , 1 + + 2 , 1 + + 2 + 3 , 1 + + 2 + 3 + 4 , . . .
3 3 3 3 3 3 3 3 3 3
2 2 3
2 2 2 2 2 2 2 2
f ) 1, 1 + , 1 + + ,1 + ,1 + + + ,1 + ,...
3 3 3 3 3 3 3 3
2 2 3
2 2 2 2 2 2
g) , + , + + ,...
3 3 3 3 3 3
2 2 3
2 2 2 2 2 2
h) , , ,...
3 3 3 3 3 3
3 2 4 3 5 4 6 5

i ) 1, 2
, 3
, 4
, 5
,...
j ) 1, 2, 3, 4, 5, 6, 7, . . .
4 8 16 32 64
k ) 2, , , , , ,...
2 6 24 60 120
2. Una sucesion esta acotada si hay un intervalo suficientemente grande
como para contener todos los terminos de la sucesion. En smbolos, {an }
esta acotada si existe M > 0 tal que |an | M para toda n. Investiga
si cada una de las sucesiones del ejercicio anterior esta acotada o no.
3. Dado un numero real x, denotamos por [x] al maximo entero menor

o igual a x; por ejemplo, [3.3] = 3, [0.01] = 0, [4] = 4, [1.2] = 2.
Investiga la tendencia de la sucesion
" 2 # " 2 3 #
2 2 2 2 2 2 2
1+ , 1+ + , 1+ , 1+ + + ,...
3 3 3 3 3 3 3
Analogamente con la sucesion

" 2 # " 2 3 #
2 2 2 2 2 2
, + , + + ,...
3 3 3 3 3 3
4. Analiza si los terminos de las tres primeras sucesiones del ejercicio 1 se

van acercando entre s, como vimos al final de este captulo.
Captulo 4
Convergencia
En este captulo formalizamos el concepto de tendencia explorado en el

captulo anterior, para dar un vistazo mas riguroso a la convergencia de las
sucesiones.
4.1. Definicion y ejemplos

Definicion 4.1. Decimos que la sucesion {an } converge a a si y solo si para
toda > 0 existe un numero natural N tal que si n > N entonces
|an a| <
Si la sucesion {an } converge a a, decimos que el lmite de la sucesion {an }

es a y escribimos
lm an = a
n
Esta definicion nos dice que dado cualquier numero positivo , podemos
encontrar un numero natural N que depende de tal que si nos fijamos en
los ndices mayores que N (es decir, N + 1, N + 2, . . . , N + k, . . .), entonces
los terminos de la sucesion
aN +1 , aN +2 , aN +3 , aN +4 , . . . , aN +k , . . .
distan de a menos que .

Ademas, sabemos que la desigualdad |an a| < es equivalente a
< an a < .
87
de modo que
a < an < a + ;
entonces la definicion de convergencia implica que todos los elementos de
la sucesion cuyos ndices sean mayores que N estan en el intervalo abierto
(a , a + ) y solamente un numero finito se encuentra fuera de el.
Veamos que toda sucesion convergente esta acotada: Si = 1, la definicion

4.1 implica que existe N tal que si n > N , entonces |an a| < 1; por tanto,
para n > N tenemos que
|an | |an a| + |a| < 1 + |a|.
Esta ultima desigualdad nos dice que los terminos
aN +1 , aN +2 , aN +3 , aN +4 , . . . , aN +k , . . .
estan acotados por 1 + |a|. Nos falta acotar los primeros N terminos de
la sucesion. Como este es un conjunto finito de numeros reales podemos
considerar max{|a1 |, |a2 |, |a3 |, . . . , |aN |}. Este numero nos sirve para acotar a
estos N primeros terminos de la sucesion. Ya tenemos acotados a todos los
elementos, de modo que basta considerar
M = max {|a1 |, |a2 |, |a3 |, . . . , |aN |, 1 + |a|}
para tener |an | M para toda n. Podemos resumir esto diciendo que toda
sucesion convergente es una sucesion acotada.
Ejemplos
1
1. La sucesion n
converge a cero; esto es,
1
lm = 0.
n n
Tomemos distintos valores de y encontremos el valor de N . Para esto,

primero debemos resolver la siguiente desigualdad:

1
0 = 1 < .

n n
Captulo 4. Convergencia 89
Despejando a n obtenemos
1
n> .

1
entonces proponemos N = + 1.1 As, si = 0.3, entonces N =
10
3
+ 1 = 4.
Veamos el comportamiento de N al variar :

N As, si entonces n1 0 es menor que
0.3 4 n > 4, 0.3
0.15 7 n > 7, 0.15
0.1 10 n > 10, 0.1
0.025 41 n > 41, 0.025
0.01 100 n > 100, 0.01
0.001 1000 n > 1000, 0.001
0.00001 100000 n > 100000, 0.00001
Antes de continuar, analizaremos con un poco mas de detalle esta tabla:

Que terminos de la sucesion cumplen el tercer renglon? Como n > 7,
los terminos son 18 , 19 , 10
1
, . . . , etcetera.
Que terminos de la sucesion distan del cero menos que 0.025? En el
quinto renglon tenemos que = 0.025 y para este valor se tiene que
N = 41, de modo que los terminos de la sucesion que distan de cero
menos que 0.025 aparecen a partir del termino numero 42 de la sucesion.
Cuales son los ndices tales que los terminos correspondientes de la
sucesion cumplen la desigualdad

1
0 < 0.001?
n
En la tabla tenemos que N = 1000, de modo que los ndices corres-

pondientes a los terminos de la sucesion que satisfacen la desigualdad
anterior son: 1001, 1002, 1003, 1004, . . . .

1
Ahora completaremos la demostracion de que la sucesion conver-
n
ge a 0.
1
Recuerda que [x] representa al mayor entero menor o igual que x.

1 1
Ya hemos visto que N = + 1. Ahora tomemos n > + 1. Como

1 1 1
+ 1 > , entonces n > . Al considerar los recprocos obtenemos

1
< y esto implica
n
1 1
= 0 < .
n n
Por lo tanto,
1
lm = 0.
n n
2. Consideremos ahora la sucesion constante 2, 2, 2, . . . , 2, . . . . Facilmente

podemos conjeturar que esta sucesion es convergente y que su lmite es
2. Veamos por que. La distancia entre cualquier elemento de la sucesion
y el lmite es cero, pues
|2 2| = 0
y tenemos que para toda > 0 y para todo natural n se satisface
|2 2| < .
Por lo tanto, la sucesion constante 2, 2, 2, . . . converge a 2; es decir,
lm 2 = 2.
n
3. De manera analoga se puede probar que cualquier sucesion constante
a, a, a, . . . , a, . . .
es convergente y que converge a a. As, tenemos
lm a = a.
n
4. Veamos que ocurre con la sucesion cuyo termino general es
1 + (1)n
.
n
Observemos que debido al sumando (1)n , es conveniente analizar

que ocurre con los terminos pares por un lado, y con los impares por
el otro. Los terminos pares son
2 2 1 2 1
= 1, = , = , . . .
2 4 2 6 3
los cuales parecen tender a 0. Por otro lado, los terminos impares son
0, 0, 0, . . . .
de modo que es natural pensar que el lmite de la sucesion es 0. Si
> 0, todos los terminos impares estan a una distancia menor que
de 0, pero para que los terminos pares cumplan esta condicion sobre la
distancia se debe cumplir
2
< ,
n

2 2
lo cual ocurre si n es mayor que . As, si elegimos N () = + 1,

podemos ver que si n > N (), (independientemente de que sea par o
impar), entonces
1 + (1)n

0 < ,
n
lo que muestra que la sucesion converge a 0.
5. Analicemos la sucesion cuyo n-esimo termino es
n1
.
n+1
Intuitivamente, cuando n va creciendo, el numerador n 1 y el deno-
minador n + 1 se parecen cada vez mas entre s, de modo que parece
que el lmite de esta sucesion es 1. Entonces si damos un numero > 0,
queremos ver si hay algun numero natural n a partir del cual

n 1
n + 1 1 < .

Puesto que siempre ocurre que n 1 < n + 1, el n-esimo termino de la

sucesion siempre es menor que 1, por lo que debemos ver cuando
n1
1 < .
n+1
Esto ocurre si
2
< ,
n+1
lo que es equivalente a
2
1 < n.

As, si elegimos
2
N () = 1,

tenemos que para cada n tal que n > N () el correspondiente termino
de la sucesion estara a una distancia menor que de 1. Como esto vale
para cada > 0, tenemos que en efecto la sucesion converge a 1.
6. Ahora veamos uno de los ejemplos que presentamos en la seccion 3.4,

el de la sucesion dada por
1 1 1 1 1
1+ + 2 + 3 + + n1 + n .
2 2 2 2 2
En esa seccion vimos que
1 1 1 1 1 2n+1 1
1+ + 2 + 3 + + n1 + n = ,
2 2 2 2 2 2n
de modo que podemos analizar el comportamiento de la expresion que
aparece del lado derecho, o bien de
2n+1 1 1
= 2 .
2n 2n
En realidad, basta ver que ocurre con la sucesion {1/2n }. De hecho,
veremos que
1
lm n = 0.
n 2
Si > 0, entonces n
1 1
n
= <
2 2
es equivalente a
1
n ln < ln .
2
El logaritmo natural de 1/2 es negativo, de modo que a su vez esto es

equivalente a
ln
n> .
ln(1/2)
El lector podra completar el argumento facilmente para mostrar que la
sucesion original tiende a 2.
En algunos casos, no es inmediato determinar elcomportamiento

de una
3n 2
sucesion. Por ejemplo, consideremos la sucesion . Sus primeros
2n + 1
terminos son
1 4 7 10 13 16 19 22 25
, , , , , , , , ,...
3 5 7 9 11 13 15 17 19
Para analizar que ocurre con esta y otras sucesiones, mostraremos algunas
propiedades generales del lmite de sucesiones.
Proposicion 4.2. Sean {an }, {bn } dos sucesiones.
1. Si la sucesion {an } converge, su lmite es unico.
2. Supongamos que {an } y {bn } convergen a a y b, respectivamente. En-
tonces:
a) La sucesion {an bn } converge a a b. Es decir,
lm (an bn ) = lm an lm bn = a b.
n n n
b) La sucesion {an bn } converge a a b. Es decir,
n n n

an a
c) Si ademas suponemos que b 6= 0, la sucesion converge a .
bn b
Es decir,
an lm an a
lm = n = .
n bn lm bn b
n
d) La sucesion { an } converge a a. Es decir,
lm an = lm an = a.
n n

Si an 0 para toda n, entonces la sucesion
e) an converge a
a. Es decir,
q
lm an = lm an = a.
n n
Demostracion. 1. Supongamos que la sucesion converge a los numeros a

y a , con a 6= a0 . Consideremos = |a a0 |/2, es decir, la mitad de la
0
distancia entre estos numeros. La convergencia a a nos dice que existe

un natural N1 tal que si n > N1 entonces |an a| < . Por otro lado,
la convergencia a a0 garantiza la existencia de N2 tal que si n > N2
entonces |an a0 | < . Pero entonces, si elegimos un natural n mayor
que N1 y que N2 , tenemos que
|a a0 | = |a an + an a0 | |a an | + |an a0 | < 2 = |a a0 |,
lo cual dice que |a a0 | es menor que |a a0 |. Esto no puede ocurrir,

de modo que nuestra hipotesis inicial, a 6= a0 , es falsa.
2. Veamos que ocurre con cada inciso.
a) Como la sucesion {an } converge a a se tiene que, dada > 0,

existe un numero natural N1 tal que si n > N1 entonces

|an a| <
2
Por otro lado, como la sucesion {bn } converge a b se tiene que, dada
> 0, existe un numero natural N2 tal que si n > N2 entonces

|bn b| < .
2
Sea N = max {N1 , N2 }. Si n > N , se satisfacen las dos desigual-

dades

|an a| < y |bn b| < .
2 2
Por lo tanto, si n > N entonces
|(an bn ) (a b)| = |(an a) (bn b)|

|an a| + |bn b| < 2
+ 2
= ,
de donde se concluye que la sucesion {an bn } converge a a b.

b) Como la sucesion {bn } converge, sabemos que esta acotada, de

modo que hay un numero M > 0 tal que |bn | M para toda
n. Como la sucesion {an } converge a a se tiene que, dada > 0,
existe un numero natural N1 tal que si n > N1 entonces

|an a| < .
2M
Ademas, se tiene que, dada > 0, existe un numero natural N2
tal que si n > N2 entonces

|bn b| < .
2(1 + |a|)
Sea N = max {N1 , N2 }, de modo que si n > N , se satisfacen las
dos desigualdades

|an a| < y |bn b| < .
2M 2(1 + |a|)
Por lo tanto, si n > N entonces
|(an bn ) (a b)| = |(an bn a bn ) + (a bn a b)|

|(an a) bn | + |a (bn b)|
= |an a| |bn | + |a| |bn b|
M |a|
< + < ;
2M 2(1 + |a|)
de modo que

n n n

an
c) Como la sucesion es el producto de las sucesiones {an } y
b n
1
, podemos usar la propiedad del producto para determinar el
bn
lmite, de modo que es suficiente demostrar que si la sucesion{bn}
1
es diferente de cero y converge a b 6= 0, entonces la sucesion
bn
1
converge a . De hecho y para simplificar la notacion, podemos
b
suponer adicionalmente que b > 0.
Ahora, como la sucesion {bn } converge a b > 0, tambien podemos

suponer que existe un numero m > 0 tal que bn > m para toda n
(ejercicio!), por lo que
1 1
<
bn m
para toda n. Como la sucesion {bn } converge a b, sabemos que
dada > 0 existe un numero natural N tal que si n > N entonces
|bn b| < mb.

1 1
Como queremos demostrar que la sucesion converge a ,
bn b
analizamos la distancia que hay entre ellos:

1 1 b bn |b bn | mb
= = < =
bn b b bn b bn mb

1 1
si n > N ; as, efectivamente la sucesion converge a y
bn b
1 1 1
lm = = ;
n bn lm bn b
n
por lo tanto,
an lm an a
lm = n = .
n bn lm bn b
n
d ) Esta propiedad nos dice que podemos sacar las constantes del
lmite; esto es, que la sucesion {an } converge a a. Esto es claro
cuando = 0, de modo que supondremos que 6= 0. Sabemos que
la sucesion {an } converge a a por lo que, dada > 0, existe un
numero natural N tal que si n > N entonces

|an a| < .
||
Con base en la anterior desigualdad tenemos

| an a| = | (an a)| = || |an a| < || = .
||
e) si n > N ; por lo tanto,
lm an = lm an = a.
n n
f ) Separamos la demostracion en dos casos, a = 0 y a > 0. En el

primer caso, como la sucesion {an } converge a 0, dada > 0
existe un numero natural N tal que si n > N , se tiene que
an < 2 .
Si extraemos la raz cuadrada a esta desigualdad, tenemos

an < 2 ;
Por lo tanto,

an <
si n > N ; por consiguiente

lm an = 0.
n
Supongamos ahora que a > 0. Dada > 0, existe N tal que si

n > N , entonces

|an a| < a .
Consideremos n > N y observemos que
a a a + a

n n
an a =

an + a

an a an a
= <
an + a a

|an a| a
= < = ;
a a
Por lo tanto,
q
lm an = lm an = a.
n n
Veamos un ejemplo de aplicacion de estas propiedades, con la sucesion

cuyo termino general es
n2 + n 1
.
4n2 7n + 5
Observemos primero que no podemos aplicar la propiedad (c) del cociente,
pues las sucesiones n2 + n 1 y 4n2 7n + 5 no convergen a un numero
real. Sin embargo, podemos multiplicar el numerador y el denominador por
el factor 1/n2 y simplificar para obtener
1 1 1
n2
(n2 + n 1) 1+ n
n2
1 = 7 5 .
n2
(4n2 7n + 5) 4 n
+ n2
Ahora nos fijamos en las sucesiones definidas por el numerador y el denomi-

nador y analizar si tienen lmite. Por ejemplo, si nos fijamos en el numerador,
tenemos que

1 1 1 1
lm 1 + 2 = lm 1 + lm lm 2 .
n n n n n n n n
Los dos primeros sumandos representan una sucesion constante igual a 1 y

la sucesion 1/n, cuyo lmite es 0. Para el tercer sumando, podemos mostrar
directamente de la definicion que su lmite es 0 o bien usar la regla del
producto:
1 1 1 1 1
lm 2 = lm = lm lm = 0.
n n n n n n n n n
Analizando de modo similar al denominador de la sucesion original, podemos

concluir que
n2 + n 1 1
lm = .
n 4n2 7n + 5 4
Ejercicios
1. De las siguientes afirmaciones, cuales son verdaderas y cuales falsas?
(Justifica tu respuesta.)
Si la sucesion {an + bn } es convergente entonces las sucesiones {an } y

{bn } son convergentes.
Si las sucesiones {an + bn } y {an } son convergentes entonces la sucesion
{bn } es convergente.
Si la sucesion {an bn } es convergente entonces las sucesiones {an } y {bn }

son convergentes.
Si la sucesion {1/an } es convergente entonces la sucesion {an } es con-

vergente.
Si existe > 0 tal que para toda n natural existe un numero a que
satisface la desigualdad |an a| < entonces la sucesion {an } converge
a a.
Si la sucesion {an } converge a cero y la sucesion {bn } esta acotada,

entonces la sucesion {an bn } converge a cero.
Si la sucesion {a2n } es convergente, entonces {an } es convergente.
Si la sucesion {a2n } converge a cero, entonces {an } converge a cero.
Si la sucesion {a3n } es convergente, entonces {an } es convergente.
Si la sucesion {a2p
n } es convergente, para todo p entero, entonces {an }
es convergente.
Si la sucesion {a2p+1
n } es convergente, para todo p entero, entonces {an }
es convergente.
2. Calcula el lmite de cada una de las sucesiones cuyo termino general es:
r
n+1
a) .
2n 3
4n4 + 1
b) .
5n4 + 2n3 + 11n + 13
(n + 1)2 + (1)n+1 (n + 2)
c) .
n(n + 2)

n
d) q .
p
n+ n+ n
1 + 2 + 3 + + n
e) .
n2
12 + 22 + 32 + + n2
f) .
n3
(12 + 22 + 32 + + n2 )2
g) .
(1 + 2 + 3 + + n)3
12 + 22 + 32 + + n2
h) .
n3 + n2 + n + 1
1
(a + n1 )2 + (a + n2 )2 + + (a + n1 2
+ (a + nn )2 .

i) n n
)

j) 4n2 9 (2n 3).

k) n2 + 1 n .

l) n+1 n .
q
m) n 1 + n1 1 .
4. Si lm an = a y lm bn = b, calcula los siguientes lmites:

n n
an + b n
a) lm , si a 6= 0 y b 6= 0.
n a2
n + bn
2
p
b) lm a2n + b2n .
n
a3n 3an b2n + 2bn 8

c) lm , si a 6= b.
n b4n a2n b2n

d ) lm 3 an , . . . , lm k an , donde suponemos que an > 0 para toda n
n n
cuando k es un numero par.
5. Calcula los siguientes lmites.

5
2 3 n 5 n2
a) lm .
n 3 n + 1(2 5 n)
p p
n2 + 2 n n2 2 n
b) lm p p .
n 3 3 3 3
n n + n n n

c) lm 3 n + 4 3 n .
n
p
d ) lm 3
(n + 1)(n + 2) + (n + 3) n .
n
A continuacion mencionamos una importante propiedad de las sucesiones

convergentes en terminos de cualquiera de sus subsucesiones.
Proposicion 4.3. Si una sucesion {an } es convergente a un numero a, en-

tonces cualquiera de sus subsucesiones es convergente, y converge al mismo
numero a.
Demostracion. Consideremos una subsucesion {ank } cualquiera de la suce-

sion original. Recordemos que queremos probar que esta subsucesion conver-
ge al numero a, de modo que para cada > 0 queremoa hallar N tal que si
k > N se tenga que |ank a| < .
Como la sucesion original converge al numero a, sabemos que dada una
> 0 existe N1 tal que para cualquier natural n > N1 se cumple |an a| < .
As, dada > 0, consideremos N = N1 y k > N . Usamos ahora la
propiedad que aparece en la ecuacion (3.1) de la pagina 76, que dice que los
ndices nk satisfacen nk k, lo que nos dice que nk k > N , por lo que
|ank a| < ;
esto a su vez dice que la subsucesion converge al numero a.
Hemos analizado la convergencia de una sucesion usando algunas propie-

dades basicas del lmite de sucesiones. Ahora buscaremos disponer de mas
medios para verificar tal convergencia.
Un criterio de convergencia que es muy util para encontrar el lmite de

algunas sucesiones es el siguiente:
Proposicion 4.4. Sean an , bn , y cn tres sucesiones tales que
an b n c n
y
lm an = lm cn = a.
n n
Entonces la sucesion bn converge y
lm bn = a.
n
Demostracion. Como las sucesiones an y cn convergen a a, dada > 0 existen

numeros naturales N1 y N2 tales que
|an a| < si n > N1 y |cn a| < si n > N2 .

Podemos escribir estas desigualdades como sigue:
< an a < si n > N1 y < cn a < si n > N2 .
Ambas desigualdades se cumplen si n > N , donde N = max (N1 , N2 ).

Como
an b n c n ,
podemos restar a a estas desigualdades y obtener
an a bn a cn a;
por lo tanto,
< an a bn a cn a < si n > N
de donde
< bn a < si n > N
que es equivalente a
|bn a| < si n > N ;
entonces se ha demostrado que la sucesion bn converge al mismo valor que
las sucesiones an y cn .
Anteriormente vimos que toda sucesion convergente es acotada (ver pagi-
na 88). Por otro lado, al analizar la sucesion {(1)n+1 } es facil convencerse
de que no toda sucesion acotada es convergente. Sin embargo, en este ejem-
plo podemos encontrar facilmente algunas subsucesiones convergentes. Esta
propiedad es comun de todas las sucesiones acotadas.
Proposicion 4.5. Toda sucesion acotada contiene una subsucesion conver-

gente.
Demostracion. Consideremos una sucesion acotada. Como sabemos, esto quie-

re decir que existe M > 0 tal que el valor absoluto de todos los terminos de
la sucesion es menor o igual a M ; en otras palabras, todos los elementos de la
sucesion estan en el intervalo [M, M ]. Como la sucesion tiene una infinidad
de terminos, al menos uno de los intervalos [M, 0] o [0, M ] contiene una
infinidad de terminos de la sucesion. La idea de la demostracion sera conti-
nuar esta subdivision en intervalos e ir encerrando a los terminos de una
subsucesion, pero para formalizar esto usaremos una notacion mas adecuada.
Sea {bn } una sucesion acotada por el numero M > 0. Si denotamos por
[a1 , c1 ] al intervalo [M, M ], entonces tenemos que a1 bn c1 para toda
n; en particular,
a1 b1 c1 .
Como dijimos antes, al menos uno de los intervalos [M, 0] o [0, M ] con-
tiene una infinidad de terminos de la sucesion. Llamemos entonces [a2 , c2 ] al
intervalo que tiene dicha propiedad (si ambos subintervalos contienen una
infinidad de terminos, elegimos cualquiera de ellos). Observemos que por la
manera en que elegimos los extremos de los intervalos, a1 a2 y c2 c1 .
Ademas, podemos elegir un termino bn2 , n2 2 de modo que
a2 bn2 c2 .
Procediendo de manera inductiva, supongamos que hemos definido un

intervalo [ak , ck ] tal que contiene una infinidad de terminos de la sucesion bn .
Subdividimos [ak , ck ] en dos intervalos:

ak + c k ak + c k
ak , y , ck ,
2 2
y puesto que al menos uno de estos contiene una infinidad de terminos de

la sucesion bn , denotamos por [ak+1 , ck+1 ] al que tenga esta propiedad (o
elegimos uno de ellos, si ambos tienen esta propiedad) y tambien elegimos
un termino bnk+1 con nk+1 nk que este en dicho intervalo. Podemos expresar
todo lo anterior en forma de desigualdades, como sigue:
ak ak+1 bnk+1 ck+1 ck .
Dejamos al lector que compruebe las siguientes propiedades de las suce-

siones construidas de esta manera:
1. {ak } es una sucesion creciente y acotada;
2. {ck } es una sucesion decreciente y acotada;
3. lmk ak = lmk ck .
Por la Proposicion 4.4, la sucesion {bnk } es convergente. As, hemos mos-

trado que {bn } contiene una subsucesion convergente.
Ejercicios
1 1
1. Demuestra por induccion que n para todo numero natural n.
2 n
1
Justifica que lm n = 0.
n 2
1
2. Demuestra por induccion que n 2 1 + , para todo numero natural
n
n. Justifica que lm n 2 = 1.
n
3. Calcula los siguientes lmites, si estos existen:
[x] + [2x] + [3x] + + [nx]

a) lm , donde [x] es, como de costum-
n n
bre, el mayor entero menor o igual a x.

1 1 1 1
b) lm + + + + ,
n n n+1 n+2 2n

1 1 1
c) lm + + + ,
n 13 35 (2n 1)(2n + 1)

1 1 1 1
d ) lm + + + ,
n n 1+ 3 3+ 5 2n 1 + 2n + 1

1 1 1
e) lm + + + ,
n 123 234 n (n + 1) (n + 2)

f ) lm n 2n + 3n ,
n

g) lm n an + bn , a y b positivos.
n
4. Demuestra que lm an = 0, si |a| < 1.

n

5. Demuestra que lm n
a = 1, si a > 0.
n

6. Demuestra que lm n
n = 1.
n
7. Demuestra que
2 3 n1 n n+1
2 2 2 2 2 1 23
1+ + + + + + =
3 3 3 3 3 1 32
y con base en esto muestra que

2 3 n1 n !
2 2 2 2 2
lm 1 + + + + + + = 3.
n 3 3 3 3 3
8. Demuestra que
1 an+1
1 + a + a2 + a3 + + an1 + an =
1a
y muestra con base en esto que si 0 < a < 1, entonces
1
lm 1 + a + a2 + a3 + + an1 + an =

.
n 1a
9. Demuestra que

9 9 9 9
lm + 2 + 3 + + n = 1.
n 10 10 10 10
10. Calcula el lmite de la siguiente expresion cuando n .

1 2 3 1 2 3 1 2 3
+ 2 + 3 + 4 + 5 + 6 + + 3n+1 + 3n+2 + 3n+3 .
10 10 10 10 10 10 10 10 10
11. Muestra que
2 3 n1 2 n

2 2 2 2 1
1 + + + (1)n1 = 3
.
3 3 3 3 1 + 23
y con base en esto justifica que
2 3 n1 !
1 1 1 1 2
lm 1 + + + (1)n1 = .
n 2 2 2 2 3
12. Concluye la demostracion de la Proposicion 4.5, justificando las pro-

piedades (1)-(3) de las sucesiones construidas en dicha demostracion.
Sugerencia: Las partes (1) y (2) son relativamente sencillas. Para de-
mostrar que lm ak = lm ck , muestra que
lm |ak ck | = 0
k
y que
lm ak lm ck lm |ak ck |.

k k k
106 4.2. Sucesiones de Cauchy
4.2. Sucesiones de Cauchy

En la pagina 83 mencionamos que uno de los comportamientos que pue-
de observarse en los terminos de una sucesion es el de irse acercando entre
s. Ahora precisaremos este concepto, que nos sera util para mostrar la con-
vergencia de una sucesion en los casos en que no podamos establecer de
antemano cual es el numero al cual tienden los terminos de la misma.
Definicion 4.6. Decimos que una sucesion {an } es una sucesion de Cauchy
si para cada > 0 existe N tal que si n, m > N , entonces |an am | < .
Como vimos en la pagina 83, los terminos de la sucesion {1/n} se acercan

entre s; esto nos permite mostrar facilmente que la sucesion es de Cauchy:
Dado > 0, si m > n > 1/, entonces tenemos que

1
< 1 < .
1
n m n
Como ya habamos adelantado, es facil ver que toda sucesion convergente

es una sucesion de Cauchy: Si {an } es convergente a un numero a, sabemos
que los terminos de la sucesion se van acercando a a; formalmente, dado
> 0 existe N tal que si n > N , entonces |an a| < /2. Pero esto implica
rapidamente que los terminos de la sucesion se van acercando entre s, puesto
que si n, m > N , entonces

|an am | = |an a + a am | |an a| + |a am | < + = ;
2 2
es decir, la sucesion es de Cauchy.
Ejercicio
Muestra que toda sucesion de Cauchy es acotada. (Sugerencia: De hecho,
la idea es completamente similar a la que usamos cuando demostramos que
toda sucesion convergente es acotada, ver pagina 88.)
Recordemos que en la Proposicion 4.5 vimos que toda sucesion acotada

tiene una subsucesion convergente. Usaremos el ejercicio anterior y dicha Pro-
posicion para mostrar la siguiente (importante!) propiedad de las sucesiones
de Cauchy.
Proposicion 4.7. Toda sucesion de Cauchy (de numeros reales) es conver-

gente.
Demostracion. Sea {an } una sucesion de Cauchy. Como mencionamos antes,
sabemos que esta sucesion es acotada y por la Proposicion 4.5 contiene una
subsucesion {ank } convergente, digamos, a un numero a. La idea de la de-
mostracion consiste en mostrar que la sucesion original tambien converge a
a, es decir, que dada > 0, queremos mostrar que existe N tal que si k > N ,
entonces |ak a| < .
Dada > 0, tenemos:
1. Como {ank } converge a a, existe N1 tal que si k > N1 entonces
|ank a| < /2.
2. Como {an } es una sucesion de Cauchy, existe N2 tal que si n, m > N2 ,

entonces
|an am | < /2.
Hagamos N = max{N1 , N2 } y sea k > N , de modo que en este caso

|ank a| < /2. Por otro lado, recordando la desigualdad (3.1), tenemos que
nk k y en particular, m = nk N2 , de modo que
|ak a| = |ak ank + ank a| |ak ank | + |ank a| < /2 + /2 = ,
lo cual nos dice que la sucesion original es convergente al numero a.

Como hemos venido mencionando, esta propiedad fundamental de las
sucesiones de Cauchy nos permite comprobar la convergencia de una sucesion
sin necesidad de proponer el lmite de la sucesion de antemano, lo que hace
de este un criterio de convergencia de uso muy frecuente.
4.3. Divergencia
Para cada una de las siguientes sucesiones, contesta las preguntas que
vienen a continuacion, justificando tus respuestas.
1, 2, 3, 4, . . . , n, n + 1, . . .
2, 3/2, 2, 5/2, 3, 7/2, . . . , (n + 1)/2, . . .

108 4.3. Divergencia
n
2, 2, 2 2, 4, 4 2, 8, 8 2, . . . , 2 2 , . . .
1, 10, 102 , 103 , . . . , 10n1 , . . .
1, 12, 121, 122, 1221, 1222, 12221, . . .
1, 1/2, 2, 1/3, 3, 1/4, 4, 1/5, . . . , n, 1/(n + 1), . . .
12 , 22 , 32 , 42 , . . . , n2 , . . .
1, 1 + 3, 1 + 3 + 32 , 1 + 3 + 32 + 33 , 1 + 3 + 32 + 33 + 34 , . . .
(1)n n3

.
n2 + 1
Esta acotada la sucesion?
Cuantos terminos de la sucesion son mayores que 100?
Cuales terminos de la sucesion son mayores que 100?
Cuantos terminos de la sucesion son menores o iguales que 100?
Cuales terminos de la sucesion son menores o iguales que 100?
Si ahora tomamos cualquier numero positivo M y hacemos las mismas
preguntas que las anteriores sustituyendo M por 100, cambiara la respuesta?
Definicion 4.8. Una sucesion {an } diverge a si dado M > 0 existe un
numero N tal que si n > N entonces an > M . Cuando esto ocurre escribimos
lm an = .
n
De manera similar, podemos decir que una sucesion an diverge a si dado

M < 0 existe un numero N tal que si n > N entonces an < M . (Observa
que la sucesion an diverge a si y solo si an diverge a .)
Ejercicio
Para cada una de las sucesiones que aparecen al principio de la seccion
trata de determinar cuales de ellas divergen a . Alguna de estas sucesiones
es convergente?
Por ejemplo comprobemos que la sucesion cuyo termino general es n2 10,
2
divergea . Para esto resolvemos
la desigualdad n 10 > M , que se cumple
2
si n > M + 10. As, si N = M + 10 y n > N tenemos que n 10 > M .
Una propiedad que nos ayuda a comprobar la divergencia a de una
sucesion es la siguiente:
Proposicion 4.9. Sean an y bn dos sucesiones tales que an bn , si lm an =

n
, entonces lm bn = .
n
Dejaremos la demostracion como ejercicio

para el lector.
n2 + 1

Veamos ahora que tambien la sucesion diverge a . Como
n
n2 + 1 1 1
=n+ y n+ >n
n n n
entonces para toda M > 0 consideremos los naturales n > M , por lo tanto
n2 + 1 1
=n+ >n>M
n n
n2 + 1
de donde lm = .
n n
Ejercicios
1. Sea {an } una sucesion que diverge a . Comprueba que:
a) Si {bn } es una sucesion acotada entonces la sucesion {an + bn }

diverge a .
b) Si {bn } es una sucesion convergente, entonces la sucesion {an +bn }
diverge a .
c) Si {bn } es una sucesion convergente a un numero positivo, entonces
la sucesion {an bn } diverge a .
2. Cuales de las siguientes afirmaciones son falsas y cuales verdaderas?

Justifica tu respuesta.
a) Si la sucesion {an + bn } diverge a entonces cada una de las

sucesiones {an } y {bn } diverge a .
b) Si la sucesion {an + bn } diverge a entonces alguna de las dos
sucesiones {an } o {bn } diverge a .
c) Si la sucesion {an bn } diverge a entonces cada una de las
sucesiones {an } y {bn } diverge a .
110 4.4. Sucesiones monotonas
d ) Si la sucesion {an bn } diverge a entonces alguna de las dos

sucesiones {an } o {bn } diverge a .
3. Sea {an } una sucesion que diverge a . Cuales de las siguientes

afirmaciones son falsas y cuales verdaderas? Justifica tu respuesta.
a) Si {bn } es una sucesion acotada entonces la sucesion {an + bn }

diverge a .
b) Si {bn } es una sucesion convergente, entonces la sucesion {an +bn }
diverge a .
c) Si {bn } es una sucesion divergente a , entonces la sucesion
{an + bn } diverge a .
d ) Si {bn } es una sucesion divergente a , entonces la sucesion {an +
bn } diverge a .
e) Si {bn } es una sucesion convergente a un numero positivo, entonces
la sucesion {an bn } diverge a .
4.4. Sucesiones monotonas

En algunas sucesiones ocurre que cada termino de la sucesion es mayor
que el termino anterior. Consideremos por ejemplo la sucesion
1 2 3 n n+1
, , ,..., , ,...
2 3 4 n+1 n+2
En este ejemplo nos preguntamos si
1 2 3 n n+1
< < < < < <
2 3 4 n+1 n+2
Es claro que los tres primeros terminos cumplen las desigualdades, pero
como podemos garantizar que el n-esimo termino es menor que el (n+1)esi-
mo termino? Debemos demostrar que n/(n + 1) (n + 1)/(n + 2) es negativo,
pero
n n+1 1
= .
n+1 n+2 (n + 1)(n + 2)
Como los valores que toma n son numeros naturales, la expresion del lado
derecho es negativa y por lo tanto n/(n + 1) < (n + 1)/(n + 2). As, cada
termino de la sucesion es mayor que el anterior.
Cuando una sucesion {an } tiene la propiedad
a1 < a2 < a3 < < an < an+1 < ,
decimos que la sucesion es creciente. Por otro lado, si la sucesion tiene la

propiedad
a1 > a2 > a3 > > an > an+1 > ,
decimos que la sucesion es decreciente. Cuando una sucesion satisface que
un termino es menor o igual que su antecesor, decimos que la sucesion es no
creciente. De manera analoga se define una sucesion no decreciente.
En general, diremos que una sucesion es monotona si es creciente, decre-
ciente, no creciente o no decreciente.
Ejemplos
1. La sucesion de numeros naturales 1, 2, 3, . . . , n, n + 1, . . . es claramente
creciente.
2. Consideremos la sucesion de numeros triangulares
T1 , T2 , T3 , . . . , Tn , Tn+1 , . . . .
Como Tn+1 = Tn + (n + 1), entonces es claro que Tn < Tn+1 . Por lo

tanto, la sucesion es creciente.
3. Podemos observar que los primeros terminos de la sucesion

5 7 9 2n + 3 2n + 5
, , ,..., , ,...
4 7 10 3n + 1 3n + 4
van disminuyendo. Para verificar que esta sucesion es decreciente vemos
que
2n + 3 2n + 5 7
= .
3n + 1 3n + 4 (3n + 1)(3n + 4)
La ultima expresion es positiva, de modo que la sucesion es decreciente.

4. La sucesion
3 4 n
2, 2, 2, . . . , 2, . . .
es una sucesion decreciente. (Por que?)
5. La sucesion
1 1 1 (1)n1
1, , , , . . . , ,...
2 3 4 n
no es monotona. (Por que?)
6. La sucesion
1 1 1 1
1, , , . . . , , ,...
2 3 n n+1
es decreciente: Puesto que
n<n+1
al tomar el recproco se obtiene

1 1
< .
n+1 n
7. La siguiente sucesion es no creciente:

1 1 1 1 1 1 1 1 1 1 1 1 1
1, , , , , , , , , , . . . , , , , . . . , , . . .
2 2 3 3 3 4 4 4 4 n n n n
8. En la siguiente figura aparece una lista de polgonos regulares de tres,
cuatro, cinco, seis y siete lados, inscritos en una circunferencia con el
mismo radio:
Al continuar esta lista obtenemos una sucesion de polgonos regulares

inscritos en circunferencias del mismo radio. Podemos usar esta suce-
sion para construir varias sucesiones numericas; por ejemplo, la sucesion
de longitudes de cada uno de los lados de los polgonos regulares, la su-
cesion de sus permetros y la sucesion de sus areas. Veamos como dar
una forma explcita a estas sucesiones
Comencemos con la sucesion de longitudes de los lados. Una manera de

calcular estas longitudes es construir un triangulo cuyos vertices son el
centro de la circunferencia y dos vertices consecutivos del polgono. Si
r es el radio de una circunferencia y el angulo central es 2 como en la
figura, entonces la longitud de la cuerda AB es 2r sen :
Sin perdida de generalidad, supondremos que el radio de la circunfe-

rencia es uno, de modo que en nuestro caso, la longitud de un lado
sera 2 sen .
Ahora necesitamos conocer la medida de los angulos centrales de los
360
polgonos regulares: Para el triangulo equilatero, el angulo mide ,

6
360
para el cuadrado mide , y en general para el polgono regular de n
8
360
lados mide . Entonces la sucesion que se forma con las longitudes
2n
de los lados de los polgonos regulares es:
360 360 360 360
2 sen , 2 sen , 2 sen , . . . , 2 sen ,...
6 8 10 2n
Si multiplicamos esta sucesion por el numero de lados obtendremos la

sucesion de los permetros de los polgonos regulares:
360 360 360 360
6 sen , 8 sen , 10 sen , . . . , 2n sen ,...
6 8 10 2n
Para determinar la sucesion de areas, sabemos que el area de cada
polgono regular esta dada por la mitad del producto del permetro por
el apotema. El apotema es la longitud de la altura OH del triangulo

isosceles OAB en la figura anterior, que es OH = r cos . Como en
nuestro caso r = 1, obtenemos la sucesion
360 360 360 360
cos , cos , cos , . . . , cos ,...
6 8 10 2n
y al multiplicar por la sucesion de permetros obtenemos
360 360 360 360
3 sen cos , 4 sen cos ,
6 6 8 8
360 360 3602 360
5 sen cos , . . . , n sen cos ,...
10 10 2n 2n
En cada uno de los terminos de esta sucesion podemos usar la identidad
trigonometrica 2 sen cos = sen 2 y as obtener que la sucesion de
areas de los polgonos regulares inscritos en una circunferencia de radio
uno es
3 360 4 360 5 360 n 360
sen , sen , sen , . . . , sen ,...
2 3 2 4 2 5 2 n
Es facil ver geometricamente que la sucesion de longitudes de los lados
de los polgonos regulares es decreciente, mientras que las sucesiones
de los permetros y de las areas de los polgonos regulares es creciente.
Dejamos esta justificacion geometrica al lector.
9. En la siguiente figura se tiene un rectangulo con lados de 2 y 1 unidad,
respectivamente, en el que hemos trazado dos cuartos de crculos de
radio 1. Construimos una sucesion de circunferencias de la siguiente
manera: La primera es tangente a los cuartos de crculo y al rectangulo;
la segunda y las subsecuentes seran tangentes a los dos cuartos de
crculo y a la circunferencia construida en el paso anterior.
Calculemos los diametros de cada una de las circunferencias: El radio r1

de la primera circunferencia se obtiene de la relacion AB 2 +BC 2 = AC 2
de la siguiente figura; es decir,
1 + (1 r1 )2 = (1 + r1 )2 .
Al despejar a r1 se obtiene r1 = 41 . Para calcular el radio r2 de la

siguiente circunferencia se usa el teorema de Pitagoras en el triangulo
ABD, de modo que AB 2 + BD2 = AD2 y al sustituir los valores se
tiene 2
2 1
(1 + r2 ) = 1 + r2 .
2
1
Al despejar se tiene que r2 = 12
. Ver figura.
El siguiente radio se calcula usando la suma de los diametros de las

circunferencias anteriores y el teorema de Pitagoras:
2
2 1 1
(1 + r3 ) = 1 + 1 + r3 ,
2 6
1
por lo que r3 = 24 . Hasta aqu tenemos que los diametros de las cir-
1 1 1
cunferencias son 2 , 6 , 12 . Comprueba que los siguientes tres diametros
1 1 1
son: 20 , 30 , 42 . Cual sera el diametro de la nesima circunferencia?
10. Estudiemos la sucesion
1, a, a2 , a3 , . . . , an , . . .
Analizaremos por separado que le pasa a la sucesion si: |a| < 1, a = 1

y |a| > 1:
a) Sea 0 < a < 1; si multiplicamos esta desigualdad por a se obtiene

0 < a2 < a y as multiplicando por a sucesivamente la desigualdad
se obtiene
0 < an+1 < an ,
por lo que la sucesion es decreciente si 0 < a < 1.
b) Sea 1 < a < 0, entonces (1)a > 0 y la sucesion {(1)n an } es
decreciente, por lo que la sucesion {an } no es creciente ni decre-
ciente.
c) Si a = 1, la sucesion es la sucesion constante 1, 1, 1, . . .
d ) Si a > 1, la sucesion {an } es creciente.
e) Si a < 1, la sucesion {an } no es creciente ni decreciente.

n
zs }| {
r r

q q q
2, 2 + 2, 2 + 2 + 2, . . . , 2 + 2 + 2 + + 2, . . .

Esta sucesion se puede escribir de la siguiente manera: si a1 = 2,
entonces

a2 = 2 + a1 , a3 = 2 + a2 , . . . , an+1 = 2 + an ;
de manera sintetica,

a1 = 2 y an+1 = 2 + an .
Para ver que esta sucesion es creciente, podemos usar el principio de

induccion. Es claro que

a2 = 2 + a1 > 2 = a1 ;
por otro lado, observemos que
a2n+1 a2n = (2 + an ) (2 + an1 ) = an an1
de modo que si an > an1 entonces a2n+1 > a2n ; como los terminos de la
sucesion son positivos, tenemos que an+1 > an .
12. En la siguiente figura se tiene una sucesion de hexagonos, donde el lado

del hexagono inicial mide 1. Cada nuevo hexagono se construye usando
los puntos medios de los lados del hexagono anterior. Construiremos la
sucesion de areas de los triangulos indicados en la figura:
Observemos que en cada etapa se obtiene un triangulo isosceles cuyos

lados iguales miden la mitad del lado de un hexagono y el angulo entre
ellos mide 120 . Calculemos primero el area de un triangulo isosceles
de lado b. La altura del triangulo es b cos 60 y la base es 2b sen 60 , por
lo que el area del triangulo es
1 2 1
b sen 60 cos 60 = b2 sen 120 .
2 2
Observemos que ocurre al considerar dos triangulos consecutivos:
Los lados iguales del triangulo isosceles pequeno miden la mitad del lado
desigual del triangulo grande, de modo que podemos calcular los lados
de un triangulo isosceles conociendo los lados del triangulo anterior.
Construyamos una tabla con las dimensiones de los lados del triangulo,
su altura y su area, a partir de las longitudes de los lados b, c, las
alturas h y el area A. En el primer renglon escribimos las expresiones
que obtuvimos para c, h y el area A. Si el lado del primer hexagono
es a, entonces b = a2 y sustituimos este valor en b para obtener el
segundo renglon. El tercer renglon se obtiene calculando primero el
valor de b, que es igual a la mitad del valor de c del segundo renglon,
y as sucesivamente.

3 2
b c=

3b h = 2b A
= 4
b
a 3 a 3 2
a a
2 2 4 16

3 3 3 3 3 2
4
a 4
a 8
a 64
a

3 3 3 3 9 3 2
8
a 8
a 16
a 256
a

3 3 9 3 3 27 3 2
16
a 16
a 32
a 1024
a

9 9 3 9 81 3 2
32
a 32
a 64
a 4096
a

9 3 27 9 3 243 3 2
64
a 64
a 128
a 16384
a
El area de la figura sombreada es la suma de los valores obtenidos en

la ultima columna:
2 3 4 5 !
3 3 3 3 3 3
Area = 1+ + + + + .
4 4 4 4 4 4
Al continuar este proceso obtendramos una sucesion de triangulos

isosceles sombreados. El area hasta el nesimo paso sera
2 3 4 5 n1 !
3 3 3 3 3 3 3
1+ + + + + + + .
4 4 4 4 4 4 4
13. En la siguiente figura se tienen tres dibujos que sugieren los tres prime-
ros elementos de una sucesion. El primer dibujo es un triangulo equilate-
ro, junto con su incrculo. En el segundo dibujo se anaden tres triangulos
equilateros tangentes al incrculo original, as como sus incrculos. En
el tercer dibujo se anade a cada triangulo equilatero los tres triangulos
equilateros pequenos junto con sus respectivos incrculos.
El primer dibujo tiene un triangulo equilatero y un crculo. El segun-

do dibujo tiene 4 triangulos: el triangulo inicial y 3 nuevos triangulos,
as como 4 crculos, que son el crculo inicial y 3 crculos nuevos. El ter-
cer dibujo consta de los triangulos del dibujo anterior mas 9 triangulos
nuevos y tiene tantos crculos como triangulos, de modo que obtenemos
la sucesion
1, 1 + 3, 1 + 3 + 32 , 1 + 3 + 32 + 33 , . . . , 1 + 3 + 32 + 33 + + 3n , . . .
para el numero de triangulos. Si suponemos que la longitud de cada
lado del triangulo equilatero inicial es de una unidad, cual sera la
sucesion de la suma de las areas de los incrculos en cada dibujo?
El radio del incrculo de un triangulo equilatero de lado a es la tercera
parte de la altura (por que?) y como la altura es 23 a, entonces el
radio es 63 a. Por lo tanto, el area del incrculo del triangulo equilatero
1
es 12 a2 .
Observese que los tres triangulos nuevos del segundo dibujo son la ter-
cera parte del triangulo inicial, entonces en el siguiente dibujo se repite
esta situacion con cada triangulo nuevo, por lo que el radio de cada
uno de estos crculos es la tercera parte de 63 a y el area es 36
1
a2 . As,
el area de la region sombreada del segundo dibujo es

1 2 1 2 1 1
a + a = 1 + .
12 36 12 3
En el tercer dibujo tenemos una situacion similar a la del segundo
dibujo, por lo que el area de la region sombreada es

1 2 1 1
a 1 + + 2 .
12 3 3
Si continuamos este proceso tendramos que en el nesimo dibujo, el
area de la region sombreada sera

1 2 1 1 1
a 1 + + 2 + + n1 .
12 3 3 3
14. La curva copo de nieve fue construida por el matematico suizo Helge
Von Koch en 1904, a partir de un triangulo equilatero de lado 1.
El siguiente paso consiste en dividir cada lado del triangulo en tres par-
tes iguales, construyendo en la parte de enmedio triangulos equilateros.
Observa que esta nueva figura tiene 12 lados de longitud 1/3. La ter-
cera figura se construye de manera analoga a la anterior; esto es, se
divide cada lado en tres partes iguales y en la parte de enmedio se
construyen triangulos equilateros. Cada lado de esta figura mide 1/9 y
tiene 48 lados. La construccion de la figura 4 es similar. Escribimos en
la siguiente tabla la longitud, el numero de lados y el permetro de las
primeras seis figuras construidas de esta manera.
Figura Numero de lados Longitud de cada lado Permetro

1 3 1 3
1
2 12 3
4
1 16
3 48 9 3
1 64
4 192 27 9
1 256
5 768 81 27
1 1024
6 3072 243 81
Observamos en la segunda columna que el numero de lados de una figura

es cuatro veces mayor que el numero de lados de la figura anterior. Entonces
la sucesion del numero de lados es
3, 3(4), 3(42 ), 3(43 ), . . . , 3(4n1 ), . . .
En la tercera columna observamos que la longitud de cada uno de los

lados de una figura es 31 de la longitud de cada lado de la figura anterior, por
lo que obtenemos la siguiente sucesion
1 1 1 1
1, , 2 , 3 , . . . , n1 , . . .
3 3 3 3
En la cuarta columna tenemos el permetro de cada una de las figuras,

que se obtiene multiplicando el numero de lados por la longitud de cada uno
de los lados de la figura. Obtenemos la siguiente sucesion:

1 2 1 3 1 n1 1
3(1), 3(4) , 3(4 ) 2 , 3(4 ) 3 , . . . , 3(4 ) n1 , . . .
3 3 3 3
Podemos escribir esta sucesion como

2 3 n1
4 4 4 4
3, 3 ,3 ,3 ,...,3 ,...
3 3 3 3
Hemos construido tres sucesiones. La primera es una sucesion creciente que

nos dice como va aumentando el numero de lados. La segunda es una sucesion
decreciente, donde cada termino es 13 que el anterior. Finalmente, la tercera
sucesion es una sucesion creciente donde cada termino es 43 mayor que el
anterior.
Ahora calcularemos el area de cada una de las figuras. Primero constru-
yamos una tabla con el numero de triangulos nuevos obtenidos en cada paso
y el area de estos triangulos:
Figura Numero de Area de Area total de

triangulos nuevos triangulos

nuevos triangulos

nuevos
3 3
1 1 4 4
1 3 3 3 3
2 3 9
= 12 3
32
= 1
4 3 4 4 3
4
3 22
3 12 1
81 4
= 314 43 12
34 4
3
= 33 4
3

1 3 1 3 48 3 24 3
4 48 729
= 6 36
= 5
4 3 4 4 3
4

1 3 3 3 26 3
5 192 6561
= 18 192
38
= 37
4 3 4 4 4
3 28
6 768 1
59049 4
= 3110 43 768
310 4
3
= 39 4
3
El lector puede comparar con la siguiente figura:

Finalmente, el area de cada figura es el area de la figura anterior, mas la

suma de las areas de los triangulos nuevos, de modo que:
Figura Area dela figura

3
1 4
3 1

2 1+
4 3
3 22
3 4
1 + 13 + 33

3 1 22 24
4 4
1+ + 3 33
+ 35

3 22 24 26
5 4
1 + 31 + 33
+ 35
+ 37

3 22 24 26 28
6 4
1 + 31 + 33
+ 35
+ 37
+ 39
Al observar el comportamiento de esta sucesion, podemos conjeturar que

el area de la nesima figura es

1 22 24 26 28 22n2

3
1 + + 3 + 5 + 7 + 9 + + 2n1 .
4 3 3 3 3 3 3
Ejercicios
1. Partimos de un triangulo equilatero y como primer paso le quitamos
un triangulo equilatero como el que aparece sombreado en la primera
de las siguientes figuras, con lo que nos quedamos con tres triangu-
los equilateros pequenos. En el segundo paso, quitamos un triangulo
pequeno de cada uno de los tres triangulos del paso anterior, quedan-
do nueve triangulos, como en la segunda figura. Luego eliminamos un
triangulo de cada uno de los nueve triangulos restantes, y as sucesiva-
mente. La figura que se obtiene es el triangulo de Sierpinski .
Cual es el area que se ha quitado al triangulo equilatero original des-

pues de cada paso de la construccion del triangulo de Sierpinski?
2. Consideremos la grafica de la parabola y = 4 x2 , donde 2 x 2.

En un primer paso se divide el intervalo [2, 2] en dos intervalos iguales
y en cada intervalo se considera un rectangulo con altura igual al maxi-
mo de la funcion 4x2 en el intervalo considerado. En el siguiente paso,
se subdividen estos intervalos para obtener cuatro intervalos iguales y
se construyen cuatro rectangulos con altura igual al maximo de 4 x2
en cada intervalo. En el tercer paso se subdividen los intervalos para
obtener ocho intervalos iguales y ocho rectangulos. Estos tres pasos se
muestran a continuacion:
Calcula la sucesion cuyo n-esimo termino es la suma total de las areas

de los rectangulos obtenidos en el n-esimo paso de esta construccion.
4.5. Lmite de sucesiones monotonas

En la seccion anterior consideramos varios ejemplos de sucesiones monoto-
nas. Algunas de ellas estaban acotadas por arriba, es decir, hay un numero
M mayor que todos los elementos de una sucesion, mientras que otras esta-
ban acotadas por abajo. Por ejemplo, la sucesion de areas de los polgonos
regulares inscritos en una circunferencia de radio uno esta acotada por arriba
por el area de la circunferencia. Por otro lado, la sucesion
3

4

n
2, 2, 2, . . . , 2, . . .
es una sucesion decreciente y los terminos son positivos, de modo que esta
sucesion esta acotada por abajo por 0.
Que pasa con los terminos de una sucesion monotona y acotada? Pense-
mos en una figura como la siguiente:
124 4.5. Lmite de sucesiones monotonas
Aqu vemos una sucesion creciente {an } acotada por un numero M . In-
tuitivamente, los terminos de la sucesion deberan tender a algun numero
menor o igual a M ; es decir, parecera que la sucesion debe converger a un
numero menor o igual a M . Por mas natural que parezca, esta convergencia
no puede mostrarse usando las propiedades basicas de las operaciones y el
orden de los numeros reales. Este hecho es sorprendente, pero es posible tener
una mejor idea de su importancia si nos fijamos solo en el conjunto Q de los
numeros racionales.
El conjunto Q esta formado por todos los cocientes p/q de numeros en-
teros, donde q 6= 0. Supondremos que el cociente esta escrito en su mnima
expresion, es decir, que p y q no tienen factores enteros comunes diferentes de
1. Es posible ver que el conjunto Q es igual al conjunto de los numeros cuya
expresion decimal es periodica, mientras que los numeros reales cuya expre-
sion decimal no es periodica
reciben el nombre de irracionales. Por ejemplo,
es facil mostrar que 2 es un numero irracional:
Supongamos que 2 es racional; es decir, que 2 = p/q, donde p, q son
enteros y q 6= 0. Adicionalmente, podemos suponer que p, q no tienen factores
en comun diferentes de 1, pues siempre podemos cancelar todos los factores
comunes. Entonces, al elevar al cuadrado obtenemos
2 = p2 /q 2 , o bien 2q 2 = p2 ,
de modo que p2 es un numero par. Ahora, si p fuese impar, digamos, de la
forma 2m + 1, entonces p2 = (2m + 1)2 = 2(2m2 + 2m) + 1, que es impar.
As, p es par, digamos, de la forma p = 2m. Al sustituir esta expresion para
p en la igualdad de arriba, obtenemos 2q 2 = 4m2 , de donde q 2 = 2m2 . Por
un razonamiento completamente analogo, q resulta ser par.As, p y q tienen
a 2 como factor comun. Esta contradiccion muestra que 2 no puede ser
racional.
En terminos de las operaciones y el orden, Q no es muy diferente de R;
pero consideremos la sucesion cuyo n-esimo termino es la expresion decimal
de 2 hasta la n-esima cifra decimal. Los primeros cuatro terminos de esta
sucesion son 1.4, 1.41, 1.414 y 1.4142. Esta sucesion
es monotona, pues es
creciente (por que?), estara siempre por debajo de 2 y se acercara cada
vez mas a este numero; pero entonces, si nuestro universo consistiera solo
de numeros racionales, esta sucesion no podra converger.
As, tenemos dos conjuntos muy importantes, Q y R, y en el primero
de ellos no se cumple que toda sucesion monotona acotada es convergen-
te. Que nos garantiza que en R esto se cumplira? Como hemos dicho,
no podemos garantizar que la mencionada propiedad se cumple usando las

caractersticas basicas de las operaciones y el orden de R, de modo que la
agregaremos a la lista de propiedades que debe satisfacer el conjunto de
numeros reales. As:
Cualquier sucesion monotona y acotada de numeros reales es convergente.
Usaremos esta caracterizacion con frecuencia, no solo para mostrar que

una sucesion de numeros reales es convergente, sino para mostrar la existencia
de un numero real en diversos contextos.
Captulo 5
Sucesiones recurrentes
Anteriormente definimos muchas sucesiones por medio de una formula o

expresion para el n-esimo termino; es decir, podamos conocer este termino
sin necesidad de saber como eran los anteriores. Ahora veremos otra forma
de definir sucesiones.
Definicion 5.1. Una sucesion es recurrente si cada termino depende (o es

funcion) de los terminos anteriores.
Por ejemplo, cada una de las siguientes sucesiones esta dadas de manera
recursiva iniciando en a1 :

an+1 = 2an 1, a1 = 3;
a2n 1
an+1 = 2
, a1 = 2;
1
an+1 = 2+an
, a1 = 1.
Encuentra los diez primeros terminos de cada sucesion.

La sucesion
1
an+1 = an + 1, a1 = 1
2
es recurrente. Observemos que la sucesion queda totalmente determinada por
estas dos condiciones; puesto que se conoce el primer termino de la sucesion,
es posible calcular el segundo:
1 1
a2 = a1 + 1 = + 1.
2 2
127
128 5.1. Sucesion de Fibonacci
Como se conoce el segundo termino, se puede calcular el tercero:

1 1 3 7
a3 = a2 + 1 = +1= .
2 2 2 4
Calcula los siguientes cuatro terminos de la sucesion. Verifica que el nesimo

termino de esta sucesion tambien se puede escribir como
1 1 1 1
an+1 = 1 + + 2 + + n1 + n .
2 2 2 2
La sucesion parece depender del primer termino a1 . Si se cambia el primer
termino de la sucesion, se obtiene una sucesion diferente? Verifica que ocurre
con diferentes valores de a1 .
Para cada una de las siguientes sucesiones, encuentra una expresion del
nesimo termino que dependa unicamente de n, como en el ejemplo anterior.
1
an+1 = an + , a1 = 1.
n + 1n
(1)
bn+1 = bn + , b1 = 0.
n
cn+1 = rcn + 1, c1 = 13 .
(1)n
dn+1 = dn + n
, d1 = 1.
10
en+1 = en + n , e1 = 1.
5.1. Sucesion de Fibonacci

Esta famosa sucesion es recurrente y se define de modo que cualquier
termino de la sucesion sea la suma de los dos terminos anteriores:
an+2 = an+1 + an , a1 = 1 y a2 = 1.
Calcula los 10 primeros terminos de esta sucesion.
Demuestra las siguientes propiedades de la sucesion de Fibonacci:
a1 + a2 + a3 + + an = an+2 1,
a1 + a3 + a5 + + a2n1 = a2n ,
a2 + a4 + a6 + + a2n = a2n+1 1,
Captulo 5. Sucesiones recurrentes 129
a21 + a22 + a23 + + a2n = an an+1 .
Ahora encontraremos una expresion del n-esimo termino de esta sucesion

que unicamente dependa de n; de hecho, veremos que la sucesion de Fibonacci
{an } sera igual a una sucesion {bn } de la forma bn = An +B n . Para mostrar
esto, tendremos que encontrar los valores de A, B, y de modo que an = bn
para toda n.
Primero queremos que los dos primeros elementos de las dos sucesiones
sean iguales: 1 = a1 = b1 = A + B y 1 = a2 = b2 = A2 + B 2 . Para
que valores de A, B, y se satisface que b3 = b2 + b1 ? Es decir, para
que valores se cumple lo siguiente?
A3 + B 3 = A2 + B 2 + (A + B) .

Agrupando obtenemos
A3 + B 3 = A(2 + ) + B( 2 + );
igualando los coeficientes de A y B se obtienen las ecuaciones
3 = 2 + y 3 = 2 + .
Entonces y son races del polinomio
x3 x2 x = 0;
factorizando se obtiene
x(x2 x 1) = 0
por lo tanto las races son:

1+ 5 1 5
x = 0, x = yx= .
2 2

1+ 5
Si hacemos = 0, = , para que se satisfaga la ecuacion 1 =
2
1 + 5
A + B, se tiene que A puede ser cualquier numero y B = ; pero
2
estos valores no satisfacen la ecuacion 1 = A2 + B 2 . De manera analoga

1 5
se puede comprobar que no podemos usar los valores = 0, = , ni
2
usar = .
130 5.1. Sucesion de Fibonacci

1 5 1+ 5
Por otro lado, al sustituir los valores = y = en las
2 2
ecuaciones 1 = A + B y 1 = A2 + B 2 tenemos que

5 5
A= yB=
5 5
Observemos que para estos valores de A, B, y se satisfacen las ecuaciones
1 = A+B y 1 = A2 +B 2 . Comprobemos que se cumple 2 = A3 +B 3 :
!3 !3
!
5 1+ 5 1 5 5 3+ 5 3 5 15
= 5 + + ,
5 2 2 5 2 2 4
que al simplificar da el resultado 2. Ahora veamos que en general se cumple

la ecuacion bn+2 = bn+1 + bn :
!n+2 !n+2

5 1+ 5 1 5

5 2 2
!n !2 !n !2

5 1+ 5 1+ 5 1 5 1 5
=
5 2 2 2 2
!n ! !n !2

5 1+ 5 3+ 5 1 5 3 5
=
5 2 2 2 2
n! ! n! !!
5 1+ 5 1+ 5 1 5 1 5
= +1 +1
5 2 2 2 2
!n+1 !n+1 !n !n

5 1+ 5 1 5 1+ 5 1 5
= + .
5 2 2 2 2
Por lo tanto,
bn+2 = bn+1 + bn ,
lo que nos dice que la sucesion
!n !n !
5 1+ 5 1 5
bn =
5 2 2
es precisamente la sucesion de Fibonacci.
Ejercicio
Demuestra que si {an } es la sucesion de Fibonacci, entonces la sucesion

an+1
an

es convergente y que su lmite es (1 + 5)/2.
Sucesiones de la forma an+2 = ban+1 + can

La manera en que hemos analizado la sucesion de Fibonacci en la seccion
anterior se puede generalizar a sucesiones recurrentes de la forma
an+2 = ban+1 + can ,
donde b y c son constantes positivas y ademas tenemos dadas las condiciones

iniciales a1 y a2 . Supongamos que an = An + B n para toda n y sustituya-
mos en la condicion anterior para obtener
An+2 + B n+2 = b(An+1 + B n+1 ) + c(An + B n ),
de donde
A(n+2 bn+1 cn ) + B( n+2 b n+1 c n ) = 0,
An (2 b c) + B n ( 2 b c) = 0;
entonces y son las races de la ecuacion x2 bxc = 0. (Como supusimos

que b, c > 0, esta ecuacion tiene races reales.) Para obtener los valores de A
y B usamos las condiciones iniciales y escribimos
a1 = A + B,
a2 = A2 + B 2 .
Este proceso da como resultado una expresion para an que depende solo
de n.
Ejercicios
1. Para cada una de las siguientes sucesiones recurrentes, usa el metodo
aqu desarrollado para obtener una expresion de an que solo dependa
132 5.2. Otras sucesiones recurrentes
de n. Indica tambien si cada sucesion es convergente o divergente. En

caso de que la sucesion sea convergente, indica su lmite:
an+2 = 12 an+1 + 13 an , a1 = a2 = 1;
an+2 = 3an+1 + 2an , a1 = 0, a2 = 1;
an+2 = 2an+1 + an , a1 = 2, a2 = 1;
an+2 = 15 an+1 + 10
1
an , a1 = a2 = 1.
2. Para cada una de las sucesiones anteriores, analiza la sucesion de co-

cientes {an+1 /an }, indicando si es convergente y, en ese caso, calcula
su lmite.
5.2. Otras sucesiones recurrentes

Consideremos la sucesion

1 2
an+1 = an + , a1 = 2.
2 an
Observemos que cada termino de la sucesion (excepto el primero) depende
unicamente del termino anterior y de una condicion inicial.
Los dos primeros terminos de la sucesion son a1 = 2 y

1 2 3
a2 = 2+ = .
2 2 2
Ejercicio
Calcula los siguientes tres terminos de la sucesion anterior.
De la desigualdad entre la media aritmetica y la media geometrica se
obtiene

r
1 2 2
an+1 = an + an = 2,
2 an an
por lo que
an 2, para n 1.
Al considerar los primeros cinco terminos se observa que la sucesion va
disminuyendo. Sera decreciente esta sucesion? Analicemos la diferencia

1 2 1 2
an+1 an = an + an = an ;
2 an 2 an
como
2 2
= 2,
an 2
entonces
2
an 2 an 0,
an
de donde
an+1 an 0.
Hemos comprobado que la sucesion es decreciente y acotada; por tanto, es

convergente. Como saber a que numero converge? Puesto que sabemos que
el lmite existe, podemos denotar este por a. Entonces,

2 2
0 = lm |an+1 an | = lm an =a ,
n n an a
as que

a= 2;

es decir, la sucesion converge a 2. Observa que aqu comprobamos primero
que la sucesion es convergente, para luego calcular el valor del lmite.
Ejercicios
1. En este ejemplo, el primer termino de la sucesion fue 2. Que sucede si

se inicia con valores diferentes de 2?
2. Comprueba que las siguientes sucesiones son convergentes y calcula su

lmite:
an+1 = 21 an + a3n , a1 = 1,

an+1 = 12 an + a14n , a1 = 3,

an+1 = 12 an + aan , a1 = 5 y a 0,

an+1 = 12 an + aa2 , a1 = 2 y a 0,
n
an+1 = 2 + an , a1 = 2.
134 5.3. Otro vistazo a la sucesion de Fibonacci
5.3. Otro vistazo a la sucesion de Fibonacci

Retomemos la sucesion
an+1
an
donde
an+2 = an+1 + an , a1 = 1, a2 = 1.
Observemos que
an+1 an + an1 an1 1

= =1+ = 1 + an .
an an an an1
Si
an+1
n = ,
an
entonces
1
n = 1 + ,
n1
de modo que la sucesion {an+1 /an } se aproxima a
1
1+ .
1
1+
1
1+
1
1+
1 +

Aunque sabemos que la sucesion {an+1 /an } converge a (1 + 5)/2, por
lo que

1+ 5 1
=1+ .
2 1
1+
1
1+
1
1+
1 +
Este es un ejemplo de una fraccion infinita.

Ejercicio
Calcula cada una de las siguientes fracciones infinitas, asociando cada una
con una sucesion convergente, de modo que el lmite de cada sucesion sera el
valor de la fraccion infinita correspondiente.
2
1. x = 1 ;
3+
1
4+
1
4+
4 +
1
2. y = 1 ;
1+
1
1+
1
1+
1 +
1
3. z = 1 + 1 ;
2+
1
2+
1
2+
2 +
1
4. u = 1 + 1 ;
1+
1
2+
1
1+
2 +
1
5. v = 2 + 1 .
2+
1
4+
1
2+
4 +
5.4. El numero e
Analizaremos ahora dos sucesiones que daran lugar al estudio de un nume-
ro muy importante, el numero e. Estas sucesiones son:
n n+1
1 1
1+ y 1+ .
n n
136 5.4. El numero e
Calculemos algunos terminos:

n n+1 n n+1
1 1 1 1
n 1+ 1+ n 1+ 1+
n n n n
1 2 4 13 2.620600888 2.822185572
2 2.25 3.375 14 2.627151556 2.814805239
3 2.37037037 3.160493827 15 2.632878718 2.808403966
4 2.44140625 3.051757813 16 2.637928497 2.802799028
5 2.48832 2.985984 17 2.642414375 2.797850515
6 2.521626372 2.941897434 18 2.646425821 2.793449478
7 2.546499697 2.910285368 19 2.650034327 2.789509818
8 2.565784514 2.886507578 20 2.653297705 2.78596259
9 2.581174792 2.867971991 21 2.656263214 2.782751938
10 2.59374246 2.853116706 22 2.658969859 2.779832125
11 2.604199012 2.840944377 23 2.661450119 2.777165341
12 2.61303529 2.830788231 24 2.663731258 2.77472006
n
Observamos que la sucesion 1 + n1 parece permanecer entre 2 y 3 y ser
n+1
creciente. Tambien aparentemente, la sucesion 1 + n1 es decreciente y los
elementos de la primera son menores que los de la segunda. A continuacion
demostraremos estas propiedades.
1. En primer lugar mostraremos que

n
1
1+ 2.
n
Para esto, usamos la formula del binomio de Newton (Proposicion 1.1),

que en este caso produce
n
1 n n 1 n 1 n 1 1
1+ = + ++ j
++ n1
+ n;
n 0 1 n j n n1 n n
como todos los terminos son no negativos, tenemos que

n
1 n n 1
1+ + = 2.
n 0 1 n
2. Ahora veremos que n

1
1+ 3.
n
Nuevamente usamos la formula del binomio de Newton obtenida antes,
aunque ahora veremos que los sumandos que aparecen en esa expresion
satisfacen
n 1 1
j
< .
j n j!
Al desarrollar el lado izquierdo de esta desigualdad y simplificar, ob-
servamos que

n 1 n(n 1) (n j + 1) 1 1
j
= j
< . (5.1)
j n n j! j!
Ademas, se puede probar por induccion (ejercicio!) que para cada

numero natural j ocurre que 2j1 j, o bien que 1/j! 1/2j1 .
Usando las dos desigualdades en la formula del binomio de Newton,
tenemos que
n
1 1 1 1 1
1+ < 1 + 0 + + j1 + + n2 + n1 ;
n 2 2 2 2
ahora, usando que para cualquier numero r 6= 1 se tiene
1 rn
1 + r + r2 + + rn1 = ,
1r
obtenemos que
n
1 ( 12 )n

1 1
1+ <1+ 1 1+ 1 = 3.
n 1 2 1 2
3. Ahora veremos que n

1
1+
n
es una sucesion creciente. De nuevo, tenemos que
n X n
1 n(n 1)(n 2) (n j + 1) 1
1+ = j
.
n j=0
j! n
Escribamos el termino general de esta suma de la siguiente forma:

n(n 1)(n 2) (n j + 1) 1 n(n 1)(n 2) (n j + 1) 1
=
j! nj nj j!
nn1n2 nj+1 1
=
n n 2 n j!

1 j1 1
= 1 1 .
n n j!
Trabajamos de manera analoga con el termino
n+1 n+1
1 X (n + 1)n(n 1)(n 2) (n j + 1) 1
1+ =
n+1 j=0
j! (n + 1)j
para obtener
(n + 1)n(n 1)(n 2) (n j + 1) 1
j! (n + 1)j
(n + 1)n(n 1)(n 2) (n j + 1) 1
=
(n + 1)j j!
n n1n2 nj+1 1
=
n + 1 n + 1
n + 1 n + 1 j!
1 j1 1
= 1 1 .
n+1 n + 1 j!
Observemos que

1 2 j1 1
1 1 1
n n n j!
es estrictamente menor que

1 2 j1 1
1 1 1 ,
n+1 n+1 n + 1 j!
por lo que n n+1
1 1
1+ < 1+ ,
n n+1
n
lo que muestra que la sucesion 1 + n1 es creciente.
n+1
4. Por ultimo, veremos que la sucesion 1 + n1 es decreciente, para lo
que mostraremos
n+1
1
1+
n
n < 1,
1
1+
n1
para n 2. Escribimos la expresion de la parte izquierda de la de-

sigualdad como
n+1
n+1
n
(n2 1)n (n + 1)

n 1 1
n = = 1 2 1+ .
n n2n+1 n n
n1
Usamos de nuevo la formula del binomio de Newton para escribir
n
1 n
P n(n1)(n2)(nj+1) (1)j
1 n2
= j! n2j
j=0
= 1 n n12 + n(n1)
2!
1
n4
n(n1)(n2) 1
3! n n6
+ n(n1)(n2)(n3)
4!
1 (1)
hn8 + n2n
= 1 1
n
+ 12 n1
n3
n(n1)(n2) 1
n6
i 3! n
= n(n1)(n2)(n3)
4!
1
n8
+ (1)
n2n
1 n1 + n1
1 1
2
1
3 1 1
2n 3! n 1 n n3 n
4! 1 n 1 n 1 n n4 +(1)
1 1 2 3
n2n
= 1 n1 + 2n1 2 2n1 3 18 1 n12 1 n2
n
+ (1)
n2n
1 n1 + 2n1 2 2n1 3 = 1 n1 1 + 2n1 2 .

Tenemos entonces la desigualdad
n
1 1 1
1 2 1 1+ 2
n n 2n
por lo tanto
n
1 1 1 1 1
1 2 1+ 1 1+ 2 1+
n n n 2n n

1 1
= 1 2 1+ 2
n 2n
1 1
= 1 2 4 < 1.
2n 2n
Con esto demostramos la desigualdad deseada y tenemos que la suce-

1 n+1

sion 1 + n es decreciente.
1 n 1 n+1

En resumen, si an = 1 + n
y bn = 1 + n
, tenemos que
a1 < a2 < a3 < < an < < bn < < b3 < b2 < b1
Estas dos sucesiones son monotonas y acotadas por lo que son convergen-
tes. Observemos que
n+1 n n
1 1 1 1
lm 1 + = lm 1 + 1+ = lm 1 + 1,
n n n n n n n
de modo que ambas sucesiones tienen el mismo lmite, el cual se denota por
n
1
lm 1 + = e.
n n
De este modo, para toda n se cumple

n n+1
1 1
1+ <e< 1+ ;
n n
se puede ver que las primeras cifras de este numero son
2.718281828302530 . . .
Otra sucesion que converge al numero e es aquella cuyo n-esimo termino

es
1 1 1 1
cn = 1 + + + + + .
1! 2! 3! n!
Nos fijaremos en los primeros 25 elementos de esta sucesion y los compa-

raremos con los terminos correspondientes de
n
1
an = 1 + .
n
El resultado aparece en la tabla siguiente.
n cn an
1 1.0000000000000000000 2.000000000000000
2 2.0000000000000000000 2.250000000000000
3 2.5000000000000000000 2.370370370370370
4 2.6666666666666700000 2.441406250000000
5 2.7083333333333300000 2.488320000000000
6 2.7166666666666700000 2.521626371742110
7 2.7180555555555600000 2.546499697040710
8 2.7182539682539700000 2.565784513950340
9 2.7182787698412700000 2.581174791713200
10 2.7182815255731900000 2.593742460100000
11 2.7182818011463800000 2.604199011897530
12 2.7182818261984900000 2.613035290224680
13 2.7182818282861700000 2.620600887885730
14 2.7182818284467600000 2.627151556300870
15 2.7182818284582300000 2.632878717727920
16 2.7182818284589900000 2.637928497366600
17 2.7182818284590400000 2.642414375183110
18 2.7182818284590500000 2.646425821097690
19 2.7182818284590500000 2.650034326640440
20 2.7182818284590500000 2.653297705144420
21 2.7182818284590500000 2.656263213926110
22 2.7182818284590500000 2.658969858537780
23 2.7182818284590500000 2.661450118638780
24 2.7182818284590500000 2.663731258068600
25 2.7182818284590500000 2.665836331487420
De la tabla podemos ver que los elementos de la sucesion cn estan cada
vez mas proximos al numero e; por ejemplo, el termino c25 coincide con e
hasta la novena cfra decimal:
|e 2.71828182845905| < 0.00000000015652
y la diferencia entre el numero e y a25 es
|e 2.665836331487420| < 0.05244549681511;
entonces la sucesion {cn } parece darnos una mejor aproximacion al numero

e que la sucesion {an }.
Ahora mostraremos que la sucesion cn converge al numero e.
En la tabla anterior se puede ver que cada termino de la segunda columna
es mayor que cada termino de la tercera columna, a partir del tercer termino;
es decir, parece que an < cn para cada n 3. Para demostrar esta afirmacion,
retomemos la desigualdad (5.1) para escribir
n X n
1 1
1+ < ;
n j=0
j!
es decir, an < cn ; ademas

e lm cn
n
Para demostrar la desigualdad lmn cn e, consideremos la desigual-

dad

1 1 1 1 2 k1
an > 2 + 1 + + 1 1 1 ,
2! n k! n n n
con k < n; por lo tanto, al tomar el lmite cuando n , tenemos que

1 1 1
e2+ + + +
2! 3! k!
de donde
ak < ck e
pasando al lmite tenemos
e = lm ak lm ck e
k k
por lo que, finalmente

1 1 1 1
lm 1 + + + + + = e.
k 1! 2! 3! k!
Ejercicios
1. Calcula los lmites de las sucesiones cuyo n-esimo termino esta dado
por
n
a) 1 + n2 ,
1 n

b) 1 + 2n ,
1 n

c) 1 n ,
n2 +3
d ) 1 + n12 ,
2 22 23 2n
e) 1 + + + + + .
1! 2! 3! n!
2. Muestra que para toda sucesion an que diverge a , la sucesion
a
1 n
1+
an
converge a e. Sugerencia: Si [a] es el mayor entero que es menor o igual

que a, tenemos que
[an ] an < [an ] + 1.
Denotemos por kn = [an ]; entonces,
1 1 1
1+ <1+ 1+ ,
kn + 1 an kn
de donde
kn a k +1
1 n

1 1 n
1+ < 1+ 1+ ;
kn + 1 an kn
y por tanto
1 kn +1 a
1 1 1 n
1+ 1+ < 1+
kn + 1 kn + 1 an
k
1 n

1
1+ 1+ .
kn kn
Calcula los lmites en estas desigualdades para mostrar lo pedido.

3. Comprueba que la sucesion

a
1 n
1
an
converge a 1e , si la sucesion an diverge a +.
4. Usa los resultados anteriores para mostrar que
x n
lm 1 + = ex
n n
para todo numero racional x.
5. Demuestra que
x2 x3 xn

x n x
lm 1 + = lm 1 + + + + + .
n n n 1! 2! 3! n!
Sea x n
1+ = 1 + x 1 + x2 + x3 + + xn ,
n
donde
xm

1 2 m1
xm = 1 1 1 para m = 1, 2, 3, . . . , n.
m! n n n
Los terminos xm satisfacen las siguientes propiedades:
|x|m
|xm |
m!

xm+1 |x| m |x|
xm = m + 1 (1 n ) m + 1

entonces
|x|
|xm+1 | |xm |
m+1
|x| |x|2
|xm+2 | |xm+1 |
m+2 (m + 1)2
y asi sucesivamente; en resumen,
|x|3 |x|k
|xm+2 | , . . . , |x m+k | ;
(m + 1)3 (m + 1)k
por lo tanto
|xk+1 + xk+2 + + xn | |xk+1 | + |xk+2 | + + |xn |

!
|x| |x|2 |x|nk
|xk | + + +
(k + 1) (k + 1)2 (k + 1)nk
!
|x| |x|nk
|xk | 1
(k + 1) (k + 1)nk
=
|x|
1
(k + 1)
|xk | |x| |x|k+1
;
k + 1 |x| k!(k + 1 |x|)
como
x n
1+ (1 + x1 + x2 + + xk ) = xk+1 + xk+2 + + xn
n
entonces
x n |x|k+1
1+ (1 + x1 + x2 + + xk ) ,

n k!(k + 1 |x|)
de modo que al tomar el lmite cuando n ,

2 k
|x|k+1

x
e 1 + + x x x
+ + ;
1! 2! k! k!(k + 1 |x|)
si ahora tomamos el lmite cuando k , se obtiene el resultado

deseado:
x2 xk

x x
e = lm 1 + + + + .
k 1! 2! k!
Captulo 6
Series
6.1. Introduccion
En diversas instancias aparecen problemas que se modelan con sucesiones
cuyos terminos son sumas de numeros reales, por ejemplo:
Cuando consideramos el juego de las torres de Hanoi con 1, 2, 3, 4, . . . , n

discos, en el teorema 1.2 de la pagina 32 vimos que el mnimo numero
de pasos necesarios para trasladar los discos de un poste a otro es:
1, 1 + 2, 1 + 2 + 22 , 1 + 2 + 22 + 23 , . . . , 20 + 21 + + 2n1 .
En la pagina 118 consideramos un hexagono cuyo lado mide 1 unidad

y una sucesion de triangulos como se ve en la figura:
El area de la region sombreada en cada uno de los tres primeros pasos

es 2 !
3 3 3 3 3 3
, 1+ , 1+ + ,
4 4 4 4 4 4
147
148 6.1. Introduccion
mientras que el area sombreada hasta el n-esimo paso es

2 3 4 n1 !
3 3 3 3 3 3
1+ + + + + + .
4 4 4 4 4 4
Para construir la figura conocida como copo de nieve (ver pagina 120)
consideramos la siguiente sucesion de figuras:
Si el lado del triangulo equilatero mide 1 unidad, el area de las primeras

figuras es

1 22 1 22 24

3 3 1 3 3
, 1+ , 1+ + 3 , 1+ + 3 + 5
4 4 3 4 3 3 4 3 3 3
y el area de la n-esima figura es

1 22 24 26 28 22n2

3
1 + + 3 + 5 + 7 + 9 + + 2n1 .
4 3 3 3 3 3 3
En la pagina 118 consideramos el problema de inscribir una sucesion

de crculos en un triangulo equilatero, como se muestra en la siguiente
figura:
Captulo 6. Series 149
El numero de crculos en cada figura es
1, 1 + 3, 1 + 3 + 32 , 1 + 3 + 32 + 33 , . . . , 1 + 3 + 32 + 33 + + 3n , . . .
Cada uno de estos ejemplos se puede ver como una sucesion generada por
otra. As, la sucesion de pasos necesarios en el caso de las Torres de Hanoi
es generada por la sucesion
1, 2, 22 , 23 , 24 , . . . , 2n1 , . . .
y en el caso de los hexagonos la sucesion generatriz es

2 3 4 n1
3 3 3 3 3
1, , , , ,..., ,...
4 4 4 4 4
Como se observa en estos ejemplos anteriores, a partir de una sucesion

dada se puede construir una nueva, sumando los terminos de la sucesion
original respetando su orden; por ejemplo, dada la sucesion
1 1 1 1
1, , 2 , 3 , . . . , n1 , . . .
2 2 2 2
construimos las sumas
1 1 1 1 1 1 1 1 1 1
1, 1 + , 1 + + 2 , 1 + + 2 + 3 , . . . , 1 + + 2 + 3 + + n , . . .
2 2 2 2 2 2 2 2 2 2
Si esta sucesion de sumas tiene un lmite, este se escribe como una suma
infinita: X
1 1 1 1 1
lm 1 + + 2 + 3 + + n = n1
.
n 2 2 2 2 n=1
2
As podemos escribir los lmites de cada una de las sucesiones que vimos en
nuestros ejemplos como sumas infinitas:

X
N 1
0 1
2N 1 ;

lm 2 + 2 + + 2 =
N
N =1
2 3 n1 ! X n1
3 3 3 3 3 3 3
lm 1+ + + + + = ;
n 4 4 4 4 4 4 4
n=1
150 6.2. Series geometricas
y

1 22 24 26 28 22n2 3 22n2
X
3
lm 1 + + 3 + 5 + 7 + 9 + + 2n1 = .
n 4 3 3 3 3 3 3 n=1
4 32n1
Para calcular estas sumas, es decir, para calcular el lmite de cada sucesion
de sumas, recordemos que
2 n1 1 rn
1 + r + r + + r = ,
1r
por lo que en particular
2 3 4 n1
3 3 3 3 3 1 ( 34 )n
1+ + + + + + = ,
4 4 4 4 4 1 34
de modo que
n1 n

X 3 3 3
= 3 lm 1 = 3.
n=1
4 4 n 4
Ejercicio
Calcula las otras sumas infinitas.
6.2. Series geometricas

Diremos que una serie a1 + a2 + a3 + + an + es geometrica si las
razones
a2 a a4 an+1 an+2
= 3 = = = = =
a1 a2 a3 an an+1
an+1
son iguales; es decir, si an
es constante para toda n.
Ejercicio
Comprueba que cada una de las series de la seccion anterior es una serie
geometrica.
Consideremos una serie geometrica a1 +a2 +a3 + +an + . Si denotamos
por r la razon entre los terminos consecutivos tenemos que a2 = ra1 y que
a3 = ra2 , lo que implica que a3 = r2 a1 . De manera analoga, a4 = r3 a si

continuamos de esta manera tendremos que an+1 = rn a1 , as que la serie
a1 + a2 + a3 + + an + adquiere la forma
a1 + a1 r + a1 r2 + + a1 rn1 + a1 rn + .
Ejercicio
Comprueba que las siguientes series son geometricas:
1 + 13 + 1
32
+ 1
33
+ + 1
3n
+
1 1 1 1
9
+ 92
+ 93
+ + 9n
+
0.5 + 0.25 + 0.125 + 0.0625 +
1.1 + 1.21 + 1.331 + 1.4641 +

9 9 9 9
10
+ 100
+ 1000
+ 10000
+
2 4 8 16
5
+ 25 + 125 + 625
+

2 1 2
2
+ 2
+ 4
+ 14 +
Hay una relacion estrecha entre las series geometricas y los numeros ra-
cionales, que podemos describir como sigue. Sabemos que si expresamos el
numero 23 en forma decimal tenemos
2
= 0.6666 ,
3
donde la lista de numeros 6 es infinita. Una manera abreviada de escribir
0.6666 consiste en poner una lnea arriba del numero que se repite una
infinidad de veces, as: 0.6. Veamos que este numero se puede escribir como
una serie, para lo que consideramos la sucesion
0.6, 0.66, 0.666, 0.6666, 0.66666, . . .
que tambien puede escribirse como

6 66 666 6666
, , , ,....
10 100 1000 10000
Observemos que cada uno de los terminos se expresa como sigue:

6 66 6 6 666 6 6 6
, = + , = + + ,
10 100 10 100 1000 10 100 1000
6666 6 6 6 6
= + + + ;
10000 10 100 1000 10000
de hecho, el numero decimal que esta en el lugar n-esimo de esta ultima
sucesion se escribe como la suma
6 6 6 6
0.666 6 = + + + +
10 100 1000 1000 0
6 6 6 6
= + + + + n.
10 102 103 10

2 6
P
Esto sugiere averiguar si 3
= 10n
. Para contestar, primero veremos a
n=1
la serie como lmite de la sucesion de las sumas parciales, esto es,

X 6 6 6 6 6
= lm + + + + n .
n=1
10n n 10 102 103 10
Por otro lado tenemos

6 6 6 6 6 1 1 1
+ 2 + 3 + + n = 1+ + + + n1
10 10 10 10 10 10 102 10
1 n n

6 1 10

2 1
= 1 = 1 .
10 1 10 3 10
Al pasar al lmite,
n
6 6 6 6 2 1 2
lm + 2 + 3 + + n = lm 1 = ,
n 10 10 10 10 n 3 10 3

2 6
P
de modo que, en efecto, 3
= 10n
; en otras palabras, hemos podido escribir
n=1
al numero 0.6 = 23 como el lmite de una serie geometrica.
Consideremos ahora al numero decimal 0.27272727 = 0.27. Veamos si
podemos escribirlo como el lmite de una serie geometrica. Primero construi-
mos una sucesion que se va aproximando a este numero:
0.27, 0.2727, 0272727, . . .

y a su vez esta sucesion la escribimos como una sucesion de sumas parciales

27 27 27 27 27 27
, + , + + ,...
100 100 10000 100 10000 1000000
o tambien
27 27 27 27 27 27
, + , + + ,....
102 102 104 102 104 106
Veamos entonces el comportamiento del n-esimo termino de la sucesion:
27 27 27 27 27 1 1 1

102 + 104 + 106 + + 102n = 2
10
1 + 10 2 + 10 4 + + 102n2
1 2
n1
= 102 1 + 102 + 102 + + 1012
27 1

n

27 1( 12 ) n
= 102 10
1 1
= 27 99
1 1012 ;
102
por lo tanto tenemos

27 27 27 27
0.27 = lm + + + + 2n
n 102 104 106 10
n n
27 1 3 1
= lm 1 = 1 lm
n 99 102 11 n 102
y podemos escribir

X 27 3
0.27 = 2n
= .
n=1
10 11
As, hemos
P podido escribir a los numeros 0.6 = 23 y 0.27 = 3
11
como series
geometricas n=1 arn1 , donde r es una potencia de 10.
Veamos si podemos escribir el numero decimal 0.9 como una serie geome-
trica. Ya sabemos que el numero 0.999 9 (n nueves) tiene la forma
9 9 9 9
0.999 9 = + 2 + 3 + + n
10 10 10 10
9 1 1 1
= 1+ + + + n1
10 10 102 10
1
9 1 10n
= 1 ;
10 1 10
entonces
1
0.999 9 = 1 .
10n
Por lo tanto,

X 9 1
0.9 = n
= lm 1 n = 1.
n=1
10 n 10
El numero 1 tiene dos representaciones decimales, una como 1.000 y

otra con una infinidad de nueves!
De igual manera, cualquier entero tiene dos representaciones decimales;
cualquier numero entero p tambien se escribe como (p 1).99999 (nota el
punto decimal), donde p 1 es la parte entera de esta representacion.
Que pasa con las representaciones decimales que tienen una infinidad de
9, como 2.1249999 . . .? En este ejemplo, intuitivamente el numero se parece
a 2.125. Para confirmar esta sospecha, primeramente consideremos el numero
2.1249999 9 (n nueves) y escribamoslo as:
1 2 4 9 9 9 9
2.1249999 9 = 2 + + 2 + 3 + 4 + 5 + 6 + + 4+(n1) .
10 10 10 10 10 10 10
Al factorizar obtenemos
1 2 4 9 9 9 9
2.1249999 9 = 2 + 10
+ 102
+ 103
+ 104
+ 105
+ 106
+ + 104+(n1)
1 2 4 9 1 1 1

= 2+ 10
+ 102
+ 103
+ 104
1 + 10 + 102
+ + 10n1
1
1 2 4 9 1 10n
= 2+ 10
+ 102
+ 103
+ 104 1
1 10
1 2 4 9 10 1

= 2+ 10
+ 102
+ 103
+ 104 9
1 10 n
1 2 4 1 10 1
= 2+ 10
+ 102
+ 103
+ 103
9 10n
1 2 5 1
= 2+ 10
+ 102
+ 103
103
109
101n ;
pasando al lmite cuando n tiende a infinito, se obtiene

1 2 5
2.1249999 = 2 + + 2 + 3 = 2.125
10 10 10
de modo que nuestra sospecha era cierta.
Ejercicios
1. Comprueba que 0.001 = 0.000999 , 3.458 = 3.457999 y 27.79 =
27.78999 .
2. Demuestra que el numero decimal 0.a1 a2 a3 am , (am 6= 0) se puede

escribir como 0.a1 a2 a3 (am 1)99999
3. Representa cada uno de los siguientes numeros como el lmite de una
serie:
174 35 1 2 7 5 13
, , , , , 75 , y 3.1416.
100 175 3 7 16 11 25
Hemos visto varios ejemplos de series geometricas, que tienen la forma
a + ar + ar2 + ar3 + + arn1 + ,
con a 6= 0. La n-esima suma parcial es
2 3 n1 2 3 n1 1 rn
a + ar + ar + ar + + ar = a(1 + r + r + r + + r )=a ,
1r
siempre que r 6= 1. Sabemos que esta ultima expresion converge si |r| < 1;
es decir,
1 rn a
lm (a + ar + ar2 + ar3 + + arn1 ) = lm a = ,
n n 1r 1r
si |r| < 1. En este caso decimos que la serie geometrica es convergente.
Si r > 1, sabemos que rn , de modo que en este caso la serie

geometrica es divergente. Si r < 1, el termino (1 rn ) es positivo si n es
impar y negativo si n es par; por tanto, las sumas parciales divergen. Por
otro lado, si r = 1 tenemos que
lm (a + a + a + a + + a) = lm na =
n n
Por ultimo, veamos el caso en que r = 1. La n-esima suma parcial es

1 1 + 1 1 + + (1)n ,
la cual toma el valor 0 si n es par y 1 si n es impar. Por lo tanto, la serie

X
(1)n1
n=1

rn1 converge si |r| < 1 y
P
es divergente. En resumen, la serie geometrica
n=1
diverge si |r| 1. En general, diremos lo siguiente:

P
Definicion 6.1. Una serie an es convergente si la sucesion de las sumas
n=1
parciales
Sn = a1 + a2 + a3 + + an
es convergente y escribimos

X
lm Sn = an .
n
n=1
Puesto que la convergencia de una serie se define en terminos de la con-

vergencia de sus sumas parciales, como consecuencia de las propiedades de
las sucesiones convergentes obtenemos las siguientes propiedades basicas de
las series convergentes.
P
P
Proposicion 6.2. Sean an y bn dos series y un numero real.
n=1 n=1

P
P
P
1. Si an y bn son convergentes, entonces la serie (an + bn ) es
n=1 n=1 n=1
convergente y

X
X
X
(an + bn ) = an + bn .
n=1 n=1 n=1

P
P
2. Si an es convergente, entonces la serie an es convergente y
n=1 n=1

X
X
an = an .
n=1 n=1
Para demostrar esto, observemos que:

n n
ak y Sn0 =
P P
1. Como las sumas parciales Sn = bk son convergentes
k=1 k=1
y la suma de sucesiones convergentes es convergente, entonces Sn + Sn0
es convergente y
lm (Sn + Sn0 ) = lm Sn + lm Sn0 ;
n n n
por lo tanto,

X
X
X
(an + bn ) = an + bn
n=1 n=1 n=1
n
P
2. Como la sucesion de sumas parciales Sn = ak es convergente, sabe-
k=1
mos que al multiplicar cada termino de esta sucesion obtenemos una
Pn
sucesion convergente, tenemos que la sucesion Sn = ak es con-
k=1

P
vergente; por lo tanto la serie an es convergente para todo R
n=1
y

X X
an = an .
n=1 n=1
Es posible utilizar estas propiedades basicas y lo que sabemos de las series

geometricas para el analisis de otras series. Por ejemplo, estudiemos la serie

X
nrn1 .
n=1
Esta serie no es geometrica, pues la razon

(n + 1)rn

1
= 1+ r
nrn1 n
no es constante. Sin embargo, esta razon se parece mucho a r cuando n es
suficientemente grande. Analicemos la n-esima suma parcial de esta serie,
1 + 2r + 3r2 + 4r3 + + nrn1
que podemos descomponer de la siguiente forma:
1 + r + r2 + r3 + + rn2 + rn1 + r + r2 + r3 + + rn2 + rn1

+ r2 + r3 + + rn2 + rn1 + + rn2 + rn1 + rn1 ,

lo que es igual a
1 + r + r2 + r3 + + rn2 + rn1 + r 1 + r + r2 + r3 + + rn2

+r2 1 + r + r2 + r3 + + rn3 + + rn2 (1 + r) + rn1 .

Cada una de las sumas que aparece entre parentesis es una suma geometri-
ca, de modo que podemos escribir
1 rn 1 rn1 1 rn2
1 + 2r + 3r2 + 4r3 + + nrn1 = +r + r2
1r 1r 1r
2
1 r 1 r
+ + rn2 + rn1
1r 1r
158 6.3. Criterios de convergencia
lo que a su vez se expresa como

1 1
(1 + r + + rn2 + rn1 ) (rn + rn + + rn + rn )
1r 1r
1 rn nrn

1
= .
1r 1r 1r
Ejercicio

nrn1 es convergente si
P
Usa esta ultima igualdad para ver que la serie
n=1
|r| < 1 y divergente si |r| > 1. De hecho, demuestra que si |r| < 1, entonces

X 1
nrn1 = .
n=1
(1 r)2
Veamos que ocurre en los casos restantes. Para r = 1, la n-esima suma es

n(n + 1)
1 + 2 + 3 + + n =
2
lo cual diverge a + cuando n . Si r = 1, la n-esima suma es
1 2 + 3 4 + + (1)n n,
cuyas primeras sumas parciales son 1, 1, 2, 2, 3, 3, 4, 4, 5, 5.
Ejercicio
Demuestra que la sucesion formada por las sumas parciales impares di-
verge a +, mientras que la sucesion de sumas parciales pares diverge a
.
6.3. Criterios de convergencia

Comencemos esta seccion estudiando dos series parecidas a las geometri-
cas:
X
2 n1
X rn1
nr y .
n=1 n=1
n
Analicemos la razon an+1

an
para cada una de las series. Para la primera
2 n1
serie, an = n r , de modo que
2
(n + 1)2 rn

1
= 1+ r;
n2 rn1 n

para la segunda, an = rn1 / n, de modo que
n
r
r
n+1 n
n1
r
= r.
n
n+1
En los dos casos, las razones se aproximan a r cuando n es suficientemente

grande, igual que en los ejemplos anteriores. Puesto que en aquellos ejemplos
vimos que la serie converge cuando |r| < 1, podemos preguntarnos: Si los
terminos de una serie satisfacen que lm an+1 < 1, la serie es convergente?

n an
En los dos ultimos ejemplos se cumple que lm an+1 = r. Analicemos

n an
quiere decir que dada > 0, existe N N tal que si

esta situacion. Esto
n N , entonces an+1 r < . Esta ultima desigualdad se escribe tambien

an
como las dos desigualdades
an+1
< r < .
an
Por lo tanto, si n = N , tenemos que
( + r)aN < aN +1 < ( + r)aN ;
de la misma manera, si n = N + 1,
( + r)aN +1 < aN +2 < ( + r)aN +1 .
De estas desigualdades se obtiene
( + r)2 aN < aN +2 < ( + r)2 aN
y en general llegamos a que
( + r)k aN < aN +k < ( + r)k aN .

Al sumar para n = N, N + 1, . . . , N + k, se obtiene
aN +1 + aN +2 + + aN +k < ( + r)aN + ( + r)2 aN + + ( + r)k aN
( + r)aN + ( + r)2 aN + + ( + r)k aN < aN +1 + aN +2 + + aN +k .
En los dos casos se tiene que aN +1 + + aN +k esta acotada por sumas

geometricas de razones ( + r) y ( + r) respectivamente; por lo tanto,
1 ( + r)k 1 ( + r)k

(+r) aN < aN +1 + +aN +k < (+r) aN
1 ( + r) 1 ( + r)
En los dos ejemplos que estamos analizando, los terminos son positivos
y por lo tanto las sumas parciales forman sucesiones crecientes. Si probamos
que las sucesiones estan acotadas, entonces seran convergentes y si no estan
acotadas seran divergentes. Analizaremos por separado dos situaciones, la
primera si r < 1 y la segunda si r > 1.
En el caso en que r < 1, tomemos de tal manera que + r < 1, de modo
que
1 ( + r)k

aN
aN +1 +aN +2 + +aN +k < (+r) aN < (+r) ;
1 ( + r) 1 ( + r)
entonces estas sumas estan acotadas y por lo tanto son convergentes. Pasando
al lmite,

1
lm (aN +1 + aN +2 + + aN +k ) < ( + r) aN ,
k 1 ( + r)
por lo que

1
lm (a1 + + aN +k ) < a1 + + aN + ( + r) aN .
k 1 ( + r)
Por lo tanto los dos ejemplos son convergentes cuando r < 1.

Cuando r > 1 nos conviene tomar de tal manera que ( + r) > 1, pues
entonces
( + r)aN + ( + r)2 aN + + ( + r)k aN < aN +1 + aN +2 + + aN +k

y tenemos que las sumas parciales son mayores que una suma geometrica de
razon mayor que uno, por lo que las sumas parciales no estan acotadas y por
lo tanto divergen.

n2 y 1 . La primera
P P
En el caso de r = 1, las series en cuestion son n
n=1 n=1
diverge porque
n(n + 1)(2n + 1)
12 + 22 + 32 + + n2 = .
6

1
P
La serie n
tambien diverge, pues si consideramos n sumandos,
n=1
1 1 1 1 n
+ + + + > = n,
1 2 3 n n

y la sucesion { n} no esta acotada.
En conclusion, las series

X
2 n1
X rn1
nr y
n=1 n=1
n
convergen cuando r < 1 y divergen cuando r 1.

De esta manera podemos analizar otras series; por ejemplo, veamos para
que valores de la serie
X
n rn
n=1
es convergente. Basta analizar a que converge la razon

(n + 1) rn+1 (n + 1)

1
= r = 1+ r.
n r n n n

Tenemos que lm 1 + n1 r = r que no depende de . Por lo tanto la
n
serie n
P
n=1 n r converge para toda 0 < r < 1 y diverge para r > 1. Si r = 1,
sustituimos en la serie y se obtiene

X
n
n=1
cuyo analisis realizamos mas adelante.

En resumen, para ver si cada una de las series era convergente o divergente
usamos dos hechos muy importantes: el primero, que toda sucesion creciente y
acotada es convergente y el segundo que una sucesion creciente no acotada es
divergente. Esto nos permite escribir los siguientes criterios de convergencia
de series:
Criterios de convergencia
1. Sean {an } y {bn } dos sucesiones con terminos positivos tales que an
bn para toda n.
P
P
a) Si la serie n=1 bn es convergente, la serie an es convergente.
n=1

P
P
b) Si la serie an es divergente, la serie bn es divergente.
n=1 n=1
2. Criterio de la razon de DAlembert. Sea {an } una sucesion de

terminos positivos y r = lm an+1
P
an
. Entonces la serie an es conver-
n n=1
gente si r < 1 y es divergente si r > 1.
Ejemplos
Con base en el criterio de DAlembert analicemos la convergencia o di-
vergencia de las series

X nn X n2 X (n + 1)(n + 2)
, y .
n=1
n! n=1
2n n=1
n!
(n + 1)n+1
n
(n + 1)n

an+1 (n + 1)! 1
lm = lm = lm = lm 1 + = e;
n an n nn n nn n n
n!
(n + 1)2
an+1 n+1 1 (n + 1)2 1
lm = lm 2 2 = lm = ;
n an n n n 2 n2 2
2n
(n + 2)(n + 3)
an+1 (n + 1)! (n + 3)
lm = lm = lm = 0.
n an n (n + 1)(n + 2) n (n + 1)2
n!
Por el criterio mencionado, tenemos que la primera serie diverge y las
otras dos convergen.
Ejercicio
Usa el criterio de DAlembert para decidir si

X (n + 3)!
n=1
n!(3n)!3n
converge o diverge.
Cuando r = lm an+1 = 1, puede suceder que la serie sea convergente o
n an
divergente. Como ya hemos visto, las series

X
2
X 1
n y
n=1 n=1
n
satisfacen que este lmite es 1 y ambas son divergentes. Veamos un ejemplo

1
P
donde el lmite es 1 y la serie converge: Consideremos la serie n2
cuyo
n=1
1
termino general es an = n2
. En este caso tenemos
1
an+1 (n+1)2 n2
lm = lm 1 = lm = 1.
n an n n (n + 1)2
n2
Ahora comprobaremos que la serie es convergente, mostrando una serie

que este por arriba de ella y que sea convergente. Para esto analizaremos
algunos grupos de sumandos de la serie:
1 1 1 1 1
S3 = 1 + 2
+ 2 1+ 2 + 2 1+ ;
2 3 2 2 2
por otro lado,
1 1 1 1 1 1 1 1 4 1
+ + + + + + = ,
42 52 62 72 42 42 42 42 42 4
acoplando las dos sumas anteriores se obtiene

1 1 1 1 1 1 1 1
S7 = 1 + 2
+ 2 + 2 + 2 + 2 + 2 1+ + .
2 3 4 5 6 7 2 4
1 1
Ahora escribamos los siguientes sumandos empezando con 82
hasta 152
para
obtener
1 1 1 1 1 1 1 1 1 1 1 1 1 8 1
+ + + + + + + + + + + + = = ,
82 92 142 152 82 82 82 82 82 82 82 82 82 82 8
de modo que
1 1 1 1 1 1 1 1
S15 = 1 + + + + + + 1 + + + .
22 32 42 142 152 2 4 8
1 1
El siguiente grupo de sumandos va de 162
hasta 312
:
1 1 1 1 1 1 1 1 16 1
2
+ 2 + + 2 + 2 2 + 2 + + 2 + 2 = 2 = ;
16 17 30 31 16 16 16 16 16 16
entonces la suma parcial S35 de los primeros 35 terminos de la serie cumple
que
1 1 1 1
S35 1 + + + + .
2 4 8 16
Al observar las desigualdades que usamos para acotar las sumas S3 , S7 ,
S15 y S35 , empezamos con una potencia de 2 al cuadrado y terminamos con
el numero anterior a la siguiente potencia de 2. Por ejemplo, si iniciamos con
1/(2k )2 , terminamos con 1/(2k+1 1)2 :
1 1 1 1 1 1 1
2k
+ k 2
+ k 2
+ + k+1 2
2k + 2k + + 2k ,
2 (2 + 1) (2 + 2) (2 1) |2 2 {z 2 }
2k sumandos
de donde
1 1 1 1 2k 1
2k
+ k 2
+ k 2
+ + k k 2
2k
= k,
2 (2 + 1) (2 + 2) (2 + 2 1) 2 2
as que se cumple
1 1 1 1 1 1
S2k+1 1 = 1 + 2
+ 2 + + k k 2
1 + + 2 + + k
2 3 (2 + 2 1) 2 2 2
y como ya vimos que la serie de la derecha converge a 2, entonces la serie

1
P
n2
esta acotada y por lo tanto es convergente.
n=1
Tratemos
1 de generalizar este metodo. Cuales son las propiedades de la
sucesion n2 que nos permiten acotar la serie? La sucesion es decreciente
con terminos positivos que convergen a cero, entonces elijamos una sucesion
{an } de terminos positivos, decreciente y que converja a cero, y tratemos de
aplicar el metodo seguido en el ejemplo:
Como la sucesion es decreciente, en particular a3 a2 y se satisface la
siguiente desigualdad
a1 + a2 + a3 a1 + a2 + a2 = a1 + 2a2 .
Ahora tomemos los terminos a4 , a5 , a6 , a7 . Como a4 es mayor que cada
uno de estos elementos se cumple
a4 + a5 + a6 + a7 a4 + a4 + a4 + a4 = 4a4 .
Al considerar los siguientes 8 terminos y dado que a8 es mayor que cada
uno, se obtiene
a8 +a9 +a10 +a11 +a12 +a13 +a14 +a15 a8 +a8 +a8 +a8 +a8 +a8 +a8 +a8 = 8a8 .
Si acoplamos estas tres sumas tenemos la suma parcial
a1 + a2 + a3 + + a15 a1 + 2a2 + 4a4 + 8a8 ;
continuando de esta forma, en el kesimo paso tendremos que a2k es mayor
que cada uno de los sumandos anteriores:
a2k + a2k +1 + a2k +2 + + a2k+1 1 a2k + a2k + a2k + + a2k = 2k a2k .
| {z }
2k sumandos
Acoplando todas estas sumas obtenidas tenemos:

S2k+1 1 = a1 + a2 + a3 + + a2k+1 1 a1 + 2a2 + 4a4 + + 2k a2k .

2n a2n , que es mayor
P
Con este procedimiento hemos construido la serie
n=1

P P
que la serie an . Ahora podemos afirmar que la serie an es convergente
n=1 n=1

n
P
si la serie 2 a2n es convergente.
n=1
Una pregunta que se antoja es la recproca: Si la sucesion {an } es de-

P
creciente, con terminos positivos que convergen a cero y la serie an es
n=1

n
P
convergente, sera convergente la serie 2 a2n ?
n=1
Para contestar esta pregunta, consideraremos sumas parciales con ndice
potencia de 2, por ejemplo,
S 8 = a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8
= a1 + a2 + (a3 + a4 ) + (a5 + a6 + a7 + a8 )
2a2 + 2a4 + 4a8 .
Si le agregamos
a9 + a10 + a11 + a12 + a13 + a14 + a15 + a16 8a16
a la suma anterior podemos ver que hay una regularidad: Para cada k se
cumple
a2k +1 + a2k +2 + a2k +3 + + a2k+1 2k a2k+1 .
Al ensamblar todas estas sumas para tener la suma parcial con ndice
2k+1 obtenemos
S2k+1 = a1 + a2 + a3 + + a2k +1 + a2k +2 + a2k +3 + + a2k+1

2a2 + 2a4 + 4a8 + + 2k a2k+1
1
2a2 + 4a4 + 8a8 + + 2k+1 a2k+1

= a2 +
2
y al pasar al lmite,
1
lm 2a2 + 4a4 + 8a8 + + 2k+1 a2k+1 ;

lm S2k+1 a2 +
k 2 k
por lo tanto,

X 1X n
an a2 + 2 a2n
n=1
2 n=1

2n a2n es convergente.
P P
y como la serie an es convergente, la serie
n=1 n=1
Criterio de convergencia de las potencias de 2. (Cauchy)

Sea {an } una sucesion positiva, decreciente y que converge a cero. La

2n a2n es convergente. De hecho, se
P P
serie an es convergente si y solo si
n=1 n=1
satisfacen las desigualdades

1X n X X
a2 + 2 a2n an 2n a2n
2 n=1 n=1 n=1

2n a2n es divergente.
P P
En forma equivalente, an es divergente si y solo si
n=1 n=1
Ejemplo
1

La sucesion , con > 0, es una sucesion positiva, decreciente y
n

1
P
converge a cero. Para que valores de la serie n
es convergente?
n=1
Para contestar usaremos el criterio de Cauchy. Primero construimos la

2n a2n donde an = n1 ; entonces a2n = (2n1) , y la serie por analizar
P
serie
n=1
es:

X 1 X 1 X 1
2n n = nn
= n(1)
.
n=1
2 n=1
2 n=1
2
1
Esta serie es geometrica, con la razon 21 . Como sabemos, para que la
serie sea convergente la razon debe ser menor que 1, por lo tanto la serie

1
P
n
es convergente cuando > 1. Por otro lado,
n=1

2n 21n =
P P
Si = 1, 1 = lm n = .
n=1 n=1 n

1 1
2n 2n 2n(1) y esta serie es geometrica
P P P
Si < 1, = 2nn
=
n=1 n=1 n=1

1
con razon 21 > 1. Por lo tanto la serie
P
n
es divergente en este caso.
n=1
En resumen:

1
P
Proposicion 6.3. La serie n
es convergente si > 1 y es divergente si
n=1
1.
Antes de continuar, aprovecharemos resaltaremos una propiedad de las

series convergentes.

P
Observacion 6.4. Si una serie an es convergente, entonces lm an = 0.
n=1 n
Esto es facil de probar; como

Sn = a1 + a2 + + an1 + an = (a1 + a2 + + an1 ) + an = Sn1 + an
y lm Sn = lm Sn1 , entonces
n n
lm an = lm Sn lm Sn1 = 0.
n n n
Esto nos da una condicion necesaria para la convergencia, pero que no es

1
es divergente y lm n1 = 0.
P
suficiente, ya que la serie armonica n
n=1 n
Otra manera de formular esta propiedad es: Si una sucesion {an } no

P
converge a cero o no es convergente entonces la serie an es divergente.
n=1
Ejemplo
Las series
X X X n
(1)n , n
2 , ,
n=1 n=1 n=1
n+1
n
son divergentes, porque lm (1) no existe; lm 2n = y lm
n
= 1.
n n n n+1
Ejemplo
Usaremos el criterio de las potencias de 2 para verificar la convergencia o

1
P
divergencia de la serie n log n
.
n=2
1
El n-esimo termino de la sucesion es n log n
, de modo que el 2n -esimo

1
2n a2n obtenemos la serie
P
termino es 2n log 2n . Sustituyendo en
n=1

X
n 1 X 1 1 X1
2 n = = .
n=1
2 log 2n n=1
n log 2 log 2 n=1 n

1
P
Esta ultima serie es divergente, por lo tanto n log n
es divergente.
n=2
Ejemplo

1
P
Para que valores de la serie log n
converge?
n=2
Primero observemos que la sucesion {log n} es creciente.
n oComo > 0, la
1
sucesion {log n} es creciente y por tanto la sucesion log n es decreciente.
Ademas, como lm log1 n = 0, esta sucesion satisface las primeras hipotesis
n
del criterio de las potencias de 2.
Ahora, si an = log1 n , entonces a2n = log1 2n = (n log1 2) y

X
n
X 2n 1 X 2n
2 a2n = = .
n=1 n=1
(n log 2) log 2 n=1 n
Para determinar la convergencia o divergencia de esta serie usamos el

criterio de la razon:
2n+1

(n + 1) n
=2 .
2n n+1
n

n 1
P
Puesto que lm 2 n+1 = 2 para toda , la serie log n
diverge para
n n=2
toda > 0.
Ejercicio
Verifica la convergencia o divergencia de las siguientes series:

P 1
1. 2 2 ;
n=2 n log n
P log n
2. 2
;
n=2 n

P 1
3. 2
.
n=2 n log n(log log n)
Teniendo en cuenta el criterio de convergencia de DAlembert podemos

dar un nuevo criterio de convergencia:
Criterio de comparacion por cociente de dos series con terminos

positivos

an
P P
Si lm = r 6= 0, entonces las series an y bn son convergentes o
n bn n=1 n=1
divergentes en forma simultanea.
Demostracion. Dada = 2r , existe un numero N tal que si n > N , entonces

an
r < r

bn 2
de modo que
r r
+ r bn < an < + r bn , si n > N.
2 2
Si sumamos a partir de N + 1 obtenemos

r X X 3r X
bn < an < bn
2 n=N +1 n=N +1
2 n=N +1

P
P
P
Si la serie bn es convergente, entonces bn y an son conver-
n=1 n=N +1 n=N +1

P
gentes y por lo tanto la serie an es convergente. De manera analoga si la
n=1

P
P
serie an es convergente la serie bn tambien lo es.
n=N +1 n=N +1
Que ocurre en el caso r = 0? Consideremos las series

X 1 X 1 X 1 X 1
, 2
, 3
, .
n=1
n n=1
n n=1
n n=2
n log n
La primera y la ultima son series divergentes, mientras que la segunda y
la tercera son convergentes. Al calcular los lmites de los cocientes, tenemos
que
1
n2 1
lm = lm = 0;
n 1 n n
n
1
3 1
lm n1 = lm = 0;
n 2 n n
n
1
n log n 1
lm 1 = lm = 0.
n n log n
n
Con estos ejemplos podemos concluir que lm abnn = 0 no nos da informa-

n
cion sobre la convergencia o divergencia de las series.
Ejemplo

1 1
P P
Comparemos la serie n4 n2 +n+1
con n4
, que sabemos es convergen-
n=1 n=1
te. Tenemos que
1
n4 1 1 1
lm 1 = lm 1 2 + 3 + 4 = 1.
n 4
n n2 +n+1
n n n n

1
P
Por lo tanto, la serie n4 n2 +n+1
es convergente.
n=1
Ejercicios

1
P
1. Usa el hecho de que la serie nk
es convergente para toda k > 1 y
n=1

1
P
demuestra que la serie p(n)
converge. Aqu, p(n) es un polinomio
n=1
positivo de grado k.
2. Si p(x) y q(x) son polinomios, que condiciones deben cumplir estos

P q(n)
para que la serie p(n)
sea convergente?
n=1
Una manera de reconocer una serie geometrica de terminos positivos con-

P
siste en calcular la raz n-esima del termino general; esto es, si la serie es an
n=1
calculamos n an . Si para cada n obtenemos el mismo valor r entonces la serie

es geometrica, convergente si n an = r < 1 y divergente si n an = r 1.

Observando lo anterior se antoja conjeturar que si lm n an < 1 la serie
n
P
P
an converge; mientras que si lm n an 1 la serie an diverge.
n=1 n n=1
Para verificar nuestra conjetura apliquemos este criterio a las series

X 1 X 1 X
, , n r n ; (6.1)
n=1
n n=1
n2 n=1
observa que ya sabemos que la primera serie es divergente y la segunda es

convergente.

Sera suficiente calcular lm n n, porque
n
r
n 1 1
n

lm = 2 y lm n rn = r lm n n .
n n2 n n
lm n n
n

2

3

Estudiemos entonces la sucesion 1, 2, 3, . . . , n n, . . .; en la siguiente
tabla tenemos algunos de sus terminos:

n
n
n Valor aproximado
2
2 2 1.414213562
3
3 3 1.442249570
.. .. ..
. . .
25
25 25 1.13741146175
50
50 50 1.0813826568

102
102 102 1.047128548050

10 3
103 103 1.00693166885

106
106 106 1.0000138156

1010
1010 1010 1.0000000002
Con estos calculos observamos la tendencia de la sucesion y esta se apro-

xima a 1. Ademas, los elementos de la sucesion sonmayores a 1, de modo
que para cada n existe un numero hn > 0 tal que n n = 1 + hn . Tenemos
ahora una sucesion {hn } de numeros positivos; probaremos que esta sucesion
converge a cero,
lo cual mostrara que nuestra sucesion original converge a 1.
Puesto que n = 1 + hn , esto implca que n = (1 + hn )n . Desarrollando el
n
binomio obtenemos
n(n 1) 2 n(n 1)(n 2) 3

n = 1 + nhn + hn + hn + + hnn .
2 3!
Como todos los sumandos son positivos, tenemos que n nhn , lo que
implica que hn 1 y por lo tanto

1 n
n 2.
Por otro lado, tenemos tambien la desigualdad

n(n 1) 2
n hn
2
que implica
2
h2n
n1
y
2
0 lm h2n lm= 0.
n 1 n n
Como hn > 0 tenemos lm hn = 0 y podemos afirmar que

n

n
lm n = 1;
n
as, para las dos primeras series de (6.1),

r r
n 1 1 n 1
lm = =1 y lm = 1.
n n lm n n n n2
n

Estos ejemplos muestran que lm n an = 1 no nos da informacion sobre
n
la convergencia o divergencia de una serie. Veamos que ocurre cuando este
lmite es diferente de 1.

Sea r = lm n an . Dada > 0, existe N N tal que si n N entonces
n
n an r < . Esto es equivalente a

r< n
an < r + , si n N
o bien,
(r )n < an < (r + )n , si n N ;
por lo tanto,
aN + aN +1 + + aN +k < (r + )N + (r + )N +1 + + (r + )N +k
(r )N + (r )N +1 + + (r )N +k < aN + aN +1 + + aN +k ;
de estas dos desigualdades podemos concluir la convergencia o la divergencia

de la serie, como veremos a continuacion:
Supongamos que r < 1 y sea tal que r + < 1; entonces usamos la

primera de estas desigualdades para obtener

X 1
an (r + )N ;
n=N
1 (r + )

P
por lo tanto la serie an es convergente.
n=1
Si r > 1, elegimos tal que (r ) > 1 y tenemos de la segunda de estas

an es mayor que la serie (r )N (r )n
P P
desigualdades que la serie
n=N n=1

P
que es divergente, por lo tanto la serie an es divergente.
n=N
Criterio de la raz (Cauchy)

P
Sean an una serie de terminos positivos y r = lm n a .
n
n=1 n
Si r < 1, la serie es convergente.
Si r > 1, la serie es divergente.
Si r = 1, no podemos concluir la convergencia o divergencia de la serie.
Ejemplos

nk
P
Para que valores de k y b la serie bn
es convergente?
n=1
Supongamos que b > 0 y calculemos primero la raz n-esima del termino
general de la serie: r
k n n
n n nk nk
= = ;
bn n n
b b
en el lmite,
n
nk 1
lm = .
n b b
Por lo tanto:
Si b > 1, la serie converge para toda k;

Si b > 1, la serie diverge.para toda k;

nk converge si k < 1 y diverge si
P
Si b = 1, sabemos que la serie
n=1
k 1.
Tenemos dos criterios de convergencia (o divergencia) que surgen del com-
portamiento de las series geometricas, el primero es el criterio de la razon y
el segundo el de la raz. Si aplicamos el criterio de la razon a la ultima serie
obtenemos
(n+1)k k
bn+1 1 n+1 1
lm nk = lm = ,
n n b n b
bn
de modo que obtenemos el mismo valor que nos permite decidir la conver-
gencia o divergencia de la serie. Habra una sucesion {an } tal que existiendo
los lmites
an
lm n an y lm ,
n n bn
estos sean diferentes? Analicemos dos ejemplos aplicando los dos metodos.
Ejemplo
n 2o
Consideremos la serie generada por la sucesion 1+n nn
y apliquemos pri-
mero el criterio de la razon:
1 + (n + 1)2
(n + 1)n+1 (n2 + 2n + 2) nn
lm = lm
n 1 + n2 n (n2 + 1) (n + 1)n+1
nn
(n2 + 2n + 2) nn
= lm 2 lm
n (n + 1) (n + 1) n (n + 1)n
(n2 + 2n + 2) 1
= lm 2 lm n
n (n + 1) (n + 1) n 1 + 1
n
1
= 0 = 0.
e
Ahora pasamos al criterio de la raz:
r
n 1 + n
2 1n 2 = lm
1
n
lm n
= lm 1 + n lm 1 + n2 = 0 1 = 0;
n n n n n n n
y obtuvimos el mismo numero.

Ejemplo
1

Veamos que ocurre con la serie generada por la sucesion nan
:
1
(n+1)an+1 1 n 1
lm 1 = lm = ;
n
nan
a n n + 1 a
por otro lado,

r
n 1 1 1 1 1
lm n
= lm = lm =
n na n a n
n
a n n
n
a
y nuevamente son iguales los lmites.
Ejercicios
n
1. Demuestra que para la serie generada por la sucesion n25+4 los lmites
que aparecen en los criterios de la razon y de la raz coinciden.
2. Demuestra que para la serie generada por la sucesion

1 1 1 1 1 1
1, , , 2 , 2 2, 3 2, 3 3,...
2 23 2 3 2 3 2 3 2 3
no se verifica la igualdad de los lmites que aparecen en los criterios de
la razon y de la raz.
Ahora comprobaremos que los lmites son iguales cuando ambos existen.

P
Para mostrar esto, supongamos que la serie an es tal que
n=1
an+1
r = lm n
an y R = lm
n n an
existen y son diferentes. Para fijar ideas, supongamos que r < R. Sea un
numero real tal que r < < R. Definimos bn = ann para toda n, entonces
aplicamos los criterios de la razon y de la raz a la serie generada por esta
ultima sucesion. Por un lado,

r
a lm n an r
n
p
lm n bn = lm n n = n = <1
n n

P
lo que dice que la serie bn es convergente. Por otro lado,
n=1
an+1
bn+1 n+1 1 an+1 R
lm = lm an = lm = >1
n bn n n n an

P
lo que dice que la serie bn es divergente. Puesto que no puede ser que la
n=1
serie sea convergente y divergente, nuestra hipotesis de que r < R es falsa.
De manera analoga se muestra que no puede ocurrir que r > R, por lo que r
y R deben ser iguales. (Por que el ejercicio 2 no contradice este resultado?)
Podemos resumir nuestro analisis como sigue.
P
Proposicion 6.5. Sea an una serie de terminos positivos. Si los lmites
n=1
an+1
lm n
an y lm
n n an
existen, entonces son iguales.
6.4. La serie armonica

Ahora veremos algunas propiedades especiales de la serie armonica.
Proposicion 6.6. Ninguna suma parcial de la serie armonica es un numero
entero.
Demostracion. Analicemos
1 1 1
Sn = 1 + + + + , con n > 1.
2 3 n
k k+1
Sea k el mayor entero tal que 2 n < 2 . Observa que k 1 y ninguno
de los numeros 2k + 1, 2k + 2, . . . , n es divisible entre 2k . De hecho, solo uno
de los denominadores de Sn es divisible entre 2k . Sea M el mnimo comun
multiplo de 1, 2, 3, . . . , n; observemos que M es divisible entre 2k pero no
entre 2k+1 . Ahora escribimos Sn en terminos del comun denominador como
M M M
M+ 2
+ 3
+ + n
Sn = .
M
Todos excepto uno de los numeros del numerador son numeros pares, por
lo tanto el numerador es un numero impar, mientras que el numero M es
par, por lo tanto Sn no es entero.
178 6.4. La serie armonica
Ahora veremos otra demostracion de la divergencia de la serie armonica.

Consideremos las sumas parciales
1 1 1 1 1 1
S2n = 1 + + + + y Sn = 1 + + + + .
2 3 2n 2 3 n
Supongamos que la serie armonica es convergente, de modo que
lm S2n = lm Sn o bien lm (S2n Sn ) = 0.

n n n
Analicemos la diferencia
1 1 1
S2n Sn = + + + .
n+1 n+2 n+n
1
De los n sumandos, el menor es 2n
, de modo que
1 1 1 n 1
S2n Sn > + + + = = .
2n 2n 2n 2n 2
Esto dice que lm (S2n Sn ) 21 , lo que es una contradiccion; por lo
n
tanto, la serie es divergente.
De hecho, el crecimiento de la serie armonica es extremadamente lento.
Para ver esto, recordemos como demostramos la primera vez que la serie
armonica es divergente:

1 1 1 1 1 1 1 1 1 1 1 1 1
2 +2 +4 1+ + + + + + + 1+2 +4 +
2 4 8 2 3 4 5 6 7 8 2 4 8
y en general,

1 1 1 n1 1
2 +2 +4 + + 2
2 4 8 2n
1 1 1 1
1 + + + + n+1 + n+1
2 3 2 1 2
1 1 n 1 1
1+2 +4 + + 2 n
+ n+1 ,
2 4 2 2
de modo que
1 1
(n + 1) S2n n + n+1 ;
2 2
por ejemplo,
1
si n = 5, S32 5 + 64
;
1
si n = 10, S1024 10 + 211
;
1
si n = 20, S1048576 20 + 221
; y
1
si n = 64, S18446744073709551616 64 + 265
.
Como se ve, el crecimiento de las sumas parciales es sumamente lento.

Podramos preguntarnos que suma parcial es del orden de 106 , pero sera muy
engorroso encontrar una potencia de 2 para obtener esta estimacion. Veamos
otra manera de estimar las sumas parciales de la serie armonica:
En 1734, Leonhard Euler escribio el artculo De Progressionibus harmo-
nics observationes, donde calculo los 6 primeros dgitos de un numero que es
el lmite de la sucesion
1 1 1
1+ + + + log n.
2 3 n+1
Este numero se conoce como la constante de Euler-Mascheroni y su valor

aproximado es
0.577215664901532860606.
Se ha podido demostrar que esta constante no es un numero racional.
La existencia de esta constante nos dice que las sumas parciales de la serie
armonica se comportan como el logaritmo. Podemos usar este hecho para
responder a nuestra pregunta anterior: Que suma parcial es del orden de
106 ? Notemos que log 264 = 64 log 2 = 44.36141956, que todava es menor
que el numero 64 + 2165 y S264 44.8, 224 log 2 106 entonces n es del orden
24
de 22 y la suma parcial con este ndice tambien.
En conclusion, podemos decir que la serie armonica es una sucesion de
numeros racionales no enteros que diverge a y crece muy lentamente cerca
de log n.
Veamos ahora una suma muy peculiar que se construye quitando a la serie
armonica todos los numeros que tienen al menos un 9 en el denominador,
por ejemplo 91 , 19
1 1 1
, 29 , , 99 , . La serie que se obtiene es
1 1 1 1 1 1 1
1+ + + + + + + + + + +
2 8 10 88 100 101 888
180 6.4. La serie armonica
Veamos que esta serie es convergente. Agrupemos de la siguiente manera

y estimemos la suma parcial

1 1 1 1 1 1 1
1 + + + + + + + + + +
2 8 10 88 100 101 888

1 1
+ + + + .
100
| {z } 0 888
| {z } 8
n ceros (n+1) ochos
Las sumas que aparecen en cada uno de estos parentesis se pueden acotar
de la siguiente manera:
1 1
1+ + + |1 + 1 +{z + 1},
2 8
8 sumandos
1 1 1 1
+ + + + ,
10 88 |10 {z 10}
89 sumandos
1 1 1 1 1 1
+ + + + + + ,
100 101 888 100
| 100 {z 100}
892 sumandos
1 1 1 1 1
+ + n
+ n + + n .
0}
|100{z 8}
|888{z |10 10 {z 10 }
n ceros n+1 ochos 89n sumandos
De aqu se obtiene que la suma de todos los elementos del lado izquierdo
de estas desigualdades es menor o igual a
2 3 n
0 9 9 9 9
89 +8 +8 +8 + + 8
10 10 10 10
9 n+1 n+1 !

1 10 9
=8 9 = 80 1 ,
1 10 10
que es una suma geometrica con razon menor que 1. Por lo tanto, la serie
1 1 1 1 1 1 1
1+ + + + + + + + + + +
2 8 10 88 100 101 888
es convergente. Esta serie converge lentamente, por ejemplo la suma parcial

con los 105 primeros terminos esta cerca de 12.0908, que esta relativamente
lejos del numero al que converge la serie (aproximadamente 22.921).
Si el numero n tiene al menos un dgito 9 escribimos 9 n; en caso
contrario escribimos 9 / n. Entonces la serie armonica se descompone como
la suma
X 1 X1 X1
= +
n=1
n n9
n n
n9
/
donde el segundo sumando es convergente, y el primer sumando es divergente.

De hecho, en el analisis anterior el 9 no juega un papel central y se puede
extender el resultado:
Proposicion
P1 6.7. Para cualquier numero
P1 r = 0, 1, 2, . . . , 8, 9 se tiene que la
serie n
es divergente y la serie n
es convergente.
nr nr
/
Los lectores interesados en este tema pueden consultar el artculo [1] que
aparece en la bibliografa.
6.5. Series alternantes

Ahora analizaremos la serie

X (1)n1
.
n=1
n
Veamos el comportamiento de algunas de sus sumas parciales:

S1 = 1,
1
S2 = 1 ,
2
1 1
S3 = 1 + ,
2 3
1 1 1
S4 = 1 + ,
2 3 4
1 1 1 1
S5 = 1 + + ,...
2 3 4 5
Al graficar las sumas parciales observamos que las sumas impares decrecen
y que las sumas pares crecen:
182 6.5. Series alternantes
De hecho,
1 1 1
S2n+1 = S2n1 + = S2n1 ;
2n 2n + 1 2n(2n + 1)
por lo tanto se tiene S2n1 S2n+1 . De manera analoga se tiene la otra
desigualdad:

1 1 1
S2n = S2n2 + = S2n2 + ;
2n 1 2n 2n(2n 1)
entonces S2n S2n2 , de modo que las sumas parciales pares e impares son
sucesiones monotonas. Ademas es facil ver que estan acotadas entre 1 y 21 .
Por lo tanto, son convergentes y convergen al mismo numero, pues
1
lm S2n = lm (S2n1 ) = lm S2n1 ;
n n 2n n
por lo tanto la serie

X (1)n1
n=1
n
es convergente.
Demostremos que la serie converge a log 2. Para esto recordemos (pagina
179) que la sucesion
1 1 1
n = 1 + + + + log n
2 3 n
converge a la constante de Euler-Mascheroni que denotaremos por . Agru-
pemos los terminos positivos y los negativos de la siguiente manera:
1 1 1 1 1 1 1 1 1
1 + + + + +
2 3 4 5 6 7 8 2n 1 2n
1 1 1 1 1 1 1 1 1
= 1 + + + + + + + + + +
3 5 7 2n 1 2 4 6 8 2n

1 1 1 1 1 1 1 1 1
= 1 + + + + + + 1 + + + + +
2 3 4 2n 1 2n 2 3 4 n

1 1 1 1
= 1 + + + + + log 2n
2 3 2n 1 2n

1 1 1 1
1 + + + + + log n + log 2n log n;
2 3 4 n
por lo tanto,

1 1 1 1 1 1 1 1 1
lm 1 + + + + + = +log 2
n 2 3 4 5 6 7 8 2n 1 2n
y entonces

X (1)n1
= log 2.
n=1
n
De manera mas general, consideremos una serie alternante; es decir, una

(1)n1 an , donde an 0 para toda n. Que condiciones
P
serie de la forma
n=1
pedimos a la sucesion an para que la serie sea convergente? Si hacemos una

P (1)n1
analoga con la serie n
, Podemos pedir a {an } que sea una suce-
n=1
sion de terminos positivos, decreciente y que tienda a cero. Recordemos la

(1)n1
y sustituyamos an por n1 :
P
demostracion de la convergencia de n
n=1
S1 = a1 ;
S2 = a1 a2 ;
S3 = a1 a2 + a3 ;
S4 = a1 a2 + a3 a4 ;
S5 = a1 a2 + a3 a4 + a5 , . . .
Comprobemos que la sucesion de las sumas parciales impares es decre-
ciente y la de sumas parciales pares es creciente:
S2n+1 = S2n1 a2n + a2n+1 = S2n1 (a2n a2n+1 ).
Como {an } es decreciente, a2n a2n+1 > 0 y as S2n+1 S2n1 . Para las
sumas parciales pares tenemos que
S2n = S2n2 + (a2n1 a2n ) S2n2 .
Tenemos que efectivamente las sucesiones {S2n } y {S2n1 } son monoto-
nas. Como ademas son acotadas, se tiene que son convergentes y
lm S2n = lm (S2n1 a2n ) = lm S2n1 lm a2n = lm S2n1 ;
n n n n n

(1)n1 an es convergente. A continuacion resumimos
P
por lo tanto, la serie
n=1
esta informacion:
184 6.6. Convergencia absoluta

(1)n1 an es conver-
P
Proposicion 6.8 (Criterio de Leibnitz). La serie
n=1
gente si la sucesion {an } es positiva, decreciente y converge a cero.
Ejercicio
Comprueba que las siguientes series satisfacen las hipotesis del criterio de
Leibnitz:

P (1)n1
1. n2
,
n=1

P (1)n1
2. log(n+1)
,
n=1

P (1)n1
3. (n+1) log(n+1)
,
n=1

P (1)n1
4. log log(n+1)
.
n=1
6.6. Convergencia absoluta

Los criterios de convergencia que hemos establecido hasta ahora corres-
ponden a series con terminos positivos o series alternantes. Sin embargo no
tenemos criterios de convergencia o divergencia para series del tipo de

X sen n X cos n X (1)n1 X (1)n1 n X (1)n1 3n
, , , .
n=1
n n=1
n2 n=1
2n + n3 n=1 n+1 n=1
2n + 1
Recuerda que una condicion necesaria para que una serie sea convergente
es que la sucesion que la genera tienda a cero, de modo que primero verifica-
remos esta condicion para nuestros ejemplos.
Para la primera serie, puesto que 1 sen n 1, tenemos que
1 sen n 1
lm lm lm ,
n n n n n n
de modo que
sen n
lm = 0.
n n
De manera analoga se prueba que

cos n
lm 2 = 0.
n n
Pasemos a los siguientes lmites:

(1)n1
(1)n1 3 0
lm 3
= lm 2n n n3
= = 0;
n 2n + n n + 0+1
n3 n3
para el segundo,

(1)n1 n
(1)n1 n n 0
lm = lm n+1 = =0
n n+1 n
n
1 + 0
y
(1)n1 3n (1)n1
lm = lm n .
n 2n + 1 n 2n + 1n
3 3
Este ultimo lmite no existe, porque si n es impar la sucesion diverge a
+, mientras que si n es par la sucesion diverge a . Despues de ha-
ber calculado los lmites, podemos afirmar que la ultima serie es divergente.
Ahora analicemos que sucede con las otras cuatro series.
Necesitamos otro tipo de criterio para determinar si convergen o divergen.
Con que herramienta contamos para contestar la pregunta? Tenemos basi-
camente dos herramientas: los criterios para la convergencia de series con
terminos positivos o el criterio de convergencia de Leibnitz para las series
alternantes.
P P
Una primera pregunta es que pasa con la serie an si la serie |an | es
n=1 n=1
convergente? Al calcular la serie de los valores absolutos en nuestros cuatro
ejemplos, tenemos que

X sen n
X |sen n|
= ,
n n

n=1 n=1

X cos n
X |cos n| X 1
2 = 2
2
,
n=1
n n=1
n n=1
n
n1

X (1) X 1 X 1

2n + n3
=
3
3
,
n=1 n=1
2n + n n=1
n

X (1)n1 n X n
n+1 = .

n=1 n=1
n+1
En el primer caso, no es claro a primera vista si la serie del lado derecho

es convergente o divergente. La segunda y tercera series son convergentes P 1y
la ultima es divergente, lo que puede verse al compararla con la serie
n
y usar el criterio de comparacion por cociente de dos series con terminos
positivos:
n
n+1 n
lm 1 = lm = 1.
n n n + 1
n
P |sen n|
Regresemos a nuestro primer ejemplo. Como la serie n
es muy
parecida a la serie armonica, conjeturamos que es divergente. Para probar
esto usaremos la desigualdad
|sen(x 1)| + |sen x| sen 1;
para justificarla, basta observar que
sen 1 = | sen 1| = | sen(1 x + x)|

= | sen(1 x) cos x + cos(1 x) sen x|
| sen(1 x)| | cos x| + | cos(1 x)| | sen x|
| sen(x 1)| + | sen x|,
donde hemos usado el hecho de que sen(y) = sen y y que | cos y| 1.

Regresando al analisis de la serie, tenemos que

|sen 1| |sen 2| |sen(2n 1)| |sen 2n|
lm + + + +
n 1 2 2n 1 2n

|sen 1| |sen 2| |sen(2n 1)| |sen 2n|
= lm + + + +
n 1 2 2n 1 2n

|sen 1| + |sen 2| |sen(2n 1)| + |sen 2n|
lm + +
n 2 2n

|sen 1| |sen 1| |sen 1|
lm + + + ,
n 2 4 2n
de modo que

X |sen n| |sen 1| X 1

n=1
n 2 n=1 n
efectivamente es divergente.
En resumen, estamos comparando una serie con otra serie cuyos terminos
son los valores absolutos de la serie original. Hay casos en que la serie definida
por los valores absolutos converge y la serie original es convergente, como
P (1)n1
n2
. Por otro lado, hay series convergentes cuya serie correspondiente
P (1)n1
con los valores absolutos es divergente, como n
.
P
Diremos que una serie an es absolutamente convergente si la serie
n=1
P
|an | es convergente.
n=1
A continuacion veremos la relacion entre la convergencia de una serie y
su convergencia absoluta:
Proposicion 6.9. Si una serie es absolutamente convergente, entonces es
convergente.
Esta afirmacion es una consecuencia del siguiente hecho:
Ejercicio
Si a+ = max(a, 0) y a = max(a, 0) entonces a+ y a son positivos y
1. |a| = a+ + a ;
2. a = a+ a ;
3. a+ |a|, a |a|.
Demostracion de la proposicion. Del hecho anterior tenemos:
N
X N
X N
X N
X
a+
n |an | y a
n |an | .
n=1 n=1 n=1 n=1

a+ a
P P P
Como |an | es convergente, tenemos que las series n y n son
n=1 n=1 n=1
convergentes y ademas

X
X
X
X

an = (a+
n a n ) = a +
n a
n,
n=1 n=1 n=1 n=1

P
de modo que la serie an es convergente.
n=1
En cuanto a nuestros ejemplos, tenemos que las series

X cos n X (1)n1
y
n=1
n2 n=1
2n + n3
son absolutamente convergentes y por tanto convergentes; por otro lado, las
series

X sen n X (1)n1 n
y
n=1
n n=1
n+1
no son absolutamente convergentes.
Definicion 6.10. Si una serie converge y la serie formada con los valores
absolutos de los terminos de la primera es divergente, decimos que la serie es
condicionalmente convergente.
Podemos extender nuestros criterios para las series con terminos positivos
y negativos, lo que agrupamos en la siguiente proposicion.
Proposicion 6.11 (Criterios de convergencia para series absolutamente con-

P
vergentes). Consideremos una serie an .
n=1
1. Criterio de la razon de DAlembert. Sea r = lm |a|an+1n|

|
, entonces
n

P
la serie an es absolutamente convergente si r < 1 y diverge si r > 1.
n=1
p
2. Criterio de la raz (Cauchy). Sea r = lm n |an |. Si r < 1 la serie
n

P
an converge absolutamfente, mientras que si r > 1 la serie diverge.
n=1
Agregaremos a estos criterios el siguiente:
Proposicion 6.12 (Criterio de Dirichlet). Supongamos que la sucesion An =

Pn
ak esta acotada y bn es una sucesion decreciente que converge a cero.
k=1

P
Entonces la serie an bn es convergente.
n=1
El criterio de Dirichlet es una generalizacion del criterio de Leibnitz que

n
(1)k1 . Esta sucesion
P
aparece en la pagina 184; en ese caso, An =
k=1
esta acotada y si bn es una sucesion decreciente a cero, entonces la serie

(1)n1 bn es convergente.
P
n=1
Demostracion del criterio de Dirichlet. Observa que se cumple la siguiente

igualdad (ejercicio):
n
X n
X
ak bk = An bn+1 + Ak (bk bk+1 ),
k=1 k=1
n
P
donde An = ak y definimos A0 = 0.
k=1
Sea Sn = a1 b1 + + an bn y analicemos la diferencia Sn Sm . Si n > m
entonces Sn Sm = am+1 bm+1 + + an bn y usando la igualdad anterior se
tiene n
X
Sn Sm = An bn+1 Am bm+1 + Ak (bk bk+1 )
k=m+1
Como 0 bn+1 bn y |An | M , entonces

n
X
|Sn Sm | M bn+1 + M bm+1 + M (bk bk+1 )
k=1
= M (bn+1 + bm+1 + bm+1 bn+1 ) = 2M bm+1 .
Como la sucesion {bn } converge a cero, entonces dada > 0 existe N tal

que bm < 2M para m > N ; por lo tanto, si n, m > N entonces |Sn Sm | < ;
es decir, la sucesion de sumas parciales es una sucesion de Cauchy y por la

P
Proposicion 4.7 tenemos que la serie an bn es convergente, como queramos
n=1
demostrar.
Ejemplo

P |sen n|
Ya demostramos que la serie n
es divergente, por lo que la serie
n=1
sen n
P
n
no es absolutamente convergente. Sin embargo, esta ultima serie es
n=1
convergente, lo que probaremos ahora usando el criterio de Dirichlet.
n
1
P
Hagamos An = sen n y bn = n
. Para ver que An es una sucesion
k=1
acotada, multiplicamos y dividimos por 2 sen 1, usando ademas la identidad
2 sen sen = cos( ) cos( + )
para obtener
An = sen 1 + sen 2 + sen 3 + sen 4 + + sen(n 1) + sen n

1
= (2 sen 1 sen 1 + 2 sen 1 sen 2 + 2 sen 1 sen 3 + 2 sen 1 sen 4
2 sen 1
+ + 2 sen 1 sen(n 1) + 2 sen 1 sen n)
1
= (cos 0 cos 2 + cos 1 cos 3 + cos 2 cos 4 + cos 3 cos 5
2 sen 1
+ + cos(n 2) cos n + cos(n 1) cos(n + 1))
1
= (1 + cos 1 cos(n + 1) cos n)
2 sen 1
por lo tanto
2
|An | .
sen 1
Como la sucesion n1 es decreciente y convergente a cero, se satisfacen las
hipotesis del criterio de Dirichlet y por tanto la serie es condicionalmente
convergente.
Ejercicio

sen n
P
Para que valores de la serie n
converge absolutamente y para
n=1
que valores es condicionalmente convergente?
Ejemplo
Veamos que ocurre con la serie

X (1)n1 n
.
n=1
n+1

P n
Esta serie no es absolutamente convergente; de hecho, la serie n+1
no
n=1
es convergente porque es mayor que la serie armonica. Para probar que la

n
serie es convergente es suficiente ver que la sucesion n+1
es decreciente y que
converge a cero:

n n+1

n+1 n+2

n(n + 2) (n + 1) n + 1
=
(n + 1)(n + 2)

( n(n + 2) (n + 1) n + 1)( n(n + 2) + (n + 1) n + 1)
=
(n + 1)(n + 2)( n(n + 2) + (n + 1) n + 1)
n(n + 2)2 (n + 1)3
=
(n + 1)(n + 2)( n(n + 2) + (n + 1) n + 1)
n2 + n 1
= > 0;
(n + 1)(n + 2)( n(n + 2) + (n + 1) n + 1)
entonces la sucesion es decreciente y cumple las hipotesis del criterio de Leib-

nitz; por lo tanto, la serie es convergente.
Ejercicios
Utiliza los criterios de convergencia para analizar cada una de las siguien-
tes series:

P 1
P 1
P 1
3/2
n=1 n n=1 n(n + 1) n=1 n log n
P 1 P cos n P log n
2
n=1 n log n log log n n=1 n n=1 n
P (1) 5 n n P (1)n 1010n P nn
n=1 k! n=1 n! n=1 n!

(1)n1 n n2
P n P P
2 n2 + 1 n
n=1 n + 1 n=1 n=1 2
P 2n P (n + 1)(n + 2) P (n + 3)!
3 2 n
n=1 n + n + 1 n=1 n! n=1 n!(3n)!3

P nk
P 1 P (1)[ n]
n
, 1 , 1
n=1 a n=1 n1+ n n=1 n1+ n
192 6.7. Series telescopicas
6.7. Series telescopicas

P
Una serie an es telescopica si se puede escribir como la serie
n=1

X
(bn bn+1 )
n=1
generada por la sucesion

b1 b2 , (b1 b2 ) + (b2 b3 ), (b1 b2 ) + (b2 b3 ) + (b3 b4 ), . . .
y el n-esimo termino es
(b1 b2 ) + (b2 b3 ) + (b3 b4 ) + + (bn2 bn1 ) + (bn1 bn ).
Si efectuamos las operaciones se observa que se van cancelando los termi-
nos intermedios y sobran el primero y el ultimo sumando, as que la sucesion
b1 b2 , b1 b3 , b1 b4 , . . . , b1 bn , . . .
Podemos afirmar que si
lm bn = b
n
entonces la serie telescopica converge a b1 b.
Un ejemplo de serie telescopica es
1 1 1 1 1
+ + + + + + ,
12 23 34 45 n (n + 1)
ya que
1 1 1
= ;
n (n + 1) n n+1
entonces
1 1 1 1
+ + + + +
12 23 34 n (n + 1)

1 1 1 1 1 1 1
= 1 + + + + +
2 2 3 3 4 n n+1

1
= lm 1 = 1.
n n+1
Ejercicios
1. Verifica que la serie
1 1 1 1 1
+ + + ++ +
123 234 345 456 n (n + 1) (n + 2)
es telescopica, comprobando la siguiente igualdad:

1 1 1 1
= ;
k (k + 1) (k + 2) 2 k (k + 1) (k + 1) (k + 2)
ademas, usa esta igualdad para demostrar que la serie converge a 41 .
2. Comprueba que las siguientes series son telescopicas y calcula sus lmi-
tes.

P 1
a) .
n=1 (a + n + 1) (a + n)
P 1
b) .
n=1 (a + n + 2) (a + n + 1) (a + n)
1 1
c) + + +
1234 n (n + 1) (n + 2) (n + 3)
1 1
d) + + +
12345 n (n + 1) (n + 2) (n + 3) (n + 4)
P 1
e) 2
.
n=1 4n 1
P 1
f) .
n=1 n+ n+1
Bibliografa
[1] H. Behforooz. Thinning Out the Harmonic Series. Mathematics Maga-

zine, Vol. 68, No. 4 (Oct. 1995), paginas 289-293.
[2] V. Berinde. Exploring, Investigating and Discovering in Mathematics.

Birkhauser, 2004.
[3] R. Courant. Differential & Integral Calculus, Vol. I. Wiley, 1988.
[4] R. Courant y F. John. Introduccion al Calculo y al Analisis Matematico.

Limusa, 1999.
[5] R. Courant y H. Robbins. Que son las matematicas? Fondo de Cultura

Economica, 2002.
[6] G. Exner. Inside Calculus. Springer, 2000.
[7] S. Friedberg, A. Insel y L. Spence. Algebra lineal. Publicaciones cultural,

1982.
[8] S. I. Gelfand, M. Gerver, A. Kirillov, N. Konstantinov y A. Kushnirenko.

Sequences, Combinations, Limits. Dover, 2002.
[9] K. Knopp. Theory and Application of infinite series. Dover, 1990.
[10] S. Krantz. Techniques of Problem Solving. American Mathematical So-

ciety, 1996.
[11] I. Lakatos. Pruebas y refutaciones. La logica del descubrimiento ma-

tematico. Alianza Editorial, 1994.
[12] G. Polya. Como plantear y resolver problemas. Trillas, 1984.
195
196 Bibliografa
[13] G. Polya. Matematicas y razonamiento plausible. Tecnos, 1966.
[14] W. Rudin. Principios de Analisis Matematico. McGraw-Hill, 1980.
[15] I. Sominskii. El metodo de la induccion matematica. Limusa, 1976.

Indice alfabetico
Antecesor, 68, 70 Distancia, 62

Divergencia a , 108
Conjetura, 5
Constante de Euler-Mascheroni, 179, Formula del binomio de Newton, 28
182 Factorial, 23
Convergencia Fraccion infinita, 134
absoluta, 187
condicional, 188 Lmite de una sucesion, 87
de la serie geometrica, 155 Mayor o igual que, 42
de series, 156 Mayor que, 42
de sucesiones, 87 Media
Criterio de convergencia aritmetica, 46
de Dirichlet, 188 armonica, 47
de la raz geometrica, 46
de Cauchy, 174, 188 Menor o igual que, 42
de la razon Menor que, 42
de DAlembert, 162, 188
de las potencias de 2 Numero
de Cauchy, 167 irracional, 124
de Leibnitz, 184 negativo, 42
por comparacion, 170 positivo, 42
racional, 124
Desigualdad real, 42
de Cauchy, 52
del triangulo, 63 Operaciones cerradas, 42
entre las medias Orden de los numeros reales, 42
aritmetica y armonica, 48
aritmetica y geometrica, 45 Principio de induccion, 14
aritmetica, geometrica Regla de correspondencia, 67
y armonica, 50, 51
armonica y geometrica, 48 Serie
197
198 Indice alfabetico
absolutamente
convergente, 187
alternante, 183
convergente, 156
geometrica, 150
telescopica, 192
Subsucesion, 75
Sucesion
acotada, 85
alternante, 72
constante, 71
creciente, 111
decreciente, 111
definicion, 69
monotona, 111
no creciente, 111
no decreciente, 111
numerica, 71
recurrente, 127
Sucesion
de Cauchy, 106
Sucesor, 68, 70
Tendencia de una sucesion, 82

Terminos de una sucesion, 71
Triangulo
de Pascal, 25
de Sierpinski, 122
Valor absoluto, 56

Una Mirada Al Calculo A Traves de Las 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

Una Mirada Al Calculo A Traves de Las Sucesiones PDF

Cargado por

Copyright:

Formatos disponibles

Una mirada al Calculo

a traves de las sucesiones

Luis, Julieta, Oscar

Indice general III

1. Las primeras sesiones 1

2. Los numeros reales 41

4.4. Sucesiones monotonas . . . . . . . . . . . . . . . . . . . . . . 110

5. Sucesiones recurrentes 127

Como iniciar un curso de calculo de nivel licenciatura? Esta pregunta ha

A nuestros lectores, profesores y estudiantes, les pedimos que no consi-

1. El metodo de la fuerza bruta. Este metodo se sigue, por ejemplo, si al

2. Uso de una formula a como de lugar. Algunos estudiantes buscan en

3. Busqueda de una respuesta general. Algunos estudiantes tienden a bus-

4. Uso de esquemas, graficos, dibujos, etcetera. Muchos estudiantes nece-

Esta pequena lista de posibles metodos es una muestra de la diversidad de

Las primeras sesiones

Como mencionamos en el prefacio, en este captulo presentaremos tres

1.1. El problema del futbol

Aqu surge el problema de ordenar el conteo, para garantizar que se

2. Es posible guiar una forma de obtener la respuesta mediante algunas

Pero como el torneo es a visita recproca, el resultado final es:

4. Otras soluciones usan un arreglo cuadrado donde las columnas repre-

partido. Cuantos renglones tiene el arreglo? Cuantos partidos estan

5. (Variante del metodo anterior.) Una vez representados los partidos en

6. Tambien se puede argumentar as: Cada equipo tiene que enfrentarse a

7. Diremos que una jornada es el numero de partidos simultaneos que

8. Un ultimo metodo: Si se traza un polgono de doce vertices que repre-

Cualquiera de los metodos anteriores nos da correctamente el numero de

2. 2(n 1) + 2(n 2) + 2(n 3) + + 6 + 4 + 2.

Una vez obtenidas varias expresiones para el numero de partidos, es ne-

Veamos ahora una demostracion de esta igualdad usando el arreglo cua-

El cuadrado con n cuadritos por lado representa a los encuentros entre

Como el numero total de casillas es n2 y el numero de casillas de la

2[(1 + 2 + 3 + 4 + + n 1)] = n2 n = n(n 1).

As, tenemos que

Cerraremos esta seccion usando la formula anterior para hacer un breve

Los primeros seis numeros triangulares.

Se puede utilizar la expresion (1.2) para ver que un numero triangular

n Suma de triangulares Resultado

Podemos utilizar tambien la siguiente representacion geometrica de la

Suma de dos numeros triangulares consecutivos: T1 + T2 , T2 + T3 , T3 + T4 y T4 + T5 .

Observamos que en estos casos particulares cada suma de dos triangulares

k(k + 1) (k + 1)(k + 2) (k + 1)(2k + 2)

As, esta conjetura resulta ser verdadera: la suma de dos triangulares

1.2. Induccion matematica

Cuanto vale la suma de los cuadrados de los primeros n numeros

Para tratar de hallar una respuesta a esta pregunta, es conveniente ha-

En la siguiente tabla tenemos el calculo de la suma de los numeros cua-

Numero Suma de cuadrados Incremento

Con este numero de casos particulares, estaremos en condiciones de con-

Usando estos arreglos, representamos la suma de los dos primeros numeros

Y la suma de los tres primeros numeros cuadrados como:

Podemos pensar cada uno de estos arreglos de bloques contenidos en

La suma de los primeros tres cuadrados completando un cubo de arista 3. A la

Ahora veamos que pasa en el tercer caso:

La suma de los primeros cuatro cuadrados completando un cubo de arista 4. A

De manera general, podemos representar la suma de los primeros numeros

n Suma de los Quitando lo que

Estas observaciones sugieren como conjetura que al volumen de un cubo

0(1) + 1(3) + 2(5) + 3(7) + + (n 1)(2(n 1) + 1).

Usamos la expresion de la ecuacion (1.2) para la suma de los n primeros

En el ultimo renglon de esta tabla hemos obtenido la expresion corres-

12 + 22 + + n2 = (T1 ) + (T1 + T2 ) + + (Tn1 + Tn )

Con esta notacion se puede decir que el numero