德麦国际专著第376卷 · 王德生 著

第十章 哥白尼、开普勒与伽利略:从天空秩序到运动序列

一、天空并没有在一个早晨突然改变

上一章的光学实践提出了一个难题:看见不是判断的终点,必须追问什么安排使某个形象能够稳定出现。把这个问题带到天空,困难立刻增大。人在地面上移动屏幕与镜子,却不能随意把火星搬到另一条轨道;观察者所在的地球是否运动,本身也在争论之中。于是,天空的秩序不是直接摆在任何一只眼前的完整图画,而要经过连续记录、时间尺度、空间构图和仪器校验才能取得可比较的形式。

哥白尼、开普勒与伽利略的工作不能合写成一个英雄的连续胜利。三人所面对的对象、所容许的理想化和证据入口并不相同。把地球放入运动系统,改变行星路径的几何形状,把加速过程组织成距离与时间的序列,是三种相互关联却不可相互替代的变革。任何一种变革都没有自动提供另外两种变革所需的全部理由。

本章关心的不是给旧宇宙观宣布一个统一的死亡日期,而是考察新的规定性怎样取得解释权。当天体不再只是一个等级位置,而成为在明确时刻占据某个位置的物体;当运动不再仅以起点与终点分类,而需要说明中间每一段的变化;物理世界的构成已经发生深刻重组。这是本书的发生解释,不能冒充三位作者共同说过的历史宣言。

二、让观察地点进入运动关系

哥白尼在一五四三年出版的体系中把地球纳入行星运动,仍保留圆周组合的数学要求;这不是把后来开普勒的椭圆直接放进早期日心模型。[10-1] 对这一改变,可以先问一个比“太阳在哪里”更基础的问题:观察地点的运动,是否也参与生成所见的天体路径?

设想两名沿同一方向行进的旅人。前方旅人一直向东,后方较快的旅人从旁边经过。对于后者,前者可能暂时显得向后移。这里无需假定前方旅人真的掉头。可是把这个比方用于行星时,不能仅凭一句“地球超过火星”结束证明。视线方向取决于两个位置之差;两个绕行者的速度、距离及在轨道上的相位,都要进入计算。

用现代平面记号作一个教学模型。令地球的位置为向量r地,外行星的位置为r行,则从地球望去的视线向量为q=r行−r地。这个减法的思想意义在于,显露的方向不属于行星单独拥有的特征,也不能只归给观察者。它由两个运动位置与共同空间规定的联系共同产生。地球自身的改变因此可以表现为远方物体的方向改变。

若两者作同向匀速圆周运动,示例周期分别取一年与两年,则平均角速度分别是每年三百六十度与一百八十度,日心相位差一年增加一百八十度,两年回到原值。同向再次会合的周期为二年。这只是人为选数的圆轨道模型,不是火星的实测周期;而且相位差的变化率也不是地面所见经度的变化率,后者还需要从q计算方向。

这个细节十分重要。错误的科普常把不同角度偷换为同一个角度,得到貌似清楚的“证明”。本书所说的特征纠缠,恰恰要求保留角度属于哪一个顶点、方向相对于哪一个参照、时间由什么尺度标定。缺失这些规定,再漂亮的运动图也只能帮助想象,不能承担检验。

三、坐标改写与世界改造之间

同一组相对位置可以在不同坐标中表达。把所有位置同时减去地球位置,地球便在新坐标里停在原点。这种数学变换本身既不能证明地球物理上绝对静止,也不能证明日心说已被取消。坐标是否方便,与何种运动关系能得到统一动力解释,是两个需要联系却不能混淆的问题。

因此,强有力的竞争解释可以这样提出:哥白尼所做的也许只是重新整理计算,天空本身未发生任何构成变化。这个看法能够解释为什么相近的观测结果可能被不同图式表达,也提醒我们不要把图上居中直接当成宇宙地位。但是,它还需要解释新的整理为什么改变了问题的结构:地球与其他行星开始承担同类运动问题,地上观察者不再享有不必说明自身状态的豁免。

本书的创造论述在此有一个明确限度。它不声称写出新书使地球首次开始绕行,而是说“地球作为行星”“观测作为相对运动的结果”等规定,进入了一个可共同推演和争辩的物理世界。假如这种规定变化并未改变推理、操作或证据要求,只是名词替换,那么创造论述在这个案例上便应撤回。它必须证明重组的实际内容,不能把一切改称为创造后便自认为已经解释历史。

四、椭圆不是把圆轻轻压扁

开普勒的工作使轨道形状与运动快慢不能再各自孤立。研究机构对《新天文学》的介绍强调,其火星研究包含长期反复构模;椭圆也不是把若干观测点连起来便自然显出的答案。[10-2] 在成熟的几何表述中,太阳占据椭圆的一个焦点,行星与太阳的连线在相等时间扫过相等面积。[10-3]

为了理解这一改变,可以把一条轨道画在纸上,再分别规定两种走法:一种每秒走过相等弧长,另一种每秒扫过相等面积。轨道完全相同,两种序列通常仍不相同。形状不足以规定运动。反过来,只写下快慢比例而不说明距离从哪个点量起,也不足以规定可计算的轨迹。新的天体对象因而同时包含路径与时间规则。

作一个可复算的现代模型:椭圆半长轴取十个任意长度单位,离心率取零点二。近日点距离为十乘以零点八,等于八;远日点距离为十乘以一点二,等于十二。在两端,速度方向都与焦点连线垂直。若单位时间扫过的面积相同,便有八乘近日点速度,等于十二乘远日点速度。因此近日点速度是远日点速度的一点五倍。

这里用到的是小时间内扫过面积近似等于二分之一乘距离、横向速度与时间;取极限即可得到瞬时面积速率。这个现代微小量推导说明了公式的含义,并不意味着开普勒已经以现代微积分课本的语言工作。还要注意,离开两端后,速度不总与焦点连线垂直,不能在任意位置都把总速率直接替换为横向速率。

若有人提出“椭圆上匀速运动也一样好”,这一竞争模型可以被具体比较。在上述椭圆的两端,匀速模型给出相同速率;面积规则却给出一点五的比值。通过跨越不同位置的时间记录,可以考察哪一种更能保持拟合后的预测。若只检验轨道形状,两者不能被区分;若只用同一批数据调参再宣布胜出,也会高估证据强度。保留未参与拟合的时段,是现代重建中使模型承担额外风险的一种方式。

五、小偏差为什么有时具有大力量

观测与模型之间有偏差,不等于模型已经被推翻。偏差可能来自仪器、折射修正、时刻记录、计算舍入,或路径假定。它也可能来自这些因素的组合。真正困难的工作是把偏差变成有结构的问题:它是否随轨道位置规律变化,是否在不同观测中重复,是否大于已经查明的误差范围?

一个例子可以说明差别。若四次误差依次为正一、负一、正一、负一,而每次测量本来就可能误差两个单位,那么这些数字不足以迫使人改换轨道。但若某段轨道上多次偏差同为正十,另一段同为负十,而独立校验仍把仪器误差限制在两个单位内,就有理由怀疑模型遗漏了一项有组织的关系。这里的数字只是辨别逻辑的示例,不是对历史观测表的复制。

沿S—E—D路径,先把稳定而有方向性的失配确认为需要解释的显露S,再追问既有几何与位置联系E是否允许这种失配,继而改变求解与观测安排D,例如比较新的轨道形式,并把预测送回尚未使用的记录。整条路径不能停在“旧模型不够好”的感叹;它必须产生能够再次失败的新比较。

而且一次成功修订不能使其余维度免于检查。如果椭圆模型与某些数据仍有出入,不能为了维护几何美感便随意删掉它们。也不能反过来因为现代行星轨道并非永远严格的孤立椭圆,便说椭圆方法没有效力。模型的成立范围要由对象之间哪些联系被保留、哪些联系被忽略来说明。近似有条件,才有可扩展的知识。

六、望远镜带来的并非不需说明的真相

伽利略观察到金星具有不同照明相位。伽利略博物馆指出,这与把金星始终安排在地球与太阳之间的标准托勒密方案不合;但第谷的地心—日心体系同样能够容纳这些相位。[10-4] 所以,“看到金星相位”不能被写成一次观察就唯一证明地球绕日运动。

这项限制并不降低观察的重要性。一个结果可以有力排除某个模型,却不能排除所有竞争者。证据的力量在于它改变了候选解释之间的关系,不在于每次都必须把历史带到最终结论。若要求一次观察立即解决整个宇宙论,就会同时误解科学的强处与限度。

还有更贴近仪器的竞争解释:新出现的形状会不会来自镜片、眩光或辨认方式?解决它需要重复观察、比较不同器具、考察形态是否按照连续时序变化,并检查同一仪器面对不同对象时是否制造相同伪影。这样的比较不是在观察之后额外添加的礼仪,而参与构成什么可以算作天体的一项稳定特征。

从上一章延续而来的光学问题,因此进入了天文学核心。可见的形状不再是没有条件的S,望远镜也不是随手放在世界外面的D。成像、照明、视线以及观测时刻之间的E,使连续形态具有可解释性。若同样的形态随镜筒旋转而旋转,便要检查仪器来源;若它随天体相对位置连续变化,则支持另一类构成说明。这里提出的是一般检验方案,不是声称伽利略逐项实施了这个现代清单。

七、把下降变成能够放慢的序列

天文学不能任意重新安排天体,地面运动却可以通过装置获得新的比较入口。《两门新科学》第三日叙述以斜槽中的青铜球研究下降,并用收集水的重量比较持续时间;书中把数学推演与自然运动是否符合推演分开提出。[10-5] 这比把整场变革压缩成斜塔上投球的戏剧更能说明问题。

关键不是球终于肯听从数字,而是下降过程可以被拆成能够分别比较的路段。直接从高处落下时,变化太快,中间过程不容易区分。斜面的作用在于重新安排过程,使时间差与路程差进入测量能力之内。不过,放慢不是无条件复制:滚动球还涉及转动与接触,不能把斜槽滚动的系数不经说明就等同于理想质点竖直下落。

用一个现代教学例子取沿程恒定加速度为每平方秒零点四米,初速度为零。则s等于二分之一at平方。第一秒末的总路程为零点二米,第二秒末为零点八米,第三秒末为一点八米。三段相继的一秒区间内,路程分别是零点二、零点六、一米,比为一比三比五。总路程比则为一比四比九。把这两个比例混为一谈,会毁掉本来清楚的证据。

这组数字并未测出自然界的真实加速度;它让读者检验一个假定的内部后果。要把后果转为经验命题,必须检查起动是否近于静止,计时零点是否一致,轨道是否足够均匀。若初速度为每秒零点一米,同样的加速度会给出零点三、一、二点一米的累计路程,原来的平方比例便不再成立,但这不等于恒加速度本身被否定。失败究竟属于哪个条件,必须逐一定位。

八、反例不是从数据表中随手挑出的数字

对于下降实验,强竞争模型不是一句“古人不懂科学”,而可以是恒速运动、随路程增长的速度规则,或具有系统计时偏差的替代拟合。恒速模型对等时段给出相等路程,因而与一比三比五的区间关系不同。若可靠测量在宽广范围内维持等路程,恒加速度解释就不能凭权威保留。

另一种困难更隐蔽:计时存在固定延迟。若实际运动已经开始而记录稍后才启动,短时间区间受影响尤其大,数据可能显示一种假曲率。为识别这一点,可以改变总路程、重复释放、采用独立计时方式,并比较偏差是否随着时间长度按同一模式缩小。可败条件必须涉及校准后的结果,否则任何模型都可以把反例推给未说明的误差。

这里走的是D—S—E路径。先通过斜面、释放与计时安排D,使原本难分辨的变化形成序列S;再分析哪些接触、转动、起始状态与尺度关系E使这一序列成立;随后返回装置,改变这些关系并检验结果。它与前述从轨道失配进入几何重建的路径不同,但同样不能删去第三维。

S=F(D,E)在此要求说明读数的生成条件,D=G(S,E)要求让已有结果指导新的区间与校准选择,E=H(S,D)则要求根据重复操作修订对过程联系的判断。这三个式子不是可直接代入数字的运动方程。上面的路程公式才是已规定对象与条件后的具体模型;两种层次各自承担任务,不能互相冒名。

九、新运动世界怎样保持开放

三原理在本章并不构成另一套天文学定律。若同一观测安排D不断产生与模型预期不合的S,两维张力推动检查并改变E,然后返回原记录核对;若某种显露S与既定构成关系E难以相容,则推动新的D,例如延长观测时段或独立校准,再检验冲突是否消失;若操作D与构成解释E不能共同维持原有对象规定,则推动S的重新区分,例如把总路程与逐段路程分开,再回到原操作检验。第三维的改变必须承担回检,才不是任意修辞。

这也解释为什么天空与地面问题能够开始接近,却没有在本章自动完成统一。开普勒的路径与时间关系没有单独给出一切力的来源;伽利略的加速序列也没有直接推导行星轨道。若把后来的引力体系提前放入他们的研究,会看不见那些尚未解决的问题,甚至把真正需要下一代创造的工作当成已经完成。

从历史的另一端看,旧问题也没有全部消失。相对位置如何获得绝对意义,数学上相容的不同模型怎样选择,局部装置中的规律怎样推广,仍会以新形式返回。成熟物理的力量不是不再遭遇这些问题,而是把它们变成可以分工、比较和继续推进的问题。

本书据此把这一时期理解为物理世界构成的一次转换:运动开始拥有可逐时刻追问的序列,观察地点进入被说明的关系,仪器读数进入证明责任,形状和时间规则被迫共同接受检验。它保留了自然独立施加约束这一事实,也强调约束必须通过明确规定才能成为公共知识。接下来的近代物理,将在这些新对象之间寻找更统一的联系,同时再次改变它们各自的身份。

参考资料与阅读范围

[10-1] Pisgah Astronomical Research Institute, “Three Models,” Kepler’s Discovery,含《新天文学》第一章节译及三体系说明。https://www.keplersdiscovery.com/threeModels.html 。阅读对应机构页面;仅据以简述哥白尼体系与圆周组合。 [10-2] PARI, “Kepler’s New Astronomy”及“The Ellipse”。https://www.keplersdiscovery.com/keplersNewAstronomy.html ;https://www.keplersdiscovery.com/theEllipse.html 。阅读研究过程与椭圆主题页,未据此声称通读《新天文学》。 [10-3] PARI, “The Area-Time Principle”。https://www.keplersdiscovery.com/areaTimePrinciple.html 。阅读面积与时间关系的说明;正文椭圆数值和极限推导为现代教学重述。 [10-4] Museo Galileo, “Phases of Venus”。https://catalogue.museogalileo.it/indepth/PhasesVenus.html 。阅读金星相位与竞争体系说明。 [10-5] Galileo Galilei, Dialogues Concerning Two New Sciences, Third Day,Henry Crew、Alfonso de Salvio英译,1914,均匀加速运动及斜槽、水计时相关段。https://en.wikisource.org/wiki/Dialogues_Concerning_Two_New_Sciences/Third_Day 。阅读相应原典译文;现代数值、误差设计与SDE解释不归于伽利略原话。