Concept

Elliptic trammel — where it appears

A rod whose two pins slide in two straight slots crossing at right angles, so that every other point of the rod traces an ellipse. The points on the circle with the rod as diameter trace straight lines, and the trammel is the limit of a slider-crank or a four-bar whose links grow without bound.

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

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
B₂ and W₂ go round like the ends of a trammel bar. Dixon's framework in its own frame: the black joints on the horizontal line, the white on the vertical, nine bars joining every black to every white. Round the whole motion, all four families joined at their crossings, B₂ is at √2 cos ψ on the black line and W₂ at √2 sin ψ on the white, so the bar between them (heavy) slides with its ends on two perpendicular lines and turns once as the framework goes once round. The corner of the rectangle on B₂ and W₂ (small dot) is at angle ψ on the dotted circle of radius √2, and goes round it once. Here ψ = 60°: B₂ at 0.707, W₂ at 1.225. The arc at W₂ is the motor's angle, from the bar W₂B₂ to the bar W₂B₃, 37.2°.

A drive that goes round is an angle

Dixon's framework moves round a loop through four crossings, and a push on B₂ folds at two of them while a drive on W₂'s side folds at the other two. A lever moving both was proposed as the drive that would go all the way round. It cannot, and no drive that is one number read off the joints can: round the whole loop B₂ and W₂ sit at √2 cos ψ and √2 sin ψ on their two lines, the ends of a trammel bar, so the loop is a circle and every such number has a top and a bottom on it. A lever only moves its two folds off the crossings. What goes round is an angle. Four of the framework's eighteen joint angles turn once as it goes once round, never stopping, and a motor at W₂ takes ten frameworks as built all the way round at the worst price on the loop — 1.00 to 1.46 times their worst crossing — after which every turn repeats the first.

constraint · Mobility
Moved apart, the nearest joints still go round a circle. A Dixon framework with B₂ starting 1 from the crossing point on the black line and W₂ starting 1.4 on the white, every other joint where Dixon put it: blacks at −2 and 3, whites at −1.5 and 2.5. Round its whole motion B₂ and W₂ stay on a circle of radius √(1 + 1.4²) = 1.720 (dotted), because the bar between them (heavy) keeps its length. Here ψ = 250°: B₂ at −0.588, W₂ at −1.617, W₁ at −1.704. The angle at B₂ between the bars to W₂ and W₁ turns once round the loop with its speed between 0.046 and 1.954 per unit of ψ, slowest as B₂ crosses the white line.

Put the motor where the rocking bar is longest

Dixon's framework goes round its loop with its two nearest joints on the ends of a trammel bar, and a motor at a joint angle with that bar for a side carries it round with no fold. With the nearest joints starting at different distances it looked as though the loop would become an ellipse and some angle would nearly stop. The loop stays a circle at every ratio, because the bar between the two joints is a bar. Each of the four turning angles runs at one radian per unit of the loop, plus or minus the rate of its other side, which rocks fastest at a crossing and there turns at the trammel bar's length over its own. That gives each angle's speed ratio in closed form, says none of them ever stops, and puts the motor at whichever joint has the longest rocking bar.

constraint · Mobility

Named alongside it

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

Double pointCircular pointsAlgebraic curveChange pointCoupler curveDead centreOverconstraintReal solutionSolutions at infinityClearanceConfiguration spaceCusp

All concepts