黑洞究竟是什么
拿任何一个物体来挤压它。你把它的质量压进越小的球里，它表面的引力就越强，逃离所需的速度也就越快。挤到足够厉害，你就会触及一道门槛：在那里连光——世间最快之物——也再爬不出去。这就是黑洞：它并非由什么奇异物质构成，而是一片弯曲得极其陡峭的弯曲时空，陡到每一条向外的路径都反而弯回向内。把太阳压成一个半径约 3 公里的球，或把整个地球压成一颗弹珠那么大，你就得到一个黑洞。
那道著名的公式：r = 2GM/c²
要把一份质量挤到多小才能造出黑洞？答案是一道干净利落的方程——史瓦西半径，它直接从爱因斯坦方程的第一个精确解、即史瓦西解中流淌而出：r = 2GM/c²。用大白话来读：临界半径 r 与质量 M 成正比地增长，而 G（引力的强度）和 c²（光速的平方）只是设定尺度的固定常数。质量越大，黑洞越大；故事就这么简单。
Schwarzschild radius: r = 2GM / c^2
(the radius of the event horizon for a non-spinning mass M)
Plug in real masses:
Earth (6e24 kg) -> r ~ 0.9 cm (marble-sized)
Sun (2e30 kg) -> r ~ 3 km (a small town)
Sgr A* (4e6 suns) -> r ~ 12 million km (~17 Suns wide)
Notice: r scales straight with M.
Double the mass -> double the horizon radius.事件视界：一道单向的表面，而非一堵墙
位于那个半径处的球面，就是事件视界。它是物理学中最容易被误解的对象，所以请把话说准：它并不是一个实体表面。那里没有任何可触碰之物——没有外壳，没有薄膜，没有突如其来的颠簸。它只是一条界线，标出有去无回之处。朝内越过它，此后每一条可能的未来路径，哪怕以光速行进，也都通向更深处。视界讲的是几何，而非物质：在那里，「向外」不再是你能选择的方向。
Light cones tip over as you fall in (schematic):
far away near horizon AT horizon inside
^ t ^ t ^ t ^ t
| \ / | \/ | | | /
| / \ | /\ | | |/___ all
|__/___\__ |_/__\__ |_|__ |\ futures
space space space | \ point IN
outward still outward gets outward = stay even light
an option steeper frozen leads inward奇点：理论走到尽头之处
沿着方程一路追到底，它们指向中心：在那里，方程说质量被压成一个尺寸为零的点——一个奇点，曲率与密度在此暴涨至无穷。这里有大多数科普都略过的诚实之处：那个无穷几乎肯定并不真实。在物理学里，当一个可信的理论吐出无穷大时，它并不是在宣告关于自然的某个事实；而是在坦承自己已被逼出了适用的边界。奇点最好被理解为一块路标，而非一个地点——它正插在广义相对论再也无法描述所发生之事的那个位置上。
从思想到照片
黑洞曾在数十年里只活在方程之中——卡尔·史瓦西于 1915 年写下他的解，地点是第一次世界大战的战壕，距爱因斯坦理论问世仅几周。如今我们能直接观测它们。我们看到群星绕着银河系中心那个看不见的、四百万倍太阳质量的「锚」疾驰旋舞。2019 年，事件视界望远镜发布了黑洞阴影的第一张照片——位于 M87 星系中，一个被炽热气体环绕的暗盘。那道剪影的大小，在误差范围内与 r = 2GM/c² 相吻合。一道在战火中草草写下的公式，于一个世纪后被一台行星尺度的望远镜所证实。