**L'Hôpital's rule** (sometimes spelled **L'Hôspital's** with a silent "s") is pronounced "Lo-pee-tal's". L'Hopitals rule is very handy for finding stubborn limits, but only certain *kinds* of limits, and only if you are pretty good at finding derivatives of functions first.

Basically, the rule says that for certain types of limits called **indeterminate forms** (more on that below), the limit of a ratio of functions is equal to the limit of the ratio of their derivatives. Here it is:

Let **f(x)** and **g(x)** be functions that are differentiable on an open interval that contains **a**. In special cases, such as when **f(a) = f(b) = 0**, or when

then

Of course, we have to assume that **g'(x) ≠ 0**. This rule means that the limit of a ratio (in certain cases) is the same as the limit of the ratio of the derivatives of the numerator and denominator.

L'Hôpital's rule only works in special cases called **indeterminate forms**. Two such forms are ratios of functions for which direct substitution of the limiting value of **x** yields:

The rule is also valid for the following forms because they can usually be manipulated into one of the indeterminate forms above:

You'll find a couple of examples of those kinds of manipulations in the examples that follow.

A proof of L'Hôpital's rule is included below, but for now it's best to learn to use it by working examples. L'Hôpital's is a terrific time-saver.

If we simply try to substitute **x = 0** into this function, we see that it has the indeterminate form ^{0}/_{0},

L'Hopital's rule says that this limit is identical to the limit of a new function consisting of the derivative of the numerator over the derivative of the denominator:

**Caution**: one common mistake is to apply the quotient rule. We're not taking the derivative of a quotient here. We're finding the derivatives of the numerator and denominator separately – no quotient rule.

We can now do a little algebra and plug **x = 0** in to find that this function "blows up." It tends toward infinity as **x** approaches zero. The cosine term will oscillate between zero and one, but the square root term will be zero when x = 0.

This is a ** ^{0}/_{0}** limit, too. If we substitute

Taking derivatives of the numerator and the denominator gives:

Now we can rearrange (division by a fraction is the same as multiplication by the reciprocal) and substitute **x = 1** to get:

So this function has a limit of 2 at x = 1.

This is an **∞/∞** limit:

Application of L'Hôpital's rule yields *another* limit, which is still an **∞/∞** limit.

But that's OK, the rule still applies. We simply take derivatives of the numerator and denominator again.

Taking the derivative once again gives us an **∞/∞** limit:

But that's still OK; the rule still applies, so we'll take another round of derivatives to get:

Finally, we have an answer. As x → ∞, the function approaches a fixed limit of 2.

Direct substitution of zero for x gives us one of the indeterminate forms, but one for which it is difficult to know how to apply L'Hôpital's rule.

However, we can use an algebraic trick, writing **x** as **1/(1/x)**, or **1/(x ^{-1})**, to give a form that then yields the indeterminate form

Now we can take derivatives as usual, to get:

We need to take a minute to consider that this is a one-sided limit. It's actually a natural way to write a limit like this; recall that the domain of a function like this, containing a log function, is x ≥ 0.

Direct substitution of 0 for x give the indeterminate form,

which is difficult to work with. However, we can fins a common denominator for those two fractions in the parenthesis to get a ** ^{0}/_{0}** limit:

Application of L'Hôpital's rule gives us another indeterminate limit ( ** ^{0}/_{0}** ):

So we just apply the rule again to get a limit we can finally evaluate,

... so you may have to try a few things (some of which may fail – no big deal – and be persistent about applying L'Hôpital's rule to solve some of these limits.

This limit has the indeterminate form,

which is an acceptable form for L'Hôpital's rule, but we'll need to rearrange it into one of the ratio forms to proceed. If we let

Then we can take the limit of **ln(y)** like this.

Notice that the second term in that last equation series is an **∞/∞** limit. Now we apply the inverse function, **e ^{y}**, to our result to get the limit:

Here is a proof of L'Hôpital's rule for the case where, as **x→a**, **f(a) = g(a) = 0**, which is a (0/0) case. We have to assume that **f'(x)** and **g'(x)** are continuous at **x = a** and that **g'(a) ≠ 0**, as we stated in the theorem box above. We simply build up to a ratio of derivatives. In these two steps, first the terms f(a) and g(a), both of which are known to be zero, are subtracted from the numerator and denominator, respectively. Then, to build toward a derivative, the numerator and denominator are both divided by **x - a**.

Now if we take the limit of each term of the ratio, and recall (from the properties of limits)

that the limit of a ratio is the ratio of the limits of the numerator and denominator, taken separately, we have the derivative **f'(x)**, evaluated at **a** over the derivative **g'(x)** evaluated at **a**.

which is just

The general proof of L'Hôpital's rule (i.e. for all indeterminate forms) is a little more involved, and I'll save it for another time.

This site is a one-person operation. If you can manage it, I'd appreciate anything you could give to help defray the cost of keeping up the domain name, server, search service and my time.

**xaktly.com** by Dr. Jeff Cruzan is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License. © 2012,2016, Jeff Cruzan. All text and images on this website not specifically attributed to another source were created by me and I reserve all rights as to their use. Any opinions expressed on this website are entirely mine, and do not necessarily reflect the views of any of my employers. Please feel free to send any questions or comments to jeff.cruzan@verizon.net.