中国数学史常被放在“中西相遇”的框架里讲：利玛窦、徐光启、传教士、晚清译书、近代学堂。这条线当然重要，但它容易把中国数学变成等待外来知识进入的背景。若从内部看，中国数学有一条很长的独立发展线，起点至少要回到《九章算术》。
《九章算术》的基本形式是“题、答、术”。它不以欧几里得式公理体系组织材料，而以实际问题和算法分类展开：方田、粟米、衰分、少广、商功、均输、盈不足、方程、勾股。这样的写法决定了中国数学的气质：重算法，重可操作，重问题类型。
刘徽注释使这套术文不只是经验规则。刘徽不断解释为什么这样算，尤其在割圆术、方程术、体积问题中显示出证明意识。它不是欧氏证明的翻版，而是一种围绕算法正确性的说明方式。
从《九章》到宋元，很多核心问题持续生长：面积体积、比例分配、开方、方程、同余、差分、组合。中国数学不是只有“实用”，而是在实用问题中形成了高度抽象的算法结构。
秦九韶《数书九章》是南宋高峰之一。大衍求一术处理一次同余组，正负开方术处理高次方程数值解，材料复杂、算法成熟。秦九韶显示出一种很强的计算组织能力：把看似繁杂的问题拆成稳定步骤。
杨辉的垛积术、纵横图和三角形材料，把组合与数列问题推到明亮位置。今天说“杨辉三角”容易只记图形，其实更该看见它背后的递推、展开和组合计数。
李冶的天元术把未知数引入方程，尤其在《测圆海镜》圆城题中，把几何关系转成代数方程。这个转化说明中国数学并不缺少抽象，只是它常常嵌在具体问题与算草中。
朱世杰《四元玉鉴》把多元消元推向高峰，《算学启蒙》又把教学和算法整理结合起来。若把秦、杨、李、朱合读，会发现宋元数学不是零散技巧，而是有明显的问题推进。
问题在于，这个高峰之后没有连续进入近代数学制度。元末明初以后，社会经济、科举结构、士人知识趣味、出版传播和师承共同体都发生变化。数学没有成为稳定的核心学术训练，许多算法传统被保留、改写，也被误读和遗忘。
所谓“三百年中断”不能说成绝对空白。明代仍有算书，商业、工程、历法也需要计算。但与宋元高峰相比，创造性推进减弱，旧术的系统理解变薄。中断指的是高阶算法传统没有形成连续累积的制度。
文化解释也要谨慎。不能简单说中国文化不重数学；《九章》传统、历法需求、宋元算法都证明这种说法太粗。更准确的问题是：为什么数学没有像经学、史学、文章那样成为士人共同训练的中心。
科举当然是一个因素。若最有才能的人长期把主要精力投入经义、文章和仕途，数学共同体就难以稳定扩大。但科举不是唯一解释，出版市场、师承网络、技术职业地位也同样重要。
清代的重起，首先是重新读旧书。梅文鼎等人面对的是一堆需要校理、解释和会通的材料。清代考证学训练反而给数学史带来一种优势：重版本、重证据、重源流。
明安图的割圆研究说明清代并非只做整理。他在圆周率、三角函数和级数问题上有自己的推进。虽然不能把他直接等同于现代分析，但他延续了从刘徽以来的逼近传统。
清代数学也受西法刺激。传教士带来的几何、三角、历法和代数材料，使旧有问题获得新的比较对象。会通并不总是成功，但它迫使学人重新判断哪些旧法可靠，哪些新法可学。
晚清李善兰、华蘅芳等译者进一步改变局面。此时问题不再只是某个算法，而是近代数学语言怎样进入中文：函数、微积分、代数符号、几何证明、教材体例、学堂制度，都要重新安排。
李善兰的术语创制尤其关键。译名不是简单替换，它决定后来学生如何理解概念、如何写证明、如何把题目转成方程。没有稳定术语，现代数学难以成为公共课程。
华蘅芳代表的格致与工程语境，则把数学放进更广阔的近代科学训练里。数学不再只是算学家的专门技艺，而逐渐成为物理、机械、测量和教育的共同底座。
从独立发展史看，中西相遇不是开端，而是后段转折。中国数学在相遇前已经有长传统；相遇以后，它面对的是如何把旧传统、外来知识和现代学校制度接起来。
这条长线也改变我们评价中国数学的方式。若只拿欧氏公理体系作标尺，就会低估算法证明和术文分类；若只强调实用，又会看不见天元术、四元术、大衍术中的抽象力量。
中国数学的强项在于算法组织、问题分类和计算程序。它的弱项在于没有形成持续扩张的公理化、符号化和高等教育制度。二者都要说，才算尊重历史。
宋元之后的中断尤其值得反复讨论。它提醒我们，数学发展不只靠聪明个人，也靠共同体、教材、职业位置和制度化训练。没有这些，哪怕已有高明算法，也可能失去连续推进。
清代重起和晚清译介则说明，传统不是死物。旧书可以被重新读，新法可以被消化，术语可以被创造。数学史不是“落后等待输入”的故事，而是复杂的续接、误读、再造和制度转型。
要理解这条线，必须认真看“术”的含义。术不是粗糙口诀，也不只是操作步骤。一个成熟的术，往往包含问题识别、数值安排、变形次序和验算方式。它把经验问题压缩成可传授的程序。中国数学的很多证明意识，就藏在解释这些程序为什么有效的注中。
刘徽的价值也在这里。他常常不是另起一套抽象语言，而是从术文内部拆出理由。比如面积分割、体积出入、割圆逼近，都是让读者看见算法背后的不变关系。若只按欧氏几何的格式找“命题、证明”，会错过这种注释传统的严密性。
算筹和版面也影响了数学形式。筹算能够自然表示正负、位值和方程排布，使“方程”章里的消元具有实际操作基础。中国代数不是先有一套现代符号再发展，而是在算具、算草和问题格式中生长出来。形式不同，不代表抽象程度低。
天元术、四元术尤其能打破“中国数学只重实用”的刻板印象。设天元一为未知，列式、化简、求根，这已经把几何和数量关系转成代数对象。四元术处理多个未知量时，更显示出消元思想的复杂度。它们当然不是现代多项式代数，却已经远远超过日常算账。
宋元高峰还有一个特点：同一问题常被多本书从不同角度推进。秦九韶重复杂算法和同余，杨辉重垛积、组合和教学整理，李冶重天元方程，朱世杰重多元消元和系统汇编。它们不是孤岛，而像一个松散但真实的算法共同体。
为什么这个共同体没有继续扩张，是中国数学史中最难的问题之一。答案不能只找一个原因。战乱和政权更替会损害书籍传播，科举结构会改变士人投入方向，技术职业和文人士大夫之间的地位差异会削弱数学声望，教材系统不稳定又会让高阶算法难以代际传承。
还要注意，明清之间并非完全无人算学。商业计算、田亩测量、历法修订、水利工程仍然需要数学。问题在于，这些需求多半能被中低阶算法满足，未必推动天元术、四元术那样的高阶传统继续生长。社会有计算需求，不等于有高等数学共同体。
清代考证学给数学带来一种特殊复兴路径。它不是先创立现代研究机构，而是从校勘、辑佚、辨伪、源流考察开始。梅文鼎能重新评价中西历算，正因为他有一种把文本、算法和历史放在一起看的能力。清代数学的重起，很大部分是重新建立可读性。
梅文鼎的重要性不只在具体定理。他努力把传统算学、西法历算和当时知识秩序放在一个可讨论的框架中。对清初读者来说，这种工作意味着数学不再只是零散技艺，而重新成为可以考证、可以比较、可以讲源流的学问。
明安图则提醒我们，清代数学也有创造性内部推进。他的割圆密率捷法围绕圆、弦、级数和逼近展开，既接续中国割圆传统，也和传入的三角知识发生关系。它最值得看的不是“是否等同于某个西方级数”，而是他怎样在自己的符号和问题框架中推进极限式思考。
晚清译介的难度常被低估。译一本数学书，不只是把外文句子改成中文，还要决定概念秩序、符号规范、例题样式和证明语气。李善兰和华蘅芳面对的是整套近代数学教育如何落地的问题。一个术语如果选得不好，后面几代学生都会受影响。
李善兰的译名之所以有历史重量，是因为它们把抽象概念变成可教学、可讨论、可考试的中文对象。函数、代数、微分、积分、几何命题等词汇进入中文后，数学才能从少数译者的工作变成公共课程。术语是一种基础设施。
华蘅芳的路径更接近工程、格致和教育现场。他关心的不只是纯粹数学文本，也关心机械、测绘、物理和新式学堂需要怎样的计算训练。晚清数学因此不只是“西学输入”，也是中国知识制度向近代科学教育转换的一部分。
从这条独立发展史看，最重要的是避免两个极端。一个极端是用现代欧洲数学标准简单打分，得出“有算法、无证明”的粗糙结论。另一个极端是把每个相似算法都说成遥遥领先。真正有用的读法，是承认文本形态不同，同时细看它解决了什么问题、怎样保证正确、如何传承。
这也解释了为什么本专题要和“中西相遇”专题分开。相遇专题关心知识如何跨语言、跨宗教、跨帝国流动；本专题关心在相遇之前，中国数学自身如何形成问题传统，又为什么在制度上出现断裂。两篇合读，才不会把历史压成单一方向。
在灯下阅读中，这篇专题应该作为中国数学线的长卷概括：先从《九章》看术文与刘徽注，再读秦九韶、杨辉、李冶、朱世杰，最后接梅文鼎、明安图、李善兰、华蘅芳。这样读，才能看见独立传统的完整弧线。