Lmites

Un lmite es, bsicamente, un valor real finito, si existe. Podemos decir,

entonces, que:

El lmite para cierta funcin () es aquel valor que toma dicha funcin
cuando se acerca tanto como queramos a otro valor . De este modo,
decimos que el lmite existe, y es igual a

Formalizando lo anterior:
La funcin f(x) puede estar
definida o no, en x=a

L es un valor
lim () = real finito

Decir que x tiende al valor a

significa que puedo acercarme
tanto como quiera a tal valor, pero
nunca haciendo x=a, aunque en el
lmite suponga sustituir por tal
valor, de modo prctico

Ejemplo:

Hallar el siguiente lmite

+3
lim
2 4
Solucin:

Como podemos acercarnos tanto como queramos a = 2, procedemos

por reemplazar tal valor en la funcin

+3
() =
4
As, obtendremos:
+3 2 + 3 1 1
lim = = =
2 4 2 4 6 6
En esencia, el lmite existe (me dio un valor real finito), y es:
1
=
6

Cuando es posible reemplazar (sustituir) en () el valor al cual est

tendiendo, se lo denomina Lmite de sustitucin directa. Este tipo de
lmites se caracteriza por devolver un valor real finito con slo
reemplazar el valor = en tal funcin, efectivamente.

Lmites de sustitucin directa:

Aquellas funciones definidas para cierto valor = , tienen el privilegio

de contar con un valor de lmite finito, cuando hacemos el reemplazo
directo (es decir, sin necesidad de reescribir la funcin, ya sea por
factorizacin o uso de identidades, entre otras).

Se dice, formalmente, que () es continua en = siempre que pudo

calcularse el lmite de forma directa. Consecuentemente:

lim () = ()

En la prctica, optaremos por aplicar propiedades para resolver este tipo
de lmites, ms all de conocer a priori el valor de tal lmite.

Propiedades del lmite:

De modo til, al calcular el lmite directo para cierta funcin ()

continua en = , utilizaremos cualquiera de las siguientes propiedades
(ms adelante utilizaremos tales propiedades en otro tipo de lmites,
desde ya).

A saber:

1) El lmite de una suma o diferencia de funciones, es la suma o

diferencia de los lmites (para cada funcin, por separado; es una
propiedad de tipo distributiva):

lim [() ()] = lim () lim ()

2) El lmite de un producto de funciones, es el producto de los lmites:

lim [(). ()] = lim (). lim ()

3) El lmite de una potencia, es la potencia del lmite:

lim [()] = [lim ()]

4) El lmite de una raz de ndice para (), es la raz del lmite (note
que tambin puede enumerarse esta propiedad como una
consecuencia del lmite de una potencia, ya que la raz es potencia
fraccionaria de denominador ):
1

lim () = lim () = [lim ()]

 5) El lmite de una constante ( ), es la propia constante:

lim =

6) El lmite de un cociente de funciones, es el cociente de los lmites:

() lim ()

lim =
() lim ()

7) Las constantes ( ), salen fuera del lmite, siempre que sea

posible:

lim . () = . lim ()

Constante Constante fuera

dentro del lmite del lmite

8) El lmite de una expresin exponencial, es la expresin exponencial

de los lmites:
lim ()
lim [()]() = [lim ()]

Ejemplo:

Calcular el siguiente lmite, aplicando propiedades:

3
2 + 2
lim
5 4 1
Solucin: Comenzamos sustituyendo cada en la funcin, por el valor al
cual tiende; es decir

Sustituimos en la expresin por = 5, corroborando que existe tal valor,

y () es continua en tal punto:

3 3 3
2 + 2 52 + 2 27 3
lim = = =
5 4 1 4.5 1 19 19

En consecuencia, el lmite existe y es:

3
=
19

Ahora, lleguemos al mismo resultado, aplicando propiedades.

Observemos que tenemos un cociente de funciones, primeramente:

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

El lmite de un cociente, es el cociente de los lmites (es decir,

informalmente, distribuimos el lmite arriba y abajo; un lmite para el
numerador, y otro para el denominador).

Ahora, arriba tenemos el lmite de una raz, y debajo, el lmite de una

diferencia, aplicamos tales propiedades:
 3
3 lim( 2 + 2)
5
2
+2
lim =
5 4 1 lim 4 lim 1
5 5

Dentro de la raz, contamos con una suma; es decir, el lmite de una suma,
que se reescribir como la suma de lmites:

Este trmino tendr

su propio lmite
Este trmino tendr
su propio lmite

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

El lmite de una potencia, es la

potencia del lmite

Estos son lmites de

3 2
(lim ) + lim 2 constantes aisladas,
5 5 que dejamos as,
=
4. lim lim 1 para finalmente
5 5
aplicar su propiedad
correspondiente

La constante 4 sali afuera del

lmite (como lo dice nuestra
propiedad n 7)
Finalmente, como se trata de un lmite de sustitucin directa, como
verificamos al principio, podemos reemplazar en la expresin por = 5:

El lmite de la
constante aislada 2,
ser 2

3 2
(lim ) + lim 2 3
(5)2 + 2 3
3
5 5 27
= = = =
4. lim lim 1 4.5 1 19 19
5 5

El lmite de la
constante aislada 1,
ser 1

Como caba esperar, llegamos al mismo resultado.

Ejercicios

Intent lo siguiente. Cualquier lmite a continuacin se resuelve de modo

directo. Utiliz las propiedades que veas aplicables, pero no olvides que lo
esencial es, primero, verificar la existencia numrica de tal lmite.

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

3 2
1 2 + 2
2) lim 5. . (4 ) 4) lim
1 2 2
 Lmites Indeterminados

La particularidad de los lmites de sustitucin directa radica en la

evaluacin de la funcin () en = , sin ir ms lejos. Esto ocurra,
como lo mencionamos, porque efectivamente () es continua en tal
punto; de modo que () est definida, y el resultado es un valor real
determinado.

Con frecuencia, el clculo de un lmite nos devuelve una expresin la cual

no podemos evaluar de manera directa. Como consecuencia, obtenemos
cualquiera de los siguientes resultados, constituyendo todos y cada uno
de ellos, una indeterminacin o forma indeterminada:
0
; ; 00 ; 1 ;
0

Ejemplo:

Calcular los siguientes lmites

3
4 + 8 + 6 2 . + 2
1) lim 4) lim 7) lim
2 + 2 2 2 0

3 2 16 3 2 + 1
2) lim 5) lim 8) lim 2
0 4 4 1 + 6 7

+ 10 3 2 5 + 6 12 + 3
3) lim 6) lim 9) lim
1 +1 3 3 4 + 4
El tipo de indeterminacin que encontramos al intentar evaluar de modo
directo los lmites anteriores es:
0
0

Esto se debe a que, tanto el numerador como el denominador de ()

contendrn factores con iguales races, a efectos de anularse al mismo
tiempo, segn se efecte el reemplazo = .

Si bien a simple vista pueden no ser detectados, estos factores suelen

aparecer a medida que reescribo a (), ya sea factorizando (factor
comn, frmula resolvente, mtodo de Ruffini, comn denominador,
entre otros varios procedimientos ajustables a la funcin), o
multiplicando y dividiendo por una misma expresin, segn se ver ms
adelante con la tcnica del conjugado.

Volviendo al caso prctico, resolvamos el siguiente lmite:

3
lim
0

Solucin:

Observe que, primeramente, la funcin

3
() =

no es continua en = 0, porque no est definida en tal punto. Es decir; el
resultado de evaluacin nos dar:

0 03 0
(0) = = ()
0 0
De este modo, no podemos reconocer al lmite como de sustitucin
directa, ya que, con pruebas contundentes, efectivamente no lo es. Se trata
de un lmite indeterminado.

Procedemos a aplicar factorizacin, tomando como factor comn a "":

x es la menor potencia entre

estos dos trminos, por eso sale Como fuimos capaces de eliminar el factor que
factor comn, ya que ambos la nos llevaba a una indeterminacin, pudimos
poseen salvar el lmite, de modo de hacerlo evaluable

3 . (1 2 )
lim = lim = lim(1 2 ) = 1 02 = 1
0 0 0

Estos trminos se cancelan entre s, ya El lmite existe, y es 1

que uno est en el numerador, y otro
en el denominador

Concretamente, no siempre el procedimiento de factorizar y cancelar

factores entre s nos llevar a salvar el lmite.

Intentemos resolver el siguiente problema:

2
lim
2 2 4 + 4
Hacemos un reemplazo directo, para corroborar se trata de un lmite
indeterminado:
2 22 0
lim = 2 =
2 2 4 + 4 2 4.2 + 4 0
Ahora, procedemos a factorizar el denominador, aplicando la frmula
resolvente y encontrando las races de la expresin cuadrtica:

2 2 1
lim = lim = lim
2 2 4 + 4 2 ( 2)( 2) 2 2

x=2 es raz doble, de modo que el

factor (x-2) aparece dos veces

Pero, al evaluar este ltimo lmite, obtenemos:

1 1
lim = =
2 2 0

El denominador estar muy cerca de cero, tanto

como queramos; aunque en la prctica solemos
El lmite no existe. indicar tal resultado con un 0

Nota: el concepto de infinito denota una cantidad no numerable, sin tope

alguno (estos topes formalmente se llaman cota superior o inferior,
segn corresponda).

En el lmite anterior, recuerde que 2 no significa que efectivamente

tome el valor 2 (es decir, 2 no dar cero, pero s muy prximo a
cero), sino que me acercar a ese valor tanto como quiera. De este modo,
el cociente se ir incrementando gradualmente, y creciendo de manera no
acotada, como consecuencia.
Factorizacin con el trmino conjugado:

Cuando el lmite indeterminado cuyo argumento a factorizar contiene una

raz cuadrada, ser til aplicar una tcnica que permite eliminar tal raz,
de modo de reescribir la expresin funcional, y encontrar los factores a
cancelar, para salvar dicho lmite.

Ejemplo:

Calcular

+ 7 2
lim
3 +3

Evaluando la expresin funcional cuando = 3, llegamos a una

indeterminacin del tipo:
0
0
De modo que es probable se comparta algn factor comn entre
numerador y denominador, de forma implcita (habr que factorizar para
ver cules son esos factores).

Procedemos a factorizar con la tcnica del trmino conjugado. A saber:

Multiplico por una fraccin donde, tanto

Copio todo el lmite en el numerador como en el
como est denominador, colocamos el conjugado
del trmino con raz cuadrada

+ 7 2 ( + 7 2) ( + 7 + 2)
lim = lim .
3 +3 3 ( + 3) ( + 7 + 2)

El conjugado es la misma expresin, pero el

signo opuesto entre medio de ambos
trminos (pas de ser un a un +)
Ahora, qu utilidad tiene esta tcnica?

Primeramente, tenemos que recordar que, si multiplicamos cierta

expresin por un cociente cuyo numerador y denominador son iguales,
tal fraccin ser la unidad, de modo que multiplicar la expresin funcional
por ese cociente, permitir que se siga manteniendo de forma equivalente
tal expresin original.

Y por qu precisamos el conjugado?

Multiplicar una expresin con raz cuadrada por su conjugado, nos genera
una diferencia de cuadrados; y con esto podemos efectuar una
cancelacin de raz junto con la potencia cuadrada. A modo de ejemplo:

Encontrar una expresin equivalente para 2 + :

Solucin: multiplicamos por una fraccin cuyo numerador y denominador

sean el conjugado de 2 + . Entonces:
Diferencia de
cuadrados, porque se
multiplican expresiones
La misma expresin iguales con distinto
signo entre medio
conjugado

2
(2 ) 2 2 4
2 + = (2 + ). = =
(2 ) 2 2

conjugado

Logramos racionalizar el numerador, eliminando la raz cuadrada de

ste. Por lo tanto, pudimos encontrar una expresin equivalente a 2+.

Nota: tener en cuenta el dominio de la expresin equivalente hallada, de

modo de no plantear igualdades no permitidas, para ciertos valores de .
Volviendo al ejercicio donde hicimos una pausa:

+ 7 2 ( + 7 2) ( + 7 + 2)
lim = lim .
3 +3 3 ( + 3) ( + 7 + 2)

De modo que, generando la diferencia de cuadrados: La diferencia de

cuadrados hizo que la raz
se cancele con la potencia

2
+ 7 2 2 +74
lim = lim
3 ( + 3)( + 7 + 2) 3 ( + 3)( + 7 + 2)

+3
= lim
3 ( + 3)( + 7 + 2)

Pudimos obtener el factor que nos generaba la indeterminacin inicial, de

modo que, ahora, simplificamos y evaluamos el lmite:
1
= lim
3 ( + 7 + 2)
1 1 1
= = =
3 + 7 + 2 4 + 2 4

Es decir, que el lmite existe, y es:

1
=
4
 Factorizacin con mtodo de Ruffini

Cuando el argumento funcional del lmite se presenta como un cociente

de polinomios, donde al menos uno de ellos tiene grado mayor a 2, ser
muy prctico aplicar factorizacin con el mtodo de Ruffini.

Ejemplo:

Calcular el siguiente lmite

Factorizable con Ruffini

2 3 + 5 + 6
lim
2 2

Solucin: evaluamos directamente el lmite, para notar que se trata de

0
una indeterminacin del tipo
0

2 3 + 5 + 6 2. 23 + 5.2 + 6 16 + 16 0
lim = = =
2 2 22 22 0
Ahora, podemos asegurar que numerador y denominador comparten
algn factor comn, de modo que procedemos a factorizar con el mtodo
indicado.

3 2 1 0

-2 0 5 6

Un factor ser: x 2 Otro factor es el

(con la raz polinomio resultado
siempre se arma un
raz factor lineal)
2 -4 -8 -6

-2 -4 -3 0 2 2 2 4 3

No olvidar que se le baja un grado al polinomio resultado

Segn lo anterior, podemos reescribir el lmite de la siguiente manera:

La factorizacin de 2 3 + 5 + 6, en otros dos

polinomios

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

Y, eliminando factores iguales:

lim (2 2 4 3) = 2. 22 4.2 3 = 19
2

Por lo tanto:

2 3 + 5 + 6
lim = 19
2 2

Nota: Si al factorizar los polinomios numerador y/o denominador,

consigue encontrar factores iguales, para luego simplificar la expresin,
pero al reemplazar nuevamente por = sigue dando la
0
indeterminacin ; entonces deber seguir factorizando, puesto que
0
ello significa an se sigue compartiendo algn otro factor, y hay que
encontrarlo.
 Lmites laterales

Al analizar la existencia de un lmite cuando , debemos tener en

cuenta, como hemos visto, si tal funcin est definida (o no), en dicho
punto. Esto poda verificarse evaluando () en = , de modo prctico y
con el fin de obtener informacin sobre la continuidad de la funcin para
ese valor.

Resulta importante notar aqu que no siempre podemos asegurar que

() sea continua en un punto, con slo evaluarla en l. Esto es as,
porque hay funciones denominadas a trozos, que estn definidas como
la unin de distintas curvas, y en tales puntos de unin (generalicemos,
puntos = 0 ), uno puede esperar que:

() es continua en = 0 ;
() es discontinua en l

En el primer caso, las curvas que forman a () llegaron a unirse, de

modo de no dejar ningn hueco o salto entre ellas, con lo cual podra
trazar su grfica sin levantar el lpiz del papel, dicho de algn modo.

En el segundo caso, no me es posible juntar las curvas grfico de () en

en ese punto determinado, ya que sucedi alguna anomala nombrada
inmediatamente arriba.

Tales anomalas sern estudiadas a continuacin, pero antes debemos

aclarar a qu nos referimos con el concepto de lmites laterales.

Ejemplo:

Determinar si existe:
lim () ;
1

2 2 ; > 1
Siendo () = { 3 ; =1
5 4 ; <1
Note primeramente que la funcin est definida por dos curvas
diferentes, y un punto en el plano ; a saber:

Un trozo de parbola, descrita por () = 2 2 ; donde

no tomamos toda la curva parablica, sino que nos quedamos
con tal grfico cuando > 1

Grfico de la curva parablica "completa" Grfico de la curva parablica, tomando slo

cuando x > 1

Un trozo de recta, descrita por () = 5 4; quedndonos

con la curva grfico cuando < 1

Grfico "completo" de f(x)=5x-4 Grfico de f(x)=5x-4, cuando x < 1

 Un punto en el plano: (1,3) (es decir; (1) = 3)

Si uniramos los grficos definidos a trozos anteriores, obtendramos el

grfico de la funcin () , que
planteamos al principio del anlisis.

El resultado sera el siguiente:

Grfico de la funcin f(x), definida a trozos. Ntese la discontinuidad en x = 1

Volvamos ahora al problema de calcular el lmite de

2 2 ; > 1
() = { 3 ; =1
5 4 ; <1

Cuando 1.

Debemos observar que

lim ()
1

depender de los lmites laterales, ya que la funcin est definida a trozos,

y el valor = 1 es donde se unen las distintas curvas de ()
(tendremos una curva parablica por un lado, y una semirrecta por el
otro).

Por lo tanto, hacemos:

Reemplazamos f(x) por la funcin que le
Lmite lateral al 1 por izquierda (por corresponde cuando x < 1 (es decir, cuando me
eso convencionalmente se usa el signo acerco por izquierda a x = 1)
menos (-) como suprandice)

lim1 () = lim1 (5 4) = 5.1 4 = 1

lim ()
1

lim1+ () = lim1+ (2 2 ) = 2.1 (1)2 = 1

Lmite lateral al 1 por derecha,

usamos el suprandice ms (+) Reemplazamos f(x) por la funcin que le
corresponde cuando x > 1 (es decir, cuando me
acerco por derecha a x = 1)
Como los lmites laterales son iguales, el lmite que dependa de stos
existe, y toma el mismo valor.

Es decir:

lim () = 1
1

Nota: si los lmites laterales son iguales (nos da el mismo escalar,

cualquier nmero real finito), el lmite que depende de ellos existe y toma
el mismo valor. En caso los lmites laterales fueran diferentes (o alguno de
ellos o ambos escaparan al infinito; es decir, obtuviramos como
resultado de evaluacin), decimos que el lmite no existe.

Aplicacin del lmite y asntotas

Al determinar la existencia de un lmite funcional para cierto valor = ,

estamos suponiendo, al menos, dos cosas (excluyendo las funciones a
trozos al principio):

Que la funcin est definida en = (continua en tal punto); con lo

cual obtendra un lmite de sustitucin directa,
La funcin no es continua en = , de modo que presenta algn
tipo de discontinuidad, respectivamente (con lo cual tendr una
0
indeterminacin de la forma ; salvable en lo posible, o una
0
discontinuidad esencial)

Nos centraremos en el anlisis de la discontinuidad de una funcin ()

en ciertos valores ; desde ya, fuera del dominio de la misma (puesto que,
si la funcin no es continua en esos puntos, se encontrarn restringidos
del dominio).
Cuando una funcin presenta un valor lmite en el infinito
(indistintamente si es positivo o negativo), sabemos que tal lmite no
existe, como vimos al principio. Ahora, este comportamiento del lmite
nos da una pauta de cmo hallar una asntota vertical (recta vertical que
la grfica jams llega a tocar), mediante un anlisis sencillo.

Ejemplo grfico:

x=2

Observando el grfico, podemos establecer lo siguiente:

lim2 () =

lim () ( )
2

lim2+ () = +

Como el lmite lateral al 2 por izquierda est en el infinito (con uno que
escape al infinito es suficiente), podemos decidir de manera instantnea
que:

lim ()
2
Y utilizamos la definicin de asntota vertical, mediante el lmite, para
establecer que = 2 es, efectivamente, una asntota vertical de ()
(cuyo grfico qued plasmado arriba).

Definicin de Asntota vertical

= es asntota vertical de () siempre y cuando:

lim () =

Nota: generalmente se emplea el clculo de los lmites laterales para

visualizar el comportamiento de la funcin tanto a izquierda como a
derecha de la asntota vertical; aunque de modo prctico hallemos una
expresin que refleja un crecimiento no acotado (es decir, al calcular el
lmite, nos devuelve infinito) para demostrar que en tal punto se
encuentra la asntota vertical.

Ejemplo:

Hallar, si existe, la asntota vertical de

2 9
() = 2
5 + 6
Buscamos el dominio de (), de modo de obtener aquellos valores para
los cuales la funcin no est definida (posiblemente estos valores sean
asntotas verticales).

Observemos se trata de una funcin racional, y hay que factorizar el

denominador para efectuar nuestra bsqueda.

Notemos que

2 9 2 9
() = 2 =
5 + 6 ( 2)( 3)

Con lo cual:

() = {2; 3}

Y las posibles asntotas verticales para la funcin () son = 2 y

= 3; ya que estos valores anulan el denominador (estableciendo la
discontinuidad de dicha funcin en tales puntos).

Ahora, cmo sabemos cul de los dos puntos determina una asntota
vertical? Bien podran ser ambos, o uno, o ninguno de ellos.

Procedemos a calcular el lmite dado por la definicin de asntota vertical,

y corroborar que, en efecto, cuando determino tal asntota se produce un
escape al infinito.

Analizo cuando 2:

2 9 ( + 3)( 3) +3 5
lim 2 = lim = lim = =
2 5 + 6 2 ( 2)( 3) 2 2 0
Como el resultado concuerda con la tendencia o escape al infinito de
() a medida que me acerco a = 2, podemos determinar que:

= 2 es la ecuacin de la Asntota Vertical de ()

Analizo cuando 3:

2 9 ( + 3)( 3) +3 6
lim 2 = lim = lim = = 6
3 5 + 6 3 ( 2)( 3) 3 2 1

El resultado no contrasta con la definicin de asntota vertical, porque no

obtuve una tendencia al infinito cuando 3.

De este modo, = 3 no es una asntota vertical de ().