Generator

A circle unrolled into a sine wave

A generator in the analysis library, called 21 times across 4 essays. Below: what it draws with nothing chosen and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.

circle-to-sine is one function. Everything below came out of it during this build, at parameters 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 if the generator changes, this page changes with it.

With nothing chosen

A circle unrolled into a sine wave. On the left a radius turns through an angle; on the right the height of its tip is plotted against the angle, tracing a sine curve.

A circular sector of area 0.60 and a hyperbolic sector of area 0.60

A circular sector of area 0.60 and a hyperbolic sector of area 0.60. On the left, the unit circle with the sector from (1, 0) to (cos 1.2, sin 1.2), of area 0.600. On the right, the hyperbola x² − y² = 1 with the sector from (1, 0) to (cosh 1.2, sinh 1.2), of area 0.600. In both, the parameter is twice the shaded area.

Equal-area slices of the hyperbola, 5 of them

Equal-area slices of the hyperbola, 5 of them. The hyperbola x² − y² = 1 with points at parameters 0, 0.3, 0.6, 0.8999999999999999, 1.2, 1.5, the slices between them shaded, each of area 0.15. A table lists each point's coordinates and x + y, which is e to the parameter.

The circular and hyperbolic functions on one set of axes

The circular and hyperbolic functions on one set of axes. cos, sin, cosh, sinh and e^t plotted for t from −2.6 to 2.6. The circular pair oscillate between −1 and 1; the hyperbolic pair grow, and add to e^t.

A hanging chain and a parabola through the same three points

A hanging chain and a parabola through the same three points. A catenary y = 0.45 cosh(x/0.45) hanging between two posts, with the parabola through its ends and lowest point dashed beside it. They differ by up to 0.146 vertically.

The Lissajous figure with frequencies 1 and 2

The Lissajous figure with frequencies 1 and 2. The curve x = sin(1t + 0.3), y = sin(2t) for one full period, drawn in a square, with its 1 self-crossings marked. A generic figure with coprime frequencies p and q crosses itself 2pq − p − q times.

What it checks while it draws

Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.

Where it is called

Every figure on this list is drawn by the same rule, so a change to the rule changes all of them at once. That is why the list is published.

The whole library · What the figures prove