2.4 站台思想实验工坊：车库佯谬与刚性的破产

2.4 站台思想实验工坊：车库佯谬与刚性的破产

本站摘要：一根 100 米的杆以 0.8c 冲进 60 米的车库，车库系说"杆缩到 60 米，两门可以同时关住它"，杆系说"车库只剩 36 米，绝无可能"。本节把这桩公案办成完整案例，用数值演算写出两个参考系各自的时刻表，并顺带宣判"刚体"概念在相对论中的死刑。

2.3 的隧道争执在本站升格为正面交锋。这也是第二章的收官站——把佯谬拆完，运动学效应的全部账目就理清了，第三章的换算表随即接管一切。

思想实验工坊

背景。 车库前后两扇门，固有长度 60 米；杆的固有长度 100 米，以 0.8c 直线冲入。车库管理员的操作方案：等杆完全进入的瞬间关前门、同时开后门放行——杆被"关住"过。杆上的观察者嗤之以鼻：车库在运动，缩成 60 除以 1.667 等于 36 米，比杆短 64 米，怎么可能同时关住两端？

操作（车库系时刻表）。 车速 0.8c 对应γ等于 5/3。管理员测杆长 100 除以 5/3 等于 60 米，与车库等长。设 t 等于 0 时杆尾越过入口（记事件 A），此刻杆头恰好抵住出口（事件 B），两事件同时同刻，两门瞬间完成"前关后开"。杆在车库内待的时间为零（恰好等长），但"曾被两门同时关住"这一陈述在管理员系里为真。

结果（杆系时刻表）。 同两件事换到杆的参考系，时差按γ乘 v 乘Δx 除 c 平方结算——先算出来再看含义：

# 演算 1：两个参考系的时刻表
c = 299_792_458
v = 0.8 * c
g = 1 / (1 - 0.8**2)**0.5        # γ = 5/3 ≈ 1.6667

# 车库系（S）：事件 A（杆尾入车库, x=0）与事件 B（杆头抵出口, x=60）同时发生
dt_S = 0.0
dx_S = 60.0                       # 两事件在车库系的空间距离

# 换到杆系（S'）：Δt' = γ(Δt - v·Δx/c²)
dt_P = g * (dt_S - v * dx_S / c**2)
print("杆系中 B 比 A 早:", -dt_P*1e7, "×10^-7 秒")   # 输出: 2.667（即早 0.267 微秒）

# 杆系的车库长度与长度差
L_garage_P = 60.0 / g
print("杆系中车库长度:", L_garage_P, "米")            # 输出: 36.0 米
print("杆比车库长出:", 100.0 - L_garage_P, "米")      # 输出: 64.0 米

# 杆头抵出口那一刻，杆尾距入口多远（杆系）
lead = 100.0 - L_garage_P
print("杆头到出口时，杆尾还在入口外:", lead, "米")    # 输出: 64.0 米
​

杆系里，杆头抵达出口比杆尾进入车库早 0.267 微秒——先出头，后进尾，任何时刻杆都有一大截露在门外。"两门同时关住杆"在杆系为假：那两扇门的关与开，在杆系看来根本不同时。

解读。 两份时刻表针锋相对又各自自洽，分歧点只有一处："杆完全位于车库内"这句话需要同时比较杆的两端与门的两端，而同时性各系私有。没有任何一个物理事件（碰撞、折断、门砸到杆）在两个系里给出不同真值——两个门都擦着杆沿开合，谁也没碰到谁。佯谬 dissolved，不是 solved：矛盾从来只存在于把"同时"当全局事实的那句话里。

变式。 把后门换成一堵实心墙：车库系说"杆 60 米、恰好进门后撞墙"，杆系说撞墙时杆尾还在 64 米外——撞击信号沿杆回传需要时间，杆尾"不知道"前方已撞，继续前进一段才开始减速。这就引出本节第二桩案子。

图 车库公案的两份时刻表

刚性的死刑判决

撞墙变式暴露了一个更深的旧观念问题：杆尾为什么不立即停？因为"杆"不是刚体。推杆一端，扰动以材料中的弹性波传播——钢里约每秒 5 公里，连光速的十万分之一都不到。任何物体的"形状调整"都需要信号传递，而信号上限是 c。

# 演算 2：撞墙信息传回杆尾需要多久
c = 299_792_458
L_pole, v = 100.0, 0.8 * c
v_signal = 5e3                    # 钢中弹性波速（纵波），量级参考

t_rigid_ideal = L_pole / v_signal # 假想信号以声速回传
t_light = L_pole / c              # 即使以光速传，也需要这么久
print("声速回传耗时:", t_rigid_ideal*1e3, "毫秒")   # 输出: 20.0 毫秒
print("光速回传耗时:", t_light*1e9, "纳秒")         # 输出: 333.6 纳秒
print("这期间杆尾又前进(声速情形):", v*t_rigid_ideal/1e3, "公里")
# 输出: 约 4796.7 公里 —— 远超杆长本身，当然杆早被撕裂，此处只看量级
​

演算 2 的量级说明：撞墙后杆尾至少要等数百纳秒（光速极限）才开始"知情"，声速情形则要几十毫秒。相对论里的物体永远处在"信息未达"的状态中——完美刚体（推一端、另一端同时动）等于超光速传信，直接违反公设二。所以严谨的说法是：不存在刚体，只存在"尚未收到消息的各部分"。

连带废黜的还有"同时的全局操作"：车库两门要"同时"动作，必须预先用光信号对好门钟——而对钟方案本身就依附于车库系的同时面。换到杆系，这套门钟注定不同时。工程设计里这叫分布式系统时钟，相对论里这叫同时性的相对性，说的是一件事。

把工坊里出现过的探雷记录归档，方便日后复用：

四案一式：先找到被偷用的那个全局概念，矛盾自动蒸发。

⚠️ 排错提示：拆佯谬时先找"哪句话偷用了跨系的同时"，九成佯谬死在这一步。剩下的多半偷用了刚体或超光速信号。带着这两条探雷器，市面上绝大多数"相对论悖论"你都能在五分钟内定位故障点。

💡 收藏一个工作方法：任何佯谬都值得像本节这样列两份时刻表——事件编号、每系的时空坐标、逐一换算。矛盾若真存在，必然在某一行变成"同一物理事件两个真值"；而相对论至今从未让人等到这一行。

本节要点回顾

• 车库公案：车库系杆缩 60 米恰好关住；杆系车库仅 36 米、头尾相隔 0.267 微秒
• 矛盾定位：冲突只在"曾被同时关住"这类同时性陈述，物理事件无分歧
• 撞墙变式：撞击信号回传需要时间，杆尾"不知情"期间继续前进
• 刚性死刑：刚体等于超光速传令，公设二之下不存在
• 对钟即同时：分布式门钟的"同时"依附参考系，工程与物理在此同题
• 排错探雷器：先查跨系同时，再查刚体与超光速信号

第二章到站。三个效应各自结案，下一章把它们并案处理——一张洛伦兹换算表管全部。