2.3 变短的隧道：长度收缩

2.3 变短的隧道：长度收缩

本站摘要：长度是"同一时刻读出两端坐标"的操作结果，同时性一相对，长度必然相对。运动的物体沿运动方向收缩为固有长度的γ分之一，垂直方向不变。本节用 240 米隧道与 300 米列车算出"恰好塞进"与"根本塞不进"如何同时成立。

2.2 让钟慢落地，本站处理它的孪生效应——尺缩。两个效应由同一场同时性崩塌派出，本站末尾将数值验证它们互为表里，并通往 2.4 的佯谬工坊。

隧道与列车

先问一个朴素的问题：怎么量一根运动杆的长度？答案必须先做一件事——在同一时刻记下杆两端的坐标，再相减。"同一时刻"四个字立刻暴露要害：2.1 已经证明，一个系里的同时刻在另一个系里不是。所以长度天然是参考系的属性。

设杆静止时的长度（固有长度）为 L0。用洛伦兹变换（下一章正式推导，此处先用结论）对"两端同时被读数"这对事件做换算，直接得到：以速度 v 运动的杆，在观测者系里量出的长度是

L = L0 / γ
​

γ大于 1，所以 L 小于 L0——运动物体在运动方向上变短，收缩比例与钟慢倍数互为倒数。0.6c 时收缩到八成（除以 1.25），0.8c 时收缩到六成，0.99c 时只剩约 14%。

# 演算 1：掠光号在不同车速下的"站台长度"
import math
L0 = 300.0                 # 列车固有长度 300 米
for beta in [0.5, 0.6, 0.8, 0.9, 0.99]:
    g = 1 / math.sqrt(1 - beta**2)
    print(f"v={beta}c  gamma={g:.4f}  站台测得车长={L0/g:.1f} 米")
# 输出:
# v=0.5c  gamma=1.1547  站台测得车长=259.8 米
# v=0.6c  gamma=1.2500  站台测得车长=240.0 米
# v=0.8c  gamma=1.6667  站台测得车长=180.0 米
# v=0.9c  gamma=2.2942  站台测得车长=130.7 米
# v=0.99c gamma=7.0888  站台测得车长=42.3 米
​

现在搭场景。隧道固有长度 240 米，掠光号固有长度 300 米，车速 0.6c。站台的账：列车收缩成 240 米，与隧道等长——存在一个时刻，车头正好到达隧道出口、车尾正好没入入口，整车恰好被隧道包住。列车的账：乘务员量自己的车是 300 米，而隧道在运动，收缩成 240 除以 1.25 等于 192 米——192 米的洞想装 300 米的车？车头都探出出口 108 米了，车尾还在洞外。

两个结论针锋相对，却都无懈可击。分歧的根子还是 2.1：站台说的"同一时刻车头在出口、车尾在入口"，在列车系根本不是同一时刻。

# 演算 2：列车系里，车头出洞比车尾进洞早多少
c = 299_792_458
v = 0.6 * c
g = 1 / math.sqrt(1 - 0.6**2)     # 1.25

# 站台系：两个事件同时（Δt=0），空间距离 = 隧道长 240 米
# （E1 车头抵达出口，位置在 x=+240；E2 车尾进入入口，位置在 x=0）
dt_platform = 0.0
dx_platform = 240.0

# 换到列车系：Δt' = γ(Δt - v·Δx/c²)
dt_train = g * (dt_platform - v * dx_platform / c**2)
print("列车系中 E1 比 E2 早:", -dt_train*1e6, "微秒")
# 输出: 0.6 微秒

# 车头提前探出的距离：0.6c × 0.6微秒 + 长度差复算
L_tunnel_train = 240.0 / g         # 列车系中隧道长度 192 米
print("列车系中隧道长度:", L_tunnel_train, "米")     # 输出: 192.0 米
print("列车比隧道长出:", 300.0 - L_tunnel_train, "米") # 输出: 108.0 米
​

演算 2 给出精确账目：列车系里，车头到达出口比车尾进入入口早 0.6 微秒——车头先探出去，稍后车尾才进来，全程没有任何一刻整车在洞内。站台系里"恰好塞进"的那一瞬间，在列车系被拆成先后两件事。谁对？都对。"整车同时在洞内"这句话在两个系里真值不同，仅此而已。

图 同一条隧道的两本账

尺缩的三条边界规则

只有运动方向收缩。 2.2 的光钟悄悄用过这条：镜面垂直于运动方向，镜距 d 两系同值。反过来想，若垂直方向也收缩，两辆并行的列车会互相判定对方变窄，那么并行交会时到底谁撞谁？逻辑上无解，所以垂直方向必须不变。

收缩是测量结果，不是肉眼照片。拍照成像涉及光的不同到达时间，高速球的照片并不会呈现"压扁的球"，而是绕着转了一点的样子（特雷尔效应）。尺缩说的是扣除光行时间后的测量值。这也再次划清相对论与光学错觉的界限。

**收缩不伴随应力。**站台测列车短了，列车乘务员毫无感觉——车身各部件的间距在自身系里纹丝不动。"被压扁"的痛感不存在，因为物理过程（原子间电磁作用）全在列车自己的参考系里照常进行。

# 演算 3：钟慢与尺缩的互锁自检（μ子视角预演）
# 大气层产生 μ子，速度 0.998c，固有寿命 2.2 微秒，产生于 10 公里高空
import math
c = 299_792_458
beta = 0.998
g = 1 / math.sqrt(1 - beta**2)
tau, H = 2.2e-6, 10e3

# 地面账：μ子寿命膨胀为 γτ，可飞行距离 = v·γτ
d_ground = beta * c * g * tau
print("gamma:", round(g, 1))                     # 输出: 15.8
print("地面视角 μ子可飞行:", d_ground/1e3, "公里") # 输出: 约 10.4 公里 → 能到地面
# μ子账：自己寿命只有 2.2 微秒，但大气层收缩为 H/γ
d_muon = beta * c * tau
H_muon = H / g
print("μ子视角飞行距离:", d_muon/1e3, "公里")     # 输出: 约 0.66 公里
print("μ子视角大气厚度:", H_muon/1e3, "公里")     # 输出: 约 0.63 公里 → 一样到得了
# 两本账各自自洽：一个用"钟慢"，一个用"尺缩"，结论同为"μ子能到达地面"。
​

演算 3 是尺缩与钟慢互为表里的最佳演示：同一件事（μ子穿越大气）在两个参考系里由两个不同的效应给出同一预测——这正是好理论的标志。完整的μ子案例（含实测数据）在 6.1 节展开。

⚠️ 高频坑：把收缩公式用在"隧道"还是"列车"上搞反。口诀：固有长度属于静止者的账。站台量隧道用 L0（隧道静止于站台系），量列车要除以γ；列车系量车身用 L0（车静止于列车系），量隧道要除以γ。谁测运动的谁，谁就除以γ。

本节要点回顾

• 长度定义：同一时刻读两端坐标再相减——同时性相对，长度随之相对
• 收缩公式：L 等于 L0 除以γ；与钟慢倍数互为倒数，同源于γ
• 数值样例：0.6c 收缩到 80%；240 米隧道与 300 米列车在两系里各自成立
• 方向规则：仅运动方向收缩，垂直方向不变（并行交会悖论反证）
• 测量非照片：尺缩是扣除光行时间后的测量值，肉眼成像另有特雷尔效应
• 互锁自检：μ子案例中"钟慢账"与"尺缩账"给出同一物理结论

列车与隧道的争执只是热身。下一节的工坊里，一根杆、一间车库、两扇同时关的门，会把这场争执推向最高潮。