Intuition Where we are going
We want to prove one boxed sentence: near a point, a curve equals its tangent line plus an error that dies fast. Every step below is one idea and one picture. By the end you will see why f ( x ) ≈ f ( a ) + f ′ ( a ) ( x − a ) is not a guess — it falls straight out of the definition of slope.
Before line one, three plain words we will keep using:
Definition The three characters
f — the curvy function (our "road").
a — the base point : the single spot where we already know the exact height and the exact steepness.
x — the target : a nearby spot whose height we are too lazy (or unable) to compute exactly.
f ( a ) = "how high the road is at a ." f ( x ) = "how high the road is at x ." The whole game is estimating f ( x ) using only what we know at a .
Definition Height and horizontal gap
WHAT. Plot f . Mark a on the horizontal axis; the dot on the curve above it sits at height f ( a ) . Mark a nearby target x ; its dot sits at height f ( x ) . The horizontal distance between them is the run , written ( x − a ) — literally "how far right (or left) we stepped."
WHY. Everything to come is a comparison between two things: the true height f ( x ) (top of the red dashed line in the figure) and an estimate we are about to build. You cannot compare until you can see both heights. The run ( x − a ) is the ruler we measure sideways with — every later formula multiplies by it.
PICTURE. Look at the red segment: its height is the true rise f ( x ) − f ( a ) . Hold that picture; Step 3 will approximate exactly this red rise with a straight line.
Definition The difference quotient
WHAT. Pick a second point on the curve at horizontal position x . Draw the straight line through the two curve points — a secant (a line cutting the curve twice). Its steepness is
secant slope x − a f ( x ) − f ( a ) = run between the two dots rise between the two dots .
Every symbol: f ( x ) − f ( a ) is the vertical gap (rise), x − a is the horizontal gap (run), and the fraction is rise-over-run — the plain-English meaning of "slope."
Intuition Why a secant first, not the tangent
WHY. We do not yet have a slope at a single point — slope needs two points to compute rise over run. So we start honest: a slope between two real points. In the figure, watch the secant lines as the second dot slides toward a : they pivot. Their limiting position is the tangent, and its slope is the derivative f ′ ( a ) .
PICTURE. The red secant tilts toward the red tangent as the gap closes.
Definition The error term
ε ( x )
WHAT. The limit says the secant slope is close to f ′ ( a ) when x is close to a . "Close to" is vague, so name the gap. Define
ε ( x ) = actual secant slope x − a f ( x ) − f ( a ) − tangent slope f ′ ( a ) .
Here ε ( x ) (Greek "epsilon", used for "a tiny amount") is exactly how much the secant slope overshoots or undershoots the tangent slope .
Intuition Why give the gap a name
WHY. Turning an approximation ("≈ ") into an equation ("= ") is the single trick that makes a proof possible. We are not throwing the error away — we are keeping it as a labelled quantity so we can watch it shrink. The limit in Step 2 guarantees ε ( x ) → 0 as x → a : as the run closes, the secant slope becomes the tangent slope, so their gap vanishes.
PICTURE. The two slope-triangles in the figure share the same run; their heights differ only by ε ( x ) ⋅ ( x − a ) — that thin red sliver is the whole error.
Intuition Read each piece off the picture
WHY. We multiplied by ( x − a ) because a slope only becomes a height after you multiply by a run — "rise = slope × run." That fixes the units and produces an actual vertical distance we can stack on top of f ( a ) .
PICTURE. In the figure the total height f ( x ) is a tower of three floors:
floor 1: f ( a ) — the starting height (black),
floor 2: f ′ ( a ) ( x − a ) — the tangent's rise over the run (red, the key object),
floor 3: ε ( x ) ( x − a ) — the leftover gap between tangent and curve.
Floors 1+2 are the straight-line estimate L ( x ) . Floor 3 is everything we are hoping is negligible.
Intuition Small times small
WHAT. The error is ε ( x ) ⋅ ( x − a ) — a product of two shrinking things . As x → a : the run ( x − a ) → 0 and ε ( x ) → 0 (from Step 3). So the error is "small × small," which beats the run's plain "small."
Intuition What that buys us
WHY. This is the whole payoff. If you halve the run, the run halves — but the error drops by more than half, because the leftover factor ε ( x ) is itself still shrinking. So near a the line is not just an estimate, it is an excellent one, and it gets better disproportionately fast as you close in.
PICTURE. Watch the red error-bar in the figure at runs 0.4 , 0.2 , 0.1 : the run scale-bar halves each time, but the red bar shrinks far more steeply.
Recall How fast, exactly? (needs an extra assumption)
The clean rule "error ≈ C ( x − a ) 2 " is not free — it holds only when f has a second derivative f ′′ (i.e. f is C 2 ). Then Taylor series gives the next term 2 1 f ′′ ( a ) ( x − a ) 2 , so the error is O (( x − a ) 2 ) . For a function that is merely differentiable (only f ′ exists), all we may claim is the weaker o ( x − a ) from the formula above — small compared to the run, but not necessarily square-law. Concavity and second derivative is exactly the f ′′ that governs the quadratic case.
a vs x " to "one point and a step"
WHAT. In Steps 1–5 we fixed a base point a and asked about a target x . The differential is the same tangent-rise idea , but repackaged so it works at whatever point you currently stand on . Rename that current point simply x (it plays the role a played before), and rename the run as d x — a chosen small step forward from x . Concretely, the old a becomes the new x , and the old target a + ( x − a ) becomes the new x + d x .
d x and d y
Substituting "base point = x , run = d x " into floor 2 of Step 4 (slope at base × run ) gives the rise along the tangent:
d y = f ′ ( x ) d x .
Each symbol: x is the point you are standing on, f ′ ( x ) is the tangent slope there , d x is how far you slide, and d y is the resulting rise if you ride the straight tangent instead of the curve . The slope is written f ′ ( x ) rather than f ′ ( a ) only because we relabelled the base point as x — it is still "slope at the point you launch the tangent from," exactly as before.
d y versus the true change Δ y
WHY. The true change of the curve over the step is Δ y = f ( x + d x ) − f ( x ) — floor 2 plus floor 3. The differential d y is only floor 2. So Δ y ≈ d y , and the gap between them is the Step-5 error (now with x − a replaced by d x ). This is precisely the Error propagation tool: convert a known input wobble d x into an output wobble d y .
PICTURE. Red = d y (rise along the flat tangent). Black curved bit above it = the extra Δ y − d y the real curve adds. Whether the curve sits above or below the line is decided by Concavity and second derivative .
Intuition Why nothing breaks
WHY. Step 4's algebra used no assumption about the sign of ( x − a ) or the direction of bending — it was pure rearrangement. So the formula holds on both sides of a and for both curvatures. The only thing that changes is whether the error floor sits above or below zero.
PICTURE. Four mini-panels: right/left step, up/down bend. In every one the red tangent hugs the curve at a and the error grows as you walk away — the sign of the error is the only difference.
Common mistake The degenerate case: straight-line
f
WHAT/WHY. If f is already a straight line, then f ′′ = 0 everywhere, the curve never leaves its tangent, and ε ( x ) = 0 identically. Then f ( x ) = L ( x ) exactly — the approximation is perfect for all x , not just nearby. Linear approximation of a line is the line itself, which is a reassuring sanity check, not a paradox.
This single figure stacks the whole argument: the curve f , the tangent line L touching at ( a , f ( a )) , the run ( x − a ) , the tangent rise f ′ ( a ) ( x − a ) in red, and the tiny leftover error ε ( x ) ( x − a ) — small because it is small× small.
Recall Feynman retelling — the whole walkthrough in plain words
You are standing on a curvy hill at spot a , and you know two things there: how high you are (f ( a ) ) and how steep the ground tilts (f ′ ( a ) ). You want to guess your height a few steps away, at x . So you close your eyes and walk in a perfectly straight line in the direction the ground was tilting. After a run of ( x − a ) steps, straight-walking has lifted you by slope × run = f ′ ( a ) ( x − a ) . Add that to where you started: f ( a ) + f ′ ( a ) ( x − a ) — that is your guess, L ( x ) . The real hill curved a little while you walked straight, so you are off by a small gap. But here is the magic: that gap is "how much the slope drifted" (ε ) times "how far you walked" (x − a ) — two small numbers multiplied, so it is tiny , and it shrinks much faster than your walk as you take fewer steps. That is why walking straight a little way is an almost-perfect shortcut.
Recall Rebuild the derivation from memory
Start from the definition of slope at a ::: f ′ ( a ) = lim x → a x − a f ( x ) − f ( a ) .
Name the gap between secant and tangent slope ::: ε ( x ) = x − a f ( x ) − f ( a ) − f ′ ( a ) , which → 0 .
Multiply through by the run ( x − a ) and add f ( a ) ::: f ( x ) = f ( a ) + f ′ ( a ) ( x − a ) + ε ( x ) ( x − a ) .
Why the error is negligible near a ::: it is ε ( x ) ( x − a ) = small× small, so error/ ( x − a ) = ε ( x ) → 0 — the error is o ( x − a ) .
Rename base point and run for the differential ::: base = x , step = d x , giving d y = f ′ ( x ) d x with Δ y ≈ d y .
Derivative as a limit — Step 2 is literally its definition; the proof is unpacking that limit.
Tangent line — the line L ( x ) we build in Step 4.
Taylor series — the ( x − a ) 2 next term (when f ′′ exists) that pins down the Step-5 error exactly.
Newton's method — repeats Step 4 to chase a root.
Error propagation — Step 6's d y = f ′ ( x ) d x in the lab.
Concavity and second derivative — decides over- vs under-estimate in Step 7.