Every essay — page 8
What survives Constructing a view Where to stand Surfaces that are not flat The other systems Light and mirrors Mirrors that are not cameras Measuring from one picture Through water and glass The real instrument The second eye What a pair is for Many pictures at once The eye that moves Systems that kept the measure What each system gave up What a machine computes The rectangle behind the lens The second projection Drawn confidently
What survives
A projection destroys length, angle, area and the ratio of lengths. One quantity comes through untouched, and almost everything checkable about a picture is checked with it.
A floor with a referent
Recover a focal length from two vanishing points and measure more points along each line. Through a pinhole the error falls from 0.34 per cent to 0.05 and the instrument finds no floor at all. Through a lens of k₁ = −0.05 it falls, turns, and rises to 0.70 per cent — because the noise the extra points removed had been partly masking the lens's bend. The floor is 0.72 per cent of the focal length, and doubling the distortion coefficient doubles it to 1.44. It is not noise and not conditioning; it is the model, priced.
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.
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.
Three conics are one conic and a choice of horizon
Ellipse, parabola and hyperbola are one curve and three answers to which line is infinitely far away. Pitching one camera over one 6 metre circle walks through all three, and the crossing sits at 30.465545° by two instruments with different units — but the line that decides is not the horizon, and the popular name for the choice names the wrong one of the two lines a picture of a plane has.
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.
The triangle a camera cannot move
Three mutually perpendicular directions give three vanishing points, and that triangle is self-polar with respect to the image of the absolute conic — to 3.1e-13 px, with no length and no angle anywhere in the statement. Turn one direction two degrees out of square and the polars miss their sides by 65.8 px. The statistic this collection has been printing as evidence for the same claim, meanwhile, is an identity that cannot fail.
A curved surface made of straight lines
A hyperboloid of one sheet carries two families of exactly straight lines, so a photograph of a cooling tower is full of straight lines bounding nothing flat — 28 of them here, drawn to 2.3e-13 px of straightness against a parallel of the same surface that bows 120 pixels. Both families' directions satisfy one asymptotic equation, so their vanishing points lie on one conic in the picture and not on two, to 1.6e-12 px with no fitting anywhere.
A line is a closed curve
The point at infinity is an ordinary point, so a projective line is a circle — and the consequence is about order. Betweenness broke in 21.1 per cent of ten thousand random projectivities and separation in none of them, and the zero is a reading rather than a blind instrument because a fold of the same circle breaks it 3,522 times.
Three kinds of map on a row of posts
A projectivity of a line has two fixed points, one, or none, and every one of the three is a picture this collection already draws. The three orbits are told apart by where they go — one piles onto a fixed point, one crawls, and the third returns after six steps and is 1.9e-11 pixels from where it started.
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 picture contains what is behind the camera
A pinhole maps a direction, and a line has one direction, so a point behind the eye lands on exactly the same mark as its reflection in front — here to 6.4e-14 pixels. The sign the division throws away is why cheirality is a fact supplied from outside the picture rather than measured in it.
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.
The real instrument
A lens is a departure from the pinhole, and the departure is the largest systematic error in every measurement made here. It bends straight lines, destroys the invariant, and can be recovered from nothing but the knowledge that some edges were straight — which is the round trip again, on a harder problem.
Straight lines that are not
Everybody says the edges of a wide-angle frame bow. Nothing is special about the edge. A radial map moves every point along its own radius, so the only line it leaves straight is one through the principal point, and the bend of every other is decided by how far it passes from that one place.
A lens destroys the invariant
The cross-ratio is the one thing a projection preserves, and nearly everything checkable about a photograph is checked with it. A lens returns it one and a third per cent out where the pinhole is exact to fifteen digits — and the height error that follows tracks a quantity nobody would guess.
Fitting a lens from straightness alone
No calibration target, no known scene, no camera. Only the knowledge that some edges in the picture were straight — and the coefficient comes back to fifteen digits. Then it comes back with a companion, and the two are correlated at −0.997.
The principal point is not the centre
Every textbook that computes a focal length from two vanishing points supplies the middle of the frame as the principal point. On a shifted or cropped picture that is wrong, and it costs one and a half per cent of the answer at a fifth of a frame's shift.
The eye is a place, not a point
Rotate a camera about the wrong point and the sky still stitches perfectly while the foreground slides. The misregistration falls as one over the distance, exactly — which is what says the fault is the pivot and not the lens.
The lens a pavement can hide
A photographed pavement reads as a correct drawing up to a radial coefficient of about four tenths — a lens strong enough to bow a straight edge across the page by nearly six pixels and to print as twenty per cent distortion at the frame's corner. The reason is that a pavement sits near the principal point, which is the one part of the frame a radial map barely touches.
The hole a scene actually sees
The stop is not the centre of projection. Model a 50 mm lens with its stop 18 mm behind the glass and the chief rays from every object distance cross the axis at one point 28.1 mm on the other side of the lens — 10.1 mm from the stop and 1.56 times its size — to 3.6 × 10⁻¹⁵ mm. That point is the entrance pupil, and it is where a picture is a projection from.
A barrel model folds at a radius it sets itself
The polynomial every calibration fits to a wide lens stops increasing at a radius fixed by its own first coefficient — 47.49° of field at k₁ = −0.28 — and past it two directions land on one picture radius. The routine that undistorts pictures with it does not refuse there. It hands back wrong directions from 46.75°, by as much as 106.5°, and refuses only at 65.5°: a fifth of the field returned silently wrong.