L'Hôpital's Rule: a rule for determining limits
L'Hôpital's rule is usually filed under an optional Further Pure module and consequently ignored by most students. This is a shame: the limits it resolves appear throughout A-level Maths and compulsory Further Pure, and the rule is often the cleanest — sometimes the only — way to evaluate them.
L'Hôpital's rule
If substituting x = a into f(x)/g(x) gives the indeterminate form 0/0 or ∞/∞, then — provided f and g are differentiable near a and the limit on the right exists:
Differentiate the numerator and denominator separately — this is not the quotient rule. Then evaluate the new limit. If the result is still indeterminate, apply the rule again.
Indeterminate forms
Not every expression of the form 0/0 or ∞/∞ is truly indeterminate — the point is that direct substitution fails to determine the limit and L'Hôpital's rule is needed. The table below lists the forms the rule handles directly, and those that require a preliminary rewriting step before the rule can be applied.
| Form | Example | Strategy |
|---|---|---|
| 0/0 | sin(x)/x as x→0 | Apply rule directly |
| ∞/∞ | ln(x)/x as x→∞ | Apply rule directly |
| 0 · ∞ | x·ln(x) as x→0⁺ | Rewrite as fraction first |
| ∞ − ∞ | 1/x − 1/sin(x) as x→0 | Combine over a common denominator |
The 0/0 form — limits from A-level Maths
The following limits arise directly in A-level Maths — they underpin the standard derivative results for sin x and ex. Without L'Hôpital's rule, they require geometric arguments or squeeze theorems. With it, they are one line.
The ∞/∞ form — growth rate comparisons
These limits establish the relative growth rates of the standard functions — a standard result in compulsory Further Pure.
Forcing a fraction — the rewriting trick for 0 · ∞
L'Hôpital's rule requires a fraction. If the expression is instead a product u(x)·v(x) tending to 0·∞, it is not immediately in the right form. The fix is simple: rewrite the product as a fraction by moving one factor into the denominator as its reciprocal.
Both rewritings are valid fractions; choose whichever produces the simpler derivative. The rule can then be applied.
Applying the rule recursively
After one application of L'Hôpital's rule, the result may still be indeterminate. Provided the conditions hold for f'/g', the rule can be applied again — and again — until a determinate limit is reached.
What the pattern is telling you
Notice the denominators: 2, 6 = 3!, 24 = 4!, … These are exactly the denominators in the Maclaurin series for ex. Repeated application of L'Hôpital's rule to the expression
is precisely computing the next Maclaurin coefficient f(n)(0)/n!. L'Hôpital's rule and the Maclaurin series are two faces of the same differentiation-at-zero idea.
A caution — when not to use the rule
L'Hôpital's rule requires both numerator and denominator to be differentiable in a punctured neighbourhood of a, and the limit of f'/g' must exist (or be ±∞). Two common mistakes:
- Applying the rule when the form is not indeterminate. For example, limx→0 (x + 1)/x² → ∞ directly; L'Hôpital would give 1/(2x) → ∞ too, but there was never any need for it.
- Confusing L'Hôpital with the quotient rule. Differentiate the numerator and denominator separately:
Where the rule appears in the specifications
L'Hôpital's rule is formally assessed only in the optional Further Pure units listed above. However, this does not mean it is irrelevant to everyone else. Consider the limits it resolves:
| Limit | Where it arises | Normally proved by |
|---|---|---|
| sin(x)/x → 1 | A-level Maths: differentiating sin x | Geometric / squeeze theorem |
| (ex−1)/x → 1 | A-level Maths: differentiating ex | Definition of e, series argument |
| ln(1+x)/x → 1 | A-level Maths: differentiating ln x | Definition of ln, series argument |
| ln(x)/x → 0 as x→∞ | Further Core Pure: growth rate results | Comparison argument |
| xn/ex → 0 as x→∞ | Further Core Pure: growth rate results | Induction / comparison |
In each case, L'Hôpital gives the result in one or two lines where the standard proof requires a separate, longer argument. Even if it will not appear on your exam paper by name, knowing it makes many limits that appear throughout the course essentially trivial.
