Johann Bernoulli fue contratado por el Marqus Guillaume de LHospital para que trabajara en matemti-

cas y le diera clases particulares de clculo y le comunicara exclusivamente sus descubrimientos. El

Marqus public las notas de clase y algunos de los descubrimientos de Johann en 1696. Este fue el
primer libro de Clculo de la historia y se llam: Anlisis de lo infinitamente pequeo para el
conocimiento de las lneas curvas.

Aunque el Marqus les da crdito a los Bernoullis, a Newton y a Leibniz al final del libro, Johann no
qued contento y lo acus de haberle robado el fruto de su talento. Pero la verdad es que el Marqus
fue honesto, un buen estudiante y le pag bien (300 libras/mes).

Aunque la regla de LHospital se puede aplicar en casos ms generales, ac vamos a ilustrar el caso
de un lmite de un cociente cuando tanto el numerador como el denominador se acercan a cero.
Consideremos el siguiente lmite:
x
-1
2
limx0 sen(x) = ? (1)

Cuando x 0, el denominador tiende a cero, y por tanto sabemos que no podemos aplicar la propiedad
del lmite del cociente. Ms an, el numerador tambin tiende a cero cuando x 0, y por tanto ese
lmite puede existir o no, y si existe, puede ser cualquier nmero.
x
Ahora, lo novedoso ac es que las funciones f (x) = e 2 -1 y g(x) = sen(x) son diferenciables en x = 0 y por
tanto podemos escribir:
x
1
f (x) = e 2 -1 f (0) + f ' (0) x = 2
x para x 0,
g(x) = sen(x) g(0) + g' (0) x = x para x 0
En la siguiente demostracin se muestran las grficas de f , g y en el recuadro la de f / g. Al aumentar el
Zoom se puede ver el comportamiento de estas funciones para x 0 y comparar con el de sus aproxima-
ciones lineales al marcar la caja Tangentes.
2 La regla de LHospital.cdf

x/2-1
sen (x)
2.0
1.8
1.6
1.5 1.4
1.2
1.0
0.8
1.0 0.6
0.4
-2 -1 0 1 2
0.5

0.0

-0.5

-1.0

-2 -1 0 1 2

Como para calcular el lmite (1) nos importa nicamente los valores de la funcin f (x)/g(x) para x muy
cercanos a cero, debe ser cierto que
x 1
2
-1 x 1
limx0 sen(x) limx0 2
x
= 2

La regla del LHospital nos asegura que esto es cierto.

Suponga que f y g son diferenciables en x = a y limxa f (x) = limxa g(x) = 0, entonces
f(x) f' (x)
limxa g(x) = limxa g' (x)

siempre y cuando el segundo lmite exista o sea igual a .

Jorge Ramirez,
Escuela de Matemticas,
Universidad Nacional de Colombia, Sede Medelln.
Todos los derechos reservados.