Gaussian curvature — where it appears
Named by 10 essays across 6 fields — each of them below, with the objects they name alongside it.
The curvature a shadow reports
A flat floor makes a shadow a homology, so four marks predict the rest exactly and a curved floor mispredicts them by millimetres. Turn that round and the mispredict is a measurement of the floor. It recovers a dished floor's own curvature to a per cent — and returns 0.482 for a floor made of two planes, whose curvature is zero everywhere, with a residual of ten microns.
Undoing a picture made on a curve
Three rounds of work here have measured what a curved receiving surface costs going forward — 5.67 mm on a dish, 9.07 mm on a ridge, 529.4 mm on a vault. None of them asked whether the design can be got back. It can, exactly, and the price is stated precisely: you have to supply the surface. Told the floor, the recovery returns a design to 1.1e-12 mm; told nothing, and fitting the four marks every rectification tool fits, it is 111 mm out.
How well the floor has to be known
“Supply the surface” is an instruction with no number in it, and an instruction with no number is a wish. Here is the number: the error in the recovered design is very nearly proportional to the error in the assumed curvature — the constant varies by 1.4% across a twentyfold range — so about nine parts in a thousand of the curvature buys one millimetre on a design 1800 mm wide, and 40% out costs 43.5 mm.
The floors that unroll
A ridged floor curves visibly and can be laid flat without stretching anything — 7.4e-9 of strain across the patch. A dished floor curves less and cannot be laid flat by any means whatever. The difference is one number, Gaussian curvature, and it is the number Gauss proved no bending can change: 0 for the ridge, 0.0144 per square metre for the dish, and no cleverness in the flattening touches it.
The height a flat floor cannot give
The marks of a floor anamorph name the eye's position on the floor exactly and say nothing about how high it was — every candidate height explains them perfectly, to one part in a thousand trillion. That is a fact about planes rather than about anamorphs. Ripple the floor by six centimetres and the family collapses: the true height explains the marks exactly and the nearest wrong one, five centimetres away, leaves two millimetres on a design 1.8 metres wide.
The residual has a shape
A flat-floor map mispredicts a shadow by millimetres on any floor that is not flat, and the number everybody quotes is the worst one. Tune a dish, a ridge and a step until all three mispredict by exactly 25.0 millimetres and the scalar can no longer tell them apart — by construction. The signed residual around the ring still can. The second harmonic of it reads 0.09%, 2.79% and 19.37%, a factor of two hundred across three floors the headline number calls identical.
No view draws a curved plate true
The auxiliary view is descriptive geometry's answer to a foreshortened plane — turn until the plane is parallel to the paper and it draws at true shape. A bent plate has no such direction and a dished one has none twice over: the best view of the first is out by 1 − cos w and the best of the second by 1 − cos²w, worse by exactly 1 + cos w, because its normals need two parameters rather than one.
The drawing and the development
A bent plate gets two flat pictures on the same sheet and each is exact in what the other loses. The parallel drawing keeps the generators at one scale and stretches the arc over a factor; the development keeps every length on the surface and keeps nothing of the shape in space. Neither is the plate and the pair of them is.
A picture that can be printed
Two screens are fed the surface that is exactly right for each, so nothing about the viewer is left in the answer. What remains is whether the picture can be made flat before it goes up — and a cylinder unrolls while a sphere does not, so the dome's picture is stretched by eighteen per cent between its middle and its rim before anybody sits down.
A curved surface made of straight lines
A hyperboloid of one sheet carries two families of exactly straight lines, so a photograph of a cooling tower is full of straight lines bounding nothing flat — 28 of them here, drawn to 2.3e-13 px of straightness against a parallel of the same surface that bows 120 pixels. Both families' directions satisfy one asymptotic equation, so their vanishing points lie on one conic in the picture and not on two, to 1.6e-12 px with no fitting anywhere.
Named alongside it
The objects these essays reach for when they reach for this one.
Developable surfaceleast squaresArea scaleDemonstrationDevelopableHomologyIsometryRectificationResidualAnamorphosisArc lengthConditioning