How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A steady precession of the heavy symmetric top checked on explicit data: the pivot balance, the two conserved momenta and the reduced energy
A worked steady precession of the heavy symmetric top branch of Adoption of the heavy symmetric top branch: axisymmetric rigid material, a fixed pivot material point, a uniform gravitational field and the balance of angular momentum about the pivot on declared parameters , , , , (so the pivot transverse moment is ) and the explicit angles , , : the pivot balance is verified identically in time, the two conserved momenta are and , the reduced energy is , and the heavy-top system holds, so the reduction conclusions apply. All formulas use numerical SI values with dimensionless dimensionless t = T / (one second) as defined in the Example; no measurement, no concrete top and no experiment is asserted.
Example
Numerical SI convention. Let denote physical elapsed time and fix , and . All formulas below use numerical SI values: is dimensionless, angles are in radians, positions and are divided by , masses by , inertia entries by , and by . Primes denote differentiation with respect to . Restore physical angular velocity as , angular momentum as , energy as , and torque as . Thus the displayed rates and mean physical rates and , and every trigonometric argument is dimensionless. The physical placement is ; its derivatives restore the pivot balance and heavy-top equations with the same SI data. These are unit conventions of Dimensions and SI unit conventions of the non-relativistic classical mechanics framework, not measured inputs.
Adopt the heavy symmetric top branch Adoption of the heavy symmetric top branch: axisymmetric rigid material, a fixed pivot material point, a uniform gravitational field and the balance of angular momentum about the pivot with declared parameters in the framework's units (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework), so that the body inertia matrix is in the declared basis and the pivot transverse moment is Let and consider the angles the orientation path of The Euler-angle parametrization and the heavy symmetric top system, the centre of mass , and the motion . Verify:
- It is a motion of the branch satisfying the pivot balance. The pivot constraint holds, and with and , where ; hence the motion satisfies the adopted balance of Adoption of the heavy symmetric top branch: axisymmetric rigid material, a fixed pivot material point, a uniform gravitational field and the balance of angular momentum about the pivot clause (v) and the conclusions of Reduction of the heavy symmetric top branch: pivotal angular momentum, Euler-angle equations, the two conserved momenta and the one-dimensional equation clauses 1-2 hold along it.
- The conserved momenta and the reduced energy. With , , ,
- The heavy-top system holds, and is constant. The three equations of The Euler-angle parametrization and the heavy symmetric top system hold for the triple, and , so the motion is a steady precession: and are constant and the nutation angle is constantly .
Facts & Assumptions
Given: The branch parameters , , , , , the derived constants , , the angle data , , , and the path with .
Branch kinematics and dynamics: the motions of the branch satisfy the pivot constraint and the balance with , , so the reduction conclusions of Reduction of the heavy symmetric top branch: pivotal angular momentum, Euler-angle equations, the two conserved momenta and the one-dimensional equation clauses 1-4 hold on any interval carrying an Euler-angle description (Adoption of the heavy symmetric top branch: axisymmetric rigid material, a fixed pivot material point, a uniform gravitational field and the balance of angular momentum about the pivot clauses (ii)-(v), Reduction of the heavy symmetric top branch: pivotal angular momentum, Euler-angle equations, the two conserved momenta and the one-dimensional equation clauses 1-4).
Euler-angle kinematics: for one has and (Angular velocity in Euler angles: and , Reduction of the heavy symmetric top branch: pivotal angular momentum, Euler-angle equations, the two conserved momenta and the one-dimensional equation clause 2, The coordinate rotation matrices and : values in , composition law, and derivatives).
The heavy-top system and its reduction: the three displayed equations of The Euler-angle parametrization and the heavy symmetric top system, and the conclusions , , of Reduction of the heavy symmetric top system: conserved momenta, one-dimensional equation and conserved reduced energy clauses 2-4.
Calculus and algebra: , , the sum and product rules, and ; the cross product is bilinear with the coordinate formula and is orthogonal to its factors (The derivatives of sine and cosine are cosine and minus sine, Sine and cosine defined by their real power series, Parity and the Pythagorean identity for sine and cosine, Sums, scalar multiples, products and quotients: , , , and when , The cross product in , The Euclidean inner product on ).
The constant , where is the smallest positive zero of cosine; , , , ; cosine is strictly decreasing on and sine strictly increasing on ; sine and cosine obey their addition formulas; and every nonnegative real has a unique nonnegative square root (Pi as twice the smallest positive zero of cosine, Cosine has a smallest positive zero, lying strictly between zero and two, Quarter-turn values and shifts by pi/2 and pi, Signs, monotonicity intervals, and ranges of sine and cosine, The addition formulas for sine and cosine, Square roots exist: a unique with ; the positives are ).
Verification
Put , and . Since , [L5] gives and . The addition formulas [L5] and Pythagorean identity [L4] give ; as , . Because , . Then and , so the uniqueness of the nonnegative square root [L5] gives .
By [L2] with , , , and : and by step 1.1 and [L2].
With , , , and by [L4]: and .
Compute both sides of the balance with : by [L4], , so , and with , the coordinate formula for the cross product gives , and . Hence the left side is . On the right, and , so the right side is the same vector; the balance holds for every .
The reduced energy: , where by step 2.2.
The constraint holds by the definition of ; hence with step 3.1 the data constitute a motion of the branch satisfying the adopted pivot balance, and clauses 1-2 of Reduction of the heavy symmetric top branch: pivotal angular momentum, Euler-angle equations, the two conserved momenta and the one-dimensional equation apply.
The three equations of the heavy-top system of [L3] hold for the triple: the first and third are the statements that and of step 2.2 are constant, and the second is with , which vanishes by [L4]. Hence is a heavy-top trajectory with parameters , and ; the conservation of and and the formulas and of [L3] are consistent with the data, so the motion is a steady precession with constant nutation angle .
Remarks
-
A steady precession, not a sleeping top. The nutation angle stays at while the precession and spin rates are constant; the sleeping-top configuration is a pole of the chart and is not covered by Reduction of the heavy symmetric top branch: pivotal angular momentum, Euler-angle equations, the two conserved momenta and the one-dimensional equation, so this example makes no claim about it.
-
What is declared. The parameters, angles and rates are declared model data in the framework's units; the verification is an exact computation inside the branch and asserts no measured mass, length, duration or field strength, and no claim that a concrete top realises this data.
Depends on
Adoption of the heavy symmetric top branch: axisymmetric rigid material, a fixed pivot material point, a uniform gravitational field and the balance of angular momentum about the pivot
Adoption of the rigid-material model branch: reference mass distribution, rigid placements, orientation and scope
Reduction of the heavy symmetric top branch: pivotal angular momentum, Euler-angle equations, the two conserved momenta and the one-dimensional equation
The Euler-angle parametrization and the heavy symmetric top system
Angular velocity in Euler angles: and
The coordinate rotation matrices and : values in , composition law, and derivatives
Reduction of the heavy symmetric top system: conserved momenta, one-dimensional equation and conserved reduced energy
Total momentum, kinetic-energy splitting and centre-of-mass angular momentum of a rigid-material motion
Body and spatial angular velocity of a rigid-material motion, and the material velocity field
Inertia matrix, spatial inertia tensor, inertia tensor about a point and moment of inertia about an axis of a rigid-material model
The derivatives of sine and cosine are cosine and minus sine
Sine and cosine defined by their real power series
Parity and the Pythagorean identity for sine and cosine
Sums, scalar multiples, products and quotients: , , , and when
The Euclidean inner product on
The cross product in
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Intervals of : the nine order-convex forms, nondegeneracy, and length
Pi as twice the smallest positive zero of cosine
Cosine has a smallest positive zero, lying strictly between zero and two
Quarter-turn values and shifts by pi/2 and pi
Signs, monotonicity intervals, and ranges of sine and cosine
The addition formulas for sine and cosine
Square roots exist: a unique with ; the positives are
Dependency tree · 2 levels
Sources
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 3.6, Eqs. (3.62)-(3.70), printed pages 66-70 (PDF pages 72-76): the symmetric heavy top, its conserved momenta, the steady-precession condition and worked precession discussion
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Chapter 4 Section 4.5, Eqs. (4.74)-(4.88), chapter pages 15-21 (PDF pages 69-75): the exact effective potential, the steady-precession condition and the upright threshold
- G. J. Sussman and J. Wisdom, Structure and Interpretation of Classical Mechanics, 2nd ed. (MIT Press, 2014), Section 2.10, Eqs. (2.84)-(2.91): the axisymmetric top, its conserved momenta and reduced energy; the explicit steady precession is checked locally