Navigation

Applications of the Derivative · Topic 14 of 23

L'Hôpital's Rule and Indeterminate Forms

L'Hôpital's Rule replaces lim⁡x→af(x)g(x)\lim_{x\to a}\frac{f(x)}{g(x)} by lim⁡x→af′(x)g′(x)\lim_{x\to a}\frac{f'(x)}{g'(x)} — but only when the first quotient has the form 00\frac{0}{0} or ∞∞\frac{\infty}{\infty} and the second limit exists. Every other indeterminate form (0⋅∞0\cdot\infty, ∞−∞\infty-\infty, 1∞1^{\infty}, 000^{0}, ∞0\infty^{0}) has to be turned into a quotient first, usually by taking logarithms.

5 min readCore — on every final7 formulas6 quick checks
01

Key ideas

5 things to remember
  1. 1

    Indeterminate means the pieces decide nothing

    As x→0x\to0, 5xx→5\frac{5x}{x}\to5, x2x→0\frac{x^{2}}{x}\to0 and xx3→+∞\frac{x}{x^{3}}\to+\infty — all of form 00\frac{0}{0}. So 00\frac{0}{0} is never an answer; it is a report that more work is needed.

  2. 2

    Check the form before you differentiate

    Only 00\frac{0}{0} and ∞∞\frac{\infty}{\infty} license the rule. 01\frac{0}{1}, 10\frac{1}{0} and 0∞0^{\infty} are determinate, and differentiating them returns a wrong number. This is the single most common error.

  3. 3

    Top and bottom separately, then re-check

    Differentiate ff and gg on their own — never the quotient rule. Apply again only if the new quotient is still 00\frac{0}{0} or ∞∞\frac{\infty}{\infty}, and stop the instant it is not.

  4. 4

    Five forms must become a quotient

    0⋅∞0\cdot\infty: write fgfg as f1/g\frac{f}{1/g}. ∞−∞\infty-\infty: common denominator or conjugate. 1∞1^{\infty}, 000^{0}, ∞0\infty^{0}: set y=fgy=f^{g}, find L=lim⁡ln⁡yL=\lim\ln y, and answer eLe^{L}.

  5. 5

    Sometimes the rule is the wrong tool

    If f′g′\frac{f'}{g'} has no limit the rule is silent — it never says the original limit fails to exist. If the rule loops (roots at infinity), divide by the largest power instead.

−5π/2−2π−3π/2−π−π/2π/2π3π/22π5π/20.51.0xyy = 10/0 here, limit 1y = (sin x)/x
At x=0x=0 the quotient sin⁡xx\frac{\sin x}{x} has the form 00\frac{0}{0} — genuinely undefined — yet the curve runs straight through the open point at height 11. The form tells you nothing; the limit is 11.
0.51.01.5-3-2-1xyx ln x → 0(1/e, −1/e)y = x ln xy = ln x
The 0⋅∞0\cdot\infty form: as x→0+x\to0^{+} the factor x→0x\to0 while ln⁡x→−∞\ln x\to-\infty (dashed). The power wins, so xln⁡x→0x\ln x\to0. Rewrite it as ln⁡x1/x\frac{\ln x}{1/x} and l'Hôpital confirms it.
02

Formulas

What to have memorised
  • L'Hôpital's Rule

    lim⁡x→af(x)g(x)=lim⁡x→af′(x)g′(x)\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)}

    Only for 00\frac{0}{0} or ∞∞\frac{\infty}{\infty}, and only if the right-hand limit exists.

  • The seven indeterminate forms

    00,∞∞,0⋅∞,∞−∞,1∞,00,∞0\frac{0}{0},\quad\frac{\infty}{\infty},\quad 0\cdot\infty,\quad \infty-\infty,\quad 1^{\infty},\quad 0^{0},\quad \infty^{0}

    Everything else is determinate: 0c=0\frac{0}{c}=0, c0\frac{c}{0} is infinite, 0∞=00^{\infty}=0.

  • Hypotheses (aa finite or ±∞\pm\infty)

    f,g differentiable near a,g′(x)≠0 for x≠af,g\ \text{differentiable near}\ a,\qquad g'(x)\neq 0\ \text{for}\ x\neq a

    The values f(a)f(a), g(a)g(a) are irrelevant; the one-sided versions hold verbatim.

  • Product form 0⋅∞0\cdot\infty

    f g=f1/g=g1/ff\,g=\frac{f}{1/g}=\frac{g}{1/f}

    Pick the easier derivatives: differentiate the logarithm, invert the power.

  • Power forms 1∞1^{\infty}, 000^{0}, ∞0\infty^{0}

    lim⁡x→af(x)g(x)=eL,L=lim⁡x→ag(x)ln⁡f(x)\lim_{x\to a}f(x)^{g(x)}=e^{L},\qquad L=\lim_{x\to a}g(x)\ln f(x)

    Needs f>0f>0 near aa. Answer eLe^{L}, never LL; L=−∞L=-\infty gives 00.

  • Growth hierarchy

    lim⁡x→∞ln⁡xxp=0,lim⁡x→∞xpbx=0\lim_{x\to\infty}\frac{\ln x}{x^{p}}=0,\qquad \lim_{x\to\infty}\frac{x^{p}}{b^{x}}=0

    Any p>0p>0, any b>1b>1. Quote it instead of differentiating x4ex\frac{x^{4}}{e^{x}} four times.

  • Standard limits that save a step

    lim⁡x→0sin⁡xx=1,lim⁡x→0ex−1x=1,lim⁡x→0+xln⁡x=0\lim_{x\to 0}\frac{\sin x}{x}=1,\quad \lim_{x\to 0}\frac{e^{x}-1}{x}=1,\quad \lim_{x\to 0^{+}}x\ln x=0

    Also (1+ax)x→ea\left(1+\frac{a}{x}\right)^{x}\to e^{a} as x→∞x\to\infty.

03

Evaluate an indeterminate limit

The steps, in order
  1. 1

    Substitute and name the form. If it is not one of the seven indeterminate forms, evaluate directly — the rule is illegal there.

  2. 2

    For 0⋅∞0\cdot\infty, send one factor downstairs as a reciprocal: differentiate the logarithm, invert the power.

  3. 3

    For ∞−∞\infty-\infty, combine over a common denominator, multiply by a conjugate, or factor out the dominant term.

  4. 4

    For 1∞1^{\infty}, 000^{0} or ∞0\infty^{0} with base f>0f>0, set y=fgy=f^{g} and work on ln⁡y=gln⁡f\ln y=g\ln f instead.

  5. 5

    With the form now 00\frac{0}{0} or ∞∞\frac{\infty}{\infty}, differentiate top and bottom separately and re-check the form. Repeat only while it stays indeterminate.

  6. 6

    Stop as soon as the quotient is determinate, and evaluate. If you took a logarithm, exponentiate: the answer is eLe^{L}.

04

Watch out

The mistakes that cost marks
  • ✗ Wrong

    lim⁡x→0sin⁡xx+1=lim⁡x→0cos⁡x1=1\lim_{x\to0}\frac{\sin x}{x+1}=\lim_{x\to0}\frac{\cos x}{1}=1

    ✓ Right

    The form is 01\frac{0}{1}, not indeterminate — substitute, and the limit is 00.

    Why: The rule applies to two forms only; on any other it returns a wrong number.

  • ✗ Wrong

    Differentiating with the quotient rule: lim⁡f′g−fg′g2\lim\frac{f'g-fg'}{g^{2}}

    ✓ Right

    L'Hôpital uses f′g′\frac{f'}{g'} — numerator and denominator are differentiated separately.

  • ✗ Wrong

    lim⁡x→0ex−1x2=lim⁡ex2x=lim⁡ex2=12\lim_{x\to0}\frac{e^{x}-1}{x^{2}}=\lim\frac{e^{x}}{2x}=\lim\frac{e^{x}}{2}=\frac{1}{2}

    ✓ Right

    After one application the form is 10\frac{1}{0}, so stop: the two-sided limit does not exist (+∞+\infty from the right, −∞-\infty from the left).

    Why: Re-check the form before every new application, not just the first.

  • ✗ Wrong

    Answering −6-6 for lim⁡x→0(cos⁡2x)3/x2\lim_{x\to0}\left(\cos 2x\right)^{3/x^{2}}

    ✓ Right

    −6-6 is lim⁡ln⁡y\lim\ln y; the limit is e−6e^{-6}.

    Why: Taking a logarithm obliges you to exponentiate at the end.

  • ✗ Wrong

    lim⁡x→∞(1+1x)x=1∞=1\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^{x}=1^{\infty}=1

    ✓ Right

    1∞1^{\infty} is indeterminate; take logarithms and the true value is ee.

  • ✗ Wrong

    "f′g′\frac{f'}{g'} has no limit, therefore fg\frac{f}{g} has no limit."

    ✓ Right

    The rule is silent — try algebra. x+sin⁡xx→1\frac{x+\sin x}{x}\to1 even though 1+cos⁡x1\frac{1+\cos x}{1} oscillates.

05

Quick check

Commit to an answer before you reveal one
  1. Q1easy

    For each limit, name the form, say whether it is indeterminate, and evaluate it. Use l'Hôpital's Rule only where it is legal.

    (a) lim⁡x→0sin⁡xx+1\displaystyle\lim_{x\to0}\frac{\sin x}{x+1} (b) lim⁡x→∞ln⁡xx\displaystyle\lim_{x\to\infty}\frac{\ln x}{x} (c) lim⁡x→0+cos⁡xx\displaystyle\lim_{x\to0^{+}}\frac{\cos x}{x} (d) lim⁡x→∞(1+3x)x\displaystyle\lim_{x\to\infty}\left(1+\frac{3}{x}\right)^{x}

    Hint

    Work out separately what the top and bottom (or base and exponent) do, then compare with the list of seven.

    Show answer

    Answer

    (a) 01\frac{0}{1}, determinate, 00. (b) ∞∞\frac{\infty}{\infty}, indeterminate, 00. (c) 10+\frac{1}{0^{+}}, determinate, +∞+\infty. (d) 1∞1^{\infty}, indeterminate, e3e^{3}.

    Steps

    (a) The denominator tends to 1≠01\neq0, so substitute: 01=0\frac{0}{1}=0. L'Hôpital would give cos⁡x1→1\frac{\cos x}{1}\to1, which is simply wrong.

    (b) Form ∞∞\frac{\infty}{\infty}: the rule gives lim⁡1/x1=0\lim\frac{1/x}{1}=0 (or quote the growth hierarchy).

    (c) Numerator →1\to1, denominator →0+\to0^{+}: determinate and infinite, so the limit is +∞+\infty.

    (d) Form 1∞1^{\infty}. With y=(1+3x)xy=\left(1+\frac{3}{x}\right)^{x} and t=1xt=\frac{1}{x}:

    ln⁡y=ln⁡(1+3t)t (00),lim⁡t→0+3/(1+3t)1=3\ln y=\frac{\ln(1+3t)}{t}\ \left(\tfrac{0}{0}\right),\qquad \lim_{t\to0^{+}}\frac{3/(1+3t)}{1}=3

    so the limit is e3e^{3}.

  2. Q2easy

    Evaluate lim⁡x→0e2x−1sin⁡3x\displaystyle\lim_{x\to0}\frac{e^{2x}-1}{\sin 3x}, naming the form and checking the hypotheses before you differentiate.

    Hint

    Substitute x=0x=0 into the top and the bottom separately first — you may not differentiate until you know the form.

    Show answer

    Answer

    23\dfrac{2}{3}

    Steps

    Form: e2x−1→0e^{2x}-1\to0 and sin⁡3x→0\sin 3x\to0, so 00\frac{0}{0}. Both functions are differentiable everywhere and g′(x)=3cos⁡3x≠0g'(x)=3\cos 3x\neq0 on (−π6,π6)\left(-\frac{\pi}{6},\frac{\pi}{6}\right), so the rule applies there.

    lim⁡x→0e2x−1sin⁡3x=lim⁡x→02e2x3cos⁡3x=23\lim_{x\to0}\frac{e^{2x}-1}{\sin 3x}=\lim_{x\to0}\frac{2e^{2x}}{3\cos 3x}=\frac{2}{3}

    The new quotient is continuous at 00 with denominator 3≠03\neq0, so nothing is indeterminate and we stop.

    Check without the rule: e2x−12x→1\frac{e^{2x}-1}{2x}\to1 and sin⁡3x3x→1\frac{\sin 3x}{3x}\to1, so the quotient behaves like 2x3x\frac{2x}{3x}.

  3. Q3medium

    Evaluate lim⁡x→0x−sin⁡xx3\displaystyle\lim_{x\to0}\frac{x-\sin x}{x^{3}}, justifying the form at every stage and saying where you may stop.

    Hint

    Each application strips one power of xx from the denominator; re-check the form before going again.

    Show answer

    Answer

    16\dfrac{1}{6}

    Steps

    Form 00\frac{0}{0}, and g′(x)=3x2≠0g'(x)=3x^{2}\neq0 for x≠0x\neq0.

    lim⁡x→0x−sin⁡xx3=lim⁡x→01−cos⁡x3x2=lim⁡x→0sin⁡x6x=16\lim_{x\to0}\frac{x-\sin x}{x^{3}}=\lim_{x\to0}\frac{1-\cos x}{3x^{2}}=\lim_{x\to0}\frac{\sin x}{6x}=\frac{1}{6}

    Each equality needs its own check: after stage 1 the form is still 00\frac{0}{0}, and so is sin⁡x6x\frac{\sin x}{6x} — but lim⁡x→0sin⁡xx=1\lim_{x\to0}\frac{\sin x}{x}=1 is standard, so stop there. A third application differentiates sin⁡x\sin x, which is circular if the standard limit is what you were asked to establish.

    Check: sin⁡x=x−x36+⋯\sin x=x-\frac{x^{3}}{6}+\cdots, so the quotient is 16−x2120+⋯\frac{1}{6}-\frac{x^{2}}{120}+\cdots.

  4. Q4medium

    Evaluate lim⁡x→1(xx−1−1ln⁡x)\displaystyle\lim_{x\to1}\left(\frac{x}{x-1}-\frac{1}{\ln x}\right).

    Hint

    Neither piece has a limit, so you may not split the difference. Put both fractions over one denominator.

    Show answer

    Answer

    12\dfrac{1}{2}

    Steps

    Both pieces blow up, so the form is ∞−∞\infty-\infty. Combine (valid for x>0x>0, x≠1x\neq1):

    xx−1−1ln⁡x=xln⁡x−x+1(x−1)ln⁡x\frac{x}{x-1}-\frac{1}{\ln x}=\frac{x\ln x-x+1}{(x-1)\ln x}

    Top and bottom both tend to 00 at x=1x=1: form 00\frac{0}{0}. Differentiating separately, N′(x)=ln⁡xN'(x)=\ln x and D′(x)=ln⁡x+1−1xD'(x)=\ln x+1-\frac{1}{x}, and both still tend to 00, so apply the rule once more:

    lim⁡x→11/x1x+1x2=11+1=12\lim_{x\to1}\frac{1/x}{\frac{1}{x}+\frac{1}{x^{2}}}=\frac{1}{1+1}=\frac{1}{2}

    That last quotient is determinate, so stop.

  5. Q5medium

    Evaluate lim⁡x→∞(x+2x−1)3x\displaystyle\lim_{x\to\infty}\left(\frac{x+2}{x-1}\right)^{3x}.

    Hint

    The base tends to 11 and the exponent to ∞\infty. Take logarithms first — and remember to undo them.

    Show answer

    Answer

    e9e^{9}

    Steps

    Base →1\to1, exponent →+∞\to+\infty: form 1∞1^{\infty}. For x>1x>1 the base is positive, so put y=(x+2x−1)3xy=\left(\frac{x+2}{x-1}\right)^{3x} and move 3x3x downstairs:

    ln⁡y=ln⁡(x+2)−ln⁡(x−1)1/(3x)(00)\ln y=\frac{\ln(x+2)-\ln(x-1)}{1/(3x)}\qquad\left(\tfrac{0}{0}\right)

    The top differentiates to 1x+2−1x−1=−3(x+2)(x−1)\frac{1}{x+2}-\frac{1}{x-1}=\frac{-3}{(x+2)(x-1)} and the bottom to −13x2-\frac{1}{3x^{2}}, so

    lim⁡x→∞ln⁡y=lim⁡x→∞9x2(x+2)(x−1)=9\lim_{x\to\infty}\ln y=\lim_{x\to\infty}\frac{9x^{2}}{(x+2)(x-1)}=9

    Since exp⁡\exp is continuous, the limit is e9e^{9} — not 99.

  6. Q6hard

    Show that repeated use of l'Hôpital's Rule on lim⁡x→∞4x2+13x+5\displaystyle\lim_{x\to\infty}\frac{\sqrt{4x^{2}+1}}{3x+5} never terminates, then evaluate the limit correctly.

    Hint

    Apply the rule twice, simplify, and compare what you get with where you started.

    Show answer

    Answer

    23\dfrac{2}{3} — the rule loops back to the original quotient, so finish with algebra.

    Steps

    The form is ∞∞\frac{\infty}{\infty}, so the rule is legal. One application gives 4x34x2+1\frac{4x}{3\sqrt{4x^{2}+1}}; applying it to that gives 412x/4x2+1=4x2+13x\frac{4}{12x/\sqrt{4x^{2}+1}}=\frac{\sqrt{4x^{2}+1}}{3x} — where you began. Every step is valid, but the process never ends.

    Use algebra instead: for x>0x>0, 4x2+1=x4+1x2\sqrt{4x^{2}+1}=x\sqrt{4+\frac{1}{x^{2}}}, so

    4x2+13x+5=4+1x23+5x→43=23\frac{\sqrt{4x^{2}+1}}{3x+5}=\frac{\sqrt{4+\frac{1}{x^{2}}}}{3+\frac{5}{x}}\to\frac{\sqrt{4}}{3}=\frac{2}{3}

    As x→−∞x\to-\infty the same algebra gives −23-\frac{2}{3}, because there x2=−x\sqrt{x^{2}}=-x.

06

On the exam

How this topic is marked
  • Most of the marks are for naming the form. Write "form 00\frac{0}{0}" before every application and "no longer indeterminate" where you stop; a bare chain of derivatives loses points.

  • For a power question, show the three moves: let y=fgy=f^{g}, evaluate L=lim⁡gln⁡fL=\lim g\ln f, then answer eLe^{L}. Reporting LL is the most common lost mark on this topic.

  • If the derivative quotient loops or oscillates, stop differentiating and switch to algebra — divide by the largest power, use a conjugate, or quote the growth hierarchy.

Keep going