Machine Kinematics
solved, then drawn
Concept

Cost model — where it appears

An account of what a construction costs in parts, as a function of its input. Here it is read off the mechanism rather than predicted: the number of bar constraints the compiled object actually carries, which is what caught a version whose bars were all present and eight of them dependent.

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

Every curve in the catalogue, compiled and counted. The bar count is not a formula: it is the number of bar constraints the compiled mechanism actually carries, asked of the object rather than predicted. A line costs five bars and a quintic four hundred and thirteen, which is the field's central number — exactness is paid for in size. The all-revolute column replaces the one prismatic pair that closes the chain with a Peaucellier cell, which costs seven bars whatever the curve, so it is more than half the machine on a line and a rounding error on a quintic. The last column is the polynomial evaluated at the traced point, worst over each machine's working arc.

Five bars for a line, four hundred for a quintic

Nine curves compiled and counted: a line at five bars, a circle at eleven, a lemniscate at fifty, a general quintic at four hundred and thirteen. The growth is a fourth power of the degree, and three quarters of the largest machine is not computing anything at all.

computing · Compute Bars against terms, over the whole catalogue. One mark per compiled machine. The bar count rises much faster than the term count, and the reason is the summing chain: term k has to have its direction carried to the k−1th vertex of the chain, one parallelogram per hop, so the carrying costs a translator for every pair of terms. Nine curves, from five bars to four hundred and thirteen, on a term count that goes from one to eighteen.

What universality is worth

The linkage exists, it is four hundred and thirteen bars, and it draws ten degrees of its curve. All three are true and only the first is in the theorem — which is the ordinary shape of a result about what exists, and the reason it was worth building one to find out.

computing · Compute Every way the same bars can be put together. The machine compiled from a rectangular hyperbola has 4 parallelograms, and a parallelogram's four bars also close as an antiparallelogram — so there are 16 ways to assemble it. One mark per way. 4 of them put the tracing point on the curve, 4 put it somewhere else, and 8 do not close at all. The ones that are wrong are not broken: they satisfy every bar to 9.6e-15 while the polynomial at their tracing point reads 1.5e-1. This is the gap in Kempe's original argument, and no tolerance on the closure could ever have found it.

Six things a compiled linkage is not

A closure residual read as a verdict, a theorem read as a design, an exact answer read as an accurate one, a degree read as a cost, a construction read as a search, and a neighbourhood read as a turn. Six claims, each of them what a careful person would say, each answered with a number.

wrong · Misconception A rectangular hyperbola, compiled from a multiple of its equation. The machine compiled from p · (1 + x² + y²) for a rectangular hyperbola, with the translators — the parallelograms that carry a direction from where it is produced to where it is needed — in their own colour. The factor 1 + x² + y² is at least one at every real point, so every equation here vanishes on exactly the same curve. The machines do not agree: 20 bars at p, 75 bars at p · (1 + x² + y²), 144 bars at p · (1 + x² + y²)². This one solves 29 positions over an arc of 0.508 radians, and at every one of them the original polynomial reads 4.93e-14.

The price is on the equation

A line costs five bars. The same line, written as its own equation multiplied by a factor that is never zero, costs fifty — and the machine compiled from the longer equation draws the same line just as exactly. Every cost this field quotes belongs to a polynomial and not to a curve, and the cheapest equation of a given curve is a quantity nobody here has.

computing · Compute Two circles, one term. The curve r² = 1.44 together with r² = 2.56, whose squared radii sum to 4.00 — four times the square of the arm's link length. Their product equation expands to 1 term, which is what either circle costs on its own, so the second circle is free. The machine compiled from it has 17 bars against 11 for the single circle, runs over 5.200 radians against 1.560, and stays on the outer component throughout: its radius varies by 4.15e-13 over 240 solved positions. A mechanism moves continuously and the two circles are disjoint, so no assembly of it reaches both.

Two circles for the price of one

Search every multiple of a curve's equation by a polynomial of degree two and the cheapest is the curve's own equation, on four curves and by exhaustion. On the circle a second multiplier ties — and what it describes is two concentric circles, whose squared radii sum to four times the arm's link length squared, at exactly the cost of one.

computing · Compute

Named alongside it

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

Working arcCompiled linkageUniversalityAlgebraic curveDegreeFrequency pairImplicit equationAssembly branchExact mechanismExistence proofKinematic synthesisLoop closure

All concepts