Concept

Complete quadrangle — where it appears

Four points and the six lines joining them in pairs, whose three diagonal points carry the harmonic relation every straightedge construction here uses. It is the smallest figure whose crossings produce a new point from four given ones, and repeating it is how a straightedge reaches every rational fraction of a segment.

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

the diagonals against a ruler, at 3.2 mthe diagonals — exactthe ruler — 22.7 px outcorrect from 23 cm, at 160 mm wideharmonic set -1.000000 · 8e-14 px

The diagonals find the middle

Three taught methods for spacing a receding row are all wrong, and the best of them misplaces a post by three and a half metres. There is a fourth, it needs no measurement and no vanishing point, and it is exact at every camera and every depth — because 'the diagonals of a rectangle cross at its centre' is a statement about which lines meet where, and that is the one kind of statement a projection cannot damage.

foundations · Harmonic
centre of the ellipseimage of the centrepole of the horizon — 1e-13 px awaycorrect from 22 cm, at 160 mm widepole 1e-13 px from the truth

The centre, got back out of the picture

The image of a circle's centre is not the centre of the image ellipse — this site measured the gap four phases ago and left the obvious question unanswered. It has an exact answer, it needs a straightedge and the horizon, and it is one sentence: the image of the centre is the pole of the vanishing line with respect to the image conic.

foundations · Conic
1correct from 19 cm, at 160 mm wide46° across

Seven is not a power of two

Halving a receding depth by diagonals is exact, and every book gives it. Halving reaches a half, a quarter, three eighths — and never a third, however many times it is spent, because no power of two is divisible by three. There is a construction that reaches every whole fraction, it costs three lines rather than a stack of quadrangles, and the extra ingredient is not a measurement.

construction · Projectivescale
the pointone point, one conicconstructed and computed agree to 2e-13

The polar with a straightedge

Two secants through a point cut a conic at four places; the complete quadrangle they make has two more diagonal points; the line through those is the polar. Not one length, angle or midpoint is used, so the whole construction survives the projection that made the picture — and three unrelated pairs of secants land on the same line to 4.3e-13, while moving the point moves it by fifteen orders of magnitude more.

foundations · Poleandpolar
horizon12.6180339887498954.618033988749895to the measuring point, 0.70 widths offcorrect from 19 cm, at 160 mm wide3 bays · 6e-14 px

The bays that are not equal

The diagonal repeats a bay exactly and forever, and what it reaches is the whole multiples of that bay and nothing else. An arcade of 1:1.5:2 is 250 mm short of its boundary with no halving, exact after one, and an arcade of 1:1.333:2 is out of reach at every depth whatever. A measuring point lays out all three to 6e-14 px.

construction · Repeatbay
00the third mark, at infinity0 … 12 marks in the unit intervalcorrect from 19 cm, at 160 mm widerank 1 · 3e-15 from the exact rationals

What a straightedge reaches on a receding line

Three marks on a receding line fix a coordinate, and everything a straightedge builds from them is a ratio of whole numbers. Three complete quadrangles put 1655 marks on the unit interval with no gap above 0.0038, a third costs two quadrangles where repeated halving never reaches one at all, and the same net built on a line that does not recede arrives at the identical 30 coordinates.

construction · Projectivescale
ABCDjoin and meet only — no length, no angle(A B; C D) = -1.000000000

The quadrilateral that finds the middle

The harmonic conjugate is usually built from four points. Built instead from four lines — the dual construction, the same number of straightedge steps — it lands on the same fourth point to 1.2 × 10⁻¹⁵ of the range's own length, gives a cross-ratio of exactly −1, and refuses the midpoint, whose conjugate is at infinity.

foundations · Harmonic
123456Pascal · family at 0.500correct from 23 cm, at 160 mm widethree meets, collinear to 1.2e-12 px

Pascal's line, and the theorem underneath Pappus

Six points of a conic, three meets of opposite sides, collinear to 1.3e-12 px. Flatten the conic towards a pair of lines and the residual never leaves the axis — 5.7e-14 px at the end, where the theorem has become Pappus's — so Pappus is the degenerate case of Pascal reached continuously rather than a separate theorem that resembles it.

foundations · Fiveconic

Named alongside it

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

Harmonic conjugateCross-ratioProjective invariantStraightedge constructionVanishing pointIncidenceConicDualityDyadic rationalHorizonAffine structureHarmonic net

All concepts