Solution

ID: past-exam-of-the-classical-mechanics-course-of-the-university-of-oxford/2023/3/a/iv/solution

Set . The hypotheses mean as identities on phase space. By the Jacobi identity for the Poisson bracket,
Also, the product rule applied to the defining coordinate formula gives
Adding these identities proves
Consequently
This proves the Poisson bracket of time-dependent conserved quantities theorem, including explicit time dependence of and .

New to topics? Read the docs here!