Why Mixed Limits Require a Method Choice
A limit may combine familiar functions in a way that makes its form less obvious. A radical difference may be easier to simplify algebraically than to differentiate. A quotient involving a logarithm, trigonometric function, or exponential may be a direct fit for L’Hôpital’s Rule. The important first step is not to choose a technique immediately, but to determine what the expression approaches in its numerator and denominator.
This workshop brings together those decisions. In each problem, identify the form, check the conditions of any theorem you plan to use, and choose a method that reduces the calculation without adding unnecessary work.
Classify Before Calculating
For a quotient, evaluate the numerator and denominator limits separately. If both tend to zero, the quotient has the form \(0/0\). If both have absolute values tending to infinity, it has the form \(\infty/\infty\). These forms are called indeterminate because the separate limits alone do not determine the quotient limit.
Other standard indeterminate forms include \(0\cdot\infty\), \(\infty-\infty\), \(0^0\), \(1^\infty\), and \(\infty^0\). In the standard \(\infty-\infty\) form, both terms tend to the same signed infinity: for example, both tend to \(+\infty\), or both tend to \(-\infty\). Merely having both terms’ absolute values tend to infinity is not enough. For instance, as \(x\to\infty\), \(x-(-x)=2x\to+\infty\), which is determined rather than an \(\infty-\infty\) indeterminate form.
Some expressions look complicated but are not indeterminate. If the numerator tends to \(3\) and the denominator tends to \(2\), the quotient tends to \(3/2\). If the numerator tends to \(1\) and the denominator tends to zero, the quotient is not \(0/0\); its behavior must be analyzed using signs and one-sided limits.
| Form at the limit point | What the separate limits tell you |
|---|---|
| \(0/0\) | Not enough to determine the quotient limit; algebra or L’Hôpital’s Rule may help. |
| \(\infty/\infty\) | Not enough to determine the quotient limit; compare growth, possibly using L’Hôpital’s Rule. |
| \(0\cdot\infty\) | Not enough to determine the product limit; it may be converted to a quotient if appropriate. |
| Same-signed \(\infty-\infty\) | Not enough to determine the difference limit; algebra may reveal cancellation. |
| Finite nonzero over finite nonzero | The quotient law determines the limit directly. |
When L’Hôpital’s Rule Applies
L’Hôpital’s Rule concerns a quotient \(f(x)/g(x)\), not an arbitrary product or difference. In its \(0/0\) version, assume that \(f\) and \(g\) are differentiable on a deleted interval around \(a\), that \(g'(x)\ne 0\) there, and that \(f(x)\to0\) and \(g(x)\to0\) as \(x\to a\). If \(f'(x)/g'(x)\) has a limit \(L\), finite or infinite, then \(f(x)/g(x)\to L\). The corresponding \(\infty/\infty\) version requires the numerator and denominator to have absolute values tending to infinity, together with the differentiability and nonzero-derivative conditions, and the same conclusion when the derivative quotient has a limit.
The rule does not say that a quotient’s limit equals the quotient of the derivatives in every situation. The original expression must first be a quotient of the required form, the functions must meet the hypotheses near the limit point, and the derivative quotient must have a limit. If a conjugate or a simple identity resolves the limit more directly, algebra is often the clearer choice.
Worked Examples
Worked Example: A Radical Difference at a Finite Point
Evaluate \(\displaystyle\lim_{x\to0}\frac{\sqrt{1+5x}-1}{x}\).
Direct substitution gives \((1-1)/0=0/0\). L’Hôpital’s Rule could be considered, but the numerator is a difference involving a square root, so multiplying by its conjugate simplifies it directly. For \(x\ne0\) sufficiently close to zero, multiply numerator and denominator by \(\sqrt{1+5x}+1\):
The simplified expression is defined near zero, and substituting \(x=0\) into it gives
Thus the original limit is \(5/2\). The check is that the conjugate multiplication produced an expression equal to the original quotient for every nearby \(x\ne0\), and that this equivalent expression tends to \(5/2\).
Worked Example: A Logarithmic and Trigonometric Quotient
Evaluate \(\displaystyle\lim_{x\to0}\frac{\ln(1+x)}{\sin x}\).
Both numerator and denominator tend to zero, so the quotient has form \(0/0\). The functions are differentiable on an open interval around zero, and \(\cos x\ne0\) in a sufficiently small interval around zero. L’Hôpital’s Rule therefore applies:
The derivative quotient tends to \(1\), so the original quotient tends to \(1\). This check also confirms the limit is finite and that the denominator derivative is nonzero near the point.
Worked Example: An Exponential and a Tangent
Evaluate \(\displaystyle\lim_{x\to0}\frac{e^{2x}-1}{\tan(3x)}\).
Substitution gives \(0/0\). The numerator and denominator are differentiable near zero. The derivative of the denominator is \(3\sec^2(3x)\), which is nonzero wherever it is defined. Applying L’Hôpital’s Rule gives
Thus the limit is \(2/3\). The derivative quotient has the stated limit, and the original quotient meets the \(0/0\) and differentiability requirements near zero.
Worked Example: A Same-Signed Infinity Difference
Evaluate \(\displaystyle\lim_{x\to\infty}\bigl(\sqrt{x^2+4x}-x\bigr)\).
As \(x\to\infty\), both \(\sqrt{x^2+4x}\) and \(x\) tend to \(+\infty\). This is a same-signed \(\infty-\infty\) form, so direct substitution does not determine the difference. Rationalize:
For \(x\to\infty\), \(x>0\), so divide numerator and denominator by \(x\):
The limit is \(2\). The transformed expression is equal to the original for positive \(x\), and its limit verifies the result. In contrast, a difference such as \(x-(-x)\) has terms tending to opposite signed infinities and is already determined by its algebraic form.
Why Conjugates Work
The radical example used an algebraic identity rather than a derivative. The identity is exact: for any expressions \(A\) and \(B\), \((A-B)(A+B)=A^2-B^2\). When \(A=\sqrt{1+5x}\) and \(B=1\), the square removes the radical and leaves \(5x\). The factor \(x\) then cancels with the denominator for \(x\ne0\). Since limits depend on values arbitrarily near the point, not necessarily on the value at the point itself, this cancellation preserves the limit.
This reasoning explains why algebra can be preferable even when L’Hôpital’s Rule is available. It may expose the exact cancellation responsible for a finite limit and leave a continuous expression that can be evaluated by substitution.
A Pitfall: Applying the Rule to a Product
A common error is to apply L’Hôpital’s Rule directly to a product with form \(0\cdot\infty\). For example, as \(x\to0^+\), \(x\to0\) and \(\ln x\to-\infty\). It is not valid to differentiate the two factors separately and treat the result as the original product’s limit.
Instead, rewrite the product as a quotient. To keep the quotient in the standard \(+\infty/+\infty\) form, consider \(-x\ln x\):
As \(x\to0^+\), both \(-\ln x\) and \(1/x\) tend to \(+\infty\). The functions are differentiable for \(x>0\), and the derivative of \(1/x\) is nonzero. L’Hôpital’s Rule gives
Therefore \(-x\ln x\to0\), and hence \(x\ln x\to0\) as well. The conversion to a quotient is essential: the rule applies to the quotient after checking its form and conditions, not directly to the product.
A Reliable Decision Process
Find the numerator, denominator, or factor limits separately. Decide whether the expression is indeterminate or already determined.
For a radical difference, test whether multiplying by a conjugate removes the obstruction. For other expressions, use valid algebraic identities before differentiating.
Use the rule only for a qualifying quotient, with differentiability and a nonzero denominator derivative on a deleted interval near the limit point.
Compute the simplified expression or derivative quotient carefully, then check that it gives a limit for the original expression under the transformation used.
Why the Choice Matters
Choosing a method is part of solving a limit, not an afterthought. Direct substitution is sufficient when the expression is continuous at the point and its denominator does not vanish. Algebra is especially useful when it reveals cancellation. L’Hôpital’s Rule is powerful for qualifying quotients whose derivatives simplify the comparison, but it may make a manageable problem longer if used automatically.
In particular, always distinguish a genuinely indeterminate form from an expression that merely contains large or small terms. Two terms tending to \(+\infty\) may have a difference with a finite limit, as the radical example shows, or an infinite limit. Two terms tending to opposite signed infinities can yield a directly determined difference. Classification prevents a method from being applied on the basis of appearance alone.
Check Your Understanding
For each problem, identify the form first, then decide which method is justified.
- Evaluate \(\displaystyle\lim_{x\to0}\frac{\sqrt{1+8x}-1}{x}\). What algebraic identity is useful?
- For \(\displaystyle\lim_{x\to0}\frac{e^x-1}{\sin(2x)}\), state the initial form and the hypotheses that allow L’Hôpital’s Rule.
- As \(x\to\infty\), classify \(x-(-x)\). Is it the standard same-signed \(\infty-\infty\) form?
- Why is it invalid to apply L’Hôpital’s Rule directly to \(x\ln x\) as \(x\to0^+\)?
- Give one reason to prefer algebra over L’Hôpital’s Rule when both could be used.
