没人测过单程光速：神课深读

如果要在科学类视频里挑一条“看完之后你再也无法用老眼光看‘测量’这件事”的课，科普频道 Veritasium 在2020年8月发布的这条《Why No One Has Measured The Speed Of Light》几乎是标准答案（据视频页面信息）。它讲的不是某个新发现，而是一个从爱因斯坦1905年那篇论文的第一节就埋下、至今仍在哲学期刊上吵的问题：人类把光速测到了小数点后十八位，但测的全是“往返双程”的平均值——光单程走过去用了多久，原则上就没人测出来过。这条视频常年位居该频道最受欢迎作品之列，累计播放量以千万计（据频道页面，本文未实时核验最新计数），每当相对论话题上热搜，它就会被重新翻出来一轮。本文按它的叙事顺序把论证逐层拆开，告诉你哪些主张是物理学共识、哪些是视频为了戏剧性而压缩掉的争议，以及这个“测不出”能怎样改进你日常工作里判断“数字可不可信”的方式。

项目	内容
视频标题	Why No One Has Measured The Speed Of Light（为什么至今没人测出过单程光速）
频道	Veritasium（悉尼新南威尔士大学物理学博士 Derek Muller 主理的科普频道）
发布时间	2020年8月（据视频页面信息）
播放量	累计播放量以千万计，长期位列频道最受欢迎视频之列（据频道页面，本文未实时核验最新计数）
时长	约20分钟
核心主题	单程光速为何原则性不可测；同时性约定的物理学与哲学

1. 开场亮底牌：你见过的每一次光速测量，都是“往返票”

视频的切入点是一段科普里很少被点破的历史盘点。伽利略在《两门新科学》里记载过最早的尝试：两人各提一盏灯站在相距很远的两座山头，一人开灯另一人立刻回灯——结果光速远快于人手的反应时间，实验失败。此后所有成功的测量，结构上全是“一去一回”：1676年罗默（Ole Rømer）利用木卫一食的推迟估算光跨越地球轨道的时间；1728年布拉德利（James Bradley）用光行差推出光速；1849年菲索（Armand Fizeau）用旋转齿轮让光往返于8.6公里外的镜面；傅科和迈克尔逊的旋转镜法、现代的激光测距与光学谐振腔，本质上仍是让光“跑个来回”。视频给出的第一个硬结论是：我们能精确知道“光走一公里再走回来平均多快”——1983年第17届国际计量大会干脆把光速定义为精确值299,792,458米/秒，米反倒成了由光速导出的单位——但“光单程走这一公里用了多久”，从未被独立测出过。

为什么不能在A点放一个钟、B点放一个钟，记录光出发和到达的时刻？视频把矛头指向这个方案的前提：要让两个异地时钟的读数可以直接相减，你必须先让它们同步。而同步异地时钟的最自然办法，就是用一个信号在对钟之间传递——比如光。可“用光对钟再去测光速”，等于把“光速是多少”偷换成了“先假设光速各方向相同，再验证体系自洽”。这是一个循环：测量的前提里已经藏进了待测的答案。视频强调，这不是仪器精度问题，而是原则问题——哪怕给你无限精度、无限预算，这个循环都绕不开。

视频随后亮出理论底牌。爱因斯坦在1905年那篇狭义相对论论文的第一节里，其实亲自承认了这一点：他定义“B点的钟与A点的钟同步”的方式，就是规定光从A到B的速度等于从B到A的速度——他用了"stipulation"（约定）这个词。换言之，狭义相对论的起点不是一条实验事实，而是一条使方程最简洁的定义。德国科学哲学家赖欣巴哈（Hans Reichenbach）在1928年的《空间与时间的哲学》里把这个约定参数化：设信号在t1从A发出，t3回到A，到达B的时刻记为t2，则令 t2 = t1 + ε(t3−t1)。标准同步就是ε=1/2（去程时间=回程时间）；理论上任何0<ε<1的取值，只要把坐标和定律表述做相应改写，所有可观测预言与标准理论完全一致——因果条件只要求ε介于0和1之间，别无他求。这就是“单程光速的约定性”（conventionality of the one-way speed of light）。

这条视频发布后评论区涌现过海量挑战方案，而这些方案归根结底逃不出三类，每一类都撞在循环上。第一类，慢速搬运钟：先把两只钟在A地对齐，再以极慢速度把一只搬到B，低速极限下时间膨胀可忽略，钟就“天然同步”了——问题是“为什么慢速搬运不改变钟的快慢”要靠时间膨胀公式来论证，而时间膨胀定律的推导又用到了光速各向同性，循环依旧。第二类，中点方案：把一只钟放在两地正中间，同时向两端发信号——可“同时到达”本身就假设了两个方向信号速度相等。第三类，天文方案（罗默、光行差一类）：看似不涉及地对钟，实则依赖一整套理论修正和“把不同地点的观测记录放在一起比较”的搬运假设，同样 theory-laden。视频的立场由此立住：你提出的任何单程测量方案，最后都会发现自己在某个环节假设了它想测的东西。

5. 收束：测不出≠不存在，而是“单程光速”根本不是独立可观测量

视频结尾没有滑向虚无，而是把结论钉在正确的位置：物理学需要的只是双程光速加一套自洽的定律表述；ε的取值是坐标与记号层面的选择，不对应任何可检验的新事实。真正能被实验排除的，是超出任何约定吸收能力的各向异性偏差——而现代光学谐振腔实验已经把这个偏差的上限压到了10^-18量级（如Nagel等2015年发表于《Nature Communications》的实验）。也就是说：“光速可能各方向不一样”在字面上永远无法证伪，但任何可观测意义上的不一样，已经被挤压到人类测量史上最严酷的边界之内。

实验史脉络：迈克尔逊-莫雷1887年发表于《美国科学杂志》的以太漂移实验得到零结果，催生了洛伦兹-斐兹杰惹收缩假说，最终由狭义相对论收编——值得注意的是，这套判决性实验同样是双程干涉仪结构，它证伪的是“以太风速”，而不是测出了单程光速。视频的全部历史例证（伽利略灯笼、罗默、菲索、迈克尔逊）都是科学史标准内容，可在任何光速测量史文献中核对。

理论源头：庞加莱（Henri Poincaré）1898年的《时间的测量》最早明确提出“同时性是约定”的思想，比爱因斯坦早七年；爱因斯坦1905年论文《论动体的电动力学》（《物理学年鉴》第17卷，DOI: 10.1002/andp.19053220806）第一节给出了操作性同步定义；赖欣巴哈1928年的著作将其推广为ε参数。此后格林鲍姆（Adolf Grünbaum）在《空间与时间的哲学问题》中系统辩护约定主义，使它成为科学哲学半个世纪的标准议题。

反方谱系：布里奇曼（Percy Bridgman，操作主义创始人）与艾利斯（Brian Ellis）、鲍曼（Peter Bowman，1967年发表于《Philosophy of Science》）主张“慢钟搬运”能非约定地确立同步；马拉门特（David Malament）1977年发表于《Noûs》的著名论文论证：狭义相对论的因果结构本身唯一地恢复了标准同时性（ε=1/2）；萨卡尔（Sahotra Sarkar）与施塔赫尔（John Stachel）1999年又对马拉门特给出反批评。这场争论在哲学期刊上至今没有终审判决——这是视频二十分钟体裁必然省略的深度。

工程与计量侧：曼苏里（Reza Mansouri）与塞克斯尔（Roman Sexl）1977年建立的检验理论框架，把所有光速各向异性实验统一成可比较的系数；肯尼迪-桑代克实验、艾夫斯-斯提威尔实验和现代谐振腔实验共同把洛伦兹破坏参数压到极限。1983年米的新定义、GPS卫星钟每天约38微秒的相对论修正（引力蓝移约+45微秒、速度时间膨胀约-7微秒），则是这套“约定+双程光速”体系在工程上最赚钱的应用——GPS接收机定位解算中每个距离都来自光速乘时间，它工作的前提从来就是“标准约定自洽”，而不是“谁测过单程”。

证据扎实的部分：视频的核心逻辑——历史上所有光速测量都是双程结构、单程测量依赖同步约定、ε任意性与全部实验相容——是主流相对论物理学与科学哲学的教科书级共识，在“单程光速”词条化的学术讨论中无实质争议。视频把它讲成了侦探故事，但没有讲错任何一环。

需要打折扣的部分：其一，标题有轻微的戏剧化诱导。“没人测过单程光速”容易被二级传播读成“光速可能真的各方向不同、物理学家不知道真相”——实际处境是“经验上欠定”：不同ε的世界在可观测上与我们无法区分，这不属于“未知事实”，而属于“非事实”。其二，约定性并非没有学术反方。马拉门特的因果结构论证被相当一部分哲学家视为对标准同步的非约定性恢复，虽然也有有力反驳，但视频把这桩活生生的争论讲成了定论。其三，“任何ε都行”附带严格条件：需要全局一致地改写所有定律表述，且满足0<ε<1的因果约束——它不是“随便改个数物理不变”那种廉价的相对主义，二级解读常在这里滑坡。其四，10^-18的表述精度：那是“各向异性偏差”的上限，不是“单程光速被测到了18位”——少一个定语，含义就走了样。

总体评价：这是把一个哲学上极深、经验上极干净的问题做大众化讲述的高水准样本——它可能让你产生“物理学还藏着个洞”的错觉，但只要你记住“欠定”二字，这条视频给你的思维冲击就全部是净收益。

1. 给每一个“是多少”配一个“怎么测”。爱因斯坦的伟大一步不是测出了什么，而是追问“同时”这个词由什么操作定义。落到日常：当有人说“这个系统延迟很低”“这个模型很准”，先问测量程序——仪器怎么校准、起点终点怎么定、谁跟谁比。计量学的真相是：任何溯源链的尽头都站着一个约定（比如“秒”由铯-133跃迁9,192,631,770次振荡定义），承认这一点不是虚无，而是精确。

2. 做一次“循环校准”自检。单程光速的陷阱是“用待测的东西去测待测的东西”。工程里的对应物俯拾皆是：用同一个模拟器验证被模拟的系统、用模型自己的输出给模型打分、用被测件去校准测量它的仪器。把你手头一项关键指标拎出来，画出它的测量链，检查每个环节是否独立于被测对象——链上只要有一处自我引用，那个数字的“精度”就值得重估。

3. 理解“自洽约定”的工程复利。GPS从不纠结“真实ε是多少”，它选定最简洁的自洽约定并贯彻到底，于是每纳秒的钟差都变成了厘米级的定位。团队协作同理：单位、命名、接口时序这类“约定”没有真理属性，但有成本属性——选一套让下游方程最简单的，写下来，然后停止争论。关键是记住视频的教诲：约定是选出来的，不是发现出来的；发现出来的是约定之下那些可检验的规律。

flowchart TD
    A["一切光速测量<br/>都是一去一回"] --> B["双程光速<br/>精确到10^-18"]
    A --> C["单程光速<br/>从未被测出"]
    C --> D["测单程<br/>先同步两地钟"]
    D --> E["对钟要用信号<br/>信号速度未约定"]
    E --> F["循环依赖<br/>原则性死结"]
    B --> G["爱因斯坦1905<br/>规定去回各半"]
    G --> H["赖欣巴哈<br/>ε参数化约定"]
    H --> I["约定派<br/>ε任取皆自洽"]
    H --> J["反方<br/>因果结构派"]
    J --> K["马拉门特<br/>可恢复标准同步"]
    I --> L["结论<br/>欠定而非未知"]
    K --> L

人类对宇宙最快速度知根知底到小数点后十八位，却对“它单程走多久”永远只能回答：这是约定——真正的好课不是给你答案，而是让你看见问题的形状。

参考来源

📎 本分类最新文章