Machine Kinematics
solved, then drawn
Concept

Double point — where it appears

A point where a plane curve passes twice, so that its equation and both first derivatives vanish there. On a coupler curve it is a crossing, an isolated point no configuration reaches, or a cusp, and a four-bar's curve has three finite ones.

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

Two ovals of one sextic. A four-bar with ground 4, crank 1, coupler 3.5, rocker 3, its coupler point solved at 720 crank angles on each assembly. Each assembly closes on its own oval through a full turn of the crank, and the two ovals never meet: they come no closer than 1.712. Every solved point satisfies the one eliminated sextic to 6.6 × 10⁻¹⁶ of its largest term. The machine drawn solid and the one drawn faint are the same four bars at the same crank angle of 60°, and taking a pin out is the only way from one oval to the other.

The curve the other assembly draws

A crank-rocker's two assemblies do not share a coupler curve. Each draws a whole closed oval of its own through a full turn of the crank, the two ovals never meet, and both are the zero set of one sextic, so the equation a machine's own motion determines also describes a second machine it can never become.

curves · Coupler Three double points, and the one that is real is never visited. The coupler curve of a four-bar with ground 4, crank 1, coupler 3.5, rocker 3, coupler point at u = 0.45, v = 0.50, both ovals solved. The dashed circle is where the coupler's orientation can fail to be fixed by the point it carries; it passes through both fixed pivots and through the third pivot of the cognate construction, centre (2.000, 0.010), radius 2.0000. The curve's three finite double points are on it. The one that is real is isolated — a point of the curve no oval passes through, at (3.964, −0.368). The other two are a complex-conjugate pair and have no place in the plane.

A point the machine never reaches

Every coupler curve has three finite double points, and an odd number of them are real, so no coupler curve has none. On the standard crank-rocker the only real one is a point of the curve that neither assembly ever visits, that no contour plot can find, and that sits on the circle through the three pivots of Roberts's cognates.

curves · Coupler A parallelogram's sextic is a circle and a quartic. The parallelogram with ground 4, crank 1.5, coupler 4, rocker 1.5, coupler point at u = 0.45, v = 0.50. Its eliminated sextic divided by the circle of radius 1.5000 about (1.800, 2.000) leaves a remainder of 6.3 × 10⁻¹⁶ of its largest coefficient, and the quotient is a quartic whose leading form is exactly a multiple of (x² + y²)². Of the configurations solved across a full turn on both assemblies, 720 are on the circle — the machine as a parallelogram, coupler parallel to the ground — and 720 on the quartic, the machine crossed. The two factors meet at four finite points: 2 are change points, marked solid, where one configuration belongs to both; the other 2 are places the two drawings merely cross.

A sextic that comes apart

A parallelogram chain's coupler curve is not one curve. Its sextic divides exactly by a circle, leaving a quartic, and each factor is one of the two things the machine can do. The division leaves rounding and nothing else, a coupler one millionth too long leaves a remainder a million times larger than rounding, and the two factors meet at the two places where the machine has to choose.

curves · Coupler 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 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 Four points of one connecting rod: two crossings, none, two isolated points, two crossings again. The closed curves drawn over both assemblies by four points of the connecting rod of a slider-crank with a crank of 1 and a rod of 3 on a slide through the crank's pivot, which is marked in each panel. Each curve is a quartic and owes two double points. (0.12, 0.15), 0.19 rods from the crank pin: two crossings, at (±0.65, ±0.36), ringed; (0.4, 0.5), 0.64 rods from the crank pin: a complex pair, so the curve crosses itself nowhere; (0.75, 0.94), 1.20 rods from the crank pin: two isolated points at (±4.06, ±3.00), dotted, off the drawn curve; (1.1, 1.0), 1.49 rods from the crank pin: two crossings, at (±2.66, ±2.95), ringed. Each panel has its own scale. The second curve has no visible double point at all, and the third has two that no configuration of the machine ever reaches.

The double points that leave for infinity

A slider-crank's connecting rod draws a quartic that owes two double points. Close to the crank pin they are two real crossings. Between a crank's length and a rod's length from it they are a complex pair and the curve crosses itself nowhere. At exactly one rod both run off to the same real point at infinity and meet there as a tacnode whose branches are complex. Past that they come back real. Offsetting the slide changes the two circles by (R² − a²)(R² − b²) + e²R² = 0 and sends only one of the pair to infinity.

algebra · Algebra The one real double point a four-bar owes is the one that leaves when its rocker becomes a slide. Left: a four-bar with a crank of 1 pivoted at the origin, a coupler of 3 and a rocker of 5 pivoted at (3, −5), so that the rocker's circle touches the line y = 0 where a slider-crank's slide would run. The coupler point is (0.4, 0.5) in the coupler's own units, and the curve it draws over both assemblies is shown with the circle through the three cognate pivots, on which all three finite double points lie. Two of them are a complex pair near the crank; the third, the only real one, is an isolated point at (0.92, −5.32) that no configuration reaches. Right: the same picture divided by the rocker length for rockers of 4, 10, 20, 50, 200, 100,000, with the drawn rocker's point ringed. The machine shrinks to the origin, the pivot circle settles onto a fixed circle, and the isolated point settles onto one point of it, (−0.484, −0.580), marked with a cross: the value d(|w|² − 1)/(w̄ − 1) for w = 0.4 + 0.5i and d the direction from the slide to the rocker's pivot.

The double point a slide cannot keep

A four-bar's coupler curve owes three finite double points and a slider-crank's owes two, so a four-bar whose rocker grows into a slide has to lose one. Parity decides which: the one that leaves is always real, and always an isolated point no configuration reaches. It runs off along d(|w|² − 1)/(w̄ − 1) times the rocker's length, a law that knows nothing of the crank, the rod, the offset or where the rocker touches the slide. On the circle one coupler length from the crank pin the law is zero, and all three double points leave together like the cube root of the rocker.

algebra · Algebra A slider-crank whose crank becomes a slide loses both its double points. Left: a slider-crank with a crank of 5 pivoted a crank's length before the point where its crank pin crosses the slide, a rod of 3 and the slide along y = 0, drawn with the slides' eventual crossing at the origin. The rod point (0.3, 0.2) in the rod's own units draws the curve shown, and its two double points are the dots: isolated points, at (−7.90, 2.47) and (−2.10, −2.47). Right: the same double points divided by the crank, with the crank's pivot at the origin and the crossing at (1, 0), for cranks of 5, 10, 30, 100, 300, 1000. The pair settles symmetrically onto the crosses at ±(0.595, −0.505) — the law ± i(|w| − e^(i·arg w))/√(1 − |w|²) for w = 0.3 + 0.2i — and leaves in proportion to the crank.

The trammel takes both double points

Grow a slider-crank's crank without bound and its crank pin's circle flattens into a second slide: the machine becomes the elliptic trammel, whose curves are conics with no double points at all. Both of the slider-crank's double points have to go, and parity cannot say how. They go together, symmetric through the crank's pivot, at ±i(|w| − e^(i·arg w))/√(1 − |w|²) crank lengths — a law that knows nothing of the rod or the slide's offset. Inside the one-rod circle they are two real isolated points, outside it a complex pair. And on the circle with the rod as its diameter, where the trammel draws straight lines, one of them does not leave at all: it settles on the crossing of the two slides.

algebra · Algebra Taken in one step, the limit is a family of laws. A four-bar with its crank a pivoted a crank's length to the left of the point where its two pins' circles cross, and its rocker c pivoted a rocker's length below it, both growing with c = λa, so that near that point it becomes the elliptic trammel. The coupler point (0.3, 0.2) in the rod's units has three double points, all leaving in proportion to the machine; plotted divided by a + c, with the crossing at the origin. Faint dots: the real ones at 49 ratios from a thousandth to a thousand. Large dots: at λ = 1, at (-0.110, -0.161), (-0.827, -0.176), (-0.059, -0.692), all three real. At either end one point settles where the one-step limit taken first would put it — the four-bar's law with the rocker grown first, its mirror with the crank grown first — and the other two collapse onto the crossing at this scale. In between, all three are spread.

A four-bar becomes a trammel along a family of laws

A four-bar becomes the elliptic trammel when its crank and its rocker both grow without bound, their pivots receding at right angles, and its three double points must all leave. Taken one link at a time the limit sends one point off along the four-bar's law and then the other two along the trammel's. Taken in one step it does something neither order sees: all three leave together, in proportion to the machine, at positions set by the coupler point and by λ, the rocker's length over the crank's. The two one-step orders are the family's two ends, λ → ∞ and λ → 0, and at equal rates the coupler point (0.3, 0.2) has its three double points up to 0.86 crank lengths from where either order puts them.

algebra · Algebra Every boundary touches the circle on the rod. The coupler's plane in the rod's units, crank pin at (0, 0) and rocker pin at (1, 0). Shaded: the coupler points whose three departing double points are all real at a ratio of rocker to crank of 1, the region where R = λ⁴A + λ²B + C is negative; 8.1% of a window from −1.4 to 2.4 along the rod and ±1.5 across it. Dotted: the circles one rod from each pin, the boundary at the family's two ends. Dashed: the circle with the rod as its diameter. Every boundary in the family touches that circle and never crosses it; at this ratio it touches at (0.50, ±0.50), the points where −B/2A = λ². Inside it all three are real at every ratio.

Three discs decide the real double points

A four-bar growing into the elliptic trammel loses three double points, and how many of them are real depends on the coupler point and on the ratio λ of rocker to crank. The boundary of the region where all three are real is one polynomial, R = λ⁴A + λ²B + C, quadratic in λ² and short when written in the squared distances from the two pins. Its sign is the count at every one of 23,100 cells tried. As a quadratic in λ² its discriminant is the circle with the rod as diameter times a figure of eight, so that circle is touched by every boundary and crossed by none, and a coupler point's whole history along the family is settled by three discs.

algebra · Algebra A growing four-bar walks away from its own double points. A four-bar with a rod of 3, its crank and rocker both of length t, pivoted so that both pivot circles pass through the slides' crossing, with the coupler point at (0.3, 0.2) in the rod's units. Drawn in units of t: the two pivot circles (dotted), their second meeting (ringed), the real coupler curve the machine draws (solid), and its real double points, filled where two real configurations meet and hollow where none reaches. At size t = 7 the curve's real double points are isolated (2.02), isolated (3.32), crossing (0.93); the number in brackets is how far the line of rod orientations through each passes from the unit circle's centre, a crossing below one and isolated above. As t grows the curve shrinks onto the crossing and the second meeting and the double points stay where they are.

A growing four-bar reaches none of its departing double points

A four-bar growing into the elliptic trammel loses three double points, and wherever they are real the question is whether the machine passes through them. In the limit it passes through none: a configuration that reaches a point a crank's length away needs its rod along an isotropic direction, which no real rod has. How fast each point leaves the machine's reach is a ratio of four distances, √(1 + λ²)·|Z|·|Z − Zₛ| / (2b·|Z + 1|·|Z + iλ|), and it vanishes only at the pivot circles' second meeting. Every crossing is lost at a finite size: through a cusp, when the law predicts it, or by meeting another crossing and leaving as a complex pair, when it does not.

algebra · Algebra

Named alongside it

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

Circular pointsCoupler curveSolutions at infinityGenusSlider-crankElliptic trammelAlgebraic curveAssembly branchDegreeSexticCircuitCognate linkage

All concepts