深度长文：爱因斯坦16岁的追问，如果以光速去追一束光，会看到什么？

相对论，从来不是爱因斯坦一拍脑袋就蹦出来的天才灵感。

你肯定听过无数个版本的爱因斯坦传说：比如他小时候数学不好，比如他在专利局摸鱼的时候突然灵光一闪就想出了相对论，比如迈克尔逊-莫雷实验否定了以太，爱因斯坦据此提出了光速不变……

但真实的历史，远比这些鸡汤和简化版科普复杂得多，也精彩得多。

爱因斯坦从16岁第一次想到“追光悖论”开始，到1905年正式发表狭义相对论，整整思考了十年。

这十年里，他不是闭门造车，而是站在整个19世纪物理学的肩膀上，一边啃着牛顿、麦克斯韦、洛伦兹的理论，一边对着实验结果反复推敲，还要和自己脑子里根深蒂固的绝对时空观反复打架。

最后捅破那层窗户纸的，不是什么惊天动地的新实验，而是一个所有人都习以为常、却没人敢深究的概念：时间。

今天咱们就把这十年的思考过程拆解开，看看爱因斯坦到底是怎么一步步走出经典物理的迷宫，亲手建立起狭义相对论的。

要讲相对论的诞生，得先回到它的对立面，牛顿力学的黄金时代。

你别觉得牛顿力学就是高中课本里那几个公式，在20世纪之前，牛顿力学就是物理学界的“圣经”。

它有多牛？

从天上的行星到地上的小球，从潮汐涨落到炮弹轨迹，没有它解释不了的现象。只要给我初始条件，我就能用牛顿定律算出它未来任何时刻的状态，精准得像上帝的算盘。

而支撑起整个牛顿力学大厦的，有两个核心：一个是三大运动定律，另一个，就是绝对时空观。

什么是绝对时空观？牛顿在《自然哲学的数学原理》里写得明明白白：

绝对空间，就其本性而言，与任何外在事物无关，处处均匀，永不移动。 绝对的、真实的和数学的时间，自身均匀地流逝，与任何外在事物无关。

翻译成人话就是：空间就像一个无限大的空盒子，永远不动；时间就像一条均匀流淌的河，永远向前。它们和里面的任何物体都没关系，不管你在不在、动不动，空间就在那里，时间就那么走。

物体在这个绝对空间里的位置变化，就是绝对运动。

你可能会问：不对啊，我坐在高铁上没动，以地面为参考我在以300km/h飞奔，以太阳为参考我跑得更快，这都是相对运动啊，哪来的绝对运动？

牛顿当然知道相对运动。但他认为，相对运动的背后，一定有一个最终的、绝对静止的参考系，也就是绝对空间。所有的相对运动，最终都是相对于绝对空间的运动。

为了证明绝对空间真的存在，牛顿还专门设计了一个大名鼎鼎的思想实验，水桶实验。

这个实验简单到离谱：找个木桶，装半桶水，然后让木桶转起来。

就这么点事。

但牛顿从中看出了大名堂：

刚开始转的时候，木桶转了，水还没跟着转，水和桶之间有相对运动，但水面是平的；

等到水和桶一起转起来了，两者相对静止了，水面反而凹下去了，变成了漏斗形。

问题来了：同样是水和桶相对静止，为什么一个水面平，一个水面凹？

牛顿说，答案很简单：因为前者的水没有真正的转动，后者的水在真正的转动。这个“真正的转动”，就是相对于绝对空间的转动。只有相对绝对空间转动，才会产生离心力，让水面凹下去。

就这么一个简单的实验，在之后的两百多年里，几乎成了绝对空间的“铁证”。毕竟力学定律摆在这里，离心力骗不了人。

有了绝对空间和绝对时间，牛顿力学就有了根。

然后伽利略提出的相对性原理，又给这个帝国加上了一层完美的滤镜。

什么是相对性原理？说人话就是：在所有匀速直线运动的参考系（惯性系）里，力学定律的形式都是一样的。

举个最通俗的例子：你在匀速行驶的高铁上，闭着眼睛，根本感觉不到自己在动。你在车厢里竖直跳起来，还会落回原地；你手里的杯子松手，会竖直掉在桌上；你和朋友扔个球，和在地面上玩没有任何区别。

你不会因为火车在开，跳起来就飞到车尾去，也不会因为火车跑得快，杯子就往后歪。因为力学定律在火车上和地面上是完全一样的。

用数学的话讲，就是牛顿力学的公式，在伽利略变换下，形式保持不变。

伽利略变换是什么？

就是两个惯性系之间的坐标变换。比如火车以速度v往前开，t=0的时候车头和地面原点重合。那地面上的坐标x，和火车上的坐标x'，还有时间t，关系就是： x' = x - vt t' = t

看到没？时间是一样的，t'=t，这就是绝对时间的体现。

不管你在哪个参考系，时间都是同一个，大家共用一个绝对的时间。

对应的速度叠加公式也很简单：如果火车上有人以速度u'往前走，地面上看他的速度就是u = u' + v。比如火车300km/h，人在车厢里以5km/h往车头走，地面上看就是305km/h，天经地义。

在这个变换下，牛顿第二定律F=ma，不管你在地面算还是在火车上算，形式完全一样。这就叫伽利略协变性。

你看，绝对时空打底，伽利略变换搭桥，相对性原理做保证，牛顿力学的整个体系严丝合缝，完美得不像话。

从17世纪到19世纪末，两百多年的时间里，物理学家们靠着这套体系攻城略地，把天上地下的现象解释了个遍。

当时的物理学界普遍有一种乐观的情绪：该发现的都发现了，物理学的大厦已经建成，剩下的就是修修补补，把小数点往后多算几位而已。

直到麦克斯韦带着他的方程组，横空出世。

现在我们都知道，电和磁是一家人，变化的电生磁，变化的磁生电，它们一起形成电磁波，光就是一种电磁波。

但在19世纪之前，电和磁是两门完全不搭边的学问。一个是摩擦起电、闪电，一个是磁铁、指南针，谁也想不到它们俩能扯上关系。

直到1820年奥斯特发现电流的磁效应，1831年法拉第发现电磁感应，人们才慢慢意识到：哦，原来电和磁是相互作用的。

法拉第这个人很厉害，他没受过多少正规数学教育，但想象力超群。

他不相信什么超距作用，觉得电和磁的作用，是通过一种“场”传递的。比如磁铁周围有磁场，电荷周围有电场，场是真实存在的物质，它们在空间里传播，不需要隔空发力。

“场”这个概念，是法拉第给物理学留下的最宝贵的财富。但法拉第只能用文字和画图描述场，没法用数学精确表达。

把场真正数学化、系统化的人，是麦克斯韦。

麦克斯韦是个数学天才，他把法拉第的场的思想，用严谨的数学公式写了出来，最后整理出了四个方程，就是大名鼎鼎的麦克斯韦方程组。

这四个方程有多牛？有人说，上帝说要有光，于是麦克斯韦写下了方程组。

因为它不仅完美统一了电和磁，还预言了电磁波的存在，并且直接从方程组里算出了电磁波的传播速度。

算出来的结果是多少呢？

正好等于当时测得的光速，大约每秒30万公里。

于是麦克斯韦大胆预言：光，本质上就是一种电磁波。

这个预言后来被赫兹用实验证实了，那是后话。但在当时，麦克斯韦方程组刚出来的时候，物理学家们在惊叹之余，很快就发现了一个细思极恐的问题：

这个光速，是相对于哪个参考系的？

你别觉得这是个小问题，这在当时简直是物理学的天崩地裂。

我们平时说速度，一定是相对于某个参考系的。你坐在高铁上，说列车员走路速度是5km/h，那是相对于火车车厢；说火车速度是300km/h，那是相对于地面。

脱离参考系谈速度，就是耍流氓。

但麦克斯韦方程组不一样。

它是从电磁学的基本定律推导出来的，里面没有任何一个参数是关于参考系的。也就是说，只要麦克斯韦方程组成立，电磁波的速度就一定是光速c。

那问题就来了：这个速度，是在哪个参考系里的速度？

如果按照牛顿力学的思路，速度是相对的，那麦克斯韦方程组应该只在某个特殊的参考系里才成立。只有在这个参考系里，光速才是c；换个参考系，光速就应该叠加参考系的速度，变成c+v或者c-v。

那这个特殊的参考系是什么呢？

当时的物理学家们几乎想都不用想，就给出了答案：以太。

以太这个词，不是19世纪才有的。

早在古希腊，亚里士多德就提出过，天上的天体是由第五种元素“以太”构成的。后来笛卡尔为了解释行星的运动，也把以太搬了出来，认为宇宙空间充满了以太，行星靠以太的涡旋运动。

但到了牛顿时代，因为牛顿支持光的微粒说，以太的存在感很低。毕竟光是粒子的话，就不需要介质传播了。牛顿和胡克那场关于光的本质的世纪骂战，最后以牛顿的大获全胜告终，微粒说统治了物理学界一百多年，以太也就被打进了冷宫。

后来托马斯·杨的双缝干涉实验，还有菲涅尔的衍射理论，让光的波动说又占了上风。

这里插一句，当年菲涅尔提出波动说的衍射理论的时候，泊松还站出来抬杠，说按照你的理论，光绕过不透明圆盘的时候，阴影中心应该出现一个亮斑，这怎么可能？

结果菲涅尔真的做了实验，阴影中心果然出现了亮斑，就是后来的泊松亮斑。

泊松本来想驳倒波动说，结果反而成了波动说的神助攻。

既然光是波，那就得有传播介质啊，就像水波靠水，声波靠空气，那光靠什么？

靠以太啊。

于是以太就顺理成章地回来了，而且成了19世纪物理学界的集体信仰。

当时的人们认为，整个宇宙空间都充满了一种极其稀薄、看不见摸不着的物质，它就是光传播的介质，名字叫以太。光波就是以太的振动，就像声波是空气的振动一样。

而且，以太是绝对静止的。它就像牛顿说的绝对空间本身，是宇宙中唯一不动的背景。

为什么以太必须是绝对静止的？因为只有这样，光速相对于以太是c这件事，才能和牛顿的绝对时空观完美契合。

以太系，就是那个最特殊的、绝对静止的参考系。

你看，这逻辑是不是很顺？

光是波，波需要介质→光的介质是以太

麦克斯韦方程组算出光速是c→这个速度是相对于以太的

以太绝对静止→正好对应牛顿的绝对空间

完美，严丝合缝。

而且这背后还有一个更深层的观念：力学自然观。

什么意思？

就是当时的物理学家们普遍认为，力学是最根本的学问，所有的物理现象，最终都能用力学来解释。热是分子的运动，声是介质的振动，那光和电磁，自然也应该是某种介质的力学振动。

所以，把光波看成以太的机械振动，把电磁现象归结为以太的力学作用，在当时看来是天经地义的。大家甚至还在努力给以太设计各种力学模型，比如它是弹性的还是粘性的，横波怎么传播，等等。

现在回头看，你可能觉得以太很可笑，是个错误的假说。

但放在当时的历史环境里，以太的存在是再合理不过的事情了。它符合波动说的常识，符合力学自然观，也符合牛顿的绝对时空观。

可以说，在19世纪，你要是不相信以太，都不好意思说自己是物理学家。

但问题是：以太这东西，看不见摸不着，怎么证明它真的存在？

很简单：地球在绕着太阳公转，公转速度大约是每秒30公里。

如果以太是绝对静止的，那地球就相当于在以太里穿行，地面上应该能感受到一股“以太风”，就像你开车的时候能感受到迎面的风一样。

只要能测出这股以太风，就能证明以太真的存在。

于是，整个19世纪，物理学家们设计了各种各样的实验，想方设法去捕捉这股以太风。

而这些实验，也成了爱因斯坦思考相对论的起点。

第一个重要的实验，叫光行差，是英国天文学家布拉德雷在1728年发现的。

有意思的是，布拉德雷本来不是为了找以太，他是想测恒星的视差。

什么是视差？

就是地球绕太阳转的时候，从不同位置看同一颗恒星，恒星的位置会有微小的偏移，就像你睁一只眼闭一只眼，看到的手指位置不一样。

结果视差没测到，反而意外发现了光行差。

为什么视差难测？因为恒星离我们太远了，视差角比光行差小得多，直到一百多年后的1838年，人类才第一次测出了恒星视差。

光行差是什么？其实你下雨天肯定感受过。

下雨天没风的时候，雨滴是垂直落下来的。你站着不动，雨打在头顶上；但如果你往前跑，就会觉得雨滴是从前面斜着打过来的，跑越快，倾斜得越厉害。

这是因为，在你看来，雨滴不仅有向下的速度，还有相对于你向后的速度，两个速度合起来，方向就斜了。这就是“雨行差”。

光行差，就是同一个道理。

遥远的恒星发出的光，本来是垂直于地球公转方向射过来的。如果地球不动，我们只要把望远镜正对着星星，就能看到它。

但地球在以30km/s的速度绕太阳跑啊。所以在地球上看，星光就像雨中的雨滴一样，会倾斜一个角度。我们得把望远镜往前倾斜一点，才能看到星星。

这就叫光行差，倾斜的角度就叫光行差角。

布拉德雷当时测出来，这个倾斜角大约是20.5角秒。什么概念呢？1度等于3600角秒，20.5角秒大概是0.0057度，非常非常小的一个角度。

通过这个角度，布拉德雷还算出了光速，大概是30万公里每秒，这在当时是非常精确的数值了。

那这个实验和以太有什么关系？

关系大了。

按照波动说，光在以太里传播，速度是c。如果地球和以太之间有相对运动，我们就会观测到光行差；如果地球和以太相对静止，光就应该垂直下来，没有倾斜。

现在我们观测到了光行差，就说明：地球和以太之间，确实有相对运动。

换句话说，以太没有被地球拖着一起走，地球是在静止的以太里穿行。

这在当时是支持以太的重要证据。

但同时，这个实验也有个局限：它只能精确到v/c的一阶量级。

什么叫一阶？v是地球公转速度30km/s，c是光速30万km/s，v/c就是万分之一。一阶就是说，实验的效应和这个万分之一成正比。

而如果是v²/c²，就是万分之一的平方，也就是亿分之一，那叫二阶效应。

光行差只能看到一阶效应，它能告诉我们地球和以太有相对运动，但没法精确测出这个相对速度到底是多少。

不过没关系，有第一个实验打底，后面的实验就跟着来了。

光行差是天文观测，只能看真空中的情况。法国物理学家阿拉果想：如果光穿过玻璃，会怎么样呢？

他做了一个实验：在望远镜前面加一块玻璃棱镜，然后观测不同方向的星光，看看折射率会不会变化。

为什么要这么做？我们来理一理这个逻辑。

如果以太是静止的，地球在以太里运动，那么以太风就会吹过玻璃。光从空气进入玻璃的时候，它相对于玻璃的速度，就会因为以太风的方向不同而不一样。

就好比你往河里扔皮球，顺着河水扔，皮球速度就快；逆着河水扔，速度就慢。光在玻璃里的速度，也应该和以太风的方向有关。

而折射率是什么？是真空中的光速和介质中光速的比值。如果玻璃里的光速变了，那折射率就会变。折射率一变，光的折射角度就会变，通过棱镜看到的星光位置就会偏移。

阿拉果本来以为，转动望远镜，让星光从不同角度入射，肯定能看到折射率的变化，从而测出以太风的影响。

但实验结果让他大跌眼镜：无论光线从哪个方向射进来，玻璃的折射率都没有任何变化。

就好像以太风根本不存在一样。

这就奇怪了。光行差明明说地球和以太有相对运动，怎么加了块玻璃就测不出来了？

阿拉果百思不得其解，于是给当时的波动说大佬菲涅尔写了封信，求助这个问题。

菲涅尔看完信，很快就给出了一个解决方案。

菲涅尔想，既然实验没测出变化，那肯定是有什么效应把它抵消了。

他提出了一个假说：透明介质在以太中运动的时候，会拖着一部分以太跟它一起运动。

拖多少呢？不是全部，是一部分。拖曳的比例，和介质的折射率有关。具体来说，曳引系数是1 - 1/n²，n是介质的折射率。

这就是菲涅尔部分曳引假说。

举个例子，水的折射率n≈1.33，那曳引系数就是1 - 1/(1.33)²≈0.437。也就是说，水在以太里运动的时候，会拖着43.7%的以太跟它一起走。

空气的折射率接近1，所以曳引系数几乎是0，几乎不拖曳以太。

所以地球表面的空气不会带着以太跑，地球和以太之间还是有相对运动，这就解释了光行差。

那为什么阿拉果的实验测不出变化？

因为玻璃在运动的时候，会拖着一部分以太一起走。这部分被拖曳的以太，刚好抵消了地球相对以太运动带来的效应。所以在玻璃里面看，光速的变化刚好被抵消了，折射率自然就不变。

打个比方，你在跑步机上跑步，你往前跑的速度，刚好和跑步机往后转的速度抵消了。在旁边的人看来，你根本没动。

菲涅尔的这个假说，完美解释了阿拉果的实验，还和光行差不矛盾，一下子就把问题圆上了。

不过当时这个假说并没有引起太多重视，毕竟只是个假说，还没被实验验证。

直到30多年后，斐索做了那个著名的流水实验。

1851年，法国物理学家斐索做了一个非常巧妙的实验，直接验证了菲涅尔的部分曳引假说。

实验的思路很简单：你不是说透明介质运动的时候会拖曳以太吗？那我让水顺着光的方向流，再逆着光的方向流，看看两束光的速度有没有差异。

如果水真的拖曳了以太，那顺水的光，速度就应该是光在水中的速度加上水拖曳以太的速度；逆水的光，就是光在水中的速度减去这个拖曳速度。这样一来，两束光走完同样的水管，时间就会不一样。

但光速太快了，直接测时间差根本不可能。怎么办呢？斐索用了光的干涉。

两束光，一束顺水走，一束逆水走，最后让它们相遇，产生干涉条纹。如果两束光的时间差变了，干涉条纹就会移动。通过条纹移动的距离，就能反推出时间差，算出速度的变化。

实验结果怎么样呢？

测出来的曳引系数，和菲涅尔预言的几乎一模一样！误差小到可以忽略。

这下整个物理学界都炸了。菲涅尔的假说居然被实验验证了！那是不是说明，以太真的存在，而且透明介质真的会部分拖曳以太？

一时间，菲涅尔的部分曳引假说身价倍增，成了以太理论的核心支柱。后来霍克又做了更精密的实验，结果也和菲涅尔的理论符合得很好。

到这里，以太的形象似乎越来越清晰了：

真空中的以太绝对静止，地球在里面穿行，所以有光行差；

透明介质运动的时候，会按1-1/n²的比例拖曳一部分以太；

一阶的光学实验，都会被这个曳引效应抵消，所以测不出以太风。

甚至菲涅尔还从理论上证明了：所有精确到v/c一阶的光学实验，都不可能观测到地球相对以太的运动。因为效应刚好被部分曳引抵消了。

后来1873年巴黎科学院搞了个大奖赛，主题就是“光源和观察者的运动对光的影响”。

物理学家马斯卡特做了一大堆一阶实验，反射、折射、衍射……结果真的一个都没观测到以太风的影响。

于是到了19世纪70年代，物理学界基本达成了共识：一阶光学实验，确实看不到以太风。菲涅尔的理论大获全胜。

说到这里，我们该请主角爱因斯坦出场了。

后来爱因斯坦在回忆的时候说，对他创立相对论影响最大的实验，就是光行差和斐索流水实验。他甚至说“它们已经足够了”。

为什么足够了？

因为这些实验告诉爱因斯坦：最起码在v/c一阶的精度下，电磁现象和光学现象是满足相对性原理的。

什么意思？

就是说，你根本区分不开自己是相对以太静止，还是在做匀速直线运动。一阶实验完全测不出来区别。

这和力学里的相对性原理简直一模一样。

力学里你在匀速火车上做任何力学实验，都不知道自己在不在动；现在光学和电磁学里，一阶实验也测不出你相对以太动不动。

那这不就等于说，电磁现象也满足相对性原理吗？

别人觉得这只是菲涅尔曳引的巧合，但爱因斯坦不这么想。他隐隐觉得，这背后有更本质的东西。

当然，那个时候的爱因斯坦，还只是个学生。他还需要更多的思考和积累，才能捅破那层窗户纸。

而另一边，实验物理学家们并没有停步。一阶测不出来，那就测二阶的！

为什么要测二阶？

因为一阶效应都被菲涅尔曳引抵消了，说明不了根本问题。大家真正想知道的是：真空中的以太到底存不存在？地球在真空中相对以太的运动，到底能不能被测出来？

要回答这个问题，就得测v²/c²量级的二阶效应。

但二阶效应有多小？v是30km/s，c是30万km/s，v/c是万分之一，v²/c²就是亿分之一。

也就是说，你要做一个实验，精度得达到亿分之一，才能测出这个效应。

这在当时是什么概念？麦克斯韦自己都在1879年写信说，这种精度的效应，在地面上根本不可能探测到。

但有人不信这个邪。

这个人就是迈克尔逊，一个天才的实验物理学家。

迈克尔逊最擅长的就是光学精密测量。他发明了一种叫迈克尔逊干涉仪的东西，能把极其微小的长度差或者时间差，放大成肉眼可见的干涉条纹移动。

干涉仪的原理说穿了也简单：一束光分成两束，走两条垂直的路，然后反射回来，叠加在一起产生干涉。如果其中一条路的光程变了一点点，干涉条纹就会移动一点点。

这个仪器的精度有多高？可以测出相当于光波波长百分之一的长度变化，也就是几纳米的精度。用来测亿分之一的效应，刚好够用。

1881年，迈克尔逊先做了第一次实验，但精度不够，结果不太可信。1887年，他和莫雷合作，改进了实验装置，把光路来回反射了很多次，有效光程拉长到了11米，大大提高了精度。

这就是物理学史上最著名的实验之一：迈克尔逊-莫雷实验。

实验的逻辑是这样的： 如果以太是静止的，地球在以太里以速度v运动，那就有一股以太风迎面吹来。

顺着以太风的方向，光往前走的速度是c+v，反射回来是c-v，往返的总时间是t1；

垂直以太风的方向，光往返的速度都是√(c²-v²)，总时间是t2。

这两个时间是不一样的，t1比t2稍微大一点。这个时间差，就是二阶的，和v²/c²成正比。

然后把整个仪器旋转90度，两个方向互换，时间差就会反过来，干涉条纹就应该发生移动。按照计算，应该会有0.4个条纹的移动。

但实验结果让所有人都傻眼了：条纹根本没有移动。

别说0.4个条纹了，连0.01个都看不到。实验结果是零，完全的零结果。

就好像，根本就没有以太风一样。光不管往哪个方向跑，速度都是一样的。

后来一百多年里，无数人重复了这个实验，精度越来越高，从最早的亿分之一，到后来用激光做的，精度达到了10^-15量级，结果依然是零。

迈克尔逊-莫雷实验的零结果，在当时的物理学界投下了一颗重磅炸弹。

怎么会这样？按照菲涅尔的部分曳引假说，真空中以太是静止的，地球相对以太运动，肯定应该有以太风啊，怎么会测不到？

现在很多科普书里会说：迈克尔逊-莫雷实验否定了以太的存在，证明了光速不变。

但这是典型的事后诸葛亮。

放在当时，根本没人敢这么想。

你想想，以太是整个波动说和电磁学的基础，是支撑了几十年的集体信仰。怎么可能因为一个实验就全盘否定？

当时大家的第一反应根本不是“以太不存在”，而是“为什么我们测不到以太风？”

最容易想到的解释就是：地球完全拖曳了附近的以太。

也就是斯托克斯的完全曳引假说。

斯托克斯是流体力学的大牛，他说，以太不是完全没有粘性的，它就像粘性流体一样。

地球在以太里运动的时候，会带着表面附近的一层以太一起运动，就像球在蜂蜜里滚，会带着一层蜂蜜一样。

所以，地面附近的以太和地球是相对静止的，我们当然测不到以太风。

这个解释是不是很合理？完美解释了迈克尔逊-莫雷的零结果。

但问题来了：它和光行差矛盾啊。

如果地球完全拖曳了以太，那星光进入地球附近的以太层，就会被带着一起走，光行差的角度就会变化，就不是我们观测到的20.5角秒了。

而且后来还有很多其他实验，比如洛奇的钢盘旋转实验，也证明了快速运动的物体不会拖曳以太。

这下就尴尬了：

菲涅尔的部分曳引，能解释光行差和一阶实验，但解释不了迈克尔逊-莫雷实验；

斯托克斯的完全曳引，能解释迈克尔逊-莫雷实验，但解释不了光行差。

两个假说打架，谁也说服不了谁。

以太，这个曾经完美的理论，第一次陷入了左支右绌的境地。

为了拯救以太，物理学家们开始各显神通，提出了各种各样的补丁。有人说以太被太阳拖曳了，有人说光速会随光源速度变化，还有人说地球收缩了。

而补丁打得最好的那个人，叫洛伦兹。

洛伦兹，荷兰物理学家，经典电动力学的集大成者。后来爱因斯坦评价说，我们这个时代的物理学家，多半没有充分了解到洛伦兹在理论物理基本概念的发展中起到的决定性作用。

洛伦兹最牛的地方，是创立了电子论。

什么是电子论？

简单说，他认为所有的电磁现象，本质上都是由微小的带电粒子，也就是电子的运动产生的。麦克斯韦的电磁场，最终都可以归结为电子和场的相互作用。

注意，那个时候电子还没被汤姆逊正式发现（1897年才发现），洛伦兹就已经从理论上假设了电子的存在，并用它来解释所有电磁现象。这在当时是非常超前的。

靠着电子论，洛伦兹从第一性原理出发，直接推导出了菲涅尔的部分曳引系数。也就是说，他用电磁理论证明了，为什么透明介质会部分拖曳以太，而且系数刚好是1-1/n²。

这一下，菲涅尔的假说就不再是凭空猜想了，而是有了坚实的理论基础。

但迈克尔逊-莫雷实验的零结果，还是横在面前的大山。

怎么解释？

洛伦兹思来想去，在1892年提出了一个大胆的假说：长度收缩。

差不多同时，物理学家斐兹杰惹也独立提出了同样的假说，所以也叫斐兹杰惹-洛伦兹收缩。

洛伦兹说，物体在以太中运动的时候，沿着运动方向的长度会发生收缩，收缩的比例是√(1-v²/c²)。

为什么收缩就能解释实验？

因为迈克尔逊-莫雷实验里，顺着以太风方向的光路，本来时间更长一点。但如果这个方向上的仪器长度收缩了一点点，刚好把多出来的时间抵消掉，那两束光的时间就一样了，自然就看不到条纹移动。

打个比方，两个人赛跑，一个人速度慢，但跑的距离短一点，最后两人同时到达终点。

洛伦兹算出来，只要沿着运动方向的长度收缩√(1-v²/c²)倍，刚好就能抵消以太风带来的时间差，完美解释零结果。

而且这个收缩量非常小，比如地球公转速度30km/s，收缩比例只有亿分之五，也就是一米长的物体只收缩50纳米，根本测不出来，所以我们平时完全感觉不到。

那为什么会收缩呢？洛伦兹认为，这是一种真实的动力学效应。

因为物体的分子之间有电磁力，当物体在以太中运动的时候，电磁力会发生变化，导致分子之间的距离变小，所以物体就收缩了。

说白了，就是真的被压扁了。

除了长度收缩，洛伦兹还引入了一个非常重要的概念：地方时。

1895年，洛伦兹发表了一篇长达137页的论文，系统总结了他的动体电动力学。

在这篇论文里，他证明了一个非常重要的定理，叫对应态定理。

什么意思呢？

就是说，如果在静止的以太参考系里，有一个电磁状态（电场E、磁场H等等）；那么在一个相对以太做匀速运动的参考系里，只要你把坐标和时间做一个变换，就会得到一个对应的电磁状态，它的数学形式和静止系里的完全一样。

这个变换是什么样的呢？ 空间坐标：x' = x - vt （这个和伽利略变换一样） 时间坐标：t' = t - vx/c²

这个t'，洛伦兹给它起了个名字，叫地方时。

注意，在洛伦兹看来，这个地方时只是一个纯粹的数学技巧，没有真实的物理意义。真正的时间，还是以太系里的那个绝对时间t。地方时t'只是为了计算方便，人为凑出来的一个数学量。

就像我们做数学题的时候做变量代换，换元只是为了好算，不代表新的变量有什么物理意义。

但就是这个被洛伦兹当成数学技巧的地方时，后来成了爱因斯坦突破的关键。

因为有了对应态定理，洛伦兹就能证明：在v/c一阶近似下，电磁定律在运动参考系里的形式和静止系里是一样的。

换句话说，一阶电磁实验满足相对性原理。

这正好和之前的光行差、斐索流水这些实验结果对上了。

洛伦兹的这套理论，在当时可以说是最完美的电磁理论了。它既能解释一阶实验，又能通过长度收缩解释迈克尔逊-莫雷的二阶实验，还保留了以太，保留了绝对时空观，完美贴合牛顿的框架。

但在爱因斯坦眼里，这套理论有个致命的问题：它需要一个绝对静止的以太参考系。

而爱因斯坦，从根本上就不相信绝对运动，不相信有什么特殊的参考系。

要理解爱因斯坦为什么这么排斥以太，我们得先绕个弯，回去聊聊那个老话题：牛顿的绝对时空观。

前面我们讲了牛顿的水桶实验，用水面的凹陷证明绝对空间的存在。

这个结论统治了物理学界两百多年。

虽然也有人反对，比如莱布尼茨、贝克莱，但他们都是从哲学角度批判，没什么物理依据，根本动摇不了牛顿的根基。

直到一个人的出现，才第一次从实证的角度，把绝对时空观批得体无完肤。

这个人就是恩斯特·马赫。

马赫是个物理学家，也是个哲学家，实证主义的代表人物。他的核心观点是：科学只研究可观测的东西，所有无法观测的概念，都是形而上学的废话，都应该从科学里剔除出去。

那绝对空间能观测吗？绝对时间能观测吗？

不能啊。谁也没见过绝对空间，谁也摸不着绝对时间。我们能看到的，只有物体和物体之间的相对运动，只有时钟的读数。

所以马赫说，绝对空间、绝对时间，都是纯粹的思维产物，是虚构出来的，没有任何经验价值。

针对牛顿的水桶实验，马赫给出了完全不同的解释。

牛顿说，水面凹陷是因为水相对绝对空间转动。

马赫说，不对。水面凹陷，是因为水相对整个宇宙的所有物质在转动。是宇宙中无数的恒星、星系，它们对水的引力作用，产生了离心力，让水面凹下去。

如果把水桶外面的所有东西都拿走，整个宇宙里只有这一桶水，那就算你让水桶转起来，水面也不会凹下去。因为没有其他物质，就没有相对运动，也就没有离心力。

你看，马赫把绝对空间换成了整个宇宙的物质背景。但这一换，性质就完全变了：

绝对空间是看不见摸不着的，是形而上学；

宇宙的物质背景是可观测的，是实实在在的物理存在。

马赫的这个解释，后来被爱因斯坦总结为马赫原理。

马赫的思想，在19世纪末影响了一大批年轻的物理学家，爱因斯坦就是其中之一。

爱因斯坦学生时代就读了马赫的《力学及其发展的批判历史概论》，后来和朋友们组成奥林匹亚科学院的时候，又把这本书拿出来反复研读、讨论。

奥林匹亚科学院是什么？就是爱因斯坦刚毕业的时候，和几个好朋友一起组织的一个小团体。成员有贝索、哈比希特、索洛文，都是年轻人。他们经常一起读书，从物理到哲学，从休谟到斯宾诺莎，什么都读，读完就通宵争论。

这种自由、开放的讨论，对爱因斯坦的思想形成起到了至关重要的作用。他后来很多想法，都是在和朋友们的讨论中慢慢清晰的。

可以说，马赫的批判，彻底打碎了爱因斯坦脑子里的绝对时空观。他坚信：不存在绝对空间，不存在绝对运动，所有的运动都是相对的。

这是爱因斯坦和洛伦兹那辈物理学家最本质的区别。

洛伦兹他们，是在牛顿绝对时空的框架里修修补补，想尽办法把新的实验现象塞进旧框架里。哪怕以太已经只剩一个空壳，哪怕它只剩下“不动性”这一个力学性质，他们也要保留它。

但爱因斯坦不一样。他从根上就不承认绝对空间的存在。既然没有绝对空间，那以太这个绝对静止的参考系，从一开始就不该存在。

既然所有运动都是相对的，那所有的惯性系就应该是平权的，没有谁比谁更特殊。物理定律在所有惯性系里都应该一样，不管是力学还是电磁学。

这就是爱因斯坦坚信的相对性原理，是他思考一切问题的出发点。

所以他看洛伦兹的理论的时候，一方面觉得对应态定理、地方时这些东西非常棒，刚好能说明电磁定律满足相对性原理；另一方面，他又对那个绝对静止的以太非常反感。

既然没有绝对运动，那以太就没有存在的必要。

那去掉以太之后呢？洛伦兹的地方时，难道是真的时间？

这个念头一旦冒出来，就再也压不住了。

真正让爱因斯坦坚信电磁理论必须满足相对性原理的，其实不是那些以太漂移实验，而是一个非常普通、大家都见怪不怪的实验：法拉第电磁感应实验。

这个实验我们初中都学过：闭合电路的一部分导体在磁场里做切割磁感线运动，电路里就会产生感应电流。或者，磁铁相对导体运动，也会产生电流。

总之，只要导体和磁铁之间有相对运动，就有电流。

但你有没有想过，这两种情况的理论解释，是完全不一样的？

我们来举个具体的例子：地面上放一块磁铁，一列火车开过去，火车上有个导体回路。

站在地面上看：磁铁不动，磁场不变。火车在动，导体里的电子跟着火车一起运动，运动的电子在磁场中受到洛伦兹力，定向移动形成电流。

站在火车上看：导体不动，磁铁在动。磁场在变化，变化的磁场产生电场，导体里的电子在电场力作用下定向移动，形成电流。

你看，同样一个现象，两个参考系的解释天差地别：一个说是洛伦兹力，一个说是感生电场；一个说有磁场没电场，一个说既有电场又有磁场。

当时的物理学家们怎么看这件事？他们觉得这很正常啊。因为只有以太系（地面近似以太系）的解释才是“正确”的，火车系的解释只是近似，是巧合。

毕竟以太系才是绝对参考系，电磁定律只在以太系成立。其他参考系用电磁定律算出来的结果，刚好和实验对上，那只是巧合。

但爱因斯坦不这么想。

他盯着这个实验看了很久，越看越觉得不对劲： 明明只有相对运动，为什么理论上非要分出谁动谁不动？ 明明结果是一样的，为什么要有两种完全不同的解释？ 如果相对性原理是对的，那两个参考系应该是完全等价的啊。

这种理论上的不对称性，肯定不是自然本身的问题，是我们的理论有问题。

电场和磁场，不是绝对分开的两个东西。它们其实是同一个东西的不同侧面，在不同的参考系里，你看到的比例不一样。

静止的电荷，你只能看到电场；

运动的电荷，你既能看到电场，又能看到磁场。

但本质上，它们是统一的电磁场。

同样，感生电场和洛伦兹力，也不是两种完全不同的东西。它们是电磁相互作用在不同参考系下的不同表现形式。

只要你承认相对性原理，承认所有惯性系平权，那这种不对称性就会消失。

爱因斯坦后来在论文的开篇，第一段就讲了这个电磁感应的例子。

他说，诸如此类的例子，以及企图证实地球相对于“光媒介”运动实验的失败，引起了这样一种猜想：绝对静止这概念，不仅在力学中，而且在电动力学中也不符合现象的特性。

言外之意：是我们的理论出了问题。

对这个实验的思考，让爱因斯坦更加坚信：电磁理论一定满足相对性原理。麦克斯韦方程组，在所有惯性系里都应该成立。

但一旦承认这一点，就会立刻推出一个惊世骇俗的结论：光速在所有惯性系里都是一样的。

因为麦克斯韦方程组能直接推出光速是c，如果方程组在所有惯性系都成立，那光速在所有惯性系就都是c。

这就是光速不变原理。

可问题来了：光速不变，和我们的常识，和牛顿力学的速度叠加，完全是矛盾的啊。

你可以试想一下： 一辆火车以300km/h的速度往前开，列车员以5km/h的速度往车头走。

火车上的人看，列车员速度是5km/h；

地面上的人看，列车员速度是300+5=305km/h。

这是天经地义的，速度叠加嘛，伽利略变换告诉我们的。

但如果把列车员换成一束光呢？ 按照牛顿力学，地面上的人看到的光速应该是c + 300km/h才对。

但光速不变原理说：不对，不管是火车上还是地面上，测到的光速都是c，一模一样。

这不是疯了吗？怎么可能速度都一样？

你可能会说，火车速度和光速比起来太小了，差异测不出来。但逻辑上不对啊，哪怕差异再小，理论上也应该有啊。

而且如果光速真的在所有参考系都一样，那会发生什么？

比如你以99%的光速去追一束光，按照常识，你看到的光速应该是1%c才对。但光速不变说，你看到的还是c，光还是以每秒30万公里的速度离你远去。

你永远追不上光。

这太反常识了，太违背直觉了。所以当时几乎没人敢相信这件事。

洛伦兹他们为什么要保留以太？就是因为这样光速就只是相对于以太是c，其他参考系还是c+v或c-v，符合速度叠加，符合常识。

但爱因斯坦现在要把以太去掉，要让电磁理论满足相对性原理，那就必须接受光速不变。

可光速不变和相对性原理，这两个东西看起来是矛盾的啊。

如果相对性原理成立，速度就应该是相对的，怎么会有绝对的光速？ 如果光速不变成立，那它相对于谁？不就又回到绝对参考系了吗？

这个问题把爱因斯坦折磨了整整一年。他后来回忆说： “我怀着修正洛伦兹某些思想的希望，差不多考虑了一年，毫无结果。这时候我才认识到，它真的是一个难解之谜。”

一边是电磁实验和相对性原理的信念，一边是光速不变的荒谬结论，两者像两座大山一样压着他，找不到出路。

他甚至尝试过修改麦克斯韦方程组，想让它符合速度叠加，比如发射理论，认为光速会叠加光源的速度，但都失败了。因为发射理论解释不了很多天文现象，也和斐索流水实验矛盾。

死局。

直到那个下午，他和好友贝索的一场讨论。

1905年的爱因斯坦，是瑞士伯尔尼专利局的一个三级技术员。

这份工作在外人看来有点大材小用，但对爱因斯坦来说，简直是天堂。

他每天只需要花几个小时处理专利申请，剩下的时间就可以偷偷在办公室里思考物理问题，把草稿纸藏在抽屉里，有人来就赶紧关上。同事们都开玩笑叫他“我们的洛伦兹”，因为他总在讨论洛伦兹的理论。

而专利局的工作，也无意中给了他灵感。

当时的瑞士，铁路正在快速发展。但各个城市的时间不统一，每个火车站都有自己的时钟，这给火车调度带来了很大的麻烦。怎么让异地的时钟同步，成了一个大问题。

所以专利局里经常收到各种关于时钟校准、时间同步的专利申请。爱因斯坦每天审这些申请，脑子里想的全是时间、时钟、同步。

时间，到底是什么？

我们平时说“现在几点了”，说的其实是时钟的读数。我们说两件事同时发生，是说它们发生的时候，两个时钟的指针指向同一个位置。

那如果两个时钟不在同一个地方呢？怎么叫它们同步？

比如北京有个钟，上海有个钟，怎么确定它们是同步的？

你可能会说，看手机啊，网络对时。但那是现在，当时没有。

最直接的办法是用光信号校准。比如北京在t1时刻发一束光到上海，上海收到的时候把钟调到t，然后光再反射回北京，北京收到的时候是t2。

如果光来回的速度一样，那同步的条件就是：t = t1 + (t2 - t1)/2。

这样两个钟就校准了。

但你有没有发现，这个校准方法，有一个前提：光速在各个方向上都是一样的。

也就是说，我们定义异地时钟同步的时候，其实已经默认了光速不变。

这是一个非常重要的发现。时间的同步，不是天经地义的，是需要定义的，而定义的依据就是光速不变。

爱因斯坦每天和时钟、同步打交道，慢慢意识到： 时间不是抽象的，是靠时钟测量的。 异地的同时性，不是绝对的，是需要通过信号来定义的。

而洛伦兹的那个“地方时”，真的只是数学技巧吗？它会不会就是运动参考系里，用同步好的时钟测出来的真实时间？

其实在这之前，数学大师庞加莱也讨论过同时性的问题，也提到过用光信号校准时钟。但庞加莱只是把它当成一个约定，一个操作方法，并没有质疑绝对时间本身，更没有把它和物理定律的协变性联系起来。他依然相信以太，相信绝对时空。

而爱因斯坦，要走得更远。

这个念头像一道闪电一样划过他的脑海。

如果每个参考系都有自己的真实时间，那会发生什么？

最直接的后果就是：同时性是相对的。

在一个参考系里同时发生的两件事，在另一个参考系里，可能就不是同时的。

这是整个狭义相对论最核心的突破，也是最难理解的地方。

我们来做个思想实验，就是那个经典的火车闪电实验。

假设一列很长的火车，以速度v匀速行驶。

在某个时刻，地面上的人看到两道闪电同时击中了火车的车头和车尾。击中的时候，车头和车尾在地面上的位置分别是A点和B点，火车的中点正好在地面AB的中点M。

地面上的人为什么觉得是同时的？因为两道闪电的光同时到达了M点。M是中点，光走的距离一样，速度一样，所以时间一样，说明闪电是同时发生的。

那火车上的人呢？火车的中点是M'，在闪电击中的瞬间，M'和M是重合的。

但火车在往前开啊。在光传播的这段时间里，火车往前移动了一段距离。所以，车头的闪电发出的光，会先到达M'点；车尾的闪电发出的光，会后到达M'点。

火车上的人站在M'点，他会先看到车头的闪光，后看到车尾的闪光。

现在问题来了：火车上的人，会认为这两道闪电是同时发生的吗？

你可能会说：当然不是同时啊，因为火车在动，所以光到达的时间不一样。

但等一下，站在火车的角度，火车是静止的啊。根据相对性原理，火车上的人完全可以认为自己没动，是地面在往后退。

而且，火车上的人测到的光速也是c，和地面上一样。因为光速不变。

那对于火车上的人来说，M'是火车的中点，车头到M'和车尾到M'的距离是一样的，光速也一样，那光走的时间就应该一样啊。

现在光没有同时到达，那只能说明一件事：两道闪电不是同时发生的。车头的闪电先发生，车尾的后发生。

看到没有？同样的两件事，地面上觉得是同时的，火车上觉得不是同时的。

谁对？都对。

因为同时性是相对的。每个参考系都有自己的时间，每个参考系都有自己的同时标准。

没有绝对的“同时”，就像没有绝对的“静止”一样。

这就是爱因斯坦的突破。

以前所有人都默认时间是绝对的，同时是绝对的，所以光速不变和相对性原理看起来矛盾。

但如果同时性是相对的呢？如果每个参考系的时间本来就不一样呢？

那这两个原理就一点都不矛盾了。

想通了同时性的相对性，爱因斯坦瞬间就豁然开朗了。

困扰了他一年的死局，就这么解开了。

洛伦兹的地方时，根本不是什么数学技巧，它就是运动参考系里的真实时间。

每个惯性系都有自己的时间，用自己静止的时钟来测量；

两个事件是否同时，取决于你在哪个参考系里看；

时间和空间不是分开的，它们是联系在一起的。

一旦接受了这个设定，相对性原理和光速不变就完美兼容了。

我们再回头看那个矛盾：为什么光速在所有参考系都一样？

因为时间和空间会一起变化，保证光速不变。

速度快的参考系，时间会变慢，长度会收缩，刚好把速度的差异抵消掉，最后测出来的光速还是c。

就像洛伦兹的对应态定理里写的那样，坐标和时间一起变，电磁定律的形式就不变。

只不过洛伦兹以为那是数学技巧，而爱因斯坦发现，那是真实的时空变换。

想通了这一点，剩下的事情就简单了。

爱因斯坦以两个基本假设为出发点：

1. 相对性原理：所有物理定律在所有惯性系中都具有相同的形式；
2. 光速不变原理：真空中的光速在任何惯性系中都是恒定的c，与光源和观察者的运动无关。

从这两条出发，他只用了几周的业余时间，就推导出了一整套全新的时空变换关系，包括时间膨胀、长度收缩、速度叠加公式等等。

这套变换，就是我们现在说的洛伦兹变换。

没错，名字叫洛伦兹变换，因为洛伦兹1904年就先写出了这个公式。但两者的物理意义天差地别：

洛伦兹是为了解释实验，凑出了这个变换，他相信绝对时空，相信以太，变换只是数学工具；

爱因斯坦是从两个基本原理推导出来的，他抛弃了以太，抛弃了绝对时空，这是时空本身的变换。

一个是修修补补的经验公式，一个是全新时空观的必然结果。

这就是为什么说，是爱因斯坦创立了相对论，而不是洛伦兹。

1905年6月，爱因斯坦完成了论文《论动体的电动力学》，发表在《物理学年鉴》上。

这篇论文里，他没有引用任何文献，没有提到任何学术大牛，只在最后感谢了他的朋友和同事贝索。

这一年，爱因斯坦26岁。

很多人提起相对论，第一反应就是尺缩、钟慢、双生子佯谬这些新奇的效应，觉得相对论就是讲这些反常识现象的。

但其实，这些都只是相对论的推论，不是核心。

狭义相对论的核心，是洛伦兹协变性。

什么意思？就是所有的物理定律，在洛伦兹变换下，数学形式保持不变。

我们对比一下：

牛顿力学，满足伽利略协变性，在伽利略变换下形式不变；

电磁理论，满足洛伦兹协变性，在洛伦兹变换下形式不变。

你看，麦克斯韦方程组其实天生就是洛伦兹协变的，它不需要修改，天然就符合相对论。所以我们从来不说“相对论电磁学”，因为电磁学本来就是相对论的。

但牛顿力学不行，它只满足伽利略协变性，不满足洛伦兹协变性。所以牛顿力学需要修改，要把它改造成满足洛伦兹协变性的形式，这就是相对论力学。

比如动量，牛顿力学里动量p=mv，这个定义在洛伦兹变换下不守恒，也不协变。

那怎么办？修改动量的定义，变成p=γmv，其中γ=1/√(1-v²/c²)，这样动量守恒定律就具有洛伦兹协变性了。

再比如质量，牛顿力学里质量是不变的。但相对论里，质量会随着速度增加而变大，也就是质增效应。其实这也是协变性的要求。

还有那个最著名的质能方程E=mc²，也是协变性的必然结果。

很多人以为质能方程说的是“质量可以转化成能量”，其实不准确。

它真正的意思是：质量和能量本质上是一回事，是同一个东西的两种表现形式。物体的静质量对应着静能，动能对应着动质量，它们是统一的。

哪怕是一个静止的物体，它的质量里也蕴含着巨大的能量。核聚变、核裂变，释放的其实是原子核内部的结合能，质量亏损只是静质量减少了，总能量还是守恒的。

所以你看，相对论不是凭空搞出一堆新奇效应，它其实是一个“对称性”原理。它要求所有物理定律都要满足洛伦兹变换下的对称性。

谁符合，就留下；谁不符合，就修改谁。

牛顿力学不符合，所以升级成相对论力学； 电磁理论符合，所以直接保留。

这才是相对论的真正威力。它像一个裁判，拿着洛伦兹协变性的尺子，去衡量所有的物理定律。

后来的量子力学，薛定谔方程不满足洛伦兹协变性，所以是非相对论量子力学，只能在低速下用。后来狄拉克把它改造成满足洛伦兹协变的狄拉克方程，就成了相对论量子力学。

再后来的量子场论，标准模型，都是建立在洛伦兹协变性的基础上的。

从这个角度说，相对论不是一个具体的理论，更像一个框架，一个所有物理理论都必须遵守的规则。

讲完了相对论的诞生，我们再回头看一个问题：迈克尔逊-莫雷实验，到底对爱因斯坦创立相对论有多大影响？

爱因斯坦自己多次说过，影响很小。甚至他在写论文的时候，都不确定自己有没有详细了解过这个实验。

很多人觉得不可思议：这么重要的实验，怎么可能没影响？

因为爱因斯坦走的路，和当时的物理学家们不一样。

当时的主流做法是归纳法：先做实验，得到实验结果，然后根据结果提出理论，去解释实验。

洛伦兹就是典型，为了解释迈克尔逊-莫雷实验，提出长度收缩假说，然后凑出洛伦兹变换。理论是为了解释实验服务的。

但爱因斯坦不这么干。他走的是演绎法。

他先从哲学和对称性出发，认定相对性原理是普遍的，是宇宙的基本规律。然后把它提升为公设，再加上光速不变原理，从这两个最基本的原理出发，一步步推导出整个理论体系。

就像欧几里得几何学，从五条公设出发，推导出整个几何大厦。

爱因斯坦在《自述》里写过： “渐渐地我对那种根据已知事实用构造性的努力去发现真实定律的可能性感到绝望了。我努力得越久，就越加失望，也越加相信，只有发现一个普遍形式的原理，才能使我们得到可靠的结果。”

他对那种被实验牵着鼻子走的归纳法，感到绝望。他相信，宇宙一定是按照某种简单、对称的原理运行的。找到这个原理，就能推导出一切。

所以，迈克尔逊-莫雷实验对他来说，最多就是一个佐证，证明了二阶效应也看不到以太风，符合相对性原理。但有没有这个实验，他都会坚信相对性原理是对的。

这也是为什么他反复强调，迈克尔逊-莫雷实验对他创立相对论没什么影响。他怕大家误以为，光速不变是从这个实验里归纳出来的。

不是的。光速不变是相对性原理和麦克斯韦方程组的必然推论，是原理性的，不是实验性的。

这种从归纳到演绎的转变，是爱因斯坦带给物理学的一场方法论革命。

后来他创立广义相对论，走的也是同样的路：从等效原理出发，靠思想实验和数学推导，建立起整个理论，而不是从实验数据里凑。

甚至在广义相对论发表之后，爱丁顿去观测日全食验证的时候，爱因斯坦都很淡定。他说如果观测结果和理论不符，他会为上帝感到遗憾，因为理论肯定是对的。

这不是狂妄，是对演绎法、对原理的信心。

1905年被称为爱因斯坦的奇迹年。

这一年他发表了四篇划时代的论文，分别关于光电效应、布朗运动、狭义相对论、质能方程。

每一篇都足够拿一个诺贝尔奖。

但狭义相对论刚发表的时候，并没有立刻引起轰动。很多物理学家看不懂，或者不接受。

洛伦兹直到去世，都还坚持以太的存在。他觉得爱因斯坦的理论只是数学上的巧思，不是真实的物理。

庞加莱，这位差一点就摸到相对论门槛的数学大师，直到去世都没有完全接受相对论。

但真理不会被埋没。随着越来越多的实验验证，狭义相对论慢慢成了物理学的基础。

时间膨胀被宇宙线中的μ子衰变实验证实，高速运动的μ子寿命比静止的长，刚好符合相对论的预言；质能方程被核物理证实，原子核的质量亏损精确对应着释放的能量；洛伦兹协变性成了所有物理理论的准入标准。

直到今天，我们的卫星导航还在用到相对论修正。

卫星在天上高速运动，时间会变慢，同时引力也更弱，时间会变快，两者加起来每天有几十微秒的误差。如果不修正，导航定位会偏出去好几公里。

粒子加速器的设计必须考虑相对论效应，半导体、激光这些技术，背后也都有相对论的影子。

但爱因斯坦并没有停下脚步。

狭义相对论解决了惯性系的问题，但还有两个更大的问题： 一个是引力，牛顿的万有引力是超距作用，不满足洛伦兹协变性，没法纳入相对论框架； 另一个是惯性系，到底什么是惯性系？为什么惯性系这么特殊？相对性原理为什么只适用于惯性系？

这两个问题，最终引导爱因斯坦创立了广义相对论。

那又是另一个，长达十年的思考故事。

最后我们再回到开头的问题：爱因斯坦到底是怎么想出相对论的？

是因为他比别人聪明吗？肯定有这方面的原因。但更重要的是，他敢于质疑所有人都习以为常的常识。

绝对时间，绝对空间，以太，这些在当时看来天经地义的东西，他敢去怀疑，敢去推翻。

当所有人都在忙着给旧理论打补丁的时候，他敢推倒重来，从最基础的概念开始重建。

他说过一句很有名的话：“想象力比知识更重要。”

很多人把这句话当成鸡汤，但放在相对论的诞生里，这句话无比贴切。

知识是别人已经发现的东西，想象力是能打破旧框架的东西。

洛伦兹有知识，但他跳不出绝对时空的框架； 马赫有批判，但他没能建立起新的体系； 只有爱因斯坦，用十年的思考，打碎了旧的时空观，亲手为人类打开了新世界的大门。

而这一切的起点，只是一个16岁少年的奇思妙想： 如果我以光速去追一束光，会看到什么？