Machine Kinematics
solved, then drawn
Concept

Degree — where it appears

The highest total power of the coordinates in a polynomial. It bounds which frequencies a curve's expansion can use and does not decide how many of them survive, which is why a degree-four lemniscate compiles to a smaller machine than a degree-three cubic.

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

What each curve costs, in cosines. Every polynomial in the two arm angles is a constant plus a sum of terms A cos(mα + nβ + φ) with whole-number m and n, and the number of those terms is what a machine has to build. The count is not the degree and not the monomial count: a circle costs one term, a general line two, and a lemniscate — degree four — costs five, fewer than the cubic above it, because its symmetry cancels frequency pairs the cubic keeps. Each row's expansion was checked against a direct evaluation of its own polynomial at random angles, worst disagreement 1.8e-14.

A circle costs one term

A line expands to two cosines, a circle to one, a general conic to six. A lemniscate is degree four and costs five; a general cubic is degree three and costs eight. What a curve costs is not its degree — it is how many frequency pairs its own symmetry fails to cancel.

computing · Compute 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 What degree a coupler curve actually is. A four-bar's coupler point traced at 602 solved positions, then asked which polynomials vanish on those points. For each degree the design matrix's smallest singular direction is taken and its worst residual plotted. Degrees four and five leave nothing near zero; degree six drops by ten decades and degree seven buys nothing further. The textbook sentence — a coupler curve is a sextic — comes back as a measurement, and the decision is made by the gap between the smallest singular value and the next, which here is a factor of 2.8e+3 — at 15, 21, 28 and 36 monomials respectively.

The equation a four-bar satisfies

Every textbook says a coupler curve is a sextic. Traced at six hundred solved positions and fitted at degrees four through seven, the answer comes back as a measurement: nothing vanishes below six, degree six drops by ten decades, and degree seven buys nothing — with the decision made by a gap of 2.8 × 10³ rather than by a residual.

algebra · Algebra A line across the four-bar's coupler curve. The curve traced by a point on the four-bar's coupler, over every real configuration, with the machine drawn faintly at one of them. A real line crosses it at 4 marked points. Written as polynomials, the machine and the line have 8 paths to track; 6 arrive, 2 leave for infinity, and the arrivals draw 6 distinct points — 4 real and 2 complex. A random complex line gives 6 as well, which is the curve's degree.

A degree counted on a line

A curve of degree six meets a general line in six points, and that sentence is a way to measure the degree with no equation in it. Written as polynomials, a four-bar and a random complex line have eight paths to track; six arrive on every line tried, the other two run off towards the circular points, and a sum of the six stays straight to fifteen figures only when none is missing.

algebra · Algebra Every body of the Stephenson six-bar, sliced by one line. One random complex line, and a point on each body of the Stephenson six-bar required to lie on it. Every system has Bézout number 32. crank: 8 configurations drawing 2 distinct points, each 4 times, so degree 2; ternary coupler: 12 configurations drawing 6 distinct points, each 2 times, so degree 6; rocker: 8 configurations drawing 2 distinct points, each 4 times, so degree 2; arm: 18 configurations drawing 18 distinct points, each 1 time, so degree 18; output: 12 configurations drawing 2 distinct points, each 6 times, so degree 2. The configurations are what the tracker counts; the points are what the curve has.

The curve nobody eliminates

A point on the arm of the site's dwell six-bar draws a curve whose equation nobody writes down and no fit can find: at degree eighteen a fit needs a hundred and ninety coefficients, and its singular values have no gap to decide by. Sliced by a random line, the same machine has thirty-two paths to track and eighteen arrive, on every line tried, all eighteen distinct and all on one curve.

algebra · Algebra How many times each curve passes through the circular points. For each body of five machines, the degree of the curve a point on it draws, from a random complex line, and the number of finite points where that curve meets a line through the circular point I, x + iy = c, and one through J, x − iy = c. The difference is how many times the curve passes through that circular point. Four-bar, crank: degree 2, 1 and 1 finite, circularity 1; four-bar, coupler: degree 6, 3 and 3 finite, circularity 3; four-bar, rocker: degree 2, 1 and 1 finite, circularity 1; Watt six-bar, coupler: degree 6, 3 and 3 finite, circularity 3; Watt six-bar, second coupler: degree 6, 3 and 3 finite, circularity 3; Watt six-bar, output: degree 2, 1 and 1 finite, circularity 1; Stephenson six-bar, coupler: degree 6, 3 and 3 finite, circularity 3; Stephenson six-bar, arm: degree 18, 9 and 9 finite, circularity 9; Stephenson six-bar, output: degree 2, 1 and 1 finite, circularity 1; slider-crank, crank: degree 2, 1 and 1 finite, circularity 1; slider-crank, coupler: degree 4, 3 and 3 finite, circularity 1; elliptic trammel, rod: degree 2, 2 and 2 finite, circularity 0. Every body of the three machines built from pins alone has circularity exactly half its degree; the slider-crank's coupler curve and the trammel's ellipse do not.

Nine times through each circular point

A line through a circular point meets a curve at that point once for every time the curve passes through it, so counting its finite meetings measures how often, with no equation. The Stephenson six-bar's arm curve, degree eighteen, meets such lines in nine finite points: it passes nine times through each circular point. Every curve drawn by a body of a machine built from pins alone does this at exactly half its degree; a slide breaks it.

algebra · Algebra Where a fit's singular values fall away, on each motion of a parallelogram. The 28 singular values of the degree-six fit, largest first and relative to the largest, for points traced on the parallelogram's circle motion, on its quartic motion, and on both. On the circle motion the last 15 lie below a drop of 3.7 × 10¹³, from 0.232 to 6.2 × 10⁻¹⁵; on the quartic motion the last 6 lie below a drop of 3.0 × 10¹⁰, from 6.3 × 10⁻⁵ to 2.1 × 10⁻¹⁵; on both motions the last one lies below a drop of 2.5 × 10¹², from 3.1 × 10⁻⁴ to 1.2 × 10⁻¹⁶. A drop of ten decades or more is a null space that is exactly there: fifteen sextics vanish on a circle, six on a quartic, and one on both.

A null space of fifteen is not noise

Points traced on one motion of a parallelogram four-bar leave a degree-six fit with fifteen polynomials that vanish on them, behind a drop of thirteen decades: the circle times every quartic. Half an oval of an ordinary coupler curve leaves two to five, behind drops of two. The count is the same kind of number in both cases, and only the drop beside it says which one is algebra.

curves · Coupler The closed path of a geared five-bar's pin at four gear ratios. A five-bar with two cranks of length 1 on pivots 3 apart, couplers 3 and 2.5, and a gear on each crank, drawn over one whole cycle at ratios 1 : 1, which closes after 1 input turn; 2 : 1, which closes after 1 input turn; 3 : 2, which closes after 2 input turns; 5 : 3, which closes after 3 input turns. Both assembly branches of the coupler pin are drawn, one in each colour. The curves they make together have degree 6, 10, 16, 26.

Every rational gear ratio has a degree

Mesh a gear on each crank of a five-bar and the pin where its couplers meet draws a closed curve at every rational ratio. Its degree is 6 at 1 to 1, 16 at 3 to 2, 68 at 13 to 8 and 178 at 34 to 21: four times the larger term of the ratio plus twice the smaller, read off the span of one polynomial in one variable. Along the golden ratio's convergents the degree grows by the golden ratio at each step, and at the golden ratio itself no fit finds any.

algebra · Algebra The same five-bar with its gears meshed outside and inside. A geared five-bar drawn over a whole cycle at four ratios, with its two cranks turning against each other in the top row and together in the bottom one — an external mesh and an internal one, which is the same machine with the ratio's sign changed. Both assembly branches are drawn. The curves have the same degree in both rows — 1 : 1 at 6, 2 : 1 at 10, 3 : 2 at 16, 5 : 3 at 26 — and they are not the same curves: the lower ones are the maximally circular members of their degree and the upper ones are not, which is a difference nothing about the drawing shows.

The mesh inside keeps the half

Mesh a geared five-bar's two gears inside each other instead of side by side and the cranks turn together rather than against each other. The curve its pin draws has exactly the same degree at every rational ratio — and it passes through each circular point half that degree, which is as often as any curve can, where the counter-rotating machine manages between a third and two fifths. The sign of the ratio is the whole difference.

algebra · Algebra Six coupler points of one slider-crank: three at other distances from the crank pin, three exactly a rod away. A slider-crank with a crank of 1 and a rod of 3 on a slide through the crank's pivot, drawn at one position with the closed curves six points of its rod trace over both assemblies. A point is given as (u, v) in the rod's own units — u along the rod from the crank pin, v across it. On the left (0.4, 0.5), (−0.3, 0.2), (1.2, −0.6): their distances from the crank pin are 0.64, 0.36, 1.34 rods. On the right (0.6, 0.8), (0, 1), (−0.8, 0.6), each exactly one rod from the crank pin, as far as the slider pin is. All six are quartics, all six are bounded — no real branch runs off the page — and nothing in the drawing tells the two panels apart. The difference is at infinity.

Where a slide puts the rest of the degree

A slider-crank's connecting rod draws a quartic that passes once through each circular point, which leaves two of its four meetings with the line at infinity unaccounted for. They are not along the slide. A point u along the rod and v across it sends them to the complex slopes [2v ± i(1 − u² − v²)] / [(1 + u)² + v²], whatever the crank, rod or offset — confirmed by slicing and by the fitted equation — and they are real only for points exactly a rod's length from the crank pin, where they merge into one direction at half the point's angle.

algebra · Algebra 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.

Algebraic curveImplicit equationWitness setCircular pointsCoupler curveCost modelDouble pointFrequency pairHomotopy continuationSingular valueWorking arcCompiled linkage

All concepts