我们怎么知道地球在动？

今晚抬头看到几颗星星，站在原地看一会儿，它们也在慢慢往西边挪，跟白天的太阳是同一个方向。整片天空看上去就是绕着我们转的，太阳、月亮、星座，都一样。我忽然想到一个看起来很傻的问题：眼睛看到的明明是天在转，为什么后来的人反而相信，转的其实是我们自己？

这个看起来很傻的问题一旦问出来，后面就跟出一串：古人没有望远镜，是怎么看天的？他们怎么知道哪几个亮点是行星、哪些是恒星？既然行星那么早就被认出来，为什么恒星视差要到 1838 年才第一次测到？哥白尼把太阳放到中央的时候，知道太阳也是一颗恒星吗？以当时的观测条件，日心说到底是怎么被证明、又怎么被接受的？它为什么不只改变了天文学，也影响了后来的哲学？再跳远一点：如果把一个 AI 放回 1500 年，只给它此前的书籍和观测记录，它能不能自己走到日心说？

回家以后，我就顺着这些问题和 AI 一路聊了下去。下面是整理后的笔记。

会走的星，和保持队形的星

先说最简单的那个问题。古人不需要先知道行星是什么，就能把它们认出来。

只要在同一个地方多看几个晚上，就会注意到：天上的星都在东升西落，但绝大多数星之间的相对位置是不变的。北斗七星永远是那把勺子，猎户座腰带上的三颗星永远排成一条线。但可以观察到有少数几个亮点不守规矩，它们会在这片不动的背景上慢慢换位置，而且几乎都在黄道附近活动。火星、木星、土星走着走着还会掉头倒退一段，然后再回来，这就是所谓的逆行。水星和金星更奇怪，它们从来不远离太阳，只在日出前或日落后的那一小段时间露面。

肉眼能看到的五颗行星，就是靠这些"不一样的走法"被认出来的。希腊语里 planētēs（πλανήτης）的意思是"游荡者"，与之相对的 aplanēs（ἀπλανής）是"不游荡的"。中文的"行星"和"恒星"也是同一个意思：会走的星，和恒定不动的星。

我很喜欢这一点。古人不需要知道地球在自转，也不需要知道谁绕着谁转。他们最先发现的只是一个事实：天上的亮点，并不都以同一种方式运动。分类先于解释，这大概是很多科学的起点。

恒星视差把问题反了过来

行星的运动，是看一个天体相对于恒星背景怎样换位置。恒星视差则反过来，是用恒星的位置变化，来检查观察者自己是不是在动。

道理很简单。如果地球绕着太阳转，那么相隔半年，我们已经跑到了地球轨道的另一头。离我们近的恒星，相对于更远处的背景星，应该出现一个来回摆动的小位移。设这个视差角为 p，恒星距离为 d，用地球到太阳的距离（一个天文单位）做基线，小角度下就是：

恒星视差示意图：地球在相隔半年的两个轨道位置观察近星，近星相对遥远背景星出现位移 — 视差看的是观察位置：相隔半年，近星会相对遥远的背景星移动。半年两端看到的总位移约为 2p；图中距离和角度均未按比例绘制。

$$ p \simeq \frac{1~\mathrm{AU}}{d}, \qquad d(\mathrm{pc}) = \frac{1}{p(\mathrm{arcsec})}. $$

几何上一点也不难，难的是需要观测的那个角极小。离太阳最近的恒星，视差也不到一角秒，而一角秒只是一度的三千六百分之一。

拿天鹅座 61 来说，今天测得的视差大约是 0.286 角秒。贝塞尔（Friedrich Bessel）在 1838 年公布的结果是 0.314 角秒，换算下来大约 10.4 光年，跟现代值已经相当接近。但要从观测里把这个一年一个来回、幅度不到一角秒的摆动挑出来，得先处理掉大气折射、仪器误差、恒星自身的运动，以及一堆同样会改变恒星视位置的效应。ESA 关于视差测量的说明说得很直白：即便是最近的恒星，这个位移也需要高精度仪器才测得到。

从哥白尼 1543 年出版《天体运行论》，到贝塞尔 1838 年拿出可靠的恒星视差，中间隔了 295 年。问题早就摆在那里，只是观测精度一直够不着。

看不到视差

我们今天已经知道恒星远得离谱，所以很容易把当年的反对者认为是"见识不够，没想到宇宙可以这么大"。但站在 16、17 世纪的位置上，看不到视差是一条完全正当的观测反对意见。

同一个"没测到"至少允许两种解释：要么地球根本没动；要么地球在动，但恒星远到当时的仪器分辨不出来。日心说选了后者，可它拿不出直接证据说明这个选择是对的。

第谷（Tycho Brahe）正是在这里提出了他那套折中体系：地球不动，太阳绕着地球转，其他行星绕着太阳转。这个模型保留了哥白尼体系对行星运动的大部分解释力，又绕开了"地球在动"和"为什么看不到视差"这两个麻烦。当时的行星位置数据，对这两套模型的区分能力其实很弱。这不是说两个体系在所有问题上等价，而是说手头那部分数据还不足以判定地球到底动没动。

更麻烦的是，当时还有一层观测上的误导。第谷等人相信自己测到了恒星的视直径。如果恒星远到没有视差，却还能呈现出可测的圆盘，那按几何算出来的恒星尺寸会大得离谱，比整个地球轨道还大。今天我们知道那些"圆盘"是衍射、大气和人眼共同制造的假象，并不是恒星的表面。但在当时，这是个相当有分量的反驳。剑桥大学出版社的这本科学史专门讨论了这组观测怎样支撑了第谷的质疑。

那日心说的吸引力在哪里？在于它把很多零散的现象拧成了一件事。让地球动起来以后，火星逆行不再需要专门的本轮去解释，它只是地球在内圈超车时的相对运动；水星和金星总在太阳旁边，是因为它们的轨道在地球轨道以内；行星的周期、距离和排列顺序，也第一次被组织进同一个体系里。Stanford Encyclopedia of Philosophy 的哥白尼条目特别强调了这种统一性。

但统一不等于证明。更漂亮的解释，还需要新的观测去排除竞争对手。

当时的人是怎么被说服的？

写到这里我自己也纳闷：视差要等到 1838 年才测到，可是 1700 年前后，欧洲稍微懂点天文的人差不多都已经接受日心说了。中间还隔着这一百多年，他们凭什么？靠信仰么？

答案是，没有哪一个观测能一锤定音，是排除法，是一堆各自不完整的证据慢慢把对手一步步挤出局的。

第一步是伽利略。1610 年他把望远镜对准天空，先看到木星带着四颗小卫星在转，这说明"所有东西都必须绕地球转"这条原则本身就不成立，天上可以有不止一个中心。接着他看到金星像月亮一样有完整的盈亏，从新月一直到满月。托勒密体系里金星永远夹在地球和太阳之间，不可能出现"满金星"，所以这一下托勒密就out了。不过，它排除不了第谷：在第谷体系里金星也绕太阳转，盈亏一样解释得通。所以 1610 年之后，真正的对手不是托勒密，而是第谷。

第二步是开普勒。他拿着第谷留下的火星数据算了好几年，1609 年发现轨道是椭圆，1619 年又找到周期和距离之间的三次方关系。这两条定律在日心框架下写出来极其干净，换到地心框架就得绕着弯说。它们没有"证明"地球在动，但让日心模型的预测精度第一次明显超过了对手，编历表的天文学家很快就改用了开普勒的方法。

第三步是牛顿。1687 年《原理》给出了一个物理上的理由：太阳的质量比地球大得多，所以是地球绕太阳转，而不是反过来。在牛顿之前，“谁绕谁"只是个几何问题，两套模型都能画出同样的天象；牛顿之后它变成了动力学问题，第谷体系需要一颗巨大的太阳绕着一颗小小的地球转，力学上说不通。到这一步，日心说在学者中间基本已经是共识了。

所以"以当时的观测条件怎么证明日心说"这个问题，简单说就是：在很长一段时间里，人们不是被“证明”说服的，而是被"更简单、更准、更讲得通"说服的，至于直接证据是后来才补上的。这大概是科学史里很常见的一种顺序，只是教科书里很少写中间这一段。

那直接证据到底是什么时候来的？

直接证据来了，但不是视差

1720 年代，James Bradley 和 Samuel Molyneux 还在找视差。他们盯着天龙座 γ 看了好几年，确实发现这颗星的位置有年度变化，可变化的方向和时间点跟视差的预测对不上。

Bradley 最后想通了：这是光行差。地球在轨道上运动，而光速是有限的，于是恒星的视方向会随着地球的运动方向发生一点偏转，就像坐在行驶的车里看雨，明明是竖直落下的雨点，看起来却是斜着迎面而来。视差取决于观察者在轨道上的位置，光行差取决于观察者的速度。两者都是一年一个周期，却是两回事。

$$ \alpha_{\mathrm{ab}} \simeq \frac{v_{\oplus}}{c} \approx 20.5~\mathrm{arcsec}. $$

恒星光行差示意图：地球在轨道上的速度方向相隔半年反转，恒星的视方向随之偏向另一侧 — 光行差看的是观察者的速度：相隔半年，地球速度方向相反，恒星的视方向也偏向另一侧。它几乎与恒星距离无关；图中角度已大幅夸张。

光行差大约 20.5 角秒，比天鹅座 61 的视差大了七十倍左右，所以先被测到一点也不奇怪。它第一次给出了地球在动的直接证据，但它跟恒星距离无关，没法告诉人们星星有多远。ESA 的 Hipparcos 页面给出的现代光行差常数是 20.495 角秒。

这段插曲我觉得很有意思：看到恒星每年在动还不够，还得说清楚它为什么动。同一个信号，解释不同，背后就是完全不同的物理。

一个多世纪后，贝塞尔选中天鹅座 61，不是因为它亮，是因为它的自行特别大，每年在天上挪动超过五角秒。挪得快的恒星，大概率离我们比较近，视差也就更有希望测到。他用夫琅禾费制作的量日仪（heliometer），反复测量天鹅座 61 与两颗较暗参考星之间的角距离，再把恒星的自行和一年一周期的视差信号分离开来。

1838 年的 0.314 角秒并不是那个年代唯一的视差尝试，Struve 测织女星、Henderson 测半人马座 α，几乎是同时期的工作。贝塞尔的结果之所以最先被普遍接受，是因为他的观测安排、数据处理和残差分析都足够扎实，同行看得出这个周期信号是可信的。ESA 关于天鹅座 61 的回顾也把"可靠"当作这项工作的关键词。

1851 年，傅科又在巴黎先贤祠挂起那只大摆，摆动平面一天天慢慢转过去，地球自转也有了人人看得见的演示。到这里，“地球在动"才算从一个更讲得通的推论，变成了一件被测出来的事实。

日心说没有回答太阳是什么

这段历史还容易让现代人有另一个误会：哥白尼把太阳放到中央，人类就顺便知道了"太阳是一颗恒星”，其实没有。

哥白尼体系的最外层仍然是一个固定的恒星天球。太阳是行星体系的中心，恒星则属于遥远的外壳，两者是不同类的东西。我们今天习以为常的三个判断，地球是一颗行星、太阳是一颗恒星、别的恒星是遥远的太阳，并不是同一次革命得出来的。

1584 年，布鲁诺（Giordano Bruno）在接受日心体系的基础上又往前走了一步：宇宙也许没有那层包住所有恒星的外壳，那些恒星本身就是别的太阳，也可能各自带着自己的世界。美国国会图书馆对"stars as suns"这一观念的梳理把布鲁诺视为这个思想的重要节点。

但这在当时主要是哲学推论，没有观测撑腰。真正的证据来得很晚：1838 年的视差测量第一次给出了可靠的恒星距离；1859 年前后，基尔霍夫和本生用光谱证明太阳光里有钠、铁等地球上常见元素的特征线；再过几年，Huggins 等人把同样的方法用到恒星上，发现星光里也有同一批谱线。到这时，“恒星是遥远的太阳"才从猜想变成可以检验的陈述。AIP 的光谱学史记录了这一步怎样催生了现代天体物理学。

所以人类认识天空的顺序有点反直觉：先根据"走不走"把行星和恒星分开，再争论谁绕着谁转，最后才慢慢弄清这些天体在物理上到底是什么。

为什么日心说这么重要

既然日心说当时既没证明，也没回答太阳是什么，那它为什么会被当成科学革命的开端？我觉得有三层原因。

最小的一层是天文学内部的：它给了一个统一的体系。在托勒密那里，每颗行星的模型是各管各的，火星的本轮和木星的本轮之间没有任何关系。哥白尼让地球动起来以后，所有行星的逆行都变成了同一件事，行星的排列顺序和距离也第一次可以从观测里推出来，而不是人为规定。一个体系能少用几条独立假设，就多了几分被信任的理由。

中间一层是物理学的：它把"天上"和"地上"合并了。亚里士多德的宇宙里，月亮以上是完美不变的天界，月亮以下是生灭变化的尘世，两边遵守不同的规律。一旦地球成了一颗普通行星，这条分界线就守不住了。伽利略用望远镜看到月亮上有山、太阳上有斑，也在动摇这条分界线。到牛顿，苹果落地和月亮绕地球用的是同一个公式，天地之分彻底消失。我们今天说"物理定律是普适的”，起点就在这里。

最大的一层是哲学的。流行的说法是"哥白尼把人类从宇宙中心赶了出去，打击了人的自尊”。但历史上稍微复杂一点：在亚里士多德和中世纪的宇宙观里，中心并不是尊贵的位置，恰恰相反，它是最低、最重、最污浊的所在，地狱就在地心。把地球升到天上去，在当时的人看来反倒像是一种抬举。真正让人不安的不是"不在中心"，而是另一件事：几千年来人人看得见的"太阳东升西落"，居然是假象。感官告诉你的东西可以被推理推翻，而且推翻得对。这才是日心说留给后来所有科学的宝藏。

康德在《纯粹理性批判》第二版序言里，把自己的哲学转向直接比作哥白尼的做法：与其假设我们的认识去符合对象，不如反过来，假设对象要符合我们的认识方式。他借用的正是这个"把观察者自己的运动考虑进去"的动作。而在现代宇宙学里，“哥白尼原则"成了一条默认前提：我们所在的位置没有任何特殊之处。从"地球不是中心"到"太阳不是中心"再到"银河系不是中心”，每一步都是在重复同一个动作。

所以日心说的重要性，不只在于它说对了什么，也在于它把观察者自己放进了解释里：眼睛看到的现象未必错，但现象的原因也可能来自我们自身的运动。

如果把一个 AI 放到 1500 年

最后回到开头那个最跳跃的问题：假设 1500 年有一个 AI，掌握此前人类留下的全部文献、数学和天文记录，它能不能提出日心说，并且继续往下走到开普勒、牛顿，甚至广义相对论？

我觉得日心体系很可能会被它列为一个极有吸引力的候选模型。古代文献里本来就有日心思想（阿利斯塔克的主张通过阿基米德的转述留了下来），AI 也完全可以系统地比较地心、日心和各种混合模型。日心体系能用更少的独立假设解释行星次序、内外行星的差别和逆行，这一点不难被发现。

但只靠 1500 年以前的资料，它没有资格宣布日心说已经被证明。看不到视差仍然可以支持不动的地球，第谷式的体系也还没有被后来的物理和观测排除。算力可以更快地比较模型，却补不上从未被观测到的数据。

如果再把第谷那批高精度的火星数据给它，它有可能搜索出椭圆轨道。等到开普勒定律、伽利略的运动实验和地球的尺度都变成可用的数据以后，平方反比关系也可以从中显现出来：

$$ T^2 \propto r^3, \qquad a_c = \frac{4\pi^2 r}{T^2} \propto \frac{1}{r^2}. $$

但从 16 世纪的资料直接跳到广义相对论，就没有同样的理由了。那时候没有电磁学，没有光速问题，没有水星近日点的异常，也没有相应的数学工具。能写出一个极其超前的方程，不等于有证据去选择它。

所以我现在会把"AI 哥白尼"这件事拆成两种能力来看。一种是在已有资料里找到更统一的模型，这是 AI 擅长的。另一种是在模型无法区分的时候，知道下一步该测什么，然后真的去把那个数据做出来，这需要设计观测、改进仪器，还要等。贝塞尔的量日仪、Bradley 那几年对着天龙座 γ 的守候，都属于第二种。

科学也不是一个按计划闭合的循环。理论会指向该测什么，测量会逼着人改进仪器；但仪器一旦变得更灵敏，常常会捞出原问题之外的异常，甚至带出一串事先没人想到的新问题。Bradley 本来在找恒星视差，最后先发现了光行差，就是这篇文章里现成的例子。这个副产物没有告诉人们恒星有多远，却给出了地球公转的直接证据，也让人分清了两种不同的年度位移。绕出去的一段路，反而推进了最初的问题。

一个只能读 1500 年图书馆的 AI，会撞上跟当时人类一模一样的信息边界。它不仅要会设计观测、改进仪器，还得看出数据正在回答一个没人问过的问题，分辨那是误差还是值得追下去的异常，再决定下一次实验该往哪里走。做到这一步，它才算真正走进了科学。

那天晚上抬头看到的那几颗星，其中哪些在走、哪些不动，古人几千年前就分清了。可要确认脚下这块地也在动，人类又花了两千多年。