Some explanatory mathematics: we are just about to derive Hamilton's equations.