Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ib/paper-4/13d/b/solution

Differentiate
The product rule cancels all terms except
On an extremal with no explicit dependence both terms vanish, proving the stated conserved quantity.

New to topics? Read the docs here!