Unit 4 Differentiation Tools for Approximation and Limits (AP Calculus BC)

Local Linearity and Approximation

What “local linearity” means

A core idea in calculus is that smooth curves look like straight lines when you zoom in far enough. If a function f(x)f(x) is differentiable at a point x=ax=a, then near aa the graph of ff is well-approximated by its tangent line at aa. This is called local linearity.

You can think of it like this: a curved road is definitely not a straight line globally, but if you stand on a small enough segment of it, it looks nearly straight. Differentiability is the condition that guarantees this “straight-looking” behavior at a point.

This matters because straight lines are easy to compute with. If you can replace a complicated function with a linear function near a point, you can approximate values, estimate changes, and solve applied problems much more simply.

From tangent line to linearization

The tangent line to y=f(x)y=f(x) at x=ax=a has slope f(a)f'(a) and passes through (a,f(a))\left(a,f(a)\right). Its equation is

L(x)=f(a)+f(a)(xa)L(x) = f(a) + f'(a)(x-a)

This function L(x)L(x) is called the **linearization** of f(x)f(x) at x=ax=a.

  • aa is the center point where you know the function value and derivative.
  • f(a)f(a) anchors the line vertically.
  • f(a)f'(a) gives the slope.
  • xax-a measures how far you’ve moved from the center.

The key approximation statement is:

f(x)L(x) for x near af(x) \approx L(x) \text{ for } x \text{ near } a

The word “near” is crucial. Linearization is not meant to be accurate far away from aa. The further you move from aa, the more the curve’s bending (its concavity) will cause the linear model to drift from the true value.

Why linearization works (the derivative connection)

The derivative at aa is defined by a limit that compares the function to a line:

f(a)=limxaf(x)f(a)xaf'(a)=\lim_{x \to a} \frac{f(x)-f(a)}{x-a}

This says that as xx approaches aa, the ratio of “vertical change” to “horizontal change” approaches a constant slope. Rearranging that idea informally gives:

f(x)f(a)f(a)(xa)f(x)-f(a) \approx f'(a)(x-a)

and then

f(x)f(a)+f(a)(xa)f(x) \approx f(a) + f'(a)(x-a)

So linearization is basically the derivative definition turned into an approximation.

Differentials: approximating changes

Another common way to express local linearity is with differentials, which are especially useful in applied problems about small changes.

Let

Δx=xa\Delta x = x-a

and

Δy=f(x)f(a)\Delta y = f(x)-f(a)

Near x=ax=a, the linear approximation predicts

Δyf(a)Δx\Delta y \approx f'(a)\Delta x

In differential notation, you write

dy=f(x)dxdy = f'(x)dx

At the point x=ax=a, a small input change dxdx produces an approximate output change

dyf(a)dxdy \approx f'(a)dx

Here’s the conceptual difference:

  • Δy\Delta y is the actual change in the function.
  • dydy is the predicted change from the tangent line (the linear model).

When changes are small, dydy is typically a very good approximation to Δy\Delta y.

Linear approximation in action: estimating function values

When you need to approximate f(b)f(b) and you know a “nice” nearby point aa where the function and derivative are easier, you do:

  1. Choose aa close to bb where you can compute f(a)f(a) and f(a)f'(a) exactly.
  2. Build the linearization L(x)=f(a)+f(a)(xa)L(x)=f(a)+f'(a)(x-a).
  3. Use f(b)L(b)f(b)\approx L(b).
Example 1: Approximate a square root

Approximate 4.1\sqrt{4.1}.

Let f(x)=xf(x)=\sqrt{x}. Choose a=4a=4 because 4=2\sqrt{4}=2 is easy and 4.14.1 is close to 44.

Compute the derivative:

f(x)=12xf'(x)=\frac{1}{2\sqrt{x}}

Evaluate at a=4a=4:

f(4)=2f(4)=2

f(4)=122=14f'(4)=\frac{1}{2\cdot 2}=\frac{1}{4}

Linearization at a=4a=4:

L(x)=2+14(x4)L(x)=2+\frac{1}{4}(x-4)

Now plug in x=4.1x=4.1:

L(4.1)=2+14(0.1)=2+0.025=2.025L(4.1)=2+\frac{1}{4}(0.1)=2+0.025=2.025

So

4.12.025\sqrt{4.1} \approx 2.025

What can go wrong: if you chose a=0a=0 (not even differentiable for x\sqrt{x} in the same way) or chose a point far away, the approximation would be poor or invalid.

Example 2: Using differentials to approximate a change

Suppose the radius of a sphere is r=10r=10 cm and increases by 0.10.1 cm. Approximate the change in volume.

Volume:

V=43πr3V=\frac{4}{3}\pi r^3

Differentiate with respect to rr:

dVdr=4πr2\frac{dV}{dr}=4\pi r^2

Use differentials with dr=0.1dr=0.1 at r=10r=10:

dV4π(10)2(0.1)=4π1000.1=40πdV \approx 4\pi (10)^2(0.1)=4\pi \cdot 100 \cdot 0.1=40\pi

So the volume increases by approximately 40π40\pi cubic cm.

Common misconception: some students plug r=10.1r=10.1 into the derivative. The derivative gives a rate at a specific radius; the differential method is “rate at the starting point times small change.”

Error and when linearization overestimates or underestimates

Linearization is an approximation, so it has error. While AP Calculus often focuses more on setting up and using the approximation than on strict error bounds, you should understand how concavity affects the approximation.

  • If f(x)>0f''(x)>0 near aa, the function is **concave up** and the tangent line tends to lie **below** the curve near aa. So L(x)L(x) tends to **underestimate** f(x)f(x).
  • If f(x)<0f''(x)<0 near aa, the function is **concave down** and the tangent line tends to lie **above** the curve near aa. So L(x)L(x) tends to **overestimate** f(x)f(x).
Quick illustration

For f(x)=xf(x)=\sqrt{x}, you can compute

f(x)=14x3/2f''(x)=-\frac{1}{4x^{3/2}}

For x>0x>0, this is negative, so x\sqrt{x} is concave down. That means the tangent line approximation tends to be slightly above the true value (an overestimate) near the point.

Notation connections you’ll see

Linearization, tangent line approximation, and differential approximation often appear with slightly different notation but the same idea.

IdeaCommon notationMeaning
Linearization at aaL(x)=f(a)+f(a)(xa)L(x)=f(a)+f'(a)(x-a)Linear function that approximates ff near aa
Small input changeΔx\Delta x or dxdxActual change in xx or an infinitesimal-style small change
Predicted output changeΔyf(a)Δx\Delta y\approx f'(a)\Delta x or dy=f(a)dxdy=f'(a)dxUse slope to estimate output change
Function value estimatef(b)L(b)f(b)\approx L(b)Replace complicated value with tangent line value
Exam Focus
  • Typical question patterns:
    • “Find the linearization of f(x)f(x) at x=ax=a and use it to approximate f(b)f(b).”
    • “Use differentials to approximate the change in a quantity (area, volume, error) given a small measurement change.”
    • “Determine whether the linear approximation overestimates or underestimates using concavity or the sign of f(a)f''(a).”
  • Common mistakes:
    • Using L(x)=f(x)+f(x)(xa)L(x)=f(x)+f'(x)(x-a) (mixing variable and point). You must evaluate at aa: use f(a)f(a) and f(a)f'(a).
    • Choosing aa not close to the target bb, which can make the approximation inaccurate.
    • Confusing Δy\Delta y (actual change) with dydy (linear predicted change) and treating them as exactly equal for large changes.

L'Hôpital's Rule

The problem L'Hôpital’s Rule solves: indeterminate forms

In limits, you sometimes run into expressions that look like they should be simple, but direct substitution gives a form that does not determine the limit. The two main forms handled in AP Calculus with L'Hôpital’s Rule are:

  • Indeterminate form 00\frac{0}{0}
  • Indeterminate form \frac{\infty}{\infty}

These are called “indeterminate” because they don’t tell you the limit. For example, 00\frac{0}{0} could come from ratios that approach anything depending on how fast numerator and denominator approach zero.

L'Hôpital’s Rule is a technique that often turns a difficult limit of a quotient into a simpler limit involving derivatives.

What L'Hôpital’s Rule says (and what it doesn’t)

Suppose you have a limit

limxaf(x)g(x)\lim_{x \to a} \frac{f(x)}{g(x)}

and as xax \to a you get either 00\frac{0}{0} or \frac{\infty}{\infty}. If ff and gg are differentiable near aa (with g(x)0g'(x)\neq 0 near aa) and the derivative limit exists (or is infinite), then

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)}

The important meaning is: for these indeterminate quotient forms, the limit of the ratio is the same as the limit of the ratio of derivatives, provided the conditions are met.

What it does not say:

  • It does not apply if you get a determinate form like 50\frac{5}{0} or 07\frac{0}{7}.
  • It does not automatically apply to products like 00\cdot \infty or differences like \infty-\infty unless you algebraically rewrite them into a quotient that gives 00\frac{0}{0} or \frac{\infty}{\infty}.
  • It is not a replacement for algebraic simplification. Often factoring or rationalizing is faster and cleaner.
Why it works (intuition you can trust)

A full proof uses more advanced theorems, but the intuition connects to local linearity.

Near a point, differentiable functions behave like their tangent lines:

f(x)f(a)+f(a)(xa)f(x) \approx f(a) + f'(a)(x-a)

g(x)g(a)+g(a)(xa)g(x) \approx g(a) + g'(a)(x-a)

If f(a)=0f(a)=0 and g(a)=0g(a)=0 (the 00\frac{0}{0} case), then near aa:

f(x)f(a)(xa)f(x) \approx f'(a)(x-a)

g(x)g(a)(xa)g(x) \approx g'(a)(x-a)

So the ratio behaves like

f(x)g(x)f(a)(xa)g(a)(xa)=f(a)g(a)\frac{f(x)}{g(x)} \approx \frac{f'(a)(x-a)}{g'(a)(x-a)} = \frac{f'(a)}{g'(a)}

That’s the big idea: when both numerator and denominator go to zero, their leading linear behavior (their derivatives) controls the ratio.

How to use L'Hôpital’s Rule (process)

When you see a limit of a quotient:

  1. Try direct substitution.
  2. If you get 00\frac{0}{0} or \frac{\infty}{\infty}, you may apply L'Hôpital’s Rule.
  3. Differentiate numerator and denominator separately.
  4. Evaluate the new limit.
  5. If you still get an indeterminate form, you may be able to apply the rule again.

A key habit: every time you differentiate, re-check the form by substitution. Do not apply the rule “automatically” multiple times without checking.

Worked examples
Example 1: A classic 00\frac{0}{0} limit

Evaluate

limx0sinxx\lim_{x \to 0} \frac{\sin x}{x}

Direct substitution gives 00\frac{0}{0}, so L'Hôpital’s Rule applies.

Differentiate numerator and denominator:

ddx(sinx)=cosx\frac{d}{dx}(\sin x)=\cos x

ddx(x)=1\frac{d}{dx}(x)=1

So the limit becomes

limx0cosx1\lim_{x \to 0} \frac{\cos x}{1}

Now substitute x=0x=0:

cos0=1\cos 0 = 1

Therefore,

limx0sinxx=1\lim_{x \to 0} \frac{\sin x}{x} = 1

Note: In many courses you learn this limit using geometry or the Squeeze Theorem. On the AP exam, L'Hôpital’s Rule is allowed in BC and is often the fastest route, but it’s still essential you recognize the indeterminate form before using it.

Example 2: Exponential vs polynomial (an \frac{\infty}{\infty} limit)

Evaluate

limxxex\lim_{x \to \infty} \frac{x}{e^x}

As xx \to \infty, numerator \to \infty and denominator \to \infty, so the form is \frac{\infty}{\infty}.

Apply L'Hôpital’s Rule:

limx1ex\lim_{x \to \infty} \frac{1}{e^x}

As xx \to \infty, exe^x \to \infty, so 1ex0\frac{1}{e^x} \to 0.

Therefore,

limxxex=0\lim_{x \to \infty} \frac{x}{e^x} = 0

This result reflects an important growth-rate fact: exponentials dominate polynomials as xx \to \infty.

Example 3: Applying L'Hôpital’s Rule more than once

Evaluate

limx01cosxx2\lim_{x \to 0} \frac{1-\cos x}{x^2}

Direct substitution gives 00\frac{0}{0}.

First application:

  • Numerator derivative: sinx\sin x
  • Denominator derivative: 2x2x

So the limit becomes

limx0sinx2x\lim_{x \to 0} \frac{\sin x}{2x}

Substitution still gives 00\frac{0}{0}, so apply again.

Second application:

  • Numerator derivative: cosx\cos x
  • Denominator derivative: 22

Now evaluate:

limx0cosx2=12\lim_{x \to 0} \frac{\cos x}{2} = \frac{1}{2}

So

limx01cosxx2=12\lim_{x \to 0} \frac{1-\cos x}{x^2} = \frac{1}{2}

Common pitfall: differentiating the entire fraction with the quotient rule. L'Hôpital’s Rule says differentiate top and bottom separately, not “take the derivative of the quotient.”

Rewriting other indeterminate forms into quotients

AP Calculus BC commonly expects you to recognize forms like 00\cdot \infty or \infty-\infty and rewrite them into a quotient that becomes 00\frac{0}{0} or \frac{\infty}{\infty}.

Product form 00\cdot \infty

Example:

limx0+xlnx\lim_{x \to 0^+} x\ln x

As x0+x \to 0^+, x0x \to 0 and lnx\ln x \to -\infty. This is an indeterminate product form.

Rewrite as a quotient. A good strategy is to turn one factor into a denominator:

xlnx=lnx1/xx\ln x = \frac{\ln x}{1/x}

Now check the form as x0+x \to 0^+:

  • lnx\ln x \to -\infty
  • 1/x1/x \to \infty

So it’s \frac{-\infty}{\infty}, which is an indeterminate form of type \frac{\infty}{\infty}.

Apply L'Hôpital’s Rule:

limx0+1x1x2\lim_{x \to 0^+} \frac{\frac{1}{x}}{-\frac{1}{x^2}}

Simplify the fraction:

1x1x2=x\frac{\frac{1}{x}}{-\frac{1}{x^2}} = -x

Now take the limit:

limx0+x=0\lim_{x \to 0^+} -x = 0

So

limx0+xlnx=0\lim_{x \to 0^+} x\ln x = 0

What can go wrong: forgetting that lnx\ln x is only defined for x>0x>0 in real-valued calculus, so the limit must be one-sided.

Difference form \infty-\infty

Example:

limx(x2+xx)\lim_{x \to \infty} \left(\sqrt{x^2+x}-x\right)

Directly, both terms go to infinity, giving \infty-\infty.

A standard fix is to multiply by the conjugate:

x2+xx=(x2+xx)(x2+x+x)x2+x+x\sqrt{x^2+x}-x = \frac{(\sqrt{x^2+x}-x)(\sqrt{x^2+x}+x)}{\sqrt{x^2+x}+x}

The numerator simplifies:

(x2+x)x2=x(x^2+x)-x^2 = x

So the expression becomes

xx2+x+x\frac{x}{\sqrt{x^2+x}+x}

Now evaluate the limit as xx \to \infty. This is a quotient with \frac{\infty}{\infty} form, so L'Hôpital’s Rule is available, but here algebra is even cleaner: factor xx from the denominator.

x2+x=x1+1x\sqrt{x^2+x} = x\sqrt{1+\frac{1}{x}}

So

xx2+x+x=xx1+1x+x=11+1x+1\frac{x}{\sqrt{x^2+x}+x} = \frac{x}{x\sqrt{1+\frac{1}{x}}+x} = \frac{1}{\sqrt{1+\frac{1}{x}}+1}

Now as xx \to \infty, 1x0\frac{1}{x} \to 0, so

limx11+1x+1=11+1=12\lim_{x \to \infty} \frac{1}{\sqrt{1+\frac{1}{x}}+1} = \frac{1}{1+1} = \frac{1}{2}

So the original limit equals 12\frac{1}{2}.

Important lesson: L'Hôpital’s Rule is powerful, but algebraic rewriting (like conjugates) may be the intended path and often avoids messy derivatives.

L'Hôpital’s Rule and local linearity (a conceptual connection)

It’s not an accident that linearization and L'Hôpital’s Rule appear together. Both rely on the idea that near a point, a differentiable function is well-approximated by its linear part.

  • In linearization, you approximate f(x)f(x) itself by a line.
  • In L'Hôpital’s Rule, you approximate the ratio f(x)g(x)\frac{f(x)}{g(x)} near a point where both behave like small linear changes, letting derivatives control the limit.

This connection helps you remember that L'Hôpital’s Rule is fundamentally about “comparing how fast things go to zero or infinity,” which is exactly what derivatives measure.

When not to use L'Hôpital’s Rule

Students often overuse it. On the AP exam, you want correctness first, but efficiency matters too.

Avoid or pause before using L'Hôpital if:

  • The expression can be simplified by factoring, canceling, or rationalizing.
  • You do not yet have 00\frac{0}{0} or \frac{\infty}{\infty}.
  • Differentiating will make the expression more complicated (for example, products of trig and exponentials might be easier with known limits or algebra).

Also remember: L'Hôpital’s Rule applies to limits (as xax\to a, xx\to \infty, or one-sided limits) of a quotient, under appropriate differentiability conditions.

Exam Focus
  • Typical question patterns:
    • “Evaluate a limit that yields 00\frac{0}{0} or \frac{\infty}{\infty}; justify use of L'Hôpital’s Rule and compute.”
    • “Rewrite an expression with indeterminate form 00\cdot \infty or \infty-\infty into a quotient, then apply L'Hôpital’s Rule or simplify.”
    • “Compare growth rates using limits (polynomial vs exponential, exponential vs logarithmic) where L'Hôpital’s Rule quickly reveals the result.”
  • Common mistakes:
    • Applying L'Hôpital’s Rule when the form is not 00\frac{0}{0} or \frac{\infty}{\infty} (for example, when substitution gives 05\frac{0}{5} or 50\frac{5}{0}).
    • Differentiating using the quotient rule instead of differentiating numerator and denominator separately.
    • Forgetting domain restrictions and limit direction (for example, using x0x\to 0 instead of x0+x\to 0^+ for lnx\ln x).