The wraps add up to a turn
Assumes Where a strand leaves a body.
A closed strand is a closed curve, and a closed curve in the plane has a turning number: follow it all the way round and count how many complete turns the direction of travel makes. For a simple loop the answer is one. For a figure of eight it is nought. It is an integer, it cannot change while the curve is deformed without being cut or pushed through itself, and it is one of the oldest results about plane curves.
A taut strand turns nowhere except on the bodies it wraps. Along every straight run its direction is constant; at every body it turns by exactly the wrap angle, one way or the other. So the turning number of a run is the sum of its wrap angles, each signed by the sense of the wrap, divided by — and that sum is an integer.
That sentence is doing more work than it looks. The wrap angles are computed independently, one body at a time, each from two tangent lines that were solved without reference to any other body in the run. There is nothing in the arithmetic that knows about the loop. Adding a dozen such angles and landing on to fifteen decimal places is a statement about a quantity nothing in the computation was given.
The four routes, and the two integers
An open belt wraps both pulleys the same way, so both wraps are positive and they add to a full turn. That is why the classical formula has and in it: the two wraps are a half turn each, plus and minus the same correction. The correction is the angle the strand’s span makes with the line of centres, and it is the same angle at both ends because the span is one straight line.
A crossed belt — the arrangement an involute gear pair is — wraps the two pulleys opposite ways, so one wrap counts positive and the other negative, and the total is nought. That has an immediate consequence which is not obvious from any drawing: the two wrap angles of a crossed belt are equal. Not approximately, and not for equal pulleys — for any two radii, at any centre distance that admits the run. On the 40 and 24 mm pair 160 mm apart, both are 227.156357°.
The proof is the conservation law read backwards. A crossed run has two wraps of opposite sign and they must sum to nought, so their magnitudes are equal — and that is the whole argument, with no reference to the radii at all. Written out the long way it is the observation that both wraps come to with , which is the form the textbook length formula takes and is usually presented as an algebraic coincidence of the derivation rather than as the thing it is.
An open belt gives the small pulley the smaller wrap — 168.5° against 191.5° here — and a crossed belt divides its grip evenly. Crossing a belt is usually described as a way of reversing the output. It is also a way of buying wrap on the pulley that has least of it, and the arithmetic above says exactly how much.
A loop over pegs — the case the hull identity is about — wraps all of them the same way, and the sum is still one turn however many there are. Three pegs, four, five, six, eight: the signed wraps come to 360.000000000° in every case, because the arcs of a taut loop are the exterior angles of the convex hull the loop is, and the exterior angles of any convex polygon add to a full turn.
A run with an idler pressed against it from outside has one negative wrap among the positive ones, and the sum is one turn again.
What the negative wrap buys, and who pays for it
The last of those is the case with a design consequence, and the arithmetic hands it over directly.
If the total is fixed at one turn, then an idler that takes must be matched by of positive wrap elsewhere. A tensioner does not merely take up slack; it creates wrap, and exactly as much as it takes.
The interesting question is who receives it, and the answer is sharper than the bookkeeping requires. Swing the idler through its whole range of contact and watch all five wraps:
| arm angle | crank | compressor | pump | alternator | idler |
|---|---|---|---|---|---|
| 4.123 | 109.089° | 74.709° | 80.359° | 95.903° | −0.061° |
| 4.300 | 114.534° | 74.709° | 80.359° | 104.091° | −13.693° |
| 4.450 | 117.685° | 74.709° | 80.359° | 112.589° | −25.342° |
| 4.600 | 119.559° | 74.709° | 80.359° | 124.219° | −38.846° |
| 4.774 | 120.399° | 74.709° | 80.359° | 163.497° | −78.964° |
The two pulleys on either side of the idler gain all of it. The two on the far side of the loop — the compressor at 74.709° and the pump at 80.359° — do not move by so much as a thousandth of a degree, at any position of the arm.
That is worth stating as a rule, because it is the opposite of what “tensioning the belt” sounds like it should do. An idler buys wrap for its two neighbours and for nobody else. A tensioner placed on the slack span next to the crankshaft raises the crankshaft’s wrap and the wrap of whatever is on the other side of it, and does nothing at all for the alternator three pulleys away. Where to put the idler is therefore a question about which pulley is short of wrap, and it has a local answer.
The other sum, which is not conserved at all
Signing the wraps is what makes them add to an integer, and it is worth asking what the unsigned sum does, because that one is a quantity a designer cares about.
Add the wrap angles without their signs and the serpentine above gives 410.684° at an arm angle of 4.450 — the four positive wraps plus the idler’s twenty-five degrees taken as a positive number. Do the same at the edge of contact and it gives 360.121°. In every case the total is exactly
which follows immediately from the conservation: the neighbours gain what the idler takes, and then the idler’s own arc is added again rather than subtracted.
So the two sums say different things and both are worth having. The signed one is an invariant and is a check, in the way a mobility count is. The unsigned one is a cost: it is how far the strand is bent, in total, on one lap of the mechanism. A belt that goes round a loop is bent through one turn no matter how many pulleys are in the loop or how they are arranged — that part is free — and every idler pressed against the outside of the run adds twice its own wrap to the bill, because it bends the strand the other way and then the neighbours bend it back.
What that bending costs is not a question this field can answer — it needs a material, a thickness and a number of laps per minute — and the reason to compute it anyway is that the geometry half of a fatigue argument is exactly this sum, and it is the half that is usually guessed. A run with three idlers pressed in a little is often drawn as gentler than one with a single idler pressed in hard, and the arithmetic says whether it is: three at 20° cost 120° of extra bending and one at 50° costs 100°.
Which way round is one turn
One convention needs stating, because it decides the sign of everything above and is arbitrary.
A wrap counts positive when the strand goes round the body anticlockwise, which is the same as saying the body’s centre is on the strand’s left as it travels. Travelled the other way round, every wrap in a loop changes sign and the turning number of the open belt becomes instead of . Nothing in the geometry cares; the length is the same and the wrap angles are the same; only the bookkeeping flips.
What does not depend on the convention is the difference between the routes. An open belt has and a crossed one has , and no choice of direction turns one into the other. That is the sense in which the integer is a property of the route: it survives every deformation of the mechanism, and it survives reading the mechanism backwards.
There is a boundary case that makes the point. Slide a peg outward until it just touches the strand, and its wrap comes in at zero and grows continuously from there. Nothing jumps: a body that is just on the run contributes an arc of no length, no turning, and no wrap. So the integer is stable under a body joining or leaving the run, which is the property that makes it usable as a check on runs whose membership is decided by the geometry rather than declared.
The check this pays for
The reason to compute an integer that was known in advance is that it fails when something else is wrong, and in this field the thing that goes wrong is specific.
A tangent line exists between any two bodies that are not nested. So a run over a body the strand does not actually reach — an idler set just outside the span it was meant to press into — still returns tangent lines, still returns tangency points, and still returns a length. What it returns is a path that goes round that body the long way: the strand approaches, and instead of a wrap of six degrees it takes a wrap of three hundred and forty-eight, coming back round the far side to leave in the direction the next span needs.
Drawn, that path is a smooth closed curve. It crosses itself somewhere, but so does a crossed belt, and there is no reason a reader would look. It has a plausible length. Every wrap angle in it is a legitimate arc of a real circle. Nothing about the picture says anything is wrong.
Its turning number is two.
That is how the case was found, and it is why the tautness test in this field’s library has three parts and puts the cheap one first: no straight run may pass inside a body, no two runs may cross, and the turning must be what the route says. The first two are geometry and cost a loop over every pair; the third is a sum that is already computed, and it is the one that fires.
Why the total cannot be measured wrong
The invariance also puts a floor under everything else in the field, and it is worth being precise about what kind of check it is.
It is not a comparison against a second implementation. There is no other route to the wrap angles here — they come from the tangency solve and nothing else — so an error in the tangency solve would move every wrap angle at once. What the turning number tests is whether those angles are consistent as a path: whether the direction the strand leaves each body is the direction it arrives at the next one, all the way round, with the bookkeeping closing.
Over forty randomly proportioned belts, open and crossed, the worst departure from the exact integer is radians. Over the whole contact range of the serpentine’s idler it is . Those are sums of five or six angles each of a radian or so, so they are running at the last bit of the double-precision arithmetic — which is what a quantity that is exactly right looks like when it is computed in floating point.
What the integer does not settle
It says nothing about whether the run is short, whether it is sensible, or whether the mechanism would work.
A loop over four pegs and a loop over four pegs with an extra half turn thrown in around one of them are different objects with different lengths, and the second one has turning number two — so this test would catch it. But a strand routed round the outside of a pulley that should have been on the inside can have the right turning number and be an entirely different mechanism: the senses list is a genuine input to the problem, and no arithmetic recovers it. That is the subject of the essay on routes, and it is the one place in this field where a choice has to be made rather than computed.
Nor does the integer say anything about the distribution. A run whose total is one turn can put 340° of it on one pulley, which is a mechanism a tackle never has to worry about and five degrees on each of four others, and that is a real mechanism with a real problem — four pulleys that will not drive anything. The total is a conservation law, not a design.
A coarser invariant than the route
The integer is decided by the route and not by the geometry, and it is worth being exact about how much of the route it records, because that decides which routing errors the check catches.
A route is an element of a free group: which bodies the strand touches, in what order, and which side of each. The turning number is a single integer computed from it. So the map from routes to turning numbers is many-to-one, and the check sees only the image.
What it catches, therefore, is any error that changes the total. A wrap taken the wrong way round — a belt threaded crossed where it should be open, an idler on the wrong side of a run — changes a sign and moves the total by two, and the check fails immediately and loudly. That is the commonest routing mistake there is and it is exactly the one the integer is sensitive to.
What it misses is anything that preserves the total. Permuting the bodies leaves every wrap’s sign alone and reorders the runs, and the sum is unchanged — so a serpentine belt threaded round the right pulleys the right ways in the wrong order passes the check. So does a route with two errors that cancel: an idler on the wrong side and a pulley wrapped backwards, together, restore the integer and leave a mechanism that is wrong in two places.
That is not a defect in the check and it is worth saying why. An invariant that could distinguish every route would be the route, and computing the route is what the check is verifying rather than something it can assume. The value of a coarse invariant is precisely that it is computed by a different means from the thing it checks — the wraps come from pairs of tangent lines that know nothing about each other, and their sum comes out an integer anyway.
So the arrangement is the same one this site uses elsewhere: a cheap invariant that is sound in one direction, backed by something that decides the question. The turning number cannot certify a route and can refute one, the refutation is free, and the routes it fails to refute have to be checked another way — which for a strand means by the ordering, and the ordering is an input rather than a computation.
Which also says what a second check would have to look like. Not another integer, since every integer computed from the route is a coarser invariant again, but the ordered senses list itself, compared against what was intended. That is a comparison between two descriptions rather than a measurement, and it is the same terminus the topology field reaches when its own summaries run out.
What is not modelled
The turning number is a property of a closed curve, so it exists for a belt and not for a tendon, a tackle or a winch line, and the field’s routines refuse to compute one for an open run rather than returning nought. A strand that leaves the plane — a quarter-turn belt between shafts at right angles, which is a real and common arrangement — is outside this field entirely: the whole of the geometry above is planar, and the tangency condition in space is a different problem with a different answer. Nothing here counts a wrap that exceeds a full turn on one body, which is what a capstan or a winch drum does deliberately; the routine reports the wrap it finds and the arithmetic assumes each body is met once.
What this makes readable
Essays that name this one as a prerequisite.
- The taut path has more than one answer Members that pull
- The tensioner is the unknown Members that pull
- Where a strand stops touching Members that pull
- The wrap that walks along the axis Members that pull
About the same objects
Not linked from either essay — found by the objects both name.
- The drum that is not round design rule · strand · tangency
- A chain is not a strand design rule · strand
- A drum is a size, a wrap is a shape strand · wrap angle
- A flat face on an arm is worse convex hull · design rule
- Which walls a strand is held by design rule · wrap angle
What links here
The 8 of 10 essays linking to this one that name the most of the same objects.
- A member with no length of its own Members that pull
- The tensioner is the unknown Members that pull
- A strand in a tube Members that pull
- The wrap that walks along the axis Members that pull
- Where a strand leaves a body Members that pull
- Where a strand stops touching Members that pull
- A ratio with no steps in it More than one input
- One strand over many joints Members that pull
The objects this essay names
Each one links to every other essay that touches it.
Belt driveConvex hullDesign ruleIdlerInvariantStrandTangencyTurning numberWrap angle