Reflection — where it appears
Named by 4 essays across 3 fields — each of them below, with the objects they name alongside it.
Four bars that add two angles
A rhombus on two links from one pivot points along the bisector of their angle, exactly, because a rhombus has equal sides. Hold its far vertex on a line and it reflects instead. From those two facts come negation, doubling and addition — and every whole-number combination of two angles a compiled machine needs.
Doubling is cheaper than adding
Multiplying an angle by eight costs three gadgets and multiplying it by seven costs six. The cost of an integer multiple follows the binary expansion of the integer and not its size — which is why the arithmetic in a compiled machine grows like d log d while everything else grows like the fourth power.
A symmetric curve from a lopsided machine
A four-bar with a crank of 1, a ground of 3 and a rocker of 2.5 has no symmetry anywhere in it. Make the rocker, the coupler and the arm from the rocker pin to the tracing point one length, and the curve it draws is its own mirror image to 4 × 10⁻¹⁵, about a line through the rocker pivot turned from the ground line by exactly half the coupler's angle at that pin.
Constant velocity is a mirror
Between parallel shafts a coupling keeps its output in step exactly when its hubs only translate relative to each other, which is membership of a group. Between shafts that meet, no group will do: a single universal joint at 30° and a correctly phased double Cardan joint both close to the spherical group, and one wanders by 8.2° a turn while the other keeps step to 10⁻¹⁵. What separates them is a mirror that swaps the two hubs. It either fixes every configuration of the joint or fixes none, so one symmetric position certifies a whole turn — which is what the phasing mark on a propshaft checks.
Named alongside it
The objects these essays reach for when they reach for this one.
Assembly branchExact mechanismRhombusSymmetryAngle bisectorAngle multiplierBinary expansionClosed formConstant velocityCoupler curveCrank-rockerDisplacement subgroup