Concept

Constraint — where it appears

A condition the parts of a mechanism impose on each other, removing a freedom that counting the joints would otherwise allow. Counting them and measuring their rank are different operations, and the gap between the two answers is where the site's most interesting mechanisms live.

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

Seven arrangements, one routine, and the two that hold. Every row is the same three steps: write down one row per contact — the moment of its normal about the origin, then the normal itself — take the convex hull of those rows, and ask whether the origin is inside it. The parts differ, the numbers of contacts differ, and the routine does not. Two of the seven hold. The other five leave the part something, and the interesting column is what: four rays of rotation for the pinwheel, a translation straight out of the vee, and for the last two a whole line rather than any number of rays, which is what a rank below three means and is the case a reader has to be warned about. Note that the four contacts of the second row are the four of the first row, on the same four edges of the same square, at the same distance along each. positioned by solving, not by drawing.

A constraint that only pushes

Every constraint on this site so far has been an equation: a pin holds two points together, a bar holds two apart, a mesh holds a ratio. A part resting against another part says only *do not come closer* — so what it may do is a cone rather than a subspace, and whether it can move at all stops being a rank.

holding · Restraint
Six surfaces, six groups, six pairs. The six lower pairs, drawn as the surfaces they are. A lower pair is two bodies touching over a surface rather than at a point or along a line, and that is the same thing as saying the surface slides on itself — so what the joint permits is the surface's own symmetry group. Each caption is computed from the surface's normals and not from the pair's name: a plane gives three freedoms and planar motion, a sphere gives three and spherical motion, a plain cylinder gives two, a shaft with collars gives one rotation, a prism gives one translation, and a thread gives one screw whose pitch comes back as the thread's own lead. Eleven surfaces were tried and six groups came out, which is where the number in every textbook's table comes from.

A joint is a surface that slides on itself

Twenty-two fields of this site have declared their joints and then counted what those joints take away. A count cannot tell a pin from a slide — both are one. What a joint actually permits is a set of displacements closed under composition, and it can be computed from the shape of the surface: one linear condition per point, and the answer is a null space.

pairs · Pair
The output is a band, not an angle. The rocker's angle through one turn of the crank, for a four-bar whose four lengths are each specified to ±0.01. The line is the nominal mechanism; the band is where the output of an actual one lies, found by building all sixteen extreme combinations of the four lengths at every crank angle and solving each. The band is not a constant width: it is 0.73° at its widest, near 30°, and 0.36° at its narrowest — a factor of 2.0. Which of those a designer is told depends entirely on where the mechanism was measured.

A length is a range

Every figure on this site so far has been drawn from four numbers. No four numbers were ever cut. Give each of them a tolerance of ±0.01 and the rocker's output stops being an angle and becomes a band 0.73° wide at one part of the turn and 0.36° wide at another — and which of those a designer is told depends only on where somebody measured.

practice · Tolerance
a crank rocker with a post: the closest pair at one position. The same four-bar with a post bolted to the frame, just clear of the coupler's path. Every joint is where the solver put it, exactly as in the linkage field; the material is the only thing added. The heavy segment joins the two closest points over every pair of parts that is tested — which excludes pairs sharing a pin, since their material surrounds that pin by construction — and its length is the gap: 0.2561 here, between rocker · post. A negative value is a penetration depth, the distance the pair would have to be moved apart, and it is drawn in the warning colour.

A link that takes up room

For twenty-three fields a link on this site has been a distance between two points, and a distance cannot collide with anything, because it is not anywhere. Give every link a body and a question arrives that none of the constraint equations can ask.

bodies · Body
One routine, six strand systems. Every row is the same function: a list of bodies, each with a sense, handed to a routine that returns the tangent runs between them, the arcs on them, and the total. Nothing in it knows what a belt is, what a tackle is or what a tendon is. The right-hand column is what each row was checked against — a textbook formula, an integer, a convex hull's perimeter, a second route to the same length — and it is the reason the middle column can stay the same all the way down. positioned by solving, not by drawing.

A member with no length of its own

Every link of a pin-jointed machine holds two points at a distance, in both directions, and a configuration is the root of an equation. A belt, a rope and a tendon do neither: a strand's path is decided by the bodies it touches, and its constraint is an inequality that does nothing at all until it is taut.

strands · Strand
Kutzbach's count against the measured mobility. Five closed loops of revolute joints. The count is 6(L − 1) − 5j, a statement about how many links and joints there are; the measurement is the number of joints minus the rank of the loop's screw system, which knows only where the axes point. They disagree for four of the five, and the one they agree on is the generic seven-joint loop — so the formula is not broken, it is blind to the special geometry that makes the other four work. The universal joint is counted at -2 degrees of freedom and is in every car built.

Six freedoms, not three

Every mechanism on this site so far has been flat, and flatness is not a simplification made for teaching — it is a special case that hides the most interesting thing constraint counting does, which is get the answer wrong about mechanisms that are in daily use.

spatial · Spatial
A four-bar at 60°, solved. Ground 4, crank 1, coupler 3.5, rocker 3. Every joint position here is the output of a Newton–Raphson solve on the loop-closure equations, converged to 0.0e+0 — not a placement that looked right. Grashof's condition classifies these lengths as a crank rocker, and sweeping the crank through 360° confirms it: 120 of 120 positions assemble. The transmission angle at this instant is 66.9°.

Four bars and four pins

The smallest interesting machine there is. Four lengths decide everything about it — which link can turn all the way round, how hard it pushes, where it stops and whether it can be assembled at all — and every one of those is a number that falls out of a solve rather than a judgement about a drawing.

linkages · Fourbar
One, two, sixteen, two hundred and thirty. Every planar chain of mobility one, up to ten links, counted by enumeration rather than quoted. The pins column is forced: a chain of 10 links has one degree of freedom only if it has exactly (3n − 4)/2 pins, which is why no odd link count appears. Pass the count is how many graphs satisfy Grübler's rule, are connected, are simple and give every link at least two pins. Are chains is how many of those survive the fourth condition, that no proper subchain is already a structure — and the gap between the two columns is the whole of this field's first argument: at ten links 1,878 graphs pass a rule that 230 of them deserve. Mechanisms is larger again, because a chain is not a mechanism until a link is held still, and how many different mechanisms that gives is a question about the chain's own symmetry.

The mechanism is the graph

Twenty-one fields of this site have been handed a mechanism and asked what it does. Take the mechanism away and keep only which link is pinned to which, and there is still a finite list of answers: one chain of four links, two of six, sixteen of eight, two hundred and thirty of ten — and 1,878 graphs at ten links that pass every count and are not among them.

topology · Topology
What each machine is sold with. Every mechanism in this field arrives with a number. The middle column is that number; the right-hand column is what the mechanism was measured to have, by the library named under the row. The coloured bar and the word under each machine are the verdict: exact means the mechanism has the number at every position, mean that it is the average of something that varies within every cycle, bounded that it is false by a stated and negligible amount, point that it is the value at one position, and quoted that the mechanism has no such quantity at all. Of the 14 rows, 6 are quoted and 3 are exact.

The number on the box

Fourteen machines, fourteen quoted numbers, and five different things a quoted number can be. Six of the fourteen name a quantity the mechanism does not have at all; three are exactly right, and all three of them are counts. The field is built on the difference.

applied · Misconception
A ratio that is not a number. The output-to-input angular velocity of a four-bar, computed from the velocity solution at every position. It runs from -0.398 to 0.333 — it changes sign, because the rocker turns back — with a mean of 0.000 that no instant of the cycle actually exhibits. Quoting a single figure for a linkage's ratio is quoting the average of that curve. A gear pair is the case where the same phrase is honest: its ratio is 0.5000 and stays there, which is not a coincidence but the property the involute was invented to guarantee.

The ratio that is not a number

A four-bar's output-to-input speed ratio runs from −0.29 to 0.51 through one turn and changes sign on the way. Quoting a single figure for it quotes the average of that curve, which the mechanism never exhibits. A gear pair is the case where the same phrase is honest, and it is honest by construction.

wrong · Misconception
Five points on one coupler. The same four-bar, with a tracing point rigidly attached to the coupler at five different places. Each curve is a sextic — degree six — and moving the attachment point a little changes it a great deal. That sensitivity is the reason coupler-curve synthesis was done with atlases of printed curves for most of the twentieth century: there is no simple inverse, so the practical method was to look one up.

What a coupler point draws

A point rigidly attached to the coupler of a four-bar traces a curve of degree six. Move the attachment a little and the curve changes a great deal. For most of the twentieth century the practical way to find the linkage that draws a wanted curve was to look it up in a book of printed atlases.

curves · Coupler
Three bars and four bars. On the left, two bars to a common point: three links, three joints, and Grübler gives 3(3−1) − 2(3) = 0. The Jacobian agrees — two free coordinates, rank 2, nothing left over — and the shape cannot change without a bar changing length. On the right, one more bar and one more joint gives mobility 1, and the whole of this site follows from that difference. The triangle is why bridges are triangulated and the quadrilateral is why machines are not.

What decides whether it moves

Before a mechanism does anything it has to be able to. Two bars pinned to a point cannot move; three can. The count that separates them is one subtraction, it is the first thing anybody computes about a machine, and it can be wrong in a way that no amount of care with the arithmetic will catch.

constraint · Mobility
A 3-stage stack at 35°. Every bar is the same length and every stage is at the same angle, which is a consequence of the solve rather than an assumption in the drawing: the pins at the crossings and the roller on the ground leave one freedom, and it has been used. The platform is at 1547 mm and the ram — the heavy line from the ground pin — is 428 mm long. Moving the ram one millimetre from here raises the platform 5.0 mm; at the bottom of the travel the same millimetre is worth 17.6 mm.

A roller is not a slider

A scissor lift has one degree of freedom, at every height and for any number of stages. Grübler's criterion agrees — if the rollers under it are counted as pins in slots. Count them as slider blocks, which is how every textbook draws a slider, and the same formula declares a machine holding a car in the air to be a structure with minus one.

applied · Mobility
Mobility, counted and measured. Grübler's criterion counts links and joints and knows nothing about the dimensions; the rank of the constraint Jacobian measures the dimensions and knows nothing about the topology. They agree for four of these five. The parallelogram with a redundant third bar is the exception: the formula declares it a structure with zero degrees of freedom, and it moves. The formula is the one that is wrong, because it cannot see that the third bar's constraint equations are already implied by the other two.

Counting and measuring mobility

Grübler's criterion counts links and joints and never asks how long anything is. The rank of the constraint Jacobian measures the lengths and never asks what a joint is. Two calculations with no inputs in common, producing one number — which is the only arrangement under which agreement is evidence.

constraint · Mobility
Losing a freedom and gaining one. Left, the nearest inverse-kinematic singularity: a leg is straight to 1.1e-5 and cannot reach further, so the platform has lost a freedom. That is the workspace boundary and it is a serial arm's singularity. Right, the nearest direct-kinematic singularity: the three leg lines pass through one point to 0.0001, so the three forces the legs transmit are no longer independent and the platform can turn about that point with every actuator locked. It has gained a freedom, and it is 1.97 from the other configuration and nowhere near the edge of the reach.

Locked, and still moving

A serial arm goes singular at the edge of its reach, where it loses a freedom, and the failure is visible as an arm gone straight. A parallel mechanism has a second kind with no serial counterpart — it gains a freedom, in the middle of the workspace, at poses nothing about the legs' reach marks out.

parallel · Parallel
Every surface tried, and the group it permits. The census the six lower pairs come out of. Each row is a surface, sampled at 240 points; the freedoms column is six minus the rank of a matrix with one row per point, saying that the velocity a twist gives that point is tangent to the surface. Nothing is fitted and no shape is recognised — the surface's own normals write the matrix down. Three different surfaces of revolution give the same group, which is the content of the classification; two surfaces give nothing, which is what almost every surface gives. Eleven surfaces, six groups. The last column is the ratio of the smallest singular value kept to the largest discarded, so a row reading 10¹⁵ is not near being reclassified by anybody's tolerance.

Six, and no others

Eleven surfaces were handed to the same computation and six groups came out. A cone, a torus and an ellipsoid of revolution give the same joint; a scalene ellipsoid gives none; and the list does not grow when more surfaces are added, because a surface's symmetry group has to leave a two-dimensional set alone and only six groups can.

pairs · Pair
The same rise, three ways. A 20-unit rise over 120°, then a dwell. Above, the displacement — all three do the same job and are hard to tell apart. Below, the acceleration, differentiated from those same curves. Constant acceleration peaks lowest at 5.556e-3 per degree² and arrives at the dwell with a step; cycloidal peaks highest at 8.727e-3 and arrives at zero. The smoothest law has the largest peak, which is the trade the whole of cam design turns on and which the displacement plot gives no hint of.

The law that costs least is not the smoothest

Constant acceleration gives the lowest peak acceleration of any motion law and an impulsive jerk. Cycloidal motion has finite jerk everywhere and a peak acceleration 57% higher. The trade is real, it is measurable, and the displacement curves that everyone plots give no hint of it.

cams · Cam
One moving pin, and the pivot it turns about. Choose any point of the moving body — this one at (-0.55, 0.5) in the body's own frame. In the three prescribed poses it lands in three places, and three points that are not in a line lie on exactly one circle. That circle's centre is where the fixed pivot has to be and its radius is how long the link has to be: here 1.0860, and all three images sit at that distance to within 10⁻¹². There is no iteration and no tolerance in the construction, because three points determine a circle exactly. The freedom is entirely in which point of the body to pick.

Three positions, and a circumcentre

The whole of three-position synthesis is one observation: a moving point occupies three places, three points that are not in a line lie on exactly one circle, and that circle's centre is where the fixed pivot has to be. No iteration, no tolerance, and every point of the coupler is a candidate.

synthesis · Synthesis
Two routes to the same derivative. How much the output angle moves when the coupler length moves, through one turn, computed twice. One route rebuilds the mechanism at b ± 10⁻⁶ and solves both from scratch; the other differentiates the constraint equations and solves one linear system against the analytic Jacobian. They lie on top of each other — the strip beneath plots the difference on a four-decade log scale, and its largest value anywhere in the turn is 2.9e-10 against a sensitivity of order 0.41. That is the only independent check there is of the Jacobian itself, whose coupler rows carried four wrong signs from the foundation phase to 2026-08-12 without ever drawing anything wrong.

Two routes to a sensitivity

How far the output moves when a link length moves can be found by rebuilding the mechanism and solving it again, or by differentiating the constraint equations and solving one linear system. The two agree to two parts in a hundred million across a whole turn — and the second route is an independent test of the constraint Jacobian itself, whose coupler rows had carried wrong signs unnoticed.

practice · Tolerance
Two things that are not the same configuration. The mechanical advantage of a four-bar, from the velocity solution: for a lossless mechanism it is the reciprocal of the output-to-input speed ratio, so wherever the output momentarily stops the force ratio diverges. It reaches 1673 at 222° — a toggle, where crank and coupler line up, and the reason a knee-joint clamp holds with almost no effort. The transmission angle is at its worst somewhere else entirely: 46.5° at 0°, 222° away, where coupler and rocker line up instead. Both get called "the mechanism jamming" and they are opposite situations — one is enormous force output, the other is force going into the bearings.

Two things called jamming

A four-bar's mechanical advantage peaks at 1,673 in one configuration and its transmission angle collapses in another, 222° away. Both get described as the mechanism jamming. One is enormous force output and the other is force disappearing into the bearings, and they are opposite situations.

wrong · Misconception
Of 1176 exactly correct syntheses, 176 could be built. Every pair of points on a 7×7 grid over the moving body, each pair synthesised into a four-bar and each four-bar verified by the forward solver as reaching all three prescribed poses. 1176 of them do, exactly. Then each is swept from the first pose in both directions, carrying the branch the way a built mechanism must: 810 cannot reach all three without being taken apart and reassembled, and 190 reach them in the wrong order. 176 — 15% — are mechanisms rather than theorems. Nothing in the construction distinguishes them.

Exactly right, and unbuildable

A linkage synthesised through three prescribed positions reaches all three. That is a theorem and it holds exactly. Whether it reaches them in one piece, without being taken apart, and in the order asked for, are separate questions the construction says nothing about — and of 1,176 exactly correct solutions, 176 could be built.

wrong · Misconception
Peaucellier's cell: exact straight-line motion from pin joints. The rhombus and the two long arms hold |OP| · |OQ| constant at 16 = 5² − 3², which is inversion in a circle about O. Inversion carries circles through the centre to straight lines, and the link CQ makes Q run on exactly such a circle — so P travels on a line, with no approximation anywhere. Measured over 160 solved positions the deviation is 6.5e-16 of the span, which is arithmetic noise rather than a small error.

Peaucellier and the exact answer

Eighty years after Watt settled for an approximation, a French army officer found a linkage that draws an exactly straight line from pin joints alone. It works by inversion in a circle, the product it holds constant is measurable, and on this site it comes out straight to 10⁻¹⁶ of its span.

curves · Coupler
The Sarrus linkage at 0°. Two three-joint chains in perpendicular planes, joining a fixed plate to a moving one. The left chain's three axes are all parallel, so it allows the plate to move in its plane; the right chain's are parallel to a perpendicular direction and allow the plate to move in that one. What both permit is a straight line, and only a straight line. Six revolute joints in a single loop: Kutzbach says 0 degrees of freedom, the screw system has rank 5 and says 1, and the plate rises. Measured over 24 positions, its tilt never exceeds 2.5e-14 radians and it never leaves the axis by more than 6.8e-14 — exact, from pin joints, with no approximation anywhere in it.

Sarrus, and the straight line that is exact

The planar answer to the straight-line problem took two hundred years and arrived as an inversion cell with eight bars. There is a six-bar answer that is also exact, that was published eleven years before Peaucellier's, and that works for a reason with nothing to do with inversion — it leaves the plane.

spatial · Spatial
kelvin: 6 contacts, 6 of the six freedoms taken. A plan view of the arrangement, with each contact drawn where it acts and an arrow along the direction of the force it can carry. A ball's contact force passes through the ball's centre whatever surface it rests on, so the whole constraint system is these points and these directions and nothing else. Written as wrenches — a force along a line, which is a screw of zero pitch — their rank is 6. Six independent wrenches leave nothing free: the part has one place to be, and putting it down twice puts it in the same place.

Six points and no more

A ball resting on a surface is a joint: it takes one freedom away, and the force it can carry is a line through the ball's centre. Six of them, arranged well, take all six freedoms and leave a part with one place to be. Six arranged badly take five, and the sixth freedom is a screw with an axis this site can name.

applied · Mobility
One point, six groups, six shapes. A group has no picture, so here is the next best thing: fix one point of the moving body — the marked one — and draw everywhere the group can send it. A prismatic pair sends it along a line, a revolute round a circle, a helical along a helix, a cylindrical over a cylinder, a spherical over a sphere, a planar over a plane. Those six shapes are the six surfaces the previous figures drew, which is not a coincidence and is the field's first argument read backwards: a lower pair's surface is an orbit of its own group, which is exactly why the surface can slide on itself.

The count cannot tell a pin from a slide

A revolute, a prismatic and a helical pair all take five freedoms away in space and leave one. Grübler adds the same number for each, the constraint rank measures the same number for each, and the three joints have nothing whatever in common — one sends a point round a circle, one along a line, and one along a helix at a rate the joint decides.

pairs · Pair
The four lengths do not matter equally. Each length's average contribution to the output band, for a tolerance of ±0.01 on all four, averaged over the 48 crank positions the mechanism reaches. The coupler contributes 38% of the total and the rocker 11% — a factor of 3.4 between the ends of the ranking. A tolerance specified equally on all four therefore spends most of its cost buying accuracy the mechanism does not notice, which is what a sensitivity ranking is for.

The four lengths do not matter equally

Averaged over a whole turn, the coupler contributes 38% of a four-bar's output band and the rocker 11% — a factor of 3.4 between the ends of the ranking. A tolerance specified equally on all four therefore spends most of its money buying accuracy the mechanism cannot use, and the ranking that says so costs four linear solves.

practice · Tolerance
Three parallel bars, and a formula that says this cannot move. Five links and six pin joints, so Grübler's criterion gives 3(5−1) − 2(6) = 0 and calls it a structure. The Jacobian has rank 5 against 6 free coordinates, so it measures one degree of freedom — and the sweep assembles 59 of 60 positions, which settles the matter. The third bar removes no freedom because its constraint is already implied by the other two, and a formula that counts joints cannot notice that they happen to be parallel. Mechanisms of exactly this kind carry drafting machines, anglepoise lamps and locomotive coupling rods, where the redundant bar is there for load sharing and for keeping the linkage out of its change point.

The mechanism Grübler says cannot move

Three parallel bars between two frames. Five links, six pins, and the criterion every engineering course teaches gives zero degrees of freedom — a structure. It is a mechanism, it is in drafting machines and locomotive coupling rods, and the formula cannot see why.

constraint · Mobility
Three verdicts, and only one instrument can give all three. Every 10-link graph that satisfies Grübler's count, split by what is actually true of it. 230 are mechanisms with 10 links. 1,165 carry a subchain whose own count is exactly nought — and neither of the two standing routes can see them: the count returns one and the rank returns one, and both are right, because a rigid subchain removes exactly the freedoms it is supposed to. What is false is the description. 483 carry a subchain whose count is below nought, and those the rank does catch: the surplus pins repeat a constraint already imposed, the Jacobian loses rank, and the measured mobility comes out above the count. The third instrument — a count run over every subset of the links — is the only one that answers the question at all.

What a count cannot see

At ten links, 1,878 graphs satisfy Grübler's rule and 230 are mechanisms. The other 1,648 contain a subchain that is already a structure — and on 1,165 of them the count says one degree of freedom, the rank of the constraint Jacobian says one degree of freedom, and both are right about a mechanism that does not have ten links.

topology · Topology
Bennett's four-bar at 40°. Four bars, four revolute joints, and axes that are not parallel — a spatial four-bar, which Kutzbach counts at -2 degrees of freedom. Bennett's condition, sin α / a = sin β / b, makes the screw system rank 3 instead of 4, so the mechanism has 1. Driving the first joint through a full turn, 48 of 48 positions assemble. Orthographic projection, viewed from 40° azimuth and 24° elevation; dashed stubs mark the joint axes.

Bennett, and the condition that moves it

A spatial four-bar is immobile by every count there is, and generically it cannot even be assembled at more than isolated configurations. Bennett found the one relation between four lengths and two twists that makes it turn through a full revolution — and break the relation by two parts in a thousand and most of the travel is gone.

spatial · Spatial
Sun 24, ring 72, planet 24. An epicyclic train has three shafts and one equation relating them, so fixing any one gives a different ratio from the same gears. With the ring held, a sun input turns the carrier at 1 + 72/24 = 4.000 to one. Willis's equation and the tabular superposition method are independent derivations and both are computed here; the site requires them to agree, because planetary ratios are the most commonly mis-stated numbers in mechanism work and the sign errors are notorious.

Epicyclic ratios, two ways

An epicyclic train has three shafts and one equation relating them, so fixing any one gives a different ratio from the same gears. The sign errors are notorious, so every ratio here is computed by Willis's equation and by the tabular method, and the two are required to agree.

gears · Tooth
Six legs, six numbers. A Gough–Stewart platform at (0.00, 0.00, 2.40) with a rotation vector of (0.00, 0.00, 0.15). The six leg lengths run from 3.077 to 3.263, and every one of them was computed from the pose by a single subtraction and a square root, with no leg consulting another. Going the other way — six lengths in, one pose out — takes an iterative solve and does not have one answer. The six leg lines span a screw system of order 6; the smallest singular value of the six is 0.0316, which is how far this pose is from a configuration where they become dependent and the platform stops being controllable.

Six legs and a square root

A Gough–Stewart platform's inverse problem is one subtraction and one square root per leg, computed six times without any leg consulting another. Its forward problem has forty solutions. That gap is the whole design, and it is why flight simulators are built this way and robot arms are not.

parallel · Parallel
A 34-unit roller on a 20-unit base: the cam cannot be made. The outer curve is the pitch curve — where the roller's centre has to go, which is just the base radius plus the follower's displacement, plotted in polar coordinates. The inner curve is what has to be cut: the pitch curve offset inward by the roller's radius along its own normal. Where the pitch curve bends more tightly than the roller is wide, that offset crosses itself, and the metal the profile needs has already been removed. The tightest radius of curvature here is 19.43 at 85°, against a roller of 34 — so the cam is undercut by 14.57 and no amount of care in manufacture recovers it. The pressure angle, meanwhile, peaks at a perfectly comfortable 21.2°: this cam fails a test it never looked like failing.

The cam that cannot be cut

A cam has to be big enough for two reasons, and they are not the same reason. One is that the follower will jam in its guide if the pressure angle is steep. The other is that the roller will gouge the profile if the curvature is tight — and there is a combination where the pressure angle is comfortable and the cam still cannot be manufactured at all.

cams · Cam
The contacts that fight each other — four-legs. With more contacts than freedoms, some weighted sum of the contact forces is zero: those contacts push against each other and not against the part. The weights are the left null space of the wrench matrix and they are drawn here. For four legs on a floor they come out as +−+− — the alternating sum — which is why a table rocks about a diagonal and never sideways, and why the gap under the fourth leg is δ₁ − δ₂ + δ₃ − δ₄ exactly.

The seventh contact

Add a contact to a part that is already exactly constrained and it adds no rank, so it constrains nothing — and it is the only contact in the set that can fail to touch. For four legs on a floor the combination that constrains nothing is the alternating sum of the four, which is why a table rocks about a diagonal and never sideways.

applied · Mobility
Slider-crank at 50°. Crank 1, connecting rod 3. The slider's travel is 2.0000 — exactly twice the crank throw, which is the one thing about this mechanism that does not depend on the rod length. Everything else does: the rod length decides how far the piston's motion departs from a sine wave, and that departure is the second harmonic every engine balancer has to deal with.

The slider-crank

Replace one pin of a four-bar with a slide and you get the mechanism in every reciprocating engine ever built. Its stroke is exactly twice the crank throw and does not depend on the connecting rod at all. Everything else about the motion depends on the rod, including the part that is always described as a sine wave and is not.

linkages · Fourbar
What each kind of joint takes away. Grübler's formula is M = 3(n − 1) − 2j₁ − j₂, and the 2 and the 1 in it are not conventions. A lower pair — a pin or a slide — holds two bodies together over a surface and leaves one relative freedom, so it costs 2. A higher pair — a cam against a follower, a wheel on a rail — touches at a point, the contact travels along both surfaces, and it costs 1. Five chains, each built and each measured from the rank of its constraint Jacobian, which has never heard of the formula. The last row is the one worth having: count that cam contact as a pin, as is very easily done, and the formula returns 0 where the mechanism has 1. The Jacobian does not move.

What each joint takes away

Grübler's formula has a 2 in it for pins and a 1 for cam contacts, and those numbers are not conventions to be memorised. They are the number of constraints each kind of joint imposes, they are measurable as the rank of a matrix, and miscounting one of them is the commonest way the formula is got wrong.

constraint · Mobility
Two ways of adding four tolerances. The output band from ±0.01 on each of four lengths, combined two ways. The upper curve is worst case — every error at its extreme and conspiring — and the lower is root-sum-square, which treats the four as independent random errors. RSS is smaller everywhere, by between 1.42 and 1.95, and with four contributions the most it can ever be is √4 = 2. That factor is not a saving found in the geometry; it is bought with the assumption that the four errors are independent, and one fixture that locates two of the holes takes it straight back.

Worst case and the square root

Four tolerances can be added as a straight sum or as a root-sum-square, and the second is smaller by between 1.42 and 1.96 through this linkage's cycle. The ceiling is √4 = 2 and no geometry can beat it. That factor is not found in the mechanism — it is bought entirely with an assumption of independence, and one fixture that locates two holes takes it straight back.

practice · Tolerance
How often a set of screws is a group. Take a subspace of the twists at random and ask whether it is closed under the Lie bracket — whether doing two of its motions in one order and undoing them in the other leaves you inside it. Every one-dimensional subspace is, trivially and importantly: a single screw always generates a one-parameter subgroup, which is the same statement as every screw is a joint somebody could build. Above one dimension, not one of eighty thousand is a group, and every one of them generates the whole of the rigid displacements at the first bracket. So a mechanism whose motion lies inside a proper subgroup is not merely unusual; it is a coincidence of measure zero — and it is the coincidence every planar mechanism, every spherical one and every Sarrus linkage on this site is built on.

Almost nothing is a group

Eighty thousand subspaces of the twists were drawn at random and closed under the Lie bracket. Above one dimension, not one of them was already closed, and every single one generated the whole of the rigid displacements at the first bracket. Two pins with parallel axes close at three; move one axis a hair and they close at six.

pairs · Pair
Where a point held by three strands may be. Three anchors, three strands of 130, 130, 120 mm, and a point tied to all three. A rigid link of those lengths would leave nothing to decide — three distance equations in two unknowns have no solution at all — and three strands leave a region, because each of them says no further than rather than exactly. The region is the intersection of the three discs; its area here is 2721.0 mm² and it has 3 corners. Inside it nothing is taut and the point has both its freedoms; on an arc one strand is taut and it has one; at a corner two are taut and it has none. positioned by solving, not by drawing.

The strand that is slack

A rigid link removes a freedom wherever the mechanism stands. A strand removes one only where it is taut — so a point held by three of them has two freedoms in the middle of its region, one on an arc, none at a corner, and no single mobility count describes it at all.

strands · Strand
The wheel is the coupler — double wishbone. The suspension solved at 0 mm of bump, with the whole travel ghosted behind it. The two arms are the cranks and the upright between them is the coupler; the wheel is bolted to that coupler, so camber is the coupler's rotation and nothing else. Camber here is 0.00° and the contact patch has moved 0.0 mm across the road. The cross is the instantaneous centre of the upright, found from the solved velocity field; the roll centre is where the line from it to the contact patch crosses the car's centreline, and it is at 73 mm here.

The wheel is the coupler

A double wishbone is a four-bar standing on end whose coupler carries a wheel, so camber is coupler rotation and scrub is a coupler point's path. Both are computable, and the second one comes out with the opposite sign from the model every suspension book uses — by more than the whole scrub.

applied · Fourbar
A screw of pitch 0.25. A single screw drawn from its own decomposition. The six numbers of the twist go into a decomposition that returns a direction, a point on the axis and a pitch of 0.2500; the helix is then the path of a point at radius 0.5 about that axis, advancing 0.250 along it per radian turned. Over 1.15 turns the point advances 1.806 — the pitch times the angle, which is what pitch means. This screw is a screw.

Every motion is a screw

Chasles showed that any rigid displacement whatever is a turn about some line together with a slide along that same line. Not approximately, and not usually — always, with the line and the amount of slide computable from the motion. It is the fact that makes spatial kinematics a subject rather than a pile of special cases.

spatial · Spatial
Three bars, and no rotation left. Each of a delta robot's legs ends in a parallelogram, which keeps the bar on the platform parallel to the bar on the arm. That leg therefore permits the platform no turn about either direction perpendicular to its bar: it imposes two couple constraints, drawn here as rings about the directions they act on. Three legs impose 6; together they span only 3, so 3 are redundant. What is reciprocal to them is three couples — three pure translations, and the platform cannot turn at all.

Why the platform stays flat

A delta robot has three legs and three freedoms, and there is no obvious reason those freedoms should be the three translations rather than some mixture. The reason is a parallelogram in each leg, and the argument from there to "the platform cannot turn at all" is a constraint computation that takes six wrenches and a rank.

parallel · Parallel
A pin in a hole is a short link. Left: a pin of radius 0.86 in a hole of radius 1, so the clearance is 0.14. The pin's centre may sit anywhere within that of the hole's centre. Right: the same joint as it enters the kinematics — a binary link of fixed length 0.14 and free direction, with a revolute at each end. That is not an analogy. It is the same set of relative positions, so every count, every Jacobian and every solve on this site applies to it unchanged, and a four-bar with play at each pin is a mechanism with eight links and eight joints.

A clearance is a link

A pin in a hole is not a joint at a point. Its centre may sit anywhere within the difference of the two radii, so the two links it joins are connected by a body of fixed length and free direction — a binary link with a revolute at each end. That is not an analogy, and taking it literally makes a four-bar a mechanism with eight links, eight joints and five degrees of freedom.

practice · Clearance
One chain, four mechanisms. The same four bars and the same four pins in every panel. What changes is which link is bolted to the bench, and that is not a property of the chain — it is a decision about where the bench is. The four mechanisms are crank rocker, double crank, crank rocker, double rocker: one input turns fully in some and rocks in others, and what each one is for is different. What cannot change is the shape of the closed loop, and the two diagonals measure that without reference to which link is held still: swept independently, all four visit the same locus of diagonal pairs to within 2.9e-3, half the sampling resolution. This is why the Whitworth quick-return and the oscillating-cylinder engine are not merely similar to a slider-crank; they are one.

One chain, four mechanisms

Which link of a four-bar is bolted to the bench is not a property of the chain. It is a decision about where the bench is, and making a different one gives a mechanism that looks and behaves completely differently while being, as a chain, the same object — which is why the Whitworth quick-return and the oscillating-cylinder engine are both a slider-crank.

linkages · Fourbar
What each loop's constraint system is made of. For each mechanism: the order of the screw system its joints span, the order of the reciprocal system — the wrenches it carries without moving, which is always six minus the first — and what those wrenches are. A planar four-bar carries one force and two couples; a mechanism whose motion lies in no subgroup carries screws of finite pitch instead, and 2 of these 6 do.

What a mechanism cannot do

A mechanism's freedoms are a subspace of screw space. Everything orthogonal to that subspace under the reciprocal product is a force the mechanism carries without moving — so the constraints are not a separate thing to be worked out, they are what is left, and one matrix gives both.

spatial · Spatial
Where the platform stops being controllable, at 0°. Every point is a position of the platform's centre at a fixed orientation of 0°, shaded by how far it is from a direct singularity — pale is near. Unshaded means unreachable, which is the workspace boundary and the ordinary kind of singularity. The line is det A = 0, traced through the field rather than tested for: it runs through the middle of the reachable region in 102 segments, and on it the platform can move with all three actuators locked. 3312 of 6561 sampled positions are reachable.

The workspace is not a shape you choose

A serial arm's reach is roughly a sphere and can be quoted as a number. A parallel mechanism's is the intersection of three reachability conditions, changes with every degree of orientation, and has a surface of uncontrollable poses cutting through the middle of it. There is no formula. There is a map, and it has to be computed.

parallel · Parallel
Kutzbach, plus the constraints counted twice. Each row is 6(n − j − 1) + Σf, then the redundant constraints ν measured from the two legs' constraint systems, then the mobility measured from the rank of the whole loop's screw system. The first column is wrong for 5 of 6 of these mechanisms; adding ν repairs every one. The catch is that ν is not a property of the joint graph — Bennett's linkage and a spatial four-bar with one twist changed have the same graph and different ν — so the corrected formula needs the measurement it was supposed to replace.

The formula is repaired by the thing it replaced

Kutzbach's count is wrong about most of the mechanisms worth building, and every textbook gives the same repair — add back the constraints that were imposed twice. The repair works on every loop this site has. It is also not a formula, because the number it adds cannot be read off the joint graph.

constraint · Spatial
What every pair of groups meets in. The intersection of two subgroups is always a subgroup — that needs no computation — and which one is the useful part. This is the design rule behind every parallel machine on this site: choose legs whose groups meet in the motion the platform is wanted to have, and it has that motion whatever the leg lengths are, with no synthesis and no tolerance. The row and column are built about different axes, at right angles, because an intersection is a statement about particular subgroups rather than about their kinds: two planar groups with the same normal meet in the whole of themselves, and two with different normals meet in a line.

Three legs and one plane

The parallel field argued that a platform stays flat from the structure of its legs, one leg at a time. The same fact is one line of linear algebra: each leg confines the platform to a group, the platform gets the intersection, and an intersection of groups is a group whatever the leg lengths are. The motion type is decided before a single dimension is chosen.

parallel · Parallel
Whose constraints stay put. The largest principal angle between a mechanism's screw system at the start of its motion and at each later position. The 3 mechanisms whose motion lies in a subgroup of the rigid displacements — planar, spherical, translational — never leave the same subspace, and read between 1.9e-6 and 3.0e-6 degrees, which is the precision of an arccosine near one rather than a movement. The paradoxical ones turn through 49° and 57°. Every curve runs over its own range of motion, because Bricard's linkage assembles over 120 degrees and a shared axis would hide it.

Two ways to be overconstrained

A planar four-bar and Bennett's four-bar report the same redundancy, the same rank and the same wrong count. One of them is overconstrained at every set of link lengths; the other at exactly one ratio and nowhere near it. The difference is not in any of the numbers so far — but it is measurable, and the measurement is an angle.

spatial · Spatial
The same error, twice, in two directions. A Sarrus linkage with one axis of one chain tilted off true, and the motion range that survives. Tilted within the plane the chain works in, it does not care: at 0.2 radians — eleven and a half degrees, which is not a manufacturing error by any standard — it still drives through a full turn. Tilted out of that plane, 0.001 radians stops it dead. Two hundred times the error, in the other direction, for no cost at all. What separates them is whether the perturbation lies in the screw system the mechanism leaves unconstrained — so "an overconstrained mechanism must be exact" is not merely crude, it is wrong about the case it is usually said of.

Fragility has a direction

Tilt one axis of a Sarrus linkage out of true by a thousandth of a radian and it stops dead. Tilt the same axis of the same mechanism by two hundred times as much, in the other direction, and it drives through a full turn with nothing measurably wrong. Three orders of magnitude between two errors of the same size — and the direction that matters is the one the reciprocal screw system names.

practice · Overconstraint
The slider turns round at the dead centre. The slider's position against the crank angle, through the dead centre. The curve has a maximum there — that is what a dead centre is — so the slider retreats on both sides of it, and the latch works because a mechanism resting past the top of this curve has to be pushed back up it before anything can move. Set 4° past, the slider is 71 µm below the peak, and because the curve is quadratic there, doubling the setting quadruples the depth.

Locked on purpose

A toggle clamp, a landing-gear downlock and the catch on a folding table are all the same mechanism parked a few degrees past its dead centre, where the slider's motion is second order in the crank's. Seventy-one microns of slider travel undoes a latch set four degrees over — and setting it eight degrees over does not double that, it quadruples it.

applied · Fourbar
A dyad is two circles, and that is why it has two answers. The whole of what makes a dyad easy. Two links, three pins: one pin onto something already placed at each end, one pin between them. The free pin is at a fixed distance from each of the placed ones, so it lies on both circles — and two circles meet in two points, in nought, or in one. That is a quadratic with a closed form, and its two roots are the two assembly branches every four-bar on this site has. A group of four links has no such picture: its unknowns do not separate into one circle each, the system does not factor, and what replaces the compass is Newton's method from a seed. positioned by solving, not by drawing.

What has to be solved together

Hold a link, turn a neighbour, and the rest of a mechanism comes apart into the smallest sets that can be positioned one after another. Every set of two links is two circles meeting — a quadratic, two branches, no solver. A set of four is a system, and this site's Newton solve stops being a convenience.

topology · Topology
The cylindroid at 75° and 1.00 apart. Every screw in the two-system spanned by two revolute axes 1.00 apart along their common perpendicular and 75° out of parallel, drawn as its own axis. The axes sweep a ruled surface — the cylindroid — and each generator carries a pitch, running from -0.384 to 0.652 and reaching its two extremes on the two principal screws, which cross at a right angle at the centre. The surface is 1.035 long along its own axis, which is exactly the spread of the pitches: a cylindroid is as long as its pitches are far apart.

The smallest screw system has a shape

Add two screws together in every proportion. The results do not scatter — their axes sweep a ruled surface, with the pitch varying along it between two extremes reached at right angles to each other. It is a picture nobody would guess from the algebra, and it is the object that says what two joints between two bodies leave free.

spatial · Spatial
What every pair of groups meets in. The intersection of two subgroups is always a subgroup — that needs no computation — and which one is the useful part. This is the design rule behind every parallel machine on this site: choose legs whose groups meet in the motion the platform is wanted to have, and it has that motion whatever the leg lengths are, with no synthesis and no tolerance. The row and column are built about different axes, at right angles, because an intersection is a statement about particular subgroups rather than about their kinds: two planar groups with the same normal meet in the whole of themselves, and two with different normals meet in a line.

Legs intersect

A serial chain multiplies its joints' groups and the product is almost never a group. A parallel machine's platform gets the intersection of what its legs permit — and an intersection of groups is a group, always, with no coincidence required. That is the only construction in this field that produces closure for free, and it is why a platform can be designed for a motion type instead of discovered to have one.

pairs · Pair
What each instrument returns, on each kind of graph. The 8-link census, three rows, and the same three questions asked of every graph in it. Grübler returns 1 in every row — it has to, because that is what the census selected on. The rank returns 1 in the first two rows and 2 in the third. Only the third column changes across all three rows, and it is the one this site did not have before this field: a mobility computed for every subset of the links rather than for the whole. Read down the middle two columns and the site's standing pair of routes is unanimous about 62 graphs, of which only 16 are what it says they are.

The count was right and the name was wrong

The constraint field has checked Grübler's count against a Jacobian rank since the foundation, and the two disagree only where the geometry is special. Here is an assembly where they agree, where both are correct, and where the mechanism does not have the number of links it is described as having.

constraint · Mobility
Every pin position, and what it costs — 3 mm between the doors. One cell per candidate pin position: the door is swung through 95° from each and the worst clearance recorded. Light cells clear; dark cells mean the door would pass through the partition or through the door beside it, by up to 18 mm. The horizontal line is the door's own front face. With the doors touching, the boundary sits exactly on it — because the front corner's sideways rate is the pin's distance behind it, and that is zero only there. Each millimetre of gap buys a few millimetres of depth, and at 3 mm the deepest pin that still clears is 10 mm behind the face.

Where a hinge pin can go

A cabinet door's front corner moves sideways as it opens at a rate equal to how far the pin sits behind it, so with the doors touching, no pin behind the door's face can open one without going through the next. Three millimetres of gap buys nine and a half millimetres of depth, and that is the whole reason a concealed hinge has four bars instead of a pin.

applied · Coupler
What the clearance has to swallow. Bennett's linkage with its second length multiplied by 1 + δ, and the closure error the solver drives down to and then cannot improve on. The loop does not close at any δ tried, including one part in a million. But the gap is exactly proportional to δ — the ratio varies by 0.07% across four decades — with a measured constant of 0.507. Shared over 4 joints that is 0.127 δ of play per pin, so a linkage machined to one part in a thousand needs about 0.20 mm of clearance in a link of 1.6 m, or a hundredth of a millimetre in a link of 1.6 cm. That is an ordinary running fit, and it is why a mechanism that cannot be built is in every folding table.

Why a hinge works

A door hinge with three knuckles is overconstrained — three axes imposed where one would do, and exactly parallel is a condition no bored hole has ever met. It works because the misfit is 0.507 times the error and the play in each knuckle is larger than that. The mechanisms this site called unbuildable are built every day, and the thing that builds them is the clearance that was already there.

practice · Overconstraint
Two ways to stop an axle moving sideways. A Panhard rod is one link from the body to the axle, so the axle's end follows an arc and the whole car shifts sideways as the suspension moves: 3.56 mm at 80 mm of travel, and always in the same direction, so it happens twice per bounce. A Watt's linkage keeps the same point on a path that is straight to 33.7 µm — 106 times better, and it is drawn on the same axis, which is why it looks like the zero line.

Holding an axle still

A Panhard rod moves the axle 3.56 mm sideways over 80 mm of travel and a Watt's linkage moves it 34 microns — a hundred times better, and by a higher power. The Panhard's error is quadratic in the travel and the Watt's is fifth order, which is a much stronger statement than "the Watt is better" because it says how the comparison changes with the suspension.

applied · Coupler
What it takes to build each of the twelve. The same twelve, read as a bill of materials. Six of them are one joint, because a lower pair permits the whole symmetry group of its surface and those six groups are exactly the symmetry groups surfaces have. The other five with a dimension take a chain: two slides for planar translation, three for Cartesian motion, a thread and two slides for the screw-in-a-plane group, and three parallel pins with a slide along them for Schoenflies motion — which is a SCARA arm, and is why a pick-and-place machine has four joints and not one. The group each chain produces is measured from four hundred sampled poses rather than declared, and every row agrees.

The freedom that is a set

Grübler's rule has been on this site since its first essay, and it adds up numbers. Each of those numbers is the dimension of a group of displacements, and the group has eleven siblings the number cannot distinguish. The count is not wrong; it is a projection, and this is what the projection discards.

constraint · Mobility
Sarrus, as two planes meeting in a line. Each arm of Sarrus's linkage is three pins with parallel axes, so each arm holds the platform inside a planar group — the one whose normal is that arm's axis direction. The platform has to satisfy both, so what it may do is the intersection, and the intersection of two planar groups whose normals are not parallel is the one-dimensional group of translations along their common perpendicular. The platform goes up and down and does nothing else, and that is the exact straight line the spatial field measured to 10⁻¹⁶ of its span — arrived at here with no mechanism solved and no tolerance anywhere. Drag the arms towards each other: the answer is a translation at every angle but zero, where the two groups become one group and the intersection jumps to three dimensions. That is the linkage built flat, and it is the configuration in which it stops being a straight-line mechanism.

Two planes meeting in a line

Sarrus's linkage draws an exact straight line out of six pin joints, and the spatial field proved it by solving the mechanism sixty times and measuring a departure of 9.8 × 10⁻¹⁶. Here the same fact comes out of two planes and a cross product, with no mechanism solved anywhere — and the two routes are not redundant, because only one of them can tell you the linkage as built delivers it.

pairs · Pair
The transmission angle through one turn. μ is the angle at B between coupler and rocker, computed from each solved position rather than from a formula. It runs from 54.3° to 100.3° for these lengths. The shaded band is the usual design rule — keep μ between 40° and 140° — and this linkage stays inside it throughout. The rule is about geometry alone: nothing here knows about friction, and a mechanism with a comfortable μ can still be a poor machine.

What is still outside

Eight essays here end by saying that clearance, backlash, friction or wear are not modelled. This field took two of those four, because a tolerance is a set of geometries and a clearance is a short link, and both are questions about where a mechanism can be. The other two are not, and this is the page that says exactly where the line falls and why it is where it is.

practice · Practice
Where enumerating the corners stops being affordable. The two routes to a tolerance band, costed against the number of toleranced lengths. Enumerating every extreme combination is 2ⁿ mechanisms at every crank position; differentiating the constraints is n linear solves. A four-bar is 16 corners and a Watt six-bar is 128, which is still cheap — 142 solves for one position — and the curve is the point rather than either number: at twenty parameters, which is an ordinary spatial mechanism, the corner route is a million mechanisms and the derivative route is twenty. Both are drawn because the corner route is not merely slower, it is the one that assumes nothing, and its answer is what the cheap route has to be checked against.

Seven lengths and a hundred corners

Nothing in a tolerance analysis is about four. A Watt six-bar has seven lengths, its corner enumeration is 128 mechanisms rather than 16, and the two routes still agree to a hundredth of a per cent — but the costs have separated — 142 solves against seven. At twenty parameters, which is an ordinary spatial mechanism, it is a million against twenty.

practice · Tolerance
Why this measurement is not a derivative. The honest failure mode of the field's instrument, drawn rather than hidden. Every set looks like its own tangent space near the identity — that is what a tangent space is — so a chain sampled over a thousandth of a radian reports the dimension of its velocities, which is the number the screw system already gives. Four pins at random has four joints, and sampled over 10⁻⁹ radians its displacements occupy four dimensions; sampled over two radians they occupy six. The step is at 10⁻⁶, which is where the departure from the tangent space falls below the rank tolerance — so the position of the step is a fact about arithmetic and the two plateaux are facts about the mechanism. A group is a statement about displacements you could compose, and no derivative can make it.

The instrument that is not a derivative

Sample a chain of four random pins over a millionth of a radian and its displacements occupy four dimensions, exactly as a SCARA arm's do. Sample the same chain over two radians and they occupy six. The step is at 10⁻⁶, and where it sits is a fact about arithmetic while the two plateaux are facts about the mechanism.

pairs · Pair
Two permitted motions, and a composite that lifts off. A disc resting on a straight edge — a roller follower on a flat-faced cam, and the simplest higher pair there is. Two bodies touching at a point rather than over a surface, two freedoms: slide along the edge, and turn, because a disc is its own symmetry group about its centre. Both are permitted and both keep the contact exactly. Their composite does not. The faint discs are the two permitted displacements taken separately; the solid one is one followed by the other, and its centre sits 1.049 radii off the dashed line where a tangent disc's centre has to be. The excursion is exactly |t₂ sin φ₁| — the second displacement's slide times the sine of the first one's turn — derived from the two displacements rather than from the composition and agreeing to 10⁻¹⁶. A lower pair's freedoms compose and a higher pair's do not, which is why a joint's freedom count is the dimension of a group in one case and the dimension of nothing in the other.

A higher pair has no group

A disc resting on a straight edge may slide along it and may turn about its own centre. Both keep the contact exactly. Do one and then the other and the contact lifts off the edge by |t sin φ| — up to 1.2 radii over an ordinary range — so the two freedoms are real and the pair of them is not closed. The count is still right and there is nothing for it to be the dimension of.

pairs · Pair
Two pins, and what their bracket costs. The bracket, on the smallest case there is. Two revolute joints span a two-dimensional set of twists whichever way they are arranged, and no count on this site can tell the two arrangements apart. Their brackets can. Two parallel pins bracket to a translation, which was not in the span, and the span closes at three — planar motion, which is the group the pair of them lives in. Two skew pins bracket to something that closes at six: nothing smaller than the whole of the rigid displacements contains them. The defect column is how far the bracket lies outside the original span as a fraction of its own length, and in both cases it is of order one — which is the ordinary case, and is why a mechanism confined to a subgroup is the exception.

One bracket, two subjects

A wheel can be parked sideways because the forbidden direction is the bracket of two permitted ones. A mechanism's motion is a group when the brackets of its permitted twists are already permitted. Same operation, same two plateaux, and the two fields want opposite answers — which is why the two are named for different things here, with each one saying beside itself that the other exists.

rolling · Rolling
Tolerancing the holes rather than the lengths. The output band from ±0.01, computed on the four link lengths and then on the features those lengths are derived from. The ground length is the distance between two frame holes, and what happens to it depends entirely on how they were made: located separately, two independent errors combine to √2 times one and the lengths-only answer is optimistic by 11%; bored in one setup, the common part of the machine's error cancels out of the distance between them and the lengths-only answer is pessimistic by 34%. Neither is a correction to apply; it is a question for the machine shop, and this site can compute the sensitivity and not the answer.

Tolerancing the holes

A drawing does not tolerance link lengths. It tolerances holes, and the lengths are derived from them — so what a length's tolerance really means depends on whether its two holes were bored in one setup. Located separately, a lengths-only stack-up is optimistic by 11%; bored together, it is pessimistic by 34%. Neither is a correction to apply blind.

practice · Tolerance
Three joints, and the three screws that describe them. A leg of three revolute joints, drawn as its three axes, and the principal screws of the three-system they span, drawn through the system's own centre. The three principal axes are mutually perpendicular — worst cosine 1.1e-16 — and they meet at one point, missing it by 2.6e-16. Their pitches are -0.3766, -0.0338, 0.8075, and every screw the leg leaves free has a pitch the three of them give by h₁l² + h₂m² + h₃n². Nothing in the three joint axes looks like a right angle and the system's own frame is one.

What a leg of three joints leaves free

Five essays of this field have computed the order of a screw system and drawn none of them. A three-joint leg spans a three-system; its three principal axes are mutually perpendicular and meet at a point, six numbers price every screw in the family, and the directions of the lines it contains form a cone.

spatial · Spatial
What each machine is sold with. Every mechanism in this field arrives with a number. The middle column is that number; the right-hand column is what the mechanism was measured to have, by the library named under the row. The coloured bar and the word under each machine are the verdict: exact means the mechanism has the number at every position, mean that it is the average of something that varies within every cycle, bounded that it is false by a stated and negligible amount, point that it is the value at one position, and quoted that the mechanism has no such quantity at all. The lit row is the one this essay is about. Of the 14 rows, 6 are quoted and 3 are exact.

Which numbers survived

Fourteen machines were measured against the numbers they are sold with. Three survived exactly, and all three are counts. One is false by a stated bound, two are exact means of things that vary, three are honest values at a stated position, and six name quantities their mechanisms do not have. The pattern is not about honesty; it is about what kind of thing a number is.

applied · Misconception
What a leg of three joints permits and what it resists, on one frame. The leg of three revolute joints in grey, and the principal screws of two three-systems drawn through one centre: the twists the leg lets its platform make, and the wrenches it holds without any joint turning. They are computed separately — the second is the reciprocal complement of the first, found by its own eigenproblem — and they come out with the same centre, 5e-16 apart, and the same three axes, parallel to 0e+0. Only the pitches differ, and each wrench pitch is its twist's with the sign reversed, to 1e-15: -0.3766 against 0.3766, -0.0338 against 0.0338, 0.8075 against -0.8075.

The lines a leg turns about and the lines it is pushed along

A leg of three revolute joints permits a three-system of motions and resists a three-system of loads. The two share a centre and three axes and differ only in the sign of every pitch — and the revolute axes of the first and the lines of force of the second are the two rulings of one hyperboloid, every line of one meeting every line of the other.

spatial · Spatial
Every surface tried, and the group it permits. The census the six lower pairs come out of. Each row is a surface, sampled at 240 points; the freedoms column is six minus the rank of a matrix with one row per point, saying that the velocity a twist gives that point is tangent to the surface. Nothing is fitted and no shape is recognised — the surface's own normals write the matrix down. Three different surfaces of revolution give the same group, which is the content of the classification; two surfaces give nothing, which is what almost every surface gives. Eleven surfaces, six groups. The last column is the ratio of the smallest singular value kept to the largest discarded, so a row reading 10¹⁵ is not near being reclassified by anybody's tolerance.

The pair a catalogue sells

A plain bearing is a cylindrical pair and a catalogue calls it a bearing. Add two thrust faces and it is a revolute pair, which is a different joint and changes every mobility count downstream. The kinematic identity of a bought part is decided by which surfaces touch, and the catalogue's word for it is not the same information.

practice · Clearance
The bores, and the one line that has to pass through all of them. A hinge of 6 knuckles, its bores drawn at the distance each was made from the nominal axis in units of the bore tolerance. The leaf is a rigid body, so its pins are on one straight line — two parameters of position and two of direction — and it assembles when some line passes within the clearance of every bore. The line drawn is the one whose largest miss is smallest, and that miss is 0.875 of the tolerance. 2 of the 6 bores are at that distance and hold the fit; the rest are slack and could have been bored anywhere inside it without changing the answer.

A piano hinge is not forty door hinges

A three-knuckle hinge works because the misfit its bore errors create is smaller than the play already in its pins. A piano hinge has forty knuckles and thirty-nine of them are redundant, so the obvious reading is that it needs thirteen times the play. It needs two and a half times, and it can never need more than the bore tolerance itself — because a rigid leaf has one axis and a line through the middle of the errors misses every bore by at most the largest of them.

practice · Overconstraint

Named alongside it

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

MobilityRankToleranceDegrees of freedomOverconstraintJacobianScrewScrew systemDisplacement subgroupPitchRedundant constraintSensitivity

All concepts