Curvature — the series
-
The mechanism drops out
Every other field here is about a machine. This one is about the motion a machine makes — a plane sliding over a plane — and near any instant that motion is a handful of numbers with no linkage in them. Two mechanisms that agree on those numbers make the same motion, and one of them can always be thrown away.
-
Every point has a centre
A point of a moving plane traces a curve, and near an instant that curve is a circle. Which circle is decided by one relation with two numbers in it — the same relation for every point of the plane at once, and it was written down in 1830 with no derivatives visible anywhere in it.
-
The circle of points going straight
At any instant some points of a moving plane are travelling in a straight line. They form a circle — not nearly a circle, a circle — and the reason is one real coefficient in a quadratic. A coupler curve has an inflection exactly when that circle sweeps over the tracing point, which turns out to be rare.
-
The other pole
The instantaneous centre is the point of a moving plane that is not moving. There is a second point that is not accelerating, it is somewhere else entirely, and over a full turn of one four-bar the two are never closer than one and a half coupler lengths and get as far apart as twenty-two.
-
A construction with no arithmetic in it
Everything in this field so far has needed the motion differentiated. Bobillier's theorem gets the pole tangent — the one quantity that otherwise needs a derivative — out of two lines that are already drawn on the mechanism, and the inflection circle follows from three points and a pair of compasses.
-
Where the curvature stands still
One derivative further on there is a second locus: the points whose path curvature has momentarily stopped changing. The expression whose zero set it is looks like a quartic, its fourth-degree terms cancel, and the cancellation is measured at ten to the minus fourteen rather than assumed.
-
The straightest point there is
Where the circle of points going straight meets the cubic of points whose curvature is standing still, there is one point whose path is straight and staying straight. Neither Watt nor Chebyshev put their tracing point there, and moving Watt's to it more than halves the error over the whole stroke.
-
Four positions brought together
Burmester's construction finds the points of a moving plane whose four prescribed positions lie on a circle. Bring the four positions together and the curve it draws has to become the cubic of stationary curvature — and the gap between the two closes as the square of the spread, with the exponent measured rather than assumed.
-
Where a curve has a corner
Some coupler curves have corners in them — points where the curve stops, turns round and comes back. A corner happens where the tracing point is momentarily still, the only point of a moving plane that is momentarily still is the pole, and so the corners of a coupler curve are decided entirely inside the coupler's own plane.
-
Exact because two circles roll
Watt's straight line is straight to nine parts in a hundred and Chebyshev's to twelve. Here is one that is straight to nothing at all — no error term, no working range, no approximation anywhere — and the reason is that its two centrodes are circles, one rolling inside the other at exactly half its radius.
-
The circle a point stays on longest
One condition further on are the points whose path holds a circle to fifth order. A planar motion has at most four; two of them are always the mechanism's own pins, and the other two are real for two thirds of a turn and complex for the rest — a count that changes while nothing about the mechanism does.
-
How long a pivot stands in for a linkage
Throw the four-bar away and replace a coupler point by a crank pivoting at the centre of its path's curvature. The two separate like the cube of the crank step for an ordinary point, the fourth power on the cubic, and the fifth at a Burmester point — three exponents that are the whole field, measured with no derivative anywhere in the measurement.
-
The linkage, put back from two curves
This field opened by saying the mechanism drops out, and that every planar motion is one curve rolling on another. Both are true and neither had been measured. The rolling reproduces the four-bar's own placement to a residual that quarters when the sampling halves, and the two curves lay equal arc to a part in a billion.
-
The two numbers are the curves' own
Every essay in this field runs on the inflection circle and the pole tangent, and every one has taken them from the motion's derivatives. They are the two centrodes' radii of curvature at the pole, combined harmonically — measurable off the curves with no mechanism in the arithmetic, and carrying a sign that changes eight times in a turn.
-
The frame seen from the coupler
Hold a four-bar's coupler still and let its frame move, and every construction of the curvature field has a counterpart. The frame's points that travel straight lie on the ordinary inflection circle reflected through the pole — found by differentiating the swap and, independently, by solving the coupler-held four-bar, both to 10⁻¹⁴ — and a point and the centre of curvature of its path trade places exactly. The inverse motion of one four-bar is the ordinary motion of another.
-
A curvature is a size with a minus sign
Everything in the curvature field is a similarity invariant in shape and a reciprocal length in value. Scale a moving plane and its inflection circle scales, its cubic of stationary curvature scales, and every curvature it computes is divided by the factor — so a bigger machine traces gentler paths than its drawing suggests.