你有没有过这种体验：坐在一列停在站台的火车上，旁边还有一列火车。
突然你感觉自己的车动了，抬头一看，原来是旁边那列车在走。那一瞬间你分不清到底是谁在动。
别觉得这是你眼神不好。
早在四百年前，就有个叫伽利略的意大利老爷子跟你想到一块儿去了。
只不过人家琢磨出来的东西，最后被一个在瑞士专利局上班的年轻人接住，反手就把整座物理大厦的地基给拆了重装。
这个年轻人叫阿尔伯特·爱因斯坦。
今天咱们不堆公式，就聊聊他到底是怎么一步一步想到相对论的。
或者更准确地说，他是怎么在所有人都觉得"这还用想？"的地方，硬生生多看了一眼。
先聊个最无聊的事：你怎么知道自己在动？
这事说起来其实特别欠揍。
古希腊那帮人天天晚上抬头看星星，看来看去就觉得：天嘛，围着我们转呗。我们站在地上踏踏实实的，哪有在动？
这个想法实在太顺理成章了，以至于托勒密把它搞成了一套完整的宇宙模型，地球居中，各种天体套着水晶壳一层一层往外转。
虽然这个模型算起来复杂得要死，但架不住它跟人的直觉严丝合缝。
这个地心说能霸占西方思想界一千多年，不光是因为它符合直觉。
后来罗马教会把它收编了，人在宇宙中心嘛，那上帝造人当然是头等大事。有了权力站台，谁还敢随便质疑？
不过咱们今天不聊这些题外话。
其实在托勒密之前，古希腊也有人琢磨过"会不会地球在动"这事儿。
比如毕达哥拉斯学派的人就提过，说地球可能绕着太阳转。
但这个想法有个致命的软肋：你说地球绕太阳转，那我往上跳一下，落地的时候地面应该已经往东跑出去老远了吧？怎么还站在原地？
这个问题在没有惯性概念的年代，简直是个无解的死结。
你想反驳它，得先有一整套关于运动和力的理论工具。
那时候这些工具连影子都没有。
后来哥白尼在1543年临死前出了本书，正式把日心说摆上台面。
模型一下子简单多了，火星逆行这种以前要靠加一堆"本轮"才能解释的怪现象，立刻就变得顺理成章。
但那个"跳起来为什么还落回原地"的老问题，还是没人能正面回答。
伽利略就是来填这个坑的。
他写了一本很厚的书，书名就长得够呛，大意是关于托勒密和哥白尼这俩世界体系的对话。书里他设计了一个特别妙的思想实验
把你关进一条大船的船舱里，窗户全封死，你看不见外面。你在舱里蹦跶、看水滴往下掉、看鱼缸里的鱼怎么游、看蝴蝶怎么飞。
然后他问了一个致命的问题：你能靠这些舱里的事情，判断出这条船是停着还是在水面上匀速溜达吗？
他自己给出的答案是：不能。
不管船是静止还是匀速直线走，你在舱里做的所有力学实验，跳多远、水滴落在哪、水面平不平，结果全都一模一样。
你要是想靠这个来判断船动不动，门儿都没有。
你现在坐那种特别稳的直梯电梯，安静得几乎听不见电机声，不看楼层数字的话，你分得清电梯是停着还是在匀速往上爬吗？分不清的。
飞机平飞的时候你在机舱里倒杯水，水不会因为飞机一小时飞九百公里就往后飘，对吧？你在高铁上往上扔个笔，笔还是落回你手里，不会砸到后面乘客的脑袋。
伽利略把这个结论往前推了一大步：任何地方，只要你是在做匀速直线运动，跟你待在原地不动，物理定律没有任何区别。你没有任何办法，纯靠做实验，判断出自己到底是"真的静止"还是"在匀速跑"。
这就是后来被叫做"伽利略相对性原理"的东西。
听起来就一句话，但它直接把哥白尼从泥潭里拉了出来：你不是说地球在转吗？对啊，可你在地球上做实验也测不出来地球在动啊，因为匀速运动和静止本来就分不出来嘛。
那个困扰了日心说一千多年的"跳起来为什么不往后掉"的难题，就这样被化解了。
再往深了说一层：描述运动总得选个参照物吧？你选路边的树也好，选旁边的车也好，想怎么选怎么选。
但只要你选的参照物本身是静止或者匀速走的（这种参照物后来叫惯性系），那物理规律对它们一视同仁，谁也不特殊。
这个道理后来被牛顿全盘接走，写进了他的力学体系里。
牛顿自己心里还有个更深的信念：空间就像一个巨大的、一动不动的空盒子，时间就像一条均匀流淌的河，跟里面装了什么东西、怎么动，半毛钱关系都没有。
这个信念太自然了，自然到根本没人觉得需要去证明它。
牛顿自己其实也知道这个东西没法直接观测到，但他觉得上帝肯定安排了这么个绝对空间，不然物理定律就没个准头了。
然后事情就起变化了。
要讨论两个参考系之间的关系，你总得有个数学工具来换算吧？
这个工具说起来特别简单。
假设地面是S系，一列火车是S'系，火车沿着x方向以速度v匀速往前开，俩坐标系的原点在t=0的时候刚好重合。
那同一个东西，在地面上的坐标是(x,y,z,t)，在火车上的坐标是(x',y',z',t')，它们之间的关系写出来就是：
x' = x − vt，y' = y，z' = z，t' = t。
前三个式子你拿脑子一想就能明白，火车往前走，所以同样一个东西，你在火车上量到的x坐标，比地面上量到的少了vt这么一截。y和z方向火车没动，所以不变。
最后这行t' = t最关键。
它说的是：不管你在哪个参考系里，时间都是同一把尺子量出来的。
你的钟和我的钟，只要都是好的，走起来就一模一样。
这不是废话吗？
咱们平时去火车站接人，不就是这么对表的？你在火车上看现在是下午三点，我在站台上看也是下午三点，俩人手一对就完了，谁也不会觉得这里面有什么问题。
这套东西就是大名鼎鼎的伽利略变换。
它看起来完全是常识的自然延伸，空间是个硬邦邦的盒子，时间是一条匀速的河，两件事加加减减就出来了。
这套变换有个特别好用的性质：你拿牛顿第二定律F=ma去套，从S系变到S'系，方程的形式纹丝不动。
为什么呢？
因为你把x' = x − vt对时间求一次导，得到速度关系u' = u − v；再求一次导，因为v是常数，加速度a' = a。质量m不变，力F也不变，所以F=ma到哪个参考系都是F=ma。
物理学家管这个叫"协变性"，物理量全都在变，但它们之间的关系不变。
就好比你们俩一起变老，头发都白了，皱纹都多了，但你们俩之间的朋友关系一点没变。
牛顿力学体系里所有定律都有这个性质，所以伽利略变换跟牛顿力学是绝配，俩人搭档了两百多年，没人觉得有什么不对。
一切看起来都完美无缺，直到詹姆斯·克拉克·麦克斯韦登场。
麦克斯韦这个人，在物理学史上的地位跟牛顿是一个量级的。
他干的事情，相当于把当时东一榔头西一棒子的电磁学实验结果，库仑定律、安培定律、法拉第电磁感应，全部拧成了四个紧凑的方程。
这四个方程写出来，不但把电和磁统一了，还顺手预言了一件谁都没想到的事。
什么事呢？
他解这组方程的时候发现，电磁场的扰动会以波的形式在空间里传播。
把这个波的传播速度算出来，代入真空介电常数ε₀和真空磁导率μ₀，得到的数值大约是每秒31万公里，这跟当时物理学家测出来的光速（每秒约30万公里）几乎一模一样。
麦克斯韦当时就打了个寒颤，然后写下了那句著名的结论：光，就是一种电磁波。
这个预言后来被赫兹在实验室里实打实做出来了，他弄出了无线电波，量了它的反射、折射、干涉，跟光的行为一模一样。
麦克斯韦方程组从此封神。
但真正让后来的物理学家坐不住的，是一个特别要命的推论：
电磁波的速度c，在麦克斯韦方程组里就是1除以根号下ε₀μ₀。
ε₀和μ₀是什么？是真空的两个常数，听名字就知道是跟真空有关的、不随参考系变化的量。
那好，既然麦克斯韦方程组是物理定律，按照伽利略相对性原理，它在任何惯性系里都应该长一个样。那它算出来的光速c，在任何惯性系里也都应该是同一个值。
可这就跟伽利略变换撞上了。
按伽利略那套速度叠加，你在火车上往前打一束光，地面上的人测到的光速应该是c+v；你往后打一束，就应该是c−v。
只有当火车停着不动的时候，光速才等于c。
现在你跟我说不管在哪个参考系，光速都一模一样？这不是明摆着打架吗？
这就好比你在行驶的高铁上向前扔一个球，按常识地面上的人看到球速是车速加球速。
可现在麦克斯韦告诉你：球不管在哪扔，测出来的速度都是一样的，跟车动不动没关系。
你说离谱不离谱？
摆在十九世纪末物理学家面前的路好像就两条：要么麦克斯韦方程组错了，要么伽利略相对性原理只管力学，管不着电磁学。
第一条路没人敢走。
因为麦克斯韦预言的电磁波后来被赫兹实打实做实验给造出来了，方程准得吓人。那剩下的就只能是第二条：麦克斯韦方程组只在某一个特殊的参考系里成立。
那这个特殊参考系是个啥呢？
当时的人是这么想的：波总得在介质里传播吧？水波在水里，声波在空气里，那光波呢？总得有个东西让它"晃"吧？
于是大家就给光的传播介质起了个名字，叫"以太"。
以太这东西说起来玄乎：它无处不在，充满整个宇宙，绝对静止，看不见摸不着没有质量，连阻力都没有，光就在它里面像水波一样荡来荡去。
麦克斯韦方程组，只在以太这个绝对静止的参考系里才严格成立。地球不是以太，地球在以太海里头穿来穿去，所以麦克斯韦方程组在地面上只是近似成立，换个匀速运动的参考系就不对了。
这个方案在当时看来是最顺理成章的，两边都不得罪。
伽利略相对性原理继续管你的力学，麦克斯韦方程组老老实实待在以太系里，井水不犯河水。
但问题是，以太这个东西从头到尾就没人真正看见过它。
你说它存在，那你倒是测一个出来给大家看看啊。
地球一边绕太阳转，一边就在以太海里头穿来穿去。那我们在地球上，应该能感受到一股"以太风"迎面吹来才对，就像你坐在敞篷车里，就算没风，你也能感觉到风往脸上拍。
找以太风这个任务，落在了两个美国人头上：迈克尔逊和莫雷。
这个实验难在哪呢？
麦克斯韦生前就写过一封信，给当时的美国航海年历局托德局长，里面算了一笔账：地球绕太阳转的速度大概是每秒30公里，光速是每秒30万公里，两者差了一万倍。
你要测以太风对光速的影响，那个差异大概是v²/c²，也就是一亿分之一的量级。这就相当于你站在北京量一根头发丝的直径，要求误差不超过一根头发丝的千分之一。
麦克斯韦本来觉得这个精度根本达不到，这事可能永远测不了。
结果迈克尔逊不信这个邪，他发明了一种干涉仪，专门用来做这种极端精密的测量。
他的思路是这样的：让一束光射到一个半镀银的镜子上，分成两束。一束顺着以太风方向来回跑，一束横着跑。
两束光走的距离一样长，如果以太风真的存在，那顺着风跑的那束光，出去的时候顺风、回来的时候逆风，花的时间会比横着跑的那束稍微多一点点。最后两束光在终点重新汇合，就会产生干涉条纹。
如果整个仪器转90度，两臂互换，那两束光的时间差就会反过来，干涉条纹应该挪一个位置。
迈克尔逊从1881年在柏林开始做，后来跟莫雷合作，仪器越做越精密，还把整个装置浮在水银槽上，这样转起来几乎没有摩擦。
他们从1887年开始正式观测，日以继夜地测，白天测、晚上测、中午测、半夜测，转来转去地测。
结果呢？条纹根本不动。
不管你怎么转、怎么测，该是啥样还是啥样。地球相对以太的速度？零。连预期值的零头都不到。
这个结果把所有人都整不会了。
迈克尔逊自己都觉得这个实验是个失败，他本来是打算证明以太存在的，结果跑出来个零蛋。他后来很多年都不愿意多提这个实验，觉得白忙了一场。
可历史后来跟他开了个大玩笑：这个"失败"的实验，成了物理学史上最著名的失败实验。
诺贝尔委员会后来给迈克尔逊发诺贝尔奖，特别提到了这个光学精密仪器的工作，虽然他们当时还没完全搞明白这个零结果意味着什么。
这里得插一句：实验没测出以太风，不等于以太不存在。就像你坐在关着窗的汽车里感觉不到外面的风，不代表车外面没有风，可能是你这车太密封了。当时大多数物理学家是这么给自己找台阶下的。
这时候要出场的这个人，叫亨德里克·洛伦兹。
荷兰物理学家，德高望重，后来爱因斯坦都得管他叫前辈。高中物理课本里那个带电粒子在磁场中受的力F=qvB，就是以他命名的。
洛伦兹是真信以太的。他为了把迈克尔逊-莫雷实验的结果跟以太假说捏到一块儿去，想出了一个特别有想象力的招。
他说：物体在沿着运动方向上，长度会自己缩短。
缩多少呢？原长是l，以速度v跑起来之后，顺着运动方向的长度就变成l乘以根号下(1−v²/c²)。
这样一来，顺着以太风方向走的那一臂干涉仪刚好缩短了那么一点点，把光多花的时间给补回来了，所以条纹自然就不动了。
这个解释在数学上严丝合缝，实验结果完美对上。
洛伦兹还信誓旦旦地说，这个缩短是真真切切的物理收缩，是物体内部分子力在以太的压力下被挤短了。
与此同时他还在干另一件事。
他发现，如果想让麦克斯韦方程组在两个相对运动的参考系里都保持一样的形式，伽利略变换是不管用的，得换一套坐标换算公式。
他真的把这套公式凑出来了，里面有时间跟空间坐标混在一起的项，有一个叫γ的系数，等于1除以根号下(1−v²/c²)。
他甚至还引入了一个"本地时间"t'的概念，跟真实时间t不一样，只是个数学辅助量。
但洛伦兹打心底里觉得，公式里那个带撇的时间t'根本不是什么"真实的时间"。
他管它叫"本地时间"，觉得这就是个数学上的花招，跟真钟上读出来的时间不是一回事。
真正的时间，是那个绝对的、到处都一样的t。以太系才是那个真正静止的、配得上用绝对时间的参考系。
结果你猜怎么着？
后来的实验证明，物体沿着运动方向的长度收缩，并不是什么分子力被以太挤了，根本没有以太这回事。而他那个"本地时间"，才是真正的宝藏。只是他自己没认出来。
这个局面特别像什么呢？
就像你做一道数学大题，答案已经写在黑板上了，你为了凑出那个答案，硬把解题过程给编了出来。
过程里每一步在数学上都对，但你自己心里也清楚，你根本不知道这些步骤到底是什么意思。
洛伦兹自己后来也承认，他就是"看着答案凑过程"。
庞加莱，那个法国数学全才，在旁边还帮着补了几刀：他指出洛伦兹搞出来的那个两步变换其实可以合成一步，那个待定的比例系数k应该等于1。他甚至还隐隐约约感觉到，相对性原理可能是普适的，以太这东西可能真的观测不到。但他最终也没有迈出那关键一步：他不敢真的抛弃绝对时间。
洛伦兹就是这个状态。
公式他凑出来了，庞加莱帮着修修补补，但他们俩都还站在旧世界的院子里，隔着院墙往新世界看了一眼，没推门进去。
为什么呢？
因为推开门就意味着要承认时间本身不是绝对的：这个代价太大了，大到他们这一辈人谁都下不了这个手。
现在主角该上场了。
1905年的爱因斯坦，不是什么大学教授，也不是什么科学院院士。他是瑞士伯尔尼专利局的一个三级技术员，每天的工作是审专利申请书，电灯的、发电机的、电磁铁的、新型时钟同步装置的，五花八门。
他大学毕业之后曾经找不到教职，跟老师关系也不好，最后靠同学格罗斯曼他爹托关系才混上这么个差事。
但就是这么个边上班边琢磨物理的年轻人，在这一年里一口气发了四篇论文，每一篇都够拿一次诺贝尔奖。
其中一篇是说光电效应的（后来真的拿诺奖就是靠这个），一篇是说布朗运动的，一篇是推导质能方程E=mc²的短札记，还有一篇，就是后来的狭义相对论。
他是怎么走上这条路的呢？不是坐在那里凭空开脑洞。
有好几个事情在他脑子里同时转着：
第一件，是电磁感应那个事儿。你拿一块磁铁插线圈，线圈里就出电流。按地面上的人看，磁铁在动，磁场扫过导线，产生动生电动势；可如果你坐在磁铁上跟着一起动，在你看来磁铁没动，是线圈在朝磁铁走，那就是磁场变化产生的感生电动势。
这两种说法在法拉第定律的框架下算出来结果一模一样。但当时的理论非要把它们分成"动生"和"感生"两种本质不同的东西。
爱因斯坦后来在狭义相对论那篇论文的开头就专门说了这个事，他觉得这种区分特别别扭。
明明物理结果是一样的，凭什么因为你站在哪个参考系看，就硬是给分成两种不同的物理过程？他觉得这背后一定有更深的东西。
第二件，是所有那些找以太风的实验，不管精度多高，结果都是零。
这不就是在说：你根本没办法用任何电磁学或者光学实验，判断出自己到底是相对以太静止还是在匀速运动吗？这话听着耳熟不？这不就是伽利略相对性原理在电磁领域的翻版吗？
既然你在力学实验上做不出区别，在光学实验上也做不出区别，那凭什么还留着以太这个特殊参考系？
第三件，得归功于一个叫马赫的奥地利佬。
马赫把牛顿那套绝对空间、绝对时间批得体无完肤。
他说你牛顿拿桶水旋转说事，说水面凹下去是因为水相对绝对空间在转，可你凭什么说那是相对绝对空间在转？你能观测到的，只有水桶和遥远恒星之间的相对转动罢了。
绝对运动这个东西，从原理上就观测不到，那它凭什么存在？一个观测不到的东西，你说它存在，跟说它不存在，有什么区别？
这番话像锤子一样敲在爱因斯坦脑门上。
对呀，既然观测不到绝对运动，那凭什么以太系就特殊？凭什么它就能当那个"真正静止"的参考系？
于是爱因斯坦做了一个在当时胆大包天的决定：他直接把以太扔了。
以太这东西，从始至终就没人真正看见过它。既然所有实验都找不到它，那留着它干嘛？
既然它的唯一作用就是给某个特殊参考系撑腰，而我们又压根测不出哪个参考系特殊，那干脆不要它。世界上没有什么特殊的"绝对静止"参考系，所有惯性系全都是平等的。
他把伽利略相对性原理的适用范围，从"力学实验"一下扩大到了"所有物理定律"，不管是力学的、电磁学的、光学的，任何惯性系全都是平权的，谁也别搞特殊。
这个口号喊出来容易。
但问题是：你喊完了，麦克斯韦方程组跟伽利略变换那个矛盾怎么办？按伽利略变换推，光速在不同参考系里就该不一样；按麦克斯韦方程组推，光速就应该在所有参考系里都一样。
你总得选一个吧？
爱因斯坦的选择是：麦克斯韦方程组是对的，光速在真空中对任何惯性系都一样，跟光源怎么动没关系。
那错的只能是伽利略变换。
可伽利略变换是从绝对时空观里直接长出来的。
动伽利略变换，就等于动绝对时间，那个我们每个人打心底里觉得天经地义、从来没想过要怀疑的东西。
爱因斯坦后来跟人说，他在这个问题上卡了差不多一年。
他知道洛伦兹做出来的那些公式，也知道"本地时间"这回事。
但洛伦兹本人不把这个时间当回事，觉得是数学把戏。
爱因斯坦越琢磨越觉得不对劲，如果真的放弃以太、真的让所有惯性系平权、真的让光速在所有参考系里都不变，那时间本身，一定出了什么我们没注意到的问题。
他翻来覆去地想：我们平时说"两件事同时发生"，这句话到底是什么意思？我怎么知道这两件事是同时的？
比如我看一眼表，说"现在三点钟"，这个"现在"是什么意思？不就是说"我看到表的指针指到三点"这件事，跟我脑子里"现在是三点"这个想法，是同时发生的吗？
可光从表盘传到我眼睛里，本身也需要时间啊！
这个问题越想越深。
你要判断远处某件事跟你身边的某件事是不是同时，你总得收到远处那件事的信号吧？这个信号传过来需要时间，而信号的速度是有限的，光速虽然快，但毕竟不是无穷大。
那在这段传播时间里，你自己可能已经动了。
那你说的"同时"，到底是跟谁同时？
突破口来得特别偶然。
1905年五月的一天，他去找自己的好朋友贝索，也是专利局的同事，聊这个难题。俩人东拉西扯了半天，从马赫聊到洛伦兹，从麦克斯韦聊到迈克尔逊-莫雷实验。
爱因斯坦突然像被雷劈了一样，想通了一件事。
第二天他再见到贝索，第一句话就是："谢谢你，我完全搞明白了。"
他搞明白的那个东西，说出来特别朴素：时间不是绝对的。"同时"这事儿，是跟你站在哪个参考系里有关系的。你在地面上觉得同时发生的两件事，在火车上的人看来，压根不是同时的。反过来也一样。
他是这么想的：
我们凭什么说两件事"同时发生"？
比如车头遭了一个雷击，车尾也遭了一个雷击，你说这俩雷击是同时的。
你怎么确认的？你得看到光信号传到你眼睛里，对吧？你站在地面上，刚好在车头车尾两点的正中间，两道光同时传到你眼里，于是你宣布：两雷同时打。
这个判断没毛病。
现在假设一列火车正匀速往前开。雷击那一瞬间，车头刚好经过地面上的A点，车尾经过地面上的B点。地面上的人站在AB中点M'，看到两道闪光同时到，他说同时。
那火车里的人呢？他也站在火车中点M处。
问题是，在光往他眼睛跑的那一小段时间里，他本人跟着火车往前挪了一截。所以从车头打过来的那道光，是迎着他脸过来的，路程短；从车尾追过来的那道光，得追着他跑，路程长。
按牛顿的想法，车头那束光因为火车在动，光的速度会加上火车的速度，变得更快；车尾那束光速度会减一点。
这么一增一减，路程的长短差就被速度的增减给抵消了，所以火车上的人也会觉得"同时"。
这就是牛顿那套绝对时间的逻辑，先预设了两雷在火车系里也同时，然后用速度叠加去凑结果。
可爱因斯坦说不对。
光速在任何参考系里都是c，不会因为火车在动就变快变慢。车头那束光和车尾那束光，跑起来都是每秒三十万公里。
但火车上的人在往车头方向挪啊，所以车头那道光先到他眼里，车尾那道光后到。
于是火车上的人就会下结论：先打的是车头的雷，后打的是车尾的雷。
地面上的人说同时，火车上的人说不同时。谁对？
都对。
因为这俩参考系是平权的，没有哪个比哪个更"正宗"。
你觉得同时，他觉得不同时，这俩结论之间没有矛盾，你们看到的就是不同的东西，因为你们运动状态不一样。
这一下就把牛顿那个"时间到处都一样"的信念给捅穿了。
你以前觉得t' = t是天经地义的，凭什么？
因为你从来没想过，"一件事在某时某地发生"这个判断本身，是要靠光信号来确认的；而光信号跑过来需要时间；你跟另一个参考系之间还有相对运动。
这些因素摞一块儿，"同时"就不再是一个放之四海皆准的判断了。
据说爱因斯坦后来回忆，他就是在跟贝索聊完的那个晚上，一切突然就顺了。
以前那些拧巴的地方，洛伦兹为什么要搞出个"本地时间"、迈克尔逊-莫雷为什么测不出以太风、电磁感应为什么动生感生算出来一样，全串起来了。
第二天他就开始写论文，六周之后那篇划时代的稿子就寄给了《物理学年鉴》。
既然时间不是绝对的，那伽利略变换x' = x − vt、t' = t这套东西就肯定不对了。
新的变换公式应该长什么样？
爱因斯坦是从两条基本假设出发重新推的：
第一，物理定律在所有惯性系里都一样；
第二，真空中光速在任何惯性系里都恒为c。
就这两条，别的什么以太啊、绝对空间啊，全扔掉。
推出来的结果，跟洛伦兹当年凑出来那套公式，居然在数学上一模一样。
t' = γ(t − vx/c²)，x' = γ(x − vt)，y' = y，z' = z。其中γ = 1除以根号下(1 − v²/c²)。
但意义完全不一样了。
洛伦兹是把这堆公式当数学技巧，用来给麦克斯韦方程组打补丁；他心里那个真正的时间还是绝对时间t，t'是个假的辅助量。爱因斯坦是从"同时是相对的"这个物理事实出发，正儿八经推出来的。
t'就是火车参考系里真实的时间，没有真假之分。你在火车上拿真钟测出来的时间，就是t'；我在地面上拿真钟测出来的时间，就是t。
俩都是真的，只是不一样而已。
这套公式后来被叫做洛伦兹变换。
为啥叫洛伦兹不叫爱因斯坦？因为数学形式确实是洛伦兹先写出来的，庞加莱还帮着补全了。
但爱因斯坦是第一个真正理解它在说什么的人。
洛伦兹自己后来也特别豁达，说这东西叫洛伦兹变换就叫吧，反正真正看懂它的人不是我。
他还在自己的书里写道，爱因斯坦的贡献在于：他把我们当成数学符号的那个"本地时间"，当成了真正的时间来理解。
那这个新变换跟伽利略变换是啥关系？
其实是父子关系。当两个参考系之间的相对速度v远远小于光速c的时候，v²/c²这个项小到可以忽略不计，γ就约等于1。这时候x' ≈ x − vt，t' ≈ t，伽利略变换就从洛伦兹变换里自然退出来了。
换句话说，牛顿力学不是错了，它只是低速条件下的一个特别好用的近似。
人类平时的速度，开车一百多公里每小时，坐飞机九百公里每小时，绕卫星转每秒七八公里，跟光速每秒三十万公里比，v²/c²小得可怜，γ跟1差的那点位数，你拿最精密的仪器都量不出来。
所以我们日常生活里用牛顿力学，一点毛病没有。
但一旦速度上去了，比如接近光速的基本粒子，或者北斗卫星上的钟，那点差别就不能装看不见了。
北斗卫星在天上飞，地面上的导航APP能精确定位到你走在哪条车道上，背后就得把相对论效应算进去。
卫星上的钟因为在高速运动，走得比地面上慢一点点；同时因为卫星在高空，引力场比地面弱，根据广义相对论钟又会走得快一点点。这两个效应加起来，每天累积起来能差出几十微秒。
别小看这几十微秒，光速那么快，几十微秒对应的距离就是好几公里。
不做相对论修正的话，你的导航十分钟就能把你导到沟里去。
所以相对论不是什么飘在云端的玄学，它是真的在你手机里天天干活的。
洛伦兹变换出来之后，一些以前想都不敢想的结论就自动冒出来了。
比如你拿一个钟，放在相对你高速运动的飞船上。你在地面上看那个钟，会觉得它走得比你手边的钟慢。这个效应叫时间膨胀。
飞船上的人自己可不会觉得钟慢了，他在他的参考系里，一切正常。是你站在地面上看他，才觉得他的时间慢了。
反过来，他看你地面上的钟，也觉得你的钟慢了。这事儿不矛盾，因为你们俩对"同时"的判断本来就不一样。
再比如你拿一把尺子放在飞船上，顺着飞船运动方向摆着。你在地面上量它的长度，会觉得它比飞船上的人量出来的短。
这就是洛伦兹最早提出来的那个长度收缩，只不过洛伦兹以为这是物体真的被以太挤短了，实际上它是空间本身的一种相对性效应，跟什么分子力以太压力毫无关系。
这些效应之所以在日常生活中察觉不到，还是那个原因：我们太慢了。
你坐高铁300公里每小时，那个γ跟1的差别大概是10的负15次方量级。你这辈子坐高铁坐到天荒地老，累积下来的时间差可能也就几个纳秒。几个纳秒够干嘛的？光都跑不到一毫米。
但在粒子加速器里，那些被加速到接近光速的基本粒子，寿命就是比静止时长好多倍，这个现象每天都在全世界的加速器实验室里发生，是相对论最硬的实验证据之一。
宇宙线里的μ子，本来寿命短到根本来不及从高空掉到地面，但因为它相对我们接近光速，时间膨胀效应让它在我们看来寿命长了好多倍，于是我们在地面上真的能测到它。
这不是理论推导，是实打实的测量。
还有那个最出名的副产品，E=mc²。
质量和能量其实是一回事，差一个光速平方的换算因子。
这个等式后来解释了太阳为什么能烧几十亿年（核聚变一点点质量亏损变成巨大的能量），也成了原子弹的理论依据之一。
但爱因斯坦写出狭义相对论那篇论文的时候，这个质能关系式只是论文末尾一个短短几行的推论。
他自己当时可能也没意识到这玩意后来能掀起多大的风浪。
说到这儿顺便提一个特别能说明问题的思想实验，叫双生子佯谬。
假设有一对双胞胎，哥哥坐近光速飞船出去溜达一圈，弟弟留在地球上。按狭义相对论，哥哥在高速运动，他的时间过得慢，所以等他回来的时候，应该比弟弟年轻。
可问题是，哥哥也可以说"是地球在相对我高速运动，所以地球上的弟弟时间慢，应该弟弟更年轻啊"。
这不就矛盾了吗？
这个问题在狭义相对论刚出来的时候吵了好多年。
后来才搞清楚：哥哥要出去再回来，中间必须经历加速、掉头、减速这几个过程，他不是一直在做惯性运动；而弟弟从头到尾都在近似惯性系里待着。
所以这俩兄弟的处境并不对称，最后哥哥真的会比弟弟年轻。
这个效应后来用飞机载着原子钟绕地球飞了一圈，实实在在地测出来了，飞机上的钟确实比地面上的钟慢了那么一点点，跟理论算出来的分毫不差。
你看，这些看起来像科幻小说里的桥段，其实早就是被实验钉死了的事实。
只不过那些数字实在太小，小到跟我们的日常经验完全不搭边，所以大多数人一辈子都不会想到它。
回头看这段历史，你会发现一个特别有意思的事。
相对论不是爱因斯坦坐在那里凭空想出来的。
所有零件其实都摆在台面上了：麦克斯韦方程组摆在那儿，迈克尔逊-莫雷的零结果摆在那儿，洛伦兹的变换公式摆在那儿，马赫对绝对时空的批判摆在那儿。
换了别人，可能随便哪个方向都能凑出个解释来。
但只有爱因斯坦做了那件最简单、也最难的事：他停下来，回头问了一句："我们默认的那个时间，真的是那样的吗？"
我们每个人从会看钟开始，就默认了时间是均匀流淌、对谁都一样的。
你在北京看表是下午三点，我在纽约看表是凌晨三点，那是时区的事，不是时间本身的事。
这个信念太自然了，自然到根本不值得拿出来讨论。
可物理学的进步，往往就发生在这种"不值得讨论"的地方。
伽利略问了一句"你怎么知道船在动"，动摇了地心说；
牛顿把时空当成天经地义的盒子和河流，在他的时代够用了；
麦克斯韦写出方程组，没人想到这跟伽利略变换有冲突；
迈克尔逊和莫雷只是老老实实做实验，结果做出来一个谁也解释不了的零结果；
洛伦兹凑出了对的公式，却没敢相信自己写的那个"时间"是真的。
爱因斯坦做的事情，说穿了就是把那个所有人都觉得没必要检查的前提："时间对所有人都一样"，拎出来，仔仔细细看了一遍。
然后他发现，这个前提其实是建立在我们日常经验之上的，而日常经验里的速度，跟光速比起来都慢得像蜗牛。
在蜗牛的世界里总结出来的时间观，凭什么能推广到整个宇宙？
这就是为什么后来的人说，狭义相对论真正的革命，不是那个质能方程E=mc²（虽然那个最有名），而是它对"时间"这个概念本身的重新定义。
时间不再是一条对所有人都匀速流淌的河，它跟你在哪儿、你在怎么动，是缠在一起的。
你现在抬头看看墙上的钟。秒针一格一格走着，看起来无动于衷。
可如果有个朋友坐着近光速的火箭从你面前飞过去，他看到的那根秒针，跟你看到的就不是同一回事了。
这事想想也挺浪漫的：宇宙给每个人配了一份专属的时间账单，只是我们这辈子都飞不快，所以察觉不到而已。
热门跟贴