Series

Circle area — the series

7 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. A disc unrolled into a triangle. A disc cut into 12 concentric rings, and the same rings straightened and stacked. The longest is the outer circumference; the shortest is nearly a point; the stack is a triangle.

    A circle unrolled into a triangle

    Take a disc apart into rings, straighten each one, and stack them. The result is a triangle whose base is the circumference and whose height is the radius — and its area is the disc's.

    part 1 · geometry
  2. A circle trapped between two 12-sided polygons. A circle with a regular polygon of 12 sides inscribed in it and another circumscribed about it, beside a table of the bounds on pi obtained by doubling the side count.

    Pinned between two sequences

    The ring dissection makes the answer obvious and proves nothing. Archimedes' method proves it and makes nothing obvious — it never exhibits the area at all, it rules out every other value — and the recursion that drives it computes π by hand with one square root a step.

    part 2 · geometry
  3. A hemisphere and a cylinder with a cone taken out, sliced at one height. Two solids drawn in profile — a hemisphere, and a cylinder with a cone removed — each cut at the same height, with the disc and the annulus the cut produces marked and their equal areas given.

    The slice that has to match

    The same slicing one dimension up gives the sphere's volume in a line, once one comparison is noticed: at every height a hemisphere's disc has exactly the area of a cylinder's slice with a cone's taken out of it. The principle that licenses that comparison also returns a false answer the moment the slices are not parallel.

    part 3 · geometry
  4. Bands of a sphere and of its cylinder, cut by the same planes. A unit sphere inside its cylinder with 3 horizontal bands; each sphere band has area 1.885, 1.885, 1.885, equal to the cylinder band of the same height.

    A band of a sphere is a band of its cylinder

    Cut a sphere with two parallel planes and the band between them has exactly the area of the band the same planes cut from the cylinder wrapped round the sphere — whatever the band's latitude. Near the equator the sphere's band is wide and nearly upright; near a pole it is narrow and nearly flat; and the two effects cancel exactly. Archimedes proved it, wanted it on his tomb, and it gives the area of the sphere, the only honest way to pick a random point on it, and a map on which no country is the wrong size.

    part 4 · geometry
  5. The volume of the unit ball and the area of its sphere, dimension by dimension. Unit ball volumes for dimensions 0 to 20, largest at 5 (5.2638); sphere areas largest at 7 (33.0734).

    The ball that is largest in five dimensions

    A disc of radius one has area π, a ball of radius one volume 4π/3, and in each further dimension the unit ball grows — until five, where its volume is 5.264, after which it shrinks towards nothing. The recursion that shows it is the ring dissection of the disc, done one dimension at a time, and the shrinking is not the ball getting small: it is almost all of a high-dimensional cube lying outside the ball, and almost all of the ball lying in a thin rind at its surface.

    part 5 · geometry
  6. The five lunes that can be squared. Five crescents with arc ratios 2:1, 3:1, 3:2, 5:1, 5:3 and their equal-area kites; θ = 45.000°, 34.265°, 26.812°, 23.439°, 16.794°.

    The five crescents that can be squared

    The circle cannot be squared, but some regions bounded by circular arcs can: Hippocrates of Chios found a crescent with exactly the area of a triangle around 440 BC. The trick is to make two multiples of π cancel, and it works for a crescent whose two arcs turn through angles in the ratio m to n exactly when an angle defined by a polynomial can be drawn with ruler and compass. That happens for five ratios and no others.

    part 6 · geometry
  7. Each doubling adds a quarter of what the last one added. n=6: A=2.5980762114; n=12: A=3.0000000000; n=24: A=3.1058285412; sliver ratio 0.263305.

    The error that predicts itself

    Archimedes' polygons close on π slowly — six doublings of the sides for two decimals. But the error does not fall at random. Each doubling adds almost exactly a quarter of the area the doubling before it added, so the rest of the slivers can be summed before they are drawn. Liu Hui saw the quarter in 263; Snell and Huygens turned it into bounds; and the 96-gon that gave Archimedes two decimals gives six once its error is known.

    part 7 · geometry

All series