Hide outline
Feedback

Taylor Series: Intuition, Derivation, Error

Taylor Series: Intuition, Derivation, Error

Build a clear mental model of Taylor series as local curve reconstruction from derivatives, learn why the coefficients look the way they do, and get practical tools to estimate error and avoid common traps when a series converges but still misleads.

Taylor series is the idea that a curve keeps a kind of DNA at a point. Not just its height, but its slope, its bend, and every higher twist encoded by derivatives. If you capture enough of that DNA at x=ax=a, you can rebuild the function nearby with a polynomial. The surprise is not that polynomials approximate functions. The surprise is how systematically the derivatives decide every coefficient, and how you can predict the approximation error before you trust it.

Take a look at how a familiar function gets rebuilt near a point.

The key word is nearby. The polynomial is not trying to be the function everywhere. It is trying to match what the function is doing at one point so well that, close to that point, the two become hard to tell apart.

What a Taylor series is actually saying

A Taylor polynomial around a center aa is a polynomial in (xa)(x-a) that uses the derivatives of ff at aa as its coefficients. Written out to degree nn, it is

Tn(x)=k=0nf(k)(a)k!(xa)kT_n(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k

Each piece has a job.

  • f(a)f(a) pins the height at x=ax=a
  • f(a)(xa)f'(a)(x-a) pins the slope at x=ax=a
  • f(a)2!(xa)2\frac{f''(a)}{2!}(x-a)^2 pins the curvature at x=ax=a
  • higher powers pin higher order shape information

Explore how each term contributes as you move away from aa.

Those factorials in the denominators look arbitrary at first. They are not. They are the bookkeeping that makes derivative matching work cleanly.

Read it locally
Think of Tn(x)T_n(x) as a microscope setting. A bigger nn usually gives a sharper view near aa, not a wider view everywhere.

Why the coefficients must be derivatives

Here is the featured snippet version.

The Taylor polynomial is the unique degree nn polynomial whose value and first nn derivatives match the function at the center aa. If you force P(k)(a)=f(k)(a)P^{(k)}(a)=f^{(k)}(a) for k=0,1,,nk=0,1,\dots,n, solving for the coefficients gives P(x)=k=0nf(k)(a)k!(xa)kP(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k. The factorials appear because the kkth derivative of (xa)k(x-a)^k at aa equals k!k!.

Now the intuition behind that last sentence. Suppose you try to build

P(x)=c0+c1(xa)+c2(xa)2++cn(xa)nP(x)=c_0+c_1(x-a)+c_2(x-a)^2+\cdots+c_n(x-a)^n

At x=ax=a, every term with (xa)(x-a) vanishes, so P(a)=c0P(a)=c_0. Matching the function’s value forces c0=f(a)c_0=f(a).

Differentiate once. At x=ax=a, only the linear term survives cleanly, so P(a)=c1P'(a)=c_1. Matching slope forces c1=f(a)c_1=f'(a).

Differentiate twice. The quadratic term contributes 2c22c_2 at x=ax=a. So c2=f(a)/2c_2=f''(a)/2.

Keep going. The kkth derivative pulls down a factor of k(k1)1=k!k(k-1)\cdots 1=k!. That is why the general coefficient is ck=f(k)(a)/k!c_k=f^{(k)}(a)/k!.

See the derivative matching idea in one place before you try it on your own functions.

Once you internalize this, the Taylor formula stops being something to memorize. It becomes the only thing it could be if your goal is to match derivatives at a point.

The series you reuse constantly

When a=0a=0, the Taylor series is called a Maclaurin series. Many of the most used expansions are Maclaurin because 00 makes (xa)(x-a) simple and derivatives often have nice patterns.

Spend a moment with the common templates.

Four workhorses

  • Exponential: ex=1+x+x22!+x33!+e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots
  • Sine: sinx=xx33!+x55!\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots
  • Cosine: cosx=1x22!+x44!\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots
  • Geometric: 11x=1+x+x2+x3+\frac{1}{1-x}=1+x+x^2+x^3+\cdots for x<1|x|<1

The patterns matter as much as the formulas. Sine is odd powers only. Cosine is even powers only. Both alternate signs, which often makes their errors behave nicely. The geometric series looks almost too simple, but it is also the one that most clearly shows the idea of an interval where the series is valid.

Pattern spotter
If derivatives repeat (like exe^x) you get all powers. If derivatives cycle signs (like sin\sin and cos\cos) you often get alternating series with missing parity.

Error and the remainder you can bound

A Taylor polynomial is a promise plus an IOU. The promise is the polynomial Tn(x)T_n(x). The IOU is the remainder Rn(x)=f(x)Tn(x)R_n(x)=f(x)-T_n(x).

One widely used form is the Lagrange remainder. If ff has n+1n+1 derivatives on the interval between aa and xx, then for some cc between them,

Rn(x)=f(n+1)(c)(n+1)!(xa)n+1R_n(x)=\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}

You usually do not know cc, but you can bound the error by bounding the derivative. If f(n+1)(t)M|f^{(n+1)}(t)|\le M for all tt between aa and xx, then

Rn(x)M(n+1)!xan+1|R_n(x)|\le \frac{M}{(n+1)!}|x-a|^{n+1}

Try error bounds by choosing a function, center, and degree.

A concrete feel for the bound

If xa|x-a| is small, the power xan+1|x-a|^{n+1} shrinks fast. If nn is modest, the factorial (n+1)!(n+1)! also grows fast. Those two together are why Taylor approximations can be astonishingly accurate near the center.

The flip side is that if you move farther from aa, the power term can explode and overwhelm the factorial. That is not a failure of algebra. It is the series reminding you it was built from local information.

When Taylor series mislead

There are two separate questions people blur together.

  • Does the series converge at the xx you care about
  • If it converges, does it converge to the original function there, and how good is a finite truncation

For many nice functions, convergence and usefulness line up. But not always, especially when there is a singularity nearby or you pick a center that is too far from where you will evaluate.

Move the center and evaluation point and watch how the behavior changes.

Center choice is not cosmetic

The expansion around aa bakes in the distance to the nearest point where the function stops being analytic, often a division by zero or similar breakdown. For 11x\frac{1}{1-x}, the problem point is x=1x=1. If you center at 00, the series cannot converge beyond x<1|x|<1 because you hit the singularity one unit away. If you center at a=2a=2, the nearest singularity is still at 11, now only one unit away in the other direction, so the useful neighborhood shifts.

Local tool
Higher degree helps most when you keep xx close to aa. If you cannot keep them close, change the center instead of only increasing nn.

Using Taylor series in practice

In everyday math and science, you often do not need a whole infinite series. You need the first term that captures the effect you care about and the first neglected term that tells you the error scale.

A few mini-recipes make this feel natural.

Practical moves that show up everywhere

  • Linearization: f(x)f(a)+f(a)(xa)f(x)\approx f(a)+f'(a)(x-a) when you only need a quick local estimate
  • Small-angle: sinxx\sin x\approx x and cosx1x22\cos x\approx 1-\frac{x^2}{2} for small xx in radians
  • Keep the first nonzero error term: if you stop at degree nn, the next term often approximates the size of the error when xx is close enough

A good habit is to always say what small means in your context. Small compared to what. Usually it means xa|x-a| is small enough that the next term in the series is safely below your tolerance.

Next steps toward power series thinking

Taylor series become much more than approximation once you start asking when a function equals its series, not just near the center but wherever the series converges. That question leads you to power series as objects in their own right, to radius of convergence as a geometric fact about distance to singularities, and to a sharper sense of what analytic really buys you.

The next time you meet a function you do not recognize, try this as a concrete next step. Pick a center close to where you will evaluate, compute the first two nonzero terms, and estimate the remainder from the next derivative. That workflow turns Taylor series from a formula into a tool you can trust.

Was this lesson helpful?
Dive Deeper

Generate a follow-up sub-lesson on any aspect of this topic

Related content