极顶之作
第 1 章 极顶之作
朱世杰生卒年不详，活动时间约在 13 世纪中叶到 14 世纪初。他留下的两部著作，《算学启蒙》三卷十二门二百五十九问（1299 年刊于扬州）与《四元玉鉴》三卷二十四门二百八十八问（1303 年自序于大都），构成宋元算学的高峰坐标。把《四元玉鉴》放到 13 世纪世界数学版图中看，它的意义远超过"中国一侧的成就"这种并列式描述。问题不在于它是否"领先"，而在于它代表了一种特定的方法论意识：把自古以来散见的开方术、天元术、各种消元方法，编织成一个可以处理任意多未知数问题的完整代数体系，并明确把这一编织过程定位为"明理"的工作。本章要回答的就是这个坐标问题，朱世杰的工作在宋元算学谱系中处于什么位置，在更大的 13 世纪世界数学版图上又意味着什么。
宋元四大家的地理与师承谱系
讨论朱世杰的位置，必须先把与他并称的另外三位算学家摆正。这四个人在时间上有先后，在地理上有南北之分，在方法取向上各有侧重，但他们的著作在 19 世纪以后被清末数学史家（梅启照、顾观光等）首次集中提及，到 20 世纪初的钱宝琮、严敦杰一辈才被正式并列为"宋元四大家"。这个标签本身就是一个需要解释的史学产物，而非朱世杰时代就存在的学派名号。
秦九韶（约 1202—1261），字道古，普州安岳（今属四川）人，出身官宦，父亲秦季槱与南宋名臣秦桧同族。他早年在杭州太史局学习天文历法，后历任地方官，淳祐七年（1247 年）在梅州知军任上完成《数书九章》十八卷。这部书的关键贡献有两项。一是大衍总数术，即一次同余式组的系统求解，发展了《孙子算经》"物不知其数"问的解法；二是以"增乘开方法"为代表的求高次方程正根的程序。两项都建立在严格的筹算操作之上，几乎没有神秘主义或图谶色彩的包装。
李冶（1192—1279），字仁卿，号敬斋，真定栾城（今河北栾城）人，金元之际的北方学者。金朝覆灭后隐居封龙山（在今河北元氏），与元好问、张德辉并称"龙山三老"。他的《测圆海镜》十二卷完成于 1248 年，《益古演段》三卷完成于 1259 年，两书都围绕"天元术"展开，即用一个代表未知数的"太"字（或"元"字）与常数项并列，按开方式几何意义列出方程。这是把"未知数"从隐含的设问转换为代数对象的关键一步，也是从九章体例向符号化代数跨越的决定性时刻。
杨辉（约 1238—1298），字谦光，钱塘（今杭州）人，活动于南宋临安，曾任地方官，存世著作有《详解九章算法》十二卷（1261），以及《日用算法》《乘除通变本末》《田亩比类乘除捷法》《续古摘奇算法》（合称"杨辉算法"，1274—1275 刊）。他在《详解九章算法》中给出贾宪（约 11 世纪）的"开方作法本源"图，即帕斯卡三角形的中国原型，和"增乘开方法"的早期形态，又在《田亩比类乘除捷法》中保留了大量具有江南地方经济色彩的应用题。杨辉的学术使命主要是整理与普及前贤成果，其编撰体例对后世影响深远，但原创性代数方法相对较少。
朱世杰（约 1249—1314），字汉卿，号松庭，籍贯在《元史》中没有留下明确记载，从现存零星材料推测其活动于燕（今北京）一带。他在《四元玉鉴》自序中提到当时以算学名家者，有秦道古、李仁卿一辈。这段话透露出他把自己视为秦、李工作的继承者。清代数学史家罗士琳（1789—1853）在《畴人传》续编中，根据朱世杰自序题署"燕山松庭朱世杰"以及同时代人留下的题跋，考证出他曾游学河北、扬州、大都一线，与杨辉活动的江南、秦九韶活动的巴蜀相对。
四位算学家在地理上横跨南北：秦在川蜀、杨在两浙、李在河北、朱在燕齐。但真正决定学派传承的不是地理距离，而是文本与方法的接续关系。能确认的师承链条至少有两条。贾宪 → 杨辉，杨在《详解九章算法》中引用贾宪的"增乘开方法"与"开方作法本源图"，并尊称贾宪为前辈；李冶 → 刘汝忠（字澹斋）→ 朱世杰，朱世杰自序中明确交代"得于澹斋者居多"。这两条链意味着，把《九章》以来的传统向前推进的核心技术（高次开方法和天元术）在朱世杰这里汇合了。再加上他游学所接触到的秦九韶遗留的工作，自然形成了"集大成"的格局。下图勾勒这一网络。
```mermaid flowchart TD A[九章算术传统] --> B[贾宪<br/>开方作法本源<br/>增乘开方法] B --> C[杨辉<br/>详解九章算法] A --> D[李冶<br/>测圆海镜·天元术] D --> E[刘汝忠·澹斋] E --> F[朱世杰<br/>四元玉鉴·四元术] G[秦九韶<br/>数书九章·大衍总数术] --> F C -.引用.-> F ```
这个网络是事后重建的，朱世杰本人并没有留下任何系统论述"师承"的材料，自序中只有寥寥数语提及前辈。现代研究者依赖的是清代《畴人传》以来各家整理出的文献证据，以及《四元玉鉴》文本本身对前人方法的引用痕迹。每次对宋元算学谱系的重新理解，都会改变朱世杰的相对位置。钱宝琮（1892—1974）在 1930 年代的论述中倾向于把朱世杰看作李冶至刘汝忠线索的直接继承者；李俨（1892—1963）则更强调秦九韶大衍术对朱世杰的可能影响；近年学者如郭书春、刘钝的工作则倾向于一种更复杂的多元综合图景。本章采取后一种立场，朱世杰的工作不是某一支学派的内部发展，而是把多种线索综合为一个新体系。这种"综合"的自觉意识本身，就是 13 世纪算学独立化的标志。
《算学启蒙》与《四元玉鉴》：体例对照
朱世杰本人留下的两部书相隔约四年，其体例差异比同时期任何一位算学家的多部著作都要大，因而研究朱世杰的位置必须把两书并读。
《算学启蒙》三卷，十二门，二百五十九问，1299 年刊于扬州，由当时在扬州做官的官员赵元德资助刊刻。全书按照由浅入深的教学顺序编排。卷上"纵横因法""身外加法""归蒙求总""商除因法""异乘同除"五门，约六十问，以四则运算和基本筹算操作为主；卷中"库务解税""贵贱差率""互换乘除""折变互差"四门，约七十四问，转向比例、差分、利息、税收等实际问题；卷下"方程正负""开方释锁""天元如积"三门，约一百二十五问，进入方程列法与天元术，是全书的高潮。十二门按"运算法则 → 比例与分配 → 方程与开方"的递进结构组织，每门之下若干问，前问往往为后问做铺垫。
《四元玉鉴》三卷，二十四门，二百八十八问，1303 年成书，朱世杰自序作于大都。卷首有"四象细草假令之图"以及若干筹算布局示意图，前者给出四元消法的位置规范，后者给出增乘开方法的操作分解。全书体例与《算学启蒙》截然不同：它不再按"由浅入深"的递进顺序组织，而是按方法类型分类。先按问题性质分门，如"端匹"门处理线性交换问题，"圆城"门处理圆内容方、圆内容圆等几何问题，"句股"门处理勾股定理的应用，门内再以方法的复杂度递进。换言之，《算学启蒙》是一本教材，《四元玉鉴》是一部按方法论组织的专题研究汇编。
这一对照揭示出一个关键事实：朱世杰在写完《算学启蒙》之后，明确放弃了教材思路，转向了研究思路。他在前言中批评当时的算学风气，一类是拘于旧习不知变通，另一类是各执一法互不统摄，两种倾向都不利于算学发展。他的回答是把所有可用的方法按"理"（而非按"题"或按"难易"）组织起来，让读者看到同一类问题可以用多种方法处理，方法之间又有内在的层次关系。这是从问题导向向方法导向的转向，是从算法汇编向代数体系的转向。
具体到内容，《四元玉鉴》前两卷的十二门大体可以归为三类。第一类是把《九章》以来已经成熟的题材（粟米互换、方程正负、勾股测量、圆面积等）纳入新的代数框架，例如"方程"门、"句股"门、"圆城"门。这些门看似"老题新作"，但朱世杰的处理方法与秦九韶、李冶都有差异。秦多用增乘开方法但限制在一元，李冶的天元术本质上也限于一元，朱世杰在这些门里引入了高次方程组与多元消法，把原本需要几何直观的几何问题代数化、程序化。第二类是从《测圆海镜》发展而来的"演段"传统，即把几何量之间的关系转化为代数等式（"段"）后再施以天元术。这一传统在《四元玉鉴》里被扩展到含四元的方程组，例如"明积"门处理的是若干几何量相互表达的代数化，"叠合"门处理的是多重勾股形叠加问题。第三类则是朱世杰自己的真正新工作，即把天元术推广为四元术：在一元立"太"（天元），在二元加"元"（地元），在三元加"人元"，在四元加"物元"。这一推广的技术核心在"四元消法"，即如何把含四元的高次方程组消元为含一元的高次方程，再用增乘开方法求解。"两仪"门、"三才"门、"四象"门集中体现了这一推广。名称本身（两仪、三才、四象）就来自宋代理学的宇宙论词汇，与朱熹的《易学启蒙》《周易本义》对"两仪—四象"的系统化解释遥相呼应。
体例对照还揭示出朱世杰的另一种自觉。他在《四元玉鉴》自序中说自己的工作有"添有删、有分有合"，即在编辑过程中对前贤的问题是有调整的。"添"意味着新创作的问题，"删"意味着他觉得不合适的被剔除，"分"是把原来的一道复杂问题拆成几道渐次问，"合"是把分散的小问题并成系统问。这种编辑动作本身就是一种"理"的体现：他不只是把已有问题按方法分类，而是主动重构了问题的递进关系。这种重构在《测圆海镜》里也能看到（李冶的 170 问彼此关联），但在《四元玉鉴》里规模更大、规则更显明。
自序中的"明理"与宋代理学的语境
《四元玉鉴》自序全文约四百余字，写作时间 1303 年，此时距朱熹（1130—1200）去世已超过一百年，但程朱理学在南方的地位已经稳固，在北方由于元朝官方推行程朱注疏取士也已取得意识形态上的优势。朱世杰的活动区域（燕赵扬州一带）正是北方理学与元代官学交汇地带，他在自序中使用"明理"这一词汇并非偶然。
"理"作为哲学范畴在北宋五子（周敦颐、邵雍、张载、程颢程颐）那里有不同侧重，到朱熹集大成时，"理"被定义为"形而上者"，是万事万物的所以然之故，与"气"（形而下者）相对。"格物致知"在朱熹那里意味着对具体事物的"所以然之故"的穷究。朱世杰使用"明理"二字，并非简单的修辞借用，他在数学领域做的事情，恰恰与程朱理学所主张的"就一事一物穷究其理"具有同构性。
但这种同构性中包含一个内在张力。程朱理学把"理"视为先验的、统一的、不分学科的；朱世杰所说的"理"则完全是数学内部的，是"勾股之理"（勾方加股方等于弦方）、"圆方之理"（方圆相含中的比例关系）、"方程之理"（多未知数系统的求解规则）。他的"理"是技术理性，而非本体论意义上的"天理"。这种区分并非所有现代学者都注意到了。20 世纪的一些数学史著作（尤其受马克思主义科学史观影响的一批）倾向于把朱世杰的"明理"与宋明理学的"格物穷理"混同叙述，把《四元玉鉴》的成就归为"理学化倾向下的产物"。这种叙述忽略了朱世杰的真正贡献：他是在使用理学语言包装的同时，做出了一项完全独立于理学的方法论推进。
证据有两点。第一，朱世杰对方法的处理完全从数学操作的有效性出发，不诉诸任何超验的"理"。他的"四元消法"可以从纯操作的角度被定义为一系列筹算动作的复合，与朱熹的"即物穷理"在认识论结构上确实类似，但朱熹的"穷理"是为了"复其初"（回到性理本体），朱世杰的穷理只是为了求解一个具体方程，没有超越数学的目的。第二，朱世杰的方法论独立性体现在他对前贤工作的取舍上：他吸收了秦九韶的大衍术（一次同余组）、李冶的天元术（一元方程）、贾宪至杨辉的增乘开方法（高次开方），但他既不把秦九韶看作"术数家"（秦九韶在《数书九章》序中确有神秘主义色彩的言论，被后来的研究者视为"三式"传统的延续），也不把李冶看作"易学家"（李冶本人确实深研《周易》并在《测圆海镜》中以"勾股"为"天地之大端"立论），他把他们的工作剥离出原来的框架，纯粹当作数学工具来整合。这种剥离就是"明理"的真正含义，不是为某个学派服务，而是为数学本身服务。
需要进一步指出的是，"明理"二字在朱世杰笔下的具体所指。他在前言中点出自己"以明理为务，设为问答，备详节目"，接下来给出一段极简的程序性说明，意思是：若"法"（具体算法）与"理"（方法论的内在原理）相通，则任何问题都无法逃脱这一框架。这句话是朱世杰的方法论宣言，也回答了一个潜在质疑：为什么《四元玉鉴》不收录《九章》那些具体的工程计算（筑堤、挖渠、仓窖容积），而主要收录可以被代数化的问题？答案是他认为具体的工程计算只是"术"，而他要做的是"法"，是超越具体应用的方法。后世读者对《四元玉鉴》的常见抱怨是"过于抽象，难以直接应用"，但这恰恰反映了朱世杰自觉的"明理"取向。
三卷二十四门二百八十八问：结构逻辑
《四元玉鉴》的卷、门、问三级结构是其方法论意识的直接体现。把 24 门按卷展开，可以看到一种清晰的递进关系。
卷上八门：太易、端匹、交互、假令、方程、暗率、合率、仁政。这一卷以"太易"开篇，用一个简短的问题引入"太"（天元）的概念，本质上是把李冶《测圆海镜》的"以天元演勾股"在《四元玉鉴》的语境下重写。"端匹"与"交互"门处理一次方程组，"假令"门处理代入法求解，"方程"门处理线性方程组的系统解法（承自《九章》"方程"章），"暗率"与"合率"门处理比例与连比例问题，"仁政"门则把"方程"框架应用到仓储、税收等公共管理问题，是《九章》"均输"传统的延续。"太易"门开篇的几道问涉及一个含天元的方程，其作用是程序性引导：让读者把天元看作符号而非几何量。
卷中八门：圆城、圆幂、明积、句股、弧矢、反锥、箭积、叠合。这一卷是李冶至朱世杰几何代数传统的展开。"圆城"门是《测圆海镜》直接延伸，处理圆中容方、圆中容圆、勾股形内切圆的各种关系；"圆幂"门处理圆面积与相似性；"明积"门处理已知若干体积求原始几何量的问题；"句股"门是经典勾股定理的应用；"弧矢"门处理弓形面积；"反锥"门处理倒锥体（漏斗类）问题；"箭积"门处理箭矢类物体的体积；"叠合"门处理多重几何图形的组合。前三门承自《测圆海镜》，后五门是朱世杰的扩展，尤其是"叠合"门，需要把若干圆、勾股形同时放入同一个代数方程组，已经超越了《测圆海镜》的能力范围。
卷下八门：方程、两仪、三才、四象、左右逢元、三才变元、四象朝元、六门演禽。这一卷是《四元玉鉴》的真正高峰，集中在多元消元方法。"两仪"门处理二元（天地）联立方程，"三才"门处理三元（天地人）联立方程，"四象"门处理四元（天地人物）联立方程。这三门的命名直接借自《易传》"易有太极，是生两仪，两仪生四象，四象生八卦"。"左右逢元"门是消元技巧的集合，处理如何把高次多元方程化为低次或单元方程。"三才变元"、"四象朝元"两门是进阶消元，处理高次方程组。"六门演禽"门是《四元玉鉴》中最复杂的部分，涉及含六类约束的方程系统，这一门的存在意味着朱世杰已经把消元方法推到了一般化的极限，超出"四元"的命名限制也无所谓，因为方法本身是开放的。
把三卷串起来看，逻辑递进非常明显：卷上建立一元天元术的扩展（"太易"门是入门）；卷中把一元扩展应用到几何问题（"圆城"门起），即"以天元演几何量"；卷下把一元扩展为多元，建立消元体系。从一元到几何，从几何到多元，从多元到一般消元。这一逻辑与朱世杰自序关于"法与理通"的宣言完全一致：他不是按问题类型组织，而是按方法论的递进组织。每一卷的最后一门往往是下一卷的前奏："仁政"门（卷上末）引出卷中的"圆城"门（开始复杂几何），"叠合"门（卷中末）引出卷下的"两仪"门（开始多元），形成清晰的内部呼应。
288 问在三卷中的分布并不均匀。卷上是基础，建立概念框架，问数相对少；卷中需要更多问来覆盖几何应用的多种场景；卷下因为消元方法的复杂性高（每一问的程序步骤多），每问所需篇幅已经足够，故问数虽不及卷中但题目体量更大。这种密度差异不是随意的，而是与每门的方法论容量相匹配。
《四元玉鉴》每门之内的问也不是随机排列，而是按照"从特殊到一般"的顺序展开。例如"圆城"门第一问可能是最简单的勾股形内切圆问题，最后一问则是若干圆与勾股形的叠加问题，后者依赖于前者的结论。这种内部结构在《测圆海镜》里已经存在，李冶把 170 问组织为递进链条，朱世杰扩大了这一组织并系统化了。
"前贤之未发"：朱世杰的自我定位
《四元玉鉴》自序的最后一句是理解全书方法论宣言的关键。朱世杰在序末自称其工作"于前贤之未发者居多"，即他自认为书中涉及的方法中，有相当部分是他自己的原创，不是前贤已经发明过的。这个自我评价必须放在 13 世纪中国算学的话语环境中解读。
宋元算学家的自我定位是相当克制的。秦九韶在《数书九章》序中自称"乃肆意其间，罔敢不至"，语气是"尽力而为"；李冶在《测圆海镜》自序中说自己"以天元演之，晓然若示诸掌"，重点是"示"，把方法展示出来。朱世杰的"未发"二字明显更具进攻性：他直接声称自己有所发明。这与他在《算学启蒙》自序中提到的"踵其法者有秦道古、李仁卿辈"的措辞形成对比，前者是把前辈放在"踵其法"的位置（继承者），后者则把自己放在"未发"的位置（开创者）。
这种自我定位的变化可以与《算学启蒙》到《四元玉鉴》四年的具体发展对照。四元消法的发明是核心事件。在《算学启蒙》卷下的"天元如积"门中，朱世杰详细展示了一元天元术的完整操作，包括列开方式、相消、相长、相并四步骤，但其中没有出现四元并存的方程组。这一方法在《算学启蒙》成书（1299）之前应当已经在朱世杰头脑中孕育，但完整成书并在《四元玉鉴》"两仪""三才""四象"等门中大规模展示，是在 1299—1303 这四年内完成的。这一完成不是渐进的过程，而是有明确的"点"。朱世杰自序中所谓"于前贤之未发者居多"对应着这一时段的发明。
需要进一步追问：朱世杰所说的"未发"究竟指什么？是仅指四元术这一具体技术发明，还是包含更广泛的方法论自觉？从《四元玉鉴》的具体内容看，朱世杰的"未发"至少包含三个层面。技术层：四元消法，即在二维平面（用上下表达天元与地元、左右表达人元与物元）上处理多元方程组的系统化消元规则。这一技术在秦九韶、李冶的工作中找不到直接的先驱。方法论层：把"按方法分类"作为组织问题的原则，这一原则在《九章》里没有系统化（它是按"用"分类的），秦九韶是按"九章"九类组织，李冶是按"勾股容圆"这一类专题组织，朱世杰首次系统地"按方法"组织（"方程"门内列线性方程组，"方程正负"门内列消元步骤，"两仪"门内列二元方程），这种方法论上的"按理分类"是《四元玉鉴》的真正特征。整合层：把多元消元与高次开方统一在同一个代数框架下，这一统一是前人没有做过的。
这三层之中，技术层是最容易被后世读者把握的，因为它有明确的算术操作；许多介绍朱世杰的文章也仅止于此。整合层则需要更深的数学史视野才能看到，它意味着《四元玉鉴》不是一系列方法的简单并列，而是一个具有内部结构的体系，这一结构本身就是发明。方法论层则是介于两者之间、最容易被忽略但又最重要的一层：朱世杰不仅发明了新方法，还发明了"如何把方法系统地组织起来"的原则。后世研究《四元玉鉴》的清代数学家（罗士琳、沈钦裴等）大多在前两层上努力，极少有人在方法论层上做反思。这也是为什么朱世杰的工作在清代重新被发现时（19 世纪前期），学者们能复原具体方法，却未必能复原朱世杰的"按理分类"意识。
朱世杰在自序中宣称"前贤之未发"，把自己放