如何理解质能方程 E＝mc²？

更新 ：这篇文章已经被我的第2本书 【 什么是相对论（狭义篇） 】 （ 长尾科普系列丛书-02 ）收录，觉得在手机上看不太方便，或者想让自己和朋友家的中小学生也看看的，不妨看看对应的纸质书籍：

提到 爱因斯坦 ，很多人的第一反应就是 E=mc² 。

没办法， 质能方程 看起来「太简单」了：左边的 E 代表 能量 ，右边的 m 代表 质量 ， c 是光速，都是中学生就能看懂的物理量。而且，这个方程看起来太神奇了，它告诉我们一般物体都蕴含了巨大的能量，原子弹那毁天灭地的力量就是最好的证明。

又简单又神奇，不传播你传播谁？

但是，很多人容易忘记一件事：质能方程是 狭义相对论 的结论，需要站在狭义相对论的立场上才能精准地把握它。否则就容易望文生义，再类比、推广一下，后果就很可怕了。

比如，有人认为 质能方程 的意思是「质量可以转化成能量」，或者说「物质可以转化成能量」。延伸一下，物质代表「有」，能量代表「无」，质能方程暗示着「有无相生」，接下来欢迎进入 太极物理 频道……

也有人认为 质能方程 是在说「质量是能量的一种形式」。延伸一下，我们的物质本质上都是能量，一切都是能量，一切都是虚无，色即是空，接下来欢迎进入 相对论佛学 频道……

这种误解以及可怕的延伸，我还可以列很多。要不是建了那么多社群，见识了各种各样的人，我真难以想象 质能方程 会有如此丰富的「内涵和外延」。

不过，想想也不奇怪。毕竟谁都可以谈一下 质能方程 ，谈的人多了，想法自然就多了。而且， 质量亏损 这个名字也很容易把大家往歪路上引。

那么，我们就来好好看一看 质能方程 ，看看 E=mc² 到底是怎么回事，看看它是如何从狭义相对论推导出来的，以及如何正确地对待质能方程。

01从狭义相对论出发

因为 质能方程 是狭义相对论的产物，所以，想搞清楚质能方程就得先搞清楚 狭义相对论 。

什么是狭义相对论呢？

我在【相对论诞生：爱因斯坦是如何创立狭义相对论的？| 主线】里详细描述了狭义相对论的诞生过程，看完文章的朋友肯定都知道： 狭义相对论的核心是洛伦兹协变性 。

它跟 牛顿力学 的核心区别是：狭义相对论的物理定律在 洛伦兹变换 下保持数学形式不变，而牛顿力学的物理定律在 伽利略变换 下保持数学形式不变。至于尺缩、钟慢、双生子之类的效应，都是狭义相对论的一些简单结论。

质能方程E=mc² 也是这样。

也就是说， 只要我们认为物理定律应该在洛伦兹变换下保持数学形式不变（狭义相对论精神），我们就能推出质能方程E=mc²，而不需要其它的假设和限制 。

因此，只要 狭义相对论 成立， 质能方程 就成立，它的适用范围是极广的。有些朋友认为质能方程只在 核反应 里才有效，这显然不对，因为狭义相对论并不是只在核反应里才有效。

那狭义相对论在哪些地方成立呢？是不是像有些人认为的，狭义相对论只在 高速（近光速） 情况下成立，在低速情况下就必须使用 牛顿力学 ？

不不不，也不是这样的逻辑。

狭义相对论 跟 牛顿力学 并不是 互补 的关系。牛顿力学只在低速时适用没错，但狭义相对论不仅在高速时适用，在低速时也同样适用。而且， 在低速时它的精度比牛顿力学还要高 。

也就是说，狭义相对论不管在 低速、高速 时都成立，牛顿力学只是狭义相对论在 低速 情况下一个还算不错的 近似 。既然狭义相对论的适用范围那么广， 质能方程 的适用范围自然也很广，而不是只局限在 核反应 里。

但是， 爱因斯坦 并不需要知道核反应里 质量 和 能量 的关系， 他直接从狭义相对论的基本原理出发，就无可辩驳地得到了E=mc² 。这是最让人震惊的地方，也是理性的巨大胜利。

接下来，我们就来看一看，看看为什么只要坚持 狭义相对论 的基本原理，只要坚持物理定律在 洛伦兹变换 下保持数学形式不变（洛伦兹协变性），我们就能得到 质能方程E=mc² 。

02动量守恒定律

再来看看 E=mc² ，公式的左边出现了 能量E ，看到能量我们就会想起 能量守恒定律 。既然是 定律 ，那我们就要问了：你可不可以在 洛伦兹变换 下保持数学形式不变啊？如果可以，那就欢迎进入 狭义相对论 的世界；如果不行，那就从哪来回哪去，一边玩去。

不过，考虑到 能量 的种类太多太杂，我们先来看看更简单的 动量守恒定律 。

在 牛顿力学 里， 动量 的定义是 mv （质量乘以速度），在不受外力或合外力为0时，两物体碰撞时动量守恒。

比如，两个 质量 都为 m 的小球以相等的 速度v 迎面撞上，碰撞后两个小球黏在了一起。如果以某个小球的运动方向为正（假设为向右），那这个小球的动量就是 mv ，另一个小球的动量就是 -mv ， 碰撞前 动量之和就是 mv+(-mv)=0 。

根据动量守恒定律， 碰撞后 小球的总动量也应该为 0 。而碰撞后它们又黏在了一起，变成了一个质量为 2m 的大球，所以碰撞后的 速度 就必然为 0 （不然总动量就不为0了）。

两个质量相等、速度相反的小球迎面相撞，碰撞后两个小球黏在一起并保持静止。这个事情很容易理解，不管是用牛顿力学的动量守恒定律来计算，还是根据常识来判断都没错。

但是，我们关注的并不是碰撞本身，而是： 动量守恒定律是定律么 ？

这个问题好像很奇怪， 动量守恒定律 当然是定律了，不然这名字是瞎叫的么？

但是，我希望来到这里的读者，对 定律 要有更深层的理解。前面说了， 狭义相对论 和 牛顿力学 的核心区别，就是前者的物理定律在 洛伦兹变换 下保持数学形式不变，后者的物理定律在 伽利略变换 下保持数学形式不变。

那么，当你把 动量 定义为 mv ，当你在说 动量守恒定律 的时候，这个定律是在洛伦兹变换下保持数学形式不变呢，还是在伽利略变换下保持数学形式不变？如果是前者，那这条动量守恒定律就是 狭义相对论 下的定律；如果是后者，它就是 牛顿力学 下的定律。

当然，我们很清楚，把动量定义为 mv 是 牛顿力学 里的做法。所以，这样的动量守恒定律必然是牛顿力学下的定律，它必然能在 伽利略变换 下保持数学形式不变。

下面我们来简单地验证一下。

03伽利略变换

要验证 动量守恒定律 是否可以在 伽利略变换 下保持数学形式不变，我们就要先搞清楚什么是 伽利略变换 ？搞清楚当我们在说一个定律在伽利略变换下保持数学形式不变时，我们到底在说什么？

其实， 伽利略变换 也好， 洛伦兹变换 也罢，都是联系两个参考系的东西。变换嘛，就是把一个参考系的物理量变到另一个参考系里去。

比如，我在300km/h的高铁上，觉得前面的椅子速度为0，列车员正以5km/h的速度往车头走，这是 高铁系 的测量结果。

那么，如果我站在地面， 地面系 测量椅子和列车员的速度又会是多少呢？有同学立马会说：「我知道，从地面上看，高铁上椅子的速度是300km/h，列车员的速度是300+5=305km/h。"

如果我问他这样算的依据是什么，他会觉得这还要什么依据，这不是天经地义的事情么？当然要有依据，物理学是一门非常严密的科学，做什么都要有理有据。

我们现在讨论的是同一个东西（椅子、列车员）在 不同参考系 里的速度，这就涉及 两个参考系之间的变换 ，是一件很严肃的事情。如何把这两个参考系里的物理量联系起来？答案就是前面说的 伽利略变换 、 洛伦兹变换 。

在 牛顿力学 里，我们用 伽利略变换 联系两个惯性系，那伽利略变换到底长啥样呢？

假设我们在 地面系S 建立了一个坐标系 （x,y,z,t） ，现在有一辆火车以 速度v 沿x轴正方向匀速运动。我们在 火车系S’ 里也建一个坐标系 （x’,y’,z’,t’） ，为了简化问题，我们让这两个 坐标系 一开始是 重合 的。

坐标系建好后，空间中发生了任何事件，地面系和火车系都会记录下这个事件的 时空信息 （ x,y,z 记录空间信息， t 记录时间信息）。我们想知道的就是： 地面系和火车系记录的时空信息之间有什么联系 ？

不同的变换会给出不同的答案， 伽利略变换 的答案是：

我们知道， 牛顿力学 里的时间是 绝对的 ，所有参考系的时间都一样，所以 伽利略变换 里有 t'=t 。因为t‘代表火车系的时间，t代表地面系的时间， t' = t 不就是说大家的时间都相等， 时间 是绝对的么？

再看 空间 ，因为火车只沿x轴正方向移动，所以 火车系 和 地面系 在y轴和z轴的坐标都一样，x坐标的关系 x'=x-vt 也不难理解，琢磨一下就明白了。

有了 坐标 和 时间 的关系，我们很容易就能求出火车系的 速度u' 和地面系的 速度u 之间的关系： u‘=u-v 。这个就不推了，不清楚的可以看看【相对论前夜：牛顿和麦克斯韦的战争】，里面有更加详细的推导。

伽利略变换的 速度 关系是 u‘=u-v ，这就意味着： 火车系测量的速度等于地面系测量的速度减去火车相对地面的速度 。

比如，在速度v=300km/h的高铁上，如果 高铁系 测量列车员的速度u'=5km/h， 地面系 测量列车员的速度u就应该满足：5=u-300，u确实等于5+300=305km/h，跟我们的直觉一样。

但是，我们要清楚地认识到： 这些推理都是建立在伽利略变换的基础上的 。

因为我们采用了 伽利略变换 ，所以两个惯性系之间的速度才可以这样叠加。火车系测量的速度是5km/h，地面系的结果是300+5=305km/h，这不是什么天经地义的事情，而是 伽利略变换 的结果。

04牛顿力学的定律

有了这个认识，我们再思考一下： 当我们说动量守恒定律是牛顿力学里的定律时，我们到底在说什么？

在 牛顿力学 里，动量的定义是 质量 乘以 速度 ，也就是 mv 。我想看 动量守恒定律 是不是定律，就是要看在一个惯性系（比如火车系）里成立的动量守恒定律，用 伽利略变换 把它变到另一个参考系以后，它是否依然成立。

因为 质量 是一个不变量，不管在哪里都不变。所以，不同惯性系之间动量的差别就体现在 速度v 上了。

还是以小球的碰撞为例，假设两个质量都为 m 的小球以速度 v 迎面相撞，碰撞后两个小球黏在一起并保持静止。取向右的方向为正，从 地面系 看，碰撞前两个小球的动量分别为 mv 和 -mv ，碰撞前总动量为 0 。碰撞后，两个小球黏在一起并保持静止，所以碰撞后的动量 2m×0=0 ，也是 0 。

因为碰撞前的总动量等于碰撞后的总动量（都是0），所以， 地面系 确实认为存在 动量守恒定律 。

但是， 我们看动量守恒定律是不是牛顿力学下的定律，并不是只看这个定律在地面系是否成立，还要看用伽利略变换把它变到另一个惯性系之后，它是否依然成立 。

因此，我们要换一个参考系，看看新参考系里的碰撞过程是否依然满足 动量守恒定律 。为了计算方便，我们就把新参考系选在 从左往右运动的小球 身上，也就是站在 速度为v 的小球上再来看这个问题。

在 地面系 ，两个小球碰撞前的速度分别为v和-v，碰撞后两个小球黏在一起，速度为0。那么，在 新参考系 里，碰撞前后小球的速度又分别是多少呢？

在牛顿力学里，我们使用 伽利略变换 的速度叠加公式 u‘=u-v 联系两个惯性系之间的速度。也就是说，在原参考系里速度为 u 的物体，在新参考系里速度就是 u‘=u-v 。

因此，对于碰撞前速度为v的小球，在新参考里速度为 v-v=0 ；碰撞前速度为-v的小球，在新参考系里速度为 -v-v=-2v ；碰撞后速度为0的小球，在新参考系里的速度为 0-v=-v 。

也就是说，同样的碰撞， 新参考系 看到的是：两个质量为m的小球，一个速度为 0 （以它为参考系，速度当然为0），一个速度为 -2v （对面的小球），它们碰撞之后黏在一起，变成了质量为2m，速度为 -v 的大球。

那么，在新参考系里 动量守恒定律 还成立么？我们再来验算一下：碰撞前两个小球的动量分别为 m×0=0 和 m×（-2v）=-2mv ，碰撞后黏在一起的大球的动量为 2m×（-v）=-2mv 。

看到没有，新参考系里碰撞前后的动量都是 -2mv ，依然相等。所以， 在新参考系里动量守恒定律依然成立 。

当然，这里我们只验证了 一个 新参考系。但是，你完全可以根据伽利略变换的速度叠加公式，证明只要把 动量 定义为 mv ，动量守恒定律在 一般情况下 都成立。

这样，我们才敢理直气壮地说： 如果把动量定义为mv，动量守恒定律的确是牛顿力学里的定律。因为你用伽利略变换把动量守恒定律变到任何惯性系，它都成立 。

那么，到了 狭义相对论 里呢？

05洛伦兹变换

在狭义相对论里，联系两个惯性系的不再是 伽利略变换 ，而是全新的 洛伦兹变换：

变换的细节我们先不细究，不过你可以看到：在 洛伦兹变换 里，火车系的时间 t' 和地面系的时间 t 不再一样（ t' ≠ t ），它们之间有个巨复杂的关系。

也就是说，在狭义相对论里，时间不再是 绝对的 ，不同惯性系的时间并不一样，每个惯性系都有自己的时间。

再看看 火车系 和 地面系 的x坐标之间的关系，也是一个非常复杂的式子。所以，不难想象，从 洛伦兹变换 推出的 速度叠加公式 肯定就没有伽利略变换的那么简单。

中间的推导过程我就省了， 洛伦兹变换 下的 速度叠加公式 是这样的：

怎么样，比伽利略变换下的 u'=u-v 复杂多了吧？

但是，仔细观察一下就会发现，如果v 远小于光速c ，分母的v/c²就约等于0，分母就变成了1，于是这个 速度叠加公式 就回到了 伽利略变换 下的 u'=u-v 。因为牛顿力学是狭义相对论的低速近似，所以伽利略变换自然也是洛伦兹变换的低速近似。

在 牛顿力学 里，我们使用 伽利略变换 导出的速度叠加公式，所以可以用300+5=305km/h表示地面系测量的列车员速度。但是，我们在 狭义相对论 里使用的是 洛伦兹变换 导出的新速度叠加公式，那结果肯定就不再是305km/h了。

也就是说，如果火车系测量列车员的速度为5km/h，我问地面系的结果是多少？ 牛顿力学 给出的结果是305km/h，这是用伽利略变换算出来的； 狭义相对论 认为这个结果不等于305km/h（当然也极为接近这个数字），因为它是用洛伦兹变换算出来的。

如果你问谁算得更准确，那当然是 狭义相对论 的结果更准确，但 牛顿力学 的结果也跟它极为接近。因为火车的 速度v 和列车员的 速度u 都太小了（相对 光速c ），所以 洛伦兹变换 的速度叠加公式的分母 1-vu/c² 基本上 等于1 ，于是基本上就等于伽利略变换的结果。

但是，如果火车的速度 接近光速 ，分母 1-vu/c² 就会远 小于1 ，那得到的结果就跟伽利略变换完全不一样了，所以牛顿力学就不能用了。

通过这个例子，相信大家对 伽利略变换 和 洛伦兹变换 都有了一定的了解，也明白不同变换下的 速度叠加公式 是不一样的。具体的计算过程可以不用搞得太清楚（亲自推一遍当然更好），但道理一定要明白。

06狭义相对论的定律

知道了洛伦兹变换，我们再来看这个问题： 在狭义相对论里，动量守恒定律还是定律吗 ？

当我们在说这句话的时候，我们的意思是： 如果把动量仍然定义为mv，那动量守恒定律在洛伦兹变换下还能保持数学形式不变么？如果动量守恒定律在一个惯性系里成立，我用洛伦兹变换把它变到另一个惯性系以后，它还成立吗 ？

具体的计算我就不做了，稍微想一下就知道答案肯定是 否定的 。

因为我们已经证明了：如果把动量定义为 mv ，动量守恒定律在 伽利略变换 下是可以保持数学形式不变的，这样 动量守恒定律 才步入了 牛顿力学 的殿堂。

然而，现在动量的定义（ mv ）没变，联系两个惯性系之间的变换却从 伽利略变换 变成了 洛伦兹变换 。既然伽利略变换能让动量守恒定律保持数学形式不变，那换了变换以后肯定就不一样了啊。

也就是说， 如果我们依然把动量定义为mv，在洛伦兹变换下，新参考系的动量守恒定律必然不再成立 。

要验算也很简单， 洛伦兹变换 下的 速度叠加公式 是这样的：

还是刚才的小球碰撞问题，我们可以用同样的方法把新旧惯性系碰撞前后的速度都算出来，再看看动量是否相等。

谁算谁知道，答案必然 不相等 。

于是，我们就面临一个非常棘手的问题： 如果我们在狭义相对论里依然把动量定义为mv，那么，经过洛伦兹变换以后，新参考系里的动量守恒定律就不再成立。如果动量守恒定律无法在洛伦兹变换下保持数学形式不变，那它就没有资格成为狭义相对论里的定律 。

也就是说， 如果我们继续沿用牛顿力学的动量定义（mv），那狭义相对论里动量守恒定律就不再成立 。

怎么办？

解决方案也很明显：要么，我们放弃动量守恒定律，认为 狭义相对论里动量守恒定律不再成立 ；要么，我们修改一下动量的定义，让新定义下的动量守恒定律在 洛伦兹变换 下依然可以保持数学形式不变，从而保住它在 狭义相对论 里的定律地位。

很显然，闭着眼睛我们都知道要选 后者 。

动量守恒定律 这么重要的东西，你说放弃就放弃了？为了坚持动量的定义（mv）而放弃动量守恒定律，这种行为太愚蠢了。如果动量守恒定律不再成立，我要动量有何用？

07新的动量

所以，为了保住 狭义相对论 里的 动量守恒定律 ，我们需要重新定义 动量 。重新定义的目的，就是让新的动量守恒定律具有 洛伦兹协变性 ，让它在狭义相对论里能继续以定律自居。

那么，我们要把 新动量 定义成啥样，才能让它具有洛伦兹协变性呢？这个倒不难，因为 洛伦兹变换 是明确给出了的，我们只要凑出一个新动量，让 动量守恒定律 在洛伦兹变换下依然可以保持数学形式不变，而且在速度远小于光速时能够回到 牛顿力学 的定义就行了。

这个过程我略了，感兴趣的自己去试一下。最后，为了保住 狭义相对论 里的动量守恒定律，我们必须把 动量 定义成这样：

可以看到，当v远小于光速c时，分母就会变成1，此时的动量就回到了 牛顿力学 的定义 mv 。而且，你试一试，这样定义动量，确实可以让 动量守恒定律 在 洛伦兹变换 下保持数学形式不变，皆大欢喜。

到这里，我们就完成了从 牛顿力学 到 相对论力学 升级的第一步。为了让动量守恒定律具有 洛伦兹协变性 ，我们修改了 动量 的定义。

但是，力学量又不止动量一个，物理定律也不止动量守恒定律一个。你考虑了 动量守恒定律 ，那 能量守恒定律 要不要考虑？你改了 动量 的定义，那 动能 的定义要不要改？

改，当然要改，一个个排队慢慢来！

为了让 动能 不跟 新的动量 发生矛盾，为了让 能量守恒定律 也能顺利入驻狭义相对论，我们需要同步修改 动能 的定义。

而接下来，就是见证奇迹的时刻： 一旦开始修改动能的定义，你会发现质能方程E=mc²竟然神奇地冒出来了 。

08新的动能

狭义相对论 里的动能要怎么改呢？当然是照着 牛顿力学 慢慢改。

在牛顿力学里，动能的定义是 mv²/2 。一个质量为m的木块静止在地面，它的动能为0，我用一个恒力F推这个木块，木块移动了距离S，速度均匀加速到了v。

我在【什么是高中物理？】的第25节跟大家算过：一个物体在 恒力F 的作用下会以一定的加速度做 匀加速运动 。根据牛顿第二定律，这个力F和物体的质量m以及加速度a之间的关系是： F=ma 。而一个物体以加速度a从0加速到v，运动的 距离S 可以表示成： S=v²/2a 。

如果我们算一下 力F 在空间上的累积（也就是力F做的功） F·S ，会发现它刚好就等于物体增加的动能 mv²/2 ：

也就是说， 合外力对物体做的功等于动能的改变量 ，这就是中学的 动能定理 。也因如此，我们在牛顿力学里可以用 合外力F 和 位移S 的乘积 F·S 来表示动能增加的大小，如果物体一开始动能为 0 ，那 F·S 就是物体最终的动能。

那么， 牛顿力学 里这个关于 动能 的计算方式可不可以搬到 狭义相对论 里来呢？

大抵还是可以的，毕竟狭义相对论在低速情况下还要回到牛顿力学，所以许多东西都会保持一定的一致性。比如，狭义相对论里的 动量 虽然不再是 mv ，但是基本形式上还是 质量m 乘以 速度v ，只不过加了一个相对论特有的系数。

因此，我们在 狭义相对论 里就暂时用 F·S 计算动能好了。 位移S 好说，但问题是： 这个力F要如何表示 ？

在 牛顿力学 里， 力F 的常见表示有两种：一种是根据 牛顿第二定律F=ma 来算；另一种是对F=ma做一个微小的变形，把加速度a按照定义表示成Δv/Δt，然后把m和Δv组合成 动量的改变量 Δp（p=mv），然后 F=ma=mΔv/Δt=Δp/Δt 。

也就是说，对于 力F ，我们既可以把它表示成质量m和加速度a的乘积，也可以把它表示成单位时间内动量的变化量，也就是 动量的变化率Δp/Δt 。然而，狭义相对论里的 新动量 我们已经找到了，那就直接用动量的变化率 Δp/Δt 表示 F ，再用 F·S 计算物体的 动能 吧，省时省力。

然后，我们要意识到一件事：前面我们都假设力F是 恒力 ，认为物体在做 匀加速运动 ，这是一种 特例 。

我们要计算物体的 动能 ，要推导 质能方程 ，当然不希望它只在这种特殊情况下才成立。所以，我们要考虑 更一般 的情况： 如果力F和位移S都在变，我们应该如何计算它们的乘积 ？

地球的表面是弯的，但在小范围内我们可以认为它是平的。同理，在足够小的范围内，我一样可以认为 力F 和 位移S 的大小不变。如果用 ds 表示这个微小的位移变化，用 F·ds 表示力F在这个微小位移里做的功，那么，把 0 到 S 所有的功累加起来就能得到 总动能E 。

写成数学表达式就是这样：

很显然，为了保证结果的 一般性 ，我们这里动用了 微积分 。这个具体的计算过程我不想多讲，因为但凡学了微积分，会分部积分的同学都知道怎么算。如果你不会微积分，这个计算过程我也没法在这里给你科普，我只能建议你先看看我的【你也能懂的微积分】，再找本微积分教材看看。

更为重要的是： 这个计算过程并不会影响你对质能方程的理解 。

因为这只是一个纯数学计算手段。人们之所以误解质能方程， 并不是因为不知道这个公式的形式是E=mc²，而是无法理解这个方程背后的物理意义和物理背景 。

如果你跟着我的思路来到这里，知道为了让 动量守恒定律 满足 洛伦兹协变性 ，我们不得不重新定义了 动量 ，进而需要重新定义 动能 。你就会知道质能方程到底是怎么来的，就算看不懂中间的计算过程，也不会影响你对 质能方程 的理解。

这里，我就放一张 新动能 的推导图片，你能看懂就看，看不懂也没事。当然，如果你暂时看不懂，但是为了能看懂而去学习微积分，那自然是极好的。这里也没多少 微积分 的知识，关键就是一个 分部积分 。计算思路也非常简单，就是用狭义相对论里 新动量的变化率 代替 力F ：

我把结果放到倒数第二步：

也就是说，一个物体的 动能E 在 狭义相对论 里可以表示成这样：括号外面是 mc² ，括号里面是 相对论因子 减去1。

我们把中间那一大串东西称为 相对论因子 （也叫 洛伦兹因子 ），因为相对论里经常会用到它，所以我们就用一个特殊符号 γ 来表示这个 相对论因子 ：

这样，你再看看狭义相对论里的 新动量 ，是不是就相当于在牛顿力学的动量 mv 上乘了一个 相对论因子γ ？也就是说，狭义相对论里的新动量可以简写成 p=γmv 。

同样，上面的 动能表达式 一样可以通过 相对论因子γ 简写为：

在这个式子里， m 依然是我们熟知的 质量 ，是一个 不随速度和参考系变化而变化的物理量 。而这个 E ，就是因为有力F作用在物体身上，物体因为运动而具有的 动能 。

这个动能的形式很有意思。

在 牛顿力学 里，动能的表达式是 mv²/2 ，只有 一项 ；到了 狭义相对论 ，动能的表达式竟然有 两项 。而且，后一项 mc² 竟然跟物体的 速度v 没有关系，只跟物体的 质量m 有关，只有前一项 γmc² 才会随着速度的增大而增大（因为 γ 会随着速度的变大而变大）。

这有点拔出萝卜带出泥的味道，原本我们只是在正正经经地计算 狭义相对论 的 新动能 。现在你倒好，你算出的新动能里竟然还有一项跟 速度无关 的 mc² ，单位还跟能量一样。

仔细看看这个 新动能 ，如果物体的 速度v 为 0 ， 相对论因子γ 就等于1，那 动能 就变成了 E=mc²-mc²=0 。静止物体的动能为0，很符合我们对动能的认知。

如果物体的速度开始增大， 相对论因子γ 就开始大于1，第一项 γmc² 就在增大，它跟 mc² 的差值也会不断增大，结果就是 动能 不断增大。

这给人的感觉，就好像是物体 静止 时具有 mc² 的能量，当物体开始运动时，我们用 γmc² 减去物体静止时具有的能量 mc² 就得到了物体的 动能 。所以， 爱因斯坦 面对这个式子时，创造性地把 mc² 解释为 质量为m的物体静止时具有的能量 ，简称 静能 。

如果我们把 mc² 解释为物体的 静能 ，而 E 是物体的 动能 ，那静能+动能自然就是物体具有的总能量。于是， γmc²就成了物体具有的总能量 （动能+静能）。

这样解释的话，是不是一切都合情合理了呢？

09质能方程

复盘整个过程，我们到底做了什么？

我们只是坚持 狭义相对论 的基本原理，认为物理定律在洛伦兹变换下应该保持数学形式不变，也就是认为物理定律应该具有 洛伦兹协变性 。

然后，为了让 动量守恒定律 具有洛伦兹协变性，我们修改了 动量 的定义。 动量 修改了以后， 动能 自然也得跟着改。然而，令谁也没有想到的是： 当我们把这种符合狭义相对论精神的新动能（E=γmc²-mc²）计算出来以后，发现它竟然带了一个尾巴mc²。

接着， 爱因斯坦 认为 mc² 应该是物体静止时具有的能量，也就是 静能 ， γmc² 是物体的静能和动能之和，也就是物体的 总能量 。

整个过程，我们唯一引入的就是 狭义相对论 的基本原理，也就是认为 物理定律应该具有洛伦兹协变性 ，然后就发现狭义相对论的新动能把 静能mc² 带出来了，这太意外了！

于是，我们就从 狭义相对论 里自然而然地推出了 质能方程 ： E=mc² 。

不知道 爱因斯坦 看到这个结论后是什么反应，这只是牛顿力学向相对论力学升级过程中的一个小步骤，结果却发现 能量 和 质量 之间竟然有 E=mc² 这样一种神奇的关系。

这个结论看起来是如此的不可思议，因为 真空光速c 是一个非常大的数字（3×10^8m/s），平方一下就更大了。根据质能方程，一个半斤重的苹果蕴含的能量将高达525万吨TNT当量，大致相当于350颗广岛原子弹爆炸释放的能量，这太夸张了。

但是， E=mc² 又是直接从 狭义相对论 的基本原理 直接 推出来的，如果质能方程错了，那就是狭义相对论错了。而爱因斯坦对狭义相对论的信心是极强的，所以，他在写完【论动体的电动力学】的三个月后，就完成了 质能方程 的论文。

10回到牛顿

习惯了将 动能 视为 mv²/2 的人可能不太习惯 E=γmc²-mc² 这种新动能表达式。但是，因为 牛顿力学 是 狭义相对论 的低速近似，所以它在低速条件下依然可以回到大家熟悉的 mv²/2 ，不信我们来试一试。

把 相对论因子γ 进行 泰勒展开 ，就得到了这样的结果：

泰勒展开 就是看你想近似到什么程度，你不是说 牛顿力学 是 相对论力学 的低速近似么？那相对论力学要低速近似到什么程度才会变成牛顿力学呢？泰勒展开会告诉我们答案。

如上图，我们对一张真实照片进行了「泰勒展开」。 一阶近似 下就是随便描了一个轮廓，我们可能看了个寂寞； 二阶近似 下可以看清楚一些细节，图片变清楚了一些； 三阶近似 下，细节就更清楚了，更接近原图……

只要你开心，你可以无限阶近似下去，近似的阶数越高，图片就越接近原始图片。同理，我们对 相对论因子γ 进行 泰勒展开 ，它就被分成了无穷多项的叠加，你可以按照自己的需求采取相应的近似水平。

我们说 牛顿力学 是 相对论力学 的低速近似，这个低速是相对于光速而言的。当 速度v 远小于 光速c 时， v/c 就是一项很小的项， （v/c)² 以及更高次项就是更小的项了，可以选择性忽略。

那么，如果我们只取 前两项 ，也就是取 γ=1+（v/c)²/2 ，再把 γ 代入狭义相对论的 新动能 ： E=γmc²-mc²=mc²（γ-1）=mv²/2 。不多不少，刚好就回到了 牛顿力学 的 mv²/2 。

也就是说， 牛顿力学的动能只是狭义相对论动能的一个二阶近似 。

因为 mv²/2 只是一个近似值，所以它必然会丢失一些信息。只是，万万没想到，它丢失的信息里居然包含了 物体静止时具有的能量mc² 。一旦我们通过更加精确的狭义相对论把这个丢失的信息找了回来，就会发现任何质量为 m 的物体都含有 mc² 如此巨大的能量。

其实，静止的物体具有能量一点也不奇怪。

一堆火药放在那里，你肯定知道它有能量，甚至能算出这堆火药爆炸时会释放出多少能量。与此同时，你也知道火药爆炸释放的只是 部分化学能 ，并不是它的全部能量。现在，我们第一次有办法把它的 全部能量 算出来了，途径就是 质能方程E=mc² 。

质能方程 把质量和能量联系起来了。那么，在这种新视角下，我们应该如何看待 质量 和 能量 的关系呢？

11质量与能量

再次回到 狭义相对论 的 动能 表达式：

回想一下， 爱因斯坦 是如何解释这个式子的？爱因斯坦想：既然 E 是物体的 动能 ，那么 γmc² 就是物体的 总能量 ， mc² 是物体 静止时具有的能量， 简称 静能 。

注意，我们是先得到了 动能E ，是 先有能量 ，先有总能量 γmc² 和静能 mc² ，然后再考虑如何衡量能量的大小。因为c是 常数 ，所以就只能用 质量m 来衡量 静能 的大小，这个次序不能乱。

于是乎， 质量就成了能量的量度 。

因此，如果物体吸收了一点能量，它 静止时 的能量增加了，质量也会增加；如果物体释放了一点能量，它 静止时 的能量减少了，质量也会减小。

所以，把 质能方程 写成 m=E/c² 反而更容易理解它的含义（爱因斯坦一开始就是这么写的）： 你想知道一个物体的质量是多少吗？那就用它静止时的能量除以c²吧，于是我们才说质量是能量的量度 。

一个物体 静止时 的能量是多种多样的，可以有内能、化学能、核能以及各种势能。但是我不关心种类，你把它们都加起来，除以c²就能得到物体的 质量m 。

为什么我要如此小心翼翼地描述这一段呢？因为只有极少数人在看到 质能方程E=mc² 后会认为它是在说「质量是能量的量度」，许多人的第一反应是： 质能方程意味着「质量可以转化成能量」。核反应里出现了质量亏损，就是一块「实实在在」的物质丢失了一块质量，然后它们转化成了「虚无缥缈」的能量 。

这是一种非常常见，但危害极大的 误解 。顺着这种误解，稍微发散一下就能搞出太极相对论、佛学相对论之类的东西。你以为原子弹释放了能量，是因为原子弹爆炸时丢失了一块东西，然后这部分质量转化成了能量？

不不不，原子弹爆炸释放能量的过程，跟一般的火药爆炸没什么不同，只不过前者释放的能量 比较多 ，后者释放的能量 比较少 而已。原子弹爆炸释放了能量，所以度量原子弹能量的质量会减少；火药爆炸释放了能量，所以度量火药能量的质量也会减少。

这就是一个普通的 能量转化 过程，体系的一部分能量（原子弹的核能，火药的化学能等）通过爆炸转化成了 动能 和其它能量。于是，原子弹和火药的 能量E 减少了，度量这个能量的 质量m 也相应减少了，并且遵守 E=mc² ，仅此而已。

这也是我比较讨厌「 质量亏损 」这个词的原因，它太容易让人误解了，太容易让人误以为 质量 只在核反应中才会减少，让人误以为核反应就是「质量转化成了能量」。

没有什么 质量转化成了能量 ，只有 质量是能量的量度，质量就是度量一个物体静止时具有多少能量的 。

我知道，不管我在这里说什么，你都难以接受为什么我们不能说「 质量转化成了能量 」，你不认为这样有什么不妥，甚至觉得它理所当然。而且，就算我让你强行记住这个结论，你后面还是会忘的，毕竟大家都习惯用自己习惯的方式思考。

所以，我们就来深入地扒一扒，看看你在说「 质量转化成能量 」时，你到底在说什么？看看为什么很多人会这样想，以及最重要的： 为什么质能方程E=mc²不能这么理解？

12牛顿的质量

在牛顿时代，大家认为 宇宙万物都是由微小的实物粒子（原子）组成 ，认为宇宙就是 一堆粒子的集合 ，各种物理现象只是粒子间的排列组合和运动变化，而粒子的运动规律则由 牛顿力学 给出。

在这样的语境下，人们认为 组成物质的基本微粒是不可摧毁的 ，自然界的各种变化只是它们的排列组合，并不会摧毁粒子本身。到了18世纪，化学家们在一定精度内发现 化学反应前后物质的总质量不变 ，也就是大名鼎鼎的 质量守恒定律 ，这就更加佐证了这种观点。

因为 化学反应 只是原子间的排列组合，如果原子的 种类 和 数目 都没变，那原子的总质量就不变， 质量 自然就 守恒 了。

一旦我们认为「一个物体的质量等于组成这个物体的所有微粒质量之和」， 质量 基本上就被当成了 物质的代名词 。因为，你潜意识里会觉得： 只要是物质，肯定就由一些实物微粒组成，它的质量自然就等于所有微粒的质量之和 。

那 能量 呢，能量在这种语境下又扮演了什么角色？

还是看 化学反应 ，我们认为化学反应就是原子间的排列组合。比如 木炭燃烧 ，在化学家眼里就是木炭里的碳原子和空气中的氧原子重新组成了二氧化碳分子，这个过程释放了 能量 ，但燃烧前后原子的种类和数量都没变，所以 质量 不变。

也就是说，化学家认为虽然木炭燃烧释放了 能量 ，但它们的 质量 不会变。在这种语境下， 质量 和 能量 明显是 不同的 东西： 质量 是组成物质的所有原子质量之和， 能量 不过是原子在重组过程中释放出来的副产品。

正因为 牛顿 语境下的质量和能量是如此的不同，我们在第一次看到 质能方程E=mc² ，第一次听说在核反应里会发生违反 质量守恒定律 的「质量亏损」时，才会认为这是「 质量转化成了能量 」，是组成物质的实物粒子实实在在地被摧毁了（ 质量 减小），然后神奇地转化成了 能量 。

但问题是， 质能方程E=mc² 并不是 牛顿力学 的东西，而是 狭义相对论 的天之骄子啊。

相对论 和 量子力学 是20世纪物理学的两大革命，它们颠覆了牛顿力学的许多观念。物质不能再简单地看作一堆实物粒子的集合，质量不再是组成物体粒子的质量之和，化学家发现的 质量守恒定律 也不再成立……

总之就是，时代变了，世界变了，一切都变了，原来的「 质量转化成能量 」自然也得跟着变。所以，如果我们想搞清楚为什么不能再那样思考，就得先搞清楚 牛顿的观念是如何被打破的？

13电磁场的挑战

狭义相对论 是爱因斯坦在协调 电磁理论 和 牛顿力学 的过程中建立起来的，所以它的论文就叫【论动体的电动力学】（公众号后台回复「狭义相对论论文」获取原论文）。

我们也知道，在19世纪建立电磁大厦的过程中，有两个人的作用至关重要，他们是 法拉第 和 麦克斯韦 。

法拉第 创造性地提出了「 场 」，用 电磁场 来描述电磁现象。 麦克斯韦 则用优美的数学语言把法拉第的思想表现了出来，得到了能够描述一切经典电磁现象的 麦克斯韦方程组 。

这些历史大家都很熟悉，但是很多人没有注意到： 法拉第提出的电磁场，其实是一个超出牛顿物理图景的概念 。

什么意思？在 牛顿 的观念里，物质是由基本微粒组成的，那 电磁场 是由什么微粒组成的呢？很显然，电磁场并不由什么微粒组成，这 看起来 就跟牛顿的物质观发生了冲突。

于是，有些人就主张电磁场只是描述物质的一种 数学手段 ，不具有 物理上的意义 ，也就是不认为电磁场是 真实的物质 ，这样牛顿的物质观就不用对它负责了。但是，很快人们就发现不能这么干，因为电磁场具有 能量 。

为什么电磁场具有能量呢？

举个例子，我从北京向武汉发射一束电磁波，因为电磁波的速度有限（光速），它从北京到武汉需要一段时间。那么，当电磁波离开了北京，却又还没到武汉时，能量去哪了？此时的能量既不在北京，也不在武汉，那就只能在 电磁场 里。

于是乎， 电磁场 就理所当然具有了 能量 。一个东西具有能量，那它肯定就有 物理上的意义 ，也就是说它是真实存在的物质。如果电磁场是物质，而它又不由实物微粒构成，那就真的跟牛顿的观念冲突了。

但人们还 不死心 ，虽然电磁场是真实存在的物质，但我们还是可以把电磁场和电磁波看作某种 实物粒子 衍生出来的现象，这样它们的基础就还是牛顿的 实物粒子 。

比如 水波 ，虽然它是真实存在的，但水波其实是许多水分子有规律的运动衍生出来的现象，它的基础还是水分子这种「微粒」。那么，如果我们认为 电磁波 跟 水波 一样，也是由于某种微粒的振动引起的，这不就符合牛顿的观念了么？

按理说，这种想法是非常自然的，毕竟水波、电磁波都是波。但问题是，当我们说水波是由水分子的振动引起时， 我们的确看见了水 ，所以说「水是水波的介质」没什么问题。

但如果你说 电磁波 也是由某种介质的振动引起的，那这种 介质 是什么？光就一种电磁波，光可以在太空、 真空 中传播，而这里似乎什么都没有，不存在什么介质。你总不能说电磁波是由某种介质的振动引起的，但又说不出这种介质是什么吧？

是， 电磁波 的确有可能存在介质，只是我们还没发现，没发现并不代表它不存在。但是，你也要明白这么做的巨大风险：这是在 假设一种看不见、摸不着，目前任何实验都观测不到，却又在太空、真空中广泛存在的介质 。

虽然一听就不怎么靠谱，但想到只有这样才能不违背 牛顿的观念 ，人们（包括麦克斯韦、赫兹）就纷纷接受了，并将这种介质命名为 以太 。也就是说，如果我们把 电磁波 看作 以太的振动 ，就像把水波看作水的振动那样，它就可以与牛顿的观念和平共处了。

然而，我们都知道 爱因斯坦 在狭义相对论里把 以太 仍了，也就是把作为电磁波介质的以太仍了。他认为并不能把电磁波看作以太的振动，电磁波不需要介质，它跟水波有本质的区别。

那有人就要问了： 如果电磁波没有介质，它是怎么传播出去的呢 ？

我反倒想问一句： 你凭什么觉得只要是波，就一定要有介质呢 ？你觉得水波、声波都是通过介质传出去的，所以电磁波也要有介质？

没道理啊，没理由说张三李四是这样，就要求王五也这样。更重要的是，你认为波都有介质，其实就是认为所有的波都跟水波一样，都是通过 相邻介质点的力学作用 传出去的。但我们已经说了 电磁波 跟水波不一样，那就不能套这个逻辑了，更多细节可以看看我的【相对论诞生：爱因斯坦是如何创立狭义相对论的？| 主线】。

因此，到了 狭义相对论 ，我们是彻底无法再把电磁波当作某种介质（以太）的振动了，无法再把它还原为某种微粒的衍生现象了，这就跟 牛顿的物理图景 彻底冲突了。

于是，我们现在就有 两种东西 ：一种是 实物微粒 ，比如分子、原子、质子、中子等，它们看上去可以由更基本的微粒组成；另一种就是无法看成实物微粒的 电磁场 。

如何把它们统一起来呢？

很显然，牛顿力学是办不到的，我们需要狭义相对论和量子力学才能统一它们。这种包含了 狭义相对论 、 量子力学 以及 场论 思想的全新理论，就叫 量子场论 。这是一种全新的物理图景，大家熟悉的粒子物理 标准模型 就是在这上面建立起来的。

怎么统一实物粒子和场呢？无非就是两种思路：要么认为 粒子更基本 ，场是粒子的某种衍生物（牛顿物理干不了这事，现代物理学里倒是有人这么考虑，比如温伯格）；要么就认为 场更基本 ，粒子是场的某种衍生物。

量子场论 的主流思想是后一种，也就是认为 场更加基本，粒子只是场的激发态 。比如，电磁场是更基本的，电磁场的激发态就是光子；质子场是更基本的，质子场的激发态就是质子，以此类推。

量子场论认为万物皆场，场是更加基本的东西。粒子只是这种量子化场的激发态，场与场之间的相互作用决定了要发生的一切。具体细节这里就不多说了，后面科普 量子力学 时再细说。

总之，到这里大家就应该清楚了： 牛顿的物理图景已经崩塌了，物质并不是由坚不可摧的实物粒子组成的。在更现代的量子场论里，场反而是更加基本的东西，粒子只是场的激发态 。

如果你记住了这一点， 质能方程E=mc² 就非常容易理解了。因为 质能方程 最难以理解的地方，就是 你非要用牛顿的观念，来理解这个已经完全超出了牛顿物理学的东西 。

量子场论 是狭义相对论和量子力学联姻的产物，因此必然能跟 质能方程 相容。我这里并不要求你理解量子场论，只要你能意识到 不能再用牛顿的观念来思考质能方程 ，后面的一切就都好说了

打了这样的预防针，我们再来看看经常跟 质能方程 同时出现的 质量亏损 。

14质量亏损

进入20世纪，人们发现了一件「奇怪」的事情：组成原子核的核子质量之和，竟然比原子核本身的质量要大。

什么意思？我们知道 原子核 是由 质子 和 中子 组成的，比如 氘核 就是由一个质子和一个中子组成。按照原来的观念，我们肯定认为氘核的质量 等于 一个质子的质量加上一个中子的质量。但实验结果却是： 一个质子和一个中子的质量之和比氘核的质量要大 。

为什么？

我们对这个结果表示惊奇，是因为它跟 牛顿的观念 不一样。我们认为一个物体的质量应该等于所有组成物体的微粒质量之和，认为一个氘核的质量应该 等于 一个质子加上一个中子的质量。但结果却是一个质子（1.6726×10^-27kg）和一个中子（1.6749×10^-27kg）的质量之和（3.3475×10^-27kg）比一个氘核（3.3436×10^-27kg）的质量要 大 。

而且，我们还知道：质子和中子结合成氘核释放的 能量E ，跟减少的 质量m 之间刚好满足 E=mc² 。

于是，很多地方就用 质量亏损 来解释这个事，说质子和中子组合成氘核时发生了质量亏损，亏损的质量就按 质能方程 释放能量。

从 牛顿的观念 来看，这样考虑是非常自然的。因为质量减小了，肯定就意味着损失了一部分组成物质的「真材实料」，而它刚好又按照 质能方程 释放了一定的能量，这可不就是 损失的质量转化成了能量 么？

但问题是，质能方程是 狭义相对论 的产物，我们不能再用 牛顿 的观念去思考，因而不能说是「 质量转化成了能量 」。

那问题到底出在哪？我们应该如何看待质子和中子结合成氘核这个现象？如果不是核原料损失了一部分质量并转化成了能量，那又是什么呢？

问题的关键就在于： 单独的质子是质子，跟中子一起组成氘核的质子还是质子，它们并没有什么不同。既然质子的成分都是一样的（两个上夸克和一个下夸克组成），并没有在跟中子组合成氘核的过程中损失什么，你说它质量亏损到底是亏损了什么 ？

是原来的质子由 三个 夸克组成，组成氘核之后的质子就损失了一个夸克，只由 两个 夸克组成了？或者是，你觉得原来的质子是由 100 个什么微粒组成的，组成氘核的质子就损失了 1 个微粒，只有 99 个微粒了？

显然，不可能是这样。质子有质子的内部结构，如果它的内部结构发生了变化，那就不是质子了。就像一个质子和一个中子组成了氘核，但如果增加了一个中子，那就不叫 氘核 ，而是 氚核 。

既然单独的质子叫质子，氘核里的质子也叫质子，那它们就应该是一样的，质子并没有缺胳膊少腿，中子也一样。既然质子和中子都没有损失什么成分，那它们质量亏损到底是亏损了什么呢？它又能亏损什么呢？

出问题了吧？仔细一推敲，你就会发现这个逻辑是 行不通 的。

但是，在 核反应 里确实发生了 质量亏损 啊。质子、中子和氘核的质量都能查到，确实是前两者加起来比后者大，质量确实损失了一部分啊，这到底是怎么回事呢？

大家认为化学反应前后 质量守恒 ，认为两块砖头一起称的质量应该 等于 单独称的质量之和，为什么质子和中子组成氘核之后质量就 减少 了呢？难道核反应比较特殊，有它独特的规律？

15核反应特殊吗？

核反应它一点也 不特殊 ！

质子和中子组合成氘核，它是 核子 （组成原子核的粒子，包括质子、中子以及它们的反粒子）的重新组合，化学反应是 原子 的重新组合。一个是 核子 的重组，一个是 原子 的重组，有什么本质的区别？

核子 间的相互作用主要是 强力 ， 原子 间的相互作用主要是 电磁力 ，除了强力比电磁力要强一些以外，核反应和化学反应没什么太大的不同。

甚至，两块磁铁在磁力作用下吸在了一起，这个过程跟核反应、化学反应也没什么本质的区别，无非就是把核子、原子换成了磁铁，是不是这个道理？

如果核反应 没什么特殊 ，那 质子 和 中子 组成 氘核 释放出能量， 碳原子 和 氧原子 组成 二氧化碳分子 （木炭燃烧）释放出能量，两块 磁铁 吸在一起释放出能量（没错，的确释放了能量，不然磁铁碰撞时的声音是哪来的？）的过程就应该是类似的。

如果 质子 和 中子 组成氘核的核反应会发生 质量亏损 ，那 木炭 燃烧会不会发生质量亏损？两个磁铁吸在一起会不会发生质量亏损？

有些人可能有点懵，因为他印象里的「质量亏损」是一个非常高级的名词，是一个违背了 质量守恒定律 的东西。这种反直觉的新玩意，只有全新的 相对论 与 核反应 才能与之相配，一般的化学反应怎配享有如此待遇？把两个磁铁放到这里来就更过分了。

而且，中学化学也讲过，化学反应前后物质的总质量是不变的。两个磁铁吸在一起，根据直觉，前后的质量就更加不可能变了。所以，根据 直觉 和 常识 ，他绝不相信化学反应、磁铁吸在一起也会发生质量亏损。

但是，我上面的推理也很有道理啊，核反应也好，化学反应、磁铁吸在一起也好，都是 两个小东西组成了一个大东西 ，并且都释放了 能量 。区别无非就是核反应释放的 能量大 ，化学反应释放的 能量中等 ，磁铁吸在一起释放的 能量少 ，并没有什么本质的不同。

还有， 质能方程E=mc² 是爱因斯坦从狭义相对论的基本原理推出来的，所以， 狭义相对论成立的地方质能方程也应该成立 。那么，狭义相对论就只在核反应里成立？化学反应和磁铁相吸就不遵守狭义相对论了么？显然不是啊。

因此，从 直觉 和 常识 出发，我们觉得 只有 核反应才会发生质量亏损，亏损的质量和释放的能量满足质能方程。从 逻辑 和 推理 出发，又似乎是核反应、化学反应、磁铁吸在一起的过程 都 会出现质量亏损，亏损的质量跟释放的能量之间都满足质能方程。

直觉和逻辑发生了冲突，我听谁的？

当然是逻辑， 科学从来就不是为了符合你的直觉而建立的 。你要说直觉，亚里士多德的理论最符合直觉了，牛顿的都很反直觉，更别说相对论了。

所以，我们应该相信 核反应、化学反应、磁铁吸在一起的过程中都发生了质量亏损 。

如果 化学反应 也有质量亏损，那亏损的 质量m 跟化学反应（比如木炭燃烧）释放的 能量E 之间也会满足 E=mc² 。只不过，化学反应释放的 能量E 比较少，而 光速c 又很大，所以根据 E/c² 算出来的亏损 质量m 就非常小，小到平常根本察觉不出来，于是化学家们才总结出了 质量守恒定律 。

至于 磁铁 ，它们吸在一起时释放的能量就更少了，亏损的质量也就更小。所以，我们就更加不会察觉分开的磁铁与吸在一起的磁铁在质量上会有什么不同了。

这样，我们就能以一种 统一的逻辑解释所有的事情 ，既不与理论相冲突（从狭义相对论推出的E=mc²是普适的，核反应、化学反应、磁铁都应该遵守），也不跟实验相冲突（核反应容易观测到，化学反应、磁铁不太容易观测到）。

那问题的关键就来了： 如果这种逻辑是对的，如果核反应、化学反应甚至磁铁吸在一起释放能量时都发生了质量亏损，而我们又不能像牛顿那样认为是组成物质的「材料」少了一块，那它到底亏损了什么？为什么它的质量会减少？

这就涉及到一个非常关键问题： 在狭义相对论里，我们应该如何看待质量？

16质量是能量的量度

木炭燃烧时，碳原子和氧原子结合成二氧化碳分子，这个过程释放了能量，相应的质量也亏损了一点。这个结论已经不奇怪了，我们奇怪的是： 它的质量为什么会减小 ？

如果我们还用牛顿的观念思考这个问题，你就会发现怎么也想不通。你觉得一个物体的 质量 是组成这个物体的所有粒子质量之和，然而碳原子、氧原子组成二氧化碳分子时，原子的种类和数量都没有变，但 总质量 却减小了。整个过程除了释放了一定的 能量 之外，并没有发生其它的事情。

似乎是 能量减少了一点，质量就会减少一点，就好像质量不是用来衡量组成物质的微粒，而是用来衡量能量的多少似的。

没错，这正是问题的关键： 在狭义相对论里，质量确实变成了一个衡量体系能量多少的量。你静止时有多少能量，对应的质量就是多少，它们的关系由质能方程E=mc²给出。质量不是别的什么东西，它就是能量的量度，这才是一切问题的关键 。

以前，我们老觉得质量是物质的代名词，觉得一卡车砖头的质量等于每一块砖头的质量之和，所以每一个分子的质量就应该等于所有组成它原子的质量之和。我们是如此地相信还原论，相信所有的物质都可以还原为一个个基本粒子，相信物质的质量等于所有组成物质粒子的质量之和。

而这，正是我们理解质能方程的 最大障碍 。

现在我们要改变观念，物质的 质量 不再是组成它基本粒子的质量之和，而是用来 度量能量 的。 物质的能量固然包含了组成物质的基本粒子的能量，但它还包含了基本粒子之间因为相互作用而具有的能量，比如各种势能 。

比如，什么叫重力势能？我搬起一块石头，石头就增加了一定的重力势能。因为石头和地球之间存在 引力 ，当石头离开地面后，石头和地球之间就存在这样一种能量。石头落地后，重力势能减少了，度量能量的质量自然也跟着减小了，减少的 能量E 和 质量m 之间满足 E=mc² 。

质子和中子组成氘核的情况也一样，无非就是把质子和中子换成了地球和石头，把质子和中子之间的 强力 换成了地球和石头之间的 引力 ，一个释放了 重力势能 ，一个释放了 核能 。

因此，只有我们认为「 质量是能量的量度 」，而不再是 牛顿观念 里 物质 的代名词，不再是衡量物质所包含基本粒子的质量之和时，我们才能逻辑一致地看待上述所有问题，才能非常自然地解释 质量亏损 。

为什么质子和中子组成氘核之后，它们的质量会减小？因为独立的质子和中子具有一定的 能量 ，而 质量是能量的量度 ，所以质子和中子组成的系统就具有一定的 质量 。质子和中子组成氘核后释放了一定的 能量E ，系统的总能量减少了，度量能量的 质量m 自然也减小了，它们之间满足 E=mc² 。

木炭燃烧变成了二氧化碳，碳原子和氧原子组合成二氧化碳分子时释放了 能量E ，于是度量能量的 质量m 自然也减小了，它们之间依然满足 质能方程E=mc² 。

我用力拉开两个磁铁，其实是往磁铁组成的系统里注入了能量，磁铁的 能量 增加了，度量能量的 质量 自然也跟着增加了。所以，分开的磁铁会比吸在一起的磁铁更重，你用多大能量把磁铁拉开，它们的质量就增加了这个能量除以光速c的平方。

我们用力压缩一个弹簧，弹簧的能量增加了，度量弹簧能量的质量自然也增加了。所以，压缩的弹簧比松开的弹簧 更重 。

一个手电筒发出了一束光，因为光带走了一部分能量，所以手电筒的能量减少了，度量手电筒能量的质量自然也减小了。于是，发光手电筒的质量会一直慢慢 减小 。

但是，如果我们把手电筒放在一个铁箱子里，虽然发光手电筒的质量在不断减小，但手电筒发出的光并没有逃出箱子，所以手电筒和箱子的总能量并没有减少。于是，手电筒和箱子的总质量也 不会 发生变化。

为什么要举这么多例子？当然是帮你快速洗脑。

我们在 牛顿 的世界里浸泡了太久，已经形成了极大的思维惯性。当我们在谈论物理，谈论自然界的各种现象时，潜意识里就会从牛顿的角度来思考问题，所以我们会觉得 相对论 和 量子力学 很奇怪。所谓奇怪，无非就是跟固有的观念不一样，在这里就是跟牛顿的观念不一样。

17新的图景

我们要不断提醒自己： 现在的物理图景已经不再是牛顿那样了，宇宙并不是一堆微粒的集合，一个物体的质量也不是组成物体实物微粒的质量之和 。

如果你觉得「让人不这样思考」比较难，那可以接触一下 量子场论 ，试着从量子场的角度来看待这个世界。毕竟，让人忘掉熟悉的旧观念很难，但是，一旦接受了新的观念，旧观念自然就忘了。

量子场论 首先是一种场论，它的核心思想是： 宇宙并不是由什么「实物粒子」构成的，而仅仅是由场构成，一切都是场 。所谓粒子，不过是这些量子化场的激发态。

然后，量子场论是 量子力学 和 狭义相对论 联姻的产物。为什么我们要让量子力学和狭义相对论联姻呢？因为处理 微观粒子 要用量子力学，处理 高速 （近光速）运动的物体要用狭义相对论。那么，如果你想处理 高速的微观粒子 ，就必须同时使用量子力学和狭义相对论，也就是它们联姻后的 量子场论 。

也因如此，当我们用 量子场论 看问题时，我们其实也是在用 狭义相对论 看问题。而 质能方程 又是狭义相对论的结论，所以量子场论的图景跟质能方程是 相容的 。

毕竟，如果一切都是场，没有什么「实物粒子」，那自然就不存在什么「 实物粒子被摧毁了变成能量 」的说法。如果一切都是场，各种物理现象就只是场与场之间的相互作用，不存在谁被摧毁了，自然也不存在什么代表物质的「质量」转化成了能量。

这样，「 质量转化成能量 」就完全站不住脚了。

而前面我们也说了，场是有 能量 的，场和场之间的相互作用自然会涉及能量的变化。 能量 在不断变化，度量能量的 质量 自然也会不断变化，它们的桥梁就是 质能方程 。

这样，我们就可以非常自然地接受「 质量是能量的量度 」这个观念了，而这，才是打开 质能方程E=mc² 的正确方式。

18不动的质量

不过，需要注意的是，我上面说的" 质量是能量的量度 "，指的都是物体 静止时 的能量，并不涉及物体的 动能 。

我们知道动能是跟 参考系 有关的，在一个参考系里是静止的物体（动能为0），在另一个参考系里可能就是运动的（动能不为0），动能并不一样。

因此，如果把 动能 考虑进去， 速度 的增加就会导致动能的增加，能量增加了对应的 质量 也会增加。这样， 物体的质量就会随着速度的增加而增加 ，也就是所谓的 动质量 。

但是，我非常不希望引入 动质量 。物理学要把握变化世界里不变的东西， 质量 原本是跟物体的运动状态无关的，你现在让它随着速度的变化而变化，何必呢？动质量又不是非用不可，我的文章从头到尾都没有动质量，不一样可以讲 质能方程 么？

我知道，有些地方是从 动质量 开始讲质能方程的。他们先定义动质量，再把狭义相对论的 新动量 定义为 动质量 和 速度 的乘积，然后去算新动能。

这样读者就会很困惑，你凭什么把新动量定义为动质量和速度的乘积？难道狭义相对论就是用 动质量 替换掉原来的 质量 ，剩下的照搬？然后各种脑洞大开，胡思乱想。

在这篇文章里，我只是坚持狭义相对论的基本原理，要求 动量守恒定律在洛伦兹变换下保持数学形式不变 ，然后自然就得到了 新动量 ：

这样逻辑上就非常自然。在这个新动量里， 质量m 依然是不随物体的运动状态而改变的 质量 ，动量是一个速度的函数，而不是 动质量 和速度的乘积。

另外，我们再看一看狭义相对论的 新动能 ：

爱因斯坦认为 mc² 是物体静止时的能量， E 是物体的动能，所以 γmc² 就是物体的 总能量 （动能+静能）： γmc²=E+mc² 。

现在我们说「 质量是能量的量度 」，如果这个能量指的是物体静止时的能量mc²，那质量就是 （静）质量 ；如果我们把动能E也加进来，认为能量是总能量γmc²， 那得到的就是 动质量 。

也就是说， 动质量 和 总能量 在某种程度上是在描述相同的东西。然而，总能量是一直都存在的，并且是个非常重要的 守恒量 。如果已经存在一个守恒的总能量，为什么还要引入会导致混乱的动质量呢？

因此，我在文章里提到的 质量 通通都是 （静）质量 ，完全不用 动质量 这种东西，也省得大家胡思乱想，最后把自己带沟里去了。

当然，虽然学界的主流是 舍弃动质量 ，但也有少数学者认为动质量依然有存在的必要，这个我就不多说了，感兴趣的自己去查。

19结语

写到这里，文章差不多就可以收尾了。

通观全文，大家会发现 质能方程 的推导还是很简单的，只要遵守 狭义相对论 的基本原理， E=mc² 就会自动地从 动能表达式 里冒出来。

真正困难的，还是理解 质能方程 背后世界观和物质观的转变，理解从牛顿到狭义相对论的转变，理解从「 质量转化成能量 」到「 质量是能量的量度 」的转变。

虽然 相对论 和 量子力学 革命已经过去了百年，但牛顿的观念还是深深地烙在许多人的心里。毕竟，我们在中学都要学习牛顿力学，只有少数人会系统地学习 相对论 和 量子力学 ，而这方面的科普又比较少。

所以，习惯于用 牛顿 的观念去理解 质能方程 并不奇怪。

但话又说回来，毕竟如今已经是21世纪了，相对论和量子力学已经极大地改变了牛顿的世界观和物质观。如果你对 后牛顿时代 的物理学不感兴趣也就罢了，如果感兴趣（比如质能方程），就一定要注意牛顿观念的局限性。

我们不能总是从牛顿的角度来考虑这些后牛顿时代的物理学，否则，我们不仅无法掌握这些内容，还会误入歧途 。

如果你能很好地理解 质能方程 ，就能很好地理解 狭义相对论 ，也能很好地理解从牛顿到现代物理的转变，这是一块非常好的试金石。

所以，现在你明白 质能方程E=mc² 了么？

相关回答 ：

【 长尾科普系列 】已出版4本书：