《数学的故事》第十二章:复兴的火种——欧洲数学的归来

“数学的本质,就在于它的自由。” —— 康托尔(Georg Cantor) 中世纪的欧洲,像一间把窗帘拉上的屋子:不是没有灯,而是把古希腊那盏最亮的灯——那盏靠"证明"发光的灯——收进了柜子里。人们还会算账、量地、定历,但欧几里得和阿基米德那种把思想一层层钉死的严密,常常不在手边,久而久之,就像被尘土盖住的器物:还在,只是不常被人看见。 文艺复兴所做的事,说穿了很朴素:把那盏灯重新拿出来擦亮。它的火种并不只从一个方向回来——一部分绕了远路:希腊的书先在东方学者手里活下去,被译成阿拉伯文,被讲解、被补写,然后又译回拉丁文;另一部分走了近路:希腊原文手稿从拜占庭与地中海沿岸,直接流入意大利。等到印刷术让书籍可以像面包一样成批出炉,数学便不再是少数人袖子里的秘笈,而重新回到欧洲的桌面上、课堂里,回到城市的账簿与工坊的尺规之间——并且很快,长出了新的枝条。 一、冬眠的石廊:重写本与被覆盖的几何 中世纪流传下来一类特殊的文献,被称作"重写本"(palimpsest):一些修道士为了节省昂贵的羊皮纸,把此前抄录的古代文本用刀刮去,重新写上祷文或经文。后世借助现代技术,依稀辨认出被刮去的原文——其中就包括阿基米德关于浮力与力学的论著,以及阿波罗尼乌斯关于圆锥曲线的部分内容。对当时负责抄写的修道士而言,这些几何证明既昂贵又"无用":羊皮纸价格不菲,而需要抄写的祷告词却源源不断,更何况这些异教时代的学问,在当时的宗教氛围中,还带着几分令人不安的意味。这类重写本,后来常被视为古希腊数学命运的一个缩影:曾经被人认真推导过的真理,被更迫切的现实需要覆盖在了纸张的最底层。 公元一千年前后的欧洲城市,无论是意大利北部的小城,还是法兰西的一处集市,声音都不算多,光也不算亮。教堂的钟声很响,但它提醒人的,不是某项新发现,而是死亡与救赎——你是尘土,终将归于尘土,理应为死后的归宿有所准备。 在这样的氛围里,古希腊那种"我想知道"式的好奇心,并没有真正从欧洲消失,而更像是被冻结了活动:形状还在,却难以舒展。数学在这一时期,并未彻底绝迹,而是被赋予了另一种角色——从探索世界的工具,变成了修道院里维系日常运作的辅助手段。它不再向外追问"为什么",而更多地向内服务于宗教生活本身的需要。它出现的场所,往往不是市民的广场或工匠的作坊,而是修道院阴冷的回廊尽头,那些潮湿的藏书室与抄写间。 这一时期,欧洲人当然仍在使用数字:推算复活节的日期,安排教会节庆,核算贡赋、什一税与庄园粮食的收支。但数字更像一头被套上轭的耕牛,只负责完成具体而必要的任务,很少被用来追问更远的问题。几何不再被视为理解宇宙结构的工具,代数式的运算在多数人眼中也颇为陌生;数学的应用范围,大体局限在教会与庄园所需要的实用计算之内。 不过,被暂时搁置的事物,未必就此消失。有些线索仍在延续:在商人的账本里,在港口往来的货物记录中,在少数保存下来的抄本与译本里。它们不曾发出响亮的声响,却仍在缓慢地积蓄。 二、潮湿的码头:斐波那契与来自东方的记数法 这场复兴最初的动力,往往不是来自学院,而是来自市场、船舱与账本之间。教会可以规定人们信仰的方向,却难以左右商人对利润的计算需求——威尼斯的商人依然需要精确地核算成本与收益。 真正带来变化的,与其说是某位显赫的学者,不如说是与贸易紧密相关的具体需求。莱昂纳多·斐波那契年轻时曾随经商的父亲往来于北非,在当地接触到阿拉伯商人所使用的记数方法:十个符号,加上"零"这一表示"空位"的概念,便足以高效地处理大量的数字运算。相比之下,当时欧洲通行的罗马数字,在处理较大数目或复杂运算时,显得相当笨重。 斐波那契敏锐地意识到,这套记数系统的价值,并将其系统整理,写成《计算之书》,于1202年问世,试图把这套更为高效的方法介绍给欧洲各地的商人与学者。 然而,新方法的推广并非一蹴而就。当时欧洲社会的日常生活,大多局限在较小的范围之内,多数人并不需要频繁而复杂的运算,罗马数字对他们而言已经足够应付。更重要的是,“零"这一概念本身,在当时的观念中并不容易被接受——表示"无"的符号,多少带有一种令人不安的抽象色彩。 因此,这套新的记数体系,最初主要在从事贸易与金融的群体中流传:需要频繁核算利润与风险的商人、银行家与账房,最先意识到它的实用价值。它并未在短时间内改变整个社会的计算习惯,却在意大利的商业城市里持续扎根,逐渐积累影响,等待着更大范围传播的契机。 而这样的契机,最终随着印刷术的出现、旧有政治格局的变动,以及地理大发现带来的新机遇,逐渐成熟起来。 三、印刷机轰鸣:帕乔里、丢勒与斯特凡 文艺复兴带来的一项重要变化,是让知识不再局限于少数人手中的抄本。印刷机的出现,使书籍不再是稀缺的奢侈品,数学也因此逐渐走出修道院的范围,进入城市的日常生活:面对市场的需求,面对工程的实践,也面对艺术家的审视。 在这一转折点上,卢卡·帕乔里是一位颇具代表性的人物。他身为修士,却与达·芬奇交往密切;既研习神学,也讲授几何与比例;既熟悉宗教典籍,也精通商业运作的具体规则。 1494年,帕乔里出版了《算术、几何、比例及比例性概要》一书。书名虽然平实,其意义却相当重要:他把此前分散于古希腊传统、阿拉伯数学与商业实践中的各类数学知识,加以收集、整理、归类,并借助印刷术,使这些内容得以广泛传播,成为可供公众学习的知识。 书中尤其值得关注的,是他对复式记账法的系统阐述。这套方法的核心,是一种讲求对称与可追溯性的记录方式:每一笔资金的流入,都对应着相应的流出记录,借方与贷方彼此对应、相互验证。这一方法,为商业活动提供了一套清晰、可核查的记录体系,使威尼斯的商人、佛罗伦萨的银行家能够更为理性地管理财务与风险,而不必仅仅依赖经验与人际信任。数学由此逐渐从单纯服务于宗教与学术的领域,扩展到国家治理与商业运作的核心环节之中。 与此同时,几何学的应用也逐渐延伸到艺术创作的领域。北方画家丢勒便是其中的代表人物:他极为重视比例与透视原理在绘画中的运用,圆规与直尺在他看来,是绘画创作不可或缺的工具。他撰写的《量度指南》,系统阐述了几何原理在艺术实践中的应用;他的版画作品《忧郁Ⅰ》中,也出现了魔方阵、几何体与测量工具等元素,体现出他对数学与艺术之间关联的深刻思考。 而在低地国家,西蒙·斯特凡则致力于推广十进制小数的使用。此前,分数的运算方式较为繁琐,给工匠与税吏的日常工作带来了不少困扰。斯特凡系统提出并推广了十进制小数的记法(尽管当时所用的符号与今天并不完全相同),使数量的表达与计算变得更加简便统一。这一方法在工程测算、商业结算等实际应用中,带来了明显的效率提升。 帕乔里在威尼斯整理商业与数学知识,丢勒在纽伦堡把几何原理应用于绘画创作,斯特凡在低地国家推广十进制小数——这些看似分散的努力,共同推动着数学从修道院的边缘位置,逐渐走向欧洲城市生活的中心。数学开始承担起更为主动的角色:它不仅用于解释既有的事物,也开始被用来改造现实、提高效率、推动商业与工程的发展。 四、广场上的争论:卡尔达诺、塔尔塔利亚与维特 十六世纪的意大利,学术界的竞争有时会以一种颇为激烈的方式展开:学者之间会公开进行数学问题的比拼,用以争夺教职、声誉与资助。这种公开的智力较量,也从侧面反映出当时对数学能力的高度重视。 卡尔达诺便是这一时期颇具争议、也颇具代表性的人物。他身兼医生、占星者与数学家等多重身份,个性复杂,一生经历也颇为跌宕。对他而言,数学研究不仅是一种学术追求,也在某种程度上,关系到他自身的生计与声誉。 当时数学界普遍关注的一个重要问题,是三次方程的一般解法——这一问题,此前无论是古希腊还是阿拉伯数学家,都未能彻底解决。塔尔塔利亚率先取得了突破,并出于当时学术界常见的做法,将这一解法秘而不宣,视为个人的重要资本。 卡尔达诺则通过多次请求与承诺,最终从塔尔塔利亚处获知了这一解法的具体内容,并在1545年出版的《大术》一书中将其公开发表。这一做法在当时引发了激烈的争议与不满,塔尔塔利亚认为自己遭到了背叛。这一事件在数学史上常被提及,一方面反映出当时学术成果归属问题的复杂性,另一方面也客观上推动了三次方程解法这一重要成果的公开与传播,使其得以被更广泛地学习与应用。 值得一提的是,在研究三次方程的求解过程中,卡尔达诺等人遇到了一个此前很少被正式讨论的问题:某些运算过程中会出现负数的平方根。这类数值在当时被普遍视为没有实际意义、难以理解的对象,但卡尔达诺发现,即便不完全理解其含义,若在运算过程中形式化地使用它们,最终仍能得到正确的实数解。这一发现,为后来"虚数"概念的提出与发展,埋下了重要的伏笔——尽管在当时,这类数还只是一种令人困惑、尚未被充分理解的运算现象。 与此同时,另一位学者弗朗索瓦·维特,则从一个不同的方向推动了数学的发展。维特身兼法律顾问与密码破译者等职务,这一经历也使他对符号与规则的运用有着特别的敏感度。他所推动的一项重要变革,是提出用字母系统地表示已知量与未知量,从而建立起一套更具普遍性的代数表达方式。 在此之前,代数问题大多是逐一处理的:每一道题目往往需要针对具体的数值单独求解。维特的方法,则使人们能够用统一的符号语言,讨论整整一类问题的共同结构与规律,而不必局限于某一个具体的数值案例。这一转变的意义相当深远:它使代数从"逐题求解"的阶段,逐步过渡到"建立普遍方法"的阶段,为此后代数学的进一步发展,奠定了重要的符号基础。 结语:风暴将至 回顾这段历史,会发现修道院依然存在,抄写工作依然在持续,历史并未因某个单一事件而彻底改变面貌。但同样能够看到,此前被搁置、被覆盖的知识与方法,正在重新变得清晰可见。数学不再仅仅是修道院用于维系日常运作的辅助工具,也不再只是商人账本上的计算方法,它逐渐发展成为一种更具通用性、更易于传播与学习的知识体系——并且开始更为主动地介入现实世界的各个领域:商业、艺术、工程与国家治理。 帕乔里系统整理了此前分散的数学知识,使其重新成为一套完整的体系;丢勒把几何原理引入绘画创作的核心;斯特凡推动十进制小数在日常计算中的普及;卡尔达诺与塔尔塔利亚之间关于三次方程解法的争议,客观上推动了这一成果的公开传播,也意外触及了虚数这一此后极为重要的数学概念;维特则通过符号化的方法,为代数学奠定了更具普遍性的表达基础。 这些看似分散的努力,共同意味着:欧洲人重新获得了运用理性解释世界的能力——不再单纯依赖神学的解释框架,而是借助一套可以反复验证、公开讨论、并能够跨越地域传播的推理方法。 当这样一种语言逐渐成熟之后,它自然会被应用于更为宏大的对象。账本、画室与学术争论的舞台,已经不足以容纳这套语言的全部潜力,数学接下来将被应用于对天体运行、物体运动,以及自然界更基本规律的探索之中。此后不久,一位名叫牛顿的学者即将登场——这并非某种命中注定的巧合,而是因为经过这段时期的积累,所需要的工具、方法与知识基础,已经初步具备。 这正是文艺复兴留给后世的重要意义:它未必立刻给出了所有问题的最终答案,但它使人们重新学会了提出问题,并逐渐培养起依靠自身方法寻求答案的信心与能力。数学从相对沉寂的中世纪走向此后更为活跃的发展阶段,并非因为它变得浅薄,而是因为它逐渐摆脱了此前的种种顾虑与限制,重新在公共视野中获得了表达与发展的空间。

July 6, 2026

《数学的故事》第十一章: 竹简与算法的帝国机器——从两汉的爆发到宋元的峰顶

“数学,如果正确看待,不仅拥有真理,也拥有至高的美。” —— 罗素(Bertrand Russell) 印度让数字学会了走路,波斯与阿拉伯世界让它学会了远行:一路靠翻译、靠商队、靠一代代抄写员的灯光,从恒河流域走到两河流域,又从巴格达走向更远的地方。但世界上还有另一条河流,从一开始就没有加入这场旅行——它没有借用谁的符号,也没有等待谁的译本,而是在自己的案几与官府之间,一点一点把算法磨了出来。 那是唐宋帝国治下的中国。这是一个人口以千万计、赋税以石斗计、公文以日计的国家:南北运河把粮食从江南运到关中,一路要经过船闸、堤坝与仓廪的层层核算;科举把读书人筛选进各级官府,官府再靠账册、田契与户籍维系着一个庞大帝国的日常运转;边疆屯田要算,水利工程要算,历法要算,连寺院的田产与赋役也要算。它没有公共广场来辩论"为什么",却有一张张案几在回答"怎么办";没有把数学写成誓言的传统,却把它写成一种能让国家继续运转的本领。中国古代数学的故事,正是从这种"必须算对"的现实压力里生长出来的。 一、竹简与算筹:两汉至魏晋南北朝的第一次爆发 真正决定中国数学走向的,并不是卜辞与卦象,而是更为朴素、也更为严厉的东西:帝国的日常运转。殷商把数字刻在裂纹旁边,是为了让神意可以被追溯;到了汉代,数字从祭坛走上案几,是为了让国家能够正常运转。刻痕解决了证据保存的问题,但帝国一旦扩张,速度便成为另一种生存条件——不可能永远依靠在骨头上刻字来记录信息,需要更快的载体、更快的运算方法,以及可以训练大批人员掌握的固定流程。 于是,竹简与算筹在这一时期登场。在当时的地方官署里,处理田亩、税赋、粮仓、徭役等事务的小吏,关心的并非宇宙的本原,而是几行具体的数字:田亩是否与登记相符,仓储是否能够结清,徭役分配是否公平。一旦算错,代价往往不是学术上的难堪,而可能是一乡的粮食被错误调拨,一户人家被多征赋税,一段河堤的预算被严重误判。在这样的现实里,数学的可靠性首先是一种社会性的信誉——不出重大差错,才配被人信任。 算筹把十进制从一种"写法",推进为一套真正的"算法":横竖交替排列,各就其位,位置决定数值;空位不必特意标示,只需保持空缺,便已经表达出"零"这一概念。由此,庞大的数字不必依靠冗长的文字堆砌来表示,而是可以被摆放、移动,进行加减运算,把原本看不见的数量关系,转化为看得见的排列秩序。更重要的是,算筹使运算的每一个步骤都公开可见:进位与退位的过程一目了然,任何人都能够查看,也都能够复核。中国数学的核心特质,正是在这一阶段确立下来的:方法要能被执行,步骤要能被复核,结果要能被回代检验。它并不依靠公开辩论来维系自身的权威,而是依靠可靠的流程赢得使用者的信任。 在这样的基础上,几位对后世影响深远的数学家先后出现:孙子处理的是周期性问题,刘徽处理的是计算过程中的误差,祖冲之处理的是精度的极限。三者各有侧重,却共同勾勒出这一时期算法文明的基本轮廓。 孙子所面对的,是现实生活中大量存在的周期性问题:赋税征收有周期,轮班值守有周期,巡逻检查有周期,集市贸易也有周期。真正棘手的,并不是应对单一的周期,而是当多个周期条件同时叠加,彼此又互不相同时,该如何找到一个能够同时满足所有条件的答案。孙子给出的,是一套先拆解、再合拢的运算程序:先把各项约束条件分别处理,提取出各自的局部信息;再按照一定的顺序,把这些局部信息重新组合,直到得出一个在每一条约束下都能够成立的结果。这套方法的可靠性,并不依赖于提出者的权威,而依赖于回代验算——只要把结果代入每一条原始条件重新核验,都能够成立,这套算法便如同一台机器,任何人依照步骤操作,都能得到同样的输出。这一方法后来被概括为"中国剩余定理",长期应用于历法推算等实际事务之中。 刘徽的工作,更接近一位严格的审计者:他把前人留下的算法逐一摊开检验,追问每一步操作的依据是什么,一旦出错,问题究竟出在哪一步,是否存在更加稳妥的表述方式。他把数学从"会算"推进到了"可审查"的阶段。当他转向圆的研究时,采用了一种极为朴素、也极为持久的方法来逼近圆周率:即"割圆术"——把圆逐步转化为多边形,不断增加多边形的边数,使其与圆的差距不断缩小,误差被一点一点地压缩。这并非依靠某一刻的灵感突现,而是依靠长期、耐心的重复计算。这种方法的气质与帝国治理颇为相似:并不指望一次性把问题彻底解决,而是追求每一步都比前一步更加可靠。 祖冲之在后世的叙述中,常常仅以"355/113"这一数值被简要提及,但这个分数背后,实际凝聚着长期而扎实的运算积累。在没有现代数学符号、没有微积分方法、也没有计算工具的年代,能够把圆周率的近似值推进到如此精确的程度,靠的并非某种突如其来的灵感,而是整条算法传统长期积累的结果。这体现出一种朴素而坚韧的文明气质:不依靠夸张的宣言来彰显成就,而依靠精度本身,把自己的成果稳稳地留在历史之中。 至此,中国数学史上的第一次爆发期已然成形:这并非某一项伟大发现的突然出现,而是一条制度与算法相互促进的链条走向成熟——算筹使数值的位置具有了可操作性,竹简使运算的步骤得以被稳定传承,官署与历法机构的日常运转,则要求误差必须被持续地驯服。与此同时,欧洲正缓缓进入中世纪:数学并未彻底消失,却更多被收藏于修道院的书架之中,时明时暗,等待新的翻译网络与城市复兴将其重新唤醒。而在东方,算法则在官署与工地之间持续演进,如同不断添薪的炉火,从未真正熄灭。 二、工地逼出方程:唐代的王孝通 唐代是这一发展脉络中一个颇具代表性的转折点,因为它清楚地表明:中国数学的"代数化",往往并非源自抽象符号自身的演进,而是源自工程实践中具体关系的现实需要。王孝通正是这一趋势的代表人物。 当时的城垒需要修筑,桥台需要架立,堤坝需要加高,土方需要精确调配。工程实践从不满足于"大致如此",而只关心"是否足够"。一旦对这些关系稍加深入考察,便会发现单纯的加减乘除已经不敷使用:形体之间关系一旦变得严密,未知量与高次幂的关系便随之出现,立方、开方、比例等运算彼此交织,难以回避。王孝通的意义,正在于他把这种由现实需要所催生的方程问题,清晰地记录在了文本之中——这并非"数学家突然对三次方程产生兴趣",而是工程实践本身,把研究者推到了方程面前。 这一阶段的意义,在于承上启下:它把两汉魏晋时期算法体系走向成熟的进程,引向了宋元时期代数方法的全面展开。可以说,工程实践已经把通往方程与未知量研究的大门推开了一道缝隙,而宋元数学家们所做的,则是把这扇门后的整个房间彻底照亮。 三、压力锅里的巅峰:宋元群像与秦九韶 历史的脉络最终来到了宋代。宋代并非最为安定的时期,却是技术密度异常之高的时期:商业活动更为活跃,城市结构更为复杂,财政状况更为紧张,军事需求更为急迫,水利与工程事务也更为频繁。这一时期的社会状况,颇似一口压力锅:外部压力越大,内部的工具与方法便越是被迫升级。若此时的数学仍然停留在"会算"的层面,便如同用一把小刀去修筑堤坝,远远不能满足实际需求。当时所需要的,是一套能够处理多重约束条件、能够应对大规模调度问题、并能把复杂问题转化为可重复操作流程的算法体系。宋元数学之所以被普遍视为中国古代数学的高峰,正是因为它把这套体系推进到了"可制造、可训练、可复制"的程度——它所依靠的,不是一时的聪明才智,而是一整套完整的程序传统。 在秦九韶之前,还有几位数学家为这一传统的成熟作出了各自的贡献。贾宪把开方运算中系数的处理方式加以系统整理,并逐步推进求解精度;杨辉则把这些算法进一步整理,使其更适合大规模的教学与训练,而不只依赖于个别天才;李冶发展出"天元术",把几何图形之间复杂的关系,转化为代数方程之间的关系;朱世杰则发展出"四元术"与消元方法,使涉及多个未知量、多个方程的复杂问题,也能够被系统地处理。这几位数学家的贡献各有侧重,共同为宋元数学的高峰奠定了坚实的基础。 在这一群体之中,秦九韶最能代表这条传统在宋代现实压力之下所达到的成熟形态:他把数学写成了一套能够真正运转的机器。 秦九韶本人的经历,并非一段清白无瑕的传记式叙事,其中夹杂着官场的纠葛与人生的种种曲折。但正因如此,他反而更能代表中国数学传统的真实面貌:这一传统并非诞生于纯粹的思辨之中,而是在财政、工程、历法、文书与责任链条之间的长期磨合中逐渐形成的。他所代表的,是一个真正身处现实压力之中的人:具体事务持续压迫着他,时间持续催促着他,误差持续威胁着他,而他借助算法,把纷繁的现实世界稳稳地把握住。 他所著的《数书九章》,表面上是一部数学著作,实质上更接近一份帝国事务的算法手册。书中所设的题目大多带有明确的现实紧迫性:如何调配资源,如何测算数值,如何在相互牵制的条件之中,找到切实可行的方案。阅读这部著作,能够感受到一种颇具宋代特色的气质:内容复杂,态度务实,需求急迫,但表达克制。它并不把计算的过程隐藏在灵感之中,而是把整个运算过程摊在纸面之上——把原本似乎只能依靠天赋才能完成的工作,转化为经过训练的普通人也能够依照步骤完成的任务。 四、粮运与工程:两个现场 秦九韶的方法,在两类具体事务中体现得尤为清楚:粮食运输的分配,以及工程建设的估算。 宋代的粮食运输,关系着帝国的命脉:北方军需、京城供给、地方赋税、仓廪调拨,每一项都牵动着具体的民生与政局的稳定。风向的变化、水位的涨落、路程的远近、损耗的多寡,以及运载能力的差异,都会不断地影响实际的运输安排。要在这些不断变动的因素之中,把粮食按时、按量、按规矩送达指定地点,是一项极为现实而艰巨的任务。 “粮运分配"的难点,并不在于计算出一个总数,而在于必须同时满足多重约束条件:某地仓储的缺口有多大,某地军需的紧迫程度如何,某段路程的损耗有多严重;某段水道只能通行小型船只,某段水道需要转驳;某些物资必须优先送达,否则将造成严重后果;某些物资则可以适当延后,但延后过久,又会导致账目无法核对。这些条件相互交织,共同构成了一个牵一发而动全身的复杂系统。 在这种情况下,真正的危险,并非"不会计算”,而是"计算结果彼此不一致":不同的基层官员,依照各自的经验分别提出不同的分配方案,上级再从中裁定,而未被采纳的一方难免心存不满。这种不一致一旦扩散,粮食运输便可能陷入停滞,而政令一旦无法落实,便形同一纸空文。 帝国真正需要的,并非依赖某一次灵光乍现的天才判断,而是一套能够被交接、被复核、被追责的完整流程:把所有条件清楚列出,把运算步骤如实记录,使任何经过训练的人依照同样的步骤操作,都能得出相同的结果;再把最终结果代入每一条原始条件重新核验——如果全部成立,争议便能够被这套流程有效化解。 这正是秦九韶方法的关键所在。面对一张错综复杂的调拨清单,他所采用的手法,并非依靠某种巧妙的捷径,而是系统性的拆解:把各项约束条件逐一分离处理,再把局部得出的结论重新合拢,逐步逼近最终的答案,并且每一步都留有清晰的记录,可供随时回溯查验。 在他的方法中,粮食运输的分配问题,不再表现为经验之间的争执,而更接近一台机器的运行:输入既定的约束条件,按照既定步骤逐步推进,最终得出可行的方案,再把这一方案代回各项约束条件之中逐条验证。验证若能通过,方案便可以成立;验证若未能通过,便回到某一具体步骤重新调整。 这正体现出一种"帝国式"的可靠:它所依靠的,并非"说服对方接受结论",而是"由流程本身承担说服的责任"。殷商时期在裂纹旁刻下编号,是为了防止占卜的解释被随意篡改;宋代在粮运事务中建立起清晰的运算流程,则是为了防止分配方案在争执中被随意拆散。三千年间,承载数学的载体几经更替,应用的具体场景也大不相同,但那种追求秩序、力求先把争执纳入可追溯轨道、再谈论立场与得失的态度,始终没有改变。 工程估算是另一个能够充分体现这套方法的具体场景。河堤需要修筑,渠道需要开挖,城防需要构建,桥台需要架立。在宋代,水利与工程事务从来不是锦上添花之举,而关系到民众的基本生计——一场洪水足以吞噬一年的赋税收入,一段堤坝的溃决足以使整个地区的秩序瞬间瓦解。 工程估算的困难之处在于,它把抽象的计算问题,直接拖入了泥土、石料与人力这类具体而不规则的现实条件之中:需要计算的不只是抽象的数值本身,还包括土方的体积、边坡的角度、材料的厚度、运输的距离、劳动效率、以及工期的长短。这些数据往往并不理想,地形也很少规整,人力条件也常常处于波动之中,若仅仅依赖某个整齐划一的公式来求解,在实际工地上便很容易遭遇困境。 在这类问题上,秦九韶所展现的方法,同样是把复杂性当作需要正面处理的材料,而非回避问题的借口:材料越是复杂,所需的方法便越要精细。他把整个估算过程系统地摊开:先把整体形体分解为若干局部,化整为零;再逐项核算,层层推进;最后把计算结果代回现实的种种约束条件之中——检验其是否符合预算、工期、人力与运输能力等各方面的限制,从而判断方案是否真正可行。 在这个意义上,“可执行性"本身,构成了这套算法体系的一种独特美感:它并非展现于某个耀眼夺目的瞬间,而是体现在长期、稳定、可重复的操作过程之中。这里可以做一个鲜明的对照:希腊人把数学写成了一座能够自证其身的建筑,秦九韶则把数学写成了一台能够持续运转的机器。前者依靠推理链条的公开透明,来赢得人们的信服,后者依靠程序流程的可重复验证,来维系整个系统的运转。二者所追求的都是可靠性,只是可靠性的来源有所不同。 在秦九韶之后,这台"机器"的运转并未因此停止。杨辉把这套方法系统整理成可供教学的教材,使更多人能够掌握相应的操作方式;李冶通过天元术,使几何图形之间复杂的关系,更加顺畅地转化为代数方程;朱世杰通过四元术与消元方法,使涉及多个未知量、多重方程的复杂系统,变得更加可控。宋元之际数学的高峰,因此并不是几位天才恰好同时出现的巧合,而是整条算法传统,在长期的现实压力中被逐步锻造成为一套完整的体系:能够处理复杂的约束条件,能够应对大规模的计算需求,也能够被系统地训练、监督与核查。 尾声:火光还在,只是换了载体 回望这条漫长的历史脉络,殷商时期的先民在裂纹旁刻下数字时,未必会想到三千年后会出现"方程"“消元"“算法体系"这类概念,他们只是在混乱之中寻求秩序,在争执发生之前,力求先锁定一条可以追溯的证据链条。他们用火把内心的疑惧转化为裂纹,又用数字把裂纹固定为可查验的档案。那份最初的清醒,此后从骨头上转移到竹简之中,登上了处理具体事务的案几,落入算筹排列成的阵列,又凝结于算盘的珠子之间,最终在宋元时期这口"压力锅"中,被锻造成一种成熟的算法文明——它不依靠宏大的宣言来争取认同,也不依靠公开的辩论来树立权威,却能够在纷繁复杂的现实事务中始终保持可靠,使国家的日常运转不至于在误差的积累中走向崩溃。 若沿着这条脉络回望整个历程,会发现中国古代数学最动人之处,恰恰不在于它是否走上了与希腊相似的道路,而在于它从一开始便选择了属于自己的路径:把计算转化为制度,把正确性交由流程来保证,把复杂性压缩为可执行的程序,把天时与人事,都纳入了一套可以反复核验的秩序之中。这是一种并不张扬的成就——它不像拱券那样令人仰头惊叹,却像秤砣一样,让人能够低头信赖。秤砣并不需要被赞美,它只需要准确;而当一个文明能够把这种准确维持上千年,并在粮食运输、工程建设这类最为朴素、最不引人瞩目的现实场景中,把算法磨炼成一台真正可靠的机器时,它便已经在世界数学史上,拥有了属于自己的高峰。

July 5, 2026

《数学的故事》第十章: 数字的旅行——印度与波斯的中世纪数学

“一个方程对我而言毫无意义,除非它表达了神的一个想法。” —— 拉马努金(Srinivasa Ramanujan) 罗马人做事像铺路:石块压实,刻度钉牢,水渠要算,桥拱要算,军粮与税册也要算。罗马的数学不太像诗,更像一把扳手——它不追求天边的闪电,只追求地上的牢靠。帝国的机器要持续运转,就得有一套人人认得的尺,一套对得上的账,一套出了错能当场揪出来的规矩。 但人类并不只生活在石头与军团里,还有一些更细、更慢、更顽固的东西——概念、语言、推理的习惯。它们不像道路那样看得见,却决定着一个文明能不能接住另一个文明的思想。历史的线索由此从罗马的里程碑,转向另一种场景:一张桌子,一盏灯,几卷旧书,几双磨出茧的手。数学在这一时期,学会了另一种扩张方式:不靠征服,不靠宣言,而靠翻译,靠符号,靠一步步写得清清楚楚的做法。 一、译者的桌子 要理解这段历史真实的质地,不必急于用"黄金时代"这类笼统的说法来概括,而应先关注具体的翻译工作本身。译者面前往往同时摊着两份文本:一份是希腊文,另一份是阿拉伯文。除此之外,还有一批更为关键的对象——一系列专门的术语:点、线、面、比例、公设、相似、穷竭、证明、推论。这些词在原本的语言体系中,已经形成了极为牢固的用法,但一旦要移植到另一种语言里,其准确性便容易松动。松动的往往不是字面的意思,而是这个词在整条推理链条中所应承担的具体位置与作用。 对译者而言,最困难的部分并不在于是否精通希腊语,而在于要为另一种文明重新铸造一整套思维工具。翻译文学作品或寓言故事时,可以容许一定程度的含糊,但翻译数学文本却难以如此——数学最忌讳的不是表述粗糙,而是"差之毫厘"。一个概念的偏差,往往会导致后续推理产生更大的偏差。一旦某个基本概念被译得不够准确,此后建立在这一概念之上的整个论证结构,便可能从一开始就出现偏离,如同砌墙时地基未能对齐,即便砖石仍能层层叠加,整座建筑却已难以保持端正。 因此,这一时期的翻译工作更接近一项系统性的工程,而非单纯的写作:需要确立统一的标准,进行反复的校勘与相互对照。这项工作也很少依靠单独一人完成,而是由一支分工明确的团队共同承担:有人精通语言,有人擅长几何,有人专门负责校勘,有人专门负责抄写。抄写员一旦出现笔误,后人便可能因此产生理解上的偏差;校勘者若对某个术语的取舍犹豫不决,这一术语日后的命运便可能因此而被确定下来——它将陆续出现在教材、讲义与各类表格之中,逐渐被后人视为理所当然的既定用法。 与此同时,现实的种种需求也在持续施加影响:资助者期待具体的成果,学者追求准确的表达,学生需要易于学习的文本,行政机构需要切实可用的工具,宗教生活也需要可靠的历法依据。翻译工作必须在这些相互交织的需求之间寻求平衡,因此往往不是一次性完成,而是经过一版、两版、乃至多次修订才逐渐趋于成熟——越到后期,进展往往越是缓慢,如同精细的雕刻,最后几刀最费工夫。这一过程中的辛劳不容忽视:日复一日的抄写,页复一页的校勘,以及为了确定某一个词的准确译法而反复推敲、争论。两位学者可能会为了一个术语的取舍讨论许久,这看似繁琐,却恰恰体现出一种文明特有的严谨态度——当人们愿意为一个词反复推敲,实际上是在承认理性的确立需要付出代价,而他们愿意承担这份代价。 二、数字上路 如果说翻译工作近似于架设一座桥梁,那么数制的革新则更接近修筑一条道路:桥梁使人得以渡过河流,道路则使人能够走得更远。希腊的证明传统近似于数学的骨架:借助定义、公设与证明,使数学的论证得以站稳脚跟。但这副骨架若要实现远距离的传播,便需要一副更为轻便的身躯来承载。十进位值制与"零"的引入,正是这样一副身躯:它把计算从依赖个人手感的技艺,转变为依赖统一规则的书写方式,把数字从如同石块般笨重的记号,转变为一套便于携带与操作的工具。 位值制的精妙之处,在于它并不依靠不断增加新符号来表示更大的数,而是依靠"位置"本身来承担不同的功能:同一个符号处在不同的位置上,所代表的数值也随之不同。“零"则如同一枚安静的楔子,平日并不引人注意,却在数字结构中发挥着不可或缺的支撑作用:原本容易被忽略的空位,如今成为一个明确、可辨识的位置标记。由此,复杂的运算第一次具备了清晰的秩序:运算步骤可以被完整地记录下来,任何人依照这些步骤操作,都能得出相同的结果;也正因如此,若某处出现错误,也能够被清楚地检查出来。 这种计算工具的传播,并非依靠某种权威性的宣告,而更接近一种生活习惯的自然迁移:商人使用它来记账更加省力,天文学家借助它编制星表更加高效,税吏依靠它进行核算更加清楚,学校采用它进行教学也更加便利。旧有的记数方式,在处理稍大的数值时,往往显得繁琐笨重;而新的记数方式仅凭位置便能清晰表达,“零"作为占位符号,使整行数字排列得整齐有序。商人不需要理解其中的数学原理,只需要在结账时不出差错。于是,这种新的记数方法首先在商业活动中站稳脚跟,此后才逐渐进入学术领域。文明的发展往往遵循一条朴素的规律:最先被广泛采用的方法,未必是最为精巧或优雅的,而往往是最为省力、最易推广的那一种。 而一旦某种符号系统被证明足够高效,便会很快被既有的制度所吸收。制度天然倾向于追求统一:统一的度量衡,统一的税册,统一的历法,统一的账目——统一意味着更少的争执,更少的漏洞,更少的错账。数字与符号一旦有助于实现这种统一,便会如同优质的齿轮一般被纳入国家治理的整套机制之中;而一旦这套机制开始顺畅运转,人们便很少再愿意退回到此前更为笨重的记数方式。由此,“数字开始旅行"便不再只是一种修辞,而成为切实发生的历史事实:它沿着商路流动,沿着港口流动,沿着税册流动,沿着课堂流动。支撑这种传播的,并非某种传奇式的叙事,而是它自身所具备的可靠性。 三、印度三杰 恒河从喜马拉雅山下来,流经的是一片极为平坦、极为潮湿的平原。河水一年一度上涨,退去后留下肥沃的淤泥,能让同一块地一年种上两三季庄稼;也正因如此,这片平原自古人口稠密,村镇密集,寺庙、集市与灌溉渠彼此挨得很近。婆罗门祭司要靠精确的历法安排祭祀的日期,商人要在集市上迅速算清换算与利息,田地要按灌溉渠的走向重新丈量,寺院的地产与赋役也要逐年核对。天文观测在这里从来不是纯粹仰望星空的雅事:季风何时到来,直接决定收成的丰歉;月相与星宿的位置,则决定了一年中大大小小仪式的具体日期。数学在这片土地上,不是从哲学思辨里长出来的,而是从祭祀、耕作与贸易这些反复发生的日常事务里,一点一点被磨出来的。 印度数学的独特之处,恰恰不在于某种突如其来的辉煌成就,而更接近一门经过长期积累的手艺:天文观测、历法编制、宗教仪式所需的精确时间、土地测量、商业贸易,这些持续存在的现实需求,如同日常吹拂的风,不断磨砺着相应的计算工具,使规则表述得愈发清晰。代数正是在这样持续的现实压力下,逐渐成形的,而推动这一进程的,是三位真正投身于具体工作的学者。 阿耶波多的工作可以理解为编制天文表格。这项工作看似平淡,实则要求极为严格:必须把复杂的天文关系拆解为具体的运算步骤,并把这些步骤整理成可以反复执行的固定方法,同时把误差控制在合理范围之内。阿耶波多把天文计算与算术方法紧密结合起来,使天体的运行不再只是神话叙述的对象,而成为可以被记录、被换算、被反复核验的一整套流程。代数的基本特质,也正体现在这里:把"未知"从神秘的领域中提取出来,当作可以被处理、被求解的具体对象。 在阿耶波多所处的时代,代数尚未形成后世所熟悉的符号系统,但已经具备了代数思维的基本骨架,尤其体现在关于整除与余数的问题上:给定一笔总数不明的钱款,按某个数目分配后剩余若干枚,按另一个数目分配后又剩余若干枚,要求推算出原本的总数。这类问题看似接近民间的智力游戏,实际训练的却是一种较为严谨的能力——把语言层面的条件转化为具体的约束关系,再依照一套固定的步骤逐步求解,而非依靠偶然的猜测。这种"逐步拆解"的方法,后来在印度数学传统中得到了进一步发展,把复杂的问题拆解成若干个可以分别处理的部分,再逐步拼合出最终的答案。这种拆解的思路,正是代数得以确立的重要基础:它使解题不再依赖于偶然的灵感,而依赖于一条可以反复重现的路径。 婆罗摩笈多的贡献,则使代数真正走向成熟。他所做的,近似于确立规则本身:把"零"与负数正式纳入运算规则之中,使之成为具有明确规定的运算对象。此前不少文明都曾接触过"空位"这一概念,但真正把这一概念转化为一套完整的运算规则,才算是真正把"零"确立为一个成熟的数学对象。婆罗摩笈多的工作,相当于明确规定:“零"并非单纯的空缺,而同样需要遵循既定的运算规则。由此,加减乘除的运算不再局限于正数之间,未知量也不必总是被预设为正值才能进入计算过程。 这一进展看似枯燥,却是代数发展中不可或缺的自由。在实际问题中,代数常常需要处理带有"负"性质的对象:欠款、差额、缺口,或是方向相反的量。若不承认这类对象的存在,便如同否认冬季的出现一样,无法真正契合现实的需要。婆罗摩笈多把这一现实明确写入运算规则之中,使学生能够依照规则学习,教师能够依据规则讲授,争议也能够依靠规则来化解。代数由此不再只是某位师傅私下相传的秘法,而逐渐成为一种公共可用的知识体系——只要掌握了相应的规则,便能够参与到这一计算体系之中。 婆罗摩笈多的另一项重要贡献,是把"求解未知数"这一过程,整理成了可以系统教学的方法。他习惯把用文字表述的问题,转化为可以直接运算的形式:整理散乱的条件,移除多余的部分,把等式两边调整到可以直接比较的状态。这一转变体现出他日益关注"这种方法是否便于教学”,而非仅仅关注"自己是否能够解出这道题”,二者之间的差异相当关键:前者往往能够孕育出一个持续发展的学派,后者则更容易止步于个人的传说。此外,他对某些只有特定条件才能满足的整数问题也格外执着——这类问题往往无法通过近似或粗略估计来解决,必须寻求精确成立的答案。婆罗摩笈多在这一领域推动了一种需要极大耐心的方法:通过反复逼近与不断修正,把原本看似无法处理的难题,逐步转化为可以按部就班解决的问题。 婆什伽罗二世同样值得关注。若只把他视为《莉拉瓦蒂》一书中温和的教师形象,未免有所局限。这本书确实以平易近人的方式讲授了利润分配、测量、行程、利息、单位换算等实用内容,把算术从抽象的运算,转化为能够直接应用于日常生活的工具,帮助学生意识到"会计算"并非仅仅为了应付考试,更是为了在现实生活中不至于被蒙骗。相比之下,他的另一部著作《种子算》则呈现出截然不同的风格,专门讨论代数问题,堪称一部系统的代数工作手册。 婆什伽罗把方程求解的方法整理得更为系统完善。他并不满足于偶尔解出某一道具体的题目,而是致力于提炼出"某一类问题的通用解法”:如何处理未知量,如何进行化简,如何把复杂的条件转化为可以直接操作的运算步骤。他尤其擅长处理那些"必须得出整数解"的问题——这类问题往往极为顽固,需要代数具备更为成熟的耐力,不能依靠一次性的猜测求解,而要依靠反复的循环逼近与持续修正,才能最终得出准确的结果。婆什伽罗把这一过程阐述得更加清晰,也整理得更便于学习,使这类原本仅由少数高手掌握的技巧,逐渐转变为普通学生也能够循序掌握的方法。 综合来看这三位学者的贡献,便会发现,印度数学对世界的贡献,并不仅仅在于"零"这一概念的确立——“零"更接近一张入场的门票,真正重要的进展发生在此后:未知量开始被正式承认并处理,负数获得了明确的规则地位,各类运算逐渐形成了系统的规范,复杂的问题也逐步获得了可依循的求解步骤。代数由此真正具备了持续运作的能力,能够被系统地训练,也能够被反复地核验。数字有了便于传播的形式,代数也有了支撑其发展的骨架,这场跨越地域的旅程,才真正得以走得更远。 四、巴格达与阿尔·花拉子模 巴格达坐落在底格里斯河边,是阿拔斯王朝专门选址新建的都城,城市呈圆形,宫殿居于城市正中,四周由多重城墙环绕,四座城门分别通向四个方向的商路。来自波斯、印度、中亚与地中海的商队,常年经由陆路与河运抵达此地,带来的不只是香料与丝绸,还有各地的书籍、仪器与工匠。哈里发在宫廷附近设立了专门收藏典籍、供学者从事翻译与研究的机构,聘请通晓多种语言的学者常驻其中,把从各地搜集来的希腊文、梵文典籍译成阿拉伯文。这座城市从建立之初,便把"搜集与翻译知识"当作一项持续进行的国家事业。 历史的线索接下来转向波斯与更为广阔的伊斯兰世界。这一时期,天文观测活动持续开展:观测者在夜间记录星体的位置、角度与出现的时刻,这一过程与文学性的感怀不同,更接近工匠式的严谨记录——有人负责操作仪器,有人负责读取刻度,有人负责记录,也有人负责复核。观测数据一旦出现细微的误差,便可能在后续应用中被不断放大:节日的日期可能因此推迟一天,斋戒的起始时间可能出现偏差,航行的方向可能因此产生误差,账目的核算也可能因此出现偏差。这些观测数据在此后会被整理为表格,表格进一步用于编订历法,历法则直接影响着城市的日常生活。观测转化为数字,数字转化为表格,表格转化为制度,制度最终融入日常运作——这一链条一旦确立,数学便不得不追求精确,因为公共秩序难以容忍不必要的误差。 也正是在这样的城市环境中,前述译者的工作变得愈发繁忙。巴格达不仅是一座规模宏大的城市,也是一处把知识的整理与传播,视为公共事业的重要中心:译者持续把希腊文献译入当地语言,学者们引入印度的算法体系,抄写员逐页誊录文本,校勘者审慎核定每一个术语的具体用法。这一时期的数学并非孤立地存在,而是被现实持续需要、持续推动着向前发展:历法需要精确,税册需要清晰,土地需要合理分配,工程需要准确核算。学术研究与行政管理的双重需求,共同推动数学朝着一个方向发展:使其成为切实可用、便于教学、也便于核验的知识体系。 正是在这样的背景下,阿尔·花拉子模的工作显得格外重要。他并非依靠某一句令人印象深刻的名言而闻名于世,而更接近一位善于系统整理现实问题的学者。他所面对的,往往是一系列具体而现实的事务:如何合理分配遗产,如何清算债务,如何丈量田地,如何进行交易换算。人们向他求助时,所期待的不仅仅是某一道题的答案,更是一种可以反复应用的解决方法——因为具体的答案只能使用一次,而普遍适用的方法却可以持续沿用。 他最重要的代数著作,其核心思路其实相当朴素:把纷繁复杂的条件整理成可以直接运算的形式,把方程一边多余的部分移去,把方程两边调整到可以直接比较的状态,再按照固定的步骤逐步求解出未知量。书名中所蕴含的"复原"与"平衡"这两层含义相当鲜明:“复原”,即把被拆分的条件重新组合到一起;“平衡”,即使方程两边遵循同一套运算规则,不允许任何一方例外。代数在他的著作中,第一次真正呈现出一部操作手册的面貌:某一类问题对应着某一类固定的处理方法,运算步骤可以被反复执行,最终结果也可以被清楚核验。这种方法所依靠的,并非单纯的个人智慧,而是一整套可循的秩序。 阿尔·花拉子模还完成了另一项同样关键、却更接近基础设施建设性质的工作:把印度的数字写法与相应的计算方法加以系统整理和推广,使其从少数人所掌握的技巧,转变为可以在更广泛范围内通行使用的工具。一种记数方法一旦能够使账目更加清晰、误差更少、训练更为高效,便会逐渐在官署与学校中站稳脚跟。阿尔·花拉子模的重要贡献之一,在于他认识到:数学若要长久流传,就不能仅仅停留在学者的书斋之中,而必须同时具备两方面的能力——既能进入课堂被系统教授,也能进入日常事务被直接应用;既要能够讲清楚背后的道理,也要能够切实解决具体问题。 在他之后,代数的发展仍在持续推进:有的学者把运算规则表述得更加细致,使多项式的处理更加熟练;有的学者不再满足于处理简单的方程,开始借助几何图形来辅助理解更为复杂的求解过程;还有的学者在编制天文表格与进行观测的现实压力下,把三角计算的精度不断提高。这一系列进展,并非依靠某一位孤立的天才独自完成,而是依靠一整套持续运转的机制——翻译、校勘、教学、编表、复算——共同推动的结果。一种方法若只存在于某位天才的头脑之中,往往很快便会失传;而一种方法若能够被写入教材,被纳入表格体系,便可能延续数百年之久。阿尔·花拉子模之所以在数学史上占据重要地位,正是因为他把"方法"从个人所拥有的知识,转变为整个社会共同享有的公共财富。 五、合流与余波 希腊为数学提供了骨架,使它能够站立;印度为数学赋予了身躯,使它能够快速前行;波斯与伊斯兰世界则为这副骨架与身躯接通了血脉,使数学能够在更为广阔的知识共同体中持续循环、修正与扩展。数学的命运也因此发生了根本性的转变:它不再过度依赖某一座城市、某一种语言,或某一个特定的政权,而可以被翻译、被训练、被核验、被纳入表格、被写入制度之中。它逐渐成长为一门跨越地域的技艺,也成为一种跨越地域的理性习惯——即便身处不同的地区,人们依然能够依照相似的步骤,抵达可以相互核验的结果。 而这段跨越地域的旅程,最为动人之处,并不在于某个高光时刻的传奇叙事,而更接近一种持续进行的日常劳动:译者在灯下为某一个术语的译法反复推敲;抄写员为誊录一段文字耗费一整夜的时间;教师在讲堂里把同一套运算步骤反复讲授,直至声音沙哑;学生在木板上反复书写又反复擦去;观测者在寒夜中长时间读取刻度,直至双眼疲惫。文明的传承,往往并非依靠某种豪迈的宣言得以实现,而是依靠把看似枯燥的重复工作,当作一份责任持续完成下去。正是因为人们愿意把这些看似平凡的工作做到准确无误,理性的传统才得以长久延续。

July 5, 2026

《数学的故事》第九章: 道路与尺度——罗马帝国的数学

“数学,如果正确看待,不仅拥有真理,也拥有至高的美。” —— 罗素(Bertrand Russell) 罗马城本身建在台伯河边七座小山上,城里街道狭窄拥挤,引水渠从几十公里外的山地把水送进城,供几十万人饮用、沐浴、洗涤。城外,笔直的官道向四面八方延伸,每隔一段距离立着里程碑,标明到罗马还有多远;道路两旁是屯田的老兵、收税的官吏、押送粮草的车队。帝国的日常运转,靠的是这些具体而琐碎的工作:登记户籍,核算赋税,丈量分配给退伍士兵的土地,核对军团每月需要的粮草数量。罗马人不太谈论"世界的本原",他们更关心:这条路够不够直,这条水渠的坡度够不够精确,这个月该收多少税。 阿基米德死在叙拉古城破的那一年,希腊数学并没有随之沉没,它更像一支失去旗舰的船队:帆还挂着,桅还立着,只是风向变了。后人常提起那个流传已久的场景:老人伏在沙地上画圆,说"不要碰我的圆",士兵不懂这句话的意义,用靴子踢散了圆弧。传说的细节是否完全属实并不重要,重要的是它把两种文明的气质对照在同一幅图景里:一边执拗地相信"理由",一边坚定地相信"秩序"。 罗马并不排斥数学。罗马人敬重测量与计算,就像敬重道路与军团,他们需要边界,需要税册,需要工程,需要时间表,也愿意从希腊延请教师,让子弟学习几何、天文与逻辑。但罗马的公共生活很少像希腊城邦那样,把证明本身当作一种值得炫耀的荣耀。城邦时代的数学近似广场上的辩论:每一步都要摆出来接受质疑,才能站得住脚。而帝国时代的生活更接近行政管理:它依靠既定的规程运转,而不是靠持续的公开辩论;它并不排斥聪明才智,却也不鼓励无休止的争执。于是数学开始悄然转向——从公开的论辩场退回课堂,从课堂退回书房,又从书房退到抄写桌与校勘本之间。这并非熄灭,而是转变为一种更持久、也更沉默的延续方式。 从阿基米德的时代往后追溯,数学先走进了工坊,随后被搬上屋顶用于观测天象,再落入用于批量计算的表格室,接着被推向抄写室校勘流传,最终又回到讲堂被反复讲授。这几处场所之间的转移并非彼此孤立,而是层层相接、顺理成章的过程。 一、从广场到工坊:海伦与被落地的几何 在亚历山大城的作坊里,木屑、铜屑、绳索与刻度尺是日常所见之物。工匠把绳子拉直、在地面划出直线,学徒把尺寸记在蜡板上,有人把一段圆弧切割成能装入器械的零件。这里没有学园门前那种带有训诫意味的箴言,只有一种更为朴素的标准:能不能做成,能不能重复,能不能少出差错。海伦(Heron)正是在这样的环境中展开写作。他把几何从祭坛式的崇高地位中取出,安放到工作台上:测量术、机械装置、几何计算,被他写得如同说明书一般清楚、实用。此前的希腊人常把几何视为一处安全的领域,因为它在变化无常的世界里,能给出不变的必然结论;海伦则展示出另一种理解:可靠性未必只来自理念的高处,也可以来自操作本身的稳定。这种语言,帝国听得懂——道路要铺直,水渠要合理过坡,成本要核算清楚,误差要控制在允许的范围之内。数学在他手中变得更接近工程,少了一些神圣的意味,多了一些可以直接执行的实用性。 二、屋顶上的天空:梅涅劳斯与球面的必要 不过,“可执行"这一标准一旦确立,很快就会遇到一个更为苛刻的对象:天空。地面上的误差尚可容忍,天空却极少给出这样的余地——桥墩可以略有倾斜,但星辰不会因人的疏忽而改变位置。帝国的疆域越广,越需要统一的时间标准;商路越长,越依赖准确的方向与历法;宗教生活越是精细,越需要精确的节律。于是,同一套绳尺与刻度,从工坊被抬上了屋顶,专门的观测台随之出现。 夜间的观测者需要记录星体的角度与出现的时刻,而这项工作很快暴露出一个问题:平面几何在这里已不够用,因为天体的运行轨迹存在于球面之上,若强行将其压缩到平面纸张中处理,便会不断产生误差。梅涅劳斯(Menelaus)正是在这种现实压力之下展开研究。他研究球面几何,并非出于某种抽象的崇高追求,而是被现实的需求所推动:天文测量需要它,航向的推算需要它,历法的修正同样需要它。球面三角学的系统整理,由此在他手中逐渐成形——这已不再是城邦式的精神竞技,而是帝国运转所必需的一项技术。值得一提的是,这类著作后来往往依靠东方语言的译本得以保存,这一事实,某种程度上预示了希腊数学此后的命运:它将在另一种语言中延续。 三、表格室与草稿纸:托勒密与丢番图 观测本身并不能长久停留在单纯记录的阶段。观测数据一旦持续积累,问题便从"理解天体之间的关系"转变为"如何进行大规模、可重复的计算”。不能每次都重新推导证明,而需要一套可以复制的流程——让不同城市的官员、不同背景的学生,甚至语言习惯各异的助手,都能依照相同的步骤,得出相同的结果。数学的重心,也因此从观测台逐渐转移到了负责整理数据的表格室。 托勒密(Ptolemy)在这一阶段的贡献,与其说是某位孤立的天才,不如说更接近一座持续运转的计算工厂:模型的建立、数据的记录、表格的编制、换算、复算与校正,构成了他工作的主体。表格这种形式本身,带有一种颇为现代的气质:它意味着标准化,而标准化则意味着数学第一次具备了近似"工业化"的能力——不再只依赖个别天才头脑中的推演,而可以由经过训练的人员批量执行。夜间的观测数据经过整理汇入表格,表格进一步用于编制历法,历法又影响着城市的节庆与日常运作,而节庆的实际情况,又会反过来检验表格本身是否可靠。数学在这里不再表现为广场上激动人心的宣言,而更像制度运转中不可或缺的齿轮:平日几乎不会引人注意,但一旦缺失,整套体系便会随之失序。 而表格一旦形成,一个更为基础、却也决定其命运的问题便随之出现:它需要被反复复制。复制一旦成为日常性的需求,数学便从"高处的思想成果",转变为"纸面上持续进行的劳动"。 与此同时,在同一座城市里,另一类文本也在悄然展开:不再关注星象与经纬,而是专注于一行行的关系式——某个数与另一个数相加等于多少,某个量与另一个量之间该如何取得平衡。撰写这类内容的人,不再仰望天空,而专注于"未知"本身。他们并不急于建立某种宏大的理论体系,而是致力于把一个具体问题转化为可解的形式:先设定一个未知量,再设定另一个,把多余的部分移走,把不足的部分补齐,使原本混乱的条件逐步收束为一个可以直接计算得出的答案。丢番图(Diophantus)正是这一方向的代表人物。 托勒密与丢番图之间的联系,并非表面上"从天文学跳跃到代数学"那样割裂,而是同一种时代气质在不同领域中的两种表达:一个借助表格,把天文计算转变为可以公开使用的工具;另一个借助明确的求解步骤,把代数问题的处理方式,转变为一种可以被训练和传授的技艺。表格与草稿,都是把理性转化为可复制劳动的具体方式。数学一旦开始依赖这类工具,便不可避免地需要被抄写、被校勘、被纳入课堂教学的体系之中——无论是天文用的弦表,还是求解问题的草稿,一旦需要传播,都必须先在纸面上稳定地留存下来。 四、抄写室与讲堂:从版本的守护到传统的传承 在抄写与校勘的过程中,帕普斯(Pappus)的工作显得格外重要。他所撰写的《汇编》,如同把散落各处的古典遗产逐一收拢入库:几何学的线索,力学研究的片段,前人已有的成果,课堂讲授的讲义——这些内容若不及时整理归拢,很容易在流传中散失,最终碎裂为无法辨识的片段。人们常常习惯把"创造"想象为灵感突现的时刻,但文明真正脆弱之处,往往在于材料本身的散佚——一旦材料消失,后人甚至无从得知曾经存在过怎样的成就。帕普斯的贡献,正在于使这些濒临散失的材料重新成为可供阅读的文本,让古典数学的整体轮廓在后世依然清晰可辨。这一类工作,虽不如"发现"那样引人瞩目,却类似于绘制地图——地图本身并不激动人心,却决定着后来者能否顺利出发。 材料得以保存之后,下一个现实的问题,是如何使这些成果能够被持续传授。西昂(Theon)正是这一"教材化"过程中的代表人物:他编订欧几里得的著作,使《几何原本》更适合课堂讲授;他整理并注释托勒密的天文材料,使原本复杂的计算步骤更易于被学习和训练。这一编订与教材化的过程,具有双重效果:一方面,可能磨去了原著中某些较为锋利、艰深的部分;另一方面,也使这些经典著作获得了更长久的生命力。一部只适合极少数天才阅读的著作,往往容易随时间流逝而失传;而一部适合教师讲授、学生学习的著作,则更有可能延续数个世纪。西昂的工作,在学术史的叙述中常被低估,但从文明传承的角度看,其分量不容忽视:他使数学具备了"可教的形式",而可教,往往意味着可以持续传承下去。 希帕提娅(Hypatia)登场时,亚历山大城的学术环境已经趋于紧张。当时讲堂依然存在,但周围的政治与宗教局势日益复杂。关于她具体注释过哪些文本,现存的证据并不完整,但她与丢番图、阿波罗尼乌斯、托勒密等人的著作及课堂传统之间存在密切联系,这一点较为可信。她所代表的,与其说是"最后一位天才",不如说是"处于风口浪尖的讲堂"这一象征:她持续讲授数学,持续校勘文本,努力在日益收窄的空间中维系理性的传承。她的遭遇常被描述为"古典精神的终结",但更准确的理解或许是:公共空间不再安全,学术共同体逐渐收缩,数学此后越来越依赖于文本本身在有限范围内的延续。 在这种趋于收缩的环境中,历史意识本身也变得愈发珍贵:必须清楚自己所保存的是什么、承接的是哪一条学术脉络,否则保存工作便容易沦为盲目的堆积,课堂教学也容易退化为机械的背诵。普罗克洛斯(Proclus)在这一背景下,显得尤为关键:他为欧几里得《几何原本》第一卷撰写注释,并在其中系统回顾了几何学发展的谱系,留下了著名的几何学史概述。此前尤德穆斯(Eudemus)所撰写的《几何学史》原书已经散佚,后人之所以仍能了解其大致内容,很大程度上正是依靠普罗克洛斯等人在注释中留下的摘要与转述。在创造性成果相对减少的年代,记忆本身的保存变得愈发昂贵,而承担这份代价的,往往正是这些注释者。 从海伦把数学落实于具体操作,到梅涅劳斯把数学推向天空,再到托勒密把天文计算整理为制度化的表格,丢番图把代数求解写成程序化的路径;从帕普斯把散落的传统收拢入库,到西昂把这些材料转化为课堂教材,再到希帕提娅在动荡的局势中守护讲堂,最后由普罗克洛斯为这一传统写下可以追溯的历史脉络——这些人物之间的联系,并非人为拼凑而成,而是自然形成的一条文明链条。 五、尾声:修道院书架与不曾断绝的地下水脉 罗马帝国晚期的这段历史,最终延伸到了更为遥远、也更为冷清的场所:修道院的书架。在此后的欧洲中世纪,宗教典籍占据了绝大部分的篇幅,理性的探讨也常常处于权威之下。但"被权威压制"与"彻底消失"并不是一回事:矿脉即便被覆盖,依然是矿脉;地下水即便被土层遮蔽,只要没有被彻底截断,仍会在地下持续流动。手抄本的持续传抄,正是在这个意义上发挥了关键作用:它把希腊数学从广场上口头传播的辉煌时代,转化为书架上随时可以重新启用的知识储备。后人不必重新发明欧几里得的几何体系,只需要重新翻开这部著作;不必重新构建托勒密式的计算工厂,只需要重新抄录他的成果;也不必凭空创造丢番图式的求解程序,只需要认真学习既有的方法。文艺复兴之所以能够重新被点燃,很大程度上并非因为欧洲在此期间突然变得更加聪明,而是因为它终于重新接续上了这条一直在地下流动的水脉——而这条水脉之所以未曾断绝,正是因为在罗马与晚期古代的那几百年里,有一群人默默完成了最不引人瞩目、却也最为关键的工作:把数学装订成可以携带、可以复制、可以讲授的具体形态。 阿基米德所代表的,是希腊数学把证明与计算共同推向高峰的时代。罗马之后,数学史上的主角悄然更换了身份:从发现者,转变为教师、编者、注释者与抄写员。他们不再持续拓展知识的边界,却有效阻止了既有的边界从历史记录中彻底消失;他们不再建造新的知识神殿,而是把旧有的神殿拆解为一块块可以搬运、可以重新组装的石料。当后来的时代需要重新建立这座殿堂时,正是这些看似平凡的石料——那些经过校订的版本、那些讲义、那些注释与抄本——重新启动了整套机器。

July 4, 2026

《数学的故事》第八章: 叙拉古的赤子——阿基米德与撬动世界的支点

“我没有时间了。” —— 伽罗瓦(Évariste Galois) 公元前三世纪的叙拉古,是地中海最耀眼也最危险的一处所在:它的富足如同高举的灯火,照得很远,也招来风暴。多数人忙于计算粮价与盟约的得失,而在城中一角,一位老人常常蹲在沙地上,专注地演算着与眼前局势看似毫不相干的图形。他的名字是阿基米德,数学史上最重要的人物之一。后来人们才逐渐意识到,他画下的不只是圆,而是人类理解自然的第一道边界。 一、港口与沙地:一座富城的预感,一个"不合时宜"的人 叙拉古的繁华从来不是温和的,它更像一束高举的火把:照亮自己,也把自己暴露在风暴之中。这座西西里岛上的城市,是地中海贸易网络中极为关键的一环:码头边缆绳与石桩不断摩擦,是贸易运转的声响,也隐隐透出一种不安。空气里混杂着海味、香料,以及一种只有在富庶而又充满风险的城市里才会出现的紧张感。 在城市的高处,神庙的石柱一排排静立,遥望着远方的海平面——那边,迦太基与罗马的势力如同两块磨盘,随时可能把叙拉古这座地处中间的城市碾碎。这里的富足本身就是一种引人瞩目的存在,自信的背后,是市民对潜在围城的集体预感:港口谈论航线的水手,与街市里计算粮价的商人,构成了同一种紧张气氛的两面;剧场里的华丽装饰,与城墙上新近修补的痕迹并存。繁荣如同涂在刀刃上的金漆,光鲜之下,仍是冷硬的铁。 正是在这样一座全民关注局势的城市里,在挤满商人与水手的街巷之中,阿基米德常常蹲在街角的沙地上,一边画图,一边低声演算着旁人难以理解的内容。据后世记载,他专注的程度极高,以至于对周遭的喧闹几乎毫无察觉。他关心的是圆里的弦、点与点之间悄然形成的秩序——如同这座城市的命运一样,表面纷乱,背后却或许存在一条不易察觉的规律。 后世常用许多响亮的称号来描述他,将他塑造成一尊威严的雕像。但更准确地说,他更接近一位专注而近乎苛刻的工匠:尺寸必须精确,逻辑必须严密,误差必须被逼到无可遁形。阿基米德出身并不寒微,据传他的父亲是一位天文学家。在这样的家庭氛围中长大,一个孩子很早便会体会到:天体的运行并非随意,而是沿着轨道稳定前进,仿佛受到某种无形规则的约束。 这种早年的体悟,日后成为他持续追问的起点:既然星辰服从轨道,那么地上的水、木头、船、铁、光,是否同样服从某种隐秘的规律?如果确实存在这样的规律,它是否也能够被推演、被验证、被画在沙地上? 二、亚历山大里亚:在卷轴与工坊之间,探寻规律 为了寻找这个问题的答案,年轻的阿基米德离开了叙拉古,前往亚历山大里亚——那是当时地中海世界知识最为集中的城市。图书馆藏有数以万计的卷轴,学者往来讨论,从天体运行到复杂的曲线问题,无所不包。这里的氛围与叙拉古截然不同:没有海边的咸涩,更多的是墨水与纸卷所特有的气息,一种为思考而存在的环境。 在这里,阿基米德深入研读了欧几里得所建立的严密推理传统——每一步都必须依据前提,稍有松动便可能导致整个论证的崩塌。但他并不满足于仅仅在纸面上进行推演,也常常留意港口与工坊中的实际操作:木匠如何把直木压弯成船的肋骨,农夫如何把水从低处引向高处,齿轮之间如何咬合、传递并放大力量。这些在当时常被视为"下等手艺"的实践,在他看来,却蕴含着值得深究的规律。 据传,他曾在尼罗河边观察农夫提水的过程:绳索反复摩擦手掌,肩膀承受着沉重的负担,水却依旧只能被缓慢地一点点提升。面对这一情形,阿基米德设计出一种装置:将螺旋状的叶片嵌入圆筒之中,通过转动使水沿着螺旋上升,从而大大减轻了人力的负担。这项发明后来被称为"阿基米德螺旋",它体现出他对实用问题的关注:真理不必只存在于理论的讨论之中,也可以直接作用于田间劳作,减轻具体的辛劳。 此后,阿基米德返回了叙拉古。这既可以理解为学成之后的归来,也可以理解为受到城邦的召唤。叙拉古并不缺少聪明人,但缺少能够把才智转化为可靠秩序的人;不缺少勇士,但缺少能让勇士减少伤亡的人。当时在位的希伦二世,是一位务实的统治者,深知一座城市真正的力量,不仅取决于城墙与船队,也同样取决于能够精确计算世界的人才。 三、水与绳:世界开始作证,力量开始服从比例 回到故乡之后,阿基米德很快便被赋予了一项具体的任务。 国王的金冠是否掺入了银——这并非单纯的金匠欺诈案件,而牵涉到王室的信誉与整个城邦对秩序的信任。皇冠不能被拆解检验,一旦拆解,即便查明真相,也已损毁了这件象征王权的器物;但若不加验证,又等同于默许可能存在的欺骗。希伦要求阿基米德给出确切的结论,而不能仅凭猜测行事。 阿基米德没有立即作答,而是反复思索这一问题。相传,他在一次入浴时,注意到水随身体浸入而溢出,由此联想到一条具有普遍意义的规律:一个物体所占据的空间,必然会排开与之相等体积的介质。这一细节的具体情形已难以确证,但其中所蕴含的洞察却相当清晰:水的反应不因浸入其中的对象是国王还是金匠而有所不同,它只依据实际的体积作出响应。 基于这一原理,他设计出验证的方法:将与金冠等重的纯金,分别放入盛满水的容器中,比较两者所排出的水量。若金冠中掺入了密度更低的银,其体积必然大于同等重量的纯金,排开的水量也会相应增多。金匠的技艺或许足以在外观上以假乱真,却无法在这一验证方式面前蒙混过关。 这一事件所留下的,不仅是一项具体的判断方法,也代表着一种新的态度:世界可以被检验,不因身份地位而有所偏袒。这种精神,也正是后来被称为"科学"的探索方式所具备的基本特征——它往往正是从"必须查明真相"这样具体而现实的需求中生长出来的。 不过,这只是阿基米德探索的一部分,他真正长期关注的核心问题,是力学的基本原理。 叙拉古崇尚武力,士兵依赖体力,水手依赖风与船桨,工匠依赖锤与钉,而阿基米德则以更为冷静的方式看待这些现象:体力会疲惫,风向会改变,但某些数量关系却始终保持稳定。在他看来,力的作用近似于几何关系:涉及方向、距离与比例。距离增大,所需施加的力便可相应减小;支点位置合适,微小的力便足以撬动远超自身重量的物体。后世广为流传的那句"给我一个支点,我将撬动地球",正是这一原理的极端表达——它所强调的,并非真的要撬动地球本身,而是意在说明:只要承认比例关系的存在,许多看似不可能的事情便有了实现的可能。 国王随后要求他将这一原理付诸实践。当时港口停泊着一艘异常庞大的船只,由于自重过大,下水极为困难。希伦向阿基米德提出,既然他声称能够撬动地球,那么理应能够将这艘船移入海中。 阿基米德没有多加争辩,而是调集滑轮、绳索与木架,构建出一套复合的省力装置。整个过程并不华丽,木架上布满绳结,滑轮转动时发出摩擦的声响,但正是这种朴素的操作方式,体现出原理本身的力量。据记载,阿基米德本人仅凭一人之力,缓慢而稳定地拉动绳索,巨船随之逐渐移动,最终顺利滑入海中。围观的民众起初惊讶不已,随后爆发出赞叹。 这一事件的意义,不仅在于展示了一项具体的技巧,更在于它把"力"这一原本被视为体力劳动者所专属的领域,纳入了几何学可以推演的范畴之内。肌肉的力量会随时间衰退,但杠杆与滑轮所依据的比例关系,却不会因此改变。 四、沙与圆:无穷的门槛,曲线的驯服 在完成对巨大重物的操控之后,阿基米德把注意力转向了另一类更为抽象的问题——因为在他看来,能够移动重物固然重要,但能够使原本难以言说的对象变得可以言说、可以计算,才是更深层的成就。 叙拉古的海滩上布满细沙,数量极为庞大,以至于人们往往会本能地用"无法计数"来搪塞进一步的思考。在古代的许多文化中,“无穷"常常被赋予某种神圣的色彩,仿佛只有神明才配拥有对无穷的理解,人类不应试图触及。 阿基米德并不接受这种回避的态度。他撰写了一篇专门讨论"数沙"问题的文章,试图通过合理的数系扩展方法,估算出宇宙中所能容纳的沙粒数量。这项工作的意义,并不在于最终得出的具体数值,而在于其中所体现出的态度:只要逻辑体系足够严谨,语言与数系便能够扩展到足以描述极为庞大的对象,即便这个对象超出了日常经验的范围。 而他投入精力最为持久、也最具开创性的领域,是对曲线问题近乎执着的钻研。 圆形看似简单完美,但要精确测定它的周长与面积,却并不容易。阿基米德不满足于粗略的估计,而是反复采用多边形逼近的方法:在圆内作一个多边形,再在圆外作一个多边形,随后不断增加多边形的边数。每增加一次边数,内外两个多边形与圆周之间的误差便随之缩小。这一过程需要极大的耐心与持续的重复运算,缺乏突发的灵感式跳跃,却正是阿基米德所擅长、也愿意投入的方式。他相信,若世界确实存在某种秩序,这种秩序理应能够被逐步逼近,被限定在两个可以确定的边界之间。 他将同样的方法应用于抛物线一类更为复杂的曲线。具体做法是:把曲线所围成的区域拆分为若干个三角形,先切出一个较大的三角形,再在剩余部分中继续切出更小的三角形,如此反复。随着切分次数的增加,误差不断缩小,最终这些碎片所构成的总和,会呈现出稳定而清晰的比例关系。曲线所围成的面积,由此从难以把握的对象,转变为可以通过严格论证确定的具体数值。 从后世的角度回看,这种"用有限逼近无限,用拆分逼近连续"的方法,已经相当接近后来微积分的基本思路。虽然"微积分"这一名称与体系尚未成形,但其中蕴含的核心方法,已经在阿基米德的工作中初见端倪。 五、火与尘:战争的降临,文明的碎裂 然而,现实的局势最终仍然覆盖了几何学的宁静,一座城市的命运,从不因某个人的才智而停滞不前。 罗马的军队逼近了叙拉古。城中开始加强防御、储备粮食,紧张气氛日益加剧,先前那种对围城的隐隐预感,终于成为现实。此时的阿基米德已步入晚年,但城邦仍将他推上了守城的关键位置,希望借助他的才能抵御外敌。 据史料记载,阿基米德设计并参与建造了一系列防御装置:经过精确计算的投石器,能够根据距离调整射程;专门设计的起重装置,可以钩住靠近城墙的敌船,将其掀翻。罗马士兵在多次尝试进攻时,屡屡在某个特定距离或角度遭遇有效的反击,仿佛在与一套精密的计算体系对抗。后世流传他曾利用镜面聚焦阳光点燃敌船的说法,这一细节的真实性存在争议,但它反映出当时人们对其防御手段所感受到的震撼:这不再是单纯依靠人力与装备的对抗,而更像是知识本身第一次以武器的形式发挥作用。 据记载,罗马统帅马塞拉斯曾感叹,他们所面对的,是一位几何学家而非普通的守城者。这句话的真实程度已难以考证,但它准确地反映出一个事实:知识一旦被应用于对抗,其威力足以令依赖蛮力的一方感到不安。 尽管如此,围城最终仍以叙拉古的陷落告终。公元前212年,城池被攻破,秩序在混乱中崩解。 阿基米德在城破后的混乱中遇难。据后世记载,当罗马士兵闯入他所在的院落时,他正专注于地面上的几何图形的推演,未能及时察觉周围局势的变化。士兵不明白眼前这位老人为何在危急关头仍执着于沙地上的图形,最终将他杀害。据传,阿基米德临终前留下的话是"请不要破坏我的图形”,这句话此后被反复提及,成为象征知识与秩序在暴力面前脆弱却坚定的写照。 据记载,罗马统帅马塞拉斯得知阿基米德的死讯后深感惋惜,下令寻找并安葬其遗体。后世另有传说称,阿基米德生前曾表示,希望墓碑上只刻一个球体内切于圆柱的图形,而不必附加其他赞颂之辞——因为球的体积恰好是外接圆柱体积的三分之二,这一比例关系,对他而言,比任何华丽的悼词都更能体现他一生的追求:不依赖他人的信服,只依靠自身的严谨即可成立。 阿基米德真正留下的遗产,并不仅仅是一项项具体的成果,更是一种研究世界的态度:世界是可以被理解的,理解的过程依靠持续的追问与严格的证明,而非单纯的信服或崇拜。他一生所展现的,并非天才灵感的偶然闪现,而是持续不断地把各种现实中的疑难问题,转化为可以被验证的规律:水位可以作证,绳索的力学关系可以作证,沙粒的数量可以被合理估算,曲线的面积可以被严格推导,甚至在战争的压力之下,这些原理依然能够发挥实际作用。 尾声 叙拉古城破之后,局势逐渐平复,港口也重新恢复了往日的运转。罗马人虽然接管了这座城市,却未必真正理解阿基米德所代表的思想遗产。他生前留下的院落与图形早已不复存在,但他的研究成果,却通过后世的抄写与翻译,得以流传下来,成为数学史上极为重要的组成部分。 他留下的著作数量不多,却分量厚重:《论平面之平衡》为"力"这一概念提供了可以系统讨论的理论基础;《论浮体》使水的浮力现象,从单纯的经验判断,转变为可以严格推演的原理;《圆的度量》与《抛物线求积》则针对曲线这类此前难以精确处理的对象,给出了严谨的计算方法;《数沙者》则展示出一种应对"极大"这一概念的理性态度,而非简单诉诸"无法计数"这样的搪塞。至于他最为珍视的球与圆柱体积之比,则如同一句极为简洁的总结:一个人一生所能留下的成果,或许并不在于外在的赞誉,而在于一条无需借助他人认同、仅凭自身逻辑便能成立的规律。 正因这些著作的内容较为艰深,在后世的流传过程中,它们有时被更为流行的著作所掩盖,甚至一度散佚。但数学史的发展表明,这些成果最终仍然得到了后人的重新发现与高度评价。 关于阿基米德的一些流传甚广的故事——例如利用镜子点燃敌船——其历史真实性存在争议,更接近后世对其智慧的一种象征性表达。这类传说的广泛流传,往往并非因为其细节完全准确,而是因为它们相对准确地传达出了某种历史精神:当几何学的原理被应用于现实的防御之中,单纯依靠力量的一方,第一次真切地感受到知识所带来的威胁。 阿基米德的重要性,并不在于他掌握了某种超乎常人的能力,而在于他始终坚持一种朴素而坚定的态度:不满足于停留在表面的经验判断,不接受含糊的估计冒充确切的结论,也不以"无穷"作为回避进一步思考的借口。他把抽象的推理与具体的实践紧密结合:一端是严谨的证明,另一端是切实可用的装置;一端是曲线所围成的面积,另一端是船坞中被成功移动的巨船。更重要的是,他向后世展示了一种朴素的诚实:世界并不会因为人们对它心怀敬畏而变得容易理解,但它确实会因为人们持续地探究而变得可以被把握与运用。 叙拉古城破之时,阿基米德留下的那句话之所以被后世反复提起,正是因为它并非一位老人对沙地图形的单纯执念,而是象征着一种文明在动荡中对秩序的最后坚守。城墙可以倒塌,政权可以更替,手稿也可能散佚或被覆写,但只要仍有人愿意俯身在地面上画出一条线,并追问它为何必然如此,阿基米德所代表的探索精神,便不会真正消亡。

July 4, 2026

《数学的故事》第七章: 欧几里德——几何宪法雏形的缔造者

“通往几何学,没有王者之路。” —— 欧几里德(Euclid) 如果把数学想象成一座城市,那么几何就是这座城里最早修起来的"主干道":一条线把人从混沌带到秩序,从直觉带到证明。而在这条路上,最像立法者的人,不是拿着尺规在沙地上画圈的工匠,而是那个把"为什么必须这样"写成条文、把"你要先同意这些"写成序言的人——欧几里得。 他并不以传奇的冒险闻名,相反,他的形象像法律条文一样朴素:生平资料稀少,画像多半来自后人的想象;真正让他穿越两千多年、仍然在课堂里"开口说话"的,是一本书:《几何原本》。它不像史诗那样有英雄,也不像神话那样有怪兽,只有定义、公理、命题和证明——但正是这份冷静,成为文明史里最耐用的火种之一。 一、先给几何一个舞台:人类为什么要画直线 在欧几里得之前,几何早已在各地被广泛使用。洪水退去,土地边界模糊,人们要重新丈量;高塔要立起来,墙角要成直角;星象要记录,影子要量长短。几何最初像一把工具:好用就行,不必解释为什么好用。于是很多知识以口耳相传的诀窍存在——“这样做,结果就对”。 但工具有一个明显的局限:它能把人带到目的地,却很少说明"这条路为什么不会塌"。测量一次成功,不等于永远成功;画出的直角看起来像直角,不等于它真的是直角。人类文明一旦进入更复杂的社会形态——房屋更高,航海更远,交易更细密——单靠经验层面的"差不多"就开始暴露问题。几何因此需要一次升级:从"会做"升级到"会证明"。 这次升级发生在希腊的思想传统里:人们不仅追问"怎么做",还追问"凭什么"。他们愿意为了一个结论辩论许久,也愿意为了一个词的定义反复推敲。几何由此从土地丈量的手艺,转变为思想的训练;从"师傅带徒弟的秘诀",转变为"任何人都能检验的公开规则"。 二、亚历山大城的静室:一位沉默的教师 亚历山大城建在尼罗河三角洲的西端,是亚历山大大帝去世前不久才下令兴建的新城,规划得整整齐齐:宽阔笔直的街道呈棋盘状分布,港口能同时停泊数百艘商船,港口入口处立着一座高达百米的灯塔,夜里点火,为往来的船只指路。城中最重要的建筑,是附属于王室的图书馆与研究机构,学者可以在那里领取俸禄、专心治学,馆藏的卷轴数以万计,需要专人负责抄写、分类与保管。这座城市没有悠久的历史包袱,却因为聚集了整个地中海世界的知识与人才,很快成为当时最重要的学术中心之一。 欧几里得大约生活在公元前三世纪,活动中心一般认为在亚历山大港——这是一座把地中海的海风、东方的商队和希腊的辩论传统交织在一起的城市,有着规模宏大的图书馆传说,也有统治者希望借知识彰显帝国声望的雄心。 关于他的出身与师承,史料记载并不可靠。后世常把他与柏拉图学派联系在一起,这一说法未必确有其事,却与他的写作气质相当吻合:欧几里得的表达方式,如同把理性本身训练成一支纪律严明的队伍——每一步都站在固定的位置上,遵循同一套规则运行。他的语言也颇为克制:不煽情,不抒怀,不诉苦,只是把读者一步步带过河去。 他很可能是一位教师。《几何原本》的结构近似一套精心编排的课程:先是最基本的概念与规则,再是能够立即上手的命题,随后难度逐步提升、内容逐渐展开,最后触及更为宏大的结论。这种由地基通向穹顶的耐心,近似于建造一座神殿,也近似于起草一部宪法:先确立基本原则,再补充细则与判例,最后使整个体系闭合起来,自成一体,独立运转。 三、尺规之舞:几何不是"画图",而是"允许你画什么" 阅读《几何原本》,会发现它带有一种仪式感:许多证明并不是在纸上"算"出来的,而是在心中"作图"完成的。这与当时的数学风格密切相关——几何依靠尺规完成:直尺只能画直线,圆规只能画圆。这两件简单的工具,构成了一个相当严苛的世界观:只能进行被允许的操作,不能取巧,也不能绕开规则。 因此,欧几里得并不急于说明"结果是什么",他更关心"凭什么能够得到这个结果"。当他说"两点之间可以连一条直线"时,这并非在描述肉眼所见的现象,而是在宣布一条"操作许可";当他说"线段可以无限延长"时,他并非在讨论现实中的木尺是否足够长,而是在确立一个理想化的舞台——在这个舞台上,某些事情被允许发生,从而使推理具有普遍的适用性。 这近似于棋类的规则:棋盘上的车马炮并不生活在现实世界之中,但规则一旦明确,便不能因一时的心情随意更改走法。几何同样如此:它建立起一个逻辑的舞台,舞台一旦搭建完成,此后的推演便必须严格按照既定的规则展开。 四、“宪法"的正文:定义、公理、命题与证明机器 《几何原本》开篇并不追求技巧上的炫示,而是先提出定义:点、线、面、角……如同为世界中的基本对象逐一贴上标签;再提出公设与公理——须先接受这些"显然如此"的前提,此后的推理才有路径可循。最著名的是五条公设,其中前四条相当朴素,接近日常经验:两点可作一条直线,线段可以延长,以任意一点为圆心、任意长度为半径可作一个圆,所有直角相等。直到第五条——平行公设——才显得有些特殊:它不像前四条那样"不言自明”,却像是拴住整部体系的一把钥匙。 此外还有"公理"(或称"共同概念"),诸如"等于同一个量的量彼此相等"“等量加等量,其和仍相等"“整体大于部分”——这些语句朴素得近似日常常识,但它们在书中所承担的角色却相当关键:它们是推理的底层逻辑,是证据链条得以衔接的粘合剂。欧几里得并未把常识当作装饰,而是把它当作条文来使用:这些语句并不华丽,却在关键之处决定着推理能否成立。 这套安排真正的精妙之处,不在于公设本身有多么神圣,而在于它揭示了一种建造方式:不是在堆砌一系列结论,而是在建造一种必然性。欧几里得把几何变成了一台证明机器:只要把公设作为输入,按照既定规则进行推理,就能得出命题;输出的命题,又可以成为新的输入,推动更远的结论继续展开。这是人类历史上第一次,把"可靠"这件事,做成了一条可以持续运转的流水线。 更重要的是,这种写法体现出一种新的气质:证明的目的,不是为了在辩论中取胜,而是为了让任何人——即便相隔千年、语言不通——都能重新推导出同一份必然性。不必认识作者,不必信任权威,只要承认前提,并沿着推理路径前进,便必须承认由此得出的结论。这是文明史上一种极为罕见的平等:在证明面前,君王与学生站在同一条起跑线上。 这台"机器"的运转方式,几乎在每一个命题中都遵循相似的节奏:先说明命题的内容,再展示作图的方法,随后论证结论为何成立,最后确认结论已被证明。这套节奏虽不华丽,却极为稳定。尤其在最初几卷里,欧几里得借助三角形训练读者的观察方式:先教什么是全等,教如何用两个角与一条边确定一块形状;再说明平行线如何产生相等的角;最后把这些基本结论逐一咬合起来,推出许多此前只能凭直觉相信的事实。许多初次接触这部著作的读者,都会在这里体会到一种新鲜的震动:原来"看起来正确"并不足够,只有"能够被推导出来”,才真正算数。 值得注意的是,欧几里得极少宣称自己"正在证明一个精彩的结论",而更接近一位法官,只陈述"依据这些前提,结论如下"。这种克制反而更具力量:它把数学从依赖个人才华的舞台,转移到了公共理性的法庭之上——不需要崇拜作者,只需要审查证据链条本身。 在当时的教学条件下,没有投影仪,也没有精美的教材插图,甚至纸张也相当昂贵。教师很可能只是在蜡板或沙地上画图,画完随即抹去,学生则需要在脑海中保留那条直线的角度、那段弧线的交点。证明因此不仅训练逻辑,也同时训练记忆与专注力:必须把图形完整地"握"在心里,不使它轻易溜走。《几何原本》也正因如此,常被称为最有效的"思维训练"之一:它说明,严谨并非冷漠,而是一种对自身、对读者、对真理的尊重——不依靠暗示让人接受,而是把每一步都摆在明处。 后世自然也对它提出过种种质疑:有些定义不如现代表述那样精确,有些前提被默默使用却未曾明确写出,有些"显然"其实依赖于图形本身带来的直觉判断。但这些质疑并非否定,而更接近一种继承:正因为这部"宪法"足够坚固,后人才愿意在它的条文旁不断补写注释、增补条款,甚至另立新的体系。任何一部能够被反复修订而不曾被遗忘的经典,都是仍在延续生命力的经典。 五、“没有王道”:一则冷峻的轶事 后世流传着一则轶事:托勒密一世曾询问欧几里得,学习几何是否有更快的捷径——毕竟身为君王,事务繁忙,最好能有一条"专用通道"。欧几里得答道:几何没有王道。 这句话之所以在教育史上留下深刻的印记,并非因为它带有讽刺权力的意味,而是因为它平静地道出了一个更普遍的事实:理解这件事,无法由身份代劳。可以雇人替自己打仗,也可以雇人替自己建城,却无法雇人替自己去理解。理解,必须亲自抵达。 君王期望获得一条捷径,正如期望用一道命令改变三角形内角和的数值一样,难以实现。几何不服从任何命令,它只服从逻辑本身。也正因为它不为任何权力所左右,才具备成为"宪法"的资格——它不是君王的诏令,而是理性自身的制度。 六、他的成就到底是什么:不是"发现",而是"整理成秩序" 有人或许会问:欧几里得究竟"创造"了多少全新的定理?在古希腊数学的传统中,许多成果早已在前人手中萌芽,甚至已经趋于成熟。欧几里得真正的贡献,更接近一位总编辑:他把散落各处的成果加以编排,统一表达的语言,补齐缺失的证明,修正其中的漏洞,使这些成果最终形成一套能够独立运转的体系。 这听起来接近"整理资料",但整理本身的价值不该被低估。文明的进步,往往不是因为突然出现了一个更聪明的头脑,而是因为有人把已有的智慧,转化为可以被传递下去的结构。欧几里得把几何从"高手的手感"转变为"任何肯下功夫的人都能够学习的制度"。他把知识转化为教材,把教材沉淀为传统,把传统凝结为文明的骨架。 《几何原本》共十三卷,如同一段逐步递进的阶梯:从平面几何的基础命题,到相似与比例,再到圆与面积的讨论;书中还把数论的部分内容,嵌入几何式的叙述之中——例如关于最大公约数的算法,以及"素数无穷"这一结论(其证明极为简短,却极为有力)。全书最后转向立体几何,讨论棱柱、棱锥、圆柱、圆锥等对象,并以正多面体的讨论作为收束——仿佛一部严谨的宪法,在结尾处也留出了一点审美的余地,使理性的成果同时具备了某种美感。 阅读时会发现一种颇为特别的克制:全书几乎不提具体应用,却处处都能被应用;它并不谈论"用途",但它本身便是一种用途——训练理性,锻造证明的能力,教会人如何从少数前提出发,走向大量的结论。 若要为它寻找一个现代的比喻,它更接近一套操作系统的内核:日常所见的,往往是建筑、机械、航海、测绘等种种应用层面的"界面",而支撑这些界面的那套"若A则B"的严谨逻辑,则大多可以追溯到欧几里得式的训练。 七、第五条公设的"阴影":一条线引出两千年的追问 平行公设之所以出名,是因为它不像其余公设那样浑然天成。许多数学家曾试图证明它,仿佛它理应能够从前四条公设中推导出来。结果,他们一次又一次地失败了。这样的失败并不丢人,反而如同一盏灯,照亮了一种此前未曾被认真考虑的可能性:也许第五条公设并非可以被证明的命题,而是一种可供选择的前提。 这一发现对数学的意义,近乎一场迟来的觉醒:人们原本以为几何所描述的,是"唯一确定的空间",后来才逐渐认识到,它描述的其实可能是一整类空间——一旦更改前提,所描述世界的性质便随之改变。两千年后,当人们终于开始认真探讨"如果第五条公设不成立,情况会如何"这一问题,非欧几里得几何随之诞生。彼时欧几里得早已不在人世,但他这种"宪法式"的写法,反而成了这场新变革的起点:正因为前提被表述得清晰明确,后人才知道究竟应该从哪里入手加以修改。一套良好的制度,不仅能维持秩序的运行,也能为日后的改革提供入口。 因此,欧几里得留给后世的,不仅是一套完整的几何体系,更是一种观念:真理呈现的样貌,取决于所选择的起点。几何在这个意义上,不再只是关于图形的学问,而演变为一种关于"可能世界"的思考方式。 八、一部书的漫长旅行:从羊皮纸到印刷机,从教室到星空 《几何原本》的传播史,本身就是一部文明交流史。它在古典时代被研习、被注释;在晚期古代由学者们悉心保存;在阿拉伯语世界得到翻译与进一步发展;又流传回拉丁语世界,成为欧洲教育的核心文本之一。一个命题从希腊语,经由阿拉伯语,再进入拉丁语,最终走进近代各国的母语教材——如同一粒种子,在不同的土壤中被反复播撒,却始终保持着核心的形状:证明的链条。 印刷术出现之后,这部著作几乎天然适合被大规模复制:条理清晰,结构稳定,读者群体也相当稳定。它常被称作历史上印数最多的著作之一(不同版本的统计口径存在差异,但它长盛不衰的地位是无可否认的):每一代教育体系都需要一套用于训练理性的范本,而它正好始终存在,如同一块早已被磨平的基石,随取随用。 在近代科学兴起的过程中,欧几里得式的表达方式逐渐成为一种理想范式:明确的定义,少数几条前提,严格的推导过程。笛卡尔把几何与代数相结合,开创了解析几何;牛顿在自然哲学的论述中,大量运用了几何式的推理;甚至一些哲学家在撰写伦理学与政治学著作时,也借鉴了欧几里得的体例——先定义,再列公理,再展开命题,仿佛只要把人类的行为纳入几何式的表达,道德便也能获得某种必然性。 当然,人类的行为终究没有因此变得如同三角形一样规整可循。但这种"仿照欧几里得的方式书写"的愿望本身,已经体现出文明对理性的一种敬意。 九、他在文明史里的位置:把"可靠"写成制度 说欧几里得是"几何的宪法",并非夸张的修辞。宪法的意义,不在于它写下了多少条款,而在于它确立了一套游戏规则:什么可以被接受,什么必须经过证明,争议应当如何裁决。《几何原本》所完成的,正是这样一件事:它把"我认为是这样",转变为"我能够证明是这样"。 这一转变对文明的影响相当深远。因为一旦习惯了以证明为标准,人们便会开始对许多事情提出类似的要求:法律是否能够自洽?制度能否推导出公平的结果?政治口号是否经得起逻辑的检验?现实世界当然远比几何复杂得多,但欧几里得提供了一个方向:至少可以努力把混乱的讨论,推向更为清晰的结构。或许无法达到"像定理一样确定"的程度,但至少可以朝着"像证明一样诚实"的方向靠近。 在教育史上,他的地位同样牢固。几何长期以来被视为"受过教育"的标志之一——这并不是因为它能带来立竿见影的实际收益,而是因为它训练出一种较为罕见的品格:把直觉放在证据之后,把冲动放在推理之后。即便仍会犯错,也能知道自己错在哪里;即便仍会争论,也愿意重新回到前提本身去审视。一个愿意承认"我需要证明"的人,往往也更愿意承认"我可能错了"。这是一种源于文明训练的谦逊。 欧几里得在教室里的形象,可能并不带有华丽的讲演,也未必依赖某种"天才的灵光一现",而更接近一位耐心的工匠:把每一个概念都打磨得方正,把每一层证明都稳稳垒起,直到它们足以支撑起更高的结构。学生也许会觉得进度太慢、内容太枯燥、要求太严格。但当他们日后在别处遭遇混乱——无论是在法律争端里,在工程事故里,还是在某种哲学困境里——大多会重新想起几何所教会的那条纪律:先明确定义,再提出假设,再展开推理。 这或许正是欧几里得最动人的地方:他不像英雄那样引人瞩目,却像一把尺子那样,能够陪伴人走过漫长的一生。英雄属于偶发的高光时刻,尺子属于日复一日的检验;英雄令人心潮澎湃,尺子则让人不至于走偏。 因此,当说起"欧几里得——几何的宪法"时,实际上是在说:文明之所以能够走得长远,不仅依靠激情与权力,更依靠一种看似冷静的力量——把思想写成可以反复验证的规则,把真理变成人人都能检验的道路。几何没有专属于君王的捷径,但它给了每一个人一条共同的大道:只要愿意走下去,终点便在那里,如同一条直线那样清晰可辨。

July 2, 2026

《数学的故事》第六章: 理性的城邦——古希腊数学的高峰与阴影

“万物皆数。” —— 毕达哥拉斯(Pythagoras) 在两河,数学写在泥板上:它像账本,冷静,能结算,能对质;在尼罗河,数学拉在绳子上:它像尺规,耐心,能丈量,能复原界线;在东方,数学刻在甲骨上:它像档案,坚硬,能编号,能追责。而到了古希腊,数学第一次被要求离开材料,进入人心——并且必须带着"理由"进入:像法律一样可传递、可检验、可争辩,交给任何陌生人,陌生人也不得不点头。 这不是"文明高下"的问题。两河与埃及的数学早已足够聪明,也足够有效,它们解决现实:分粮、定税、修渠、建塔。它们所欠缺的不是能力,而是一种氛围——一种把"理由"逼到台面上的公共氛围。古希腊恰好生活在这种氛围里:城邦的广场、法庭的辩论、议会的争执,让"凭什么"成为生活的日常。 数学在这里遇到了一种特殊的要求:不仅要做对,还要说清楚;不仅要让事情能运转,还要让反对者无话可说。于是,数学第一次像城邦的法律那样被写出来:先立几条谁也挑不出毛病的公理,再一条一条往下推,像搭石桥一样,把结论搭到对岸去。 正是这样的氛围,走出了欧几里得、阿波罗尼乌斯、阿基米德——三位把古代数学推向巅峰的人物:一个把几何整理成《几何原本》那样的"宪章",一个把圆锥曲线讲得像在描画天空的轨道,一个则用巧妙的方法去逼近曲线的面积、求出立体的体积。在他们的工作中,已能依稀听见后来微积分的脚步声:虽然还没有取到名字,却已经学会了"逼近",学会了把无限细的小片叠加起来,去换取一个确定的答案。 一、城邦的广场 爱琴海沿岸多山、少平原,土地贫瘠,种不出多少粮食,却拥有绵长的海岸线与众多天然良港。于是这里的城市大多靠海吃饭:造船、航运、贸易,把橄榄油和陶器运出去,把粮食和木材运回来。土地少,人就不能都困在一块地里种田,于是聚集到城里做买卖、做手艺、打官司、参加公民大会。城邦因此普遍不大——雅典城区步行一两个时辰就能走穿——却异常拥挤和多话:市场、法庭、议事厅挤在一起,人人低头不见抬头见,昨天在市场上吵过架的两个人,今天可能在公民大会上又碰见。这样的地方,任何说法都很难只讲一次就算数,总有人会追问一句"凭什么"。 古希腊的数学,一头连接着两河与古埃及。爱琴海的船帆如同织布机的梭子,把货物、习惯、度量衡、星象经验,甚至异国的算法,一并织进了希腊人的日常。年轻的希腊人若到访埃及,会看到"拉绳者"在尼罗河退水后的土地上把田界重新拉直,用一条绳子、一根木桩、一套熟练的手势,把争执化解为清晰的线段;若在港口停留,也会听到东方来客谈论角度、历法与各种复杂的折算方法——即便读不懂泥板上的楔形符号,也能感受到那是一种支撑国家运转的行政语言。希腊人从这些传统中至少继承了两样东西:技术与信心。技术是具体的方法,信心则是更深层的心理前提——世界是可以被稳定处理的:土地能丈量,时间能切分,交易能记录,数量能复核。然而希腊面临的困境在于:这套从东方继承的方法,一旦被搬到城邦的广场上,就立刻显得不够用了。 公元前六世纪的希腊城市,并不像帝国那样依靠命令来运转,它更接近一个持续开放的公共空间:广场、法庭、议会、港口、酒馆,人人都能发表意见,也人人都准备质疑对方的意见。一句"我觉得",往往立刻招来一句"你凭什么";搬出祖先的权威,也会被反问"祖先也会有错";诉诸个人经验,同样可能被冷淡地指出"经验只在你熟悉的范围内有效"。在这样的环境里,知识有一种特殊的命运:它不能只"能用",还必须"能辩护"。这正是"证明"这一概念的社会出身:它不是书斋里的奢侈品,而是公共辩论场里必要的自我保护方式。 于是,一个朴素却影响深远的变化在希腊出现:数学第一次被要求写进人的头脑里,并且要写得像法律一样——可以公开宣读,可以逐条检验,可以让反对者无从反驳。希腊人把数学从工匠的手感中抽离出来,搬到了公共理性的桌面上。从此,数学不再只是一堆"能算对"的技巧,而开始成为一种"必须如此"的语言。 这条路,常常从泰勒斯的名字开始讲起。关于泰勒斯的记载,后世流传着不少故事:测量金字塔的影子,在海上依靠星象辨别方向,甚至预言过一次日食。这些细节的真实程度,史家多有存疑,但传说所指向的方向相当一致:他不只是"会做"某件事的人,还被后世描绘成"能说明"为什么这样做的人。据说曾有人在沙地上画线,凭经验判断"大致是这样",而泰勒斯却追问"为什么一定是这样"。他把几何从测量经验中抽离出一种理由感,让"方法"第一次带有了"必然"的意味。 泰勒斯只是这段历史的开端,紧接着登场的,是更为激烈、也更引人注目的毕达哥拉斯学派。这一学派活跃于意大利南部的克罗托内,其团体生活带有浓厚的宗教色彩,同时又对数字抱有近乎狂热的信念。他们相信,数不仅能用来算账,更是构成宇宙的骨架:音乐的和谐可以归结为比例关系,星辰的运行遵循固定的规律,甚至灵魂的净化也被认为与数有关。数学在这里不再只是一种工具,而更接近一种通向秩序的仪式。据说这一学派的学园门口刻着一句话:“不会几何者不得入内。“这句话如同一道门槛:要进入这里,须先学会在必然性面前收敛自我,不依靠情绪,不依靠权威,也不依靠"我觉得”。 这种态度非常希腊,也非常城邦。法律之所以必要,不是因为人类天生喜爱规则,而是因为人类天生容易争执。法律要求证据、程序、可审查的理由;证明同样要求前提、推理、可回溯的链条。二者做的是同一件事:把真相从个人魅力与权势手中夺回来,固定为一种可以重复验证的形式。但一旦如此认真地对待逻辑,随之而来的坏消息也不会缺席。证明不仅能保护结论,也能暴露破绽——它不仅能把真理钉牢,也能把裂缝钉牢。毕达哥拉斯学派最不愿面对的裂缝,正是无理数。 设想一个极为简单的图形:边长为一的正方形。它的对角线长度是确定的,甚至可以用尺去比对,但当人们试图把这个长度写成两个整数之比时,它却拒绝服从。真正令人为难的,不是"暂时算不出”,而是"永远不能这样表示"。证明越是严密,这个"不可能"的结论也就越坚固,像一枚钉子,深深钉进了"数即和谐"的信仰之中。 后世流传"发现者被扔进海里"的故事,其细节大概率属于后人渲染,而非确切的历史记载,但作为一则心理寓言,它相当精准:当数学被视为宇宙和谐的圣典,裂缝出现时,人们本能地会感到恐惧——因为这意味着,世界中确实存在某些真实的量,拒绝被最信赖的表达方式所收编。数学从这一刻起,不再只带来确定性,也开始迫使人们承认它的边界。 希腊人的应对方式,恰恰体现了他们的过人之处:他们既没有退回到"算得差不多就行"的做法,也没有用神秘主义把裂缝掩盖过去,而是选择把裂缝公开,再想办法在裂缝上架起桥梁。几何在这个阶段成为一处相对安全的处理方式:可以严格证明某种关系成立,却不必立刻将其写成令人不安的具体数值。借助比例与关系的语言,不可公度的量得以被安置,严谨性得以延续,而不至于因"表达失败"而崩溃。 有人把无理数称作数学史上的第一次危机,但这其实只是第一道阴影,更深的阴影来自"无限"。当人们仍在为无理数感到不安时,另一位冷静的思想者登场:芝诺。 芝诺的悖论初听起来近似于修辞游戏:阿基里斯追不上乌龟,飞行中的箭其实处于静止——乍看像是辩论场上的诡辩。但若认真对待,就会发现他在逼迫人们承认一件事:一旦把推理当作制度,就迟早要面对无限的问题,不能再用"差不多"蒙混过去,因为"必须如此"这一标准已经被自己确立为荣耀。 空间若可以无限地二分下去,运动又如何完成?每一步之前似乎总还剩下一半的路程需要走完,“到达"这件事究竟如何发生?芝诺并非要否定运动的存在,而是在迫使理性偿还它自己欠下的债:既然主张每一步推理都要经得起辩护,那么无限本身,同样需要被合理地解释清楚。希腊数学由此明白:严谨并非没有代价,它要求人们回答自己提出的问题。 二、裂缝上的桥 架起这座桥的人,是欧多克索斯。他不像泰勒斯那样被传奇所笼罩,也不像毕达哥拉斯学派那样带有宗教色彩,而更像一位专注于结构加固的工程师,在裂缝之上稳步施工。他的贡献很难用一句浪漫的话来概括,却可以用较为冷静的方式描述:他建立了比例理论,使不可公度的量也能被严格地比较;他发展了穷竭法,使"无限逼近"从一种直觉,转变为可以控制的论证程序。 在欧多克索斯这里,希腊数学完成了一次相当关键的转向:严格不再意味着"必须写出一个完美的数”,而意味着"每一步都可以被追溯"。可以无限地逼近某个对象,却不能跳过任何一步;可以不写出确切的终点,却必须证明这个终点被限定在某个可以确定的范围之内。面对连续的世界,未必能够完全把握它,却可以将它夹在两端之间;未必能够把它彻底说清,却可以证明它无法逃出某个既定的界限。 这看似是一种技术上的细节,实则体现出一种文明气质:两河与埃及在面对不完美时,常常选择更实用的折中方案;而希腊面对不完美时,倾向于建立更严格的制度。宁可缓慢,宁可绕远,宁可付出更长的推理链条,也要换取一种不依赖个人权威的确定性。 欧多克索斯的桥架好之后,希腊数学才真正进入成熟阶段:不再依靠信仰来支撑,而依靠制度本身的自洽。也正是在这一阶段,数学与哲学的关系变得更加紧密:哲学不再只是为数学提供激情,数学也不再只是为哲学提供例证,二者开始相互塑造。 在雅典,学园门口那句"不会几何者不得入内"广为流传,柏拉图把数学抬升到灵魂训练的高度。身处政治动荡、修辞胜过事实的时代,他渴望一种不被多数人意见与言辞技巧所污染的真理。几何的必然性像一盏冷静的灯:结论不依靠权威成立,只依靠推理成立。数学因此成为进入更高层次讨论的门槛:若不能习惯于必然性,便难以谈论更高层面的正义与秩序。 柏拉图对数学的热忱,某种意义上带有一种精神避难的色彩:他见过城邦如何被舆论的浪潮左右,也见过语言如何在法庭与议会中压倒事实。他对数学的推崇,正是相信至少在这个领域,真理不依靠口才取胜,而依靠结构取胜。数学在他心目中,成了他所向往的那种能够抵御群体情绪的秩序的象征。 紧接着登场的亚里士多德,则像一位把过高的热度适当降温的人。他并不反对数学,只是划定得更为精确:数学之所以能够如此严格,正是因为它主动舍弃了大量现实中的细节。点没有厚度,线没有宽度,这并非对自然界的直接描述,而是抽象所必须付出的代价。数学的确定性值得敬重,但不应被滥用到一切对象上——自然世界充满生成与变化,伦理与政治领域更不可能像几何定理那样具有必然性。成熟的理性,并不是把某一种方法推广到所有对象,而是懂得不同的对象,配得上不同程度的严格性。 这种划定边界的意识,反而在客观上保护了数学:使数学免于陷入"解释一切"的幻觉,也使数学得以在自己的疆域之内,把严格性推向极致。此后相当长的一段时间里,数学之所以能够与自然科学、与哲学长期共存,依靠的正是这种自知之明——清楚自己能够保证什么,也清楚自己不能保证什么。 至此,希腊数学已经具备了近似"现代"的骨架:经历过一次坏消息(无理数),承认过无限所带来的阴影(芝诺),用制度驯服了连续性的难题(欧多克索斯),并在哲学层面的推崇与降温之间,获得了清晰的边界意识(柏拉图与亚里士多德)。接下来,它将经历一次历史性的迁移:从城邦的广场与学园,搬进一个更为广阔的世界。这次迁移,几乎总要联系到一个年轻人的雄心——亚历山大。 三、港口、图书馆与一座"可复制的数学" 亚里士多德讲授逻辑与自然哲学,他的学生亚历山大却更专注于地图与行军路线,这本身便颇具讽刺意味:哲学家的课堂原本意在教人节制,结果却培养出一位把世界视为棋盘的统治者。亚历山大所征服的,当然并非数学本身,但他的征服活动,无意间改变了数学的生存方式。他打通了各处航路,重组了城市之间的网络,使语言、货物与制度得以在更大的尺度上流动。城邦时代那种依靠公开争论来维系的公共理性,由此进入了帝国式的尺度:更稳定的行政体系,更雄厚也更持续的资助,更为密集的文化交流。 数学也由此找到了一个新的落脚点:亚历山大里亚。 这座城市如同一处新建的港口:海风、盐味、船帆、异乡的口音交织其间。码头上卸下的不只是谷物与香料,还有卷轴、星图、仪器、算法与各种悬而未决的问题。它并不以传统为傲——因为它太过年轻,尚不具备这样的资本,而是以"汇聚"为傲:把散落在世界各处的智慧与技艺聚拢起来,如同把散沙聚成堤坝。 图书馆与缪斯神庙(学术机构)在这一背景下应运而生。它们的意义不在于浪漫,而在于制度:学者可以领取俸禄、专职从事研究;卷轴可以被系统地收藏、抄写、校勘、注释;一项结论不必只在口耳相传中流转,而可以写成文本,被陌生人反复研读,被后人审视,被异地的学者继续推进。 城邦时代的证明,更像一件辩论中的武器;亚历山大时代的证明,则逐渐接近一份图书馆的目录——使知识得以归档、检索、复用。在这样的氛围中,欧几里得的登场显得格外自然。《几何原本》可以理解为一份极为严格的整理成果:定义、公设、命题、证明,层层递进。它不像口号,更像档案;不像天才的独白,更像一份建筑施工的规范。它完成了一件影响深远的事情:把数学写成了一种可以复制的工作流程。 首先是定义:要谈论某一对象,须先明确规定它是什么。定义并非修辞,而是边界,是允许进入讨论的对象清单。其次是公设:愿意无条件接受哪些前提?这更接近一种契约——先就若干起点达成共识,再展开推理。最后是推理规则与命题序列:每一步都可以回溯,不能依靠跳跃或暗示。 阅读《几何原本》,如同跟随一位态度冷静的引导者拾级而上:他从不允许一次跨越两级台阶,也从不接受"差不多"这样的说法。但正是这种严格,让知识第一次真正实现了跨越个体的传递:不必认识作者,也不必信任作者,只要沿着既定的结构前进,就能抵达同一个结论。任何陌生人,只要愿意投入足够的耐心,也能沿着同一条路径抵达同一处终点。 这正是现代数学最接近"制度"的地方:它不依靠某一代人的聪明才智来维系,而依靠一种可以复制的写法不断累积。两河与埃及的数学,常常依附于职业训练与传统手感;欧几里得则把数学写成了一套文本逻辑——从此,数学不再只属于某个特定的圈子,而开始属于任何愿意接受推理纪律的人。 亚历山大里亚的数学,并不止于整理旧有的知识,它同时也扩展了数学的疆域。当一座港口城市拥有跨区域的行政体系、稳定的度量与税制,人们便自然会提出更宏大的问题:这片土地究竟有多大?某颗星辰究竟位于何处?航线该如何校准?历法该如何保持可靠?地图该如何做到精准?数学在这一时期开始明显地向更广阔的现实世界延伸。 于是,一种新的人物形象随之出现:更接近"职业化的学者工匠"。他们的工作不再局限于广场上的辩论,也不再依赖学派内部的秘传,而是长期投入于文本与推理之中:校勘、推导、扩展、写作、教学,以及彼此之间的相互检验。发现不再像早期传说中那样依靠"灵光一现",而更接近在大量整理与讨论之后逐渐形成的"可发表成果"。 埃拉托色尼测算地球周长的方法,是这一时期极具代表性的例证:两座城市,两根竖立的标杆,两片长度不同的影子,一段已知的距离。正午的阳光直射塞恩的井底,几乎不留影子;而在亚历山大里亚,标杆的影子却出现了轻微的偏斜。这一细微的偏差,在旁人眼中或许只是寻常现象,在埃拉托色尼看来,却是地球呈弧形的重要线索。借助一个角度、一段比例,他把地球的尺度,从神话的描述之中,转化为一个可以计算的具体对象。真正值得关注的,并非最终结果与实际数值有多接近,而在于他敢于尝试这样一件事:用有限的观测数据与严格的推理,去把握一个极其庞大的对象。这正体现出希腊化时代的一种自信:数学不再只处理田亩与图形,也开始尝试处理地球本身。 与此同时,几何语言也变得更为精密。阿波罗尼乌斯把圆锥截线整理成了一套系统的理论:椭圆、抛物线、双曲线,分别被定义、被推导、被安放到相应的位置。后世会用这些概念描述行星轨道、炮弹轨迹与光学反射,但在希腊化时代,它们首先是一种"形"的秩序:先把语言本身打磨得足够清楚,等待世界日后来加以借用。希腊数学最擅长的特质,在这里体现得相当充分:不急于追问"有什么用",而先把"它究竟是什么"说清楚;不急于追逐具体结果,而先把语言打磨得精准。 而其中最不容忽视的名字,是阿基米德。他并不总是活动在亚历山大里亚的长廊里,更多时候,他生活在叙拉古的海风与战争阴影之下,但他与那个知识共同体共享着同一套方法:沿用欧几里得的表达格式,继承欧多克索斯的穷竭思想,却把它推进到近乎极限的精度与耐心。他像一位立于建筑边缘的人:一只脚踩在证明的冷静之中,另一只脚踏向现实世界的粗糙。他用几何方法逼近面积与体积,把"无限逼近"转化为一种可以操作到极精细程度的工具;他用杠杆与浮力原理,把数学延伸到物理世界之中,却依然坚持论证的纪律。希腊数学在他的工作中,既显得精细如刀刃,又展现出杠杆一般的力量——这使得希腊化时代的数学,不再只是"纯粹证明的传说",也成为描述与征服现实世界的有力工具,同时始终坚守一个底线:不让知识依赖于个人的魅力,不让方法沦为秘而不宣的技艺,而要能够被复核、被传承、被不断积累。 若把视野进一步拓展,还会看到希腊化时代的另一层变化:数学开始真正意义上走向"共同体化"。学者之间有前辈留下的文本可供引用,有同行可以相互指正,有机构提供资助,有学生接续传授。数学不再仅仅是个人天才的偶然闪光,而逐渐成为一项长期工程所依赖的持续积累。它变得更为冷静,更为稳固,也更接近一种基础设施——如同港口、灯塔与图书馆那样,看似并不引人注目,却决定着航路能否持续通行。 当然,制度化也伴随着相应的代价。当数学进入机构、进入俸禄体系、进入可以归档的格式之后,它会更倾向于产出可以积累、可以传授、可以复制的成果;一些过于个人化、过于随性的表达方式会因此受到抑制,一些难以被制度化的灵感,也可能因此显得孤立。知识由此获得了持久性,但同时也失去了一部分自由发挥的空间。这是希腊化时代所留下的阴影之一:以稳定换取延续,以格式化换取传承。 希腊数学道路上的另一重阴影,则来自它自身的成功:希腊人把"严格"与"几何式的严格"绑定得过于紧密。面对无理数与连续性的难题,几何提供了一处相对安全的处理方式;于是希腊数学在"形"与"证明"这一领域取得了辉煌成就,却在更为轻便的符号化表达与大规模算法运用上,相对保守。这种"偏科"在当时未必构成缺陷,因为它恰好化解了希腊数学内部最为尖锐的危机,但也使得后来的数学,在面对更为复杂的计算需求时,不得不等待另一条传统的加入:更为轻便的数制,更强大的算法符号,最终在更晚的历史阶段,与希腊的证明骨架相互汇合,才逐渐生长出后世所熟悉的近代数学面貌。 若要追问:为什么说希腊数学真正构成了现代数学的起点?答案不应仅仅停留在一串名字或一批定理上,真正的答案在于一种"写法",一种"制度化的可靠性"。 两河与埃及提供了数学发展的现实压力与技术传统:记账、丈量、工程、天文计算,它们如同坚固的木梁,支撑着文明的日常运转。希腊继承了这些梁木,却把它们改写成了拱:定义、公设、证明、体系、方法——使结构本身具备自我支撑的能力,使结论不再依赖作者的权威,而依赖一条公开、可核验的推理链条。亚历山大之后,这座"拱"又被迁入港口与图书馆之中,获得了共同体与文本基础设施的支撑:校勘、注释、抄写、教学——知识不再只属于某一个城邦内部的争论,而逐渐成为可以远距离传输的公共财产。 可以说,希腊真正做到的关键之事,并不在于"更聪明",而在于"更可复核、更可传递、更可累积"。它把数学从一门"手艺",转变为一种"制度";从一个"结果",转变为一条"链条";从依赖"师徒关系",转变为一份"陌生人之间的契约"。而当认识到这一点,也就自然能够看清下一章的必然走向:数学的命运,不仅取决于天才的出现,也取决于卷轴能否留存。证明或许可以是永恒的,但承载它的载体会被焚毁;真理或许是稳定的,但维系它的制度会走向崩解。希腊为数学建立起了坚实的骨架,但这副骨架要穿越漫长的历史,仍需要血肉与运输的支持:抄写员的手,译者的笔,图书馆的柜架,城市所提供的俸禄与耐心。 希腊把数学写成了一座建筑,亚历山大把这座建筑搬进了港口与图书馆。接下来,这段历史将变得更为冷峻:这座建筑能否在战火、迁徙与语言更替之中存续下去?卷轴是否还会被抄写?概念是否还会被翻译?格式是否还会被继承?从这里开始,数学史便不再只是一部定理史,也将成为一部迁徙史。 在回顾希腊数学时,人们往往容易沉迷于那些闪耀的定理本身。但真正让这些定理得以穿越千年、持续影响世界的,是那些支撑它们延续下去的载体:图书馆、抄写员、译者、注释者,以及不断迭代演进的符号体系。数学最为脆弱的部分,从来不是推理本身,而是它所依赖的载体。 推理或许是永恒的,但承载它的材料会燃烧;真理或许是稳定的,但维系它的制度会走向崩溃。希腊数学之所以重要,正在于它发明了一副足以自我支撑的骨架,这副骨架在文明一次次的断裂与迁徙中,始终能够保持核心结构不至溃散。 从城邦的广场到亚历山大的港口,从罗马的积尘到巴格达的重生,希腊数学的历程,是一场关于理性的漫长跋涉。它说明了这样一个事实:知识的存续,不仅依靠天才偶然的灵光,更依靠制度长久的耐心。今天在计算机前书写代码,用精密的数学模型预测天气或探索深空之时,其实都在延续着那群希腊人所开创的传统——依然在使用他们发明的"证明"来确保结论的可靠,依然在使用他们所划定的"公理"来建立共识。这种跨越两千余年而不曾中断的连贯性,正是人类文明中值得珍视的成就之一。而阿基米德在沙地上画下的那个圆,并未因那把罗马士兵的短剑而中断,它只是在更广阔的时间与空间里,继续延伸下去。

July 1, 2026

《数学的故事》第五章: 骨甲上的东方气质——在火光里诞生的十进制清醒

“割之弥细,所失弥少;割之又割,以至于不可割,则与圆合体而无所失矣。” —— 刘徽(Liu Hui) 黄河流经的中原地区,土地由黄土淤积而成,肥沃却也容易被河水冲刷改道,历史上黄河多次决口、改道,给沿岸的聚落带来反复的重建压力。商周时期的都邑大多建在河流附近的台地上,城内有宫室、宗庙与作坊,城外则是农田与村落。农业收成很大程度上依赖雨水与河水是否调和,一旦歉收,便直接关系到祭祀能否照常举行、赋役能否如期征收。占卜正是在这种对天时收成的不确定中变得重要——它关乎的不仅是信仰,也关乎实际的生产与治理决策。 我们已经从古巴比伦的泥板和古埃及的纸草堆里走了过来:在那里,书吏在潮湿的河岸边,把世界写成软绵绵的泥条,或者把尼罗河的洪水折算成几根绳结。现在,目光转向遥远的东方:古代中国的商周时代。 如果说两河流域的泥板带着仓库的潮气,尼罗河畔的纸草带着阳光与泥沙,那么殷商的甲骨,则带着火的味道。那不是壁炉里家庭式的火,而是礼制的火——它把疑惧烤成裂纹,把裂纹烤成答案,把答案烤成可追溯的刻痕。 这里没有那么软的泥,也没有那么轻的纸,只有骨头——死去的龟的腹甲,或者牛的肩胛骨,质地坚硬而脆裂,不易更改。在这个神权弥漫、祭祀频繁的朝代,数学并不是用来做智力游戏的。它更像一位冷静的记录者,被引入了神灵的会议室,在决断之外,另外留下了一份账目。 一、裂纹旁边的序号:数学先把天意变成流程 在距今三千多年前的黄河平原上,占卜是王室生活中极为重要的仪式:龟甲或牛肩胛骨被烤热,占卜者用尖器轻轻一点,裂纹随即爬开。每一道裂纹都被视为天意落在地上的笔画——它关乎战争可否发动,雨水何时降临,王后能否生育,祖先是否满意。 这本应是神秘主义的极致:火、骨、裂纹、祖灵、天命。但仔细审视这些甲骨,会发现一个更为冷静、也更出人意料的细节——裂纹旁边往往刻着数字。不是诗句,不是祈祷,而是具体的数: “某日,占卜……吉/凶。” “征某方……获若干。” “祭某祖……用牲若干。” “今年收成……多少。” 神秘的仪式笼罩在上层,数字却硬邦邦地钉在下层。这正是东方早期文明的一种特有气质:可以敬畏天命,却从不放弃记账。在甲骨文里,数字呈现出一种极简且直接的美感:一、二、三是几条干净的刻划;十、百、千则用独立符号来承担重量。它们不像图画那样"讲故事",也不像装饰那样"取悦眼睛",而更接近军令,接近仓库门上的刻痕——一眼可读,读不懂便会出事。 这种十进制的布局,体现出一种务实而近乎严苛的管理智慧。十根手指人人都有,但把"十"明确写成一个符号,把"百"“千"明确写成独立的等级单位,这并非与生俱来的能力,而是长期训练与制度积累的结果。它意味着一种组织意识的形成:不再只关心"有多少”,而开始关心"按什么单位统计",关心"如何把数量嵌进既定的制度"。祭祀需要制度化,征战需要制度化,贡赋需要制度化,甚至祖先的意愿也被纳入一套可操作的流程。当一个王朝把"祖先"作为政治的后台时,就必须把"祭品"作为财务的前台——祭祀不只是纯粹的宗教活动,它同时也是一种财政支出、一种资源调度、一种对诸侯与部族施加控制的手段。要让人相信天命,就必须让人看见秩序;而秩序最可靠的表达方式,正是数字。 比"这些数字有多大"更值得追问的问题是:这些数字被安置在什么位置? 很多卜甲上,一块骨面并非只有一道裂纹,而是一排裂纹;并非一次占卜,而是同一件事被反复询问。殷商人对"天意"的态度并不轻信:他们并不指望祖先一次就把话说清楚,于是反复施灼、反复点验,直到得到相对确定的结果。 但反复询问带来了一个实际的问题:日后如何证明"这一道裂纹是第几次问出来的"?如何证明"那一道裂纹对应哪一句话"?为解决这一问题,商人对甲骨进行了编号。每一次施灼、每一次裂纹的出现,都由刻手在旁边刻下相应的序数——第一次刻"一",第二次刻"二",第三次刻"三"。这几笔极为简短,却起到了确立顺序、防止篡改的作用:占卜的具体内容可以争论,但顺序本身不容更改;吉凶的判断可以讨论,但必须先确认"第几卜"。 这体现出一种早期的、相当务实的数学精神:先把事情变成可排序的对象,再谈它意味着什么。从这一刻起,占卜不再只依赖"灵感",而被纳入了一套流程。流程一旦成立,占卜便可以交接、可以复查、可以追责:谁点的火,点了几次,先后顺序如何,后来是否验证、如何验证,都可以事后核对。 由此可见,数学在殷商第一次登场,既不是公式,也不是定理,而是编号——一条把仪式绑在证据链上的线索。它十分朴素,却让一个王朝的"神秘"开始具备可以核查的结构。 二、十进制的官僚美学——帝国的操作系统 接下来要谈的,是那些真正承担"重量"的数字。 甲骨文所使用的十进制,今天看来平淡无奇,因为人人都有十根手指。但在人类文明的早期,能够熟练运用十进制,并将其应用于国家管理,是一项相当关键的能力。 甲骨文的数字有一种质朴而实用的美:一二三是几道干净的刻划,接近军令的简洁;十、百、千、万则像台阶,把"多"从一团模糊之中抬举出来,分层、分档、便于处理。它的价值不在哲学层面,而体现在具体的操作中:在清点的人手上,在搬运的人手上,在分配的人手上。 祭祀前的准备,通常涉及大量清点与调度工作:牲畜要被点数、分配,并对应到具体的祖先与日期。某位祖先应配多少牲畜,某场典礼需要用去多少,某个时辰之前要备齐多少——这些问题看似缺乏诗意,却直接决定了典礼能否按时开始,赏赐能否兑现,贵族是否心服。在这类事务面前,十进制的优势相当明显:十为一档,便知该捆成一束;百为一档,便知该装成一车;千为一档,便知该调动多少人手与规划怎样的路线。 当数量被分档处理,调度便获得了效率;调度获得效率,仪式才不至陷入混乱。神意可以飘忽不定,但仓库的账目不能含糊;祖灵的意愿可以隐晦难测,但清单必须清楚明确。数字在裂纹旁边所扮演的角色,近似于一套约束机制:它不负责呈现神圣,而负责保证准时与准确。 战争之后的分配,同样依赖于这套逻辑。战利品从来不只是"天命的奖赏"这样简单的说法,它更接近一次规模庞大的再分配:俘获的人口、缴获的牲畜、夺来的器物,每一类都要折算成赏赐与徭役的具体份额。没有数字,就无法完成分配;没有合理的分配,军心便难以维系。 若赏赐仅凭主事者的一时兴致,今日厚此,明日薄彼,怨言便会逐渐积累。但若"某人得若干"被明确刻写成记录,形成可查验的凭据,这种潜在的怨气便会被一种更为坚实的东西压制住——不是依靠仁慈,而是依靠可追溯的记录。 这正是殷商数学的另一层作用:它并非致力于让世界变得更美,而是致力于让世界变得更稳。这种稳定,足以支撑扩张,足以支撑反复施行同样的流程,足以让一个王朝把相同的动作重复上千次而不至崩溃。 田猎在殷商也不只是贵族的消遣活动,它同时兼具训练、采集与展示等多重功能。猎获的数量既是功绩的体现,也是库存的组成部分:当日猎获多少,直接影响近期宴飨与赏赐的规模;赏赐的多少,又关系到对各部族与贵族的凝聚力。围猎的过程,实际上也是一次库存清单的现场生成:猎物被拖回,随即清点、分割、分派——数字在这里发挥着约束作用,把礼物经济纳入可操作的秩序之中。 农业与天气的记录也遵循同样的逻辑。问雨并非单纯的情感表达,而是一种排期活动:雨水何时到来,直接关系到播种、收割与仓储的安排。殷商对日期的记录相当严谨:干支纪日作为时间的刻度,被贴附在每一次占卜旁边,使"某日占、某日验"成为可能。这种做法所体现的,并非单纯的"相信",而是"记下—对照—再记下"这一循环。这是一种相当古老、却又颇具现代意味的做法:把不确定性纳入一套记录体系,使它至少可以被管理,而不只是被动地接受与敬畏。 十进制在殷商最神秘的仪式当中,因此完成了最不神秘的一项任务:把资源写成单位,把时间写成坐标,把责任写成可追问的句子。它使一个王朝敢于把事情做大、做密、做重复,而不至于在重复的过程中失去控制。 殷商的数学,第一次登场时并不耀眼:它不证明什么,也不解释什么,只是冷静地把"事情"按顺序钉牢——第几卜、用牲若干、获若干、祭若干。裂纹的解读可以被争辩,数字却很难被随意更改。这正是它的价值所在:把神意纳入证据链,把仪式转化为可以交接的流程。 真正更深一层的转变,发生在周代到来之后。当"记录"与"速度"的问题初步得到解决,文明便会随之提出更为苛刻的要求:如何标准化?如何推演? 商的世界,紧绷在火光与裂纹之间;周的世界,则铺展成一张更大的网络:分封、盟誓、征伐、朝聘、礼乐——复杂程度已不再是一次占卜所能压制的。仅有"记下"和"算快"已经不够,国家开始需要两种更为冷静、也更为长远的能力:一是把变局整理成可供讨论的框架,以便决断;二是把尺度嵌入制度,以便复制与验收。 于是,在周代的历史背景下,两部著作几乎必然地走上前台:一部记录"变化",即《周易》;一部记录"尺度",即《考工记》。 三、周易:把变化写成可以推演的结构 如果说甲骨像一面记录神意的"屏幕",《周易》则更接近一套"模型"。 它所处的语境,与殷商宫室的紧张气氛已有明显不同:不再依赖爆响与焦骨的气味来传达决断,取而代之的,是绳、竹、墨、简牍以及更缓慢的推演过程。那种"啪"的一声便决定吉凶的急迫感逐渐淡化,代之以一种更为持久的意图——不再只是记录神的回答,而是把"变化本身"整理成一种可以反复使用的语言。 《周易》最值得关注之处,不在于它的"神秘",而在于它的"节省"。 它以极少的基本元素——阴与阳、断与不断——搭建起一个庞大的分类框架。两种基本符号叠加成八卦,八卦再组合成六十四卦。与其急于把它理解为某种预言体系,不如把它视为一种古老的抽象方法:世界虽然千变万化,却不必逐一追踪每一处细节,而可以先把变化归入若干类别,将各种形态收纳进相应的框架之中。 这是一种颇具独立性的数学气质,与两河、埃及的传统并不相同。两河的数学近似账本与利息表,擅长精确的计算;埃及的数学近似丈量与分配,擅长充分的核算;而《周易》更像一套"态势推演"的系统:它关注的不是具体数值,而是"结构",是从此一状态到彼一状态的可能路径。 可以把六十四卦理解为一个庞大的"状态集合",把爻变理解为"状态转移"。它并不直接告诉人明天会下多少雨,却训练出一种能力:在不确定之中保持框架,在纷繁复杂之中保留推演的秩序感。 而这正是周人所需要的能力。周的世界远比商更为复杂:封建分封、诸侯往来、盟誓与背盟、战争与和亲、礼乐秩序与现实利益相互交织——它已不再是仅靠王室的一次火光占卜便能统一解释的世界。面对这种复杂局面,仅仅依靠"记录"已不足够,还必须学会"推演":什么时候宜进,什么时候宜退;什么时候该守,什么时候该变;一件事情"成"的条件有哪些,“败"的征兆又如何显现。 《周易》因此接近一部古老的"决策手册”,但它真正值得写入数学史的地方,并非其具体结论,而是其方法:以极少的符号表达极多的情境;用有限的组合覆盖无限的变局;用可反复使用的结构,去应对不可预测的现实。 这是一条较少被视为"数学"的路径,却确实体现出理性的追求:它把"变化"从情绪与神意中抽离出来,纳入一个可以讨论、可以传授、可以反复演练的框架之中。 商代的做法是把裂纹刻进档案;周代的做法,则是把变化刻进结构。二者虽然形式不同,却延续着同一种应对不确定性的努力。 四、考工记:把尺度写成制度——从手艺到标准 如果说《周易》处理的是"变",那么《考工记》处理的便是"尺"。 它的出现几乎有其必然性:当国家的运转不再只是祭祀与战争的循环,就会走向大规模的建设;当建设走向扩张,就会走向复制;而复制一旦出现,便会带来一个现实的问题——同样的车、同样的器、同样的城、同样的礼,凭什么保证它们彼此"相同"? 《考工记》常被后世归入《周礼》体系(其成书与整理的年代也历经了层层历史积累),但它所体现的精神相当清晰:把工艺从"师傅的个人经验"提升为"国家的统一规范",把匠人的手感转化为可以检验的尺度。 在周代的工坊里,匠人固然拥有各自的手艺,但在《考工记》所描述的体系中,个人手艺不再是唯一的依据,成品必须可以交接、可以验收、可以追责。于是"规、矩、绳、墨"不再只是工具,而成为一套制度性的语言:圆要合乎规所定的圆,方要合乎矩所定的方;线要依循绳所定的直,界要依循墨所定的分。 这使几何从"形状的直觉"转化为"检验的规则"。这并非希腊式追求证明的美学,而更接近一种官僚体系所看重的可执行之美——不必理解背后的原理,但尺寸必须准确无误。 更重要的是,《考工记》把"空间"本身标准化。关于营国、道路、坊市、门阙、宫室的安排,那种整齐划一的"格子感",是周代理性精神的另一种体现:国家不再只是一处不可复制的圣地,而是一套可以在不同地点重新建立的秩序模板。 当城市可以模板化,军需可以规格化,车舆可以部件化,礼器可以等级化,国家便获得了一种极为关键的能力:规模化生产与规模化治理。 这条发展路径同样具有独立性:它既不同于两河流域那种"用数字处理金融"的传统,也不同于埃及那种"用几何完成丈量"的传统,而更接近一门"制度工程学"——把尺度写进规则,把规则写进生产,把生产写进国家的运作体系之中。 《考工记》的真正意图,并不是让匠人更接近机器,而是让国家的运作更加稳固。当器物可以被标准化,权力才可以被复制;当复制可以被有效控制,扩张才不至于失控;当扩张不至于失控,一个王朝才有可能从"王室的火光"逐步走向"天下的日常运转"。 五、尾声:未来的回声——从刻痕到阵列,数字终于跑进日常 殷商把数字刻在裂纹旁边,是为了让神意不至过于游移;周代把世界写成结构与尺度,是为了让秩序不至过于松散。一个使责任可以追溯,一个使变化可以推演、使器物可以标准——商周的数学,并不以某个"闪耀的定理"取胜,而更像一副骨架:安静,却坚实。骨架一旦立稳,后世的发展,不过是在此基础上不断添加血肉。 由此,接下来的演变几乎有其必然性:随着档案日渐增厚、事务日渐繁密,“写得清楚"逐渐让位于"算得更快”。刻痕适合作为证据留存,却不便于频繁周转;制度适合作为规范存在,却仍需要具体的算法把它真正运转起来。数字由此从"写在材料上",逐渐走向"摆在桌面上"。 这正是算筹登场的意义所在——它把十进制从一种"写法",推进为一套"算法"。几根小筹以横竖交替的方式排列,各就其位:位置决定数值,进位与退位如同排布阵列一样清晰可见。无需反复写出"百千"这样的字样,只需将筹码摆出、移动、合并、拆分——数量第一次呈现为一种可以搬运的秩序,而不仅仅是一份可以保存的记录。 再往后,桌面上的这套阵列,逐渐被收进更为便携、也更为稳定的器具之中:珠子与档位替代了筹码的排列,手指的拨动替代了筹码的移动。算盘属于更晚的时代,并非商周的发明,却延续着商周这股"追求可靠"的传统:当规则与单位已经在文明中扎下根基,工具迟早会把这种根基转化为效率,把国家层面的计算能力推进到更为广阔的日常生活之中。 回望商周,会发现它们留下的最深层遗产,并不在于某一件具体的器具,而在于一种习惯:把混乱先纳入框架,把争执先钉入尺度,把含糊先排除在记录之外——使世界不那么容易被随意曲解。 然而,数学的故事并未在此停下。因为世界并不只有黄河平原与宗庙的火光。就在东方用编号锁住责任链条的同时,地中海的风也在吹拂。这股风吹过港口、吹过海峡、吹过岛屿,把货物、船队、消息与技术一并带向爱琴海。更重要的是,它把两河与埃及的数学——那些账簿式的技巧、丈量式的手艺——带入了一个全新的舞台:城邦。 城邦与王朝存在明显的不同:它没有那样稳定的档案链条,也没有那样统一的祭祀秩序,而更为公开,也更容易引发争论。在这样的环境中追求"可靠",仅靠记录已经不够,还必须让人认同其中的道理,必须在公开场合把"为什么这样计算"说清楚。于是,同样是从两河与埃及习得的计算方法,一旦落入希腊人手中,便发生了一次值得关注的转变:不再满足于"能够算出结果",而开始追问"为什么结果必然如此"。 这正是古希腊即将登场的意义所在:在东方,数学首先学会了让国家变得可控;在希腊,数学将进一步学会让理由本身站得住脚。 于是,目光从宗庙的火光移开,从骨面的刻痕上抬起,转向了地中海的海面。在下一章里,数学将从档案与制度的背景中走出来,站到广场上,站到学院里,站到辩论者与哲人之间,第一次以一种近乎坚定的方式宣告:不只需要答案,还需要证明。 当风把世界的目光引向爱琴海时,另一种更为苛刻的清醒也随之登场:在城邦的广场上,仅有框架与尺度已经不够,还需要当众把"为什么必然如此"说服所有在场的人。数学由此第一次,从一件工具,转变为一种论证。

June 30, 2026

《数学的故事》第四章: 尼罗河每年改写土地——古埃及的数学

“数学的力量,在于它能够忘记意义,只保留形式。” —— 外尔(Hermann Weyl) 历史有时并不靠王冠与史诗推进,它靠一把铁锹。 1799年的夏天,尼罗河三角洲闷热异常。拿破仑的士兵在修筑工事时,一人挥锹碰到硬物,起初以为是普通的建筑石料,挖出后才发现那是一块黑色石碑,边角磨损,表面却刻着密密麻麻的字——更值得注意的是,字并非一种,而是三种,分三段刻在同一块石头上。 后来,人们把它叫作罗塞塔石碑。再后来,象形文字被破译,埃及这个沉默几千年的国度重新开口。可它开口讲述的,并不是人们想象中的神秘咒语与天启预言,而是更接近账房和工头会关心的内容:粮食、地界、工期、税、分配、丈量。 从这些内容中可以看出:古埃及数学并不是从"好奇心"里长出来的,而是从"必须算清楚"这一需求中逼出来的。它不像希腊那样先问"为什么",而是先问"怎样才不会出错"。在尼罗河的国度里,数学最先是一种公共秩序的工具,一种能让争吵停下来的语言。 而要听清这种语言最初的回声,不必抬头看金字塔的尖顶,该先低头看洪水退去后的泥地。 一、尼罗河的橡皮擦:土地每年被改写,秩序就必须每年重写 从高处俯瞰,埃及像一条被河水拴住的国家:两边是无尽的沙,中间是一条窄窄的绿带,绿带上挤着村庄、田地、仓库、神庙与兵营。埃及人不只是"住在河边",更准确地说,他们是"住在河的节律里"。尼罗河一年一度泛滥,一面带来肥沃的淤泥,滋养着来年的收成;一面又如同不讲情面的记录者,把昨天的地界一并抹去。 河水漫上来时,农民无能为力,只能等待;河水退下去之后,麻烦才真正开始。因为退水后的土地柔软而肥沃,适合播种,地表却也随之变得模糊:田垄不见了,界碑淹没了,树桩的位置也变得可疑。前一天还清晰的地界,此刻只剩一片颜色相同的淤泥。 这种情形几乎每年重演:田埂之间的分界线一旦消失,邻里之间关于地界的争执便随之出现——这块地属于谁的父辈,那块地又该划归谁家,往往缺乏一个双方都认可的依据。争执的核心,通常并非这块土地本身有多重要,而是它牵动着一家人的口粮与赋税。 国家同样不能对此置之不理。法老的军队需要供给,神庙的祭司需要供奉,仓库需要收粮,工程需要征发劳役,这些事务都依赖一个确定的基础:每一块地有多大,归属于谁,应当缴纳多少。地界若不清楚,税收便无从核算;税收无从核算,国家的运转也就失去了依托。 于是,数学在埃及不只是一门学问,更接近一种法律;不只是出于兴趣,更接近一套制度。它最初的使命十分朴素:在尼罗河这块巨大的"橡皮擦"每年抹去一切之后,把秩序重新写回去。 承担这项工作的人,不是诗人,而是测量者。 他们进入湿润的泥地,手中没有复杂的仪器,只有一根打着等距绳结的绳子,以及木桩、尺杆与刻痕工具。几人协作,将绳子拉直,使每一个绳结精确落在泥面上,如同把一张看不见的网格铺设在混沌的地表之上。木桩钉入地面的动作很轻,但它所确立的意义不容小觑:从这一刻起,此处即为边界,不容再议。 在这类场景中,数学并不需要说服人,它只需要让人无法反驳。绳子一经拉直,争执的空间往往随之收窄;木桩一经落定,情绪也大多趋于平复。人们未必信任负责测量的官员,却在一定程度上信任一套可以重复验证的动作——前提是这套动作对所有人都一视同仁。 古埃及数学的第一种气质,正体现于此:朴素,却讲究规矩;不追求形式上的精致,只求能够裁决争端。 而"规矩"必须建立在统一的尺度之上。没有尺度,绳子上的结就只是装饰。肘尺由此登场。今天人们常把"肘尺"描述得颇具诗意,仿佛古人以手臂丈量世界是一种浪漫的做法。但实际上,肘尺的产生极为实用:以身体作为参照,人人都能大致理解其长度,这在文字与统一度量尚未普及的年代,是最容易推广的方案。不过,国家事务不能依赖"大概",工程建设不能依赖"大概",税收核算更不能依赖"大概"。于是肘尺逐渐从"手臂的感觉",转变为"国家的标准":刻度清晰的尺杆被制作、保存并应用于公共事务之中。尺度一旦固定,测量便不再依赖个人手感,而成为公共规则;公共规则一旦确立,数学的性质也随之从"个人是否擅长"转变为"国家是否能够依赖使用"。 若要追问:埃及数学为何没有像希腊那样热衷于证明?答案或许就藏在这片泥地里。埃及人更关心的是:这套方法能否让下一次退水后的土地依然算得清楚;能否让下一位书吏依然照做而不出错;能否让下一次争执依然能被绳子压平。 他们把数学当作一种能够抵御现实反复冲击的技术。现实每年都会重置,这种技术也就必须每年都能重新投入使用。 二、书吏的练习本:纸草书上的算术与"公平的麻烦" 如果说测量者在泥地上写数学,那么书吏在纸草上写数学。纸草的材质并不豪华,甚至相当脆弱,但它具有一种更为持久的力量:能让计算的步骤留存下来,能让这门手艺传递给下一代书吏。 在留存至今的埃及数学文献中,有一卷格外接近"训练用的练习册":它不是哲学著作,更像一本附带答案的题库。它后来被称作《莱茵德数学纸草书》,名字取自十九世纪的一位收藏者。与其把它想象成某种神秘的圣典,不如将其理解为一位老书吏留给学徒的工具书:一道题接着一道题,说明在现实事务中该如何计算、如何分配、如何核对。 它的表述方式极为直接,几乎不带"宏大理论"的姿态。文字往往不做解释,而更接近操作指令:“若要处理这类问题,应按以下方法进行。“问题紧接着解法,如同工匠把手艺整理成流程,唯恐遗漏任何一个步骤。它很少说明"为什么”,却透露出另一种更偏向行政与工程的自信:只要步骤可靠,知识便能够被传递下去;只要结果稳定,国家的运转便有了保障。 现代读者阅读这些文献时,最容易被一个习惯绊住:埃及人似乎极为排斥使用复杂分数。除去少数固定用法,他们更倾向于把分数拆解为一连串"单位分数”(即分子为一的分数)的组合。例如把两块面包分给五个人,今天通常直接写作"每人五分之二",而埃及书吏却更愿意表述为"每人三分之一,再加十五分之一"这类看似绕远路、甚至自寻麻烦的写法。 但若把这种做法放回真实的分配场景中,就能理解其中的用意。分配从来不是课堂上的演算,而是发生在人群之中的事务。人群最担心的,往往不是计算速度慢,而是怀疑分配者有所偏私。若直接切出"两份五分之二",在缺乏精确刻度、也没有统一标准刀具的年代,很容易引发"你那份更大、我这份更小"这类质疑,一旦怀疑产生,争执便会迅速蔓延。单位分数的价值,在于把复杂的比例拆解为人人都能理解、也人人都能看见的若干等份:每个人得到清楚的三分之一,再加上一小片清楚的十五分之一。每一份都便于比对、便于核实,也就更容易让分配的结果服众。 这并非出于计算上的简洁考虑,而是为了让"公平"这件事变得可见。古埃及数学在这一点上,呈现出一种朴素而周到的态度:它宁可在计算上多花些功夫,也要让分配的结果经得起检验。 再看埃及的乘法运算,可以发现同样的思路:追求的不是"最快",而是"可核对"。他们习惯用"加倍"的方式完成乘法:不断把一个数翻倍,并逐一记下对应结果,再把所需的那些倍数相加,即可得到乘积。对今天的读者而言,这种方法近似于把乘法拆解为一连串加法,显得效率不高;但对一个行政体系而言,这种方式却相当合适,因为每一步都留下清晰的记录,一旦出错,也容易追溯到具体环节。它更像一份可供审计的账目:不必依赖某个人的天赋,只需信任既定的流程。 将单位分数与加倍乘法这两种习惯放在一起来看,可以发现古埃及数学的核心,其实并不在于"技巧"本身,而在于对"社会心理"的回应。它关心的重点,并不只是能否算出结果,而是这个结果能否被他人接受、被他人核查,并且在人群的质疑面前依然站得住脚。 因此,埃及人的"代数",也带有同样的气质。纸草书中有不少问题,本质上是在求解未知量:某个数加上它的一部分,等于某个已知结果,求这个数。埃及书吏没有类似"x"这样的符号,而是把未知量称为"aha",意为一"堆"东西。求解时常常采用试探与比例调整的方法:先假设一个数值,观察由此得出的结果偏大还是偏小,再按比例进行修正,直至达到平衡——这一过程与用天平称重颇为相似:先放上一块砝码,偏轻就按比例增加,偏重就按比例减少,直到两端平衡。 这虽然不是今天所熟悉的形式化代数,却已经具备了代数最核心的精神:把未知量当作可操作的对象,并借助稳定的程序把它求解出来。在一个需要不断核算粮仓、调配劳役、计算工期的国家里,这种求解未知量的能力,并非单纯的智力游戏,而是治理能力不可或缺的一部分。 这类方法的传授,很大程度上依赖于经验的积累与代际之间的口传心授:抄写者需要照着范例反复练习,师傅在旁边逐字逐句地纠正,往往一步都不能省略,因为某个环节的疏漏,日后就可能在实际的分配或核算中引发争执甚至事故。埃及数学的传承方式,由此显现出它的特点:不主要依靠严密的论证,而更多依靠经验的积累;不侧重抽象的思辨,而更看重对过往差错的记忆——那些因计算失误而引发的争议、惩罚,甚至骚动,使"正确的步骤"具备了近乎生命线一般的重要性。 因此,当人们说"埃及数学包括算术、代数、几何"时,或许可以换用更贴近埃及人自身理解的说法:算术是分配的艺术,代数是核算的技巧,几何是丈量的规矩。三者共同服务于同一个目标:让国家在每一次洪水过后,依然能够像国家那样正常运转。 而在这张维系运转的网格之上,最宏大的一个结,系在金字塔上。 三、金字塔的坡度语言:当"角度"被翻译成"走几掌" 金字塔常被后人视为神秘的象征,仿佛每一块石头都藏着天文密码,每一道缝隙都通向星辰。但若还原真正的施工现场,首先要面对的,是尘土与汗水,是石块滚动的沉闷声响,是成千上万人协同劳作的节奏。神秘感可以留给后世去想象,但工程本身,必须由当时的人一步步解决。 把巨石一层层叠起,最需要防范的并非"外观是否美观",而是"是否会越叠越歪"。在数十米甚至更高的高度上,微小的偏差会被不断放大:底座若有一点偏移,越往上偏差就越明显;等到接近顶端,原本设计中通往永恒的阶梯,就可能变成一座濒临倾覆的建筑。 在没有三角函数、也没有现代测量仪器的条件下,如何控制斜面的角度,是这项工程必须解决的核心问题之一。埃及人的解决方式颇具特色:他们并不依赖抽象的角度概念,而是使用一套可以直接执行的"比例口令"。 埃及建筑师有一种描述斜坡的方法,后来常被称作seked。它的原理并不复杂:不问"这个角是多少度",只问"每上升一肘,水平方向要移动多少掌、多少指"。也就是用"横向移动的距离"来对应"纵向上升的高度",把倾斜角度转译为工人可以直接执行的动作。角度在这里被"翻译"成了施工语言:不必理解角度这一抽象概念,只要按照既定比例摆放石块,斜面便能保持一致。 这是一种朴素却极为有效的工程理性。它把抽象的几何关系转化为具体的操作动作,把可能出现的偏差提前锁定在规则之中——工地上传达的指令,往往不是"这里是五十二度",而是"上升一肘,向内收进这么多掌"。负责监工的人未必是数学家,但必须是规矩的严格执行者;石匠未必懂得几何证明,但必须能够保证动作的重复精度。金字塔之所以能在数千年的风沙中屹立不倒,很大程度上并非依靠某种神秘力量,而是依靠这种"可重复的严谨"——一种把误差视为敌人、把一致性当作依靠的施工纪律。 除此之外,金字塔的建造还涉及另一类几何问题:水平与直角的控制。底面需要保持方正,四边需要保持对称,每一层都需要尽量水平。水准线、垂线、对齐——这些概念在今天听来接近教科书用语,但在当时,却关系到工程的成败乃至施工者的安危。缺乏这类纪律,就不会有金字塔的存在,也不会有那种令人震撼的"国家形态"的展现。 在田地里,直角能够平息邻里间的争执;在工地上,直角能够避免结构性的坍塌。二者所处的规模不同,一个关乎一户人家的地界,一个关乎整个王权的长久展示,但它们对数学提出的要求却是相通的:结果必须可靠,方法必须可以重复,技艺必须能够交接给下一批施工者。 正是尼罗河与金字塔这两股力量,共同塑造了古埃及数学的形态:一股力量把它按在泥地里,要求它解决地界与税收的问题;另一股力量把它推向高处,要求它控制坡度与结构。一个文明若长期处于这两种压力之下,其数学必然趋于厚重、扎实,如同石头,如同规矩,如同官僚体系中始终存在的各类表格。 因此,“埃及数学缺乏证明"这一评价,很大程度上是站在希腊数学的立场上得出的。希腊人追求必然性,力图把"为什么"纳入逻辑体系;埃及人则追求可用性,致力于把"怎么做"整理成明确的流程。证明用于化解争论,流程用于推进工作。希腊人建造神殿,埃及人建造仓库与金字塔。神殿需要理念的光辉,仓库需要清楚的账目,金字塔需要不容出错的斜坡。这两种成就并不相互否定,它们只是分别生长在不同的现实需求之中。 尾声:绳子、纸草与石头——数学最早的尊严,是让生活继续下去 古埃及数学的故事讲到最后,会显得出奇地平静。因为它归根到底,不是一场"智力的胜利”,而是一种"秩序的维持"。 尼罗河年年泛滥,年年退去,年年抹去昨日的痕迹。埃及人无法阻止这一自然规律,正如后人无法阻止时间的流逝。他们所能做的,是在每一次退水之后,重新把秩序写回大地:用绳子写回直线,用尺杆写回尺度,用纸草写回步骤,用分配写回公平,用seked写回斜坡,用不断的重复写回一致性。 由此可见,古埃及数学最动人之处,并不在于它提前预示了多少后世的数学概念,而在于它把数学放置在一个最贴近现实、最贴近人群、也最容易引发冲突的场景之中:争执、分配、税收、劳役、工程。它没有余裕只为"思想的优美"而存在,而必须能够在泥泞中被使用,必须能够在烈日下被清楚地传达,必须能够在官员与农民都缺乏耐心的时刻,依然可以顺利执行。 可以把它理解为一种古老的承诺:数学的存在,并非为了让聪明人变得更聪明,而是为了让一群人能够共同生活下去。它使被冲毁的土地重新获得认领,使税额得以重新核定,使工期得以重新计算,使巨石得以一层层放置到应有的位置。它或许不轻盈,不浪漫,不像希腊几何那样带有理念的飞翔感,却拥有另一种更为古老的尊严:不出错。 后来,希腊人把数学带上了一个更高的舞台,把"证明"变成了这门学科的王冠,把"理念"变成了它所追求的王国。但在此之前,在尼罗河岸边,数学最先学会的是另一件事:在世界不断被抹去、又不断被重写的循环之中,如何借助一根绳子、一把尺、一卷纸草,把混乱稍稍抚平。 再回头看金字塔,它便不只是"神秘",也不只是"宏伟"。它更像一句用石头写成的语句,句子背后藏着同一套朴素的语法:比例、尺度、重复、可靠。这套语法并不张扬,它沉默地存在,却足以穿越漫长的时间。而这,或许正是数学最早的起点:它并非从天空降下的真理,而是从泥地里站立起来的规矩。

June 30, 2026

《数学的故事》第三章:底格里斯河畔的泥板——古巴比伦文明的数学

“再抽象的数学,也终将可能应用于现实世界。” —— 罗巴切夫斯基(Nikolai Lobachevsky) 两河之间的数学,从来不是写给哲学家的,而是写给仓库门口的。它不追问"真理是什么",只追问"账算清了吗":田界被洪水抹平就重新丈量,口粮要发就先查表,利息要滚就按步骤做。与其说它是一盏在书房里安静燃烧的灯,不如说它更像堤岸上的警灯,天天亮着,因为一灭就要出事。 所以巴比伦人的数学从一开始就带着泥水的气味:泥板是账本,芦苇笔是键盘,数表是制度的口袋本。它要求的不是灵光一现,而是同一个结果能被不同的人、在不同的日子里算出来;能被交接,能被复核,能被追责。一个城市能不能运转,往往取决于这些看似枯燥的"一致":一致的度量衡,一致的计算,一致的分配。 巴比伦文明的精髓,也就藏在这种冷静的野心里:他们把数字变成公共秩序,把计算变成公共能力——用学校训练、用表格缓存、用算法把思想压成可执行的流程。后来希腊人让数学学会证明,欧洲人让数学学会抽象;但在更早的年代,是巴比伦先让数学学会"上班"。而这一点,往往比任何华丽的理论都更接近文明的骨头。 一、生锈的钥匙:从峭壁到泥板的"翻译" 底格里斯河与幼发拉底河之间,是一片没有天然屏障、几乎完全靠河流供水的平原。这里几乎不下雨,庄稼全靠人工挖出的渠道引水灌溉;渠道需要经常清淤、加固,一旦某处溃决,下游的田地便可能颗粒无收。城市大多建在河边或渠道交汇处,彼此之间用运河和道路连接,粮食、羊毛、椰枣通过这些水道流通。神庙往往同时也是最大的地主与债权人,负责收储粮食、发放种子、记录借贷。生活在这片平原上的人,几乎每天都要和"这块地归谁"“这批粮食该分给谁"“欠了多少债"这类问题打交道。 如果我们在十九世纪的博物馆里随便走一圈,会发现一个很难堪的事实:决定文明走向的东西,往往长得一点也不体面。它不是金面具,不是青铜剑,不是带着神性的浮雕。它更可能是一块灰褐色的泥片,边缘缺了口,表面布满像钉子敲出来的划痕,质地脆弱,仿佛稍一用力就会碎裂。 可就是这些不起眼的泥片,让我们第一次清清楚楚地看见:在两河之间,数学并不是诞生在哲学家的书房里,而是诞生在书吏的膝盖上。 这段历史的重新发现,起点却在两河之外——在波斯的一面峭壁上。十九世纪,英国军官亨利·罗林森在那里发现了一处刻在悬崖高处的石刻铭文,后来被称作"贝希斯敦铭文”(Bisotun)。这是大流士一世为了让帝国的合法性永远不被遗忘,用多种语言把自己的功绩刻进山体的石壁,位置极高,且无法从地面直接抵达。 为了抄录这份铭文,罗林森必须借助绳索与木板,悬挂在崖壁间,把石刻上那些像钉子打出的划痕——楔形文字——一个一个记录下来。这项工作耗时漫长而艰苦:他从1835年开始攀爬抄录,直到1847年才把更完整、可靠的抄本送回欧洲。铭文以三种语言并列刻写,其中古波斯语部分相对容易入手,为破解另外两种更陌生的文字体系提供了关键的对照依据。 正是这种极为耗时的耐心工作,转动了被封锁几千年的大门。铭文被破译之后,人们才逐渐发现:那片曾被称为"两河流域"的泥滩,并不只是一座神话舞台,而更像一间巨大的、永不停歇的算账房——账本不是纸,而是泥;笔不是钢,而是芦苇;而"数学”,则像一门潮湿的手艺,紧贴着河水与税粮的呼吸。 从这一刻起,数学史里出现了一种新的证据:不是传说,不是口耳相传的"古人说",而是一块块写着具体数字、具体步骤、具体错误甚至具体涂改痕迹的泥板。它们不像英雄史诗那样铺陈叙事,而更接近会计的记录:冷静、重复、可复核。越是深入阅读这些泥板,越能看清文明在"交付"的压力下,如何一步步学会精准。 二、河流不温柔:为什么两河之间需要数学来"活下去" 在底格里斯河与幼发拉底河之间,河流并不温柔。它们的河道并不固定:今天在这里冲出沃土,明天就可能在另一处撕开堤岸。田界会被抹平,渠网会被冲断,口粮要重算,徭役要重排。要管理一座城,就必须先管理它的数字:谁欠谁多少,仓里还有多少,工人该领多少,运河要挖多少。 于是文明的第一批"算法",往往不是为了仰望星空,而是为了不在泥水里溺死。 书吏的训练由此变得格外严格。学徒需要跪坐在地上,用芦苇削出的笔尖,在湿润的泥板上一遍遍压出楔形的凹痕,反复练习计算方法。这项训练的目标很明确,不是理解某种"真理",而是杜绝错误:门外的仓库有人等着领粮,工地有人等着开工,税吏在等账目,监督官在等结果。若一名学徒不能熟练背出乘法表,就意味着他可能无法留在书吏的位置上,而要转去从事更繁重的体力劳动。 文明常被理解为从伟大的思想开始,但更常见的情形,是从"可交付的技能"开始。古巴比伦的数学,正是这样一门技能:带着汗味,带着泥味,更带着纪律的痕迹。 而它还牵动着一种"国家级的焦虑":两河的城市并非小农自给自足的田园聚落,而是大型合作工程的产物。运河、堤坝、仓储、神庙经济、借贷与利息、工役与配给——每一样都需要一致的度量衡与可核对的账目。契约一旦写进泥板,就近乎不可更改:一方无法轻易抵赖,算错了也无法用言辞蒙混过去。于是"算得清"在这里不是一种智力上的美德,而是一种生存伦理。 三、数表共和国:把计算变成公共能力,把公共能力变成秩序 古巴比伦数学最密集、最可辨认的一批泥板,大致来自公元前十九至十七世纪(约前1850—1650):城邦繁忙、行政细密、书吏学校兴盛。十九世纪以来的发掘与整理把这些泥板带到研究者的案头,学者们发现了一个颇具启发性的比例:现存可辨识的古巴比伦"纯数学内容"泥板大约三百块左右,而其中相当一部分不是"解题",而是"数表"。 乘法表、倒数表、平方表、立方表——这些东西在今天看来像学生练习册的附录,在当时却是数学的主体。 这一比例说明了一个重要的事实:古巴比伦的数学不是靠天才支撑的,而是靠训练支撑的。一个文明若要把计算能力变成公共能力,就必须把它从"少数聪明人的脑袋"里搬出来,交到"多数人的手"里。而把知识搬到手里,最直接的方法就是:表格。 表格是一种朴素而稳固的制度:它不要求你聪明,只要求你熟练;它不要求你理解原理,只要求你操作一致。只要按照表去做,结果就会稳定;结果稳定,分配就稳定;分配稳定,城市的运转就有了保障。 可以把这种依赖表格的体系称为"数表共和国"。说它是共和国,不是因为它民主,而是因为它依赖一种公共规则:一致的计算。一致意味着可复核,可复核意味着可交接,可交接意味着城市不会因为某一位书吏的离任或失误而陷入瘫痪。 倒数表之所以格外重要,是因为它把"除法"改写成"乘法"。乘法可以查表、可以背诵、可以训练到近乎本能;而除法更依赖临场判断,也更容易出错。古巴比伦人用一种极其实用的思路化解了这个难题:不擅长除法没有关系,先查出倒数,再做乘法即可。这并非某个瞬间的灵感,而是一种针对错误率的制度性管理。 在这个意义上,数学更像是一套内置在社会机器里的"缓存":不必每次从头推导,只要会查表、会套用、会复核,就能持续推进工作。数学常被想象成天才灵光乍现的产物,但在古巴比伦,它更接近一份供公务人员随身携带的操作手册。 书吏学校,正是这份手册的制作场所——只不过没有纸张,也没有印刷机,只有湿泥、芦苇笔,以及一遍又一遍的重复练习。写错的泥板会被抹平重写,损坏的泥板会被摔碎丢弃,破碎的泥片堆积在一处,形成了后世考古中常见的"练习废弃层"。从这些堆积中,依然可以看出:文明的秩序,正是由这些看似不起眼的练习残片,一点一点堆积起来的。 四、巴比伦的六十进制:为分割而生的世界观,至今仍在我们手腕上跳动 六十进制是一项承袭下来的手艺:苏美尔人最先把它发明出来,巴比伦人则把它经营成了帝国的标准件。在两河文明里,很多重要的制度都不是在某一天突然出现的,而是像运河一样:先挖出一条浅沟,后来的人不断加深、加宽、修堤、立碑,最终它才成为城市运转所依赖的基础设施。 六十进制最初的用途,来自市场与仓库:称量、分粮、换算、结算。它之所以能够长期沿用,原因不在于某种神秘性,而在于它特别适合处理日常事务——六十可以被2、3、4、5、6、10、12、15、20、30整除,分割起来格外方便。对一个每天都要分配口粮、计算工时、切割土地、折算容量的人来说,“能否分得开"远比"是否显得优雅"更为要紧。这近乎一种朴素的行政哲学:世界不必完美,但必须能够被分配。 巴比伦人的贡献,恰恰在于把这套"便于分割的世界观"从祖辈的经验中提炼出来,配上数表、配上学校、配上书吏网络,使它成为一种跨城市、跨世代都能保持一致的计算语言。六十进制因此不再只是一种"可以使用"的方法,而变成了"必须使用"的公共规则,其地位近似于税制。 六十进制还使分数的处理变得可控。今天将1/3写作无穷循环小数0.333…,处理起来颇为不便;而在六十进制里,1/3恰好等于二十个"六十分之一”,表达简洁,如同把一条绳子干净利落地三等分。这种便于整除的特性,正是行政与工程管理最看重的品质。 更值得注意的是,巴比伦人还发展出了位置记数的思想——同一个符号,放在不同的位置上,就代表不同的数量级。这是数学史上的重要突破,因为它使数字第一次真正具备了"可扩展性":不必为每一个更大的数发明新的符号,只需把已有的符号放在合适的位置上即可。 不过,这套系统也存在明显的局限:在相当长的一段时期里,他们缺少一个明确的"零"符号来标记数位中的空位(后来才出现了类似占位符的做法)。因此,同一串符号在不同的语境中,可能对应不同的数值,需要依靠上下文来判断。这提醒我们,任何制度都不是一次成型的完美设计,而是在长期使用中不断被修补、完善的工具。 六十进制最值得关注的地方,在于它穿越了帝国的废墟,一直延续到今天的日常生活里:一天24小时、一小时60分钟、一分钟60秒;圆周360度,恰好是六十的六倍。每当看表、量角、计时,其实都仍在使用两河书吏留下的这套计量接口。许多古代文明留给后世的是神话与雕像,而巴比伦留下的是一套单位制度——这种遗产更为隐蔽,却也更为持久。 巴比伦数学的应用,也并不止步于仓库门口。两河流域夜空清澈,星象与历法关乎农时、祭祀、航行与政治合法性,数学因此逐渐与天文观测交织在一起:周期的测算、数值的近似、表格的编制、未来天象的预测——这些内容,在更晚期的巴比伦天文学传统中,发展得相当成熟。可以看到,同一种思维方式在不同场景中被反复运用:借助表格,把复杂的世界压缩成可以随时查询的秩序。 这也解释了一个关键的历史事实:巴比伦数学虽然缺少希腊式的"证明美学",却在"计算—预测—复核"这条路径上走得极远。数学史并非只有"证明"这一条前进的道路,它至少还有另一条:把世界变成可算、可查、可交接的对象。 五、算法食谱:照着做,把思想压成流程 在数表之外,古巴比伦真正的"题目泥板",呈现出一种类似操作指令的语言:先取某数,做某种变换,加上某个量,最后得出未知数。这些泥板极少解释"为什么",更多的是说明"怎么做"。 这并非因为他们缺乏理解能力,而是因为他们选择了一种更适合工程与行政的表达方式:把思想压缩成流程。这种方式的好处显而易见:任何人只要照着步骤操作,便能得出结果;而它的局限也同样明显——从中很难看出背后的推理逻辑。但古巴比伦的书吏并不需要展示推理,他们需要的是交付结果。 由此形成了一种颇具"现代感"的数学风格:算法化。解一次方程、处理二次问题、计算面积与体积、核算粮仓与砖堆、换算长度与容量、估算工期与用料——这些题目常常以具体情境开头,例如"某人有一块地"“某仓有若干谷"“某渠要挖多深多宽"“某笔利息如何滚动”。看似是琐碎的民生事务,实际操作起来,却在不断推动数学方法向前发展。 在解决某些二次型问题时,他们已经发展出类似"配方"的程序性思路:即便没有使用今天的代数符号,也能从操作步骤中看出相似的结构——先"凑出一个完全平方”,再"开平方根”,最后回归到未知量本身。这不是一种证明,却是一套可以反复使用的技术。 更令人关注的是他们对近似计算的熟练程度。两河泥板中曾出现对平方根的高精度近似(其中最著名的一块泥板给出的√2近似值,精确程度相当可观)。这说明他们并不满足于粗略估算,而是在有需要时,能够把精度提升到相当高的水平——因为工程与天文观测都需要对误差负责。这些应用领域并不关心某种方法在哲学上是否成立,只关心桥会不会塌、渠会不会漏、粮会不会少发。 从数学史的角度看,这一点极为关键:巴比伦贡献给后世的,不只是一批具体的答案,而是一种"把问题模板化、把解法流程化、把流程可教学化"的能力。这使数学第一次具备了"可规模化复制"的属性,可以说是整个科学技术体系的前奏。 换句话说:希腊人后来把数学推向"证明的殿堂",而巴比伦人更早一步,把数学建成了"城市的水管网"。殿堂固然壮观,但水管网络更能支撑人们的日常生活。数学史因此呈现出两种并存的气质:一种追求逻辑上的必然之美,一种追求实际运转的稳定性。二者缺一不可。 六、Plimpton 322:不是"他们像我们",而是"我们仍在用他们" 任何论及古巴比伦数学的讨论都绕不开Plimpton 322。这是一块反复被学界提起的泥板:上面记录着一组数列,却引发了长达一个世纪的学术争论。传统观点认为,它与一组组"直角三角形的整数关系"有关,也就是常说的勾股数组。 近年来,也有研究者提出了另一种解读,将它视为一种"基于整数比的三角表"的思想原型,这一说法一度在公众讨论中引发较大关注,被解读为"巴比伦人早于希腊人发明了三角学"。与此同时,也有不少学者提醒,不宜将这块泥板直接套用后世意义上的"三角学"概念来解释,更稳妥的做法,是将它放回古巴比伦"表格—算法—应用"的传统脉络中理解。 两种观点的分歧,大致可以概括为:一方认为这块泥板证明巴比伦人很早就触及了较为高级的数学思想;另一方则提醒,不应急于用后世的框架去解读古人的成果,他们更可能只是把手中的技艺做到了极致。 但无论Plimpton 322最终被解释为测量工具、教学范例,还是某种表格系统,都不改变一个基本判断——古巴比伦数学的核心不在于证明,而在于可复用。它最珍贵之处,并不在于某一个具体结论,而在于把结论整理成表格、转化成流程、编排成课程的这种能力。 这就把讨论带回一个更根本的问题:古巴比伦数学在数学史上究竟处于什么位置?它算不算"科学"?它有没有"理论"?它为什么重要? 答案或许并不浪漫,却相当扎实——古巴比伦把数学从零散的个人智慧,推向了制度化的技能;把技能从个体的经验积累,推向了公共能力;把公共能力从临时应对,推向了可训练、可传递、可复核的完整体系。这可以称作数学的"社会化时刻"。 因此,巴比伦在数学史中的位置,并不在于"他们提前具备了和我们一样的知识",而在于"他们先于我们,把数学变成了一种可以被组织、被复制、被治理的公共事务"。他们让数学第一次大规模进入教育体系,第一次依靠表格与算法处理真实世界的事务,第一次形成一种跨城市、跨世代延续的计算传统。后来的希腊证明、印度数字、伊斯兰代数、欧洲近代科学,各自走出了不同的路径,却共享一个共同的前提:数学必须能够被写下来、教下去、查得出、验得回。 近几十年的研究也在强化这种"社会史视角":不再只追问"他们掌握了什么知识",而是进一步追问"他们为何需要掌握这些知识"。数学与契约、债务、度量衡、教育体制紧密交织,构成了一种"国家与城市管理的技术文化"。近年来的数字化整理工作(例如对泥板目录与图像的系统归档),也在把散落各处的泥片重新汇集到同一份档案中:随着材料的积累,研究者逐渐看清了体系的轮廓,看清了课程的编排方式,也看清了同样的题型如何在不同地点被反复使用。文明的形态,往往就是在这样的重复中,一点点显现出来的。 回到那块灰褐色的泥片本身,它从未被制作出来去充当"伟大思想的纪念碑"。它的用途,只是把利息算清,把口粮发准,把工程量核对妥当,把城市维持在不至崩溃的边缘。 结算优于真理——这个说法听起来有些冷峻,却正是泥板文明所秉持的职业伦理。也正是这种务实的态度,让数学第一次从模糊的直觉中脱离出来,成为一套可以传递、可以复核、且历经千年依然有效的规则体系。 古巴比伦的城墙最终沉入黄沙,而这些泥板依然在地下静静保存着。它们无意被称作"科学",只是确实地让那个原本混乱的世界,变得稍微可以管理了一些——而这份"稍微",往往正是文明得以延续与走向崩溃之间的距离。

June 29, 2026