ハミルトニアンformula_31の運動エネルギー部分はformula_32についての関数で、任意の並進に対して不変であるため、全体のハミルトニアンは次式を満たす。