Concept

point at infinity — where it appears

The limit of points receding along a direction, whose image in a picture is that direction's vanishing point. Two parallel lines share one, which is why their images meet, and a plane's whole set of them is the line whose image is the horizon.

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

horizon — the eye's own heightbase — 0 mhorizon crossing — 1.62 mtop — 3.40 m recoveredthe vertical vanishing point is 8586 px above this framerecovered 3.400 m · true 3.400 m1.8 cm per pixel of click error

A height, out of one photograph

Four points on a vertical, one cross-ratio, and the height of something nobody measured. The only metric input is the photographer's own eye height, because the horizon is at eye level and that is the one piece of perspective folklore that is exactly true.

metrology · Height
horizonABCDon the groundin the picturelength AB1.00011.3930ratio AB:CD0.56670.6837cross-ratio1.31681.3168correct from 26 cm, at 160 mm wide34° across

What a projection destroys

A projection loses length, angle, area and the ratio in which a point divides a segment. Exactly one quantity comes through untouched, and almost everything that can be checked about a picture is checked with it — including, as it turns out, some things it cannot check at all.

foundations · Crossratio
the eye's trackthe eye at x = -10.5 mevery point is drawn by the one position of the eye that is level with itplan — the eye's track and the scans it makes28 m of travel

A scroll is a camera that moves

A Chinese handscroll is not a picture with a wandering viewpoint or a picture with no viewpoint. It is the image of an eye that travels along a track and records one vertical line at a time, and that object has an exact geometry — orthographic along the roll, perspective across it.

scroll · Pushbroom
they meet at y = 924, off the pagefar edge ÷ near edge = 1.32a one-point construction, swept through its splaythe point is below the near edge

The picture whose lines spread

In a Byzantine icon the sides of a table diverge with depth. The standard account says the vanishing point is behind the viewer. It is not — it sits below the near edge, in front of the eye, and it is the vanishing point of a direction running down and away.

choices · Divergence
x/z, y/z — the pinholeM·p, then divide by wworst disagreement 4.0e-14 px over 8 verticescorrect from 21 cm, at 160 mm wide42° across · near 0.1 m, far 1000 m

The divide is postponed, not avoided

A renderer does not divide by depth. It multiplies by a four-by-four matrix that carries the depth in a fourth coordinate and divides later, and the postponement is not an optimisation — it is what makes clipping and texture interpolation possible at all. The matrix and this site's pinhole put every point on the same pixel to five parts in a hundred trillion.

pipeline · Homogeneous
horizon — the image of the line at infinityvanishing point at x = 1464 — off the framecorrect from 26 cm, at 160 mm wide34° across

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.

foundations · Vanishing
a receding straight line, and the chord it is not9.59 px of sagthe control — the same line at constant depth0e+0 pxno single viewpoint — the rays miss by 6.1 ma straight line's image is a hyperbola

A straight line in a scroll is a hyperbola

Under a pushbroom the image of a straight world line is a Möbius function of the paper coordinate, which is a rectangular hyperbola. It is straight exactly when the line holds its depth — so a curve in a handscroll is a depth signal rather than a stylistic one, and the sag is computable in pixels.

scroll · Pushbroom
clipped at the near planedivided without clippingdirection cosine -1.0000 — the far end is drawn 2142 px away20 grid segments, 2.4 m of them behind the eyea reversed line is not a large error, it is a different picture

What happens behind the eye

A point behind the camera has a perfectly plausible image. Dividing by a negative fourth coordinate flips both signs, so the point lands through the principal point on the far side of the frame, and a segment crossing the eye plane is drawn straight, inside the frame, and running in exactly the opposite direction — a direction cosine of −1.0000.

pipeline · Clipping
focus, R/2 = 0.800 m184 mm of causticvertex radius 1.60 m, aperture 1.24 m5e-9 mm against 184 mm

The one shape that focuses

A paraboloid takes every ray parallel to its axis exactly through one point — 4.8e-9 mm of envelope across a 1.24 m aperture, which is arithmetic. A sphere with the same vertex curvature spreads the same bundle over 184.1 mm. So there is exactly one curved mirror that is a projection through a centre, it is a projection for exactly one bundle of rays, and every telescope in the world is built out of that sentence.

mirrors · Paraboloid
the far field — where the stitch was fitted2.2 m — 3.2 px out24 m — 0.3 px outthe sky registers to 1e-13 pxthe foreground does not — up to 3.2 px

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.

lens · Pupil
horizon = eye level, 1.60 m89.89%correct from 26 cm, at 160 mm widespread 0

The horizon, and the fraction

The horizon crosses every upright at the point of it that stands at the camera's own eye height — always, whatever the picture plane is doing. It crosses at the same *fraction* of the drawn height only when the plane is vertical: tilt by 6° and the fractions spread by 0.08 percentage points, tilt by 4° and 0.06. One statement is an incidence and survives; the other is a ratio and does not.

construction · Eyelevel
front view · 32 filledtop view · 36 filledside view · 36 filledthe largest solid with these views — 192 cellsand a solid with the same views — 64 cells6 × 6 × 6 cellsthe three views are identical; the solids differ by 128 cells

Three views do not fix the solid

A stepped block on a six-cell grid draws a front, a top and a side view. So does a solid with a third of its material, and so does one with more than the block has — 192 cells against 64, every filled square in all three views identical. The drawing office's triple bounds a part between two solids and does not determine it, and the gap runs to a factor of n.

parallel · Multiview
nothing on the ramp images above its vanishing linehorizonuphilllevelcorrect from 10 cm, at 160 mm wideslope recovered 22.0000° against 22° built

The ramp has its own horizon

Every plane has a vanishing line, and a ramp's is not the ground's. Its uphill edges meet on a line above the horizon, and the angle at the eye between that meeting point and the same direction taken level is the gradient — 22.0000° recovered against 22° built, out of the picture alone, with no scale, no ruler and nothing known about the scene except that the ground is level.

construction · Inclined
apart by 6.4e-11 pxcorrect from 17 cm, at 160 mm wideone eye again

A parallel floor under a perspective room

Draw the floor without diminution and the people on it with it, and the picture has a centre at infinity glued to a centre in the room. The same map absorbs it — but there is no shear this time, and there cannot be: bringing a point in from infinity is not something an affine map does, so the room the picture is equally a picture of has its midpoints moved as well as its angles.

conventions · Mixedcentre
horizonv_zthe horizon misses the imaged circle, so the two points are a conjugate pairprotractor on the paper: 80.43° · cross-ratio: 90.000000°correct from 21 cm, at 160 mm wide42° across

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.

foundations · Laguerre
horizonisometric — the same drawing, movedperspective — a different drawingcorrect from 23 cm, at 160 mm wideparallel: 4e-14 px · perspective: 87.2%

Nothing moves when the object does

Slide a box 3.2 m across the world and its parallel drawing is the same drawing translated 131.5 px — every edge the same length to 4e-14 px. The perspective drawing of the same move changes its edge lengths by 87.2%. One family's pictures depend on where a thing is; the other's do not, and almost everything the two families disagree about follows from that.

parallel · Translation
05010015020011.502log₁₀ of the lamp's distance (m)pixels the recovered foot sits below the horizonthe sun: on the horizonthe recovered height stays exactwhat falls off is the evidence that the light is finite

A light far enough away

The evidence in a photograph that its light is in the room rather than at infinity is one number — how far below the horizon the shadow lines put the light's foot. It falls off as one over the distance, from 211 px at 4 m to 10.8 px at 266 m, while the recovered height stays exact to 5e-13 of itself. What fails first is not the arithmetic; it is the evidence, and one pixel of error costs 0.21 mm of height at the near end and 0.07 m at the far one.

light · Lightrecovery
6 vertices with w = 0 · each on its vanishing point to 7e-12 pxcorrect from 17 cm, at 160 mm wideedges extended to where their w = 0 vertex lands

A point at infinity is an ordinary vertex

Give a vertex a zero in its fourth slot and it stops being a point and becomes a direction — and the projection matrix draws it anyway, through the same multiply and the same divide, on that direction's vanishing point to seven trillionths of a pixel. Slide the eye ten metres and it does not move. Two of them bound a ground that reaches the horizon, where a ground drawn to ten kilometres stops a fifth of a pixel short.

pipeline · Homogeneous
correct from 19 cm, at 160 mm wideratio 1.2509 · carries one onto the other to 1e-15 m

Two lamps and one map

A flat object lit by two lamps casts two shadows, and one is the other scaled about a point — ratio 1.2509 here, carrying every point of the first outline onto the second to 1e-15 m. No rotation and no shear is available to it, because a projection between two parallel planes has its axis at infinity. And the ratio is exactly 1 when the two lamps are at the same height, which makes a pair of shadows a measurement of the lamps.

light · Twolamps
horizonthe eye stands 8.78 m from the centrecorrect from 26 cm, at 160 mm wideellipse · nearest point +3.96 m

The conic a circle becomes

A circle photographed is an ellipse, or a parabola, or a hyperbola, and which one is decided by a single incidence: whether the circle reaches the plane through the eye parallel to the picture. Not the lens, not the tilt, not how far away it is. The discriminant of the image agrees with that one test at every point of a sweep, and at the crossing it is zero to 1e-13.

foundations · Imagedcircle
circlethe picture isthe pair on the horizona 37° world angle readsradius 3 mellipse345.000 ± 0.000i37.000000°radius 5 mellipse345.000 ± 0.000i37.000000°radius 8 mellipse345.000 ± 0.000i37.000000°radius 10 mhyperbola345.000 ± 0.000i37.000000°radius 14 mhyperbola345.000 ± 0.000i37.000000°radius 20 mhyperbola345.000 ± 0.000i37.000000°a 25% ellipse read as a circleellipsea different pair31.083°one camera, one ground, 6 circlesthe pair drifts 1e-13 px · the angle is out by 7e-14°

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.

foundations · Circularpoints
rate vertices at w = 0 · texture exact to 6e-10 checks at half a pixel from the horizoncorrect from 17 cm, at 160 mm wideone-metre checks, no far plane

A texture reaches the horizon as a rate

A ground drawn to infinity cannot carry a texture coordinate at its far corners, because a repeating texture has no coordinate there. It can carry a rate — so many checks per metre along the direction — and a second number that is 1 at points and 0 at directions. Interpolated like every other attribute and divided once, that pair is exact half a pixel from the horizon. Give the same corner a value instead and the ground is drawn in reverse perspective.

pipeline · Homogeneous
horizon25withheldfive marks fitted, one withheldcorrect from 26 cm, at 160 mm widethe withheld mark is 2e-13 px off the fitted conic

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.

foundations · Fiveconic
horizonflat on the groundleaning 23.6°two circles, 6.4 m across, in planes 23.6° apartcorrect from 26 cm, at 160 mm widetwo poses, 23.6° apart, one picture

Two circles, one picture

A photographed circle leaves its own pose ambiguous, and not a little: two congruent circles in planes 23.6° apart draw the same conic to 1.1e-16 on normalised coefficients, both of them in front of the camera. On top of that the distance is free, so the family is two discrete poses each with one continuous parameter — and a plane one degree from either draws a conic 2.5e-4 away, which is what makes the agreement a measurement.

foundations · Fiveconic
02.5e+35e+37.5e+31e+4200400600800one corner, slid along the picture (px)focal length the quadrilateral implies (px)admitted to 886 pxrefused past 903 px

The quadrilateral no rectangle casts

The relation that reads a camera out of a drawn rectangle has a minus sign in it, and the minus sign is a refusal: two vanishing points on the same side of the assumed centre give the square root of a positive number, and no camera makes that quadrilateral out of a rectangle. Watching the refusal arrive shows what it is worth — one corner has to travel most of the picture's width before it fires.

construction · Rectangle
drawn along a fixed direction, not from a pointelevation 52°centre-fit refused

What a removed wall costs that a removed roof does not

Fitting a single centre to a building with its near wall deleted lands at 3.0e-15 m — the arithmetic floor — because deleting a wall does not touch the projection, only which surfaces are drawn. Fitting the identical routine to the same building with its roof removed does not return a number at all: handed a bundle of genuinely parallel rays, it refuses outright.

conventions · Fukinuki
tt′0.003.101.00-2.004.000.502.700.28predicted, not fittedthree pairs givencross-ratio 0.839506

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.

foundations · Pline
horizoncorrect from 19 cm, at 160 mm widetrace² 4.000000 · parabolic

The map a row of posts is

Walking one bay further down a row is a map of the drawn line to itself, and which map it is settles everything about how the spacings behave. It is parabolic — one fixed point, counted twice, and that point is the vanishing point — which is why the drawn posts crowd toward it and never arrive. Doubling a distance instead gives a hyperbolic map whose multiplier a straightedge can read.

foundations · Pline
no single viewpoint — the rays miss by no distance at all — the rays are parallel13 of 21 faces

A picture with no eye

The anamorph field measured which parts of an object one eye can paint, and every finding in it is about a point. A parallel projection has no such point, so the same questions have a different shape — and the two that change are the dimension of the answer and the map onto each face. The one that does not change is occlusion, which is routinely assumed away.

parallel · Noeye
no single viewpoint — the rays miss by no distance at all — the rays are parallel3e-14 px of movement

Nothing moves along the direction

A part slid four metres toward the reader along the direction an isometric drawing projects along keeps its drawn place to a ten-thousandth of a pixel, and the same slide seen from a station point moves it forty-four. An exploded drawing is not an approximation that works because the parts do not move far — it is an identity, and it is why cutaways are drawn in parallel systems.

parallel · Noeye
-1.50-1-0.50000.50011.5022.50how far back the eye stands, in object radii (log₁₀)how far a mark lands from where the direction puts it, in metres (log₁₀)one design samplethe faces settlethe marks settlea seating rake, from a point and from a direction3 radii against 34

Two distances to infinity

A parallel projection is the limit of a perspective one, and the limit arrives twice. Which faces get painted settles within three object radii, because a face is either round the back or it is not; where each mark lands falls like one over the distance and is still out at thirty-four. Far enough away has two answers an order of magnitude apart.

parallel · Limit
00the third mark, at infinity0 … 12 marks in the unit intervalcorrect from 19 cm, at 160 mm widerank 1 · 3e-15 from the exact rationals

What a straightedge reaches on a receding line

Three marks on a receding line fix a coordinate, and everything a straightedge builds from them is a ratio of whole numbers. Three complete quadrangles put 1655 marks on the unit interval with no gap above 0.0038, a third costs two quadrangles where repeated halving never reaches one at all, and the same net built on a line that does not recede arrives at the identical 30 coordinates.

construction · Projectivescale
points, joinedlines, metevery incidence survives, worst 9.1e-1630 of 30

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.

foundations · Duality
points, joinedlines, metevery incidence survives, worst 5.1e-1630 of 30

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.

foundations · Desargues
ABCDjoin and meet only — no length, no angle(A B; C D) = -1.000000000

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.

foundations · Harmonic
parabola · clearance +0.000 mcorrect from 9 cm, at 160 mm wideparabola · B² − 4AC = 0.00e+0

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.

foundations · Imagedcircle
the point at infinity0ABCDA-1.40B-0.30C0.80the same four, on a straight line1 of the four is off the endthe chords crosscross-ratio -0.9469

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.

foundations · Pline
horizontread 1correct from 14 cm, at 160 mm wideelliptic · trace² 2.0000 · back after 4

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.

foundations · Classify
S₁S₂abclean 24° · centre at 0.45 along the joinprobe closes to 1.2e-13 px

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.

foundations · Perspectivity
horizonthe post, and the post behind the eyecorrect from 14 cm, at 160 mm wideone mark to 6.4e-14 px · off-eye centre 51 px away

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.

foundations · Behind

Named alongside it

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

Vanishing pointcentre of projectionHorizonCross-ratioProjective mapConicDemonstrationParallel projectionPicture planeHomogeneous coordinatesProjective lineHomography

All concepts