Apoyo Limites PDF

Moiss Villena Muoz Cap.
1 Lmites de Funciones
1.1 LMITE EN UN PUNTO

1.2 LMITES LATERALES
1.3 TEOREMAS SOBRE LMITES
1.4 CLCULO DE LMITES
1.5 LMITES AL INFINITO
1.6 LMITES INFINITOS
1.7 OTROS LMITES
OBJETIVOS:
Definir Lmites.
Realizar demostraciones formales de lmites.
Describir grficamente los lmites.
Calcular lmites.
1
Moiss Villena Muoz Cap. 1 Lmites de Funciones
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, la derivada y la integral
definida son conceptos basados en lmites. Conceptualizar lmite determinando
el comportamiento de una funcin e interpretarlo en su grfica, ayudar
bastante en el inicio del anlisis de los lmites.
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 f con regla de correspondencia f ( x) = 2 x + 1 en
la cercana de x = 2 .
Evaluando la funcin para algunos valores de x , prximos (acercndose) a 2 :
x y = 2x +1
1.90 4.80
1.95 4.90
1.99 4.98
" "
2.01 5.02
2.05 5.10
2.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:
2
Ejemplo 2
Ahora veamos el comportamiento de esta otra funcin f con regla de correspondencia
x 2 + 5x 6
f ( x) = , en la cercana de x = 1 .
x 1
Evaluando la funcin para ciertos valores de x , cada vez ms prximos a 1, tenemos:
x2 + 5x 6
x y=
x 1
0.90 6.90
0.95 6.95
0.99 6.99
" "
1.01 7.01
1.05 7.05
1.10 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
se aproxima a tomar el valor de 1, es decir lm =7.
x 1 x 1
Note que no es necesario que la funcin est definida en el punto de aproximacin.
x 2 + 5x 6
Por otro lado, la regla de correspondencia f ( x) = es equivalente a
x 1
f ( x) = x + 6 ; x 1 (POR QU?).
Este comportamiento se lo puede visualizar desde su grfica:
De lo expuesto en los dos ejemplos anteriores, sin ser tan riguroso todava,
podemos emitir la siguiente definicin:
3
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
2
lm = 7. Para esto, debemos garantizar formalmente el
x 1 x 1
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 x0 , de semiamplitud muy pequea, la
cual denotaremos con la letra griega (delta). Es decir:
x0 < x < x 0 +
Transformando la expresin anterior tenemos:
x0 < x < x0 +
x0 x0 < x x0 < x0 + x0
Restando " x0 "
< x x0 <
Empleando la definicin
x x0 < de valor absoluto
4
Y, para que x 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
0 < 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:
5
Con esta definicin, ya podemos realizar demostraciones formales.
Ejemplo 1
Demostrar formalmente que lm (2 x + 1) = 5 .
x2
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 nmeros 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 <
Multiplicando por 2 (porque en el
0 < 2 x 2 < 2 consecuente aparece 2x )
0 < 2 x 2 < 2
0 < 2 ( x 2 ) < 2 Propiedades del valor absoluto
0 < 2 x 4 < 2 Sumando y restando 5 (debido a que
0 < 2 x 4 + 5 5 < 2 aparece -5 en el consecuente)
0 < ( 2 x + 1) 5 < 2 Agrupando

Ahora, podemos decidir que = ; es decir, que si tomamos 2 2 < x < 2 + 2 nos permite asegurar
2
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
0.1
si 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.
6
No olvide que proponer una relacin entre y , garantiza que f estar tan cerca de L , como se
0.01
quiera estar. Veamos, ms cerca = 0.01 , bastar con tomar a la x a no menos de = = 0.005
2
de 2. Es decir que si tomamos 1.995 < x < 2.005 garantiza que 4.99 < f ( x) < 5.01 .
Ejemplo 2
x2 + 5x 6
Demostrar formalmente que lm =7.
x 1 x 1
SOLUCIN:
x2 + 5x 6
Debemos asegurar que y = se aproxima a tomar el valor de 7 cada vez que la x est
x 1
x2 + 5x 6
prxima de 1. Es decir, que debemos poder estar tan cerca de 7 con y = , 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:
x 2 + 5x 6
> 0, > 0 tal que 0 < x 1 < 7 <
x 1
Vamos a transformar el antecedente hasta llevarlo a la forma del consecuente. La forma algebraica
del consecuente nos guiar:
0 < x 1 < Se suma y resta 7 (debido a que
aparece -7 en el consecuente)
0 < x 1+ 7 7 <
0 < ( x + 6) 7 < Agrupando ( x + 6 ) y
( x + 6 )( x 1) 7 dividindolo y multiplicndolo por ( x 1)

<
x 1 (debido a que el primer trmino del consecuente
aparece dividido por ( x 1) )
x + 5x 6
2
7 <
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 0< x2 < x2 4 <
Por lo tanto:
Multiplicando por x + 2 (debido a que
0< x2 <
el consecuente tiene una diferencia de
0< x2 x+2 < x+2 cuadrados perfectos)
0 < ( x 2 )( x + 2 ) < x + 2
Propiedades del valor absoluto
0 < x2 4 < x + 2
7

Tomamos = . Pero ahora existe un inconveniente, la relacin es funcin de x . Esto lo podemos
x+2
salvar acotando a x . Suponga que a la x se la toma a una distancia no mayor de 1, en torno a 2,
entonces 1 x 3 , que si tuviramos que escoger un valor para x , el idneo sera 3, para que
satisfaga el hecho de que debe ser una cantidad pequea.

Por tanto, = = ; es decir, tomar 2 < x<2+ asegura lo que se quiere demostrar.
3+ 2 5 5 5
Ejemplo 4
Demostrar formalmente que lm x = 2 .
x4
SOLUCION:
Debemos garantizar que > 0, > 0 tal que 0< x4 < x 2 <
entonces:
0< x4 <
Factorizando x 4 para
0< ( x 2 )( )
x +2 <
diferencia de cuadrados
0< ( x 2) x +2 <
Propiedades del valor absoluto

0< x 2 < Despejando
x +2
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 qu?.
( )
Por lo tanto, = 3 + 2 ; es decir, si tomamos 4 ( 3 + 2) < x < 4 + ( 3 + 2) aseguramos lo
que se quiere demostrar.
Ejemplo 5
Demostrar formalmente que lm 3 x = 3 .
x 27
SOLUCION:
Debemos garantizar que > 0, > 0 tal que 0 < x 27 < 3
x 3 <
Entonces:
0 < x 27 <
Factorizando x 27 para
( x 3 27 ) ( x) ( )
27 <
2 2
0< 3 3
+ 3 x 3 27 + 3
diferencia de cubos

( ) ( x ) + 3 3 x + 9 <
2
0< 3
x 3 3 Propiedades del valor absoluto

Despejando

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

3
Tomamos =

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

entorno a 27, entonces 26 x 28 , un valor idneo sera 26.
8

Por lo tanto, = ( )
+ 3 3 26 + 9 o 27 ; es decir,
2
3
26

si tomamos 27 (
)
+ 3 3 26 + 9 < x < 27 + 3 26 ( )
+ 3 3 26 + 9 o
2 2
3
26

27 27 < x < 27 + 27 aseguramos lo que se quiere demostrar.
Ejemplo 5
x 1 x 1 2
SOLUCION:
x 1 1
Debemos garantizar que > 0, > 0 tal que 0 < x 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 )
1
<
Factorizando el denominador
( x 1) para diferencia de cuadrados
( x 1 )( x +1 ) 2
1

1
<
Simplificando ( )
x 1
( x +1 ) 2
2 ( x +1 ) < Restando
2 ( x +1 )
2 x 1 Destruyendo parntesis
<
2 ( x +1 )
1 x
<
2 ( x + 1) Resolviendo la resta del 2 con el 1
(1 x )(1 + x ) <
2 ( x + 1)(1 + x ) (
Multiplicando y dividiendo por 1 + x )
1 x Producto notable
<
( )
2
2 x +1
1 x
< Aplicando propiedades del valor
( )
2
2 x +1 absoluto
1 x < 2 ( x +1 )
2
Despejando

Ahora para transformar el antecedente, se sigue una secuencia como la anterior pero desde el final:
9
0 < x 1 <
0 < 1 x < Propiedad del valor absoluto
(
0 < 1 x 1+ x < )( ) Factorizando para diferencia de cuadrados

0 < 1 x < Despejando
1+ x
1 x
0< <
(
2 1+ x ) 2 1+ x 1+ x ( ) Dividiendo todos los trminos entre 2 (1 + x )
1 x
0< <
(
2 1+ x ) (
2 1+ x )
2
2 x 1
0< < Transformando el 1 en 2 - 1
(
2 1+ x ) (
2 1+ x )
2
0<
2 ( x +1 )< Agrupando
(
2 1+ x ) 2 1+ x ( )
2
0<
2 ( x + 1) <

Separando en dos trminos
2 1+( x ) 2 (1 + x ) 2 (1 + x )
2
1 1
0< < Simplificando
(1 + x ) ( ) 2 2 1+ x 2
0<
( x 1) 1 <
(1 + x )( x 1) 2 2 (1 + x ) 2
Multiplicando por la conjugada
0<
( x 1) 1 <
x 1
( )
2
2 2 1+ x
( )
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 ) ( )
2
Por lo tanto, = 2 ; es decir, si tomamos 1 2 < x < 1 + 2 aseguramos lo que se quiere demostrar.
Ejemplo 6
x4
x 2
SOLUCION:
x4
Debemos garantizar que > 0, > 0 tal que 0 < x 4 < 4 <
x 2
Igual que en el ejemplo anterior primero vamos a analizar el consecuente:
10
x4
4 <
x 2
Factorizando el numerador ( x 4 ) para
( x 2 )( x +2 ) 4 < diferencia de cuadrados
x 2
( x +2 4 < ) Simplificando ( x 2 )
x 2 < Restando
( x 2 )( x +2 ) < Multiplicando y dividiendo por ( x +2 )

( x +2 )
x4 Realizando el Producto Notable
<
( x +2 )
x4
< Aplicando propiedades del valor absoluto
x +2
x4 < x +2 Despejando
Ahora para transformar el antecedente, se sigue una secuencia como la anterior pero desde el final:
0< x4 <
x4
0< < Dividiendo todos los trminos entre ( x +2 )
x +2 x +2
0<
( x 2 )( x +2 )< Factorizando ( x 4 ) para diferencia de cuadrados
( x +2 ) x +2

0< x 2 <
x +2 Simplificando ( x +2 )
Sumando y restando 4
0< x 2+44 <
x +2

0< ( x +2 4 < ) x +2
Agrupando
0<
( x +2 )( x 2 )4 < Multiplicando y dividiendo ( x 2 )
( x 2 ) x +2
x4
0< 4 < Realizando el Producto Notable
( x 2 ) x +2
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.
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.
11
Ejercicios Propuestos 1.1

1. Demostrar formalmente utilizando la definicin de lmite:
x2 9 e) lm 2 x = 2
a) lm =6 x 2
x 3 x 3
x 1
b) lm ( 2 x 5 ) = 1 f) lm =2
x2 x 1
x 1
x2 + 5x 6 lm 3 x = 2
c) lm = 7 g)
x 6 x+6 x 8
2 x 3 + 3x 2 2 x 3 h) lm 3 x = 3 a
d) lm =5 xa
x1 x2 1
2. Determine un nmero para el valor de dado, tal que se establezca el lmite de la funcin:
9x2 1 x
a) lm = 2 , = 0.01 c) lm = 2, = 0.08
x 3x 1
1 x 0
x +1 1
3
x4 a4
b) lm = 2a 2 , = 108
xa x2 a2
+
3. 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
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 x x
f ( x) = L y
0
lm
x x
f ( x) = M entonces L = M .
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 .
12
f ( x) L <
Simultneamente tenemos: > 0, > 0 talque 0 < x x0 <
f ( x) M <
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)

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

1
Ahora bien, suponiendo que = M L se produce una contradiccin porque tendramos
2
M L <2 (12 M L ) lo cual no es verdad. Por lo tanto, se concluye que L = M . L.Q.Q.D
Ejemplo (una funcin que no tiene lmite en un punto)
Sea f ( x ) = sen ( 1x ) .
Analicemos su comportamiento en la vecindad de 0
x y = sen (1x )
2 1
1 0
32 1
7 7
2
3
1
1 0

2 1

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.
1
y = sen
x
13
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
0 1
Ejemplo 1
Una funcin creciente en (x 0 , )
14
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
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 2
0
0 2
Ejemplo 1
Una funcin decreciente en (,x 0 )
15
Ejemplo 2
Una funcin creciente en (,x 0 )
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.
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
x2
Sea f ( x) = . Hallar lm f ( x ) :
x2 x 2
SOLUCIN:
16
Expresando la regla de correspondencia sin valor absoluto, resulta:
x2
x2 x 2 ; x>2
1 ; x>2
f ( x) = = =
(
x 2 x 2 ) ; x<2 1 ; x<2
x 2
Esto quiere decir que su grfica es:
De la grfica observamos que lm f ( x) = 1 y lm f ( x) = 1 ; entonces se concluye que

x2+ 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 3 x 3 , x < 3

SOLUCIN:
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 + x 3
( )
PRIMERO, lm+ 2 x = 6 > 0, > 0 tal que
x 3
0 < x 3 < 2x 6 <
0< x3<
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 .
2 2 x 3 +
SEGUNDO,
( lm (3x 3) = 6) > 0, > 0 tal que

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

Si = ; es decir, tomando 3 < x < 3 garantizamos que lm ( 3 x 3) = 6 .
3 3 x 3
17
Ejemplo 3
x 1 , x 2
Demostrar formalmente que lm f (x ) no existe, si f (x ) =
x2
x + 1 , x < 2
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 ) .
x2+ x 2
Note que, lm+ ( x 1) = 1 y que lm ( x + 1) = 3

x2 x 2
PRIMERO,
( lm ( x 1) = 1) > 0, > 0 tal que

x 2+
0 < x 2 < ( x 1) 1 <
0< x2<
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 <
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 .
Transformando 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 2b) 2 < 2

Si =
2
; es decir, tomando 2 < x < 2 +
2 x2
( )
garantizamos que lm+ 2 x a x b = 2 .
18

1. Demostrar formalmente utilizando la definicin de lmites laterales:
a. lm x = 0
x 0
2 x 7 , x 2
b. lm f (x ) = 3 ; si f (x ) =
x 2 5 4 x , x < 2
2 x 1 , x 2
c. lm f (x ) = 3 ; si f (x ) =
x2
x + 1 , x < 2
d. lm ( 2 x a x b) = 3
x 2
e. lm ( 3 x a x b) = 6
x 3+
3 x 1 , x 1
2. Demostrar formalmente que lm f (x ) no existe, si f (x ) =
x 1
x + 2 , x < 1
3. Trace la grfica y determine, por inspeccin, el lmite indicado si existe, si no existe justifique.
2 ,x <1

a. f ( x ) = 1 ,x =1 ; lm f (x )
3 x 1
,x >1
x+2
b. f ( x) = ; lm f ( x ) ; lm f ( x )
x+2 x 2 x 2
2 x 7 , x 2
c. f (x ) = ; lm f (x )
5 4 x , x < 2 x 2
d. f ( x ) = x a xb ; lm f (x ) , lm f ( x )
x0 x 0+
x + a xb , x 1

e. f ( x ) = Sgn ( x 3) , 1 < x 4 ; lm f ( x ) , lm f ( x )
x 1

5
x
( x ) ,x > 4 2
4. Bosqueje la grfica de una funcin que cumpla las condiciones siguientes:

Dom f = R
f es decreciente en (,3) (0,2)
f es creciente en (3,0) (2,+ )
[
> 0 > 0, x 0 < 3 x < f ( x) 2 < ]
> 0 > 0, x[0 < x + 3 < f ( x) < ]
> 0 > 0, x[0 < x 2 < f ( x) + 1 < ]
f (3) = f (2 ) = 0 y f (0) = 5
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) 3 <
> 0 > 0, x[0 < x < f ( x) < ]
> 0 > 0, x[0 < x 3 < f ( x) 5 < ]
f (3) = f (3) = f (6) = 0 y f (0) = 2
19
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 y
x x0
lm g ( x) = M . Entonces:
x x0
1. lm k = k , k R
x x0
2. lm x = x0
x x0
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 x 0 x x x x 0 0
5. lm [ f ( x) g ( x)] = lm f ( x) lm g ( x) = L M
x x 0 x x x x 0 0
6. lm [ f ( x) g ( x)] = lm f ( x) lm g ( x) = LM
x x0 x x0 x x0
f ( x) xlm f ( x) L
7. lm =
x0
= ;siempre que lm g ( x) 0
x x0 g ( x )
xlm
x x0
g ( x) M
x 0
n
8. lm [ f ( x)] = lm f ( x) = Ln ,
n
n N
x x0 x x0
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
x x0
0 < k k <
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

x x0
0 0 < x x0 <
Si = la proposicin es verdadera siempre.
20
3. ( lm kf ( x) = kL ) > 0, > 0 / 0 < x x

x x0
0 < kf ( x) kL <
Observe el consecuente, la expresin kf ( x) kL < es equivalente a

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 lm [ f ( x) + g ( x)] = L + M
x x0 x x0 x x0
Asegurar que 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 = y = min{1, 2 } tenemos:
2

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 < +
2 2
Y por la desigualdad triangular ( f ( x) L ) + (g ( x) M ) f ( x) L + g ( x) M
Por lo tanto ( f ( x ) + g ( x ) ) (L + M ) <
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 0 ; x 0
Suponga que se tiene f ( x ) = y g ( x) =
0 ; x 0 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 x 0
(existe). Es decir, Si (f + g) es una funcin con lmite en un punto, entonces no podemos

asegurar que f y g tambin tienen lmite en ese punto
21
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:
x2
( )
lim x 2 + 3x 2 = lim x 2 + lim 3x lim 2 (inciso 4 y 5)
x2 x2 x2
2
= lim x + 3 lim x 2 (inciso 8, 3 y 1)
x2 x2
= 2 2 + 3(2) 2
=8
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.
22
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 y lm h( x) = L entonces
x x0 x x0
lm f ( x) = L .
x x0
DEMOSTRACIN.
Tenemos tres hiptesis:
H1 : ( lm g ( x) = L ) > 0, > 0 / 0 < x x < g ( x) L <
x x0
1 1 0 1 1
H2 : ( lm h( x) = L ) > 0, > 0 / 0 < x x < h(x) L <

x x0
2 2 0 2 2
H3 : 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:
Llamemos g ( x) = 1 x 2 y h( x) = x 2 + 1 . Calculando lmites tenemos:
lm g ( x) = lm (1 x 2 ) = 1 y lm h( x) = lm ( x 2 + 1) = 1 .
x 0 x 0 x 0 x 0
23
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
x 0
( )
O ms simplemente: lm 1 x lm f ( x) lm x + 1
x 0
2
x 0
( )
1 lm f ( x) 1
x 0
por lo tanto lm f ( x) = 1
x 0
Ejemplo 2
1
Use el teorema del emparedado para demostrar que: lm x sen = 0
x 0 x
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 x 0 x 0 x
1
y llegamos a lo que queramos, es decir: lm x sen = 0 .
x 0 x
Ejemplo 3
Senx
Hallar lm
x 0 x
SOLUCIN:
Senx
Para emplear el teorema del emparedado, acotemos la funcin f ( x) =
x
R1
tg x
1
sen x R2
x R3
cos x
24
(tg x )(1) (1) 2 (x ) (cos x )(sen x)

Del grfico tenemos que: AreaR1 = , AR2 = , AR3 =
2 2 2
Observe que AR1 AR2 AR3 , entonces

(tg x )(1) (1)2 (x ) cos x sen x
2 2 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
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
1 lm 1 entonces lm =1
x 0 + x x 0 + 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
1 lm 1 entonces lm =1
x 0 x x 0 x
sen x
Finalmente lm =1
x 0 x
Observe la grfica
sen x
y=
x
Note que en su grfica se observa la conclusin anterior.
25

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:
1
a. lm x 4 Sen 2 =0
x 0 x
1
b. lm (x 1)2 sen =0
x 1+ x 1
3. 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.
a. lm ( f ( x ) ) = L 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)

x x0 x x0 x x0
Si g (x ) + 5 3(4 x ) , entonces lm g (x ) = 5
2
c.
x 4
d. Si f ( x0 ) no est definida, entonces el lm f ( x ) no existe
x x0
e. Si f ( x0 ) existe, entonces lm f ( x ) existe

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

x0
entonces lm ( fg )( x) = 0
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 ced1+ fhg = 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 (El entero mayor de nmeros ligeramente menores que 1 es igual a 0)
x 1
26
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

Calcular:
1. lm 2 x 6 4
x 4+
a tan x b + Sgn ( x 2 )
7. lm+
x 4 1
x 0 ( x)
2. lm
x 3+ 3 x 8. lm asen x b

lm+ ( x 2Sgnx )
x
3. 2
lm + ced cos ( x + 2 )fhg

x 0
9.
4. lm
a xb 3 x

2
x 3+
3 x
10. lm ( x + 5 ) + ( x 1) ( x 3)
x 1 x 5+
5. lm
x 0+ a x b + 1
c x 2 f a x b2
ed hg
6. 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
27
Los resultados de la forma mencionada son llamados indeterminaciones

0
debido a que corresponden a cualquier valor. Por ejemplo, tomemos ,
0
0
suponga que sea igual a una constante c , es decir =c entonces 0 = 0c
0
sera verdadera para todo c . Analice el resto de indeterminaciones.
Ejemplo 1
x2 + 5x 6
Calcular lm
x 1 x 1
SOLUCIN:
x 2 + 5 x 6 1 + 5 (1) 6 0
2
Empleando el teorema de sustitucin tenemos lm = = una

x 1 x 1 11 0
indeterminacin, para destruirla vamos a simplificar la expresin, es decir factorizando:
x2 + 5x 6 ( x + 6 )( x 1)
lm = 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

x 1
Ejemplo 2
x 2 7 x + 10
Calcular lm
x 2 x2
SOLUCIN:
2 2 7(2) + 10 0
Aplicando el Teorema de Sustitucin, tenemos: = (Indeterminacin)
22 0
Para encontrar el valor de esta indeterminacin, simplificamos le expresin:
x 2 7 x + 10 ( x 2 )( x 5 )
lm = lm = lm( x 5)
x 2 x2 x2 ( x 2) x2
Aplicando el Teorema de Sustitucin, resulta:

lm( x 5) = 2 5 = 3
x 2
Ejemplo 3
x + 5 x 14
Calcular lm
x 4
x 2
SOLUCIN:
4 + 5 4 14 0
4 2 0
Para encontrar el valor de esta indeterminacin, simplificamos le expresin:
28
x + 5 x 14 ( x +7 )( x 2 ) = lm
lm
x 4
x 2
= lm
x 4
x 2 x2
( x +7 )
Aplicando el Teorema de Sustitucin, resulta:
lm
x 4
( 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
lm
u 2 u2
Simplificando la expresin y aplicando en teorema de sustitucin:
u 2 + 5u 14 ( u + 7 )( u 2 )
lm = lm = lm ( u + 7 ) = 9
u 2 u2 u 2 u2 u 2
Ejemplo 4
x 1
Calcular lm
x 1 x 1
SOLUCIN:
1 1 0
1 1 0
Racionalizando el numerador y simplificando:
x 1 x + 1 x 1 1 1
lm = lm = lm =
x 1
x 1 x + 1 x 1
( x 1) x + 1 x 1 ( ) ( x +1) 2
Ejemplo 5
x 1
Calcular lm
x 1 3
x 1
SOLUCIN:
1 1 0
3
1 1 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) + 3 x + 1
2
3
x 1 x +1
lm 3
x 1
x 1 x +1 ( x)
2

3
+ x + 1
3

lm
( x 1) (( 3
x )
2
+ 3 x +1 ) = (( 1) +
3
2
3
1 +1 )=3
x 1
( x 1) ( x +1 ) ( 1 +1 ) 2
29
SEGUNDO METODO:
Cambio de Variable: x = u 6 . Entonces Si x 1 u 1
u6 1 u3 1
Reemplazando tenemos: lm = lm
u 1 3 u 1 u 2 1
u6 1
( u 1) ( u 2 + u + 1) ( u 2 + u + 1) = (12 + 1 + 1) = 3
Y factorizando: lm = lm
u 1 ( u 1)( u + 1) u 1 ( u + 1) (1 + 1) 2
Ejemplo 6
Calcular lm
a3 x 2 b 2 x
x2 x2 4
SOLUCIN:
(
Aplicando el teorema principal de lmite consideramos lm a3 x 2b lm
x2
) x2
2 x

x2 4
(
Entonces, para el primer lmite tenemos: lm a3 x 2b = 3 Por qu?
x2
)
Y para el segundo lmite, resulta:
2 x 2 x 2 x (x 2 )
lm = lm = lm = lm =
x 2 x 4 x 2 x 4
2 2 x 2 (x 2)(x + 2) x2 (x 2)(x + 2)
1 1
lm =
x 2 ( x + 2 ) 4
Por lo tanto lm
a3 x 2 b 2 x 1
= (3) =
3
x2 x 4
2
4 4

Calcular:
x2 9
3
x 2
1. lm 10. lm
x 3 x 3 x 8 x 8
2 x 3
x 1
2. lm 11. lm
x2 x2 4 x 1 x +x2
2
3. lm
x3 8 x 2 (1 + a )x + a
x2 x 2 12. lm
x 1 x 1
x 2 9 x + 20
4. lim 2 3 x2 2 3 x +1
x 4 x 3x 4
13. lim
5. lim 2
3x 2 x 10 x 1
( x 1) 2

x 2 x + 5 x 14
3 2
x3 + x 2 5 x + 3 14. lm
6. lim 3 x 1 1 x 1 3 x
x 1 x + 2 x 2 7 x + 4
2 x 3 + x 2 x + 10 7+3 x 3
7. lim 15. lm
x 2 x 3 + 2 x 2 2 x 4 x 8 x 8
8. lm
x 2
16. lm
a3 x 2 b 2 x
x4 x 4 x 2+ x2 4
x 1 1
9. lim
x2 x2
30
sen x
Otros lmites se calculan empleando la expresin lm = 1 que en forma
x 0 x
sen u
generalizada sera: lm = 1; donde u = u ( x)
u 0 u
Ejemplo 1
sen ( kx )
Calcular lm
x 0 x
SOLUCIN:
sen ( k ( 0 ) )
0
Aplicando el Teorema de Sustitucin, tenemos: =
(Indeterminacin)
0 0
Para encontrar el valor de esta indeterminacin, multiplicamos y dividimos por k , y luego aplicamos el
teorema principal de lmites:
sen kx sen ( kx )
lm k = k lm = k (1) = k
x 0 kx x 0 kx

sen ( k u )
Se podra decir que lm =k; k \
u 0 u
Ejemplo 2
sen 3x
Calcular lm
x 0
sen 5 x
SOLUCIN:
sen ( 3 ( 0 ) ) 0
sen ( 5 ( 0 ) ) 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 3x sen 3 x
lm
sen 3x x 0 x =3
lm = lm x =
x 0 sen 5 x x 0 sen 5 x sen 5 x 5
lm
x x 0 x

5
Ejemplo 3
1 cos x
Calcular lm
x2
x 0
SOLUCIN:
P 1
1 cos 0 0
02 0
Ahora, para encontrar el valor de la indeterminacin hacemos lo siguiente:
31
sen

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

lm = lm
x 0
x
2
1 + cos x x 0 x 2 (1 + cos x )
sen 2 x sen 2 x 1
= lm = lm 2 lm
x 0 x (1 + cos x) x 0 x x 0 1 + cos x
2
2
sen x 1 1
= lm =
x 0 x 2 2
Ejemplo 4
1 cos ( kx )
Calcular lm
x 0 x2
SOLUCIN:
Aplicando el Teorema de Sustitucin, tenemos:
1 cos ( k 0 ) 1 cos ( 0 ) 11 0
2
= = = (Indeterminacin)
0 0 0 0
Ahora, para encontrar el valor de la indeterminacin hacemos lo siguiente:
sen ( kx )
2

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

x 0 1 + cos ( kx )
sen ( kx ) 1 k 2
2

= lm =
x 0
2 2

x

k
1 cos ( k u ) k2
Se puede decir que lm =
u 0 u2 2
Ejemplo 5
1 cos x
Calcular lm
x 0
x
SOLUCIN:
1 cos 0 0
0 0
Multiplicando por el conjugado y aplicando propiedades:
1 cos x 1 + cos x 1 cos 2 x
lm = lm
x 0
x 1 + cos x x 0 x (1 + cos x )
sen 2 x sen x sen x
lm = lm lm
x 0 x(1 + cos x ) x 0 x x 0 1 + cos x
P 0

sen x sen 0 0
= lm = =0

x 0
x
1 + cos
N0 2
1 1
32
1 cos ( k u )
Se puede decir que lm =0
u 0 u
Ejemplo 6
sen x sen a
Calcular lm
xa xa
SOLUCIN:
sen a sen a 0
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 + a )

sen ( u + a ) sen a ( sen u cos a + cos u sen a ) sen a
lm = lm
u 0 u 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
= lm
sen u cos a
+ lm
( cos u 1) sen a
u 0 u u 0 u
sen u ( cos u 1)
= cos a lm + sen a l m

u 0
u 0

u

u
1 0
= cos a (1) + sena (0)

= cos a
SEGUNDO MTODO:
x+a xa
Empleando la identidad: sen x sen a = 2cos 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 sen 2cos sen
lm 2 2
= lm 2
lm 2
xa xa xa 2 x a x a
2
2 2
= cos a
Ejemplo 7
1 + sen ( 32 x )
Calcular lm
( x 1)
x 1 2
SOLUCIN:
1 + sen ( 32 ) 11 0
Aplicando el Teorema de Sustitucin, tenemos: = = (Indeterminacin)
(1 1)
2
0 0
33
Haciendo cambio de variable: u = x 1 entonces x = u + 1 y si x 1 entonces u 0

Reemplazando y simplificando:
1 + sen ( 32 x ) 1 + sen ( 32 ( u + 1) )
lm = lm
( x 1)
2
x 1 u 0 u2
1 + sen ( 32 u + 32 )
= lm
u 0 u2
1 + sen ( 32 u ) cos ( 32 ) + cos ( 32 u ) sen ( 32 )
= lm
u 0 u2
1 + sen ( 3
u ) ( 0 ) + cos ( 32 u ) ( 1)
= lm 2
u 0 u2
1 cos ( 32 u )
= lm
u 0 u2
1 cos ( k u ) k2
El ltimo lmite se lo puede calcular directamente con la formula lm =
u 0 u2 2
P k

1 cos 32 u
( 3 )2 9 2 9 2
lm = 2 = 4 =
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 2 1 + cos ( 32 u ) ( 2 )
u 0 u 2 1 + cos 3 u

sen 2 ( 32 u )
= lm
u 0 u 2 1 + cos ( 32 u )
sen ( 32 u )
2
1
= lm lm
u 0
u u 0 1 + cos ( 32 u )
3
Multiplicando y dividiendo por y obteniendo lmite:
2
3 sen ( 3 u )
2
1
lm 2 3 2 lm
u 0
2 u u 0 1 + cos ( 32 u )
sen ( 3 u )
2
1
= ( 32 ) lm 3 2 lm
2
u 0

u 0 u
1 + cos ( 32 u )
2
1
3 1
2
=
2 2
9 2
=
8
34
Ejemplo 8
x
Calcular lm
x 0 1 cos x
SOLUCIN:
0 0
1 cos 0 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 1 + cos x x 0
1 cos 2 x
x 1 + cos x
= lm
x0
sen 2 x
1 + cos x
= lm
x0
sen 2 x
x
1 + cos x
= lm
x0 sen 2 x
x
1 + cos x
= lm
x0 sen x

x
1 + cos
N 0
= 1
sen x

N x
1
= 2
Ejercicios propuestos 1.6

Calcular:
sen 2 x + tan 3x
1. lm sen x
x 0+ x
7. lm 3
1 2cos x
x sen x x
2. lm 3
x 0
2 2 cos x
+

1 + sen 3 x cot x
3. lm 8.
2
( )
lm
x 2 x 2 x 0 tan ( 2 x )
2
arcsen x
9. lm
4. lm (1 x ) tan 2 x x0 x
x 1
arctan 2 x
tan ( x ) 10. lm
5. lm x 0 sen 3 x
x 2 x+2

cos x
6. lm 2
x 1 1 x
35
Otro tipo de lmite interesante, cuyo resultado nos va ha resultar til en el

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

y = (1 + x ) x
1
x
0.10 2.86797
0.05 2.7895
0.01 2.7319
7 7
0.01 2.7048
0.05 2.65329
0.10 2.5937
(1 + x ) x = e HAY QUE DEMOSTRARLO!

1
Se observa que: lm
x 0
e
y = (1 + x )
1
x
Ms generalmente tenemos que lm (1 + u )

1
u
= e donde u = u ( x) .
u 0
Ejemplo 1
Calcular lm (1 + sen x )
1
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 )

1
u
=e.
u 0
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 :
1
sen x
sen x 1 x
(
lm 1 + sen x )
= lm (1 + sen x ) sen x
1
sen x x
= e1 = e
x 0 x 0
36
Ejemplo 2
Calcular lm ( cos x )
1
x
x 0
SOLUCIN:

Note que la expresin dada es una indeterminacin de la forma 1 .
Para utilizar lm (1 + u )
1
u
= e primero sumemos y restemos 1 a la base, es decir vamos a tener:
u 0
lm (1 + (cos x 1))
1
x
x 0
luego consideramos u = cos x 1 y multiplicamos y dividimos al exponente por esta expresin:

cos x1
x
0

cos x1
cos x 1
lm (1 + ( cos x 1) )
x

lm
= e x 0 x
x 0
e
Por tanto:
lm ( cos x )
1
x
= e0 = 1 .
x 0
Ejemplo 3
x 2 + x +1
2 x2 x
Calcular lm
x 1 x + 1

SOLUCIN:
12 +1+1 3
2 12 1 2 0
= = (1) (Indeterminacin)

1+1 2
Sumamos y restamos 1 a la base:
x 2 + x +1 x 2 + x +1
2 x2 x 2 x2 x
lm = lm 1 + 1
x 1 x + 1 +
x 1
x 1
x 2 + x +1
2 ( x + 1) x2 x
= lm 1 +
x 1
x +1
x 2 + x +1
1 x x2 x
= lm 1 +
x 1
x +1
1 x
Multiplicamos y dividimos el exponente por :
x +1
1 x x + x +1
2
2
1
x +1 x x 1 x x + x +1
2
1 x 1 x lm
x 1 x +1 x 2 x

lm 1 + x +1 =e
x 1
x +1

( x 1) x 2 + x +1
lm
x +1 x ( x 1)
=e
x1
1 x + x +1
2
lm
x1 x +1
=e x
1 1 +1+1
2

3
1+1 1
=e =e 2
37
Ejemplo 4
x
tan
3x 2k
Calcular lm 4
xk
k
SOLUCIN:
x k
tan tan
3x 2k 3k 2k
= ( 4 3) = 1 (Indeterminacin)
tan
lm 4 = 4 2
xk
k k
Cambiemos el 4 por 1+3 y multipliquemos y dividimos el exponente por el trmino que necesitamos:
x x
tan tan
3x 2k 3x 2k
lm 4 = lm 1 + 3
xk
k xk
k
3x x
3 tan
1
k 2k
3x 3 3 x
= lm 1 + 3 k
x k
k

e

3 3 x tan x

lm k 2 k
=e xk
Dediqumonos al exponente. Hagamos el cambio de variable u = x k de donde x = u + k y si

x k entonces u 0 .
3x x 3 (u + k ) (u + k )
lm 3 tan = lm 3 tan
x k
k 2 k u 0
k 2k
3u + 3k u + k
= lm 3 tan
u 0
k 2k
3k 3u 3k
= lm tan u +
u 0
k 2k 2

sen u +
3u 2 k 2
= lm
u 0
k cos u +

2k 2
P0 P1

sen u cos + cos u sen
3
= lm ( u ) 2k 2 2k 2
k u 0
cos u cos sen u sen
2k N 2 2k N 2
0 1

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

P0
cos u
2k 3 1
3
= lm ( u ) =
k u0 k
sen u
2k 2k
u
2k
u
2k

3x x 6
lm 3 tan =
x k
k 2k
x
tan
3x 6
2k
Finalmente: lm 4 = e
xk
k
38
Ejemplo 5
a kx 1
Calcular lm
x 0 x
SOLUCIN:
a k ( 0) 1 0
Sustituyendo tenemos = .
0 0
Considerando u = a kx 1 , entonces x = 1 ln
k ln a
(u + 1) y si x 0 tambin u 0
Haciendo cambio de variable, tenemos:

u u u
lm = lm k ln a = k ln a lm
u 0 1 ln ( u + 1) u 0 ln ( u + 1) u 0 ln ( u + 1)
k ln a
1
Multiplicando, numerador y denominador por , resulta:
u

( )u
1
1 1 1
k ln a lm 1 u = = k ln a = k ln a = k ln a
u 0 ln ( u + 1)
k ln a lm
u 0 u
ln ( u + 1)
1
ln e 1
u

e
ak u 1
El resultado lm = k ln a puede ser utilizado para calcular otros lmites.
u 0 x
Ejemplo 4
32 x 1
Calcular lm
x 0 x
SOLUCIN:
Empleando el resultado anterior:
32 x 1
lm = 2 ln 3
x 0 x
Ejemplo 5
32 x 54 x
Calcular lm
x 0 x
SOLUCIN:
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 = lm
x 0 x x 0 x
3 1 ( 54 x 1)
2x
= lm
x 0 x
3 1
2x
54 x 1
= lm lm
x 0 x x 0 x
3 5
2x 4x
lm = 2 ln 3 4 ln 5
x 0 x
39

Calcular:
lm (1 + tan x ) e3 x 1
csc x
1. 8. lm
x 0
x 0 x
lm (1 + cos x )
csc x
2.
x
e ax e bx
2 9. lm
x 0 sen 3 x
lm ( cos x )
1
3. x2
e 2 x e3 x
x 0
10. lm
lm ( sen x )
tan x x 0 tan x
4.
x
2
2 ax 2 bx
x2 + x + 2 11. lm
x 0 x
4 x2 2 x 3
5. lm a + a x h 2a x
x+h
x 3 x + 1
12. lm ;a > 0
h 0 h
x2 + 2 x + 6
3 x2 x 2
lm ( x + e x )
1
6. lm 13.
x
x2 x + 1
x 0
ln ( cos ( ax ) )
lm ( 4 3x )
tan x
7. 2 14. lm
x 1 x 0 ln ( cos ( bx ) )
Para otros tipos de lmites habr que extremarse con el uso de los recursos
algebraicos.
Ejemplo 1
n 1+ k x 1 k
Demuestre que lm =
x 0 x n
SOLUCIN:
Por producto notable se puede decir que:
(
1 + kx n 1 n 1 + kx )( ) ( ) ( ) ( ) ( 1) ( 1)
n 1 n2 n3 n 1
(1 + kx ) 1 =
1 2
n
+ n 1 + kx n
1 + n
1 + kx n
+"+ n

(
= n 1 + kx 1 n 1 + kx )( + " + 1 ) ( )
n 1 n2
+ n 1 + kx

n trminos
Entonces, multiplicando por el factor racionalizante, simplificando y calculando el lmite:
) ( ) ( ) + " + 1
n 1 n 2
lm
1+ k x 1
n
= lm
( n 1+ k x 1
n
1 + kx + n
1 + kx

( 1 + kx ) +( 1 + kx ) + " + 1
x0 x 0 n 1 n 2
x x n n

= lm
(1 + k x 1)
(
x n 1 + kx ) ( ) + " + 1
x0 n 1 n 2
+ n
1 + kx

kx
= lm
(
x n 1 + kx ) ( ) + " + 1
x0 n 1 n 2
+ n
1 + kx

k
= lm
( ) ( )
x0 n 1 n 2
n
1 + kx + n
1 + kx +"+1
k
=
( ) +( )
n 1 n 2
n 1 + k ( 0) n 1 + k ( 0) +" +1
k
=
+1+
1 "+

1
n veces
n 1+ k x 1 k
lm =
x0 x n
40
n 1 + k u 1 k
El resultado anterior puesto de forma general lm = puede
u 0
u n
ser utilizado para calcular rpidamente otros lmites.
Ejemplo 2
3 27 x 3
Calcular lm
x 0 x
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 ( 27 x )
3 3
27 x 3
3
27
lm = lm
x 0 x x 0 x
x
3
27 3 1 3
= lm 27
x 0 x
1
3 3 1+ x 3
27
= lm
x 0 x
1
Pn 1+ x 1
3

27
= 3lm k
x 0 x
1
27 x 3
3
27 1
lm =3 =
x 0 x 3 27
Ejemplo 3
5
x+2 2
Calcular lm
x 30 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:
41
5
x+2 2 5
u + 30 + 2 2
lm = lm
x 30 x 30 u 0 u + 30 30
5
u + 32 2
= lm
u 0 u
32 ( u + 32 )
5 2
= lm 32
u 0 u
u 32
3
32 5 + 2
= lm 32 32
u 0 u
1
2 5 1+ u 2
= lm 32
u 0 u
1
2 5 1 + u 1
32
= lm
u 0 u
5 1+
1
u 1
= 2 lm 32
u 0 u
1
5
x+2 2 1
lm = 2 32 =
x 30 x 30

5 80

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

3
1 x 1
SOLUCIN:
Restamos y sumamos 1 al numerador, dividimos para x y luego separaramos los lmites:
4
1 + 2 x 1 3x 4
1 + 2 x 1 1 3x + 1
lim = lim
x 0 3
1 x 1 x 0 3
1 x 1
= lim
4
1 + 2x 1 ( )
1 3x 1
x 0 3
1 x 1
1 + 2x 1
4
1 3x 1

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

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

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

3
2 x 1
SOLUCIN:
Aqu u = x 1 de donde x = u + 1 y u 0 .
Reemplazando, simplificando y calcular el lmite:
4 14 + 2 ( u + 1) 2 4 3 ( u + 1)
4
14 + 2 x 2 4 3 x
lim = lim
x1 3
2 x 1 u 0 3 2 ( u + 1) 1
4
14 + 2u + 2 2 4 3u 3
= lim
u 0 3
2 u 1 1
4
16 + 2u 2 1 3u
= lim
u 0 3
1 u 1
16 (16 + 2u )
4 2 1 3u
= lim 16
u 0 3
1 u 1
u
2 4 1+ 2 1 3u
= lim 8
u 0 3
1 u 1
u
2 4 1 + 1 3u
8
= lim 3
u 0 1 u 1
u
4 1+ 1 3u
= 2lim 8
u 0 3
1 u 1
u
4 1+ 1 1 3u + 1
= 2lim 8
u 0 3
1 u 1
u
1
4 1+
8 1 3u 1

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

u u 0
u
=2 3
1 u 1
lim
u 0 u
1
8 3 1 3
+
4
14 + 2 x 2 4 3 x 4 2 32 2 = 6 49 = 147
lim = 2 = 2
x1 3
2 x 1 1 1 32 16

3 3

Calcular:
3
x+2 x2 x + 2 3 x + 20
1. lm 3. lm

x 6 x+3 3 x 7

4
x+9 2
3 x + 26 4 80 + x 3x 2 3 3x + 2
2. lm
4. lm+
x 1
x+8 3 x 2 4 x2
43
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
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 cantidad
muy grande), que lo garantice. Es decir:
( lm f ( x) = L ) > 0, N > 0
x
tal que x > N f ( x) L <
44
Ejemplo 2
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
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 cantidad
muy grande), que lo garantice. Es decir:
( lm f ( x) = L ) > 0, N > 0
x
tal que x < N f ( x) L <
45
Ejemplo 2
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
1
Demostrar formalmente que lm =0
x x
SOLUCIN:
Empleando la definicin tenemos:
1 1
lm = 0 > 0, N > 0 tal que x>N 0 <
x x x
Transformando el antecedente:
x>N
1 1
<
x N
1
Se observa que tomando N = aseguraramos el acercamiento.

1 1
Por ejemplo si se quisiera que y = est a menos de = 0.01 de 0, bastara con tomar a x >
x 0.01
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.
46
Ejemplo 1
2 x 2 + 3x 1
Calcular lm
x 5 x 2 + x 1
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
lm 2 x 2
x x = lm x x = 2 (No olvide que k
0 ;k \ )
x 5 x x 1 x 1 1
2
+ 2 2 5+ 2 5
x x x x x
2 x 2 + 3x 1 2
Este resultado indica que la grfica de f ( x ) = tiene una asntota horizontal y=
5x2 + x 1 5
Ejemplo 2
x 1
Calcular lm
x +
x + x +1
2
SOLUCIN:

Aqu se presenta la indeterminacin:

x 1
Dividiendo numerador y denominador para x : lm x
x +
x2 + x + 1
x
Al introducir la x dentro del radical quedar como x 2 :
x 1 1
1
lm x x = lm x =1
x + 2 x +
x x 1 1 1
+ + 1+ + 2
x2 x2 x2 x x
x 1
Este resultado indica que la grfica de f ( x ) = tiene una asntota horizontal y =1 en el
x2 + x + 1
infinito positivo.
Ejemplo 3
x 1
Calcular lm
x
x + x +1
2
SOLUCIN:

Ahora se presenta la indeterminacin:

x 1
Aqu hay que dividir numerador y denominador para x : lm x
x
x2 + x + 1
x
47
Al introducir la x dentro del radical quedar como x 2 :

x 1 1
1 +
lm x x = lm x = 1
x 2 x
x x 1 1 1
2
+ 2+ 2 1+ + 2
x x x x x
x 1
Este resultado indica que la grfica de f ( x ) = tiene una asntota horizontal y = 1 en el
x2 + x + 1
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 +
( x2 + x + 1 x2 x 1 ) x2 + x + 1 + x2 x 1
x2 + x + 1 + x2 x 1
= lim
(x 2
+ x + 1) ( x 2 x 1)
= lim
2 ( x + 1)
x +
x + x +1 + x x 1
2
x + x + 1 + x2 x 1
2 x + 2
1
1+
x 1
= 2 lim = 2 = 1
x + 1 1 1 1 2
1+ + 2 + 1 2
x x x x
En otros ejercicios de clculo de lmite al infinito se puede requerir emplear la

identidad: lm (1 + )
u
1
u = e DEMUSTRELA!
u
Ejemplo
Calcular lm (1 + 2x ) .
x
Solucin:
Para utilizar la forma anterior, transformamos el lmite:
( )
2

x
lm 1 + =e
2
1 2
x
x
2

Se puede concluir que: lm (1 + k u

u ) = ek
u
48
Ejercicios propuestos 1.9

1
1. Demostrar formalmente que lm =0
x x
2. Calcular:
5 x3 3x 2 + 4 x 3 2x2 1
1. lm 13. lm
x x3 + 3x + 1 x 3x
2. lm
3x x5
x 2 x 2 5 x + 1
14. lm
x
x2 + 2
3. lm
(2 x + 3) (3x 2)
3 2
3x + 1
15. lm
x x5 + 5 x
x2 1
(2 x + 3)
4. lm 5 x3 1
x x+3 x 16. lm
x
2 + x6
x
5. lm 17. lm x 2 + x x
x
x
x+ x+ x
3
x +12
18.
x +
(
lm x x 2 1 x )
( x + x +1 x x )
6. lm
x x +1 19. lm 2 2
x
( 2 x 3)( 3x + 5)( 4 x 6 )
7. lm 20. lm ( x x x + 2 )
2 4 2
x 3x3 + x 1 x +
x sen (x!)
8. lm 2
x x + 1
21. lm
x +
x ( x+3 x+2 )
x
3x 3 x 1
9. lm 22. lm
x
x2 + 1
x x +1
x+2
5x x 1
23. lm
10. lm x x + 3
x x2
x + 2
3x3 + 2 x 2 x + 1 24. lm x ln
11. lm x
x 5
x x3 8
x2 + 1
12. lm
x x
49
1.6 LMITES INFINITOS

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

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
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:
50

Entonces:

lm f ( x) = M > 0, > 0 tal que 0 < x x 0 < f ( x) < M
x x0
Ejemplo
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

Entonces:
lm f ( x) = M > 0, > 0 tal que 0 < x x0 < f ( x ) > M
x x0 +
51
Ejemplo
Observe que este comportamiento significa que la grfica tiene una asntota
vertical x = x0 .
Ejemplo 1
1
Calcular lim
( x 1)
x 1 2
SOLUCIN:
Empleando el teorema de sustitucin:
1 1 1
lim = = = + (No existe)
( x 1) (1 1) 0
x 1 2 2
1
La grfica de f ( x ) = tiene una asntota vertical x = 1 y tanto por izquierda como por derecha la grafica
( x 1)
2
crece sin lmite.
Ejemplo 2
x+3
Calcular lim+
x2 x2
SOLUCIN:
Empleando el teorema de sustitucin:

x + 3 2 + + 3 5+
lim+ = = = + (No existe)
x2 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.
52
1.7 OTROS LMITES.

Para decir lm f ( x ) = , f toma valores muy grandes positivos cada vez
x
que la x toma valores tambin grandes positivos; debemos asegurar que:

M > 0, N > 0 tal que x > N f ( x) > M
Ejemplo

1. Defina formalmente y describa grficamente:
a) lm f ( x) =
x x0 +
b) lm f ( x) =
x x0
c) lm f ( x) =
x x0
d) lm f ( x) =
x
e) lm f ( x) =
x
f) lm f ( x) =
x
2. Demuestre formalmente que:
1
a) lm = +
x 0 + x
1
b) lm =
x 0 x
3. Calcular:
1
1. lim+ 1 +
x 1 x 1 6. lim
x6
x x + 1
5
x
2. lim 6 4 x 2 + x3
x 1 x 1
7. lim
x 4 + 5 x 7 x 2
x+3
3. lim 8. lim 2 x
x 3 x2 9 x
53
x2 + 1 9. lim 1 2x
4. lim x
x 7
x 2 49
1 + x5
x 2 16 10. lim
x x
5. lim+
x4 4 x
4. Bosqueje la grfica de una funcin que cumpla con lo siguiente:

(
Dom f = ,2 1,1 2,+ ) [ ] ( )
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 ( x) 1 < ]
f ( 0) = 1
5. Bosqueje el grfico de una funcin que satisfaga las condiciones siguientes:
[
> 0 > 0, x 0 < x < f ( x) 1 < ]
> 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
Miscelneos
1. Califique cada una de las proposiciones siguientes como verdadera o falsa. Justifique formalmente.
f ( x) 5
1. Si lm = 3 , entonces lm f ( x) = 0
x2+
x2 x2 +
2. Si f y g son funciones tales que lm f ( x) = 1 y lm g ( x) = , entonces

x 0+ x 0+
lm f ( x) g ( x)
=1
x 0 +
xa
3. Sea f una funcin de variable real tal que lm f ( x) existe y lm = 1 . Entonces
xa + xa +
f ( x)
lm f ( x) = 0 .
xa +
4. Sean f y g funciones tales que lm f ( x) = y lm g ( x) = . Entonces el

xa + xa +
f ( x)
lm no existe.
xa +
g ( x)
5. 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 +
f ( x)
6. Si lm = 1 entonces lm f ( x) = 0
x 0 +
x x 0 +
7. Si lm
xa
[ f ( x) + g ( x)] existe, entonces existen lm
x a
f ( x) y lm
x a
g (x )
8. Si f ( x) g (x ) para toda x , entonces lm
xa
f ( x) lm
xa
g (x )
f ( x)
9. Si
xa
lm existe y lm
xa
f ( x) = 0 entonces lm
xa
g ( x) = 0
g ( x)
10. Si f y g son funciones definidas en IR entonces:
(
a IR lm
xa
f ( g ( x)) = f lm
xa
(
g ( x) ))
54
x2 x a a2
11. Si lm existe entonces a = 0.
xa +
xa
12. Si lm
x a
[ f ( x) g ( x)] existe y lm
x a
f ( x) existe entonces lm
x a
g ( x) existe.
13. Si lm
xa
f ( x) = + entonces xlm
a
f ( x) =
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 + x 0 +
16. Existen dos funciones de variable real f y g tales que lm f ( x) = lm g ( x) = 0 y

x 0 + x 0+
f ( x)
lm =e
x 0 + g ( x)
f ( x)
17. Si lm f ( x) = 0 y lm = 2 entonces lm g ( x) = 0
x x x
g ( x)
f ( x)
18. No existen dos funciones f y g tales que lm f ( x) = 0 , lm g ( x ) = 0 y lm =5
x 0 x0 x 0 g ( x)
f ( x) + g ( x) 1
19. Si lm f ( x) = 3 , lm g ( x) = 2 , entonces lm =1
xa x a xa 3 f ( x) + g ( x) 1
2. Empleando la definicin de lmite, demuestre que:

2x2 x 1 x
1. lm+ =3 4. lm 4 = 2
x 1 x 1 x4 +
2
2. lm x 1 = 2 x 4
2
x 5 +
5. lm = 4
3. lm x 3 = 0 x 2 +
x+2
x 3+
3. Determine
1. lm cde x 2 + 2 x fgh 1
x 3+ 20. lm sen x + sen x
e cos 2 x
3x x
x
arctan ( x 2 ) arctan1
2. lm
x 0+
sen 4 x
21. lm+
cos x cos 3x x 1 x 1
3. lm
x 0 +
x2 x 1
22. lm
2x + 3
3x x 1
2x x 2 1
lm
x +
4.
2x 5 arcsen x arcsen 12
23. lm1
xe ex2 x
2
x 12
5. lm
x 1+ x 1 sen x
24. lm+
cos x x 0 x
6. lm
x 2
+

25. lm+ Sgn( x) (a x + 1b + ( x 1) )
x x 0
sen (sen x )
2
x
3x
tan
4 26. lm
7. lm 4 x 0+
x
x 2+ 2
27. lm (a xb + a xb)
2arctan x x0
8. lm 28. lm ( x ) tan ( ) x
x 3

x 2
e 1
x
x2 + 2 x + 5
9. lm+ ( sen 2 x )
tan 2 2 x 3 x2 x 2
29. lm
x2 x + 1
x
4

55
10. lm
x 0
e 2 x cos 3x
sen 5 x
30. lm x 2
3
x + ( )
x3 + 1 x3 1

sen ( x 6 )
lm ln ( 2 x + 1) ln ( x + 2 ) 31. lm
3 cos x
11.
x + x 6
2
x
12. lm arctan 1 cos x 2
32. lm 2

x
1+ x
2
x 0 x sen x 2
13. lm
(
ln 1 + e x ) 33. lm (1 + 2 x ) 2ln x
x +
1
x + x
x 8
x 2 x 1 1 34. lm
lm x 64 3 x 4
14.
x 1+
x 2 1 1
15. lm+ (1 + cot x ) 1 + 5x 2 x

sec x
35. lm
x
2
x 0
1 3x
16. lm f ( x) 36. lm (1 cos x ) cot x
x 0 x 0
donde xe 5 x cos 2 x x + 1
37. lm
1 cos3 x x 0 x2
;x < 0
x2
e3 x cos 2 x
f ( x) = 5 ;x = 0 38. lm
sen10 x tan x x 0
sen 5 x x
;x > 0
sen 2 x x
39. lm
e 2 x e7 x
x 0
1 x 1+ x
( )
17. lm+
x 0 sen 2 x + tan 9 x 40. lm 3
x +1 3 x
x
1 1
x+a
x
18. lm
x 1 x 1
+
x 1
41. lm
x
xa
x sen 3 x
19. lm
x 0 1 cos 2 x
+
f ( x)
4. Calcular lm f ( x) si < 1 para x 0
x 0+
x

> 0, > 0 : 0 < x < f ( x) 3 <
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) <

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) < ]
56

Apoyo Limites PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apoyo Limites PDF

Cargado por

Copyright:

Formatos disponibles

Moiss Villena Muoz Cap.

1.1 LMITE EN UN PUNTO

1.1 LMITE EN UN PUNTO

1.1.1 DEFINICIN INTUITIVA

Lo anterior se puede ilustrar desde la grfica:

Este comportamiento se lo puede visualizar desde su grfica:

Una funcin f tiene lmite L en un punto

Para los dos ejemplos anteriores el comportamiento de las funciones se

1.1.2 DEFINICIN FORMAL

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

f ( x) L < Aplicando la definicin de valor absoluto

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

Sea f una funcin de variable real y sean y

significa que para toda proximidad que se

Una manera de interpretar grficamente lo mencionado es:

Con esta definicin, ya podemos realizar demostraciones formales.

> 0, > 0 tal que 0 < x 2 < (2 x + 1) 5 <

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

( x + 6 )( x 1) 7 dividindolo y multiplicndolo por ( x 1)

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

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

( x 2 )( x +2 ) < Multiplicando y dividiendo por ( x +2 )

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

Ejercicios Propuestos 1.1

1.1.3 TEOREMA DE UNICIDAD DE LMITE.

Sea f una funcin de una variable real.

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

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

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

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

1.2 LMITES LATERALES

1.2.1 LMITE POR DERECHA

Cuando x se aproxima a tomar el valor de x0 ,

1.2.2 LMITE POR IZQUIERDA.

Cuando x se aproxima a tomar el valor de

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

1.2.3 TEOREMA DE EXISTENCIA DE LMITE

Si f es una funcin con lmite en x0

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

Expresando la regla de correspondencia sin valor absoluto, resulta:

Esto quiere decir que su grfica es:

De la grfica observamos que lm f ( x) = 1 y lm f ( x) = 1 ; entonces se concluye que

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

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

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

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

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

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

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

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

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

Ejercicios Propuestos 1.2

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

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

1.3 TEOREMAS SOBRE LMITES

Sean f y g funciones con lmite en x0 ;

siempre que lm f ( x) 0 cuando n es par.

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

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

Si = la proposicin es verdadera siempre.

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

Observe el consecuente, la expresin kf ( x) kL < es equivalente a