Duality — where it appears
Named by 11 essays across 2 fields — each of them below, with the objects they name alongside it.
Six tangents and the point nobody drew
Brianchon's theorem is a test a reader can run on a finished drawing with nothing but a straightedge — six tangents, three diagonals, and a question about whether they meet. Pointed at the drawing office's four-centre ellipse it rejects the curve by 1.7 per cent of the figure's own width, 546 times the instrument's own floor, with no true ellipse to compare against.
Five marks and the sixth
Five points determine a conic exactly — five coefficients up to scale, five equations, nothing left over — so a fit through five marks on a photograph is not a fit at all. The sixth mark, withheld, lands on the curve to 1.9e-13 px. And the moment a sixth mark is used, the arithmetic changes character completely: it becomes a least-squares problem, and the residual starts telling you something the five could never say.
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.
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.
The horizon has a pole
Every other duality in this collection is a matrix somebody picked. A calibrated camera fixes one nobody picked, and under it the horizon of a plane and the vanishing point of that plane's normal are pole and polar — to 2.7 × 10⁻¹² pixels. Run backwards, those two marks give the focal length with no known length, no right angle and no square anywhere in the scene.
Five tangents name the same conic
Fitting a conic to five lines is the same six-coefficient nullspace problem as fitting one to five points, with the roles exchanged, and it lands on the same curve to 2.6 × 10⁻¹¹ pixels. What duality does not promise is that the two are equally good evidence — and measured at equal marking precision they are, to within seventeen per cent, because a drawn tangent is made of points.
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.
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.
Every projectivity is two perspectivities
A perspectivity is what one eye does between two lines, and two of them compose to any projectivity at all. The construction closes on a point nobody used to 1.4e-14 pixels, both of its free choices move the second centre 663 pixels across the picture, and the composite does not move at all.
The theorem that is obvious one dimension up
Desargues in the plane needs a proof and in space needs none — two triangles in different planes have their corresponding sides meeting on the line where the planes cross, and the meets land 1.0e-14 metres off it. The plane figure is a shadow of the spatial one, and five different solids cast the same photograph to 2.0e-12 pixels.
Named alongside it
The objects these essays reach for when they reach for this one.
IncidenceConicpoint at infinityProjective dualityProjective invariantTangentComplete quadrangleCross-ratioDesarguesHomographyPencilProjective map