在切伦科夫探测器里，光的速度就像个固执的守门员，不管你是如何冲，它一辈子定格在那三个常数里。当我们要解释为啥高速运动的电子跑得那么快，要么为啥伽利略的“相对速度”公式在微观世界里失效时，得先搞清楚光到底是个啥角色。它不是好办的叠加，也不是能量的好办加和，它更像是一种自带物理意义的场。 想象一下，你站在地面上，手里拿着一枚高速飞行的子弹。按伽利略的逻辑，飞机的速度是你的车速加上风速，子弹的速度就是你的速度加上风速加一个“超光速”的修正项。
这在宏观世界里毫无难题，屋檐上的水珠、飞过的子弹，彻底符合这种直觉。但一旦换到微观粒子世界，特别是涉及光子的时候，这个“修正项”突然就不存有了。光子不分南北，它没有方向偏好，也没有质量惯性可言。
故此，当两个高速粒子形成碰撞时，生成的新粒子，其形成能量（$E$）并不是好办地相加，而是按照那个著名的引力红移公式算出来的，这就叫“不变量”。 大量人一听到“不变量”就当作它是个抽象的数学符号，结局在具体计算里把自己绕晕了。
实际上它是个有具体物理含义的东西，就像质量一样，是个固有属性。但在相对论框架下，这个“量”不再固定在某个参照系里静止，它是所有观察者共同认可的一个标量。就像你在高速飞行了，回头看地面，距离变短了，工夫变慢了，但你自己认定“我这一趟飞了多久？”和“我这一趟飞了多远？”这两个难题，答案一辈子是那个不变量。 为了弄明白这个“不变量”到底指啥，咱们得回到那个最经典的例子：切伦科夫辐射。在固体介质里，光子跑得比电子慢，故此光子集体拖慢电子，电子形成一道光环。
这个环的角半径 $theta$，跟介质里的光速 $v$ 和真空光速 $c$ 相关。公式是 $costheta = frac{c}{v}$。你认定这公式怪怪的吗？出于它暗示着 $v$ 是个比 $c$ 还小的数，那是绝对速度。但咱们在实验室里测的是“相对速度”，即电子相对于介质的速度 $v_{rel} = v_e - v_{med}$。
要是把这个代入公式，你会发现它依然成立。
这说明啥？说明这个 $theta$ 实际上并不依赖于参考系，而纯粹取决于电子和介质的相对运动状态。 这就引出了一个庞大的概念变化：速度不再是绝对的与此同时性。爱因斯坦当年提出相对论，原本就是为了解决迈克尔逊 - 莫雷实验里的“以忒风”难题。他假设有一个绝对的以忒背景，光在以忒里传播，地球在动，故此测出来的光速应当是 $c pm v_{earth}$。但实验结局说，甭管地球如何动，测到的光速一辈子是 $c$。
这说明啥？说明光在真空里是“超光速”的，要么说，它根本就没有一个能够定义的“绝对速度”。 当两个粒子以接近光速运动碰撞时，单独看任何一个粒子的速度都超过 $c$。
这时候要是用伽利略的变换去叠加速度，拿到的结局直接变成了 $2c$ 就连更多。
这在物理上是不可能的，出于光速 $c$ 是宇宙的信号极限，没有任何东西能超过它。
可是观察结局是确实，粒子确实形成了。
这说明啥呢？说明“速度”这个词，在 $v > c$ 的时候，它已经丧失了可加性的意义。它不再是一个标量，而是一个四矢量。当我们算出那个角度要么能量时，我们算出来的是同一个不变量。
也就是说，不管你是静止着看，还是高速飞着看，这两个粒子碰撞形成的那个不变量（比如能量、动量的变化）加起来，一辈子等于某个固定的值。 为了更好理解，咱们再提个例子。假设在粒子加速器里，有一个正负电子对撞机。电子以 $0.99c$ 撞进来，电子也是以 $0.99c$ 撞过来。按照伽利略逻辑，它们相遇后的总能量应当是 $2 times E_0 + text{动能}$。但用相对论算，这个能量变成了 $2 times E_0$。
为啥？出于正负电子湮灭，形成的光子能量总和等于它们的静止质量能量之和。
要是按照伽利略速度叠加，理论上它们能够形成比静止能量大得多的光子，就连超过 $2mc^2$ 的界限。但实验显示，光子能量严格管住在 $2mc^2$ 以内。
这说明啥？说明在这个极高能量的世界里，伽利略的“速度叠加”彻底失效了，取而代之的是洛伦兹变换下的能量守恒。 这里有个有趣的点，就是为啥我们平时认定伽利略是对的，但到了粒子物理就不中了。
这是出于我们的日常经验都是低速世界。在低速下，$v ll c$，洛伦兹变换退化成伽利略变换。当 $v$ 接近 $c$ 时，那个“超光速”的修正项就变得贼关键，它直接害得了质量效应和长度收缩。
要是还用伽利略的公式去算高能粒子的碰撞截面，结局就会彻底毛病，预测出的反应率和真的数据相比差了个位数。
这就是为啥我要讲一遍
伽利略速度变换公式在微观世界失效的缘由：出于它假设了绝对工夫和绝对速度，而这两个概念在光速不可超越的前提下，本身就站不住脚。 最终再说说为啥我们说光不变。出于这不只是是时钟慢了，工夫变慢了。空间也变短了，工夫也变慢了，这两个效应是连带形成的。对于任何给定的物理过程，比如光在真空中走一圈的距离，要么电子在某一点上停留的坐标，所有观察者（甭管有没有相对运动）都会算出同一个数值。
这种“所有观察者都能算出同一个结局”的本事，就是不变量最根本的特征。伽利略公式之故此被抛弃，不是出于数学推导错了，而是出于它描述不了这个物理现实。它把区分“静止”和“运动”的意义抹平了，把光速当成可压缩的流体，结局撞出了违背物理常识的结论。 故此，当我们看到那些在加速器里形成新粒子、形成粒子对时，我们不再用“速度加起来”的脑筋去套公式，而是用洛伦兹变换去算能量和动量。
那些看起来不可思议的超光速，实际上是相对论效应在高速运动中的必然结局，是时空本身扭曲的表现。伽利略的公式就像一把只适用于装修工地的锤子，用来撬动原子核的原子炉，自然会碰得千疮百孔。
