Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 7
Tema 7
Reglas de l’Hôpital
Estudiamos en este tema el método práctico más efectivo para calcular límites de
funciones en los que se presenta una indeterminación del tipo [ 0 / 0 ], o [ ∞ / ∞]. Este método
se atribuye al matemático francés Guillaume de l’Hôpital (1661-1704), aunque el
descubrimiento se debe más bien a su maestro, el matemático suizo Johann Bernouilli (1667-
1748). El principio general consiste en que, con las hipótesis adecuadas, el comportamiento
(convergencia o divergencia) del cociente f J/gJ 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
serían necesarios demasiados enunciados para estudiar uno a uno todos los casos. Presentaremos
solamente dos enunciados, conocidos como primera y segunda reglas de l’Hôpital, mostrando
que a partir de ellos puede resolverse cualquier otro de los casos.
Demostración. Consideramos una función 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)
. . . . f (x) + . .
h(x) = . 1 f (a) g(a). = .
.1 f (b) g(b). . g(x) −. . . .
1 f (b) 1 g(b) 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 l’Hôpital 86
También es evidente que h(a) = h(b) = 0 . Por el Teorema de Rolle, existe c ∈]a, b[ tal que
hJ(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. Nótese además que en la
demostración anterior no hemos usado el Teorema del Valor Medio, sino directamente el
Teorema de Rolle.
Conviene comentar que si hubiésemos aplicado directamente a las funciones f y g el
Teorema del Valor Medio, no habríamos obtenido la conclusión buscada. Tendríamos puntos
u, v ∈]a, b[ verificando que
de donde obtendríamos
igualdad que está todavía lejos de (1) porque nada nos permite asegurar que sea u = v .
La situación se ejemplifica muy bien tomando
Tenemos entonces
1
f (b) − f (a) = f J(u)(b − a) ⇔ b 2 − a 2 = 2 u (b − a) ⇔ u =
2
g(b) − g(a) = gJ(v)(b − a) ⇔ b 3 − a 3
1
= 3 v2
(b − a) ⇔ v = √
3
de modo que no podemos conseguir u = v , pero la igualdad que realmente buscamos es
f (b)
f J(c)
g(b) = J
g (c)
y esto abre el camino para relacionar los cocientes f /g y f J/gJ . El trabajo que nos queda por
hacer es poner las hipótesis adecuadas para conseguir que la idea anterior dé resultado.
7.2. Primera regla de l’Hôpital
Empezamos trabajando con una indeterminación del tipo [ 0 / 0 ] . Como ya hemos venido
haciendo, al hablar de un intervalo, lo suponemos no vacío y no reducido a un punto.
Entonces se tiene que g(x) /= 0 para todo x ∈ I \ {a} , con lo que las funciones f /g y f J/gJ
están definidas en I \ {a} y se verifica que:
f (x)
(i) l´ım f J(x) = L ∈ R =⇒ l´ım =L
J
x→a g (x) x→a g(x)
Demostración. Observemos para empezar que la hipótesis (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 carácter local
del concepto de derivada hace que se sigan verificando las hipótesis (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 gJ(x) /= 0 para todo x ∈ I \ {a}.
Para obtener la primera afirmación 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) = gJ(c)(x a), pero por hipótesis
tenemos gJ(c) =/0 , luego g(x) = 0 . Si x < a , razonando
− con el intervalo [x, a] llegamos a la
/
misma conclusión.
] 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
En el caso x < a haríamos el mismo razonamiento con el intervalo [x, a] obteniendo la misma
conclusión, sólo que ahora cx ∈]x, a[ . En ambos casos tenemos 0 <| c−x a| <| x− a| y hemos
probado:
∀ x ∈ I \ {a} ∃ cx ∈ I : 0 < |cx − a| < |x − a| f (x) f J(cx)
g(x) = gJ(cx) (2)
y El resto de la demostración es ya bastante inmediato:
(i). Dado ε > 0 podemos encontrar δ > 0 tal que
f. J ( )
y ∈ I , 0 < |y − a| < δ =⇒. gJ(y) − L.. < ε (3)
y
Entonces, para x ∈ I con 0 < |x − a| < δ, al aplicar (2) tenemos 0 < |cx − a| < δ, luego podemos
usar (3) con y = cx , para obtener
( ) J
( )
.. f x − L.. = .. f J cx − L.. <
g(x) g (cx)
ε
(ii). Si f J/gJ diverge positivamente en a , dado K ∈ R tenemos δ > 0 tal que
f (y)
y ∈ I , 0 < |y − a| < δ =⇒ Jj > K (3J)
g (y)
Para x ∈ I con 0 < |x − a| < δ, aplicando (2) y (3J) concluimos que
f (x)
f J(c )
g(x) = gJ(cx )> K
x
. .f (y)
JJ
j . gJ(y) . y ∈ I , 0 < |y − a|
< δ =⇒ >K (3 )
con lo que al aplicar (2) y (3JJ) obtenemos
.. f (x.). .. JJf (c
x ..
)
g(x) = g (cx) >
K
lo que prueba que f /g también diverge en el punto a . □
ex − 1 −
h(x)
x = ∀ x ∈ R∗
x 2
∗
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 J(x) = e x − 1 y gJ(x) = 2x /= 0 para todo x ∈ R . También es
claro que l´ım f (x) = l´ım g(x) = 0 . Aplicando la derivabilidad en 0 de la función exponencial
tenemos x→0 x→0
e −1 1
l f J(x) = l´ım x =
´ım
x→0gJ(x) x→0 2 x 2
y la regla de l’Hôpital nos dice que también
e −1−
l´ım h(x) = l´ım x f (x ) 1
x = l´ım =
x→0 x→0 x x→0 g(x) 2
2
Volviendo al caso general, conviene observar que el cociente f J/gJ , cuyo comportamiento
se debe estudiar para poder aplicar la regla de l’Hôpital, puede cumplir también las hipótesis
de dicha regla, lo que permite aplicarla reiteradamente. Por ejemplo, usándola dos veces
tenemos
ex x − 1 − x − ex − 1 − x ex − 1 1
ĺım 2 2
= l´ım = l´ım =
x→0 x3 x→0 3 x2 x→0 6x 6
que son derivables en J \ {a}, con f J(x) = hJ(x) y gJ(x) = 1 /= 0 para todo x ∈ J \ {a}.
Además, la continuidad de h en a nos dice que l´ım f (x) = 0 y es evidente que l´ım g(x) = 0 .
→
Para obtener (i) x a x→a
basta ahora aplicar la regla de l’Hôpital:
h(x) −
hl´ım
(a) = l´ım f (x) = l f J(x) = l´ım hJ(x)
´ım
x→a x− x→a g(x) x→a gJ(x) x→a
a
Pero con el mismo razonamiento obtenemos (ii):
h(x) − h(a).
|hJ(x)| → +∞ (x → a) =⇒ .. → +∞ (x →
x−a .
a)
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 ≤ a } y J2 = {x ∈J : x ≥ a }. Obtenemos que h es derivable
por la izquierda y por la derecha en a pero tenemos
hJ(a ) = l´ım J
— →a− h (x) l´ım hJ(x) = hJ(a+)
x→a+
Entonces existe ρ > 0 tal que, para x ∈ I con 0 < |x − a|< ρ , se tiene g(x) = 0 . Además, se
verifica que: /
(i) l´ım f (x)
f J(x) = L ∈ R =⇒ l´ım =L
x→a gJ(x) x→a g(x)
f J(cx,y) g(y) f (y )
= gJ(cx,y) 1 − g(x) + g(x)
Esta era, como se podrá comprender, la parte clave de la demostración. Comprobar ahora la
afirmaciones del teorema será algo más laborioso.
(i). Restando L en ambos miembros de (4) tenemos
y no conviene olvidar que esta desigualdad es válida para a −ρ < y < x < a , siendo cx,y ∈]y, x[ .
Dado ε > 0 , por hipótesis, existe τ > 0 , que podemos tomar con τ < ρ, tal que
(ii). La demostración es muy similar, incluso más sencilla, indicamos solamente los cambios
necesarios. Suponiendo que f J/gJ diverge positivamente en el punto a , para cada ∈K R+
obtenemos τ > 0 que ahora verifica τ < ρ y
f (z)
a τ z a = j
— < < ⇒ gJ(z) > 2(K + 1) (6J)
Seguidamente fijamos igual que antes y ∈]a − τ, a[ y aplicamos que g diverge en el punto a
para obtener también δ > 0 con y < a − δ, que ahora, en lugar de (7) verifica
.f .
a − δ < x < a =⇒ . (y) < 1 y (y) < 1 (7J)
..gg(x). 2 . g(x) .
Usamos ahora (4), (6J) con z = cx,y y (7J) para concluir que
f (x ) —
a δ x a = g(x) > 2(K + 1) 1 21 — 1 = K
— < < ⇒
En primer lugar, la hipótesis (b) implica que g es estrictamente monótona, 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−∞ tendría un tratamiento
enteramente análogo.
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
1
ϕJ(x) =
− x 2 f J(1/x) , ψJ(x) = − 1 g (1/x) /= 0 ∀ x ∈ J \ {0}
J
x
2
Si se verifica (c.1) tenemos claramente l´ım ϕ(x) = l´ım ψ(x) = 0 , luego ϕ y ψ verifican las
x→0 x→0
hipótesis de la primera regla de l’Hôpital. Si se verifica (c.2), entonces ψ diverge en 0 y se
cumplen las hipótesis 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
J
ϕ (x) f J(1/x)
∀ x ∈ J \ {0}
ψJ(x) = g (1/x)
J
J J
el comportamiento en 0 del cociente ϕ /ψ es el mismo que tenga f J/gJ en +∞. Tenemos por
tanto
f (x) ϕ (x) ϕ(x)
l´ım j = L ⇔ l j = L ⇒ l´ım =L ⇔ l f (x )
=L
´ım ´ım
x→+∞ gJ(x) J
x→0 ψ (x) x→0 ψ(x) x→+∞ g(x)
xx −1
(a) h(x) = 1/x
log x x ∈]1, +∞[