Matpic
mathematics, in pictures
Ladder

The derivative — the ladder

5 distinct arguments against one idea, from the one that introduces it to the one that assumes the rest.
  1. Secants closing on the tangent to x². Secant lines through x = 1 and a second point 1.2, 0.8, 0.5, 0.28, 0.12 away, with the slope of each. They approach 2, the derivative there.

    The slope of a single point

    A slope needs two points. A derivative is the slope at one. The construction that bridges the gap is a sequence of secants, and the whole difficulty of calculus is in what "the limit of that sequence" is allowed to mean.

    rung 1 · analysis
  2. 6 cosines, and a curve with no tangent anywhere. Partial sums of a sum of cosines whose amplitudes shrink geometrically and whose frequencies grow faster. Each term adds finer detail; the curve converges and its slopes do not.

    A curve with a corner at every point

    Continuity means a curve can be drawn without lifting the pen. Differentiability means it has a tangent. The first was assumed to nearly imply the second until 1872, when Weierstrass exhibited a curve that is continuous everywhere and has a tangent nowhere — and it is a sum of cosines.

    rung 2 · analysis
  3. A rectangle grown on two sides. A rectangle x by √x, with both sides grown by the change a step of h makes. The new area is the old one, two strips, and a small corner rectangle that has both increments in it.

    A rectangle grown on two sides

    A product of two changing quantities is the area of a rectangle whose sides both move. The extra area is two strips and a corner, and the whole of the product rule is the observation that the corner is negligible and the strips are not.

    rung 3 · analysis
  4. A curved map of the plane, and the flat one that fits it at a point. The map (x² − y², 2xy) carrying a small square patch of grid. Beside it, the image of the same patch under the linear map given by the matrix of partial derivatives, drawn dashed on top of the curved image.

    The flat map that fits closest

    A derivative is usually met as a number, which works because a line through a point is described by one. In more than one dimension the object that plays the same role is a linear map, and the number was always a one-by-one instance of it.

    rung 4 · analysis
  5. eˣ and its inverse, reflected in the diagonal. A curve, the line y = x, and the curve reflected in it — which is the graph of the inverse function. Tangents are drawn at matched pairs of points, and the two slopes at each pair multiply to one.

    The slope of the mirror image

    Undoing a function is reflecting its graph in the diagonal, and a reflection turns a slope into its reciprocal. That single observation supplies the derivative of every inverse — the logarithm, the roots, the inverse trigonometric functions — without differentiating any of them.

    rung 5 · analysis

All ladders