第8章 托勒密体系：预测成功与解释代价
8.1 模型为什么能预测
如果把托勒密体系画成许多小圆套着大圆，很容易得到一种印象：只要资料不合，就随意再添一个圆。这样的图像虽然流行，却没有解释这套数学天文学为什么能够长期工作。一个可以任意迎合过去资料的模型，未必能够在未来时刻提供有用位置；托勒密体系的历史力量，必须从其实际计算结构理解。
《至大论》将球面方法、日月理论、恒星和行星运动组织成一个可运算整体。[8-1] 它不是只有一张宇宙图。观察日期需要转换为相对于历元的时间，平均运动把时间转换成角量，几何修正再把平均量转换为可与观测比较的位置。每一部分都要求明确参数与计算步骤。
本轮与均轮可以先用一个简化的现代几何说明。令一个小圆的中心在较大圆周上运动，目标又围绕小圆中心运动；观察者看到的是两种位移共同形成的方向。在平面直角坐标中，可写成x＝R cos α＋r cos β，y＝R sin α＋r sin β。这里的R与r是两个半径，α与β是随时间变化的角度。该式是现代说明，不是托勒密原文，也未包括其全部行星修正。
这个简单模型已经能够说明一个关键点：即使两个组成运动各有规则，合成后相对于观察者的方向也可以出现快慢变化乃至局部反向。因此，本轮不是专门为遮掩错误而发明的语言，它是一种将复杂视运动分解为可计算成分的数学方法。它是否有效，要比较它在特定参数下产生的整段位置序列。
偏心构造进一步把观察者与轨道几何中心分开。物体可以相对于圆心以规则方式运动，却从偏离圆心的位置看来时快时慢。这里必须区别实际沿圆周的运动规定与观察方向的角速度。没有这种区别，“匀速”二字会让读者误以为任何中心看到的变化都相同。
均衡点使这种区分更加尖锐。就外行星模型的典型构造而言，本轮中心到均轮中心的距离保持固定，而相对于另一点的角度按均匀方式改变。美国国会图书馆展示的《至大论》拉丁手稿相关页，正呈现了均匀运动中心与等距中心分离的结构。[8-2] 它保留了圆形轨迹，却改变了匀速旋转所依据的中心。
从现代几何角度看，若Q为均衡点、C为圆心、P在圆上，条件CP长度固定与QP方向均匀旋转，通常不会使CP方向也均匀旋转。三个点不重合，两个角度就不具有相同时间变化。这是明确的几何后果，不需要先诉诸某种审美判断。模型的数值收益与运动规范的困难，都由这组关系产生。
8.2 “拟合”不等于“乱编”
任何位置模型都需要从资料确定某些量。把这种过程叫拟合，本身并不是批评。关键在于参数受到什么限制，能否同时处理多次观测，是否对未用于确定参数的情形提供正确预期。一个模型的解释责任随着自由度增加而增加，但自由度的存在并不等于任意性。
考察一个只有半径比和初始相位的简化本轮模型，便可理解约束。改变半径比会同时影响视运动幅度和某些转向特征；改变相位会移动这些特征出现的时间。参数不是只修正一个点而不碰别处。若用一个参数改善某段轨迹，却使另一段偏差扩大，这种冲突就会限制可接受取值。
这正是E需要具体化的地方。半径比、相位、观测时刻与允许误差共同决定模型是否成功。它们不是模型旁边的四项背景，而是在预测过程中互相约束：时间解释改变，所需相位会变；观测精度提高，过去可忽略的差异会变成系统残差；运动规范收紧，某些原来可用的参数化方式会被排除。
公平比较应保持任务相同。不能拿某模型预报黄经的成功去抵销它对距离变化的失败，也不能用后来更精密的观测直接宣判当时方法没有价值。一个体系可能在某种角位置任务上有效，在另一种物理量上不充分。有效域应当细分，而不是压缩为“对”或“错”一个字。
天文表又增加了一个容易忽略的层次。几何模型说明怎样计算，但使用者实际常通过表格获得结果。表格的步长、插值方法和数字精度，会影响最终误差。即使几何关系没有改变，数表抄误或舍入也可能造成不同结果。因此，对模型的检验应尽可能辨明误差来自构造、参数、表格还是使用过程。
以一般线性插值作现代例子：若表格给出两个相邻角度对应的量，使用者可以按中间角度所占比例估计中间值。这样的近似节省计算，却只有在函数变化足够平缓、间隔合适时才可靠。增加表格密度可以减少一类误差，却增加抄写、存储与核查负担。计算传统的可用性，是精度与操作成本共同形成的结果。
托勒密的弦表便是这种计算基础的一部分。现代对其数表的研究指出，几何论证、表中数据与插值项之间存在需要细查的关系。[8-3] 在这里，史学问题不是赞叹数字多么精确，而是查明这些数字怎样产生、怎样在后续运算中使用。数表使理论获得执行能力，也让理论承受来自实际执行的新检验。
这使托勒密式体系超出一套宇宙意见。它是一种能够训练使用者、生成预报、比较位置的研究能力。该能力在地心构造中形成，但并不能被“地心”二字完全概括。若不把计算资产拆出来，就无法理解后来的批评者为什么仍然需要学习并使用其方法。
8.3 被保留的计算资产
一套理论最持久的部分，有时并不是它对宇宙中心的断言，而是它提供的工作方式。明确历元、区分平均量与修正量、把几何关系编成数表、通过已知关系检查抄误，这些方法能在新的解释框架中继续发挥作用。理论变迁因此既有断裂，也有重新组合。
我们可以把这种连续性分为几个层次。符号和名称可能保留而意义改变；数学关系可能保留而物理解释改变；计算步骤可能局部保留而参数全部重估。只有具体比较，才能知道所谓继承究竟发生在哪一层。笼统说后人“沿用托勒密”，既可能低估创新，也可能夸大不变性。
弦与角度之间的关系尤其适合说明这一点。对于半径R的圆，现代形式给出弦长c＝2R sin(θ/2)。这是一条几何关系，与太阳系采用哪个中心无关。使用者可以把弦表转换为另一种三角表达，却仍承接同一计算问题。方法资产的迁移，不要求旧体系所有本体假设一并迁移。
另一方面，具体数表并非只由这条普遍关系决定。它还需要选取半径单位、角度步长、保留位数与插值规则。换一种表达后，如果不处理这些约定，数值就无法直接复用。因此，保留数学结构与复制表格不是同一回事。新的计算传统常常要重新制作旧关系的可执行形式。
后世译本中发生的重算，给出了很好的例证。Zieme对克雷莫纳的杰拉德拉丁译本所作研究认为，若干基础表经过按文本方法重新计算或调整。[8-3] 本章只取这一有限发现，不把所有译者都描述为同样的改革者。其意义在于：翻译可以包含对计算一致性的检验，而不是词语替换完成后便结束。
托勒密体系还留下了一种研究规模。太阳、月亮、恒星与各行星不是完全孤立的故事，它们共享球面工具、时间框架和观测比较。某些成功可以为其他研究提供基础，某些参数误差也可能跨多个计算环节传播。一个体系之所以强大，正在于它把局部能力组织成可互相调用的整体。
用SDE表达，这种整体不是把多个S简单相加。某一表值作为另一运算的输入，改变了后者可以处理的差异；共同时间与坐标又使不同结果能够比较。E因此包含计算之间的依赖结构。调整一个基础参数可能影响多个输出，局部修正的意义需要在系统中检查。
这也带来稳定性的代价。越多任务依赖同一套基础表，更换它的成本越高。研究者不只是比较两张宇宙图，还要考虑已有数据、训练和预报能否转接。模型长期存在可以来自确实有效的工作能力，而不必全部归于惰性。与此同时，这种能力也可能让体系内部的问题被较长时间局部处理，而不促成整体重建。
因此，本章把托勒密传统理解为一种带有特定边界的强研究系统。它能够保存成果、复用运算并扩大比较；这些优点并不消除其不足，反而使不足以更明确的形式出现。当角位置预测与物理尺寸或运动规范发生张力时，批评者面对的是一个可工作的对象，而不是一个可以轻易丢弃的空壳。
为了更明确地理解本轮模型的能力，可以继续分析前述现代简化式。若R固定而r减小，小圆所造成的方向扰动会减小；若r相对于R较大，合成方向可能出现更显著的局部转向。这种连续变化说明模型不是只会画一种回环，它通过受约束参数表达一族可能轨迹。观察所需确定的，是这一族中哪些成员与资料相容。
但是，参数相容不必唯一。只观察短短一段轨迹，几组不同参数可能给出几乎相同的位置；观察覆盖更长时段，尤其包括转向与不同相位，才能更有效地区分。模型的可确定性因此取决于观测如何分布，而不只是资料点有多少。许多集中在同一阶段的点，可能不如少量跨关键阶段的点有约束力。
这也能解释为什么特殊位置在几何推算中有用。当目标、太阳方向或某个模型中心满足特定排列时，复杂合成中的某项影响可能被简化。研究者选择这些时刻，不一定是挑选有利数据，也可能是为了分离参数。关键是所用简化条件是否真实成立，以及其他时刻能否验证所得参数。
一旦模型有了固定参数，未来预测便成为不同于解释既有资料的检验。旧资料参与了参数选择，新的独立资料则检查这些参数能否持续工作。如果模型每遇新点都可以自由更改全部设置，预测的约束就会减弱；若参数基本保持而仍能预报一系列位置，才显示了可迁移能力。
还可以把均衡点的数学后果说得更精确。设P沿以C为圆心的圆运动，从偏置Q看过去的角度在相等时间里增加相同数值。由于QP长度随位置改变，相等视角未必对应圆周上相等弧长。由此产生的非均匀圆周速度，是构造本身要求的，并非观察误差。若坚持绕C匀速，就必须改动其他部分来保持同样位置效果。
这里出现了真正的理论张力：一项提高预测组织力的几何规定，同时使另一项自然运动规范更难满足。解决方式不能靠把“匀速”一词说得含混。必须明确绕哪个中心匀速、保持什么距离、哪一种实际运动需要解释。词语澄清本身就能把模糊不满转化为可计算的问题。
数表的运行还有另一种误差传播。假设一个平均运动参数每单位时间只偏少量，短期预报可能很好，长期历元外推却会累积差异。若某表值只是局部插值误差，则影响可能局限于特定区间。区分随时间增长的偏差和随相位重复的偏差，有助于判断应该重估平均运动还是修改周期修正。
这样的残差形态是现代分析语言，但它指向模型中真实不同的责任。时间参数、几何形态与计算近似各自留下不同类型的后果。历史研究若把所有不符统称为“不准确”，便无法说明后来改进为什么针对某个参数或某个构造。更细的误差分类能够使创新动机具体化。
对于月球视直径问题，也可以做一个不依赖现代观测数值的推导。固定直径d的球体，离观察者距离r足够大时，角直径近似与d/r成比例。若模型让r大幅改变，角直径也应明显改变。它对角位置的成功因此会被另一个观测量挑战。这个检验的力量来自同一物理对象应当同时满足多项属性关系。
若辩护者说模型只负责黄经，不负责距离，那么它的有效域就得到收缩；这并非毫无意义的退让，因为一个有限任务模型仍可以有用。但收缩必须明说，不能在需要物理解释时把模型当真实宇宙，在出现困难时又将其说成纯计算工具。模型地位应当在不同论证中保持一致。
这一整组分析使“解释代价”具有可辨认内容：参数可能不唯一，特殊几何可能违背运动规范，基础表误差可能传播，位置与尺寸约束可能不相容。它们分别要求不同修正，不能由一句理论过时一并替代。只有这样，后世对托勒密的改造才会呈现为具体创造，而不是不断添加无意义小圆的漫画。
8.4 未解决的代价
均衡点最直接的代价，是圆形轨道与匀速旋转不再由同一个中心共同保证。如果规范要求每一组成运动都绕其圆心匀速，均衡点就会造成解释困难。但如果主要任务是组织角位置，它又可以具有实际优势。双方争论并不必然来自一方懂数学、另一方不懂，而可能来自不同的优先要求。
月球模型则展示另一种代价：改进一类位置解释，可能给另一类可观察量带来问题。Krisciunas讨论了托勒密月球模型所隐含的过大距离变化，以及这种变化对视直径的后果。[8-4] 这里关键不是用今天的月球距离数字嘲笑古代，而是指出模型内部不同输出应当接受共同检验。
若假定月球实体尺寸在短时间内近似不变，距离显著改变便应造成相应的角直径变化。这是一条几何联系。一个模型不能把距离当作只为位置计算服务的自由变量，同时拒绝它对可见大小的影响，除非明确限制模型的物理解释。如此一来，模型究竟是运动计算装置，还是完整空间结构，就成为无法回避的问题。
这个案例也说明，发现可检验后果与历史上实际执行检验仍有区别。今天可以设计裸眼或简单仪器的角直径比较，不等于已经证明某位古代作者曾按同样方式系统测量。思想史应把“当时原则上可检验”与“史料显示已经检验”分开。但即使保持这种区别，跨量检验仍清楚揭示模型的边界。
本轮、偏心和均衡点因此应分别评价，不能捆成一个贬义词。某些构造是合成周期的有效数学工具，某些规定是对不均匀运动的近似表达，某些则引出物理实现问题。将它们一概称为补丁，会失去判断不同改造为何出现、为何被保留的能力。
从残差入口进入，我们问模型在相同数据和精度下做得怎样；从运动规范入口进入，我们问它要求怎样的宇宙构成；从距离与视大小入口进入，又出现新的约束。路径变化使评价对象更加完整。三原理的分析则需要进一步查明，哪些张力实际引发了新构造，哪些长期被容纳于不同任务的分工。
托勒密体系没有因为存在代价而立即失去工作能力。相反，正由于它足够系统，后来的研究者才能明确指出需要修改的是哪种关系。它既为继承提供方法，也为批评提供对象。天文学思想的发展，常不是从全无到全有，而是从一个有强能力也有具体边界的世界，重组出另一种能力结构。
在方向预测之外，地球本身的尺度将使天文学获得另一种检验资源。角度可以组织天空，但把角度转化为长度，需要可靠基线。当地面测量和天空观测建立联系时，宇宙不再只是一张可计算的方向图，而开始获得可以讨论绝对尺度的条件。
由此还可以理解为什么“增加复杂度”不是充分指控。有时多一个几何关系能够同时解释许多独立差异，复杂度增加获得了明确收益；有时增加一个参数只是吸收一个孤立点，几乎没有新的预期。应比较新增自由度带来的约束与预测，而不是只统计圆的数量。
若把两种模型放到同一组资料上，还须使用相同的日期解释和坐标转换。否则，一个模型使用修正后的数据，另一个使用未经修正的旧数值，比较就混入了材料差异。历史评估中最容易被忽略的公平性，正是让候选方案承担相同任务并接触相同证据。
这种比较可以保留多项结果：某方案位置较准，另一方案结构较统一，第三种方案更便于制表。没有单项绝对优势，并不使研究停滞；它明确指出下一步需要什么证据或新构造。托勒密传统的丰富性，正在于它让这些不同尺度的成功可以被分开讨论。
因此，对它最有意义的批评，不是从结局宣布过去不该存在，而是重建当时哪些能力已经成立、哪些连接仍然不足。模型越具体，改造的方向越能落实；笼统贬低旧理论，反而无法解释新理论究竟创造了什么。
这种评价既保留模型的真实贡献，也让它承担具体的失败责任。
本章参考文献
[8-1] Ptolemaeus Arabus et Latinus. Ptolemy, Almagest (Greek). https://ptolemaeus.badw.de/work/19
[8-2] Library of Congress. Mathematics—Rome Reborn: The Vatican Library & Renaissance Culture；《至大论》第十卷相关手稿说明。https://www.loc.gov/exhibits/vatican/math.html
[8-3] Zieme, S. Gerard of Cremona’s Latin Translation of the Almagest and the Revision of Tables, 2023. https://journals.sagepub.com/doi/full/10.1177/00218286221140848
[8-4] Krisciunas, K. A Mixture of Ancient and Modern Understanding Concerning the Distance and Motion of the Moon, 2013. https://arxiv.org/abs/1311.2798