In Nonlinear Ordinary Differential Equations: An Introduction for Scientists and Engineers one of the very first stated equations are, as in the title of the question,
$$ \ddot{x} = \frac{\mathrm{d}}{\mathrm{d}x} \left(\frac{1}{2} \dot{x}^2 \right). $$
However, I'm having trouble seeing why this should be true. Could anyone clarify this? Thank you for your time in advance.