第11章 印度天文学中的计算体系
11.1 计算对象而非人物传
一颗行星的位置怎样成为能够计算的对象？这个问题看似只要求输入日期，查出一个角度，实际却把历元、日的起点、周期、运动修正和观察地点压缩在同一次运算之中。计算者如果不知道哪一天被算作起点，哪一种日被用作单位，即使拥有正确的三角关系，也不能得到可以同天空比较的结果。印度天文学的重要性首先在这里：它发展出将这些条件联结起来的计算传统，使天象进入可传授、可重复、可批评的操作过程。
阿耶波多的《阿耶波多历数书》适合作为入口，但不宜被当作整个印度天文学的缩影。这部简练的韵文作品包括数学、时间计算和天球问题。克拉克的英译本提醒读者，作品并非把全部步骤写出的初学手册，许多常用运算被视作读者已经掌握的知识。[11-1] 因而，现代读者如果从一首短偈找不到完整算法，不能立即认定古代计算者同样缺少这一环节；反过来，也不能任凭今天的数学知识替原文补出任何想要的步骤。
天象的计算化以区分不同周期为前提。月亮相对于恒星转过一周，与月相重新回到相似状态，不是同一个周期。行星返回同一恒星背景附近，与它同太阳重新构成相近位置关系，也不是同一件事。这些差异并非抽象数学强加给天空的繁琐分类，而是长期比较过程中不同重复现象逐步取得不同身份的结果。只有先建立这些身份，周期数才有明确的意义。
以合朔为例，太阳与月亮在相应坐标中的经度相合，是一个可供计算的条件，但合朔不能单独保证发生日食。还要考虑月亮相对黄道的偏离，以及观测地点对应的几何关系。同一个预测程序因此包含两种性质不同的工作：先确定一个事件候选，再判断这个候选是否满足更严格的发生条件。如果把它们合并，便会误以为历算只是寻找一个神秘的周期数字。
行星位置的推算也具有层次。先用周期建立平均运动，再施加修正，得到可与观测方向比较的位置。这里的“平均”不是宣布真实天体始终匀速，而是提供一个可操作的基准。修正不是可以随意增减的装饰，它受到模型中的几何关系和参数约束。原典中的平均位置与真位置之分，提示我们将算法看作一组有组织的转换，而不只看最后出现的角度。[11-1]
用现代语言说明，一个历元位置加上平均角速度与经过时间的乘积，可以构成平均经度。这个表达只为帮助理解，不冒充古代原式。若历元前移，起始位置必须随之改变；若日的定义改变，经过时间的数字也必须相应换算。单独搬动其中一个数，会破坏整个程序的一致性。可计算天象的形成因此不是数表、时间和几何的相加，而是它们相互限定后得到的整体。
这也解释了为什么印度传统中既有不同论著，又有不同计算用书与注释活动。提出一套宏观周期结构，与为具体年代提供便利运算，是相联而不相同的工作。前者追求广泛的统一，后者承担实际计算的负担。如果史家只重视壮阔的宇宙周期，便容易忽略把它转化为可用历算的中间劳动；如果只重视预测成败，又容易丢掉数值系统赖以组织的理论联系。
本书所谓新的天文学世界，在这里指一种新的对象构成：太阳、月亮和行星不再只作为可指认的亮体存在于叙述中，还作为具有不同周期、修正规则和地方可见条件的计算对象相互规定。这并不意味着算法使月亮在物理上诞生，而是说，在这种主客互动复合体中，“同一事件”“同一周期”和“同一位置”获得了新的具体内容。
11.2 三角工具的作用
理解印度天文学，不能绕过与半弦有关的计算。现代人熟悉无量纲的正弦函数，古代计算者所使用的量却往往同所取圆的半径相联系。若用现代记号写作Rsinθ，R的选择便是数值系统的一部分。这种写法有助于理解原理，但必须保留它与古代语言和操作形式的距离。把古代数表直接排成现代函数表，容易让真正需要解释的构造过程消失。
阿耶波多相关表式以正弦差的方式组织数值。它的意义不只是节省记录空间，还在于把一系列角度上的量联系成可以逐步恢复的序列。研究者对这些差值的解释与分数部分进行过专门分析，表明原典短句与后世注释之间存在值得认真分辨的运算层次。[11-2] 一列数字的形成，可能依赖几何推导，也可能包含近似、舍入和实际计算的取舍。
考虑一个简单而明确的现代说明。若已知相邻两项的差，逐项累加便能够恢复表值；但早期的舍入误差也可能沿着累加过程传播。这不意味着差分表不可靠，而是说可靠性的判断必须同时看步长、存储精度、重建方式和所需预测精度。只说古人“已经知道正弦”，没有说出计算系统如何运行；只按今天的小数位比较，也没有说明当时的任务究竟需要什么。
正弦关系一旦进入天文运算，就不再只是孤立的数学定理。角度、半径、方位和时间之间需要明确对应。一个角度究竟表示黄道上的经差、天球上的高度，还是某个模型圆上的偏角，会改变运算的解释。数学上相同的乘除步骤，放进不同问题中可能承担不同功能。对象的身份依靠整个运算语境取得，而不是由一个公式独立携带。
由此可以区分三种变化。第一种是改善数表精度，保持基本几何关系与用途不变；第二种是更换算法，让相似输出以更少的劳动获得；第三种是重组问题，使原来不能处理的对象进入计算范围。这三种都可能构成贡献，但其思想史意义不同。若把它们一律写成“计算更准确”，便会抹掉工具、对象与解释之间的区别。
关于阿耶波多正弦构造的现代研究，常用相似三角形或有限差分来帮助读者理解。[11-3] 这种重构具有教学价值，却不能单凭公式相似就断言古人已经拥有现代微分观念。两者可能在某个关系上等价，却并不具有相同的问题范围、证明语言和运算工具。承认这一点，不是降低古代数学的地位，而是使其原创性摆脱“提前做出今天的东西”这一狭窄标准。
在SDE分析中，数表的一个值可以成为显露S，但这个值的意义依赖差异序列D与特征纠缠E。D不仅是表中前后两项之差，也包括从角度到几何长度、从平均运动到修正结果的一系列转换。E则表现为这些量的相互规定：半径选择限定数值尺度，角度划分限定表的采样，目标天象限定容许误差。把这些要素一一列出，还不够；必须指出改变某一项为何要求其他项一起改变。
例如，将半径扩大一倍，不会改变抽象正弦关系，却会改变所存长度数值。若运算中某个分母仍沿用旧半径，最终改正就会失去一致性。这是一个可以检查的构成依赖，不需要用宏大的语言加以包装。它说明数学工具的可迁移性有明确条件：不变量可以保持，表达它的单位与接口却必须重新配合。
11.3 注疏和修订
一部简短原典为什么能够维持长久的研究生命？答案不能只归于作者的天才。作品必须被解释、示范、批评和重新用于计算。注疏把凝缩语句展开成可执行步骤，又把实际运算遇到的问题带回文本。它既可能保护既有体系，也可能使体系内部的歧义暴露出来。因此，注释传统不是原创思想之后的静止尾声，而是知识继续发生的重要场所。
克拉克译本的导论讨论了不同引文、注释与存世文本之间的困难，并明确承认其材料与翻译的局限。[11-1] 对思想史而言，这种自我限制极其重要。我们今天面对的“阿耶波多”并不是未经传抄的声音，而是通过文本、解释和编辑活动显露的历史对象。不同版本的歧义不能用一个顺畅的现代故事抹平。
注疏可以承担至少三类工作。它解释词语，使学习者知道某一技术名词所指；它补出运算，使简写的规则变得可用；它说明理由，使一个规则不只是需要服从的指令。三者可能出现在同一段文字中，却应当分辨。解释者补出的证明，未必就是原作者当年的发现过程；但即便如此，这个证明仍然是后来传统的一项真实成果。
历算修订同样需要区分问题来源。预测与观测不合，可能来自周期参数，也可能来自历元、地方经度、记录时间或运算错误。只有将这些可能性分开，残差才能具有诊断意义。如果每次偏差都被当作整个宇宙模型错误，研究将失去稳定基础；如果每次偏差都被归咎于抄写或操作者，体系又会失去改变机会。成熟的计算传统必须在这两种极端之间建立分层纠错。
设想一个现代说明性的检验：同一算法用于相邻年份时表现尚可，跨越较长年代后偏差持续扩大。这样的模式提示平均周期或长期改正可能需要检查。若误差在所有年代大致相同，则起点或常量偏置更值得怀疑。若只在某些方位显著，地方观测条件可能不可忽略。这些并非对某位古代作者实际操作的复原，而是展示史家为何不能把所有“历差”压成一个数字。
三方程在这里要求我们追踪两种反向作用。已经形成的预测结果S，会改变下一轮比较什么、在哪些日期观察，从而影响D；新的比较与运算经验，又可能改变历元、参数和教学程序之间的配合，使E重新组织。可是，只有在文本或使用记录中看到这些变化，才能把它们写成历史回写。逻辑上可能发生，不等于历史上已经发生。
传统的延续也可能保存不一致。某种公式因便于教学而继续使用，即使更复杂的计算已经出现；一种解释因经典地位而被保留，同时实际运算悄悄采用其他规则。这类情况不宜简单判为虚伪或落后。理论论证、计算效率和教育传播的成本不同，其变化并不会自动同步。思想史必须说明这种不同步具体发生在哪里。
阿耶波多地球自转主张及后世对相关文本的解释，是需要特别谨慎的例子。原典与注释的关系表明，即使某种运动解释受到争议，其他计算资源仍可能被吸收。[11-1] 因而，一个传统不是整包接受或整包拒绝。天体运动的物理说明、数表的便利性与数学规则的有效性，可以有不同命运。
这使“同一学派”成为需要研究的对象，而不是现成答案。学派的一致性可能来自共享文本，也可能来自共同算法或共同教学。若这些方面并不完全重合，就不能仅凭名称认定所有追随者接受相同宇宙论。真正有内容的统一，常常是在差异中维持有限的共同操作，而非把全部解释都固定下来。
11.4 跨文明证据纪律
印度天文学与其他传统之间的交流，是不能回避的问题。但交流史有一种常见诱惑：一旦发现两套算法相似，就迫不及待决定谁借自谁。这样的结论跳过了时间、文本、中介语言和使用方式。算法相似可以提出传播假说，却不能独自完成证明。历史联系需要比数学等价更多的证据。
反过来，过度强调独立原创也会使研究失真。一个传统完全可能接收已有材料，然后改变问题、表式和用途。接受与创造不是互斥选项。若一个几何工具进入新的时间制度和历算结构，其抽象关系可以保持，而实际可计算的对象已经发生变化。把这种工作说成“照搬”，同样没有解释知识如何成为当地实践的一部分。
六路径的价值在此可以落到具体判断。若从外部影响的成品S出发，研究者容易寻找名称、图形和数值的相似，再将印度材料归入传播线路。若从印度计算中的D出发，先问如何处理特定天象，再检查所用工具与文本E，则能够看出某种外来资源进入之后究竟承担什么功能。两条路径不必相互排斥，但它们应当互相纠正。
一条可取的论证链，应先确认比较对象：究竟是同一几何关系、同一数值表，还是相似的宇宙安排？随后确认年代与版本，避免把后世修订投回早期。再寻找可达性证据，说明材料如何可能接触。最后比较改造内容，确认接受者改变了哪些单位、参数或解释。没有后一步，传播史即使证明了来源，也仍然没有写出思想发生。
以三角计算为例，半弦与整弦之间存在数学关系，这是可独立验证的事实。它是否通过某一具体文本在某时传入某地，是另一类历史命题。而进入一套不同历算之后是否形成新的计算便利，又是需要操作比较的问题。混淆这三层，容易把数学证明当成传播证明，把传播证明又当成贡献已经解释完毕。
本章采取的判断因此是有限而积极的：印度天文学的思想贡献，必须在其可执行的计算结构中辨认。它的创造性不靠隔绝交流来维护，也不靠宣布每一种现代观念早已具备来抬高。它体现在对象、单位、周期、数表与解释不断重新配合，使新的问题能够被提出，新的差异能够被稳定比较。
这一判断也给SDE分析设置了边界。如果某项所谓“纠缠”只是把时代背景列得更长，没有揭示计算要素之间的相互规定，那么它并未比普通技术史增加解释。如果三方程只把输入叫D、背景叫E、输出叫S，也没有说明修订如何反过来改变操作条件，那么它只是换了名字。真正的增量，是辨认一个可计算对象赖以成立的依赖结构，并指出这种结构怎样被使用、修补与迁移。
因此，印度天文学不能被放在希腊与欧洲之间，充当一段等待跨越的走廊。它拥有自己的问题组织和修订历史。进入相邻文明的材料时，应保留这种方法：先看一个传统怎样让天象成为可处理的对象，再考察它如何同其他传统发生联系。由此，比较不再是给文明排座次，而成为追踪天文学世界多种发生方式的工作。
最后还要问，什么证据会迫使我们收回上述解释？如果一个算法在文本中存在，却没有可辨认的使用痕迹，就不能直接把它写成广泛实践；如果后世注释只重复权威话语，而没有补充运算与比较，就不能称之为持续创新；如果一种数值变化完全能够由抄写差错说明，就不应为它构造一场理论革命。发生学解释的强弱，不取决于描述是否宏大，而取决于它是否接受这些更简单的反解释。
这样的限制使比较更有力量。它允许同一传统在某些问题上创新，在另一些问题上停滞；允许接受者改变来源材料，也允许某次传播没有留下可辨认成果。多样性因此不只是列举不同文明，而是承认不同知识环节具有不同变化速度。统一性则体现为共同遵守证据要求。两者的和谐，不靠先验宣布每个传统都同样重要，而靠准确呈现各自实际解决的问题及仍然保留的困难。
评价这些实践时，还应让计算者自己的问题保持可见：他们需要在特定日期作出判断，而不仅是在后世的知识谱系中占据一个先驱位置。这一差别决定了我们应如何选择材料和安排叙述。
本章参考文献
[11-1] Āryabhaṭa. The Āryabhaṭīya of Āryabhaṭa. Walter Eugene Clark译注，1930。核读在线译本导论及时间、球面部分；旧译局限按译者自述保留。https://en.wikisource.org/wiki/Āryabhaṭīya_of_Āryabhaṭa
[11-2] R. C. Gupta. Fractional Parts of Aryabhata’s Sines and Certain Rules Found in Govindasvami’s Bhasya on the Mahabhaskariya. Indian Journal of History of Science, 6(1)。https://insa.nic.in/writereaddata/UpLoadedFiles/IJHS/Vol06_1_5_RCGupta.pdf
[11-3] Vijay A. Singh, Aneesh Kumar. Aryabhata and the Construction of the First Trigonometric Table. 2023。本文仅据其公开摘要采用现代教学重构的性质，不据此复原古代发现过程。https://arxiv.org/abs/2309.13577