Cartographic Projection
every map is wrong, and by exactly how much
Concept

Geodesic — where it appears

The shortest path between two points measured within a surface, which on a sphere is an arc of a great circle and on an ellipsoid has no closed form. On the ellipsoid it is computed here by integrating its own equations rather than by a series, so the same machinery finds where a shortest route stops being unique.

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

London to Tokyo on Mercator. Two routes. The great circle is 9559 km and is the shortest path on the sphere. The rhumb line holds a single compass bearing the whole way and is 11296 km — 1737 km further, or 18.2 per cent. On Mercator the rhumb line departs from straight by 5.0e-9 of its own length.

The shortest route is not straight

The shortest path between two points on a sphere is an arc of a great circle, and on almost every map it is a curve. The straight line on a Mercator chart is a different route entirely, and on some journeys it is twenty-eight per cent longer.

paths · Paths Why there are two latitudes, at 45°. A meridian section of an ellipsoid with the flattening exaggerated 12× — at the true value of 1/298 this outline would be indistinguishable from a circle. Geodetic latitude is the angle the surface normal makes with the equatorial plane; geocentric latitude is the angle the radius makes with it. The two lines meet the plane at different points and the angles differ by 11.55 arcminutes on the real WGS84 ellipsoid, which is about 21 km of ground distance.

The Earth is a sphere, and when it is not

Every essay before this one treated the Earth as a ball, and said so. The flattening is one part in three hundred, which is nothing for a distance, everything for a latitude, and exactly enough to make the most-used projection in the world fail the property in its own name.

wrong · Ellipsoid London to Tokyo on Orthographic. Two routes. The great circle is 9559 km and is the shortest path on the sphere. The rhumb line holds a single compass bearing the whole way and is 11296 km — 1737 km further, or 18.2 per cent. On Orthographic the rhumb line departs from straight by 2.9e-1 of its own length.

The great-circle vertex

One quantity is constant along a shortest path on a sphere, and it fixes the highest latitude that path will reach before the journey starts. That number is why polar routes exist, and it can be read off the departure bearing without tracing the route at all.

paths · Paths The angles of a triangle, and the curvature inside it. A triangle on the sphere with sides that are great-circle arcs. Its three angles sum to 212.26°, overshooting the flat 180° by 32.26°. Integrating the curvature over the interior gives 0.56306 against an excess of 0.56306 — the same number by two routes that share no arithmetic. That is Gauss–Bonnet, and it is how a flatlander measures the curvature of a world it cannot step outside.

Measuring curvature from inside

A flatlander with a ruler can find out that its world is round, by drawing a triangle and adding the angles. Gauss–Bonnet turns that into an exact statement, and the total curvature of a closed surface turns out to be a number obtained by counting.

impossibility · Curvature What treating the Earth as a sphere costs, per journey. The ellipsoidal geodesic minus the spherical great circle, in kilometres, for five journeys. The correction is a few tenths of a per cent and it changes sign: a route running east–west at mid latitude is longer on the ellipsoid, and one running along a meridian is shorter, because an oblate body is fatter round the equator and flatter pole to pole. Both distances are computed — Vincenty's iteration against the haversine formula — and the ellipsoidal one is checked against a geodesic obtained by integrating its own differential equation.

Geodesics on the ellipsoid, and why they are hard

The shortest path on a flattened Earth is not a plane curve, has no closed form, and can be longer or shorter than the spherical answer depending on which way it runs. Every practical method is a series or an iteration, and the correction changes sign.

paths · Paths Where the inverse problem stops converging, 3° around the antipode of London. Every target in a 6° square centred on the point diametrically opposite London, shaded by how many iterations Vincenty's inverse formula needed to find the geodesic to it. 3 of 625 — 0% — never converged at all, and the worst success took 113 steps against a handful anywhere else on Earth. The failure is not a defect in the formula: near the antipode the shortest path is nearly ambiguous, and an iteration looking for one answer is being asked which of many.

The route with no shortest path

Between a point and the point diametrically opposite there are infinitely many shortest routes and no shortest route, and the standard formula for the distance between two places stops converging in a neighbourhood of it. The failure is a property of the question rather than a defect in the answer.

paths · Paths London to Tokyo, round a 15° exclusion. The direct great circle, dashed, runs through the disc. The admissible shortest route leaves it along a great circle tangent to the rim, follows the rim, and leaves along another tangent — which is the closed-form answer and is checked against a shortest-path search over the rim that knows nothing about tangents. It costs 39 kilometres on 9559, which is 0.41 per cent. The rim stretch is 293 kilometres of it, and it is the only part of the route that is not a geodesic anywhere along its length. Drawn in Orthographic.

A route that must go round

Every route on this site so far has been free to go anywhere, and no real route is. The shortest path past a circular exclusion is two tangent great circles and an arc of the rim — a closed form that agrees with a shortest-path search to three metres in 9,598 kilometres — and it costs not the obstacle's size but the square of how far the obstacle reaches past the route.

paths · Paths A triangle of 25.0° excess, drawn on Mercator. The three geodesic sides as curves and the three straight sides a ruler draws, with each vertex labelled by how far the ruler's angle is from the true one. The straight-sided triangle's angles sum to exactly 180° because it lies in a plane, and the real one's sum to 205.02°, so the three errors have to account for the whole 25.02° of spherical excess between them — and they do so on this conformal projection exactly as they do on any other.

Conformal does not mean the angles are right

A conformal projection preserves angles between curves at a point. Draw a triangle on one with a ruler and its angles are wrong by degrees — and the total error is fixed before the projection is chosen, because a plane triangle sums to 180° and the real one does not.

wrong · Audit "Within 0.01°" on the ground, at five latitudes. The same condition drawn at five latitudes, all at one scale. A degree of latitude is a fixed distance — 1106 metres here, varying by less than one per cent from equator to pole — while a degree of longitude collapses as cos φ, from 1113 metres to 289 at 75°. So the "circle" is an ellipse of 3.86:1 there, and it encloses 26 per cent of the ground the same condition covers on the equator. Even on the equator it is not round: M is smaller than N by the flattening, so the shape is 6694 parts per million shorter north–south than east–west.

A degree is not a unit of length

"Within 0.01 degrees" is a condition anybody can write and no instrument can measure. On the ground it is an ellipse — 1,106 metres north–south and 558 east–west at 60° — and even on the equator it is not a circle, because the meridian's radius of curvature is smaller than the parallel's by the flattening.

applied · Dataset Grid north against true north at 52°, across a 6° zone. seven meridians drawn in the grid's own coordinates. The grid's north is straight up the page everywhere by construction; the meridians are not, and the angle between them is the convergence. It is exactly zero on the central meridian, reaches 2.36° — 142 minutes of arc — at 3° out, and changes sign across the middle. The manual's γ = Δλ sin φ is 3.0″ short of it at the zone edge.

Grid north is not north

A grid has one north, parallel everywhere on the sheet by construction. The Earth has a different one at every point. The angle between them reaches two degrees at the edge of a UTM zone, and a straight line on the grid is not a straight line on the ground either.

families · Ellipsoid The shortest route and the quickest one, in a zonal jet. A craft making 20 km/h through the medium, from 40° north, 34° west to 52° north, 6° east. The great circle is 3313 km and takes 111.6 hours in this flow; the quickest track is 169 km longer — 5.1 per cent further — and takes 99.1 hours, saving 11.2 per cent of the time. The strokes are the flow at its own scale, and the whole difference is that the track bends into the helping part of it. Drawn in Lambert conformal conic.

The quickest route is not the shortest

Every route on this site so far is in a medium that does nothing, so length and time are the same question divided by a constant. Once the water moves, they are different questions with different answers: the quickest track sails five per cent further and arrives eleven per cent sooner, and the journey back takes four times as long as the journey out.

paths · Paths Where two equal geodesics meet, from 15° north. A geodesic leaving at azimuth α and its mirror image at −α have the same length wherever they meet, and by symmetry they meet on the antipodal meridian. On a sphere they all meet at one point, the antipode, to 1.4e-7° — the flat line. On the ellipsoid the meeting latitude moves with the azimuth, from -15.563° to -15.009°, so the set of points with two shortest routes is an arc 61 km long, and the distance to it varies by 31 km along its own length.

Where the shortest route stops being the only one

On a sphere there is exactly one point with no shortest route from a given place: the antipode. On the ellipsoid the Earth actually is, that point is an arc — sixty-six kilometres of the antipodal meridian for a point on the equator, half a kilometre for one at 85°, and every point of it reachable by two different geodesics of exactly equal length.

paths · Paths Three surfaces with the same curvature, one of which is a sphere. Every one of these is a surface of revolution whose Gaussian curvature is 1 at every point, built by solving r″ + r = 0 for the meridian rather than by writing a shape down. The spindle closes to a point with an angle deficit, the sphere closes smoothly, and the bulge does not close at all — it ends in two circular edges. A surveyor confined to a patch of any of them, measuring angles and distances, cannot tell which one it is.

Two surfaces with the same curvature

The ladder's base says curvature is the obstruction to a faithful map. It has never asked whether curvature is the whole obstruction — and it is, locally: there is a whole family of surfaces with the unit sphere's curvature at every point, none of them a sphere, and a geodesic circle drawn on one agrees with the same circle on another to one part in 10¹⁴.

impossibility · Curvature A great circle and the ruled line, on Mercator. The shorter of the two routes is the curved one. The great circle between the two marked points is drawn against the straight line a ruler would give between them on Mercator; over 70° of arc the curve departs from the ruled line by 11.9 per cent of the chord. The flexion at the midpoint, which is the rate the image turns per radian of arc, is 0.788; the angular deformation there is 0.00°.

Tissot stops at the first derivative

Every quantity this site has measured is read off one derivative of the projection. A map can be conformal at a point — the indicatrix a circle, the angular deformation zero to eleven figures — and still bend every geodesic through it, at a rate of 0.839 radians of turning per radian of arc.

distortion · Flexion Three curves between 45°N and 55°N, 3026 km apart. The normal section observed from the first point, the normal section observed from the second, and the geodesic, each plotted as its distance to one side of the great-circle chord between the two ends. The two sections are 79.0 metres apart at their widest and the geodesic runs between them, 53.3 metres from the first. In LENGTH they differ by almost nothing — 2.40 millimetres over 3026 kilometres — so an observation that follows the wrong one measures the right distance along the wrong ground. On a sphere all three coincide exactly.

The normal section is not the geodesic

A theodolite at A sighted on B swings in one plane and the instrument at B sighted back swings in another, so the two observations trace different curves on the ground — 79 metres apart over 3,026 kilometres — and the shortest path is neither of them. The lengths differ by 2.4 millimetres, so the wrong curve measures the right distance along the wrong ground.

wrong · Ellipsoid Six projections, at 40° north. Flexion (solid) and skewness (light) against direction of travel, drawn about a zero circle at one point of each projection. The three conformal ones have curves of exactly equal size, offset by exactly 90°, because on a conformal map both quantities are components of one vector — the gradient of the log of the scale. The others have neither property: ratios run from 0.72 to 2.72.

Bending and stretching are one failure

The ladder was written expecting flexion and skewness to be two independent ways for a map to be wrong. On a conformal projection they are not independent at all: the two extremes are the same size to four figures and sit exactly ninety degrees apart, because both are components of a single vector.

distortion · Flexion

The shortest route is not at sea level

Ten rungs route on a surface and nothing is ever flown on one. The offset of a sphere is a sphere, so at altitude the great circle is the great circle. The offset of an ellipsoid is not an ellipsoid — its radii of curvature are M + h and N + h, which belong to no ellipsoid — so the shortest route at cruising height does not lie above the shortest route on the ground.

paths · Paths

A straight segment is a claim about a plane

Two exact endpoints, joined by a straight line in the plane the file is stored in. On the ground the line is 718 kilometres from the route it claims between New York and London, and 2,961 between London and Tokyo. The departure grows as the square of the length — fitted exponent 2.001 — so a stated tolerance costs vertices as a square root.

applied · Dataset

Setting out runs the chain backwards

Turning a design coordinate into something to observe on the ground means undoing the reduction chain, and undoing a chain reverses the order as well as the operations. Two of the corrections do not commute, and getting them the wrong way round misses by a millimetre at fifty kilometres.

practice · Reduction

Nearest is a question about the metric

Asked in the plane the data is stored in, a nearest-neighbour query returns a different site for 5 of 400 queries over Europe on Web Mercator — and 103 of 400 on the plate carrée, with the wrong answer up to 309 kilometres further away. Every disagreement is a contest closer than the region's own scale spread, and over a city there are none.

applied · Dataset

A reach set with a cost that depends on direction

Three rungs build reach sets out of a distance, which is symmetric and isotropic by construction. Nothing anybody travels is: in a flow at 45 per cent of a vehicle's own speed the same vehicle gets 4,261 kilometres one way and 1,653 the other — a ratio of 2.58 — while the ground it covers grows by ten per cent.

paths · Reach

Inside is a claim about the edges

Whether a point is inside a polygon is not a property of the point and the polygon. It is a property of the plane the edges were understood to be straight in, and between two readings of the same file there is a band of disagreement — 29 per cent of one triangle's area, 4.2 million square kilometres, and the file does not say which reading it means.

applied · Dataset

The shortest route a vehicle can fly

Nine rungs find the shortest path under a metric and none asks whether the thing travelling can follow it. Bound the curvature and the route depends on two headings as well as two positions: the turning cost is a fixed 1.81 kilometres whatever the leg length, so it is 18 per cent of a short leg and 0.28 per cent of a long one, and the whole of it vanishes when the vehicle happens to be pointing the right way.

paths · Paths

The chain the satellite does not have

The four-step reduction from a tape reading to a grid coordinate exists because a tape does not know where it is. A satellite observation does, so the same distance can be got by projecting both ends and subtracting — and the two answers agreeing to a fifth of a millimetre is the first check the chain has ever had.

practice · Reduction

The lines where the bending vanishes

Every projection has a line printed in its margin — the standard parallel, where the scale is exactly one. It has a second special line nobody prints: the one along which a geodesic is drawn straight to second order. On Gall–Peters they are forty-five degrees apart, and the rule turns out to be tangency — a tangent construction puts both lines at its point of contact and a secant one moves only the first.

distortion · Flexion

Named alongside it

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

Great circleVerificationEllipsoidBearingFlatteningToleranceClosed formConformalityVertexConvergenceGnomonicMercator

All concepts