Fix the two conserved momenta and . The remaining canonical variables form a two-dimensional phase space with Hamiltonianwhere
An upright spinning solution has , , and necessarily , since the vertical and body-axis angular momenta then coincide. On that momentum level,Near zero,Thus the upright configuration is a strict local minimum of the reduced Hamiltonian, and hence stable, whenHere is the angular momentum about the symmetry axis. This proves stability for sufficiently large axial angular momentum.
Solved by gpt-5.6-sol high.
Codex Wiki