闵氏几何是什么？它是如何统一时空并极大简化狭义相对论的？
1905年，爱因斯坦正式提出了狭义相对论；1908年，闵可夫斯基给出了狭义相对论的几何表述，也就是我们这里说的闵氏几何。爱因斯坦一开始对这套几何语言很反感，认为这些纯数学上的“花架子”没什么用，还增加了相对论的复杂度。但是，他很快就发现闵氏几何非常重要，发现这绝不是什么纯数学技巧，而是有着深刻物理内涵的洞见。而且，如果要建立广义相对论，少了它根本不行。
几何语言清晰直观，在处理许多问题时有很大的优势，这在双生子佯谬里体现得非常明显：使用代数语言，使用洛伦兹变换去处理双生子佯谬，其中难度之大思维之绕，绝对是对智商极大的考验；而使用几何语言，这个问题就简单得不像是个问题。然而，目前绝大部分介绍相对论的书籍文章还是使用的代数语言，所以你还是能经常看到许多人在一些非常简单的问题上纠缠不清，争论不休。
梁灿彬老师说他上世纪80年代从“言必称几何”的芝加哥大学回来以后，就一直在国内大力推广相对论的几何语言，但是不明白为啥过了三十多年大众对它还是很排斥。今天我们就在这篇文章里跟大家好好聊一聊，希望能够解开大家跟闵氏几何之间的心结。
因为这是从零开始的一篇文章，所以我暂时就只谈相对论里最简单的几何语言，也就是狭义相对论里的闵氏几何。至于广义相对论里涉及的黎曼几何，我们后面再说。
01 为什么很多人觉得几何语言难？
了解相对论的人大多知道一点闵氏几何，知道我们可以通过画时空图的方式来解决一些很复杂的问题，但是他会觉得闵氏几何很难：把时空图画出来很难，画出来之后去解释时空图更难。
02 两个基本假设
为什么狭义相对论要使用我们不熟悉的闵氏几何，原因当然还是得从自身来找。大家都知道狭义相对论有两条基本假设：相对性原理和光速不变。从这两个假设出发我们可以很自然的推导出狭义相对论里各种奇奇怪怪的结论，这里我们先来审查一下这两个假设。
03 光速不变的秘密
光速不变说你在任何惯性系中测量光速，得到的结果都是c，我们来定量的分析一下这个原理。
04 欧式几何不变量
在欧式几何里也有一些量是不随坐标系的变化而变化的，比如最简单的线段的长度。
05 线元决定几何
在闵氏几何里，不同惯性系里测量一个物体的位移、时间等信息可能不一样，但是它们组合起来的Δs²=Δx²+Δy²+Δz²-（Δt×c）²确是相等的，而这个值对光来说还刚好就是0。
06 闵氏几何与狭义相对论
我们现在知道了，所谓的闵氏几何，不过是由闵氏线元ds²=-dt²+dx²+dy²+dz²决定的几何。
07 时空图
在时空图里，你能非常自然地感觉到时间和空间被统一起来了，因为时空图里的时间轴和空间轴有着完全的平等的地位。
08 同时的相对性
在牛顿力学里，时间是绝对的，所以同时必然也是一个绝对的词汇。在一个参考系看来是同时发生的事件，在另一个参考系里不一定是同时发生的。爱因斯坦敏锐地发现了这点，然后借此从看似牢不可破的牛顿力学里撕开了一道口子。
09 两个坐标系
我们来具体看看这个问题：假设我们现在已经画了一个地面系的直角坐标系x-t，那么我们要如何把火车系的坐标系x’-t’画出来？
10 尺缩效应
尺缩效应是狭义相对论里比较有趣的一个效应，它简单说来就是一句话：运动的物体长度会收缩，也就是动尺收缩。
11 闵氏几何的线长
在讨论怎么定义，计算闵氏几何一条线段的线长之前，许多人可能对为什么这个问题会是一个问题都心存疑惑：线段的长度不就是用尺子去量一下线段么，为什么还需要什么定义？即便我不用尺子去量，一条线段我在直角坐标系里把它投影到x和y轴，假设它在x轴和y轴的投影长度分别是Δx和Δy，那么我就可以利用勾股定理很简单的算出这条线段的长度L²=Δx²+Δy²。
12 校准曲线
校准曲线其实是回答了这样一个问题：闵氏几何里，到原点距离相等的点组成的轨迹是什么？
13 双生子佯谬
双生子佯谬的描述倒是非常简单：假设地球上有一对双胞胎，有一天哥哥驾着宇宙飞船去太空里里飞了一大圈再返回地球。那么按照狭义相对论，我们就会发现哥哥再次回到地球的时候他会比弟弟更年轻。
14 双生子佯谬的几何解释
在几何语言里，复杂的双生子问题被简化到仅仅比较一下哥哥弟弟两条世界线的线长就行了，而只要我们理解在闵氏几何里计算线长要用闵氏几何的方式（ds²=-dt²+dx²）去度量就没什么问题了。
15 世界线和固有时
在这里，我先给出这个极为重要的结论：世界线的线长等于固有时。
16 双生子佯谬之完结篇
总之，大家如果理解闵氏时空的线长计算公式，我相信理解哥哥的世界线更短是非常容易的，而世界线更短就意味着自己经历的时间（固有时）更短，那么重逢时哥哥就更年轻。这样，双生子佯谬就是很明显的事情了。
17 结语
文章到这就先告一段落，能够坚持看到这里的那妥妥的都是真爱了。我写这篇文章主要是想让更多人了解闵氏几何，了解闵氏几何是如何处理狭义相对论里的问题的，最好是让读者能开始习惯用几何语言讨论相对论问题。