Taylor series
Named by 10 essays across one field — each of them below, with the objects they name alongside it.
One point's worth of information
A Taylor series claims that everything a function does, everywhere, is encoded in its behaviour at a single point. That claim is extraordinary, it is often true, and the cases where it fails are the interesting ones.
An error with an unknown in it
Taylor's theorem does not say a partial sum is close to anything. It says the error is one more derivative evaluated somewhere nobody can name, and everything the theorem is worth comes from what happens when that somewhere is replaced by the worst case.
The centre is a choice
A Taylor series is nearly always written about zero, and nothing about the construction prefers zero. Moving the centre moves the interval the series works on, and moving it repeatedly walks the function into places its first series could never reach.
The points that ruin the fit
A polynomial through eleven points of a gentle curve should be a good approximation to it, and adding more points should make it better. On evenly spaced points it makes it worse, without limit, and the reason is not the polynomial but where the points were put.
A denominator that reaches past the radius
The Taylor series of ln(1 + x) is useless beyond x = 1 however many terms it is given. The same coefficients spent on a numerator and a denominator converge at x = 3, and at x = 100, because a polynomial cannot imitate a singularity and a quotient of two polynomials can.
A series that converges nowhere
Expand Euler's integral in powers of x and the coefficients are the factorials, so the series converges at no x but nought. Stopped at its smallest term it still computes the integral to within about e^(−1/x) — and every term added after that makes the answer worse.
The sine, rebuilt from its zeros
A polynomial is a product of factors, one for each root. Euler treated the sine the same way — one factor for each place the wave crosses the axis — and the product he wrote down is correct, though the zeros alone do not justify it. Multiplied out, it hands over the sum of the reciprocal squares, π²/6, and every even power after it.
The tangent counts zigzags
Arrange the numbers 1 to n so that they go up, down, up, down. There are 1, 1, 2, 5, 16, 61, 272 such arrangements, and those are, multiplied by factorials, the Taylor coefficients of tan x and sec x — the odd lengths from the tangent, the even from the secant. Désiré André proved it in 1879 by splitting a zigzag at its largest number, and the split turns out to be the derivative of the tangent written out term by term.
The zeros a partial sum cannot avoid
The exponential is never zero, and every partial sum 1 + z + z²/2! + … + zⁿ/n! of its series is zero n times. Divide those zeros by n and they line up on a single egg-shaped curve, |z e^(1−z)| = 1, found by Szegő in 1924. The curve is where two sizes tie — the exponential the series is reaching for, and the terms it has not yet reached — and the same tie, carried one step further, places every zero to within a few hundredths.
The sine of one degree
Every table of sines ever made by hand needed the sine of one degree, and no construction with ruler and compass can produce it: one degree is a third of three, and thirds are what the constructions cannot make. Ptolemy fenced it in with an inequality and got it right to the precision his table carried. Thirteen centuries later Jamshīd al-Kāshī wrote the triple-angle formula as a rule for improving a guess and let it run, gaining almost three decimal places at every turn — a cubic solved without Cardano, by doing the same thing again.
Named alongside it
The objects these essays reach for when they reach for this one.
ConvergenceRadius of convergenceApproximationPolynomial approximationAnalytic functionComplex numbersRemainderSingularityAnalytic continuationBoundDerivativeError analysis