Concept

Unilateral constraint — where it appears

A condition that holds one way only — a strand keeps two points at no more than a distance rather than at it. Such a constraint removes a freedom where it is active and none where it is not, so a mechanism built from strands has a mobility that is a function of position rather than a number.

Named by 15 essays across 3 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
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
What one contact forbids, drawn as a place. A single contact on one edge of a square, and the whole plane coloured by what it permits. A rotation about a point is a twist, and a twist is permitted when it does not drive the part into the obstacle; because a rotation about (x, y) is affine in the point, the condition is a half-plane and the boundary is a straight line — the line through the contact along its own surface. On one side of it only anticlockwise rotations are permitted, on the other only clockwise, and the two together are the whole plane bar the line itself. So one contact rules out exactly half of what the part could do and leaves the other half untouched, which is why the count of contacts a hold needs is one more than the dimension rather than equal to it: the first 1 of them cannot leave nothing over. The picture is exact — the regions are clipped polygons, not a sampled grid.

What one contact forbids

A rotation about a point is a twist, and a twist is affine in the point — so what a single contact permits is a half-plane of centres, with the boundary being the contact surface's own line. Reuleaux drew it in 1875 and it is exact rather than sampled, which is why every figure in this field is a picture of the plane rather than of a cone.

holding · Restraint
6 contacts, and the box lifts straight off. 3-2-1, six contacts. Each pad is a contact and each arrow the direction the box is free to move there — the inward normal, and the whole of what the contact contributes. The rank is 6, which is full: these 6 contacts are 6 independent constraints and a bilateral version of them would fix the box completely. The margin is nought, so the box is free to leave, and no amount of tightening the tolerances on where the pads are would change that. Rank and hold are different questions and this is the pair of pictures that separates them. positioned by solving, not by drawing.

Four in the plane and seven in space

Six independent constraints fix a body in space and six contacts fix nothing, because d vectors can span d dimensions and can never positively span them. The minimum is one more than the dimension — and it is a floor rather than an answer: six contacts on a box held it in none of four thousand random arrangements and seven held it in twenty-one.

holding · Restraint
4 contacts, and the centres they still allow. The same four, placed pinwheel. The same square, the same four edges, the same distance along each — and taken the same way round rather than alternately. Every row's moment then has the same sign, so no positive combination can cancel it, and the part turns. Each contact contributes one half-plane of permitted centres per sense, and the shaded regions are what survives all 4 of them: the darker one is where an anticlockwise rotation is still permitted and the lighter one where a clockwise one is. What is left is the escape, and it is a region rather than a direction: any point inside it will do as a centre. The enumeration finds 4 extreme rays, of which 4 are rotations and the rest are translations — the corners of the region and its unbounded directions respectively. positioned by solving, not by drawing.

The escape is a place

A part that is not held escapes, and the useful thing is not that it escapes but where. The extreme rays of the cone are the corners of a region of the plane and its unbounded directions are translations — so the answer to 'this does not hold' is a picture with a shape, and the shape says where the next contact has to go.

holding · Restraint
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
Free to spin, and it cannot turn at all. An ellipse of semi-axes 1.4 and 0.9 inside four flat walls that touch it at the ends of its own axes. Every normal points at the centre, so every row's moment is nought and the four rows span two dimensions rather than three: the cone of permitted twists is the whole spin axis, a line through the origin, and the first-order answer is that the part is free to turn either way. Drag the angle and watch what happens. The ellipse's reach in the direction of the top and bottom walls is √(a²sin²θ + b²cos²θ), which is smallest at θ = 0 and grows from there, so any rotation whatever drives it into both of them — by 0.016 at this angle. A nullity is a candidate and not a motion, and this is the shape of case the fields before this one could not produce: not a mechanism at a singularity, but an ordinary part in an ordinary pocket. positioned by solving, not by drawing.

Free to turn and unable to

An ellipse in a pocket the size of its own bounding box has four contacts whose rows span two dimensions, so the cone of permitted twists is a whole line and the first-order answer is that it spins both ways. It cannot turn by any amount whatever: the penetration grows as the square of the angle, with a fitted exponent of 1.9944, and a circle in the same pocket turns for ever.

holding · Restraint
5 contacts, and 1 of them free not to touch. A hexagon on five contacts. Each contact is removed in turn and the hold recomputed; the ones drawn in the warning colour are those whose removal leaves the part still held, which is to say the ones that are constraining nothing the others were not already constraining. There is one here, and the margin without it is 0.091 — unchanged, to every figure. That is the unilateral form of what a redundant constraint costs, and it costs something different from the bilateral form: a redundant bilateral constraint has to be satisfied and cannot be, so it leaves a gap somewhere; a redundant contact is simply free not to touch, and whether it does is decided by errors nobody controls. positioned by solving, not by drawing.

The contact that is free not to touch

A hexagon on five contacts holds, and taking one of the five away leaves the margin at 0.0914 — unchanged, to every figure. That contact constrains nothing the others were not already constraining, and what it actually does is become the one member of the set that is free not to touch, with the decision made by errors nobody controls.

holding · Restraint
Free in every direction, and it cannot get out. A disc of radius 1 among 3 point obstacles on a circle of radius 1.100. The shaded discs are the obstacles grown by the part's own radius, which is what the part's centre may not enter — the configuration space, and for a round part it is the plane itself. The part is caged when those grown discs overlap enough to close a ring around it, which happens below R = 1/sin(π/3) = 1.154701, and here it does. At every configuration inside the cage the part is free. The three normals all point at its centre, the rank of its rows is two, the escape cone is a whole line, and none of that has anything to do with whether it can leave. A hold is a statement about velocities at one configuration; a cage is a statement about where a finite motion can go, and the second does not follow from the first in either direction. positioned by solving, not by drawing.

Free at every instant and going nowhere

Three points on a circle of 1.1 radii around a unit disc leave it free in every direction at every configuration — rank two, margin nought, the whole plane of centres shaded — and it cannot get out. The threshold is 1/sin(π/n), which is 1.154701 for three, and a flood fill of the free space agrees with the formula at every radius sampled.

holding · Restraint
A joint with no way out in the plane it is drawn in. A dovetail. The tail is wider at its far end than at the mouth it went in through, so every direction out of the mouth is blocked by a slanted face and every direction further in is blocked by the floor. In the plane of this drawing the joint cannot be taken apart at all, and the direction it does come apart in is the one the drawing does not show. The moving part touches the rest at 3 faces, each contributing one inequality on the direction it may be translated in — the direction must not have a negative component along that face's inward normal — and the set of directions that satisfy all of them is a cone in two dimensions rather than three, because a translation has no moment term. That is why a removal cone can be drawn as an angle where a mobility cone cannot. Here it is empty: every direction is refused by one face or another, so the part cannot be taken out by any translation and cannot have been put in by one either. That is a statement about the assembly and not about the part, and the direction the joint does come apart in is perpendicular to this drawing. positioned by solving, not by drawing.

Which way it comes out

Drop the rotation from the inequalities and the cone lives in two dimensions rather than three, so it can be drawn as an angle: a block in a vee has ninety degrees of directions out, a key in a slot has exactly one and no arc around it, and a dovetail has none at all. Three answers, and each of them is a different kind of joint.

holding · Restraint
Neither one comes out, and the two of them do. Two congruent Z-shaped parts in a tray that is open at the top. Each has a step that lies over the other's, so part A's four contacts with part B have normals at all four points of the compass and leave it no free direction at all — and the same is true of B, for the same reason and by symmetry. The blocking is mutual and there is no order in which the two can be taken out one at a time. Together they have 6 contacts, all of them with the tray, and exactly one direction out: straight up. So the removal cone of a set of parts is not built from the removal cones of its members, and which part comes out first is a question with no answer here. positioned by solving, not by drawing.

Neither part comes out first

Two congruent Z-shaped pieces in a tray open at the top. Each has four contacts with the other, with normals at all four points of the compass, so each alone is blocked in every direction there is — and the pair lifts straight out. The removal cone of a set of parts is not built from the removal cones of its members, and *which part comes out first* is a question with no answer.

holding · Restraint
One tendon over two joints. A two-link chain with a strand anchored off to the left, running over an idler at each joint and terminating on the far link. Each idler is centred on its joint's axis, which is the one arrangement that makes the strand's length a linear function of the joint angles: the coupling measured here is 14.000000 and 10.000000 mm per radian, against radii of 14 and 10. Total strand 232.845 mm. positioned by solving, not by drawing.

One strand over many joints

Route a tendon over an idler centred on a joint's axis and the strand's length becomes an exactly linear function of the joint angle — 8·10⁻¹⁴ mm of departure over 203 degrees of travel. Move that idler 6 mm off the axis and the same drive's arm swings from 8.00 to 16.52 mm per radian.

strands · Strand
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.

Six things a hold is not

A rank read as a restraint, a count read as an answer, four contacts placed the wrong way round, a nullity taken for a spin, a part free in every direction and unable to leave, and a tolerance offered as a cure for an arrangement that was never a hold. Six claims, each with the number that kills it.

wrong · Misconception
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.

Six hold nothing

Every exact-constraint coupling on this site — Kelvin, Maxwell, three-two-one, and a Kelvin clamp with a seventh pad added — has rank six and holds the part not at all. The escape a Maxwell coupling leaves is a pure vertical translation with nothing else in it, which is not a defect: it is what a coupling is, and gravity is the seventh contact nobody draws.

holding · Mobility
The best four contacts on six regular polygons. The largest-margin placement of four frictionless contacts on regular polygons of 3, 4, 5, 6, 8, 12 sides, each found by exhaustive search over edge ends and refinement along the edges. 3 sides: margin 0.231 against a half-edge of 0.866; 4 sides: margin 0.333 against a half-edge of 0.707; 5 sides: margin 0.235 against a half-edge of 0.588; 6 sides: margin 0.293 against a half-edge of 0.500; 8 sides: margin 0.284 against a half-edge of 0.383; 12 sides: margin 0.223 against a half-edge of 0.259. From six sides up every contact sits at an end of its edge; on the triangle and the pentagon two of the four settle near the middles of edges instead. On the square and the even polygons the corner contacts take alternate ends of four edges a quarter-turn apart; an odd polygon has no edge exactly a quarter-turn round and holds less than either even neighbour.

The hold is in the corners

A disc cannot be held by frictionless contacts and a regular polygon can, so a polygon with more and more sides has to lose its hold somewhere. Searched exhaustively, the best four contacts sit at alternate ends of four edges a quarter-turn apart, and their margin is the half-edge sin(π/n) less a correction that falls as 1/n² — 74% of it at eight sides, 99.4% at sixty-four. The hold is lost as the side shrinks, not as its square, and it is carried entirely by how far a contact sits from its edge's middle.

holding · Restraint

Named alongside it

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

Form closureEscape coneContact normalConvex hullFixturePositive spanRankMobilityConstraintDegrees of freedomEnumerationExact-constraint

All concepts