推导哈密顿方程