Está en la página 1de 97

C alculo Diferencial

Para ciencias e ingenieras


Oscar Santamaria Santisteban
11 de noviembre de 2009
UNPRG
Lambayeque-Per u
c _2009 by racso
Contenido
1. Sucesiones de N umeros Reales 1
1.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Sucesiones Convergentes . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Ejemplos diversos . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4. Algunos ejemplos de aplicaci on . . . . . . . . . . . . . . . . . . 37
1.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2. Lmite de funciones 51
2.1. Denici on y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . 52
2.2. Propiedades sobre lmites . . . . . . . . . . . . . . . . . . . . . . 59
2.3. Lmites laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.4. Lmites al innito, lmites innitos . . . . . . . . . . . . . . . . . 71
2.5. Formas indeterminadas . . . . . . . . . . . . . . . . . . . . . . . 76
2.6. C alculo de lmites . . . . . . . . . . . . . . . . . . . . . . . . . . 79
2.7. Asntotas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
2.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Bibliografa 95
I
II Contenido
O. Santamaria S.
Captulo 1
Sucesiones de N umeros Reales
1.1. Introducci on
De manera informal, una sucesi on de n umeros reales es una colecci on innita de
n umeros reales escritos en un orden especco. Por ejemplo imaginemos una pelota
que cae desde una altura h y, luego de cada rebote, se eleva la mitad de la altura
anterior. Si describimos esta sucesi on de alturas obtendramos la colecci on innita
h,
h
2
,
h
2
2
,
h
2
3
,
h
2
4
, . . .
y observe que h/2 no puede ocurrir antes de h ni despu es de h/2
2
. Es decir, h/2
es el segundo t ermino de la sucesi on, h/2
2
es el tercero, y as sucesivamente. Si
quisi eramos una manera abreviada de referirnos a esta sucesi on un primer intento
sera escribir
_
h
2
n1
: n = 0, 1, 2, . . .
_
. Pero en realidad esto no sera adecuado,
pues chocaramos con la forma tradicional de escribir conjuntos en el sentido de
que no podramos distinguir entre h, h/2, h/2
2
, . . . y h/2, h, h/2
2
, . . .. Una
manera mas adecuada de listar esta sucesi on de n umeros, teniendo en cuenta el
orden, sera (h, h/2, h/2
2
, . . .) o m as abreviadamente, (h/2
n1
)
nN
.
Un ejemplo m as ilustrativo para distinguir el orden sera considerar la sucesi on
0, 1, 0, 1, 0, . . . .
Por ejemplo esta sucesi on podra aparecer si queremos describir los eventos: apa-
gado, encendido, apagado, encendido, . . . En esta sucesi on, el primer t ermino es
0 y el tercero tambi en es cero. Sin embargo, distinguimos estos elementos en el
sentido de que el primer cero no tena un evento anterior, mientras que el tercero
1
2 1.1. Introducci on
ocurre luego de que haba ocurrido el 1, por tanto, aunque el primer y el tercer
t ermino tienen el mismo valor num erico, ellos son distintos como elementos de la
sucesi on, pues ocupan lugares diferentes en la lista (0, 1, 0, 1, 0, . . .).
En estos ejemplos observamos que es natural utilizar el conjunto N, de los n ume-
ros naturales, para ubicar los elementos de una sucesi on. Consideramos a N =
1, 2, 3, . . . como el conjunto de los n umeros naturales. En el caso del primer
ejemplo, a 1 le asignamos el t ermino h, a 2 le asignamos el t ermino h/2 y as su-
cesivamente. Esto motiva la denici on que sigue.
DEFINICI ON 1.1. Una sucesi on de n umeros reales es una funci on f : N R que
a cada n umero natural n le hace corresponder el n umero real f(n).
El valor f(n), que denotaremos por x
n
, es llamado t ermino n- esimo de la sucesi on.
Aunque formalmente una sucesi on es denida como una funci on f : N R, ya se
habr a observado de los comentarios iniciales, que es m as c omodo usar la notaci on
(x
n
)
nN
. Otras notaciones que suelen emplearse son (x
n
) o tambi en x
n

n=1
.
EJEMPLO 1.1.
1) Considere la sucesi on (x
n
)
nN
tal que, para cada n N, el t ermino x
n
es
denido por la igualdad
x
n
=
n
_
1
2
+ 2
2
+ + n
2
.
Observe en este caso que el t ermino n- esimo es dado en forma explcita. Por
tanto, para hallar los valores de x
n
s olo hay que dar valores a n. As, algunos
t erminos de esta sucesi on son:
1;

5;
3

14;
4

30;
5

55;
6

91; . . .
Otros ejemplos de sucesiones:
_
1
n
_
nN
=
_
1,
1
2
,
1
3
,
1
4
, . . .
_
;
_
1
n
2
+ 1
_
nN
=
_
1
2
,
1
5
,
1
10
,
1
17
, . . .
_
;
(sen(n/2))
nN
= (1, 0, 1, 0, 1, . . .) ;
(n!)
nN
= (1, 2, 6, 24, . . .) .
2) Muchas veces una sucesi on es dada por medio de alguna relaci on recursiva y el
prop osito es averiguar una forma mas expltica que describa el t ermino n- esimo.
Por ejemplo, sea (x
n
)
nN
la sucesi on dada en forma recursiva como sigue:
x
1
= 0, x
n
=
x
n1
+ 3
4
, n 2.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 3
Entonces
x
2
=
x
1
+ 3
4
=
0 + 3
4
=
3
4
= 1
_
1
4
_
1
,
x
3
=
x
2
+ 3
4
=
3
4
+ 3
4
=
15
16
= 1
_
1
4
_
2
,
x
4
=
x
3
+ 3
4
=
15
16
+ 3
4
=
63
64
= 1
_
1
4
_
3
,
y as, es sencillo comprobar que para todo n N, x
n
= 1
_
1
4
_
n1
. En efecto,
por lo que acabamos de ver esta f ormula vale al menos para n = 1, 2, 3 y 4.
Pero debemos convencernos que es v alida para todo n N. Suponiendo que
vale para n = k entonces para n = k + 1 se tiene
x
k+1
=
x
k
+ 3
4
=
1
_
1
4
_
k1
+ 3
4
= 1
_
1
4
_
k
.
Esto conrma que x
n
= 1
_
1
4
_
n1
para todo n N.
OBSERVACI ON 1.1. Observe en item (2) del ejemplo 1.1, algo que sucede con fre-
cuencia cuando queremos vericar la validez de una expresi on general P(n), para
n = 1, 2, . . ., (en el ejemplo anterior P(n) = 1
_
1
4
_
n1
). Primero comproba-
mos que P(1) es v alida, a continuaci on suponemos la validez de P(k) y, bajo esta
hip otesis, vericamos la validez de P(k + 1). En el ejemplo 1.1, la comprobaci on
de P(1) correspondi o al c alculo de x
1
. En realidad, esto corresponde a un princi-
pio muy utilizado en matem atica: el principio de la inducci on matem atica (ver [3],
p ag. 77).
Por otro lado, aunque hemos denido una sucesi on como funci on cuyo dominio
es el conjunto de los n umeros naturales, sucede algunas veces que el t ermino x
1
o
x
2
, etc. no est an denidos. En este caso se considera el primer ndice k a partir
del cual todos los elementos x
n
est an bien denidos. Por ejemplo en la sucesi on
_
1
n
2
1
_
nN
el t ermino x
1
=
1
1
2
1
no est a denido, as que una alternativa es
considerar la sucesi on desde k = 2. En este caso escribiremos
_
1
n
2
1
_
n2
=
_
1
3
,
1
8
,
1
15
,
1
24
, . . .
_
.
Es por esto que algunos autores preeren denir una sucesi on como una funci on f
cuyo dominio es el conjunto n N : n k y tomando valores en R, es decir,
f : n N : n k R.
O. Santamaria S.
4 1.1. Introducci on
Sin embargo, preferimos en este texto seguir usando la denici on 1.1 porque la
situaci on que acabamos de comentar bien puede adaptarse f acilmente a la de dicha
denici on. Esta adaptaci on se hace mediante la igualdad
(x
n
)
nk
= (x
n+k1
)
nN
.
Por ejemplo,
_
1
n
2
1
_
n2
=
_
1
(n + 1)
2
1
_
nN
.
EJEMPLO 1.2. Suponga que una bola es dejada caer desde una altura h y que en
cada rebote se eleva hasta un 75 % de la altura anterior. Entonces luego del primer
rebote se eleva a una altura
x
1
= (75 %)h =
75
100
h =
3
4
h;
cuando da el segundo rebote se eleva
x
2
= (75 %)x
2
=
_
3
4
_
x
2
=
_
3
4
_
2
h;
y as obtenemos la sucesi on (x
n
)
nN
,
de alturas, tal que para cada n N,
x
n
=
_
3
4
_
n
h.
-
h
3
4
h
(
3
4
)
2
h
(
3
4
)
3
h
1 2 3
x
1
x
2
x
3
De esta situaci on podemos obtener otras sucesiones. Por ejemplo, sea d
n
la distan-
cia recorrida por la bola entre el n- esimo y el (n + 1)- esimo rebote. As, entre el
primer y segundo rebote la distancia recorrida por la bola es
d
1
= 2(75 %)h =
3
2
h.
Entre el segundo y tercer rebote la bola recorre,
d
2
= 2(75 %)
2
h =
3
4
_
3
2
h
_
.
Entre el tercer y cuarto rebote, esta distancia es
d
3
= 2(75 %)
3
h =
_
3
4
_
2
_
3
2
h
_
.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 5
Y as, entre el n- esimo y el (n + 1)- esimo rebote, la bola recorre la distancia
d
n
=
_
3
4
_
n1
_
3
2
h
_
.
De esta manera obtenemos la sucesi on (d
n
) , donde d
n
es dado por la ultima igual-
dad.
Siguiendo con este ejemplo, podemos calcular el tiempo t
n
que permanece la pelo-
ta en el aire entre el n- esimo y (n+1)- esimo rebote. Invitamos al lector a encontrar
la sucesi on (t
n
).
EJEMPLO 1.3. Consideremos dos crculos de radio 1 posicionadas como se mues-
tra en la gura
.......................
.......................
........................
.......................
.......................
......................
......................
.......................
.......................
........................
.......................
....................... .......................
.......................
........................
.......................
.......................
......................
......................
.......................
.......................
........................
.......................
.......................
... ...... ...... ..... ...
.. .. .. .. . .. .. .. .. .. .. . .
. . .. . . . .. . . . . .. . . . . .. . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . .. . . . . .. . . . . .. . . . . .. .
. .. .. .. .. .. .. .. . .. .. .. .
... ..... ...... ...... ...
.......................
.......................
........................
.......................
.......................
......................
......................
.......................
.......................
........................
.......................
....................... .......................
.......................
........................
.......................
.......................
......................
......................
.......................
.......................
........................
.......................
.......................
.... ...... ...... ..... ..
.. .. . .. .. .. .. .. .. .. .. ..
. . .. . . . . .. . . . . .. . . . . .. . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . .. . . . . .. . . . . .. . . . . ..
. .. .. .. .. .. . .. .. .. .. .. .
.. ...... ..... ...... ....
.........
.........
.........
.........
.........
.........
......... ......... .........
.........
.........
.........
.........
.........
.........
.........
... .... ..
. . .. . . .. .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . .. . . .. .
... .... ..
......
......
......
...... ......
......
......
......
. .. .. .
. . . . . .
. . . . . .
. . . . . . . . . . . .
. . . . . .
. . . . . .
.. .. ..
...
...
... ... ... ...
...
...
. ..
. . .
. . .. . .. . .. . .
. . .
. ..
-
1 1
C
1
C
2
-
C
3
-
C
D
T
r
A
r
B
Los crculos C y D son tangentes entre si y estos a su vez son tangentes a la recta
horizontal T. Considere tambi en la colecci on de crculos C
n
construidos de la si-
guiente manera: el crculo C
1
es tangente a C, D y a la recta T; el crculo C
2
es
tangente a C, D y C
1
; y en general, para n 2, C
n
es tangente a C, D y C
n1
.
Cada crculo C
n
, n 1, tiene un di ametro d
n
. Nuestro prop osito es entonces deter-
minar la sucesi on (d
n
)
nN
, dada por estos di ametros. Para determinar el di ametro
de C
1
considere el tri angulo rect angulo cuyos v ertices son los puntos A, B y el
centro de C
1
. Entonces, usando el teorema de Pit agoras,
_
1 +
d
1
2
_
2
= 1
2
+
_
1
d
1
2
_
2
,
de lo cual obtenemos d
1
= 1/2. Repetimos el mismo procedimiento pero esta vez
con el crculo C
2
. Observe que el centro de C
2
est a a una altura d
1
+
d
2
2
=
1
2
+
d
2
2
.
Nuevamente usamos el teorema de Pit agoras y obtenemos la igualdad
_
1 +
d
2
2
_
2
= 1
2
+
_
1
_
1
2
+
d
2
2
__
2
,
O. Santamaria S.
6 1.1. Introducci on
de lo cual resulta que d
2
=
1
6
=
1
23
. Observemos lo obtenido hasta el momento:
para C
1
el di ametro es d
1
=
1
2
=
1
12
; para C
2
el di ametro es d
2
=
1
6
=
1
23
; esto
nos hace sospechar que en general el crculo C
n
tiene di ametro d
n
=
1
n(n+1)
. Por
lo menos esta expresi on vale para los crculos C
1
y C
2
. Suponiendo que vale para
C
k
, entonces para el siguiente C
k+1
se tiene
_
1 +
d
k+1
2
_
2
= 1
2
+
_
1
_
d
k+1
2
+
k

i=1
d
i
__
2
= 1 +
_
1
_
d
k+1
2
+
k

i=1
1
i(i + 1)
__
2
= 1 +
_
1
d
k+1
2

k
k + 1
_
2
.
Luego de resolver, resulta d
k+1
=
1
(k + 1)(k + 2)
=
1
(k + 1)[(k + 1) + 1]
. Esto
conrma entonces que en general, el crculo C
n
tiene di ametro d
n
=
1
n(n+1)
. Te-
nemos as la sucesi on (d
n
) de di ametros.
EJEMPLO 1.4. Consideremos un tri angulo rect angulo ABC
1
, recto en C
1
, y cuyo
cateto C
1
A mide a unidades. Sobre este tri angulo es dibujado el segmento C
1
D
1
perpendicular a BA, luego trazamos el segmento C
2
D
1
perpendicular al cateto
BC
1
, a continuaci on trazamos el segmento C
2
D
2
perpendicular a BA, despu es
trazamos el segmento C
3
D
2
perpendicular a BC
1
y as, continuamos este proceso
de manera indenida.
Nos proponemos en este ejemplo encontrar
la sucesi on que describa las longitudes de los
segmentos C
i
D
i
, para i = 1, 2, 3, . . . y la su-
cesi on que describa las longitudes de los seg-
mentos C
i+1
D
i
, para i = 1, 2, 3, . . . Empeza-
mos con el segmento C
1
D
1
; como este seg-
mento es un cateto del tri angulo rect angulo
AD
1
C
1
, recto en D
1
, entonces resulta inme-
diatamente que la longitud de C
1
D
1
es
A
B C
1
D
1
C
2
D
2
C
3
D
3
q
a

1
= a sen .
A su vez, C
2
D
1
es cateto del tri angulo rect angulo D
1
C
2
C
1
, recto en C
2
. Como en
este tri angulo, en C
1
hay tambi en un angulo entonces la longitud de C
2
D
1
es
b
1
= a sen
2
.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 7
Ahora miramos el tri angulo rect angulo D
1
D
2
C
2
, recto en D
2
, y como en este
tri angulo el angulo en D
1
es entonces la longitud de C
2
D
2
es

2
= a sen
3
.
Realizamos un razonamiento similar en el tri angulo rect angulo D
2
C
3
C
2
, recto en
C
3
, y encontramos que C
3
D
2
tiene longitud
b
2
= a sen
4
.
No es difcil deducir entonces que la sucesi on (
n
)
nN
, que describe las longitudes
de los segmentos C
i
D
i
, es tal que

n
= a sen
2n+1
.
Asimismo, la sucesi on (b
n
)
nN
, que describe las longitudes de los segmentos
C
i+1
D
i
, es dada por
b
n
= a sen
2n
. T
EJEMPLO 1.5. Aunque los dos ultimos ejemplos corresponde a situaciones mas
geom etricas, las sucesiones pueden aparecer en muchas situaciones reales:
1) Las bacterias, amebas y algunas algas se reproducen por divisi on celular; m as
especcamente, por bipartici on. Esto consiste en la divisi on de la c elula madre
en dos c elulas hijas, donde cada nueva c elula es un nuevo individuo tan igual
como la c elula de donde provino. Si iniciamos con una bacteria, luego de la pri-
mera divisi on tendremos dos individuos, luego que cada uno de estos se dividen
tendremos cuatro individuos y as, luego de la n- esima etapa tendremos 2
n
indi-
viduos. El crecimiento poblacional de las bacterias podra modelarse entonces
mediante la sucesi on (2
n
)
nN
= (2, 2
2
, 2
3
, . . .).
2) Otro modelo de crecimiento poblacional es la llamada ecuaci on logstica de
diferencias, esta es denida por la relaci on recursiva
x
n+1
= rx
n
(1 x
n
).
Cuando x
1
es conocido, con 0 < x
1
< 1 y r > 0, se genera la sucesi on logstica
(x
n
)
nN
.
3) En economa, las sucesiones pueden utilizarse, entre otras cosasa, para modelar
las anualidades. Por ejemplo si se invierte una cantidad de dinero x a una tasa
de p % compuesto anualmente, entonces la lista de montos al nal de cada a no,
durante los n primeros a nos ser a
x
_
p
100
_
; x
_
p
100
_
2
; . . . ; x
_
p
100
_
n
.
4) Sucesiones pueden aparecer tambi en en fsica, qumica, computaci on, etc.
O. Santamaria S.
8 1.2. Sucesiones Convergentes
1.2. Sucesiones Convergentes
Adem as de contar con la expresi on general del t ermino n- esimo de una sucesi on
(x
n
)
nN
, un aspecto mucho m as importante a tener en cuenta es saber si estos
t erminos x
n
comienzan a estar cerca de alg un n umero real x, a medida que n toma
valores cada vez mas grandes. Por ejemplo en la sucesi on del ejemplo 1.1, item
(2), donde x
n
= 1
_
1
4
_
n1
, observamos que x
1
= 0; x
2
= 0,75; x
3
= 0,9375;
x
4
= 0,984375; x
5
= 0, 99609375, y si continuamos vamos a observar que estos
t erminos est an cada vez m as cerca de x = 1. Sucesiones con esta car acterstica
son muy importantes y las llamaremos sucesiones convergentes. La situaci on que
acabamos de describir est a a un un poco imprecisa; por ejemplo debemos aclarar
que si los t erminos x
n
se acercan a alg un n umero real x, s olo deberan acercar-
se a este n umero x (veremos esto en la proposici on 1.1); por otro lado debemos
aclarar qu e entendemos por estar cerca de x, la idea es que la longitud de cercana
alrededor de x debe ser medida por un n umero arbitrario > 0 (esto equiva-
le a dar un intervalo abierto de longitud 2 y centro x, con arbitrario, es decir,
]x , x + [), y para dicha cercana siempre debera existir alg un valor de n, di-
gamos N, con la propiedad que para todo natural n N, los correspondientes
valores x
n
est an dentro del intervalo previamente dado. Respecto a los t erminos
x
1
, x
2
, . . . , x
N1
no se sabe que pueda pasar, estos pueden estar o no dentro del
intervalo ]x , x + [.
A continuaci on vamos a formalizar todo este palabreo.
DEFINICI ON 1.2. Una sucesi on (x
n
) es convergente si existe un n umero real x
con la propiedad que para cada > 0 existe un n umero natural N tal que n N
implica [x
n
x[ < .
-
-
x x x +
r r r
r r r r r r r
0 1

N N+1
n N
R
x
N
xn
?
f
2
x
1
r
x
N1
r
Si la sucesi on (x
n
)
nN
es convergente, el n umero real x al cual converge se llama
lmite de la sucesi on. En este caso se usa la notaci on x = lm
n
x
n
.
EJEMPLO 1.6. Considere la sucesi on (x
n
)
nN
tal que x
n
= 1
_
1
4
_
n1
para todo
n N. Hemos observado que los t erminos x
n
, cada vez est an m as cerca de x = 1.
Vamos a comprobar formalmente que esto realmente ocurre. Empecemos dando un
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 9
> 0 alrededor de x = 1, es decir, consideramos un intervalo abierto de longitud
2 con centro en x = 1. Debido a que N no es acotado, es posible hallar un n umero
natural N tal que N >
1
ln 4
ln
_
1

_
+ 1 (por muy grande que sea el n umero real
1
ln4
ln
_
1

_
+ 1, siempre podremos encontrar un n umero natural m as grande que
este). Entonces para todo n N tenemos
[x
n
1[ =

1
_
1
4
_
n1
1

1
4
n1

1
4
N1

< .
En conclusi on, dado > 0 ha sido posible hallar un n umero natural N tal que
n N implica [x
n
1[ < . Esto muestra que (x
n
) es convergente y converge a
x = 1.
OBSERVACI ON 1.2. Es bueno aclarar al estudiante sobre la elecci on de N en el
ejemplo 1.6. Puede parecer m agico o tener un poder de adivinaci on para saber
qu e N es el adecuado. En realidad, no necesitamos ning un poder sobrenatural para
saber de antemano cu al N va a funcionar en nuestra demostraci on. En realidad,
lo que hemos hecho es un trabajo previo, en borrador, con lo que queramos
obtener. Es decir, queramos obtener un N tal que para n N, [x
n
1[ < .
Como x
n
= 1
_
1
4
_
n1
entonces [x
n
1[ =
1
4
n1
. Por tanto [x
n
1[ < equivale
a
1
4
n1
< . Aplicando logaritmos a esta desigualdad y despejando n encontramos
que n >
1
ln 4
ln
_
1

_
+1. As que lo unico que queda es considerar N >
1
ln4
ln
_
1

_
+
1.
Observe tambi en que la elecci on de N depende del considerado. Nuevamente
en el ejemplo 1.6, si = 1/64 entonces N >
1
ln 4
ln
_
1

_
+ 1 = 4. Con esta
elecci on del , el intervalo centrado en x = 1 y longitud 2 =
1
32
es

31
32
,
33
32
_
=
]0,96875; 1,03125[. Considerando entonces N = 5, dejamos como ejercicio com-
probar que los t erminos x
5
, x
6
y x
7
(y de aqu para adelante) est an en este intervalo.
Sera bueno tambi en que el lector d e otros valores a y trabaje con el N respectivo.
EJEMPLO 1.7. Una sucesi on b asica pero muy importante es aquella cuyo t ermino
n- esimo es dado por x
n
:=
1
n
. Damos a continuaci on una relaci on de los doce
primeros t erminos de esta sucesi on.
x
1
= 1; x
2
= 0,5; x
3
= 0.3; x
4
= 0,25;
x
5
= 0,2; x
6
= 0,16; x
7
= 0.142857; x
8
= 0,125;
x
9
= 0.1; x
10
= 0.1; x
11
= 0.09; x
12
= 0,083.
Esta relaci on permite observar que los t erminos cada vez se van aproximando m as
al cero. Resulta que esta sucesi on realmente converge a cero. En efecto, si > 0
O. Santamaria S.
10 1.2. Sucesiones Convergentes
basta elegir cualquier n umero natural N > 1/, entonces para todo n N se tiene

1
n
0

=
1
n

1
N
< .
Es decir, lm
n
1
n
= 0.
EJEMPLO 1.8. Consideremos la sucesi on de alturas del ejemplo 1.2. Es decir la
sucesi on (x
n
)
nN
tal que x
n
=
_
3
4
_
n
h. Recordemos que x
n
representa la altura
que alcanza la pelota luego del n- esimo rebote; dej andonos llevar por la intuici on
esperaramos que la pelota se eleve cada vez a menor altura, hasta que deje de
rebotar; por tanto, conjeturamos que la sucesi on
__
3
4
_
n
h
_
nN
converge a cero, es
decir, que lm
n
_
3
4
_
n
h = 0. Veamos que esto es verdad. Para ello elija un > 0
arbitrario. Basta considerar un n umero natural N >
ln(/h)
ln(3/4)
. Entonces para todo
n N, se tiene n >
ln(/h)
ln(3/4)
, y de aqu nln(3/4) < ln(/h) (pues ln(3/4) < 0).
Luego [(3/4)
n
h 0[ = (3/4)
n
h < . Lo cual demuestra nuestra conjetura.
En el mismo ejemplo 1.2 considere la sucesi on (d
n
)
nN
, donde cada
d
n
=
_
3
4
_
n1
_
3
2
h
_
representa la distancia recorrida por la pelota entre el n- esimo y el n + 1- esimo
rebote. Nuevamente la intuici on nos dice que a medida que crece el n umero de
rebotes la pelota cada vez va recorriendo menos distancia, entre rebote y rebote;
por tanto, es razonable conjeturar que la sucesi on (d
n
)
nN
converge a 0. Es decir,
lm
n
_
3
4
_
n1
_
3
2
h
_
= 0. Dejamos como ejercicio comprobar que esto es cierto.
EJEMPLO 1.9. Considere la sucesi on
_
1
n(n+1)
_
nN
, dada por los di ametros de
los crculos construidos como se indica en el ejemplo 1.3. Como se podr a observar
de la gura dada en aquel ejemplo, los crculos son cada vez m as peque nos, por
lo que los di ametros ser an cada vez m as reducidos. La gura nos dice que debe
ser lm
n
1
n(n+1)
= 0. Por supuesto, apoyarnos en una gura tan s olo sirve para
conjeturar algo. Una vez dada la conjetura debemos proceder a mostrarla o refutarla
de manera rigurosa. Esto es lo que haremos a continuaci on. Dado > 0, basta
elegir N >
1

. Entonces para todo n N,

1
n(n + 1)
0

=
1
n(n + 1)

1
N(N + 1)
<
1
N
< .
Y esto conrma lo que habamos dicho sobre la sucesi on.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 11
EJEMPLO 1.10. Considere la sucesi on (x
n
)
nN
tal que x
n
= c para todo n
N, es decir, la sucesi on constante. En pocas palabras: si todos los t erminos de la
sucesi on son siempre iguales a c entonces esta converge a c. Es decir, lm
n
c = c.
En efecto, dado > 0 elija un n umero natural N (en este caso cualquier natural)
entonces para todo n N, [x
n
c[ = [c c[ = 0 < .
Es momento de aclarar que si una sucesi on (x
n
)
nN
es convergente entonces de-
bera converger a un unico n umero real x.
PROPOSICI ON 1.1 (Unicidad del lmite). El lmite de una sucesi on convergente
es unico.
Demostraci on. Sea (x
n
) una sucesi on convergente. Debemos mostrar que si a y
b son n umeros reales a los cuales converge esta sucesi on entonces debe ser a = b.
Sea > 0 un n umero real arbitrario. Como (x
n
) converge a a, existe un n umero
natural N
1
tal que n N
1
implica [x
n
a[ < /2 y, por razones similares, existe
un n umero natural N
2
tal que n N
2
implica [x
n
b[ < /2. Considerando
n m axN
1
, N
2
,
[a b[ [a x
n
[ +[x
n
b[ <

2
+

2
= .
Esto muestra entonces que para todo > 0 se tiene 0 [a b[ < . Esto impli-
ca
1
que a = b. T
DEFINICI ON 1.3. Un sucesi on (x
n
)
nN
es acotada si existen n umeros reales A y
B tales que A x
n
B para todo n N.
La denici on anterior es equivalente e decir que (x
n
)
nN
es acotada si existe un
n umero real c > 0 tal que [x
n
[ c para todo n N.
Una manera de comprobar que una sucesi on no es convergente es vericando que
no es acotada.
PROPOSICI ON 1.2. Si una sucesi on es convergente entonces es acotada.
Demostraci on. Suponga que (x
n
)
nN
converge a x R. Dado = 1 existe un
n umero natural N tal que [x
n
x[ < 1, es decir, x 1 < x
n
< x + 1 para todo
n N. Considerando
A = mnx
1
, . . . , x
N1
, x 1 y B = m axx
1
, . . . , x
N1
, x + 1
se tiene, para todo n N, que A x
n
B. Luego (x
n
)
nN
es acotada. T
1
Si para todo > 0 se tiene 0 a < entonces a = 0. En efecto, si fuera a = 0 entonces
a > 0, considerando =
a
2
tendramos que existe alg un > 0 tal que < a.
O. Santamaria S.
12 1.2. Sucesiones Convergentes
Es bueno aclarar que la proposici on 1.2 no dice que una sucesi on acotada es con-
vergente. De hecho la proposici on Si una sucesi on es acotada entonces es conver-
gente es falsa, como veremos en el ejemplo que sigue.
EJEMPLO 1.11. Considere la sucesi on (x
n
)
nN
tal que x
n
= (1)
n
. Esta suce-
si on es acotada pues [(1)
n
[ = 1 para todo n N. Sin embargo no es convergente;
pues si lo fuera existira un n umero real x Rcon la propiedad que para todo > 0
existe un n umero natural N tal que n N implica [(1)
n
x[ < . En particular,
para = 1 existe N N tal que si n N entonces
1 < (1)
n
x < 1.
Si n N es par tendramos 2 < x < 0 y si n N es impar tendramos
0 < x < 2, es decir, 2 < x < 0 < x < 2 lo cual, obviamente, es un
absurdo.
La proposici on 1.2 es equivalente a decir que Si una sucesi on no es acotada en-
tonces no es convergente. Aqu tenemos un criterio que podra ser util en muchas
ocasiones.
EJEMPLO 1.12. Considere la sucesi on (n/2)
nN
. Esta sucesi on no es acotada
pues dado cualquier n umero real c > 0 podemos hallar un n umero natural n su-
cientemente grande tal que n > 2c. Es decir, podemos hallar siempre un t ermino
x
n
= n/2 > c para cada c > 0. Siendo entonces (n/2)
nN
no acotada, la proposi-
ci on 1.2 garantiza que no es convergente.
EJEMPLO 1.13. Aunque en el ejemplo anterior la intuici on nos deca r apidamente
que la sucesi on dada es no acotada, y por tanto no convergente, un ejemplo menos
intuitivo es el que veremos a continuaci on. Considere la sucesi on (x
n
)
nN
tal que
cada t ermino x
n
es dado por la igualdad
x
n
= 1 +
1
2
+ +
1
n
.
Dado cualquier n umero real c > 0, elija un n umero natural n > 2(c1). Entonces
eligiendo el t ermino x
2
n se tiene
x
2
n = 1 +
1
2
+
_
1
3
+
1
4
_
+
_
1
5
+
1
6
+
1
7
+
1
8
_
+
+
_
1
2
n1
+ 1
+ +
1
2
n
_
> 1 +
1
2
+
2
4
+
4
8
+ +
2
n1
2
n
= 1 + n
1
2
> c.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 13
Esto muestra que dado cualquier n umero real c > 0 siempre es posible hallar un
t ermino x
m
tal que x
m
> c. Luego
_
1 +
1
2
+ +
1
n
_
nN
es no acotada y, por
tanto, no convergente.
PROPOSICI ON 1.3 (Suma de sucesiones). Si (x
n
)
nN
converge a x y (y
n
)
nN
converge a y, entonces (x
n
+ y
n
)
nN
converge a x + y.
Demostraci on. Sea > 0 un n umero arbitrario. Debido a la convergencia de (x
n
)
existe un n umero natural N
1
tal que si n N
1
entonces [x
n
x[ < /2. An aloga-
mente, la convergencia de (y
n
) garantiza la existencia de un n umero natural N
2
tal
que n N
2
implica [y
n
x[ < /2. Considerando N = m axN
1
, N
2
entonces
para cada n ,= N se tiene
[x
n
+ y
n
(x + y)[ [x
n
x[ +[y
n
y[ <

2
+

2
= .
Esto concluye la prueba. T
OBSERVACI ON 1.3. En t erminos pr acticos, la proposici on 1.3 dice que para suce-
siones convergentes (x
n
)
nN
y (y
n
)
nN
vale la igualdad
lm
n
(x
n
+ y
n
) = lm
n
x
n
+ lm
n
y
n
.
MAS NO ES CIERTO que si existe el lmite lm
n
(x
n
+ y
n
) entonces las sucesiones
(x
n
)
nN
y (y
n
)
nN
son convergentes. Por ejemplo si x
n
= n y y
n
= n, se tiene
x
n
+ y
n
= 0, luego, lm
n
(x
n
+ y
n
) = 0 y, sin embargo, (n)
nN
y (n)
nN
son
no convergentes.
EJEMPLO 1.14. Existe el lmite lm
n
n + 1
n
? En otras palabras, es convergente
la sucesi on
_
n + 1
n
_
nN
? Una simple manipulaci on algebraica nos dice que
n + 1
n
= 1 +
1
n
.
Luego, cada t ermino z
n
=
n + 1
n
es la suma de los t erminos x
n
= 1 y y
n
=
1
n
.
La sucesi on (x
n
= 1)
nN
es convergente (vea el ejemplo 1.10, con c = 1) y la
sucesi on (y
n
= 1/n)
nN
es tambi en convergente, seg un vimos en el ejemplo 1.7.
Por tanto, de acuerdo a la proposici on 1.3, (z
n
)
nN
es convergente y
lm
n
n + 1
n
= lm
n
1 + lm
n
1
n
= 1 + 0 = 1.
O. Santamaria S.
14 1.2. Sucesiones Convergentes
PROPOSICI ON 1.4 (Producto por un escalar). Si (x
n
)
nN
converge a x y es
cualquier n umero real entonces la sucesi on (x
n
)
nN
converge a x.
Demostraci on. Si = 0 el resultado es obvio. Consideremos el caso ,= 0.
Sea > 0. Debido a la convergencia de (x
n
)
nN
, existe un n umero natural N tal
que si n N entonces [x
n
x[ < / [[. Luego n N implica [x
n
x[ =
[[ [x
n
x[ <
_

||
_
= . T
PROPOSICI ON 1.5 (Producto de sucesiones). Si (x
n
)
nN
converge a x y (y
n
)
nN
converge a y entonces (x
n
y
n
)
nN
converge a xy.
Demostraci on. Puesto que (x
n
)
nN
es convergente, la proposici on 1.2 garantiza
que esta es acotada, es decir, existe un c > 0 tal que [x
n
[ c para todo n N.
Sea > 0. La convergencia de (x
n
) garantiza la existencia de un n umero na-
tural N
1
tal que n N implica [x
n
x[ <

c+|B|
. An alogamente, debido a la
convergencia de (y
n
)
n
existe un n umero natural N
2
tal que n N
2
implica
[y
n
y[ <

c+|B|
. Considerando N = m axN
1
, N
2
entonces para todo n N,
[x
n
y
n
AB[ [x
n
[ [y
n
B[ +[B[ [x
n
x[
< c

c +[B[
+[B[

c +[B[
= .
Luego (x
n
y
n
)
nN
es convergente y converge a xy. T
LEMA 1.1. Si (x
n
)
nN
converge a x ,= 0 entonces existe un n umero real c > 0 y
un n umero natural N tales que si n N entonces [x
n
[ c.
Demostraci on. Sea =
|x|
2
> 0. De la convergencia de (x
n
)
nN
a x, obtenemos
un n umero natural N tal que si n N entonces [x
n
x[ <
|x|
2
. Siendo [x[[x
n
[
[x x
n
[ <
|x|
2
, encontramos que [x
n
[
|x|
2
. Basta elegir entonces c =
|x|
2
> 0
para concluir en lo que arma el lema. T
PROPOSICI ON 1.6 (Cociente de sucesiones). Si (x
n
)
nN
converge a x, (y
n
)
nN
converge a y, siendo y ,= 0 y y
n
,= 0 para todo n N entonces
_
x
n
y
n
_
nN
converge a
x
y
.
Demostraci on. Basta convencerse de que
_
1
y
n
_
nN
converge a
1
y
y luego usar la
proposici on 1.5. Sea > 0. Como (y
n
)
nN
converge a y ,= 0, del lema 1.1 sabemos
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 15
que existe un n umero real c > 0 y un n umero natural N
1
tal que si n N
1
entonces
[y
n
[ c. Asimismo, para el > 0 dado, existe un n umero natural N
2
tal que si
n N
2
entonces [y
n
y[ < c [y[. Por tanto, para todo n m axN
1
, N
2
,

1
y
n

1
y

=
1
[y[
1
[y[
n
[y y
n
[ <
1
[y[

1
c
c [y[ = .
Como
x
n
y
n
= x
n

1
y
n
, concluimos a partir de la proposici on 1.5 que la sucesi on
_
x
n
y
n
_
nN
converge a x
1
y
=
x
y
. T
OBSERVACI ON 1.4. En t erminos pr acticos, la proposici on 1.4 dice que si
lm
n
x
n
= x y R entonces
lm
n
x
n
= lm
n
x
n
.
La proposici on 1.5 dice que si lm
n
x
n
= x y lm
n
y
n
= y entonces
lm
n
x
n
y
n
= lm
n
x
n
lm
n
y
n
= xy.
Finalmente, la proposici on 1.6 dice que si lm
n
x
n
= x y lm
n
y
n
= y, siendo
y
n
,= 0 para todo n N y adem as y ,= 0 entonces
lm
n
x
n
y
n
=
lm
n
x
n
lm
n
y
n
=
x
y
.
EJEMPLO 1.15.
1) Puesto que lm
n
1
n
= 0, entonces es sencillo deducir a partir de la proposi-
ci on 1.5 que para cada n umero natural k, lm
n
1
n
k
= 0.
2) Considere la sucesi on
_
n
2
+ n + 1
2n
2
+

2n + 1
_
nN
. Una simple manipulaci on alge-
braica nos muestra que
n
2
+ n + 1
2n
2
+

2n + 1
=
1 +
1
n
+
1
n
2
2 +

2
1
n
+
1
n
2
.
O. Santamaria S.
16 1.2. Sucesiones Convergentes
Puesto que lm
n
1 = 1, lm
n
1
n
= 0 y lm
n
1
n
2
= 0 entonces, de la proposi-
ci on 1.3 deducimos que lm
n
_
1 +
1
n
+
1
n
2
_
= 1+0+0 = 1. An alogamente,
y usando adem as la proposici on 1.4, se deduce que lm
n
_
2 +

2
1
n
+
1
n
2
_
=
2 +

2 0 + 0 = 2 ,= 0.
Como cada t ermino 2+

2
1
n
+
1
n
2
es no nulo, de la proposici on 1.6 concluimos
que
lm
n
1 +
1
n
+
1
n
2
2 +

2
1
n
+
1
n
2
=
lm
n
_
1 +
1
n
+
1
n
2
_
lm
n
_
2 +

2
1
n
+
1
n
2
_ =
1
2
.
Por lo tanto lm
n
n
2
+ n + 1
2n
2
+

2n + 1
=
1
2
.
Quiz a el procedimiento dado en este ejemplo puede parecer demasiado formal,
pero lo que se quiere es llamar la atenci on para el hecho de que f ormulas co-
mo por ejemplo lm
n
x
n
+ y
n
= lm
n
x
n
+ lm
n
y
n
valen siempre que exis-
tan los lmites lm
n
x
n
y lm
n
y
n
. Lo mismo puede decirse de las igualdades
lm
n
x
n
= lm
n
x
n
; lm
n
x
n
y
n
= lm
n
x
n
lm
n
y
n
y; lm
n
xn
yn
=
lm
n
xn
lm
n
yn
.
Menos procedimiento formal haremos en el ejemplo siguiente.
3) Calcular lm
n
_
n
2
1
n
2
+ 1
_
3
.
Puesto que
_
n
2
1
n
2
+ 1
_
3
=
_
n
2
1
n
2
+ 1
__
n
2
1
n
2
+ 1
__
n
2
1
n
2
+ 1
_
entonces
lm
n
_
n
2
1
n
2
+ 1
_
3
=
_
lm
n
n
2
1
n
2
+ 1
_
3
=
_
lm
n
1 1/n
2
lm
n
1 + 1/n
2
_
3
=
_
1 0
1 + 0
_
3
= 1.
Sera bueno que el estudiante diga qu e proposiciones se han utilizado para este
c alculo ligero.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 17
PROPOSICI ON 1.7 (Monotona del lmite). Si (x
n
)
nN
converge a x y (y
n
)
nN
converge a y, siendo x
n
y
n
para todo n N, entonces x y.
Demostraci on. Supongamos que es x > y. Para =
xy
2
, la convergencia de
(x
n
)
nN
implica la existencia de un n umero natural N
1
tal que si n N
1
entonces
[x
n
x[ < ; de la misma manera, por la convergencia de (y
n
)
nN
, existe un
n umero natural N
2
tal que si n N
2
entonces [y
n
y[ < . Considerando N =
m axN
1
, N
2
entonces para todo n N se tiene
y
n
< y + = y +
x y
2
=
x + y
2
= x < x
n
y
n
.
Es decir, y
n
< x
n
, lo cual obviamente es imposible. Por tanto debe ser x y. T
EJEMPLO 1.16. Si (x
n
) converge a x y adem as x
n
0, para todo n N, entonces
(

a
n
)
nN
converge a

x.
Demostraci on. Es claro, de la proposici on 1.7, que x 0. Sea > 0 un n umero
arbitrario.
1) Si x = 0 el resultado es sencillo, pues en este caso, por la convergencia de (x
n
)
a x = 0 elegimos N tal que para n N, [x
n
0[ <
2
. Entonces para todo
n N,

x
n
0

=

x
n
<

2
= .
2) Si x > 0. En primer lugar del lema 1.1 sabemos que existe un c > 0 y
un N
1
N tal que [x
n
[ > c para todo n N
1
. Por otro lado, por la
convergencia de (x
n
) a x, existe un N
2
N tal que si n N
2
entonces
[x
n
x[ <
__
x
2
+

x
_
. Considerando N = m axN
1
, N
2
entonces para
todo n N,

x
n

=
[x
n
x[

x
n
+

x
<
__
x
2
+

x
_

_
x
2
+

x
= .
Por tanto, nuevamente se tiene que (

x
n
)
nN
converge a

x. T
DEFINICI ON 1.4. Sea f : N R una sucesi on. Una funci on g: N R es sub-
sucesi on de f si existe una funci on creciente k: N N tal que g = f k.
Por funci on creciente k: N N , entendemos que esta tiene la propiedad que si
i < j entonces k(i) < k(j). Si denotamos f(n) por x
n
y k(j) por n
j
entonces
g(j) = f(k(j)) = f(n
j
) = x
n
j
.
Por tanto, en una notaci on mas convencional, la denici on 1.4 puede ser re-escrita
diciendo que si (x
n
)
nN
es una sucesi on y (n
j
)
jN
es una sucesi on arbitraria de
O. Santamaria S.
18 1.2. Sucesiones Convergentes
n umeros naturales tales que n
1
< n
2
< n
3
< , la sucesi on (x
n
j
)

j=1
se llama
subsucesi on de (x
n
)
nN
. En t erminos m as pr acticos, diramos que una subsucesi on
se obtiene suprimiendo algunos de los t erminos de la sucesi on y re-enumerando
los t erminos que quedan sin suprimir. Toda sucesi on se considera subsucesi on de
si misma; esto corresponde a no suprimir ning un t ermino de la sucesi on dada o
simplemente considerar n
j
= j para todo j.
Como lo que interesa es estudiar convergencia de sucesiones, es natural tratar de
usar de alguna manera el concepto de subsucesi on para este prop osito.
PROPOSICI ON 1.8. Una sucesi on (x
n
)
nN
converge a x si y solo si toda subsu-
cesi on (x
n
j
)
jN
tambi en converge a x.
Demostraci on. Supongamos inicialmente que (x
n
)
nN
converge a x y considere-
mos la subsucesi on arbitraria (x
n
j
)
jN
de (x
n
)
nN
. Debemos mostrar que (x
n
j
)
jN
converge a x. Para ello sea > 0; debido a la convergencia de (x
n
)
nN
existe un
n umero natural N tal que si n N entonces [x
n
x[ < . Como n
1
< n
2
< ,
y esta sucesi on de naturales es no acotada, existe un entero J tal que n
J
N.
Luego para todo j J se tiene n
j
n
J
N, y esto implica

x
n
j
x

< . Por
tanto, (x
n
j
)
jN
converge a x.
Recprocamente, si toda subsucesi on (x
n
j
)
jN
tambi en converge a x, entonces
(x
n
) converge a x, pues toda sucesi on tambi en una subsucesi on de si mismo. T
Este resultado nos da otro recurso para saber si una sucesi on no es convergente:
basta encontrar dos subsucesiones que converjan a lmites distintos, o bien dos
subsucesiones una de las cuales no converja, o bien dos subsucesiones no conver-
gentes.
EJEMPLO 1.17. La sucesi on (cos n)
nN
no es convergente, pues si considera-
mos las subsucesiones
(cos 2j)
jN
y (cos(2j + 1))
jN
vemos que estas se convierten en (1)
jN
y (1)
jN
respectivamente. Obviamente
la primera converge a 1 y la segunda converge a 1. De la proposici on 1.8 resulta
entonces que (cos(n))
nN
no es convergente.
PROPOSICI ON 1.9. Si la sucesi on (x
n
)
nN
es acotada y (y
n
)
nN
converge a cero
entonces (x
n
y
n
)
nN
converge tambi en a cero.
Demostraci on. Sea > 0 arbitrario. Puesto que (x
n
)
nN
es acotada, existe c > 0
tal que [x
n
[ c para todo n N; adem as de esto, la convergencia de (y
n
)
nN
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 19
a cero garantiza la existencia de un n umero natural N tal que n N implica
[y
n
0[ < /c. Luego para todo n N,
[x
n
y
n
0[ = [x
n
[ [y
n
[ < c
_

c
_
= .
Por tanto, lm
n
x
n
y
n
= 0. T
EJEMPLO 1.18. Considere la sucesi on (cos n)
nN
. Hemos visto en el ejem-
plo 1.17 que esta sucesi on no es convergente; sin embargo es acotada ya que
[cos n[ 1 para todo n N. Por otro lado, vimos en el ejemplo 1.7 que la
sucesi on
_
1
n
_
nN
es convergente y converge a cero. Se deduce entonces de la pro-
posici on 1.9 que
_
1
n
cos n
_
nN
tambi en es convergente y converge a cero.
IMPORTANTE: En este ejemplo no es correcto haber hecho el siguiente c alculo:
lm
n
1
n
cos n = lm
n
1
n
lm
n
cos n = 0 lm
n
cos n = 0,
pues el lmite lm
n
cos n no existe!
EJEMPLO 1.19. En el espritu del ejemplo anterior, podemos calcular el lmite
de la sucesi on
_
n
2
1
n
3
+1
sen
_
n
4
+n
3
+n+1
n
3
+1
__
nN
, cuando n . En efecto, en este
caso para cualquier valor dado a n Nsiempre se tendr a

sen
_
n
4
+n
3
+n+1
n
3
+1
_

1.
Y como
lm
n
n
2
1
n
3
+ 1
= lm
n
1/n 1/n
3
1 + 1/n
3
=
0 0
1 + 0
= 0,
entonces lm
n
n
2
1
n
3
+1
sen
_
n
4
+n
3
+n+1
n
3
+1
_
= 0.
DEFINICI ON 1.5. Un sucesi on (x
n
)
nN
es no decreciente si para todo n N se
tiene x
n
x
n+1
. Un sucesi on (x
n
)
nN
es no creciente si x
n
x
n+1
para todo
n N. Un sucesi on es mon otona si es o bien no decreciente o bien no creciente.
PROPOSICI ON 1.10. Una sucesi on mon otona es convergente si y solo si es aco-
tada.
Demostraci on. Sea (x
n
)
nN
una sucesi on mon otona, mas precisamente suponga-
mos que es no decreciente. Si (x
n
)
nN
es acotada entonces existe supx
n
: n
N, al que denotaremos por s. Sea > 0. Como s es la mnima cota superior en-
tonces s no es cota superior; por tanto, existe N N tal que s < x
N
.
Entonces para todo n N,
s < x
N
x
n
s < s + .
O. Santamaria S.
20 1.2. Sucesiones Convergentes
Esto demuestra que (x
n
)
nN
converge a s. En el caso de ser (x
n
)
nN
no creciente,
consideramos t = nfx
n
: n N y, por un razonamiento an alogo, se concluye
que dicha sucesi on converge a t.
Recprocamente, si (x
n
)
nN
es convergente (sea mon otona o no), la proposici on 1.2
garantiza que es acotada. T
EJEMPLO 1.20 (El n umero e). Consideremos la sucesi on
__
1 +
1
n
_
n
_
nN
. Los
cuatro primeros t erminos de esta sucesi on son por ejemplo x
1
= 2; x
2
= 9/4 =
2,25; x
3
= 64/27 = 2.370 y x
4
= 625/256 = 2,44140625. Nos proponemos
probar, haciendo uso de la proposici on 1.10, que esta sucesi on es convergente.
Para usar tal resultado necesitamos comprobar que esta sucesi on es mon otona y
adem as acotada.
Para comprobar que es no decreciente, observemos que para cada natural n,
x
n
=
_
1 +
1
n
_
n
= 1 + n
1
n
+
n(n 1)
2!

1
n
2
+ +
n(n 1) 2 1
n!

1
n
n
= 1 + 1 +
1
2!
_
1
1
n
_
+
1
3!
_
1
1
n
__
1
2
n
_
+ +
+
1
n!
_
1
1
n
__
1
2
n
_

_
1
n 1
n
_
.
En esta expansi on de x
n
, cada sumando es no negativo y tiene la forma
1
k!
_
1
1
n
__
1
2
n
_

_
1
k 1
n
_
,
donde k = 0, 1, . . . , n. Puesto que cada uno de los factores
_
1
1
n
_
,
_
1
2
n
_
, ,
_
1
k 1
n
_
,
crece a medida que n crece, concluimos que x
n
x
n+1
. Es decir, (x
n
) es no
decreciente.
Para mostrar que (x
n
)
nN
es acotada, observemos que en cada sumando se tiene
1
k!
_
1
1
n
__
1
2
n
_

_
1
k 1
n
_

1
k!
,
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 21
luego
x
n

1
0!
+
1
1!
+
1
2!
+
1
3!
+ +
1
n!
1 + 1 +
1
2
1
+
1
2
2
+ + +
1
2
n1
= 1 +
1
_
1
2
_
n
1
1
2
= 1 + 2
1
2
n1
.
Es decir, x
n
3
1
2
n1
y, por tanto, 0 x
n
3 para todo n N. Luego (x
n
) es
acotada.
Sabiendo entonces que la sucesi on
__
1 +
1
n
_
n
_
nN
es convergente, denotaremos
su lmite con la letra e. Es decir,
e := lm
n+
_
1 +
1
n
_
n
.
Dando valores cada vez m as grandes a n, por ejemplo n 1000, obtenemos un
valor cada vez m as aproximado de e. Este valor es e 2,71828 . . . y es la base del
logaritmo natural.
PROPOSICI ON 1.11 (Teorema del Sandwich). Sean (x
n
)
nN
, (y
n
)
nN
y (z
n
)
nN
sucesiones tales que x
n
z
n
y
n
para todo n N. Si (x
n
)
nN
y (y
n
)
nN
convergen ambas a x entonces (z
n
)
nN
tambi en converge a x.
Demostraci on. Sea > 0. Debido a la convergencia de (x
n
)
nN
, existe un n ume-
ro natural N
1
tal que si n N
1
entonces [x
n
x[ < . Asimismo, por la con-
vergencia de (y
n
)
nN
, existe un n umero natural N
2
tal que si n N
2
entonces
[y
n
x[ < . Considerando N = m axN
1
, N
2
se tiene, para todo n N, que
x < x
n
z
n
y
n
< x + .
Por tanto, [z
n
x[ < siempre que n N. T
EJEMPLO 1.21. Considere la sucesi on
_
n
1/n
_
nN
. Vamos a mostrar que esta es
convergente y converge a x = 0. Para ello consideremos la sucesi on (x
n
)
nN
tal
que x
n
=
n

n 1. Es claro que x
n
0 para todo n N. Adem as de esto,
n = (
n

n)
n
= (1 + x
n
)
n
= 1 + nx
n
+
n(n 1)
2
x
2
n
+
n(n 1)(n 2)
3!
x
3
n
+ + x
n
n

n(n 1)
2
x
2
n
O. Santamaria S.
22 1.3. Ejemplos diversos
de donde 0 x
n

_
2
n1
para todo n N. Puesto que lm
n
0 = 0 =
lm
n
_
2
n1
deducimos, de la proposici on 1.11, que lm
n
x
n
= 0. Como x
n
=
n

n 1 concluimos que lm
n
n

n = 1.
EJEMPLO 1.22. Sea (x
n
)
nN
la sucesi on tal que
x
n
:=
n
n
2
+ 1
+
n
n
2
+ 2
+ +
n
n
2
+ n
Puesto que
n
n
2
+ n

n
n
2
+ k

n
n
2
+ 1
para todo k = 1, . . . , n, entonces
n

k=1
n
n
2
+ n

n

k=1
n
n
2
+ k

n

k=1
n
n
2
+ 1
.
Luego
n
2
n
2
+ n

n

k=1
n
n
2
+ k

n
2
n
2
+ 1
,
es decir,
n
2
n
2
+ n
x
n

n
2
n
2
+ 1
.
Como lm
n
n
2
n
2
+n
= 1 = lm
n
n
2
n
2
+1
, la proposici on 1.11 implica que
lm
n
x
n
= 1.
1.3. Ejemplos diversos
En esta secci on damos una serie de ejemplos a n de que el estudiante aprenda
algunas t ecnicas de c omo calcular el lmite de una sucesi on convergente o c omo
demostrar que una sucesi on dada converge a un n umero real.
EJEMPLO 1.23. Comprobar que
a) lm
n
n1
n+1
= 1 b) lm
n
1
n
2
sen

n
= 0 c) lm
n
(

n + 1

n) = 0.
Soluci on.
a) Sea > 0. Observe que
n1
n+1
= 1
2
n+1
; considerando un n umero natural
N >
2

(por ejemplo N = 1 +
2

) se tiene

n 1
n + 1
1

1
2
n + 1
1

=
2
n + 1

2
N + 1

2
N
< .
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 23
b) Sea > 0 y elija un n umero natural N >
1

; como

sen

n

1 entonces

1
n
2
sen

n
0

1
n
2
sen

n

1
n
2

sen

n


1
n
2

1
N
2
< .
Este ejemplo tambi en puede ser resuelto haciendo uso de la proposici on 1.9, tal
como hicimos en el ejemplo 1.18.
c) En primer lugar observe que

n + 1

n =
1

n+1+

n
; adem as de esto, siendo

n + 1 entonces 2

n + 1 +

n, por tanto,
1

n+1+

n

1
2

n
.
Sea > 0; elija un n umero natural N >
1
4
2
, entonces para todo n N se tiene

n + 1

n) 0

=
1

n + 1 +

1
2

n

1
2

N
< .
lo cual demuestra el lmite enunciado. T
EJEMPLO 1.24. Verique que si 1 < a < 1 entonces lm
n
a
n
= 0.
En efecto, en primer lugar observamos que la igualdad es obvia si a = 0. Supon-
dremos entonces a ,= 0. En este caso, al ser 0 < [a[ < 1 y multiplicar por [a[ en
esta desigualdad obtenemos [a[
2
[a[ < 1; haciendo un procedimiento an alogo,
es decir, multiplicando nuevamente por [a[ en esta ultima desigualdad, se obtie-
ne [a[
3
[a[
2
[a[ < 1. En general no es defcil ver que si n m entonces
[a[
n
[a[
m
.
Sea > 0 y elija un n umero natural N >
ln
ln|a|
; con esta elecci on de N, para todo
n N se tiene
[a
n
0[ = [a[
n
[a[
N
< .
Lo cual demuestra lo armado. T
En el ejemplo 1.24 observe que si a = 1 entonces lm
n
a
n
= 1, pues en este caso
a
n
= 1 para todo n N. Por otro lado, si a = 1 la sucesi on ((1)
n
)
nN
no
converge, tal como vimos en el ejemplo 1.11. Finalmente, si [a[ > 1 la respectiva
sucesi on (a
n
)
nN
no es acotada y, por la proposici on 1.2, no es convergente.
EJEMPLO 1.25. Considere la sucesi on (x
n
)
nN
tal que x
n
=
n
3
n
para todo n N.
Observe que todos los t erminos son no negativos, por tanto (x
n
) es acotada infe-
riormente, y adem as
x
n+1
=
n + 1
3
n+1
=
n + 1
3n

n
3
n
=
n + 1
3n
x
n
< x
n
. (*)
O. Santamaria S.
24 1.3. Ejemplos diversos
Estas desigualdades dicen que (x
n
) es no creciente y adem as acotada superiormen-
te. La proposici on 1.10 nos permite concluir que
_
n
3
n
_
nN
es convergente.
Sabiendo que (x
n
)
nN
es convergente, la pregunta que cae natural es a qu e n ume-
ro real converge? En la demostraci on de la proposici on 1.10 vimos que en el caso
no creciente la sucesi on converge a nfx
n
: n N. Pero aqu aparece entonces
un peque no problema: c omo calculamos este nmo? Sin embargo, la siguiente
igualdad nos salva de ir por este camino:
lm
n
x
n+1
= lm
n
x
n
,
para cualquier sucesi on convergente (x
n
)
nN
. Mas adelante justicaremos formal-
mente esta igualdad. Por el momento vamos a usarla en la sucesi on
_
n
3
n
_
nN
. Para
ello observemos de (*) que
x
n+1
=
n + 1
3n
x
n
por tanto
lm
n
x
n+1
= lm
n
_
n + 1
3n
x
n
_
= lm
n
n + 1
3n
lm
n
x
n
de donde obtenemos que L =
1
3
L y por tanto L = 0, es decir, lm
n
n
3
n
= 0.
Ahora viene lo prometido.
PROPOSICI ON 1.12. Para toda sucesi on convergente (x
n
)
nN
,
lm
n
x
n+1
= lm
n
x
n
,
Demostraci on. Basta observar que (x
n+1
) es subsucesi on de (x
n
) y usar la pro-
posici on 1.8. T
EJEMPLO 1.26. Considere la sucesi on (x
n
)
nN
denida recursivamente por
x
1
=
3
2
y x
n
=
_
3x
n1
2, para n 2.
Mostraremos que esta sucesi on converge y encontraremos su lmite.
Para demostrar que (x
n
) es convergente usaremos la proposici on 1.10; para ello
debemos mostrar que dicha sucesi on es mon otona y acotada.
En primer lugar mostramos que es acotada. Puesto que x
1
=
3
2
entonces x
2
=
_
3
3
2
2 =
_
5
2
; observamos que
3
2
= x
1
x
2
2. Haciendo c alculos nue-
vamente vemos que x
3
=
_
3
_
5
2
2 y
3
2
= x
1
x
2
x
3
2. Armamos
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 25
que
3
2
x
n
2 para todo n N. En efecto, ya hemos visto que esto es ver-
dad para n = 1. Suponiendo que
3
2
x
k
2 entonces
9
2
3x
k
6, luego
5
2
3x
k
2 4; por tanto,
3
2

_
5
2


3x
k
2 2, es decir,
3
2
x
k+1
2.
Concluimos entonces que la sucesi on es acotada.
Para mostrar que es mon otona basta observar que la desigualdad
3
2
x
n
2, para
todo n N, implica que x
2
n
3x
n
2, luego x
n
x
n+1
para todo n N. Es
decir, la sucesi on es no decreciente.
Como decamos al inicio, la proposici on 1.10 implica que (x
n
) es convergente.
Siendo as, puesto que
x
n+1
=

3x
n
2,
entonces, del ejemplo 1.16,
lm
n
x
n+1
=
_
3 lm
n
x
n
2,
y de la proposici on 1.12 obtenemos
L =

3L 2,
de donde L = 1 o L = 2. La posibilidad L = 1 es descartada puesto que x
n

3
2
> 1 para todo n. Por tanto lm
n
x
n
= 2.
EJEMPLO 1.27. Consideremos la sucesi on (x
n
) denida inductivamente por
x
1
= 2 y x
n+1
= 2 +
1
3 +
1
xn
para n 1.
Algunos t erminos de esta sucesi on son
x
1
= 2; x
2
=
16
7
; x
3
=
126
55
; x
4
=
992
433
; x
5
=
7810
3409
; etc.
Se observa que estos t erminos van creciendo y todos est an acotados por 3. Esto
hace sospechar que la sucesi on dada es acotada y mon otona. En efecto, observe
que cada t ermino de la sucesi on es positivo, luego x
n
2 para todo n N. Pero
adem as de esto,
2 x
n
= 2 +
1
3 +
1
x
n1
= 2 +
x
n1
3x
n1
+ 1
2 +
x
n1
3x
n1
= 2 +
1
3
=
7
3
.
Por tanto 2 x
n

7
3
y as, (x
n
) es acotada. Como adem as (x
n
) es no decreciente
(trate de comprobarlo!) concluimos, usando la proposici on 1.10, que esta sucesi on
es convergente. Siendo as, debido a que
x
n+1
= 2 +
1
3 +
1
xn
,
O. Santamaria S.
26 1.3. Ejemplos diversos
entonces
lm
n
x
n+1
= lm
n
_
2 +
1
3 +
1
xn
_
,
luego, por la proposici on 1.12,
L = 2 +
1
3 +
1
L
=
7L + 2
3L + 1
.
De esta igualdad obtenemos nalmente lm
n
x
n
=
3+

15
3
.
EJEMPLO 1.28. Consideremos la sucesi on (x
n
) tal que
x
1
= 1, y para n 2, x
n
=
_
2x
n1
.
As, algunos t erminos de esta sucesi on son:
x
1
= 2; x
2
=

2; x
3
=
_
2

2; x
4
=
_
2
_
2

2; x
5
=

2
_
2
_
2

2; . . .
Mostraremos que (x
n
) es no decreciente y adem as acotada. Para n = 1, x
1
= 1
x
2
=

2 2. Suponiendo que esto es v alido para n = k, es decir, x


k
x
k+1
2
entonces para n = k + 1 se tiene
x
k+1
=

2x
k

_
2x
k+1
= x
k+2
y adem as
x
k+2
=
_
2x
k+1

2 2 = 2.
Siendo mon otona y acotada, de la proposici on 1.10 deducimos que esta sucesi on
es convergente; sea L = lm
n
x
n
. Entonces la igualdad
lm
n
x
n+1
= lm
n

2x
n
,
la proposici on 1.12 y el ejemplo 1.16, nos llevan a L =

2L, de donde L = 0
o L = 2. Como esta sucesi on empieza en x
1
= 1 y es no decreciente, descartamos
L = 0; por tanto, lm
n
x
n
= 2.
EJEMPLO 1.29. Consideremos la sucesi on (x
n
) denida por las relaciones recur-
sivas
x
1
=

2, y para n 2, x
n+1
=

2 + x
n
.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 27
Mostraremos que esta sucesi on es convergente, para ello mostraremos que es no
decreciente y acotada, lo que nos dar a derecho a usar la proposici on 1.10. En efecto,
x
1
=

2 x
2
=
_
2 +

2 3.
Suponiendo que para n = k, x
k
x
k+1
3 entonces para n = k + 1,
x
k+1
=

2 + x
k

_
2 + x
k+1
= x
k+2
y
x
k+2
=
_
2 +

x
k+1

_
2 +

3 3.
Siendo no decreciente y acotada, esta sucesi on es convergente. Si L = lm
n
x
n
entonces de la igualdad x
n+1
=

2 + x
n
, la proposici on 1.12 y el ejemplo 1.16
obtenemos L =

2 + L, por tanto, L = 2. Es decir, lm


n
x
n
= 2.
EJEMPLO 1.30. Sea la sucesi on (x
n
)
nN
tal que x
n
=
q
n
n!
, donde q es cualquier
n umero real. Mostraremos que esta sucesi on es convergente y converge a cero.
Debido a que el conjunto de los n umeros naturales es no acotado, existe un n umero
natural m tal que [q[ < m. Entonces para todo n m, tenemos
0 =

q
n
n!

=
(nm)veces
..
[q[ [q[
n(n 1) (m + 1)

[q[
m
m!
<
(nm)veces
..
[q[ [q[
m m m
. .
(nm)veces

[q[
m
m!
=
[q[
nm
m
nm

m
m
m
m

[q[
m
m!
=
m
m
m!

_
[q[
m
_
n
.
Es decir, para todo n N,
0 =

q
n
n!

<
m
m
m!

_
[q[
m
_
n
.
Pero m est a jo de manera que
m
m
m!
tampoco depende de n. Adem as de esto,
siendo [q[ < m entonces
|q|
m
< 1, luego de la proposici on 1.24 sabemos que
lm
n
_
|q|
m
_
n
= 0. Por tanto, de la proposici on 1.11 concluimos que lm
n

q
n
n!

= 0.
A su vez, esto implica que lm
n
q
n
n!
= 0.
O. Santamaria S.
28 1.3. Ejemplos diversos
EJEMPLO 1.31. Sabiendo que lm
n
x
n
= x, muestre que
lm
n
x
1
+ + x
n
n
= x.
Demostraci on. Distinguiremos dos casos: cuando x = 0 y cuando x ,= 0.
1) Si x = 0. Sea > 0. La hip otesis lm
n
x
n
= 0 implica que existe un n umero
natural N
0
tal que para todo n N
0
se tiene [x
n
[ < /2. Entonces para todo
n N
0
,

x
1
+ + x
n
n
0

x
1
+ + x
N
0
+ x
N
0
+1
+ + x
n

x
1
+ + x
N
0

n
+

x
N
0
+1
+ + x
n

x
1
+ + x
N
0

n
+
1
n
_

x
N
0
+1

+ +[x
n
[
_
<

x
1
+ + x
N
0

n
+
n N
0
n


2
<

x
1
+ + x
N
0

n
+

2
.
Puesto que el numerador

x
1
+ + x
N
0

, del primer sumando de la ultima


desigualdad, est a jo y el conjunto de los n umeros naturales es acotado, pode-
mos elegir un n umero natural N > N
0
sucientemente grande de forma tal que

x
1
++x
N
0

N
<

2
. Entonces para todo n N(> N
0
),

x
1
+ + x
n
n
0

<

x
1
+ + x
N
0

n
+

2
<

2
+

2
= .
Por tanto, lm
n
x
1
+ + x
n
n
= 0.
2) Estudiamos el caso x ,= 0. En este caso la igualdad lm
n
x
n
= x es equivalente
a lm
n
(x
n
x) = 0. Entonces del caso (1) se tiene
lm
n
(x
1
x) + (x
2
x) + + (x
n
x)
n
= 0.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 29
Pero
(x
1
x) + (x
2
x) + + (x
n
x)
n
=
x
1
+ x
2
+ + x
n
n
x enton-
ces lm
n
x
1
+ + x
n
n
= x. T
EJEMPLO 1.32. Hallar lm
n
1
n
_
2
5
+
5
11
+ +
n
2
+ 1
2n
2
+ 3
_
.
Soluci on. Considere x
k
=
k
2
+ 1
2k
2
+ 3
, entonces
lm
n
1
n
_
2
5
+
5
11
+ +
n
2
+ 1
2n
2
+ 3
_
= lm
n
x
1
+ x
2
+ + x
n
n
,
luego, del ejemplo 1.31 se tiene
lm
n
1
n
_
2
5
+
5
11
+ +
n
2
+ 1
2n
2
+ 3
_
= lm
n
n
2
+ 1
2n
2
+ 3
= lm
n
1 +
1
n
2
2 +
3
n
2
=
1 + 0
2 + 0
.
Entonces lm
n
1
n
_
2
5
+
5
11
+ +
n
2
+ 1
2n
2
+ 3
_
=
1
2
. T
EJEMPLO 1.33. Sabiendo que lm
n
x
n
= a, y los x
n
son todos positivos, muestre
que
lm
n
n

x
1
x
2
. . . x
n
= a.
Demostraci on. Como veremos, esto es consecuencia de la situaci on vista en el
ejemplo 1.31. Para ello observe que
n

x
1
x
2
. . . x
n
= e
ln(
n

x
1
x
2
...xn)
= e
ln x
1
+ln x
2
++ln xn
n
.
Siendo lm
n
x
n
= a entonces lm
n
ln x
n
= ln a, por tanto, del ejemplo 1.31,
lm
n
ln x
1
+ ln x
2
+ + ln x
n
n
= ln a.
Luego,
lm
n
n

x
1
x
2
. . . x
n
= lm
n
e
ln x
1
+lnx
2
++lnxn
n
= e
lna
= a.
Y esto es lo que queramos mostrar. T
O. Santamaria S.
30 1.3. Ejemplos diversos
EJEMPLO 1.34. En el ejemplo 1.31 puede suceder que exista lm
n
x
1
+ + x
n
n
y sin embargo no exista lm
n
x
n
. Es decir, la existencia de lm
n
x
1
+ + x
n
n
no
implica la existencia de lm
n
x
n
.
Para ver esto considere la sucesi on x
n
=
1 + (1)
n
2
. Es claro entonces que
x
1
+ + x
n
n
=
_
1/2, si n es par;
(n 1)/2n, si n es impar.
Por tanto lm
n
x
1
+ + x
n
n
=
1
2
. Sin embargo (x
n
)
nN
no es convergente. Por-
qu e?
EJEMPLO 1.35. Las sucesiones que aparecen en este ejemplo, supondremos que
son convergentes. El trabajo consistir a entonces en encontrar el punto a donde con-
vergen. Es decir, dada la sucesi on (x
n
), hallaremos lm
n
x
n
.
1) x
n
=
n

1
2
+ 2
2
+ + n
2
.
Soluci on. Recordemos que 1
2
+ 2
2
+ + n
2
=
n(n+1)(2n+1)
6
entonces
x
n
=
n
_
1
2
+ + n
2
=
n
_
n(n + 1)(2n + 1)
6
=
n

n
n

n + 1
n

2n + 1
n

6
Analicemos los factores que aparecen en el numerador de x
n
. En el ejem-
plo 1.21 hemos visto que lm
n
n

n = 1. Por un procedimiento an alogo vamos


a mostrar que lm
n
n

n + 1 = 1. Sea y
n
=
n

n + 1 1 entonces
n + 1 = (
n

n + 1)
n
= (1 + y
n
)
n
= 1 + ny
n
+
n(n 1)
2
y
2
n
+ + y
n
n

n(n 1)
2
y
2
n
de donde 0 y
n

_
2(n+1)
n(n1)
; haciendo uso de la proposici on 1.11 concluimos
que lm
n
y
n
= 0 y como y
n
=
n

n + 1 1 entonces lm
n
n

n + 1 = 1.
Efectuando el mismo procedimiento, con z
n
=
n

2n + 1 1, concluimos que
lm
n
n

2n + 1 = 1. Asimismo debe resultar claro que lm


n
n

6 = 1. Por tanto,
lm
n
x
n
= lm
n
n

n
n

n + 1
n

2n + 1
n

6
=
1 1 1
1
= 1.
Es decir, lm
n
n

1
2
+ 2
2
+ + n
2
= 1. T
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 31
2) x
n
=
n + sen(n
2
)
n + cos n
.
Soluci on. Observe que podemos escribir
x
n
=
1 +
1
n
sen(n
2
)
1 +
1
n
cos n
.
Puesto que la sucesi on
_
sen(n
2
)
_
nN
es acotada y la sucesi on
_
1
n
_
nN
converge
a cero entonces, de la proposici on 1.9, obtenemos que lm
n
1
n
sen(n
2
) = 0.
Por razones an alogas se tiene lm
n
1
n
cos n = 0. Por tanto,
lm
n
x
n
= lm
n
1 +
1
n
sen(n
2
)
1 +
1
n
cos n
=
1 + 0
1 + 0
= 1.
Es decir, lm
n
n+sen(n
2
)
n+cos n
= 1. T
3) x
n
=
1 2 + 3 4 + + (2n)

n
2
+ 1
.
Soluci on. De la forma dada a x
n
se tiene
x
n
=
1 2 + 3 4 + + (2n)

n
2
+ 1
=
1 + 3 + 5 + (2n 1)

n
2
+ 1

2 + 4 + 6 + (2n)

n
2
+ 1
=

n
i=1
(2i 1)

n
i=1
(2i)

n
2
+ 1
=

n
i=1
(1)

n
2
+ 1
=
n

n
2
+ 1
Luego
lm
n
x
n
= lm
n
n

n
2
+ 1
= lm
n
1
_
1 +
1
n
2
=
1

1 + 0
;
por tanto, lm
n
1 2 + 3 4 + + (2n)

n
2
+ 1
= 1. T
4) x
n
=
_
2
3

2
_ _
2
5

2
_

_
2
2n+1

2
_
.
O. Santamaria S.
32 1.3. Ejemplos diversos
Soluci on. Puesto que
2

2 > 1 para todo n umero natural n 2 entonces


(

2
n

2) <

2 1. Luego
0 < x
n
=
_

2
3

2
__

2
5

2
_

_

2
2n+1

2
_
< (

2 1)
n
.
Como 0 < a =

2 1 < 1 entonces, del ejemplo 1.24, lm


n
(

2 1)
n
= 0.
De la proposici on 1.11 concluimos que
lm
n
_

2
3

2
__

2
5

2
_

_

2
2n+1

2
_
= 0. T
5) x
n
=
1

n
_
1

1 +

3
+
1

3 +

5
+ +
1

2n 1 +

2n + 1
_
.
Soluci on. Cada sumando en x
n
es de la forma
1

2k1+

2k+1
. Pero
1

2k 1 +

2k + 1
=

2k 1

2k + 1
2
.
Entonces
x
n
=
1

n
_
1

1 +

3
+
1

3 +

5
+ +
1

2n 1 +

2n + 1
_
=
1

n
_
(

3) + (

5) + + (

2n 1

2n + 1)
2
_
=
1

n
_
1

2n + 1
2
_
=

2n + 1 1
2

n
.
Luego
lm
n
x
n
= lm
n

2n + 1 1
2

n
=
1
2

2 =

2
2
.
Es decir,
lm
n
1

n
_
1

1 +

3
+
1

3 +

5
+ +
1

2n 1 +

2n + 1
_
=

2
2
. T
6) x
n
= (n + 1)

, donde 0 < < 1.


O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 33
Soluci on. En las condiciones dadas se tienen las desigualdades
0 < (n + 1)

= n

_
(n + 1)

1
_
= n

__
1 +
1
n
_

1
_
< n

__
1 +
1
n
_
1
_
=
1
n
1
.
Es decir
0 < (n + 1)

<
1
n
1
.
Puesto que lm
n
0 = 0 = lm
n
1
n
1
entonces lm
n
((n + 1)

) = 0. T
7) x
n
=
_
n
2
+3n+5
n
2
+4n+7
_
n
.
Soluci on. Haciendo algunas transformaciones
x
n
=
_
n
2
+ 3n + 5
n
2
+ 4n + 7
_
n
=
_
1 +
_
n
2
+ 3n + 5
n
2
+ 4n + 7
1
__
n
entonces
lm
n
x
n
= lm
n
_
1 +
_
n
2
+ 3n + 5
n
2
+ 4n + 7
1
__
n
= lm
n
_
1 +
_
n
2
+ 3n + 5
n
2
+ 4n + 7
1
__
_
_
1
n
2
+3n+5
n
2
+4n+7
1
_
_
_
n
2
+3n+5
n
2
+4n+7
1
_
n
= e
lm
n
_
n
2
+3n+5
n
2
+4n+7
1
_
n
= e
lm
n
(n2)n
n
2
+4n+7
= e
1
.
Es decir, lm
n
_
n
2
+3n+5
n
2
+4n+7
_
n
= e
1
. T
8) x
n
=
_
1 +
r
n
_
n
, siendo r una constante arbitraria no negativa.
Soluci on. Haciendo n = rm, se tiene
lm
n
x
n
= lm
m
_
1 +
r
rm
_
rm
=
_
lm
m
_
1 +
1
m
_
m
_
r
, y usando el ejemplo 1.20
= e
r
.
Por tanto, lm
n
_
1 +
r
n
_
n
= e
r
. T
O. Santamaria S.
34 1.3. Ejemplos diversos
9) Si a
0
+ a
1
+ + a
k
= 0, calcule
L = lm
n
_
a
0

n + a
1

n + 1 + a
2

n + 2 + + a
k

n + k
_
Soluci on. De la igualdad dada, a
k
= a
0
a
1
a
k1
; entonces
L = lm
n
_
a
0

n + a
1

n + 1 + a
2

n + 2 + + a
k1

n + k 1
+(a
0
a
1
a
k1
)

n + k
_
= lm
n
_
a
0
(

n + k) + a
1
(

n + 1

n + k)+
+a
2
(

n + 2

n + k) + + a
k1
(

n + k 1

n + k)
_
= lm
n
_
a
0
(
k

n +

n + k
) + a
1
(
1 k

n + 1 +

n + k
)+
+a
2
(
2 k

n + 2 +

n + k
) + + a
k1
(
1

n + k 1 +

n + k
)
_
= a
0
0 + a
1
0 + a
2
0 + + a
k1
0 = 0
Por tanto, lm
n
_
a
0

n + a
1

n + 1 + a
2

n + 2 + + a
k

n + k
_
= 0. T
10) x
n
=
_
3n+1
3n1
_
n
.
Soluci on.
x
n
=
_
3n + 1
3n 1
_
n
=
_
1 +
3n + 1
3n 1
1
_
n
=
_
1 +
2
3n 1
_
n
Luego
lm
n
x
n
=
_
1 +
2
3n 1
_
n
=
_
1 +
2
3n 1
_3n1
2

2
3n1
n
= e
2/3
.
Es decir, lm
n
_
3n+1
3n1
_
n
= e
2/3
. T
11) x
n
=
1
n
2
+ 1
+
1
n
2
+ 2
+ +
1
n
2
+ n
.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 35
Soluci on. Como
1
n
2
+ n

1
n
2
+ k

1
n
2
+ 1
para todo k = 1, . . . , n enton-
ces
n

k=1
1
n
2
+ n

n

k=1
1
n
2
+ k

n

k=1
1
n
2
+ 1
.
Luego
n
n
2
+ n

n

k=1
1
n
2
+ k

n
n
2
+ 1
,
es decir,
n
n
2
+ n
x
n

n
n
2
+ 1
.
Como lm
n
n
n
2
+n
= 0 = lm
n
n
n
2
+1
, de la proposici on 1.11 obtenemos
lm
n
1
n
2
+ 1
+
1
n
2
+ 2
+ +
1
n
2
+ n
= 0. T
12) x
n
=
1
n
_
_
a +
1
n
_
2
+
_
a +
2
n
_
2
+ +
_
a +
n 1
n
_
2
_
, donde a es cual-
quier n umero real.
Soluci on. Efectuando algunas transformaciones algebraicas,
x
n
=
1
n
_
na
2
+
2a
n
(1 + 2 + . . . + (n 1)) +
1
2
+ 2
2
+ + (n 1)
2
n
2
_
=
1
n
_
na
2
+
2a
n

(n 1)n
2
+
n(n + 1)(2n + 1)
6n
2
_
= a
2
+ a
_
1
1
n
_
+
1
6

_
1 +
1
n
__
2 +
1
n
_
.
Por tanto
lm
n
x
n
= a
2
+ a(1 0) +
1
6
(1 + 0)(2 + 0),
es decir,
lm
n
1
n
_
_
a +
1
n
_
2
+
_
a +
2
n
_
2
+ +
_
a +
n 1
n
_
2
_
= a
2
+a+
1
3
. T
O. Santamaria S.
36 1.3. Ejemplos diversos
13) x
n
= n
_
_
1 +
1
n
_
+
_
1 +
2
n
_
2
+ +
_
1 +
k
n
_
k
k
_
, donde k es un en-
tero positivo jo.
Soluci on. En este caso,
x
n
= n
_
_
1 +
1
n
_
+
_
1 +
2
n
_
2
+ +
_
1 +
k
n
_
k
k
_
= n
_
__
1 +
1
n
_
1
_
+
_
_
1 +
2
n
_
2
1
_
+ +
+
_
_
1 +
k
n
_
k
1
__
=
_
1 +
1
n
_
1
1
n
+
_
1 +
2
n
_
2
1
1
n
+ +
_
1 +
k
n
_
k
1
1
n
=
_
1 +
1
n
_
1
_
1 +
1
n
_
1
+
2
_
_
1 +
2
n
_
2
1
_
_
1 +
2
n
_
1
+ +
k
_
_
1 +
k
n
_
k
1
_
_
1 +
k
n
_
1
.
Como para todo entero positivo 1 p k,
lm
n
_
1 +
p
n
_
p
1
_
1 +
p
n
_
1
= lm
n
_
_
1 +
p
n
_
p1
+
_
1 +
p
n
_
p2
+ + 1
_
= p
entonces
lm
n
x
n
= 1 + 2
2
+ + k
2
=
k(k + 1)(2k + 1)
6
.
Es decir,
lm
n
n
_
_
1 +
1
n
_
+
_
1 +
2
n
_
2
+ +
_
1 +
k
n
_
k
k
_
=
=
k(k + 1)(2k + 1)
6
.
14) x
n
=
1
1 2 3
+
1
2 3 4
+ +
1
n (n + 1) (n + 2)
.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 37
Soluci on.
x
n
=
n

k=1
1
k (k + 1) (k + 2)
=
n

k=1
_
1
2

1
k

1
k + 1
+
1
2

1
k + 2
_
=
n

k=1
_
1
2

_
1
k + 2

1
k + 1
_

1
2

_
1
k + 1

1
k
__
=
1
2
n

k=1
_
1
k + 2

1
k + 1
_

1
2
n

k=1
_
1
k + 1

1
k
_
=
1
2
_
1
n + 2

1
2
_

1
2
_
1
n + 1
1
_
.
Luego
lm
n
x
n
= lm
n
_
1
2
_
1
n + 2

1
2
_

1
2
_
1
n + 1
1
__
=
1
4
+
1
2
=
1
4
.
Es decir,
lm
n
1
1 2 3
+
1
2 3 4
+ +
1
n (n + 1) (n + 2)
=
1
4
. T
1.4. Algunos ejemplos de aplicaci on
EJEMPLO 1.36 (Sucesi on de Fibonacci). Fibonacci (que signica hijo de Bo-
nacci) era el apelativo de Leonardo de Pisa, matem atico Italiano que vivi o entre
1170 y 1250. Algunos lo consideran como el matem atico mas original y h abil de
toda la epoca medieval cristiana y fu e uno de los primeros hombre que llev o la
matem atica arabe a Europa.
Nos interesa aqu hablar de una sucesi on de n umeros enteros que fu e descubierta
por matem aticos ind ues, por el a no 1135, y dada a conocer por Fibonacci en su
libro Liber Abaci (Libro del

Abaco) en el a no 1202. Esta sucesi on apareci o en el
mencionado libro como soluci on del siguiente problema:
Cierto hombre tiene una pareja de conejos (macho y hembra) de un mes de edad y
podr an reproducirse s olo cuando tengan dos meses de edad. Si cada mes, a partir
del segundo, nace una nueva pareja de conejos (macho y hembra) y cada pareja se
reproduce de la misma manera que la pareja inicial, cu antas parejas habr an al
inicio de cada mes, suponiendo que no se mueren?
O. Santamaria S.
38 1.4. Algunos ejemplos de aplicaci on
Es claro que en este problema podemos reemplazar conejos por alguna otra especie
que tenga un ciclo reproductivo similar o modelar un proceso de producci on que
tenga un comportamiento similar.
Seg un las condiciones dadas, formamos la siguiente tabla, hasta el mes siete:
mes total
1 P
1
1
2 P
1
1
3 P
1
P
11
2
4 P
1
P
12
P
11
3
5 P
1
P
13
P
12
P
11
P
111
5
6 P
1
P
14
P
13
P
12
P
121
P
11
P
112
P
111
8
7 P
1
P
15
P
14
P
13
P
131
P
12
P
122
P
121
P
11
P
113
P
112
P
111
P
1111
13
En el primer mes habr a una pareja, que llamaremos P
1
, y en el segundo mes
habr a nuevamente una pareja, la misma P
1
. As que la soluci on comienza con los
n umeros 1; 1. En el tercer mes, habr a dos parejas: la pareja inicial P
1
y la nueva
P
11
, nacida de P
1
. Para el cuarto mes tendremos la pareja inicial P
1
, una nueva
pareja P
12
nacida de P
1
y la pareja P
11
nacida en el mes anterior, la misma que
a un no ha tenido cra; entonces al inicio del cuarto mes habr a en total tres parejas.
En el quinto mes tendremos la pareja inicial P
1
, la nueva pareja P
13
, nacida de P
1
,
la pareja P
12
nacida el mes anterior, la pareja P
11
y su cra P
111
; en total cinco
parejas. Para el sexto mes tendremos la pareja inicial P
1
y su nueva cra P
14
, la cra
P
13
nacida en el mes anterior de P
1
, la pareja P
12
y su cra P
121
, la pareja P
11
, su
nueva cra P
112
y su cra P
111
nacida en el mes anterior; en total ocho parejas. Una
misma descripci on debera realizar el estudiante para el s eptimo mes.
Como se observa, la cantidad de parejas de conejos que hay al inicio de cada mes
sigue la sucesi on
1; 1; 2; 3; 5; 8; 13; . . .
Precisamente, la sucesi on (x
n
)
nN
de Fibonacci es denida por medio
x
1
= 1, x
2
= 1, x
n+2
= x
n
+ x
n+1
. (F)
Vamos a estudiar formalmente las propiedades que tiene esta sucesi on.
1) x
n
> 0 para todo n N y x
n
n para todo n 5.
Demostraci on. De la denici on de x
n
vemos que x
5
= 5. Suponiendo que es
v alido para n = k entonces para n = k + 1,
x
k+1
= x
k
+ x
k1
k + 1.
Y esto demuestra lo armado. T
2) x
2
n+1
x
n
x
n+2
= (1)
n
, para todo n N.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 39
Demostraci on. Para n = 1,
x
2
2
x
1
x
3
= 1
2
1 2 = 1 = (1)
1
.
Suponiendo que es v alido para n = k entonces para n = k + 1,
(1)
k
= x
2
k+1
x
k
x
k+2
= x
2
k+1
(x
k+2
x
k+1
) x
k+2
= x
2
k+1
x
2
k+2
+ x
k+1
x
k+2
= x
k+1
(x
k+1
+ x
k+2
) x
2
k+2
= x
k+1
(x
n+3
) x
2
k+2
Luego x
2
k+2
x
k+1
(x
n+3
) = (1)
k
= (1)
k+1
. T
3) Para todo n N, x
n
y x
n+1
son primos entre si.
Demostraci on. Sea d un divisor com un de x
n
y x
n+1
. Como
x
n+1
x
n+1
x
n+2
x
n
= (1)
n
entonces d es divisor de (x
n+1
)x
n+1
+(x
n+2
)x
n
, es decir, divisor de (1)
n
.
Luego x
n
y x
n+1
s olo tiene como divisor com un a 1. T
4) Para cada n N jo y para todo p N,
x
n+p
= x
n1
x
p
+ x
n
x
p+1
.
Demostraci on. En el caso p = 1, siendo x
1
= x
2
= 1, se tiene
x
n+1
= x
n
+ x
n1
= x
n1
x
1
+ x
n
x
1+1
,
lo cual signica que la f ormula dada es v alida para p = 1. Suponga que dicha
f ormula tambi en vale para p = k, es decir, x
n+k
= x
n1
x
k
+x
n
x
k+1
; entonces
para p = k + 1,
x
n+k+1
= x
n+k
+ x
n+k1
= x
n+k
+ x
(n1)+k
= x
n1
x
k
+ x
n
x
k+1
+ x
n2
x
k
+ x
n1
x
k+1
= x
n1
x
k
+ x
n
x
k+1
+ (x
n
x
n1
)x
k
+ x
n1
x
k+1
= x
n
x
k+1
+ x
n
x
k
+ x
n1
x
k+1
= x
n
(x
k+1
+ x
k
) + x
n1
x
k+1
= x
n
(x
k+2
) + x
n1
x
k+1
es decir, x
n+k+1
= x
n1
x
k+1
+x
n
x
k+2
. Concluimos entonces que la f ormula
enunciada vale para todo p N. T
O. Santamaria S.
40 1.4. Algunos ejemplos de aplicaci on
5) Para todo n, p N, x
n
divide a x
np
.
Demostraci on. Como x
n1
= x
n
, en particular x
n1
es divisible por x
n
. Su-
pongamos que x
nk
es divisible por x
n
. Entonces para x
n(k+1)
se tiene
x
n(k+1)
= x
nk+n
= x
n+nk
= x
n1
x
nk
+ x
n
x
nk+1
.
Como x
nk
es divisible por x
n
entonces x
n1
x
nk
+x
n
x
nk+1
es tambi en divisible
por x
n
. Por tanto x
np
es divisible por x
n
. para todo natural n y p. T
6) Para todo n N,
x
n
=
1

5
__
1 +

5
2
_
n

_
1

5
2
_
n
_
.
Demostraci on. Como x
n+2
= x
n+1
+ x
n
entonces x
n+2
x
n+1
x
n
=
0. Haciendo x
n+2
= r
2
entonces x
n+1
= r y x
n
= 1. Luego la igualdad
x
n+2
x
n+1
x
n
= 0 se transforma en r
2
r 1 = 0 cuyas soluciones son
r =
1

5
2
. Luego
x
n
= a
_
1 +

5
2
_
n
+ b
_
1

5
2
_
n
,
donde a y b son halladas a partir de las condiciones x
1
= x
2
= 1. De hecho,
usando estas igualdades obtenemos
(1 +

5)a + (1

5)b = 2
(3 +

5)a + (3

5)b = 2
_
y al resolver este sistema a = 1/

5 y b = 1/

5. Por tanto
x
n
=
1

5
__
1 +

5
2
_
n

_
1

5
2
_
n
_
. T
7) Para todo n N,
x
2
1
+ + x
2
n
= x
n
x
n+1
.
Demostraci on. Nuevamente usamos inducci on para mostrar esta igualdad. Es
claro que x
2
1
= x
1
x
1+1
. Es decir, la igualdad vale para n = 1. Suponiendo que
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 41
es v alida para n entonces x
2
1
+ + x
2
n
= x
n
x
n+1
. Sumando x
2
n+1
a ambos
lados de esta ultima relaci on se tiene
x
2
1
+ + x
2
n
+ x
2
n+1
= x
n
x
n+1
+ x
2
n+1
= x
n+1
(x
n
+ x
n+1
) = x
n+1
x
n+2
.
Por tanto la igualdad dada tambi en vale para n + 1. T
8) x
m+2n
=

n
k=0
_
n
k
_
x
m+k
, para todo m, n N.
Demostraci on. Para n = 1, por denici on de x
m
,
x
m+2
= x
m+1
+ x
m
= x
m
+ x
m+1
=
1

k=0
_
1
k
_
x
m+k
.
Suponiendo que la f ormula dada vale para n entonces para n + 1,
n+1

k=0
_
n + 1
k
_
x
m+k
= x
m
+
n

k=1
_
n + 1
k
_
x
m+k
+ x
m+n+1
= x
m
+
n

k=1
__
n
k 1
_
+
_
n
k
__
x
m+k
+
+x
m+n+1
= x
m
+
n

k=1
_
n
k 1
_
x
m+k
+
+
n

k=1
_
n
k
_
x
m+k
+ x
m+n+1
Observamos que

n
k=1
_
n
k 1
_
x
m+k
=

n
k=0
_
n
k
_
x
m+k+1
x
m+n+1
.
Adem as
x
m
+
n

k=1
_
n
k
_
x
m+k
=
n

k=0
_
n
k
_
x
m+k
.
Entonces
n+1

k=0
_
n + 1
k
_
x
m+k
=
n

k=0
_
n
k
_
x
m+k+1
x
m+n+1
+
n

k=0
_
n
k
_
x
m+k
+ x
m+n+1
.
O. Santamaria S.
42 1.4. Algunos ejemplos de aplicaci on
Pero de acuerdo a nuestra hip otesis inductiva,
n

k=0
_
n
k
_
x
m+k
= x
m+2n
,
n

k=0
_
n
k
_
x
m+k+1
= x
m+2n+1
,
luego
n+1

k=0
_
n + 1
k
_
x
m+k
= x
m+2n+1
x
m+n+1
+ x
m+2n
+ x
m+n+1
= x
m+2n+1
+ x
m+2n
= x
m+2n+2
= x
m+2(n+1)
.
T
9) La sucesi on
_
x
n+1
xn
_
nN
es convergente pero no mon otona.
Demostraci on. Sea u
n
=
x
n+1
x
n
. De la igualdad (F),
u
n
=
x
n+1
x
n
=
x
n
+ x
n1
x
n
= 1 +
x
n1
x
n
= 1 +
1
u
n1
Como x
n
= x
n1
+ x
n2
> x
n1
, con n 3, entonces u
n1
=
xn
x
n1
> 1,
luego
1
u
n1
< 1. Esto implica que para todo n 3,
1 < u
n
< 2.
Adem as de esto,
u
n+1
u
n
=
x
n+2
x
n+1

x
n+1
x
n
=
x
n
x
n+2
x
2
n+1
x
n
x
n+1
=
(1)
n+1
x
n
x
n+1
,
donde la ultima igualdad se debe al item (2), ya demostrado. Debido a la osci-
laci on de (1)
n+1
concluimos que
_
x
n+1
xn
_
nN
es no mon otona. Como x
n
n
para todo n 5 entonces, de la igualdad u
n+1
u
n
=
(1)
n+1
xnx
n+1
, obtenemos
[u
n+1
u
n
[
1
n(n + 1)
para todo n 5. De aqu no es difcil mostrar que para todo natural k,
[u
n+k
u
n
[
1
n
.
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 43
En particular (u
n
)
nN
es convergente. Pero a un mas, siendo u
n
= 1 +
1
u
n1
entonces lm
n
u
n
= 1 +
1
lm
n
u
n1
. Si L = lm
n
u
n
entonces L = 1 +
1
L
, de
donde L =
1+

5
2
. Es decir
lm
n
x
n+1
x
n
=
1 +

5
2
. T
El n umero
1 +

5
2
es llamado n umero aureo. Lo que nos dice entonces el ulti-
mo item es que los cocientes entre un t ermino y su inmediato anterior, de la su-
cesi on de Fibonacci, forman una sucesi on convergente que converge al n umero
aureo.
EJEMPLO 1.37 (Sucesiones contractivas). Una sucesi on (x
n
)
nN
es contractiva
si existe un n umero real 0 < 1 tal que para todo n N,
[x
n+2
x
n+1
[ [x
n+1
x
n
[ . (C)
Si (x
n
)
nN
es una sucesi on contractiva, es sencillo comprobar, a partir de la de-
sigualdad (C), que para cada n umero natural n 2,
[x
n+1
x
n
[
n1
[x
2
x
1
[ .
Luego, para todo natural k 1,
[x
n+k
x
n
[ [x
n+k
x
n+k1
[ +[x
n+k1
x
n+k2
[ + +[x
n+1
x
n
[

n+k2
[x
2
x
1
[ +
n+k3
[x
2
x
1
[ + +
n1
[x
2
x
1
[
=
n1
_

k1
+
k2
+ + 1
_
[x
2
x
1
[
=
n1

1
k
1
[x
2
x
1
[
n1

1
1
[x
2
x
1
[ ,
y as, para todo natural k 1,
[x
n+k
x
n
[

n1
1
[x
2
x
1
[ . (*)
Esta ultima desigualdad permite armar que (x
n
) es acotada. En efecto, siendo
0 < 1, podemos hallar un natural N adecuado tal que

N1
1
[x
2
x
1
[ < 1.
Entonces para todo n N,
[x
n
[ [x
n
x
N
[ +[x
N
[

N1
1
[x
2
x
1
[ < 1 +[x
N
[
O. Santamaria S.
44 1.4. Algunos ejemplos de aplicaci on
Si c = m ax[x
1
[ , . . . , [x
N1
[ , 1 + [x
N
[, concluimos que [x
n
[ c para todo
n N, es decir, (x
n
)
nN
es acotada.
En realidad, toda sucesi on que satisface la desigualdad (C) es convergente. Para
sustentar esta armaci on haremos uso del teorema de Bolzano-Weierstrass.
PROPOSICI ON 1.13 (Teorema de Bolzano-Weierstrass). Toda sucesi on acotada
posee una subsucesi on convergente.
Hemos mostrado que la sucesi on (x
n
)
nN
, satisfaciendo (C), es acotada; el teo-
rema de Bolzano-Weierstrass permite asegurar que esta posee una subsucesi on
(x
n
k
)
kN
convergente; digamos que (x
n
k
)
kN
converge a L. Sea > 0. A par-
tir de (*) podemos asegurar que existe un natural N
1
tal que para todo n, m N
1
,
[x
m
x
n
[ < /2. Asimismo, por la convergencia de (x
n
k
)
kN
, existe N
2
tal que
para todo k N
2
, [x
n
k
L[ < /2.
Sea el n umero natural m
k
tal que m
k
N
1
y k N
2
, entonces para todo n N
1
,
[x
n
L[ [x
n
x
m
k
[ +[x
m
k
L[ <

2
+

2
= .
As, (x
n
)
nN
es convergente y converge a L.
Veamos algunos casos particulares donde aparecen sucesiones contractivas.
1) Aproximaciones sucesivas de la raz cuadrada. Sea a un n umero real positivo y
(x
n
)
nN
una sucesi on denida recursivamente por las relaciones
x
1
= a, x
n
=
1
2
_
x
n1
+
a
x
n1
_
con n 2. (R)
Vamos a mostrar que esta sucesi on es contractiva. Para ello empecemos obser-
vando que para todo t > 0, se tiene
1
2
_
t +
a
t
_
>
_
a
2
; aplicando esta desigual-
dad a los t erminos de la sucesi on dada, se tiene
1
2
_
x
n1
+
a
x
n1
_
>
_
a
2
y
1
2
_
x
n
+
a
x
n
_
>
_
a
2
.
Es decir, x
n
x
n+1
>
a
2
, luego
a
2xnx
n+1
< 1 para todo n umero natural n > 1.
Adem as de esto,
x
n+2
x
n+1
=
1
2
_
x
n+1
+
a
x
n+1
_

1
2
_
x
n
+
a
x
n
_
=
1
2
(x
n+1
x
n
) +
a
2
_
1
x
n+1

1
x
n
_
= (x
n+1
x
n
)
_
1
2

a
2x
n
x
n+1
_
<
1
2
(x
n+1
x
n
),
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 45
por tanto,
[x
n+2
x
n+1
[ <
1
2
[x
n+1
x
n
[ .
Siendo (x
n
)
nN
contractiva, es entonces convergente. Si L = lm
n
x
n
entonces
de la igualdad
x
n
=
1
2
_
x
n1
+
a
x
n1
_
deducimos que L =
1
2
_
L +
a
L
_
, es decir, L
2
= a, y por tanto, L =

a.
En conclusi on la sucesi on (x
n
)
nN
, denida mediante las igualdades (R), es
convergente y lm
n
x
n
=

a.
Sucesiones denidas como en (R) permiten aproximar el valor de la raz cua-
drada de cualquier n umero real a > 0. Por ejemplo, si a = 2, obtenemos la
sucesi on
x
1
= 2, x
2
= 3/2, x
3
= 17/12, x
4
= 577/408, x
5
= 665857/470832, . . .
y conforme vamos dando valores a n obtenemos valores cada vez m as cercanos
a

2, usando solamente n umeros racionales. De hecho, algunos software usan


este algoritmo para entregar valores aproximados de

a, con la aproximaci on
deseada.
2) Puntos jos. Considere un conjunto X R, contenido en alg un intervalo
cerrado, con la propiedad que cualquier sucesi on convergente, formada sola-
mente por elementos de X, converge nuevamente a un elemento de X. Una
funci on : X X es una contracci on si existe un 0 < 1 tal que
[(x) (y)[ [x y[, para todo x, y X.
Elija un punto arbitrario x
0
X y forme la sucesi on (x
n
)
nN
tal que x
1
:=
(x
0
), y x
n
:= (x
n1
). Resulta que (x
n
)
nN
es contractiva, pues
[x
n+2
x
n+1
[ = [(x
n+1
) (x
n
)[ [x
n+1
x
n
[ ,
entonces, a partir de lo visto anteriormente, se tiene que (x
n
)
nN
es convergen-
te; adem as, si x = lm
n
x
n
entonces
(x) = ( lm
n
x
n
) = lm
n
(x
n
) = lm
n
x
n+1
= x.
Es decir, x es punto jo de . Adem as de esto, si y es otro punto jo de
entonces
[x y[ = [(x) (y)[ [x y[
O. Santamaria S.
46 1.4. Algunos ejemplos de aplicaci on
y como 0 < 1 resulta x = y. Es decir, s olo admite un punto jo.
En contextos mas generales, existencia y unicidad de puntos jos aparece en
muchos problemas como ecuaciones diferenciales, ecuaciones integrales, en de-
mostraciones de teoremas importantes como el teorema de la funci on inversa,
etc.
Veamos a continuaci on un ejemplo sencillo. Supongamos que queremos ha-
llar la soluci on de la ecuaci on cos x = 2x. Esto es lo mismo que resolver
1
2
cos x = x. No es difcil ver que la funci on (x) =
1
2
cos x, denida en
[0, /2] es una contracci on y por tanto admite un punto jo. El procedimiento
anterior nos da incluso un m etodo para hallar este punto jo: empezamos con
un valor arbitrario, digamos x
0
= /4, entonces obtenemos
x
1
= (x
0
) = 0,35355339059327373;
x
2
= (x
1
) = 0,46907416751986436;
x
3
= (x
2
) = 0,44599360142867644;
x
4
= (x
3
) = 0,4510912581766501;
x
5
= (x
4
) = 0,4499859533025398;
x
6
= (x
5
) = 0,45022660604655323;
x
7
= (x
6
) = 0,4501742567071671;
x
8
= (x
7
) = 0,4501856465100685;
x
9
= (x
8
) = 0,45018316850147316.
A partir de estos c alculos, vemos que el punto jo de (x) =
1
2
cos x es aproxi-
madamente 0,45. Es decir, la soluci on aproximada cos 2 = 2x es 0,45.
EJEMPLO 1.38 (Fractales). Sucesiones aparecen tambi en al estudiar diversos ob-
jetos de la geometra fractal: el tri angulode Sierpinski, la curva de Von Koch (o
copo de nieve), conjuntos de Julia, conjuntos de Mandelbrot, etc. A continuaci on
estudiaremos uno de ellos.
El tri angulo de Sierpinski: Consideremos un tri angulo equil atero T con v ertices
(0, 0), (1, 0) y
_
1
2
,

3
2
_
, el cual pintaremos de color negro. Usando los puntos me-
dios de los lados de T, formamos un nuevo tri angulo el cual vamos a retirar; quedan
entonces tres tri angulos tal como se observa en la gura 1.1a (aquellos de color ne-
gro). Repetimos este procedimiento pero ahora sobre cada uno de los tri angulos
que quedaron en la primera etapa y continuamos as de manera indenida, la -
gura resultante es llamada tri angulo de Sierpinski. Si empezamos con un tri angulo
pintado de color negro, luego de la tercera etapa tendremos lo que se indica en
la gura 1.1. El prop osito es entonces describir el comportamiento de las areas y
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 47
(a) Primera etapa (b) Segunda etapa (c) Tercera etapa
Figura 1.1: Tri angulo de Sierpinski
los permetros de los tri angulos restantes mediante sendas sucesiones. Sea T
0
el
tri angulo original. Observe que en la primera etapa quedan tres tri angulos, cada
uno con lado que mide 1/2; en la siguiente etapa quedan nueve (3
2
) tri angulos,
cada uno con lado de longitud 1/2
2
. Continuando de esta manera, en la n- esima
etapa la gura resultante est a conformada por 3
n
tri angulos y cada uno de estos
tri angulos tiene lado que mide 1/2
n
. Por tanto en la n- esima etapa, lo que resta del
tri angulo tiene area
A
n
= 3
n

3
4
_
1
2
n
_
2
=

3
4
_
3
4
_
n
.
y el permetro respectivo es
P
n
= 3
n
3
1
2
n
= 3
_
3
2
_
n
.
Del ejemplo 1.24 y la proposici on 1.4 vemos que
lm
n
A
n
= lm
n

3
4
_
3
4
_
n
= 0.
Esto signica entonces que el tri angulo de Sierpinski tiene area cero.
Asimismo la sucesi on (P
n
)
nN
, que describe los permetros, es no acotada; pues
dado cualquier n umero real c > 0 es posible hallar un n umero natural n tal que
n >
c
3 ln(3/2)
y, por tanto, es posible hallar un P
n
> c. Siendo (P
n
)
nN
no acotada,
de la proposici on 1.2 deducimos que es no convergente. M as exactamente,
lm
n
P
n
= lm
n
3
_
3
2
_
n
= +.
O. Santamaria S.
48 1.4. Algunos ejemplos de aplicaci on
Esto signica que el tri angulo de Sierpinski tiene como permetro a una curva de
longitud innita. Este es el dilema con el que se encuentran quienes estudian estos
objetos (fractales): en este caso, el tri angulo de Sierpinski no puede ser conside-
rado como un objeto bidimensional, pues tiene area cero, pero tampoco puede ser
considerado como un objeto uno-dimensional, entonces la pregunta es: cu al es la
dimensi on del espacio que alberga a este objeto?
EJEMPLO 1.39 (La f ormula de Stirling). La f ormula de Stirling en una aproxi-
maci on muy util para factoriales, n!, cuando n es muy grande. En mec anica es-
tadstica por ejemplo aparecen ecuaciones que contienen factoriales del n umero de
partculas, esto como consecuencia de estudiar el comportamiento de sistemas ma-
crosc opicos a partir de consideraciones microsc opicas, mas especcamente, como
consecuencia del estudio de la disposici on de partculas en un objeto entre los es-
tados de energa disponibles. La f ormula de Stirling establece que
lm
n
n!

2n
_
n
e
_
n
= 1. (S)
lo cual signica que cuando n es muy grande,
n!

2n
_
n
e
_
n
,
es decir, n! y

2n
_
n
e
_
n
son casi iguales para valores grandes de n.
Por el momento, no haremos una demostraci on formal de la igualdad (S), pues sale
de los alcances de la teora vista hasta el momento; en lugar de ello, probaremos la
siguiente versi on d ebil de la f ormula de Stirling:
lm
n
n
(n!)
1/n
= e. (DS)
Para ello necesitamos de la siguiente
PROPOSICI ON 1.14. Sea (x
n
)
nN
una sucesi on formada por solamente por n ume-
ros reales positivos. Si
_
x
n+1
xn
_
nN
converge a x entonces
_
x
1/n
n
_
nN
converge
a x.
En particular, si x
n
= n
n
/n! entonces
x
n+1
x
n
=
(n+1)
n+1
(n+1)!
n
n
n!
=
_
1 +
1
n
_
n
,
luego
lm
n
x
n+1
x
n
= lm
n
_
1 +
1
n
_
n
= e,
O. Santamaria S.
Cap. 1: Sucesiones de N umeros Reales 49
por tanto, de la proposici on 1.14 se concluye que lm
n
x
1/n
n
= e. Esto es la f ormula
(DS).
1.5. Ejercicios
1) Considere la sucesi on que comienza como
2
1
,
3
2
,
4
3
, . . .
Suponiendo que los dem as t erminos siguen el mismo patr on de formaci on,
cu al sera el t ermino n- esimo? A donde converge esta sucesi on?
2) Calcule lm
n
n
2
n+1
n
3
+1
cos
_
n
k=1
1
k
_
. R. 0
3) Hallar lm
n
(1)
n
+1
n
, si existe dicho lmite. R. 0
4) En el ejemplo 1.3, determine la sucesi on (A
n
)
nN
que describe las areas de los
crculos C
n
. R. A
n
=

4n
2
(n+1)
2
.
5) En el ejemplo 1.4, determine la sucesi on (A
n
)
nN
de las areas de los tri angulos
rect angulos AC
1
D
1
, C
1
C
2
D
1
, C
2
D
1
D
2
, C
2
C
3
D
2
, . . .
6) Calcule lm
n
2
3
1
2
3
+1

3
3
1
3
3
+1

n
3
1
n
3
+1
. R.
2
3
.
7) Determine lm
n
n

i=1
i

j=1
j
n
3
. R.
1
6
.
8) Compute
lm
n
_
1
2
2 3
__
1
2
3 4
_

_
1
2
(n + 1) (n + 2)
_
.
R.
1
3
.
9) Calcule lm
n
nsen(1/n). R. 1.
10) Halle lm
n
1 cos(/n)

2
/(2n
2
)
. R. 1.
11) Demuestre que la sucesi on
_
n
a
n
_
, con a > 1, es convergente y calcule lm
n
n
a
n
.
12) Sea (x
n
)
nN
una sucesi on tal que (2 x
n
)x
n+1
= 1. Calcule lm
n
x
n
. R. 1
O. Santamaria S.
50 1.5. Ejercicios
13) Si x
1
= 1 y x
n+1
=
2x
n
4x
n
+ 1
, halle lm
n
x
n
.
14) Si x
1
= 1 y x
n+1
=
3x
n
+ 2
6
, halle lm
n
x
n
.
15) Si x
1
= 2 y x
n+1
=
1
2
+

x
n
, halle lm
n
x
n
.
16) Sea C un cuadrado y suponga que tomando los puntos medios de los lados
de este se forma un nuevo cuadrado; en este ultimo volvemos a marcar los
puntos medios y formamos un nuevo cuadrado, y repetimos el procedimiento
indenidamente. Sabiendo que el cuadrado inicial tiene lado de longitud L,
calcule la suma de las areas de los cuadrados resultantes.
17) Considere la funci on f : [0, 1] [0, 1] denida por
f(x) =
_
2x, si 0 x 1/2;
2x 1, si 1/2 < x 1.
Dado un intervalo [a, b], con 0 < a b < 1, entonces f
1
([a, b]) =
_
a
2
,
b
2

_
a+1
2
,
b+1
2

. Es decir, f
1
([a, b]) est a formado por dos intervalos. El conjunto
f
2
([a, b]) := f
1
(f
1
([a, b])) est a formado por cuatro intervalos y, en ge-
neral, el conjunto f
n
([a, b]) := f
1
(f
(n1)
([a, b])) est a formado por 2
n
intervalos. Encuentre la longitud de cada uno de los intervalos que componen
f
n
([a, b]). Cu al es la suma de las longitudes de estos intervalos?
18) Sea (x
n
)
nN
una sucesi on con la propiedad x
n+m
x
n
+ x
m
. Demuestre que
la sucesi on
_
xn
n
_
nN
es convergente.
19) Demuestre la proposici on 1.14. Es decir, demuestre que si (x
n
)
nN
una suce-
si on tal que x
n
> 0 para todo n y lm
n
x
n+1
xn
= x entonces lm
n
n

x
n
= x.
(Sug: use el ejemplo 1.33).
20) Demuestre que
lm
n
1
2
n
_
(n + 1)(n + 2) (n + n) =
4
e
.
(Sug. Use el ejercicio anterior).
21) Dar un ejemplo de dos sucesiones (x
n
)
nN
y (y
n
)
nN
tales que lm
n
x
n
= 0,
lm
n
y
n
= y lm
n
x
n
y
n
= 1.
O. Santamaria S.
Captulo 2
Lmite de funciones
En el captulo anterior hemos estudiado funciones x: N R, las mismas que son
denominadas con el nombre especial de sucesiones; respecto a estas funciones, un
t opico importante que hemos estudiado era saber si los valores x(n) se api naban
en torno a alg un n umero real x (convergencia de una sucesi on); en este sentido,
si x(n) denota el comportamiento de un evento en el estado n- esimo, entonces
lm
n
x(n) reeja el comportamiento, a futuro, de dicho evento.
En este captulo estudiaremos funciones denidas en subconjuntos de R. Sea A
un subconjunto de R, p R y f : A R una funci on; una cuesti on b asica e
importante es la siguiente: si un n umero real x en A est a cerca de p, existe un
n umero real L tal que f(x) est a cerca de L?
A n de aclarar la pregunta, considere la funci on f : ]0, ] R denida por
f(x) =
sen x
x
. Observe que f(0) no est a denido y 0 ni siquiera est a en el dominio
de f; sin embargo es lcito investigar el comportamiento de los valores f(x) cuando
x es tomado muy cercano a 0. En la siguiente tabla damos varios valores de x, cada
vez m as cercanos a 0, y sus respectivos valores f(x).
x f(x) =
sen x
x
0
/2 0.6366197723675814
/4 0.9003163161571062
/8 0.9744953584044327
/16 0.9935868511442058
/32 0.9983943930356184
x f(x) =
sen x
x
/64 0.9995984531496791
/128 0.9998996042161419
/256 0.9999749004870501
/512 0.9999937250863256
/1024 0.9999984312693666
/2048 0.9999996078172032
La evidencia num erica es clara en esta tabla: mientras m as cercano est e x del 0,
m as cercano estar a f(x) del 1. Replanteamos entonces la pregunta anterior por la
51
52 2.1. Denici on y ejemplos
siguiente: si damos una distancia > 0 alrededor de 1, podremos hallar alg un x,
cercano a 0, cuya imagen f(x) est e cerca de 1 en una distancia menor a ? Por
ejemplo, supongamos que damos = 1/4, podremos hallar alg un x, cercano a 0,
tal que la distancia de f(x) a 1 es menor a 1/4? La respuesta es si: usando la ta-
bla anterior vemos que bien podramos dar x = /4 y entonces [f(/4) 1[ =
0,0996836838428938 < 1/4. Quiz as alguien ya se est e preguntando qu e habra
pasado si hubi esemos considerado un mas peque no, ejemplo, = 1/16?; la res-
puesta es que nuevamente podemos hallar un x tal que [f(x) 1[ < 1/16; en
efecto, basta considerar el punto x = /8, pues en este caso [f(/8) 1[ =
0,0255046415955673 < 1/16. Por supuesto que esto puede despertar sospechas,
y alguien en tono desaante puede pedir que hallemos un x tal que [f(x) 1[ <
0, 00000001. El desafo queda superado si damos x = /16394, pues en este caso
[f(/16394) 1[ = 0,0000000061203834 < 0, 00000001; como si esto fuera po-
co, dando valores x menores que /16394, las respectivas im agenes siguen estando
cerca de 1 a una distancia menor a 0, 00000001.
Como se observa, para cada uno de los s dados, el 1 se empe na en tener siempre
cerca a alg un f(x) en una distancia menor a ; as el 1 debe ser un n umero espe-
cial para f(x) = sen x/x, cuando x est a muy cerca de 0. Por lo menos podemos
conjeturar que, a un cuando f(0) no est e denido, f(x) estar a cerca de 1 cuando x
est e cerca de 0. En un lenguaje un poco mas formal, diremos que L = 1 es el lmite
de f(x) = sen x/x, cuando x tiende a 0.
2.1. Denici on y ejemplos
En el proceso descrito anteriormente para la funci on f(x) = sen x/x, una vez
dado el > 0, nos dedicamos a buscar alg un x A, cercano a p, con la propiedad
[f(x) L[ < ; sin embargo para poder hallar tal x A, debemos asegurarnos
que p tiene vecinos x A, con los cuales podamos probar si cumplen o no la
desigualdad [f(x) L[ < . As que antes de presentar formalmente el concepto
de lmite damos una denici on previa.
DEFINICI ON 2.1 (Punto de acumulaci on). Sea A un subconjunto de R. Un n ume-
ro real p es punto de acumulaci on de A si todo intervalo abierto centrado en p
contiene innitos puntos de A.
La anterior denici on dice que p R es punto de acumulaci on de A si y solo si
I A es un conjunto innito, para todo intervalo abierto I centrado en p.
EJEMPLO 2.1.
1) Considere el conjunto A = ]0, ] y el n umero real p = 0. Observe en este caso
que p / A; sin embargo, es punto de acumulaci on de A. En efecto, un intervalo
O. Santamaria S.
Cap. 2: Lmite de funciones 53
arbitrario centrado en p = 0 es de la forma I = ]0 , 0 + [, con > 0
arbitrario. Distinguimos dos casos
a) Si entonces I
0
A = A; obviamente I
0
A tiene innitos elementos.
b) Si < entonces I
0
A =]0, [; nuevamente I
0
A es un conjunto innito.
- - r r r r
0
A=I
0
A
I
0
r r r r
0
A
I
0
Caso Caso <
2) Sea A = [0, 1] 2. El punto p = 2 no es punto de acumulaci on de A, a pesar
de que p A. En efecto, si elegimos el intervalo I
2
=

2
1
2
, 2 +
1
2
_
vemos
que I
2
A = 2, es decir, I
2
A no es un conjunto innito.
3) Sea A =
_
1,

. Dejamos como ejercicio comprobar que p = 1 es punto de


acumulaci on de A.
De acuerdo a los comentarios dados antes de iniciar la secci on 2.1 es natural la
denici on siguiente, donde A es subconjunto de R.
DEFINICI ON 2.2 (Lmite de una funci on). Sea f : A R una funci on y p R
un punto de acumulaci on de A. Un n umero real L es lmite de f en p si para cada
> 0 existe > 0 tal que si x A y 0 < [x p[ < entonces [f(x) L[ < .
-
-
L L L+
r r r
R
R f(x)
?
f
2
A
r
p
p p+
x
Seg un la denici on 2.2, para que un n umero real L sea lmite de una funci on en p es
necesario y suciente que para cada intervalo abierto ]L , L + [, esto es, para
cada distancia alrededor de L -por muy desaante que pueda parecer este - es
posible hallar alg un intervalo ]p , p + [, para alg un > 0, con la propiedad que
para cada x A, si x ]p , p + [, con x ,= p, entonces f(x) ]L , L + [.
Cuando L es el lmite de f en p, escribiremos
L = lm
xp
f(x).
O. Santamaria S.
54 2.1. Denici on y ejemplos
EJEMPLO 2.2.
1) Sea A = R 0 y f : A R denida por f(x) = xsen
1
x
. Mostraremos que
lm
n
xsen
1
x
= 0. En efecto, sea > 0 arbitrario. Necesitamos mostrar que
existe > 0 tal que si x A y 0 < [x 0[ < entonces

xsen
1
x
0

< .
Como [sen a[ 1 para todo a R entonces

xsen
1
x
0

xsen
1
x

[x[.
Esto sugiere considerar = , pues en este caso, si x A y 0 < [x[ <
entonces

xsen
1
x
0

[x[ < = .
2) Sea A = R y f : A R denida por f(x) = 2x 4. Armamos que
lm
x2
f(x) = 8. En efecto, dado cualquier > 0, basta elegir = /2, pues
si 0 < [x (2)[ < entonces
[f(x) (8)[ = [2x 4 + 8[ = 2 [x + 2[ < 2 = 2
_

2
_
= .
3) A = [2, 3], f(x) = x
2
+ 5 y p = 2. Entonces lm
x2
f(x) = 9. En efecto, si
> 0 es una distancia arbitraria alrededor de L = 9, consideramos = /5;
para tal elecci on de , si x A y 0 < [x 2[ < entonces
[f(x) 9[ =

x
2
+ 5 9

x
2
4

= [x + 2[ [x 2[ < [x + 2[ .
Aqu aparentemente se presenta un problema con [x + 2[, pues al n de cuentas
necesitamos que sea [f(x) 9[ < ; sin embargo, como 2 x 3 entonces
0 x + 2 5, luego [x + 2[ 5. Siendo as,
[f(x) 9[ < [x + 2[ 5 = 5
_

5
_
= .
Esto muestra que lm
x2
f(x) = 9.
4) A = ]5, 3[, f(x) =

4 x y p = 0. Mostraremos que lm
x0
f(x) = 2. Con-
sidere > 0 arbitrario. Como 5 < x < 3 entonces 3 <

4 x + 2 < 5.
Eligiendo = 3 se tiene que si x A y 0 < [x 0[ < entonces
[f(x) 2[ =

4 x 2

=
[x[

4 x + 2
<
1
3
=
1
3
(3) = .
O. Santamaria S.
Cap. 2: Lmite de funciones 55
En el ejemplo anterior, hemos hecho una demostraci on formal de los lmites pro-
puestos. Como se vi o en aquellos ejemplos, para cada > 0 hemos podido hallar
un que cumpla con los requerimientos de la denici on 2.2. En el ejemplo que
sigue, daremos un valor especco a y en base a este valor trataremos de hallar
alg un especco tambi en.
EJEMPLO 2.3. Sea L = lm
xp
f(x). En los siguientes items, daremos un valor
especco a y el reto consistir a en hallar alg un > 0 tal que si x A y 0 <
[x p[ < entonces [f(x) L[ < .
1) A = R
1
3
, lm
x1/3
x
2
1/9
3x 1
=
2
9
. Hallar el correspondiente para = 0,01.
Empezamos haciendo un trabajo en borrador: observe que

x
2
1/9
3x 1

2
9

9x
2
1
9(3x 1)

2
9

3x + 1
9

2
9

=
3
9
[x 1/3[ ,
y como 0 <

x
1
3

< entonces
3
9
[x 1/3[ =
1
3
[x 1/3[ <
1
3
;
pero como tambi en necesitamos que
3
9
[x 1/3[ < 0,01, entonces lo anterior
sugiere considerar
1
3
= 0, 01; de aqu resulta = 0, 03.
Con esto como ayuda, ahora hacemos el trabajo formal: para = 0, 01 elegi-
mos = 0, 03. Si x A y 0 <

x
1
3

< 0,03 entonces

x
2
1/9
3x 1

2
9

=
3
9
[x 1/3[ <
1
3
=
0, 03
3
= 0, 01.
2) A = R
1
2
, lm
x1
[x 1[ + 1
x +[x + 1[
=
1
3
. Encuentre el que corresponde a
= 0, 02.
Considere = 0,03. La desigualdad 0 < [x 1[ < 0,03 equivale a la de-
sigualdad 1 0,03 < x < 1 + 0,03, es decir, 0,97 < x < 1,03. Debido a que
[x 1[ = x 1, si x 1 y [x 1[ = 1 x, si x < 1, entonces:
a) Si x 1 (luego 1 x < 1,03):

[x 1[ + 1
x +[x + 1[

1
3

x
2x + 1

1
3

=
[x 1[
3 [2x + 1[
<

9
= 0,003 < 0,02.
O. Santamaria S.
56 2.1. Denici on y ejemplos
b) Si x < 1 (luego 0,97 < x < 1):

[x 1[ + 1
x +[x + 1[

1
3

2 x
2x + 1

1
3

=
5 [x 1[
3 [2x + 1[
<
5
8,82
= 0,017 < 0,02.
3) A = R, lm
x3
(x 2x 1) = 2. Halle el adecuado para = 0,03.
Observe que x 2x 1 = x 2x + 1. Considere = 0,25 entonces
la desigualdad 0 < [x 3[ < 0,25 equivale a 2,75 < x < 3,25. Distinguimos
dos casos:
a) Si 3 x < 3,25 entonces
[x 2x + 1 (2)[ = [3 6 + 3[ = 0 < 0,03.
b) Si 2,75 < x < 3 entonces
[x 2x + 1 (2)[ = [2 5 + 3[ = 0 < 0,03.
4) A = R 1, lm
x2
3x
2
+ 7x + 2
2x + 4
=
5
2
. Compute el que corresponde a
= 0,01.
Basta considerar = 0,006. Entonces si x Ay 0 < [x + 2[ < 0,006 entonces

3x
2
+ 7x + 2
2x + 4
+
5
2

=
3
2
[x + 2[ <
3
2
=
3(0,006)
2
= 0,009 < 0,01.
OBSERVACI ON 2.1. Es claro de los ejemplos anteriores que la elecci on de de-
pende del dado. Pero adem as es bueno observar que una vez encontrado tal , la
denici on 2.2 seguir a siendo v alida para todo los
1
tales que 0 <
1
< . Es decir,
el adecuado a un , en caso de existir, no es unico.
EJEMPLO 2.4. Un trabajador gana $ 10 por hora trabajada, esto signica que
trabajando exactamente la 8 horas reglamentarias ganar a $ 80 al da. Pero resulta
que el patr on s olo le paga por el tiempo real trabajado, por lo que el trabajador,
preocupado, se pregunta qu e tan cerca de 8 horas debe trabajar para que su salario
diera de $ 80 en no mas de 25 centavos?
La funci on que modela la ganancia por da del trabajador est a dada por
(costo por hora) (n umero de horas trabajadas).
Si x es el n umero de horas trabajadas, entonces se tiene la funci on f(x) = 10x,
con 0 x 24. Como el trabajador labora cerca de 8 horas diarias entonces
ganar a cerca de $ 80 diarios. Este valor 80 est a dado por
80 = lm
x8
10x.
O. Santamaria S.
Cap. 2: Lmite de funciones 57
Por lo tanto, la pregunta del trabajador es equivalente a la siguiente: qu e es
adecuado de tal forma que si 0 < [x 8[ < entonces [f(x) 80[ < 1/4?
Por un lado tenemos que [f(x) 80[ = [10x 80[ = 10 [x 8[ < 10, pues
[x 8[ < . Como queremos 10 [x 8[ < 1/4 entonces debemos considerar de
tal forma 10 = 1/4, es decir, = 1/40. En efecto, con esta elecci on de ,
[f(x) 80[ = [10x 80[ = 10 [x 8[ < 10 = 10
_
1
40
_
=
1
4
.
Siendo 0 < [x 8[ < =
1
40
entonces 8
1
40
< x < 8 +
1
40
, es decir,
319
40
< x <
321
40
, pero como x 80 entonces x debe estar en el intervalo

319
40
; 80

= ]7,975, 8].
Esto signica que la cantidad de horas que el trabajador debe laborar para que su
sueldo diera de $ 80 en no mas de 25 centavos, debe ser mayor a 7,975 horas y
menor o igual a 8 horas.
EJEMPLO 2.5. Se construye una cerca alrededor de un jardn de forma cuadrada.
Qu e tan pr oxima a 10 metros debe estar la longitud de cada lado del jardn para
que la longitud total est e entre 39,96 y 40,04 metros?
La funci on que describe la longitud de la cerca es f(x) = 4x, de manera que
cuando x est a cerca de 10 metros entonces f(x) est a cerca de 40 metros, es decir,
40 = lm
x10
4x. Observe que 40 es el punto central del intervalo ]39, 96; 40,04[. La
pregunta antes formulada es entonces equivalente a preguntarse Qu e valor de es
adecuado de tal manera que si 0 < [x 10[ < entonces [4x 40[ < 0,02?
Observando que [4x 40[ = 4 [x 10[ < 0,02 si y solo si [x 10[ < 0,005,
concluimos que debemos elegir = 0,005; por tanto, para que la longitud total
est e entre 39,96 y 40,04 metros, la longitud de cada lado debe estar pr oximo de 10
en una diferencia menor a 0,005. Por ejemplo, un valor para lograr nuestro objetivo
pordra ser 9,996 metros o tambi en 10,004 metros; con toda seguridad, la longitud
total obtenida estar a entre 39,96 y 40,04 metros.
OBSERVACI ON 2.2. Seg un la denici on 2.2, un n umero real L es lmite de f en p
cuando para cada intervalo abierto I

, centrado en L y de longitud 2, es posible


hallar alg un intervalo abierto I

, centrado en p y de longitud 2, con la propiedad


que si x A y x I

entonces f(x) I

. Es decir, para cada > 0, por muy


desaante que parezca, siempre es posible hallar un intervalo I

, centrado en p,
conteniendo puntos x ,= p que satisfacen los requerimientos del . Surge entonces
de manera natural la pregunta Qu e tendra que pasar para concluir que L no es el
lmite de f en p? La respuesta natural es: no deben cumplirse las condiciones exigi-
das por la denici on 2.2. C omo as? Pues bien, deberamos hallar un > 0 con la
particularidad que ning un intervalo I

pueda satisfacerlo. Siendo mas claros, de-


beramos encontrar un > 0 con la particularidad que para todo > 0, siempre
O. Santamaria S.
58 2.1. Denici on y ejemplos
podremos hallar alg un elemento x A, dentro del intervalo I

= ]p , p + [,
tal que [f(x) L[ .
EJEMPLO 2.6 (No todas las funciones tienen lmite). Considere la funci on
f : [0, 2] R denida por f(x) = x, es decir, f(x) es el entero mas gran-
de que es menor o igual a x. A qu e n umero L se acerca f(x) cuando x est a cerca
de 1? Para responder empecemos por observar la siguiente tabla
x f(x) = x
0,94 0
0,95 0
0,96 0
0,97 0
0,98 0
0,99 0
x f(x) = x
1,11 1
1,12 1
1,13 1
1,14 1
1,15 1
1,16 1
Vemos que alrededor de 1 la funci on asume valores totalmente distintos: cuando
0 x < 1 se tiene f(x) = 0 y, cuando 1 x < 2 se tiene f(x) = 1. En realidad
ning un n umero real L puede ser lmite de f en p = 1. Y como nos convencemos
de esto? Para ello analizamos los distintos casos posibles.
1) Si L 0. Elegimos =
1
2
y formamos el intervalo I

L
1
2
, L +
1
2
_
.
Dado cualquier > 0, en el intervalo ]1 , 1 + [ podemos elegir un elemento
x ]1, 1 + []1, 2[; para tal x se tiene
[f(x) L[ = [1 L[ 1
1
2
= .
2) Si 0 < L < 1. Elegimos = mn1 L, L > 0 y formamos el intervalo
I

= ]L , L + [. Dado cualquier > 0, podemos considerar un elemento


x ]0, 1[]1 , 1[; entonces para dicho punto tendremos
[f(x) L[ = [0 L[ .
3) Si L 1, volvemos a considerar =
1
2
. Considerando nuevamente un elemento
x ]0, 1[]1 , 1[ tendremos
[f(x) L[ = [0 L[ 1
1
2
= .
Como vemos, ning un n umero real L puede ser lmite de f en el punto p = 1. Por
tanto, f no tiene lmite en 1.
Una raz on por la que esto ocurre es que la gr aca de f experimenta un salto
en p = 1: los valores f(x) precisamente saltan de 0 a 1. En realidad deberamos
esperar que cualquier funci on cuya gr aca tenga un salto en el punto p no posea
lmite en este punto.
O. Santamaria S.
Cap. 2: Lmite de funciones 59
2.2. Propiedades sobre lmites
Como se ha visto en el ejemplo 2.6, el an alisis de la existencia de un lmite puede
resultar ser un trabajo un poco engorroso. Es necesario contar entonces con algunos
criterios que permitan salvar situaciones que de otra forma podran tornarse com-
plicadas. Uno de estos criterios viene dado por la relaci on que existe entre lmite
de funciones y lmite de sucesiones.
PROPOSICI ON 2.1. Sea f : A R y p un punto de acumulaci on de A. Enton-
ces f tiene lmite L en p si y solo si para cada sucesi on (x
n
)
nN
que converge
a p, con x
n
A y x
n
,= p para todo n, la sucesi on (f(x
n
))
nN
converge a L.
Demostraci on. Supongamos que f tiene lmite L en p y sea (x
n
)
nN
una su-
cesi on de elementos de A, distintos de p, que converge a p. Sea > 0; como
L = lm
xp
f(x), existe > 0 tal que si x A y 0 < [x p[ < entonces
[f(x) L[ < . Tambi en, como (x
n
) converge a p, para dicho > 0 existe un
N N tal que si n N entonces [x
n
p[ < . Luego para todo n N, la
desigualdad [x
n
p[ < implica [f(x
n
) L[ < . Luego (f(x
n
)) converge a L.
Recprocamente, supongamos que para cada sucesi on (x
n
)
nN
que converge a p,
con x
n
A y x
n
,= p para todo n, la sucesi on (f(x
n
))
nN
converge a L. Si L no
fuera el lmite de f en p, entonces existe > 0 tal que para todo > 0, existe x A
tal que 0 < [x p[ < y [f(x) L[ . En particular, para cada n N existe
un x
n
A tal que 0 < [x
n
p[ < y [f(x
n
) L[ . En particular tendramos
que (x
n
)
nN
converge a p pero (f(x
n
))
nN
no converge a L. Una contradicci on.
Por tanto, L = lm
xp
f(x). T
Es importante notar en la proposici on 2.1, que cada sucesi on (x
n
)
nN
debe estar
formada solamente por elementos del conjunto A y, a un mas, todos estos t erminos
x
n
deben ser distintos de p. Una sucesi on con esta caracterstica la llamaremos
sucesi on en A p.
En t erminos pr acticos, la proposici on 2.1 dice que L = lm
xp
f(x) si y solo si
para toda sucesi on (x
n
)
nN
en A p tal que lm
n
x
n
= p se tiene tambi en
lm
n
f(x
n
) = L. Dicho de otra forma, la mencionada proposici on dice que un
n umero real L no ser a lmite de f en p si y solo si logramos encontrar alguna su-
cesi on (x
n
)
nN
en A p tal que lm
n
x
n
= p pero que (f(x
n
))
nN
o bien no
converge a L o simplemente no converge.
EJEMPLO 2.7. Con la perspectiva abierta por la proposici on 2.1 analicemos nue-
vamente la funci on f(x) = x, con x [0, 2], dada en el ejemplo 2.6. Considere
la sucesi on (x
n
)
nN
tal que x
n
:= 1 +
(1)
n
n+1
. Es claro que x
n
[0, 2] y x
n
,= 1
O. Santamaria S.
60 2.2. Propiedades sobre lmites
para todo n N. Adem as lm
n
x
n
= 1. Sin embargo, (f(x
n
))
nN
no converge; en
efecto, considerando las subsucesiones (x
2n
) y (x
2n+1
), de (x
n
), dadas por
x
2n
= 1 +
(1)
2n
2n + 1
= 1 +
1
2n + 1
y x
2n
= 1 +
(1)
2n+1
2n + 1
= 1
1
2n + 2
,
entonces
f(x
2n
) =

1 +
1
2n + 1

= 1 y f(x
2n+1
) =

1
1
2n + 1

= 0.
Es decir, (f(x
n
)) posee dos subsucesiones, (f(x
2n
)) y (f(x
2n+1
)), que conver-
gen a puntos diferentes, por tanto, de acuerdo a la proposici on 1.8, (f(x
n
)) no
converge. La proposici on 2.1 nos permite concluir que no existe lm
x1
f(x).
En el ejemplo anterior vimos un caso de no existencia del lmite de una funci on;
lo que ocurra en ese caso es que la gr aca de f presentaba un salto en el punto
dado. Ahora veremos otro caso donde la existencia del lmite puede fallar, esta vez
sucede que la gr aca de f oscila demasiado fuerte como para mantenerse cerca de
alg un n umero L.
EJEMPLO 2.8. Considere f : ] 1, 1[R denida por f(x) = sen
1
x
para x ,= 0
y f(0) = 0. Como p = 0 es punto de acumulaci on de A =] 1, 1[, es razonable
preguntarse por la existencia del lmite de f en dicho punto; para ello usaremos
nuevamente la proposici on 2.1. Considere la sucesi on (x
n
)
nN
tal que x
n
:=
2
n
;
es claro que (x
n
) converge a 0, es decir, lm
n
2
n
= 0. Sin embargo, la sucesi on
(f(x
n
))
nN
es tal que
f(x
n
) = f
_
2
n
_
= sen
_
1
2
n
_
= sen
_
n
2
_
.
Analizando las subsucesiones (f(x
2n
))
nN
y (f(x
4n+1
))
nN
, de (f(x
n
))
nN
, ve-
mos que
f(x
2n
) = sen
_
2n
2
_
= sen n = 0 y
f(x
4n+1
) = sen
_
(4n + 1)
2
_
= cos 2n = 1.
Es decir, (f(x
n
))
nN
posee dos subsucesiones que convergen a puntos distintos,
por tanto esta no converge. Concluimos entonces que f no tiene lmite en 0.
O. Santamaria S.
Cap. 2: Lmite de funciones 61
Toca ahora preguntarse por el lmite de la suma, producto y cociente de funciones.
PROPOSICI ON 2.2 (Lmite de una suma). Sean f, g: A R y p un punto de
acumulaci on de A. Si f y g tienen lmite en p entonces f + g tiene lmite en p y
lm
xp
(f + g)(x) = lm
xp
f(x) + lm
xp
g(x).
Primera demostraci on. Sea L = lm
xp
f(x) y M = lm
xp
g(x). Sea (x
n
)
nN
una
sucesi on arbitraria en Ap que converge a p. Seg un la proposici on 2.1, debemos
mostrar que ((f +g)(x
n
))
nN
converge a L+M. Pero, por la misma proposici on,
L = lm
n
f(x
n
) y M = lm
n
g(x
n
); entonces por la proposici on 1.3, L + M =
lm
n
(f + g)(x
n
), es decir, la sucesi on ((f + g)(x
n
))
nN
= (f(x
n
) + g(x
n
))
nN
converge a L + M. Esto prueba el resultado. T
Segunda demostraci on. Sea > 0; como L = lm
xp
f(x), existe
1
> 0 tal que
si x A y 0 < [x p[ <
1
entonces [f(x) L[ < /2; an alogamente, siendo
M = lm
xp
g(x), existe
2
> 0 tal que si x A y 0 < [x p[ <
2
entonces
[g(x) M[ < /2. Considere = mn
1
,
2
> 0; con esta elecci on de , si 0 <
[x p[ <
1
entonces [f(x) L[ < /2 y tambi en si 0 < [x p[ <
2
entonces [g(x) L[ < /2. Luego, para todo x A, si 0 < [x p[ < entonces
[(f + g)(x) (L + M)[ [f(x) L[ +[g(x) M[ <

2
+

2
= .
Nuevamente, el resultado queda demostrado. T
PROPOSICI ON 2.3 (Lmite de un producto). Sean f, g: A R y p un punto de
acumulaci on de A. Si f y g tienen lmite en p entonces f g tiene lmite en p y
lm
xp
f g(x) =
_
lm
xp
f(x)
_

_
lm
xp
g(x)
_
.
Demostraci on. La prueba la haremos usando sucesiones. Sea L = lm
xp
f(x) y
M = lm
xp
g(x). Consideremos una sucesi on arbitraria (x
n
)
nN
en A p que
converge a p. Por la proposici on 2.1, L = lm
n
f(x
n
) y M = lm
n
g(x
n
), y por
la proposici on 1.3, L M = lm
n
(f g)(x
n
). Es decir, la sucesi on (f g(x
n
))
converge a L M = [lm
xp
f(x)] [lm
xp
g(x)]. T
O. Santamaria S.
62 2.2. Propiedades sobre lmites
PROPOSICI ON 2.4 (Lmite de un cociente). Sean f, g : A R y p un punto de
acumulaci on de A. Si g(x) ,= 0 para todo x A, existen los lmites de f y g en p
y, lm
xp
g(x) ,= 0 entonces
f
g
tiene lmite en p y
lm
xp
_
f
g
_
(x) =
lm
xp
f(x)
lm
xp
g(x)
.
Demostraci on. La prueba la haremos usando sucesiones. Sea L = lm
xp
f(x) y
M = lm
xp
g(x). Consideremos una sucesi on arbitraria (x
n
)
nN
en A p que
converge a p. Por la proposici on 2.1, L = lm
n
f(x
n
) y M = lm
n
g(x
n
). Como
g ,= 0 en A entonces g(x
n
) ,= 0 para todo n N; entonces por la proposici on 1.6,
L
M
= lm
n
_
f
g
_
(x
n
). Es decir, la sucesi on
__
f
g
_
(x
n
)
_
nN
converge a
L
M
=
lmxp f(x)
lmxp g(x)
. T
Veamos algunos ejemplos importantes.
EJEMPLO 2.9 (Lmite de la funci on constante). Sea f : A R y p un punto de
acumulaci on de A. Si f(x) = c para todo x A entonces lm
xp
f(x) = c.
En efecto, dado cualquier > 0, elija cualquier > 0, entonces para todo x A
tal que 0 < [x p[ < se tiene
[f(x) c[ = [c c[ = 0 < .
Este ejemplo muestra entonces que
lm
xp
c = c.
EJEMPLO 2.10 (Lmite de la funci on identidad). Sea f : A R y p un punto de
acumulaci on de A. Si f(x) = x para todo x A entonces lm
xp
f(x) = p.
En efecto, dado cualquier > 0, elija = > 0, entonces para todo x A tal que
0 < [x p[ < se tiene
[f(x) p[ = [x p[ < = .
Este ejemplo muestra que
lm
xp
x = p.
O. Santamaria S.
Cap. 2: Lmite de funciones 63
EJEMPLO 2.11 (Lmite del producto de una funci on por un escalar). Sea
f : A R y p un punto de acumulaci on de A. Si existe el lmite de f en p,
entonces para todo n umero real c, existe el lmite de cf en p y
lm
xp
(cf)(x) = c lm
xp
f(x).
En efecto, sea L = lm
xp
f(x). La igualdad enunciada es obvia si c = 0, as que
supondremos c ,= 0. Dado cualquier > 0, existe > 0 tal que si x A y
0 < [x p[ < entonces [f(x) L[ < / [c[. Usando tal > 0, para todo x A
tal que 0 < [x p[ < , se tiene
[(cf)(x) cL[ = [c[ [f(x) L[ < [c[

[c[
= .
Por tanto lm
xp
(cf)(x) = cL = c lm
xp
f(x).
Observe en este ejemplo que tambi en hemos podido utilizar la proposici on 2.3 y
el ejemplo 2.9. En este caso, como la funci on constante x c tiene lmite y, por
hip otesis, f tambi en entonces cf tiene lmite en p, adem as
lm
xp
(cf)(x) = lm
xp
c f(x) = lm
xp
c lm
xp
f(x) = c lm
xp
f(x).
EJEMPLO 2.12 (Lmite de la raz cuadrada de una funci on). Sea
f : A R y p un punto de acumulaci on de A. Si f(x) 0 y existe el lmite
de f en p, entonces
lm
xp
_
f(x) =
_
lm
xp
f(x).
En efecto, sea (x
n
)
nN
una sucesi on arbitraria en A p que converge a p. De la
proposici on 2.1 sabemos que L = lm
n
f(x
n
). El ejemplo 1.16 muestra que

L =
lm
n
_
f(x
n
). Como (x
n
) es arbitraria, concluimos que

L = lm
xp
_
f(x). Es
decir, lm
xp
_
f(x) =
_
lm
xp
f(x).
Sera bueno que el lector trate de realizar una demostraci on directa, esto es, sin
usar sucesiones.
EJEMPLO 2.13. Asumiendo que las funciones dadas est an denidas en un domi-
nio adecuado, calcularemos los lmites solicitados, asumiendo de antemano que
estos existen.
1) lm
x1
x
2
2x + 5.
O. Santamaria S.
64 2.2. Propiedades sobre lmites
Soluci on. En este caso, la funci on f(x) = x
2
2x + 5 es la suma de las
funciones f
1
(x) = x
2
, f
2
(x) = 2x y f
3
(x) = 5 y todas estas tienen lmite en
p = 1; entonces
lm
x1
x
2
2x + 5 = lm
x1
x
2
lm
x1
2x + lm
x1
5 Prop. 2.2
= (lm
x1
x)
2
lm
x1
2 lm
x1
x + lm
x1
5 Prop. 2.3
= (1)
2
2 1 + 5 Ejem. 2.9 y 2.10
= 4.
Por tanto lm
x1
x
2
2x + 5 = 4. T
2) lm
x1
x
2
+ 3x 2
x
2
+ x + 1
.
Soluci on. Procedemos como en el caso anterior.
lm
x1
x
2
+ 3x 2
x
2
+ x + 1
=
lm
x1
x
2
+ 3x 2
lm
x1
x
2
+ x + 1
Prop. 2.4
=
lm
x1
x
2
+ lm
x1
3x lm
x1
2
lm
x1
x
2
+ lm
x1
x + lm
x1
1
Prop. 2.2
=
( lm
x1
x)
2
+ lm
x1
3 lm
x1
x lm
x1
2
( lm
x1
x)
2
+ lm
x1
x + lm
x1
1
Prop. 2.3
=
(1)
2
+ (3)(1) 2
(1)
2
+ (1) + 1
Ejem. 2.9
y 2.10
= 4.
3) lm
x2
_
x
2
+x+1
2x
2
+3x+4
.
Soluci on. Vamos a resolver directamente este ejercicio, y sera bueno que el
estudiante complete las justicaciones de los pasos realizados.
lm
x2
_
x
2
+x+1
2x
2
+3x+4
=
_
lm
x2
x
2
+ x + 1
2x
2
+ 3x + 4
porqu e?
=

_
lm
x2
x
2
+ x + 1
lm
x2
2x
2
+ 3x + 4
porqu e?
=
_
2
2
+2+1
22
2
+33+4
=
_
7
18
=

7
3

2
.
O. Santamaria S.
Cap. 2: Lmite de funciones 65
4) Sabiendo que lm
xp
[f(x) g(x)] = 2 y lm
xp
[f(x) + g(x)] = 3, encuentre el
valor de lm
xp
f(x) g(x).
Soluci on. Observe en este ejemplo que no suponemos nada acerca de la exis-
tencia de los lmites lm
xp
f(x) y lm
xp
g(x). De hecho estos pueden no exis-
tir. En este ejercicio s olo se asegura la existencia de lm
xp
[f(x) g(x)] y de
lm
xp
[f(x) + g(x)], as que usando solamente estos datos calcularemos el lmite
solicitado.
Observe que
f(x) g(x) =
1
4
_
[f(x) + g(x)]
2
[f(x) g(x)]
2
_
entonces, usando las proposiciones 2.2 y 2.3, y el ejemplo 2.11, se tiene que
f g tiene lmite en p; adem as,
lm
xp
f(x) g(x) = lm
xp
1
4
_
[f(x) + g(x)]
2
[f(x) g(x)]
2
_
=
1
4
_
lm
xp
[f(x) + g(x)]
2
lm
xp
[f(x) g(x)]
2
_
=
1
4
_
_
lm
xp
[f(x) + g(x)]
_
2

_
lm
xp
[f(x) g(x)]
_
2
_
=
1
4
_
(2)
2
(3)
2
_
=
5
4
.
5) Sea f una funci on para la cual existe lm
x0
f(x) ,= 0. Sabiendo que
lm
x0
_
f(x) +
1
f(x)
_
= 2,
calcule lm
x0
f(x).
Soluci on. De acuerdo a las proposiciones 2.2 y 2.4 se tiene
2 = lm
x0
_
f(x) +
1
f(x)
_
= lm
x0
f(x) +
1
lm
x0
f(x)
= L +
1
L
de donde (L 1)
2
= 0 y por tanto L = 1, es decir, lm
x0
f(x) = 1.
O. Santamaria S.
66 2.2. Propiedades sobre lmites
6) Sea f : R R una funci on para la cual se tiene lm
x0
f(2x)
f(x)
= 1. Calcule
lm
x0
f(2
n
x)
f(x)
, donde n es un n umero natural jo.
Soluci on. Para cada n N, se observa que
f(2
n
x)
f(x)
=
f(2(2
n1
x))
f(2
n1
x)
f(2(2
n2
x))
f(2
n2
x)
f(2(2
n3
x))
f(2
n3
x)

f(2x)
f(x)
Pero para cada 1 k n, si hacemos t = 2
nk
x entonces
f
_
2
_
2
nk
x
__
f (2
nk
)
=
f(2t)
f(t)
.
Adem as de esto, x tiende a cero si y solo si t tiende a cero. Por lo tanto,
lm
x0
f
_
2
_
2
nk
x
__
f (2
nk
)
= lm
t0
f(2t)
f(t)
= 1.
Luego, usando esto y varias veces la proposici on 2.3, se obtiene
lm
x0
f(2
n
x)
f(x)
= lm
x0
f(2(2
n1
x))
f(2
n1
x)
f(2(2
n2
x))
f(2
n2
x)
f(2(2
n3
x))
f(2
n3
x)

f(2x)
f(x)
= lm
x0
f(2(2
n1
x))
f(2
n1
x)
lm
x0
f(2(2
n2
x))
f(2
n2
x)

lm
x0
f(2(2
n3
x))
f(2
n3
x)
lm
x0
f(2x)
f(x)
= 1 1 1 1 = 1.
Luego lm
x0
f(2
n
x)
f(x)
= 1.
7) Sean f, g : R R funciones tales que lm
xa
g(x) = b y lm
xb
f(x) = c. Es
verdad que lm
xa
f(g(x)) = c?
Soluci on. La respuesta es no. Por ejemplo basta considerar las funciones
f(x) = g(x) =
_
0, si x ,= 0;
1, si x = 0.
Entonces se tiene lm
x0
g(x) = 0 y lm
x0
f(x) = 0, pero lm
x0
f(g(x)) = 1.
Antes de continuar con el c alculo de lmites, sera bueno dar algunas propiedades
adicionales. Por ejemplo, algo que hemos pasado por alto hasta el momento es la
unicidad del lmite. Igual como suceda para las sucesiones, en el caso de funcio-
nes, los valores f(x) deben permanecer cerca de un unico n umero L.
O. Santamaria S.
Cap. 2: Lmite de funciones 67
PROPOSICI ON 2.5. El lmite de una funci on, si existe, es unico.
Demostraci on. Haremos una demostraci on directa de este resultado. Sea la fun-
ci on f : A R, p un punto de acumulaci on de A y, suponga que existen n umeros
reales diferentes L y M, podemos suponer L > M, tales que L = lm
xp
f(x) y
M = lm
xp
f(x). Por denici on, para =
LM
2
existe
1
> 0 tal que si 0 <
[x p[ <
1
entonces [f(x) L[ < y existe
2
tal que si 0 < [x p[ <
2
entonces [f(x) M[ < . Considerando = mn
1
,
2
, para todo x A tal
que 0 < [x p[ < se tiene
M < f(x) < M + = M +
L M
2
=
L + M
2
= L ,
lo cual contradice a la desigualdad L < f(x) < L + . Por tanto debe ser
L = M. T
El lmite es mon otono en el sentido del resultado que sigue.
PROPOSICI ON 2.6. Sean f, g: A R y p un punto de acumulaci on de A. Si f
y g tienen lmite en p y f(x) g(x) para todo x A, entonces
lm
xp
f(x) lm
xp
g(x).
Demostraci on. Sea L = lm
xp
f(x) y M = lm
xp
g(x). Supongamos que
se tiene L > M; para =
LM
2
existe
1
> 0 tal que si 0 < [x p[ <
1
entonces [f(x) L[ < , es decir, L < f(x) < L + ; para el mismo
existe
2
> 0 tal que si 0 < [x p[ <
2
entonces [g(x) M[ < , o tambi en
M < g(x) < M + . Considere = mn
1
,
2
, entonces para todo x A
tal que 0 < [x p[ < , se tiene
g(x) < M + = M +
L M
2
=
L + M
2
= L
L M
2
= L < f(x).
T
Un resultado an alogo al de la proposici on 1.9 aparece cuando una funci on f es
acotada en alg un intervalo, conteniendo p, y otra funci on g tiene lmite cero en p;
como veremos en breve, el producto de estas funciones tambi en tiene lmite cero,
a un cuando f no tenga lmite en p.
PROPOSICI ON 2.7. Sean f, g: A R y p un punto de acumulaci on de A. Si
existe alg un intervalo abierto I
p
, centrado en p, y una constante c > 0 tal que
[f(x)[ c para todo x I
p
, y g tiene lmite 0 en p, entonces f g tiene lmite en p
y lm
xp
f g(x) = 0.
O. Santamaria S.
68 2.2. Propiedades sobre lmites
Demostraci on. Sea > 0. Como lm
xp
g(x) = 0, existe
1
> 0 tal que si 0 <
[x p[ <
1
entonces [g(x) 0[ < /c. Como I
p
es intervalo abierto centrado
en p, entonces es de la forma I
p
=]a
2
, a +
2
[ para alg un
2
> 0; en este
intervalo se tiene [f(x)[ c. Considerando = mn
1
,
2
entonces para todo
x A tal que 0 < [x p[ < se tiene
[f g(x) 0[ = [f(x)[ [g(x)[ c

c
= .
Esto demuestra que f g tiene lmite 0 en p. T
OBSERVACI ON 2.3. La proposici on 2.7 dice que si f es acotada y lm
xp
g(x) = 0
entonces lm
xp
(fg)(x) = 0. Es bueno recordar, sin embargo, que esto no quiere
decir que vale la igualdad lm
xp
(fg)(x) = lm
xp
f(x) lm
xp
g(x) = 0, pues dicha
proposici on no hace referencia alguna a la existencia del lmite de f en p.
An alogo a lo que suceda para sucesiones, en el caso de funciones se tiene tambi en
una versi on del teorema de Sandwich. Como veremos m as adelante, este teorema
ayuda mucho en el c alculo de lmites.
PROPOSICI ON 2.8 (Teorema del Sandwich). Sean f, g, h : A R funciones
tales que f(x) g(x) h(x), para todo x A, y sea p un punto de acumulaci on
de A. Si f y h tienen lmite en p y lm
xp
f(x) = lm
xp
h(x) entonces g tambi en tiene
lmite en p y
lm
xp
f(x) = lm
xp
g(x) = lm
xp
h(x).
Demostraci on. Sea L = lm
xp
f(x) = lm
xp
h(x). Dado cualquier > 0, existe

1
> 0 tal que si x A y 0 < [x p[ <
1
entonces [f(x) L[ < y, existe
2
>
0 tal que si x A y 0 < [x p[ <
2
entonces [h(x) L[ < . Considerando
= mn
1
,
2
entonces para todo x A tal que 0 < [x p[ < se tiene
L < f(x) g(x) h(x) < L + ,
es decir, [g(x) L[ < . Luego existe el lmite de g en p y L = lm
xp
g(x). T
EJEMPLO 2.14 (Un lmite trigonom etrico notable).
lm
x0
sen x
x
= 1.
La justicaci on de esta igualdad ser a realizada en varias etapas.
O. Santamaria S.
Cap. 2: Lmite de funciones 69
1) Para todo x R tal que 0 < [x[ < /2,
cos
2
x <
sen x
x
< 1.
En efecto, puesto que las funciones x cos
2
y x
sen x
x
son pares, es su-
ciente considerar el caso 0 < x < /2.
Considere los sectores circulares OCD
y OAB, considere tambi en el tri angulo
OAB como se indica en la gura ad-
junta; usando la denici on de sen x y
cos x, el area del sector circular OCD
est a dada por
area
OCD
=
1
2
[OC[

CD

=
1
2
(cos x)(xcos x)
=
1
2
(xcos
2
x).
.......................
.......................
........................
.......................
.......................
......................
......................
.......................
.......................
........................
.......................
....................... .......................
.......................
........................
.......................
.......................
......................
......................
.......................
.......................
........................
.......................
.......................
.... ...... ...... ...... .
.. .. .. . .. .. .. .. .. .. .. ..
. . .. . . . . .. . . . . .. . . . . .. . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . .. . . . . .. . . . . .. . . . . ..
. .. .. .. .. .. .. . .. .. .. .. .
.. ...... ...... ..... ....

6
-
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.. ...... ...... .....
..................
.................
................
...............
................
r
cos x
sen x
O C A=(1,0)
D
B
x
Por otro lado, el area del tri angulo OAB es dada por
area
OAB
=
1
2
[OA[ [BC[ =
1
2
sen x.
Asimismo, el area del sector circular OAB es
area
OAB
=
1
2
[OA[

AB

=
1
2
x.
Como
area
OCD
< area
OAB
< area
OAB
entonces
1
2
(xcos
2
x) <
1
2
senx <
1
2
x.
Dividiendo estas desigualdades por x/2 resulta
cos
2
x <
sen x
x
< 1.
2) Para todo x R, [sen x[ [x[.
Demostraci on. De lo demostrado en el item (1) deducimos que si 0 < [x[ <
/2 entonces [sen x[ < [x[. Pero adem as de esto, como [sen x[ 1 entonces
para [x[ /2 > 1 sigue valiendo la desigualdad [sen x[ < [x[. Por tanto, para
todo x R se tiene [sen x[ [x[. Observe que si x = 0 entonces [sen 0[ = [0[.
O. Santamaria S.
70 2.3. Lmites laterales
3) lm
x0
senx = 0.
Demostraci on. Del item (2) sabemos que [x[ sen x [x[; adem as de esto
lm
x0
([x[) = lm
x0
[x[ = 0 entonces el teorema del sandwich (proposi-
ci on 2.8) implica que lm
x0
sen x = 0.
4) lm
x0
sen x
x
= 1.
Demostraci on. Puesto que interesa el comportamiento de f(x) =
sen x
x
cuando
x es cercano a 0, asumiremos que [x[ < /2. Siendo as, lo demostrado en el
item (1) nos dice que
cos
2
x <
sen x
x
< 1. (*)
Usando el item (3) concluimos que
lm
x0
cos
2
x = lm
x0
(1 sen
2
x) = 1 0
2
= 1.
Por tanto, usando nuevamente la proposici on 2.8 en (*) obtenemos la igualdad
lm
x0
sen x
x
= 1.
2.3. Lmites laterales
Sea A un subconjunto de R. Un punto p R es punto de acumulaci on a la derecha
de A si para todo n umero real r > 0 se tiene A]p, p + r[, = .
Sea A un subconjunto de R. Un punto p R es punto de acumulaci on a la izquier-
da de A si para todo n umero real r > 0 se tiene A]p r, p[, = .
Por ejemplo, si consideramos el intervalo A =]0, 3[, entonces p = 0 es punto
de acumulaci on a la derecha de A, pues para todo r > 0, ]0, 3[]0, 0 + r[, = .
An alogamente, q = 3 es punto de acumulaci on a la izquierda de A, porque para
todo r > 0, ]0, 3[]3 r, 3[, = .
DEFINICI ON 2.3. Sea la funci on f : A R
1) Sea p un punto de acumulaci on a la derecha de A. Un n umero real L es lmite
de f cuanto x tiende a p por la derecha si para cada > 0 existe > 0 tal que
si x A y 0 < x p < entonces [f(x) L[ < .
En este caso usamos la notaci on
L = lm
xp
+
f(x).
O. Santamaria S.
Cap. 2: Lmite de funciones 71
2) Sea p un punto de acumulaci on a la izquierda de A. Un n umero real L es lmite
de f cuanto x tiende a p por la izquierda si para cada > 0 existe > 0 tal
que si x A y 0 < p x < entonces [f(x) L[ < .
La notaci on usada para este caso es
L = lm
xp

f(x).
OBSERVACI ON 2.4. En la denici on 2.3, decir que x se aproxima a p por la de-
recha, signica en particular que x > p. An alogamente, en la denici on 2.3, decir
que x se aproxima a p por la izquierda, signica en particular que x < p.
EJEMPLO 2.15.
1) Sea f :]2, [R denida por f(x) =

x 2. Es claro que f no est a denida


cuando cuando x 2 por la izquierda. En cambio, cuando se acerca a 2 por la
derecha entonces lm
x2
+

x 2 = 0.
2) Considere la funci on m aximo entero, esto es, f : R R tal que f(x) = x.
Sabemos que si x [2, 3[ entonces f(x) = 2 y si x [1, 2[ entonces f(x) = 1.
Es claro entonces que
lm
x2

x = 1 y lm
x2
+
x = 2.
En el item (2) del ejemplo 2.15 observamos que los lmites laterales no necesa-
riamente tienen que ser iguales. La igualdad, sin embargo, se convierte en una
condici on necesaria y suciente para la existencia del lmite, tal como asegura el
siguiente resultado.
PROPOSICI ON 2.9. Sea la funci on f : A R y p un punto de acumulaci on. En-
tonces existe L = lm
xp
f(x) si y solo si existen los lmites laterales lm
xp
+
f(x)
y lm
xp

f(x) y adem as son iguales.


Demostraci on. Ejercicio. T
2.4. Lmites al innito, lmites innitos
Un subconjunto A de R es no acotado por la derecha si para todo n umero real
c > 0 existe x A tal que x > c. Un ejemplo sencillo de conjunto no acotado por
la derecha es el intervalo [a, [.
An alogamente, un subconjunto A de R es no acotado por la izquierda si para todo
n umero real c > 0 existe x A tal que x < c. Un ejemplo sencillo de conjunto
no acotado por la izquierda es el intervalo ] , a[.
O. Santamaria S.
72 2.4. Lmites al innito, lmites innitos
DEFINICI ON 2.4. Sea la funci on f : A R.
1) Sea A R no acotado por la derecha. Un n umero real L es lmite de f cuan-
do x tiende a + si para todo > 0 existe un n umero real c > 0 tal que si
x A y x > c entonces [f(x) L[ < .
En este caso se usa la notaci on
L = lm
x+
f(x).
2) Sea A un subconjunto de R no acotado por la izquierda. Un n umero real L es
lmite de f cuando x tiende a si para todo > 0 existe un n umero real
c > 0 tal que si x A y x < c entonces [f(x) L[ < .
En este caso se usa la notaci on
L = lm
x
f(x).
Siguen valiendo en este caso las propiedades demostradas en las proposiciones
para lmites del tipo lm
xp
f(x). La demostraci on de los resultados que siguen
se hace de manera an aloga a lo ya demostrado anteriormente, con las adaptaciones
evidentes.
PROPOSICI ON 2.10. Sea A R un conjunto no acotado por la derecha y supon-
ga que existen los lmites lm
x+
f(x) y lm
x+
g(x). Entonces
1) Existe lm
x+
(f + g)(x) y
lm
x+
(f + g)(x) = lm
x+
f(x) + lm
x+
g(x).
2) Existe lm
x+
(f g)(x) y
lm
x+
(f g)(x) = lm
x+
f(x) lm
x+
g(x).
3) Si lm
x+
g(x) ,= 0 entonces existe lm
x+
_
f
g
_
(x) y
lm
x+
_
f
g
_
(x) =
lm
x+
f(x)
lm
x+
g(x)
.
4) Para todo n umero real c, existe el lmite lm
x
(c f)(x) y
lm
x+
(c f)(x) = c lm
x+
f(x).
O. Santamaria S.
Cap. 2: Lmite de funciones 73
5) Si f(x) g(x), para todo x A, entonces lm
x+
f(x) lm
x+
g(x).
6) Si f(x) g(x) h(x) para todo x A y lm
x+
f(x) = L = lm
x+
h(x)
entonces lm
x+
g(x) = L.
7) Si lm
x
f(x) = 0 y g : A R es acotada (es decir, existe M > 0 tal que
[g(x)[ M para todo x A) entonces lm
x
(f g)(x) = 0.
OBSERVACI ON 2.5. Resultados an alogos se tiene cuando x . Sera bueno
que el lector escriba las respectivas igualdades; por ejemplo, en el caso de que
existan los lmites lm
x
f(x) y lm
x
g(x) entonces existe lm
x
(f + g)(x) y
lm
x
(f + g)(x) = lm
x
f(x) + lm
x
g(x).
Un lmite tan b asico como importante es el siguiente:
EJEMPLO 2.16.
lm
x+
1
x
= 0.
Esto signica que mientras m as grande sea el valor de x, m as peque no ser a el valor
de f(x) =
1
x
. Vamos por la justicaci on formal.
Sea > 0 y elija un n umero real c >
1

. Para todo x tal que x > c,

1
x
0

1
x

<
1
c
< .
Y esto demuestra el resultado.
En forma totalmente similar se demuestra que
lm
x
1
x
= 0.
EJEMPLO 2.17. En los siguientes items asumiremos que las funciones involucra-
das tienen lmite cuando x + o x . Por el momento daremos ejemplos
b asicos, m as adelante volveremos con ejemplos un poco mas sosticados.
1) lm
x
3x
2
+x

2
9x
2
x+

3
.
Soluci on. Este es un ejemplo tpico en el c alculo de lmites cuando x o
cuando x . Cuando el numerador y el denominador est an dados por dos
O. Santamaria S.
74 2.4. Lmites al innito, lmites innitos
polinomios, del mismo grado n, dividimos numerador y denominador por x
n
.
En este ejemplo se tiene
lm
x
3x
2
+ x

2
9x
2
x +

3
= lm
x
3x
2
+x

2
x
2
9x
2
x+

3
x
2
= lm
x
3x
2
x
2
+
x
x
2

2
x
2
9x
2
x
2

x
x
2
+

3
x
2
= lm
x
3 +
1
x

2
_
1
x
_
2
9
1
x
+

3
_
1
x
_
2
.
Aqu es momento de usar el ejemplo 2.16, entonces
lm
x
3x
2
+ x

2
9x
2
x +

3
= lm
x
3 + 0

2 (0)
2
9 0 +

3 (0)
2
=
3
9
=
1
3
.
2) lm
x
sen x
x
.
Soluci on. Observe en este caso que x sen x es una funci on acotada mientras
que lm
x
1
x
= 0; de acuerdo al item (7) de la proposici on 2.10, se tiene
lm
x+
sen x
x
= lm
x+
_
1
x
_
(sen x) = 0.
3) lm
x
x
2
x 2
x
3
1
.
Soluci on. Este ejemplo corresponde al caso de una funci on racional donde el
numerador es un polinomio de grado menor o igual al grado del polinomio del
denominador. En este caso dividimos numerador y denominador por x
m
, donde
m es el grado del polinomio del denominador. Entonces
lm
x
x
2
x 2
x
3
1
= lm
x
x
2
x2
x
3
x
3
1
x
3
= lm
x
x
2
x
3

x
x
3

2
x
3
x
3
x
3

1
x
3
= lm
x
1
x

1
x
2

2
x
3
1
1
x
3
= lm
x
0 0 0
1 0
= 0.
EJEMPLO 2.18 (Un lmite exponencial notable).
lm
x+
_
1 +
1
x
_
x
= e.
O. Santamaria S.
Cap. 2: Lmite de funciones 75
En efecto, para cada n umero real positivo x existe un entero positivo n tal que
n x < n +1, luego
1
n+1
<
1
x

1
n
y por tanto 1 +
1
n+1
< 1 +
1
x
1 +
1
n
; como
n x < n + 1, entonces
_
1 +
1
n + 1
_
n
<
_
1 +
1
x
_
x

_
1 +
1
n
_
n+1
(*)
En este punto observe que n +si y solo si x +, adem as
lm
n
_
1 +
1
n + 1
_
n
= lm
n
_
1 +
1
n+1
_
n+1
1 +
1
n+1
=
e
1 + 0
= e,
y an alogamente,
lm
n
_
1 +
1
n
_
n+1
= lm
n
_
1 +
1
n
_
n
_
1 +
1
n
_
= e (1 + 0) = e.
Por tanto, obtenemos de (*) que lm
x+
_
1 +
1
x
_
x
= e.
Otro concepto importante aparece cuando al analizar el comportamiento de una
funci on cerca de un punto p, encontramos que esta no es acotada.
DEFINICI ON 2.5 (Lmites innitos). Sea f : A R y p un punto de acumulaci on
de A.
1) Diremos que lm
xp
f(x) = +si para todo n umero real c > 0 existe > 0 tal
que si x A y [x p[ < entonces f(x) > c.
2) Diremos que lm
xp
f(x) = si para todo n umero real c > 0 existe > 0 tal
que si x A y [x p[ < entonces f(x) < c.
EJEMPLO 2.19.
lm
xp
1
(x p)
2
= +.
En efecto, sea c > 0 un n umero real arbitrario; eligiendo = 1/

c se tiene que si
x A y 0 < [x p[ < entonces
f(x) =
1
(x p)
2
>
1

2
= c.
O. Santamaria S.
76 2.5. Formas indeterminadas
2.5. Formas indeterminadas
Formas indeterminadas del tipo
0
0
Sean las funciones f, g : A R y p un punto de acumulaci on de R. Sabemos
que, si existen los lmites lm
xp
f(x) y lm
xp
g(x) ,= 0 entonces la funci on
f
g
tambi en tiene lmite en p y adem as lm
xp
f
g
(x) =
lmxp f(x)
lmxp g(x)
. Sin embargo, no
siempre las cosas se van a presentar tan sencillas, as que es natural preguntarse
sobre lo que sucedera en el caso de ser lm
xp
f(x) = lm
xp
g(x) = 0; la
respuesta en este caso es que el
lm
xp
f(x)
g(x)
puede o no puede existir; por este motivo se denomina expresi on indeterminada
del tipo
0
0
, pues no hay nada preciso que podamos decir de antemano.
EJEMPLO 2.20.
1) Calcular lm
x2
x
2
4
x2
.
En este caso se tienen las funciones f(x) = x
2
4 y g(x) = x 2 y, adem as
lm
x2
f(x) = 0 = lm
x2
g(x); en particular el cociente
lm
x2
x
2
4
lm
x2
x2
no tiene
sentido, pues equivaldra a la expresi on del tipo
0
0
, la cual obviamente no tiene
sentido aritm etico, pues la divisi on entre cero no est a denida. Pero al n de
cuentas lo que interesa no es el cociente
lm
x2
x
2
4
lm
x2
x2
si no la existencia o no del
lm
x2
x
2
4
x2
. Afortunadamente cuando analizamos, en general, la existencia
del lmite de una funci on h en un punto p, no interesa el valor h(p) si no m as
bien el valor de h(x) cuando x est a cerca de p. Por este motivo, perfectamente
podemos analizar el cociente
x
2
4
x2
considerando que x ,= 2. Con esta licencia,
nuestros conocimientos sobre algebra nos dicen que
x
2
4
x 2
=
(x 2)(x + 2)
x 2
= x + 2, siempre que x ,= 2.
Por tanto, analizar la existencia del lmite lm
x2
x
2
4
x2
equivale a analizar la
existencia del lmite lm
x2
(x + 2). A estas alturas ya estamos en condiciones
de justicar que lm
x2
(x + 2) = 4. Por tanto
lm
x2
x
2
4
x 2
= lm
x2
x + 2 = 4.
En conclusi on, a un cuando lm
x2
(x
2
4) = 0 = lm
x2
(x 2), el lmite
lm
x2
x
2
4
x2
existe y es igual a 4.
O. Santamaria S.
Cap. 2: Lmite de funciones 77
2) Analizar la existencia del lmite de
x
2
4
(x2)
2
en p = 2.
En primer lugar, observe que para todo x ,= 2,
x
2
4
(x 2)
2
=
(x 2)(x + 2)
(x 2)
2
=
x + 2
x 2
,
por tanto, existe el lmite de
x
2
4
(x2)
2
en p = 2 si y solo si existe el lmite de
x+2
x2
en p = 2. O equivalentemente: no existe el lmite de
x
2
4
(x2)
2
en p = 2 si y solo
si no existe el lmite de
x+2
x2
en p = 2.
Vamos a demostrar que no existe el lmite de h(x) =
x+2
x2
en p = 2; para ello
usaremos la proposici on 2.1. En efecto, consideremos la sucesi on (x
n
)
nN
cuyo
t ermino n- esimo es dado por x
n
= 2 +
(1)
n
n+1
; es claro que lm
n
x
n
= 2,
sin embargo,
h(x
n
) =
x
n
+ 2
x
n
2
=
4 +
(1)
n
n+1
(1)
n
n+1
= 1 + 4(1)
n
(n + 1),
es decir, (h(x
n
))
nN
es no acotada y por tanto no convergente.
En conclusi on, las funciones f(x) = x
2
4 y g(x) = (x 2)
2
son tales que
lm
x2
f(x) = 0 = lm
x2
g(x) y no existe lm
x2
f(x)
g(x)
.
3) Otro caso importante de forma indeterminada del tipo 0/0 es dado por el lmite
lm
x0
sen x
x
= 1, visto ya en el ejemplo 2.14.
Los items (1) y (2) del ejemplo 2.20 muestran entonces que en el caso de ser
lm
xp
f(x) = 0 = lm
xp
g(x), nada se puede asegurar acerca de la existen-
cia del lm
xp
f(x)
g(x)
.
Formas indeterminadas del tipo
Consideremos las funciones f, g : A R y p un punto de acumulaci on de A. Una
combinaci on de la proposici on 2.2 y el ejemplo 2.11 nos dice que en el caso de
existir los lmites lm
xp
f(x) y lm
xp
g(x) entonces existe lm
xp
(f g)(x)
y adem as lm
xp
(f g)(x) = lm
xp
f(x) lm
xp
g(x). Sin embargo, un
caso que aparece con frecuencia es cuando lm
xp
f(x) = + = lm
xp
g(x).
Obviamente no vale la igualdad lm
xp
(f g)(x) = lm
xp
f(x)lm
xp
g(x) y
sin embargo nada se puede de antemano sobre la existencia del lm
xp
(f g)(x).
Se dice en este caso que dicho lmite corresponde a una expresi on indeterminada
del tipo .
O. Santamaria S.
78 2.5. Formas indeterminadas
En el ejemplo que sigue, mostramos a continuaci on un caso donde existe el lmite
lm
xp
(f g)(x) y otro donde no existe.
EJEMPLO 2.21.
1) Sean f, g : R p R denidas por
f(x) = c +
1
(x p)
2
y g(x) =
1
(x p)
2
.
Del ejemplo 2.19, se tiene que lm
xp
f(x) = + = lm
xp
g(x), sin em-
bargo,
lm
xp
[f(x) g(x)] = lm
xp
c = c.
2) Considere las funciones f, g : R 0 R denidas por
f(x) = sen
_
1
x
_
+
1
x
2
y g(x) =
1
x
2
.
Nuevamente se tiene lm
x0
f(x) = + = lm
x0
g(x), y adem as no existe
lm
x0
[f(x) g(x)] = lm
x0
sen
_
1
x
_
.
(vea el ejemplo 2.8).
Formas indeterminadas del tipo 0
0
Esta forma indeterminada aparece en el c alculo del lmite de funciones de la forma
f(x)
g(x)
, siendo lm
xp
f(x) = 0 = lm
xp
g(x). La expresi on 0
0
es indeterminada
porque, como en los casos anteriores, el lmite lm
xp
f(x)
g(x)
puede o no puede
existir; esto depende de las funciones consideradas.
EJEMPLO 2.22.
1) Sean f, g :]0, +[ R funciones denidas por
f(x) = x y g(x) =
ln c
ln x
donde c > 0. Se tiene entonces lm
x0
+ f(x) = 0 = lm
x0
+ g(x), pero
f(x)
g(x)
= x
ln c
ln x
= c
de manera que lm
x0
f(x)
g(x)
= c.
O. Santamaria S.
Cap. 2: Lmite de funciones 79
2) Considere las funciones f, g :]0, +[R tales que
f(x) = x y g(x) =
ln(1 +[sen(1/x)[)
ln x
.
Nuevamente se tiene lm
x0
+ f(x) = 0 = lm
x0
+ g(x) y adem as
f(x)
g(x)
= 1 +[sen(1/x)[
de manera que no existe lm
x0
f(x)
g(x)
.
Otras formas indeterminadas
Otras formas indeterminadas que aparecen al momento de calcular lmites son las
siguientes:
0 ,

,
0
, y 1

.
Un ejemplo de forma indeterminada del tipo 1

, es dada por el lmite que estudia-


mos en el ejemplo 2.18.
2.6. C alculo de lmites
EJEMPLO 2.23. Calcule los lmites siguientes, asumiendo que existen.
1) lm
x
_
1 +
1
x
_
x
.
Soluci on. Sea t = 1 x; es claro que x si y solo si t +.
Entonces
lm
x
_
1 +
1
x
_
x
= lm
t+
_
1 +
1
1 t
_
1t
= lm
t+
_
t
1 t
_
1t
= lm
t+
_
t
1 + t
_
(1+t)
= lm
t+
_
1 + t
t
_
1+t
= lm
t+
_
1 +
1
t
_
t

_
1 +
1
t
_
= e (1 + 0).
Por tanto
lm
x
_
1 +
1
x
_
x
= e.
O. Santamaria S.
80 2.6. C alculo de lmites
2) lm
x0
(1 + x)
1/x
.
Soluci on. Primero asumiremos que x tiende a cero por la derecha. Si t = 1/x
entonces x 0
+
si y solo si t +. Entonces
lm
x0
+
(1 + x)
1/x
= lm
t+
_
1 +
1
t
_
t
= e.
Ahora asumimos que x tiende a cero por la izquierda. Nuevamente, si t = 1/x
entonces x 0

si y solo si t . Entonces
lm
x0

(1 + x)
1/x
= lm
t
_
1 +
1
t
_
t
= e.
Se concluye a partir de estos resultado que lm
x0
(1 + x)
1/x
= e.
Al respecto de lmites exponenciales se tiene los siguientes resultados generales.
PROPOSICI ON 2.11.
1) Si x u(x) es una funci on tal que lm
xp
u(x) = + o lm
xp
u(x) = ,
entonces
lm
xp
_
1 +
1
u(x)
_
u(x)
= e.
2) Si x u(x) es una funci on tal que lm
xp
u(x) = 0, entonces
lm
xp
(1 + u(x))
1/u(x)
= e.
EJEMPLO 2.24. Calcule los siguientes lmites.
1) lm
x
1sen(x/2)
[cos(x/2)][cos(x/4)sen(x/4)]
.
Soluci on. Observe que este lmite corresponde a una forma indeterminada del
tipo 0/0. Para levantar esta indeterminaci on, el primer paso consistir a en con-
vertir el lmite dado a otro donde la variable tienda a cero. Para ello observe que
si hacemos y = x entonces x si y solo si y 0. Por tanto
L = lm
x
1 sen(x/2)
[cos(x/2)] [cos(x/4) sen(x/4)]
= lm
y0
1 sen
_
y+
2
_
_
cos
_
y+
2
_

_
cos
_
y+
4
_
sen
_
y+
4
_
= lm
y0
1 cos
_
y
2
_
_
sen
_
y
2
_

2
2
_
cos
_
y
4
_
sen
_
y
4
_
sen
_
y
4
_
cos
_
y
4
_
=
2

2
lm
y0
1 cos
_
y
2
_
sen
_
y
2
_

_
2 sen
_
y
4
_ =
1

2
lm
y0
1 cos
_
y
2
_
sen
_
y
2
_

_
sen
_
y
4
_
O. Santamaria S.
Cap. 2: Lmite de funciones 81
Observe que seguimos en una indeterminaci on del tipo 0/0, sin embargo pode-
mos usar la identidad trigonom etrica 1 cos(y/2) = 2 sen
2
(y/4), lo cual nos
lleva a
L =
1

2
lm
y0
2 sen
2
(y/4)
sen(y/2) sen(y/4)
=
2

2
lm
y0
sen(y/4)
sen(y/2)
.
Pero adem as sen(y/2) = sen(2(y/4)) = 2 sen(y/4) cos(y/4), entonces
L =
2

2
lm
y0
sen(y/4)
2 sen(y/4) cos(y/4)
=
1

2
lm
y0
1
cos(y/4)
=
1

1
1
=

2
2
.
Por tanto,
lm
x
1 sen(x/2)
[cos(x/2)] [cos(x/4) sen(x/4)]
=

2
2
.
En el c alculo de un lmite, cuando se tiene una forma indeterminada, la idea siem-
pre es realizar las transformaciones adecuadas a n de tener una forma equivalente
donde desaparezca dicha indeterminaci on. El tipo de transformaci on que se elija
depende mucho de las funciones con las que estemos trabajando. As, en el item
anterior el primer paso fu e convertir el lmite dado en otro donde la variable tienda
a cero. En el siguiente lmite la indeterminaci on se resuelve tambi en haciendo un
cambio adecuado en las funciones que intervienen. Lo com un es siempre, una vez
elegida la transformaci on, expresar todo en la nueva variable.
2) lm
x1
+

arc cos x

x+1
.
Soluci on. Sea arc cos x = t entonces x = cos t; con este cambio se observa que
x 1
+
si y solo si t

. Usando la nueva variable t,


L = lm
x1
+

arc cos x

x + 1
= lm
t

1 + cos t
= lm
t

t
(

t)

1 + cos t
=
1
2

lm
t

1 + cos t
.
Aqu es momento de hacer una nueva transformaci on en la variable. Sea y =
t , bajo este nuevo par ametro se tiene que t

si y solo si y 0

.
Entonces
L =
1
2

lm
t

1 + cos t
=
1
2

lm
y0

y
_
1 + cos(y + )
=
1
2

lm
y0

1 cos y
=
1
2

lm
y0

y
_
2 sen
2
(y/2)
O. Santamaria S.
82 2.6. C alculo de lmites
El valor de sen(y/2) es negativo para valores negativos de y, muy cercanos a
cero, entonces del ultimo lmite anterior resulta
L =
1
2

2
lm
y0

y
sen(y/2)
=
1
2

2
lm
y0

y
sen(y/2)
.
Nuevamente aqu es necesario un cambio de variable (aunque con un poco de
m as pr actica, este cambio se puede pasar por alto); si z = y/2 entonces y 0

si y solo si z 0

. Luego, recordando el lmite notable visto en el ejem-


plo 2.14, se tiene
L =
1
2

2
lm
z0

2z
sen z
=
1
2

2
lm
z0

2
sen z
z
=
1
2

2
1
=
1

2
.
3) lm
x0
e
x
2
cos x
x
2
.
Soluci on. La primera idea ser a escribir la funci on dada como una diferencia de
funciones, es decir,
L = lm
x0
e
x
2
cos x
x
2
= lm
x0
_
e
x
2
1
x
2
+
1 cos x
x
2
_
.
Como estamos asumiendo la existencia de todos los lmites entonces
L = lm
x0
e
x
2
1
x
2
+ lm
x0
1 cos x
x
2
. (*)
En el lmite L
1
= lm
x0
e
x
2
1
x
2
hacemos t = x
2
, entonces L
1
= lm
t0
e
t
1
t
.
A continuaci on hacemos y = e
t
1 entonces t = ln(y + 1), luego
L
1
= lm
y0
y
ln(y + 1)
=
1
lm
y0
ln(y+1)
y
=
1
lm
y0
ln(y + 1)
1/y
=
1
ln(lm
y0
(1 + y)
1/y
)
=
1
ln e
= 1.
Por otro lado, hacemos algunas transformaciones en el lmite lm
x0
1cos x
x
2
,
entonces
L
2
= lm
x0
1 cos x
x
2
= lm
x0
2 sen
2
(x/2)
x
2
=
1
2
lm
x0
_
sen(x/2)
(x/2)
_
2
=
=
1
2
(1)
2
=
1
2
.
O. Santamaria S.
Cap. 2: Lmite de funciones 83
Reemplazando los valores hallados de L
1
y L
2
en (*) se obtiene nalmente
L = lm
x0
e
x
2
cos x
x
2
= L
1
+ L
2
= 1 +
1
2
=
3
2
.
4) lm
x0
3

1+x
2

12x
x+x
2
.
Soluci on. En este caso, debemos introducir un t ermino que nos permita cons-
truir una diferencia de cubos y una diferencia de cuartas. Para elegir dicho
t ermino observamos en ambos radicales que cuando x 0 las respectivas
expresiones tienden a 1. Entonces 1 es el t ermino que introduciremos.
L = lm
x0
3

1 + x
2

1 2x
x + x
2
= lm
x0
_
3

1 + x
2
1
_

_
4

1 2x 1
_
x + x
2
= lm
x0
3

1 + x
2
1
x + x
2
lm
x0
4

1 2x 1
x + x
2
(*)
Ahora procedemos a realizar el c alculo por separado.
L
1
= lm
x0
3

1 + x
2
1
x + x
2
= lm
x0
_
3

1 + x
2
_
3
1
3
(x + x
2
)
_
3

1 + x
2
2
+
3

1 + x
2
+ 1
_
= lm
x0
_
1 + x
2
_
1
x(1 + x)
_
3

1 + x
2
2
+
3

1 + x
2
+ 1
_
= lm
x0
x
(1 + x)
_
3

1 + x
2
2
+
3

1 + x
2
+ 1
_
=
0
(1 + 0)(1
2
+ 1 + 1)
= 0.
De manera similar ahora calculamos el segundo lmite.
L
2
= lm
x0
4

1 2x 1
x + x
2
= lm
x0
(
4

1 2x)
4
1
4
(x + x
2
)
_
4

1 2x
3
+
4

1 2x
2
+
4

1 2x + 1
_
= lm
x0
2x
x(1 + x)
_
4

1 2x
3
+
4

1 2x
2
+
4

1 2x + 1
_.
O. Santamaria S.
84 2.6. C alculo de lmites
Al simplicar se obtiene
L
2
= lm
x0
2
(1 + x)
_
4

1 2x
3
+
4

1 2x
2
+
4

1 2x + 1
_ =
2
4
=
1
2
.
Por tanto, reemplazando en (*), resulta nalmente
lm
x0
3

1 + x
2

1 2x
x + x
2
= 0
_

1
2
_
=
1
2
.
5) lm
x1

2xx
4

x
1
4

x
3
.
Soluci on. Observe que cuando x 1, cada radical del numerador tiende a 1.
Entonces sumando y restando 1 en el numerador se obtiene
L = lm
x1

2x x
4

x
1
4

x
3
= lm
x1
(

2x x
4
1) (
3

x 1)
1
4

x
3
= lm
x1
__
(

2xx
4
)
2
1
2

2xx
4
+1
_

_
(
3

x)
3
1
3
3

x
2
+
3

x+1
__ _
1 +
4

x
3
+
4

x
3
2
+
4

x
3
3
_
1
4
(
4

x
3
)
4
Como en el factor 1 +
4

x
3
+
4

x
3
2
+
4

x
3
3
no hay problemas con el lmite,
calculamos directamente
lm
x1
_
1 +
4

x
3
+
4

x
3
2
+
4

x
3
3
_
= 1 + 1
2
+ 1
3
+ 1
4
= 4.
Esto s olo funciona en expresiones donde los factores no causan problemas y la
indeterminaci on sigue en el resto de la funci on. Entonces
L = lm
x1
__
2xx
4
1

2xx
4
+1
_

_
x1
3

x
2
+
3

x+1
__
(4)
1 x
3
= 4 lm
x1
_
(x1)(x
3
x
2
x+1)

2xx
4
+1
_

_
x1
3

x
2
+
3

x+1
_
(1 x)(1 + x + x
2
)
= 4 lm
x1
(x 1)
__
x
3
x
2
x+1

2xx
4
+1
_

_
1
3

x
2
+
3

x+1
__
(1 x)(1 + x + x
2
)
= 4 lm
x1
_
x
3
x
2
x+1

2xx
4
+1
_

_
1
3

x
2
+
3

x+1
_
1 + x + x
2
O. Santamaria S.
Cap. 2: Lmite de funciones 85
Ahora esto est a listo para ser evaluado. Entonces
L = 4
_
111+1

21+1
_

_
1
1+1+1
_
1 + 1 + 1
=
16
9
.
6) lm
x0
sen 2xsen 3x
4x
.
Soluci on. Recordemos que lm
x0
sen x
x
= 1. En general,
lm
x0
sen ax
bx
=
a
b
lm
x0
sen ax
ax
.
Si ax = t entonces x 0 si y solo si t 0, por tanto,
lm
x0
sen ax
bx
=
a
b
lm
x0
sen ax
ax
=
a
b
lm
t0
sen t
t
=
a
b
.
Usando esto en el presente ejercicio,
lm
x0
sen 2x sen 3x
4x
= lm
x0
sen 2x
4x
lm
x0
sen 3x
4x
=
2
4

3
4
=
1
4
.
7) lm
x0
cos(tan x)1
tan x
.
Soluci on. Puesto que sen
2
A =
1cos 2A
2
, entonces
L = lm
x0
cos(tan x) 1
tan x
= lm
x0
1 cos
_
2
tan x
2
_
tan x
= lm
x0
2 sen
2
_
tan x
2
_
tan x
.
Si hacemos t =
tan x
2
entonces x 0 si y solo si t 0. Luego,
L = lm
t0
2 sen
2
t
2t
= lm
t0
sen t
sen t
t
= lm
t0
sen t lm
t0
sen t
t
= 0 1 = 0.
8) lm
x0
ln(1+x)
3
x
1
.
Soluci on. Aqu es bueno recordar que lm
t0
(1 + t)
1/t
= e. Entonces
L = lm
x0
ln(1 + x)
3
x
1
= lm
x0
ln(1+x)
x
3
x
1
x
=
lm
x0
ln(1 + x)
1/x
lm
x0
3
x
1
x
. (*)
En el lmite del denominador, si t = 3
x
1 entonces x =
ln(t+1)
ln 3
, luego
lm
x0
3
x
1
x
= lm
x0
t
ln(t+1)
ln3
= ln 3 lm
t0
1
ln(t+1)
t
= ln 3
1
lm
t0
ln(t+1)
t
= ln 3
1
lm
t0
ln(t + 1)
1/t
= ln 3
1
ln e
=
ln 3
1
= ln 3.
O. Santamaria S.
86 2.6. C alculo de lmites
Reemplazando en (*) resulta
L =
ln e
ln 3
=
1
ln 3
.
9) lm
x1
lnx
e
x
e
.
Soluci on.
lm
x1
ln x
e
x
e
= lm
x1
ln x
x1
e
x
e
x1
= lm
x1
ln(1 + (x 1))
1/(x1)
e(e
x1
1)
x1
=
lm
x1
ln(1 + (x 1))
1/(x1)
lm
x1
e(e
x1
1)
x1
. (*)
En el lmite del denominador hacemos e
x1
1 = t entonces x1 = ln(t+1),
luego
lm
x1
e(e
x1
1)
x 1
= e lm
t0
t
ln(t + 1)
= e
1
ln
_
lm
t0
(1 + t)
1/t
_ =
e
lne
= e.
Volviendo con este resultado a (*) encontramos que
lm
x1
ln x
e
x
e
=
ln e
e
=
1
e
.
10) lm
x0
e
x
e
x
sen x
.
Soluci on.
lm
x0
e
x
e
x
sen x
= lm
x0
1
e
x

e
2x
1
sen x
= lm
x0
1
e
x

e
2x
1
x
sen x
x
= lm
x0
1
e
x

lm
x0
e
2x
1
x
lm
x0
sen x
x
(*)
En el lmite del numerador en (*) hacemos e
2x
1 = t, entonces
lm
x0
e
2x
1
x
= lm
t0
t
ln(t+1)
2
= 2
1
lm
t0
ln(1 + t)
1/t
=
2
ln e
= 2.
Volviendo nuevamente a (*) se obtiene nalmente,
L =
1
e
0

2
1
= 2.
O. Santamaria S.
Cap. 2: Lmite de funciones 87
11) lm
x0
_
cot x
1
sen x
_
.
Soluci on. Como cot x = cos x/ sen x entonces
lm
x0
_
cot x
1
sen x
_
= lm
x0
_
cos x
sen x

1
sen x
_
= lm
x0
cos x 1
sen x
= lm
x0
cos x 1
x
sen x
x
= lm
x0
1 cos x
x
sen x
x
= lm
x0
2 sen
2
(x/2)
x
sen x
x
= lm
x0
sen(x/2)
sen(x/2)
x/2
sen x
x
=
0 1
1
= 0.
12) lm
x
_
x1
x+3
_
x2
.
Soluci on. En este ejercicio usaremos el item (2) de la proposici on 2.11.
lm
x
_
x 1
x + 3
_
x2
= lm
x
_
1
4
x + 3
_
x2
= lm
x
_
1
4
x + 3
_
(
x+3
4
)(
4
x+3
)(x2)
= e
lmx
4(x2)
x+3
= e
lm
x
4(1
2
x
)
1+
3
x
= e
4(10)
1+0
= e
4
.
13) lm
x0
(1 + x)
cot x
.
Soluci on. Usando el item (2) de la proposici on 2.11,
lm
x0
(1 + x)
cot x
= lm
x0
(1 + x)
1
x

xcos x
sen x
= e
lm
x0
cos x
sen x/x
= e
1
1
= e.
14) lm
x
xe
x
sen
_
e
x
sen
2
x
_
.
Soluci on.
lm
x
xe
x
sen
_
e
x
sen
2
x
_
= lm
x
sen
_
e
x
sen
2
x
_
e
x
x
= lm
x
sen
_
e
x
sen
2
x
_
e
x
x
sen
2
x
sen
2
x
(*)
O. Santamaria S.
88 2.6. C alculo de lmites
Si x = 1/t entonces
1
x
= t y
2
x
= 2t, adem as x si y solo si t 0, por
tanto, reemplazando esto en (*) se tiene
lm
x
sen
_
e
x
sen
2
x
_
e
x
x
sen
2
x
sen
2
x
= lm
t0
sen
_
e
1/t
sen 2t
_
e
1/t
t sen 2t
sen 2t
= lm
t0
sen(e
1/t
sen 2t)
e
1/t
sen 2t

sen2t
2t
2
= 1 1 2.
Por tanto, volviendo a (*) obtenemos nalmente,
lm
x
xe
x
sen
_
e
x
sen
2
x
_
= 2.
15) lm
x
x
_
_
1 +
1
x

_
1
2
x
_
.
Soluci on.
L = lm
x
x
_
_
1 +
1
x

_
1
2
x
_
= lm
x
x
_
_
1 +
1
x
2

_
1
2
x
2
_
_
1 +
1
x
+
_
1
2
x
= lm
x
x
_
3
x
_
_
1 +
1
x
+
_
1
2
x
== lm
x
3
_
1 +
1
x
+
_
1
2
x
=
3

1 + 0 +

1 0
=
3
2
.
16) lm
x/4
ln(tan x)
sen xcos x
.
Soluci on. Un cambio de variable adecuado simplicar a el c alculo; considere
t = x/4 entonces x = t +/4 y adem as x /4 si y solo si t 0, luego
lm
x/4
ln(tan x)
sen x cos x
= lm
t0
ln(tan(t + /4))
sen(t + /4) cos(t + /4)
= lm
t0
ln
_
1+tan t
1tan t
_

2 sen t
=
1

2
lm
t0
ln
_
1 +
2 tan t
1tan t
_
sent
=
1

2
lm
t0
ln
_
1 +
2 tan t
1 tan t
_1tan t
2 tan t

2 tan t
1tan t

1
sen t
O. Santamaria S.
Cap. 2: Lmite de funciones 89
Recurriendo a la proposici on 2.11 encontramos que
lm
x/4
ln(tan x)
sen x cos x
=
1

2
ln
_
lm
t0
_
1 +
2 tan t
1 tan t
_1tan t
2 tan t

2 tan t
1tan t

1
sen t
_
=
1

2
ln
_
e
lm
t0
2 tan t
sen t(1tan t)
_
=
1

2
ln
_
e
lm
t0
2
cos t(1tan t)
_
=
1

2
ln(e
2
) =
2

2
=

2.
17) lm
xa

2a
3
x x
4
a
3

a
2
x
a
4

ax
3
, donde a es un n umero real positivo.
Soluci on.
L = lm
xa
(

2a
3
x x
4
a
2
) (a
3

a
2
x a
2
)
a
4

ax
3
= lm
xa
(

2a
3
x x
4
a
2
) a(
3

a
2
x a)
a
4

ax
3
= lm
xa
_

2a
3
xx
4
2
(a
2
)
2

2a
3
xx
4
+a
2
_
a
_
3

a
2
x
3
a
3
3

a
2
x
2
+a
3

a
2
x+a
2
_
a
4

ax
3
4
a
3
+a
2
4

ax
3
+a
4

ax
3
2
+
4

ax
3
3
= lm
xa
_
2a
3
xx
4
a
4

2a
3
xx
4
+a
2
_
a
_
a
2
xa
3
3

a
2
x
2
+a
3

a
2
x+a
2
_
a
4
ax
3
a
3
+a
2
4

ax
3
+a
4

ax
3
2
+
4

ax
3
3
= lm
xa
_
(xa)(x
3
ax
2
a
2
x+a
3
)

2a
3
xx
4
+a
2
_
a
3
_
xa
3

a
2
x
2
+a
3

a
2
x+a
2
_
a(ax)(a
2
+ax+x
2
)
a
3
+a
2
4

ax
3
+a
4

ax
3
2
+
4

ax
3
3
= lm
xa
_
x
3
ax
2
a
2
x+a
3

2a
3
xx
4
+a
2
_
a
3
_
1
3

a
2
x
2
+a
3

a
2
x+a
2
_
a(a
2
+ax+x
2
)
a
3
+a
2
4

ax
3
+a
4

ax
3
2
+
4

ax
3
3
=
2a
3
2a
2
a
3
_
1
3a
2
_
a(3a
2
)
4a
3
=
a
a
3

3
4
=
4a
3
3
4
=
16a
9
.
18) lm
x0
xsen x
1 cos x
.
O. Santamaria S.
90 2.6. C alculo de lmites
Soluci on. Observando que sen x = sen (2(x/2)) = 2 sen(x/2) cos(x/2), se
tiene
L = lm
x0
xsen x
1 cos x
= lm
x0
x[2 sen(x/2) cos(x/2)]
2 sen
2
(x/2)
= lm
x0
x[cos(x/2)]
sen(x/2)
= lm
x0
cos(x/2)
(1/2)
_
sen(x/2)
x/2
_ =
1
(1/2) 1
= 2.
19) Asumiendo que existe lm
x2
f(x) y adem as lm
x2
f(x) 5
x 2
= 3, hallar lm
x2
f(x).
Soluci on. Observemos que
f(x) = 5 + (f(x) 5) = 5 + (x 2)
f(x) 5
x 2
,
entonces
lm
x2
f(x) = lm
x2
_
5 + (x 2)
f(x) 5
x 2
_
= 5 + lm
x2
(x 2) lm
x2
f(x) 5
x 2
= 5 + 0 3 = 5.
20) Calcule lm
x0
a
x
b
x
c
x
d
x
, donde a, b, c y d son n umeros reales positivos.
Soluci on. En primer lugar calcularemos lm
x0
a
x
1
x
. Este es un lmite impor-
tante que sera bueno que el estudiante aprenda, pues aparece en muchos ejem-
plos importantes.
Si t = a
x
1 entonces x =
1
ln a
ln(t + 1), luego
lm
x0
a
x
1
x
= lm
t0
t
ln(t+1)
lna
= ln a lm
t0
1
ln(1 + t)
1/t
= ln a
1
ln
_
lm
t0
(1 + t)
1/t
_ = ln a
1
ln e
= ln a.
Por tanto
lm
x0
a
x
1
x
= ln a.
Teniendo esto como informaci on, procedemos al c alculo del lmite solicitado.
lm
x0
a
x
b
x
c
x
d
x
= lm
x0
(a
x
1)(b
x
1)
x
(c
x
1)(d
x
1)
x
= lm
x0
a
x
1
x

b
x
1
x
c
x
1
x

d
x
1
x
=
ln a ln b
ln c ln d
.
O. Santamaria S.
Cap. 2: Lmite de funciones 91
Por tanto,
lm
x0
a
x
b
x
c
x
d
x
=
ln(a/b)
ln(c/d)
.
21) Si a
1
, a
2
, . . . , a
k
son n umeros reales positivos, calcule
lm
x0
_
a
x
1
+ a
x
2
+ + a
x
k
k
_
1/x
.
Soluci on.
L = lm
x0
_
a
x
1
+ a
x
2
+ + a
x
k
k
_
1/x
= lm
x0
_
1 +
(a
x
1
1) + (a
x
2
1) + + (a
x
k
1)
k
_
1/x
= lm
x0
_
_
_
_
_
1 +

n
i=1
(a
x
i
1)
k
_
k

k
i=1
(a
x
i
1)
_
_
_
_

k
i=1
(a
x
i
1)
k

1
x
= e
lm
x0

k
i=1
(a
x
i
1)
k

1
x
= e
lm
x0
k

i=1
(a
x
i
1)
x

1
k
= e
k

i=1
lm
x0
(a
x
i
1)
x

1
k
= e
1
k

k

i=1
ln a
i
= e
1
k
ln(a
1
a
2
. . . a
k
)
= e
ln(a
1
a
2
...a
k
)
1/k
=
k

a
1
a
2
. . . a
k
.
2.7. Asntotas
2.8. Ejercicios
1) Realize pruebas directas de las proposiciones 2.3 y 2.4 (es decir, sin usar suce-
siones).
2) Sea f : [0, 1] R denida por
f(x) =
_
x, si x es racional;
0, si x es irracional.
Muestre que lm
x0
f(x) = 0 y no existe lm
xa
f(x) cuando a ,= 0.
O. Santamaria S.
92 2.8. Ejercicios
3) Responda las siguientes preguntas justicando su respuesta.
a) Proporcione funciones f y g para las cuales no existan los lmites lm
xa
f(x)
y lm
xa
g(x) y sin embargo si existan lm
xa
(f + g)(x) y lm
xa
(f g)(x).
b) Si existen los lmites lm
xa
f(x) y lm
xa
(f + g)(x), existe lm
xa
g(x)?
c) Si existe el lmite lm
xa
f(x) y no existe lm
xa
g(x), puede existir
lm
xa
(f + g)(x)?
d) Si existen los lmites lm
xa
f(x) y lm
xa
(f g)(x), existe lm
xa
g(x)?
4) a) Demuestre que lm
xa
f(x) = lm
t0
f(t + a).
b) Demuestre que lm
xa
f(x) = lm
t0
f(t a).
c) Demuestre que lm
x0
f(x) = lm
x0
f(x
3
).
d) Proporcione un ejemplo en el que existe lm
x0
f(x
2
) pero no existe lm
x0
f(x).
5) Sea f una funci on para la cual existe lm
x0
f(x) ,= 0. Sabiendo que
lm
x0
_
f(x) +
1
[f(x)[
_
= 0,
calcule lm
x0
f(x). R. 1
6) Sea f : R R una funci on mon otona tal que lm
x0
f(2x)
f(x)
= 1. Muestre que para
cada n umero real c > 0 se tiene tambi en lm
x0
f(cx)
f(x)
= 1.
Sug: Observe que para cada c > 1 existe un n umero natural n tal que 2
n

c < 2
n+1
y cuando 0 < c < 1,
f(cx)
f(x)
=
1
f(
1
c
t)
f(t)
, con t = cx. Entonces use el
ejercicio 2.13, item (6), y la proposici on 2.8.
7) Asumiendo que existe lm
x2
f(x) y adem as lm
x2
f(x) 5
x 2
= a, donde a es un
n umero real, hallar lm
x2
f(x).
8) Calcule los siguientes lmites
a) lm
x0
a
x
1
x
R. ln a.
b) lm
x0
a
x
1
x
R. ln a.
c) lm
x0
a
x
1
x
R. ln a.
d) lm
x0
a
x
1
x
R. ln a.
e) lm
x0
a
x
1
x
R. ln a.
f) lm
x0
a
x
1
x
R. ln a.
O. Santamaria S.
Cap. 2: Lmite de funciones 93
9) Si a
1
, a
2
, . . . , a
k
son n umeros reales positivos , hallar
lm
x0
_
a
x+1
1
+ a
x+1
2
+ + a
x+1
k
a
1
+ a
2
+ . . . + a
k
_
1/x
.
Sug. Use el mismo procedimiento del ejemplo 2.24, item (21).
10) Sea f la funci on denida por f(x) = lm
n
1
1 + n
2
x
. Muestre que f(0) = 1 y
f(x) = 0 si x ,= 0.
O. Santamaria S.