Navigation

Applications of the Derivative · Topic 14 of 23

L'Hôpital's Rule and Indeterminate Forms

L'Hôpital's Rule replaces limxaf(x)g(x)\lim_{x\to a}\frac{f(x)}{g(x)} by limxaf(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 (00\cdot\infty, \infty-\infty, 11^{\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 x0x\to0, 5xx5\frac{5x}{x}\to5, x2x0\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 00^{\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

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

  5. 5

    Sometimes the rule is the wrong tool

    If fg\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π/25π/20.51.0xyy = 10/0 here, limit 1y = (sin x)/x
At x=0x=0 the quotient sinxx\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 00\cdot\infty form: as x0+x\to0^{+} the factor x0x\to0 while lnx\ln x\to-\infty (dashed). The power wins, so xlnx0x\ln x\to0. Rewrite it as lnx1/x\frac{\ln x}{1/x} and l'Hôpital confirms it.
02

Formulas

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

    limxaf(x)g(x)=limxaf(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 xaf,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 00\cdot\infty

    fg=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 11^{\infty}, 000^{0}, 0\infty^{0}

    limxaf(x)g(x)=eL,L=limxag(x)lnf(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

    limxlnxxp=0,limxxpbx=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

    limx0sinxx=1,limx0ex1x=1,limx0+xlnx=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)xea\left(1+\frac{a}{x}\right)^{x}\to e^{a} as xx\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 00\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 11^{\infty}, 000^{0} or 0\infty^{0} with base f>0f>0, set y=fgy=f^{g} and work on lny=glnf\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

    limx0sinxx+1=limx0cosx1=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: limfgfgg2\lim\frac{f'g-fg'}{g^{2}}

    ✓ Right

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

  • ✗ Wrong

    limx0ex1x2=limex2x=limex2=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 limx0(cos2x)3/x2\lim_{x\to0}\left(\cos 2x\right)^{3/x^{2}}

    ✓ Right

    6-6 is limlny\lim\ln y; the limit is e6e^{-6}.

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

  • ✗ Wrong

    limx(1+1x)x=1=1\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^{x}=1^{\infty}=1

    ✓ Right

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

  • ✗ Wrong

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

    ✓ Right

    The rule is silent — try algebra. x+sinxx1\frac{x+\sin x}{x}\to1 even though 1+cosx1\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) limx0sinxx+1\displaystyle\lim_{x\to0}\frac{\sin x}{x+1} (b) limxlnxx\displaystyle\lim_{x\to\infty}\frac{\ln x}{x} (c) limx0+cosxx\displaystyle\lim_{x\to0^{+}}\frac{\cos x}{x} (d) limx(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) 11^{\infty}, indeterminate, e3e^{3}.

    Steps

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

    (b) Form \frac{\infty}{\infty}: the rule gives lim1/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 11^{\infty}. With y=(1+3x)xy=\left(1+\frac{3}{x}\right)^{x} and t=1xt=\frac{1}{x}:

    lny=ln(1+3t)t (00),limt0+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 limx0e2x1sin3x\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: e2x10e^{2x}-1\to0 and sin3x0\sin 3x\to0, so 00\frac{0}{0}. Both functions are differentiable everywhere and g(x)=3cos3x0g'(x)=3\cos 3x\neq0 on (π6,π6)\left(-\frac{\pi}{6},\frac{\pi}{6}\right), so the rule applies there.

    limx0e2x1sin3x=limx02e2x3cos3x=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 303\neq0, so nothing is indeterminate and we stop.

    Check without the rule: e2x12x1\frac{e^{2x}-1}{2x}\to1 and sin3x3x1\frac{\sin 3x}{3x}\to1, so the quotient behaves like 2x3x\frac{2x}{3x}.

  3. Q3medium

    Evaluate limx0xsinxx3\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)=3x20g'(x)=3x^{2}\neq0 for x0x\neq0.

    limx0xsinxx3=limx01cosx3x2=limx0sinx6x=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 sinx6x\frac{\sin x}{6x} — but limx0sinxx=1\lim_{x\to0}\frac{\sin x}{x}=1 is standard, so stop there. A third application differentiates sinx\sin x, which is circular if the standard limit is what you were asked to establish.

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

  4. Q4medium

    Evaluate limx1(xx11lnx)\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, x1x\neq1):

    xx11lnx=xlnxx+1(x1)lnx\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)=lnxN'(x)=\ln x and D(x)=lnx+11xD'(x)=\ln x+1-\frac{1}{x}, and both still tend to 00, so apply the rule once more:

    limx11/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 limx(x+2x1)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 11^{\infty}. For x>1x>1 the base is positive, so put y=(x+2x1)3xy=\left(\frac{x+2}{x-1}\right)^{3x} and move 3x3x downstairs:

    lny=ln(x+2)ln(x1)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+21x1=3(x+2)(x1)\frac{1}{x+2}-\frac{1}{x-1}=\frac{-3}{(x+2)(x-1)} and the bottom to 13x2-\frac{1}{3x^{2}}, so

    limxlny=limx9x2(x+2)(x1)=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 limx4x2+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+5x43=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 xx\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=limglnfL=\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