Matpic
mathematics, in pictures
Concept

Mean value theorem

The statement that a differentiable function's change across an interval equals its slope somewhere inside, times the interval's length. It converts a bound on the derivative into a bound on the function, which is how nearly every error estimate in analysis is obtained.

Named by 4 essays across 2 fields — each of them below, with the objects they name alongside it.

Area is the undoing of slope. Above, a positive function with the area from 0 to 1.80 shaded. Below, that area plotted against where it stops. The lower curve's slope at 1.80 is 1.129, which is exactly the upper curve's height there.

Area is the undoing of slope

Two operations invented for unrelated reasons — measuring a region and measuring a rate — turn out to be inverse. The picture is two panels sharing one axis, and the claim is that the lower curve's steepness is the upper curve's height.

analysis · The integral How closely a fraction can come, and the barrier that says no closer. Two panels at very different scales: the approximations to √2, which stay above the barrier a degree-two number obeys, and the truncations of a constructed number, which fall below every barrier drawn.

Approached too fast to be algebraic

An algebraic number of degree d cannot be approached by fractions faster than the denominator's dth power. So a number that is approached faster than that is the root of no polynomial at all — and one can be built by choosing where its decimal digits go.

number · Irrationality What the degree-5 sum costs, and what the bound claims. The error of the degree-5 Taylor polynomial of sin x against x, on a logarithmic scale, with Lagrange's bound drawn above it. The bound exceeds the error by a factor of 1.8 at the right-hand end.

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.

analysis · Taylor series The slope of x² sin(1/x): discontinuous at nought, and never jumping. The derivative of x^2 sin(1/x) on [−0.12, 0.12], with the value at nought marked and the level 0.5 crossed 77 times.

A slope can swing but never jump

A function can have a slope at every point without that slope changing continuously: x² sin(1/x) has slope nought at the origin and a slope that swings between −1 and 1 however close to the origin it is taken. What a slope cannot do is jump. Darboux proved in 1875 that a derivative takes every value between any two of its values, so a step is never a derivative — and the only way a slope can be discontinuous is by oscillating.

analysis · The derivative

Named alongside it

The objects these essays reach for when they reach for this one.

DerivativeContinuityLimitAccumulationAlgebraic numberAntiderivativeApproximationAreaBoundConstructionContinued fractionsConvergence

All concepts