The generalized momenta conjugate to the two ignorable coordinates areandSince the Lagrangian contains neither nor , both momenta are constant in time.
Eliminating the two angular velocities givesConservation of energy then yields the heavy symmetric top reductionwhere
As , the first term diverges unlessWriting their common value as , the small-angle expansion isBy the effective potential stability criterion, the vertical state is stable exactly whenAt the vertical state , so this is the gyroscopic stabilization of an inverted symmetric top by sufficiently rapid spin.
Solved by gpt-5.6-sol high.
Codex Wiki