一面没有玻璃的透镜
你在前一阶梯已经见过那条头条结论：引力弯折光。一束擦过太阳的星光会偏转一个微小的角度，因为质量把光线必须穿过的时空压出了凹陷。现在把这个想法放大到极致。把太阳换成一整个星系——相当于一万亿个太阳的质量——端端正正地坐在我们与它背后某个更明亮天体之间。从那遥远天体发出、经过星系附近的每一条光线，都被向内弯折。星系不再只是一道障碍；它已变成一面巨大而笨拙的透镜，全然由扭曲的时空构成。这就是引力透镜。
其深层原因，正是整道阶梯反复回到的那一个。光永远尽可能笔直地行进；可在大质量附近，「笔直」是弯的，因为舞台本身——时空——被弯曲了。透镜并不抓住光，也不让它变慢。它只是给光提供了一片扭曲的地貌，而光忠实地走着直线，出来时便指向了一个新方向。一团前景质量，悄悄地为它身后的一切画面掌着舵。
弧线、光环与重影
你究竟看到什么，取决于三位主角——你、透镜、光源——排成一线的精确程度。若排列近乎完美、透镜又是圆的，光源的光便从四面八方均匀地弯进来，绕着透镜合拢成一整圈光环：爱因斯坦环，这一效应最美的奖杯。把光源稍稍挪离中心，圆环便碎成几道明亮的弧线，或裂成两个、四个、乃至更多个*同一*天体的分立的像——同一个类星体同时出现在好几处，就像透过高脚酒杯的杯脚看一支蜡烛，看到了好几支。
perfect alignment source nudged off-center
(Einstein ring) (multiple images)
distant .-''''-. * (image 1)
source -----> / \ ----->
* | LENS ()| () LENS
(behind | galaxy | galaxy
the lens) \ / * (image 2)
'-....-'
light wraps all two paths around the
the way around lens -> two ghost images称量看不见的东西
这正是为什么引力透镜不只是一张漂亮的明信片，而是一台精密仪器。透镜把光弯得多厉害，只取决于一件事：它含有多少质量，以及这些质量如何铺展。它根本不在乎质量是发光还是漆黑一片。所以，只要你拍下一个星系造出的弧线与重影，再去问「什么样的质量、怎样排布，才会把光弯成这恰好的图案？」，你便能读出该星系的总重量——包括你看不见的一切。
而答案回来时透着古怪。我们能看见的光——所有恒星与发光气体——所能弯折光线的程度，远不及我们实际观测到的。要解释那些弧线，一个星系团所需的质量，大约是其可见物质能提供的五倍。那里有某种沉重之物，却完全不发光。引力透镜并不告诉我们这种暗物质究竟是什么，但它忠实地画出了它所在之处的地图，因为引力是诚实的：它对一切质量都作出回应，无论看得见还是看不见。
- 拍下畸变。捕捉前景质量背后的弧线、光环或被拉长的星系形状。
- 反推回质量。找出那种质量分布，它造成的光的弯折恰好能产生这个图案——引力替你完成了测量。
- 减去发光的部分。把这个总质量与真正发光的质量相比；那一大块剩余，就是你刚刚绘制出的暗物质。
从怪事到日常的望远镜
爱因斯坦本人在 1936 年算出了这个环，却认为它毫无指望地不切实际——那种排列似乎太罕见，永远捕捉不到。他这是诚实，可他把概率猜错了：第一个被透镜化的类星体——一对「双胞胎」，结果竟是同一个天体被看了两次——于 1979 年被发现，如今望远镜记录在册的透镜已数以千计。更妙的是，由于透镜不仅会扭曲、也会放大，天文学家如今会刻意瞄准大质量的星系团，把它们当作天然的变焦镜头，捕捉来自早期宇宙、任何望远镜单凭自身都看不到的暗淡的婴儿星系。
退一步，细品这个回环。一个出自广义相对论的单一想法——质量弯曲时空，光顺着弯走——起初不过是 1919 年日食测出的那道精巧的 1.75 角秒的偏移。把它拉伸到星系的尺度，同样的这道偏移，如今能称量看不见的物质、用引力造出望远镜、并为宇宙的膨胀计时。光的弯折，不再是一桩供人庆祝的胜利，而成了我们早饭前就要用上的工具。