Pencil — where it appears
Named by 9 essays across 3 fields — each of them below, with the objects they name alongside it.
Four lines have a cross-ratio
The cross-ratio is introduced as a property of four points on a line. Its dual — four lines through a point carry the same number, and any transversal reads it back — is not a second theorem. It is why the first one is true: four rays from an eye are a pencil, every picture of them is a section of that pencil, and a quantity belonging to the pencil cannot depend on which section was taken.
A line is a space of its own
Most of what is said about projective geometry in pictures is said about the plane. One dimension down there is a smaller object with a complete theory: a point of a line is one ratio, a map of a line is three numbers, three pairs fix it, and the cross-ratio is not merely an invariant but the only one — which is a claim that can be made to fail.
How many lamps a drawing has
The shadow field recovers a lamp by intersecting drawn lines. Two lamps make that a partition rather than an intersection — and two centres fit any bundle better than one, on a one-lamp drawing as readily as on a two-lamp one, so a count is a decision that needs a noise level before it exists. A criterion built on a penalty instead of a noise level returns four.
The drawing does not run out of lines
Every post supplies a line to every lamp, so a drawing of five posts offers ten lines to two lamps and twenty to four — the unknowns and the constraints grow together and two posts fix any number of lights. What runs out is the partition, whose margin falls from 251 pixels to six as the share of lines assigned correctly falls from all to just over half.
Dividing to a point off the board
A wall turned forty degrees to the view has its vanishing point 0.65 canvas widths past the edge of the paper, and the construction that aims every course at it without ever reaching it is exact to 1e-13 px. Putting the vertex where the sheet ends instead costs 20.9 px, which on this wall is 300 mm of masonry, and nothing in the drawing says so.
A point and a line are one object
Every projective statement has a partner got by swapping the words point and line, and the partner is true whenever the original is. Run on this collection's own Desargues configuration, all thirty of its incidences survive the exchange to 5 × 10⁻¹⁶ — and three of the dual's ten points land at infinity, which is a fact about where the drawing sits on the page rather than about the theorem.
Desargues read the other way
The theorem's converse is not a second theorem. Exchange points and lines in the ten-point configuration and every one of its thirty incidences holds to 5 × 10⁻¹⁶, the axis becomes a point, the three axis points become lines through it — and what has been written down is the converse, read off the drawing rather than proved.
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.
Four points on a conic look the same from anywhere on it
Four marks on a photographed circle subtend the same cross-ratio at every point of the curve — 1.627695, unmoved over twenty-two positions of the fifth point, to 1.1e-13 degrees of projective spread. A fifth point 6.1 pixels off the conic reads anything from 1.00 to 2.52, so the invariant belongs to the curve rather than to the four marks.
Named alongside it
The objects these essays reach for when they reach for this one.
Cross-ratiodegrees of freedompoint at infinityProjective dualityProjective invariantConditioningDemonstrationDesarguesDualityHomogeneous coordinatesHarmonic conjugateIdentifiability