诺特定理推导动量守恒