1.4 新调度规则：两大公设与惯性系的边界

1.4 新调度规则：两大公设与惯性系的边界

本站摘要：1905 年爱因斯坦提出两条公设——物理定律在一切惯性系中形式相同；真空光速对一切惯性观察者恒为 c。两条规则合起来吊销了绝对同时，也让以太失去存在必要。本节陈述公设、演示它们如何自洽地保住光速上限，并划定"狭义"理论的适用边界。

前三站把旧时刻表逼入绝境：伽利略合成与光速恒定不可两全，以太风测出来是零。本站颁布新规则，下一章立刻兑现它的第一批账单——同时性、钟慢、尺缩。

新调度规则

1905 年 6 月，爱因斯坦发表《论动体的电动力学》。论文的出发点不是新实验，而是两条被他直接宣布为公设的规则：

公设一（相对性原理的推广版）：一切物理定律——力学、电磁学、光学——在所有惯性参考系中具有相同的形式。伽利略只对力学说过这句话，现在推广到全部物理学。推论很锋利：任何惯性系内的实验都无法分辨"绝对静止"与"匀速运动"，绝对参考系在原则上不可探测。

公设二（光速不变原理）：真空中的光速对任何惯性观察者都等于同一个常数 c，与光源的运动、观察者的运动都无关。车头灯的光、车尾灯的光、迎面驶来列车的大灯，在站台测都是 c，在掠光号上测也是 c。

两条公设单看都不狰狞，合在一起却立即掐死伽利略变换——因为伽利略换系时速度线性加减，光速不可能两边都守恒 c。爱因斯坦的决断在于：要修改的不是麦克斯韦，而是时间和长度的测量本身。"同时"这个词首当其冲，因为判断异地事件是否同时，需要先约定信号怎么传——而最快的信号就是光。

于是新时刻表附带一套对钟规程（爱因斯坦同步）：想把车头和车尾的钟对齐，就在车厢正中发一道闪光，两钟被照到时各自记零。这个规程在车厢系里天经地义，但下一章你会看到，站台系的人对它有一整套不同意见。对钟不是小事，它是新物理的地基。

# 演算 1：光速不变在速度叠加下的自洽性检查
# 相对论速度叠加（3.3 节推导，此处先用结论做体检）：
#   u = (u' + v) / (1 + u'v/c^2)
c = 299_792_458
def add(u_prime, v):
    return (u_prime + v) / (1 + u_prime * v / c**2)

print("车上测光速 c，车速 0.6c，站台测得:", add(c, 0.6*c)/c, "c")     # 输出: 1.0 c
print("车上测光速 c，车速 0.99c，站台测得:", add(c, 0.99*c)/c, "c")   # 输出: 1.0 c
print("两车各以 0.9c 相向，相对速度:", add(0.9*c, 0.9*c)/c, "c")      # 输出: 0.9945 c
print("伽利略算法给出:", 0.9 + 0.9, "c")                             # 输出: 1.8 c（旧表的荒谬）
# 结论：新叠加公式的分母在高速区自动"刹车"，任何合成结果都不超过 c。
​

演算 1 提前借用了 3.3 节的公式做体检：光无论被怎样叠加仍是 c，而 0.9c 加 0.9c 只有 0.9945c。旧表给出 1.8c 的地方，新表把速度上限焊死在 c。这个"刹车"不是外加禁令，而是两条公设推出来的必然结构。

# 演算 2：旧表在什么速度下开始失准
# 用洛伦兹因子 gamma = 1/sqrt(1 - v^2/c^2) 衡量新旧物理的分岔
import math
c = 299_792_458
for name, v in [("步行 1.4 m/s", 1.4),
                ("高铁 97 m/s", 97.0),
                ("地球公转 29.8 km/s", 29.8e3),
                ("千分之一 c", 0.001*c),
                ("掠光号 0.6c", 0.6*c),
                ("相对论电子 0.99c", 0.99*c)]:
    g = 1 / math.sqrt(1 - (v/c)**2)
    print(f"{name:22s} gamma = {g:.9f}")
# 输出:
# 步行 1.4 m/s            gamma = 1.000000000
# 高铁 97 m/s             gamma = 1.000000000
# 地球公转 29.8 km/s       gamma = 1.000000005
# 千分之一 c              gamma = 1.000000500
# 掠光号 0.6c             gamma = 1.250000000
# 相对论电子 0.99c        gamma = 7.088812051
​

演算 2 解释了为什么两百年没人发现旧表的误差：在人类日常速度下，γ 与 1 的差别埋在小数点后十几位。旧时刻表不是蠢，它只是低速区的近似；新时刻表也并非推翻它，而是给出全域适用的版本——3.2 节会亲眼看到洛伦兹变换在低速极限下退化成伽利略变换。

规则的适用边界

"狭义"两个字是范围声明：整套理论只处理惯性参考系之间的时空关系。什么是惯性系？牛顿第一定律成立的系——不受力的物体在其中保持静止或匀速直线运动。站台近似惯性系，匀速行驶的掠光号也是；急刹车的列车、转弯的过山车、发射中的火箭都不是。

由此带来三条边界须知：

一个自然的质疑要提前回应：**两条公设是实验事实还是约定？**光速不变与相对性原理的联立，在低速直觉看来荒唐（1.2 的追光佯谬），但它们各自都被实验反复捶打过——相对性原理有全套力学与电磁学在封闭舱内的一致性背书；光速不变有 1.3 的零结果、运动光源的光速测量、后来整整一个世纪的精确复验。公设之为公设，不在于不容置疑，而在于从极少的前提推出极多的可检验结论——这正是 1905 年论文的做法：两条公设，一路推到 E 等于 m 乘 c 平方。

⚠️ 最容易犯的概念错误：把"光速不变"理解成"光很特殊所以不受规则约束"。正好相反，光速不变是时空结构本身的性质——它规定的不是光，而是"同时"和"长度"这些测量操作。光只是暴露这一结构的探针。

💡 值得回味：爱因斯坦撤掉以太，不是因为它被证伪——一个不可探测的概念谈不上被证伪——而是因为有了两条公设后，它连解释工作都不再需要。奥卡姆剃刀在这里的用法是：理论不需要它，所以删掉它。

本节要点回顾

• 公设一：一切物理定律在所有惯性系中形式相同，绝对运动不可探测
• 公设二：真空光速对所有惯性观察者恒为 c，与光源和观察者运动无关
• 联合后果：伽利略变换必须让位，时间与长度的测量操作需要重建
• 对钟规程：车厢中点发闪光，两端钟被照亮时记零——同时性的操作定义
• 适用边界：惯性系之间；加速度可分段处理；引力归广义相对论
• 数值体检：0.9c 叠加 0.9c 得 0.9945c；γ 在日常速度下与 1 的差藏在十位小数之后

第一章到站。新规则已经生效，下一章从"两道闪光谁先亮"开始清算旧时刻表的第一笔账。