Steady precession of a Lagrange top (source code)

= Steady precession of a Lagrange top
{c}

For a Lagrange top whose inclination $\theta$ is measured from the upward vertical, steady precession at angular speed $\Omega$ obeys
$$
I_1\Omega^2\cos\theta-p_\psi\Omega+Mgl=0.
$$
Thus steady precession at a prescribed $0<\theta<\pi/2$ exists precisely when
$$
p_\psi^2\geq4MglI_1\cos\theta.
$$