Teorema de LHpital

Cmo resolvamos lmites indeterminados? De acuerdo al caso o al ejercicio,

podamos trabajar algebraicamente la expresin para simplificar factores, podamos
comparar infinitsimos o infinitos, o utilizar lmites notables.

Recordemos con ejemplos lo que se acaba de expresar.

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

2
sen(2 x ) sen(2 x ) 2 sen(2 x) sen(2 x) sen(m)
lim = lim 2 = lim = 2. lim = 2 lim =2
x 0 x x 0 x x 0 2x ( 2 x)0 ( 2 x) m 0 m

ln x
lim = 0 , por comparacin de infinitos
x x

2 x 2 1
2
lim 1 + = lim (1 + u) u = lim (1 + u) u = e 2
x x u 0 u 0
2
u= u 0
x

Veremos ahora el teorema de LHpital, que nos permitir resolver lmites

0
indeterminados de la forma o utilizando derivadas, y en general de una manera
0
ms sencilla que las formas utilizadas hasta ahora.

Teorema de LHpital:

Sean las funciones f y g, derivables en un entorno reducido de un punto a, y

g ' ( x ) 0 para todo punto x del entorno.
f ' ( x) f ( x)
Si lim f ( x ) = 0 y lim g ( x) = 0 y lim = L , entonces lim = L
x a x a x a g ' ( x ) x a g ( x )

Demostracin

f ( x ) si x a g ( x) si x a
Sean F ( x ) = y G( x) =
0 si x = a 0 si x = a

ANLISIS MATEMTICO I Pg. 1/8

Fac. Ingeniera U.N.Sa. Teorema de L`Hpital
Observacin: la definicin de estas funciones a partir de las funciones f y g nos permite demostrar
que el teorema de LHpital vale tambin para el caso en que las funciones f y g no sean continuas
en x=a.

lim F ( x ) = lim f ( x ) = 0 y F (a ) = 0 , entonces F es continua en x=a

x a x a

lim G ( x ) = lim g ( x ) = 0 y G (a ) = 0 , entonces G es continua en x=a

x a x a

Vamos a trabajar con valores de x a la derecha de a en el entorno E h (a ) , es decir

trabajaremos con [a , x] E h (a ) , donde x (a , a + h)

F ' ( c) F ( x ) F ( a )
Puede aplicarse el T.V.M.G., por lo que resulta que c (a , x ) / =
G ' ( c) G ( x ) G ( a )

F '(c) F ( x )
Como F (a ) = G (a ) = 0 , la ecuacin anterior resulta: = (*)
G '(c) G ( x )

x (a , a + h) , F ( x) = f ( x ) y G ( x) = g ( x) , resulta:
F '( x) = f '( x ) F ' (c) = f '(c) (**)
G '( x) = g ' ( x ) G '(c) = g '(c) (***)

F ( x)
Tomando lmite al cociente , y teniendo en cuenta las definiciones de F y G, y las
G( x)
ecuaciones (*), (**) y (***), resulta:

f ( x) F ( x) F '( x) f '(c)
lim = lim = lim = lim
x a + g ( x) x a G ( x ) x a G '( x) x a g ' (c)
+ + +

Tomando en cuenta que c [a , x ] , si x a + entonces c a + , por lo que resulta:

f ( x) f '(c) f ' ( x)
lim = lim = lim = L
x a + g ( x ) c a + g '( c) x a + g ' ( x )

De una manera similar se demuestra trabajando con [ x, a ] E h (a ) , donde

f ( x) f ' (c) f ' ( x)
x (a h, a ) , que lim = lim = lim = L
x a g ( x ) c a g '( c) x a g '( x )

f ( x) f ( x)
Como lim = lim = L , entonces:
x a + g ( x ) x a g ( x )

ANLISIS MATEMTICO I Pg. 2/8

Fac. Ingeniera U.N.Sa. Teorema de L`Hpital
 f ( x)
lim = L s.q.d.
x a g( x)

sen(2 x ) L ' H cos(2 x ).2

Ejemplo: lim = lim =2
x 0 x x 0 1

Generalizaciones:
0
1) Indeterminacin del tipo cuando x
0
f ( x) f '( x )
Si lim f ( x ) = 0 y lim g ( x ) = 0 , entonces lim = lim
x x x g ( x) x g ' ( x )

Demostracin:
1 1 1 1
f L'H f ' t . f ' t
f ( x) t t2 f '( x)
lim = lim = lim = lim = lim
x g ( x ) t 0 1 t 0 1 1 t 0 1 x g '( x)
g g ' t . g ' t
t t2
1
haciendo x = t 0
t

2) Indeterminacin del tipo cuando x a

f ( x) f '( x )
Si lim f ( x ) = y lim g ( x ) = , entonces lim = lim
x a x a x a g ( x ) x a g ' ( x )

3) Indeterminacin del tipo cuando x

f ( x) f '( x )
Si lim f ( x ) = y lim g ( x ) = , entonces lim = lim
x x x g ( x) x g ' ( x )

Aplicacin reiterada:
Se puede aplicar la regla de LHpital en forma reiterada si al derivar numerador y
denominador obtenemos una indeterminacin del tipo 0/0, siempre que se respete lo
enunciado en el teorema pero ahora para f '( x ) y g '( x ) :

f ( x) f '( x) f '' ( x )
lim = lim = lim
x a g ( x ) x a g '( x ) x a g '' ( x )

ANLISIS MATEMTICO I Pg. 3/8

Fac. Ingeniera U.N.Sa. Teorema de L`Hpital
Ejemplos:

x3 + 2
1) Calcule lim 4 = indeterminacin tipo cuando x
x x +1

x 3 + 2 L' H 3x 2 3
lim 4 = lim 3 = lim =0
x x + 1 x 4 x x 4 x

2
ex 1 0
2) Calcule lim = indeterminacin tipo cuando x 0
x 0 x. sen( x ) 0
2 e x 2 .(2 x )
e x 1 L'H
lim = lim
x 0 x. sen( x ) x 0 1. sen( x ) + x.cos( x )

0
Al derivar el numerador y el denominador, llegamos a una indeterminacin tipo
0
cuando x 0 . Aplicamos nuevamente la regla de LHpital:

e x 2 .(2 x ) e x 2 .(2 x )(2 x ) + e x 2 .2 2. e x . 2 x 2 + 1

2
L'H ( )
lim = lim = lim =1
x 0 1. sen( x ) + x.cos( x ) x 0 cos( x ) + 1.cos( x ) x. sen( x ) x 0 2.cos( x ) x. sen( x )
2
ex 1
Por lo tanto, lim =1
x 0 x. sen( x )

Observacin: resulta ms sencillo, antes de aplicar LHpital por segunda vez, trabajar
algebraicamente de la siguiente manera.

lim 2 e x
2
e x2 .(2 x ) 2 e x
2
2 e x
2
x 0
lim = lim = lim = =1
x 0 1. sen( x ) + x.cos( x ) x 0 sen( x ) x.cos( x ) x 0 sen( x ) sen( x )
+ + cos( x ) lim + lim cos( x )
x x x x 0 x x 0

ln( x )
3)Calcule lim = indeterminacin tipo cuando x 0
x 0+ cos ec( x)
1 1
ln( x ) L ' H x x sen 2 ( x )
lim = lim = lim = lim =
x 0+ cos ec( x ) x 0 + ctg ( x ).cos ec( x )
x 0+ cos( x ) 1 x 0+ x.cos( x )
.
sen( x ) sen( x )

sen( x ) sen( x ) sen( x )

= lim . lim = 1. lim =0
x 0 + x x 0 + cos( x ) x 0 + cos( x )

ln( x)
Por lo tanto, lim =0
x 0+ cos ec( x)

ANLISIS MATEMTICO I Pg. 4/8

Fac. Ingeniera U.N.Sa. Teorema de L`Hpital
Otras indeterminaciones:
Si bien la regla de LHpital sirve para calcular lmites con indeterminaciones del tipo
0
o , podemos llevar por medio de trabajo algebraico otros tipos de
0
indeterminaciones a estas formas, para as poder usar la regla de LHpital.

a) Forma 0.

lim f ( x ). g ( x) con lim f ( x ) = 0 y lim g ( x ) =

x a x a x a

f ( x)
Se escribe el lmite dado como: lim = , por lo que la indeterminacin se
x a 1 g ( x )
0 g( x)
transforma en una indeterminacin del tipo , o se escribe lim = resultando
0 x a 1 f ( x )

una indeterminacin del tipo .

0
Al tener las indeterminaciones o se puede aplicar la regla de LHpital.
0

Ejemplo:
x x L'H 1
lim x.cot g ( x ) = lim = lim = lim 2 = lim cos2 ( x ) = 1
x 0 x 0 1 cot g ( x ) x 0 tg ( x) x 0 sec ( x ) x 0

b) Forma

lim [ f ( x ) g ( x )] con lim f ( x ) = y lim g ( x ) =

x a x a x a

1 1

f ( x) g( x) g( x) f ( x )
lim [ f ( x ) g ( x )] = lim f ( x) g ( x) = lim
x a x a f ( x ) g ( x ) x a 1

f ( x) g ( x )
0
El ltimo lmite es indeterminado con una indeterminacin del tipo , por lo que se
0
puede aplicar la regla de LHpital para resolverlo.

Ejemplo:
1 1 cos( x ) sen( x) x.cos( x)
lim cot g ( x ) = lim = lim
x 0 x x 0 x sen( x) x 0 x. sen( x)

ANLISIS MATEMTICO I Pg. 5/8

Fac. Ingeniera U.N.Sa. Teorema de L`Hpital
 0
Llegamos a una indeterminacin tipo , por lo que aplicamos la regla de LHpital.
0

sen( x ) x.cos( x ) L' H cos( x ) 1.cos( x ) + x. sen( x )

lim = lim =
x 0 x. sen( x ) x 0 1. sen( x) + x.cos( x )

x. sen( x) sen( x )
= lim = lim = 0
x 0 1. sen( x ) + x.cos( x ) x 0 sen( x ) x + cos( x )

1
Por lo tanto, lim cot g ( x ) = 0
x 0 x

c) Formas exponenciales 0 00 1

lim
x a
[ f ( x )] g ( x ) = L

Tomando logaritmo en ambos miembros, y aplicando propiedades de logaritmo:

[
ln L = lim g ( x ) ln( f ( x ))
x a
]
El segundo miembro corresponde ahora a un lmite indeterminado con posibles
indeterminaciones 0. 0. ( ) .0 ( ).0 , que ya vimos como resolver.
Una vez que calculamos el nuevo lmite, encontramos el lmite original haciendo:

lim
x a
[ g ( x ) ln( f ( x ) )]
L = e ln L = e

Ejemplos:
x
1
Veremos como primer ejemplo, que lim 1 + = e , lmite que ya habamos
x x
tratado como notable.
1 x
lim 1 + = L
x x

Es una indeterminacin tipo 1 , por lo que tomaremos logaritmo natural en ambos

miembros.

1 x
ln( L) = ln lim 1 +
x x
1 1
ln( L) = lim ln 1 + = lim x.ln 1 +
x x x x

ANLISIS MATEMTICO I Pg. 6/8

Fac. Ingeniera U.N.Sa. Teorema de L`Hpital
 Como ahora tenemos una indeterminacin del tipo vamos a trabajar la .0 ,

expresin del segundo miembro para llevarla a una indeterminacin tipo .

1
ln 1 + x
ln( L) = lim
x 1
x
1
Haciendo el cambio de variable u = ( u 0 ) y aplicando LHpital:
x

1
ln(1 + u) L ' H 1+ u
ln( L) = lim = lim =1
u 0 u u 0 1

ln( L) = 1 L = e

x
1
Por lo tanto, lim 1 + =e
x x

x
Calcule lim ( sen( x )) = indeterminacin tipo 0 0
+
x 0

x
lim ( sen( x )) = L
+
x 0

[
ln( L) = lim ln( sen( x ))
x 0 +
x
]= [
lim x.ln( sen( x ))
x 0+
]
cos( x)

ln( L) = lim
[ln( sen( x))] L='H lim
sen( x )
=
x 0+ 1x x 0+ ( 1 x 2 )
x 2 cos( x ) x
= lim = lim . lim ( x.cos( x)) = 0
x 0+ sen( x ) x 0 sen( x ) x 0+
+

L = e0 = 1

x
Por lo tanto, lim ( sen( x )) = 1
+
x 0

x
Calcule lim ( ln( x ) ) = indeterminacin tipo 0
+
x 0

ANLISIS MATEMTICO I Pg. 7/8

Fac. Ingeniera U.N.Sa. Teorema de L`Hpital
 x
lim ( ln( x ) ) = L
+
x 0
ln( ln( x ) )
ln( L) = lim [ x.ln( ln( x ) )] = lim =
x 0+ x 0+ 1x

1
L'H x.ln( x ) x
= lim = lim =0
(
x 0 1 x
+ 2
x 0 ln( x )
) +

ln( L) = 0
L = e0 = 1

x
Por lo tanto, lim ( ln( x ) ) = 1
+
x 0

ANLISIS MATEMTICO I Pg. 8/8

Fac. Ingeniera U.N.Sa. Teorema de L`Hpital