发明了微积分能量守恒定律是以动量守恒定律为基础的