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

No map is faithful

Not "no map yet", and not "no map at page size". Gaussian curvature can be computed from inside a surface, a sphere has some and a plane has none, and that closes the question permanently.
15 min read 7 figures A theorem, not a limitationComputed, not quotedEvery figure here is a projection

Every account of map projections opens by saying that a sphere cannot be flattened without distortion. It is almost always asserted, occasionally illustrated with an orange peel, and very rarely explained — which leaves the reader with no way to tell whether it is a deep fact or a practical difficulty that a sufficiently clever cartographer might one day get around.

It is a theorem, and the computation follows.

Six surfaces and their Gaussian curvatureCurvature computed at the centre of each surface, by both available routes — from the way the surface sits in space, and from distances measured inside it alone. The two agree, which is Gauss's theorem. A surface with K = 0 can be unrolled flat without stretching; the cylinder and the cone can, and the sphere cannot.planeK = 0 — unrolls flatcylinderK = 0 — unrolls flatconeK = 0 — unrolls flatsphereK = 1.00torusK = 1.79pseudosphereK = -1.00K computed at each centretwo routes, one answer
Fig. 1 Six surfaces with their Gaussian curvature computed at the centre of each. The number is obtained twice — once from the way the surface sits in space, once from distances measured inside it alone — and the two agree. That agreement is Gauss’s theorem, and it is what makes the impossibility permanent.

Curvature, computed two ways

A surface has a quantity at each point called its Gaussian curvature, written KK. There are two ways to get at it.

The first is extrinsic. Look at how the surface bends in the space around it: find the directions in which it curves most and least, multiply those two curvatures together, and that product is KK. This route needs the surrounding space, because it needs a normal direction pointing out of the surface.

The second is intrinsic. Measure lengths and angles inside the surface, build the first fundamental form — the three functions EE, FF and GG that say how far a small step in each coordinate actually goes — and compute

K=−12EG[∂∂u ⁣(GuEG)+∂∂v ⁣(EvEG)]K = -\frac{1}{2\sqrt{EG}}\left[\frac{\partial}{\partial u}\!\left(\frac{G_u}{\sqrt{EG}}\right) + \frac{\partial}{\partial v}\!\left(\frac{E_v}{\sqrt{EG}}\right)\right]

Nothing on the right refers to a third dimension. A two-dimensional creature confined to the surface, with a ruler and no concept of an outside, could carry out every measurement this formula needs.

That the two routes give the same number is Gauss’s Theorema Egregium — the remarkable theorem, and he chose the adjective himself. Both are implemented in this site’s library and required to agree on every build; across all six surfaces above they agree to better than 2×10−52\times10^{-5}.

Why that settles it

An isometry is a map that preserves distances. If distances are preserved then all the measurements feeding the intrinsic formula are preserved, so KK is preserved.

A sphere of radius RR has K=1/R2K = 1/R^2 everywhere, which is positive. A plane has K=0K = 0 everywhere. They are different numbers, so no isometry exists between any patch of the sphere and any patch of the plane.

That is the whole argument. Two lines, and it does not depend on how the map is constructed, how clever the projection is, or how small the region — a postage-stamp piece of sphere still has K=1/R2K = 1/R^2 and still cannot be laid flat without stretching something.

This is why the impossibility is a different kind of statement from the practical difficulties elsewhere on this site. Which properties to trade off is a design question; that something must be traded is not.

What can be flattened

The theorem cuts the other way too, and the consequence is more surprising than the prohibition.

A cylinder unrolls exactly; a sphere does notBoth pictures show the same grid. On the left it is wrapped round a cylinder, on the right it is laid flat, and every distance in the grid is the same in both — the circumference is 2π and so is the width of the rectangle, checked to 10⁻⁹. This is possible because a cylinder has zero Gaussian curvature. No corresponding picture exists for a sphere.wrappedunrolled — every distance unchanged→K = 0 on bothcircumference 2π = width 2π
Fig. 2 The same grid, wrapped round a cylinder and laid flat. Every distance is identical in both pictures — the circumference is 2π and so is the width of the rectangle, checked to a part in a billion. A cylinder is obviously curved in space and has zero Gaussian curvature, so it unrolls exactly.

A cylinder is curved. It curves in one direction and is straight in the other, so one of its two principal curvatures is zero, so their product is zero. K=0K = 0, and a cylinder is intrinsically flat.

The same is true of a cone. Both can be cut from a flat sheet and rolled up with nothing stretched, which is why paper cones and paper tubes exist and paper spheres do not. Surfaces of this kind are called developable, and the computation separates them from the others cleanly: the site’s library measures the plane, cylinder and cone at zero to within 10−910^{-9}, and the sphere at exactly 1 in its own units — a separation of nine orders of magnitude.

This has a direct bearing on the traditional vocabulary of projections. Cylindrical and conic projections are named for developable surfaces, and the names suggest the sphere is being wrapped in something that unrolls faithfully. It is not. The sphere is not a cylinder; projecting it onto one is not an isometry of anything; and the fact that the cylinder later unrolls perfectly does not repair the damage done in getting the sphere onto it.

Curvature that changes sign

Not every surface has one curvature.

Gaussian curvature across a torusCurvature along a cross-section of a torus. curvature of both signs — positive outside, negative inside, zero on two circles. Where the curve crosses zero the surface is momentarily flat in the intrinsic sense, and a strip along that circle could be unrolled without stretching.0+4.2position around the cross-sectionpositive: dome · negative: saddleon a torus
Fig. 3 Gaussian curvature across a cross-section of a torus. On the outside it is positive, like a sphere. On the inside it is negative, like a saddle. On the two circles where it passes through zero the surface is momentarily intrinsically flat, and a narrow strip along one of them could be unrolled without stretching.

The sign has a meaning that survives without any reference to a surrounding space. Positive curvature means triangles have angles summing to more than 180°, and circles have circumference less than 2πr2\pi r. Negative means the opposite. Zero means Euclid.

Which gives the two-dimensional creature a way to find out where it lives: draw a large triangle, add the angles, compare with 180°. The excess is the integral of KK over the triangle, which is the Gauss–Bonnet theorem, and it is why the intrinsic route is not a mathematical curiosity but a genuinely available measurement.

The same argument, in the other direction

There is a converse worth stating, because it explains why so many different projections exist rather than one best compromise.

Two surfaces with the same curvature everywhere are locally isometric. A cylinder and a plane both have K=0K = 0, and a patch of one really can be laid on the other exactly. So the obstruction is entirely the curvature and nothing else — there is no additional condition, no residual difficulty beyond it.

Which means the impossibility is exactly as large as the curvature and no larger. A small region of sphere has a small total curvature, and can be mapped with small distortion; that is why a street map is fine and a world map is not. The distortion in any map is bounded below by the curvature it has to absorb, and a projection’s job is to decide where to put it.

How much distortion is forced

The theorem says distortion is unavoidable. It also says how much, which is less often mentioned and more useful.

Total curvature over a region is the integral of KK over it, and for a sphere that is just the area divided by R2R^2. A region covering a fraction ff of the sphere carries total curvature 4πf4\pi f, and that is the amount any flat map of it must absorb.

Which gives a scale rule with real content. A city block is about 10−1010^{-10} of the Earth’s surface, so the distortion any projection must impose on it is of that order — utterly negligible, and the reason surveyors treat small areas as flat without apology. A country might be 10−310^{-3}, where the distortion is small and worth managing. A hemisphere is 0.50.5, where it is unavoidable and large.

How Equirectangular distorts, by latitudeAngular deformation and areal scale plotted against latitude along the meridian at 0°. On Equirectangular the angular deformation reaches 114.2° and the areal factor reaches 11.5.-60°-30°0°30°60°angular deformation, to 114°areal factor, to 11.5×latitudetwo independent distortionsalong the 0° meridian
Fig. 4 The plate carrée measured along a meridian. It is exact at the equator and nowhere else, and both distortions grow steadily with latitude — an unmanaged version of the growth every projection must exhibit somewhere.

So the familiar advice that projection choice matters more for larger areas is not a rule of thumb. It is the curvature integral, and the transition from “does not matter” to “dominates everything” happens over about six orders of magnitude of area.

What an isometry would have to be

It is worth being concrete about the object the theorem rules out, because the impossibility is easier to feel with a specific target.

A faithful map would preserve every distance between every pair of points. That is much stronger than preserving areas or angles: it would mean a ruler laid on the map and a tape measure laid on the ground always agreed, everywhere, in every direction.

Such a map exists between a cylinder and a plane. Cut a paper tube and flatten it, and every distance measured along the paper is unchanged — the paper knows nothing happened. That is what an isometry feels like from inside, and it is available because both surfaces have K=0K = 0.

Between a sphere and a plane it is not available, and the failure is not gradual. There is no nearly isometric map that gets closer with cleverness; the obstruction is a number that does not match, and numbers either match or they do not.

Tissot's indicatrix across EquirectangularA small circle on the sphere, drawn where the projection puts it. The dashed circle behind each is what an undistorted map would show. On Equirectangular ω reaches 39°, and the areal factor reaches 2.0.dashed: an undistorted circledrawn in Equirectangular
Fig. 5 Indicatrices on the plate carrée. An isometry would draw every one of these as an identical circle of the same size as the dashed reference. None of them is, and none of them could be.

The orange peel, and why it is a bad demonstration

The standard illustration is to peel an orange and try to flatten the skin. It tears, and the tearing is offered as proof.

It does demonstrate something real and it demonstrates it for the wrong reason. Orange peel is thick, stiff and inelastic, and a thin flexible membrane would behave differently — which invites the thought that a better material would work.

It would not, and the theorem is why. The obstruction is not the material’s stiffness but the surface’s curvature, and it applies to an idealised membrane with no thickness and no resistance to bending. That is the content of an intrinsic quantity: it is a property of the geometry rather than of anything made of it.

A better demonstration is the one in the developable figure above — a cylinder that does flatten perfectly, made of the same kind of paper that fails on a sphere. The contrast is where the argument lives.

The theorem’s reach

Gauss’s result is not confined to cartography, and knowing where else it bites makes the map case feel less like a special difficulty.

Any attempt to flatten a curved surface meets it. Sheet metal is formed into cylinders and cones and stamped into anything else, because stamping stretches. A tailor’s pattern is cut in flat pieces and the curvature of a shoulder is built from darts and seams — which are tears, arranged deliberately. A cardboard box is a developable surface, and so is every packaging form that folds rather than moulds.

It also runs the other way. General relativity describes gravity as spacetime curvature, and the reason curvature can be a physical quantity rather than a description of an embedding is exactly the intrinsic property Gauss found. There is no fifth dimension that spacetime curves into; the curvature is measurable from inside, and Gauss’s theorem is why that sentence means anything.

Six surfaces and their Gaussian curvatureCurvature computed at the centre of each surface, by both available routes — from the way the surface sits in space, and from distances measured inside it alone. The two agree, which is Gauss's theorem. A surface with K = 0 can be unrolled flat without stretching; the cylinder and the cone can, and the sphere cannot.sphereK = 1.00cylinderK = 0 — unrolls flattorusK = 1.79K computed at each centretwo routes, one answer
Fig. 6 Three of the surfaces, with their computed curvature. The cylinder is flat intrinsically and curved extrinsically, which is the distinction the whole theorem turns on and the one everyday language does not make.

What a cartographer does with it

The practical residue is a way of thinking about the job.

The curvature to be absorbed is fixed by the region. It cannot be reduced, only placed. So the projection’s design question is not how to minimise the distortion but where to put it — and that is a question with an answer, because a map has a subject and the distortion can be pushed away from it.

Standard parallels place the zeros. The aspect rotates the whole pattern. Interruption cuts the region into smaller pieces each carrying less. All three are placement decisions, and none of them is an attempt to beat the theorem.

Every projection in the library, measured against both propertiesMaximum angular deformation across the bottom, maximum areal error up the side, both on logarithmic scales and both measured over several hundred sample points rather than taken from the projection's description. Conformal projections lie on the left edge, equal-area ones along the bottom, and the corner where both vanish is empty because a projection there would be an isometry of the sphere onto the plane.10⁻⁶10⁻⁴10⁻²110010⁻¹¹10⁻⁸10⁻⁵10⁻²1010000maximum angular deformation / degreesmaximum areal errornothing here, everMercatorStereographicWeb MercatorGall–PetersMollweideEquirectangulartolerances: 0.0001° and 0.00000121 projections measured
Fig. 7 Every projection in the library measured against both properties. The empty corner is the theorem’s footprint on the whole subject: it is the one region of this plot that no amount of design will ever reach.

What was computed here

Every curvature on this page is computed, both ways, at build time.

The extrinsic route differentiates the surface’s parameterisation twice, builds the first and second fundamental forms, and takes (LN−M2)/(EG−F2)(LN - M^2)/(EG - F^2). The intrinsic route builds only the first fundamental form and applies the formula above. Requiring them to agree is the theorem, exercised rather than cited, and it is the check that would catch an error in either.

Three further assertions guard the result. Each surface’s computed curvature must match its known closed form — 1/R21/R^2 for the sphere, zero for the cylinder and cone, cos⁡v/(a(b+acos⁡v))\cos v/(a(b + a\cos v)) for the torus. The formula used assumes an orthogonal parameterisation, which is checked rather than assumed, since it would silently return the wrong number otherwise. And the developability test must separate the surfaces rather than passing everything: the gate requires the flat ones to come out flat, the curved ones to come out curved, and the sphere to miss flatness by a factor of at least a thousand.

The cylinder unrolling figure carries its own check: the circumference of the wrapped grid must equal the width of the flat one, to 10−910^{-9}. If it did not, the picture would be claiming an isometry that the numbers did not support.

What the pictures cannot show

The surfaces are drawn in orthographic projection, which is itself a map projection with its own distortion. There is no way round this — the page is flat, and every picture of a curved surface on it has already made the compromise the essay is about. The figures state it where it matters.

More fundamentally, curvature is not a visual property. The pictures show shapes, and the numbers underneath them are the content; a cylinder and a sphere look comparably curved and are utterly different intrinsically. That gap between appearance and quantity is the reason the essay leads with a computation rather than an illustration.

And the intrinsic route cannot be shown at all, only described. Its whole point is that it uses no information from outside the surface, and a drawing of a surface is a drawing from outside.

Who found it, and when

Gauss published the Disquisitiones generales circa superficies curvas in 1827, and the theorem is the centrepiece. He had spent years on the geodetic survey of Hanover, measuring triangles across a landscape, and the practical question of how a curved Earth’s measurements relate to a flat map was directly in front of him.

The Latin title he gave the result — theorema egregium — is usually translated “remarkable theorem”, and the choice of adjective is unusual for a mathematician describing his own work. The remarkable part is not that curvature exists but that it is intrinsic: a quantity apparently about how a surface sits in space turns out to be computable without any space at all.

Riemann generalised the idea in 1854 into what became Riemannian geometry, and that machinery is what general relativity is written in. The line runs directly from a survey of Hanover to the curvature of spacetime.

Where this goes next

The developable case is what can be unrolled. The consequence for what a projection can preserve is the trade-off is two lines. And for the measurement that turns all of this into numbers about particular maps, Tissot’s indicatrix.

Where this goes next

wrappedunrolled — every distance unchanged→K = 0 on bothcircumference 2π = width 2π What can be unrolled A cylinder is obviously curved and is intrinsically flat, so it lays out on a table with nothing stretched. A sphere is not. The distinction is exactly zero Gaussian curvature, and it is why paper tubes exist and paper globes do not. 10⁻⁶10⁻⁴10⁻²110010⁻¹¹10⁻⁸10⁻⁵10⁻²1010000maximum angular deformation / degreesmaximum areal errornothing here, everMercatorStereographicWeb MercatorGall–PetersMollweideEquirectangulartolerances: 0.0001° and 0.00000121 projections measured The trade-off is two lines Conformal means the two principal scales are equal. Equal-area means their product is one. Both at once forces both to one, which is an isometry, which the curvature forbids. That is the entire argument. 10⁻⁶10⁻⁴10⁻²110010⁻¹¹10⁻⁸10⁻⁵10⁻²1010000maximum angular deformation / degreesmaximum areal errornothing here, everMercatorStereographicWeb MercatorGall–PetersMollweideEquirectangulartolerances: 0.0001° and 0.00000121 projections measured Measuring instead of naming A projection is called conformal because that is its name. Running the definition as a computation over several hundred points takes about twenty lines, catches a projection the whole internet uses, and is almost never done.