The same curvature, kept in one place or spent everywhere
deficit-two-ways is one function. Everything below came out of it during this
build, at arguments taken from the essays rather than invented for this page — so a figure
here is the same figure a reader meets in an essay, and when the generator changes, this
page changes with it.
At its defaults
wedgeDeg: 30
wedgeDeg: 45
wedgeDeg: 90
What it checked while it drew
Collected by running this generator with a listener on the assertions, not written here. The count is how many separate times this build put that claim to the test.
- the growth field carries the same total curvature as the cone, matched to 5.0e-12 rather than asserted ×5
- the integral agrees with its own integration by parts to 2.4e-7 ×5
- the grown disc has curvature everywhere — there is no point on it that a walk could call flat ×1
Where it is called
Changing this generator changes every figure on this list, which is what makes the list worth publishing rather than keeping in a check script.
A crease carries no curvature
A fold looks like the sharpest curvature a sheet could have, and intrinsically it has none at all. Developability — the first of the four conditions this site's checker runs — is exactly the statement that folding an uncut sheet creates no curvature anywhere, including at the creases.
A straight tuck is a cone point
A tuck with straight edges hides length in proportion to how far past its start it has gone, which is a cone's law and not a sphere's. Started at the centre, straight tucks make a cone. Started at several radii, they hide length in a broken line that follows a sphere's cubic, and the worst shortfall falls as the square of the number of starting radii: 36.9 per cent of the rim's hiding from one start, 12.3 from two, 3.3 from four, 0.8 from eight. Every start is three creases at a point, which is a vertex that cannot fold flat — and it is exactly where the gathered sheet's curvature goes.
The test measures the rim
Flattening the specimen is the right test and the measurement anybody actually makes on a flattened specimen is a boundary one — how far the margin overruns its chord. Total curvature is a boundary quantity too: it equals minus two pi R times the growth profile's slope at the rim, and nothing else about the interior survives into it. So a sheet can be curved everywhere and integrate to nothing, and the test reports it flat.
Every generator · The folding nobody designed field · The patterns a reader can fold