What a flat sheet can become

Wrap a sheet of paper round a bottle and it fits. Wrap one round a football and it does not — there are creases, or wrinkles, or a fight.

The distinction is exact, it has a name, and it is the constraint underneath everything else on this site.

The invariant #

Gauss’s Theorema Egregium — the remarkable theorem, and he named it that himself — says that a certain measure of curvature can be computed from measurements made within a surface, without reference to the space it sits in.

That quantity is the Gaussian curvature: the product of the two principal curvatures at a point.

$$K = \kappa_1 \kappa_2.$$

Because it is intrinsic, it cannot change under any deformation that preserves distances within the surface. Bending is such a deformation. So bending a surface cannot change its Gaussian curvature anywhere.

A flat sheet has $K = 0$ at every point. Therefore anything it becomes, without stretching, has $K = 0$ everywhere too.

What zero curvature allows #

$K = \kappa_1\kappa_2 = 0$ means at least one principal curvature vanishes at every point — the surface is flat in some direction there.

Surfaces of this kind are developable, and they are exactly three families plus their combinations:

Cylinders. Curved in one direction, straight along the other. Any cross-section, not just circular.

Cones. Straight lines all passing through a common apex.

Tangent developables. The surface swept by the tangent lines of a space curve, which is the general case and the one nobody pictures.

Every developable surface is built from patches of these, and every one of them can be flattened onto a plane without distortion. That is what “developable” means, and it is why a cylinder unrolls into a rectangle.

What it forbids #

A sphere has $K = 1/R^2$ everywhere, which is positive and not zero. A saddle has $K < 0$. Neither is reachable from a flat sheet.

That is why a paper globe is made of gores — the pointed almond shapes that a globe’s printed surface is divided into. Each gore is narrow enough that the error in flattening it is tolerable, and the sphere is approximated by many nearly-developable strips. There is no way to do better without stretching.

It is also why sheet metal for a car body is pressed rather than bent. Pressing stretches the material, which changes $K$, and that is exactly the operation bending cannot perform.

And it is why a map of the Earth must distort something. A sphere cannot be developed onto a plane, so every projection trades area against angle against distance, and Gauss’s theorem is the reason there is no projection that avoids the trade.

How folding gets around it #

Folding does not violate the theorem; it exploits a loophole in how the curvature is distributed.

A crease is a place where the surface is not smooth, and Gaussian curvature is defined for smooth surfaces. At a crease the curvature is concentrated rather than absent — it is a distribution, not a function.

For a straight crease the concentrated curvature is still zero, and the surface either side stays developable. But at a vertex — where several creases meet — curvature can concentrate at the point, and the total concentrated there is $2\pi$ minus the sum of the angles around it.

Which is exactly the developability condition this site checks on every pattern: the angles must sum to $2\pi$, so that the concentrated curvature is zero and the vertex came from a flat sheet.

So folding lets a sheet reach shapes that are piecewise developable — flat pieces joined along creases — and the whole of origami lives in that space. What it cannot do is make a smoothly curved sphere.

Approximating what cannot be reached #

A great deal of practical folding is approximating a non-developable shape with a developable one, and the approximations are the interesting part.

Facets. Many small flat panels approximate a curved surface, and the approximation improves with the panel count. This is what a geodesic dome does and what a low-polygon model does.

Gores. Long thin strips, each nearly developable, joined along their edges. Globes, balloons, hot-air balloons and parachutes.

Corrugation. A tessellation can absorb the curvature mismatch: a corrugated sheet can be curved in a second direction because the corrugation opens or closes to accommodate it. This is why a folded sheet can take shapes a flat one cannot.

That last one is worth stating clearly, because it looks like a contradiction. A corrugated sheet is not doubly curved as a surface; it is a flat sheet arranged so that its coarse-grained shape appears doubly curved. The material is still developable everywhere.

Wet-folding, which breaks the rule on purpose #

There is one common technique that genuinely violates the constraint, and it is worth knowing where it fits.

Wet-folding dampens the paper so the fibres can move relative to one another, then shapes it and lets it dry. The result holds a curve that no dry fold could produce, because the sheet has stretched — the fibres redistributed, so distances within the surface changed.

Once distances change, Gauss’s theorem no longer applies, and genuinely doubly-curved shapes become available. Akira Yoshizawa developed the technique and it is why his animals look like animals rather than like polyhedra.

So the theorem does not say paper cannot be doubly curved. It says paper cannot be doubly curved without stretching, and wet-folding is a way of stretching it.

The ant argument #

There is a way of stating the Theorema Egregium that makes it feel less like a formula and more like a fact, and it is the one Gauss’s name for it deserves.

Imagine a two-dimensional creature living in a surface, able to measure distances and angles within it and with no access to any third dimension. It cannot see the surface curving, because curving is something that happens in a direction it does not have.

It can nevertheless determine the Gaussian curvature. Draw a circle of radius $r$ — the set of points at distance $r$, measured within the surface — and measure its circumference. On a plane the answer is $2\pi r$. On a sphere it is less, and on a saddle it is more, and the deficit is proportional to the curvature.

So curvature is detectable from inside. And because bending does not change any distance measured inside, bending cannot change it.

That is why a flat sheet stays flat in the Gaussian sense however it is rolled, and why no amount of ingenuity gets it onto a sphere.

Where the loophole is #

Given how strong the constraint is, it is worth being precise about how folding escapes it, because the escape is narrow.

Folding does not add curvature. Every point of a folded sheet away from a crease still has zero Gaussian curvature, and every crease is a place where the surface is not smooth so the curvature is undefined rather than nonzero.

What folding adds is concentration. Curvature can accumulate at isolated points — vertices — where the angle deficit is nonzero. A cone has all of its curvature at the apex; a polyhedron has all of its curvature at the corners.

But a vertex made by folding a flat sheet has angle deficit zero, which is exactly the developability condition every pattern on this site is checked against. So folding a flat sheet produces no curvature anywhere, concentrated or otherwise.

The apparent curvature of a folded model is entirely a matter of arrangement. The material is flat throughout and always was.

Approximation, quantified a little #

Since spheres are unreachable, everything spherical made from sheet is an approximation, and it is worth knowing roughly how good.

A gore of angular width $w$ on a sphere of radius $R$ has a maximum in-plane distortion of order $w^2/8$ when flattened. For a globe with 12 gores, $w$ is 30° and the distortion is around 3%. With 24 gores it is under 1%, which is why quality globes use many narrow gores and cheap ones visibly bulge at the seams.

The same arithmetic governs faceted approximations, sail panels, and the panelling of curved architectural surfaces. In every case the error falls with the square of the panel size, so halving the panel quarters the error — which is why the practical answer to “how curved can this be” is always “how many panels are affordable”.

Where the model stops #

Ideal inextensibility. Real paper stretches by a fraction of a per cent, which is enough to fudge a small amount of curvature. Many models that are geometrically impossible are physically fine.

Smoothness. The theorem is about smooth surfaces. Creases and vertices are where the interesting behaviour is, and they require the distributional version.

No thickness. As everywhere, the sheet is a surface. Real material has depth and a bent plate has different inner and outer geometry.

The figure’s surfaces are parameterised. The four shapes are drawn from closed-form parameterisations chosen to be recognisable. They illustrate the classification and are not solutions to a developability computation.

Approximation is not quantified. How many facets a given accuracy needs, or how narrow a gore must be, is a real question with real answers, and nothing here computes one.

Why this is the deepest constraint here #

Of everything on this site, this is the result the rest rests on, and it is worth saying why.

The circle-packing argument works because distances within the sheet are preserved. The flat-folding conditions are conditions because angles at a vertex are preserved. Curved creases force developable surfaces because curvature is preserved.

All three are consequences of one fact: folding is an isometry, and an isometry preserves everything intrinsic. Gauss’s theorem is the statement that curvature is intrinsic, which is what makes it the common ancestor.

That also explains why the exceptions are all material rather than geometric. Wet-folding breaks inextensibility; thickness breaks the surface model; crease radius breaks the assumption that folds are lines. Every departure from the theory is a departure from the paper being an ideal inextensible surface, and there is no geometric escape at all.

The theorem is about more than paper #

It is worth registering how far this reaches, because paper is a small application.

The same constraint governs sheet metal forming, which is why body panels are pressed and ducts are rolled. It governs sail-making and parachute design, which are gore problems. It governs cartography completely, and every argument about map projections is an argument about a consequence of it.

It governs the shape a pizza takes when held at one edge — curving it one way forces it flat the other, which is Gaussian curvature keeping its product constant, and is the single most useful application of differential geometry in daily life.

And it governs why a flat-packed piece of furniture is flat-packed: flat stock is cheap, and the things that can be made from it without stretching are exactly the developables.

The constraint that is not a limitation #

It is easy to read this as a list of things paper cannot do, and the more useful reading is the opposite.

Developability is what makes folding predictable. Because the sheet cannot stretch, its behaviour is determined by its crease pattern and nothing else — the same pattern in the same material gives the same object, every time, in anybody’s hands.

A material that stretched would have no such property. The shape would depend on how hard each region was pulled, which is a continuum of possibilities rather than a determinate answer, and there would be no crease pattern worth publishing because it would not specify anything.

So the constraint is what makes the pattern the object. Everything this site relies on — that a figure can be printed and folded and come out right — depends on the sheet having no freedom to stretch, and would fail immediately if it did.

That is a general property of strong constraints in design. They remove possibilities and, in exchange, they make what remains reliable.

Testing it on a pizza #

The most accessible demonstration of the theorem requires no paper at all.

Hold a slice of pizza flat by the crust and the tip droops. Curl the crust upward — introducing curvature across the slice — and the tip lifts and stays rigid.

That is Gaussian curvature being conserved. The slice is flat, so $K = 0$, so the product of the two principal curvatures is zero everywhere. Force one of them to be nonzero by curling, and the other must be zero — the slice cannot bend along its length while it is curved across.

It is the same fact that stops a sheet becoming a sphere, applied in the opposite direction: rather than preventing a shape, it is being used to prevent a deformation.

Corrugated iron works this way, as do folded card structures and every tessellated sheet on this site. Curvature in one direction buys stiffness in the other, and the payment is exact.

Curvature is the whole story #

Collecting the threads, because this one result underlies more of the site than any other.

Flat-foldability begins with developability — the angles at a vertex must sum to a full turn — which is the statement that no curvature was concentrated there.

Circle packing works because distances within the sheet are preserved, which is the same isometry that preserves curvature.

Curved creases force ruled surfaces because those are the developable ones, which is this theorem stated for a smooth case.

Thickness breaks things precisely because a thick sheet is not a surface, so none of the intrinsic quantities are well defined.

One theorem, proved in 1827, sitting under a subject that did not exist. Gauss was studying surveying.

Why the theorem is called remarkable #

Gauss named it himself, and the choice of word is worth a paragraph.

By 1827 it was well understood that a surface sitting in space has curvature, and that the curvature can be computed from how the surface bends in that space. That is an extrinsic description: it refers to the surrounding three dimensions.

What Gauss showed is that one particular combination — the product of the two principal curvatures — can be computed entirely from measurements made within the surface, with no reference to the space at all. An inhabitant of the surface, with a tape measure and no concept of a third dimension, can determine it.

That is remarkable because it means the quantity is not really a property of how the surface sits in space. It is a property of the surface itself, and the embedding is incidental.

The whole of modern differential geometry follows from taking that seriously — if some geometric quantities are intrinsic, then geometry can be done without an ambient space, which is what Riemann built and what general relativity uses.

A sheet of paper refusing to become a sphere is the most tangible consequence of a result that reshaped the subject.

The ladder from here #

Later rungs: the Theorema Egregium stated and proved. Developable surfaces classified. Rulings and the tangent developable. Concentrated curvature at a vertex. Map projections and their trade-offs. Gores and how they are computed. Faceted approximation and its error. Corrugation as apparent curvature. Wet-folding and the fibre mechanics. And curved creases, where developability does the work of a theorem.

Gauss called it egregium — remarkable — because the result says something intrinsic can be measured without ever leaving the surface. An ant on a sheet of paper can determine that it is on a sheet of paper, and can determine that it is not on a sphere, without any access to the third dimension.