第14章 图西偶与行星运动的几何改造
14.1 几何装置的生成
两个圆周运动能否合成沿直线往返的运动？今天可以很快用坐标证明，历史上却是一个具有天文学意义的问题。它关系到研究者能否在保持某些基本运动规范的同时，表达原本难以容纳的变化。图西偶的重要性，正来自这一局部而深刻的转换：不先放弃整个宇宙框架，而先扩大框架内部能够构造的运动种类。
纳西尔丁·图西研究托勒密理论中的几何困难，提出后来被称作图西偶的构造。相关专业研究区分它的不同形式和用途，不能把所有形式都看作同一张简单动画。[14-1] 本节只解释其中最容易明确验证的平面直线形式，再讨论这种数学效力怎样进入天文学。
设大圆半径为2r，小圆半径为r，小圆在大圆内部相切。取大圆圆心为原点，小圆圆心以角θ沿半径r的圆运动。若小圆上选定点相对自身圆心的方向为−θ，则该点的位置是两个长度为r的向量之和。这里的角度以固定坐标系为参照，须与相对旋转坐标的角度区分。
用现代坐标表示，小圆圆心为(r cosθ，r sinθ)，选定点相对小圆圆心的向量为(r cosθ，−r sinθ)。两者相加得到(2r cosθ，0)。纵坐标始终为零，因而该点沿大圆的一条直径往返。这个证明是现代说明，不是声称图西使用笛卡尔坐标。它展示了构造为何有效，也使适用条件清楚可查。
若以连接两圆圆心的转动方向作局部参照，小圆上的选定方向相对它转过−2θ；这就是常见描述中“反向两倍”的来源之一。若不说明参照，人们容易把绝对转角与相对转角混在一起，画出不满足直线性质的图。一个简单数学例子已经表明：运动特征不是孤立的速度标签，而由参照关系共同规定。
构造的精确性依赖半径比和运动配合。把小圆半径任意改变，或让两个向量角度不再对称，纵向分量便不一定抵消。直线运动不是两个圆随便叠加后“涌现”的神秘结果，而是特定约束下的严格结果。这一点对发生学尤其重要：新显露需要具体生成条件，不能只用整体性一词代替证明。
同样重要的是，图西偶输出的直线往返并不是匀速直线运动。现代说明中的位置为2r cosθ，即使θ随时间匀速变化，点沿直线的速度仍会改变，在端点处转向。这里改变的是轨迹表达能力，而不是得到任意想要的直线运动。若忽略这一限制，就会夸大构造能够解决的天文问题。
把这个例子写成S=F(D,E)，S是沿固定直径的往返轨迹，D是两种圆周运动的相位变化，E是半径比、方向与参照的相互规定。E不是旁边另列的一组背景，因为缺少这些规定，所谓D也不再是同一个差异运行。新的轨迹特征属于复合构造，而不能归给任何一个圆周运动单独拥有。
还可以通过改变条件来检验这个判断。若两个向量具有不同长度，纵向分量不再完全抵消，点的轨迹一般不再是那条直线。若长度相同而相位关系出现固定偏移，直线方向或轨迹性质也需要重新计算。由此可见，“两个圆生成直线”不是一句普遍口号，而是一组参数关系的结果。发生学在此应当承担把条件写全的责任。
这一构造还有教学上的启发。只观看一幅静止图，读者可能只看到两个相切的圆；只有跟踪选定点的连续位置，才能认识新轨迹。因此，新特征不在任何单一瞬间的图形中充分呈现，它依赖差异序列被组织和比较。这里的D具有不可省略的作用：没有连续关系，就没有所要证明的往返特征。
14.2 在旧宇宙框架内创新
为什么天文学家要费力把直线往返写成圆周组合？如果只看现代数学，直接写出直线运动似乎更简单。但历史问题不只要求得到一条轨迹，还要求轨迹由可接受的基本运动组成。图西的创新同均匀圆周运动的规范相联系，这个规范同时限制和激发了几何创造。[14-1]
一种规范通常被描述为阻碍创新，图西偶却显示另一种可能：规范也能形成明确难题，使研究者寻找此前没有的构造。若允许任意曲线任意变化，拟合某些位置可能不难，却会失去对模型组成的约束。保留限制，反而迫使数学工作更具体。问题不在于限制必然有益，而在于它是否能够产生可检验的新关系。
这里不能把“局部创新”理解为不重要的小修补。一个新的组合方式，可能扩大整个模型体系的表达范围，让原来不兼容的要求在某些条件下共同满足。可是，它也不自动构成整体宇宙论革命。图西没有因为使用这个构造就成为日心论者；平面几何定理的成立，也不意味着地球运动已经得到论证。
区分这两层，能够避免后见之明。一种写法从哥白尼出发，把图西看成尚未走完道路的先驱；另一种写法从图西自己的问题出发，考察他怎样处理既有理论的困难。后者并不否定后续影响，而是先给予早期创新独立的解释位置。它让研究者的目标不被未来结局重新定义。
图西偶进入月亮或行星模型时，还需要额外结构。哪个点代表哪个几何部件，哪种往返对应所需变化，以及组合后能否保持整体模型的一致性，都不是直线定理本身已经证明的。数学装置可以正确，具体天文使用却仍有问题。就像一块零件尺寸合格，不等于装入任何系统都会改善性能。
因此，需要分别评价三种成功：构造在数学上成立，构造满足模型中的某项要求，整个模型在天文学上可接受。第一种最容易严格证明；第二种需要检查接口；第三种还涉及观测、其他运动和物理解释。把三种成功混为一谈，会把一个真实但有限的创新夸张成包办一切的解决方案。
SDE方法在这里提出一个具体问题：新显露S出现之后，是否改变了研究者允许比较的D与能够组合的E？若后来工作能够在不改变全部前提的情况下使用这种装置，则候选模型空间确实扩大了。这是可追踪的回写。至于这种扩大是否最终使旧框架被超越，则需要另外的历史证据，不能从几何定理直接推出。
这一机制也可称为内部生成：新事物并非总要从彻底否定既有秩序开始。保持部分共同约束，改变其他关系，可以生成具有新特征的整体。其局限同样清楚：若某个根本困难来自被保留的前提，局部构造可能只能延缓问题，而不能解决它。承认这种两面性，才能公平评价旧框架中的创新。
这也说明审美判断不能简单等同于圆的偏好。保持均匀运动可以被看作一致性要求，增加构造则可能降低简洁性。不同价值在一个模型中发生张力，研究者需要决定何者值得优先满足。我们不能预先把旧模型的复杂都判为丑，把后来模型的复杂都解释成深刻；必须用相同尺度比较。
若一种构造在保留核心规范的同时解决一个明确矛盾，它可能提高体系的和谐性。但这种和谐是有范围的，不应扩大成宇宙整体已经协调。部分问题仍然存在，恰恰说明创新没有结束。新构造建立的统一，可以成为下一轮差异发生的条件，而非封闭所有提问的终点。
14.3 传播的史料门槛
图西偶在哥白尼工作中的对应，长期引起历史研究。重要问题不只是两个图形像不像，而是相似性应该支持多强的历史结论。专业学者对传播证据和独立发现可能提出过不同判断。[14-2][14-3] 本章保留这种争论，不用一个简单的“直接借用”或“完全独立”替代材料分析。
最容易确认的是数学对应。如果两个构造具有相同半径关系和运动组合，它们可以在数学上等价。接着才能问，是否存在文本、图像或论证次序的进一步对应。再往后，才是某个版本在特定地点与年代是否可达，以及当事人是否有接触证据。每上升一层，所需证据都会增加。
相似性强弱也不能只凭直觉。两个常见圆相切，很容易独立画出；若同样的特殊标记、论证顺序和非必要细节反复对应，就更难用简单巧合解释。可是，强相似仍不能自动补出全部传播线路。它可以提高传播假说的可信度，而具体经由谁、哪种语言和何时传递，仍可能未明。
萨利巴有关知识传播的讨论指出希腊语手稿等材料的重要性，同时也明确涉及哥白尼能否直接阅读阿拉伯语的问题。[14-2] 这提醒我们，传播不必由一部完整拉丁译本完成。图形、口头讲授、节录和中介语言都可能起作用。承认多种渠道，使研究更开放；但渠道可能性仍须同实际证据分开。
反对传播推断的研究则要求检验相似性是否足以排除独立构造，以及论证是否选择性使用材料。[14-3] 这样的质疑值得认真对待，因为历史解释不能仅以符合宏观交流图景为理由成立。但质疑也不能把“没有找到完整路径”当成“没有发生传播”的证明。材料残缺是历史研究的常态，结论应当与证据强度相称。
可以将争论拆成几个不同命题：某种方法已在伊斯兰世界出现；其相关内容后来进入其他语言；哥白尼工作中存在相应结构；哥白尼实际通过某条可指认路线获得它。前三者各自获得支持，并不使第四者自动完整。反过来，第四者未完全解决，也不抹去前三者。这种分层能够减少争论中不必要的二选一。
对SDE而言，传播也不是成品S沿管道移动。接受者必须把构造接到自己的D与E中，才能成为有效工具。即使来源已经证实，仍要解释用途怎样改变；即使独立发现成立，也要比较两个发生过程为何在某些约束下得到相似结构。两种历史可能都可以研究，不能让理论框架预先决定结论。
因此，本章采取克制的判断：图西偶的数学性质可严格说明，其在不同传统中的出现和对应值得实质比较，具体传播程度须依文献证据分别陈述。这样的表述并非回避问题，而是把可以证明的内容与仍需研究的内容放在各自位置。只有这样，跨文明研究才能避免变成贡献归属的竞赛。
关于地球运动的讨论还构成一个相邻但不同的证据问题。拉杰普比较图西与哥白尼相关论证，关注的不只是几何装置，也包括如何评价地球静止的证明。[14-4] 这提示我们，思想传播可以涉及论证方式，而非仅仅一幅图。即便如此，也要分别核验每一种对应，不能用一个领域中的联系替所有领域作担保。
同理，不能把某一争论尚未解决解释成跨文明研究没有成果。研究能够缩小可能范围、排除某些过强说法、找到中介材料，本身就是进展。只有把成功定义为得到唯一且完整的故事，才会迫使史家在材料不足时过早定案。保留分层的不确定性，反而更有利于后续发现进入并修正判断。
14.4 工具如何跨理论生存
宇宙框架变化时，某些数学工具为何继续有效？原因之一是工具具有相对可分离的接口。只要新的模型仍需要某类轨迹关系，就可以重新使用相同构造，而不接受它最初服务的全部宇宙论。数学不变量提供了延续，新的任务则赋予它不同意义。
但可分离不等于完全中性。工具总会让某些问题容易处理，让另一些问题困难。圆周组合擅长表达周期性关系，也会使研究者优先在这种表达空间中搜索。它既是能力，也是搜索范围的约束。只有当目标、资料和其他理论要求发生变化，这种约束才可能显露为不足。
由此可以理解一种看似矛盾的历史现象：同一工具既能帮助维护旧体系，也能参与新体系的形成。这不是工具具有两种神秘本质，而是它进入了不同的特征纠缠。局部数学关系保持不变，整体对象的解释联系却改变了。统一性在局部成立，多样性在整体用途上展开。
图西偶尤其说明，思想创新不能只按“是否改变中心”来评价。一个地心框架中的几何构造，可以具有重要原创性；一个日心安排也可能大量使用继承的数学资源。旧与新并不是整齐分隔的两个包裹，而是不同层次的保留、改造与放弃。把这些层次写清楚，比用革命或保守给人物分类更有解释力。
在三原理的分析语言中，这里存在规范与表达能力之间的张力，构造改变使某些张力暂时得到处理，后续使用又把成果回写为新的研究资源。但不能把这一结构写成历史必经三步。可能有构造被提出却无人采用，也可能被采用但未增加预测力，还可能在不同问题上产生相反效果。动力解释必须容纳这些分支。
如果一个后续模型采用图西偶，只是因为它方便表达，而并不提高观测符合程度，仍可以承认其工具价值，却不应宣称经验上更真。如果它改善一致性却增加运算负担，便需要说明这种交换是否值得。如果新的理论最终不再需要它，也不意味着此前贡献被取消，而是它的适用范围发生了变化。
这个例子还提示我们如何理解知识的寿命。知识不必以原来的完整形式永久保存，才算具有生命力。一个构造可以从原宇宙论中分离，进入新的教科书或模型，继续产生作用；也可以在某些任务中退出。传播、转用和退出共同组成其历史，而不是只有“影响越来越大”才算结局。
因此，图西偶给本书的贡献不是一个漂亮的跨文明符号，而是一项可验证的发生学分析：新轨迹来自特定运动关系，天文意义来自模型接口，历史影响来自可追踪的使用。数学证明、天文学解释和传播证据三者相接，却互不代替。新的天文学世界，正由这种既能拆分又能重组的能力不断形成。
知识工具的这种生命方式，也使统一性与多样性获得具体含义。同一个几何证明提供共同核，多种模型提供不同用途，适用条件则限制这些用途不能任意扩张。和谐性表现为共同核与具体用途之间的接口成立，而不是所有用途都被说成一样。这个关系可以被验证，也可能被推翻。
若后续使用只保留外观相似而破坏关键半径比，就不能称作有效继承；若保持数学条件却改变物理解释，则应称作重新应用。两者不同，说明思想史必须同时检查形式和功能。图西偶之所以值得单列一章，就在于它让这种双重检查变得异常清楚。
因此，形式可以延续，功能可以改变；二者之间的具体联系，正是历史解释需要承担的工作。
本章参考文献
[14-1] F. Jamil Ragep. Ṭūsī. The Biographical Encyclopedia of Astronomers, 2007，1153—1155。麦吉尔大学公开作者文本。https://islamsci.mcgill.ca/RASI/BEA/Tusi_BEA.htm
[14-2] George Saliba. 关于图西偶与哥白尼的传播问题，哥伦比亚大学研究展示。https://www.columbia.edu/~gas1/project/visions/case1/sci.2.html
[14-3] Viktor Blåsjö. A Critique of the Arguments for Maragha Influence on Copernicus. Journal for the History of Astronomy, 2014。本文据公开摘要确认反对论点的存在，不声称解决全部争议。https://journals.sagepub.com/doi/10.1177/002182861404500203
[14-4] F. Jamil Ragep. Ṭūsī and Copernicus: The Earth’s Motion in Context. Science in Context, 14, 2001, 145—163。https://www.cambridge.org/core/journals/science-in-context/article/abs/tdotuusi-and-copernicus-the-earths-motion-in-context/5C1FCB3528509213BD5CB1B32CBD1D72