Degrees of Freedom
How many numbers does it take to say exactly where something is? For a single speck of dust, three. For the industrial robot arm welding a car body, six — which is precisely why the classic robot arm has six joints. For a spinning satellite, six again. For a pendulum clock's swinging bob: one. And for the -atom coffee mug on your desk — a system whose honest Cartesian description needs some coordinates — the astonishing answer is still just six, because rigidity has quietly cancelled all the rest. That count — the number of independent quantities that genuinely remain free once every constraint has spoken — is the number of degrees of freedom, and finding it is the mandatory first move of every mechanics problem. The rule itself looks almost too simple: start from and subtract one for each independent holonomic constraint, . The craft is in the subtractions: constraints hide (rigidity is millions of them), constraints overlap (a rigid body's distance relations are massively redundant), and some constraints — the rolling, non-integrable kind classified in the constraints article — restrict motion without removing any coordinate at all, which is why a car needs four numbers to describe but only two to drive. The payoff for counting correctly radiates in every direction. It fixes how many generalized coordinates and equations of motion you will write. It counts a molecule's vibrational modes and thereby predicts heat capacities and infrared spectra — including the single bending mode of CO that runs the greenhouse effect. And it tells the roboticist why six is the magic number of joints for placing a tool anywhere, any way up. One integer, computed before any dynamics, that shapes everything downstream.
- The number of degrees of freedom (DOF) is the minimal count of independent coordinates needed to specify a system's configuration completely.
- For particles with independent holonomic constraints: . Independence matters — a rigid body's distance constraints collapse to leave exactly , for any .
- The counting ladder: free particle 3 · two particles joined by a rod 5 · rigid triangle 6 · any rigid body 6 · rigid body confined to a plane 3 · double pendulum 2.
- Molecules budget their as translation + rotation + vibration: vibrational modes (bent/nonlinear), (linear) — water has 3, CO has 4.
- Nonholonomic constraints do NOT reduce the coordinate count: a rolling disk keeps 4 configuration coordinates while having only 2 independent velocity freedoms.
- Mechanism mobility is DOF counting with rigid links: the Grübler formula gives the four-bar linkage exactly 1 DOF and a spatial six-revolute arm exactly 6.
- Key idea: start from Cartesian coordinates and subtract one for each independent holonomic constraint: . The surviving numbers are the generalized coordinates, and is the dimension of configuration space.
Where this lives today
Every robot in every factory is a walking DOF ledger. Six-axis arms remain the industrial default because a rigid tool needs six freedoms; seven-axis collaborative arms buy redundancy for obstacle avoidance; and the humanoid platforms now walking out of half a dozen labs carry 28–40 actuated freedoms whose coordination is learned in physics simulators before touching hardware. The counting shows up before the learning does: the policy network's action space is the mechanism's DOF count, and reinforcement-learning throughput is priced per degree of freedom per timestep. At the other end of the size scale, protein-folding and drug-docking pipelines count conformational freedoms — every rotatable bond is a torsional DOF, and docking cost grows brutally with each one — so "reduce the effective DOF" is as live an engineering strategy in computational chemistry as it is in robot design. The molecular budget of equation (5), meanwhile, runs the planet's energy balance. CO's four modes include a doubly degenerate bend at 667 cm — a 15 μm photon, sitting squarely on the peak of Earth's thermal emission spectrum. That one counted mode, times some molecules, is the mechanical origin of the greenhouse effect and the reason a linear triatomic trace gas can steer a climate: the freedom budget of a three-atom molecule, set by nothing deeper than , decides where the atmosphere is opaque.
The physical picture
Think of degrees of freedom as the number of knobs you can turn independently. A bead threaded on a curved wire has one knob — how far along the wire it sits — no matter how elaborately the wire bends through three-dimensional space. The wire is two constraints pinning the bead to a one-dimensional curve: . A fly in the room has three knobs. A rigid mug has six: three sliders to place its center of mass, three dials to set its orientation. The count is the honest dimension of the space of possible arrangements — the configuration space whose geometry is developed in the generalized coordinates article. The counting ladder below is worth climbing slowly, because it contains the single most important non-obvious fact in the subject: adding matter does not keep adding freedom. One particle: 3. Rigidly join a second: the connecting rod is one constraint, (the pair can point anywhere, but spinning about its own axis changes nothing — a line has no visible roll). Rigidly attach a third, off the line, with two more rods: . And now the ladder tops out: every further particle you weld on brings three new coordinates and three new independent constraints — its distances to three already-placed anchors — for a net gain of zero. Six forever.
The same budget-keeping, applied to a molecule, becomes experimental physics. A diatomic molecule is two atoms: total freedoms. Spend three on translating the center of mass, two on pointing the axis (rotation about the axis moves nothing, exactly like the rod above), and precisely one remains: the bond-stretching vibration. That budget is directly visible in heat capacities and infrared spectra — and its temperature-dependent surprises (frozen vibrations) were the first crack through which quantum mechanics entered.
One caution before the formulas, and it is the deepest one: the subtraction rule counts holonomic constraints only. A rolling wheel's no-slip conditions restrict its velocities without removing a single configuration coordinate — the wheel can still reach every position, heading, and spin. Such systems carry two honest counts at once (coordinates versus controls), and conflating them is the classic blunder the last derivation below untangles.
The counting rule and its fine print
The master formula deserves a precise statement, because all its power is in the adjectives. For point particles subject to constraints that are (i) holonomic — equations among positions and possibly time — and (ii) mutually independent:
where: — the number of degrees of freedom, equal to the dimension of the configuration space; — the unconstrained Cartesian count; — the number of independent holonomic constraints. Each such constraint confines the system to a hypersurface one dimension thinner; independent ones intersect in a surface of dimension , and is simply that dimension. The constraints being subtracted have the standard form
where: — the -th constraint function and — time, whose presence (a rheonomic constraint, like the rotating wire of the constraints article) changes the energy bookkeeping but not the count: a moving wall still walls off one dimension. What "independent" means is also precise — the constraint gradients must be linearly independent, i.e. the Jacobian of the 's must have full rank:
where: runs over all Cartesian coordinates. This rank condition is not lawyer's fine print; it is load-bearing. A rigid body of particles has pairwise-distance constraints — over half a million equations for a mere thousand particles, vastly exceeding — and blind subtraction would predict a negative . The rank of that huge system is only : the constraints are massively redundant, and Derivation A shows why exactly six freedoms always survive. Once the count is known, the surviving freedoms get names — generalized coordinates — and the Cartesian positions become functions of them:
where: the parametrization satisfies every constraint identically, which is what banishes constraint forces from the Lagrangian formalism. The count is exactly the number of Euler–Lagrange equations you will solve. Choosing the 's well is its own craft, developed in the generalized coordinates article; this article's job is only the integer . For molecules the count is traditionally quoted as a budget: from the total, remove rigid-whole motions and what remains vibrates,
where: the 6 (or 5) removed are 3 translations plus 3 rotations — only 2 rotations for a linear molecule, whose configuration is genuinely unchanged by spinning about its own axis. Water (, bent): vibrational modes. Carbon dioxide (, linear): modes. That single unit of difference between the two most important greenhouse molecules is pure geometry, and it is measurable in any infrared spectrometer. Engineers run the same arithmetic on machines, where the "particles" are rigid links (6 DOF each in space, 3 in the plane) and the constraints are joints. For a planar mechanism of links (counting the fixed ground link) connected by one-freedom joints (hinges or sliders), the mobility is
where: — the planar freedoms of the moving links; each hinge welds two links together at a point and removes 2 of the 3 relative planar freedoms. This is the Grübler criterion, derived and exercised below; its spatial sibling replaces 3 by 6 and 2 by . A four-bar linkage scores exactly 1 — one crank angle drives the whole machine — and a six-revolute robot arm scores exactly 6.
Which count answers which question
| you want | count | notes |
|---|---|---|
| how many generalized coordinates / equations of motion | , eq. (1) | independent holonomic constraints only |
| dimension of configuration space | same | by definition |
| a molecule's vibrational modes | or , eq. (5) | linear molecules keep only 2 rotations |
| a mechanism's mobility | Grübler, eq. (6) | links and joints instead of particles |
| independent velocity directions | minus the number of nonholonomic constraints | coordinates are NOT reduced — see Derivation C |
| equipartition energy per mode | per quadratic term | vibrations carry two quadratic terms (KE + PE) |
We are proving the headline of the counting ladder: the pairwise-distance constraints of a rigid body — however astronomically many — always leave exactly , independent of . The naive subtraction fails spectacularly (it goes negative for ), so the strategy is to count constructively instead: place the particles one at a time, tallying the freedoms each placement genuinely retains, and watch the tally saturate. The step to watch is the fourth particle — the first one whose every coordinate is already spoken for — because it exposes exactly which distance constraints are independent and which are redundant.
Step 1. Place particle 1: nothing constrains it, so it contributes 3 freedoms. Running total: 3.
Step 2. Place particle 2: it must sit at fixed distance from particle 1 — one constraint — so it roams a sphere: 2 freedoms. Running total: 5. Why this matches the rod: two particles joined rigidly form the dumbbell of the ladder, and 5 is its count — a line segment has no distinguishable spin about its own axis.
Step 3. Place particle 3 (non-collinear): distances to particles 1 and 2 are both fixed — two constraints — leaving it a circle about the 1–2 axis: 1 freedom. Running total: .
Step 4. Place particle 4, and every particle after it: its distances to the three non-collinear anchors 1, 2, 3 are fixed — three independent constraints on its three coordinates — pinning it completely (up to a reflection, fixed once and for all by the body's handedness). It adds freedoms. Why the remaining distance constraints are redundant: with particle 4 already pinned by three distances, its distances to particles 5, 6, … are automatic consequences of rigidity — equations already implied, contributing nothing to the Jacobian's rank. This is where the collapses.
Step 5. Read off the total and its anatomy. The tally is 6 for every non-collinear particles: . The six split naturally as 3 + 3 — place one marked point (3 translations), then orient the body about it (3 rotations, e.g. Euler angles). Why the split is legitimate: the constructive count placed particle 1 freely (translation) and then distributed the remaining freedoms among directions about it, which is exactly an orientation.
Step 6. State the rank result the construction proved: of the distance constraints, exactly are independent — the rank of the constraint Jacobian — and . Equation (1) survives, provided counts rank, not equations. Verified: reproduces Goldstein §1.3 and Landau–Lifshitz §1 (rigid body: six degrees of freedom, three translational plus three rotational); the constructive 3+2+1 count is the standard argument.
Go deeper · Derivation B · 2 minThe Gruebler count for planar mechanisms
The goal is the engineer's version of equation (1): the mobility formula for planar linkages, followed immediately by its two most famous verdicts — the four-bar linkage has exactly one degree of freedom, and a triangle of links has none. The strategy is the same subtraction as always, but with rigid links as the primitive objects (3 planar freedoms each, courtesy of Derivation A restricted to the plane) and joints as the constraints. Watch what a single hinge actually removes: not three freedoms but two — the two relative displacement components — because the relative rotation stays free.
Step 1. Count the raw freedoms. A mechanism has rigid links, one of which is the fixed ground (the machine's frame). Each moving link, as a rigid body confined to the plane, carries 3 freedoms (), giving in total. Why the plane gives 3: of the six rigid-body freedoms, confinement to a plane removes one translation and two rotations — tilting out of the plane is forbidden.
Step 2. Count what a joint removes. A revolute joint (hinge) forces a point of link A to coincide with a point of link B: two scalar equations (-match and -match), removing 2 freedoms while leaving the relative angle free. A prismatic joint (slider) equally removes 2 (one translation direction and the relative rotation survive as a single freedom). Why not 3: a joint that removed all three relative freedoms would be a weld, and the two links would count as one.
Step 3. Subtract. With such one-freedom joints:
Step 4. Try the triangle: links pinned in a loop by hinges gives . Zero freedoms — a structure, not a mechanism. This is precisely why triangles brace bridges: the shape is already fully determined. Why this is the planar shadow of rigidity: three links hinged in a triangle is the two-dimensional analogue of Derivation A's rigid triangle of particles.
Step 5. Try the four-bar: (ground, crank, coupler, rocker), hinges: . One single degree of freedom: turn the crank and every other link's motion is completely determined. This is the reason the four-bar is the workhorse of machine design — windshield wipers, bicycle brakes, piston engines (as the slider-crank variant with , : also ) — one motor, one motion. Adding one more link and hinge (five-bar: , ) gives : two motors needed, the architecture of many pick-and-place robots.
Step 6. State the spatial sibling used for robot arms: over joints permitting relative freedoms. A serial arm with six revolute joints () and seven links counting ground: — exactly the six freedoms a rigid tool needs. Why the formula can lie: Grübler counting assumes generic geometry; deliberately special proportions (parallel mechanisms, aligned axes) can hide redundant constraints and move with on paper. The count is a rank condition in disguise, and special geometry can lower the rank. *Verified: Grübler mobility and the four-bar/slider-crank result are standard results of kinematics of machinery; the spatial 6R arm count matches standard robotics references.*
Go deeper · Derivation C · 2 minCoordinates versus controls for a rolling wheel
This derivation untangles the one place where naive DOF counting reliably fails: rolling. The claim to establish — an upright disk rolling on a plane has a full four-dimensional configuration space yet only two independent velocity freedoms, and both numbers are physically meaningful. The strategy is to count configurations and velocities separately and then show, by exhibiting an explicit maneuver, that the velocity restrictions do not shrink the reachable configurations. The step to watch is the integrability question: only an integrable (holonomic) velocity constraint may be subtracted from the coordinate count, and rolling fails that test.
Step 1. Count the configuration. To state completely "where the disk is" requires the contact point , the heading angle of the disk's plane, and the spin angle marking which rim point touches the ground: 4 coordinates. No equation among these four is imposed by rolling — any is a legitimate snapshot. Configuration DOF: 4.
Step 2. Count the velocities. Rolling without slipping ties the contact-point velocity to the rim: and — two conditions on four velocities, leaving 2 independent ones (: roll, and : pivot). Velocity DOF: 2. Why these cannot be subtracted from the 4: the <a class="wiki-link" href="/wiki/aq-mech-constraints-classification" data-track="wiki_article.body.wiki_link">constraints article</a> proves (by the Frobenius wedge test) that neither condition is integrable — there is no function they are equivalent to, hence no coordinate they eliminate.
Step 3. Show the four coordinates are honestly independent — every configuration is reachable. The parallel-parking cycle does it constructively: roll by at heading 0, pivot by , roll back by , pivot back. Every leg respects the rolling conditions, and return to their start values, yet the position nets a displacement (sideways component for small ). Iterating reaches any ; a final roll-and-pivot sets any . Reachable set: all of the 4-dimensional space. Why this settles it: a constraint that removed a coordinate would confine the disk to a 3-dimensional surface, and no maneuver could leave it. The maneuver leaves it.
Step 4. Reconcile the two counts. Both are real and answer different questions. Four is the dimension of configuration space: four generalized coordinates, four Lagrange equations (plus multiplier terms), four numbers to record a snapshot. Two is the number of controls: independent ways to move at each instant — what a driver actually holds (gas and steering). The gap between them, , is the count of nonholonomic constraints, and it measures precisely how much maneuvering (how many bracket-generated directions) the system must exploit to roam its full configuration space. A car with a trailer runs the same ledger: 5 coordinates, still 2 controls, gap 3 — which is why reversing a trailer is hard. Verified: the 4-coordinate, 2-control accounting of the rolling disk matches Goldstein §1.3's discussion of the rolling coin as the standard nonholonomic example; the reachability construction is the standard Chow-theorem illustration.
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| free particle | no constraints: | |
| unconstrained particles | a gas before any rigidity is imposed | |
| two particles + rigid rod | a line has no distinguishable roll about its own axis | |
| any rigid body | the ladder saturates: 3 translations + 3 rotations, for any | |
| rigid body confined to a plane | — the link count used by Grübler | |
| fully braced structure (rigid triangle of links) | a structure, not a mechanism: no motion possible | |
| rolling disk | 4 coordinates, 2 controls | nonholonomic constraints reduce velocities, never coordinates |
Worked examples
1 · The molecular freedom budget, checked against the lab (confidence builder)
Count the degrees of freedom and vibrational modes of N, HO, and CO; then predict the room-temperature molar heat capacity of nitrogen and compare with the measured .
Step 1. N (, linear): total . Budget: 3 translations + 2 rotations + vibration (the bond stretch).
Step 2. HO (, bent): total 9. Budget: 3 + 3 rotations (bent molecules rotate about three axes) + — the symmetric stretch, the bend, and the asymmetric stretch of every infrared textbook.
Step 3. CO (, linear): total 9. Budget: 3 + 2 + — one symmetric stretch, one asymmetric stretch, and a doubly degenerate bend (the molecule can buckle in two perpendicular planes; that pair is the geometric origin of the extra mode a linear molecule carries).
Step 4. Heat capacity of N at 300 K. Equipartition pays per quadratic energy term per mole. Translations: 3 kinetic terms. Rotations: 2 kinetic terms. Vibration would pay (kinetic plus potential) — but the stretch quantum for N is , so at 300 K that mode is frozen out. Prediction: — matching the measured value. The "missing" vibrational that classical counting demanded was, historically, a first glimpse of quantization.
Step 5. Sanity-check the counting the other way: at 3000 K the vibration thaws and climbs toward — the freedom budget is temperature-revealed, not temperature-dependent: the mode always existed; only its price changed.
2 · Mobility audit of three machines (exam level)
Apply DOF counting to (a) a windshield-wiper four-bar linkage, (b) a five-bar linkage with two motors, and (c) a spatial six-revolute welding arm. Then explain why the arm needs exactly six joints to weld at an arbitrary point with arbitrary torch orientation, and what a seventh joint would buy.
Step 1. (a) Four-bar: links (ground, crank, coupler, rocker), hinges. Grübler, eq. (6): . One motor at the crank determines the entire motion — which is the point: a wiper must sweep one prescribed arc, repeatably, from one input.
Step 2. (b) Five-bar: , : . Two independent inputs are required — and sufficient: driving the two ground-adjacent cranks steers the coupler point anywhere in its planar workspace. This two-motor architecture is exactly a planar parallel pick-and-place robot.
Step 3. (c) Spatial arm: 6 revolute joints, links counting ground, each joint permitting freedom. Spatial Grübler: .
Step 4. Why six is the magic number: the welding torch is a rigid body, and Derivation A says placing a rigid body takes exactly 6 numbers — 3 for the weld point, 3 for the torch orientation. A task that prescribes all six needs ; a serial arm with can meet it (within reach limits) with, generically, a finite set of joint solutions.
Step 5. The seventh joint: gives a one-parameter family of joint configurations for every torch pose — redundancy. The extra freedom changes nothing about the task count and everything about the execution: the arm can slide its elbow around obstacles while the torch holds still. Counting says when redundancy exists ( minus task DOF ); using it well is the control problem. Modern seven-axis collaborative arms are precisely this trade.
Origins · 1 minJames Clerk Maxwell and how this was discovered
Maxwell counted degrees of freedom for a living twice over. His kinetic theory hinged on the equipartition theorem — energy shared at per quadratic term — which made a gas's heat capacity a pure exercise in counting molecular freedoms: so many translations, so many rotations, so many vibrations. And there Maxwell hit the cleanest anomaly in nineteenth-century physics: diatomic gases stubbornly paid for five freedoms, not the seven his counting demanded. He called the discrepancy the greatest difficulty the molecular theory had yet encountered, and he was right to take it seriously — the missing freedoms were frozen by quantization, invisible until Planck and Einstein, and the humble act of counting DOF had exposed the first crack in classical physics. Maxwell also counted machines: his 1864 rule for the rigidity of frames ( bars to brace joints in space) is the structural twin of the Grübler criterion, still taught to civil engineers.
Going further
References. Goldstein, Poole & Safko, Classical Mechanics (3rd ed.), §1.3 · Morin, Introduction to Classical Mechanics, Ch. 6 · Landau & Lifshitz, Mechanics (Vol. 1), §1 · Taylor, Classical Mechanics, Ch. 7
Provenance. Counting rule and rigid-body result from Goldstein §1.3 and Landau-Lifshitz Mechanics §1. Molecular mode counts / are standard (verify: water = 3 modes, CO2 = 4 modes). A verifier should recompute each worked example's constraint count and confirm the listed values against Morin Ch. 6 and Taylor Ch. 7; all numbers are standard textbook values. Additional counts on this page (Grübler : four-bar 1, five-bar 2, triangle 0, spatial 6R arm 6; N with K; CO bend at 667 cm ≈ 15 μm) are standard kinematics and spectroscopy values, recomputed from the stated formulas.
Builds on: Generalized Coordinates and Configuration Space · Constraints and Their Classification Leads to: The Lagrangian Function · The Euler-Lagrange Equations · Virtual Displacements and the Principle of Virtual Work
Why exactly does a linear molecule get only 2 rotational degrees of freedom instead of 3?
Because rotation about the molecular axis changes nothing about the configuration: every atom sits on the axis, so no atom moves. A degree of freedom must label distinguishable arrangements, and there is nothing to distinguish. (Classically you can also say its moment of inertia about the axis is essentially zero — the electrons' contribution is negligible — so no meaningful energy can be stored there; quantum mechanically, the level spacing for that rotation is so enormous it is never excited.) The freedom does not vanish from the books, though: the total is still , so the "lost" rotation reappears in the vibrational budget — which is precisely why linear CO has modes while bent water has . Geometry moves the freedom from one column of the ledger to another.
Why does a vibration contribute R to the heat capacity but a translation only R over 2?
Equipartition pays per quadratic term in the energy, and a vibration owns two: kinetic () and potential (). A translation has kinetic energy only — free motion stores nothing. So the honest currency of equipartition is quadratic terms, not degrees of freedom; each vibrational DOF is worth two terms, each translational or rotational DOF one. That is how a diatomic's budget of freedoms prices out at when everything is active — and why the measured at room temperature was such a scandal: a whole 's worth of vibrational payment was missing, frozen by a quantum the nineteenth century didn't have.
Does a time-dependent constraint change the degree-of-freedom count?
No. A rheonomic constraint like "the wire rotates at fixed rate " is still one equation among coordinates and time (), so it still removes exactly one coordinate — the bead on the rotating wire is a genuinely one-DOF problem in . What explicit time-dependence changes is the energy bookkeeping (the conserved Jacobi function parts company with , as the constraints article develops) and the embedding of equation (4), which picks up a slot. Time itself is never a degree of freedom in this counting: DOF counts the dimension of configuration space — the possible arrangements at one instant — not the parametrization of histories.
So what IS the degree-of-freedom count of a car — four or two?
Both, for two different questions, and being able to say which is which is the whole lesson of Derivation C. Configuration: four (position , heading , and wheel rotation — five with a trailer angle). That is how many numbers a parking app would need to record where your car is, and no rolling constraint reduces it, because rolling constraints are nonholonomic. Controls: two (drive and steer) — how many independent ways you can move right now. The gap between the counts is the number of nonholonomic constraints and is the exact measure of why parking requires maneuvering: the missing directions must be generated by composing the two controls back and forth. When someone quotes "a car has 3 DOF," ask which ledger they are reading — it is usually the planar rigid-body count with the wheels ignored.
If I replace a rigid rod with an extremely stiff spring, do I get the degree of freedom back?
Formally, yes, instantly: a spring — however stiff — imposes no equation among coordinates, so the count jumps from 5 back to 6 for a diatomic dumbbell. Physically, the recovered freedom is expensive: exciting it costs energy of order the vibrational quantum , and if the mode simply never activates — frozen, exactly like N's stretch at room temperature. So the practical modeling rule is energetic, not mechanical: treat a stiff connection as a rigid constraint whenever the energies in play are far below the mode's quantum (or, classically, when its frequency is far above every frequency you care about), and remember the freedom is dormant, not deleted — raise the temperature and it will demand its equipartition share. Rigidity is always an approximation with a price tag attached.
The pairwise-distance constraints of a rigid body outnumber the coordinates for large N. Why doesn't the formula give negative degrees of freedom?
Because equation (1) subtracts the number of independent constraints — the rank of the constraint Jacobian, condition (3) — and never the raw equation count. Of the distance equations, only are independent: once each particle is pinned by its distances to three non-collinear anchors (Derivation A's construction), every remaining pairwise distance is automatically implied and adds nothing to the rank. Redundant equations are harmless to the physics but fatal to naive subtraction. The same discipline saves Grübler counting from special geometries: a mechanism with deliberately parallel axes can carry constraints that look independent but aren't, which is exactly how "overconstrained" linkages move despite a mobility formula that says .
How do I actually find the number of independent constraints in a messy system?
Strategy one — construct, don't subtract: place the parts one at a time, tallying the freedoms each placement genuinely retains (this is how Derivation A tames the rigid body, and how you should handle chains, linkages, and trees of bodies). Strategy two — count knobs directly: ask how many numbers you must dial to freeze the configuration completely; for a double pendulum you will find yourself dialing two angles, so without ever listing the four constraints. Strategy three — when the constraints are given as equations, compute the Jacobian's rank at a generic configuration, per condition (3). Cross-check at least two strategies on anything unfamiliar: agreement between the constructive count and the knob count is the fastest error-detector in setting up mechanics problems, and disagreement always means a hidden, redundant, or nonholonomic constraint.