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

The angles of a triangle, and the curvature inside it

Drawn here at the parameters it defaults to, with every essay that calls it.
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.

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.

It is drawn by curvature-figure with show: "triangle-excess" — one member of a family of 29 figures that share a generator, so the drawing above is what that generator returns when it is asked for this one and given nothing else.

6 essays call it. Every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about.

Where it is called

Changing this changes every one of these figures.

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. The impossibility

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.

 How large a patch can be treated as flat, at 10 parts per million. The smallest scale distortion any map of a circular patch can have, against the radius of the patch, on logarithmic axes. The line is straight with a slope of 2.00: the error grows as the SQUARE of the size, so a patch ten times wider is a hundred times worse. A tolerance of 10 ppm is reached at a radius of 40.3 km — 81 km across — and that is the number behind the boundary between plane surveying and geodesy. The impossibility

How small is flat enough

A builder works in plane coordinates and a national mapping agency does not, and the line between them is not a convention. The unavoidable error of treating a patch of the Earth as flat grows as the square of its size, and the size at any stated tolerance is a number.

 A direction carried once round the sphere. A vector transported round a closed loop on the sphere, kept as parallel to itself as the surface allows at every step — the component that leaves the tangent plane is removed and nothing else is done to it. The heavy arrows are its direction at the start and at the finish, drawn from the same point; the light ones are its direction along the way. It comes back turned through 282.0 degrees, which is 0.783 of a revolution, and nothing in the transport turned it. Drawn in an orthographic projection of the embedding, which is itself a map and has its own distortion. The impossibility

A direction carried round a loop

Carry a bearing round a circuit, keeping it as parallel to itself as the surface allows, and it comes back turned. Round a parallel at 45° the turn is 4.443 radians and the cap enclosed is 1.840, and they sum to exactly one revolution — so the turning is not the curvature, and on a cone it is all of one and none of the other.

 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. What is taught wrongly

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.

 The signal, and four instruments' noise. The spherical excess of an equilateral triangle at 45° north against its side, with the standard deviation of a measured excess — σ√3 — ruled for four instrument accuracies. A fifty-kilometre triangle, which is about the largest anybody routinely observed, has an excess of 5.49 seconds of arc. A theodolite reading to one second gives that excess a standard deviation of 1.73 seconds, so the measurement carries about three significant bits. Everything in this rung follows from that ratio. The impossibility

How big a triangle it takes

Gauss proved that a surface-dweller can read the curvature off a triangle's angles. Doing it is another matter: a fifty-kilometre triangle has 5.49 seconds of excess, a one-second theodolite gives that excess a standard deviation of 1.73, and reading K to one per cent needs a side of 281 kilometres. Not one of the great surveys built a triangle within a factor of three of that.

 Bigger triangles, and how much bigger depends on what is fixed. How well a survey can resolve Gaussian curvature, against the side of its triangles, under three things being held fixed. One triangle: the accuracy improves as the inverse SQUARE of the side, fitted exponent -2.000. A chain of fixed length, which is what every great arc was: bigger triangles mean fewer of them, and the exponent is -1.503 — exactly three halves. A network covering a fixed area: -0.999, exactly one. The trade depends on what a survey is short of. The impossibility

How many triangles it takes

Rung eleven priced one triangle and recorded that a survey observes hundreds. Averaging n of them divides the noise by √n, and n is not free: a chain of fixed length holds fewer big triangles than small ones, so the accuracy improves as the side to the power three halves rather than two. Struve's 141 triangles of forty kilometres are worth exactly Gauss's seven of eighty-five.

The whole library