Write . The geodesic energy density is constant, because an affine geodesic has constant speed. Its Euler-Lagrange equations give, with ,
The requested expression is
Differentiate, using and :
Therefore is independent of the affine parameter, the Liouville metric geodesic integral. The assumption of affine parametrization is the standard geodesic convention here.