Concept

Ray tracing — where it appears

Following a ray through reflections and surface crossings step by step, which describes a curved mirror's map where no matrix can.

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

eyethe best fit — no ray goes through itno single viewpoint — the rays miss by 2.46 mmover 20 cm of a 2.00 m ball

A curved mirror has no eye

A flat mirror is a second camera — reflect the eye in the plane and every line of sight passes through the reflected point, to 2.8e-12 mm. Curve the mirror and the point is gone. Over 20 cm of a mirror ball two metres across, the lines of sight miss their own best-fitting point by 2.8 mm, and by 52.9 mm on a ball half a metre across. What replaces the eye is not a worse eye; it is nothing.

mirrors · curvedmirror
184 mm of causticvertex radius 1.60 m, aperture 1.24 m184 mm of envelope

Where the focus went

If the reflected rays do not meet at a point, they meet each other in pairs, and the curve they are all tangent to is what the mirror has instead of a focus. On a sphere of 1.6 m vertex radius it is 184.1 mm long and has a cusp; near the axis it sits at R/2, which is why a small enough spherical mirror passes for a good one. This is the bright shape in the bottom of a coffee cup, computed rather than admired.

mirrors · caustic
focus, R/2 = 0.800 m184 mm of causticvertex radius 1.60 m, aperture 1.24 m5e-9 mm against 184 mm

The one shape that focuses

A paraboloid takes every ray parallel to its axis exactly through one point — 4.8e-9 mm of envelope across a 1.24 m aperture, which is arithmetic. A sphere with the same vertex curvature spreads the same bundle over 184.1 mm. So there is exactly one curved mirror that is a projection through a centre, it is a projection for exactly one bundle of rays, and every telescope in the world is built out of that sentence.

mirrors · paraboloid
eye, on the axisa cone 29 cm across and 22 cm highthe design lies from 0.17 m to 0.47 m out

The cone that reads the floor

A conical mirror standing on a design turns it into a picture, and the map it performs is exact, one-to-one, and not a projectivity — a homography fitted to four of the marks returns those four to 7e-13 mm and puts the rest 2480 mm away, on a design 369 mm wide. The reason is that the cone turns the annulus inside out: the middle of the picture comes from the far edge of the floor and the rim from the near one.

mirrors · conemirror
111 mm outcorrect from 21 cm, at 160 mm wide1e-12 mm with the floor · 111 mm without

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.

curved · curvedrectify
025507510010203040how wrong the assumed curvature is, as a % of the true oneworst error in the recovered design (mm)0.91% buys 1 mma a ridged floor, k = 0.0644.0 mm at 41% 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.

curved · curvedrectify

Named alongside it

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

centre of projectionReflectionCausticDevelopableHomographyAnamorphosisApertureAstigmatismCuspEnvelopeFocusGaussian curvature

All concepts