第18章 开普勒:一个残差怎样迫使轨道重写
18.1 火星数据的约束力
八角分为什么能够改变天文学?若回答“开普勒特别认真”,便把一个涉及仪器、几何与物理的复杂问题缩成个人品德。认真当然重要,但只有当偏差超过可信误差,并且不能由其他可接受调整消除时,它才具有改变模型的力量。残差不是独自行动的原因,它必须进入一套判断关系。
《新天文学》以火星为主要对象,展开大量模型比较和推算。它不是先宣布椭圆,再附几个支持数字,而是把困难与尝试纳入论述。[18-1] 今天的教科书可以直接列出定律,思想史却必须解释这些定律为什么在当时成为有理由接受的关系。
地面观测首先给出方向,轨道研究却要求知道行星在太阳周围怎样分布。方向与距离不是同一个量。一个模型可能很好地拟合经度,却在推定距离方面出现问题。开普勒研究中的关键复杂性,正是不同量互相检查,而不是拿一串点同圆和椭圆简单比赛谁贴得更近。
被称作替代假说的构造,在某些经度拟合上表现很好,但将其与其他几何约束结合后,问题显露出来。现代细致重构强调,经度成功不能无条件保证轨道结构正确;当结构调整以满足距离关系时,又可能产生不能忽略的经度差异。[18-2] 因而,“一个圆差八分,于是换成椭圆”的故事遗漏了最重要的相互检验。
这个例子可以用一般逆问题说明。观测者获得某个方向,许多不同距离的点都位于同一视线上。若只拟合方向,模型可能保留较大自由度;加入另一时间的方向或其他几何关系,候选范围才缩小。不同资料不是重复投票,而可能分别约束不同自由度。
火星的困难还同地球有关。观察者所在位置若被错误描述,推定的火星轨道也会偏移。因此,研究火星不能把地球轨道当成永远无误的外部条件。观察者的位置进入对象解释,正是主客互动复合体的一个具体机制。它不是抽象宣称主体影响客体,而是一个可写出几何关系、可检查误差传递的问题。
第谷资料提供较严格的条件,但开普勒仍须判断哪些结果可信,哪些偏差可能来自运算或其他环节。误差界不是一个神圣数字,而是由既有测量能力和相互检查支持的工作判断。正因为它有根据,不能轻易把令人不舒服的残差当作无关小事。
SDE分析在此得到一个明确结构:诊断阶段的中间显露S是模型预测与观察之间的残差,差异运行D的含义依赖误差界、参照选择和轨道假设之间的E。这里的研究单位是一次模型诊断;后文讨论新轨道结构S时,研究单位转为轨道体系的构成,不能将两个层次的S直接等同。改变任何一项,残差的解释可能改变。因此,残差的存在与残差迫使哪个假设改变,是两个不同命题。
“八角分”还需要放回论证的位置。它并非每一轮初始拟合都同样出现的标签,而与不同约束之间的不相容相关。开普勒在《新天文学》第十九章强调不能忽略这一差异。[18-4] 若将它改写成某个圆对所有观测都统一差八分,就会使原来复杂的诊断变成一个错误的简图。
更一般地说,残差具有形状。它可能在某些位置偏正,在另一些位置偏负;可能随时间积累,也可能随几何配置重复。研究者若只保留最大值,就可能丢掉能够辨认原因的信息。一个误差序列比单个误差数字更有诊断力,因为它显示错误与条件之间的关联。
这里也能理解为何同样数据未必产生同样发现。研究者可能只检查通常用于拟合的观测,因而看到模型成功;也可能寻找不同几何条件,让原先未约束的自由度显露。创造不只来自更多资料,也来自改变资料之间的比较方式。这种变化需要明确问题,而不是任意组合。
当然,寻找有区分力的资料不能变成挑选有利资料。如果研究者只保留使圆失败而使椭圆成功的记录,就无法建立可靠结论。必须说明筛选的几何理由,并用其他资料交叉检查。由此,选择的自由同检验的约束相互配合,才可能产生可公共确认的新关系。
还应注意,发现叙事本身经过作者组织。《新天文学》呈现的论证顺序,不必等于每一次实际尝试发生的先后。我们可以依据文本分析它向读者提供了怎样的理由,却不能没有其他材料就把它当作逐日实验日志。这个区分避免把一部精心论证的作品误读成透明的心理记录。
它也使本书的方法保持自我约束。SDE可以重建条件之间的相互规定,但不能声称因此已经知道作者每一刻如何思考。可验证的是文本、计算与资料所呈现的关系;更细的心理过程只能在有证据时讨论。发生学的严密性,正取决于愿意在材料边界处停下。
18.2 从圆到椭圆的试探
圆并非被一个漂亮椭圆图瞬间击败。轨道形状、运动速度和参照中心共同参与预测,改变其中一项可能改善某些结果,却恶化其他结果。开普勒必须在这些相互牵制中工作。真正困难的不是想象一种非圆曲线,而是使它同连续运动与多类资料同时相容。
首先要区分轨迹和运行规律。轨迹说明天体经过哪些位置,运行规律说明它何时到达这些位置。同一条圆轨道,配不同速度规则,可以产生不同时间序列;同一组少量位置,也可能被不同曲线和速度组合经过。只比较曲线外观,无法判断完整模型。
替代假说的价值正具有双重性。它作为完整结构存在困难,却能在有限任务上提供有用近似。一个失败模型并非只能被丢弃,它的局部成功可以成为后续研究的资源。开普勒的工作体现了这种分解能力:不把所有旧结果一并取消,也不因局部成功而保护全部假设。
第二类尝试涉及非圆的卵形候选。承认圆不能满足要求,并不会唯一指定椭圆。许多形状都能偏离圆,关键在于它们怎样同距离与运动规则配合。现代重构展示了从候选卵形到椭圆之间的进一步比较。[18-2] 这里的失败不是徒劳插曲,而是缩小可能空间的实际工作。
用现代几何说明,椭圆具有中心、长短轴与焦点等不同位置。太阳在一个焦点,与太阳在椭圆中心并不是同一模型。即使画出相同椭圆,如果运行规律或太阳位置不同,预测仍会改变。教科书的一句话“轨道是椭圆”,只有连同这些关系才具有天文学内容。
可以进一步作一个思想比较。若只观察轨道的一小段,圆弧与某些椭圆弧可能非常接近;若只检查几个特殊位置,某种错误速度规则也可能暂时过关。扩大时间范围并更换观察几何,才可能暴露差异。因此,模型检验需要有意识地寻找候选分歧最大的条件,而不是只在最容易成功的地方重复确认。
这正是六路径互查的意义。从椭圆成品S回看历史,容易把所有尝试写成接近答案的台阶;从失败差异D出发,检查当时可用约束E,则会看到不止一条可能道路。两种入口结合,既能够解释最后关系的力量,也保留发现过程的开放性。
必须避免把开普勒描述成完全摆脱一切审美与形而上信念的纯数据机器。他对宇宙秩序和物理原因有强烈追求,但这些追求没有使全部候选免于失败。创造力在这里表现为让偏爱的构造接受具体约束,并在不能兼容时改变它,而不是事先没有任何偏好。
S=F(D,E)在本章不意味着把数据机械投入公式便产出椭圆。F所代表的,是一系列受到约束的构造、比较与判断。若不给出候选、操作和排除理由,这个符号没有解释力。只有说明为什么某些自由度被保留、某些被取消,发生学才触及真实研究。
失败构造还具有一种方法价值:它让研究者知道哪种成功只是表面。某模型可以通过调整两个参数补偿彼此错误,在少量观察上表现优秀;当加入新的条件,补偿关系就可能崩解。这样,失败不是简单宣布“模型不对”,而是暴露不同部分如何错误地相互支持。
在SDE语言中,这是一种病态的稳定化:某个S在有限D中稳定,却依赖一个不能扩展的E。扩大比较范围后,原稳定性失去支持。这个判断不需要给历史人物贴标签,它只说明为什么局部拟合不能承担总体真实性。可扩展的稳定,必须经受不同任务的检验。
圆到椭圆的改变也不宜被理解成多样性无条件胜过统一性。任意曲线越多,拟合选择越多,解释也可能越空。开普勒需要的是新的受约束统一:既容纳观测差异,又不允许任意修改。创新由此不是不断增加选择,而是在探索之后形成更有内容的限制。
这一点与“自由就是没有约束”的理解不同。研究自由表现为能够改变曾被认为不可动的前提,随后还要承担新的约束。若只放弃圆,却不给出时间关系和太阳位置,就没有完成新天文学。自由律的分析必须落在候选生成、选择理由与可操作结果上,不能停留于赞美突破。
18.3 运动规则与物理原因
椭圆解决轨迹问题,面积规律则把时间重新带入几何。在现代表述中,行星与太阳连线在相等时间扫过相等面积。这意味着行星在靠近太阳时通常运行较快,在远离太阳时较慢,但不能把这种定性描述当成完整定律。面积与时间的比例关系,才提供可以计算的约束。
用现代记号写,面积变化率保持恒定。这个式子是现代说明,不是开普勒原始表达。它把位置、角变化和时间联系在一起,使速度不再只是沿某个圆的固定角速度。由此形成的运动对象,其性质属于轨迹与时间的共同结构,而不是一条静止曲线独立具有。
还要区分描述规律与物理原因。面积规律告诉我们运动怎样组织,并不单凭自身说明为什么如此。开普勒尝试从太阳作用等方向寻求原因,但不能把他的解释直接写成牛顿万有引力。[18-3] 后来的理论会重新理解这些规律,早期探索却有自身语言与局限。
物理兴趣仍然能够产生有效研究选择。把真实太阳而不是某个方便的数学点作为重要参照,会改变模型组织。这个选择最初可以部分由物理理由推动,随后必须接受观测与几何检验。[18-2] 理论直觉与经验约束因此不是只能二选一:前者提出值得尝试的结构,后者决定它能否继续承担解释。
这里存在一种容易被忽视的创造机制。新物理想象未必完全正确,却可能促使研究者提出更有区分力的问题。若它引导的比较取得稳定结果,某些关系能够被保留,原先物理说明则可能后来被替换。知识不是只有整套全对才有价值,但必须明确哪些部分通过了检验。
反过来,经验规律也可能先于完整原因获得可靠地位。不能因为当时原因解释不足,就否认它的描述成绩;也不能因为描述准确,就宣布原因已经确定。同一运动规律可以在一段时间内同不同机制设想相联。思想史需要保留这种暂时开放的状态。
对SDE而言,E在这里表现为轨道几何、时间规则和太阳参照之间的相互规定。若改变太阳位置,面积规则的表达与预测也会改变;若改变时间分配,同一椭圆不再给出相同观测序列。这不是把几何和物理放在同一段文字中的简单并列,而是它们共同构成一个可检验运动系统。
这一系统带来的新世界,不只是人们脑中多了一条正确曲线。新的行星成为具有焦点关系、连续速度变化与可比较周期的对象,研究者可以提出此前不同的问题。对象特征、计算方法和解释目标一起改变,正是科学世界构成的实质内容。
但这个判断仍有边界。开普勒没有因建立新的运动对象就制造行星本身,也没有消除所有扰动和长期变化。新的体系具有适用范围,后来还要进入更广动力学。承认这一范围,能够使本体论解释同科学工作的实际层次保持一致。
轨迹与时间的区分,还能说明为什么不能把定律当作单纯图像。读者看见椭圆,可能以为已经理解运动;实际上,要预测某日位置,还需要从经过时间求出相应位置。这一计算并不等于沿椭圆均匀走过相同弧长。面积关系改变了实际求解任务,也改变了“知道轨道”的含义。
从现代角度,可以把这种任务看成几何与时间参数之间的转换。转换要求明确起始条件、轨道尺度和运动周期。只有这些量共同确定,椭圆才成为一个可运行模型。可见,科学对象的形成不是先有一个完全独立的几何体,再给它加上时间,而是几何与时间在计算中相互规定。
同时,不能把后来普遍采用的教科书顺序当成发现顺序。今天先讲椭圆再讲面积,便于系统教学;历史研究却可能在运动规则、距离与形状之间来回推进。知识最后的组织方式,与它取得的路径不同。承认这种不同,是保护创造过程多样性的必要条件。
现代证明也不能替代历史理由。我们可以由后来的动力学推导面积规律,却不能因此说开普勒当时已经具有那套证明。后来的解释增加了关系的统一性,早期论证则展示它如何首先获得可信地位。两种工作都重要,但它们回答不同问题。
18.4 新轨道的回写
一项新规律只有进入进一步计算与检验,才能从令人信服的论证变成持续研究能力。椭圆和面积规律改变了星历制作,也改变了后来研究者对原因的要求。旧问题是如何组合圆周以表征位置,新问题逐渐包括为什么行星应服从这种轨道与时间关系。
这种回写并非自动发生。新方法可能计算复杂,使用者需要学习,表格需要重新制作。理论上优越的关系若尚未被转成便利程序,旧方法仍可能在实际任务中继续使用。接受节奏因此不应只按出版日期排列,而应考察何种能力何时进入实践。
开普勒后来参与的星历工作,使新的轨道资源得到更广使用。[18-3] 本章不把这种后续成功倒灌为一六〇九年所有论证已经无懈可击,而是强调:生成、检验与封装需要时间。每个阶段既继承前一阶段成果,也可能发现前一阶段没有处理的困难。
新规律还重写了误差解释。此前某些残差可以归于模型基本形状,新的主要关系成立后,剩余偏差可能促使研究者寻找更细原因。一个层次的成功没有结束差异,而是改变差异出现的背景。理论进展因而往往不是使所有误差消失,而是使误差更有结构、更值得追踪。
这里的D=G(S,E)非常具体:椭圆关系S成立后,研究者不再任意比较所有曲线,而是在新的约束E中检查参数、时间分配和剩余异常。E=H(S,D)也有具体含义:新的计算成绩与反复应用,改变了什么模型被认为值得信任,什么偏差必须认真对待。三个方向不是重复一句“互相影响”,而是不同任务的重组。
如果只把这一过程写成“事实战胜偏见”,还会遗漏一个重要条件:事实需要被组织成能够区分候选的证据。方向、距离、时间和误差的相互检查,才使八角分承担力量。孤立数字不会告诉研究者究竟该改圆、改速度、改地球轨道还是改测量。
因此,开普勒的创造性既在提出新关系,也在改变证据怎样被联合使用。他没有满足于一种量的良好拟合,而要求不同量之间相容。统一性在这里具有风险:连接越紧,一个地方的失败越可能迫使其他地方调整。也正因如此,体系成功时不再只是多个孤立拟合的集合。
对本章而言,还有三个可能否定过强解释的情形。若某种偏差仍可由可信的测量修正解释,就不能立即归因于轨道形状;若新曲线只在用于构造它的资料上成功,就不能宣称已经通过独立检验;若后来的计算程序才使某项成绩实现,就不能把全部成绩归到最初发表时。这些限制使发生学叙述能够接受检查。
从反面看,真正有力的证据是多重约束在同一结构中相容:方向支持的关系没有破坏距离,时间分配没有破坏位置,误差处理没有依赖任意删改。统一性不是少说几句话,而是让更多判断彼此承担责任。多样性则保留在不同资料、不同候选与不同检验方式中。和谐性表现为这些差异能够共同支持一个有限而稳定的运动结构。
这个结构仍然可以继续改变。后来研究者会询问其他行星、卫星及扰动是否服从相同关系,何种近似可以使用,何时需要更深解释。每个新问题都可能使原规律的范围更清楚,而不必立即将其全部取消。知识的成长因此包括巩固、限制和重构,不只是增加正确句子。
对读者而言,最值得从开普勒工作中学到的,不是迷恋某个微小差异,而是识别差异何时真正有意义。一个数字只有同测量能力、候选结构和独立约束结合,才可能指向需要改变的地方。没有这种联系,执着小数位也可能只是精致的误判。
反之,一项看似不起眼的偏差若反复出现,并且无法由已知误差解释,就值得让它改变研究安排。让失败结果回写问题,而不是只让既有目标筛选结果,是本章所揭示的创造机制。新的轨道世界由此产生,不是因为旧知识被全盘遗忘,而是因为旧知识被迫进入更严格的相互检验。
由此,开普勒案例既支持关系重构的解释,也限制任何万能解释。三方程能够帮助组织问题,六路径能够暴露入口偏差,三原理能够追踪张力与改道;它们是否有效,最终仍要由具体分析是否比原先更清楚、更可检验来判断。
这种判断也适用于后续章节:一个方法的名称不能代替它实际完成的工作。只有当它帮助区分了原先混淆的层次,找到了可以反驳的依赖关系,并使材料获得新的可检查联系,方法才真正进入了思想史。
这一章给出的发生学结论是有限而可检验的:残差只有在可信误差、候选结构与交叉约束中,才取得改道力量;新结构的形成又重新安排后续比较。若删去这些中间环节,只剩“八分带来革命”,便把历史创造变成了传奇。保留它们,才能看清一个新的行星运动世界怎样具体发生。
本章参考文献
[18-1] Johannes Kepler. Astronomia nova,1609。Smithsonian Libraries原版数字化馆藏。https://library.si.edu/digital-library/book/astronomianovaa00kepl
[18-2] George E. Smith. Kepler’s Astronomia Nova and the Orbit of Mars. Tufts University,2014。核读模型、经度与距离交叉检验相关部分;其重构不视为发现过程逐日复原。https://dl.tufts.edu/downloads/s4655t006
[18-3] Albert Van Helden. Johannes Kepler. The Galileo Project, Rice University。https://galileo.library.rice.edu/sci/kepler.html
[18-4] Johannes Kepler. 《新天文学》第19章八角分相关段落,MacTutor所收译文与出处。正文不作长引。https://mathshistory.st-andrews.ac.uk/Biographies/Kepler/quotations/