Rotational invariance gives . Direct calculation givesTake ; angular-momentum brackets imply , and central symmetry gives . Hence are in involution.
At , , . The differentials of and have independent components in the and transverse position directions when ; supplies an independent radial/momentum component. Thus they are locally independent and the system is Liouville integrable.
Solved by gpt-5.6-sol high.
Codex Wiki