570

CAPTULO 8

Tcnicas de integracin, regla de LHpital e integrales impropias

Regla de LHpital
Para encontrar el lmite ilustrado en la figura 8.14, se puede usar el teorema llamado la regla
de LHpital. Este teorema establece que bajo ciertas condiciones el lmite del cociente
f(x)Yg(x) es determinado por el lmite del cociente de las derivadas

The Granger Collection

f SxD
.
g SxD

GUILLAUME LHPITAL (1661-1704)

La regla LHpital debe su nombre al
matemtico francs Guillaume Franois
Antoine de LHpital, quien escribi el
primer libro sobre clculo diferencial (en
1696), en el que aparece la citada regla.
Se ha descubierto recientemente que tanto
la regla como su demostracin estaban
contenidos en una carta de John Bernoulli a
LHpital. Reconozco que debo mucho
a las mentes brillantes de los hermanos
Bernoulli He hecho libre uso de sus
hallazgos, escribi LHpital.

Para demostrar este teorema, se puede usar un resultado ms general llamado teorema
general del valor medio.

TEOREMA 8.3 TEOREMA GENERAL DEL VALOR MEDIO

Si f y g son derivables en un intervalo abierto (a, b) y continuo en [a, b] tal que
g (x) 0 para cualquier x en (a, b), entonces all existe un punto c en (a, b) tal que

f ScD
g ScD

f SbD
gSbD

f SaD
.
gSaD

NOTA Para ver por qu ste se llama teorema general del valor medio, considerar el caso especial
en que g(x) x. Para este caso, se obtiene el teorema del valor medio estndar como se presenta
en la seccin 3.2.

El teorema general del valor medio y la regla de LHpital se demuestran en el apndice A.

TEOREMA 8.4 LA REGLA DE LHPITAL

Sea y g funciones que son derivables en un intervalo abierto (a, b) conteniendo c,
excepto posiblemente el propio c. Asumir que g (x) 0 para todo x en (a, b), excepto
posiblemente el propio c. Si el lmite de (x)Yg(x) cuando x tiende a c produce la forma
indeterminada 0Y0, entonces

lm

xmc

f SxD
gSxD

lm

xmc

f SxD
g SxD

suponiendo que el lmite en la derecha existe (o es infinito). Este resultado tambin

aplica si el lmite de (x)Yg(x) como x tiende a c produce cualquiera de las formas
indeterminadas Y , (
)Y , Y(
), o (
)Y(
).

NOTA Hay quienes en ocasiones usan incorrectamente la regla de LHpital aplicando la regla del
cociente a (x)Yg(x). Asegurarse de que la regla involucra (x)Yg (x), no la derivada de (x)Yg(x).

PARA MAYOR INFORMACIN

Para reforzar la comprensin de la
necesidad de la restriccin que g (x) sea
no cero para todo x en (a, b), excepto
posiblemente c, ver el artculo Counterexamples to LHpitals Rule, por
R.P. Boas, en The American Mathematical Monthly.

La regla de LHpital tambin puede aplicarse a los lmites unilaterales. Por ejemplo,
si el lmite de (x)Yg(x) cuando x tiende a c por la derecha produce la forma indeterminada
0Y0, entonces

lm

xmc

f SxD
gSxD

lm

xmc

f SxD
g SxD

suponiendo que el lmite existe (o es infinito).

SECCIN 8.7

TECNOLOGA Mtodos numricos y grficos Usar un mtodo

numrico o grfico para aproximar
cada lmite.
a)

lm

22x

lm

32x

lm

xm0

d)

lm

xm0

Forma indeterminada 0Y0

EJEMPLO 1

e 2x

Evaluar lm

1
x

xm0

Solucin Ya que la sustitucin directa resulta en la forma indeterminada 0Y0

lm Se 2x

42x

lm

e 2x

lm x

xm0

1
x

Qu patrn se observa? Presenta

una ventaja un mtodo analtico
para estos lmites? En ese caso,
explicar el razonamiento.

1
x

xm0

x
5 2x

1D

xm0

xm0

c)

571

xm0

b)

Formas indeterminadas y la regla de LHpital

se puede aplicar la regla de LHpital como se muestra abajo.

lm

e 2x

1
x

xm0

d 2x
Fe
1G
dx
lm
x m0
d
FxG
dx

Aplicar la regla de LHpital.

lm

2e 2x
xm0 1

Derivar numerador y denominador.

Evaluar el lmite.

NOTA Al escribir la cadena de ecuaciones en el ejemplo 1, no se sabe que el primer lmite es igual
al segundo hasta que se haya demostrado que el segundo lmite existe. En otras palabras, si el segundo
lmite no hubiera existido, no habra sido permisible aplicar la regla de LHpital.

Otra forma de establecer la regla de LHpital si el lmite de (x)Yg(x) cuando x tiende

(o
) produce la forma indeterminada 0Y0 si Y , entonces

lm

xm

f SxD
gSxD

lm

xm

f SxD
g SxD

suponiendo que el lmite de la derecha existe.

EJEMPLO 2

Evaluar lm
xm

Forma indeterminada @Y@

ln x
.
x

Solucin Por sustitucin directa llegamos a una forma indeterminada

puede aplicar la regla de LHpital para obtener

Intentar representar grficamente y1 ln x y y2 x en la misma

pantalla. Qu funcin crece ms
rpido cuando x tiende a ? Cmo
se relaciona esta observacin con el
ejemplo 2?
NOTA

ln x
lm
xm
x

d
Fln x G
dx
lm
xm
d
FxG
dx
lm

xm

0.

1
x

Aplicar la regla de LHpital.

Derivar numerador y denominador.

Evaluar el lmite.

Y , as que se

572

CAPTULO 8

Tcnicas de integracin, regla de LHpital e integrales impropias

En ocasiones es necesario aplicar la regla de LHpital ms de una vez para quitar una
forma indeterminada, como se muestra en el ejemplo 3.

EJEMPLO 3 Aplicar la regla de LHpital ms de una vez

Evaluar

lm

xm

x2
.
e x

Solucin Ya que los resultados de la sustitucin directa en la forma indeterminada

se puede aplicar la regla de LHpital.
d 2
Fx G
dx
lm
xm
d
Fe xG
dx

x2
lm
xm
e x

Este lmite da la forma indeterminada (

de nuevo y obtener

2x
e

lm

xm

)Y(

d
F2xG
dx
lm
xm
d
F e xG
dx

2x
e

lm

xm

lm

xm

Y ,

) para poder aplicar la regla de LHpital

2
e x

0.

Adems de las formas 0Y0 y Y , hay otras formas indeterminadas como 0 ,

. Por ejemplo, considerar los cuatro lmites siguientes que llevan a la
1 , 0, 00 y
forma indeterminada 0 . .

lm SxD

xm0

1x ,

lm SxD

xm0

El lmite es 1

2x ,

lm SxD

xm

El lmite es 2

e1 ,

lm SexD

xm

El lmite es 0

1x 

El lmite es

Puesto que cada lmite es diferente, est claro que la forma 0

es indeterminada en el
sentido que no determina el valor del lmite (o incluso la existencia) del lmite. Los ejemplos
siguientes indican los mtodos para evaluar estas formas. Bsicamente, se intenta convertir
cada una de estas formas a 0Y0 o Y para que la regla de LHpital pueda aplicarse.

EJEMPLO 4

Forma indeterminada 0 d

Evaluar lm e x
x.
xm

Solucin Como la sustitucin directa produce la forma indeterminada 0 , intentar

reescribir el lmite para adaptar a la forma 0Y0 o Y . En este caso, volver a escribir el
lmite para adaptar a la segunda forma.

lm e x
x

lm

xm

xm

x

ex

Por consiguiente, la regla de LHpital permite concluir que

lm

xm

x

ex

lm

xm

1YS2
x D
ex

lm

xm

1
2
x e x

0.

SECCIN 8.7

Formas indeterminadas y la regla de LHpital

573

Si la estrategia de reducir un lmite a los tipos 0Y0 o Y no parece funcionar, intentar

otro tipo. As, en el ejemplo 4 se puede escribir el lmite como

lm e x
x

lm

xm

xm

e x
x 1Y2

que da la forma indeterminada 0Y0. De hecho, aplicando la regla de LHpital a este lmite
se tiene

lm

xm

e x
x 1Y2

e x
1YS2x3Y2D

lm

xm

que tambin da la forma indeterminada 0Y0.

Las formas indeterminadas 1 , 0 y 00 provienen de los lmites de funciones que tienen
bases variables y exponentes variables. Cuando se vio este tipo de funcin previamente, se
us la derivacin logartmica para encontrar la derivada. Puede usarse un procedimiento
similar al tomar los lmites, como se muestra en el siguiente ejemplo.

Forma indeterminada 1@

EJEMPLO 5

1 x
.
x

Evaluar lm 1
xm

Solucin Como la sustitucin directa da la forma indeterminada 1 , proceder como sigue.

Para empezar, asumir que el lmite existe y es igual a y.

1
x

lm 1

xm

Tomando logaritmos naturales en esa ecuacin se obtiene

ln y

1
x

ln lm 1
xm

 .
x

Ya que la funcin logartmica natural es continua, se puede escribir

x ln1 x 
ln F1 S1YxDG
lm 

1Yx
S 1Yx D(1YF1
lm 
1Yx

ln y

lm

Forma indeterminada

xm

Forma indeterminada 0Y0.

xm

y = 1 + 1x

lm

xm

S1YxDG*

xm

0.

Regla de LHpital.

1
S1YxD

1.
Ahora, ya que se ha demostrado que ln y
6

lm 1

xm

El lmite de [1
infinito es e
Figura 8.15

(1Yx)]x cuando x tiende a

1
x

1, concluir que y

e y obtener

e.

Utilizar una herramienta de graficacin para confirmar este resultado, como se muestra en
la figura 8.15.

574

CAPTULO 8

Tcnicas de integracin, regla de LHpital e integrales impropias

La regla de LHpital tambin puede aplicarse a los lmites unilaterales, como se demuestra en los ejemplos 6 y 7.

Forma indeterminada 00

EJEMPLO 6

Encontrar lm sen x
x.

x
0

Solucin Ya que la sustitucin directa produce la forma indeterminada 00, proceder como
se muestra abajo. Para empezar, asumir que el lmite existe y es igual a y.

lm sen x
x

Forma indeterminada 00.

x
0

ln y

ln  lm sen x
x 

Tomar un logaritmo natural de cada lado.

x
0

lm lnsen x
x

Continuidad.

x
0

lm x lnsen x


Forma indeterminada 0 (

x
0

lm
x
0

ln sen x

1x

Forma indeterminada

cot x
1x 2
x2
lm
x
0 tan x
2x
0
lm
x
0 sec2x
lm

).
Y .

Regla de LHpital.

x
0

Ahora, como ln y

lm sen x
x

x
0

Forma indeterminada 0Y0.

Regla de LHpital.

0, concluir que y

e0

1, y se sigue que

1.

TECNOLOGA Al evaluar lmites complicados como en el ejemplo 6, es til verificar la

racionalidad de la solucin con una herramienta de graficacin. Por ejemplo, los clculos
en la tabla siguiente y la grfica en la figura 8.16 son consistentes con la conclusin de
que (sen x)x tiende a 1 cuando x tiende a 0 por la derecha.

sen x

y = (sen x) x

1.0

0.1

0.01

0.001

0.0001 0.00001

0.8415

0.7942

0.9550

0.9931

0.9991

0.9999

Usar un sistema algebraico por computadora para estimar los lmites siguientes:

lm 1

x
0

cos x
x

y
1

El lmite de (sen x)x es 1 cuando x tiende a 0

por la derecha
Figura 8.16

lm tan x
x.

x
0

Entonces verificar los resultados analticamente.

SECCIN 8.7

AYUDA DE ESTUDIO En cada uno de los

ejemplos presentados en esta seccin,
la regla de LHpital se usa para encontrar un lmite que existe. Tambin puede usarse para concluir que un lmite
es infinito. Por ejemplo, intentar con la
regla de LHpital para mostrar que
ex
lm
.
xm
x

Forma indeterminada @

EJEMPLO 7

Evaluar lm
xm1

Formas indeterminadas y la regla de LHpital

ln1x

1
1

575

.

Solucin Ya que la sustitucin directa da la forma indeterminada

, intentar volver a
escribir la expresin para producir una forma a la que se pueda aplicar la regla de LHpital.
En este caso, se pueden combinar las dos fracciones para obtener

lm

xm1

ln1x

1
1

lm

xm1

 Sx
x

ln x
.
1D ln x

Ahora, como la sustitucin directa produce la forma indeterminada 0Y0, aplicar la regla de
LHpital para obtener

lm

xm1

1
ln x

1
1

d
Fx 1 ln xG
dx
lm
xm1
d
FSx 1D ln xG
dx
1 S1YxD
lm
xm1
Sx 1DS1YxD ln x
x 1
lm
.
xm1
x 1 x ln x




Este lmite tambin da la forma indeterminada 0Y0, para poder aplicar la regla de LHpital
de nuevo para obtener

lm

xm1

ln1x

1
x

1

lm

xm1

1

1
xS1YxD

ln x

1
.
2
Las formas 0Y0, Y ,
, 0 , 00, 1 y 0 se han identificado como indeterminadas. Hay formas similares que deben reconocerse como determinadas.

0
0

El lmite es infinito positivo.

m
m
m0
m

El lmite es infinito negativo.

El lmite es cero.
El lmite es infinito positivo.

(Se pide verificar dos de estas afirmaciones en los ejercicios 116 y 117.)
Como comentario final, recordar que la regla de LHpital slo puede aplicarse a
cocientes que llevan a las formas indeterminadas 0Y0 y Y . Por ejemplo, la aplicacin
siguiente de la regla de LHpital es incorrecta.

ex
xm0 x
lm

ex
xm0 1
lm

Uso incorrecto de la regla de LHpital.

La razn de que esta aplicacin es incorrecta es que, aunque el lmite del denominador es 0,
el lmite del numerador es 1, lo cual no satisface las hiptesis de la regla de LHpital.