洛伦兹变换的几何直觉
Haifei你不需要知道任何公式，也能对狭义相对论的各种现象（尺缩钟慢、双生子佯谬等）拥有直观的认识。
对伽利略变换做一点小小的修改
先来看经典的伽利略变换。在t-x图里，伽利略变换体现为剪切变换。点沿着平行于x轴的直线滑动。
伽利略变换，小红和小绿的视角
如果是狭义相对论中的洛伦兹变换，用来滑动的线不再是上图的直线了，而是双曲线的一支。
洛伦兹变换，小红和小绿的视角。这张图是对钟慢效应的无声证明
如何解读这条双曲线？
- 原点与双曲线上的点连成的世界线（线段），它们的固有时相同。换句话说，在上图中，小红和小绿，她们自己手腕上的手表走过了相同的时间。
虽然在不同的观测者眼中，小红的时间是不一样的，但在小红自己眼中，她经历的时间是唯一确定的，这就是固有时。固有时就是参考系自己经历的时间。
如果以小红为参考系，那么左边的图中的红色线段的长度就是小红的固有时。
她们彼此看对方，都觉得对方的时间过得慢。这只需要画一条与x轴平行的直线就看得出来。
双曲线的渐进线是光的世界线。
斜率的倒数是速度。可以看出，无论点如何在双曲线上滑动，斜率的倒数都不可能达到光速。世界线只能向渐近线无限靠近。
等时线和世界线关于渐近线对称。如果世界线是竖直的，那么它的等时线就是水平的。如果世界线不是竖直的，那么可以看下面这张图
绿色虚线是小绿的等时线，上面那条绿虚线与双曲线相切，下面那条绿虚线与绿实线关于渐近线对称
对于小绿来说，它的等时线（绿色虚线）与它的世界线（绿色实线）关于渐近线对称。
为什么对称？如果你懂一点线性变换的知识，你应该对线性变换有一个这样的直觉：线性变换是保持网格线互相平行的变换。看下面这张图
洛伦兹变换是线性变换，线性变换同时了拉伸网格和等时线（图中虚线）
观察这张图，思考红色网格是如何被拉伸成绿色网格的。这样你就能看出本来是水平的等时线（红色虚线）是如何被变换成斜的等时线的（绿色虚线）。注意到这张图是对“等时线和世界线关于渐近线对称”的无声证明。
你可以想象有一只手将上图中的红色粗实线，沿着双曲线拉到绿色粗实线的位置。与之伴随的网格的变化，就是平面内所有点的洛伦兹变换。
实际上，等时线与双曲线相切，这样，在小绿看来，小红的时间过得慢。这与在小红的眼里，小绿的时间过得慢并不矛盾。
以上的几何直觉有什么用处？
可以直观地解释钟慢效应。因为等时线与双曲线是相切的。
可以直观地解释尺缩效应。为此，我们需要再画一张图。
尺缩效应。注意到绿色虚线看起来比红色虚线长，但它其实更短！
图中红绿虚线是等时线。测量物体长度，必须要在同一时刻测量物体的两端的位置（不能现在测量一端的位置，过一秒再测量另一端的位置）。
从图上看来，似乎运动的物体更长（绿色虚线），可是尺缩效应告诉我们运动的物体变短。
这是因为，四维时空不是一个欧几里得空间，而是一个闵可夫斯基空间。在欧几里得空间中，两点的距离为 \(s=\sqrt{x^2+y^2}\) ，可是在闵可夫斯基空间中，两点的“类空间隔”为 \(s=\sqrt{x^2-t^2}\) ，时间的平方要加一个负号。因此实际上，绿色虚线比红色虚线短。
（注：与“类空间隔”相对，还有一个“类时间隔”。前者表示空间上的距离，后者表示时间上的距离。前者定义为 \(\sqrt{x^2-t^2}\) ，后者定义为 \(\sqrt{t^2-x^2}\) ）
- 可以直观地解释速度叠加仍不能超过光速。
在左边的图中，小红相对于小蓝是0.5光速，而小绿相对于小红也是0.5光速，那么如果以小蓝为视角，小绿的速度能不能等于光速呢？
从右边的图可以明显看出，从小蓝的视角看，小绿的速度没有赶上光速。不过，在小红的视角里，小绿相对它确实是0.5光速，因为小绿的世界线平分了图中的红色虚线。
- 可以解释双生子佯谬
（以后再更）
Q&A：
Q: 在闵可夫斯基空间里，曲线的长度怎么算呢?
A: 只要把曲线细分成很多小线段，再分别按照 \(s=\sqrt{x^2-t^2}\) 计算它们的长度，最后加起来就可以了。