Cap.

1 Lmites de Funciones

Moiss Villena Muoz

1
1.1
1.2
1.3
1.4
1.5
1.6
1.7

LMITE EN UN PUNTO
LMITES LATERALES
TEOREMAS SOBRE LMITES
CLCULO DE LMITES
LMITES AL INFINITO
LMITES INFINITOS
OTROS LMITES

OBJETIVOS:

Definir Lmites.
Realizar demostraciones formales de lmites.
Describir grficamente los lmites.
Calcular lmites.

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

1.1 LMITE EN UN PUNTO

El Clculo, bsicamente est fundamentado en los lmites, por tanto este
tema es trascendental para nuestro estudio. De hecho, veremos ms adelante
que los dos conceptos principales del Calculo, la Derivada y la Integral
Definida, estn basados en lmites.
Por ahora nos dedicaremos al estudio de los lmites. Conceptualizar lmites
determinando el comportamiento de una funcin e interpretarlo en su grfica,
ayudar bastante en el inicio de nuestro estudio.

1.1.1 DEFINICIN INTUITIVA

Ciertas funciones de variable real presentan un comportamiento un tanto
singular en la cercana de un punto, precisar sus caractersticas es nuestra
intencin y el estudio de los lmites va a permitir esto.
Empecemos analizando ejemplos sencillos; en los que podamos por simple
inspeccin concluir y tener una idea del concepto de lmite.
Ejemplo 1
Veamos como se comporta la funcin
la cercana de x = 2 .

f con regla de correspondencia f ( x) = 2 x + 1 en

Evaluando la funcin para algunos valores de x , prximos (acercndose) a 2 :

y = 2x + 1

1.90
1.95
1.99
"
2.01

4.80
4.90
4.98
"
5.02

2.05
2.10

5.10
5.20

En la tabla de valores se han ubicado unas flechas para dar a entender que tomamos a la x
aproximndose a 2 en ambas direcciones y se observa que los valores de y se van acercando a 5.
Aunque son slo seis valores, por ahora sin ponernos exigentes vamos a concluir diciendo que la funcin
se aproxima a 5 cada vez que su variable independiente x se aproxima a 2. Este comportamiento lo
escribiremos de la siguiente forma:
lm (2 x + 1) = 5

x2

Lo anterior se puede ilustrar desde la grfica, observe la figura 1.1:

Fig. 1.1

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 2
Ahora veamos el comportamiento de esta otra funcin f con regla de correspondencia
f ( x) =

x 2 + 5x 6
, en la cercana de x = 1 .
x 1

Evaluando la funcin para ciertos valores de x , cada vez ms prximos a 1, tenemos:

x
0.90
0.95
0.99
"
1.01
1.05
1.10

y=

x2 + 5x 6
x 1
6.90
6.95
6.99
"
7.01
7.05
7.10

Parece ser que esta funcin se aproxima a tomar el valor de 7 cada vez que la variable independiente x
x 2 + 5x 6
=7.
x 1
x 1

se aproxima a tomar el valor de 1, es decir lm

Note que no es necesario que la funcin est definida en el punto de aproximacin.

Por

otro

lado,

la

regla

de

correspondencia

f ( x) =

x 2 + 5x 6
x 1

es

equivalente

f ( x) = x + 6 ; x 1 (POR QU?).
Este comportamiento se lo puede visualizar desde su grfica, observe la figura 1.2:

Fig. 1.2

De lo expuesto en los dos ejemplos anteriores, sin ser tan riguroso todava,
podemos emitir la siguiente definicin:

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Una funcin f tiene lmite L en un punto

x0 , si f se aproxima a tomar el valor L
cada vez que su variable independiente x
se aproxima a tomar el valor x0 . Lo que
se denota como:

lm f ( x) = L

x x0

Para los dos ejemplos anteriores el comportamiento de las funciones se

puede determinar analizando sus grficas; pero esto podra ser no tan sencillo;
es ms, suponga que se necesite bosquejar la grfica teniendo caractersticas
de su comportamiento. De ah la necesidad del estudio de lmite de funciones.

1.1.2 DEFINICIN FORMAL

Suponga que se plantea el problema de demostrar que lm 2 x + 1 = 5 o que
x 2

x + 5x 6
= 7.
x 1
2

lm
x 1

Para

esto,

debemos

garantizar

formalmente

el

acercamiento que tiene la funcin a su correspondiente valor cada vez que su

variable independiente se aproxime al valor especificado. Ya la tabla de valores
no nos sirve, el hecho que se cumpla para algunos valores no indica que se
cumpla para todos los valores prximos al punto. La demostracin consistir
en escribir matemticamente, lenguaje formal, la metodologa del proceso, lo
cual nos lleva a la necesidad de tener una definicin formal de lmite y no slo
para estos dos ejemplos, sino para cualquier funcin.
Antes, de llegar a la definicin requerida, precisemos lo siguiente:
PRIMERO, para un lenguaje formal, decir que x toma valores prximos a un
punto x0 (que x est en torno a x0 ), bastar con considerarla perteneciente a
un intervalo o vecindad, centrado en
cual denotaremos con la letra griega

x0 ,

de semiamplitud muy pequea, la

(delta). Es decir:

x0 < x < x 0 +
Transformando la expresin anterior tenemos:
x0 <

x < x0 +

x0 x0 < x x0 < x0 + x0
< x x0 <
x x0 <

Restando " x0 "

Empleando la definicin
de valor absoluto

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Y, para que

no sea

x0 , bastar con proponer que 0 < x x0 <

POR

QU?.

SEGUNDO, para decir que f est prxima a L (en torno a L ), podemos

expresar que pertenece a un intervalo o vecindad, centrado en L de
semiamplitud muy pequea, la cual denotaremos con la letra griega
(psilon). Es decir:

L < f ( x) < L +
Transformando la expresin anterior tenemos:
L < f ( x) < L +
< f ( x ) L < +

Restando " L "

f ( x) L <

Aplicando la definicin de valor absoluto

Con todo lo anterior, definimos formalmente lmite de una funcin en un

punto, de la siguiente manera:

Sea f una funcin de variable real y sean y

cantidades positivas muy pequeas.
Suponga que f se aproxima a L cuando x se
aproxima a x0 , denotado por lm f ( x) = L ,
x x0

significa que para toda proximidad que se

desee estar con f en torno a L , deber
poderse definir un intervalo en torno a x0 en el
cual tomar x , sin que necesariamente x = x0 , que
nos garantice el acercamiento.
Es decir:

( lm f ( x) = L ) > 0, > 0 tal que 0 < x x

x x0

< f ( x) L <

La definicin indica que para asegurar que una funcin tiene lmite
deberamos establecer una relacin entre y .
Una manera de interpretar grficamente lo mencionado es:

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Fig. 1.3

Con esta definicin, ya podemos realizar demostraciones formales.

Ejemplo 1
Demostrar formalmente que lm (2 x + 1) = 5 .
x 2

SOLUCIN:
Cuando hicimos la tabla de valores, slo para seis valores percibimos que el lmite de esta funcin era 5, se
trata ahora de demostrarlo. Debemos garantizar que cuando reemplacemos la x por cualquier nmero
cercano a 2 el valor de y correspondiente es un nmero cercano a 5, y mientras la x est ms cerca de 2
la y estar ms cerca de 5; esto quiere decir que la diferencia entre los valores que resultan en

2 x + 1 con 5 debern ser cantidades muy pequeas, menores que cualquiera tolerancia que nos
fijemos.
Es decir, que debemos poder estar tan cerca de 5 con y = 2 x + 1 , tanto como nos propusiramos estar
(para todo ). Si esto es posible deber poderse definir el correspondiente intervalo (existe ) en el cual
tomar x que garantice aquello, es decir:

> 0, > 0 tal que 0 < x 2 <

(2 x + 1) 5 <

En la implicacin, vamos a transformar el antecedente hasta llevarlo a la forma del consecuente.

Observe el consecuente, su forma algebraica nos guiar en el procedimiento a seguir:

(0 <

x2 <

) 0 < 2 x 2 < 2
0 < 2 x 2 < 2
0 < 2 ( x 2 ) < 2
0 < 2 x 4 < 2
0 < 2 x 4 + 5 5 < 2
0 < ( 2 x + 1) 5 < 2

Ahora, podemos decidir que =

Multiplicamos por 2 (porque en el

consecuente aparece 2x )
Propiedades del valor absoluto
Sumamos y restamos 5 (debido a que
aparece -5 en el consecuente)
Agrupamos

; es decir, que si tomamos 2 2 < x < 2 + 2 nos permite asegurar

lo propuesto.
Suponga que = 0.1 ; es decir, si quisiramos que y = 2 x + 1 est a menos de 0.1 de 5, ser posible si
0.1
tomamos a la que x , en torno a 2 a una distancia no mayor de =
= 0.05 . Es decir para que f
2
est entre 4.9 y 5.1 bastar con tomar a la x un nmero entre 1.95 y 2.05.

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

No olvide que proponer una relacin entre y , garantiza que f estar tan cerca de L , como se
0.01
= 0.005
quiera estar. Veamos, ms cerca = 0.01 , bastar con tomar a la x a no menos de =
2
de 2. Es decir que si tomamos 1.995 < x < 2.005 garantiza que 4.99 < f ( x) < 5.01 .

Ejemplo 2
Demostrar formalmente que lm
x 1

x2 + 5x 6
=7.
x 1

SOLUCIN:
Debemos asegurar que y =

x2 + 5x 6
se aproxima a tomar el valor de 7 cada vez que la x est
x 1

x2 + 5x 6
, tanto como nos
x 1
propusiramos estar (para todo ). Si esto es posible deber poderse definir el correspondiente intervalo
(existe ) en el cual tomar x que garantice aquello, es decir:

prxima de 1. Es decir, que debemos poder estar tan cerca de 7 con y =

> 0, > 0 tal que 0 < x 1 <

Ahora transformamos el antecedente:

(0 <

x 1 < ) 0 < x 1+ 7 7 <

0 < ( x + 6) 7 <

( x + 6 )( x 1) 7
x 1

x 2 + 5x 6
7 <
x 1

Sumamos y restamos 7 (debido a que

aparece -7 en el consecuente)
Agrupamos ( x + 6 ) y la

<

x2 + 5x 6

7 <
x 1

dividimos y multiplicamos por ( x 1)

(debido a que el primer trmino del consecuente
aparece dividido por ( x 1) )

Con = , nos permite asegurar lo propuesto; es decir, tomando 1 < x < 1 + .

Ejemplo 3
Demostrar formalmente que lm x 2 = 4 .
x2

SOLUCION:
Debemos garantizar que > 0, > 0 tal que
Entonces:

(0 <

x2 <)0< x2 x+2 < x+2

0 < ( x 2 )( x + 2 ) < x + 2
0 < x2 4 < x + 2

Tomamos =

x+2

0< x2 <

x2 4 <

Multiplicamos por x + 2 (debido a que

el consecuente tiene una diferencia de
cuadrados perfectos)
Aplicamos la propiedad del producto
del valor absoluto

. Pero ahora existe un inconveniente, la relacin es funcin de x . Como nuestra

intencin es establecer una relacin entre y , esto lo solucionamos acotando a x . Nos proponemos
tener un no mayor a 1, entonces la x estara a una distancia no mayor de 1, en torno a 2, (1 x 3) ,
que si tuviramos que escoger un valor para x , el idneo sera 3 para que sea lo ms pequeo

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

posible. Por tanto, =

3+ 2

; es decir, tomar 2

< x<2+

asegura lo que se quiere

demostrar, siempre y cuando escojamos un tal que 1 , es decir = min 1 , (el menor entre
5
1y

).

Ejemplo 4
Demostrar formalmente que lm x 2 = 9 .
x 3

SOLUCION:
Debemos garantizar que > 0, > 0 tal que

0< x+3 <

x2 9 <

Por lo tanto:

(0 <

Multiplicamos por x 3 (debido a que el consecuente

x+3 <) 0< x+3 x3 < x3

tiene una diferencia de cuadrados perfectos)

0 < ( x + 3)( x 3) < x 3

Aplicamos la propiedad del producto

del valor absoluto

0 < x2 9 < x 3
Tomamos =

x3

. Ahora acotamos a x . Si nos proponemos un 1 , entonces 4 x 2 ,

ahora el valor idneo sera 4 para que sea lo ms pequeo posible.

Por tanto, =

4 3

; es decir, tomar 3

< x < 3 +

asegura lo que se quiere demostrar,

siempre y cuando escojamos un tal que 1 , es decir = min 1 , .
7

Ejemplo 5
Demostrar formalmente que lm x = 2 .
x 4

SOLUCION:
Debemos garantizar que > 0, > 0 tal que

0< x4 <

x 2 <

entonces:

(0 <

x4 <) 0<
0<
0<

x 2
x 2

)(

x 2 <

Factorizamos x 4 para
diferencia de cuadrados

x +2 <
x +2 <

Aplicamos la propiedad del producto

del valor absoluto

Despejamos

x+2

Tomamos = x + 2 . Igual a los casos anteriores, consideramos 1 ; es decir debemos tomar a

x a una distancia no mayor de 1 entorno a 4, entonces 3 x 5 , y elegimos a 3. Por qu?.

Por lo tanto, = 3 + 2 ; es decir, si tomamos 4 3 + 2 < x < 4 + 3 + 2 aseguramos lo

que se quiere demostrar, siempre y cuando escojamos un tal que 1 , es decir

{ (

= min 1 ,

3+2

)}

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 6
Demostrar formalmente que lm 3 x = 3 .
x 27

SOLUCION:
Debemos garantizar que > 0, > 0 tal que

0 < x 27 <

x 3 <

Entonces:

(0 <

)0< (

x 27 <

0<

0<

((

Por lo tanto, =

) ( x)

x 3 27

) ( x)

x 3

x 3 <

+ 3 x 3 27 +

Factorizamos ( x 27 )

2
27 <

para diferencia de cubos

+ 3 x + 9 <

Propiedad del valor absoluto

( x)
3

Despejamos

+ 3 3 x + 9

+ 3 3 x + 9 . Ahora bien, si tomamos a x a una distancia no mayor de 1,

( 1) , entorno a 27, entonces 26 x 28 , un valor idneo sera 26.

Tomamos =

27

26

26

+ 3 3 26 + 9 ; es decir, si tomamos

+ 3 3 26 + 9 < x < 27 +

26

+ 3 3 26 + 9 aseguramos lo propuesto

siempre y cuando escojamos un tal que 1 , es decir = min 1 ,

26

+ 3 3 26 + 9

Ejemplo 7
Demostrar formalmente que lm x 1 = 1 .
x 1
x 1

SOLUCION:
Debemos garantizar que > 0, > 0 tal que

0 < x 1 <

x 1 1
<
x 1 2

La expresin algebraica del consecuente tiene una apariencia un tanto compleja, por tanto en este caso es
mejor empezar analizando el consecuente, para tener referencia de los pasos a seguir para luego
transformar el antecedente.

x 1 1
<
x 1 2

x 1

x +1

2
2

x 1

)(
)

x +1

x +1

1
<
2

Factorizamos el denominador
( x 1) para diferencia de cuadrados

1
<
2

Simplificamos

) <

Restamos

x +1

2 x 1
2

x +1

<

x 1

Propiedad distributiva

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

1 x

<

( x + 1)
(1 x )(1 + x ) <
2 ( x + 1)(1 + x )

Resolvemos la resta del 2 con el 1

1 x

x +1

<

1 x
2

x +1

Multiplicamos y dividimos por 1 + x

Producto notable

Aplicamos la propiedad del cociente

del valor absoluto

<

1 x < 2

2
x +1

Despejamos

Ahora para transformar el antecedente, se sigue una secuencia como la anterior pero desde el final:

(0 <

x 1 < ) 0 < 1 x <

Propiedad del valor absoluto

)(

0 < 1 x 1+ x <

0 < 1 x <

0<

0<

0<

0<

0<

0<

1 x

2 1+ x

2 1+ x
2

2 1+ x

)<

Transformamos el 1 en (2 1)

2 1+ x

1
<
2 2 1+ x

x 1

(1 + x )( x 1)
( x 1) 1 <
0<
x 1

Agrupamos

Dividimos todos los trminos

entre 2 (1 + x )

( x + 1) <
x ) 2 (1 + x ) 2 (1 + x )

1+ x

0<

<

2 1+ x

x +1

2 1+

2 1+ x 1+ x

<

2 1+ x

<

2 x 1

Despejamos

1+ x

1 x
2 1+ x

Factorizamos para diferencia de

cuadrados

2 1+ x

Simplificamos

1
<
2 2 1+ x

Separamos en dos trminos

2

Multiplicamos por la
conjugada el primer trmino

2
Tomamos = 2 1 + x . Ahora bien, si tomamos a x a una distancia no mayor de 1, entorno a 1,

2
entonces 0 x 2 , un valor idneo sera 0. Reemplazando tenemos = 2 1 + 0 = ( 2 )

10

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Por lo tanto,

= 2

1 2 < x < 1 + 2

; es decir, si tomamos

aseguramos lo propuesto, siempre y cuando

escojamos un tal que < 1 , es decir = min {1 , 2 }

Ejemplo 8
Demostrar formalmente que lm x 4 = 4 .
x 4
x 2

SOLUCION:
Debemos garantizar que > 0, > 0 tal que 0 < x 4 <

x4
4 <
x 2

Igual que en el ejemplo anterior primero vamos a analizar el consecuente:

x4
4 <
x 2
x 2

)(

x +2

x 2

Factorizamos el numerador ( x 4 )

) 4 <

para diferencia de cuadrados

Simplificamos

x +2 4 <
x 2 <

(
(

x 2

)(

x +2
x4

x +2

) <

x4 <

Multiplicamos y dividimos por

x +2

Realizamos el Producto Notable

<

<

x +2

x 2

Restamos

x +2

x4

Aplicamos la propiedad del cociente del

valor absoluto

x +2

Despejamos

Ahora para transformar el antecedente, se sigue una secuencia como la anterior pero desde el final:

(0 <

x4 <) 0<

0<

x4
<
x +2
x 2

)(

x+2

x +2

x 2 <

0<

x 2+44 <

0<

0<

x +2 4 <

x +2

)(

x 2

x 2

x4
x 2

x+2

4 <

cuadrados

x+2

Agrupamos

x +2

x +2

x +2

Sumamos y restamos 4

x +2

)4 <

Factorizamos ( x 4 ) para diferencia de

Simplificamos

x +2

)<

0<

0<

Dividimos todos los trminos entre

x +2

x +2

Multiplicamos y dividimos

x 2

Realizamos el Producto Notable

11

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Tomamos =

x + 2 . Ahora bien, si tomamos a x a una distancia no mayor de 1, entorno a 4,

entonces 3 < x < 5 , un valor idneo sera 3.

Por lo tanto, =

3 + 2 ; es decir, si tomamos 4

3 +2 < x < 4+

3+2

aseguramos lo que se quiere demostrar, siempre y cuando escojamos un tal que < 1 , es decir

{ (

= min 1,

3+2

)}

Ejemplo 9
Demostrar formalmente que lm
x 2

1 1
= .
x 2

SOLUCION:
Debemos garantizar que > 0, > 0 tal que

0< x2 <

1 1
<
x 2

Analicemos el consecuente:

2 x
x2
1 1
2 x
=
=
=
2x
2x
2x
x 2
Ahora trabajando con el antecedente:

(0 <

x2 <)0<

x2

2x

<

Dividimos para 2 x

2x

Tomamos = 2x . Considerando 1 ; tenemos 1 x 3 , elegimos a 1.

Por lo tanto, = 2 ; es decir, si tomamos 2 2 < x < 2 + 2 aseguramos lo que se quiere
demostrar, siempre y cuando escojamos un tal que 1 , es decir = min {1 , 2 }

Veamos ahora como proceder si en el ejemplo anterior tenemos a x cerca

de 0 .
Ejemplo 10
Demostrar formalmente que lm
x 1

1
=1.
x

SOLUCION:
Debemos garantizar que > 0, > 0 tal que

0 < x 1 <

Analicemos el consecuente:
x 1
1
1 x 1 x
1 =
=
=
x
x
x
x

Ahora trabajando con el antecedente:

(0 <

12

x 1 < ) 0 <

x 1
x

<

Dividimos para x

1
1 <
x

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Tomamos =

( x ) . Aqu si tomamos

ser 0; elijamos mejor

Por lo tanto, =

1 tenemos problemas porque 0 x 2 y x no puede

1
1
3
1
(puede ser otro valor), ahora x y elegimos
2
2
2
2

; es decir, si tomamos 1

siempre y cuando escojamos un tal que

< x < 1+

aseguramos lo que se quiere demostrar,

1
1
, es decir = min ,
2
2 2

Podra no ser tan sencillo encontrar un en funcin de , eso no significa

que el lmite no existe, todo depende de la regla de correspondencia de la
funcin.

Ejercicios Propuestos 1.1

1.

Demostrar formalmente utilizando la definicin de lmite:

a)
b)

x2 9
=6
x 3 x 3
lm ( 2 x 5 ) = 1

e)

lm

f)

d)

2.

lm

x 6

lm

x 1

x + 5x 6
= 7
x+6
2 x 3 + 3x 2 2 x 3
x2 1

=5

x 1
x 1

=2

g)

lm 3 x = 2

h)

lm 3 x = 3 a

x 8

x a

Determine un nmero para el valor de dado, tal que se establezca el lmite de la funcin:
a)

9x2 1
= 2 , = 0.01
1
x 3x 1

c)

lm
3

b)

3.

lm
x 1

x2

c)

lm 2 x = 2

x2

lm
xa

x4 a4
= 2a 2
x2 a2

lm
x 0

x
x +1 1

= 2, = 0.08

, = 108

Sea f : + tal que f ( x ) =

x encuentre un valor de para que 2.99 < f ( x) < 3.01

siempre que 0 < x 9 <

4.

Sea f ( x) = 3 x . Establezca un intervalo en el cual tomar " x " para que f (x) est a menos de 0.1
de 1

13

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

1.1.3 TEOREMA DE UNICIDAD DE LMITE.

Sea f una funcin de una variable real.

Si f tiene lmite en x = x0 , entonces este
es nico. Es decir, si lm
f ( x) = L y
x x
0

lm
f ( x) = M entonces L = M .
x x
0

Demostracin:
Por CONTRADICCIN. Supongamos que efectivamente f tiene dos lmites L y M , entonces tenemos dos
hiptesis:
H1 : lm f ( x) = L 1 > 0, 1 > 0 tal que 0 < x x 0 < 1 f ( x) L < 1
x x0

H 2 : lm f ( x) = M 2 > 0, 2 > 0 tal que 0 < x x 0 < 2 f ( x) M < 2

x x0

Como se dice para todo 1 y para todo 2 entonces supongamos que 1 = 2 = .

Tomemos = min{1, 2 } para estar con x , en la vecindad de

x0 .

f ( x) L <
f ( x) M <

Simultneamente tenemos: > 0, > 0 talque 0 < x x0 <

lo cual quiere decir tambin que:

> 0, > 0 talque 0 < x x0 < f ( x) L + f ( x) M < 2
 

M f ( x)

Por la desigualdad triangular a + b a + b , tenemos:

f ( x) L + M f ( x ) f ( x) L + M f ( x)

 

entonces como M L f ( x) L + M f ( x) < 2 podemos decir que M L < 2

Ahora bien, suponiendo que

M L <2

1
M L
2

se produce una contradiccin porque tendramos

(12 M L ) lo cual no es verdad. Por lo tanto, se concluye que L = M .

Ejemplo (una funcin que no tiene lmite en un punto)

Sea f ( x)

= sen( 1x )

Analicemos su comportamiento en la vecindad de 0

x

2
3

1
0
1

2
3
1

14

y = sen

(1x )

L.Q.Q.D

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Se observa que la funcin en la vecindad de 0 tiene un comportamiento un tanto singular, sus valores
son alternantes. Por tanto, se concluye que esta funcin no tiene lmite en cero.
Veamos su grfica.

Fig. 1.4
1
y = sen
x

1.2 LMITES LATERALES

Existen funciones que por la derecha de un punto tienen un comportamiento
y por la izquierda del punto tienen otro comportamiento. Esto ocurre
frecuentemente en funciones que tienen regla de correspondencia definida en
intervalos y que su grfica presenta un salto en un punto. Para expresar
formalmente este comportamiento se hace necesario definir lmites en un punto
por una sola direccin.

1.2.1 LMITE POR DERECHA

Cuando x se aproxima a tomar el valor de x0 ,

pero slo por su derecha (x 0 < x < x 0 + ) , f se
aproxima a tomar el valor de L1 ; significa que f
puede estar tan cerca de L1 , tanto como se
pretenda ( ), para lo cual deber existir el
correspondiente , que indica el intervalo en el
cual tomar x que nos garantice aquello. Es decir:
lm f ( x) = L > 0, tal que 0 < x x < f ( x) L <
x x +
1
0
1
0

15

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 1
Una funcin creciente en (x 0 , )

Fig. 1.5

Ejemplo 2
Una funcin decreciente en (x 0 , )

1.2.2 LMITE POR IZQUIERDA.

Cuando x se aproxima a tomar el valor de

x0 ,
pero slo por su izquierda

( x0 < x < x0 ) ,

f se aproxima a tomar el

valor de L2 ; significa que f puede estar

tan cerca de L2 , tanto como se pretenda
( ), para lo cual deber existir el
correspondiente , que indica el intervalo

16

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

en el cual tomar x que nos garantice

aquello. Es decir:

f ( x) = L2 > 0, tal que 0 < x0 x < f ( x) L2 <

xlm
x0

Ejemplo 1
Una funcin decreciente en (, x 0 )

Fig. 1.6

Ejemplo 2
Una funcin creciente en (, x 0 )

Fig. 1.7

Note que lo que se ha hecho es no otra cosa que separar la definicin de

lmite en un punto que fue dada al comienzo.
De las definiciones anteriores y por el Teorema de Unicidad de Lmite surge
el siguiente teorema.

17

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

1.2.3 TEOREMA DE EXISTENCIA DE LMITE

Si f

es una funcin con lmite en x0

entonces se cumple que tanto por

izquierda como por derecha f tiende a
tomar el mismo valor. Es decir:

(lm f ( x) = L) lm f ( x) = L lm f ( x) = L
x x0 +

x x0

x x0

Si se da que lm+ f ( x ) lm f ( x ) , se dice que lm f ( x) no existe.

x x0

x x0

x x0

Ejemplo 1
Sea f ( x) =

x2
x2

. Hallar lm f ( x) :
x 2

SOLUCIN:
Expresando la regla de correspondencia sin valor absoluto, resulta:

x2
; x>2
x 2
1
=
f ( x) =
=
x 2 (x 2)
1
; x<2
x 2
x2

; x>2
; x<2

Esto quiere decir que su grfica es:

Fig. 1.8

De la grfica observamos que

lm f ( x) = 1 y

x2+

lm f ( x ) = 1 ; entonces se concluye que

x2

lm f ( x) no existe .

x2

Ejemplo 2
2 x , x > 3

Demostrar formalmente que lm f (x ) = 6 si f (x ) = 4 , x = 3

x3

SOLUCIN:

18

3 x 3 , x < 3

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Note que la funcin tiene regla de correspondencia con una definicin a la derecha de 3 y otra diferente a la
izquierda de 3, entonces es necesario demostrar que lm f (x ) = 6 y que lm f (x ) = 6 .
x 3 +

PRIMERO, lm+ 2 x = 6 > 0, > 0 tal que

x 3

x 3

0 < x 3 < 2x 6 <

Ahora trabajando el antecedente:

( 0 < x 3 < ) 0 < 2 ( x 3 ) < 2

0 < 2 x 6 < 2

Si =

; es decir, tomando 3 < x < 3 +

garantizamos la afirmacin que lm 2 x = 6 .

x 3 +

SEGUNDO,

( lm (3x 3) = 6) > 0, > 0 tal que

0 < 3 x < ( 3 x 3) 6 <

x 3

Ahora trabajando el antecedente:

( 0 < 3 x < ) 0 < 3 ( 3 x ) < 3

0 < 9 3 x < 3
0 < 6 + 3 3 x < 3
0 < ( 3 x 3) + 6 < 3
0 < ( 3 x 3) 6 < 3

Si =

; es decir, tomando

< x < 3 garantizamos que lm ( 3x 3) = 6 .

x 3

Ejemplo 3
x 1 , x 2
x + 1 , x < 2

Demostrar formalmente que lm f (x ) no existe, si f (x ) =

x2

SOLUCIN:
La funcin tiene regla de correspondencia con una definicin a la derecha de 2 y otra diferente a la
izquierda de 2, entonces es necesario demostrar que ambas definiciones convergen a distintos valores, es
decir: lm f (x ) lm f (x ) .
x 2+

x2

Note que, lm+ ( x 1) = 1 y que lm ( x + 1) = 3

x2

x2

PRIMERO,

( lm ( x 1) = 1) > 0, > 0 tal que

x 2+

0 < x 2 < ( x 1) 1 <

Ahora trabajando el antecedente:

(0 < x 2 < ) 0 < x 11 <

0 < ( x 1) 1 <
Si = ; es decir, tomando 2 < x < 2 + garantizamos que lm+ ( x 1) = 1 .
x2

SEGUNDO,

( lm ( x + 1) = 3) > 0, > 0 tal que

x 2

0 < 2 x < ( x + 1) 3 <

Ahora trabajando el antecedente:

19

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

(0 < 2 x < ) 0 < 3 1 x <

0 < 3 (1 + x ) <
0 < ( x + 1) 3 <
Si = ; es decir, tomando 2 < x < 2 garantizamos que lm ( x + 1) = 3 .
x2

Por lo tanto, al demostrar que f converge a distintos valores en la vecindad de 2 , estamos demostrando
que lm f (x ) no existe
x2

Ejemplo 4
Demostrar formalmente que lm+ ( 2 x a x b) = 2
x2

SOLUCIN:

( lm ( 2x a xb) = 2) > 0, > 0 tal que

x 2+

0 < x 2 < ( 2 x a x b) 2 <

No olvide que a la derecha de 2 el entero mayor de x es igual a 2, es decir a x b = 2 .

Trabajando el antecedente:

( 0 < x 2 < ) 0 < 2 x 4 < 2

0 < 2 x 4 + 2 2 < 2
0 < 2 x 2 2 < 2

0 < ( 2 x a x b) 2 < 2
Si =

; es decir, tomando 2 < x < 2 +

garantizamos que lm+ 2 x a x b = 2 .

x2

Ejercicios Propuestos 1.2

1.

Demostrar formalmente utilizando la definicin de lmites laterales:

a.
b.
c.
d.
e.

2 x 7 , x 2
lm f (x ) = 3 ; si f (x ) =
5 4 x , x < 2

x2

2 x 1 , x 2
lm f (x ) = 3 ; si f (x ) =
x 2
x + 1 , x < 2

lm ( 2 x a x b) = 3

x 2

lm ( 3 x a x b) = 6

x 3+

3x 1 , x 1
x + 2 , x < 1

2.

Demostrar formalmente que lm f (x ) no existe, si f (x ) =

3.

Trace la grfica y determine, por inspeccin, el lmite indicado si existe, si no existe justifique.

x 1

a.

20

lm x = 0

x 0

f ( x ) = 1
3

,x <1
,x =1
,x >1

; lm f (x )
x 1

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

f ( x) =

c.

2 x 7 , x 2
f (x ) =
5 4 x , x < 2

lm f ( x )

x 2

lm f ( x )
x2

; lm f (x )
x2

; lm f (x ) ,
x0

lm f ( x )

x 0+

x + a xb
, x 1

f ( x ) = Sgn ( x 3) , 1 < x 4

,x > 4
( x )

e.

lm f ( x )

x 1

, lm f ( x )
x

5
2

Bosqueje la grfica de una funcin que cumpla las condiciones siguientes:

Dom f = R

5.

x+2

f ( x ) = x a xb

d.

4.

x+2

b.

f es decreciente en (,3) (0,2 )

f es creciente en (3,0 ) (2,+ )

[
]
> 0 > 0, x[0 < x + 3 < f ( x) < ]
> 0 > 0, x[0 < x 2 < f ( x) + 1 < ]
> 0 > 0, x 0 < 3 x < f ( x ) 2 <

f (3) = f (2) = 0 y f (0) = 5

Bosqueje el grfico de una funcin que cumpla las condiciones siguientes:

Dom f = R

f es creciente en ( ,0 ) ( 0,3)
f decreciente en (3, )

[
]
> 0 > 0, x[0 < x < f ( x) < ]
> 0 > 0, x[0 < x 3 < f ( x) 5 < ]
> 0 > 0, x 0 < x < f ( x) 3 <

f (3) = f (3) = f (6) = 0 y f (0) = 2

1.3 TEOREMAS SOBRE LMITES

1.3.1 TEOREMA PRINCIPAL SOBRE LMITE

Sean f y

g funciones con lmite en x0 ;

es decir, suponga que

lm f ( x) = L

x x0

lm g ( x) = M . Entonces:

x x0

1. lm k = k , k R
x x0

2. lm x = x0
x x0

21

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

3. lm kf ( x) = k lm f ( x) = kL , k R
x x0

x x0

4. lm [ f ( x) + g ( x)] = lm f ( x) + lm g ( x) = L + M
x x0

x x0

x x0

5. lm [ f ( x) g ( x)] = lm f ( x) lm g ( x) = L M
x x0

x x0

x x0

6. lm [ f ( x) g ( x)] = lm f ( x) lm g ( x) = LM
x x
x x
x x
0

lm f ( x)

f ( x)

x x
=
=
7. lm

x x
g ( x) lm g ( x) M
0

;siempre que lm g ( x) 0
x x0

x x0

8. lm [ f ( x)] = lm f ( x) = Ln ,
x x0
x x0

n N

9. lm n f ( x) = n lm f ( x) = n L
x x0

x x0

siempre que

lm f ( x) 0 cuando n es par.

x x0

Demostraciones
1.

( lm k = k ) > 0, > 0 / 0 < x x

< k k <

x x0

El consecuente de la implicacin es verdadero porque 0 < . Por tanto, la proposicin es siempre

verdadera.

2.

( lm x = x ) > 0, > 0 / 0 < x x

0

x x0

< x x0 <

Si = la proposicin es verdadera siempre.

3.

( lm kf ( x) = kL ) > 0, > 0 / 0 < x x

x x0

Observe

el

consecuente,

la

expresin

< kf ( x) kL <
kf ( x) kL <

es

equivalente

k ( f ( x) L ) < .
Por hiptesis, en la cercana de x 0 , f se aproxima a L , por tanto kf se aproximar a kL .

4. Debemos demostrar que si

lm f ( x) = L
lm g ( x) = M entonces
x x0

Asegurar que

x x0

lm [ f ( x) + g ( x)] = L + M

x x0

lm f ( x) = L significa que:

x x0

1 > 0, 1 > 0 tal que 0 < x x 0 < 1 f ( x) L < 1

Y asegurar que

lm g ( x) = M significa que:

x x0

2 > 0, 2 > 0 tal que 0 < x x 0 < 2 g ( x) M < 2

Lo cual quiere decir si tomamos 1 = 2 =

22

y = min{1, 2 } tenemos:

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

f ( x) L < 2
> 0, > 0 / 0 < x x 0 <
g ( x) M <

2
Sumando trmino a trmino la desigualdad resulta: f ( x) L + g ( x) M <

( f ( x) L ) + (g ( x) M )

Y por la desigualdad triangular

+
2 2

f ( x) L + g ( x) M

( f ( x ) + g ( x ) ) (L + M ) <

Por lo tanto

Finalmente, se observar que:

> 0, > 0 / 0 < x x 0 < ( f ( x) + g ( x) ) (L + M ) <

lo que nos asegura que

lm [ f ( x ) + g ( x)] = L + M

x x0

El resto de las demostraciones se deja como ejercicio para el lector.

Observe que el recproco del teorema anterior es falso.

Ejemplo
1 ; x > 0
Suponga que se tiene f ( x ) =
0 ; x 0

0 ; x 0
g ( x) =
1 ; x < 0

1 ; x 0
entonces ( f + g )( x) =
0 ; x = 0
Observe que: lm f ( x ) no existe y que lm g ( x ) tampoco existe, sin embargo lm ( f + g ) ( x ) = 1
x 0

x 0

(existe). Es decir, Si

(f

asegurar que

tambin tienen lmite en ese punto

+ g)

x0

es una funcin con lmite en un punto, entonces no podemos

El teorema principal de lmite permite establecer lmites de ciertas funciones.

Ejemplo

Calcular lim x 2 + 3 x 2
x2

SOLUCIN:
Aplicando el teorema principal de lmites, tenemos:

lim x 2 + 3 x 2 = lim x 2 + lim 3 x lim 2 (inciso 4 y 5)

x2

x 2

x 2

x2

= lim x + 3 lim x 2 (inciso 8, 3 y 1)

x2
x2
= 2 2 + 3( 2) 2
=8

23

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Lo ltimo del ejemplo anterior permite concluir que con una sustitucin basta.

1.3.2 TEOREMA DE SUSTITUCIN

Sea f una funcin polinomial o una

funcin racional, entonces lm f ( x) = f ( x0 )
x x0

siempre que f ( x0 ) est definida y que el

denominador no sea cero para el caso de
una funcin racional.
De principio o de final, en el clculo de lmite, se emplear el teorema de
sustitucin.
Ejemplo

Calcular lim x 2 + 3 x 2
x2

SOLUCIN:
Aplicando el teorema de sustitucin, tenemos:

lim x 2 + 3x 2 = 2 2 + 3(2) 2 = 8

x2

Veamos el siguiente otro teorema, muy poco utilizado pero necesario en

ciertas situaciones.

1.3.3 TEOREMA DEL EMPAREDADO

Sean f , g y h funciones tales que

g ( x) f ( x) h( x) para toda x prxima a
" x0 " con la posible excepcin de " x0 ". Si
lm g ( x) = L

x x0

lm f ( x) = L .

x x0

24

lm h( x) = L

x x0

entonces

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

DEMOSTRACIN.
Tenemos tres hiptesis:
H1 :
H2 :
H3 :

( lm g ( x) = L ) > 0, > 0 / 0 < x x < g ( x) L <

( lm h( x) = L ) > 0, > 0 / 0 < x x < h( x) L <
x x0

x x0

3 > 0 / 0 < x x 0 < 3 g ( x) f ( x) h( x)

Ahora, suponiendo que 1 = 2 = y tomando = min{1, 2 , 3} , tenemos:

g ( x) L <

> 0, > 0 / 0 < x x 0 < h( x) L <

g ( x) f ( x) h( x)
L < g ( x) < L +

que quiere decir que: > 0, > 0 / 0 < x x 0 < L < h( x) < L +
g ( x ) f ( x ) h( x)

lo cual significa que: L < g ( x) f ( x) h( x) < L + ,

y de manera simplificada se podra decir que: L < f ( x) < L +
Por lo tanto > 0, > 0 / 0 < x x 0 < f ( x) L < ,
que no es otra cosa que

lm f ( x) = L

L.Q.Q.D.

x x0

Ahora veamos ejercicios donde se emplea el teorema del emparedado

Ejemplo 1
Sea 1 x 2 f ( x) x 2 + 1 para toda x prxima a 0, excepto en 0. Hallar lm f ( x ) .
x 0

SOLUCIN:
2
2
Llamemos g ( x) = 1 x y h( x) = x + 1 . Calculando lmites tenemos:
lm g ( x) = lm (1 x 2 ) = 1
x 0

x 0

lm h( x) = lm ( x 2 + 1) = 1 .
x 0

x 0

Y como g ( x) f ( x ) h( x) en la vecindad de x = 0 , por el teorema del emparedado se concluye que:

lm f ( x) = 1
x 0

2
2
O ms simplemente: lm 1 x lm f ( x) lm x + 1
x 0

x 0

x 0

1 lm f ( x) 1
x 0

por lo tanto lm f ( x) = 1
x 0

25

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 2
1
x

Use el teorema del emparedado para demostrar que: lm x sen = 0

x 0

SOLUCIN:
1
No se puede aplicar la propiedad del producto de los lmites debido a que lm sen no existe.
x 0
x
Tambin hacerlo en trmino de , sera dificilsimo, Por qu? . Por tanto hay que recurrir a otro
mecanismo.
1
1
La funcin f ( x) = sen es acotada, es decir que 0 sen 1 .
x

x

1
Al multiplicar por x tenemos: x 0 x sen x 1 ;
x
1
1
luego tomando lmite resulta lm 0 lm x sen lm x , que equivale a 0 lm x sen 0
x 0
x 0
x

0
x

0
x

x
1
y llegamos a lo que queramos, es decir: lm x sen = 0 .
x 0
x

Ejemplo 3
Hallar lm

x0

Senx
x

SOLUCIN:
Para emplear el teorema del emparedado, acotemos la funcin f ( x) =

Senx
x

R1
tg x

1
R2

sen x

R3

cos x

Fig. 1.9

Del grfico tenemos que: AreaR1 =

(tg x )(1)
2

Observe que AR1 AR2 AR3 , entonces

+

, AR2 =

(1) 2 (x )
(cos x )(sen x)
, AR3 =
2
2

(tg x )(1) (1)2 (x ) cos x sen x

2

PRIMERO: Si x 0 . Multiplicando por 2 y dividiendo para sen x resulta:

2(tg x )(1)
2( x )
2 cos x sen x

2 sen x
2 sen x
2 sen x
1
x

cos x
cos x sen x

26

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

sen x
1

x
cos x
sen x
1
tomando lmite lm cos x lm
lm
x 0 +
x 0 + x
x 0 + cos x
sen x
entonces
1 lm
1
+
x
x 0

que es lo mismo que cos x

lm

x 0

sen x
=1
x

SEGUNDO: En cambio, si x 0 . Multiplicando por 2 y dividiendo para sen x resulta:

1
x

cos x (Se invierte el sentido de la desigualdad porque sen x < 0

cos x sen x
sen x
1
que es lo mismo que: cos x

x
cos x
sen x
1
tomando lmite: lm cos x lm
lm
x 0
x 0 x
x 0 cos x
sen x
sen x
entonces
1 lm
1
lm
=1
x 0 x
x 0 x
Finalmente lm
x 0

sen x
=1
x

Observe la grfica:

Fig. 1.10

y=

sen x
x

Note que en su grfica se observa la conclusin anterior.

27

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejercicios Propuestos 1.3

1.

Realice las demostraciones de los incisos 5, 6 y 7 del Teorema principal de lmite.

2.

Use el teorema del emparedado para demostrar que:

lm x 4 Sen 2

a.

x 0

lm (x 1)2 sen

b.

3.

1
=0
x
1
=0
x 1

x 1+

Califique cada una de las siguientes proposiciones como VERDADERA O FALSA, en caso de ser
verdadera demustrela y en caso de ser falsa d un contraejemplo.

lm ( f ( x ) ) = L

a.

lm ( f ( x ) L ) = 0

x x0

x x0

b.

Si lm ( f ( x) g ( x) ) existe, entonces tambin existen lm f ( x ) y lm g ( x)

c.

Si g (x ) + 5 3(4 x ) , entonces lm g (x ) = 5

d.

Si f ( x0 ) no est definida, entonces el lm f ( x ) no existe

e.

Si f ( x0 ) existe, entonces lm f ( x) existe

f.

Suponga que g es una funcin tal que lm g ( x) = 0 . Si f es una funcin cualquiera,

x x0

x x0

x x0

x4

x x0

x x0

entonces lm ( fg )( x ) = 0

x0

x 0

g.

Si f ( x) g ( x) para toda x , entonces el lm f ( x) lm g ( x)

x x0

x x0

1.4 CALCULO DE LMITES

En el clculo de lmites, la aplicacin del teorema de sustitucin puede
bastar.
Ejemplo 1
Calcular lm+ ( x a x b)
x 1

SOLUCIN:
Aplicando el teorema de sustitucin:

lm ( x a x b) = 1 cde1+ fgh = 1 1 = 0 (El entero mayor de nmeros ligeramente mayores que 1 es igual a 1)

x 1+

Ejemplo 2
Calcular lm ( x a x b)
x 1

SOLUCIN:
Aplicando el teorema de sustitucin

lm ( x a x b) = 1 ced1 fhg = 1 0 = 1

x 1

28

(El entero mayor de nmeros ligeramente menores que 1 es igual a 0)

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 3
Calcular lm (a 2 x 1b + Sgn ( x 1) )
x 1

SOLUCIN:

Aplicando el teorema principal de lmites y el teorema de sustitucin:

lm (a 2 x 1b + Sng ( x 1) ) = lm (a 2 x 1b) + lm ( Sng ( x 1) )

x 1

x 1

x 1

= ced 2(1 ) 1fhg + sng (1 1)

= ced1 fhg + sng ( 0 )
= 0 1
= 1

Ejercicios Propuestos 1.4

Calcular:
1.
2.
3.
4.

5.

6.

lm 2 x 6 4

x 4 +

lm

x 3+

7.

x 4 1
3 x

8.

lm+ ( x 2Sgnx )

lm

a xb 3
3 x

lm

x 1
x
a b+1

x 0+

9.

lm + ced cos ( x + 2 )fhg

10.

( x)

lm asen x b
x

x 0

x 3+

lm

x 0+

a tan x b + Sgn ( x 2 )

lm ( x + 5 ) + ( x 1) ( x 3)

x 5+

c x 2 f a x b2
de gh
lm
x 1+
x2 1

En otros casos, al calcular lmites, una vez aplicado el teorema de

sustitucin, se requerir un trabajo adicional si se presentan resultados de la
forma:
0
0

0
1
00
0

29

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Los resultados de la forma mencionada son llamados indeterminaciones

debido a que corresponden a cualquier valor. Por ejemplo, tomemos
suponga que sea igual a una constante

0
=c
0

c , es decir

entonces

0
,
0

0 = 0c

c . Analice el resto de indeterminaciones.

sera verdadera para todo

Ejemplo 1
Calcular lm
x 1

x2 + 5x 6
x 1

SOLUCIN:
Empleando el teorema de sustitucin tenemos

lm
x 1

2
x 2 + 5 x 6 1 + 5 (1) 6 0
=
=
1 1
0
x 1

indeterminacin, para destruirla vamos a simplificar la expresin, es decir factorizando:

( x + 6 )( x 1)
x2 + 5x 6
= lm
= lm ( x + 6 )
x 1
x 1
x 1
x 1
x 1
Y finalmente aplicando el teorema de sustitucin: lm ( x + 6 ) = 1 + 6 = 7
lm

x 1

Ejemplo 2
x 2 7 x + 10
x2
x2
SOLUCIN:

Calcular lm

Aplicando el Teorema de Sustitucin, tenemos:

2 2 7(2 ) + 10 0
= (Indeterminacin)
22
0

Para encontrar el valor de esta indeterminacin, simplificamos le expresin:

lm
x2

( x 2 )( x 5)
x 2 7 x + 10
= lm
= lm( x 5)
2
x

x2
x2
( x 2)

Aplicando el Teorema de Sustitucin, resulta:

lm( x 5) = 2 5 = 3
x2

Ejemplo 3
Calcular lm

x + 5 x 14
x 2

x4

SOLUCIN:
Aplicando el Teorema de Sustitucin, tenemos:

4 + 5 4 14
4 2

0
(Indeterminacin)
0

Para encontrar el valor de esta indeterminacin, simplificamos le expresin:

lm
x4

30

x + 5 x 14
x 2

= lm
x 4

x +7

)(

x 2

x 2

) = lm
x 2

x +7

una

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Aplicando el Teorema de Sustitucin, resulta:

lm
x4

x +7 = 4 +7 = 9

SEGUNDO METODO:
Podemos hacer un Cambio de Variable: x = u 2 . Este caso u = x , y cuando x 4 , u 2
Por tanto el lmite en la nueva variable sera:

u 2 + 5u 14
u 2
u2

lm

Simplificando la expresin y aplicando en teorema de sustitucin:

( u + 7 )( u 2 )
u 2 + 5u 14
= lm
= lm ( u + 7 ) = 9
u 2
u2
u2
u2
u2

lm

Ejemplo 4
Calcular lm
x 1

x 1
x 1

SOLUCIN:
Aplicando el Teorema de Sustitucin, tenemos:

1 1 0
= (Indeterminacin)
11
0

Racionalizando el numerador y simplificando:

x 1
x + 1
x 1
lm

= lm
= lm
x 1
x 1

x
1
+
x
1

x
1
(
) x + 1 x 1

x +1

1
2

Ejemplo 5
Calcular lm

x 1 3

x 1
x 1

SOLUCIN:
Aplicando el Teorema de Sustitucin, tenemos:

1 1
1 1

0
(Indeterminacin)
0

Para encontrar el valor de esta indeterminacin, podemos aplicar uno de los siguientes mtodos:

PRIMER METODO:

Racionalizando el numerador para diferencia de cuadrados y el denominador para diferencias de cubos:

x 1
x +1
lm 3

x 1
x 1
x +1

( x 1)
lm
x 1

((

( x 1) (

( x)
( x)
3

+ 3 x + 1

3
+ x + 1

) = (( 1) +

+ 3 x +1

x +1

)=3

1 +1

1 +1

SEGUNDO METODO:
Cambio de Variable: x = u 6 . Entonces Si x 1 u 1
Reemplazando tenemos: lm

u 1 3

u6 1
u6 1

u3 1
u 1 u 2 1

= lm

31

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

( u 1) ( u 2 + u + 1)
( u 2 + u + 1) = (12 + 1 + 1) = 3
= lm
u 1
u 1
2
( u 1)( u + 1)
( u + 1)
(1 + 1)

Y factorizando: lm

Ejemplo 6

a3 x 2 b

Calcular lm

2 x

x2 4

x2

SOLUCIN:

Aplicando el teorema principal de lmite consideramos lm a3 x 2b lm

x2

x 2

2 x

x2 4

Entonces, para el primer lmite tenemos: lm a3 x 2b = 3 Por qu?

x2

Y para el segundo lmite, resulta:

(x 2)
2x
2x
= lm
= lm
= lm
=
x 2 4 x2 x 2 4 x2 (x 2)(x + 2) x2 (x 2)(x + 2)
1
1
=
lm
x 2 ( x + 2)
4
lm

2 x

x 2

Por lo tanto lm

a3 x 2 b

2 x

x2 4

x2

3
1
= (3) =
4
4

Ejercicios Propuestos 1.5

Calcular:
1.
1.
1.
1.
1.
1.
1.
1.
1.
1.
1.
1.
1.

1.
2.
3.
4.
5.
6.
7.

x2 9
x 3 x 3
2 x
lm
x2 x2 4
lm

x3 8
x2 x 2
x 2 9 x + 20
lim 2
x 4 x 3x 4
3x 2 x 10
lim 2
x 2 x + 5 x 14
x3 + x 2 5 x + 3
lim 3
x 1 x + 2 x 2 7 x + 4
2 x 3 + x 2 x + 10
lim
x 2 x 3 + 2 x 2 2 x 4
lm

8.

x 2
lm
x4 x 4

9.

lim
x2

10.

lm

x 8

x 2
x 8
3

11.

lm

12.

lm

13.

14.

15.
16.

x 1

x +x2
2

x 1

x 2 (1 + a )x + a
x 1
x 1
3
2
x 2 3 x +1

lim
2

x 1
(
)
x
1

3
2

lm
x 1 1 x
1 3 x
7+3 x 3
x 8

lm

x 8

lm

a3 x 2 b

2 x

x2 4

x 2+

x 1 1
x2

sen x
= 1 que en forma
x 0
x

Otros lmites se calculan empleando la expresin lm

sen u
= 1; donde u = u ( x)
u 0
u

generalizada sera: lm

32

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 1
sen ( kx )

Calcular lm
x 0

SOLUCIN:

sen ( k ( 0 ) )

0
(Indeterminacin)
0
0
Para encontrar el valor de esta indeterminacin, multiplicamos y dividimos por k , y luego aplicamos el
Aplicando el Teorema de Sustitucin, tenemos:
teorema principal de lmites:
lm k
x0

sen ( kx )
sen kx
= k lm
= k (1) = k
x 0
kx
kx
 

Se podra decir que

lm

sen ( k u )

u 0

=k;

k \

Ejemplo 2
sen 3x
sen 5 x
SOLUCIN:
Calcular lm
x 0

Aplicando el Teorema de Sustitucin, tenemos:

sen ( 3 ( 0 ) )

sen ( 5 ( 0 ) )

0
(Indeterminacin)
0

Ahora, para encontrar el valor de la indeterminacin dividimos el numerador y el denominador entre x , y

luego aplicamos el teorema principal de lmites y la formula anterior:
3


sen 3 x
sen 3x
lm
sen 3 x
x 0
x =3
= lm x =
lm
x 0 sen 5 x
x 0 sen 5 x
sen 5 x 5
lm
x0
x
x

 
5

Ejemplo 3
1 cos x
x2
SOLUCIN:

Calcular lm
x 0

1
P
1 cos 0 0
Aplicando el Teorema de Sustitucin, tenemos:
= (Indeterminacin)
0
02

Ahora, para encontrar el valor de la indeterminacin hacemos lo siguiente:

x
sen


1 cos 2 x
1 cos x 1 + cos x
lm

= lm
2
x 0
1 + cos x x 0 x 2 (1 + cos x )
x
2

= lm
x 0

sen 2 x
sen 2 x
1

=
lm

lm

x 2 (1 + cos x) x 0 x 2 x 0 1 + cos x
2

sen x 1 1

= lm
=
x 0
x 2 2

33

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 4
Calcular lm

1 cos ( kx )
x2

x 0

SOLUCIN:
Aplicando el Teorema de Sustitucin, tenemos:

1 cos ( k 0 )
02

1 cos ( 0 )
0

11 0
= (Indeterminacin)
0
0

Ahora, para encontrar el valor de la indeterminacin hacemos lo siguiente:

sen ( kx )

1 cos 2 ( kx )
2

1 cos ( kx ) 1 + cos ( kx )

lm
= lm
x 0
1 + cos ( kx ) x 0 x 2 (1 + cos ( kx ) )
x2

= lm
x 0

sen 2 ( kx )

sen 2 ( kx )
1
= lm
lm

x 0 1 + cos ( kx )
x (1 + cos ( kx )) x 0
x2

sen ( kx ) 1 k 2

= lm
=
x 0
x
2 2

 

1 cos ( k u ) k 2
=
u 0
2
u2

Se puede decir que lm

Ejemplo 5

1 cos x
x
SOLUCIN:

Calcular lm
x 0

Aplicando el Teorema de Sustitucin, tenemos:

1 cos 0 0
= (Indeterminacin)
0
0

Multiplicando por el conjugado y aplicando propiedades:

1 cos 2 x
1 cos x 1 + cos x
lm

= lm

x 0
1 + cos x x 0 x (1 + cos x )
x
lm
x 0

Se puede decir que lm

u 0

1 cos ( k u )
=0
u

Ejemplo 6
Calcular lm
x a

34

sen 2 x
sen x
sen x
lm
= lm
0
0
x

x(1 + cos x)
x
1 + cos x
0

P
sen x sen 0 0

= lm
= =0
x 0
x
1 + cos
N0 2
 

1
1

sen x sen a
xa

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

SOLUCIN:
Aplicando el Teorema de Sustitucin, tenemos:

sen a sen a 0
= (Indeterminacin)
aa
0

PRIMER MTODO:

Cambiando variable u = x a . Entonces si x a , u 0 y adems x = u + a

Reemplazando y simplificando tenemos:
( )


sen
u
cos
a
+ cos u sen a ) sen a
(
sen u + a

lm

sen ( u + a ) sen a

u 0

= lm
u 0

u



sen u cos a + cos u sen a sen a
= lm
u 0
u
sen u cos a + ( cos u 1) sen a
= lm
u 0
u
( cos u 1) sen a
sen u cos a
= lm
+ lm
u 0
u

0
u
u
( cos u 1)
sen u

= cos a lm
+ sen a lm

u 0
u 0
u

u





= cos a (1) + sena (0)

= cos a

SEGUNDO MTODO:
x+a
xa
sen

2
2
x+a
xa
2cos
sen

sen x sen a
2

2
lm
= lm
xa
xa
xa
xa
Al denominador lo dividimos y multiplicamos por 2, y luego separamos los lmites aplicando el teorema
principal de lmites (el lmite del producto es el producto de los lmites)
x+a
xa
x+a
xa
2cos
2cos
sen
sen

2
2
2

2
= lm
lm
lm
xa
xa
xa
xa
xa
2
2
2
2

Empleando la identidad: sen x sen a = 2cos

= cos a

Ejemplo 7
Calcular lm
x 1

1 + sen ( 32 x )

( x 1)

SOLUCIN:
Aplicando el Teorema de Sustitucin, tenemos:

1 + sen ( 32 )

(1 1)

11 0
= (Indeterminacin)
0
0

Haciendo cambio de variable: u = x 1 entonces x = u + 1 y si x 1 entonces u 0

Reemplazando y simplificando:

35

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

lm
x 1

1 + sen ( 32 x )

( x 1)

= lm

1 + sen ( 32 ( u + 1) )
u2

u 0

= lm

1 + sen ( 32 u + 32 )
u2

u 0

= lm

1 + sen ( 32 u ) cos ( 32 ) + cos ( 32 u ) sen ( 32 )

u 0

= lm

1 + sen (

3
2

1 cos (

3
2

u2
u ) ( 0 ) + cos ( 32 u ) ( 1)

u 0

= lm
u 0

u)

u2

El ltimo lmite se lo puede calcular directamente con la formula lm

1 cos ( k u )

u 0

k2
2

k
P

1 cos 32 u

( 3 )2 9 2 9 2

= 2 = 4 =
lm
u 0
u2
2
2
8

El resultado se lo puede comprobar, realizando todo el procedimiento lgico.

Multiplicando por el conjugado y simplificando:

1 cos ( 32 u ) 1 + cos ( 32 u )
1 cos 2 ( 32 u )
lm
lm
=
u 0
u 0 u 2 1 + cos 3 u
u 2 1 + cos ( 32 u )
( 2 )

= lm
u 0

sen 2 ( 32 u )

u 2 1 + cos ( 32 u )

sen ( 32 u )
1
= lm
lm
u 0
u

0
u
1 + cos ( 32 u )

Multiplicando y dividiendo por

3
y obteniendo lmite:
2

3 sen ( 3 u )
1
lm 2 3 2 lm
u 0
u

0
1 + cos ( 32 u )

2 u
2

sen ( 3 u )
1
lm 3 2 lm
u 0
u 0
u

1 + cos ( 32 u )

1
2

=(

3
2

3 1
=
2 2
9 2
=
8
2

36

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 8
Calcular lm
x 0

x
1 cos x

SOLUCIN:
0

Aplicando el Teorema de Sustitucin, tenemos:

1 cos 0

0
(Indeterminacin)
0

Multiplicando por el conjugado del radical, simplificando y luego calculando:

x
1 + cos x
x 1 + cos x
lm
= lm
x 0 1 cos x
x

0
1 + cos x
1 cos 2 x
= lm

x 1 + cos x

x 0

sen 2 x
1 + cos x

= lm
x 0

sen 2 x
x
1 + cos x
= lm
x 0
sen 2 x
x
1 + cos x
= lm
sen x
x 0

x
1 + cos
N0
1
=
sen x

x
N
1

= 2

Ejercicios propuestos 1.6

Calcular:
1.
2.
3.

4.
5.

6.

lm

x 0+

sen 2 x + tan 3 x
x

x sen x
lm
x0
2 2 cos x
1 + sen 3x
lm
x 2 x 2
2

7.

8.

lm (1 x ) tan 2 x

9.

tan ( x )

10.

x 1

lm

x 2

x+2

sen x
3

lm
1 2cos x
x

cot x
2

lm
x0
tan ( 2 x )

arcsen x
x
arctan 2 x
lm
x 0 sen 3 x
lm
x0

cos x
2
lm
x 1 1
x

37

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Otro tipo de lmite interesante, cuyo resultado nos va ha resultar til en el

1
clculo de otros lmites, es el de f ( x) = (1 + x ) x cuando x tiende a 0 .
Hagamos una tabla de valores:
x

y = (1 + x ) x

0.10

2.86797

0.05

2.7895

0.01

2.7319

7
0.01

7
2.7048

0.05

2.65329

0.10

2.5937

Se observa que: lm
(1 + x ) x = e HAY QUE DEMOSTRARLO!
x 0
1

Fig. 1.11
e

y = (1 + x )

Ms generalmente tenemos que lm (1 + u )

u 0

= e donde u = u ( x) .

Ejemplo 1
Calcular lm (1 + sen x )

x 0

SOLUCIN:
Aplicando el Teorema de Sustitucin, tenemos

(1 + sen 0) 10

= 1 (Indeterminacin)

Para calcular el valor de esta indeterminacin utilizamos lm (1 + u )

u 0

=e.

Si consideramos u = sen x , notamos que necesitamos en el exponente el recproco de esta expresin,

por tanto al exponente lo multiplicamos y dividimos por sen x :

lm
x 0

38

(1 + sen x )

sen x 1

sen x x

1
= lm (1 + sen x ) sen x
x 0 
 

1

sen x
x

= e1 = e

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 2
Calcular lm ( cos x )

x 0

SOLUCIN:
Note que la expresin dada es una indeterminacin de la forma
Para utilizar lm (1 + u )
u 0

1 .

= e primero sumemos y restemos 1 a la base, es decir vamos a tener:

lm (1 + (cos x 1))
x 0

luego consideramos u = cos x 1 y multiplicamos y dividimos al exponente por esta expresin:

cos x1

lm (1 + ( cos x 1) )
x 0  

cos x1
x

0




lm

= e x 0

cos x 1
x

Por tanto:

lm ( cos x )

x 0

= e0 = 1 .

Ejemplo 3
2
Calcular lm

x 1 x + 1

SOLUCIN:

x 2 + x +1
x2 x

2
Aplicando el Teorema de Sustitucin, tenemos:

1+1

12 +1+1
12 1

2 0
= = (1) (Indeterminacin)
2

Sumamos y restamos 1 a la base:

2
lm

x 1 x + 1

x 2 + x +1
x2 x

= lm 1 +
1
x 1
x +1

x 2 + x +1
x2 x

2 ( x + 1)
= lm 1 +

x 1
x +1
1 x
= lm 1 +

x 1
x +1

x 2 + x +1
x2 x

x 2 + x +1
x2 x

1 x
:
x +1

Multiplicamos y dividimos el exponente por

2
1 x x + x +1

2
x x

x +1
1 x
1
x

lm 1 +
x +1
x 1
x +1

=e

=e

2
1 x x + x +1
lm

x1 x +1 x 2 x

( x 1) x 2 + x +1
lm

x 1 x +1
x ( x 1)

=e
=e

2
1 x + x +1
lm

x1 x +1
x

2
1 1 +1+1

1+1 1

=e

3
2

39

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 4
3x

Calcular lm 4
x k
k

SOLUCIN:

x
tan

2k

Aplicando el Teorema de Sustitucin, tenemos:

3x

lm 4
x k
k

x
tan

2k

3k

= 4
k

k
tan

2k

= ( 4 3)

tan
2

= 1 (Indeterminacin)

Cambiemos el 4 por 1+3 y multipliquemos y dividimos el exponente por el trmino que necesitamos:
3x

lm 4
xk
k

x
tan

2k

3x

= lm 1 + 3
xk
k

x
tan

2k

3x x
3 tan

k 2k

1

3x 3 3 x
= lm 1 + 3 k
xk
k
 


=e

3 3 x tan x
k 2 k

lm

xk

Dediqumonos al exponente. Hagamos el cambio de variable u = x k

x k entonces u 0 .

x = u + k y si

de donde

3 (u + k )
(u + k )
3x

x
lm 3 tan
tan

= lm 3
x k
k
k

2 k u 0

2k
3u + 3k

u + k
= lm 3
tan

u 0
k

2k

3k 3u 3k

= lm
tan u +
u 0
2
k

2k

sen u +
2
3u
2k
= lm

u 0
k cos u +

2
2k
0
1
P
P

sen u cos + cos u sen
3
2
2
2k
2k
= lm ( u )

k u 0


cos u cos sen u sen
2
2
2k N
2k N
0

cos u
3
2k
= lm ( u )
k u 0

sen u
2k
1


P0

cos u
2k
3
3 1

= lm ( u )
=
k u0

k
sen u

2k

2k
u

2k

2k

 

3x

x 6
lm 3 tan
=
x k
k

2k

Finalmente:

40

3x

lm 4
xk
k

x
tan

2k

= e

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 5
a kx 1
x 0
x
SOLUCIN:

Calcular lm

Sustituyendo tenemos

a k (0) 1 0
= .
0
0

Considerando u = a kx 1 , entonces x =

1
k ln a

ln (u + 1) y si x 0 tambin u 0

Haciendo cambio de variable, tenemos:

lm
u 0

1
k ln a

u
u
u
= lm k ln a
= k ln a lm

u 0 ln ( u + 1)
ln ( u + 1) u 0
ln ( u + 1)

Multiplicando, numerador y denominador por

1
, resulta:
u

( )u
1
1
1

k ln a lm 1
= k ln a lm
= k ln a
= k ln a = k ln a
1

u 0 ln ( u + 1)
u 0
u
ln e
1
ln ( u + 1)
u

e
1
u

ak u 1
= k ln a puede ser utilizado para calcular otros lmites.
u 0
x

El resultado lm

Ejemplo 4
32 x 1
x 0
x
SOLUCIN:

Calcular lm

Empleando el resultado anterior:

32 x 1
= 2 ln 3
x 0
x

lm

Ejemplo 5
32 x 54 x
x 0
x
SOLUCIN:

Calcular lm

Primero restamos y sumamos 1 al numerador y luego separamos para calcular los lmites:

32 x 54 x
32 x 1 54 x + 1
= lm
x 0
x 0
x
x
32 x 1 ( 54 x 1)
= lm
x 0
x
2x
3 1
54 x 1
= lm
lm
x 0
x 0
x
x
2x
4x
3 5
= 2 ln 3 4ln 5
lm
x 0
x
lm

41

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejercicios Propuestos 1.7

Calcular:
1.

lm (1 + tan x )

2.

lm (1 + cos x )

e3 x 1
x 0
x

csc x

8. lm

x 0

csc x

9.

3.

lm ( cos x )

4.

lm ( sen x )

x2

x 0

10.

tan x

11.

x2 + x + 2

5.

4 x2 2 x 3
lm

x 3 x + 1

12.

x2 + 2 x + 6

6.

3 x2 x 2
lm

x2 x + 1

7.

lm ( 4 3x )
x 1

tan x
2

e ax e bx
x 0 sen 3 x
e 2 x e3 x
lm
x 0
tan x
lm

2 ax 2 bx
x 0
x
a x + h + a x h 2a x
lm
;a > 0
h0
h
lm

13.

lm ( x + e x )

14.

lm

x 0

x 0

ln ( cos ( ax ) )
ln ( cos ( bx ) )

Para otros tipos de lmites habr que extremarse con el uso de los recursos
algebraicos.
Ejemplo 1
Demuestre que lm
x 0

1+ k x 1 k
=
x
n

SOLUCIN:
Por producto notable se puede decir que:
(1 + kx ) 1 =

)(

1 + kx n 1 n 1 + kx

)(

n 1

1 + kx

) ( 1) + (
n2

1 + kx

) ( 1)
n 3

n 1
n2
+ n 1 + kx
+ " + 1
1 + kx 1 n 1 + kx

n trminos

Entonces, multiplicando por el factor racionalizante, simplificando y calculando el lmite:

1+ k x 1
= lm
lm
x 0
x0
x
n

= lm
x0

= lm
x0

= lm
x0

=
=

n 1

)
1 + kx )
1 + kx

1 + kx

n 1

n 1

(
+(
+

)
1 + kx )
1 + kx

n2

+ " + 1

n2

+ " + 1

kx
x n 1 + kx

1 + kx

1 + k (0)

n veces

42

(1 + k x 1)

n 1

x n 1 + kx

n 1

) +(

k
1
+1+
"+


1+ k x 1 k
lm
=
x 0
x
n
n

) (

1+ k x 1

1 + kx

k
n

1 + kx

n 2

n1

1 + k ( 0)

+" +1

n2

+"+1

+ " + 1

n2
+ " + 1

n2

+"+

( 1)
n

n 1

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

n 1 + k u 1 k
= puede
u 0
u

El resultado anterior puesto de forma general lm

ser utilizado para calcular rpidamente otros lmites.
Ejemplo 2
Calcular lm

27 x 3

x 0

SOLUCIN:

Aunque este lmite se lo puede calcular empleando el factor racionalizante para diferencia de cubos (no
deje de hacerlo), vamos a emplear el resultado que obtuvimos en el ejercicio anterior.
27 x 3
lm
= lm
x 0
x 0
x
3

27 ( 27 x )
x
3
3
27 3 1
3
27
27
= lm
x0
x
x

1
Pn 1 +

x 1
1

3
27


3 3 1+ x 3
27
k
= lm
= 3lm
x0
x 0
x
x
1

27
=3
3
3 27 x 3
1
=
lm
x 0
x
27

Ejemplo 3
Calcular lm

x 30

x+2 2
x 30

SOLUCIN:
Primero es necesario un cambio de variable, de modo que la nueva variable tienda a tomar el valor de cero,
para poder utilizar la formula. Hagamos u = x 30 de donde x = u + 30 y u 0 . Reemplazando,
simplificando y calculando el lmite:
5

lm

x 30

5
5
x+2 2
u + 30 + 2 2
u + 32 2
= lm
= lm
u 0
u 0
x 30
u + 30 30
u

32 ( u + 32 )
u 32
3
2
+
2
32 5
32
32
32
= lm
= lm
u 0
u 0
u
u

1
1
2 5 1 + u 1
2 5 1+ u 2
32
32

= lm
= lm
u 0
u 0
u
u
1
1
5 1+
u 1

32
= 2 lm
= 2 32
u 0
u
5

lm

x 30

x+2 2 1
=
x 30
80

43

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 4
4 1 + 2 x 1 3x
Calcular lim

3
x 0
1 x 1

SOLUCIN:
Restamos y sumamos 1 al numerador, dividimos para x y luego separaramos los lmites:
4

lim
x 0

4
1 + 2 x 1 3x
1 + 2 x 1 1 3x + 1
= lim
3
3
x 0
1 x 1
1 x 1
4

= lim
x 0

1 + 2x 1
3

1 + 2x 1
1 3x 1

x
x
3
x 0
1 x 1
x
4
1 + 2x 1
1 3x 1
lim
lim
x 0
x 0
x
x
=
3
1 x 1
lim
x 0
x
2 3

4
1 + 2 x 1 3 x 4 2
= 6
=
3
1
1 x 1

3
4

= lim

lim
x 0

Ejemplo 5
4 14 + 2 x 2 4 3x
Calcular lim
3

x 1
2 x 1

SOLUCIN:
Aqu u = x 1 de donde x = u + 1 y u 0 .
Reemplazando, simplificando y calcular el lmite:
4

lim
x1

4 14 + 2 ( u + 1) 2 4 3 ( u + 1)
14 + 2 x 2 4 3x
= lim
3
u 0
3 2 ( u + 1) 1
2 x 1

= lim

14 + 2u + 2 2 4 3u 3
3
2 u 1 1

16 + 2u 2 1 3u
3
1 u 1

u 0

= lim
u 0

16 (16 + 2u )
2 1 3u
16
= lim
3
u 0
1 u 1
4

u
2 1 3u
8
3
1 u 1

2 4 1+
= lim
u 0

u
2 4 1 + 1 3u
8

= lim 3
u 0
1 u 1
4

= 2 lim
u 0

44

1 3x 1

1 x 1

u
1 3u
8
3
1 u 1

1+

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

1+

= 2 lim
u 0

u
1 1 3u + 1
8
3
1 u 1

u
1
1 3u 1
8

u
u

= 2 lim
3
u 0
1 u 1
u
u
4 1+
1

1 3u 1
8
lim
lim

u 0
u 0
u
u

=2
3
1 u 1
lim
u 0
u
1
1 3
8 3
+

4
14 + 2 x 2 4 3x
4 2
32 2 = 6 49 = 147
lim
2
2
=
=

3
x1
1
1

16
2 x 1
32

3
3
4

1+

Ejercicios Propuestos 1.8

Calcular:
3

1.
2.

lm

x 6

x+2 x2
x+3 3

3 x + 26 4 80 + x

lm

x 1
x+8 3

3.

x + 2 3 x + 20

lm

4
x 7
x+9 2

4.

lm+

x2

3x 2 3 3x + 2
4 x2

1.5 LMITES AL INFINITO.

En ciertas ocasiones puede ser necesario estudiar el comportamiento de una
funcin cuando la x toma valores muy grandes, diremos cuando x tiende al
infinito.
Suponga que f se aproxima a tomar un valor L cuando la variable x toma
valores muy grandes, este comportamiento lo escribiremos de la siguiente
manera lm f ( x ) = L
x

Ejemplo 1

Fig. 1.12

45

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Formalmente sera:

Decir que lm f ( x) = L significa que

x

puede estar tan cerca de L, tanto como

se pretenda estarlo ( > 0 ), para lo cual
deber poderse determinar el intervalo
en el cual tomar a x, N (una nmero muy
grande), que lo garantice. Es decir:

( lm f ( x) = L ) > 0, N > 0
x

tal que

x > N f ( x) L <

Ejemplo 2

Fig. 1.13

Suponga ahora que f se aproxima a tomar un valor L cuando la x toma

valores muy grandes, pero NEGATIVOS, este comportamiento lo escribiremos de
la siguiente manera lm f ( x) = L .
x

Ejemplo 1

Fig. 1.14

46

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Formalmente sera:

Decir que lm f ( x) = L significa que f

x

puede estar tan cerca de L , tanto como

se pretenda estarlo, > 0 , para lo cual
deber poderse determinar el intervalo
en el cual tomar a x , N (una nmero muy
grande), que lo garantice. Es decir:

( lm f ( x) = L ) > 0, N > 0
x

tal que

x < N f ( x) L <

Ejemplo 2

Fig. 1.15

Observe que para los casos anteriores significa que la grfica de f tiene
una asntota horizontal y = L .
Aqu tambin podemos hacer demostraciones formales
Ejemplo
Demostrar formalmente que lm

1
=0
x

SOLUCIN:

Empleando la definicin tenemos:

lm = 0 > 0, N > 0 tal que

x x

Transformando el antecedente:

x>N

1
0 <
x

x>N
1 1
<
x N

47

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Se observa que tomando N =

aseguraramos el acercamiento. Siempre y cuando sea un nmero

pequeo que origine un N muy grande.

1
1
est a menos de = 0.01 de 0, bastara con tomar a x >
Por ejemplo si se quisiera que y =
0.01
x
es decir x > 100 .

Para calcular lmites al infinito, usualmente un recurso til es dividir para x

de mayor exponente si se trata de funciones racionales.

Ejemplo 1
2 x 2 + 3x 1
x 5 x 2 + x 1

Calcular lm

SOLUCIN:
Aqu se presenta la indeterminacin:

Dividiendo numerador y denominador para x 2 , tenemos:

2 x 2 3x 1
3 1
2+ 2
+ 2 2
2
x
x
x
x x = 2 (No olvide que
= lm
lm 2
x 5 x
x

1
1
x
1
5+ 2 5
+ 2 2
2
x x
x
x
x
Este resultado indica que la grfica de f ( x ) =

2 x 2 + 3x 1
5x2 + x 1

k
0 ;k \

tiene una asntota horizontal

y=

2
5

Ejemplo 2
Calcular lm

x +

x 1
x + x +1
2

SOLUCIN:
Aqu se presenta la indeterminacin:

Dividiendo numerador y denominador para x : lm

x +

x 1
x
x2 + x + 1
x

Al introducir la x dentro del radical quedar como x 2 :

lm

x +

x 1
1

1
x x
x
= lm
=1
x +
1 1
1
x2 x
1
+
+
+ +
x x2
x2 x2 x2

Este resultado indica que la grfica de f ( x ) =

infinito positivo.

48

x 1
x2 + x + 1

tiene una asntota horizontal

y =1

en el

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo 3
x 1

Calcular lm

x + x +1
2

SOLUCIN:
Ahora se presenta la indeterminacin:

Aqu hay que dividir numerador y denominador para x : lm

x 1
x
2
x + x +1
x

2
Al introducir la x dentro del radical quedar como x :

x
1
1

1 +
x = 1
x x
= lm
2
x
1 1
1
x
x
1+ + 2
+ +
x x
x2 x2 x2

lm

Este resultado indica que la grfica de f ( x ) =

x 1
x2 + x + 1

tiene una asntota horizontal y = 1 en el

infinito negativo.

Ejemplo 4
Calcular lim

x +

x2 + x + 1 x2 x 1

SOLUCIN:
Ahora se presenta la indeterminacin: . Vamos primero a racionalizarla y luego dividimos para el
x con mayor exponente:

lim

x +

= lim

x2 + x + 1 x2 x 1

(x

+ x + 1) ( x 2 x 1)

x2 + x + 1 + x2 x 1
x2 + x + 1 + x2 x 1
= lim

2 ( x + 1)

x + x + 1 + x x 1 x + x + x + 1 + x 2 x 1
1
1+
1
x
= 2 lim
= 2 = 1
x +
1 1
1 1
2
1+ + 2 + 1 2
x x
x x
x +

En otros ejercicios de clculo de lmite al infinito se puede requerir emplear la

identidad: lm (1 +
u

1 u
u

= e DEMUSTRELA!

49

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejemplo
Calcular lm (1 + 2x ) .
x

Solucin:
Para utilizar la forma anterior, transformamos el lmite:

( )

lm 1 +
x

Se puede concluir que: lm (1 +

u

k u
u

x
2

x
2

2
=e

= ek

Ejercicios propuestos 1.9

1. Demostrar formalmente que lm

1
=0
x

2. Calcular:
1.
2.

5 x3 3x 2 + 4 x 3
x
x3 + 3x + 1
3x
lm
x 2 x 2 5 x + 1

lm

(2 x + 3) (3x 2)
3

3.
4.

5.

lm

lm

13.
14.

15.

x+3 x

16.

lm

x+ x+ x

x2 + 1
lm
x
x +1
( 2 x 3)( 3x + 5 )( 4 x 6 )
lm
x
3x3 + x 1
x sen (x!)
lm
x x 2 + 1
3x 3
lm
x
x2 + 1
3

6.
7.
8.
9.

10.

50

lm

11.

lm

12.

lm

5x
x2
3x3 + 2 x 2 x + 1
x3 8
x2 + 1
x

lm

x5 + 5
(2 x + 3)

17.
18.
19.
20.
21.
22.

2x2 1
3x
x5

lm

lm

x2 + 2
3x + 1

lm

x2 1
5 x3 1

2 + x6

lm x 2 + x x
x

lm x x 2 1 x

x +

( x + x +1 x x )
lm ( x x x + 2 )
2

lm

x +

lm

x +

x+3 x+2

x 1
lm

x +1

x+2

23.

x 1
lm

x x + 3

24.

x + 2
lm x ln

x
x 5

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

1.6 LMITES INFINITOS

x toma valores prximos a un punto x0 , tanto por
izquierda como por derecha, f toma valores muy grandes positivo; es decir
lm
f ( x) = . Diremos, en este caso, que f crece sin lmite o que f no
x x
Suponga que cuando

tiene lmite en x0 .

Sea M un nmero muy grande positivo.

Entonces lm f ( x) = significa que cuando
x x0

a x est prxima a " x0 , a una distancia

no mayor de ( 0 < x x0 < ), f

ser

mayor que M. Es decir:

lm f ( x ) = M > 0, > 0 tal que 0 < x x 0 < f ( x) > M

x x0

Ejemplo

Fig. 1.16

Puede ocurrir tambin que cuando la x toma valores prximos a un punto

x0 , tanto por izquierda como por derecha, f toma valores muy grandes
negativos; es decir lm f ( x) = . Diremos, en este caso, que f decrece sin
x x0

lmite o que f no tiene lmite en x0 . Es decir:

51

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Sea M una cantidad muy grande positiva.

Entonces:

lm f ( x) = M > 0, > 0 tal que 0 < x x 0 < f ( x ) < M

x

x
0

Ejemplo

Fig. 1.17

Para otro caso, puede ocurrir que cuando la x toma valores prximos a un
punto x 0 , slo por su derecha, f toma valores muy grandes; es decir
lm+ f ( x) = . Lo cual significa:
x x0

Sea M un nmero muy grande positivo.

Entonces:
lm f ( x) =

x x0 +

M > 0, > 0 tal que 0 < x x0 < f ( x) > M

Ejemplo

Fig. 1.18

52

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Observe que este comportamiento significa que la grfica tiene una asntota
vertical x = x0 .
Ejemplo 1
Calcular lim
x 1

( x 1)

SOLUCIN:

Empleando el teorema de sustitucin:

1
1
1
lim
=
= = + (No existe)
2
2
x 1
( x 1) (1 1) 0
La grfica de f ( x ) =

( x 1)

tiene una asntota vertical x = 1 y tanto por izquierda como por derecha la grafica

crece sin lmite.

Ejemplo 2
Calcular lim+
x2

x+3
x2

SOLUCIN:
Empleando el teorema de sustitucin:

lim+

x2

x + 3 2 + + 3 5+
=
=
= + (No existe)
x 2 2+ 2 0+

x+3
La grfica de f ( x ) =
tiene una asntota vertical x = 2 y por su derecha la grafica crece sin lmite.
x2
PREGUNTA: Qu ocurre a la izquierda?.

Se pueden describir otros comportamientos.

1.7 OTROS LMITES.

Para decir lm f ( x) = , f
x

toma valores muy grandes positivos cada vez

que la x toma valores tambin grandes positivos; debemos asegurar que:

M > 0, N > 0 tal que

x > N f ( x) > M

Ejemplo

Fig. 1.19
53

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Ejercicios Propuestos 1.10

1.

Defina formalmente y describa grficamente:

a)
lm f ( x) =
x x0 +

lm f ( x) =

b)

x x0

lm f ( x) =

c)

x x0

lm f ( x) =

d)

lm f ( x) =

e)

lm f ( x) =

f)
2.

Demuestre formalmente que:

a)

b)
3.

1
= +
x 0 x
1
lm =
x 0 x
lm

Calcular:

1. lim+ 1 +
x 1

1
x 1

x6
x x + 1
6 4 x 2 + x3
7. lim
x 4 + 5 x 7 x 2
6. lim

2. lim
x 1 x 1

3. lim
x 3

x+3
x2 9
x2 + 1

4. lim
x 7

5. lim+
x4

4.

9. lim

1 2x

10. lim

1 + x5
x

x 2 49
x 2 16
4 x

) [

] (

f ( x ) = 0 x = 1 x = 1

N > 0, > 0 [0 < 2 x < f ( x ) > N ]

N > 0, > 0 [0 < x 2 < f ( x) > N ]

> 0, M > 0 x > M f ( x) 1 <

[
> 0, M > 0 [x < M

f (0) = 1

f ( x) 1 <

Bosqueje el grfico de una funcin que satisfaga las condiciones siguientes:

> 0 > 0, x 0 < x < f ( x) 1 <

[
]
[
]
> 0 N > 0, x[ x > N f ( x) < ]
M > 0 > 0, x[0 < x + 1 < f ( x) > M ]

f (0) = 0

54

8. lim 2 x

Bosqueje la grfica de una funcin que cumpla con lo siguiente:

Dom f = ,2 1,1 2,+

5.

> 0 > 0, x 0 < x < f ( x) + 1 <

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

Miscelneos
1.

Califique cada una de las proposiciones siguientes como verdadera o falsa. Justifique formalmente.
1.

Si

2.

Si

f ( x) 5
= 3 , entonces lm f ( x ) = 0
x2
x2
f y g son funciones tales que lm f ( x ) = 1

lm
x2+

lm f ( x)

x 0 +

3.

Sea

lm g ( x) = , entonces

x0 +

g ( x)

x0+

=1

f una funcin de variable real tal que lm f ( x) existe y lm

xa +

xa +

xa
= 1 . Entonces
f ( x)

lm f ( x) = 0 .

xa +

4.

lm

xa +

5.

f y g funciones tales que lm f ( x) =

Sean

xa +

lm g ( x) = .

xa +

Entonces el

f ( x)
no existe.
g ( x)

Sean

f y g funciones tales que lm g ( x) = e y f ( x) = ln (g ( x ) ) . Entonces

xa +

lm ( f D g )( x) = 1

xa +

6.

Si lm

x 0+

7.

Si

8.

Si

f ( x)
= 1 entonces lm f ( x) = 0
x
x 0 +

[ f ( x) + g ( x)] existe, entonces existen lm

lm
f ( x ) y lm
g (x )
xa
x a
xa
f ( x ) g (x ) para toda x , entonces lm
f ( x ) lm
g (x )
xa
xa

f ( x)
f ( x) = 0 entonces lm g ( x) = 0
lm
existe y lm
xa
xa
xa
g ( x)
10. Si f y g son funciones definidas en IR entonces:
9.

Si

a IR lm
f ( g ( x )) = f lm
g ( x)
xa
xa
x xa a
2

11. Si

lm

xa +

))

xa

existe entonces

a = 0.

12. Si

[ f ( x) g ( x)] existe y lm
lm
f ( x) existe entonces lm
g ( x) existe.
x a
xa
x a

13. Si

lm
f ( x) = + entonces xlm
f ( x) =
xa
a

14.

( lm (3x 1) = 2) > 0, > 0, x 0 < x 1 < (3x 1) 2 <

x 1

15. Si lm f ( x) = 0 y lm g ( x) = entonces lm f ( x) g ( x) = 0 .
x 0 +

x 0 +

16. Existen dos funciones de variable real

x 0 +

f y g tales que

lm f ( x) = lm g ( x) = 0 y

x 0+

x 0+

f ( x)
lm
=e
+
( x)
g
x 0
f ( x)
g ( x) = 0
= 2 entonces lm
x
g ( x)

17. Si lm f ( x) = 0 y lm
x

18. No existen dos funciones f y g tales que lm f ( x ) = 0 , lm g ( x ) = 0 y lm

x0

x0

19. Si lm f ( x) = 3 , lm g ( x) = 2 , entonces lm
xa

xa

x a 3

x0

f ( x) + g ( x) 1
f ( x) + g ( x) 1

f ( x)
=5
g ( x)

=1

55

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

2.

Empleando la definicin de lmite, demuestre que:

3.

2x2 x 1
=3
x 1

lm+

1.

x 1

2.

lm x 1 = 2

3.

lm x 3 = 0

x 5+

5.

x 3+

Determine
1.

lm ced x 2 + 2 x fhg

x 3+

e cos 2 x
sen 4 x
cos x cos 3x
lm
x0
x2
3x

2.

3.

4.

6.

2x + 3
lm

x +
2x 5

3x

lm

x 1+

xe x e
x 1

tan

lm+ ( sen 2 x )

tan 2 2 x

lm
x0

e 2 x cos 3 x
sen 5 x

lm ln ( 2 x + 1) ln ( x + 2 )

x +

x
lm arctan

2
1 + x

ln 1 + e x
x +
x
lm

lm

x 2 1

15. lm+ (1 + cot x )

x

x 2 x 1 1

x 1+

sec x

16. lm f ( x )

1 cos3 x
;x < 0

x2

f ( x) =
5
;x = 0
sen10 x tan x

;x > 0
sen 2 x

e e
sen 2 x + tan 9 x
2x

x0

lm
x 1

23.

arcsen x arcsen 12

lm1
x 12
x

2x x 2 1

sen x
x

26.

sen (sen x )
x

lm
x0+

(a xb + a xb)
28. lm ( x ) tan ( )

27. lm
x0

x
2

x2 + 2 x + 5

3 x2 x 2
29. lm

x2 x + 1

3
30. lm x 2

x +

x3 + 1 x3 1

sen ( x

6)

x
cos

1 cos x 2
32. lm 2
x 0 x sen x 2
31. lm

x 6

3
2

33. lm (1 + 2 x ) 2ln x
1

x +

x 8
3 x 4

34. lm
x 64

1 + 5x 2x
35. lm

x 0 1 3x

36. lm (1 cos x ) cot x

x0

x0

donde

17. lm+

22.

x0

9.

14.

x 1

25. lm+ Sgn( x ) (a x + 1b + ( x 1) )

8.

13.

x 1

x 1

x 0

2arctan x

lm
3
x

x
e 1

1
sen x
x

arctan ( x 2 ) arctan1

21. lm+

24. lm+

cos x

lm

+
x 2

x
3x

lm 4
x 2+
2

12.

7.

11.

x0+

10.

20. lm sen x +
x

lm

5.

56

lm 4 = 2
x4
2

x2 4
lm
= 4
x 2
x+2

4.

xe 5 x cos 2 x x + 1

x2

37. lm
x0

e3 x cos 2 x

sen 5 x x

38. lm
x0

1 x 1+ x

39. lm
x0

7x

40. lm

x +1 3 x

Cap. 1 Lmites de Funciones

Moiss Villena Muoz

1
1

+
x 1
x 1 x 1

x+a

x x a

18. lm

41. lm

x sen 3 x

19. lm

x 0 + 1 cos 2 x

f ( x)
< 1 para x 0
x

4.

Calcular

5.

Bosqueje la grfica de una funcin que cumpla con lo siguiente:

> 0, > 0 : 0 < x < f ( x) 3 <

6.

lm f ( x) si
x0 +

N > 0, > 0 : 0 < x + 3 < f ( x) > N

N > 0, > 0 : 0 < 3 x < f ( x) < N

> 0, M > 0 : x > M f ( x) 1 <

> 0, M > 0 : x < M f ( x) <

Bosqueje la grfica de una funcin que cumpla con lo siguiente:

Dom f = ( , 1) ( 1,1) (1, + )

> 0, > 0 0 < x < f ( x) <

M > 0, > 0 [0 < x 1 < f ( x) < M ]

M > 0, > 0 [0 < 1 x < f ( x) > M ]

M > 0, > 0 0 < x + 1 < f ( x) > M

> 0, N > 0 x > N f ( x) + 1 <

[
> 0, N > 0 [x < N

f ( x) <

57