百里路 / 天文 · 物理 · 科学方法
№ 085
LESSON 085 · ASTRONOMY
开普勒行星运动定律
Kepler's Laws of Planetary Motion · 八角分对不上,于是整个天空被重画了一遍
- 提出者
- 约翰内斯·开普勒
- 年份
- 1609(前两条)· 1619(第三条)
- 领域
- 天文 · 物理 · 科学方法
- 核心命题
- 先算对,再问为什么
一
缘起 · 一个本来要证明"上帝用五个立体造了宇宙"的人
ORIGIN
1596 年,二十五岁的开普勒出版了他的第一本书《宇宙的奥秘》。书里有一个漂亮得让人心动的想法:六大行星的轨道之间,恰好嵌得下五个正多面体——正四面体、正方体、正八面体、正十二面体、正二十面体,一层套一层,把每一条轨道的大小都定死了。古希腊人证明过,这样的正多面体不多不少正好五个;而行星恰好六颗,之间正好五道空隙。在他看来,这不可能是巧合,这是造物者的设计图。
这个模型是彻底错的。但它做成了两件事。
第一,它让当时全欧洲最好的观测家第谷·布拉赫注意到了这个年轻人。1600 年,开普勒到布拉格给第谷当助手;第二年第谷去世,开普勒接任神圣罗马帝国的宫廷数学家,那批被第谷守了一辈子、精确到肉眼极限的观测数据,落到了他手里。
第二,也更要紧:这个错的动机让他相信了一件对的事——轨道的尺寸背后一定有一条可以写下来的规则。在他之前,"为什么土星走那么慢、水星走那么快"这类问题几乎不算问题,天体各有各的本性,如此而已。开普勒是第一个把它当成一道有答案的算术题的人。
他分到的任务是火星——第谷手下最难啃的那一颗,它的轨道偏心率在肉眼可见的行星里数得上大,前人的所有模型在它身上都对不齐。开普勒自信地跟同事打赌,说八天就能搞定。他做了将近五年,写出七十来章、上千页的计算,后来把这段经历叫作"我与火星的战争"。
要理解他拆掉了什么,得先知道那两千年的默认值:天体做匀速的圆周运动。从柏拉图到托勒密再到哥白尼,每一次修补——本轮、偏心圆、均衡点——都是为了在保住"圆"和"匀速"的前提下把观测凑上。开普勒把这两条一起扔了。
二
原典 · 三句话,隔了十年
THE PRIMARY TEXT
今天写在教科书上的"三大定律",来自两本书、相隔十年,而且不是按今天的编号顺序被发现的。
KEPLER, 1609 ·《新天文学》· 第一与第二定律
第一定律(椭圆定律):行星沿椭圆轨道运行,太阳位于椭圆的一个焦点上——不是中心。
第二定律(面积定律):连接行星与太阳的那条线,在相等的时间里扫过相等的面积。行星靠近太阳时走得快,远离时走得慢;匀速的不是它的速度,是它扫过的面积。
Johannes Kepler《Astronomia Nova》Prague, 1609。原书只针对火星立论,且没有"定律"这个词;面积关系出现在第 40 章一带(先以"距离定律"的形式作为一种计算手段),椭圆要到第 58 章之后才被接受——今天编号为第二的那一条,其实先于第一条被写下来。两条的现代表述形式见其《哥白尼天文学概要》(1617–1621),并在那里被推广到全部行星。
第三条要再等十年,而且它讲的是完全不同的一件事。
KEPLER, 1619 ·《世界的和谐》· 第三定律
任何两颗行星,公转周期的平方之比,等于它们与太阳平均距离的立方之比。
写成一句话:T² 正比于 a³,而且这个比值对太阳系里每一颗行星都是同一个数。
Johannes Kepler《Harmonices Mundi》Linz, 1619,第五卷。据开普勒自述,他 1618 年 3 月 8 日第一次得到这个关系,因为一处计算错误把它否掉了;同年 5 月 15 日重新算出,这一次确认了它。值得注意的是,他并没有在书里特别突出这条结果——它夹在一大堆关于音乐和谐比例的论证中间。
还有一句话必须提前说清,它是第六节第④条的全部内容:开普勒本人从没把这三条称作"定律",没有把它们当成一组,没有说过它们是三条,也没有按今天的顺序排列过。"开普勒三定律"这个包装,是一百多年后的人做出来的。
三
释义 · 他扔掉的比他留下的更重要
PLAIN MEANING
把三条并排看,会发现前两条和第三条根本不是一类东西。
前两条讲一颗行星自己怎么走。第一条说轨道的形状(椭圆,太阳偏在焦点上),第二条说它在这条轨道上的快慢(近处快、远处慢,而扫过的面积匀速)。这两条合起来,等于扔掉了统治天文学两千年的两个默认值——"圆"和"匀速"。
特别要注意第二条的巧妙:开普勒并没有放弃"有某样东西是匀速的"这个信念,他只是把匀速的对象从"速度"换成了"面积"。这不是投降,是换了一个更深的守恒量——三百年后诺特会告诉我们,那个被扫过的面积,正是角动量(见第七节)。
他扔掉的不是圆,是"匀速"和"太阳在正中间"这两条谁也没验算过的默认值。
而第三条讲的是行星之间的事。它把水星、金星、地球、火星、木星、土星绑进了同一个公式:离太阳越远,一年就越长,而且长得有确切的分寸——距离变成 4 倍,一年就变成 8 倍。
这一步的分量常被低估。在第三定律之前,"太阳系"只是一堆各走各的天体的合称;在它之后,它们服从同一张时刻表——它变成了一个系统。而这正是牛顿后来能一把抓住它的地方:几个互不相干的事实解释起来要几套说法,一条把它们全串起来的规律,反倒指向了唯一的一个原因。
还有一层很少被讲的实操含义:这三条第一次让"预报"成为一件可以逐年检验的事。此前的天文表算得准不准,很大程度上取决于用了几个本轮、拟合了哪几年的数据;开普勒把它换成了三条规则加两个数字(轨道大小与偏心率),任何人拿去都能算出同一个答案,而且错了就是错了。——第五节案例 04 讲的正是这件事。
四
后人之论
LATER INTERPRETATIONS
五
案例
CASE STUDIES
案例 01
八角分
1600–1605 · 与火星的战争
经过几年计算,开普勒造出了一个模型(后人称之为"代用假说"),它把火星的位置拟合得相当好——好到误差落在两角分以内,完全在当时任何人的容忍范围之内。按照那个时代的全部惯例,这已经可以宣布收工了。
可是当他拿这个模型去核对另一批观测时,出现了一个八角分的偏差。八角分是多少?大约是满月直径的四十分之一,肉眼几乎不可能察觉。在第谷之前的任何数据里,这个量根本就淹没在噪声里。
他没有把它抹掉。《新天文学》里那段话是科学史上被引用最多的段落之一——他说,上天给了我们第谷这样勤勉的观测者,这份礼物应当心怀感激地接受;如果我认为这八角分无关紧要,我本可以随手把它抹平;可正因为它们不能被忽略,单是这八角分,就将带领我们走上重铺整个天文学的道路。
这条案例是整篇的骨。八角分之所以能起作用,需要两个条件同时成立:数据精到足以让这么小的差别不再是噪声(第谷那二十年),以及有一个人不肯把它当噪声(开普勒那五年)。缺任何一个,它都会被抹掉。
——更值得琢磨的是它的形状:那个被放弃的模型不是"差得离谱",恰恰相反,它差一点点就对了。真正推动改写的异常,往往不是明显的失败,而是"几乎全对,只有一处死活对不上"。而这种异常最容易被四舍五入掉,因为放过它的成本在当时看起来实在太低了。
案例 02
五个正多面体:同一个人,同一套方法,一条对一条错
1596 → 1621 再版
《宇宙的奥秘》里那个套娃模型,今天连一句"部分正确"都谈不上:行星不止六颗,轨道半径与正多面体没有任何关系,而这个模型给出的数值即便在当时也只是勉强凑合。
而开普勒到死都相信它。1621 年,也就是三条定律全部发表之后,他还把这本书重新出了一版,加了注释,为它辩护。在他自己眼里,正多面体解释了轨道为什么是那么大,三条定律解释了行星在那些轨道上怎么走——两者不冲突,是一套东西的两半。
把案例 01 和这一条放在一起,得到本篇最锋利的一课:
同一个人,同一种审美(宇宙是按数学的和谐造的),同一套工作方法,产出了一条至今在用的定律和一个从一开始就是错的模型;而他自己分不出哪个是哪个。——
他不是不够聪明。他缺的东西只有一样:正多面体模型没有给出一个足够锋利、可以被数据当场否掉的预言,而椭圆给出了。"它很美"从来不是判据,"它对得上第谷的数字"才是。这一条请与
№014 的第一条反例并读:简洁与优美是挑选假设的启发式,不是验收标准。
案例 03
1618 年 3 月 8 日,他算出了第三定律,然后把它扔了
1618–1619
据开普勒自己的记述:1618 年 3 月 8 日,那个 T² 与 a³ 的关系第一次出现在他的纸上;他核算了一遍,发现对不上,于是把它当作错误否定掉了。后来查明,对不上的原因是他自己算错了一步。同年 5 月 15 日,这个念头又回来了,这一次他算对了。
那几年他的处境值得一并记住:三十年战争已经开打,他因宗教立场被迫迁徙;而 1620 年夏天,他七十多岁的母亲卡塔琳娜在故乡莱昂贝格被指控行巫术而被捕,此后在狱中被铁链锁在地板上关押了十四个月。开普勒放下工作亲自组织辩护,动用图宾根大学法学与神学界的关系逐条驳斥指控。老人被带到刑具面前接受恐吓(当时的所谓"展示"程序)而始终不肯认罪,1621 年 10 月获释;她几个月后去世。那位主持此案的地方长官在任内指控过十五名女性,其中八人被烧死。
两件事一起看:被后人称为"定律"的东西,是在一次自己犯的算错、和一场差一点让母亲被烧死的审判中间,被反复捡起来的。
——可带走的一条很朴素:一个正确的结果被自己否掉过一次,这在真实的工作里几乎是常态。它之所以还能回来,靠的不是灵感,是那个人有把同一件事重算一遍的习惯。值得追问的是:我上一次"算了一下发现不对就放弃"的想法,究竟是它错了,还是我算错了?
案例 04
鲁道夫星表,和他没能活着看见的那个黑点
1627 · 1631
1627 年,开普勒在乌尔姆自费出版了《鲁道夫星表》——第一部建立在这三条定律之上的行星表。它把第谷的数据和开普勒的规则合在一起,预报精度比此前所有星表高出一到两个数量级。这本表此后被欧洲的航海与天文界用了一个多世纪,而它的使用者中有相当一部分并不接受开普勒那套关于"力"的说法。
他还在随表刊行的星历里加了一条提醒:1631 年 11 月 7 日,水星将从太阳圆面上经过。水星凌日在当时从未有人亲眼见过。1630 年 11 月,开普勒在雷根斯堡去世。一年后,法国人伽桑狄在巴黎按他给的时间架好器材,看到了那个从日面上爬过去的小黑点。
这条案例的分量不在"又一次预言成真",而在
它把一个理论的两半彻底切开了:算得准的那一半立刻被所有人接受并使用了一个世纪,说明为什么的那一半几乎无人接受,而后者恰恰是开普勒本人最看重的。——
一个模型能不能被采纳,与它的解释是否正确,是两条独立的曲线。这既是好消息(正确的工具会先于正确的道理传播开),也是坏消息(一个算得很准的东西,可能建立在一套错的解释上,而没有人会因此停下来)。请与
№078 对照:那里是同一件事的现代版本。
案例 05
四百年后,同一条定律被用来称一个看不见的东西
当代
牛顿把第三定律改写之后,它多出了一样开普勒版本里没有的东西:公式里出现了质量。于是它的用法被整个翻了过来——不再是"知道距离,算出周期",而是"量出周期和距离,反推出中心天体有多重"。
今天这条反着用的定律是天体测量的主力:银河系中心那颗被称作 S2 的恒星,绕着一个看不见的东西转一圈约十六年;把它的轨道尺寸和周期代进去,得到中心质量约为太阳的四百万倍,而它被压在一个极小的范围里——除了黑洞没有别的解释。两个独立完成这项长期观测的团队于 2020 年获得诺贝尔物理学奖。同一套算术也用在系外行星、双星系统和星系团上。
一条从火星的八角分误差里挤出来的规律,四百年后被用来给一个谁也没见过的黑洞过秤。
——但请顺手记住那个使它成立的修正(见第六节③):开普勒版本里 T²/a³ 是一个常数,牛顿版本里它取决于中心天体的质量。正因为开普勒那个"常数"其实不是常数,它才变成了一把秤。——一条规律被发现"不够普适"的地方,常常正是它最有用的地方。
六
反例与限制
CRITIQUE & LIMITS
这三条从未被推翻。所以这一节写的是四样别的东西:提出者自己给的解释错在哪、它们在什么条件下才精确、"三条定律"这个包装是谁做的、以及它们漂亮但并不好算。
-
① 它们是描述,不是解释;而开普勒给出的解释是错的。他读了吉尔伯特 1600 年的《论磁》,由此设想太阳是一块巨大的磁体,一边自转一边发出某种看不见的"推动力"(他称之为 species immateriata),像辐条一样扫着行星绕圈走。
这套图景有两处根本错误:那个力是横着推的,不是往里拉的;而且他判断它随距离的一次方衰减,理由是行星都在一个平面上,力散布到三维空间是浪费。——正确答案是指向太阳的、按距离平方反比衰减的引力(№081)。
把这一条读准很要紧:一个人可以拿到完全正确的规律,同时对它背后的原因完全说错。规律的正确性不依赖于提出者对机制的解释是否成立。
-
② 它们只在两体问题里精确成立。牛顿的推导告诉我们:只有当一颗行星单独绕太阳转、且不受其他天体影响时,轨道才是一个封闭不动的椭圆。真实的太阳系里,行星彼此拉扯(木星尤其),于是每条轨道都在缓慢地变形、进动。
最有名的一次不服气来自水星:它的近日点每世纪多进动约 43 角秒,把已知行星的摄动全算进去也补不上——这个缺口最终是靠广义相对论填的(№077)。换句话说,开普勒的椭圆和牛顿的引力一样,都是极好的近似,而不是终极答案。
-
③ 第三定律里那个"常数",并不是普适常数。牛顿修正后的形式里,T²/a³ 取决于中心天体与环绕天体的质量之和。
开普勒的版本之所以在太阳系里管用,只是因为太阳的质量压倒性地大于任何一颗行星,那点差别测不出来。把它原样搬到别处就会出错——木星的卫星有它们自己的常数,双星系统更是完全不同。而这恰恰是案例 05 的来源:常数随质量变,所以它才能拿来测质量。
-
④ "开普勒三定律"是后人编成的一组,不是他写下的一组。他没有把它们称为定律,没有把它们当成一个整体讨论,没有说过是三条,也没有按今天的顺序排列(第二条其实先于第一条被写下)。
据科伦雅克 2025 年的考据,这个概念化过程主要发生在十七世纪末到十八世纪初;"定律"一词较早的公开使用见于伏尔泰 1738 年的书,把三条固定成标准一组则见于斯莫尔 1804 年的著作。
后果不只是署名问题:教科书里那个整齐的三段式,把发现过程中最要紧的东西——他先干什么、为什么放弃圆、哪一条是为了算得动才引入的——全部抹平了。
-
⑤ 定律漂亮,不等于好算。第二定律说"相等时间扫过相等面积",可反过来要回答"三个月后这颗行星在哪儿",就得解一个方程(今天叫开普勒方程),而它没有初等的闭式解——只能用迭代逼近。
开普勒本人在书里坦白过这一点,把它留给了后来的几何学家;四百年过去,从航天器变轨到卫星定位,实际做法仍然是数值迭代。
这是一条很实在的提醒:一个规律"被写成了一行漂亮的公式"与"能被直接拿来算出答案",是两件不同的事——参见 №072 的计算不可约性。
再补一条方向相反的,免得这一节读成贬低:这三条在四百年间被检验的强度,超过了几乎所有别的经验规律。它们不但被牛顿从更基本的原理里推导了出来(这是一条规律所能得到的最高待遇之一),而且今天每一次行星探测器的变轨、每一颗卫星的入轨、每一次系外行星的质量估计,都在使用它们的现代形式。——被"超越"在这里的确切含义是:它们被划定了适用范围,然后继续服役。
七
相关理论
CONNECTIONS
万有引力定律 №081Universal Gravitation · 1687
⟹ 直系下游,也是它的解释
牛顿做的事不是"发现了引力",而是证明了
平方反比的引力必然给出椭圆轨道,而椭圆也必然意味着平方反比——这个双向等价,把开普勒的三条描述性规律升级成了可以反推的定律(
№081)。
两篇合起来才是完整的故事:一个人把天空的行为写了下来,另一个人说出了它为什么必须这样。
诺特定理与对称性 №073Noether's Theorem · 1918
⟶ 更深的一层:第二定律的真身
面积定律不是行星的特殊癖好。
"向径在相等时间扫过相等面积"就是角动量守恒,而角动量守恒是空间转动对称性的影子(
№073)。
换句话说,开普勒从火星数据里挤出来的那条规律,三百年后被翻译成了一句关于"什么东西没有变"的话——而且它对任何中心力都成立,与引力具体长什么样无关。
等效原理与广义相对论 №077General Relativity · 1915
⚠ 边界:椭圆并不完全闭合
水星近日点每世纪多出的那 43 角秒,是开普勒椭圆的适用边界被撞到的地方(
№077)。
它的形状与本篇案例 01 惊人地相似:又一次是一个小到几乎可以抹掉的角度差,又一次没有被抹掉,又一次带来了一次重铺。八角分与四十三角秒之间隔着三百年,做的是同一件事。
库恩范式 №006Paradigm Shift · 1962
↔ 教科书级的"异常"样本
八角分是
№006 所说的
反常 anomaly 最干净的一个标本:它小到可以被忽略,而正是不忽略它导致了范式的更替。
但它同时是对库恩的一处校准——开普勒并不是在旧范式崩溃之后才动手,他是在旧范式运转良好、所有人都满意的时候,因为一个八角分的差别自己把它拆了。
奥卡姆剃刀 №014Occam's Razor · 14c
⟷ 方法论对照,附一记警告
椭圆取消了本轮、偏心圆与均衡点这一整套补丁,是剃刀最漂亮的一次执行(
№014)。
但请连着案例 02 一起看:同一个人用同一把"简洁与和谐"的剃刀,剃出了三条定律,也剃出了五个正多面体。剃刀决定先试哪个假设,数据决定留下哪个。
规模法则 №031Scaling Laws
↔ 数学形状上的祖先
T² ∝ a³ 是一条
幂律,指数 3/2;在双对数坐标上,太阳系六颗行星落在一条直线上。
这很可能是科学史上第一条被明确写下来的标度律(
№031)。
它也提示了 №031 与 №016 反复强调的那条纪律:幂律的价值全在那个指数上,而不在"看起来像直线"。
第谷的观测纲领Tychonic observational program · 1576–1601
⟸ 另一条上游,常被略过
没有那批把精度推到肉眼极限、并且系统连续记录的数据,八角分根本不会存在——它会淹没在噪声里,而所有旧模型都会显得完全正确。这条连接可以搬走:任何领域里"更好的测量"本身就是理论进步的前提条件,而它通常由另一批人、用另一套德性完成。
开普勒方程与数值方法Kepler's Equation
⟹ 工程化身与代价
从"面积匀速"到"三个月后它在哪儿",中间隔着一个没有闭式解的超越方程。四百年来的解决办法一直是迭代逼近,今天航天器的轨道计算依然如此。一条定律的实际可用性,往往取决于有没有人替它把这一步做出来——而这一步在教科书里几乎从不出现。
八
致用
APPLICATION
先标明分寸:这是一套天体力学的规律,它不会改变你今天的任何决定。以下五条没有一条是这三条定律的推论,它们是从这段工作史里提出来的判断习惯——请当方法论借用,不要当定理引用。第六节讲的正是这类借用最常见的翻车方式。
-
找出你的那八角分
最值得追的不是明显的失败,是"几乎全对、只有一处死活对不上"的那个数字。模型跑得挺准只有某一类样本总是偏;账基本对得上就是差那么一点;某个客户的行为和所有人都一样只有一个动作不合理。
这类差异最容易被四舍五入掉,因为放过它的当期成本几乎为零。可操作的做法只有一条:把它写下来、记在案,别在心里默默调成"误差范围内"。附一个必要条件:只有当你的测量精度足以让这个差别不再是噪声时,追它才有意义——先问"我这个数据配不配得上这么细的追问"。
-
卡住的时候,先怀疑坐标系,而不是算力
开普勒的突破不是算得更狠,是换掉了两个从没被验算过的默认值:轨道必须是圆、太阳必须在正中间。前人往圆上加本轮已经加了一千多年,每一次都让模型更准一点点,也更复杂一点点。
遇到一个怎么修都修不好的问题,值得停下来问三句:我这里有哪个假设是"大家一直这么做"而从没被检验过的?我一直在加补丁吗?如果换一个记账单位/换一个中心,问题会不会整个变形?——与 №082 那条"换掉记账单位"是同一件事。
-
分清"算得准"与"知道为什么",并接受前者先到
案例 04 的直接搬用。一个能给出正确预测、却说不清机制的模型,是完全正当的知识——它不该因为"只是拟合"就被丢掉。开普勒的表被用了一百年,而他给的机制是错的。
但反过来那一半同样要记住:算得准不构成机制正确的证据。因此可操作的做法是把两件事分开记账——这个模型在什么范围内被验证过(可信)、它对原因的说法有没有被独立检验过(多半没有)。凡是把"它一直很准"当成"所以它的解释也对"的地方,都是将来出事的地方。
-
美不是判据:给你最得意的想法配一个可能失败的预言
案例 02 那一课。正多面体模型输给椭圆,不是因为它不够精巧,而是因为它没有给出任何一个能被数据当场否掉的预言。
当你对某个框架、某套解释、某个"底层逻辑"特别满意时,问一句:如果它是错的,我会在哪里、以什么形式看到?说得出来,它是一个假设;说不出来,它是一种审美。两者都可以有,但不能混用——尤其不能拿后者去做决定。
-
别因为一个人的结论错,就丢掉他的数据
第谷那一卡的搬用。收集证据的能力与解释证据的能力,不必长在同一个人身上,而且它们的寿命完全不同——第谷的体系无人相信,第谷的数字至今在用。
可操作:读一份你不同意其结论的报告时,把它拆成两栏——他观察到了什么(多半可用),他由此推出了什么(可以另议)。这条在争论激烈的地方最值钱,因为那正是人们习惯连人带数据一起否掉的时候。
九
反观三问
THREE QUESTIONS
我手上有没有一个"差得不多,但就是对不上"的数字,被我默默调进了"误差范围内"?我上一次认真去追它是什么时候?
我最近卡住的那件事,是算得不够狠,还是坐标系选错了?我一直在往同一个模型上加补丁吗?
我最相信的那个判断,靠的是它对得上数字,还是它让我觉得漂亮?如果它是错的,我会在哪里看到?
十
延伸阅读
FURTHER READING
-
Johannes Kepler《Astronomia Nova》
Prague, 1609 — 原典;英译 William H. Donahue 译《New Astronomy》Cambridge University Press, 1992(另有 2015 年 Green Lion Press 精简版)。值得注意的是它的写法:开普勒把自己走过的弯路、放弃的模型、算错的地方全写了进去,这在科学著作里极其罕见
-
Johannes Kepler《Harmonices Mundi》
Linz, 1619 — 第三定律的出处;英译 E. J. Aiton / A. M. Duncan / J. V. Field 译《The Harmony of the World》American Philosophical Society, 1997。读它可以直接看到那条定律是在什么样的语境里被写下来的
-
Alexandre Koyré《La révolution astronomique: Copernic, Kepler, Borelli》
Hermann, 1961(英译《The Astronomical Revolution》Methuen, 1973)— 把开普勒的形而上学动机与他的物理天文学纲领放在一起处理,至今是这个题目上最有分量的一本
-
Max Caspar《Kepler》
1948(英译 C. Doris Hellman 译, Abelard-Schuman, 1959;Dover 重印本附 Owen Gingerich 的增补书目)— 标准传记,母亲的巫术案与三十年战争中的辗转都出自这里
-
Ulinka Rublack《The Astronomer and the Witch: Johannes Kepler's Fight for his Mother》
Oxford University Press, 2015 — 卡塔琳娜·开普勒案的完整档案研究;读它才知道案例 03 那段背景不是花絮
-
Martin Korenjak《How Kepler's three laws became Kepler's three laws》
Journal for the History of Astronomy, 2025, pp.277–286 — 本篇最推荐的考据文献;请与前两条原典对照着读,看那三条是怎么从两本书里被挑出来、编号、并被叫作"定律"的
-
维基百科:Kepler's laws of planetary motion
en.wikipedia.org/wiki/Kepler's_laws_of_planetary_motion — 索引入口;另可参见 Astronomia nova、Harmonice Mundi、Rudolphine Tables、Kepler's equation、Katharina Kepler 五个条目
第谷在丹麦的汶岛上建了当时全欧洲最好的观测台,二十多年如一日地记录行星位置。他的贡献不是某个想法,是一个数量级:望远镜发明之前,他把肉眼观测的精度推到了大约一到二角分——相当于在一公里外分辨出半米左右的东西。更要紧的是他改掉了整个行业的习惯:此前的天文学家往往只在行星处于特殊位置时观测几次,第谷是连续地、系统地、把误差也记下来地测。
而他自己的宇宙模型是错的:他不接受地球在动,提出了一个折中方案——其他行星绕太阳,太阳带着它们绕地球。这个体系今天没有任何人相信,可他的数据至今仍被引用。
这一卡的教益比天文学宽:一个人可以同时给出一套错误的理论和一批无可替代的证据,而这两者的寿命完全不同。如果开普勒因为"第谷的体系是错的"而不肯用他的数据,就不会有这三条定律。收集与解释是两种能力,不必长在同一个人身上。
开普勒的定律出版后,很长一段时间几乎没有人真的用它们。大陆上的天文学家一边采用鲁道夫星表(因为它算得准),一边不接受它背后那套椭圆与力的说法;伽利略到死也没有承认过椭圆轨道。
把它当真的第一批人里,最年轻也最动人的是英格兰的霍罗克斯。他二十岁出头,一边当乡村牧师一边算天。他核对开普勒的表,发现它对金星的位置有偏差,自己动手修正——由此算出 1639 年 12 月会有一次金星凌日,而按开普勒原表这一次是算不出来的。1639 年 12 月 4 日(儒略历 11 月 24 日),他把太阳像投在纸屏上,亲眼看见了那个黑点。他还试着把椭圆轨道与一种指向太阳的力结合起来解释。
他 1641 年初去世,年仅二十二岁,遗稿多年后才刊行。牛顿在《原理》里提到过他。一条定律真正"活过来"的时刻,不是它被印出来的时候,而是有人拿它去预言一件还没发生的事、并且愿意为算错负责的时候。
科学史家柯瓦雷在《天文学革命》里做的事,是把开普勒从"近代科学的先驱"这个便宜标签下面捞出来。他强调:开普勒之所以去做这件事,理由是形而上学的——他相信宇宙是按数学与和谐的比例造出来的,他找的是造物者的图纸。《宇宙的奥秘》里的五个正多面体、《世界的和谐》里的音乐比例,与三条定律出自同一个信念,而不是它的杂质。
但柯瓦雷同时指出了那个真正的断裂点:开普勒是第一个坚持天文学必须回答"是什么力量让它这样走"的人。在他之前,天文学的任务是"拯救现象"——只要算得准,模型是不是真的无关紧要;开普勒把《新天文学》的完整标题写成了"基于原因的新天文学,或天体物理学"。这个词组在当时近乎自相矛盾:天上的事怎么会有物理学。
代价见第六节①:他给出的那个原因,是错的。而这正是这一卡最值得记住的地方——把"必须问为什么"这个要求提出来,与"答对了为什么",是两件可以分开发生的事,且前者的影响更长久。
这是一篇很新的考据,做的事与本站反复遇到的那个问题一模一样:我们背下来的那个整齐版本,是谁整理出来的?
结论相当干脆:开普勒从未把这些结果称为"定律",从未把它们当作一个连贯的组来讨论,从未说过它们是三条,也从未按今天的顺序排列。科伦雅克追踪了这个"概念化"的过程,认为它主要发生在十七世纪末到十八世纪初,牛顿与莱布尼茨都参与其中,而后被最早那批牛顿式天文学与物理学教科书定型;"定律"这个称呼较早的公开使用见于伏尔泰 1738 年的《牛顿哲学原理》,而把三条凑成标准一组,则要到罗伯特·斯莫尔 1804 年那本开普勒研究。
这不削弱那三条结论——它们是真的、可检验的、至今在用。它提醒的是另一件事:一个思想被记住的形态,几乎总是经过一次以"便于教学"为目标的重排;而重排掉的东西里,常常包括它当初为什么被发现。——与 №084、№030 是同一个病例的第三次出现。