从两本账到一个对象
在上一篇里你认识了洛伦兹因子，也看到对几乎以光速运动的粒子而言，有用的问题不是「多快？」而是「多少能量？」。现在我们来把这套记账打包。日常物理里，你为一个运动物体记两本独立的账：它的能量，一个数；它的动量，一支指向某方向的箭。狭义相对论揭示，这二者其实从不真正分立——它们是同一样东西的两个面，就像一个人的身高与影长是同一具身体的两种视角。
那个单一的东西就是四动量：四个数作为一捆一同行进——一个对应能量，三个对应沿 x、y、z 方向的动量。我们通常把它写作 (E, px, py, pz)。第一格是类时部分（能量）；其余三格是类空部分（普通动量）。它是四位置（某事何时发生、在何处发生）的自然相对论表亲，行为也一样：换一个视角，这四个数便作为一组重新洗牌。
为何非要把它们捆在一起？因为以不同速度运动的观察者，对一个粒子的能量、对它动量的每个分量都确实各执一词——正如站在不同角度的两人对一张桌子看起来多宽意见不一。并不存在唯一的「真」能量。但人人都认同这四个数如何一同变换，正是这份共识使相对论方程简洁且与参考系无关。从此往后，就把 (E, px, py, pz) 当作一头数学动物来对待。
主方程：一个相对论版勾股定理
人人都见过 E = mc^2。这句名言只在物体完全静止时才成立。粒子一旦运动，就携带额外的运动能量，于是我们需要完整版——能量-动量关系。它把总能量、动量、质量绑进一句简洁的陈述，对任意速度的任意粒子都成立：总能量的平方，等于动量乘 c 的平方，加上静止能量的平方。
E^2 = (pc)^2 + (mc^2)^2
想象一个直角三角形。斜边是总能量 E。一条直角边是静止能量 mc^2——锁在质量里的能量，正是质能等价的意思。另一条直角边是 pc，运动的能量。静止粒子动量为零，于是三角形塌缩到它的静止能量那条边上，你便重新得到 E = mc^2。快速粒子的动量边很长，于是它的总能量高耸过其静止能量。这个勾股形状并非巧合：它正是四动量栖身于时空中的几何。
静止质量与总能量
现在反过来读这个三角形。把主方程重排，便得 (mc^2)^2 = E^2 - (pc)^2。质量，就是从总能量里减去运动能量之后所剩下的东西。这个组合很特别：无论观察者飞驰得多快，算出来的值都相同。它就是不变质量——粒子的相对论指纹，跨参考系而不变。
所以要把两个概念牢牢分开。静止质量是一个内禀、不变的标签：电子约相当于 0.511 MeV，质子约 938 MeV，无论粒子怎样运动都绝不移动。总能量则相反，随粒子加速而无上限地增长——它是洛伦兹因子 gamma 乘以静止能量。二者之差就是动能，纯粹的运动能量。
一个快速估算就能让它鲜活起来。大型强子对撞机里的一个质子携带约 7 TeV 总能量，可它的静止能量只有 938 MeV——大约小 7500 倍。它的能量几乎全是动能；静止质量是个零头。这正是为何让这样的质子相撞，能用运动能量凭空变出沉重的新粒子：有一笔庞大的动能预算，正等着被转化为某种新东西的静止质量。
无质量极限：有能量却无分量
我们的直觉低语道：凡携带能量之物必有分量。光却不以为然。一束光携带能量，甚至会推动它所击中的东西，可它的粒子——光子——根本没有质量。主方程处理这种情形轻松得让人解除戒备。取 E^2 = (pc)^2 + (mc^2)^2，令质量为零：三角形那条静止能量边消失，只剩下简简单单的 E = pc。
这就是无质量粒子极限，意味深长。无质量粒子没有可供静坐的静止系——它从不静止——并且必须在每个参考系中都恰好以光速运动，不快也不慢。它的能量可以从轻声细语（射电光子）到重锤一击（伽马射线），完全由它的动量决定。这类粒子的洛伦兹因子在形式上是无穷大，正是某物永久栖居于速度上限的数学标志。
无质量粒子并非稀奇玩物——它们才是主角。电磁力的载体光子是无质量的，捆绑夸克的胶子也是。一种流传甚广的混淆，是以为携带动量需要质量；相对论断然否认。动量与能量恰恰是无质量粒子大量拥有的；质量才是它唯一欠缺的。（中微子是否无质量曾是数十年的悬案；后来振荡实验表明它们带有微小质量——但那是中微子那一级的故事了。）
为何这是这个领域的记账工具
这整套机器的要点只在一条定律：任何相互作用中总四动量守恒。把进入一次碰撞的所有东西的 (E, px, py, pz) 加起来，等于出来的所有东西之和——能量与三个动量方向各自分别平衡。这是能量与动量守恒的相对论形式，被陈述为一句所有观察者都认同的整洁方程。
- 把每个入射粒子和每个出射粒子的四动量都写成 (E, px, py, pz)。
- 令「之前的总和」等于「之后的总和」——这给出一条能量方程，以及每个动量方向各一条方程。
- 对每个粒子套用 E^2 = (pc)^2 + (mc^2)^2，在它的能量、动量与已知质量之间互相换算。
- 解出未知量——某个不可见粒子的质量，或产生一个新粒子所需的最低能量。
从这一条配方，流淌出大量真实的物理。一个重粒子衰变时，在任何探测器看到它之前就消失了，但你可以把它可见衰变产物的四动量加起来，读出母粒子的不变质量——正是这一招让希格斯玻色子作为约 125 GeV 处的鼓包显露出来。同一套记账确定了产生新粒子的阈值能量，平衡每一次衰变，并支撑着你将在本级其余部分遇到的参考系与碰撞工具。掌握了四动量，相对论运动学的其余部分不过是仔细的记账而已。