动量守恒公式是从哪里冒出来的?它是一个物理基本概念还是别的公式推导出来的公式?