Concept

Desargues — where it appears

Desargues' theorem: two triangles whose corresponding vertices lie on lines through one point have their corresponding sides meeting on one line.

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

the outline, its shadow, and the outline recovered from itcorrect from 20 cm, at 160 mm widerecovered to 4e-16 m

A shadow can be un-cast

A shadow looks like a lossy record — a flattened smear with the shape half thrown away. It is nothing of the kind. The map from the occluder's plane to the floor is a plane projectivity, so it has an inverse, and the outline comes back out of its own shadow exactly. What breaks it is not the light and not the shape: it is the floor not being flat.

light · shadowinverse
three side intersections, collinear to 3e-13 pxcentrethree sides paired, three pointscollinear to 3e-13 px

Two triangles and the line nobody drew

Desargues' theorem is the reason a hand-drawn shadow construction closes. An object and its shadow are two figures in perspective from the lamp; the theorem says their corresponding sides meet, pairwise, on one line — which is the ground line. So the closure a draughtsman treats as confirmation that the work is accurate is a theorem they cannot violate.

foundations · desargues
horizonABCDany vertexon the groundin the picturelength AB1.00011.3930ratio AB:CD0.56670.6837cross-ratio1.31681.3168correct from 26 cm, at 160 mm wide34° across

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.

foundations · duality

Named alongside it

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

centre of projectionCross ratioDemonstrationHarmonic conjugateline at infinityPoint lightProjective dualityProjective invariantProjective maperror propagationGround lineHomography

All concepts