Limfunc

Lmites
de
Funciones
I. E. S. Siete Colinas (Ceuta) Departamento de Matemticas
M a t e m t i c a s
d e
1 y 2 d e B a c h i l l e r a t o
Por Javier Carroquino CaZas
Catedrtico de matemticas
del
I.E.S. Siete Colinas
Ceuta 2004
Lmites de Funciones
Javier Carroquino Caas
Matemticas de 1 y 2 de bachillerato

Ciencias de la Naturaleza y la Salud
Tecnologa
Lmites de Funciones
Por
Catedrtico de matemticas
I.E.S. Siete Colinas (Ceuta)
Departamento de Matemticas
Ceuta 2004
I.E.S. Siete Colinas (Departamento de Matemticas)
Lmites de Funciones
Depsito Legal : CE&127&2004
ISBN : 84&689&0025&7
Nmero de Registro : 64185838
Ceuta 2004
Prlogo
C
on este tema Lmites de Funciones, se avanza un
paso ms en el estudio de las funciones que iniciamos
con los temas Funciones Reales de Variable Real,
Grficas de Funciones Reales de Variable Real y
Propiedades y formas de las Funciones Reales de
Variable Real, pertenecientes a la misma coleccin.
Dentro del Anlisis Matemtico&una de las ramas de
Matemticas que ms ha contribuido al desarrollo cientfico
y tecnolgico&es bsico el concepto y estudio de los lmites
de las funciones, que nos permitir conocer el
comportamiento, la forma y grfica de una funcin cuando
la variables se dirige hacia el infinito ( 4) o cuando la
variable se aproxima tanto como podamos imaginar a un
cierto nmero x = a para el cual la funcin no toma ningn
valor , pero, sin embargo, si toma valores para cualquier
nmero prximo a ese a. Todo esto con el fin de recabar
informacin sobre una funcin, la cual nos permitir
conocer su forma, sus propiedades y, en definitiva, su
grfica, tanto en todo su dominio como en las proximidades
(en un entorno) de un punto.
Una vez desarrollados los conceptos y significados
del lmite de una funcin, pueden construirse otros que son
pilares fundamentales del Anlisis Matemtico,
continuidad, derivacin e integracin, que veremos
en temas posteriores.
Por ltimo, indicar que el contenido de este tema es
til tanto para alumnos de primer curso como de segundo de
bachillerato, especialmente para aquellos que cursan alguna
modalidad cientfica o tecnolgica.
I
Matemticas de 1 y 2 de bachillerato Lmites de Funciones
ndice
Pgina
1.Introduccin ........................................... 1
2.Lmite de una funcin en un punto. Idea intuitiva........ 1
Ejemplo 1 ........................................... 3
3.Lmite de una funcin en un punto. Idea grfica ......... 5
Ejemplo 2 ........................................... 7
4.Lmite de una funcin en un punto. Definicin ........... 8
Ejemplo 3 .......................................... 11
Ejemplo 4 ........................................... 11
5.Propiedades de los lmites .............................. 12
Ejemplo 5 ........................................... 13
Ejemplo 6 ........................................... 14
Ejemplo 7 ........................................... 14
Ejemplo 8 ........................................... 15
6.Lmite de una funcin suma o resta de otras dos ..........15
Ejemplo 9 ........................................... 16
Ejemplo 10 .......................................... 16
7.Lmite de una funcin producto de otras dos ............. 17
Ejemplo 11 .......................................... 17
8.Lmite de una funcin cociente de otras dos ............. 18
Ejemplo 12 .......................................... 18
Ejemplo 13 .......................................... 19
9.Lmite del producto de un nmero por una funcin ........ 20
Ejemplo 14 .......................................... 20
10.Lmite de una funcin potencia de exponente natural .... 21
Ejemplo 15 .......................................... 21
11.Lmite de una funcin potencia de exponente entero .... 22
Ejemplo 16 .......................................... 22
12.Lmite de una funcin potencia de exponente racional ....22
Ejemplo 17 .......................................... 23
Ejemplo 18 .......................................... 23
13.Lmite de una funcin exponencial ..................... 23
Ejemplo 19 .......................................... 24
14.Lmite de una funcin logartmica ..................... 24
Ejemplo 20 .......................................... 24
Ejemplo 21 .......................................... 25
Ejemplo 22 .......................................... 25
15.Lmite de una funcin elevada a otra funcin ........... 25
Ejemplo 23 .......................................... 25
16.Lmites de funciones trigonomtricas .................. 27
Ejemplo 24 .......................................... 27
17.Infinitsimo en un punto ............................... 27
Ejemplo 25 .......................................... 27
Ejemplo 26 .......................................... 28
18.Orden de un infinitsimo en un punto .................. 28
Ejemplo 27 .......................................... 29
Ejemplo 28 .......................................... 29
19.Infinitsimos equivalentes ............................. 30
Ejemplo 29 .......................................... 30
Ejemplo 30 .......................................... 30
II
Matemticas de 1 y 2 de bachillerato Lmites de Funciones
Pgina
20.La indeterminacin 0/0 ................................. 31
21.Forma de resolver la indeterminacin0/0 ................ 33
Ejemplo 31 .......................................... 34
Ejemplo 32 .......................................... 35
22.Lmites laterales de una funcin en un punto ........... 36
Ejemplo 33 .......................................... 42
Ejemplo 34 .......................................... 43
23.Lmites infinitos en un punto .......................... 44
Ejemplo 35 .......................................... 51
Ejemplo 36 .......................................... 53
Ejemplo 37 .......................................... 54
24.Lmites finitos en el infinito.......................... 55
Ejemplo 38 .......................................... 59
25.La indeterminacin 4' 4 ................................. 61
Ejemplo 39 .......................................... 62
Ejemplo 40 .......................................... 64
Ejemplo 41 .......................................... 65
Ejemplo 42 .......................................... 66
26.Lmites infinitos en el infinito ....................... 67
Ejemplo 43 .......................................... 68
Ejemplo 44 .......................................... 70
Ejemplo 45 .......................................... 71
Ejemplo 46 .......................................... 72
Ejemplo 47 .......................................... 75
27.La indeterminacin 4&4 ................................. 75
Ejemplo 48 .......................................... 76
Ejemplo 49 .......................................... 76
Ejemplo 50 .......................................... 76
Ejemplo 51 .......................................... 77
Ejemplo 52 .......................................... 78
Ejemplo 53 .......................................... 79
28.La indeterminacin 1
4
................................. 80
Ejemplo 54 .......................................... 81
Ejemplo 55 .......................................... 82
29.El nmero e ............................................ 83
30.Otras funciones cuyo lmite es el nmero e ............. 84
Ejemplo 56 .... ..................................... 85
Ejemplo 57 .... ..................................... 85
Ejemplo 58 .... ..................................... 85
Ejemplo 59 .......................................... 86
Ejemplo 60 .......................................... 87
Ejemplo 61 .......................................... 87
Ejemplo 62 .......................................... 87
Ejemplo 63 .......................................... 88
Ejemplo 64 .......................................... 88
Ejemplo 65 .......................................... 89
Ejemplo 66 .......................................... 90
Ejemplo 67 .......................................... 91
Ejemplo 68 .......................................... 91
Matemticas de 1 y 2 de bachillerato Pgina 1 Lmite de Funciones
lim ( )
x a
f x l
=
1.Introduccin.-
En este tema abordaremos el concepto de lmite de una funcin real de variable real
cuando la variable independiente tiende (se aproxima) a un cierto nmero a, o bien cuando tiende
a infinito (+4 o &4), esto es, la variable se hace tan grande (positiva o negativa) como podamos
imaginar.
Para una comprensin y utilizacin del concepto, intentaremos abordarlo de forma
intuitiva y, posteriormente, entendiendo su definicin matemtica y, muy importante, su
interpretacin grfica. Resaltemos que no se debe intentar aprender los conceptos terico, tales
como definiciones o propiedades, sin haber comprendido previamente el concepto de un modo
intuitivo y saber trasladar este a una visin grfica.
Por ltimo decir, que es recomendable, antes de iniciarse en este tema, que el alumno
conozca previamente los siguientes, de esta misma coleccin:
L Funciones Reales de una Variable Real.
L Grficas de Funciones Reales de Variable Real.
L Propiedades y formas de las Funciones Reales de Variable Real.
2.Lmite de una funcin en un punto. Idea intuitiva-
\ Sea y = f (x) una funcin real de una variable real ( x es la variable independiente).
\ Sea D
f
el dominio de la funcin f, es decir, el conjunto de nmeros que tienen imagen.
\ Sea a un nmero real, es decir, a 0. Puede ocurrir que a pertenezca o no pertenezca
al dominio D
f
, es decir:
Si a0D
f
, entonces f (a) existe, es decir, f (a)0
Si aD
f
, entonces f (a) no existe, es decir, f (a)
\ Sea l un nmero real cualquiera, es decir, l 0.
\ Vamos a desarrollar y definir el siguiente concepto:
Lmite de la funcin f (x) cuando x tiende a a es igual a l
\ La frase anterior se expresa matemticamente del siguiente modo:

Ya sabemos como se expresa el concepto en forma matemtica. Ahora debemos
comprender su significado.
Lmites de Funciones
La lectura de la expresin matemtica de la izquierda es el
lmite de la funcin f (x) cuando x tiende a a, es igual a l
lim ( ) ( )
x a
f x l f a
= =
lim ( ) ( )
x a
f x l f a
=
lim ( )
x a
f x l
=
\ Veamos el significado del concepto:
\ Cuando x toma valores muy prximos a a, entonces f (x) (las imgenes de esos x)
toman valores muy prximos a l. Es decir:
Si x a , entonces f (x)l
Dicho de otra forma: Si x toma valores infinitamente prximos a a, las imgenes
de esos x toman valores infinitamente prximos a l.
\ Aadimos a lo anterior que, a partir de un nmero prximo a a, cuanto ms
cerca est x de a, ms cerca estar f (x) de l. Es decir:
\ Adems de los puntos anteriores, puede darse alguno de los casos siguientes:
\ El nmero a pertenece al dominio y es f (a) = l. En este caso ser:
\ El nmero a pertenece al dominio, pero f (a) l. En este caso ser:
\ El nmero a no pertenece al dominio, es decir f (a) . En este caso ser:
\ Ahora vamos a dar una definicin intuitiva del concepto:
Insistimos en la idea:
Imagina una sucesin de nmeros x
1
, x
2
, x
3
, x
4
, que se aproximan infinitamente
(estn infinitamente prximos) a a. Entonces, sus imgenes, f (x
1
), f (x
2
), f (x
3
), f (x
4
)
se aproximan infinitamente a l, de tal modo que si queremos que una imagen f (x
i
), est
tan prximo a l como queramos, slo tenemos que elegir un nmero x
i
que est lo
suficientemente prximo a a.
Puede ocurrir que no exista un nmero x
i
tal que f (x
i
) = l, o puede ocurrir que f (a) = l.
Hemos utilizado las expresiones y para
distinguir entre prximo y ms prximo.
La expresin de la izquierda nos indica que el
lmite de la funcin f (x) cuando x tiende a a es
igual a la imagen de la funcin en a.
lmite de la funcin f (x) cuando x tiende a a
no es igual a la imagen de la funcin en a.
lmite de la funcin f (x) cuando x tiende a a es
igual a l. No dice nada sobre la imagen de a.
Se dice que el lmite de la funcin f (x), cuando x tiende a a, es igual a l si para valores
de x infinitamente prximos a a, las imgenes de esos x estn infinitamente prximos
a l, de tal modo que cuanto ms prximo est x de a, ms prximo estar f (x) de l.
\ Antes de dar la definicin formal y matemtica al concepto, veamos un ejemplo que nos
afiance la idea intuitiva.
Ejemplo 1.-
Sea la funcin . f x
x
x
( ) =

2
4
2
Es evidente que el dominio de esta funcin es el conjunto formado por todos los nmero
reales excepto el 2, es decir, D
f
= &{2} = (&4,2)c(2,+4).
En efecto: f ( ) 2
0
0
= R
Sin embargo, si le damos a x valores distintos de 2, pero infinitamente prximos a este,
las imgenes de esos valores existen, es decir:
Si x entonces f x
n muy proximo a
n muy proximo a
un numeroreal = = 2
0
0
, ( )
&
&
&
Nos hacemos la siguiente pregunta (que planteamos de diversas formas):
Cmo se comporta la funcin en las proximidades de x = 2?
Cmo son las imgenes de f (x) cuando x 2 ?
Cmo es la grfica de la funcin f (x) cuando x 0E
(a) ?, siendo un n pequeo.

En definitiva:
Cul es el valor de ?
lim ( )
x a
f x
Vamos a encontrar ese valor de un modo experimental, es decir, daremos a la variable x

valores numricos muy prximos a 2 y veremos cuanto valen las imgenes de esos nmeros.
Para ello construiremos dos tablas de valores para la funcin f (x). Una con valores de x
muy prximos a 2 por su izquierda, es decir, x = 2
&
y otra con valores muy prximos por su
derecha, esto es, x = 2
+
.
Si los valores que damos a x se van aproximando cada vez ms a 2 y esa aproximacin
es tanta como queramos, puede expresarse del modo x 6 2
&
(x tiende a 2 por su izquierda, esto
es, los valores son menores que 2) y x 62
+
(x tiende a 2 por su derecha, esto es, los valores son
mayores que 2).
x = 2
&
f x
x
x
( ) =

2
4
2
x = 2
+
f x
x
x
( ) =

2
4
2
1 3 3 5
19 39 21 41
199 399 2,01 401
1999 3999 2001 4001
19999 39999 20001 40001
199999 399999 200001 400001

x 6 2
&
f (x)64
&
x 62
+
f (x)64
+
En la tabla de la
izquierda se aprecia
que cuando x se
aproxima a 2 por su
izquierda (x<2), las
imgenes f (x) se van
aproximando a 4 por
su izquierda (f (x) = 4
&
)
A la derecha tenemos
que cuando x se
aproxima a 2 por su
derecha (x>2), sus
imgenes se van
aproximando a 4 por
su derecha ( (f (x) = 4
+
)
{
f x x g x
x
x
x x
x
si x
( ) ( )
( ) ( )
= = = + =
2
4
2
2 2
2
2
2
Pues bien, en este caso se dice que el lmite de la funcin f (x) cuando x tiende a 2 es igual a 4"
Se expresa de la forma:
El significado de esta expresin es la siguiente: Para valores de x
infinitamente prximos a 2 (tanto por su izquierda como por su
derecha), las imgenes de esos x estn infinitamente prximos a 4"
Aadimos que esa aproximacin de f (x) a 4 es tanta como podamos imaginar (excepto f (x) = 4). Para
que f (x) se aproxime a 4 una cantidad deseada basta con tomar un x suficientemente prximo a 2
En la funcin que nos ocupa en este ejemplo, podemos matizar dos casos:
El significado de esta expresin es la siguiente: Para valores de
x infinitamente prximos a 2 por su izquierda, las imgenes de
esos x estn infinitamente prximos a 4 (pero por su izquierda)"
Puede apreciarse como si damos a x un valor infinitamente
prximo a 2, pero menor que 2, su imagen es un nmero
infinitamente prximo a 4, pero menor que 4.
El significado de esta expresin es: Para valores de x
infinitamente prximos a 2 por su derecha, las imgenes de esos
x estn infinitamente prximos a 4 (pero por su derecha)".
Puede apreciarse como si damos a x un valor infinitamente
prximo a 2, pero mayor que 2, su imagen es un nmero
infinitamente prximo a 4, pero mayor que 4.
En concreto y en esta funcin, podemos expresar:
Nos viene a decir que el lmite de
la funcin f (x) cuando x tiende a 2,
tanto por su derecha como por su
izquierda (simplemente, cuando x
tiende a 2), es igual a 4.
Continuemos con la funcin f (x) del ejemplo y observa lo siguiente:

Nos preguntamos: Son la misma funcin f (x) y g(x)?. Ntese que aparentemente son distintas,
pero una de ellas la hemos obtenido al simplificar la otra..
Pues bien:
Tenemos dos funciones
f x
y
g x x
x
x
( )
( )
=
= +
2
4
2
2
lim ( )
x
f x
=
2
4
lim ( ) ( )
x
f x
=
2
4 4
lim ( ) ( )
x
f x
+
+
=
2
4 4
lim ( ) lim ( ) lim ( ) lim
x x x x
x
x
f x f x f x

+
= = = =
2 2 2 2
4
2
2
4
NOTA: Quede claro que podra darse el caso de una funcin h(x) tal que
, en cuyo caso se dice que no existe. lim ( ) lim ( )
x x
h x h x

+
2 2
lim ( )
x
h x
2
En la expresin de la izquierda hemos
simplificado la funcin f (x) al dividir
numerador y denominador por x&2, algo
que se puede hacer para cualquier x2.
El resultado es otra funcin: g (x) = x+2
Resulta que las funciones f (x) y g(x) son
iguales para todo x0 excepto x = 2 ya que
f (2) no existe y, sin embargo, g (2)= 4.
Es decir: x0 (x2) es f (x) = g(x)
f x
x
x
x si x
no existe si x
( ) =

=
+
=
2
4
4
2 2
2
Por tanto:
Dibujemos las grficas de f (x) y g(x):
x g(x) = x+2 (recta)
0 2
4 6
x
f x
x
x
( ) =

2
4
2
0 2
2 no existe
3 5
4 6
5 7
-2 0
Ahora vamos a ver como se halla el lmite buscado:
lim ( ) lim lim lim ( )
( ) ( )
x x
x
x
x
x x
x
x
f x x

= = = + = + =
2 2
4
2
2
2 2
2
2
2
2 2 2 4
Debe entenderse que la expresin significa que x se aproxima a 2 por su derecha x 2
y por su izquierda, tanto como se pueda imaginar, pero sin llegar a ser igual a 2, por lo que la
simplificacin de la fraccin entre x&2 es posible ya que x&20.
Al final substituimos x por 2, pero la idea es que ese 2 es el lmite a donde tiende x y el
resultado es 4, es decir, al valor al que se aproxima f (x) tanto como podamos imaginar (sin que
llegue nunca a ser f (x) = 4).
Es importante que los dos prrafos anteriores se comprendan perfectamente para poder
entender el concepto de lmite.
3.Lmite de una funcin en un punto. Idea grfica.-
En el apartado anterior veamos la idea intuitiva del lmite de una funcin f (x) cuando
x tiende a un nmero a, el cual poda pertenecer o no al dominio de f (x).
Veamos tambin un ejemplo aclaratorio de la idea intuitiva y de la interpretacin grfica
del mismo.
La interpretacin grfica de la igualdad entre
las funciones f (x) y g(x) es que g(x)=x+2 es
una recta y f(x) es otra recta que coincide
con g(x) en todos sus puntos excepto en x = 2.
A la izquierda tenemos
las tablas de valores de
ambas funciones y a la
derecha sus grficas.
Observa que estas son
idnticas excepto en el
punto de coordenadas
(2,4) en el que la recta
g(x) aparece con un C,
mientras que en la
funcin f (x) aparece B
Ntese que C es para
indicar que existe
funcin en el punto (hay
grfica), mientras que B
es para indicar que no
hay funcin en el punto
(no hay grfica).
lim ( )
x a
f x l
=
a D
f x l f a
f
x a
graficamente
lim ( ) ( )
&
a D
f x l
f
x a
graficamente
lim ( )
&
En este apartado abundaremos sobre la interpretacin grfica del lmite de una funcin
cuando la variable independiente tiende a un nmero a y los diversos casos que pueden darse.
3 Supongamos una funcin f (x) cuyo dominio es D
f
.
Supongamos que a es un nmero real, es decir, a 0.
Supongamos que el lmite de f (x) cuando x tiende a a es igual a l , es decir:

3 Puede darse alguna de las situaciones siguientes:
3.1.El nmero a pertenece al dominio y adems su imagen coincide con el lmite l. Es decir:
a D
f x l f a
f
x a
graficamente
= =
lim ( ) ( )
&
En la figura 2 tenemos representada un
trozo de la grfica de una funcin f (x)
talque f (a) existe (el Cresalta esto, aunque
no es necesario ponerlo).Observa que
cuando x est infinitamente prxima a a, sus
imgenes estn infinitamente prximas a f
(a) = l (lmite de f (x) cuando x tiende a a).
3.2.El nmero a pertenece al dominio, pero su imagen no coincide con el limite l. Es decir
En la figura 3 tenemos representada un
trozo de la grfica de una funcin f (x)
talque f (a) existe, pero no coincide con el
lmite de f (x) cuando x tiende a a.
Observa que el punto B (es necesario
ponerlo) es para indicar que en ese punto
de la curva hay un agujero porque la
imagen de a no est donde debera
estar.El punto C(es necesario ponerlo) nos indica como f (a) existe, pero est
desplazada de su sitio.
3.3.El nmero a no pertenece al dominio (no tiene imagen).
La figura 4 nos explica de un modo grfico
que f (a) no existe (punto B), sin embargo,
cuando x toma valores infinitamente
prximos a a, sus imgenes f (x) estn
infinitamente prximas a l, sin llegar a valer
nunca l.
Recuerda: Para valores de x infinitamente prximos a a, las
imgenes de esos x estn infinitamente prximos a l.
Ejemplo 2.-
Sea la funcin , se pide: f x
x x
x
( ) =
+
3 18 27
2 18
2
2
a) Halla su imagen para x = 3
b) Comprueba experimentalmente que el lmite de f (x) cuando x tiende a 3 es 0.
c) Da una idea grfica de f (x) en un entorno de centro a = 3.
Veamos:
a) Imagen de f (x) para x = 3 :
Para x = 3 no hay imagen. x f
f
= = =
+

3 3
3 3 18 3 27
2 3 18
0
0
2
2
( ) R 3 D
b) Comprobar de un modo experimental consiste en darle valores a la variable x que estn
infinitamente prximos a 3. Ya sabemos que para x = 3 no hay imagen, pero veamos que
ocurre en sus proximidades.
Para ello daremos a x valores sucesivos que se acercan a 3 tanto por su derecha como por
su izquierda:
x

3
f x ( )
x
+
3
f x ( )
2 &03 4 021428571
29 &002542372 31 002459016
299 &00025041736 301 000249584026
2999 &0000250041673 3001 0000249958340
29999 &00000250004166 30001 00000249995833

x

3 f x ( )

0 x
+
3 f x ( )
+
0
Puede apreciarse que cuando damos a x valores que se aproximan infinitamente a 3 por
su izquierda, la funcin toma valores infinitamente prximos a 0 por su izquierda y
cuando x toma valores infinitamente prximos a 3 por su derecha, las imgenes se
aproximan infinitamente a 0 por su derecha.
Matemticamente:

lim ( ) ( )
lim ( ) ( )
lim ( )
x
x
x
f x
f x
f x
+
=
=
=
3
3
3
0 0
0 0
0
NOTA: Quede claro que una comprobacin experimental no puede considerarse como un
demostracin, es decir, esto no garantiza que el lmite sea 0. No obstante, en este caso es cierto
ya que lo asegura el enunciado del ejemplo
c) La figura 5 es una idea esquemtica del
comportamiento de la funcin en las
proximidades de x = 3, pero no es la
representacin exacta de dicha funcin.
Observa como a la izquierda de x = 3 es
f (x)< 0 y a la derecha es f (x)> 0.
Es decir : para valores de x infinitamente
prximos a 3, tanto por su izquierda como
por su derecha, sus imgenes estn
infinitamente prximas a 0".
4.Lmite de unafuncin en un punto. Definicin.-
L Hemos de suponer que al llegar a este punto se han comprendido las ideas intuitivas y
grficas del concepto lmite de una funcin en un punto.
L En este apartado vamos a dar un definicin formal matemtica a dicho concepto. Esta
definicin debe ser totalmente coherente con lo expresado en los apartados anteriores.
Veamos:
O Sea y = f (x) una funcin real de variable real cuyo dominio denominamos D
f
.
O Sea a un nmero real que puede pertenecer o no pertenecer al dominio de f, es decir:
a 0 y a0D
f
o a D
f
Imagina que el nmero a est representado en el eje de abcisas (eje OX).
O Sea l otro nmero real cualquiera. Imagina a l representado en el eje de ordenadas.
O Vamos a definir el concepto limite de la funcin f (x) cuando x tiende a a es igual a l
y lo expresaremos de la forma : lim ( )
x a
f x l
=
Matemticamente: ( z )
O Vamos a ver que esta definicin concuerda con la idea intuitiva y la idea grfica:
En la figura 6 hemos representado una hipottica
funcin f (x) en la que f (a) no existe (o bien
existe y est fuera de la curva). Es indiferente el
que f (a) exista o no exista, pero en este caso
hemos expresado que f (a)l.
Por tanto: lim ( )
x a
f x l
=
Partiendo de la figura 6, expliquemos la
definicin del recuadro ( z ):
Se dice que el lmite de la funcin f (x) cuando x tiende a a es igual a l, s y slo s para
cualquier entorno de centro l y radio , existe otro entorno de centro a y radio , tal que si x
es un nmero (distinto de a) que est en este entorno, entonces su imagen f (x) est en aquel.
lim ( ) ( ) , ( ) ( ) , ( ) ( )
x a
x a
f x l E l E a si x E a entonces f x E l
=

1 2 4 3 4
Figura 7a.- Hemos dibujado un trozo de la grfica de una funcin f (x) cuyo lmite
cuando x tiende a a es l. Observa que en este caso no hemos situado la
imagen de a, es decir, f (a), porque no existe o porque existe, pero queda
fuera de la figura (el que exista o no la imagen de a, es indiferente). En
cualquier caso:
lim ( ) ( )
x a
f x l f a
=
Observa que hemos tomado un nmero > 0 y construido el entorno
abierto de centro l y radio , es decir: E
(l) = (l& , l+ ).
NOTA: El valor lo tomamos arbitrariamente (generalmente pequeo)
Figura 7b.- En esta figura se aprecia como para ese valor > 0 que tomamos
anteriormente en el eje de ordenadas, encontramos un valor > 0 (ver eje
OX) al trazar desde los puntos l& y l+ paralelas al eje de abcisas hasta
la grfica de f (x) y posteriormente paralelas al eje de ordenadas hasta el
eje de abcisas. La menor de las distancias de los puntos obtenidos hasta
el punto a, ser . De este modo obtenemos el entorno abierto de centro
a y radio , es decir: E
(a) = (a& , a+)

NOTA: Insistimos en que debes apreciar que el entorno E
(a) se
obtiene a partir de E
(l) (elegido arbitrariamente). Por eso

la definicin dice : E
(l) , E
(a) etc.
La figura 8 termina de explicar grficamente la definicin, es decir : * si x0E
(a),
entonces f (x)0E
(l) . Veamos:
Figura 8a.- A partir del intervalo (a& , a+) del eje de abcisas trazamos una banda
vertical sombreada hasta la curva de f (x) y de esta otra horizontal hasta
el eje de ordenadas. Observa que se produce un intervalo dentro del que
tenamos (l& , l+ ).
Figura 8b.- Observa que cualquier x que tomemos tal que x0E
(a) = (a& , a+), se

verifica que f (x)0E
(l) = (l& , l+ ), es decir, las lneas guas que

comunican x con f (x) quedan dentro de las bandas sombreadas.
Puedes imaginar que por muy pequeo que tomemos , siempre encontraremos un
que verifique la definicin, es decir, si queremos que f (x) est infinitamente prximo
a l ( muy pequeo), tendremos que tomar un x infinitamente prximo a a ( muy
pequeo tambin).
a x a x a < < + < <
l f x l f x l < < + < < ( ) ( )
x a <
f x l ( ) <
O Se supone que en el punto anterior se ha comprendido la definicin del recuadro ( z )
correspondiente al lmite de una funcin f (x) cuando x tiende a a.
En este punto vamos a modificar ligeramente la definicin, dejando claro que el concepto
es el mismo. Veamos:
Identificamos el entorno E
(l) con el nmero . Ntese que si conocemos

tenemos E
(l).
Identificamos el entorno E
(a) con el nmero . Ntese que si conocemos

tenemos E
(a).
De este modo, la definicin del recuadro ( z ) quedar:
( z z )
La definicin ( z z ) tambin podemos modificarla considerando lo siguiente:
x E a a a a x a = + < < +
( ) ( , )
f x E l l l l f x l ( ) ( ) ( , ) ( ) = + < < +

De este modo la definicin ( z z ) quedar:
( z z z )
La definicin ( z z z ), nuevamente podemos modificarla, al considerar lo siguiente:
De este modo la definicin ( z z z ) queda:

( z z z z )
Esta ltima definicin es la ms operativa para la resolucin de cierto tipo de problemas,
pero debe entenderse que ( z ), ( z z ) , ( z z z ) y ( z z z z ) son equivalentes.
lim ( ) , ( ) , ( ) ( )
x a
x a
f x l si x E a entonces f x E l
= > >

0 0
1 2 4 3 4
lim ( ) , , ( )
x a
x a
f x l si a x a entonces l f x l
= > > < < + < < + 0 0

1 2 44 3 44
lim ( ) , , ( )
x a
x a
f x l si x a entonces f x l
= > > < < 0 0

1 2 4 3 4
Es decir, el que x est entre
a& y a+ equivale a que
el valor absoluto de x&a es
menor que
El que f (x) est entre l& y
l+ equivale a que el valor
absoluto de f(x)&l es menor
que .
Ejemplo 3.-
Sea la funcin . Pedimos lo siguiente: f x
x
x
( ) =

4 4
1
2
a) Hallar la imagen de x = 1.
b) Demuestra que el lmite de f (x) cuando x tiende a 1 es 8.
c) Considera un entorno de centro 8 y radio = 001. Halla el mayor entorno de centro 1 tal
que podamos asegurar que todo x de ese entorno tiene a su imagen en el entorno de centro
8 y radio = 001.
Veamos:
a) f x no tiene imagen
f
( ) 1
4 1 4
1 1
0
0
2
=

= R =1 1 D
b) Hemos visto que 1 no tiene imagen, pero ahora veremos que ocurre en las proximidades
de este valor, esto es, a donde se aproxima la funcin cuando x tiende a 1. Segn el
enunciado, las imgenes se aproximan infinitamente a 8 (el lmite es 8).

{
lim ( ) lim lim
( )
lim
( )( )
lim( )
x x x x
x
x
f x
x
x
x
x
x x
x
x

=
+
= + = + =
1 1
2
1
2
1
1
1
4 4
1
4 1
1
4 1 1
1
4 4 4 1 4 8
Es decir : Para valores de x infinitamente prximos a 1, sus imgenes f (x) estn
c) Se trata de aplicar la definicin de lmite de una funcin al caso . lim ( ) f x
x
=
8
1
Aplicamos la definicin ( z z z z ):
lim ( ) , , ( )
x
x
f x si x entonces f x
= > > < <

1
1
8 0 0 1 8
1 2 4 3 4
Consideremos = 001. Cul es el valor de ? Veamos:

f x x x x
x x x x
x x x
( ) < + < < < <
< < + < < < < < <
< < + < < <

8 0 01 4 4 8 0 01 4 4 0 01 0 01 4 4 0 01
4 0 01 4 4 0 01 3 99 4 4 01 0 9975 1 0025
1 0 0025 1 0 0025 0 0025 1 0 0025 1 0 0025
3 99
4
4 01
4
Es decir: f x x ( ) < < 8 0 01 1 0 0025
Literalmente: La imagen de x dista de 8 una cantidad inferior a = 001 s y slo s
x dista de 1 una cantidad inferior a = 00025".
Conclusin: Para = 001 tenemos que = 00025
Ejemplo 4.-
Consideremos la funcin y los resultados del ejemplo anterior (ejemplo 3).
Tomemos un valor cualquiera x
0
tal que x
0
0E
00025
(1) y comprobemos que f (x
0
)0E
001
(8).
Veamos:
Tomemos x
0
tal que 1&00025 < x
0
< 1+ 00025 , es decir, 09975 < x
0
< 10025.
Por ejemplo x
0
= 10022
Su imagen : f E ( ) ( , ) ( ) 1 0022 4 1 0022 4 8 0088 7 99 8 01 8
0 01
= + = =

5.Propiedades de los lmites.-
Una vez comprendido el concepto, significado y la interpretacin grfica del lmite de una
funcin en un punto, veremos algunas de las propiedades ms elementales de este concepto:
Propiedad 1.- Sea f (x) una funcin tal que . lim ( )
x a
f x l
=
Consideremos la funcin g(x) definida de la forma: g x f x l ( ) ( ) =
Pues bien, se verifica que
Demostracin:
Apliquemos la definicin al caso para ver que la cumple: lim ( )
x a
g x
= 0
lim ( ) , , ( )
x a
x a
g x si x a entonces g x
= > > < < 0 0 0 0

1 2 4 3 4
Ahora bien: (son la misma). g x g x f x l ( ) ( ) ( ) < < < 0
Substituyendo:

lim ( ) , , ( )
( )
x a
x a
g x si x a entonces f x l
= > > < < 0 0 0

1 2 4 3 4
6 7 44444444444 8 44444444444
Hemos marcado la segunda parte de la definicin con (*). Veamos el motivo:
Sabemos que (hiptesis de la propiedad). Por tanto, podemos asegurar: lim ( )
x a
f x l
=
> > < <
|
\
|
.
|
0 0 , , ( )
&
si x a entonces f x l
x a
1 2 4 3 4
Es la definicion
de ese limite
Esto significa que lo marcado como (*) es cierto.
Como y la parte derecha es cierta, la izquierda tambin lo ser. lim ( ) ( )
x a
g x
= 0

Conclusin: como queramos demostrar (c.q.d.)
( ) lim ( ) lim ( )
x a x a
g x f x l

= = 0
Propiedad 2.- Si una funcin f (x) tiene lmite cuando x tiende a a, ese lmite es nico.
Es decir : No demostraremos esta propiedad. Si
f x l
f x l
l l
x a
x a
lim ( )
lim ( )
=
=
=
Propiedad 3.- Si f (x) = k es una funcin constante (funcin polinmica de grado 0) y a es
un nmero real cualquiera, entonces su lmite cuando x tiende a a es k.
( ) lim ( ) lim ( )
x a x a
g x f x l

= = 0
Es decir, el lmite de la
funcin g(x) cuando x
tiende a a es 0
Es decir:
R R R R constante
x
f
f(x) k x a x a
a es f x k k siendo k

`
= =
=
lim ( ) lim ( )
En efecto:
La funcin f (x) = k nos dice que para todo valor que demos a x, su imagen es k, lo cual
ser vlido para valores de x que estn infinitamente prximos a a (incluido a), por lo
que podemos decir que para valores de x infinitamente prximos a a, sus imgenes estn
infinitamente prximos a k (ya que son k).
En este caso, por tanto: lim ( ) ( )
x a
f x k f a
= =
Propiedad 4.- Si I (x) = x es la funcin identidad (funcin que transforma a todo nmero real
en s mismo), entonces su lmite cuando x tiende a a es a. Es decir:
R R R
x
I
I(x) x x a x a
a es I x x a

`
= =
=
lim ( ) lim
En efecto:
La imagen de cualquier nmero x es el propio x, por lo que la imagen de un nmero del
tipo a
+
o a
&
ser I (a
+
)= a
+
o I (a
&
)= a
&
, es decir, cuando x 6 a, es evidente que I (x) 6 a
Propiedad 5.- Si f (x) es una funcin polinmica de grado n y a es un nmero real cualquiera,
entonces el lmite de f (x) cuando x tiende a a es igual a f (a) . Es decir:

( )
f x x x x con n
f x x x x a a a f a
n
n
x a x a
n
n
n
n
( )
( ) ( )
= + + + +
= + + + + = + + + + =

0 1 2
2
0 1 2
2
0 1 2
2
LL
LL LL
N
lim lim
En efecto:
Si x a f x x x x
a a a f a
= + + + +
+ + + +
( )
( )

0 1 2
2
2
2
0 1 2
2
2
2
LL
LL
Es decir, para valores de x infinitamente prximos a a, sus imgenes estn infinitamente
prximas a f (a), siendo esta aproximacin tanta como podamos imaginar.
Ejemplo 5.-
Consideremos la funcin que vimos en el ejemplo 3 y cuyo lmite f x
x
x
( ) =

4 4
1
2
cunado x tiende a 1 es igual a 8, es decir, lim ( ) .
x
f x
=
1
8
Definamos ahora la funcin g x f x
x
x
x x
x
( ) ( ) = = =
8 8
4 4
1
4 8 4
1
2 2
Vamos a comprobar experimentalmente (con calculadora) que lim ( )
x
g x
=
1
0
Veamos (quede claro que no se trata de una demostracin, sino de una comprobacin):
x x g
x x g
= = = = =
= = = = =
+
+

+
0 999 1 0 999 0 004 0 0
1 001 1 1 001 0 004 0 0
4 0 999 8 0 999 4
0 999 1
0 000004
0 001
4 1 001 8 1 001 4
1 001 1
0 000004
0 001
2
2
( ) ( ) ( )
( ) ( ) ( )
Lo expresamos de la forma:

[ ]
[ ]
lim ( ) lim ( ) lim lim
x x x
x
x
x
x x
x
g x f x

= = = =
1 1 1
4 4
1
1
4 8 4
1
8 8 0
2 2
Ejemplo 6.-
Sea la funcin constante que transforma todo nmero real en . 10
3
Queremos hallar el lmite de esa funcin cuando x tiende a . 11 7
Veamos:
es la funcin constante h x ( ) = 10
3
lim ( ) lim
x x
h x

= =
11
7
11
7
10 10
3 3
Ejemplo 7.-
Sea la funcin identidad I (x) = x.
Queremos hallar el lmite de dicha funcin cuando x tiende a &2.
Veamos:
lim ( ) lim
x x
I x x

= =
2 2
2
Es decir, para valores de x
infinitamente prximos a &2, sus
imgenes estn infinitamente
prximas a &2"
En este caso el lmite cuando x
tiende a &2 coincide con la
imagen de &2, es decir:
lim ( ) ( )
x
I x I

= =
2
2 2
La figura 9 es una representacin
grfica de la funcin identidad en
la que resaltamos la imagen en
x = &2 y en la que puede apreciarse que si tomamos valores para x infinitamente prximos
a &2, sus imgenes tambin estn infinitamente prximas a &2.
Aprciese lo siguiente por la simple observacin de la figura:
lim ( )
lim ( )
lim ( )
x
x
x
I x
I x
I x

+
=
=
=
2
2
2
2
2
2
Puede observarse que lim ( ) ( )
x a
I x I a a a
= = R
Cuando x toma valores
infinitamente prximos a
1, las imgenes de g(x)
estn infinitamente
prximas a 0.
En este caso se verifica que:
( )
lim ( )
x
h x h
= =
11
7
11
7
3
10
Ejemplo 8.-
Dada la funcin polinmica de grado 3 , queremos hallar f x x x x ( ) = + 6 12 2 4
3 2
su lmite cuando x tiende a 25.
Veamos:
( )
lim ( ) lim ( )
x x
f x x x x f

= + = = + =
2 5 2 5
3 2 3 2
6 12 2 4 2 5 6 2 5 12 2 5 2 2 5 4 17 75
Por tanto: Cuando x toma valores infinitamente prximos a 25, sus imgenes estn
infinitamente prximas a 1775". Adems, para x = 25 existe la imagen y su
valor es 1775.
Observa que la grfica es creciente en el
punto x = 25.
6.Lmite de una funcin suma o resta de otras dos.-
Z Sean f (x) y g(x) dos funciones reales de variable real.
Z Sea (f + g)(x) = f(x) + g(x) la funcin suma de ambas.
Z Sea a un nmero real, es decir, a0.
Z Supongamos que
lim ( )
lim ( )
x a
x a
f x l
g x k
=
=
Pues bien:
El lmite de la funcin suma es igual a la suma de los lmites
Es decir:
El lmite de la funcin (f + g)(x) cuando x tiende a a es igual a la suma de los lmites
de las funciones f (x) y g(x) cuando x tiende a a
Matemticamente:
NOTA: Se puede demostrar esta propiedad viendo que verifica la definicin de lmite siguiente
( ) ( ) lim ( ) , , ( ) ( )
x a
f g x l k si x a entonces f g x l k
+ = + > > < + + < 0 0

Para dar una idea grfica aproximada de la
funcin f (x) en un entorno de centro x = 25,
damos algunos valores prximos a 25 tanto a
su derecha como a su izquierda :
x f
x f
x f
= =
= =
= =
2 499 2 499 17 69953299
2 5 2 5 17 75
2 501 2 501 17 80053301
( )
( )
( )
En la figura 10 tenemos una idea (no la
grfica exacta) sobre el comportamiento de
f (x) en las proximidades de 25.
( ) lim ( ) ( ) lim ( ) lim ( )
x a x a x a
f x g x f x g x l k

+ = + = +
Para el caso de la resta de funciones ser:
Ejemplo 9.-
Sean las funciones y sea 10.
f x x x
g x x x x
( )
( )
= +
= + +
2 5 3
3 1
2
3 2
Hallemos los lmites de estas funciones cuando : x 1
lim ( ) lim( )
lim ( ) lim( )
x x
x x
f x x x
g x x x x

= + = + = + =
= + + = + + = + + =
1 1
2 2
1 1
3 2 3 2
2 5 3 2 1 5 1 3 2 5 3 0
3 1 1 1 3 1 1 1 1 3 1 4
Construyamos la funcin suma (f + g)(x) :
( ) ( ) ( ) ( )
( ) ( )
f g x f x g x x x x x x x x x
f x g x
+ = + = + + + + = + + 2 5 3 3 1 3 2 2
2 3 2 3 2
1 2 44 3 44 1 2 44 3 44
Hallemos el lmite de (f + g)(x) cuando : x 1
lim( ) ( ) lim( )
x x
f g x x x x

+ = + + = + + = + + =
1 1
3 2 3 2
3 2 2 1 3 1 2 1 2 1 3 2 2 4
Observa que lim( ) ( ) lim ( ) lim ( )
x x x
f g x f x g x

+ = = + = +
1 1 1
4 0 4
Ejemplo 10.-
Sea la funcin . Queremos hallar su valor para x = 1 y su lmite h x
x x
x
( ) =
+
2
2 3
1
cuando x tiende a 1.
Veamos:
Para x = 1 tenemos , es decir, x = 1 no tiene imagen. h( ) 1
1 2 1 3
1 1
0
0
2
= =
+
R
Veamos que ocurre cuando x est infinitamente prxima a 1, es decir, cuando x 1

( )
{
lim ( ) lim lim lim lim lim
lim lim lim( ) lim ( )
( ) ( ) ( )
x x
x x
x
x
x x
x
x
x
x
x
x
x
x
x
x
x
x
x
x x
x
x
x
x
x x
h x
x
ya que x

+

= = = + = + =
= + = + + = + + = + =
1 1
2 3
1
1
1 2 2
1
1
1
1
2 2
1
1
1
1
1
2 2
1
1
1 1
1
1
2 1
1
1 1
2 2 2 2
1 2 1 1 2 2 2 4
1
Obsrvese que hemos descompuesto la funcin h (x) en suma de otras dos cuyos lmites
cuando x tiende a 1 es fcil de calcular, es decir:
con h x f x g x siendo
f x
g x
x
x
x
x
( ) ( ) ( )
( )
( )
= +
=
=
2
1
1
2 2
1
lim ( )
lim ( )
x
x
f x
g x
=
=
1
1
2
2
( ) lim ( ) ( ) lim ( ) lim ( )
x a x a x a
f x g x f x g x l k

= =
Si x est infinitamente
prximo a 1, las imgenes
h(x) estn infinitamente
prximas a 4
7.Lmite de una funcin producto de otras dos.-
Sean f (x) y g(x) dos funciones reales de variable real.
Sea (f g)(x) = f (x) g(x) la funcin producto de ambas.
Sea a un nmero real, es decir, a 0.
Supongamos que
lim ( )
lim ( )
x a
x a
f x l
g x k
=
=
Pues bien:
El lmite de la funcin producto es igual al producto de los lmites
Es decir:
El lmite de la funcin (f g)(x) cuando x tiende a a es igual al producto de los lmites
Matemticamente:
NOTA: Se
puede demostrar esta propiedad viendo que verifica la definicin de lmite siguiente
( ) lim ( ) , , ( )( ) ( )
x a
f g x l k si x a entonces f g x l k
= > > < < 0 0

Ejemplo 11.-
Sean las funciones y el nmero real &2.
f x x x
g x x
( )
( )
= +
=
3
5
2
2
Construyamos la funcin producto (f g)(x) :
( )( ) ( ) ( ) ( ) ( )
( )( )
f g x f x g x x x x x x x x
f g x x x x x
= = + = +
= +
3 5 3 15 5
3 15 5
2 2 4 2 3
4 3 2
Hallemos los lmites de las funciones f , g y f g cuando : x 2

lim ( ) lim ( ) ( ) ( )
lim ( ) lim ( ) ( )
lim ( )( ) lim ( ) ( ) ( ) ( ) ( )
x x
x x
x x
f x x x
g x x
f g x x x x x

= + = + = =
= = = =
= + = + =
2 2
2 2
2 2
2 2
2 2
4 3 2 4 3 2
3 3 2 2 12 2 10
5 2 5 4 5 1
3 15 5 3 2 2 15 2 5 2 10
Observa que:
lim ( )( ) lim ( ) lim ( ) ( )
x x x
f g x f x g x

= = =
2 2 2
10 1 10
NOTA: Aprciese que en este caso la funcin (f g)(x) es una funcin polinmica y su lmite
cuando x tiende a &2 coincide con (f g)(&2 ) = &10.
( ) lim ( ) ( ) lim ( ) lim ( )
x a x a x a
f x g x f x g x l k

= =
8.Lmite de una funcin cociente de otras dos.-
Sean f (x) y g(x) dos funciones reales de variable real.
Sea la funcin cociente de ambas.
f
g
f x
g x
x
|
\
|
.
|
= ( )
( )
( )
Supongamos que
lim ( )
lim ( )
x a
x a
f x l
g x k
=
=
0
Pues bien:
El lmite de la funcin cociente igual al cociente los lmites
Es decir:
El lmite de la funcin cuando x tiende a a es igual al cociente de los lmites
f
g
x
|
\
|
.
|
( )
Matemticamente:
En la expresin anterior puede
apreciarse por qu se exige que
el lmite del denominador sea
distinto de 0.
NOTA: Se puede demostrar esta propiedad viendo que verifica la definicin de lmite siguiente

lim ( ) , , ( )
x a
f
g
l
k
f
g
l
k
x si x a entonces x
|
\
|
.
|
= > > <
|
\
|
.
|
< 0 0
Ejemplo 12.-
Sea la funcin . h x
x x x x
x x
( ) =
+ +
+
2 6 9 3 1
3 9 8
4 3 2
3
Queremos hallar su lmite cuando x tiende a
2
3
Veamos:
La funcin h(x) se puede considerar como un cociente de otras dos (en este caso
polinmicas). Por tanto:

( )
( )
( ) ( ) ( )
( )
lim ( ) lim
lim
lim
x x
x
x
h x
x x x x
x x
x x x x
x x

+

=
+ +
+
=
+ +
+
=
=
+ +
+
=
+ +
+
= = =

2
3
2
3
2
3
2
3
2 6 9 3 1
3 9 8
2 6 9 3 1
3 9 8
2 6 9 3 1
3 9 8
4 2 1
6 8
131 9
4 3 2
3
4 3 2
3
2
3
4
2
3
3
2
3
2
2
3
2
3
3
2
3
32
81
16
9
8
9
32 144 243
81
8 18
9
131
81
10
9
( )
81 10
131
90
2
3
= = h
Observa que en este caso coincide el lmite con el valor de la funcin h(x) en el punto 2/3.
lim ( ) lim
lim ( )
lim ( )
( )
( )
x a
f
g
x a
f x
g x
x a
x a
x
f x
g x
l
k

|
\
|
.
|
= = =
Ejemplo 13.-
Sean las funciones
f x x
g x x x
( )
( )
= +
=
2
2
1
6
Veamos:
a) Llamamos h(x) a la funcin cociente
. Por tanto: h x x
f
g
f x
g x
x
x x
( ) ( )
( )
( )
=
|
\
|
.
|
= =
+

2
2
1
6
h x
x
x x
( ) =
+

2
2
1
6
b) Para x = 3 :
h( ) 3
3 1
3 3 6
10
0
2
2
= =
+

R
c) Veamos que ocurre cuando x tiende a 3:
( )
( )
lim
lim
lim
x
x
x
x
x x
x
x x
+

=
+

=
+

=
3
2
2
3
2
3
2
2
2
1
6
1
6
3 1
3 3 6
10
0
R
En este caso la ltima igualdad no se refiere exactamente a 10 dividido entre 0", sino a
nmeros infinitamente prximos a 10 divididos entre nmeros infinitamente prximos
a 0",cuyos resultados son, evidentemente, nmeros reales (aunque resaltamos que 10/0
no lo es). No obstante, el resultado del lmite no es un nmero real, es decir, esos
cocientes que hemos mencionado no se acercan a ningn nmero concreto.
Investiguemos hacia donde se aproximan esos nmeros:
x

3
h x
x
x x
( ) =
+

2
2
1
6
x
+
3
h x
x
x x
( ) =
+

2
2
1
6
2 -125 4 2833333
29 &192040816 31 208039215
299 &199200400 301 200800399
2999 &199920004 3001 2000800039
29999 -19999200004 30001 200008000039

3
&
&4 3
+
+ 4
De una forma intuitiva podemos decir que:
lim ( )
lim ( )
lim ( )
x
x
x
h x
h x
h x
+
=
= +
/
3
3
3
Pedimos lo siguiente:
a) Construir la funcin cociente
f
g
b) Hallar su imagen para x = 3.
c) Hallar su lmite cuando x tiende a 3.
El significado de esta expresin es que para x = 3 no existe
imagen, es decir, h (3) . Quede claro que la segunda
igualdad de la expresin no es una igualdad entre nmeros.
Para valores de x infinitamente prximos a 3 por su
izquierda, las imgenes h(x) se hacen infinitamente
grandes negativas y cuando x se aproxima
infinitamente a 3 por la derecha, las imgenes se
hacen infinitamente grandes positivas.
9.Lmite del producto de un nmero por una funcin.-
Sean f (x) una funcin y k un nmero real.
Sea (k f )(x) = k f (x) la funcin producto de k por f .
Supongamos que lim ( )
x a
f x l
=
Pues bien:
El lmite de la funcin producto de k por f es igual al producto de k por el lmite de f (x)
Es decir:
El lmite de la funcin cuando x tiende a a es igual al producto de k por el
( ) ( ) k f x
lmite de f (x) cuando x tiende a a
Matemticamente:
El lmite del producto de
un nmero real por una
funcin es igual al nmero
por el limite de la funcin.
Ejemplo 14.-
Sea la funcin . Queremos hallar su lmite cuando x tiende a 3. h x
x
x
( ) =

3 27
2 6
2
Veamos:
lim ( ) lim
x x
x
x
h x

= = = =
3 3
3 27
2 6
3 3 27
2 3 6
27 27
6 6
0
0
2 2
R
De lo anterior deducimos que h (3) no existe y que an no
sabemos el valor del lmite buscado.
Es posible operar en la funcin h (x):

[ ]
{
lim ( ) lim lim lim lim
lim lim( ) ( )
( )
( )
( ) ( )
x x
x
x
x
x
x
x
x
x
x
x
x
x
x x
x
por ser
x
x
h x
x

= = = = =
= = + = + =
3 3
3 27
2 6
3
3 9
2 3
3
3
2
9
3
3
2
3
9
3
3
2
3
3 3
3
3
3
2
3
3
2
2
2
2 2
3 3 3 9
Es decir: Para x = 3 no existe imagen, pero para valores de x infinitamente prximas a
3, sus imgenes estn infinitamente prximas a 9".
Puede observarse lo siguiente:

{ } h x con D
f x x con D
siendo h x f x x x
x
x
h
f
( )
( )
( ) ( )
= =
= + =
3 27
2 6
3
2
9
2
2
3
3
R
R
R
La grfica de f (x) es una recta y la de h (x) coincide en todo con la de f (x) excepto en el
punto P(3 , 9) ya que h (3) no existe, pero g (3) = 9.
Comprobemos:
h
h
Intuitivamente
x h
x h
( )
( )
( )
( )
2 99 8 985
3 01 9 015
3 3 9
3 3 9
=
=
`
)
= =
= =

+ + +
[ ] lim ( ) ( ) lim ( ) lim ( )
x a x a x a
k f x k f x k f x k l

= = =
Recordemos que la expresin 0/0 se
refiere a una sucesin de cocientes en
los que el numerador y denominador
son nmeros que se aproximan
infinitamente a 0.
10.Lmite de una funcin potencia de exponente natural.-
3 Sean f (x) una funcin y n un nmero natural mayor que cero.
3 Sea g(x) = [ f (x)]
n
la funcin f elevado a n o potencia n-sima de f .
3 Sea a un nmero real, es decir, a 0.
3 Supongamos que lim ( )
x a
f x l
=
Pues bien:
El lmite de la funcin f elevado a n es igual al lmite de f (x) elevado a n
Es decir:
El lmite de la funcin g(x) = [ f (x)]
n
cuando x tiende a a es igual al lmite de f (x)
cuando x tiende a a, elevado a n.
Matemticamente:
El lmite de una potencia
es igual a la potencia del
lmite.
Ejemplo 15.-
Consideremos la funcin del ejemplo 1, es decir, . f x
x
x
( ) =

2
4
2
Vimos que (ver ejemplo 1). lim ( )
x
f x
=
2
4
Construyamos la funcin f elevado a 3" :
[ ]
[ ]
g x f x f x
x
x
x
x
( ) ( ) ( )
( )
( )
= = = =
3
3 4
2
3
4
2
2
2 3
2
Queremos hallar el lmite de g(x) cuando x tiende a 2.
Veamos:
x x x x
x
x
g x f x f x

(
= =

(
= =
2 2
3
2
3
2
4
2
3
3
2
4 64
Es decir: Para valores de x infinitamente prximos a 2, las imgenes de esos valores
mediante la funcin g estn infinitamente prximas a 64"
Hagamos alguna comprobacin:
Segn parece:
x g
x g
= = =
= = =
1 999 1 999 3 999 63 95201

2 001 2 001 4 001 64 048012
3
3
( )
( )
x g
x g
= =
= =

+ + +
2 2 64
2 2 64
( )
( )
En la figura 11 damos una idea grfica aproximada
de la funcin g(x) en un entorno de centro x = 2 .
Observa como para x = 2 no hay imagen, pero
cuando x est infinitamente prximo a 2 por su
izquierda, sus imgenes estn infinitamente
prximas a 64 por su izquierda (por debajo),
mientras que si x lo est a la derecha de 2, sus
imgenes estn a la derecha de 64 (por encima).
Aunque el trozo de grfica que hemos dibujado es
recto, este ser, en general, curvo.
[ ] lim ( ) lim ( ) lim ( )
x a
n
x a
n
x a
n
n
f x f x f x l

= =

(
=
11.Lmite de una funcin potencia de exponente entero.-
De forma similar al punto anterior, puede ocurrir que el exponente sea un numero entero
negativo, en cuyo caso es tambin vlido lo expresado antes, es decir:
[ ]
[ ]
f x una funcion
a n n
f x l
g x f x f x
f x
f x
x a
n
n
n n
( ) &
; ;
lim ( )
( ) ( ) ( )
( )
( )
*
<
=
= = = =

R N 0
0
1 1
Pues bien:

[ ] lim ( ) lim ( ) lim ( )
x a x a
n
x a
n
n
n
g x f x f x l
l
= =

(
= =
1
Ejemplo 16.-
Sea la funcin . Consideremos la funcin . f x x x ( ) = + 4 9
2
g x f x ( ) ( ) =
2
Queremos hallar la imagen de 4 mediante la funcin g(x) y el lmite cuando x tiende a 4.
Veamos:
T Construimos la funcin g (x) : ( )
( )
g x f x x x
x x
( ) ( ) = = + =
+

2 2
2
2
2
4 9
1
4 9
T Hallemos la imagen de x = 4:
( )
g( ) 4
1
4 4 4 9
1
59
0 000287273771
2
2 2
=
+
= = KK
T Hallemos el lmite de g(x) cuando : x 4

[ ] ( )
[ ]
x x x x
g x f x f x x x

= =

(
= +
(
=
= + = = =
4 4
2
4
2
4
2
2
3
2
2
2
4 9
4 4 4 9 59
1
59
0 000287273771KK
Observa que en este caso es lim ( ) ( )
x
g x g
=
4
4
NOTA: Obsrvese que el lmite l de una funcin cuando x tiende a un nmero a, puede ser un
nmero de cualquier tipo, es decir, entero, positivo, negativo, decimal, irracional, etc.
12.Lmite de una funcin potencia de exponente racional.-
Sea f (x) una funcin real de variable real y a un nmero real.
Sea un nmero racional , es decir,
Q
Consideremos la funcin f elevado a , es decir:
g x f x ( ) ( ) =

Obsrvese el motivo
de exigir que l 0
Supongamos que (el lmite de f (x) cuando x tiende a a es positivo) lim ( )
x a
f x l
= > 0
Pues bien, en este caso :
[ ] lim ( ) lim ( ) lim ( ) lim ( )
x a x a x a x a
g x f x f x f x l l

= = =

(
= =
La expresin anterior puede ponerse del siguiente modo:

[ ] lim ( ) lim ( ) lim ( ) lim ( ) lim ( ) lim ( )
x a x a x a x a x a x a
g x f x f x f x f x f x l

= = = = =

(
=
Ejemplo 17.-
Sea la funcin referida en el ejemplo 1. f x
x
x
( ) =

2
4
2
Consideremos la funcin
[ ]
g x f x f x
x
x
( ) ( ) ( ) = = =

4
3
2
4 3
4
2
4
3
Queremos hallar el lmite de g(x) cuando x tiende a 2.
Veamos:
Recordemos que lim ( )
x
f x
= >
2
4 0
[ ] [ ]
lim ( ) lim lim lim
x x
x
x
x
x
x
x
x
x
g x

= = =

(
= = =
2 2
4
2
4
3
2
4
2
4
3
2
4
2
4
3
4 3
3
2 2 2
4 256 6 34960420KK
Ejemplo 18.-
Sea la funcin g x x ( ) = + 5 1
Queremos hallar su lmite cuando x tiende a 0.
Veamos:
lim ( ) lim lim( )
x x x
g x x x

= = = =
0 0 0
5 1 5 1 5 0 1 1 R
Obsrvese que la funcin f (x) = 5x&1 es una funcin tal que en las proximidades de x = 0, esto
es, en un entorno de centro 0, toma valores negativos, lo cual hace que la funcin g (x) no exista
en ese entorno, esto es, no existe en x = 0 ni en sus proximidades, por lo que no podemos decir
hacia donde se aproxima g(x) cuando x se aproxima a 0".
13.Lmite de una funcin exponencial.-
Sea f (x) una funcin y a un nmero real.
Supongamos que lim ( )
x a
f x l
=
Observa que al
exigir que l > 0, nos
garantiza que existe
la raz.
No existe el lmite de
la funcin g(x)
cuando x tiende a 0
Sea b un nmero real positivo, es decir: b 0 y b>0
Consideremos la funcin exponencial g x b
f x
( )
( )
=
Pues bien, se puede demostrar que:
No olvidar que se exige que b > 0 lim ( ) lim
( )
lim ( )
x a x a
f x
f x
l
g x b b b
x a

= = =
Ejemplo 19.-
Hallemos el lmite de la funcin cuando f x
x
( ) = 0 25 x 0
Veamos:
es una funcin exponencial de base b = 025 >0 f x
x
( ) = 0 25
Entonces: lim ( ) lim
lim
x x
x
x
f x
x

= = = =
0 0
0
0 25 0 25 0 25 1
0
Observa que en este caso es
lim ( ) lim ( )
x x
x
f x f

= = = =
0 0
0
0 25 0 25 0 1
14.Lmite de una funcin logartmica.-
! Sea f (x) una funcin y a un nmero real.
! Supongamos que lim ( )
x a
f x l
=
! Consideremos la funcin logaritmo en base b de f(x), es decir: g x f x
b
( ) log ( ) =
Esta funcin transforma a cada nmero x en el logaritmo en base b de f (x), siempre que
ese logaritmo exista.
Pues bien, se demuestra que:
[ ]
lim ( ) lim log ( ) log lim ( ) log
x a x a
b b
x a
b
g x f x f x l k

= =

(
= =
Recuerda que log
b
k
l k b l = =
Podemos enunciar que: El lmite de un logaritmo es igual al logaritmo del lmite
Ejemplo 20.-
Queremos hallar el lmite siguiente:
[ ]
lim log
x
x
x
3
9
3
2
Veamos:
[ ]
lim log log lim log lim
log lim( ) log( ) log
( ) ( )
x
x
x
x
x
x
x
x x
x
x
x
(
=

(
=
= +
(
= + = =
3
9
3
3
9
3
3
3 3
3
3
2 2
3 3 3 6 0 7781512KK
Significa que para valores de x infinitamente prximos a 3, sus imgenes mediante la funcin
estn infinitamente prximas a log 6 = 07781512 g x
x
x
( ) log =

2
9
3
Ejemplo 21.-
Queremos hallar el lmite siguiente:
[ ]
lim log
x
x
x
+
3
9
3
2
Veamos:
[ ]
lim log log lim log lim
log lim( ) log( ) log
( ) ( )
x
x
x
x
x
x
x
x x
x
x
x
+
+
(
=

(
=
=
(
= =
3
9
3
3
9
3
3
3 3
3
3
2 2
3 3 3 0 R
Significa que No existe el lmite de la funcin cuando x tiende a 3, ya que el g x
x
x
( ) log =

+
2
9
3
logaritmo decimal de 0 no existe.
Ejemplo 22.-
Queremos hallar el lmite de la funcin logaritmo neperiano de cuando f x
x
x
( ) =

2
4
2
x tiende a 2.
Veamos ( ver en ejemplo 1 el lmite de f (x) cuando x tiende a 2):
lim ( ) lim lim
x x
x
x
x
x
x
L f x L L L

= = = =
2 2
4
2
2
4
2
2 2
4 1 38629436KK
15.Lmite de una funcin elevada a otra funcin.-
Sea f (x) una funcin real de variable real.
Sea g(x) otra funcin real de variable real.
Sea a un nmero real, es decir, a 0
Supongamos que , es decir, el lmite es mayor que cero. lim ( )
x a
f x l
= > 0
Supongamos que (este lmite puede ser cualquier nmero). lim ( )
x a
g x k
=
Consideremos la funcin f elevado a g, es decir : (se [ ] h x f x f x
g x
g x
( ) ( ) ( )
( )
( )
= =
puede escribir de las dos formas).
Pues bien, se demuestra que:
El lmite de la funcin f (x) elevada a g(x) es igual al lmite de la funcin f (x) elevado
al lmite de la funcin g(x), cuando x tiende a a
Es decir :
lim ( ) lim ( ) lim ( )
( )
lim ( )
x a x a
g x
x a
g x
k
h x f x f x l
x a

= =

(
=
Ejemplo 23.-
Sean las funciones . Pedimos: f x y g x
x x
x
x
x x
( ) ( ) = =
+
+
2
2
5
a) Halla sus imgenes para x = 0.
b) Halla sus lmites cuando x tiende a 0.
c) Construye la funcin f elevado a g y halla su imagen para x = 0.
d) Halla el lmite de cuando x tiende a 0. f x
g x
( )
( )
Veamos:
a)
f
g
( )
( )
0
0
0 5 0
0
0
0
0
0 0
0
0
2
2
= =
= =
+
+
R
R
b)
lim
lim
x
x x
x
x
x
x x
+ +
+ +
= =
= =
0
5 0 5 0
0
0
0
0
0
0 0
0
0
2 2
2 2
R
R
Intentemos encontrar el lmite:
{
{
lim lim lim( )
lim lim lim
( )
( )
x
x x
x
x
x x
x
por ser x
x
x
x
x x
x
x
x x
por ser x
x
x
x

+ +
= = + = + =
= = = = =
0
5
0
5
0
0
0 0
1
0
0
1
1
1
0 1
1
1
2
2
5 0 5 5
1
c) es la funcin f (x) elevado a g(x)
[ ]
f x
g x x x
x
x
x x
( )
( )
=
+ +
2
2
5
Para x = 0 tenemos: , esto es, no existe imagen para x = 0.
[ ]
f
g
( )
(
0
0) 0
0
0
0
= R
d)
[ ]
lim ( ) lim lim
( )
lim
x
g x
x
x x
x
x
x x
x
f x
x
x x
x
x
x x

+
+
= =

(
= =
+

+
0 0
5
0
5 1
2
2
2
0
2
5 5
Significa que para x = 0 la funcin no existe, pero si x se aproxima f x
g x
( )
( )
infinitamente a 0, sus imgenes se aproximan infinitamente a 5".
En la figura 12 tenemos
representada la grfica de la
funcin en las f x
g x
( )
( )
proximidades de x = 0. Ntese que
para valores del tipo x = 0
&
las
imgenes son del tipo
y para valores f
g
( )
( )
0 5
0 +
=
x = 0
+
las imgenes son del tipo
f
g
( )
( )
0 5
0 +
+
=
Deducimos que no existe la imagen de 0 mediante
las funciones f y g, es decir,0D
f
y 0D
g
.
Recordemos que las segundas igualdades en cada
un de las expresiones no son igualdades entre
nmeros.
Las expresiones que aparecen en este caso se
0
0
refieren a nmeros muy prximos a cero divididos
por nmeros muy prximos a cero, ya que la
expresin se refiere a que x se aproxima a x 0
0 sin llegar a tomar esta valor.
16.Lmites de funciones trigonomtricas.-
- Sea f (x) una funcin y a un nmero real.
- Supongamos que lim ( )
x a
f x l
=
- Sean las funciones : h (x) = sen f (x) seno de f (x)
t (x) = cos f (x) coseno de f (x)
Pues bien, puede demostrarse que:
lim ( ) lim ( ) lim ( )
lim ( ) lim cos ( ) cos lim ( ) cos
x a x a x a
x a x a x a
h x f x f x l
t x f x f x l

= =

(
=
= =

(
=
sen sen sen
Ejemplo 24.-
Sea la funcin f (x) = e
x
(funcin exponencial de base e)
Sea la funcin h (x) = sen f (x)
Queremos hallar el lmite de h (x) cuando x tiende a 1.
Veamos:

[ ]
lim
x x x x
x
x
h x sen f x f x e e
e e
x

= =

(
=

(
= =
= = = =
1 1 1 1
1
2 71828182 0 04742517
sen sen sen
sen sen sen
1
KK KK
Observa que en este caso se verifica que lim ( ) ( )
x
h x h
= =
1
1 0 04742517KK
17.Infinitsimo en un punto.-
Una funcin f (x) se dice que es un infinitsimo en el punto x = a, si se verifica que su
lmite cuando x tiende a a es igual a 0.
Es decir:

f x funcion
a
f x en a si f x
x a
( ) &
( ) & lim ( )
`
)
=
R
es un infinitesimo 0
Ejemplo 25.-
Sea a un nmero real cualquiera. Sean las funciones siguientes:
f x x a
f x x a
f x x a
f x x a
n
n
1
2
2
3
3
( )
( ) ( )
( ) ( )
( ) ( )
=
=
=
=
LLLLLLL
Todas ellas son infinitsimos en el punto x = a. En efecto:
lim ( ) lim ( )
lim ( ) lim ( ) ( )
x a x a
x a
i
x a
i i i
f x x a a a
f x x a a a

= = =
= = = =
1
0
0 0
Ejemplo 26.-
La funcin f (x) = sen x (funcin seno de x) es un infinitsimo en el punto x = 0.
La funcin g(x) = 1&cos x es un infinitsimo en x = 0.
En efecto:

( )
lim ( ) lim lim
lim ( ) lim cos lim lim lim cos
x x x
x x x x x
f x x x
g x x x x

= =
|
\
|
.
| = =
= =
|
\
|
.
| = = =
0 0 0
0 0 0 0 0
0 0
1 1 0 1 1 0
sen sen sen
1- cos =1- cos
18.Orden de un infinitsimo en un punto.-
Sea f (x) una funcin y a un nmero real.
Supongamos que f (x) es un infinitsimo en el punto a, es decir, . lim ( )
x a
f x
= 0
Vamos a definir el concepto orden del infinitsimo f (x) en el punto x = a
Se dice que el infinitsimo f (x) en el punto a es de orden n si lim
( )
( ) x a
n
f x
x a
k

= 0
Para el caso particular de a = 0, tendremos que:
El infinitsimo f (x) en el punto x = 0 es de orden n si lim
( )
x
n
f x
x
k
=
0
0
Expliquemos de un modo intuitivo el significado de un infinitsimo en un punto x = a.
Si f (x) es un infinitsimo de orden n en x = a, entonces ocurren dos cosas:
Observa que el denominador es la funcin
=
=

lim ( )
lim
( )
( )
x a
x a
f x
x a
f x
k
n
0
0
g x x a
n
( ) ( ) =
es un infinitsimo en x = a ya que g x x a
n
( ) ( ) = lim ( ) ( )
x a
n n
g x a a
= = = 0 0
Si tomamos valores para x infinitamente prximos a a, los cocientes sern
f x
g x
( )
( )
aproximadamente iguales a cierto numero real k, es decir, el numerador ser,
aproximadamente, k veces el denominador.
Si f (x) no fuese un infinitsimo del orden n, ocurrira alguno de los dos casos siguientes:
= +
lim
( )
( )
lim
( )
( )
x a
n
x a
n
f x
x a
f x
x a
o
0
El primer caso se interpreta como que el denominador
es infinitamente mayor que el numerador, esto es, el
numerador est infinitamente mas prximo a 0 que el
denominador, por lo que el cociente es
aproximadamente 0. En el segundo caso ocurre lo
contrario, esto es, el numerador es infinitamente
mayor que el denominador, esto es, el denominador
est infinitamente ms prximo a 0 que el numerador.
Ejemplo 27.-
La funcin f (x) = sen x es un infinitsimo de orden 1 en el punto 0.
En efecto:
Veamos que es un infinitsimo en x = 0:
Esto demuestra que es un infinitsimo en x = 0. lim lim
x x
x x

=
|
\
|
.
| = =
0 0
0 0 sen sen sen
De forma experimental vamos a comprobar que es de orden 1 (recordemos que esto no
sirve como demostracin):
f (x) = sen x es un infinitsimo de orden 1 en el punto x = 0 si . lim
x
x
x
k
=
0
0
sen
Debemos comprobar si k existe.
Para verlo, daremos a x sucesivos valores prximos a 0 (no olvidar poner la calculadora
en radianes RAD):
x

0
sen x
x
x
+
0
sen x
x
&01 099833416 01 099833416
&001 099998333 001 099998333
&0001 099999983 0001 099999983
&00001 0999999998
00001 0999999998

x = 0
&
1
&
x = 0
+
1
&
Puede apreciarse a simple vista que el lmite del cociente de las funciones f (x) = sen x e
I (x) = x es igual a 10, lo cual nos indica que la funcin f (x) = sen x es un infinitsimo
de orden 1.
Ejemplo 28.-
Comprobar experimentalmente que la funcin f (x) = sen x no es un infinitsimo de orden
2 en el punto x = 0.
Veamos:
Y Ya sabemos que f (x) = sen x es un infinitsimo en x = 0 por ser lim
x
x
=
0
0 sen
Y Para ser de orden 2 debera ocurrir que lim
x
x
x
k
=
0
2
0
sen
Para comprobarlo experimentalmente damos valores a x que estn prximos a 0 :
x

0
sen x
x
2 x
+
0
sen x
x
2
&001 &999983333 001 999983333
&0001 &9999998333 0001 9999998333
&00001 &9999999983 00001 9999999983
Parece evidente que:
por lo que Si
x entonces
x entonces
sen x
x
sen x
x
= =
= = +
+
0
0
2
2
/ =
k tal que
x
x
k
x
R
sen
lim
0
2
0
Por tanto, la funcin f (x) = sen x no es un infinitsimo de orden 2 en x = 0.
NOTA: Conviene recordar que cuando expresamos x = 0
&
y x = 0
+
nos estamos
refiriendo a que x toma valores infinitamente prximos a 0 por su izquierda y por
su derecha respectivamente. Del mismo modo, las igualdades con +4 y &4 se
refieren a que las operaciones de la izquierda son infinitamente grandes positivas
o negativas, no deben interpretarse como rigurosas igualdades numricas.
Para una mejor comprensin ver el tema Funciones reales de variable real
punto 11.Imgenes borrosas de valores borrosos.
19.Infinitsimos equivalentes.-
U Sean f (x) y g(x) dos infinitsimos en el punto x = a, es decir :
lim ( ) lim ( )
x a x a
f x g x

= = 0
U Se dice que f (x) y g(x) son infinitsimos equivalentes en el punto x = a si ocurre que :
lim
( )
( )
x a
f x
g x
= 1
Ejemplo 29.-
Las funciones s(x) = sen x y I(x) = x son infinitsimos equivalentes en el punto x = 0.
En efecto:
lim ( ) lim lim
lim ( ) lim
x x x
x x
s x x x
x x

= =
|
\
|
.
| = =
= =
0 0 0
0 0
0 0
0
sen sen sen
I

Vimos en el ejemplo 27 que , por lo que las funciones s(x) = sen x y I(x) = x son lim
x
x
x
=
0
1
sen
infinitsimos equivalentes en el punto x = 0.
Ejemplo 30.-
Las funciones t (x) = tg x (tangente de x) y s(x) = sen x son infinitsimos equivalentes
en el punto x = 0.
En efecto:
Ya sabemos que s(x) = sen x es un infinitsimo en x = 0.
Demostremos que t (x) = tg x tambin lo es :
Es decir, ambas funciones
son infinitsimos en x = 0.
lim lim lim
lim
lim cos
lim
lim
cos
cos
x x
x
x
x
x
x
x
x
x
x
x
x
x

= = =
|
\
|
.
|
|
\
|
.
|
= = =
0 0 0
0
0
0
0
0
1
0
0
0 tg
sen
sen
cos
sen sen

Ahora veamos que son equivalentes. Para ello debemos comprobar que . lim
x
x
x
=
0
1
tg
sen
Lo veremos de un modo experimental (en otro tema posterior se podr demostrar) dando a x
valores prximos a 0 (no olvides poner la calculadora en radianes RAD):
x

0
tg
sen
x
x
x
+
0
tg
sen
x
x
&01 100502091 01 100502091
&001 1000050002
001 1000050002
&0001 100000050 0001 100000050
&00001 1000000005
00001 1000000005

x = 0
&
1
+
x = 0
+
1
+
Observa que cuando x toma valores infinitamente prximos a 0, sus imgenes se
aproximan infinitamente a 1 (por su derecha). Esta equivalencia puede apreciarse a simple vista.
Sigue la siguiente explicacin con detalle:
( Imagina el crculo trigonomtrico (o circunferencia goniomtrica. Recuerda: radio = 1).
( Imagina un ngulo (un arco) x muy pequeo (p.e. x = 00001 rad.).
( Recuerda la representacin grfica del seno de x y de la tangente de x. A que tendrn un
tamao muy parecido? Pues por eso el cociente es aproximadamente igual a 1. A que el
tamao de la tangente de x ser un poco mayor que el tamao del seno de x? Por eso el
cociente es un poco mayor que 1.
20.La indeterminacin 0/0.-
Hemos visto que al calcular el lmite de un cociente de dos funciones nos podemos
encontrar con que el lmite del numerados sea 0 y el del denominador tambin, es decir :
lim
( )
( )
lim ( )
lim ( )
x a
x a
x a
f x
g x
f x
g x
= =
0
0
R
En estos casos la expresin 0 partido por 0" se dice que es una indeterminacin, ya que
el lmite puede ser cualquier valor. Expliquemos esto:
t (x) = tg x
tambin es un
infinitsimo en
x = 0
Repetimos nuevamente que el significado de la expresin
anterior no es 0 dividido por 0", sino que cuando x6a nos
encontramos con cocientes en los que tanto el
numerador como el denominador son nmeros tan
infinitamente prximos a 0 como podamos imaginar.
Las funciones f (x) y g(x) son infinitsimos en el punto x = a ya que :
lim ( )
lim ( )
x a
x a
f x
g x
=
=
0
0
Supongamos que son del mismo orden, es decir:
los dos son de orden n. lim
( )
( )
lim
( )
( ) x a
n
x a
n
f x
x a
k y
g x
x a
m

=
= 0 0
En este caso:
{
lim
( )
( )
lim
lim
lim
( )
( )
( )
( )
( )
( )
( )
( )
x
x-a
x
f x
x a
g x
x a
x
f x
x a
x
g x
x a
f x
g x
k
m
l l
n
n
n
n

= = = =
0 0
0
0
dividimos
numerador y
denominador
por ( )
n
R ( 0)
6 7 44 8 44
Es decir, si el numerador y denominador son infinitsimos del mismo orden en el punto
x = a, el lmite del cociente es un nmero real l 0.
Supongamos que el numerador es un infinitsimo de orden superior al denominador:
lim
( )
( )
lim
( )
( ) x a
n
x a
r
f x
x a
k y
g x
x a
m siendo n r

=
= > 0 0
En este caso:
{
lim
( )
( )
lim
lim
lim
lim
lim
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( ) ( )
lim( )
x
x-a
x
f x
x a
g x
x a
x
f x
x a
x
g x
x a
x
f x
x a
x
g x
x a x a
m
x a
m
f x
g x
k k k
n
n
n
n
n
r n r
x
n r

= = = =
= = =
0 0
0
0
0
0
0
0
0
dividimos
numerador y
denominador
por ( )
n
6 7 44 8 44
Es decir, si el numerador es un infinitsimo de orden superior al denominador, el lmite
del cociente es 0. A simple vista se debe apreciar que el numerador est infinitamente ms
prximo a 0 que el denominador, lo que hace que el cociente tienda a ser 0.
Supongamos que el numerador es un infinitsimo de orden inferior al denominador:
. En este caso: lim
( )
( )
lim
( )
( ) x a
n
x a
r
f x
x a
k y
g x
x a
m siendo n r

=
= < 0 0
{
lim
( )
( )
lim
lim
lim
lim
lim
lim( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( ) ( )
( )
( )
x
x-a
x
f x
x a
g x
x a
x
f x
x a
x
g x
x a
x
f x
x a x a
x
g x
x a
x
r
k
f x
g x
k
x a
m m m
r
r
r
r
n r n
r

= = = =
=
= =

=
0 0
0
0
0
0
0 0
dividimos
numerador y
denominador
por ( )
r
6 7 44 8 44
Es decir, si el numerador es un infinitsimo de orden inferior al denominador, el lmite
del cociente de esos infinitsimos es infinito (positivo o negativo). A simple vista debe
apreciarse que en este caso el denominador est infinitamente ms prximo a 0 que el
numerador, lo que hace que el numerador sea infinitamente mayor que el denominador
y por tanto el cociente tiende a infinito.
21.Forma de resolver la indeterminacin 0/0.-
En este punto veremos el modo de resolver esta indeterminacin cuando el numerador y
denominador son funciones polinmicas, dejando para temas posteriores el caso de otro tipo de
funciones. Veamos:
& Sean f (x) y g(x) dos funciones polinmicas que son infinitsimos en el punto x = a.
Es decir:
( por ser polinmicas es f(a)=g(a) = 0) lim ( ) ( ) lim ( ) ( )
x a x a
f x f a y g x g a

= = = = 0 0
& Consideremos la funcin cociente f dividido por g:
es una funcin racional. h x x
f
g
f x
g x
( ) ( )
( )
( )
=
|
\
|
.
|
=
Es evidente que h no tiene imagen para x = a. En efecto:
h a
f a
g a
( )
( )
( )
= =
0
0
R
& Ya sabemos que para x = a la funcin h(x) no tiene imagen, pero nos interesa saber su
comportamiento cuando x se aproxima infinitamente a a, es decir, su lmite cuando x
tiende a a. Veamos:
Buscamos lim ( ) lim
lim ( )
lim ( )
( )
( )
( )
( )
x a x a
f x
g x
x a
x a
h x
f x
g x
f a
g a

= = = =
0
0
Indeterminado
f x funcion polinomica
f a
La division f x x a es exacta
g x funcion polinomica
g a
La division g x x a es exacta
( ) & &
( )
& ( ):( )
( ) & &
( )
& ( ):( )
=
`
)

=
`
)

0
0
Efectuamos ambas divisiones:
{ {
{ {
f x x a
c x cociente
r x resto
f x x a c x
g x x a
d x cociente
s x resto
g x x a d x
dividendo
divisor
cociente
dividendo
divisor
cociente
( ): ( )
( )
( )
( ) ( ) ( )
( ): ( )
( )
( )
( ) ( ) ( )

=
=

`
)
=

=
=

`
)
=
0
0
678
678
Substituyendo en el lmite de h(x) cuando x tiende a a :
En este caso 0/0 si se refiere a cero dividido por cero, lo cual
no es un nmero real, por lo que la ltima igualdad no se
refiere a una igualdad entre nmeros.

{
lim ( ) lim
( )
( )
lim
( ) ( )
( ) ( )
lim
( )
( )
( )
( )
x a x a x a
como
x a
x a
h x
f x
g x
x a c x
x a d x
c x
d x
c a
d a
l

= =

= = =
0
R
o
Puede ocurrir:
' c(a) y d(a) son dos nmeros distintos de 0. En este caso el lmite es un nmero
real distinto de 0.
' c(a) es distinto de cero y d(a) = 0. En este caso el lmite es infinito.
' c(a) = 0 y d(a)0. En este caso el lmite es 0.
' Si c(a) = d(a) = 0 entonces tenemos que las funciones polinmicas c(x) y d(x) son
infinitsimos en el punto x = a, por lo que hay repetir el proceso anterior con esas
funciones, es decir:
lim ( ) lim
( )
( )
lim
( )
( )
( )
( )
x a x a x a
h x
f x
g x
c x
d x
c a
d a

= = = =
0
0
Indeterminado
Hay que resolver la indeterminacin efectuando las divisiones :
y por tanto
c x x a
d x x a
( ):( )
( ):( )
c x x a x
d x x a x
( ) ( ) ( )
( ) ( ) ( )
=
=
Nos queda:
lim ( ) lim
( )
( )
lim
( )
( )
lim
( ) ( )
( ) ( )
lim
( )
( )
( )
( )
x a x a x a x a x a
h x
f x
g x
c x
d x
x a x
x a x
x
x
a
a

= = =

= =
Ejemplo 31.-
Dada la funcin , queremos: f x
x x
x x x
( ) =
+
+
3
3 2
21 20
5 2 24
a) Su imagen para x = 4
b) Su lmite cuando x tiende a 4.
Veamos:
a) f ( ) 4
4 21 4 20
4 5 4 2 4 24
64 84 20
64 80 8 24
0
0
3
3 2
= = =
+
+
+
+
R
b) lim ( ) lim
x x
x x
x x x
f x

+
+
+
+
+
+
= = = =
4 4
21 20
5 2 24
4 21 4 20
4 5 4 2 4 24
64 84 20
64 80 8 24
0
0
3
3 2
3
3 2
Indeterminado
De lo anterior se deduce que las divisiones:
son exactas. Efectuemos ambas divisiones por Ruffini:
( )
( )
x x x
x x x x
3
3 2
21 20 4
5 2 24 4
+
+
:( )
:( )
1 0 &21 20 1 &5 &2 24
4 4 16 &20 4 4 &4 &24
1 4 -5 0 1 &1 &6 0
Cocientes: c x x x y d x x x ( ) ( ) = + =
2 2
4 5 6
La funcin f (x) no tiene
imagen en 4, esto es, 4D
f
Utilizando la expresin Dividendo = divisor cociente + resto :

x x x x x
x x x x x x
x x
x x x
x x x
x x x
x x
x x
x x
x
3 2
3 2 2
4
3 2
3 2
4
2
2
4
2
2
2
2
21 20 4 4 5
5 2 24 4 6
21 20
5 2 24
4 4 5
4 6
4 5
6
4 4 4 5
4 4 6
27
+ = +
+ =

+
+
=
+

=
=
+

=
+

=

( ) ( )
( ) ( )
lim lim
( ) ( )
( ) ( )
lim
( )
( )
6
9
2
4 5 = =
Por tanto:
El significado de los dos apartados es
que para x = 4 la funcin no existe,
pero si x toma valores infinitamente
prximos a 4, sus imgenes estn
Hagamos algunas comprobaciones:
x f
x f
= =
= =
3 999 3 999 4 503252911 4 5

4 001 4 001 4 496753188 4 5
( ) ( )
( ) ( )
Una idea grfica de la funcin f (x) en las proximidades de x = 4 es:
En la figura 13 hemos representado
un trozo de lo que podra ser
aproximadamente la funcin f (x) en
un entorno de x = 4.
Puede apreciarse como en x = 4 no
hay imagen, a la izquierda
inmediata de x = 4 las imgenes son
mayores que 45 y a la derecha
inmediata de x = 4 las imgenes son
menores que 45.
Aunque la curva la hemos dibujado
cncava hacia arriba, podra ser
cncava hacia abajo.
Ejemplo 32.-
Queremos estudiar el comportamiento de la funcin en el punto x = &1 f x
x x x
x x x
( ) =
+
+ + +
3 2
3 2
1
5 7 3
Veamos:
9 Hallemos la imagen de f (x) en x = &1 :
. Por tanto, &1D
f
f ( )
( ) ( ) ( )
( ) ( ) ( )
= = =
+
+ + +
+ +
+ +
1
1 1 1 1
1 5 1 7 1 3
1 1 1 1
1 5 7 3
0
0
3 2
3 2
R
9 Hallemos el lmite de f (x) cuando : x 1
lim ( ) lim
x x
x x x
x x x
f x

+
+ + +
= =
1 1
1
5 7 3
0
0
3 2
3 2
Indeterminado

lim ( ) lim
x x
f x
x x
x x x
=
+
+
= =
4 4
3
3 2
21 20
5 2 24
9
2
4 5
Aparentemente, cuando x se aproxima a 4
por su izquierda, las imgenes se
aproximan a 45 por su derecha y si x se
aproxima a 4 por su derecha, las imgenes
f (x) se aproximan a 45 por su izquierda.
Es el cociente de dos
infinitsimos en x = &1
9 Resolvamos la indeterminacin:
Dividimos por el mtodo de Ruffini:
( ):( )
( ):( )
.
x x x x
x x x x
son exactas
3 2
3 2
1 1
5 7 3 1
+ +
+ + + +
1 1 &1 &1 1 5 7 3
&1 &1 0 1 &1 &1 &4 &3
1 0 &1 0 1 4 3 0
Cocientes: c x x y d x x x ( ) ( ) = = + +
2 2
1 4 3
Dividendo divisor cociente resto
x x x x x
x x x x x x
= +
+ = +
+ + + = + + +
3 2 2
3 2 2
1 1 1
5 7 3 1 4 3
( ) ( )
( ) ( )
Substituyendo:
lim ( ) lim lim lim
( ) ( )
( ) ( )
( )
( ) ( )
x x
x x x
x x x
x
x x
x x x
x
x
x x
f x

+
+ + +

+
+ + +

+ +

+ +
= = = = =
1 1
1
5 7 3
1
1 1
1 4 3
1
1
4 3
1 1
1 4 1 3
0
0
3 2
3 2
2
2
2
2
2
2
Ha vuelto a salir indeterminado, es decir, volvemos a tener el cociente de dos
infinitsimos.
9 Resolvemos la nueva indeterminacin:
A simple vista vemos:
( ):( )
( ):( )
.
x x
x x x
son exactas
2
2
1 1
4 3 1
+
+ + +
x x x
2
1 1 1 = + ( ) ( )
Efectuamos la segunda divisin:
1 4 3
&1 &1 &3
1 3 0
Substituyendo:
lim ( ) lim lim lim
( ) ( )
( ) ( )
x x
x
x x
x
x x
x x
x
x
x
f x

+ +

+
+ +

= = = = =
1 1
1
4 3
1
1 1
1 3
1
1
3
2
2
2
2
1
Conclusiones:
La funcin f (x) no tiene imagen para x = &1.
lim ( )
x
f x

=
1
1
x f
x f
= =
= =
+
0 999 0 999 0 999000499 1
1 001 1 001 1 0010005 1
( ) ( )
( ) ( )
22.Lmites laterales de una funcin en un punto.-
? Sea f (x) una funcin real de variable real y sea a un nmero real.
? Puede ocurrir que a pertenezca o no al dominio de f, es decir, a 0D
f
o a D
f
.
Cociente: ( ) x x = + 3
Factorizando el polinomio d (x):
x x x x
3
4 3 1 3 + + = + + ( ) ( )
Significa que para valores de x infinitamente prximos
a &1, sus imgenes estn infinitamente prximas a &1"
? Vamos a definir los lmites laterales de la funcin f (x) cuando x tiende a a. Es decir:
? Lmite de f (x) cuando x tiende a a por su izquierda.
? Lmite de f (x) cuando x tiende a a por su derecha.
Veamos:
? Lmite de f (x) cuando x tiende a a por su izquierda.
Definicin intuitiva:
La definicin anterior no es una definicin formal, sino intuitiva. La forma de expresar
la idea es la siguiente:
Recordemos que la expresin se interpreta como que x se x a

aproxima infinitamente a a tomando valores menores que a, siendo
dicha aproximacin tanta como podamos imaginar, sin ser x = a.
Grficamente se interpreta del siguiente modo:
figura 14.a
La funcin f (x) tiende a l
cuando x tiende a a por su
izquierda. En este caso la
imagen f(a) no existe, o al
menos, no coincide con l.
figura 14.b
izquierda. Ahora la imagen
f(a) existe y adems coincide
con l, es decir, f (a) = l
figura 14.c
izquierda. Ahora la imagen
f(a) existe pero no coincide
con l, es decir, f (a) l
Dada la definicin intuitiva y la interpretacin grfica, vamos a dar la definicin formal:
Se dice que el lmite de la funcin f (x) cuando x tiende a a por su izquierda es igual
a l, si para valores de x infinitamente prximos a a, por su izquierda, las imgenes de
esos x estn infinitamente prximos a l, de tal modo que, a partir de un nmero, cuanto
ms prximos est x de a (por su izquierda), ms prximo estar f (x) de l.
lim ( )
x a
f x l

=
Se dice que el lmite de f (x) cuando x tiende a a por su izquierda es igual a l, si para
todo entorno de centro l y radio , existe un entorno de centro a y radio tal que si x
est en la mitad izquierda de este (siendo xa), su imagen f (x) est en aqul.
Matemticamente : (r )
Ntese lo siguiente:
significa que x est en la mitad izquierda del entorno y xa. a x a < < E a
( )
significa que la imagen del x anterior verifica que f x E l ( ) ( )

l f x l < < + ( )
La definicin (r ) la podemos modificar del siguiente modo:
Identificamos , considerando que entendemos que el centro es l. E l con
( )
Identificamos , considerando que entendemos que el centro es a. E a con
( )
Consideramos que equivale a que f x E l ( ) ( )

l f x l < < + ( )
La definicin (r ) quedar (es evidente que >0 y >0 ):
(r r )
Ahora modificamos la definicin (r r ) del siguiente modo:
l f x l f x l f x l < < + < < < ( ) ( ) ( )
(r r r )
Ahora vamos a expresar literalmente la definicin (r r r ):

En la figura 15 (pgina siguiente) interpretamos grficamente esta definicin:
figura 15.a
f (x) es una funcin cuyo
lmite cuando x tiende a a
por su izquierda es l. Hemos
tomado un >0 y se lo hemos
sumado y restado a l en el eje
de ordenadas. Tenemos E
(l)
figura 15.b
A partir del anterior
obtenemos un >0 en el eje
de abci s as y como
consecuencia tenemos a&.
El intervalo (a&, a) es la
mitad izquierda de E
(a).
figura 15.c
Puede apreci arse que
cualquier nmero x que
tomemos tal que a& < x < a,
su imagen f (x) estar entre
l& y l+, es decir, *f (x)&l*<
En la figura llamamos x = .
lim ( ) ( ) , ( ) , ( ) ( )
x a
f x l E l E a si a x a entonces f x E l

= < <

lim ( ) , , ( )
x a

= > > < < < < + 0 0
lim ( ) , , ( )
x a
f x l si a x a entonces f x l

= > > < < < 0 0
Se dice que el lmite de la funcin f (x) cuando x tiende a a por su izquierda es igual a
l, s y slo s para cualquier nmero positivo, existe otro positivo tal que si x es un
nmero menor que a y distante de este una cantidad inferior a , su imagen f (x) dista
de l una cantidad inferior a .
? Lmite de f (x) cuando x tiende a a por su derecha.
Definicin intuitiva:
La definicin anterior no es una definicin formal, sino intuitiva. La forma de expresar
la idea es la siguiente:
Recordemos que la expresin se interpreta como que x se x a
+
aproxima infinitamente a a tomando valores mayores que a, siendo
dicha aproximacin tanta como podamos imaginar, sin ser x = a.
Grficamente se interpreta del siguiente modo:
La explicacin de la interpretacin grfica del concepto la damos a continuacin: lim ( )
x a
f x l
+
=
Se dice que el lmite de la funcin f (x) cuando x tiende a a por su derecha es igual
a l, si para valores de x infinitamente prximos a a, por su derecha, las imgenes de
esos x estn infinitamente prximos a l, de tal modo que, a partir de un nmero, cuanto
ms prximos est x de a (por su derecha), ms prximo estar f (x) de l.
lim ( )
x a
f x l
+
=
figura 16.a
derecha. En este caso la
imagen f(a) no existe, o al
menos, no coincide con l.
figura 16.b
derecha. Ahora la imagen
f(a) existe y adems coincide
con l, es decir, f (a) = l
figura 16.c
derecha. Ahora la imagen
f(a) existe pero no coincide
con l, es decir, f (a) l
Dada la definicin intuitiva y la interpretacin grfica, vamos a dar la definicin formal:
Matemticamente : (y )
Ntese lo siguiente:
significa que x est en la mitad derecha del entorno y xa. a x a < < + E a
( )
significa que la imagen del x anterior verifica que f x E l ( ) ( )

l f x l < < + ( )
La definicin (y ) la podemos modificar del siguiente modo:
Identificamos , considerando que entendemos que el centro es l. E l con
( )
Identificamos , considerando que entendemos que el centro es a. E a con
( )
Consideramos que equivale a que f x E l ( ) ( )

l f x l < < + ( )
La definicin (y ) quedar (es evidente que >0 y >0 ):
(y y )
Ahora modificamos la definicin (y y ) del siguiente modo:
l f x l f x l f x l < < + < < < ( ) ( ) ( )
(y y y )
Igual que hicimos con el lmite por la izquierda, expresaremos ahora de un modo
literal la definicin (y y y ) relativa al concepto : lim ( )
x a
f x l
+
=
lim ( ) ( ) , ( ) , ( ) ( )
x a
f x l E l E a si a x a entonces f x E l
+
= < < +

lim ( ) , , ( )
x a
+
= > > < < + < < + 0 0
lim ( ) , , ( )
x a
f x l si a x a entonces f x l
+
= > > < < + < 0 0
Se dice que el lmite de f (x) cuando x tiende a a por su derecha es igual a l, si para
todo entorno de centro l y radio , existe un entorno de centro a y radio tal que si x
est en la mitad derecha de este (siendo xa), su imagen f (x) est en aqul.
En la figura 17 interpretamos grficamente esta definicin:
figura 17.a
f (x) es una funcin cuyo
lmite cuando x tiende a a
por su derecha es l. Hemos
tomado un >0 y se lo hemos
sumado y restado a l en el eje
de ordenadas. Tenemos E
(l)
figura 17.b
A partir del anterior
obtenemos un >0 en el eje
de abci s as y como
consecuencia tenemos a+.
El intervalo (a, a+) es la
mitad derecha de E
(a).
figura 17.c
Puede apreci arse que
cualquier nmero x que
tomemos tal que a < x < a+,
su imagen f (x) estar entre
l& y l+, es decir, *f (x)&l*<
En la figura llamamos x = .
Ya hemos interpretado y definido los conceptos de lmites laterales de una funcin f (x)
en un punto a. Ahora veremos las diversas situaciones que pueden darse con este concepto.
Sea f (x) una funcin real de variable real y sea a un nmero real.
Veamos algunos casos que podran darse respecto del lmite de f (x) cuando x tiende a
a por su izquierda y por su derecha:
Los lmites laterales de f (x) cuando x tiende a
a existen y son distintos (figura 18).
En la figura 18 hemos representado un trozo
de la grfica de una funcin f (x) cuyo
comportamiento en las proximidades de x= a es
el siguiente:
lim ( )
lim ( )
lim ( )
x a
x a
x a
f x l
f x k
l k f x
+
=
=
/
f (a) o no existe o no est representado.
Tambin hemos representado la recta vertical en a, es decir, la recta de ecuacin x = a.
Se dice que el lmite de la funcin f (x) cuando x tiende a a por su derecha es igual a
l, s y slo s para cualquier nmero positivo, existe otro positivo tal que si x es un
nmero mayor que a y distante de este una cantidad inferior a , su imagen f (x) dista
de l una cantidad inferior a .
Los lmites laterales de f (x) cuando x tiende a a existen y son iguales (figura 19).
En la figura 19 hemos representado un
trozo de la grfica de una funcin f (x) cuyo
comportamiento en las proximidades de x= a
es el siguiente:
lim ( )
lim ( )
lim ( )
x a
x a
x a
f x l
f x l
f x l
+
=
=
=
f (a) existe, pero no coincide con l, es decir:
lim ( ) ( )
x a
f x f a
Podra ocurrir que coincidiesen, es decir:

lim ( ) ( )
x a
f x f a
=
Slo existe uno de los lmites laterales en x = a, mientras que el otro no existe. Una de las
causas puede ser porque a un lado de a no est definida (no existe) la funcin f (x).
En la figura 20 hemos representado el caso
de una funcin tal que:
f a existe
f x l f a
f x no existe
f x
x a
x a
x a
( )
lim ( ) ( )
lim ( )
lim ( )
= =
/
A la vista de la grfica observamos que en
el intervalo (&4,a) no est definida o no
existe la funcin.
Del mismo modo puede darse el caso de que existe el lmite por la izquierda y no por la
derecha, o que exista f (a) pero no coincida con el lmite lateral, o que no existe f (a), etc.
Ejemplo 33.-
Sea la funcin . Queremos estudiar su comportamiento en x = 1 y sus f x x ( ) =
3
1
proximidades.
Veamos:
3 Para x = 1 tenemos que . Por tanto, 10D
f
(dominio de f ). f ( ) 1 1 1 0 0
3
= = = R
3 Estudiemos el lmite de f cuando x tiende a 1. Ntese que en este caso sera un error la
siguiente expresin:
ERROR ! lim ( ) lim lim( )
x x x
f x x x

= = = = =
1 1
3
1
3 3
1 1 1 1 0 0
El motivo es que si tomamos valores muy prximos a 1 por su izquierda, el radicando es
negativo, por lo que la raz cuadrada no existe, es decir:
x f = = = =

1 1 1 1 1 1 0
3
( ) ( ) R
Quede claro que las igualdades de la ltima expresin no son igualdades numricas.
Por tanto, si x < 1 la funcin no existe, esto es, el dominio es D
f
= [1 , + 4), de lo que se
deduce que no existe el lmite de f (x) cuando x tiende a 1 por su izquierda.
En definitiva:

lim ( )
lim ( ) lim ( ) ( )
( )
lim ( )
x
x x x
f x no existe
f x x
f
f x

+ + + +
+ +
= = = = =
=
/
1
1 1
3 3
1
1 1 1 1 1 0 0 0
1 0
3 Interpretemos los resultados:
3.1.- En x = 1 existe la funcin y toma el valor 0, es decir, f (1) = 0
3.2.- Para valores de x menores que 1 la funcin no existe. No existe el lmite de
f (x) cuando x tiende a 1 por su izquierda.
3.3.- Para valores de x infinitamente prximos a 1 por su derecha, sus imgenes estn
infinitamente prximas a 0 por su derecha (por arriba en el eje de ordenadas).
3 Dibujemos la grfica de la funcin:
Tabla de valores
x $1
y x =
3
1
1 0
1
&
0
+
2
7 2 64575131 = K
3
26 5 09901951 = K
4
63 7 93725393 = K
5
124 11 1355287 = K
En la figura 21 se aprecia que la funcin f (x) existe en el
intervalo [1, + 4) y es estrictamente creciente en todo l.
Ejemplo 34.-
Dada la funcin definida por intervalos del siguiente modo:
f x
si x e
e si x e
x e
x e
( )
( )
=
<
2 2
2
Queremos estudiar su comportamiento en un entorno de centro e y dibujar su grfica.
Veamos:
S Recordemos que e = 2 71828182
S Por definicin de la funcin es f (e) = e, por lo que e0D
f
S Es fcil apreciar que todo nmero x tiene imagen, es decir, D
f
=
S Hallemos el lmite de f (x) cuando x tiende a e por su izquierda:
lim ( ) lim .
( )
( )
( )
x e x e
x e
x e
e e
e e
f x

= = =
2 2
2 2
2 2
0
0
indeterminado
Resolvamos la indeterminacin:
{
lim ( ) lim lim lim
( )
( ) ( )
( )
x e x e
x e
x e
x e
x e x e
x e
si x e
x e
x e e e
e
f x e

+ +

= = = = = =
2 2
2 2 2 2
2
2
S Hallemos el lmite de f (x) cuando x tiende a e por su derecha:
lim ( ) lim
&
x e x e
f x e e

+ +
= =
limite de una
funcion
constante
123
Conclusiones:
lim ( ) lim ( )
( )
lim ( ) ( )
x e x e
x e
f x f x e
f e e
f x f e e

+
= =
=
= =
En la figura 22 tenemos representada la funcin f (x), pudiendo apreciarse lo siguiente:
a En el intervalo (&4,e) es una
recta (semirrecta) de pendiente
positiva y en el intervalo [e,+4)
es una recta (semirrecta) paralela
al eje de abcisas (pendiente 0).
a Cuando x6e
&
ocurre que f (x)6e
Cuando x6e
+
ocurre que f (x)6e
Por tanto, lim ( )
x e
f x e
=
a Existe f (e) y es f (e) = e
23.Lmites infinitos en un punto.-
Sea f (x) una funcin real de variable real.
Sea a un nmero real. Puede ocurrir que a pertenezca al dominio de f (x) o que no
pertenezca, aunque, en general, para el concepto que vamos a estudiar en este apartado,
suele ocurrir que a D
f
.
Vamos a estudiar y definir los siguientes conceptos:
El lmite de f (x) cuando x tiende a a es + 4 lim ( )
x a
f x
= +
El lmite de f (x) cuando x tiende a a es - 4 lim ( )
x a
f x
=
Estudiemos y definamos el concepto :
lim ( )
x a
f x
= +
Expresado de otro modo:
Significa que para valores de x infinitamente prximos a a, tanto por
su izquierda como por su derecha, las imgenes f (x) son
infinitamente grandes positivas, de tal modo que cuanto ms prximo
est x de a (sin llegar a ser x = a), ms infinitamente grande es f (x)
Si
x a
o
x a
entonces f x
=
=
= +
+
( )
Vamos a expresarlo grficamente :
Aprciese en la figura 23 que:
g f (a) no existe.
g Si x a entonces f (x) es
grande positiva y cuanto ms
prximo est x de a, mayor es
la imagen de x, de tal modo que
esta se hace infinita positiva.
g Aunque en la figura la
grfica de f aparece cortada,
debe entenderse que se
aproxima cada vez ms a la
recta vertical x = a.
g La recta x = a se denomina
asntota vertical de la funcin f.
g La grfica de la funcin se
a aproxima a la recta vertical
x = a tanto como podamos
imaginar, pero nunca llega a tocarla.
g En este caso, se dice que en el punto a, del eje de abcisas, hay una asntota vertical por
ambos lados y hacia arriba (hacia + 4).
Hemos de suponer que ya se ha comprendido el concepto . lim ( )
x a
f x
= +
Ahora intentemos dar una definicin formal y a matemtica. Para ello, intenta seguir el
siguiente razonamiento:
a) Imaginemos un nmero muy grande positivo al que llamaremos M. Imagina ese
nmero situado en el eje de ordenadas.
b) Imagina que existe un nmero real x muy prximo a a tal que su imagen es mayor
que M, es decir, existe x a tal que f (x) > M.
Los dos puntos (T) anteriores podemos resumirlos en el siguiente enunciado:
Por muy grande positivo que imaginemos un nmero (M), existe otro nmero x muy
prximos a a tal que su imagen mediante f supera al nmero M.
De esta idea sacamos la siguiente definicin:
La definicin anterior nos garantiza que por muy grande que imaginemos un nmero M
(situado en el eje de ordenadas), existe un entorno de centro a (situado en el eje de
abcisas) tal que la imagen de ese entorno est por encima de M.
Entindase esta ltima igualdad como
que f (x) es infinitamente grande positivo
Se dice que el lmite de la funcin f (x) cuando x tiende a a es + 4 si para cualquier
valor M positivo, existe un entorno de centro a tal que si x est en ese entorno, su
imagen es mayor que M.
Vamos a explicar esta definicin grficamente en la figura siguiente (figura 24):
figura 24.1
En esta figura hemos
representado una funcin f
cuyo lmite cuando x tiende a
a es +4 y hemos tomado un
nmero M>0 (supuestamente
grande) en el eje de
ordenadas.
figura 24.2
Puede apreciarse como, a
partir de M, obtenemos un
entorno de centro a y radio ,
es decir, E
(a) = (a&,a+).
Si al trazar las verticales a
no quedase en el centro,
tomaramos un subentorno.
figura 24.3
En la figura 24.3 es fcil
observar que para cualquier
nmero c que se encuentre en
E
(a), su imagen es mayor

que M, es decir, f (c) > M.
Aprciese que para cada M
obtendremos un E
(a) distinto
Con todo lo expuesto anteriormente, ya podemos escribir la definicin matemtica: ( )
Ntese que en la definicin se exige que xa porque puede ocurrir que f (a) no exista.
La definicin ( ) la podemos modificar si identificamos E
(a) = (a&,a+) con y

consideramos que la expresin x0E
(a) equivale a que a& < x < a+.

La nueva definicin quedar: ( )
Tambin podemos modificar la definicin ( ) si consideramos que:
a x a x a x a < < + < < <
Nuevamente tenemos otra expresin para definir el concepto: ( )
Hemos concluido el estudio del concepto : Lmite de f (x) es +4 cuando x tiende a a
lim ( ) ( ) ( ) , ( )
x a
x a
f x M E a si x E a entonces f x M
= + > > 0

1 2 4 3 4
lim ( ) , ( )
x a
x a
f x M si a x a entonces f x M
= + > > < < + > 0 0

1 2 44 3 44
lim ( ) , ( )
x a
x a
f x M si x a entonces f x M
= + > > < > 0 0

1 2 4 3 4
Estudiemos y definamos el concepto : El lmite de f (x) cuando x tiende a a es - 4
lim ( )
x a
f x
=
De otro modo:
Si
x a
o
x a
entonces f x
=
=
=
+
( )
Vamos a expresarlo grficamente :
Aprciese en la figura 25 que:
h f (a) no existe.
h Si x a entonces f (x) es
grande negativa y cuanto ms
prximo est x de a, menor es
la imagen de x, de tal modo que
esta se hace infinita negativa.
h Aunque en la figura la
grfica de f aparece cortada,
debe entenderse que se
aproxima cada vez ms a la
recta vertical x = a.
h La recta x = a se denomina
asntota vertical de la funcin f.
h La grfica de la funcin se
a aproxima a la recta vertical
x = a tanto como podamos
imaginar, pero nunca llega a tocarla.
h En este caso, se dice que en el punto a, del eje de abcisas, hay una asntota vertical por
ambos lados y hacia abajo (hacia &4).
Hemos de suponer que ya se ha comprendido el concepto . lim ( )
x a
f x
=
Ahora intentemos dar una definicin formal y a matemtica. Para ello, intenta seguir el
siguiente razonamiento:
a) Imaginemos un nmero muy grande negativo al que llamaremos K. Imagina ese
nmero situado en el eje de ordenadas.
b) Imagina que existe un nmero real x muy prximo a a tal que su imagen es menor
que K, es decir, existe x a tal que f (x) < K.
Los dos puntos (X) anteriores podemos resumirlos en el siguiente enunciado:
Por muy grande negativo que imaginemos un nmero (K), existe otro nmero x muy
prximos a a tal que su imagen mediante f es menor que el nmero K.
De esta idea sacamos la siguiente definicin:
Entindase esta ltima igualdad como
que f (x) es infinitamente grande
negativo
Significa que para valores de x infinitamente prximos a a, tanto
por su izquierda como por su derecha, las imgenes f (x) son
infinitamente grandes negativas, de tal modo que cuanto ms
prximo est x de a (sin llegar a ser x = a), ms infinitamente
grande negativa es f (x)
La definicin anterior nos garantiza que por muy grande negativo que imaginemos un
nmero K (situado en el eje de ordenadas), existe un entorno de centro a (situado en el
eje de abcisas) tal que la imagen de ese entorno est por debajo de K.
Vamos a explicar esta definicin grficamente en la figura siguiente (figura 26):
figura 26.1
En esta figura hemos
representado una funcin f
cuyo lmite cuando x tiende a
a es &4 y hemos tomado un
nmero K<0 (supuestamente
grande) en el eje de
ordenadas.
figura 26.2
Puede apreciarse como, a
partir de K, obtenemos un
entorno de centro a y radio ,
es decir, E
(a) = (a&,a+).
Si al trazar las verticales a
no quedase en el centro,
tomaramos un subentorno.
figura 26.3
En la figura 26.3 es fcil
observar que para cualquier
nmero c que se encuentre en
E
(a), su imagen es menor

que K, es decir, f (c) < K.
Aprciese que para cada K
obtendremos un E
(a) distinto
Con todo lo expuesto anteriormente, ya podemos escribir la definicin matemtica: (r )
Ntese que en la definicin se exige que xa porque puede ocurrir que f (a) no exista.
La definicin (r ) la podemos modificar si identificamos E
(a) = (a&,a+) con y

consideramos que la expresin x0E
(a) equivale a que a& < x < a+.

La nueva definicin quedar: (r r )
Tambin podemos modificar la definicin (r r ) si consideramos que:
lim ( ) ( ) ( ) , ( )
x a
x a
f x K E a si x E a entonces f x K
= < < 0

1 2 4 3 4
lim ( ) , ( )
x a
x a
f x K si a x a entonces f x K
= < > < < + < 0 0

1 2 44 3 44
Se dice que el lmite de la funcin f (x) cuando x tiende a a es &4 si para cualquier
valor K negativo, existe un entorno de centro a tal que si x est en ese entorno, su
imagen es menor que K.
a x a x a x a < < + < < <
Nuevamente tenemos otra expresin para definir el concepto: (r r r )
Hemos concluido el estudio del concepto : Lmite de f (x) es &4 cuando x tiende a a
Observaciones:
Hemos visto los conceptos y definiciones de lim ( ) lim ( )
x a x a
f x y f x

= + =
En ellos debe quedar claro que la variable x se aproxima al nmero a por ambos lados,
es decir, debe entenderse lo siguiente:
lim ( ) lim ( ) lim ( )
lim ( ) lim ( ) lim ( )
x a x a x a
x a x a x a
f x f x f x
f x f x f x

= + = = +
= = =
+
+
Sin embargo, es posible que existan los dos lmites laterales y que uno de ellos sea +4 y
el otro &4. Tambin es posible que slo exista uno de ellos y el otro no exista o que uno sea +4
o &4 y el otro lmite lateral sea un nmero finito.
A continuacin daremos las definiciones correspondientes a los lmites laterales infinitos
en un punto. Son fcilmente deducibles si se han comprendido las definiciones mencionadas en
este apartado.
lim ( )
x a
f x
+
= +
La definicin matemtica es: (i )
Literalmente:
En la figura 27 hemos dibujado la grfica de una funcin f (x)
cuyo lmite cuando x tiende a a por su derecha es +4.
Puede apreciarse que a la izquierda de a no existe funcin.
La recta de ecuacin x = a se dice que es una asntota vertical de
la funcin f (x) por la derecha y hacia arriba (hacia +4).
En este caso:
lim ( ) ; lim ( ) ; ( )
x a x a
f x no existe f x f a no existe

+
= +
lim ( ) , ( )
x a
x a
f x K si x a entonces f x K
= < > < < 0 0

1 2 4 3 4
Significa que para valores de x infinitamente prximos a a por su
derecha, las imgenes se hacen infinitamente grandes positivas
lim ( ) , ( )
x a
x a
+
= + > > < < + > 0 0
1 2 44 3 44
El lmite de una funcin f es +4 cuando x tiende a a por su derecha, si para cualquier nmero
M positivo, existe un entorno de centro a y radio , tal que si x est en la mitad derecha de
este, su imagen es mayor que M.
lim ( )
x a
f x

= +
La definicin matemtica es: (j )
Literalmente:
En la figura 28 hemos representado la grfica de una
hipottica funcin f (x) que verifica lo siguiente:
lim ( ) ; lim ( ) ; ( )
x a x a
f x f x l f a no existe

+
= + =
En este caso se dice que lim ( )
x a
f x no existe
Ntese que podra ocurrir que lim ( ) ( )

x a
f x f a
=
En este caso la recta x = a es una asntota vertical de la
funcin f, por la izquierda y hacia arriba (hacia +4).
lim ( ) ; lim ( )
lim ( )
( ) .
x a x a
x a
f x f x
f x no existe
f a no existe figura

+
= = +
29 1
lim ( ) ; lim ( )
lim ( )
( ) .
x a x a
x a
f x f x
f x no existe
f a no existe figura

+
= + =
29 2
izquierda, las imgenes se hacen infinitamente grandes positivas
lim ( ) , ( )
x a
x a
= + > > < < > 0 0

1 2 44 3 44
El lmite de una funcin f es +4 cuando x tiende a a por su izquierda, si para cualquier nmero
M positivo, existe un entorno de centro a y radio , tal que si x est en la mitad izquierda de
este, su imagen es mayor que M.
En la figura 29.1, la recta x = a es una asntota vertical de la funcin f (x), por la izquierda
hacia abajo y por la derecha hacia arriba. En la figura 29.2 ocurre lo contrario, x = a es una
asntota vertical por la izquierda hacia arriba y por la derecha hacia abajo.
lim ( )
x a
f x

=
La definicin matemtica es: (l )
Literalmente:
lim ( )
x a
f x
+
=
La definicin matemtica es: (m)
Literalmente:
Ejemplo 35.-
Sea la funcin . Se pide: f x
x
x
( ) =
+
2 10
25
2
a) Estudiar su comportamiento en x = 5 y sus proximidades.
b) Estudiar su comportamiento en x = &5 y sus proximidades.
c) Representa de un modo aproximado lo ocurrido en los apartados a) y b).
Veamos:
a) Hallemos la imagen de x = 5:
f
f
( ) 5
20
25 25
20
0
5 =
= R D
Veamos qu ocurre en un entorno de x = 5 :
izquierda, las imgenes se hacen infinitamente grandes negativas
derecha, las imgenes se hacen infinitamente grandes negativas
lim ( ) , ( )
x a
x a
= < > < < < 0 0

1 2 44 3 44
lim ( ) , ( )
x a
x a
+
= < > < < + < 0 0
1 2 44 3 44
El lmite de una funcin f es &4 cuando x tiende a a por su izquierda, si para cualquier nmero
K negativo, existe un entorno de centro a y radio , tal que si x est en la mitad izquierda de
este, su imagen es menor que K.
El lmite de una funcin f es &4 cuando x tiende a a por su derecha, si para cualquier nmero
K negativo, existe un entorno de centro a y radio , tal que si x est en la mitad derecha de
este, su imagen es menor que K.
Quede claro que las igualdades anteriores
no son igualdades entre nmeros.
Nos preguntamos si es +4 o &4. lim ( ) lim
x x
f x
x
x
=
+
= =
5 5
2
2 10
25
20
0
Para averiguarlo debemos ver si el cero del denominador es 0
+
o 0
&
. Esto depender de
si x tiende a 5 por la izquierda o por la derecha, es decir, debemos hallar los lmites
laterales.

lim ( ) lim
lim ( ) lim
lim ( ) lim ( )
( )
( )
x x
x
x
x x
x
x
x x
f x
f x
f x f x

+
+ +
+
+
+
+
+
+
+
= = = = =
= = = = = +

5 5
2 10
25
2 5 10
5 25
10 10
25 25
20
0
5 5
2 10
25
2 5 10
5 25
10 10
25 25
20
0
5 5
2 2
2 2
Por tanto, no existe el lmite de f (x) cuando x tiende a 5.
Conclusiones:
a) La funcin no existe para x = 5, es decir, f (5) no existe
b) La recta de ecuacin x = 5 (recta vertical) es una asntota vertical de la funcin
f (x), por la izquierda hacia abajo y por la derecha hacia arriba.
c) Si tomamos valores de x que estn infinitamente prximos a 5 por su izquierda,
las imgenes de esos x son infinitamente grandes negativas.
d) Si tomamos valores de x que estn infinitamente prximos a 5 por su derecha, las
imgenes de esos x son infinitamente grandes positivas.
b) Hallemos la imagen en x =&5:
f
f
( ) =
+
= 5
10 10
25 25
0
0
5 R D
Que ocurre en los alrededores de x =&5?
lim ( ) lim
( )
( ) x x
f x
x
x
=
+
=
+

=
5 5
2 2
2 10
25
2 5 10
5 25
0
0
lim ( ) lim lim
( )
( ) ( )
lim
x x x x
f x
x
x
x
x x x

=
+
=
+
+
=
= =
5 5
2
5 5
2 10
25
2 5
5 5
2
5
2
10
1
5
0 2
Por tanto:
La funcin f (x) no tiene imagen para x = &5, pero para valores de x que estn
infinitamente prximos a &5, sus imgenes estn infinitamente prximas a &02, sin
llegar a valer nunca &02".
c) Nos piden una representacin grfica aproximada
en un entorno de x =5 y otro de x =&5.
En la figura 30 tenemos un esquema sobre el
comportamiento de la funcin f (x) en los puntos
x = &5 , x = 5 y sus proximidades.
Podemos ayudarnos de una calculadora para ver
los valores en x = &5
&
y x =&5
+
. Veamos:

x f
x f
= =
= =
+
5 01 5 01 0 199800199 0 2
4 99 4 99 0 2002002 0 2
( ) ( )
( ) ( )
Observa que la recta x = &5 no es asntota.
Esta expresin significa que el
lmite est an indeterminado,
esto es, puede ser cualquiera.
Quede claro que las igualdades anteriores
no son igualdades entre nmeros.
Ejemplo 36.-
Dada la funcin , pedimos: f x
x
x
( )
( )
=
4
2
a) Determinar su dominio.
b) Averigua si tiene asntotas verticales y estudia la posicin de la grfica con
respecto a estas.
Veamos:
a) Qu valores debe tomar x para que f (x) no exista?
f x x x
x
x
( ) ( )
( )
= = = =
4
2
2
0 4 0 4 R denominador
Por tanto, el nico nmero que no tiene imagen mediante f es 4.
b) Se trata de encontrar un nmero a que haga que en sus proximidades a
&
y/o a
+
, las
imgenes f (a
&
) y/o f (a
+
) se hagan infinitas (&4 o +4). Estos valores se buscan entre
aquellos que anulan el denominador. Por tanto, en este caso la recta x = 4 es una posible
asntota vertical. Veamos:
(puede ser +4 o &4) lim ( ) lim
( ) ( ) x x
f x
x
x
=
=
4 4
2 2
4
4
4 4
4
0
=
Para distinguir entre +4 o &4 debemos ver los lmites laterales.

lim ( ) lim
( ) ( ) ( )
lim ( ) lim
( ) ( ) ( )
lim ( )
x x
x x
x
f x
x
x
f x
x
x
f x

+

+
+
+
+
+
+

+ +
=
= = = +
=
= = = +
= +
4 4
2 2 2
4 4
2 2 2
4
4
4
4 4
4
0
4
0
4
4
4 4
4
0
4
0
La figura 31 da una idea grfica aproximada de la funcin en los alrededores de x = 4
Quede claro que en la figura 31
no se ha representado la funcin
del enunciado en un entorno de
centro 4, sino que es una idea
aproximada de como se
comporta dicha grfica con
respecto a la asntota vertical de
ecuacin x = 4.
Para comprobar, demos algunos
valores con calculadora:

f
f
( )
( )
( )
3 999 3999000
4 001 4001000
3 999
0 001
4 001
0 001
2
2
= =
= =
Es decir, si damos a x valores

infinitamente prximos a 4, sus
imgenes son infinitamente
grandes positivas.
{ } D
f
= = + R 4 4 4 ( , ) ( , )
Ejemplo 37.-
Sea la funcin . Queremos lo siguiente: f x
x
( ) =
+
1
a) Determinar su dominio.
b) Estudiar su comportamiento en los entornos de centro 0.
c) Dibujar su grfica.
Veamos:
a) El denominador de la funcin f (x) es otra funcin que no existe si el g x x ( ) = +
radicando x es negativo, esto es, si x < 0. Por tanto, f (x) no existe si x < 0. Adems, si es
x = 0, tendremos que y, por tanto, f (0) tampoco existe. Los nmeros x > 0 si 0 0 =
tienen imagen ya que y por tanto f (x) existe. g x x ( ) = + > 0
Conclusin:
{ }
D x R x
f
= > = + 0 0 ( , )
b) Hemos visto que para x = 0 no existe funcin ya que f ( ) 0
1
0
1
0
= =
+
R
Nota: Quede claro que las ltimas igualdades no expresan igualdades numricas.
Veamos ahora qu ocurre en las proximidades de 0 :

lim ( ) lim
lim ( ) lim
lim ( )
x x
x
x x
x
no es n real
x
f x
f x
f x no existe

+
+

+
+
+ +
+
+

= = = = +
= = =

0 0
1 1
0
1
0
0 0
1 1
0
1
0
R
Por tanto: Para valores de x infinitamente prximos a 0 por su izquierda, las
imgenes de f no existen.
Para valores de x infinitamente prximos a 0 por su derecha, las
imgenes son infinitamente grandes positivas.
c) Para dibujar su grfica nos ayudamos de una tabla de valores:
x > 0
f x
x
( ) =
+
1
1 1
025 2
001 10
00001 1000
0
+
+ 4
4 05
25 02
100 01
+ 4 0
+
En la figura 32 se ha representado la grfica de f (x) y
podemos apreciar como cuando x 6 0
+
es f (x) 6+4 y
cuando x 6+4 ocurre que f (x) 60
+
. Esto ltimo es
lo que veremos en el punto siguiente.
24.Lmites finitos en el infinito.-
Sea y = f (x) una funcin real de variable real y sea l un nmero real.
Supongamos que ocurre lo siguiente:
Para valores de x infinitamente grandes positivos, sus imgenes f (x) estn infinitamente
prximas a l, de tal modo que f (x) puede aproximarse a l tanto como podamos imaginar
(basta con tomar un x suficientemente grande). Es posible que f (x) se aproxime a l sin
llegar a que se produzca la igualdad f (x) = l.
La idea anterior puede expresarse de siguiente modo de una forma no muy rigurosa:
Expresin que nos indica que si x toma valores infinitamente
grandes positivos, sus imgenes se aproximan a l.
La forma correcta de expresar la idea es que cuando x tiende a + 4, f (x) tiende a l
Matemticamente:
El lmite de la funcin f cuando x tiende a ms infinito es igual a l
Vamos a expresar grficamente este concepto:
figura 33.a
En este caso observamos que cuando x tiende a
+4 (x
1
, x
2
, etc.), las imgenes ( y
1
, y
2
, etc.)
tienden a l. Puede apreciarse como la grfica de
f (x) se aproxima a la recta horizontal y = l tanto
como imaginemos (sin llegar a tocarla). La recta
de ecuacin y = l se llama asntota horizontal de la
funcin, por la derecha (hacia +4). En este caso la
grfica de f (x) va por debajo de la asntota.
Ntese que cuanto ms se aleja x hacia +4, ms se
aproxima f (x) a l. En este caso:
f x l si x ( ) +
figura 33.b
En este caso observamos que cuando x tiende a +4
(x
1
, x
2
1
, y
2
, etc.) tienden a
l. Puede apreciarse como la grfica de f (x) se
aproxima a la recta horizontal y = l tanto como
imaginemos (sin llegar a tocarla). La recta de
ecuacin y = l se llama asntota horizontal de la
funcin, por la derecha (hacia +4). En este caso la
grfica de f (x) va por encima de la asntota.
Ntese que cuanto ms se aleja x hacia +4, ms se
f x l si x ( ) +
+
f l l o l ( ) ( ) + =
+
lim ( )
x
f x l
+
=
Supuesto comprendido el concepto de un modo intuitivo y la interpretacin grfica del
mismo, intentemos dar una definicin formal a la idea siguiente:
lim ( )
x
f x l
+
=
Para ello, sigue el siguiente razonamiento:
Imagina un entorno cualquiera (tan pequeo como quieras) de centro l y radio ,
es decir, E
(l). Sita este entorno en el eje de ordenadas.

Imagina que, una vez fijado dicho entorno, existe un nmero real k (situado en el
eje de abcisas) talque, si x es mayor k, entonces su imagen f (x) est en E
(l).
y Si te fijas bien, los puntos anteriores nos vienen a decir que si queremos que una
imagen f (x) est tan prxima a l como queramos, nicamente tenemos que tomar
un x suficientemente grande positivo para que su imagen f (x) pertenezca a E
(l).
Pues bien, esta es la idea sobre la que se basa la definicin que damos seguidamente:
(f )
Literalmente:
Vamos a interpretar grficamente esta definicin. Observa la figura 34 :
Hemos tomado un
entorno cualquiera de
centro l y radio . Lo
hemos situado en el eje
de ordenadas.
A partir de ese entorno
hemos encontrado el
nmero k en el eje de
abcisas. Observa que k
depende de .
Cualquier nmero t que
tomemos (t > k), se
verifica que su imagen
es f (t) 0E

(l).
La definicin (f ) la podemos
modificar si consideramos lo siguiente:
9 Identificamos E

(l) con , ya que el centro l es fijo.
9 Substituimos la expresin f (x) 0E

(l) por su equivalente l & < f (x) < l +
(f f )
lim ( ) ( ) , , ( ) ( )
x
f x l E l k si x k entonces f x E l
+
= >

R
lim ( ) , , ( )
x
f x l k si x k entonces l f x l
+
= > > < < + 0 R
Se dice que el lmite de la funcin f (x) es l cuando x tiende a +4, si para cualquier
entorno de centro l, existe un nmero k tal que, si x es mayor que k, entonces su
imagen est en ese entorno.
Tambin podemos modificar la definicin (f f ) si consideramos lo siguiente:
: l f x l f x l f x l < < + < < < ( ) ( ) ( )
Por tanto:
(f f f )
Literalmente:
Con esto concluimos el estudio y definicin del concepto . lim ( )
x
f x l
+
=
Ahora vamos a estudiar el concepto lim ( )
x
f x l

=
Sea y = f (x) una funcin real de variable real y sea l un nmero real.
Para valores de x infinitamente grandes negativos, sus imgenes f (x) estn
infinitamente prximas a l, de tal modo que f (x) puede aproximarse a l tanto como
podamos imaginar (basta con tomar un x suficientemente grande negativo). Es posible
que f (x) se aproxime infinitamente a l sin llegar a producirse la igualdad f (x) = l.
La idea anterior puede expresarse de siguiente modo de una forma no muy rigurosa:
Expresin que nos indica que si x toma valores infinitamente
grandes negativos, sus imgenes se aproximan a l.
La forma correcta de expresar la idea es que cuando x tiende a &4, f (x) tiende a l
Matemticamente:
El lmite de la funcin f cuando x tiende a menos infinito es l
Vamos a dar la definicin de este concepto. Para ello sigue el siguiente razonamiento:
Imagina un entorno cualquiera (tan pequeo como quieras) de centro l y radio ,
es decir, E
(l). Sita este entorno en el eje de ordenadas.

Imagina que, una vez fijado dicho entorno, existe un nmero real k (situado en el
eje de abcisas) talque, si x es menor k (x est a la izquierda de k), entonces su
imagen f (x) est en E
(l).
y Si te fijas bien, los puntos anteriores nos vienen a decir que si queremos que una
imagen f (x) est tan prxima a l como queramos, nicamente tenemos que tomar
un x suficientemente grande negativo para que su imagen f (x) pertenezca a E
(l).
f l l o l ( ) ( ) =
+
lim ( ) , , ( )
x
f x l k si x k entonces f x l
+
= > > < 0 R
lim ( )
x
f x l

=
Se dice que el lmite de la funcin f (x) es l cuando x tiende a +4, si para
cualquier nmero positivo (generalmente pequeo), existe un nmero k (en
general grande positivo) tal que si x es mayor que k, entonces su imagen dista de l
menos de ..
Grficamente:
figura 35.a
&4 (x
1
, x
2
1
, y
2
, etc.)
funcin, por la izquierda (hacia &4). En este caso
la grfica de f (x) va por debajo de la asntota.
Ntese que cuanto ms se aleja x hacia &4, ms se
f x l si x ( )
figura 35.b
&4 (x
1
, x
2
1
, y
2
, etc.)
funcin, por la izquierda (hacia &4). En este caso
la grfica de f (x) va por encima de la asntota.
Ntese que cuanto ms se aleja x hacia &4, ms se
f x l si x ( )
+
Pues bien, esta es la idea sobre la que se basa la definicin que damos seguidamente:
(e)
Literalmente:
La definicin (e) la podemos modificar si consideramos lo siguiente:
3 Identificamos E

(l) con , ya que el centro l es fijo.
3 Substituimos la expresin f (x) 0E

(l) por su equivalente l & < f (x) < l +
(ee)
lim ( ) ( ) , , ( ) ( )
x
f x l E l k si x k entonces f x E l

= <

R
lim ( ) , , ( )
x
f x l k si x k entonces l f x l

= > < < < + 0 R
Se dice que el lmite de la funcin f (x) es l cuando x tiende a &4, si para cualquier
entorno de centro l, existe un nmero k tal que, si x es menor que k, entonces su
imagen est en ese entorno.
Tambin podemos modificar la definicin (ee) si consideramos lo siguiente:
4 l f x l f x l f x l < < + < < < ( ) ( ) ( )
Por tanto:
(eee)
Literalmente:
Vam
os a interpretar grficamente esta definicin. Observa la figura 36 :
Hemos tomado un
entorno cualquiera de
centro l y radio . Lo
hemos situado en el eje
de ordenadas.
A partir de ese entorno
hemos encontrado el
nmero k en el eje de
abcisas. Observa que k
depende de .
Cualquier nmero t
que tomemos (t < k),
se verifica que su
imagen es f (t) 0E

(l).
Con esto concluimos el estudio y definicin del concepto . lim ( )
x
f x l

=
Ejemplo 38.-
Sea la funcin . Queremos estudiar su comportamiento cuando x tiende f x
x
x
( ) =
+
+
6 2
2 5
a +4 y cuando tiende a &4.
Veamos:
Lo que buscamos son los siguientes lmites: lim ( ) lim ( )
x x
f x y f x
+
Lo vamos a resolver de un modo intuitivo (no sirve como demostracin, pero puede ser
til para aclarar ideas):
Imaginemos un nmero x infinitamente grande positivo, es decir, x = +4
La imagen de ese nmero ser f ( ) + = =
+
+
6 2
2 5
n infinitamente grande positivo
n infinitamente grande positivo
lim ( ) , , ( )
x
f x l k si x k entonces f x l

= > < < 0 R
Se dice que el lmite de la funcin f (x) es l cuando x tiende a &4, si para
cualquier nmero positivo (generalmente pequeo), existe un nmero k (en
general grande negativo) tal que si x es menor que k, entonces su imagen dista de l
menos de ..
Es fcil apreciar que el numerador es casi-casi el triple que el denominador (un poco
menor que el triple).
Si efectuamos la divisin numerador : denominador, obtendramos como cociente 3
&
.
Es fcil comprender que cuanto mayor sea x (infinitamente grande positivo), ms se
aproxima el cociente a 3.
Por tanto:
lim ( ) ( )
x
f x
+
= 3 3
Imaginemos un nmero x infinitamente grande negativo, es decir, x = &4
La imagen de ese nmero ser f ( )
( )
( )
= =
+
+
6 2
2 5
n infinitamente grande negativo
n infinitamente grande negativo
Es fcil apreciar que el numerador es casi-casi el triple que el denominador (un poco
menor que el triple). En valor absoluto el numerador es mayor que el denominador.
Si efectuamos la divisin numerador : denominador, obtendramos como cociente 3
+
.
Es fcil comprender que cuanto menor sea x (infinitamente grande negativo), ms se
aproxima el cociente a 3.
Por tanto:
lim ( ) ( )
x
f x

+
= 3 3
Aunque no vamos a dibujar la grfica, si vamos a dar una idea aproximada de como es
el comportamiento de esta en +4 y &4. Podemos ayudarnos dando valores a x que sean
infinitamente grandes positivos y negativos.
x + 10 100 1000 10000 100000 +4
y f x = ( )
248 2936585... 2993516... 2999350... 2999935...
3
&
x &10 &100 &1000 &10000 &100000 &4
y f x = ( )
3666666... 3066666... 3006516... 3000650... 3000065...
3
+
En la figura 37 tenemos una
idea del comportamiento de
la grfica de la funcin
(insistimos en que no se trata
de la grfica exacta) f (x) con
respecto a la asntota
horizontal de ecuacin y = 3.
Ntese que la asntota
horizontal es por la izquierda
y por la derecha. Por la
izquierda la grfica va por
encima de ella y por la
derecha est por debajo.
Es decir, para valores de x infinitamente
grandes positivos, las imgenes f (x) estn
infinitamente prximas a 3 por su izquierda
Es decir, para valores de x infinitamente
grandes negativos, las imgenes f (x) estn
infinitamente prximas a 3 por su derecha
25.La indeterminacin 4/4.-
Al resolver el ejercicio planteado en el ejemplo 38 advertamos que lo resolveramos de
un modo intuitivo. Veremos ahora cual es el mecanismo adecuado para resolverlo:
3 lim ( ) lim lim
x x x
f x
x
x
+ + +
=
+
+
=
+
+
=

=
6 2
2 5
6 2
2 5
Indeterminado
La expresin anterior (con forma de cociente) (o mejor ) nos indica que se trata
+
+
de un cociente entre dos nmeros infinitamente grandes (conceptos borrosos) y decimos
que se trata de una indeterminacin porque un cociente entre dos nmeros infinitamente
grandes puede dar cualquier resultado, esto es:
Si el numerador es infinitamente mayor que el denominador.
+
+
= +
Si ambos infinitos son de la misma categora (igual fuerza).
+
+
= k R
El resultado del cociente es k porque el numerador es
aproximadamente k veces el denominador.
Si el denominador es infinitamente mayor que el numerador.
+
+
= 0
Para evitar, resolver o salvar (se dice as) la indeterminacin, dividimos numerador
y denominador por la mayor potencia de la variable (x) en el denominador (sabemos
que si en una fraccin dividimos el numerador y denominador por un mismo nmero, esta
no vara porque obtenemos otra equivalente).
En el caso del ejemplo 38:
lim lim lim lim
x x
x
x
x
x
x
x
x x
x
x x
x
x
x
x
x
+ +
+
+
+ +
+
+
+
+
+
+
+
+
= =
+
+
=
+
+
=
+
+
=
+
+
= =
6 2
2 5
6
2
6
2
6 0
2 0
6
2
3
6 2
2 5
6 2
2 5
2
5
2
5
Observa que quitamos el trmino lim cuando se supone que la x ha llegado a + 4.
Para distinguir (si lo deseamos) entre 3
+
y 3
&
, podemos dar a x un valor muy grande
positivo y hallar su imagen.
3 Del mismo modo se trata el caso . Veamos: lim ( )
x
f x

lim ( ) lim lim
( )
( )
x x x
f x
x
x

=
+
+
=
+
+
=

=
6 2
2 5
6 2
2 5
Indeterminado
Es evidente que en este caso el resultado ser positivo al ser cociente entre dos negativos.
lim lim lim lim
x x
x
x
x
x
x
x
x x
x
x x
x
x
x
x
x

+
+

+
+
= =
+
+
=
+
+
=
+
+
=
+
+
= =
6 2
2 5
6
2
6
2
6 0
2 0
6
2
3
6 2
2 5
6 2
2 5
2
5
2
5
Para distinguir (si lo deseamos) entre 3
+
y 3
&
, podemos dar a x un valor muy grande
negativo y hallar su imagen.
4 En general, supongamos que tenemos una funcin h (x) que es cociente de otras dos y
prendemos determinar su lmite cuando x tiende a 4). Es decir:
y buscamos h x
f x
g x
( )
( )
( )
= lim ( ) lim
( )
( )
x x
f x
g x
h x

=
lim ( )
lim ( )
lim ( )
x
x
x
h x
f x
g x

= =

= Indeterminado
En el caso en que las funciones f (x) y g(x) sean polinmicas, la indeterminacin se
salva dividiendo el numerador y denominador de la funcin h (x) por la mayor potencia
de la variable x en el denominador.
En el caso en que las funciones f(x) y g(x) no sean polinmicas, se utiliza,
generalmente, otro mtodo de resolucin para salvar la indeterminacin.
Ejemplo 39.-
Sea la funcin . Se pide: h x
x x
x x
( ) =
+
+
3 2 7
2 2 4
2
2
a) Hallar su lmite cuando x tiende a +4 y &4. Indicar sus asntotas horizontales.
b) Determinar sus asntotas verticales.
c) Hacer un esquema de la grfica con respecto a las asntotas.
Veamos:
a) Tenemos una funcin h (x) que es cociente de dos funciones polinmicas.
lim ( ) lim
x x
h x
x x
x x + +
=
+
+
=
+
+
=
+ +
+ +
=
+
+
=
3 2 7
2 2 4
3 2 7
2 2 4
7
4
2
2
2
2
2
2
Indeterminado
Ntese que el infinito del numerador y del denominador son del mismo orden (tienen la
misma fuerza), por lo que el lmite est an sin determinar.
Salvamos la indeterminacin dividiendo numerador y denominador por x
2
:

lim ( ) lim lim lim
lim
x x x
x x
x
x x
x
x
x
x
x
x x
x
x
x
x x
x
x
x
x
x
h x
x x
x x + + +
+
+
+
+
+
+
+
+
=
+
+
= =
+
+
=
=
+
+
=
+
+
=
+
+
= =
3 2 7
2 2 4
3
2
3
2
3 0 0
2 0 0
3
2
1 5
2
2
3 2 7
2 2 4
3 2 7
2 2 4
2 7
2 4
2 7
2 4
2
2
2
2
2
2 2 2
2
2 2 2
2
2
2
2
lim ( ) lim
( ) ( )
( ) ( ) x x
h x
x x
x x
=
+
+
=
+
+
=
+ + +
+
=
+
+
=
3 2 7
2 2 4
3 2 7
2 2 4
7
4
2
2
2
2
2
2
Indeterminado
Salvamos la indeterminacin dividiendo numerador y denominador por x
2
:

lim ( ) lim lim lim
lim
( )
( )
x x x
x x
x
x x
x
x
x
x
x
x x
x
x
x
x x
x
x
x
x
x
h x
x x
x x
+
+

=
+
+
= =
+
+
=
=
+
+
=
+
+
=
+ +

= =
3 2 7
2 2 4
3
2
3
2
3 0 0
2 0 0
3
2
1 5
2
2
3 2 7
2 2 4
3 2 7
2 2 4
2 7
2 4
2 7
2 4
2
2
2
2
2
2 2 2
2
2 2 2
2
2
2
2
Por tanto: La recta de ecuacin y = 15
es una asntota horizontal por
ambos lados, es decir:
lim ( ) lim ( )
x x
h x h x
+
= = 1 5
Para ver la posicin de la grfica de h (x) respecto de la asntota, damos valores a x:
h h ( ) ; ( ) 1000 1 49750898 1000 1 50250901
2998007
2001996
3002007
1997996
= = = = K K
Aparentemente hemos obtenido que la grfica est por debajo de la asntota cuando x
tiende a +4 y est por encima cuando x tiende a &4.
b) Las posibles asntotas verticales de la funcin h (x) hay que buscarlas entre los valores
que anulan el denominador. Busquemos esos valores:
denominador
posible asintota vertical
posible asintota vertical
= + = + = + =
= = = =
=
=
+
0 2 2 4 0 2 2 0 2 0
1
2
2 2 2
1 1 8
2
1 9
2
1 3
2
1
2
x x x x x x
x
x
x
( )
&
&
Factorizamos el polinomio denominador: 2 2 4 2 1 2
2
x x x x + = + ( ) ( )
Podemos expresar la funcin h (x) del modo: h x
x x
x x
( )
( ) ( )
=
+
+
3 2 7
2 1 2
2
Hallemos los lmites cuando : x y x 1 2
lim ( ) lim ( )
( ) ( ) ( ) ( )
x x
x x
x x
h x o

+
+
+
+
= = = = +
1 1
3 2 7
2 1 2
3 1 2 1 7
2 1 1 1 2
8
0
2 2
Ya sabemos que la recta x = 1 es una asntota vertical. Para determinar la posicin de la
grfica respecto de dicha asntota, debemos hallar los lmites laterales. Veamos:

lim ( ) lim
lim ( ) lim
( ) ( )
( ) ( )
( ) ( )
( ) ( )
x x
x x
x x
x x
x x
x x
h x
h x

+
+
+
+

+
+
+
+
+ +
+ + + + +

= = = = = = +
= = = =
1 1
3 2 7
2 1 2
3 1 2 1 7
2 1 1 1 2
8
2 0 3
8
6 0
8
0
1 1
3 2 7
2 1 2
3 1 2 1 7
2 1 1 1 2
8
2 0 3
2 2
2 2
8
6 0
8
0

= =
Por tanto:
Para valores de x infinitamente prximos a 1 por su derecha, las
imgenes h (x) son infinitamente grandes positivas y para valores de x
infinitamente prximos a 1 por su izquierda, las imgenes h (x) son
infinitamente grandes negativas.
La recta de ecuacin x = 1 es una asntota vertical
lim ( ) lim ( )
( ) ( )
( ) ( )
( ) ( )
x x
x x
x x
h x o

+
+
+
+
= = = = +
2 2
3 2 7
2 1 2
3 2 2 2 7
2 2 1 2 2
23
0
2
2
Ya sabemos que la recta x = -2 es una asntota vertical. Para determinar la posicin de la
grfica respecto de dicha asntota, debemos hallar los lmites laterales. Veamos:

lim ( ) lim
lim ( ) lim
( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( )
( ) ( )
x x
x x
x x
x x
x x
x x
h x
h x

+
+
+
+

+
+
+
+ +
+ + + +

= = = = = =
= =
2 2
3 2 7
2 1 2
3 2 2 2 7
2 2 1 2 2
23
2 3 0
23
6 0
23
0
2 2
3 2 7
2 1 2
3 2 2 2 7
2
2
2
2
2
+
+
= = = = +
( ) ( ) ( ) 2 1 2 2
23
2 3 0
23
6 0
23
0
Por tanto:
Para valores de x infinitamente prximos a &2 por su derecha, las
imgenes h (x) son infinitamente grandes negativas y para valores de x
infinitamente prximos a &2 por su izquierda, las imgenes h (x) son
infinitamente grandes positivas.
La recta de ecuacin x = &2 es una asntota vertical
lim ( )
lim ( )
x
x
h x
h x
= +
=
1
1
lim ( )
lim ( )
x
x
h x
h x

+
=
= +
2
2
c) Hagamos un esquema de los resultados obtenidos:
En la figura 38 tenemos un
esquema que nos indica la
posicin de la grfica de la
funcin h (x) con respecto a la
asntota horizontal y a las
verticales. Segn parece, la
grfica corta a la asntota
horizontal y = 15 en un punto
del primer cuadrante.
Supongamos que deseamos
hallar ese punto de corte. Para
ello debemos resolver el sistema
de dos ecuaciones con dos
incgnitas siguiente:
S
y
y
x x
x x
:
=
=
+
+
3 2 7
2 2 4
3
2
2
2
Resolvemos por el mtodo de igualacin:

y y x x x x x x
Para x es y Por P es el punto de corte
x x
x x
= = + = + = = =
= =
+
+
3 2 7
2 2 4
3
2
2 2 13
5
2
2
6 4 14 6 6 12 10 26 2 6
2 6 1 5 2 6 1 5 . ( , ) . tanto
En ocasiones, la obtencin del lmite en el caso de una indeterminacin del tipo ,
puede apreciarse a simple vista, esto es, sin realizar clculos. Veamos algunos ejemplos.
Ejemplo 40.-
Queremos conocer el comportamiento de la funcin cuando x 6 +4 f x
x x x
x x
( ) =
+ +
+
9 5 2
3 6 5
3 2
3
Veamos:
Se trata de hallar el lmite de f (x) cuando x 6 +4.

lim ( ) lim
x x
f x
x x x
x x + +
=
+ +
+
=
+ +
+
=
+
+
=
+
+
=
9 5 2
3 6 5
9 5 2
3 6 5
9
3
3 2
3
3 2
3
3
3
L
L
Indeterminado
En este caso el infinito del numerador y del denominador son del mismo orden (4
3
), pero
el numerador es (aproximadamente) el triple del denominador (cuando x es infinitamente grande),
por lo que el cociente es un nmero infinitamente prximo a 3 (cuanto mayor sea x ms se
aproxima el cociente a 3).
Por tanto: lim ( ) lim
x x
x x x
x x
f x
+ +
+ +
+
= = =
9 5 2
3 6 5
9
3
3 2
3
3
Si resolvemos la indeterminacin dividiendo numerador
y denominador por x
3
, obtenemos el mismo resultado.
La recta de ecuacin y = 3 es una asntota horizontal por la derecha.
por s e r n u me r a d o r y
denominador del mismo grado
Ejemplo 41.-
Dada la funcin , queremos hallar el lmite cuando x tiende a +4 y &4 f x
x
x x
( ) =

+
5 6
4
2
3
Veamos:
lim ( ) lim
x x
f x
x
x x + +
=

+
=

+
=
+
+
=
+
+
=
5 6
4
5 6
4
5
4
2
3
2
3
2
3
L
L
Indeterminado
Aunque el cociente es indeterminado, apreciamos que el infinito del numerador es de
potencia 2 y el del denominador de potencia 3, lo que significa que, si x es un nmero
infinitamente grande positivo, el cociente es aproximadamente cero. Como el numerador y
denominador son positivos (para x = +4), el cero es por la derecha (0
+
).
Por tanto: Deducido a simple vista lim ( ) ( )
x
f x
+
+
= 0 0
Podemos deducirlo dividiendo numerador y denominador por la mayor potencia de x en
el denominador ( x
3
) :

( )
x x x
x
x
x x
x
x
x
x x
x
x
x
x
x
x
x
x
f x
x
x x
A simple vista se aprecia quees
+ + +
+
+ +
+ +
=

+
= =
+
=
+
=
=
+
=

+
= =
5 6
4 4
4
0 0
4 0
0
4
0 0 0
2
3
5 6
4
5 6
4
5 6
1
5 6
1
2
3
3
3
2
3 3
3
3 3
3
2
3
2
Lo anterior nos indica que la recta y = 0 (el eje de abcisas) es una asntota horizontal por
la derecha. La grfica de la funcin se acerca a ella por encima.

lim ( ) lim
( )
( ) x x
f x
x
x x
=

+
=

=
+
+
=
+
=
5 6
4
5 6
4
5
4
2
3
2
3
2
3
L
L
Indeterminado
Aunque el cociente es indeterminado, apreciamos que el infinito del numerador es de
potencia 2 y el del denominador de potencia 3, lo que significa que, si x es un nmero
infinitamente grande negativo, el cociente es aproximadamente cero. Como el numerador es
positivo y el denominador negativo, (para x = &4), el cero es por la izquierda (0
&
).
Por tanto: Deducido a simple vista lim ( ) ( )
x
f x

= 0 0
Podemos deducirlo dividiendo numerador y denominador por la mayor potencia de x en
el denominador ( x
3
) :

( )
( )
( )
x x x
x
x
x x
x
x
x
x x
x
x
x
x
x
x
x
x
f x
x
x x
A simple vista se aprecia quees

+

=

+
= =
+
=
+
=
=
+
=
+
+
= =
5 6
4 4
4
0 0
4 0
0
4
0 0 0
2
3
5 6
4
5 6
4
5 6
1
5 6
1
2
3
3
3
2
3 3
3
3 3
3
2
3
2
Debe apreciarse a simple vista que la expresin del numerador 0
&
+ 0
+
es 0
&
Lo anterior nos indica que la recta y = 0 (el eje de abcisas) es una asntota horizontal por
la izquierda. La grfica de la funcin se acerca a ella por debajo.
Conclusin: . Adems, y = 0 asntota horizontal lim ( ) lim ( )
x x
f x y f x
+
+

= = 0 0
Ejemplo 42.-
Hallar los lmites, en el infinito, de la funcin . g x
x x
x
( ) =

+
3
9
50 2
Veamos:
Nos piden que hallemos lim ( ) lim ( )
x x
g x y g x
+
lim ( ) lim
x x
x x
x
g x
+ +
+
+
+
+
+
= = = =
3 3
9
50 2
9
50 2
Indeterminado
Aunque es indeterminado, a simple vista se aprecia que el resultado del cociente es + 4.
Si lo hacemos dividiendo numerador y denominador por x, tenemos:
x x
x x
x
x
x x
x
x
x
x
x
x
x
x
x
x x
x
x
g x
x
+ +
+
+
+
+ +
+
+
+
= = =

+
=

+
=
+
+
= = +
3
3 3
9
50 2
9
50 2
9
50 2
2
2
2
2 50 0
9
50
9
50
El lmite anterior nos dice que para valores de x infinitamente grandes positivos, las
imgenes g (x) son infinitamente grandes positivas.
Como la funcin g(x) no se aproxima tanto como podamos imaginar a una recta
horizontal, por su derecha, deducimos que no tiene asntota horizontal por la derecha.
lim ( ) lim
x x
x x
x
g x

+
+
+

= = = =
3 3
9
50 2
9
50 2
Indeterminado
Aunque es indeterminado, a simple vista se aprecia que el resultado del cociente es + 4,
ya que el numerador y denominador son negativos.
Si lo hacemos dividiendo numerador y denominador por x, tenemos:
( )
x x
x x
x
x
x x
x
x
x
x
x
x
x
x
x
x x
x
x
g x
x

+

+
+
= = =

+
=

+
=

+
= = +
3
3 3
9
50 2
9
50 2
9
50 2
2
2
2
2 50 0
9
50
9
50
El lmite anterior nos dice que para valores de x infinitamente grandes negativos, las
imgenes g (x) son infinitamente grandes positivas.
Como la funcin g(x) no se aproxima tanto como podamos imaginar a una recta
horizontal, por su izquierda, deducimos que no tiene asntota horizontal por la izquierda.
Demos una idea grfica del comportamiento de g(x) en el infinito (positivo y negativo).
La figura 39 nos indica que la
grfica de la funcin g(x) va
por la derecha y hacia
arriba, hasta perderse a
+4. Por la izquierda tambin
va hacia arriba (hasta +4).
En este caso se dice que la
funcin tiene una rama
parablica por la derecha
hacia arriba y otra por la
izquierda hacia arriba.
En este caso la funcin g(x)
no tiene asntota horizontal.
26.Lmites infinitos en el infinito.-
Sea y = f (x) una funcin real de variable real.
Para valores de x infinitamente grandes positivos, sus imgenes f (x) son infinitamente
grandes positivas, de tal modo que f (x) puede superar cualquier valor positivo que
imaginemos, dndole a x algn valor grande positivo.
La idea anterior se expresa en trminos matemticos del siguiente modo:
La funcin f (x) tiende a ms infinito cuando x tiende a ms infinito.
En lenguaje matemtico: f x cuando x ( ) + +
De un modo informal y utilizando trminos borrosos: f (+4) = +4.
La forma ms correcta de expresarlo es:
Se lee: El lmite de f (x) cuando x tiende a +4 es +4
Significa: Para valores de x infinitamente grandes
positivos, sus imgenes son infinitamente grandes positivas
La interpretacin grfica es que la lnea que representa a la funcin, se aleja por la
derecha y hacia arriba
En la figura 40 hemos
expresado de un modo
grfico la idea de una
funcin que verifica lo
siguiente:
lim ( )
x
f x
+
= +
Aunque la curva la hemos
dibujado cncava hacia
arriba, puede ser cncava
hacia abajo o recta.
La mayor inclinacin de la
curva (su pendiente) nos
indica la fuerza con la que
la funcin tiende a infinito.
Suponiendo que se ha comprendido intuitivamente el concepto y la interpretacin grfica
de , vamos a buscar la definicin formal y matemtica. lim ( )
x
f x
+
= +
. .- Imaginemos un nmero positivo M (M>0) y tan grande como queramos. Imagina
dicho nmero situado en el eje de ordenadas (estar muy alto).
. .- Supongamos que existe un nmero x (situado en el semieje de abcisas positivo)
cuya imagen es mayor que M, es decir, f (x)>M.
..- De los dos puntos anteriores deducimos que la parte derecha de la grfica de
la funcin f (x) es capaz de superar cualquier valor M situado en el eje de
ordenadas.
Sobre esta idea construimos la definicin formal del concepto:
Vamos a desarrollar esta definicin de un modo grfico:
lim ( )
x
f x
+
= +
Se dice que el lmite de la funcin f (x) es +4 cuando x tiende a +4, si para cualquier
nmero M>0, existe un nmero k>0 tal que, si x es mayor que k, entonces su imagen
f (x) es mayor que M.
figura 41.a
En la figura 41.a tenemos la
funcin f (x) que tiende a +4
cuando x tiende a +4.
Hemos tomado un nmero
cualquiera M>0 y situado en
el eje de ordenadas.
figura 41.b
En la figura 41.b obtenemos
el valor k (en el eje de
abcisas) a partir del M que
habamos elegido. Observa
que para cada valor M
obtendremos un k.
figura 41.c
En la figura 41.c se aprecia
que si tomamos un nmero t
(eje de abcisas) tal que t > k,
entonces su imagen es mayor
que M, es decir, f (t)> M.
Por fin, damos la definicin matemtica:
Ejemplo 43.-
Consideremos las tres funciones siguientes :
f x g x x I x x y t x L x
x
( ) ; ( ) ; ( ) ( ) = = = = 2 2
2
Queremos hallar sus lmites cuando x tiende a +4.
Veamos:

lim ( ) lim
lim ( ) lim ( )
lim ( ) lim
lim ( ) lim ( )
x x
x
x x
x x
x x
f x
g x x
I x x
t x L x L
+ +
+
+ +
+ +
+ +
= = = +
= = + = +
= = +
= = + = +
2 2
2 2
2 2
En la figura 42 se tienen las grficas de la cuatro
funciones, obtenidas con un programa informtico.
Podemos apreciar que no todas tienden a +4 con la
misma fuerza (con la misma rapidez). La ms
rpida es f (x) y la ms lenta, la que sube ms
lentamente es t (x).
lim ( ) , , ( )
x
f x M k si x k entonces f x M
+
= + > > > > 0 0
Veamos ahora otro caso:
3 Sea y = f (x) una funcin real de variable real.
3 Supongamos que ocurre lo siguiente:
Para valores de x infinitamente grandes positivos, sus imgenes f (x) son infinitamente
grandes negativas, de tal modo que f (x) puede superar cualquier valor negativo que
imaginemos, dndole a x algn valor grande positivo.
3 La idea anterior se expresa en trminos matemticos del siguiente modo:
La funcin f (x) tiende a menos infinito cuando x tiende a ms infinito.
En lenguaje matemtico: f x cuando x ( ) +
De un modo informal y utilizando trminos borrosos: f (+4) = &4.
Se lee: El lmite de f (x) cuando x tiende a +4 es &4
positivos, sus imgenes son infinitamente grandes
negativas
3 La interpretacin grfica es que la lnea que representa a la funcin, se aleja por la
derecha y hacia abajo
expresado de un modo grfico
la idea de una funcin que
verifica lo siguiente:
lim ( )
x
f x
+
=
dibujado cncava hacia arriba,
puede ser cncava hacia abajo
o recta.
curva (su pendiente) nos
indica la fuerza con la que la funcin tiende a menos infinito.
3 Suponiendo que se ha comprendido intuitivamente el concepto y la interpretacin grfica
x
f x
+
=
3. .- Imaginemos un nmero negativo M (M<0) y tan grande negativo como queramos.
Imagina dicho nmero situado en el eje de ordenadas (estar muy bajo).
3. .- Supongamos que existe un nmero x (situado en el semieje de abcisas positivo)
cuya imagen es menor que M, es decir, f (x)<M.
3..- De los dos puntos anteriores deducimos que la parte derecha de la grfica de
la funcin f (x) es capaz de superar inferiormente cualquier valor negativo M
situado en el eje de ordenadas.
lim ( )
x
f x
+
=
Se dice que el lmite de la funcin f (x) es &4 cuando x tiende a +4, si para cualquier
nmero M<0, existe un nmero k>0 tal que, si x es mayor que k, entonces su imagen
f (x) es menor que M.
figura 44.a
funcin f (x) que tiende a &4
cuando x tiende a +4.
cualquiera M<0 y situado en
figura 44.b
obtendremos un k.
figura 44.c
(eje de abcisas) tal que t > k,
entonces su imagen es menor
que M, es decir, f (t)< M.
Ejemplo 44.-
Sea la funcin . Pedimos lo siguiente: f x
x
( ) =
5 4
2
a) Demuestra que su lmite cuando x 6 +4 es &4.
b) Si consideramos el valor M = &10000, halla el mximo valor k que hace que si
x > k, entonces f (x)>M.
Veamos:
a) lim ( ) lim
x x
x
f x
+ +

= = = =
5 4
2
5 4
2 2
b) Si fijamos un nmero grande negativo (en este
caso fijamos M=&10000), existe un nmero k tal
que a partir de l, las imgenes de f superan
inferiormente a M. Buscamos el valor de k.
En el cuadro de la derecha hemos deducido que si
x > 39992 entonces su imagen es f (x)>&10000
Por tanto:
lim ( ) , , ( )
x
+
= < > > < 0 0
Para valores de x infinitamente
grandes posi t i vos, l as
imgenes son infinitamente
grandes negativas.
f x M
x
x x
x
x
( )
;
< <
<
< >
> =
5 4
2
19996
5
10000
5 4 20000
5 19996 5 19996
3999 2
k = 39992
Ejemplo 45.-
Consideremos la funcin f x x x x ( ) = + + + 0 001 1000 1000 1000
3 2
Queremos determinar su lmite cuando x tiende &4.
Veamos:

lim ( ) lim ( )
x x
f x x x x
+ +
= + + + =
= + + + = + + + =
0 001 1000 1000 1000
0 001 1000 1000 1000 1000
3 2
3 2 3 2
Significa que para valores de x infinitamente grandes positivos, las imgenes son infinitamente
grandes negativas
Ntese que el infinito de mayor potencia con su signo determina que el lmite sea +4 o &4 .

( )
x f = = + + + = + + + =
=
10 10 10 10 10 10 10 10 10 10 10
20 20 10
10
3 40 3 20 3 57 43 23 3
60
3
numero "infinitamente" grande negativo & .
Veamos ahora otro caso:
Para valores de x infinitamente grandes negativos, sus imgenes f (x) son infinitamente
grandes positivas, de tal modo que f (x) puede superar cualquier valor positivo que
imaginemos, dndole a x algn valor grande negativo.
La funcin f (x) tiende a ms infinito cuando x tiende a menos infinito.
En lenguaje matemtico: f x cuando x ( ) +
De un modo informal y utilizando trminos borrosos: f (&4) = +4.
Se lee: El lmite de f (x) cuando x tiende a &4 es + 4
Significa: Para valores de x infinitamente grandes negativos,
sus imgenes son infinitamente grandes positivas
izquierda y hacia arriba.
En la figura 45 hemos expresado de un
modo grfico la idea de una funcin
que verifica lo siguiente:
lim ( )
x
f x

= +
Aunque la curva la hemos dibujado
cncava hacia arriba, puede ser
cncava hacia abajo o una recta.
La mayor inclinacin de la curva (su
pendiente) nos indica la fuerza con
la que la funcin tiende a ms infinito.
Se dice que la funcin presenta una
rama parablica por la izquierda y
hacia arriba.
lim ( )
x
f x

= +
x
f x

= +
. .- Imaginemos un nmero positivo M (M>0) y tan grande como queramos. Imagina
dicho nmero situado en el eje de ordenadas (estar muy alto).
. .- Supongamos que existe un nmero x (situado en el semieje de abcisas negativo)
cuya imagen es mayor que M, es decir, f (x)>M.
..- De los dos puntos anteriores deducimos que la parte izquierda de la grfica de
la funcin f (x) es capaz de superar cualquier valor positivo M situado en el eje
de ordenadas.
figura 46.a
funcin f (x) que tiende a +4
cuando x tiende a &4.
cualquiera M>0 y situado en
figura 46.b
obtendremos un k.
figura 46.c
(eje de abcisas) tal que t < k,
entonces su imagen es mayor
que M, es decir, f (t)>M.
Ejemplo 46.-
Dadas las funciones , queremos hallar sus lmites f x x x y g x
x
( ) ( ) = + =
4 2
2 5 0 5
lim ( ) , , ( )
x

= + > < < < 0 0
Se dice que el lmite de la funcin f (x) es +4 cuando x tiende a &4, si para cualquier
nmero M>0, existe un nmero k<0 tal que, si x es menor que k, entonces su imagen
f (x) es mayor que M.
cuando x tiende a &4. Tambin queremos expresar de un modo grfico aproximado los resultados
obtenidos anteriormente.
Veamos:
lim ( ) lim ( ) ( ) ( )
x x
f x x x

= + = + = + + = +
4 2 4 2 4 2
2 5 2 5 5
Ya sabemos que la grfica de la funcin f tiene una rama parablica por la izquierda y
hacia arriba.
( ) ( )
( )
lim ( ) lim
x x
x
g x

= = = = = = +
+ +
+
+
1
2
1
2
1 1 1
1
2
1
2
1
Tambin la grfica de la funcin g tiene rama parablica por la
izquierda y hacia arriba.
Aunque tenemos una idea aproximada de como son las grficas
de esas funciones por la parte izquierda, para hacer una representacin
vamos a construir una tabla de valores que nos ayude a determinar cual de las dos se aleja hacia
el infinito con ms rapidez.
x
f (x) g (x)
&10 9805 1024
&20 159205 1048576
&30 808205
1073741824
&4 + 4 + 4
En la figura 47 puede
apreciarse que hemos representado esquemticamente las tendencias de las grficas cuando la
variable x tiende a &4. Ntese que la grfica de g se dirige a +4 con ms rapidez que la grfica
de f.
Veamos el ltimo caso:
Para valores de x infinitamente grandes negativos, sus imgenes f (x) son infinitamente
grandes negativas, de tal modo que f (x) puede superar cualquier valor negativo que
imaginemos, dndole a x algn valor grande negativo.
La funcin f (x) tiende a menos infinito cuando x tiende a menos infinito.
En lenguaje matemtico: f x cuando x ( )
De un modo informal y utilizando trminos borrosos: f (&4) = &4.
Se lee: El lmite de f (x) cuando x tiende a &4 es &4
negativos, sus imgenes son infinitamente grandes
negativas
izquierda y hacia abajo.
lim ( )
x
f x

=
Las ltimas igualdades
no son igualdades
n u m r i c a s , s i n o
expresiones que nos
ayudan a encontrar el
lmite.
expresado de un modo grfico
la idea de una funcin que
verifica lo siguiente:
lim ( )
x
f x

=
dibujado cncava hacia arriba,
puede ser cncava hacia abajo
o una recta.
curva (su pendiente) nos indica
la fuerza con la que la
funcin tiende a menos
infinito. Se dice que la funcin
presenta una rama parablica por la izquierda y hacia abajo.
x
f x

=
. .- Imaginemos un nmero positivo M (M<0) y tan grande negativo como queramos.
Imagina dicho nmero situado en el eje de ordenadas (estar muy bajo).
. .- Supongamos que existe un nmero x (situado en el semieje de abcisas negativo)
cuya imagen es menor que M, es decir, f (x)<M.
..- De los dos puntos anteriores deducimos que la parte izquierda de la grfica de
la funcin f (x) es capaz de superar inferiormente cualquier valor negativo M
situado en el eje de ordenadas.
Se dice que el lmite de la funcin f (x) es &4 cuando x tiende a &4, si para cualquier
nmero M<0, existe un nmero k<0 tal que, si x es menor que k, entonces su imagen
f (x) es menor que M.
figura 49.a
funcin f (x) que tiende a &4
cuando x tiende a &4.
cualquiera M<0 y situado en
figura 49.b
obtendremos un k.
figura 49.c
(eje de abcisas) tal que t < k,
entonces su imagen es menor
que M, es decir, f (t)<M.
Ejemplo 47.-
Sea la funcin f (x) = x
3
.
Hallemos su lmite cuando x tiende a &4:
lim ( ) lim ( )
x x
f x x

= = =
3 3
Es evidente que esta funcin verifica la definicin del ltimo recuadro, es decir:
lim , ,
x
x M k si x k entonces x M

= < < < <
3 3
0 0
Fijemos un valor para M, por ejemplo M = &1000
Cul ser el valor de k correspondiente a ese valor M?
Veamos:

x es una inecuacion
x x
3
3 3
3
1000
1000 10
<
< <
& ..
;
Resolvemos:
Comprobemos:
x &10 &100 &1000 &10000 &4
f (x) = x
3
&1000 &1000000 &10
9
&10
12
&4
27.La indeterminacin 4&4.-
En ocasiones, al buscar el lmite de una funcin nos encontramos con la expresin 4&4,
la cual nos indica restas entre nmeros infinitamente grandes. Estas diferencias pueden dar
lugar a cualquier resultado: ms infinito, menos infinito o un nmero finito, lo que hace
que denominemos a la expresin 4&4 indeterminada, o dicho de otro modo, el lmite est
indeterminado. Para determinar el lmite es necesario, en ocasiones, utilizar algunos
mecanismos algebraicos que nos permiten encontrarlo, aunque es posible que se determine a
simple vista. Veamos algunos ejemplos:
lim ( ) , , ( )
x

= < < < < 0 0
Es decir, si x es menor que &10,
entonces su imagen es menor que
&1000. Por tanto, k = &10.
Ejemplo 48.-
Hallar el lmite de la funcin cuando x tiende a + 4. f x x x ( ) =
3 2
1000
Veamos:

( )
lim ( ) lim
x x
f x x x
+ +
= = = = +
3 2 3 2
1000 100
En este caso nos hemos encontrado con la expresin 4
3
&1000 4
2
= 4&4 = indeterminado.
Apreciamos que el infinito minuendo (4
3
) es infinitamente mayor que el infinito sustraendo (1000
4
2
), lo que hace que la diferencia sea + 4.
Realicemos algunas comprobaciones:

x f
x f
x f
= = =
= = = =
= = = =
1000 1000 1000000000 1000000000 0
10000 10000 10 10 10 10 1 9 10
10 10 10 10 10 10 1 999 10
12 11 11 11
6 6 18 15 15 3 15
( ) . . . . . .
( ) ( )
( ) ( )
Observa que los dos ltimos nmeros obtenidos son infinitamente grandes positivos
Ejemplo 49.-
Hallar el lmite de la funcin cuando x tiende a &4. g x x x ( ) = +
3 2
1000
Veamos:

( )
lim ( ) lim ( ) ( )
x x
g x x x

= + = + = + = + =
3 2 3 2 3 2
1000 100 1000
En este caso se aprecia que el infinito minuendo (+1000 4
2
) es infinitamente menor que el
infinito sustraendo (4
3
), lo que hace que el lmite sea &4.
Comprobemos:

( ) ( )
( )
x g
n grande negativo
= = + = + =
= = =
10 10 10 10 10 10 10
10 1 10 99999 10
8 8 8
3
3 8
2
24 19
19 5 19
( )
Ejemplo 50.-
Queremos hallar el siguiente lmite: ( ) lim ( ) lim
x x
f x x x
+ +
= + 3 2 5
Veamos:
( ) lim
x
x x
+
+ = + = = = 3 2 5 3 2 5 Indeterminado
En este caso consideramos indeterminado el lmite porque no apreciamos a simple vista su valor.
Para salvar la indeterminacin, multiplicamos y dividimos por la conjugada de la expresin
, es decir, : 3 2 5 x x + 3 2 5 x x + +

( )
( ) ( ) ( ) ( )
lim lim lim
lim lim
x x
x x x x
x x
x
x x
x x
x
x x
x x
x
x
x x
x x
+ +
+ + +
+ +
+
+
+ +
+
+ +
+ +
+
+
+ +
+
+ +
+
+
+
+
+ = = =
= = = = = =
3 2 5
3 2 5 3 2 5
3 2 5
3 2 5
3 2 5
3 2 5
3 2 5
2 7
3 2 5
2 7
3 2 5
2 2
Indeterminado ( )
Observa que hemos pasado de una indeterminacin 4&4 a otra 4/4. Aunque a esta ltima
expresin la hemos considerado indeterminada, es posible que se aprecie a simple vista que el
infinito del numerador es de mayor potencia que el del denominador, ya que aquel es 4 y este
es , lo que har que el cociente sea +4.
En cualquier caso, actuaremos como si no apreciamos este detalle a simple vista.
Para salvar la ltima indeterminacin, dividimos numerador y de nominador por x:

( ) lim lim lim lim lim
lim lim
x x
x
x x
x
x
x
x x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x x
x
x x
x
x
x
x
x
x
x x
+ +
+
+ +
+
+
+ +
+
+
+
+
+ +

+ = = =
+
+
=
+
+
=
=
+
+ +
=
+
+ +
=
+
+ +
3 2 5
2 2
2 2 2
2 7
3 2 5
2 7
3 2 5
7
3 2 5
7
3 2 5
7
3 2 5
7
3 2 1 5
7
3 2 1 5
2 2
2 2 2 2 2 2 2
+
+
=
+
+ +
= = +
+
2
2 0
0 0 0 0
2
0
0 radicando
123
Por tanto: Para valores de x infinitamente grandes positivos, las imgenes f (x) son
infinitamente grandes positivas.
Comprobemos:

x f
x f
f
= = =
= = =
+ = +
1000000 1000000 3000002 999 995 732 05388
10000000 10000000 30000002 9 999 995 2314 9488
. . ( . . ) . . .
. . ( . . ) . . . .
: ( )
K
K
De manera informal
La grfica de la funcin f presenta una rama parablica por la derecha y hacia arriba.
Ejemplo 51.-
Hallar el lmite de la funcin cuando f x x x x x ( ) = + + + 4 9 5 4 4 1
2 2
x +
Veamos:

lim ( ) lim
x x
f x x x x x
+ +
= + +
|
\
|
.
|
= + + + =
= = =
4 9 5 4 4 1 4 9 5 4 4 1
2 2 2 2
Indeterminado
Salvamos la indeterminacin multiplicando y dividiendo por 4 9 5 4 4 1
2 2
x x x x + + + +

lim lim
lim lim
x x
x x
x x x x
x x x x x x x x
x x x x
x x x x
x x x x
+ +
+
+ + +
|
\
|
.
|
=
+ + +
|
\
|
.
|
+ + + +
|
\
|
.
|
+ + + +
=
=
+
|
\
|
.
|
+ +
|
\
|
.
|
+ + + +
=
4 9 5 4 4 1
4 9 5 4 4 1 4 9 5 4 4 1
4 9 5 4 4 1
4 9 5 4 4 1
4 9 5 4 4 1
2 2
2 2 2 2
2 2
2
2
2
2
2 2
+
+
+
+ + + +
=
=

+ + + +
=

+ + + +
=
+
+ + +
=
+
+
=
4 9 5 4 4 1
4 9 5 4 4 1
5 6
4 9 5 4 4 1
5 6
4 9 5 4 4 1
2 2
2 2
2 2 2 2
x x x x
x x x x
x
x x x x
x
lim Indeterminado
Hemos pasado de una indeterminacin 4&4 a otra 4 / 4. Resolvemos esta ltima
dividiendo numerador y denominador entre x :

lim ( ) lim lim lim
lim lim
x x x
x
x
x x x x
x
x
x
x x
x x
x
x x
x
x
x
x x
x
x x
x
x
x
x
x
x
x x
x
x
x
x
f x
x
x x x x
+ + +
+ +
+ + + + +
=

+
= =

+
=
=

+
=

+ + + +
5 6
4 9 5 4 9 5
5 5
2 2
5 6
4 9 5 4 9 5
5 6
4 9 5 4 9 5
6
4 9 5 4 4 1
6
4 9 5 4 4
2 2 2 2
2
2
2
2
2
2 2 2
2
2 2
1
6
9 5 4 4 1
2 2
2
2 2
5
4
x
x
x
x
x
x
x
x
x
=

+ + + +
=
+
lim
=

+ + + +
=

+ + + +
=
+
=
+
= =
+
+
+
+
+
+
5
4 4
5 0
4 0 0 4 0 0
5
4 4
5
2 2
5
4
1 25
6
9 5 4 1
2 2
Por tanto:
Significa que para valores de x
infinitamente grandes positivos, las
imgenes f (x) estn infinitamente prximas
a 125".
Tambin deducimos que la recta de ecuacin y = 125 es una asntota horizontal por la
derecha. Para ver la posicin de la grfica con respecto a la asntota, podemos dar un valor grande
positivo a x y hallar su imagen f (x) :
x f = = =

1000 1000 4008995 4004001 1 24748 1 25 ( ) K
En la figura 50 damos una idea grfica (no
es la representacin grfica) de como se
comporta la funcin cuando la variable x
tiende a + 4. Ntese que la grfica se
aproxima, por debajo, a la recta de ecuacin
y = 125, tanto como podamos imaginar, sin
llegar a tocarla.
Ejemplo 52.-
Hallemos el lmite de la funcin cuando h x x x x ( ) = +
3 2 3
x +
Veamos:
lim ( ) lim
x x
h x x x x
+ +
= +
|
\
|
.
|
= + = + = =
3 2 3 3 2 3
3
Indeterminado
En este caso no funciona el mtodo de multiplicar y dividir por la conjugada.
Empleamos otro mtodo:
Llamamos
a x x
b x
y por
a x x
b x
= +
=
= +
=
3 2 3
3 3 2
3 3
tanto
El lmite ser: ( ) lim ( ) lim
x x
h x a b
+ +
=
es el lmite buscado
La divisin .es exacta ( ):( ) a b a b
3 3

En el recuadro de la derecha tenemos efectuada la
divisin de los dos polinomios. Observa que es
exacta y que:
a b a b a ba b
3 3 2 2
= + + ( ) ( )
lim
x
x x x x
+
+ + +
|
\
|
.
|
= = 4 9 5 4 4 1 1 25
2 2 5
4
a a a b a b
a ba a ba b
ba a
ba b a
b a b
b a b
3 2 3
3 2 2 2
2
2 2
2 3
2 3
0
0 0
0
+ +
+ + +
+
+
+
1 2 4 3 4
Por tanto:

( )
lim .
x x x x
x
h x a b
a b
a ba b
x x x
x x x x x x
x
x x x x x x
+ + + +
+
= =

+ +
=
+
+ + + +
=
=
+ + + + +
=

+ + + + +
=
+
+
=
3 3
2 2
3 2 3
3 2
2
3 3 2 3 2
2
6 5 4 3 6 5 3 2
2
6 5 4 3 6 5 3 2
2 2
Indet
Igual que en casos anteriores, hemos pasado de una indeterminacin 4&4 a otra 4/4.
Salvamos la indeterminacin dividiendo numerador y denominador entre x
2
:

lim ( ) lim lim
lim lim
lim
x x x
x
x
x x x x x x
x
x
x x x
x
x x
x
x
x
x
x x x
x
x x
x
x x
x
x
x
x
x
h x
x
x x x x x x
+ + +
+ + + + +
+
+ + +
+
+ + +
+
=
+ + + + +
= =
=
+ +
=
+ +
=
=
+ + +
2
6 5 4 3 6 5 3 2
2
2
2
3 3
2
3
2
1 1
1
1
2
2
6 5 4 3 6 5 3 2
2
6 5 4 3
2
6 5 3
2
2
2
6 5 4
6
6 5
6
6
6
5
6
4
6
x
x
x
x
x
x
x
x
6
6
5
6
2
2
3
2 1
3
1
3
2 1
3
1
3
3 3 3 3
1
1
1 1 1
1
1 1 1
1
1 0 0 1 0 1
1
1 1 1
1
1 1 1
1
3
0 3
+ +
=
+ + + + +
=
=
+ + + + +
=
+ + + + +
=
+ +
=
+ +
= =
+
+
+
+
lim
)
Por tanto:
w Para valores de x infinitamente grandes positivos, las imgenes h(x) estn infinitamente
prximas a 0333
w La recta de ecuacin y = 0333 es una asntota horizontal por la derecha.
w Para ver la posicin de la grfica de h respecto de la asntota, damos a x un valor grande
positivo (quede claro que esto no sirve como demostracin, pero si nos ayuda a tener una
idea de la posicin referida).
x h = = + =

1000 1000 10 10 1000 0 3332222 0 3
9 6 3
( ) ( ) K
Es decir, la grfica se aproxima a la recta horizontal y = 0333 por debajo.
Ejemplo 53.-
Hallar el lmite de cuando f x x x x x ( ) = 8 3 8
3 2 3 3 2 3
x +
Veamos:
lim ( ) lim
x x
f x x x x x
+ +
=
|
\
|
.
|
= = + + = = 8 3 8 8 3 8
3 2 3 3 2 3 3 2 3 3 2 3
3 3
Indet
Utilizamos el mismo truco que en el ejemplo anterior:
Llamamos
a x x
b x x
Por
a x x
b x x
=
=
=
=
8 3
8
8 3
8
3 2 3
3 2 3
3 3 2
3 3 2
tanto
Entonces: lim ( ) lim ( )
x x
f x a b
+ +
= = limite buscado
Sabemos que la divisin (a
3
&b
3
) : (a&b) es exacta. Efectuamos esa divisin (ver ejemplo 52)
Tenemos que y, por tanto, a b a b a ba b
3 3 2 2
= + + ( ) ( ) a b
a b
a ba b
=

+ +
3 3
2 2
Volvemos al lmite:

( ) ( ) ( ) ( )
lim
x x x x
x
f x a b
a b
a ba b
x x x x
x x x x x x x x
x
x x x x x x x x x
+ + + +
+
= =

+ +
=
+
+ +
=
=

+ + + + +
=

+ + + + +
=

+
=
3 3
2 2
3 2 3 2
3 2
2
3 3 2 3 2
3
3 2
2
3
2
6 5 4 3 6 5 4 3 6 5 4 3
3 3 3
8 3 8
8 3 8 8 3 8
2
64 48 9 64 32 3 64 16
Indeterminado
La indeterminacin 4&4 se ha transformado en una 4/4. Resolvemos esta dividiendo numerador
y denominador por x
2
. En cualquier caso, sabemos que el lmite ser negativo.
lim ( ) lim
lim
lim
x x
x
x
x
x x x x x x x x x
x
x
x x x
x
x x x
x
x x
f x
x
x x x x x x x x x
+ +
+
+ + + + +
+
+ + +
=

+ + + + +
=
= =
=

+ +
2
64 48 9 64 32 3 64 16
2
2
6 5 4 3 6 5 4 3 6 5 4 3
2
64 48 9 64 32 3 64 16
64 48 9 64 32 3 64 16
2
2
6 5 4 3 6 5 4 3 6 5 4 3
2
6 5 4 3
2
6 5 4 3
2
6 5
x
x
x x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
4 3
2
6
6
5
6
4
6
6
6
5
6
4
6
6
6
5
6
4
6
2 2 2
2 2 2
2
2
64 64 64
2
64 64 64
2
64 0 0 64
64 48 9
3
64 32 3
3
64 16
3
48 9
3
32 3
3
16 1
3
48 9
3
32 3
3
16 1
3
3
=
=

+ + + + +
=
=

+ + + + +
=
=

+ + + + +
=
=

+ +
+
+
+
+
+
+
+
+
lim
lim
0 0 64 0 0
2
3 64
2
12
1
6
0 16
3 3 3
+ + +
=

=

= =
)
Por tanto:
U Para valores de x infinitamente grandes positivos, sus imgenes f (x) estn infinitamente
prximas a &016666
U La recta de ecuacin y = &016666 es una asntota horizontal por la derecha.
U Para ver la posicin de la grfica y asntota, damos un valor grande positivo a x:
x f = =

1000 1000 0 1666944 0 16 ( ) ( ) K
)
Segn el resultado obtenido, parece que la grfica de la funcin se aproxima a su asntota
horizontal por debajo de ella.
28.La indeterminacin 1
4
.-
P Sea la funcin constante c(x) =1, es decir, aquella que transforma todo nmero en 1.
P Consideremos la funcin identidad, es decir, I (x) = x.
P Consideremos ahora la funcin c elevada a I , es decir: f x c x
I x x
( ) ( )
( )
= = 1
P Supongamos que queremos hallar el limite de f cuando x tiende a +4. Veamos:
( )
lim ( ) lim
x x
I x
x
I x
x
x
f x c x c x
x x
+ + + +
+
= =

(
=

(
= =
+ +
1 1 1
Es evidente que ya que c (x) = 1 x0. lim
x +
= 1 1
Tambin es evidente que . En efecto: 1 1
+
=
1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1
1 1 1 1 1 1
10
100
100
100
1000
= =
= =
= =
L
12 4 3 4
L
12 4 3 4
LLLLLLLLL
veces
veces
P Supongamos ahora la siguiente situacin:
g (x) es una funcin tal que (este 1 puede ser 1
+
o 1
&
) lim ( )
x
g x
+
= 1
h (x) es otra funcin tal que lim ( )
x
h x
+
= +
f es la funcin g elevado a h: f x g x
h x
( ) ( )
( )
=
Queremos hallar el lmite de f cuando x tiende a +4 :
lim ( ) lim ( ) lim ( )
( )
lim ( )
x x
h x
x
h x
f x g x g x
x
+ + +
+
= =

(
= =
+
1 Indeterminado
Por qu antes el lmite era 1 y ahora decimos que es indeterminado?
Contestemos a la pregunta:
Antes, la base de 1
+4
era exactamente 1, pero en el ltimo caso las bases estn formadas
por nmeros infinitamente prximos a 1 (1
+
o 1
&
), lo cual hace que 1
+4
puede dar
cualquier resultado.
Veamos algunos ejemplos:
Ejemplo 54.-
Sea la funcin o, expresada de otro modo, g x
x
x
( ) =
+ 1
g x
x
( ) = + 1
1
Sea la funcin identidad, es decir, I (x) = x
Consideremos la funcin f ,g elevado a I , es decir,
( )
f x g x
I x
x
x
( ) ( )
( )
= = + 1
1
Queremos hallar el lmite de f (x) cuando x tiende a +4 :

( ) ( ) ( ) ( )
lim ( ) lim
x x
x
x
f x
+ +
+
+
+
+
+
+
= + = + = + = = 1 1 1 0 1
1 1
Indeterminado
Es posible que pienses que ese lmite debe valer 1, porque 1 elevado a infinito es 1", pero
observa que la base nunca es 1 exactamente, sino que son nmeros infinitamente prximos a 1
por su derecha.
No vamos a hallar el lmite exactamente, pero si vamos a calcularlo de un modo
aproximado dndole valores infinitamente grandes positivos a x. Utilizamos una calculadora y
posteriormente dibujaremos su grfica con la ayuda de un programa informtico.
Veamos:
x
( )
f x
x
x
( ) = + 1
1
1 2
10 25937424
100 270481382
1000 271692393
10000 271814592
100000 271826823
1000000 271828046
+4 Cul es el lmite?
En la figura 51 tenemos dibujada la grfica de la funcin f (x), observa que, aparentemente, la
grfica se aproxima tanto por la izquierda como por la derecha a una recta horizontal de ecuacin
y = 2 718281. Observa que por la derecha se acerca por abajo y por la izquierda se acerca
por arriba.
Parece evidente que , es decir, el lmite no es 1.
( )
lim ( ) lim
x x
x
x
f x
+ +
= + 1 1
1
Parece evidente que , es decir, en este caso la
( )
lim ( ) lim
x x
x
x
f x
+ +
= + = 1 2 71828
1
KK
indeterminacin se ha convertido en 2 71828 1
+
Por la grfica de la funcin, tambin parece que
( )
lim ( ) lim
x x
x
x
f x

= + = 1 2 71828
1
K
x f = = =
1000000 10 0 999999 2 71828318

6 1000000
( ) K
En definitiva:
El lmite, cuando x tiende 4, de una funcin que tiende a 1, elevada a otra que tiende
a 4, no tiene que ser igual a 1"
Ejemplo 55.-
Consideremos ahora la funcin , o si lo prefieres, .
( )
f x
x
x
x
( ) =
+ 2
( )
f x
x
x
( ) = + 1
2
Queremos hallar su lmite cuando x tiende a +4.
Veamos:

( ) ( ) ( ) ( )
lim ( ) lim
x x
x
x
f x
+ +
+
+
+
+
+
+
= + = + = + = = 1 1 1 0 1
2 2
Indeterminado
Observa que en este caso, tambin las bases la forman nmeros infinitamente prximos
a 1 y los exponentes son nmeros infinitamente grandes positivos.
Tampoco ahora vamos a calcular el lmite exactamente, pero s vamos a hallar
aproximaciones de este. Para ello, daremos a x valores infinitamente grandes positivos:
x
1 10 100 1000 10000 100000
( )
f x
x
x
( ) = + 1
2
3
619173642 724464611 73743123 738757863 738904132
Es evidente que en este caso tambin ocurre que
( )
lim ( ) lim
x x
x
x
f x
+ +
= + 1 1
2
Parece evidente que
( )
lim ( ) lim
x x
x
x
f x
+ +
= + = 1 7 389
2
KK
Suponemos comprendido el que ( ) "
"
algo que tiende a 1 Indeterminado
algo que tiende a infinito"
=

29.El nmero e.-
Consideremos la funcin vista en el ejemplo 54, es decir:
( )
f
x f x
x
x
:
( )
R R
= +
1
1
Vimos en ese ejemplo que el lmite de esta funcin, cuando x tiende a +4 es un nmero
del que habamos obtenido las primeras cifras decimales, es decir:
( )
lim ( ) lim
x x
x
x
f x
+ +
= + = 1 2 71828
1
KK
Pues bien, se puede demostrar (nosotros no lo haremos) lo siguiente:
.- existe y es un nmero finito comprendido entre 2 y 3.
( )
lim
x
x
x
+
+ 1
1
.- Dicho lmite es un nmero irracional, es decir, tiene infinitas cifras decimales no
peridicas.
.- Las primeras cifras de ese nmero son: 271828182
El nmero anterior es de suma importancia en matemticas y en el mundo de la ciencia
y, para abreviar, se le denomina nmero e (en honor de Leonhard Euler, matemtico
suizo del siglo XVIII). Por tanto:
Quede claro que e es una forma
abreviada de llamar a ese nmero
irracional, que resulta ser el lmite de
la funcin f (x) cuando x tiende a +4
( )
lim
x
x
x
e
+
+ = = 1 2 71828182
1
KK
Tambin se verifica que :
En la figura 51 (pgina 82)
tenemos representada la
grfica de la funcin
. Observa que f (0) no existe y que
( )
f x
x
x
( ) = + 1
1
( )
lim ( ) lim
x x
x
x
f x

+
+ +
= + =
0 0
1
1 1
Observa tambin que dicha funcin no existe en el intervalo [&1,0]. Comprobemos esto:
( )
( )
( ) ( )
( )
x f
x f
= = + = =
= = = = =

1 1 1 0
1 2 1
1
1
1
1
1
1 1
0
1
2
1
2
1
1
1
2
1
2
1
2
( ) R
R
etc.
30.Otras funciones cuyo lmite es el nmero e.-
En el apartado anterior hemos visto que el lmite de la funcin cuando
( )
f x
x
x
( ) = + 1
1
x tiende a %4 y a &4 es el nmero e = 2 71828182
Existen otras funciones que tambin tienden al nmero e cuando la variable x tiende a
infinito positivo o negativo. Veamos:
a) Sea la funcin siendo k un nmero real fijo, es decir, k 0.
( )
f x
x
x k
( ) = +
+
1
1
Pues bien, se verifica que
En efecto:

( ) ( ) ( ) ( ) ( )
( )
( )
&
x x
x
x k
x
x
x
x
k
x
x
x
x
x
k
k
k k
f x
e e e e e como queriamos demostrar
+ +
+
+ + +
+
= + = + +
(
= + + =
= + = + = = =
1 1 1 1 1
1 1 0 1 1
1 1 1 1 1
1
el limite de un producto es
igual al producto de los limites
1 2 4444 3 4444
Tambin se verifica que
La demostracin es similar a la anterior.
( )
lim
x
x
x
e

+ = = 1 2 71828182
1
KK
Las igualdades
anteriores no
son igualdades
numricas, ya
q u e l o s
elementos que
se igualan no
son nmeros.
( )
lim ( ) lim
x x
x
x k
f x e
+ +
+
= + = 1
1
( )
lim ( ) lim
x x
x
x k
f x e

+
= + = 1
1
Ejemplo 56.-
Queremos hallar .
( )
lim
x
x
x
+
+
+ 1
1
5
Veamos:

( ) ( )
lim ( ) ( )
x
x
x
+
+
+
+ +
+ + + + +
+ = + = + = = 1 1 1 0 1 1
1
5
1
5
= Indeterminado

( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
lim lim lim lim
x
x
x
x
x
x
x
x
x
x
x
x
e e e e e
+
+
+ + +
+
+ +
+ = + +
(
= + + =
= + = + = = =
1 1 1 1 1
1 1 0 1 1
1
5
1 1
5
1 1
5
1
5 5 5
5
Ejemplo 57.-
Queremos hallar .
( )
lim
x
x
x
+
+ 1
1
4
Veamos:

( ) ( )
lim ( ) ( )
x
x
x

+
+
+ + + + +
+ = + = + = = 1 1 1 0 1 1
1
4
1
4
= Indeterminado

( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
lim lim lim lim
x
x
x
x
x
x
x
x
x
x
x
x
e e e e e e e

+ +
+

+

+ = + +
(
= + + =
= + = + = = = = =
1 1 1 1 1
1 1 0 1 1 1
1
4
1 1
4
1 1
4
1
4 4 4
4 1
1
4
Ejemplo 58.-
Queremos saber si la funcin tiene alguna asntota horizontal por la
( )
f x
x
x
( ) = +
+
1
1
5
2
izquierda.
Veamos:
Para averiguarlo debemos hallar el lmite de f (x) cuando x tiende a &4.
( ) ( )
lim ( ) lim ( ) ( )
x x
x
x
f x

+
+

= + = + = + = =
+
1 1 1 0 1
1 1 1
1
5
2
5
2
= Indeterminado

( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
lim lim lim lim
x
x
x
x
x
x
x
x
x
x
x
x
e e e e e e e

+

+ = + +
(
= + + =
= + = + = = = = =
1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 1 1
1 5
5
2
5
2
5
2
5
2
5
2
5
2
5
2
Significa que para valores de x infinitamente grandes negativos, las imgenes f (x) se
aproximan infinitamente a e = 271828182
La recta de ecuacin y = e es una asntota horizontal de f (x) por su izquierda.
Hagamos alguna comprobacin ayudado de una calculadora:

( )
( )
x f e = = + =

10 10 1 2 71827639
6 6 1
10
999997 5
6
K
Observa que el resultado obtenido es
,
( )
f e = < 10 2 71827639
6
K
lo que nos hace pensar (no lo podemos
asegurar como una demostracin) que la
grfica se aproxima a la asntota por debajo.
En la figura 52 damos una idea sobre el
comportamiento de la grfica de f con
respecto a la asntota horizontal, por su
izquierda.
b) Sea una funcin de la forma , siendo k una constante (k 0).
( )
f x
x k
x
( ) = +
+
1
1
Se verifica que
En efecto:
Tomando lmites en ambos miembros:
( ) ( ) ( )
1 1 1
1 1 1
+ = + +
+
+
+ + x k
x k
x k
x
x k
k
Buscamos el
limite de esta.
1 2 4 3 4

( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
e
x
x k
x k
x
x k
x
x
x k
k
x
x k
x
k
k
x
x k
x k
x
x k
x k
x
x k
x
x
x k
x
= + = + + = + + =
= + + = + = + = +
+
+
+
+
+
+
+
+
+ + +
+
+
+
+
+
+
+
+
+
+
lim lim lim lim
lim lim lim lim
1 1 1 1 1
1 1 0 1 1 1 1 1
1 1 1 1 1
1 1 1 1
Buscamoseste limite.
1 2 44 3 44
Es decir: como queramos demostrar (c.q.d)
( )
lim ( ) lim
x x
x k
x
f x e
+ +
+
= + = 1
1
Ejemplo 59.-
Sea la funcin Por lo visto en el apartado anterior, tenemos:
( )
f x
x
x
( ) . = +
+
1
1
6
( )
lim ( ) lim
x x
x
x
f x e
+ +
+
= + = = 1 2 71828182
1
6
KK
Comprobemos:

( )
x f e = = + = 10000000 10000000 1 2 71828169
1
10 000 006
10 000 000
. . ( . . )
. .
. .
K
( )
lim ( ) lim
x x
x k
x
f x e
+ +
+
= + = 1
1
Ejemplo 60.-
Sea la funcin Por lo visto en el apartado anterior, tenemos:
( )
g x
x
x
( ) . = +
1
1
6
( )
lim ( ) lim
x x
x
x
g x e
+ +

= + = = 1 2 71828182
1
6
KK
Comprobemos:

( )
x g e = = + = 10 000000 10000 000 1 2 71828169
1
9.999.994
10 000 000
. . ( . . )
. .
K
Tambin se verifica que
Ejemplo 61.-
Sea la funcin
( )
f x
x
x
( ) . = +
+
1
1
6
( )
lim ( ) lim
x x
x
x
f x e

+
= + = = 1 2 71828182
1
6
KK
Comprobemos:

( )
x f e = = + =
1000000 1000000 1 2 71828318

1
9.999.994
1000 000
. . ( . . )
. .
K
c) Supongamos una funcin s(x) tal que lim ( )
x
s x
+
= +
Consideremos la funcin . f x
s x
s x
( )
( )
( )
= +
|
\
|
.
|
1
1
Queremos hallar su lmite cuando x +
Veamos :
( ) ( )
lim ( ) lim
( )
( )
lim ( )
lim ( )
x x
s x
s x
s x
s x
f x
x
x
+ +
+
+
+
+
+
= +
|
\
|
.
|
= +
|
\
|
.
| = + = + = =
+
+
1 1 1 1 0 1
1 1 1
Indeterminado
Se demuestra que:
Ejemplo 62.-
Sea la funcin s(x) = 4x &9.
Observa que lim ( ) lim ( )
x x
s x x
+ +
= = = + 4 9 4 9
( )
lim ( ) lim
x x
x k
x
f x e

+
= + = 1
1
lim ( ) lim lim ( )
( )
( )
x x
s x
s x
x
f x e siendo s x
+ + +
= +
|
\
|
.
|
= = + 1
1
( )
f x
s x
s x
x
x
( )
( )
( )
= +
|
\
|
.
|
= +
1 1
1 1
4 9
4 9
Por el apartado anterior, se verifica que :

( )
lim ( ) lim
x x
x
x
f x e
+ +

= + = = 1 2 71828182
1
4 9
4 9
K
Comprobemos (utilizaremos una calculadora ms potente):
( )
x f = = + = 10000000 10000000 1 2 7181827944805155131
1
39.999.991
39.999.991
. . ( . . ) K
Tambin se verifica
lo siguiente:
Ejemplo 63.-
Sea la funcin s(x) = &4x &9.
x x
s x x
+ +
= = = 4 9 4 9
( )
f x
s x
s x
x
x
( )
( )
( )
= +
|
\
|
.
|
= +

1 1
1 1
4 9
4 9

( )
lim ( ) lim
x x
x
x
f x e
+ +

= + = = 1 2 71828182
1
4 9
4 9
K
Comprobemos (utilizaremos una calculadora potente):
( )
x f = = + =
10000000 10000000 1 2 71828186243756122460658

1
40 000 009
40 000 009
. . ( . . )
. .
. .
K
Tambin se verifica
lo siguiente:
Ejemplo 64.-
Sea la funcin s(x) = &4x &9.
x x
s x x

= = + = + 4 9 4 9
( )
f x
s x
s x
x
x
( )
( )
( )
= +
|
\
|
.
|
= +

1 1
1 1
4 9
4 9
( )
lim ( ) lim
x x
x
x
f x e

= + = = 1 2 71828182
1
4 9
4 9
K
lim ( ) lim lim ( )
( )
( )
x x
s x
s x
x
f x e siendo s x
+ + +
= +
|
\
|
.
|
= = 1
1
lim ( ) lim lim ( )
( )
( )
x x
s x
s x
x
f x e siendo s x

= +
|
\
|
.
|
= = + 1
1
Comprobemos (utilizaremos una calculadora potente):
( )
x f = = + = 10 000000 10000000 1 2 7181827944805155131
1
39.999.991
39.999.991
. . ( . . ) K
Tambin se verifica
lo siguiente:
d) Supongamos una funcin s(x) tal que lim ( )
x
s x
+
= +
Consideremos la funcin . t x
s x
( )
( )
=
1
Es evidente que lim ( ) lim
lim ( )
( )
x x
s x
x
t x
s x
+ +
+
= = =
+
=
1
1 1
0
Consideremos ahora la funcin ( ) f x t x
s x
( ) ( )
( )
= + 1
Hallemos el lmite de f (x) cuando : x +
( ) ( ) lim ( ) lim ( ) lim ( )
( )
lim ( )
x x
s x
x
s x
f x t x t x
x
+ + +
+ +
= + = +
|
\
|
.
| = + = =
+
1 1 1 0 1 Indeterminado
Se demuestra que dicha indeterminacin se convierte en el nmero e, es decir:
Observa que este caso coincide con el visto en el apartado c), es decir:
( ) lim ( ) lim ( ) lim
( )
( )
( )
x x
s x
x
s x
s x
f x t x e
+ + +
= + = +
|
\
|
.
|
= 1 1
1
Ejemplo 65.-
Sea la funcin . Observa que s x
x
x
( ) =
+
3 5
2 1
2
lim ( ) lim
x x
x
x
s x
+ +
+
+

= = = +
3 5
2 1
3 5
2 1
2 2
Sea la funcin inversa de s, es decir: t x
s x
x
x
( )
( )
= =

+
1 2 1
3 5
2
Observa que lim ( ) lim
x x
x
x
t x
+ +
+

+
= = =
2 1
3 5
2 1
3 5
2 2
0
Consideremos la funcin ( ) f x t x
x
x
s x
x
x
( ) ( )
( )
= + = +

+
|
\
|
.
|
+
1 1
2 1
3 5
2
3
2
5
2 1
( ) lim ( ) lim ( )
lim ( )
( )
( )
( )
x x
s x
x
s x
f x t x e siendo
s x
t x
+ +
+
= + =
= +
=
1
1
lim ( ) lim lim ( )
( )
( )
x x
s x
s x
x
f x e siendo s x

= +
|
\
|
.
|
= = 1
1
Hallemos el lmite de f cuando : x +

( )
lim ( ) lim
x x
f x
x
x
x
x
+ +
+
+
+
= +

+
|
\
|
.
| = +

+
|
\
|
.
| = + = =
+
1
2 1
3 5
1
2 1
3 5
1 0 1
2 2
3
2
5
2 1
3
2
5
2 1
Indeterminado
Por el apartado anterior, se verifica que : lim ( ) lim
x x
f x
x
x
e
x
x
+ +
= +

+
|
\
|
.
| =
+
1
2 1
3 5
2
3
2
5
2 1
Hagamos una comprobacin:

( )
x f e = = + = 100000 100000 1 2 7181912246469659419
199999
30000000005
30000000005
199999
( ) K
En general:
Ejemplo 66.-
Sea la funcin . Hallemos su lmite cuando x tiende a 4. f x
x
x
x
x
( ) = +
+
|
\
|
.
|
|
+
1
5 2
2
3
5
3
2
2
Veamos:

( ) ( )
( ) lim ( ) lim
x x
x
x
f x
x
x
+ +
+
+
+ +
= + = + = + = =
+ +
1 1 1 0 1
2
3
5
3
2
2
2
3
5
3
2
2
5 2 5 2
Indeterminado
Por lo visto en el apartado anterior:

( )
lim ( ) lim
lim ( )
( ) lim ( )
( )
x x
x
x
x
x
x
x
x
s x
x
f x e
s(x) con s x
t x = con t x
x
x
+ +
+
+
+
+
+
= + =
= = +
= =
+
1
0
2
3
5
3
2
2
3
2
2
3
5 2
5 2
5 2
1
ya que
Del mismo modo:

( )
( ) lim ( ) lim
( )
( )
( )
( )
x x
x
x
f x
x
x

+

+

= + = +
|
\
|
.
| = + = =
+
+
1 1 1 0 1
2
3
5
3
2
2
2
3
5
3
2
2
5 2 5 2
Indeterminado
Por lo visto en el apartado anterior:

( )
lim ( ) lim
lim ( )
( ) lim ( )
( )
x x
x
x
x
x
x
x
x
s x
x
f x e
s(x) con s x
t x = con t x
x
x

+
+

+

= + =
= =
= =
+
1
0
2
3
5
3
2
2
3
2
2
3
5 2
5 2
5 2
1
ya que
De lo anterior deducimos que la recta de ecuacin y = e es una asntota horizontal de la
funcin f (x), por ambos lados, es decir, la grfica de la funcin se aproxima a dicha recta por la
izquierda y por la derecha, tanto como podamos imaginar.
( ) lim ( ) lim ( )
lim ( )
( )
( )
( )
x x
s x
x
s x
f x t x e siendo
s x
t x

= + =
=
=
1
1
Los apartados a), b), c) y d) del punto anterior, nos permiten calcular ciertos lmites que
se inician con la indeterminacin 1
4
.
Veamos algunos ejemplos:
Ejemplo 67.-
Queremos hallar el lmite de la funcin cuando
( )
f x
x
x
x
( ) =
+
+
+
3 5
3 4
5 7
x +
Veamos:

( ) ( )
lim ( ) lim lim
lim( )
x x
x
x
x
x
x
x
x
f x
x
+ +
+
+
+
+
+
+
+
+
+
+
+
= =

(
= = =
+
3 5
3 4
5 7
3 5
3 4
5 7
3 5
3 4
5 7
1 Indeterminado
Para salvar la indeterminacin, sumamos y restamos 1 en la base y operamos:

( ) ( ) ( )
( ) ( )
( ) ( )
lim ( ) lim lim lim
lim
lim lim
( ) ( )
x x
x
x
x
x
x
x
x
x
x x
x
x
x
x
x
x
x
x
x
x
x
x
x
f x
x
x
+ +
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
= = + = + =
= + = = =
= + = +
+
+
3 5
3 4
5 7
3 5
3 4
5 7
3 5 3 4
3 4
5 7
1
3 4
5 7
3 4
3 4
1
3 4
5 7
1
3 4
3 4
1 1 1
1 1
1 1
3 4
3 4
multiplicamos el exponente por
( )
( )
5 7
3 4
5 7
3 4
5 7
3 4
5
3
1
1 3 4 5 2944900
1
3 4
3 4
1
3 4
3 4
5 3
x
x
x
x
x
x
x
x
x
x
x
x
x
x
por ser x e e
+
+
+
+
+
+
+
= +
(
=
=
+
(
= + = +
|
\
|
.
| = = =
+
+
+
+
+
+
+
lim
(
lim lim ( )
lim
limite de una potencia = limite base elevado al limite del exponente) =
= KK
Hagamos una comprobacin:

( )
x f e = = = < 10000000 10000000 5 29360878
30 000 005
30 000 004
50 000 007
5 3
. . ( . . )
. .
. .
. .
K
Por tanto:
Para valores de x infinitamente grandes positivos, las imgenes f (x) se aproximan
infinitamente a . e
5 3
La recta de ecuacin es una asntota horizontal de f (x), por la derecha.
y e =
5 3
Parece que la grfica de f (x) se acerca a la asntota por debajo.
Ejemplo 68.-
Hallar el lmite de la funcin cuando
( )
g x
x
x
x
( ) =
+
+
5 7
5 2
2 5
2
x
Veamos:
Debemos hallar los lmites cuando x tiende a +4 y a &4

( )
( )
lim ( ) lim lim
lim
x x
x
x
x
x
x
x
x
g x
x
+ +
+
+
+
+
+
+
= =
|
\
|
.
| = =
+
5 7
5 2
2 5
5 7
5 2
2 5 2
2
1 Indeterminado
Salvamos la indeterminacin sumando y restando 1 en la base y operando:

( ) ( ) ( )
lim ( ) lim lim lim
x x
x
x
x
x
x
x
x
x
x x
x
x
g x
+ +
+
+
+
+
+
+
+
+
= = + = + =
5 7
5 2
2 5
5 7
5 2
2 5
5 7 5 2
5 2
2 5
2 2 2
1 1 1

( ) ( )
( )
( )
( ) ( )
( )
= + = = =
= + = + = +
(
=
= +
+
+
+
+
+
+

+
+
+
+
+
+
+
+ +

+
+

+
+
lim
lim lim lim
lim
( )
x
x
x
x
x
x
x
x
x
x
x
x
x
x
multiplicamos el por
x
x x
x
x
x
x
x
x
1 1
1 1 1
1
5
5 2
2 5
5
5 2
5 2
5
5
5 2
2 5
5
5 2
5
5 2
5
5 2
2
2 5
5 2
5 2
5
5 2
5
5 2
2
5
5 2
5 2
5
10
2
25
5 2
5 2
5
exponente
(
(
= = = +
|
\
|
.
| =
= = +
+
+
+
+
+
+
+
lim
lim lim
x
x
x
Observa que y
e
x
x
x
x
10
2
25
5 2
5
5 2
5 2
5
0
Hallemos el lmite cuando x tiende a &4:

( )
( )
lim ( ) lim lim
lim
x x
x
x
x
x
x
x
x
g x
x

+
+

+
+
+
= =
|
\
|
.
| = =
5 7
5 2
2 5
5 7
5 2
2 5 2
2
1 Indeterminado
Salvamos la indeterminacin sumando y restando 1 en la base y operando:

( ) ( ) ( )
( )
lim ( ) lim lim lim
( ) lim
lim
x x
x
x
x
x
x
x
x
x
x
x
x
x
e
g x
actuando igual que antes e
x
x
x
x

+
+

+
+

+

+
= = + = + =
= = +
(
= = = =
+
+
+
5 7
5 2
2 5
5 7
5 2
2 5
5
5 2
2 5
5
5 2
1 1
2 2 2
5 2
5
10
2
25
5 2
1 1 1
1 0
Demos una interpretacin grfica a los resultados obtenidos:
En la figura 53 tenemos la idea de una
funcin g(x) que presenta una rama
parablica por la derecha y hacia arriba y
una asntota horizontal por la izquierda (la
asntota es el eje de abcisas).
lim ( ) lim ( )
x x
g x y g x
+
= + = 0
Comprobemos, utilizando una potente
calculadora:

x g = = =
=
100 100 1 00996
1 156962914336560429757920 10
19995
86
( ) K
K
nmero infinitamente grande positivo.
( )
x g = = = = =
+
100 100 0 989959 2 362884 10 0
493
498
19995
19995 88
( ) K K
es decir, la imagen de &100 es un nmero infinitamente prximo a 0, pero positivo.
Puede apreciarse que la grfica se acerca al eje de abcisas por encima de este.

Limfunc

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Limfunc

Enviado por

Direitos autorais:

Formatos disponíveis

Lmites

(a) ?, siendo un n pequeo.

Vamos a encontrar ese valor de un modo experimental, es decir, daremos a la variable x

(a) = (a& , a+)

(l) (elegido arbitrariamente). Por eso

(a) = (a& , a+), se

(l) = (l& , l+ ), es decir, las lneas guas que

(l) con el nmero . Ntese que si conocemos

(a) con el nmero . Ntese que si conocemos

De este modo la definicin ( z z z ) queda:

= > > < < + < < + 0 0

= > > < < 0 0

= > > < <

= > > < < 0 0 0 0

= > > < < 0 0 0

+ = + > > < + + < 0 0

= > > < < 0 0

1 999 1 999 3 999 63 95201

La expresin anterior puede ponerse del siguiente modo:

3 999 3 999 4 503252911 4 5

Podra ocurrir que coincidiesen, es decir:

(a), su imagen es mayor

(a) = (a&,a+) con y

(a) equivale a que a& < x < a+.

= + > > < < + > 0 0

= + > > < > 0 0

(a), su imagen es menor

(a) = (a&,a+) con y

(a) equivale a que a& < x < a+.

= < > < < + < 0 0

= < > < < 0 0

Ntese que podra ocurrir que lim ( ) ( )

= + > > < < > 0 0

= < > < < < 0 0

Es decir, si damos a x valores

(l). Sita este entorno en el eje de ordenadas.

(l). Sita este entorno en el eje de ordenadas.

1000000 10 0 999999 2 71828318

1000000 1000000 1 2 71828318

10000000 10000000 1 2 71828186243756122460658

Você também pode gostar