1

3.1 LIMITES

Mara Concepcin Gonzlez Enrquez

Consideremos una funcin R R f : y un punto a en el eje X , algunos
posibles comportamientos que puede tener la funcin en dicho punto se
muestran en las siguientes grficas

1 2 3
1
1
2
x
y

1 2 3
1
1
2
x
y

) ( x f est definida en a y no hay ) ( x f no est definida en a y hay
separacin de la grfica. un hueco en la grfica.

1 2 3
1
1
2
x
y

2 1 1 2 3 4 5
5
4
3
2
1
1
2
3
4
x
y

) ( x f est definida en a y hay ) ( x f no est definida en a y hay
separacin de la grfica. separacin de la grfica.

El concepto de lmite nos ayuda a determinar eficientemente el
comportamiento de la funcin en las proximidades de un punto a sin
necesidad de evaluar punto por punto; este concepto es la piedra angular
para la definicin de continuidad en un punto y de derivada de una funcin
en un punto

2
Definicin. Sea R R f : y R a , R L . Se dice que L es el lmite
de ) ( x f en a si para cada 0 > , existe 0 > tal que si Domf x y
< < a x 0 entonces < L x f ) ( .
Notacin. Si existe el lmite de ) ( x f se denota L x f
a x
=

) ( lim

Observacin. No es necesario que el punto a pertenezca al Domf

Observacin. La definicin de lmite significa que cuando los valores
Domf x se aproximan a a por la derecha o por la izquierda, los valores
de ) ( x f se aproximan a L .

Ejemplo. 30 ) 6 9 ( lim
4
=

x
x

Para 0 > , encontrar 0 > tal que si R Domf x = y
< < a x 0 , entonces < L x f ) (
Sustituimos 6 9 ) ( = x x f , 4 = a , 30 = L
< < 4 0 x entonces < 30 6 9x
Anlisis:
4 9 36 9 30 6 9 = = x x x (1)
Y necesitamos que < = 4 9 30 6 9 x x
Por lo que 9 / 4 < x .
As podemos considerar 9 / =

Justificacin: Para 0 > , si R Domf x = existe 9 / =
Tal que si 9 / 4 0 = < < x (2)
entonces
4 9 30 ) ( = x x f de (1)


=
|

\
|
<
9
9 usando (2)
Por lo tanto 30 ) 6 9 ( lim
4
=

x
x


Ejemplo. 6 ) 5 4 ( lim
2
= +

x
x

Tenemos x x f 5 4 ) ( + = , 2 = a , 6 = L
Sustituimos en < < a x 0 entonces < L x f ) (

< + = < 2 ) 2 ( 0 x x entonces < + ) 6 ( 5 4 x
Anlisis:
x x x x + = + = + + = + 2 5 5 10 6 5 4 ) 6 ( 5 4 (1)
3
Y necesitamos que < + = + + x x 2 5 6 5 4
Por lo que 5 / 2 < + x
proponemos 5 / =

Justificacin: Para 0 > , si R Domf x = existe 5 / =
Tal que si 5 / 2 0 = < + < x (2)
entonces
2 5 6 5 4 + = + + x x de (1)


= |

\
|
<
5
5 usando (2)
Por lo tanto
6 ) 5 4 ( lim
2
= +

x
x

6 5 4 3 2 1 1 2 3
11
10
9
8
7
6
5
4
3
2
1
y

Hay ocasiones donde debemos manejar dos o ms valores de .

Ejemplo.
3
2
1
2
lim
2
=
+

x
x

Tenemos
1
2
) (
+

=
x
x f , 2 = a ,
3
2
= L
Sustituimos en < < a x 0 entonces < L x f ) (
< < 2 0 x entonces < +
+

3
2
1
2
x

Anlisis:
1 3
2 2
) 1 ( 3
2 2 6
3
2
1
2
3
2
1
2
+

=
+
+ +
= +
+

= +
+

x
x
x
x
x x
(1)
Y necesitamos que <
+

= +
+

1 3
2 2
3
2
1
2
x
x
x

Ahora se debe acotar el trmino 1 + x que contiene a la variable x, y es
diferente a 2 x
Por lo que consideramos un
1
auxiliar, digamos 1
1
= == =
4
As tenemos por propiedades del valor absoluto que
si 1 2 < x
1 2 1 < < x
Luego con operaciones apropiadas formamos la expresin
1
1
+ x

1 2 1 < < x 4 1 2 < + < x ,
2
1
1
1
4
1
<
+
<
x

2
1
1
1
1
1
<
+
=
+ x x
(2)
Usamos esta desigualdad, multiplicndola por
3
2 2 x
de ambos lados para
obtener el lado derecho de (1)


3
2
) 2 ( 3
2 2
1 3
2 2
=

<
+
x x
x
x
(3)
Ahora sustituimos en la desigualdad que necesitamos
<

<
+

= +
+

3
2
1 3
2 2
3
2
1
2
x
x
x
x


Donde podemos despejar al trmino 2 x , con lo que
3 2 < x ,
Y podemos considerar una segunda 3
2
=

As si { } { } 3 , 1 min , min
2 1
= = se satisface la definicin del lmite

Justificacin: Para 0 > , si { } 1 = R Domf x existe
{ } { } 3 , 1 min , min
2 1
= =
Tal que si { } { } 3 , 1 min , min 2 0
2 1
= = < < x
entonces ) 4 ( 1 2 < x y ) 5 ( 3 2 < x
(4) implica que
2
1
1
1
<
+ x
y lo sustituimos en (1)
1 3
2 2
3
2
1
2
+

= +
+

x
x
x


3
2
) 2 ( 3
2 2
1 3
2 2
3
2
1
2

=

<
+

= +
+

x x
x
x
x


=

<

< +
+

3
3
3
2
3
2
1
2 x
x
usando (5)
5
Por lo tanto
3
2
1
2
lim
2
=
+

x
x




4 3 2 1 1 2 3 4 5 6
3
2
1
1
x
y


Ejemplo. 5
1
4 3
lim
2
1
=
+


x
x x
x

Tenemos
1
4 3
) (
2
+

=
x
x x
x f , 1 = a , 5 = L
Sustituimos en < < a x 0 entonces < L x f ) (
< + < 1 0 x entonces < +
+

5
1
4 3
2
x
x x


Anlisis 1 5 4 5
1
) 4 )( 1 (
5
1
4 3
2
+ = + = +
+
+
= +
+

x x
x
x x
x
x x
(1)
Y necesitamos que
< + = +
+

1 5
1
4 3
2
x
x
x x

Por lo que < +1 x , as podemos considerar =

Justificacin: Para 0 > , si { } 1 = R Domf x existe =
Tal que si = < + < 1 0 x entonces
< + = +
+

1
3
2
1
4 3
2
x
x
x x
de (1)
Por lo tanto 5
1
4 3
lim
2
1
=
+


x
x x
x

6
3 2 1 1 2 3
7
6
5
4
3
2
1
x
y


Ejemplo. 48 ) 2 ( lim
2
6
= +

x x
x

Tenemos x x x f 2 ) (
2
+ = , 6 = a , 48 = L
Sustituimos en < < a x 0 entonces < L x f ) (
< < 6 0 x entonces < + 48 2
2
x x
Anlisis 8 6 ) 8 )( 6 ( 48 2
2
+ = + = + x x x x x x (1)
Ahora se debe acotar el trmino 8 + x que contiene a la variable x, y es
diferente a 6 x
Por lo que consideramos un auxiliar, digamos 1
1
= .
As tenemos que si 1 6 < x
1 6 1 < < x , 15 8 13 < + < x , 15 8 < + x (2)
Usamos esta desigualdad, multiplicndola por los trminos adecuados para
obtener
15 6 8 6 < + x x x (3)
Ahora sustituimos en la desigualdad que necesitamos
< < + = + 6 15 8 6 48 2
2
x x x x x
Donde podemos dejar slo al trmino 6 x , con lo que
15
6

< x ,
Y podemos considerar
15
2

=
Justificacin: Para 0 > , si R Domf x = existe
{ }
)
`

= =
15
, 1 min , min
2 1

tal que si < < 6 0 x ,
entonces 1 6 0 < < x (4) y
15
6 0

< < x (5)
(4) implica 15 8 < + x y sustituimos en (1)
8 6 ) 8 )( 6 ( 48 2
2
+ = + = + x x x x x x
7
6 15 8 6 48 2
2
< + = + x x x x x
=

< < +
15
15 6 15 48 2
2
x x x usando (5)
Por lo tanto 48 ) 2 ( lim
2
6
= +

x x
x



Ejemplo. 8 ) 4 ( lim
2
2
= == = + ++ +

x
x
caso en que al acotar queda un intervalo
negativo.
Tenemos 4 ) (
2
+ = x x f , 2 = a , 8 = L
Sustituimos en < < a x 0 entonces < L x f ) (
< + < 2 0 x entonces < + 8 4
2
x
Anlisis: 2 2 4 8 4
2 2
+ = = + x x x x (1)
Ahora se debe acotar el trmino 2 x que contiene a la variable x, y es
diferente a 2 + ++ + x
Por lo que consideramos un
1
auxiliar, digamos 1
1
= == = .
As tenemos que si 1 2 < << < + ++ + x
1 2 1 < << < + ++ + < << < x , 3 2 5 < << < < << < x , 5 2 3 < << < < << < x 5 2 < << < x (2)
Usamos esta desigualdad, multiplicndola por los trminos adecuados para
obtener
5 2 2 2 + ++ + < << < + ++ + x x x (3)
Ahora sustituimos en la desigualdad que necesitamos
< + < + = + 2 5 2 2 8 4
2
x x x x
Donde podemos dejar slo al trmino 2 + ++ + x , con lo que
5
2

< << < + ++ + x ,
Y podemos considerar
5
2

= == =
Justificacin: Para 0 > , si R Domf x = existe
{ {{ { } }} }
) )) )
` `` `




= == = = == =
5
, 1 min , min
2 1

tal que si
< << < + ++ + < << < 2 0 x implica 1 2 0 < + < x (4) y
5
2 0

< + < x (5)
(4) implica 5 2 < << < x y sustituimos en (1)
2 2 8 4
2
+ = + x x x
2 5 2 2 8 4
2
+ < + = + x x x x
< + < + = + 2 5 2 2 8 4
2
x x x x
=

< + < +
5
5 2 5 8 4
2
x x usando (5)
8
Por lo tanto 8 ) 4 ( lim
2
2
= == = + ++ +

x
x


Ejemplo. 4 ) 4 5 ( lim
3
0
= + +

x x
x

Tenemos 4 5 ) (
3
+ + = x x x f , 0 = a , 4 = L
Sustituimos en < < a x 0 entonces < L x f ) (
< << < = == = < << < x x 0 0 entonces < + + 4 4 5
3
x x
Anlisis 5 5 4 4 5
2 3 3
+ = + = + + x x x x x x (1)
Por lo que consideramos un
1
auxiliar, digamos 1
1
= == =
As tenemos que si 1 < << < x
1 1 < << < < << < x , 1 0
2
< << < < << < x , 6 5 5
2
< + < x (2)

Usamos esta desigualdad, multiplicndola por los trminos adecuados para
obtener
x x x 6 5
2
< << < + ++ + < << < x 6
Despejamos
2
6


= == = < << < x
Justificacin: Para 0 > , si R Domf x = existe
{ }
)
`

= =
6
, 1 min , min
2 1

tal que si < << < = == = < << < x x 0 0
Entonces 1 0 < < x (4) y
6
0

< < x (5)
(4) implica 6 5
2
< + x y sustituimos en (1)
5 4 4 5
2 3
+ = + + x x x x
x x x x x 6 5 4 4 5
2 3
< + = + +
=

< < + +
6
6 6 4 4 5
3
x x x usando (5)
Por lo tanto 4 ) 4 5 ( lim
3
0
= + +

x x
x


Ejemplo. 2
6
3 5
lim
3
=

x
x
x

Tenemos
x
x
x f

=
6
3 5
) ( , 3 = a , 2 = L
Sustituimos en < < a x 0 entonces < L x f ) (

< + < 3 0 x entonces < +

2
6
3 5
x
x

Anlisis:
x
x
x
x
x
x x
x
x

+
=

+
=

+
= +

6
3 3
6
9 3
6
2 12 3 5
2
6
3 5
(1)
9
Y necesitamos que <

+
= +

x
x
x
x
6
3 3
2
6
3 5

Ahora se debe acotar el trmino
x 6
1
que contiene a la variable x, que es
diferente a 3 + x
Por lo que consideramos un auxiliar, digamos 1
1
= == =
As tenemos que si 1 3 < + x , por propiedades del valor absoluto
1 3 1 < + < x , 1 3 1 < < x , 10 6 8 < < x

8
1
6
1
10
1
<

<
x
as que
8
1
6
1
6
1
<

=
x x
(2)
Usamos esta desigualdad, multiplicndola por los trminos adecuados para
obtener
8
3 3
6
3 3 +
<

+ x
x
x
(3)
Ahora sustituimos en la desigualdad que necesitamos
<
+
<

+
= +

8
3 3
6
3 3
2
6
3 5
x
x
x
x
x

Donde podemos dejar slo al trmino 3 + x , con lo que
3
8
3

< + x y consideramos
3
8
2

=
Justificacin: Para 0 > si { } 6 = R Domf x existe
{ }
)
`

= =
3
8
, 1 min , min
2 1


Tal que si < + < 3 0 x
Entonces 1 3 0 < + < x (4) y
3
8
3 0

< + < x (5)
(4) implica
8
1
6
1
<
x
y sustituimos en (1)
x
x
x
x

+
= +

6
3 3
2
6
3 5

8
3 3
6
3 3
2
6
3 5
+
<

+
= +

x
x
x
x
x

=
|

\
|
<
+
< +

3
8
8
3
8
3 3
2
6
3 5
x
x
x
usando (5)
Por lo tanto 2
6
3 5
lim
3
=

x
x
x


Ejemplo. 5
1
3
lim
2
=

x
x
x
caso en que la auxiliar 1 = no funciona.
10
Tenemos
1
3
) (

+
=
x
x
x f , 2 = a , 5 = L
Sustituimos en < < a x 0 entonces < L x f ) (

< << < < << < 2 0 x entonces <

+
5
1
3
x
x

Anlisis:
1
2 4
1
4 8
1
5 5 3
5
1
3

+ +
=

+
x
x
x
x
x
x x
x
x
(1)
Y necesitamos que <

+
1
2 4
5
1
3
x
x
x
x

Ahora se debe acotar el trmino
1
1
x
que contiene a la variable x, y es
diferente a 2 x
Por lo que consideramos un auxiliar, digamos 1
1
= == =
As tenemos que si 1 2 < << < x , por propiedades del valor absoluto
1 2 1 < << < < << < x , 2 1 0 < << < < << < x ,

1
1
2
1

< << <
x
no nos sirve esta desigualdad, porque el cero no tiene inverso
multiplicativo
Por lo que otro auxiliar, digamos
2
1
1
=
as que
2
1
2 < << < x por propiedades del valor absoluto
2
1
2
2
1
< << < < << < x ,
2
3
1
2
1
< << < < << < x , 2
1
1
3
2
< << <

< << <
x
, 2
1
1
<
x
(2)

Usamos esta desigualdad, multiplicndola por los trminos adecuados para
obtener
x
x
x
< << <


2 8
1
2 4

Ahora sustituimos en la desigualdad que necesitamos
< <

+
x
x
x
x
x
2 8
1
2 4
5
1
3

Donde podemos dejar slo al trmino x 2 , con lo que
8
2

< << < x ,
Consideramos
8
2

= == =
Justificacin: Para 0 > , si { } 1 = R Domf x , existe
{ }
)
`

= =
8
,
2
1
min , min
2 1

tal que si < << < < << < 2 0 x entonces
11

2
1
2 0 < < x (4) y
8
2 0

< < x (5)
(4) implica 2
1
1
<
x
y sustituimos en (1)
1
2 4
5
1
3

+
x
x
x
x

x
x
x
x
x
<

+
2 8
1
2 4
5
1
3

= |

\
|
< <

+
8
8 2 8 5
1
3
x
x
x
usando (5)
Por lo tanto 5
1
3
lim
2
=

x
x
x


Ejemplo.
2
0
1
lim
x
x
no existe
Sea R L , 0 > L
Existe 0 > , 0
2
> =
L
tal que para todo 0 > ,
si Domf x y
)
`

< <
L
x
) 2 / 3 (
1
, min 0 , se tiene que
L
x
) 2 / 3 (
1
2
<
o ) (
1
) 2 / 3 (
2
x f
x
L = <
= = > L L L L x f
2
1
2
3
) (
Y no se satisface < L x f ) (
4 3 2 1 1 2 3 4 5
1
1
2
3
4
5
6
7
8
x
y


Ejemplo.
2
2
lim
2

x
x
x
no existe

)
`

<
>
=

=
2 si 1
2 si 1
2
2
) (
x
x
x
x
x f
12
2 1 1 2 3 4 5 6 7
5
4
3
2
1
1
2
3
4
x
y

En palabras, cuando x se aproxima a 2 por la derecha el valor de la
funcin es 1, mientras que cuando x se aproxima a 2 por la izquierda el
valor de la funcin es 1 , y como 1 1 no existe el lmite.

Lema. Si < c para todo 0 > , entonces 0 = c .
Demostracin. Si 0 c , 0
2
1
> c sea = c
2
1

Entonces c c
2
1
< ,
2
1
1< es una contradiccin
Por lo tanto 0 = c .

Teorema. Unicidad del lmite.
Si existe ) ( lim x f
a x
, entonces es nico.
Demostracin. Sea L x f
a x
=

) ( lim y L x f
a x
=

) ( lim
Sea 0 > , 0 2 / > existen 0 y 0
2 1
> > tales que si Domf x y
1
0 < < a x y
2
0 < < a x
entonces 2 / ) ( < L x f y 2 / ) ( < L x f
consideramos { }
2 1
, min = , si Domf x y < < a x 0 , entonces
= + <
+ + =
2 / 2 /
) ( ) ( ) ( ) ( L x f x f L L x f x f L L L

Y por el lema anterior 0 = L L
Por lo tanto L L = .

Teorema.
Si L x f
a x
=

) ( lim y M x g
a x
=

) ( lim entonces existe ) )( ( lim x g f

a x
+

y
M L x g f
a x
+ = +

) )( ( lim .
Demostracin.
Sea 0 > , 0 2 / >
13
existe 0
1
> tal que si Domf x y
1
0 < < a x entonces 2 / ) ( < L x f
y
existe 0
2
> tal que si Domg x y
2
0 < < a x entonces 2 / ) ( < M x g
consideramos { }
2 1
, min = ,
si Domg Domf x I y < < a x 0 , entonces
= + <
+
+ = + +
2 / 2 /
) ( ) (
) ( ) ( ) ( ) )( (
M x g L x f
M L x g x f M L x g f

Por lo tanto M L x g f
a x
+ = +

) )( ( lim .

Ejemplo. 5 2 ) ( + = x x f 1 3 ) ( + = x x g en 2 = a
por separado

7 1 6 1 3 lim ) ( lim
1 5 4 5 2 lim ) ( lim
2 2
2 2
= + = + =
= + = + =


x x g
x x f
x x
x x

Los sumamos 8 7 1 ) ( lim ) ( lim
2 2
= + = +

x g x f
x x

Aparte, la funcin suma es
6 1 3 5 2 ) ( ) ( ) )( ( + = + + = + = + x x x x g x f x g f y
8 6 ) 2 ( 6 lim ) )( ( lim
2 2
= + = + = +

x x g f
x x

Se verifica que ) ( lim ) ( lim ) )( ( lim
2 2 2
x g x f x g f
x x x
+ = +

Teorema.
Si L x f
a x
=

) ( lim y M x g
a x
=

) ( lim entonces existe ) )( ( lim x fg

a x
y
LM x fg
a x
=

) )( ( lim .
Demostracin.
M x g L L x f x g
M x g L L x f x g
LM x Lg x Lg x g x f LM x g x f LM x fg
+
+ =
+ = =
) ( ) ( ) (
) ) ( ( ) ) ( )( (
) ( ) ( ) ( ) ( ) ( ) ( ) )( (
(1)

Dado 0 >
Para 0
) 1 ( 2
1
>
+
=
M

, como L x f
a x
=

) ( lim
existe 0
1
> tal que si Domf x y
1
0 < < a x entonces
) 1 ( 2
) (
1
+
= <
M
L x f



Para 0
) 1 ( 2
2
>
+
=
L

, como M x g
a x
=

) ( lim
14
existe 0
2
> tal que si Domg x y
2
0 < < a x entonces
) 1 ( 2
) (
2
+
= <
L
M x g



Para 0 1
3
> = , como M x g
a x
=

) ( lim
existe 0
3
> tal que si Domg x y
3
0 < < a x entonces
1 ) (
2
= < M x g
1 ) ( ) ( < M x g M x g
1 ) ( 1 < < M x g M x g + <1 ) (

consideramos { }
3 2 1
, , min = ,
si ) ( g f Dom Domg Domf x + = I y < < a x 0 , entonces
M x g L L x f x g LM x fg + ) ( ) ( ) ( ) )( ( de (1)
( )

= + <
+
+ =
+
+
+
+ <
2 2 ) 1 ( 2 2 ) 1 ( 2 ) 1 ( 2
1
L
L
L
L
M
M
Por lo tanto LM x fg
a x
=

) )( ( lim

Ejemplo. 5 2 ) ( + = x x f 1 3 ) ( + = x x g en 2 = a
por separado

7 1 6 1 3 lim ) ( lim
1 5 4 5 2 lim ) ( lim
2 2
2 2
= + = + =
= + = + =


x x g
x x f
x x
x x

Los multiplicamos 7 ) 7 ( 1 ) ( lim ) ( lim
2 2
= =

x g x f
x x

Aparte, la funcin multiplicacin es
5 13 6 ) 1 3 )( 5 2 ( ) ( ) ( ) )( (
2
+ = + + = = x x x x x g x f x fg y

7 5 26 24
5 ) 2 ( 13 ) 2 ( 6 5 13 6 lim ) )( ( lim
2 2
2 2
= + + =
+ = + =

x x x fg
x x

Se verifica que ) ( lim ). ( lim ) )( ( lim x g x f x fg
a x a x a x
= .

Teorema.
Si existen ) ( lim x f
a x
) )( ( lim x g f
a x
+

entonces existe ) ( lim x g

a x
.
Demostracin.
Si existen ) ( lim x f
a x
entonces existe ) )( ( lim x f
a x

y
) )( ( lim ) )( ( lim
)) )( ( ) )( (( lim ) ( lim
x f x g f
x f x g f x g
a x a x
a x a x
+ + =
+ + =



Existe.
15
Ejemplo. Como
3
1 1
lim
3
=

x
x
y
3
10
3
3
1
9
1
lim
3
3
= + = |

\
|
+

x
x
x
entonces
Existe 3
3
1
3
10 1
lim 9
1
lim 9 lim
3
3
3
3
3
= = |

\
|
|

\
|
+ =

x
x
x
x
x x x



Proposicin. Si L x f
a x
=

) ( lim y no existe ) ( lim x g

a x
entonces no existe
) )( ( lim x g f
a x
+

.
Demostracin.
Suponemos que existe ) )( ( lim x g f
a x
+

y como existe ) ( lim x f

a x
, existe
) )( ( lim x f
a x

, por el teorema de lmite de una suma existe,

( ) ( ) ) ( lim ) ))( ( ( lim ) )( ( ) )( ( lim x g x f g f x f x g f
a x a x a x
= + + = + +
lo que contradice que ) ( lim x g
a x
no existe.
Por lo tanto, no existe ) )( ( lim x g f
a x
+

.

Ejemplo. 4 4 lim
0
= +

x
x
y
x
x
1
lim
0
no existe, entonces
x
x
x
1
4 lim
0
+ +

no existe

Nota
Si no existen ) ( lim x f
a x
, ) ( lim x g
a x
puede existir o no ) )( ( lim x g f
a x
+

.

Ejemplo.
Sabemos que
2
2
lim
2

x
x
x
no existe, sea ) (
2
2
) ( x g
x
x
x f =

=
Luego
2
2
2 lim ) )( ( lim

= +

x
x
x g f
a x a x
no existe

Ejemplo.
Sabemos que
2
2
lim
2

x
x
x
no existe, sea
2
2
) (

=
x
x
x f y
2
2
) (

=
x
x
x g
Luego 0 0 lim
2
2
2
2
lim ) )( ( lim = =
|
|

\
|

= +
a x a x a x
x
x
x
x
x g f si existe.

Limites bsicos:
i) C C
a x
=

lim
ii) a x
a x
=

lim
iii)
n
n
n
n
a x
a b a b b x b x b b + + + = + + +

K K
1 0 1 0
) ( lim
16
iv) 0 para
1 1
lim =

a
a x
a x

v) 0 para lim =

a a x
a x


iv) 0 para
1 1
lim =

a
a x
a x

Demostracin.
Caso. 0 > a
xa
x a
a x

=
1 1

Sea 0
2
1
> =
a
, si 0 x y
1
0 < < a x ,
< <
2 2
a
a x
a

2
3
2
a
x
a
< < ,
a x a
2 1
3
2
< <

<

<

2
2
a
x a
xa
x a


2
2
a
x a < tomamos
2
2
2


=
a


Para 0 > , sea
)
`

=
2
,
2
min
2


a a


Caso. 0 < a 0 > a , 0
2
1
> =
a

Si
1
0 < < a x
2 2
a
a x
a
< <

2 2
3 a
x
a
< < ,
2
3
2
a
x
a
< <
x x
a
= <
2
,
a x
2 1
<
Multiplicando de ambos lados
a x
2 1
< <

<

2 2
2 2
2
a
x a
a
x a
a a
x a
x a
x a

Por lo que
2
2
2


= <
a
x a

v) 0 para lim =

a a x
a x

Demostracin.
Caso. 0 = a 0 lim
0
=

x
x

17
< = = x x x 0 si
2
< x
Entonces para cada 0 > , existe 0
2
> = tal que si Domf x y
2
0 0 = < = = < x x x
Se satisface < 0 x

Caso. 0 > a
a x
a x
a x
a x a x
a x
+

=
+
+
=
) )( (

Como x a a + ,
a x a
1 1

+

<

a
a x
x a
a x


= < a a x .

Teorema.
Si L x f
a x
=

) ( lim y ) ( ) ( lim L g t g
L t
=

entonces existe ) )( ( lim x f g

a x
o

y
)) ( lim ( ) ( ) )( ( lim x f g L g x f g
a x a x
= = o .
Demostracin.
Sea 0 > , como ) ( ) ( lim L g t g
L t
=

Existe, 0
1
> tal que si Domg t y
1
0 < < L t entonces
< ) ( ) ( L g t g
Luego para 0
1
> , como L x f
a x
=

) ( lim
Existe 0 > tal que si Domf x y < < a x 0 entonces
1
) ( < L x f , por lo que
Para 0 > , existe 0 > tal que si { } Domg x f Domf x f g Dom x = ) ( : ) ( o ,
Consideramos t x f = ) (
Si < < a x 0
Entonces
1
) ( < = L t L x f
Lo que implica < ) ( ) ( L g t g o
Por lo tanto )) ( lim ( ) ( ) )( ( lim x f g L g x f g
a x a x
= = o .

Ejemplo. 3 9 1 4 lim 1 4 lim
2 2
= = + = +

x x
x x


Teorema.
18
Si 0 ) ( lim =

L x f
a x
entonces existe
) (
1
lim
x f
a x
y
L x f
a x
1
) (
1
lim =

Demostracin.
Consideramos la funcin
x
x g
1
) ( = , como 0 L
L x
L x
1 1
lim =

Hacemos la composicin
L x f
x f g x f g
a x
a x a x
1
) ( lim
1
)) ( lim ( ) )( ( lim = = =

o

Ejemplo.
3
1
9
1
1 4 lim
1
1 4
1
lim
2
2
= =
+
=
+

x x
x
x


Teorema.
Si L x f
a x
=

) ( lim y 0 ) ( lim =

M x g
a x
entonces existe ) )( / ( lim x g f
a x
y
M L x g f
a x
/ ) )( / ( lim =

.
Demostracin.
M L M L x g x f x g f x g f
a x a x a x a x
/ ) / 1 ( ) )( / 1 ( lim ) )( ( lim ) ))( / 1 ( ( lim ) )( / ( lim = = = =



Ejemplo. 5 2 ) ( + = x x f 1 3 ) ( + = x x g en 2 = a
por separado

0 7 1 6 1 3 lim ) ( lim
1 5 4 5 2 lim ) ( lim
2 2
2 2
= + = + =
= + = + =


x x g
x x f
x x
x x

Hacemos el cociente
7
1
) ( lim
) ( lim
2
2
=


x g
x f
x
x

Aparte, la funcin cociente es

1 3
5 2
) ( / ) ( ) )( / (
+
+
= =
x
x
x g x f x g f y

7
1
1 6
5 4
1 ) 2 ( 3
5 ) 2 ( 2
1 3
5 2
lim ) )( / ( lim
2 2
=
+
+
=
+
+
=
+
+
=

x
x
x g f
x x

Se verifica que ) ( lim / ) ( lim ) )( / ( lim x g x f x g f
a x a x a x
= .

Lmites de la forma
0
0
o que requieren simplificacin
algebraica.
Calcule numricamente los siguientes lmites
i)
2
8
lim
3
2



x
x
x
es de la forma
0
0

19

12 ) 4 2 ( lim
2
) 4 2 )( 2 (
lim
2
8
lim
2
2
2
2
3
2
= + + =

+ +
=

x x
x
x x x
x
x
x
x x


ii)
x
x
x
9 ) 3 (
lim
2
0
+

6 ) 6 ( lim
) 3 3 (
lim
) 3 3 )( 3 3 (
lim
9 ) 3 (
lim
0
0
0
2
0
= + =
+ +
=
+ + +
=
+

x
x
x x
x
x x
x
x
x
x
x x


iii) | || |

| || |

\ \\ \
| || |
+ ++ +


3
1
3
1 1
lim
0
x x
x


|
|

\
|

+
= |

\
|
+

) 3 ( 3
3 3 1
lim
3
1
3
1 1
lim
0 0
x
x
x x x
x x


|
|

\
|

=

) 3 ( 3
1
lim
0
x
x
x
x


9
1
) 3 ( 3
1
lim
0
=
|
|

\
|

=

x
x


iv)
|

\
|

2 4
8
lim
2
2
x
x
x
x
es de la forma

|
|

\
|

+
=
|
|

\
|

=
|

\
|

+
= |

\
|

4
) 8 2 (
lim
4
) 2 8
lim
4
) 2 ( 8
lim
2 4
8
lim
2
2
2
2
2
2
2
2
2
2
x
x x
x
x x
x
x x
x
x
x
x
x
x x


2
3
4
6
2
) 4 (
lim
4
) 2 )( 4 (
lim
2
2
2
= =
|

\
|
+
+
=
|

\
|

+
=

x
x
x
x x
x
x


v)
x
x
x
3 3
lim
0
+ ++ +



|
|

\
|
+ +
+ + +
=
+

3 3
3 3 3 3
lim
3 3
lim
0 0
x
x
x
x
x
x
x x

20

|

\
|
+ +
+
=

3 3
3 3 1
lim
0
x
x
x
x


3 2
1
3 3
1
lim
3 3
1
lim
0
0
= |

\
|
+ +
=
|

\
|
+ +
=

x
x
x
x
x
x


Teorema. Del encaje o del sandwich.
Sea I un intervalo abierto tal que I x x h x g x f todo para ) ( ) ( ) ( si
) ( lim ) ( lim x h L x f
a x a x
= = entonces existe ) ( lim x g
a x
y L x g
a x
=

) ( lim .
Demostracin.
Sea 0 > ,
como L x f
a x
=

) ( lim , existe 0
1
> tal que si Domf x y
1
0 < < a x
entonces < L x f ) ( o < < L x f ) ( , L x f L + < < + ) (
Como L x h
a x
=

) ( lim , existe, 0
2
> tal que si ) (h Dom x y
2
0 < < a x
Entonces < L x h ) ( o < < L x h ) ( , L x h L + < < + ) (

Sea { }
2 1
, min = si I x y < < a x 0
Entonces ) (x f L < + , L x h + < ) ( y ) ( ) ( ) ( x h x g x f
Por lo que L x h x g x f L + < < + ) ( ) ( ) ( o
L x g L + < < + ) ( de donde < < L x g ) ( y < L x g ) (

Ejemplo. x x h
x
x
x g x f =
+
= = ) ( y
1
) ( , 0 ) (
2

Se satisface ) ( ) ( ) ( x h x g x f R x todo para y
) ( lim 0 ) ( lim
0 0
x h x f
x x
= = por lo tanto 0
1
lim ) ( lim
2
0 0
=
+
=

x
x
x g
x x


LIMITES LATERALES

Limite lateral derecho.
Definicin. Sea R R f : y R a , R L . Se dice que L es el lmite
lateral derecho de ) (x f en a si para cada 0 > , existe 0 > tal que si
Domf x y + < < a x a ( < < a x 0 ) entonces < L x f ) ( .
Notacin: L x f
a x
=
+

) ( lim

Ejemplo. 0 25 lim
2
5
= == =
+ ++ +

x
x

Para 0 > , encontrar 0 > tal que si | || | | || | 5 , 5 x y < << < + ++ + < << < 5 0 x ,
21
entonces < << < 0 25
2
x
Pero ) 5 )( 5 ( 25
2
x x x + = (1)
consideramos un
1
auxiliar, digamos 1
1
= == = .
As tenemos que si 1 5 0 < + < x ,
0 5 1 < < x , 10 5 9 < + < x ,
) 5 ( 10 ) 5 )( 5 ( 10 5 x x x x + < + + < + (2)
Queremos
2
) 5 ( 10 < + x , entonces
10
5
2

< + x por lo que tomamos
10
2
2

=
Justificacin: para 0 > , existe 0 > , { }
)
`

= =
10
, 1 min , min
2
2 1


tal que si | || | | || | 5 , 5 x y < << < + ++ + < << < 5 0 x , entonces
1 5 0 < + < x (3) y
10
5
2

< + x (4)
(3) implica (2) ) 5 ( 10 ) 5 )( 5 ( x x x + < + +
Y
2
2
10
10 ) 5 ( 10 ) 5 )( 5 (

= < + < + + x x x
Y sustituimos en (1) = < + =
2 2
) 5 )( 5 ( 25 x x x

5 4 3 2 1 1 2 3 4 5 6
2
1
1
2
3
4
5
x
y

2
25 ) ( x x f =

Limite lateral izquierdo.
Definicin. Sea R R f : y R a , R L . Se dice que L es el lmite
lateral izquierdo de ) (x f en a si para cada 0 > , existe 0 > tal que si
Domf x y a x a < < ( < < x a 0 ) entonces < L x f ) ( .
Notacin: L x f
a x
=

) ( lim

Ejemplo. 0 3 lim
3
= == =


x
x

Para 0 > , encontrar 0 > tal que si ( (( ( | || | 3 , x y < << < < << < x 3 0 ,
22
entonces < << < 0 3 x
Pero = == = < << < < << <
2
3 3 x x
4 3 2 1 1 2 3 4 5
2
1
1
2
3
4
x
y

x x f = 3 ) (

Teorema. El ) ( lim x f
a x
existe si y solo si existen ) ( lim x f
a x
+

y ) ( lim x f
a x

y
son iguales.

Ejemplo.

< <

=
x
x x
x x
x f
4 si 4
4 2 si 2 8
2 si
) (
2

4 lim ) ( lim
2
2 2
= == = = == =


x x f
x x
y 4 2 8 lim ) ( lim
2 2
= == = = == =
+ ++ + + ++ +

x x f
x x
por lo tanto existe
4 ) ( lim
2
= == =

x f
x

0 2 8 lim ) ( lim
4 4
= == = = == =


x x f
x x
y 4 4 lim ) ( lim
4 4
= == = = == =
+ ++ + + ++ +
x x
x f por lo tanto no existe
) ( lim
4
x f
x


BIBLIOGRAFIA
1. Haaser, LaSalle, Sullivan. Anlisis Matemtico. Vol. 1 Ed. Trillas
2. Spivak Michael. Clculus. Ed. Reverte.
3. Kosmala A.J. Witdd, Advanced Calculus. Prentice Hall, New Jersey