Let . Every term changes sign when both variables change sign, so . Consequently the derivative of equals , proving the stated rotational symmetry.
This is equivariance under a half-turn, not time reversibility. Reversibility of an autonomous differential equation requires a reverser satisfying , so that is a solution. The half-turn would require , the opposite of what holds. The usual mechanical candidate also fails when damping is present: its second equation would require identically. The symmetry relates two orbits with the same direction of time, and does not reverse their arrows.