Concept

the Roberts–Chebyshev theorem — where it appears

The theorem that every four-bar coupler curve is traced by exactly three four-bars. It is what makes a coupler curve an object with several mechanisms rather than one, and it is checked here by comparing the implicit equations the three traces satisfy.

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

3 four-bars, one coupler curve. Three different four-bars, with different ground pivots, different link lengths and different proportions — 0.692 and 0.799 times the size of the first. Every one of them draws this same curve. Roberts's theorem says there are always exactly three, and the construction is one complex multiplication: write the coupler point as λ = (P − A)/(B − A), put the third fixed pivot at O₂ + λ(O₄ − O₂), and the other two linkages fall out with their bars' roles permuted — what is a coupler in one is a crank in another. The curves here were traced separately, each from its own solver runs, and agree to 1.3e-5 against a sampling resolution of 1.4e-5 — which is to say, as closely as the comparison can tell.

Three linkages, one curve

Every coupler curve is drawn by three different four-bars, not one. The other two can be constructed from the first with a single complex multiplication, they have different proportions and different ground pivots, and the roles of their bars are permuted — what is a coupler in one is a crank in another.

synthesis · Synthesis

Three linkages, one polynomial. Roberts's theorem says three different four-bars draw the same coupler curve. Here each one is traced, and each trace is fitted separately for the sextic that vanishes on it — on a common normalisation, or the comparison would be between three polynomials in three coordinate systems. The twenty-eight coefficients agree across all three to 5.0e-7. The three traces are drawn on top of one another and the curve is the same object each time; the test shares nothing with the construction that produced the cognates, which is why it is a test.

Three linkages, one equation

Roberts's theorem says three different four-bars draw the same coupler curve. Fitted separately for the sextic that vanishes on each trace, on a common normalisation, the twenty-eight coefficients agree across all three to 5 × 10⁻⁷ — a test of the theorem that shares nothing with the construction the cognates came from.

curves · Coupler

Three machines drawing one oval, and where each keeps its area. The crank-rocker with ground 4, crank 1, coupler 3.5 and rocker 3, its tracing point at (0.45, 0.5) of the coupler, and the two other four-bars Roberts's construction gives for the same curve, each drawn holding the same point of one oval and each with its input pin's path dashed in the input colour and its output pin's in the output colour. The shaded oval encloses 2.116354 for all three. In the crank-rocker the crank pin goes round and carries 1.727876 of it; in the double rocker neither pin goes round and the coupler's turn carries 1.727876; in the rocker-crank the output pin goes round and carries 1.727876. The remaining 0.388478 is the same in all three.

Where three machines keep one area

Roberts's theorem gives every four-bar two others that draw the same coupler curve, and so enclose the same areas. Measured, they do, to 10⁻¹² — but each keeps the area in a different place: the crank-rocker in its crank pin's circle, the double rocker in its coupler's turn, the third machine in its output pin's circle. What is left over has no closed form, and it is one number in all three.

curves · Coupler

What region each four-bar's two cognates land in. One row per region of length space. Against each, the regions of the two four-bars Roberts's construction gives for the same coupler curve, and how many of the 24000 chains in the census landed in that region. Every row has one entry: across the whole census, and at each of 5 tracing points, the original's region decides its cognates' regions with nothing left over. The four Grashof regions are above the rule and the four triple rockers below it, and no row crosses it — a crank-rocker has a double rocker and a rocker-crank, a double crank has a double crank and a double crank, a rocker-crank has a rocker-crank and a double rocker, a double rocker has a crank-rocker and a crank-rocker, a 0–π rocker has a 0–π rocker and a 0–π rocker, a π–π rocker has a π–π rocker and a π–0 rocker, a π–0 rocker has a 0–0 rocker and a 0–0 rocker, a 0–0 rocker has a π–0 rocker and a π–π rocker.

The kind is decided before the lengths are

Roberts's construction hands a four-bar two others that draw its curve, and which of the eight kinds those two are is settled by the kind of the first — not by its lengths within that kind, and not by where the tracing point sits. Twenty-four thousand chains at five tracing points produce no exception, and the reason is one line: the tracing point enters the construction only as a scale, and a region is scale-blind.

curves · Coupler

Three machines, one curve

Roberts's theorem says every four-bar coupler curve is drawn by exactly three different four-bars. Read as an identification problem that is a least-squares objective with three separate exact minima, whose cranks differ by sixty per cent — so an instrument that records only where the tracing point went has three answers, and no amount of data chooses between them.

metrology · Parameter

Named alongside it

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

Cognate linkage Coupler curve Crank-rocker Double rocker Grashof's condition Least-squares Signed area Algebraic curve Calibration Chebyshev's linkage Classification Cognate ambiguity

All concepts