Tema

Reglas de lHpital
Estudiamos en este tema el mtodo prctico ms efectivo para calcular lmites de funciones
en los que se presenta una indeterminacin del tipo [ 0 / 0 ], o [ / ] . Este mtodo se atribuye
al matemtico francs Guillaume de lHpital (1661-1704), aunque el descubrimiento se debe
ms bien a su maestro, el matemtico suizo Johann Bernouilli (1667-1748). El principio general
consiste en que, con las hiptesis adecuadas, el comportamiento (convergencia o divergencia)
del cociente f 0 /g 0 entre las derivadas de dos funciones (en un punto de la recta real, por la
izquierda o por la derecha, en + o en ) implica el mismo tipo de comportamiento para el
cociente f /g entre las dos funciones. A la hora de concretar esta idea general, se comprende que
seran necesarios demasiados enunciados para estudiar uno a uno todos los casos. Presentaremos
solamente dos enunciados, conocidos como primera y segunda reglas de lHpital, mostrando
que a partir de ellos puede resolverse cualquier otro de los casos.

7.1.

Teorema del Valor Medio Generalizado

Se conoce con este nombre la siguiente versin del Teorema del Valor Medio, que resulta
especialmente indicada para estudiar las reglas de lHpital:
Teorema. Sean a, b R con a < b y f , g : [a, b] R dos funciones continuas en [a, b] y
derivables en ]a, b[ . Entonces, existe c ]a, b[ verificando que:




f (b) f (a) g 0 (c) = g(b) g(a) f 0 (c)
(1)
Demostracin. Consideramos una funcin h : [a, b] R , que se visualiza muy bien usando
determinantes. Para x [a, b] definimos:


1 f (x) g(x) 






 1 f (a)
1 g(a)
 f (a) g(a)
 g(x) 



h(x) = 1 f (a) g(a) = 
1 g(b) f (x) +  f (b) g(b)
1 f (b)
1 f (b) g(b)




= f (b) f (a) g(x) g(b) g(a) f (x) + f (a) g(b) f (b) g(a)

85

7. Reglas de lHpital

86

Es evidente que h es continua en [a, b] y derivable en ]a, b[ , con

h 0 (x) = f (b) f (a) g 0 (x) g(b) g(a) f 0 (x) x ]a, b[
Tambin es evidente que h(a) = h(b) = 0 . Por el Teorema de Rolle, existe c ]a, b[ tal que
h 0 (c) = 0 , que es precisamente la igualdad buscada.

El nombre del teorema anterior se explica porque, tomando g(x) = x para todo x [a, b] ,
obtenemos para f la tesis del Teorema del Valor Medio. Ntese adems que en la demostracin
anterior no hemos usado el Teorema del Valor Medio, sino directamente el Teorema de Rolle.
Conviene comentar que si hubisemos aplicado directamente a las funciones f y g el
Teorema del Valor Medio, no habramos obtenido la conclusin buscada. Tendramos puntos
u, v ]a, b[ verificando que
f (b) f (a) = f 0 (u)(b a)

g(b) g(a) = g 0 (v)(b a)

de donde obtendramos


f (b) f (a)) g 0 (v) = g(b) g(a) f 0 (u)
igualdad que est todava lejos de (1) porque nada nos permite asegurar que sea u = v .
La situacin se ejemplifica muy bien tomando
a = 0, b = 1,

f (x) = x 2 , g(x) = x 3

x [0, 1]

Tenemos entonces
f (b) f (a) = f 0 (u) (b a) b 2 a 2 = 2 u (b a) u =

1
2

1
g(b) g(a) = g 0 (v) (b a) b 3 a 3 = 3 v 2 (b a) v =
3
de modo que no podemos conseguir u = v , pero la igualdad que realmente buscamos es




f (b) f (a) g 0 (c) = (b 2 a 2 ) 3 c 2 = (b 3 a 3 ) 2 c = g(b) g(a) f 0 (c)
es decir, 3 c2 = 2 c , que se verifica obviamente para c = 2/3 .
Expliquemos ahora por adelantado el inters de la versin generalizada del Teorema del
Valor Medio recin obtenida. Suponiendo f (a) = g(a) = 0 , si podemos asegurar (ya veremos
cmo) que g(b) 6= 0 y g 0 (c) 6= 0 , la igualdad (1) toma la forma
f (b)
f 0 (c)
= 0
g(b)
g (c)
y esto abre el camino para relacionar los cocientes f /g y f 0 /g 0 . El trabajo que nos queda por
hacer es poner las hiptesis adecuadas para conseguir que la idea anterior d resultado.

7. Reglas de lHpital

7.2.

87

Primera regla de lHpital

Empezamos trabajando con una indeterminacin del tipo [ 0 / 0 ] . Como ya hemos venido
haciendo, al hablar de un intervalo, lo suponemos no vaco y no reducido a un punto.
Teorema. Sea I un intervalo, a I y f , g : I \ {a} R funciones verificando:
(a) f y g son derivables en I \ {a}
(b) g 0 (x) 6= 0 para todo x I \ {a}
(c) lm f (x) = lm g(x) = 0
xa

xa

Entonces se tiene que g(x) 6= 0 para todo x I \ {a} , con lo que las funciones f /g y f 0 /g 0
estn definidas en I \ {a} y se verifica que:
(i) lm

xa

f 0 (x)
f (x)
= L R = lm
=L
0
xa g(x)
g (x)

(ii) Si f 0 /g 0 diverge positivamente, diverge negativamente, o simplemente diverge, en el

punto a , lo mismo le ocurre a f /g .
Demostracin. Observemos para empezar que la hiptesis (c) nos permite extender las
funciones f y g , definiendo f (a) = g(a) = 0 , para obtener funciones continuas en el punto
a . Podemos seguir denotando por f y g a las extensiones as obtenidas, pues el carcter local
del concepto de derivada hace que se sigan verificando las hiptesis (a) y (b), y la tesis que se
busca no involucra para nada los valores que hemos dado a nuestras funciones en el punto a . En
resumen, podemos suponer que f , g : I R son funciones continuas en I con f (a) = g(a) = 0 ,
y derivables en I \ {a} con g 0 (x) 6= 0 para todo x I \ {a}.
Para obtener la primera afirmacin del teorema, sea x I \ {a}. Si a < x , puesto que g es
continua en el intervalo [a, x] I y derivable en ]a, x[ I \ {a}, el Teorema del Valor Medio nos
proporciona un c ]a, x[ verificando que g(x) = g(x) g(a) = g 0 (c)(x a) , pero por hiptesis
tenemos g 0 (c) 6= 0 , luego g(x) 6= 0 . Si x < a , razonando con el intervalo [x, a] llegamos a la
misma conclusin.
De nuevo para x I con a < x , las funciones f y g son continuas en [a, x] y derivables en
]a, x[ , luego por el Teorema del Valor Medio Generalizado existe cx ]a, x[ tal que




f (x) f (a) g 0 (cx ) = g(x) g(a) f 0 (cx ) es decir,

f (x)
f 0 (cx )
= 0
g(x)
g (cx )

En el caso x < a haramos el mismo razonamiento con el intervalo [x, a] obteniendo la misma
conclusin, slo que ahora cx ]x, a[ . En ambos casos tenemos 0 < |cx a| < |x a| y hemos
probado:
f (x)
f 0 (cx )
x I \ {a} cx I : 0 < |cx a| < |x a| y
= 0
(2)
g(x)
g (cx )
El resto de la demostracin es ya bastante inmediato:

7. Reglas de lHpital

88

(i). Dado > 0 podemos encontrar > 0 tal que

 0

 f (y)

y I , 0 < |y a| < =  0
L <
g (y)

(3)

Entonces, para x I con 0 < |xa| < , al aplicar (2) tenemos 0 < |cx a| < , luego podemos
usar (3) con y = cx , para obtener

  0

 f (x)
  f (cx )




<

L
=

L
 g(x)
  g 0 (cx )

(ii). Si f 0 /g 0 diverge positivamente en a , dado K R tenemos > 0 tal que
y I , 0 < |y a| < =

f 0 (y)
>K
g 0 (y)

(30 )

Para x I con 0 < |x a| < , aplicando (2) y (30 ) concluimos que

f 0 (cx )
f (x)
= 0
>K
g(x)
g (cx )
Si f 0 /g 0 diverge negativamente en a , basta aplicar lo anterior, cambiando f por f . Finalmente, si slo sabemos que f 0 /g 0 diverge en a , dado K R tenemos > 0 tal que
 0 
 f (y) 
y I , 0 < |y a| < =  0  > K
(300 )
g (y)
con lo que al aplicar (2) y (300 ) obtenemos

 

 f (x)   f 0 (cx ) 

=

 g(x)   g 0 (cx )  > K
lo que prueba que f /g tambin diverge en el punto a .

Como ejemplo sencillo de aplicacin de la regla anterior, veamos el comportamiento en 0

de la funcin h : R R definida por
ex 1 x
h(x) =
x2

x R

Para ello tomamos I = R , a = 0 , f (x) = e x 1 x y g(x) = x 2 para todo x R . Claramente

f y g son derivables en R con f 0 (x) = e x 1 y g 0 (x) = 2x 6= 0 para todo x R . Tambin es
claro que lm f (x) = lm g(x) = 0 . Aplicando la derivabilidad en 0 de la funcin exponencial
x0
x0
tenemos
f 0 (x)
ex 1
1
lm 0
= lm
=
x0 g (x)
x0 2 x
2
y la regla de lHpital nos dice que tambin
lm h(x) = lm

x0

x0

ex 1 x
1
f (x)
=
l

m
=
x0 g(x)
x2
2

7. Reglas de lHpital

89

Volviendo al caso general, conviene observar que el cociente f 0 /g 0 , cuyo comportamiento

se debe estudiar para poder aplicar la regla de lHpital, puede cumplir tambin las hiptesis de
dicha regla, lo que permite aplicarla reiteradamente. Por ejemplo, usndola dos veces tenemos
2

e x 1 x x2
ex 1 x
ex 1
1
=
l

m
=
l

m
=
lm
3
2
x0
x0 6 x
x0
x
3x
6
Es importante resaltar que la implicaciones de la regla de lHpital no son reversibles: para
funciones f , g : I \ {a} verificando las hiptesis (a), (b) y (c) de dicha regla, puede ocurrir que
el cociente f /g tenga lmite en el punto a pero el cociente f 0 /g 0 no lo tenga. Ms adelante
veremos algn ejemplo de esta situacin.
Ni que decir tiene, la regla de lHpital puede aplicarse al clculo de lmites laterales o
divergencia lateral de una funcin en un punto, pues se trata de los lmites ordinarios o la
divergencia ordinaria en dicho punto de una conveniente restriccin de la funcin dada.
Por sorprendente que pueda parecer, la regla de lHpital puede usarse para estudiar la
derivabilidad de una funcin en un punto, pues al fin y al cabo se trata de estudiar la existencia
del lmite de un cociente entre dos funciones para el que, si la funcin es continua en el punto en
cuestin, tendremos una indeterminacin del tipo [ 0 / 0 ] . Veamos la forma en que se concreta
esta idea:
Sea J un intervalo, a J y h : J R una funcin derivable en J \ {a} y continua en el
punto a .
(i) Si h 0 tiene lmite en a , entonces h es derivable en a con h 0 (a) = lm h 0 (x).
xa

(ii) Si h 0 diverge en a , entonces h no es derivable en a .

(iii) Suponiendo que a J , si h 0 tiene lmite por la izquierda y por la derecha en a
pero lm h 0 (x) 6= lm h 0 (x) , entonces h no es derivable en a .
xa+

xa

Por tanto, si h es derivable en J , la funcin derivada h 0 no puede tener discontinuidades

evitables ni de salto.
Para la demostracin consideramos las funciones f , g : J \ {a} R definidas por
f (x) = h(x) h(a) ,

g(x) = x a

x J \ {a}

que son derivables en J \ {a}, con f 0 (x) = h 0 (x) y g 0 (x) = 1 6= 0 para todo x J \ {a}.
Adems, la continuidad de h en a nos dice que lm f (x) = 0 y es evidente que lm g(x) = 0 .
xa

Para obtener (i) basta ahora aplicar la regla de lHpital:

f (x)
f 0 (x)
h(x) h(a)
= lm
= lm 0
= lm h 0 (x)
xa g(x)
xa g (x)
xa
xa
xa
lm

Pero con el mismo razonamiento obtenemos (ii):



 h(x) h(a) 
0
 + (x a)
|h (x)| + (x a) = 
xa 

xa

7. Reglas de lHpital

90

luego en este caso h no es derivable en a . Para probar (iii) aplicamos (i) a las restricciones de
h a los intervalos J1 = {x J : x 6 a} y J2 = {x J : x > a}. Obtenemos que h es derivable
por la izquierda y por la derecha en a pero tenemos
h 0 (a) = lm h 0 (x) 6= lm h 0 (x) = h 0 (a+)
xa

xa+

luego en este caso h tampoco es derivable en a .

Supongamos finalmente que h es derivable en J . Si h 0 tuviese una discontinuidad evitable
en un punto a J , sera lm h 0 (x) 6= h 0 (a) en contradiccin con (i). Si la discontinuidad fuese
xa

de salto, aplicando (iii) tendramos que h no es derivable en a , tambin contradictorio.

7.3.

Segunda regla de lHpital

Esta segunda versin se aplica a indeterminaciones del tipo [ / ] :

Teorema. Sea I un intervalo, a I y f , g : I \ {a} R funciones verificando:
(a) f y g son derivables en I \ {a}
(b) g 0 (x) 6= 0 para todo x I \ {a}
(c) g diverge en el punto a
Entonces existe > 0 tal que, para x I con 0 < |x a| < , se tiene g(x) 6= 0 . Adems, se
verifica que:
f (x)
f 0 (x)
= L R = lm
=L
(i) lm 0
xa g(x)
xa g (x)
(ii) Si f 0 /g 0 diverge positivamente, diverge negativamente, o simplemente diverge, en el
punto a , lo mismo le ocurre a f /g .
Demostracin. La existencia de es evidente, puesto que por hiptesis g diverge en el
punto a . Definiendo B = {x I \ {a} : g(x) 6= 0} , la funcin cociente est definida en B y
tenemos a B 0 lo que hace que tengan sentido el resto de las afirmaciones del teorema, que
pasamos a probar.
La demostracin es similar a la de la primera regla con la dificultad de que ahora no podemos
extender las funciones f y g para que sean continuas en a . Lo que haremos ser sustituir a
por otro punto y I que tomaremos tan prximo al punto a como sea necesario.
Empezaremos suponiendo que a = max I . Ms adelante se ver cmo podemos eliminar
esta hiptesis. Podemos entonces tomar suficientemente pequeo para que se tenga a I.
Tenemos entonces g(x) 6= 0 para todo x ]a , a[ y adems g es inyectiva en dicho intervalo,
puesto que su derivada no se anula en ningn punto del mismo.
Para a < y < x < a , puesto que f y g son derivables en el intervalo [y, x] , podemos
aplicar el Teorema del Valor Medio Generalizado para encontrar un punto cx,y ]y, x[ tal que




f (x) f (y) g 0 (cx,y ) = g(x) g(y) f 0 (cx,y )

7. Reglas de lHpital

91

Usando ahora que g 0 (cx,y ) 6= 0 y g(x) 6= g(y) tenemos



f (x)
f (x) f (y)
g(y)
f (y)
=
1
+
g(x)
g(x) g(y)
g(x)
g(x)


0
f (cx,y )
g(y)
f (y)
+
= 0
1
g (cx,y )
g(x)
g(x)

(4)

Esta era, como se podr comprender, la parte clave de la demostracin. Comprobar ahora la
afirmaciones del teorema ser algo ms laborioso.
(i). Restando L en ambos miembros de (4) tenemos
 0


f (cx,y )
f (x)
f (y)
g(y)
g(y)
L =
L
+
1
L
0
g(x)
g (cx,y )
g(x)
g(x)
g(x)
Tomando valores absolutos llegamos a


 0


 

 f (x)

 f (cx,y )

 g(y) 
 f (y) Lg(y) 








 g(x) L 6  g 0 (cx,y ) L 1 +  g(x)  + 

g(x)

(5)

y no conviene olvidar que esta desigualdad es vlida para a < y < x < a , siendo cx,y ]y, x[ .
Dado > 0 , por hiptesis, existe > 0 , que podemos tomar con < , tal que
 0

 f (z)


a < z < a =  0 L <
g (z)
4

(6)

Fijamos entonces y ]a , a[ y aplicamos que g diverge en el punto a , obteniendo > 0

tal que y < a y


 f (y) Lg(y) 
<

(7)
a < x < a = |g(x)| > |g(y)| y 
 2
g(x)
Finalmente, si a < x < a , tenemos (5) con a < cx,y < a , lo que nos permite aplicar
(6) con z = cx,y , junto con (7), concluyendo finalmente que


 f (x)


L < 2 + =
a < x < a = 
g(x)
4
2
(ii). La demostracin es muy similar, incluso ms sencilla, indicamos solamente los cambios
necesarios. Suponiendo que f 0 /g 0 diverge positivamente en el punto a , para cada K R+
obtenemos > 0 que ahora verifica < y
a < z < a =

f 0 (z)
> 2(K + 1)
g 0 (z)

(60 )

Seguidamente fijamos igual que antes y ]a , a[ y aplicamos que g diverge en el punto a

para obtener tambin > 0 con y < a , que ahora, en lugar de (7) verifica




 g(y)  1
 f (y) 
<
<1
a < x < a = 
y 
(70 )
g(x)  2
g(x) 

7. Reglas de lHpital

92

Usamos ahora (4), (60 ) con z = cx,y y (70 ) para concluir que


f (x)
1
a < x < a =
> 2(K + 1) 1
1 = K
g(x)
2
Si f 0 /g 0 diverge negativamente en el punto a aplicamos lo anterior, cambiando f por f .
Finalmente, si slo sabemos que f 0 /g 0 diverge en el punto a , el razonamiento es similar.
Dado K R+ obtenemos 0 < < verificando ahora que
 0 
 f (z) 
a < z < a =  0  > 2(K + 1)
(600 )
g (z)
De nuevo, fijamos y ]a, a[ y encontramos > 0 con y < a verificando (70 ). Finalmente,
para a < x < a aplicamos (4), (600 ) con z = cx,y y (70 ), obteniendo


 
 








 f (x)   f 0 (cx,y ) 
 1  g(y)   f (y)  > 2(K + 1) 1 1 1 = K
>

 g(x) 
 g(x) 
 g(x)   g 0 (cx,y ) 
2
y esto prueba que f /g tambin diverge en el punto a .
Veamos finalmente como eliminar la hiptesis a = max I que ha estado presente en toda la
demostracin anterior:
En el caso de que fuese a = mn I caben dos posibilidades, una sera repetir el proceso,
trabajando a la derecha del punto a en vez de hacerlo a la izquierda. Alternativamente, podemos
, y las
aplicar lo ya demostrado, usando I = {x R : x I}, que verifica a = max (I)

funciones f , g : I R definidas por f (x) = f (x) , g(x)

= g(x) para todo x I . Se trata
0

obviamente de funciones derivables en I \ {a} con f (x) = f 0 (x) y g 0 (x) = g 0 (x) 6= 0

para todo x I \ {a} y es claro que g diverge en a . Puesto que los cocientes f 0 /g 0 y f/g
tienen en a el mismo comportamiento que en a tengan f 0 /g 0 y f /g respectivamente, al
aplicar lo ya demostrado a f y g obtenemos las conclusiones deseadas para f y g .
Queda finalmente considerar el caso a I . Restringimos entonces f y g , por una parte
al intervalo I1 = {x I : x 6 a}, que verifica a = max I1 , y por otra a I2 = {x I : x > a}
para el que a = mn I2 . Al hacer estas restricciones, se mantienen obviamente las hiptesis (a),
(b) y (c) del teorema. En el caso (i), aplicando entonces lo ya demostrado, obtenemos que las
restricciones de f /g a J1 y J2 , ambas tienen lmite L en el punto a , es decir
lm

xa

f (x)
f (x)
= lm
= L,
xa+ g(x)
g(x)

Para probar (ii) el razonamiento es anlogo.

7.4.

luego

lm

xa

f (x)
=L
g(x)


Lmites en el infinito

Para completar todos los casos que pueden darse, queda analizar la adaptacin de las reglas
de lHpital para estudiar el comportamiento en + o en de cocientes del tipo que venimos
manejando, pero esto ya es bastante sencillo.

7. Reglas de lHpital

93

Sea I un intervalo no mayorado y f , g : I R funciones verificando:

(a) f y g son derivables en I
(b) g 0 (x) 6= 0 para todo x I
Supongamos adems que se cumple una de las siguientes condiciones:
(c.1)

lm f (x) = lm g(x) = 0

x+

x+

(c.2) g diverge en +
Entonces existe M > 0 tal que, para x I con x > M , se tiene g(x) 6= 0 . Adems, se
verifica que:
f (x)
f 0 (x)
= L R = lm
=L
(i) lm 0
x+ g(x)
x+ g (x)
(ii) Si f 0 /g 0 diverge positivamente, diverge negativamente, o simplemente diverge, en
+ , entonces lo mismo le ocurre a f /g .
Anlogo enunciado, con las modificaciones oportunas, para el comportamiento en .
En primer lugar, la hiptesis (b) implica que g es estrictamente montona, luego a lo sumo
podr anularse en un punto de I , lo que garantiza sobradamente la existencia de M. Usamos
ahora el procedimiento ya conocido para reducir el estudio del comportamiento de funciones
en + al comportamiento en 0 de funciones adecuadas. El caso de tendra un tratamiento
enteramente anlogo.
Fijamos I, con > M , tomamos J = [0, 1/[ y definimos , : J \ {0} R por:
(x) = f (1/x) , (x) = g(1/x) x J \ {0}
Sabemos que el comportamiento en + del cociente f /g ser el mismo que tenga / en 0 .
La regla de la cadena nos dice que y son derivables en J \ {0} con
0 (x) =

1 0
1 0
0
f
(1/x)
,

(x)
=

g (1/x) 6= 0
x2
x2

x J \ {0}

Si se verifica (c.1) tenemos claramente lm (x) = lm (x) = 0 , luego y verifican las

x0

x0

hiptesis de la primera regla de lHpital. Si se verifica (c.2), entonces diverge en 0 y se

cumplen las hiptesis de la segunda regla. Podemos pues aplicar la regla que proceda a las
funciones , , usando el intervalo J , para obtener el comportamiento del cociente / en 0 .
Teniendo en cuenta que
0 (x)
f 0 (1/x)
=
x J \ {0}
0 (x)
g 0 (1/x)
el comportamiento en 0 del cociente 0 / 0 es el mismo que tenga f 0 /g 0 en + . Tenemos por
tanto
lm

x+

f 0 (x)
0 (x)
(x)
f (x)
=
L

m
= L lm ( = L lm
=L
0
0
x+ g(x)
x0 (x)
x0 x)
g (x)

y anlogo razonamiento en los casos de divergencia.

7. Reglas de lHpital

7.5.

94

Ejercicios

1. Estudiar el comportamiento de la funcin h : A R en el punto , en cada uno de los

siguientes casos:

x 2 + x2

(a) A =]2, +[ , h(x) =

x A, = 2
x2 4

1/x
(b) A = R+ , h(x) = e x + x
x A, = 0
1
1

x A, = 1
(c) A = R+ \ {1} , h(x) =
log x x 1
xx x
(d) A =]1, +[ , h(x) =
x A, = 1
1 x log x
2. Estudiar la derivabilidad de la funcin f : R+
0 R definida por
f (x) = (1 + x)1/x x R+ ,

f (0) = e

3. Estudiar el comportamiento en + de las funciones , : R+ R definidas como sigue,

con a R+ :



1/x
log 2 + a e x
, (x) = a x + x
x R+
(x) =
2
2 + ax
4. Sea f : R+ R+ una funcin derivable en R+ y supongamos que la funcin f + f 0
tiene lmite en + . Probar que lm f 0 (x) = 0 .
x+

5. Estudiar el comportamiento en + de la funcin h :]1, +[ R en cada uno de los

siguientes casos:


x x 1/x 1
x ]1, +[
(a) h(x) =
log x
(b) h(x) = (x + 1)2/3 (x 1)2/3 x ]1, +[

 x2
x + 5 x 2 +3
(c) h(x) =
x ]1, +[
2x2 1

6. Probar que para todo a R se tiene lm

x+

log (x a)
log (x + a)

x
= 1.