绪论 文明坐标中的《四元玉鉴》
第 1 章 文明坐标中的《四元玉鉴》
1303年，朱世杰以"汉卿"为字，在扬州刊刻《四元玉鉴》。这一年份的全球数学版图，与今天习惯的"中国数学"或"西方数学"的二分叙述有着根本差异。彼时距离斐波那契完成《四花之书》（《Liber Abaci》）已逾百年，距离纳西尔丁·图西在马拉盖天文台主持大规模天文计算已有四十余年，而婆罗摩笈多所代表的天竺算法传统在次大陆的活跃期已过去五个世纪。朱世杰的工作并非孤立的中华内部演进，而是欧亚大陆数学知识体系在蒙元时代重新编织的局部产物。把《四元玉鉴》放回这一坐标系，意味着放弃以"东方代数"与"西方代数"为预设的分析框架，转而追问：在十三世纪，哪些制度条件、知识需求与方法路径共同催生了这部著作？它在同时代的多源传统中占据何种独特位置？
一、印刷、书院与算学专业化
理解朱世杰工作的前提，是承认宋元两代发生了一场静悄悄的职业化转型。唐代以前，数学知识的承传主要依赖师徒口耳与手抄文本，专业数学家作为一个稳定的阶层尚未成形。这一格局在北宋中后期开始松动，到南宋晚期与元初，朱世杰所处的扬州一带已经形成了一个以印刷出版、书院讲学与算法应用为依托的小型数学共同体。
印刷术的影响首先体现在算书的可得性上。北宋庆历年间，毕昇以胶泥活字试验活字印刷，但实际流通的算书主要依靠雕版。福建建阳、两浙杭州、四川眉山是当时主要的雕版中心，《九章算术》《孙子算经》《海岛算经》《张丘建算经》《五经算术》《缉古算经》等汉唐算书在十一至十二世纪均有官私刻本行世。具体而言，鲍澣之于嘉定六年（1213）在杭州翻刻《九章算术》并附音义，是宋代最重要的算书出版事件之一；现存南宋本《数书九章》残卷与多种《九章》注释本的流传，也都依赖这一时期的雕版网络。李约瑟在《中国科学技术史》第三卷中已经指出，唐代算书能够完整保存到今天，宋代的雕版印刷功不可没。但印刷的影响远不止于保存。对职业数学家而言，关键的变化是算书成为可批量复制的商品，意味着某一作者的算法一旦以刻本形式问世，便能进入跨地域的流通网络，被后世学习、引用、改进乃至批驳。这一物质条件在前印刷时代是不可想象的。
朱世杰本人就是这一网络的受益者。他在《四元玉鉴》的"前序"中开列了所引用的前贤著作，包括《九章算术》《海岛算经》《孙子算经》《五经算术》《张丘建算经》《缉古算经》以及宋元诸家的天元术著作。这种"集大成"的姿态之所以可能，前提是这些文本已经通过印刷进入了他的工作环境。同时，他自己的两部著作——《算学启蒙》（1299）与《四元玉鉴》（1303）——在元代都有刻本流传，明代通过《永乐大典》的抄录得到保存，清代又从《永乐大典》中辑出。如果没有宋元以来形成的印刷-收藏-传抄传统，朱世杰的工作很可能会像许多前代数学家的成就一样湮没无闻。清代学者阮元主持编纂《畴人传》时，朱世杰传略能够写出，正建立在对宋元算书辑佚的基础之上，这一辑佚工作的物质前提正是宋元印刷传统的长期积累。
书院教育是另一个常被忽视的制度变量。庆历、熙宁年间官学改革的失败，使得以私人讲学为中心的书院在北宋后期开始兴起，到南宋获得长足发展。淳熙六年（1179），朱熹重建白鹿洞书院，标志着书院制度进入成熟期。此后岳麓、嵩阳、应天、丽泽等书院相继成为区域性学术中心。书院不同于官学的关键，在于其"讲会"制度：学者可以围绕特定经典或专题进行长期的讨论与辩难。这一氛围对数学知识的传承具有特殊意义。算法与方程作为操作性极强的知识，其精进需要在反复演练与辩难中推进，而书院的相对自由环境为这种推进提供了空间。书院讲会中常见的"质疑-答辩-订正"环节，与数学知识的精细化具有方法论上的契合。
需要指出，目前没有直接证据表明朱世杰本人曾在某座书院任教或就读，他的行迹在《四元玉鉴》的"后序"中只有"寓居扬州"四字可考。但朱世杰活动的扬州一带在南宋是重要的文化与商业中心，元代更是江南行省的腹地，周边书院分布密集。他与同时代的数学家如郭守敬（曾师从刘秉忠、张文谦）等人的交往虽无确切记载，但地理上的接近与制度环境的存在，使得他们之间的知识互动成为可能。
第三个制度因素是算学取士的尝试与废止。北宋元丰七年（1084）诏颁算学诸书，崇宁三年（1104）宋徽宗正式设立算学馆，将算学纳入科举体系，录取合格者授以官职。这是中国历史上第一次将数学作为独立科目纳入官方铨选。这一制度仅延续到南宋建炎年间（1127前后）即遭废止。算学取士的短暂存在与迅速终结，本身就是一个耐人寻味的历史现象：它说明官方对专业数学人才有制度需求，但社会对数学的职业回报评价不高，使得考生不愿投入。这一废止对数学家阶层的形成构成了深远影响：专业数学家此后主要依靠私人授徒、官府征聘或富家赞助维持生计，朱世杰"以数学名家周游湖海二十余年"的生活方式正是这一非制度化职业化的写照。从更长的视野看，算学取士的废止意味着数学职业化的路径在欧洲大学兴起之前就已经在中国形成，只不过这一路径长期处于体制外，缺乏稳定的制度依托。
综合而言，印刷降低了算书门槛，书院提供了讨论场所，算学取士的尝试为数学职业化提供了最初的合法性。这三者共同构成了宋元数学兴盛的制度土壤。其中印刷术的影响在元代以后延续下来，书院的普及在明清两代进一步加强，但算学取士始终未能恢复。这一差异或许部分解释了为什么宋元之后的中国数学未能保持同样的高峰。
二、"宋元数学高峰"说的史实基础与限度
"宋元数学高峰"是现代数学史叙述中的一个核心命题，其集大成者是李约瑟与钱宝琮。这一命题认为，从北宋中后期到元代中后期（约11世纪至14世纪初），中国数学经历了一次显著的高峰，以秦九韶、李冶、杨辉、朱世杰为代表，出现了领先于世界的成就。这一命题有其史实依据，但也有需要谨慎使用的限度。
从文献密度看，宋元时期的算书存世数量远超此前任何时代。仅以宋元刊本与抄本计，传世与辑佚的算学著作约在六十种以上，其中包含《黄帝九章算术细草》（贾宪）、《议古根源》（刘益）、《洞渊九容》（李冶）、《测圆海镜》（李冶）、《详解九章算法》（杨辉）、《数书九章》（秦九韶）、《算学启蒙》（朱世杰）、《四元玉鉴》（朱世杰）等具有原创意义的作品。这一文献密度的跃升，与印刷术的成熟、书院教育的扩展以及科举体系的局部改革在时间上高度重合，提示了三者之间的内在关联。文献密度的意义不止于数量本身：它意味着数学知识获得了某种"沉淀"机制，某一作者的工作可以被后世反复研习、批注、改进，从而形成累积性的传统。
从方法论突破看，宋元四大家的成就覆盖了不同的方向。秦九韶的大衍总数术系统化了一次同余方程组的求解方法，其算法与十九世纪高斯的工作有结构上的相通；他的正负开方术是高次方程数值求解的有效算法，与霍纳-鲁菲尼方法具有同构性。李冶在《测圆海镜》中将天元术发展为成熟的符号化方法，处理了一百七十个以直角三角形边长关系为背景的方程问题，其几何背景的清晰度在当时世界范围内无与伦比。杨辉的工作虽然原创性稍逊于前两位，但他在《详解九章算法》中系统总结了各类乘方图（贾宪三角）、垛积方法与比类问题，为后人留下了宝贵的知识集成。朱世杰则在前三人基础上，将天元术推广为四元术，处理多元高次方程组，并在垛积招差、纵横图等问题上作出了体系化的推进。
高峰说的限度在于两个方面。从时间分布看，这一"高峰"是高度不均匀的。秦九韶、李冶、杨辉的主要工作集中在1247至1261这十四年间，朱世杰的工作集中在1299至1303这数年间，中间存在近四十年的相对沉寂。这意味着所谓"高峰"实际上由两个紧密簇集的工作高峰构成，而非一个连续上升期。从地理分布看，这一高峰同样高度集中。秦九韶活动于江浙与四川，李冶先后在河北、山西、元好问幕下活动，杨辉活动于钱塘，朱世杰活动于扬州与燕京周边。这一地理分布与南宋政治中心的南移、蒙元统一后的江南经济重心地位密切相关。换言之，"高峰"既是文献现象，也是政治经济现象，不能仅从数学内部的发展逻辑加以解释。
更重要的是，宋元之后的中国数学并未如李约瑟命题的某些表述所暗示的那样持续"领先"或"衰落"。明代珠算兴起后，算法重心从方程求根转向日常计算，数学知识的形态发生了显著转变。明末清初的西学东渐引入了大量欧洲数学成果，刺激了以梅文鼎、戴震、焦循、汪莱、李锐为代表的新一轮数学工作。十九世纪李善兰、华蘅芳等人翻译西方微积分与解析几何，标志着中国数学进入又一转型期。因此，将"宋元高峰"置于更长的历史视野中看，它是中华数学传统中若干次高峰中的一次，既不是起点也不是终点。
理解这一高峰的真正意义，在于它揭示了中华数学传统在特定历史条件下所能达到的方法论高度。这些成就不是孤立的奇技，而是建立在长达数百年的算法积累与制度支持之上的体系性突破。
三、四大家研究路径的分化与合流
宋元四大家的成就并非一蹴而就，而是四条各具特色的研究路径在十三世纪中后期的汇流。这四条路径在数学观、方法偏好与应用取向上存在显著差异，理解这些差异是把握《四元玉鉴》独特定位的前提。
秦九韶（1202—1261）的路径可以概括为"以术御题"。他出身官僚家庭，曾任地方官员，对天文、历法、建筑、军事、财政等问题都有接触。《数书九章》分九大类，每类九问，共八十一问，每问都从一个具体问题出发，应用相应的算法求解。这种编排反映了他的数学观：算法是处理实际问题的工具，数学的价值在于解决"经世济民"的具体事务。秦九韶在书序中自称"设为问答，以拟于用"，并将其工作与《九章》传统明确对接。正是这种应用取向，使他能够接触到大量天文历法、贸易计算、田亩测量中的复杂问题，催生了大衍总数术与正负开方术这类高度抽象的方法。秦九韶的方法路径表明，在中华数学传统中，抽象算法并非纯思辨的产物，而是对实际问题的深度抽象。
李冶（1192—1279）的路径则呈现明显的几何取向。他的主要著作《测圆海镜》以一个直角三角形及其内切圆、外接圆的几何关系为出发点，处理了一百七十个方程问题。每一个方程的"开方式"（即多项式方程）背后都对应着一个具体的几何量。这种几何-代数对应使他的工作具有清晰的直觉基础。李冶使用的天元术是一种将未知数（"天元"）作为整体进行符号运算的方法，这一方法在《测圆海镜》中已经发展得相当成熟。李冶的几何路径与秦九韶的应用路径形成鲜明对比：前者关注结构与直觉，后者关注算法与效率。李冶的几何路径并非孤立，他从刘汝锴的《如积释锁》与洞渊的《洞渊九容》中继承了天元术的几何应用传统，将直角三角形的边长关系作为方程的几何背景，这一选择与宋元时期"勾股"传统的延续密切相关。
杨辉（约1238—1298）的路径更接近教学与普及。他的主要工作《详解九章算法》是对《九章算术》的详细注释与扩展，附以"比类"问题作为变式训练。《杨辉算法》则汇集了各类日常计算方法。杨辉对数学史的最大贡献之一是他对贾宪工作的传承——贾宪的"开方作法本源"图（即杨辉三角）通过杨辉的著作得以保存。这一事实本身就说明了文本流通对数学知识积累的关键作用：杨辉对贾宪的引用，使得原本可能失传的乘方图进入了后世的视野，并在朱世杰的《四元玉鉴》中得到进一步发展。
朱世杰（约1249—1314）正是在这三条路径的交汇点上展开工作的。从时间上看，他比秦九韶晚约半个世纪，比李冶、杨辉晚二三十年；从空间上看，他在扬州一带活动，恰处于南北数学传统的交汇地带。他的《算学启蒙》是一部入门性著作，系统总结了从九九表到天元术的基本方法，是杨辉式普及工作的延续；而《四元玉鉴》则是李冶天元术的自然推广，将单一未知数推广为四个未知数，同时吸纳了秦九韶正负开方术的成果，并在垛积招差问题上对杨辉的工作作了系统化推进。
这种路径汇流的关系可以用一张简明的谱系图表示：
```mermaid flowchart TD QJS[秦九韶 1202-1261] --> SS[数书九章 1247] SS --> DY[大衍总数术] SS --> ZF[正负开方术]
LY[李冶 1192-1279] --> CY[测圆海镜 1248] CY --> TY[天元术] LY --> YG[益古演段 1259]
YH[杨辉 c.1238-1298] --> XJ[详解九章算法 1261] XJ --> JXSJ[贾宪三角与比类] XJ --> DJ[垛积术与纵横图]
ZSJ[朱世杰 c.1249-1314] --> SQE[算学启蒙 1299] ZSJ --> SYY[四元玉鉴 1303] SYY --> SYT[四元术] SYY --> DZZC[垛积招差]
ZF -.影响.-> ZSJ TY -.影响.-> ZSJ DJ -.影响.-> ZSJ ```
上图所示的"影响"关系并非简单的师承，而是通过文本传承、会面交流、共同问题意识等多重渠道形成的方法继承。秦九韶与朱世杰之间没有任何证据表明存在直接师承，但秦氏的算法通过其著作进入了朱世杰的工作视野。这种通过印刷文本形成的"虚拟师承"，是宋元数学共同体区别于前代的关键特征，也是《四元玉鉴》能够"集大成"的方法论前提。
四、《四元玉鉴》在四大家传统中的独特定位
在四大家传统中，《四元玉鉴》占据何种位置？这一问题不能简单回答为"集大成"，因为朱世杰的工作既有对前人的继承，也有不可还原的原创推进。从方法论纵深看，《四元玉鉴》的核心贡献是把天元术推广为四元术，这是一项真正的方法论突破。
天元术是一种用一个符号表示未知数、并将方程两侧的多项式按未知数降幂排列的方法。它最早的系统化应用见于李冶的《测圆海镜》（1248），但其思想源头可以追溯到更早的《议古根源》（刘益）与《洞渊九容》。天元术解决了"设未知数-列方程-求解"这一基本流程的符号化问题，使方程操作脱离了完全依赖文字叙述的阶段。四元术则是将这一思想推广到四个未知数：分别以"天"、"地"、"人"、"物"作为四个未知数的符号，每个方程被组织为一个四元多项式，其系数本身可以是低阶方程。四元之间的消元按照特定的"剔而消之"的程序进行，最终将多元方程组化为一元方程。
以一个具体例子说明。《四元玉鉴》卷一"假令四元"门类下，设有一组包含四个未知数的三个方程，要求消去其中三个未知数以求解第四个。具体的消元程序在书中以"剔而消之"、"人易天位"、"物易地位"等口诀表示，每一步操作都对应一个具体的方程变换。理解这些操作的关键，是把握四元多项式的层级结构：天元、地元作为较低阶的"主元"，人元、物元作为较高阶的"次元"，消元的方向总是从次元向主元推进。这一结构设计的精巧之处在于，它把多元方程组的求解化约为一系列一元高次方程的求解，从而纳入了已有的开方术工具。朱世杰在这一设计中展示了清晰的算法意识：他没有引入任何超出传统记号的新符号，但通过程序化的操作，把符号系统的表达能力提升到了新的层级。
这一推广的意义在于，它在没有引入现代矩阵记号的情况下，建立了一套处理多元高次方程组的算法框架。从原理上看，这一框架与十九世纪西尔维斯特、贝祖等人发展的消去法具有结构上的相通之处，但具体路径完全不同。朱世杰的四元术具有强烈的问题中心特征：他不是从抽象的代数结构出发构造理论，而是从具体问题出发，针对每一类问题设计相应的消元程序。书中二百八十七个问题，每一类问题对应一组特定的方程形态与消元步骤。这一编排方式与现代代数学中"公理-定理-推论"的演绎结构截然相反，体现了中华数学传统的方法论偏好。
《四元玉鉴》对垛积招差的系统化是另一核心贡献。垛积术是处理高阶等差数列求和的方法，其前身可追溯到《九章算术》中的"方锥"、"堑堵"等问题，到沈括（1031—1095）的"隙积术"已经有了明确的形式。杨辉的工作将垛积术系统化，朱世杰则在此基础上给出了"垛积招差"的通用公式，相当于处理任意阶等差数列求和问题的完整算法。书中"如象招数"门类下的若干问题显示，朱世杰已经掌握了相当于格里高利-牛顿插值公式前几项的展开式。具体而言，"茭草形段"、"三角垛"、"四角垛"等问题分别对应一阶、二阶、三阶等差数列的求和，而"如象招数"则给出了从一般项推求总和的递归公式，其形式与现代离散数学中的高阶差分方法高度相似。这一成就在世界数学史上具有独立的价值：在大致相同的历史时期，与朱世杰工作可作比较的只有印度传统的有限贡献，而阿拉伯与拉丁欧洲传统都未涉及同类问题。
问题编排的逻辑本身也是《四元玉鉴》的重要特征。整部《四元玉鉴》分为二十四门，每门从若干具体问题开始，逐步推导出一般算法，再以一般算法处理更多问题。这种编排结构本身就是宋元数学问题中心方法论的体现：算法不是被"定义"出来的，而是从问题中被"提炼"出来的；新的问题又从算法中"衍生"出来。理解这一编排逻辑，是进入《四元玉鉴》文本世界的钥匙。从某种意义上说，《四元玉鉴》的二百八十七个问题构成了一个自洽的"问题域"，每一个问题都既是个案，又是某一算法的应用实例。这种文本结构对现代读者构成挑战——习惯了演绎结构的读者会感到缺乏"定理"层级的抽象——但一旦进入其内在逻辑，就能体会到这种方法论的高度成熟。
五、十三世纪全球代数格局中的《四元玉鉴》
将《四元玉鉴》置于十三世纪全球代数格局中审视，可以揭示一种独特的同源异流现象。所谓同源，是指欧亚大陆的不同代数传统在更早的历史时期曾有过深度接触；所谓异流，是指十三世纪时这些传统已经分化为具有不同方法论取向的独立体系。
阿拉伯代数传统是这一谱系中的关键中介。花拉子米（约780—850）的《代数》（《al-Kitāb al-Mukhtaṣar fī Ḥisāb al-Jabr wa al-Muqābala》）建立了以"算法"（algorithm，由花拉子米的名字演变而来）为核心的方法论传统。这一传统的特点是：先给出抽象的代数操作规则（移项、合并同类项等"还原"与"对消"），再将规则应用于各类具体问题。算法是独立的、可迁移的，而问题是规则的实例。这种"算法中心"的方法论构成了阿拉伯代数的核心特征。从花拉子米到奥马尔·海亚姆（1048—1131），阿拉伯代数的进展主要体现在对高次方程几何解法的探索与对完备化方法的改进上，但始终保持着算法中心的总体取向。
阿拉伯代数传统通过两个主要渠道影响了欧亚大陆的其他数学传统。第一个渠道是向南传播至印度，婆罗摩笈多（598—668）的工作中有明显的阿拉伯-巴比伦影响痕迹，但其后的印度数学逐渐走向衰落，到十二世纪婆什迦罗二世（1114—1185）之后基本沉寂。印度传统对无穷级数与不定方程的探索虽然具有原创性，但其在方程论上的发展未能与阿拉伯传统合流。第二个渠道是向西传播至拉丁欧洲，斐波那契（约1170—1250）的《四花之书》（《Liber Abaci》，1202）与《几何实践》（《Practica Geometriae》，1220）将阿拉伯-印度数字体系与代数方法引入欧洲。但斐波那契的工作主要停留在算法层面，缺乏对多元高次方程组的系统处理，其后续在欧洲的发展也较为缓慢。斐波那契本人在《四花之书》中给出的若干高次方程问题，仍然遵循花拉子米以来的算法中心传统。
阿拉伯世界的东方分支，以纳西尔丁·图西（1201—1274）为代表的马拉盖学派，在十三世纪中后期极为活跃。图西及其继任者