line at infinity — where it appears
Named by 17 essays across 5 fields — each of them below, with the objects they name alongside it.
Where parallel lines meet
They meet at a point that is not in the plane, and the horizon is the line made of all such points. Treating that as bookkeeping misses what it buys — a vanishing point becomes an ordinary point of the picture, findable from the drawn lines, checkable, and enterable into any calculation the others are.
A picture with no size–distance signal
In a system with no diminution the drawn size of an object falls at exactly zero pixels per metre, so nothing in the picture says how far away anything is. Depth has to be carried by something else, and what carries it is height on the page — linearly, and without a horizon.
The plan hidden in the photograph
Rectifying the ground is the same operation as rectifying a wall, and it turns a photograph into a site plan. The horizon is not an input to it and comes out as a consequence — the plan's points at infinity land on it, at first order, which is the check that the plan is a plan and not a plausible warp.
The circle whose centre moves
The image of a circle is an ellipse, and the image of the circle's centre is not the centre of that ellipse. The gap is 3 or 4% of the ellipse's width in an ordinary view — large enough to see, small enough to be dismissed as a slip by anyone not expecting it, and the reason drawn wheels look wrong.
The shadow of a ball is a conic
A cone cut by a plane is a conic section — which is the definition of the phrase, not an analogy — and the shadow of a ball is exactly that cut. So the shadow closes or runs to the horizon depending on where the lamp is, and the condition is not what anyone guesses: it is that the lamp is above the top of the ball. The ball's distance appears nowhere in it.
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.
What one picture of a plane determines
A photograph of a tiled floor fixes that floor's geometry up to a projectivity, and no further. Supplying the horizon buys back the midpoint — exactly, and nothing else. Supplying the image of one circle buys the right angle and the ratio of two lengths at right angles. Three stages, three prices, and a quantity a stage does not determine has no value rather than a wrong one.
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.
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.
An angle is a cross-ratio
A projection destroys angle, which every account of perspective says and a direct measurement confirms. It destroys it only in the sense that the picture no longer carries it for free — because an angle is a cross-ratio taken against two particular points, and once those two points are located in a photograph the world's angles can be read off it directly, with no rectification, no camera, and nothing measured but which lines pass through which points.
The two points a picture hides
The stratification rung says a photograph of a plane is projective, becomes affine when the vanishing line is known, and becomes metric with one more fact. The one more fact has a size and a shape: it is two points, complex conjugates on the vanishing line, and a rectification built from those two and nothing else returns every world angle to a tenth of a picodegree and every ratio of lengths to five parts in a quadrillion — and refuses to name a length.
One conic calibrates the camera
A focal length is usually recovered from two perpendicular vanishing points by an orthocentre construction with a square root in it. There is a second derivation with no construction and no square root — two vanishing points of perpendicular directions must be conjugate with respect to one conic in the picture — and the two agree to the last bit. They are not two methods. The conic is what a calibrated camera is.
Two lines at infinity
A picture of a plane has two of them and they are not the same line. One is the horizon, where the plane's own infinity went; the other is where the picture's coordinates run out. The words ellipse and hyperbola are about the second, and every scrap of metric information is on the first — so a circle whose photograph is a hyperbola calibrates exactly as well as one whose photograph is an oval, to 7e-14 of a degree.
The horizon's shape belongs to the surface
The horizon is one great circle of directions whatever draws it, and at zero tilt all six named surfaces draw it straight. Tilt the camera and they separate — and the cylinder, not the equirectangular surface, is the one whose horizon is exactly a cosine, to 9e-16 against 8.3e-3.
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.
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.
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.
Named alongside it
The objects these essays reach for when they reach for this one.
HorizonConicVanishing pointDemonstrationpoint at infinityRectificationCircular pointsCross-ratioHomographyMetric rectificationProjective dualityProjective invariant