The idea in one sentence
Stand at one spot on a curve, measure everything you can there, and use those measurements to guess the height somewhere else.
You’d do this when the curve is hard to compute everywhere but easy to measure at one point, or when you want to see what drives a change. A bond’s price is a familiar case: you know its yield and duration today and want to know what happens if rates move.
The guess is built in layers. Each layer uses one more thing you measured at the anchor. The first layer is a straight line. The second bends it. The third bends the bend. You stop when the layers stop mattering, or when you run out of measurements.
Worked example: guess xยณ at x = 1.2 using only what you know at x = 1
The curve is y = xยณ. You are standing at x = 1. The true answer is 1.2ยณ = 1.728, but pretend you can’t compute it.
What you know at x = 1
| Thing | How you get it | Value at x = 1 |
|---|---|---|
| Height | xยณ | 1 |
| Slope | derivative, 3xยฒ | 3 |
| How fast the slope changes | derivative of that, 6x | 6 |
| How fast that changes | derivative of that | 6 |
| Anything further | derivative of a constant | 0 |
The walk. Destination minus start: 1.2 โ 1 = 0.2. Call it h.
Layer 1: pretend the slope stays 3. Guess = height + slope ร walk = 1 + 3 ร 0.2 = 1.6. Off by 0.128.
Layer 2: the slope drifts. It goes up at 6 per unit, so over the walk it rises from 3 to 3 + 6 ร 0.2 = 4.2. Use the average slope, 3.6, instead of 3. Guess = 1 + 3.6 ร 0.2 = 1.72. Off by 0.008.
Written as a separate correction: the new piece is ยฝ ร 6 ร 0.2ยฒ = 0.12, added to the 1.6.
Layer 3: the drift rate drifts. Same move one level deeper. The correction is 6 ร 0.2ยณ รท 6 = 0.008. Guess = 1.728. Off by exactly 0.
Layer 4 and beyond: the measurement is 0, so every further correction is 0.
The guess is now perfect at x = 1.2, and it’s perfect at every other x too. xยณ only has three pieces of information in it. Use all three and you have rebuilt the function.
Try it at x = 3 (walk h = 2): 1 + 3(2) + 3(2)ยฒ + (2)ยณ = 1 + 6 + 12 + 8 = 27 = 3ยณ. Still exact, even two units from the anchor.
Layer 1 is the tangent line. Layer 2 bends it into a parabola that hugs the curve near x = 1 but misses on both sides. Layer 3 (dashed) lies on top of the black xยณ curve at every x, which is the whole point: for a polynomial, enough layers is exactly the function.
Why you divide by 2, then 6, then 24
Each layer’s measurement gets divided before it’s used: layer 1 by 1, layer 2 by 2, layer 3 by 6, layer 4 by 24. Those are 1!, 2!, 3!, 4!. Two ways to see why.
The averaging picture. Layer 2 used the average slope over the walk. The slope was a ramp going from 3 to 4.2, and the average of a ramp is halfway: that’s the รท2. Layer 3 needs the average of something that grows like a parabola, and a parabola from zero spends most of the walk being small, so its average is only a third of its end value: another รท3. Stack them: 2 ร 3 = 6. One more level and the average of a cubic is a quarter: 2 ร 3 ร 4 = 24.
Check the parabola claim with numbers. Sample tยฒ at t = 0.1, 0.2, โฆ, 1.0: you get 0.01, 0.04, 0.09, 0.16, 0.25, 0.36, 0.49, 0.64, 0.81, 1.00. They add to 3.85, average 0.385, and with finer sampling it settles to โ .
The power-raising picture. Differentiating hโฟ gives n ร hโฟโปยน: lowering a power by one multiplies by that power. So raising a power by one divides by it. To turn a constant measurement into a term in hยณ you raise the power three times, paying รท1, รท2, รท3 along the way. That product is 3! = 6.
| Layer | Measurement (xยณ at 1) | Divide by | Term |
|---|---|---|---|
| 1 | 3 | 1 | 3h |
| 2 | 6 | 2 | 3hยฒ |
| 3 | 6 | 6 | hยณ |
| 4 | 0 | 24 | 0 |
Worked example: ln x, where the corrections stop helping
Same game, anchor at x = 1. Height is ln 1 = 0. Slope is 1/x, so 1 at the anchor.
What you know at x = 1
| Layer | Derivative | Value at 1 | Divide by | Term |
|---|---|---|---|---|
| 1 | 1/x | 1 | 1 | h |
| 2 | โ1/xยฒ | โ1 | 2 | โhยฒ/2 |
| 3 | 2/xยณ | 2 | 6 | hยณ/3 |
| 4 | โ6/xโด | โ6 | 24 | โhโด/4 |
| 5 | 24/xโต | 24 | 120 | hโต/5 |
| 6 | โ120/xโถ | โ120 | 720 | โhโถ/6 |
The measurements never hit zero. They alternate sign and grow. So there is always another correction, forever. Whether the corrections help depends on how far you walk.
Short walk: x = 1.5, so h = 0.5. True value ln 1.5 = 0.4055.
| Layers used | Guess | Gap |
|---|---|---|
| 1 | 0.5 | 0.0945 |
| 2 | 0.375 | 0.0305 |
| 3 | 0.4167 | 0.0112 |
| 4 | 0.4010 | 0.0044 |
| 5 | 0.4073 | 0.0018 |
| 6 | 0.4047 | 0.0008 |
Each layer roughly halves the gap. Keep going and it heads to zero.
Long walk: x = 2.5, so h = 1.5. True value ln 2.5 = 0.9163.
| Layers used | Guess | Gap |
|---|---|---|
| 1 | 1.5 | 0.5837 |
| 2 | 0.375 | 0.5413 |
| 3 | 1.5 | 0.5837 |
| 4 | 0.2344 | 0.6819 |
| 5 | 1.7531 | 0.8368 |
| 6 | โ0.1453 | 1.0616 |
The gap gets worse. Each term is ยฑhแต/k, and with h = 1.5 the hแต grows faster than the k can shrink it: 1.5, 1.125, 1.125, 1.27, 1.52, 1.90, โฆ The guess swings wider and wider around the truth.
Inside the band the colored curves pile onto the black one, each layer tighter than the last. Right of x = 2 they fan out: layer 3 shoots up, layer 4 dives, layer 5 shoots higher, layer 6 dives harder. Every extra layer swings further from ln x instead of closer.
The rule. For ln x about 1, the corrections help when |h| < 1 and hurt when |h| > 1. That distance, 1, is the radius of convergence. It’s set by where the function itself breaks: ln x blows up at x = 0, exactly one unit left of the anchor, and the series can’t reach further right than it can reach left.
xยณ had no such limit because its corrections ran out before they could misbehave. That is the difference between a polynomial and everything else.
The formula, decoded
Everything above, written the standard way:
Pโ(x) = ฮฃโโโโฟ fโฝแตโพ(xโ) / k! ยท (x โ xโ)แต
Spelled out for the first few terms:
Pโ(x) = f(xโ) + fโฒ(xโ)(x โ xโ) + fโณ(xโ)/2 ยท (x โ xโ)ยฒ + fโด(xโ)/6 ยท (x โ xโ)ยณ + โฏ
Every symbol, in the order it appears:
| Symbol | Read it as | What it is | In the xยณ example |
|---|---|---|---|
| f | “the function” | the curve you’re guessing; f(x) is its height at x | xยณ |
| x | “x” | the destination, any point on the horizontal axis | 1.2 |
| xโ | “x-nought” | the anchor, where you stood and took measurements | 1 |
| x โ xโ | “the walk” | destination minus start, also written h | 0.2 |
| P | “the polynomial” | the guess; a polynomial because it’s a sum of powers of the walk | 1 + 3h + 3hยฒ + hยณ |
| n | “n” | how many layers you used; the highest power in the guess | 3 |
| Pโ(x) | “P-n of x” | the guess using n layers, evaluated at x | Pโ(1.2) = 1.728 |
| k | “k” | the counter: which layer you’re on, running 0, 1, 2, โฆ up to n | 0, 1, 2, 3 |
| ฮฃโโโโฟ | “sum from k = 0 to n” | add up the term for every k from 0 through n | four terms |
| fโฒ, fโณ, fโด | “f-prime, double-prime, triple-prime” | first, second, third derivative: slope, rate of slope, rate of that | 3xยฒ, 6x, 6 |
| fโฝแตโพ | “f-k” | the k-th derivative; fโฝโฐโพ is f itself, fโฝยนโพ is fโฒ, and so on | fโฝยฒโพ = 6x |
| fโฝแตโพ(xโ) | “f-k at x-nought” | the k-th derivative evaluated at the anchor, a plain number | 1, 3, 6, 6 |
| k! | “k factorial” | 1 ร 2 ร โฆ ร k, the divide-by column; 0! = 1 | 1, 1, 2, 6 |
| (x โ xโ)แต | “the walk to the k” | the walk raised to the layer number | 1, 0.2, 0.04, 0.008 |
| f(x) โ Pโ(x) | “the gap” | true height minus guess | 0 |
| ฮพ | “xi” (Greek letter) | some unknown point between xโ and x; used only in the error formula | somewhere in [1, 1.2] |
So the k = 2 term of the sum is: take the second derivative (6x), evaluate at the anchor (6), divide by 2! (3), multiply by the walk squared (0.04). That’s 0.12, the layer-2 correction from the worked example.
How big is the gap? It’s controlled by the next measurement you didn’t use, taken somewhere along the walk:
f(x) โ Pโ(x) = fโฝโฟโบยนโพ(ฮพ) / (n+1)! ยท (x โ xโ)โฟโบยน for some ฮพ between xโ and x
Read it as: the gap is small when the walk is short (the hโฟโบยน is tiny), when the next derivative is tame, or when n is large enough that (n+1)! dominates. The gap is large when the walk is long and the higher derivatives are big, which is exactly what happened to ln x at x = 2.5.
Real-world uses
Four places you’ve met this without the name. Each is worked with numbers.
Bond prices: duration and convexity. A 10-year zero at a 4% yield is priced 100/1.04ยนโฐ = 67.56. The anchor is 4%. The two measurements are duration (layer 1, slope) = 10/1.04 = 9.62 and convexity (layer 2) = 10 ร 11/1.04ยฒ = 101.7.
Yield rises 1%, so the walk is 0.01:
| Layers | Guess | True price | Gap |
|---|---|---|---|
| 1 (duration only) | 67.56 ร (1 โ 9.62 ร 0.01) = 61.06 | 61.39 | 0.33 |
| 2 (add convexity) | 61.06 + 67.56 ร ยฝ ร 101.7 ร 0.01ยฒ = 61.40 | 61.39 | 0.01 |
Yield rises 3%, walk 0.03: duration alone says 48.07, convexity pulls it to 51.16, true is 50.83. The gap is 30 times larger than for the 1% move. That’s the long walk. Traders quote duration and convexity for exactly the reason your tool quotes delta and gamma.
How a calculator computes sin. There’s no sin key inside the chip; it sums the series about 0: x โ xยณ/6 + xโต/120 โ xโท/5040 + โฆ.
sin(0.5): 0.5 โ 0.0208 + 0.0003 = 0.4794. True value 0.4794. Three terms.
sin(3): 3 โ 4.5 + 2.025 โ 0.434 + 0.050 โ 0.004 = 0.137. True value 0.141. Six terms and still off in the third decimal. The series converges everywhere, unlike ln x, but a long walk needs many more layers. Calculators dodge this by folding the input back to a small angle first, which is the “walk less” strategy.
Pendulum clocks. The textbook period T = 2ฯโ(L/g) comes from replacing sin ฮธ with ฮธ, which is layer 1 of the sine series. The next layer says the true period is longer by a factor of about 1 + ฮธโยฒ/16, where ฮธโ is the swing in radians.
| Swing | ฮธโ in radians | Correction | Period error if you ignore it |
|---|---|---|---|
| 5ยฐ | 0.087 | 1.0005 | 0.05% |
| 20ยฐ | 0.349 | 1.0076 | 0.8% |
| 60ยฐ | 1.047 | 1.069 | 7% |
A clock built on layer 1 keeps time at small swings and drifts at big ones. Same story: the anchor is ฮธ = 0 and the walk is the amplitude.
Compound growth. (1 + r)โฟ about r = 0 is 1 + nr + n(nโ1)rยฒ/2 + โฆ. For 5% over 10 years: layer 1 says 1.50, layer 2 says 1.50 + 45 ร 0.0025 = 1.61, true is 1.63. Layer 1 alone is the “simple interest” mental shortcut, and the layer-2 term is exactly how much compounding beats it.
All four break the same way ln x did. Past some size of move the layers you kept stop describing the function, and the fix is either more layers, a shorter walk, or computing the real thing.
Quick reference
Recipe for any function about any anchor
- Pick the anchor xโ. Compute the walk h = x โ xโ.
- Take derivatives of f until you have as many as you want, and evaluate each at xโ.
- Divide the k-th one by k!, multiply by hแต.
- Add them up. That’s the guess. The leftover is the gap.
- If the derivatives hit zero, the guess becomes exact. If they don’t, check whether the terms are shrinking; if not, you walked too far.
The two examples side by side
| xยณ about 1 | ln x about 1 | |
|---|---|---|
| Derivatives at anchor | 1, 3, 6, 6, 0, 0, โฆ | 0, 1, โ1, 2, โ6, 24, โฆ |
| k-th term | 3h, 3hยฒ, hยณ, then 0 | (โ1)แตโบยน hแต / k |
| Exact after | 3 layers | never |
| Works for | every x | 0 < x < 2 only |
| Why | polynomial: information runs out | ln x breaks at 0, one unit from the anchor |
Factorials
| k | k! | Average of tแต over [0, h] |
|---|---|---|
| 1 | 1 | h/2 |
| 2 | 2 | hยฒ/3 |
| 3 | 6 | hยณ/4 |
| 4 | 24 | hโด/5 |
| 5 | 120 | hโต/6 |
Common series about 0, for reference
| Function | Series | Converges for |
|---|---|---|
| eหฃ | 1 + x + xยฒ/2 + xยณ/6 + โฆ | all x |
| sin x | x โ xยณ/6 + xโต/120 โ โฆ | all x |
| cos x | 1 โ xยฒ/2 + xโด/24 โ โฆ | all x |
| 1/(1โx) | 1 + x + xยฒ + xยณ + โฆ | |x| < 1 |
| ln(1+x) | x โ xยฒ/2 + xยณ/3 โ โฆ | โ1 < x โค 1 |
The last two have a radius because the function breaks at x = 1 or x = โ1. The first three never break, so the series works everywhere even though it never terminates.
Key Insights
| What | Why it matters |
|---|---|
| Anchor and walk | Everything is measured at one point; the guess only ever knows about that point |
| Layers = derivatives | Each derivative at the anchor buys one more correction; that is all the information you have |
| Divide by k! | Raising a power costs a division each time; averaging a ramp, parabola, cubic costs รท2, รท3, รท4 |
| Polynomials terminate | Derivatives hit zero, so finitely many layers rebuild the function exactly, everywhere |
| Radius of convergence | For everything else, past the distance to the nearest breakdown the layers make the guess worse |
| The gap formula | The error is the first term you dropped, evaluated somewhere on the walk |








