Classical Mechanics: Writing Down the Lagrangian of a Double Pendulum