祖屋与对门的房子

很久以前,有一户显赫的大户人家,后来家道中落,田产流失,族人离散。老家主临终前把两个儿子叫到床前,指着对面的一间屋子说:“那本是咱们家的产业,当年趁乱被邻居强占。你们若有本事,不但要振兴家业,也要把那间屋子收回来。” 长子继承了祖宅,勤勉经营,渐渐让家业恢复生机。此时,那个邻居却不满足于占着对门的房子,还企图吞并整座祖宅。与此同时,已经长大的次子也开始争夺家业继承权。内忧外患之下,兄弟二人终于暂时放下成见,共同抗敌。 那是一场惨烈的战争。无数族人死伤,无数家庭破碎。经过艰苦奋战,邻居终于被赶走,对门的房子也以长子的名义收了回来。整个家族都沉浸在胜利的喜悦中,希望兄弟二人携手共治,共创未来。 然而,共同的敌人消失后,兄弟间积累多年的矛盾迅速爆发。他们都坚信自己才是家族唯一正确的领导者。争吵变成对立,对立变成战争。曾经并肩作战的人被迫互相厮杀,昨天的战友成了今天的敌人。田地荒芜,房屋焚毁,百姓流离失所。这场内战甚至比对抗外敌时更加残酷,因为外敌争夺的是土地,内战摧毁的是人心。最终,长子战败,带着追随者退到当年收回来的那间房子里居住;祖宅则由次子掌控。从此兄弟隔街相望,却形同陌路。 次子按照自己的理想改造家业,经历了许多曲折和代价。长子则不断发展商贸,广泛学习外界经验,家业越来越兴旺富裕。几十年过去,双方逐渐恢复往来,贸易、书信和人员交流重新开始,祖宅年久失修时,长子派人协助修缮,次子也在开放的环境里让家族人丁兴旺。 晚年时,兄弟二人终于能够坐下来交谈。次子豪言道:“若能恢复昔日那个完整的大家庭,该有多好。为了家族荣光,付出再大的代价也值得;不愿意的人,可以让他们离开。” 长子沉默片刻后说:“年轻时我也这样想。但后来我明白,家不是房子,不是祖宗留下的名号,而是生活在其中的人。我们的后代已经有了自己的想法和选择。如果有一天真要重新成为一家人,必须得到每个人的同意。若团聚建立在强迫和牺牲之上,那不过是另一场灾难的开始。” 这个大户人家又来到关键抉择关口,希望人们千万不要忘记:当年那场兄弟相残的战争,夺走的不只是生命和财富,还有几代人本可拥有的和平岁月;祖先真正希望留下的不是仇恨,而是安宁,不是征服,而是团圆。战争或许能够决定谁占有房屋,却永远无法真正赢得人心。 最惨烈的胜利,往往比最体面的妥协付出更高代价。炮火能够摧毁城市,而战争真正毁掉的,是无数本应平凡幸福的人生。

June 18, 2026

《数学的故事》第十五章:牛顿与莱布尼茨——世纪之争

“我不知道世人怎样看我,可我自己认为,我好像只是一个在海边玩耍的孩子,不时为拾到比通常更光滑的石子或更美丽的贝壳而欢欣,而展现在我面前的是完全未被探明的真理之海。” ——艾萨克·牛顿 “我有如此多的想法,以至于如果有一天,比我更有洞察力的人深入地研究这些想法,并把他们卓越的才智与我的劳动结合起来, 那么它们也许迟早会有些用处。” ——戈特弗里德·威廉·莱布尼茨 微积分是数学史的"第二次巅峰",这并非某一个人独自竖起的旗帜,而是两位学者在不同的路径上,几乎同时抵达了同一片此前无人涉足的领域——“变化"的王国。只是一位来得更早,却也更为沉默;另一位来得稍晚,却更善于把这条路铺成一条众人皆可通行的大道。 然而,正是在这里,出现了一场颇具悲剧色彩的争执:当一项发明的意义大到足以改变整个时代的知识版图,它便不再仅仅是思想本身的结晶,还会牵动名誉、国家的荣誉、学会的权威,乃至整个时代的情绪。于是,数学这门原本最讲求冷静的学问,在十七世纪末到十八世纪初,却上演了一场颇为激烈的争论:往来的书信成了交锋的工具,符号的选择成了阵营的标志,英国皇家学会与法国科学院背后各自牵动着两国的骄傲与猜忌。欧洲最杰出的一批学者,一度把"谁先谁后"“该由谁署名"“发明权归于何处"这类问题,看得几乎和"真理本身"同等重要。这一章要讲述的,正是这两位伟大数学家,以及他们之间那场关于微积分归属权的世纪之争。 一、自然之子:牛顿 牛顿的一生,走的是一条从沉默逐渐通向秩序的道路:他把纷繁复杂的自然现象,逼问到必须给出明确规则的地步,把人类对世界的好奇心,从传说与权威的手中,重新交回给可以被检验、被推演的理性。此后的人们才逐渐建立起这样一种信念:世界并非全然任性,它自有其内在的脊梁——而这段历史,恰恰可以从他早年的经历讲起。 童年与乡间 牛顿出生于英格兰乡间,出生时属于早产,体质相当孱弱。父亲在他出生之前便已去世,母亲此后改嫁,把他留在外祖母身边抚养。这段童年经历,并非只是传记开篇惯常使用的煽情桥段,它实际上构成了牛顿性格的重要底色:冷静、坚韧、耐久,也颇为倔强。 乡村生活并不能提供太多正式的知识教育,却提供了另一种同样重要的资源:大段不受打扰的时间。据后世记载,牛顿童年时期并不特别热衷与同伴嬉戏,而更喜欢独自摆弄各类小型机关,制作风车、日晷,以及各种简单的机械装置。这些活动在旁人看来,或许只是一个聪明孩子的消遣,但对牛顿而言,它们更接近一种早期的训练:训练自己以专注而持久的方式与具体事物相处,不依赖热闹的环境,也不依赖旁人的夸奖,而只是把一个问题持续地思考下去,直到得出结果。 他此后被送入学校就读,最初的学业成绩并不突出,据传还曾受到同学的欺负。相传他在一次冲突之后受到刺激,转而发奋读书,成绩逐渐提升,最终名列前茅。这类记载的细节未必完全可靠,却与牛顿此后展现出的性格颇为吻合:他并非那种一开始便显露出耀眼天赋的人物,而更像一块埋藏于地下的矿石,外表并不起眼,内里却蕴藏着极大的能量,一旦被激发,便难以轻易熄灭。 后世常常乐于讲述"苹果落地"这一广为流传的故事,因为它简单易懂,近乎一则寓言;但真正值得关注的,并非苹果本身,而是一个年轻人逐渐意识到:这个世界并非由某种神秘而任性的力量所主宰,它很可能存在一套可以被计算、被推演、被证明的内在秩序。牛顿最初并不清楚自己将要从事怎样的事业,他只是很早便养成了一种习惯:对"自己尚未理解的事物"保持一种近乎羞愧的不安,同时又对"弄清楚它"这件事,保持着极大的耐心。 剑桥与瘟疫年 牛顿进入剑桥大学就读时,家境并不宽裕,他曾以"减费生”(sizar)的身份入学,需要通过为其他学生提供服务来补贴自己的学费与生活费用。这段经历本身并不浪漫:一个沉默寡言、衣着朴素的年轻人,穿梭于学院的石墙与他人的餐桌之间,内心却持续思索着一系列重大的问题——但正是这样一种朴素、甚至略显卑微的处境,往往孕育着真正深刻的思想变革。 当时的剑桥,在教学上仍然沿用亚里士多德体系的旧有框架,但新的思想已经从欧洲大陆逐渐传入:笛卡尔、伽利略、开普勒等人的学说,如同一阵冷风,悄然吹动着这座古老学府的门窗。牛顿并未像许多同龄的年轻学者那样急于站队,而更接近一位系统的整理者:只要某种观点中蕴含着可以利用的方法,他便加以吸收;只要某种论证中存在明显的漏洞,他便紧紧抓住不放。他读书的目的,并非为了积累博学的名声,而是为了把复杂的问题层层拆解。他拆解得最为彻底的一个问题,正是"运动”:人们说物体在运动,但"运动"这一现象究竟该如何写入数学的语言之中?此前的几何学擅长描绘图形的轮廓,却难以准确地表达"此刻的运动速度有多快”,也难以预测"下一刻将会如何变化"。它更像一套只擅长勾勒边界的画笔,却缺少一把能够真正测量速度的尺子。 1665年,鼠疫在英格兰蔓延,剑桥大学因此关闭,学生们各自返回家乡。对多数人而言,这两年近乎学业生涯中的一段空白期;但对牛顿而言,这段时间却成为他学术生涯中极为关键的阶段。他返回位于伍尔索普的家中,独自一人,凭借一张书桌与有限的几本书籍,持续进行深入的思考。这两年间,他完成了此后被称为奇迹年的几项重要工作:他把关于运动的思考,整理成了可以系统推演的规则;他也在光学领域投入大量精力,把太阳光分解为不同的颜色,又尝试把这些颜色重新合成为白光。而其中意义最为深远的一项工作,是他在这段时间里发展出了一种全新的运算方法——他开始借助"无穷小"这一思路,去把握变化本身。 牛顿把那些随时间持续变化的量称为"流量",把这些量变化的速率称为"流率"。这一术语听起来颇为专业,其实原理相当朴素:物体的位置在持续变化,速度在持续变化,曲线的高度在持续变化,天体之间的距离也在持续变化。既然世间万物都处于持续的变化之中,便需要一种方法,能够在"几乎不存在的极短瞬间"里,准确地把握这种变化——这正是他早期微分思想的核心:不必等待一段完整的时间过去之后再进行计算,而是逼近到某一具体的瞬间,观察该处究竟发生了怎样的变化。与此同时,他也意识到,若能把无数个"极小的变化"逐一累积起来,便能够从"瞬间的变化率",重新还原出"整体的结果"——这正是积分思想最初的雏形:把细小的部分累加为完整的整体,把持续的流动收束为确定的总量。 更为关键的是,这两方面的思路在他手中很快便相互衔接:从一条曲线在某一瞬间的倾斜程度出发,能够推导出这条曲线整体的形态;反过来,从某一整体的累积结果出发,也能够反推出其中某一瞬间的具体变化速率。他当时尚未给这套方法赋予后世教科书中那样正式的名称,但已经把握住了这套方法的核心思路。可以说,鼠疫流行的这两年,并非仅仅是他躲避灾祸的一段空档期,而更像是为他提供了一段不受外界打扰的宝贵时光,使他得以系统地把握住"变化"这一此前难以驾驭的研究对象。 疫情结束后,牛顿返回剑桥,不久便被任命为卢卡斯数学教授。这一教职此后曾由多位杰出学者担任,但牛顿的任职,赋予了这一职位一种象征意义:从此以后,数学不再仅仅是几何学家的一种雅致的智力活动,而将成为自然哲学得以运转的重要引擎——它不仅用于描述这个世界,也将进一步用于推动对这个世界的理解与预测。因为他此时所带回剑桥的,不仅仅是几页手稿,更是一整套全新的研究方法:借助微积分的视角来观察自然界——在瞬间之中捕捉规律,在累积之中把握法则。此后,他在《原理》一书中,把天体运行与地面物体的运动统一在同一条引力定律之下,这一成就在表面上,呈现为几何学的胜利,但支撑这一成就的背后,早已是他在伍尔索普那段时期所锻造出来的这把关键工具。 光学与《自然哲学的数学原理》 牛顿的研究并未止步于运动与力学,他还格外关注光学问题——因为光学现象中,往往存在着许多容易令人产生误解的表象。阳光照射在地面上,人们通常习惯性地认为它"天然呈现白色";牛顿却把阳光引入暗室之中,借助一块三棱镜将其分解,结果发现白光之中,实际隐藏着一系列具有各自特征的色光,这些色光此后不再能够被进一步分解为更细小的成分。旁人看到彩虹时,往往只是单纯地欣赏其美丽,而牛顿所看到的,则是一种可供验证的证据:光并非某种笼统而神秘的"纯白"存在,而是由多种不同性质的光线混合而成的结果。基于这一发现,他还设计并制作出反射式望远镜,摒弃了传统透镜折射所带来的色差问题——这体现出他作为研究者的一个重要特质:他的理论从不停留在纯粹的思辨层面,而必须落实为可以实际验证、可以直接应用的具体成果。此后,他把这些实验结果系统整理,撰写成《光学》一书,将各项实验依次记录,如同为光学现象建立起一份严谨的档案。 牛顿的研究野心,并未止步于对单一光线性质的探究,他更为宏大的目标,是理解整个宇宙运动的规律。十七世纪的欧洲,已经积累了不少重要的科学发现:伽利略对地面物体的落体运动与惯性原理有着深入的研究,开普勒则对天体的运行轨道有着精确的描述,但地面现象与天体现象,长期以来被视为遵循着各自不同的规律。牛顿完成了一项极具突破性的工作:他把这两个领域,统一在同一套数学法则之下。 由此,《自然哲学的数学原理》一书应运而生——这部著作并非以浪漫的笔调写就,而更接近一座扎实的桥梁:阅读起来颇为费力,却真正把地面与天体这两个此前分属不同领域的研究对象连接了起来。书中提出的运动三大定律,如同坚固的钉子,把"力"与"运动"之间的关系,固定为一套可以系统推演的结构;万有引力定律,则如同一条无形的绳索,把苹果的下落与月球绕地球运行这两种看似毫不相关的现象联系在一起——这种联系并非依靠诗意的想象,而是依靠严谨的数学推导。更重要的是,他并非仅仅"猜测"存在这样一种引力,而是把它转化为一套具体的数学表达,能够据此计算出行星运行的椭圆轨道,能够解释潮汐现象的成因,也能够用于追踪彗星的运行轨迹:自然界的运行规律,第一次呈现出如同一部可以被系统推导的法典一般的面貌,人们不必再诉诸神谕,而可以借助严密的推理来理解世界。 在撰写《原理》的过程中,牛顿的性格特点也在这一过程中充分展现出来:敏感、固执、争强好胜,同时又极为担心自己的成果被他人抢先发表。他曾与胡克就光学问题产生过争执,也曾在引力理论的相关问题上受到刺激;而哈雷则以一种颇为执着的态度,把长期把研究成果留存于私人笔记、不愿轻易公开的牛顿,推向了公开发表这一步——牛顿常常习惯把已经完成的研究成果收藏起来,而哈雷则促成了这些成果最终得以问世。此书出版之后,欧洲的自然哲学研究,由此获得了全新的理论基础:科学不再仅仅停留于对现象的"描述",而进一步具备了"预测"的能力;不再仅仅依靠逻辑上的说理,而能够依靠具体的计算得出结论。 权力与晚年 此后的牛顿,其人生轨迹也颇具戏剧性的反差:这位早年曾在学院中以服务他人换取学费的青年,晚年出任皇家造币厂的重要职务,负责货币管理与打击伪币,其严谨审慎的态度,如同他此前审视自然规律时一般,同样体现在对人事的处理之中;他此后又当选为皇家学会会长,成为伦敦学术权力体系的核心人物,并被封为爵士,跻身英国社会体制之内的重要地位。但地位越高,其性格中的争议部分,也愈发显现——尤其是在与莱布尼茨围绕微积分优先权展开的争执中,牛顿那种不愿与他人并列、务求独占荣誉的性格特点,把原本属于学术层面的讨论,逐渐演变为带有阵营色彩的对立。由此可以看出一个颇具意味的事实:牛顿能够把天体的运行规律计算得极为精确,却常常难以同样精确地权衡人心与名誉所带来的复杂代价。 不过,历史对牛顿的评价,最终仍相对公允,因为历史往往并不特别在意个人性格上的种种局限,而更看重一个人最终留给后世的具体成果。牛顿使光学研究学会了依靠严谨的实验证据说话,使自然哲学学会了借助数学语言来确立规律,使《原理》一书把天体与地面的运动,统一记载于同一套理论体系之中。此后数百年间,工程师依靠他所建立的运动定律修筑桥梁、建造船只、设计机械;天文学家依靠他所提出的引力理论计算天体轨道、发现新的行星;每一位相信"这个世界是可以被计算的"的研究者,实际上都在不同程度上,延续着牛顿当年所点亮的那盏冷静而坚定的明灯——它并不喧闹,却能够照亮极为深远的领域。 二、博学通才:莱布尼茨 莱布尼茨从未把自己局限在某一间实验室之中,也从未把一生的精力,仅仅投入到单一的研究方向。他撰写哲学著作,涉足政治事务,从事外交工作,研究法律与神学,同时还顺带发明了一套此后支撑整个近代科学得以顺利运转的符号体系。若仅仅把他视为"微积分的另一位发明者",便如同在博物馆中只专注凝视一把钥匙的外观,却忽略了它实际所能开启的,是一整座城市的大门。他真正引人瞩目之处,在于一种近乎理想主义的宏大抱负:他希望为人类创造出一种共同的语言,使各类争论能够有所减少,使推理的过程,能够如同算术运算一样可靠,也使思想本身,能够如同精密的机械一般有序运转。 图书馆里的少年 莱布尼茨出生于莱比锡,父亲是当地大学的教授,家中藏书颇为丰富。但命运很早便给了他一次沉重的提醒:父亲在他年幼时便已去世。对许多孩子而言,这类经历往往意味着失去重要的依靠;而对莱布尼茨而言,这也意味着获得了一种特殊的自由——他得以自由出入家中庞大的藏书之中,不受既定顺序与固定路径的限制,自主探索各类知识领域。 他很早便养成了一种独特的习惯:把书籍当作可以与之对话的对象来看待。对多数孩子而言,阅读往往只是为了记诵;而对莱布尼茨而言,阅读则意味着持续的追问:作者为何如此表述?其立论的依据何在?这一表达是否可以用另一种更清晰、更不容易产生误解的方式重新呈现?据后世记载,他少年时便能够依靠插图与版式来推测拉丁文的大意——这并非单纯的神童轶事,而更接近他此后一生治学方式的缩影:他天生对"表达的形式"极为敏感,并始终相信,表达的形式,往往在相当程度上决定着思想能否被准确理解与传播。 当时的欧洲学术界,如同一座多层的老式建筑:底层依然保留着亚里士多德体系的旧有框架,而楼上则已经吹进了新的思潮——笛卡尔、伽利略、开普勒、培根等人的学说,各自呼唤着知识体系的更新。年轻的莱布尼茨并未像许多同龄学者那样急于选边站队,而更接近一位系统的整理者:他既不主张全盘抛弃旧有的知识框架,也不主张对新兴学说不加甄别地全盘接受,而只关注一个核心问题——能否把各类分散的知识,纳入同一套更为清晰的规则之中,加以系统的归类与整理? 这一追求初看近似于图书管理员式的兴趣所在,但这种"归档"的意愿,实际上正是推动文明持续积累与进步的重要力量之一。若缺乏系统的分类、索引与统一的记号体系,知识往往只能以零散、口耳相传的方式流传;而一旦具备了这些工具,知识便能够被持续地积累、传承与拓展。莱布尼茨的童年与少年时期,正是在浩瀚的书籍之中,不断锻炼这种"化纷乱为秩序"的能力。 游历中的学者 莱布尼茨的学术生涯,并未沿着一条纯粹的学术道路展开。他曾学习法律,进入官署任职,担任顾问,撰写各类备忘录,处理现实政治与宗教冲突相关的具体事务。这类经历看似与数学研究相距甚远,实则关系密切——他因此长期处于持续的往来奔波之中。相较于终日埋首于书斋的学者,长期在不同地域、不同机构之间往来的经历,反而使他更容易察觉到:这个世界并非以单一线性的方式运转,而更接近一张复杂的网络,网络中的每一个节点,都各自拥有独特的语言、习俗、利益与偏见。若希望知识能够真正在不同节点之间顺畅流通,就必须使"表达方式"本身足够精确、足够精巧,从而能够跨越这些节点之间原本存在的障碍。 他曾在巴黎生活过一段时间,期间结识了当时一流的数学家与物理学家,并曾受到惠更斯等重要学者的指点。巴黎对他而言,并非一座单纯用以游历的城市,而更接近一处大型的知识工坊:新的数学方法、新的物理理论、新的科学仪器、新的学术争论,都在这里持续涌现。此后他又前往伦敦,接触到皇家学会的学术圈子,进一步了解到英国学界那种格外强调依靠实验与计算来支撑论证的研究风格。莱布尼茨如同一位善于学习的旅行者,每到一处,便留意汲取当地最具价值的方法与工具:在此处学习一套具体的运算方法,在彼处记录一套精巧的符号体系;今日聆听一场学术辩论,明日便着手把其中的核心论证,改写得更加简洁清晰。 在政治事务与学术研究之间不断往返,对许多人而言,或许会分散精力,但莱布尼茨却把这种经历,转化为自身独特的优势。他不像牛顿那样,长期专注于某一个具体的研究方向,而更接近一个具备高度整合能力的枢纽:只要某种思想具备价值,他便设法将其纳入自己的知识体系之中;一旦纳入,他便进一步尝试把这些原本分散的思想相互对接、融会贯通。在他身上,能够看到一种颇具现代意味的治学气质:注重跨领域的融合,注重系统性的建构,也格外重视标准化的表达方式。这并非浅尝辄止的兴趣广泛,而正是他真正的学术抱负所在——他所希望完成的,并不仅仅是解决某一个具体的难题,而是发明出一套能够普遍适用于解决各类难题的通用方法。 莱布尼茨深刻地认识到:天文学的研究需要处理天体轨道的持续变化,力学的研究需要处理速度与加速度的关系,几何学的研究需要处理曲线的弯曲程度,工程实践则需要处理各类持续累积的过程……种种现实需求,共同促使数学必须发展出一套全新的处理方式。而莱布尼茨的独特之处在于:他不仅致力于建立这样一套方法,还格外重视为这套方法赋予恰当的名称,设计出简洁实用的符号体系,从而使它能够在整个欧洲的学术共同体中迅速地被理解与传播。 独立创立微积分 微积分的意义,并非仅仅是对既有数学体系的进一步深化,而是把数学研究的疆域,向此前长期难以驾驭的一个领域推进:连续变化。这个世界中最为常见的现象,恰恰正是持续的变化:水流的运动并非以离散的方式跳跃前进,光线的传播并非分段完成,物体的速度也并非每隔一秒才发生一次跳变,曲线的形态更不是由一段段直线简单拼接而成。然而在微积分诞生之前,人们处理这类持续变化的现象时,往往如同隔着一层薄雾观察远山:虽然能够意识到它的存在,却难以精确地把握它在某一瞬间的具体状态,以及由此累积而成的整体结果。 莱布尼茨在这一领域的贡献,体现在两个层面:一是思想层面的贡献,二是符号表达层面的贡献。在思想层面,他同样敏锐地意识到一个关键之处:若能够找到一种方式来准确描述"此刻的变化速率究竟有多快",再借助另一种方式,把无数个"此刻"的变化累积起来,便能够把持续变化的世界,转化为可以进行系统计算的具体对象。但仅有这一思想层面的洞察尚且不够——若缺乏一套便于书写、便于阅读、也便于教学的符号体系,这一思想的传播便会相对缓慢,容易在传播过程中产生误解,后续的研究者也容易在相同的问题上反复遇到困难。 因此,他完成了一项极为聪明、也极为务实的工作:他设计了一套简洁的符号,用以表示"极小的变化量"。他采用一个小写字母"d",来表示某个量所发生的微小增量;又采用一个形似拉长字母"S"的符号,来表示"把无数个微小的量累加起来"这一操作。这两个符号,看起来极为简洁,几乎近乎随意,却如同两把趁手的工具:任何掌握它们的人,都会自然而然地愿意借助它们继续深入研究下去。此后的数学家与物理学家,大多沿用了这套符号体系,这并非出于对莱布尼茨本人的推崇,而是因为这套符号体系确实极为实用:它把复杂的推理过程,压缩为清晰明了的书写形式,使得研究者更容易检查其中可能存在的错误,也更容易把既有的方法,迁移应用到新的问题之中。 莱布尼茨最为突出的才能之一,体现在他善于"替他人节省精力"这一点上。牛顿的"流数"思想及其背后所依托的力学直觉,极为深刻,但其表达方式,更接近个人的研究笔记,不易被他人直接理解与沿用;而莱布尼茨则更接近一位致力于公共建设的工程师,努力修筑出一条众人皆可通行的道路。微积分之所以能够在欧洲大陆迅速开花结果,很大程度上得益于这条"道路"修筑得足够平整:符号体系一旦趋于稳定,相应的教学工作便能够稳定地开展;教学工作稳定,相关的研究人才便能够持续培养;研究人才不断积累,微积分的实际应用范围,便随之迅速扩展。 微积分的贡献,使莱布尼茨在数学史上占据了极为重要的地位,但他的学术抱负,远不止于此。他对"计算"这一活动本身抱有浓厚的兴趣——这并非因为他单纯热衷于解题,而是因为他坚信:人类社会中的许多争执,其根源往往并非源自恶意,而是源自表达与理解上的混乱;若能够使推理的过程,变得如同核对账目一样清晰可查,许多争执便有可能因此得以自然化解。基于这一信念,他提出了一个近乎理想主义的设想:与其持续争论,不如借助严谨的计算来寻求共识。 这一设想背后,是他一生反复探索的一项宏大计划:构建一种"普遍文字",一套能够对各类概念进行拆解、组合与运算的符号体系。这一构想,既可以被理解为一种哲学层面的宏愿,也可以被视为对此后计算机时代的某种预示:把推理的过程加以形式化处理,把各类概念转化为特定的编码,把复杂的问题,转化为一系列可以具体操作的步骤。莱布尼茨当然并不具备现代逻辑学与计算理论那样完备的工具体系,但他已经敏锐地察觉到:符号并非单纯的装饰,而是构成整套思维机器的重要组成部分。 算术机与二进制 正因如此,他对机械计算装置的研究,也投入了相当的精力。他曾设计出能够完成更为复杂运算的计算器,试图借助齿轮装置,替代人类完成大量重复性的计算工作。今天看来,这类装置往往显得较为笨重,操作也不够便捷,容易出现故障;但在当时的历史条件下,“让机器来完成计算"这一构想本身,便已经是对既有世界观的一种挑战——它意味着:计算并非某种神秘不可分解的活动,而是可以被拆解为一系列具体的操作步骤;这些步骤又可以被固化为特定的机械结构;而这些结构,则可以交由铁与铜制成的装置来加以执行。这一构想一旦确立,人类便逐渐开始设想更为复杂的机械装置、更大规模的自动化流程,以及更为广泛的、可以被复制的理性运算能力。此后工业革命中机械运转的轰鸣声里,某种程度上,也回响着莱布尼茨当年的构想。 此外还需提及二进制。莱布尼茨对借助"0"与"1"这两个基本符号来表达一切数字的体系,表现出极为浓厚的兴趣。他不仅把这一体系视为一种数学层面的探索,还试图赋予其哲学层面的意义:即从"无"与"有"这两个最基本的状态出发,构建出整个世界的秩序。这一构想固然带有那个时代特有的形而上学色彩,但值得注意的是:今天广泛使用的电子计算机,其运行原理,正是依靠"开"与"关"这两种基本状态来实现各类复杂的运算。莱布尼茨自然无法预见此后晶体管与集成电路的发展,但他确实敏锐地把握到了一个朴素而重要的事实:极为复杂的系统,完全可以由极其有限的几种基本状态,通过不同的组合方式构建而成。这也正是现代信息技术最为核心的观念之一。 由此可以看出,莱布尼茨如同一位提前投入工作的"未来会计”:他并不满足于解决某一道具体的题目,而更希望能够制定出一套通用的账簿格式;他并不满足于完成某一次具体的推理,而更希望能够发明出用于完成推理的通用机器。牛顿为人类揭示了自然界运行所遵循的定律,而莱布尼茨则始终在追问:人类应当运用怎样的语言,才能更为稳定、更为系统地把握并传承这些定律?一位专注于世界本身如何运转,另一位则专注于人类应当如何思考、如何记录——这两方面的贡献,恰好构成了彼此互补的重要组成部分。 三、世纪之争:微积分发明权 历史学家普遍认可,微积分的发明,几乎是在英国与欧洲大陆同时发生的:牛顿在更早的年份中,便已经具备了微积分的关键思想,但他长期未曾正式公开这些成果;莱布尼茨虽然接触相关问题的时间稍晚,却较早正式发表了自己的研究成果,并借助一套自行设计的符号体系,把这些成果表达得清晰而系统。此后,围绕"究竟谁先提出这一发现"这一问题所展开的争执,逐渐演变为一场持续整个世纪的学术风波:英国学界普遍维护牛顿的地位,欧洲大陆学界则普遍支持莱布尼茨,这场争论之中,还夹杂着浓厚的民族情绪、学术权威的较量、个人名誉的得失,乃至各类学会内部的权力博弈。 1708年,英国学者约翰·基尔公开指控莱布尼茨"窃取"了牛顿的流数法研究成果。这一指控,如同一根点燃的火柴,迅速引发了持续多年的学术争议:此前长期保持沉默的牛顿,此时开始意识到,自己不仅可能被他人抢占了应有的学术功绩,甚至连自身的诚信,也受到了公开的质疑;而莱布尼茨则认为这一指控极不合理——他固然曾经阅读过牛顿的部分通信内容与零星论述,但仅凭这些有限的接触,实难被视为"抄袭"的确凿证据。 这场争论中最为微妙、也最为不体面的一幕,出现在此后所谓的"裁决"过程之中。英国皇家学会为此专门成立了一个委员会,负责对这一争议作出裁定,但当时牛顿本人正担任该学会的会长——也就是说,在这场争议之中,最具权威与影响力的人物,同时兼具"当事一方"与"最终裁决者"这两重身份。1712年前后,皇家学会整理并出版了一份题为《通信集》的报告,将相关的往来书信与各项证据汇编成册,作为这场争议的正式"裁决文件";而这份报告的实际撰写工作,很大程度上,正是由牛顿本人主导完成的。这一处理方式,颇能体现当时英国学界的处理风格:整个程序表面上极为庄重,最终形成的文件也相当详尽,所得出的结论也十分明确——但后世的研究者,仍不免对这一过程的公正性提出质疑,认为若能让当事的另一方也有机会陈述意见,或许更接近一场真正意义上的公正裁决。此后,也确有研究者指出,整个裁决过程,从一开始便明显偏向牛顿一方。 这场争议并不仅仅局限于两位学者之间的个人恩怨,而是迅速演变为带有明显阵营色彩的学术对立:英国学界坚持沿用牛顿所建立的"流数"这一套本国的表述体系,把莱布尼茨所使用的"d"记号与积分符号,视为某种"外来阵营"的标志。牛顿在《原理》一书中,本就偏好采用几何式的表达方式,这使得微积分的具体运算方法,在书中并未被充分展现;争议进一步激化之后,英国数学界更趋于固守牛顿所奠定的几何学与流数传统,由此出现了一种颇为尴尬的局面:牛顿本人固然拥有大量的追随者与崇拜者,却难以持续培养出一批能够运用同一套新兴分析方法,继续推进相关研究的后继学者。再加上与欧洲大陆同行之间的关系,因这场争议而逐渐恶化,学术交流也随之趋冷,整个十八世纪期间,英国数学界在"分析"这一方向上的发展,相对而言,显得较为迟滞。 相较而言,法国以及欧洲大陆的学界,则更倾向于公开的学术讨论、符号体系的持续改进,以及研究成果的广泛传播。莱布尼茨所设计的符号体系简洁而灵活,便于在教学、学术交流与理论拓展等各个方面加以运用。1696年,法国学者洛必达出版了《无穷小分析》一书,被普遍视为第一部系统讲授"微分法"的教材,这部著作明确采用了莱布尼茨的符号体系——这也意味着,这套符号体系已经进一步转化为正式的教材内容、稳定的课堂教学方式,以及学界普遍使用的通行表达。此后,约翰·伯努利与雅各布·伯努利兄弟等欧洲大陆的杰出学者,很快便把莱布尼茨式的微积分方法,锤炼成一套极为精密而实用的研究工具,广泛应用于解决曲线问题、极值问题、变分问题,以及各类微分方程问题。他们如同一批充满热情的工匠,在同一套基础工具之上,不断添加新的研究内容与应用方向。 这两条不同的发展路径,最终导致了截然不同的结果:欧洲大陆的数学研究,如同装配上了全新的动力装置,发展速度显著加快;而英国数学界,则由于优先权争议的持续影响,以及固守本国符号体系所带来的相对孤立局面,在相当长的一段时间内,与欧洲大陆的学术进展之间,出现了一定程度的隔阂。这并非完全归咎于牛顿个人的过失,而更应视为这场争议所带来的连锁反应:一旦某种符号体系被赋予了阵营色彩,便很难再客观地承认对方所使用的方法可能更为便利——即便这一方法在实际应用中,确实展现出更高的效率。 回顾这场持续整个世纪的争议,其中颇具讽刺意味的一点在于:这场争议所争论的核心,是"究竟谁先提出这一发现",而文明的实际发展,真正需要的,却是"哪一种方法能够被更广泛、更便捷地传承下去"。英国学界在名誉层面,坚定地维护了牛顿的历史地位;而法国及欧洲大陆学界,则在具体的研究工具层面,积极采纳了莱布尼茨所设计的符号体系。前者近似于珍视并守护一件传承已久的传家宝物,后者则近似于把一套更为先进的研究工具,广泛地配发给整个学术共同体。历史或许并不会明确评判孰高孰低,但它确实以事实证明:符号体系与学术交流的开放程度,能够切实影响一个国家在数学研究领域的发展速度。 四、天才的晚年:胜利者与远行者 历史往往会呈现出令人深思的对照。 牛顿在英国晚年获得了几乎毫无争议的崇高声誉。他不仅被视为科学领域的杰出人物,也逐渐成为整个国家的象征。他在英国的权力体系中,占据了相当重要的地位:无论是学会内部的地位、社会公众的声望,还是此后在造币系统中所担任的职务(英国皇家造币厂),都使他从一位早年略显孤僻的学者,转变为具有广泛公共影响力的国家人物。但若细究他的性格特点,则不难发现,他未必真正从这种崇高的地位中获得了内心的安定:他更接近一位始终保持高度紧绷状态的人,即便获得了外界所公认的成功,也难以真正放松下来,反而会因此更加警觉——因为声望的提升,往往意味着更多的关注与审视,也意味着必须持续证明自己配得上这份崇高的敬意。 莱布尼茨则在晚年经历了一段相对凄凉的时期。这场持续多年的学术争议,如同一层挥之不去的阴影,长期笼罩着他,许多本可用于学术研究的时间与精力,被迫消耗在为自己辩护的过程之中。他在汉诺威宫廷的日常事务与个人的学术计划之间往返奔波,同时承担着学者、外交人员与宫廷史官等多重身份。他去世之时,场面颇为冷清——那位曾经把整个欧洲的知识网络紧密串联起来的学者,最终离世之际,却并未引起太多人的关注。莱布尼茨真正的成就,并不在于他在世时获得了怎样的荣誉,而在于他所留下的这套研究工具,此后被持续、广泛地沿用:微积分的符号体系,逐渐成为科学界通用的表达语言;“把推理转化为可计算的形式"这一构想,此后在逻辑学、计算理论与编程语言等诸多领域,一次又一次地得到回响;二进制,更是成为此后整个信息时代的基础。今天翻开任何一部现代科学的教材,看到其中那些熟悉的符号与流畅的推导方式,都在某种意义上,印证着莱布尼茨当年确实提前把部分未来,写在了纸面之上。 这并不意味着这场争议就此得出了明确的是非定论,而更提醒后人:在知识发展的历史进程中,围绕优先权所展开的争夺,常常如同一场持续燃烧、消耗巨大的火焰。它会耗费大量宝贵的时间,损害本可维系的情谊,也削弱原本可能存在的合作机会——而这些因素,恰恰是微积分这类重大理论工具,得以进一步发展所必需的土壤。 若要追问,二人之中究竟谁的贡献更大,这一问题本身,便近似于追问"心脏与肺,究竟哪一个更为重要”。牛顿为微积分注入了物理学层面的灵魂,使这套理论方法,能够与自然界的运行规律紧密契合;莱布尼茨则为微积分构建了语言层面的躯体,使这套方法,得以顺利传播、持续发展,并最终成为整个学术界共享的公共工具。若没有牛顿,微积分或许将失去那种深刻揭示自然规律、震撼整个学界的物理内涵;若没有莱布尼茨,微积分则可能长期停留于少数学者所掌握的私人技艺,难以迅速转化为整个欧洲学界共同拥有的知识财富。

July 9, 2026

《数学的故事》第十四章:微积分的诞生——人类理性的顶峰

“数是人类心智的自由创造。” —— 戴德金(Richard Dedekind) 微积分出现之前的数学,像是一座建得极其精致、却主要面向"静物"的城:广场上摆着完美的圆与三角形,石柱上刻着比例与公理,街道笔直,建筑端正,连阴影都像被尺子量过。古希腊的数学家们把这座城修到了近乎神圣的程度——他们教会人类如何证明,如何从少数原则推出无数结论,如何在逻辑的秩序中站稳脚跟。 可到了十七世纪,这座城开始显得局促。因为世界不再像雕像那样静止不动了。炮弹飞行,钟摆摆动,船只航行,行星绕日,潮汐涨落——这些都不是"形状",而是"过程",它们每一刻都在变化,如同风、水与火焰。人们逐渐意识到:此前的数学已经能够描述"是什么",却还不擅长描述"正在变成什么"。可以给一座桥画出静态的图纸,却难以说清它在风中每一瞬间所承受的力;可以画出一条曲线,却难以说清它在某一点上究竟有多陡;可以算出一个多边形的面积,却难以说清一条弯曲边界所围出的那片土地究竟有多大。 于是,数学被时代推到了一处此前从未真正被征服的边界:连续变化。微积分正是诞生于这条边界之上。它并非简单地在原有体系上新添了一条街道,而更接近人类新获得的一种感官——从此,人类能够"触摸"变化,能够把瞬间与累积这两种此前极难把握的东西,转化为纸面上可以操作的对象。 一、两道门:一扇叫"瞬间",一扇叫"累积" 微积分诞生的开端,看似朴素:人们反复叩问着两个此前未能真正解决的问题。 第一个问题关乎"瞬间"。一辆马车在路上行驶,人们自然会说它快或慢。但"快"究竟意味着什么?若把一段路程除以所花费的时间,得到的是平均速度——这近似于一段旅程结束后的总结。但更值得追问的是:马车在某一具体的瞬间究竟有多快?它此刻是在加速还是在减速?同样的问题也出现在曲线的研究之中:一条曲线在某一点的走向是什么?它在这一点上的方向该如何确定?古人称这类问题涉及"切线"——那条与曲线仅在一点接触、却能够代表该点走向的直线。把握住切线,便近似于把握住了变化在某一瞬间所呈现的具体姿态。 第二个问题关乎"累积"。如何计算一条弯曲河岸所围出的面积,一座拱形穹顶的体积,或是一股持续变化的力推动物体所做的总功?这些都并非某一瞬间的状态,而是无数瞬间累加而成的总和。可以把一块区域切割成一条条狭窄的部分,用近似的长方形去逐一覆盖,切割得越细,逼近程度便越高;也可以把一个立体切割成薄片,逐层累加,如同将整个对象逐层剖开。但只要边界本身是弯曲的,这种逼近便始终存在细微的误差:条带再窄,也并非真正的零;切片再薄,也仍然具有厚度。真正需要的,并非一个大致准确的估计,而是一个精确无误的结果。 “瞬间"与"累积"这两个问题,如同两扇紧闭的大门,门缝中却透出同一种性质的光——无限逼近。要解决这两个问题,就必须学会处理"差一点点"这一状态,必须在"越来越小"与"越来越多"之间保持清晰的判断,必须把研究对象拆解为无数细小的部分,同时确信这些部分之和,能够准确地还原为整体。 这听起来近乎一种奇迹,但微积分真正的价值,恰恰在于它把这种看似不可能的操作,转化成了一套可以系统掌握、反复运用的方法。 二、无穷小:细如沙粒,却能堆积成山 微积分的核心思路,是一个相当大胆的设想:如果把变化切割得足够细,细到几近于无,那么在这样的尺度之下,原本复杂的对象反而会呈现出简单的一面。这便是"无穷小"这一概念的核心价值所在。 在日常的尺度上,曲线往往难以处理;但若把观察的范围缩小到极致,曲线在这一极小的范围内,看起来便几乎等同于一条直线——正如蜿蜒的山路,若只看脚下的一两步,也不过是一小段近乎笔直的路径。微积分所依靠的,正是这种"局部近似"的思路:在无限接近的尺度下,复杂的对象暂时呈现出简单的面貌,从而可以借助处理直线的工具,去处理原本属于曲线的问题,借助基础的算术,去处理原本复杂的变化。 由此,瞬时速度不再是一个模糊难解的概念,而转化为"在极短时间内所发生的极小位移"之比;切线也不再依赖图形直觉去猜测,而转化为"当两点被压缩到几乎重合时,连接这两点的直线所呈现出的最终走向”;极值的确定,也不再依靠肉眼判断曲线的最高点或最低点,而转化为"变化的方向由正转负、或由负转正"这一细微的转折点。 与此同时,面积与体积的计算,也借助无穷小的思路得到了系统化的处理:把研究的区域切割成无数条极细的窄带,把研究的立体切割成无数片极薄的切片。每一条窄带、每一片切片,其计算方式都极为简单——长乘以宽,或高乘以底。把这些简单的局部结果相加,便能得到整体的结果,如同用无数根细丝,最终织成一整块布料。 无穷小究竟是什么?它既不等同于零,也不同于一般意义上的数。若把它当作零来处理,许多相关的比值运算便无从进行;若把它当作普通的数来看待,它又小到近乎违背日常的直觉。它更像一个具有双重性质的过渡性概念:既需要借助它的存在来完成中间的推演过程,又希望在最终的结果中,把它的痕迹清除干净,只留下确定而清晰的答案。 这正是早期微积分所带有的那种带着实践气息的矛盾之处:它不像欧几里得几何那样,从一开始便建立在严密的逻辑基础之上,而更接近于在迫切的现实需求之下先行搭建起一座可以通行的桥——先让桥能够承载往来的人流,至于支撑这座桥的完整力学原理,往往要等到桥梁建成、投入使用之后,才逐渐被补充和完善。 十七世纪的学者们,大体上并不回避这种"先能实际应用、再逐步完善理论"的态度,因为当时的现实需求极为迫切:天体的运行规律有待推算,炮弹的弹道有待预测,航海的方向有待校准,机械的运转有待优化。这一切现实问题都在等待答案,而数学也必须及时作出回应。 三、两条河的秘密:微分与积分原是一对"镜像" 微积分之所以被视为一项极为重要的发现,不仅仅是因为它分别解决了切线与面积这两类问题,更在于它揭示了一个此前未曾被充分认识的事实:“瞬间变化"的运算与"累积总量"的运算,实际上互为逆运算。这一发现一经确立,此前分散的诸多研究成果,便由此获得了统一的理解框架。 设想一个人沿着一段起伏的山路行走,行进速度时快时慢。若记录他在每一时刻的具体速度,得到的是一系列"变化的信息”;若只关心他从出发点到终点总共走过的距离,得到的则是一个"累积的结果"。前者近似于一段旋律的具体走向,后者则近似于整支乐曲的总长度。微积分揭示的道理是:只要真正掌握了描述速度变化的曲线,并且懂得如何把这条曲线按微小的时间段逐步累加起来,那么总路程便不再是一个难以求解的问题;反过来,若只知道总路程随时间变化的整体规律,也同样能够从中推导出任意时刻的瞬时速度。 曲线的研究同样遵循这一逻辑:若已知曲线在每一点的陡峭程度,这属于局部的信息;若把这些"陡峭程度"逐段累加起来,便能得到曲线整体的高度变化,以及其下方所围成的面积。微积分把这两类此前被分别处理的问题联系了起来,如同为两片原本相对独立的领域架起了一座桥梁。此前,求解切线是一套方法,求解面积则是另一套方法,彼此之间并无明确的关联;而这一发现表明,二者其实处于同一个理论框架之内,只是研究的方向有所不同。 这正是微积分最为深刻的价值所在:它不仅提供了两类各自独立的运算工具,还进一步揭示出这两类工具之间存在着深层的对偶关系——一方是把整体的变化拆解为无数细小的瞬间,另一方则是把无数细小的瞬间重新累积为整体的结果;一方近似于精细的剖析,另一方则近似于系统的综合。 当这一发现被明确提出、反复验证并广泛应用之后,人类关于数学的基本直觉也随之发生了根本性的转变:不再仅仅把世界看作一系列静止的对象加以研究,而是把它理解为一连串处于持续变化中的关系;不再仅仅关注事物固定的"形态",也开始关注事物持续的"变化"本身。 更重要的是,这种关联性使许多此前长期悬而未决的问题,忽然有了新的突破口:当某一类问题的直接求解较为困难时,往往可以转而求解与之互为逆运算的另一类问题,再借助二者之间的关联,间接得到原本的答案。微积分由此为数学家提供了一种新的研究策略:当正面的路径受阻时,可以尝试从相反的方向寻找突破。 四、从"近似"到"必然":极限思想的确立 然而,任何一项重大的发现在其诞生之初,往往都带有尚未完全成熟的痕迹。早期微积分所面临的最大问题,并不在于它缺乏实用价值,恰恰相反,问题在于它显得过于灵活,乃至有些令人不安——因为它处理"无穷小"这一概念时,常常显得较为随意:有时把它当作一个非零的量参与除法运算,有时又在得出结果后,将其作为可以忽略的部分直接舍去。这种处理方式,从严格性的角度来看,确实存在值得商榷之处;但从实际应用的角度来看,它却屡屡给出正确的结果,其精度足以支持炮兵的实际测算,支持天文学家的观测预测,也支持工程师的具体设计。 因此,数学界有必要为这套方法补充一份更为严谨的理论基础,这便是后来被称为"极限"的思想:不必真的假定存在某种性质暧昧的"无穷小实体",而只需要考察一个持续进行的过程——当某个量不断趋近于零、而相应的运算结果不断逼近某个确定的数值时,这个确定的数值,便是所要求解的答案。这相当于把此前较为直觉化的操作,重新纳入一套可以被清楚陈述、可以被验证、也可以被反复重现的逻辑框架之中。 极限这一思想的核心其实相当朴素:无论事先设定怎样的误差范围,总能够通过把切片切得更薄、把区间划得更细,使最终的结果落在这一误差范围之内。由此,“近似"便不再是一种含糊不清的处理方式,而转变为一种可以被严格控制、可以被证明成立的必然结论。 到这一阶段,微积分在理论层面已经初具雏形:关于无穷小的直觉认识已经相当成熟,处理切线与面积的具体技术已经积累了相当的经验,“瞬间"与"累积"之间的深层联系也已经被初步察觉;与此同时,整个时代对这类工具的现实需求,也已经达到了相当迫切的程度。此时,历史所欠缺的,只是有人能够把这些原本分散的成果加以整合,形成一套完整的理论体系,并为其配备一套足以广泛传播的表达语言,从而使它从少数人所掌握的技巧,转变为整个时代共享的知识财富。 这一步,最终落在了两位学者身上:一位更接近于探究宇宙运行规律的研究者,另一位则更接近于精心设计符号语言的学者。 五、微积分的诞生:牛顿与莱布尼茨 艾萨克·牛顿与戈特弗里德·莱布尼茨各自独立地建立起了微积分的理论体系,二人所走的路径虽有不同,却最终抵达了相近的结论:牛顿的思路,主要源自对运动着的物理世界的研究;莱布尼茨的思路,则主要源自对符号表达系统的探索。 牛顿最初接触"变化"这一问题,并非从优雅的曲线入手,而是从更为具体的自然现象入手:光、力、运动、天体的运行。他对自然界抱有极强的探究热情,不满足于仅仅描述现象本身,而致力于追问现象背后的原因——当他追问运动的规律,追问速度如何随时间改变,追问力如何使天体的运行轨迹发生弯曲时,很快便触及了"瞬间"这一此前难以精确处理的问题。 莱布尼茨的切入点则有所不同。他的研究并非从天体运动出发,而是从表达方式本身出发:如何使推理过程,像计算一样,具有稳定而可靠的形式?如何借助符号,把复杂的关系压缩为便于操作的表达式?他曾在巴黎生活过一段时间,期间接触到荷兰学者克里斯蒂安·惠更斯等人,这些学者习惯把几何、力学与天文学,都纳入同一套理性方法的训练之中。莱布尼茨由此逐渐意识到:真正具有长远价值的,并非某一道具体题目的解答,而是一种能够持续产出解答的普遍方法;并非针对某一条曲线的具体技巧,而是一套具有普遍适用性的运算语言。因此,他从一开始便着力于设计一套系统的符号体系——这套体系并非只服务于个人的研究,而是可以传授给他人、并能够不断扩展的表达语法:只要面对一个具体的变化过程,便能够依循这套语法,判断该如何书写、如何运算、如何把复杂的问题拆解为简单的部分,再把这些简单的部分重新累积为整体的结果。 牛顿把自己的方法称为"流数法”。在他看来,世界并非一幅静止的图景,而更接近一条不断流动的河:各类量并非静止摆放的既定对象,而是随时间持续流动、不断变化的存在。他把这类"处于流动状态的量"称为"流量”——位置、长度、面积,乃至任何随时间变化的量,都可以被视为流量;而这些量变化的速度,他则称为"流率",并采用一种简洁的记法来表示:在代表某个量的字母上方标注一点。 牛顿求解瞬时变化的具体思路,接近于借助一个极短的时间间隔,来推断某一时刻的状态:他并不直接尝试把握转瞬即逝的"瞬间"本身,而是设想给时间增加一个极其微小、几乎难以察觉的增量,通过考察在这一微小增量内所发生的变化,来推断该时刻的具体情况。在这一极短的时间间隔内,各个相关的量都会依照各自的流率发生相应的微小变化。牛顿方法的关键步骤,在于把这些经过微小变化后的新数值,重新代入原有的关系式之中,展开运算,再把其中"更高阶的微小项"——也就是那些相对于所考察的变化而言,可以忽略不计的部分——舍弃掉。之所以可以这样处理,是因为所要求解的并非"这段极短时间内精确到每一处细节的全部变化",而是"该时刻变化的方向与速率"。经过这一系列"代入、展开、舍弃高阶小量"的步骤,便能够得到一个关键的比值:这一比值,反映出曲线在该时刻的倾斜程度,也就是两个相关量各自流率之间的比例关系。 牛顿在处理"累积"问题时,同样体现出鲜明的物理学思路:若某个量代表变化的速度,那么与之对应的另一个量,便代表由这一变化速度所累积产生的总量——已知速度随时间的变化规律,便能够逐步推算出相应的总路程。他把这一类运算称为"求积",其背后所依循的,正是与求解瞬时变化恰好相反的一种逻辑关系:求导是从已知的量,推算出该量在此刻的变化情况;而求积,则是从已知的变化情况出发,反过来推算出对应的量本身。牛顿的研究路径,大体上是先建立起处理"运动与瞬时变化"这一部分的方法,此后才逐渐意识到,“累积"这一部分,其实与前者共享着同一套底层的逻辑。 相比之下,莱布尼茨的切入点显得更为温和:他并不像牛顿那样,首先着眼于天体的运行规律,而是首先着眼于如何建立一套清晰的表达方式。他所关心的核心问题是:能否使推理的过程,如同记账一样,一旦被完整地记录下来,便可以被他人重新核验、重新推演?为此,他把牛顿"标注在字母上方的一点"这一做法,转化为书写在纸面上的两个符号:以"dx"表示某个量"x"所发生的一个极小变化,以"dy"表示相应的量"y"所发生的一个极小变化。由此,“瞬时的变化率”,便可以清晰地表达为dy与dx之比。而对于"把无数个微小的变化累加起来"这一操作,他也设计了一个专门的符号——一个形似拉长字母的记号”∫",其含义正是把分散的微小部分重新汇聚为一个完整的整体。 在莱布尼茨所建立的体系中,微积分不再仅仅是某一位学者个人所掌握的独特方法,而更接近于一套具有普遍适用性的表达工具:借助这套符号系统,任何经过适当训练的人,都能够进入同一套理论体系,展开相应的运算与推理。也正因为这套符号体系在表达上更加系统、也更便于推广,莱布尼茨所设计的微积分符号,此后一直沿用至今,成为现代数学的通行表达方式。 六、微积分:理解世界的新语言 微积分最为深远的成就之一,是它建立起了"变化率"这一表达方式——可以将其理解为一种标准化的方式,用以描述"某个量究竟变化得有多快"。微积分把"曲线"这一概念,从单纯的几何图形之中解放出来,使它能够承载"过程"本身的记录:一条曲线不再仅仅是某种静态的几何形状,它也可以是温度随时间变化的轨迹,可以是人口增长的历史记录,可以是潮汐高度的日常变化,也可以是光线强度的持续起伏。微积分由此使曲线获得了描述世界的另一重语言:此前的语言长于叙述"是什么",而这套新的语言,则专门用以刻画"如何变化"。 由此,数学不再仅仅是研究图形的学问,而进一步成为解释自然规律的重要工具。这也正是近代科学发展的核心特征之一:不再局限于描述世界呈现出的样貌,而进一步致力于描述世界运行的机制。 微积分的确立,可以视为数学史上继古希腊几何之后的又一座高峰。古希腊数学所达到的高峰,是把"证明"这一方法,构建成一套完整而严密的体系;而微积分所达到的高峰,则是把"变化"这一此前难以处理的对象,转化为可以系统操作、反复运用的数学工具。前者使人类学会了在严密的逻辑中站稳脚跟,后者则使人类学会了在持续的变化之中,依然能够保持清晰的把握。 如果说古希腊几何近似于一座静态的殿堂,置身其中,能够感受到秩序与必然;那么微积分则更接近一座持续运转的观测台,置身其中,能够看到运动、增长、弯曲与无限逼近这些此前难以捕捉的现象,如同观察一片按照既定规律持续运行的星群。数学的关注重心,也由此从对"形态"的研究,逐渐扩展到对"变化规律"本身的研究。 微积分并非仅仅是一种"更为复杂的数学",而是一种"更为贴近现实世界运行方式的数学"。它使数学第一次大规模地与物理学、天文学、工程学、经济学、概率论与统计学等领域相互交织、彼此支撑,如同一条河流,携带着丰富的养分,持续滋养着此后几乎所有相关学科的发展;它也如同一盏灯,照亮了此前"连续变化"这一长期难以处理的领域——人们由此能够清楚地把握一条曲线在每一个瞬间的倾斜程度,也能够把此前分散、微小的变化,逐一收集起来,重新汇聚成宏观而完整的整体规律。这也正是微积分一经确立,便迅速在各个领域得到广泛应用的重要原因:它所满足的,不仅是数学家探索抽象规律的兴趣,更是整个文明对"可预测、可掌控"这一目标的持续追求,并由此为此后蒸汽机的轰鸣与电力时代的到来,铺垫下了必要的理论基础。

July 9, 2026

世界杯、冬夜,与自由

昨晚我特意定了闹钟,凌晨起来看阿根廷对阵埃及的比赛。这是我本届世界杯第一次熬夜看球,对于喜欢梅西,并追随阿根廷二十多年的球迷来说,我担心这会是梅西职业生涯里的最后一场世界杯比赛。 比赛的过程远果然比想象中艰难,前八十分钟,阿根廷完全找不到状态,甚至梅西都丢了点球。面对埃及严密的铁桶阵,他们迟迟打不开局面,反而被对手抓住反击机会,两度破门。那段时间,我几乎已经接受了他们会被淘汰的现实。 可是足球最迷人的地方,恰恰就在于它总会留下一点奇迹。 最后十分钟,仿佛沉睡已久的潘帕斯雄鹰终于醒来。进一个,再进一个,又进一个,短短几分钟完成惊天逆转。终场哨响时,我坐在客厅里,久久没有回过神来。 墨尔本的冬夜有些冷,还好今晚开了暖气。电视机的光映着窗外漆黑的夜色,我忽然意识到,以后的世界杯,大概都会是在南半球的冬天里度过了。 这一幕,也让我想起四年前的卡塔尔世界杯。那同样是冬天,只不过是在北京。那时儿子还处于婴儿期,决赛踢到一半,他突然哭醒。我一边抱着他轻轻哄着,一边继续盯着电视,不愿错过任何一分钟。后来那场决赛真的成为我看球三十多年来最难忘的一场。我甚至认为它会是二十一世纪最精彩的一场世界杯决赛。 除了比赛本身,我也难以忘记那届世界杯期间的心情。 世界杯期间,三年疫情带来的漫长封锁进入最严厉也最荒唐的时期。当世界杯揭幕战开始的时候,我坐在电视机前,竟然有一种想哭的冲动。脑海里不断闪过从前的世界杯:南非世界杯,巴西世界杯,德国世界杯和韩日世界杯。那时候,我们可以说走就走,可以去任何想去的地方,可以和来自世界各地的人相聚。世界是连通的,边界仿佛只是地图上的一条线。 那一晚,我第一次如此强烈地意识到,人本来就应该自由地生活,自由地行走,自由地去看看这个广阔的世界。 世界杯之于我,已经超出足球本身,它把人生不同阶段的记忆串联起来:韩日世界杯是青涩的高中记忆,德国世界杯是成长与恋爱的大学时光,南非世界杯是北漂的打拼岁月,巴西世界杯则是新婚和新家的美好日子,俄罗斯世界杯是初为人父的迷茫和思考时期,卡塔尔世界杯是压抑环境中对自由世界的渴望。时间在流逝,生活在变化,但当熟悉的世界杯主题音乐响起时,那种激动依然和很多年前一样。 或许多年以后,我已经记不清某场比赛的比分,却依然会记得那个冬夜,暖气轻轻吹着,窗外寒风呼啸,我坐在沙发上,等待阿根廷完成那场不可思议的逆转,也等待自己与过去的一次重逢。

July 8, 2026

《数学的故事》第十三章:微积分风暴前夜——无穷小、切线与新科学的骨架

“如果说我看得更远,那是因为我站在巨人的肩膀上。” —— 牛顿(Isaac Newton) 十七世纪初的欧洲,人们开始更加频繁地抬头看天体的轨道,低头看炮弹的落点,进而追问一切运动背后那条隐秘的"规律之绳"。古希腊曾把"静止的美"雕刻成几何学:点、线、面,如大理石一般冷静而永恒;而此时的欧洲,却被一种新的追求驱动着——要描述变化,要抓住流动,要把"正在发生"转化为"可以计算"的对象。 这场变化并非由某一位天才在某个瞬间灵光乍现、宣布"发明了微积分"而突然发生。它更接近一条源头分散的河流:商人的账本、炮兵的弹道测算、钟表匠手中的齿轮、航海家依赖的星图、教堂里关于命运与机会的辩论……这些看似互不相干的领域,最终都汇入了同一条河道——对"连续变化"的描述需求。微积分并非凭空出现的成果,而更像一座由数代人逐步搭建的桥:直到桥面最后一块石板落定,人们才意识到,自己已经能够从"静态的几何王国",跨入"动态的变化世界"。 本章要讲述的,正是这座桥的前半段:桥墩已经稳稳地插入河床,桥梁的轮廓也已在酝酿之中,只是尚未真正合拢通行。 一、开普勒与伽利略:旧宇宙观的松动 要理解微积分诞生的背景,需要先回顾两项重要的突破:一项来自对天体的观测,一项来自对地面运动的研究。 第一项突破来自天文学。古人习惯把天体运动想象为一种"完满"的状态:圆形轨道,匀速运动,天上世界与人间世界泾渭分明。开普勒却依据长期积累的观测数据,得出了不同的结论:行星运行的轨道并非正圆,而是椭圆;行星运行的速度也并非恒定,而是随位置发生变化。这一发现,对当时普遍持有的"宇宙应当完美"的观念,构成了相当程度的挑战——但观测数据本身,并不会因为人们的偏好而有所改变。 第二项突破来自伽利略对运动的研究。此前,人们讨论运动时,常常使用"本性"“目的"“倾向"这类较为抽象、难以量化的概念。伽利略则通过实验的方式,把运动转化为可以测量的对象:时间、距离、速度、加速度,这些概念后来都将成为微积分发展的重要基础。在伽利略的研究中,运动不再仅仅是定性的描述,而成为一组可以记录、可以分析的数据关系。要准确描述一个物体下落的过程,就需要说明它在每一个时刻的具体状态;要解释速度如何变化,就必须面对"某一瞬间的速度"这一此前未曾被严格定义的概念。由此,人们第一次被迫认真思考:什么是"某一时刻的速度”?什么是"在无限短的时间间隔内发生的变化”?这两个问题,后来将在微积分中以更加严谨的形式被重新提出并加以解决。 开普勒把"天体运动的变化"呈现在世人面前,伽利略把"物体运动的变化"呈现在世人面前,二者共同指向同一个尚待解决的问题:如何用数学的方式,描述连续变化的过程?古希腊的几何学,擅长处理"已经完成的形状",却难以处理"正在形成的变化"。圆与三角形可以被清晰地证明,但速度在每一瞬间如何改变,轨道在每一处如何弯曲,这些问题在传统几何的框架之内,很难得到有效的处理。微积分的诞生,正是为了给这类"连续变化"提供一套可以操作的数学语言。 二、笛卡尔:把几何转化为可以书写的语言 在这一发展过程中,笛卡尔的贡献,近似于率先绘制出一套可供后人使用的"工程图纸"。此前,若仅凭直觉和图形处理几何问题,往往颇为繁琐;而一旦引入坐标与方程,便可以先在纸面上进行推演,计算相关的数值关系,而不必依赖直接的图形操作。 笛卡尔所完成的工作,是把几何从主要依赖图形直觉的领域,转化为可以用符号系统表达的领域。他为平面引入了坐标系统:横轴、纵轴,以及由此确定的坐标。点不再仅仅是几何图形中的一个位置,而具备了明确的数值"地址";线也不再只是图形本身,而可以通过一个方程来表示。几何由此不再完全依赖图形,也开始依赖代数运算;而代数方法一旦介入,数学便获得了更为灵活的处理工具:变形、代换、消元、推导,这些操作在纸面上远比直接依靠图形来得高效。 这一变化,看似只是表达方式上的调整,却对微积分的发展至关重要。因为"变化"的规律,往往蕴含在曲线的形态之中,而曲线恰好适合用方程来表达。一旦曲线能够被写成方程,人们便可以进一步追问:这条曲线在某一点的走向如何?它在这一点上的陡峭程度如何?它所围成的面积又该如何计算?这些问题,在古希腊几何学的框架下也曾被提出,但每一条曲线往往需要单独处理,缺乏一种普遍适用的方法;而在笛卡尔之后,曲线可以被纳入统一的代数表达体系之中,处理起来也更为系统。 可以说,笛卡尔为微积分的发展提供了一个必要的舞台:从此,“变化"不必仅仅停留在定性的讨论层面,而可以在坐标系中被清楚地呈现,也可以在方程中被具体地计算。不过,舞台虽已搭建,真正的核心问题——如何准确处理"某一点的瞬时变化率"与"某一区域的累积总量”——仍有待后续的学者进一步探索和解决。 三、帕斯卡与费马:在"无限"边缘的探索 如果说笛卡尔的工作近似于奠定整体结构的建筑师,那么帕斯卡与费马的工作,则更接近深入"无限"这一较为陌生领域的探索者:那里的许多问题,此前很少被系统地处理过,但也正因如此,蕴含着丰富的可能性。 费马对微积分的贡献,接近于提前完成了"导数"概念的初步构想。他研究曲线的切线问题,研究函数取得最大值与最小值的位置,也研究曲线走向发生转折的"临界点"。若仅仅依靠传统几何的尺规作图方法,处理这类问题相当困难。费马采用的方法是:先让某个量发生一个极小的变化,比较变化前后的差异,再考察当这一变化量趋于零时,所呈现出的规律。他虽然尚未建立起后世那套严格的极限理论,但已经在直觉层面把握住了关键:要理解某一点的性质,需要考察它在极小邻域内的变化情况。 这体现出一种较为新颖的思维方式:不再把研究对象仅仅当作一个已经完成的静止实体来看待,而是将其视为一个持续变化的过程;不再仅仅追问"它是什么",而是进一步追问"它如何变化"。这种思路,后来在微积分中被系统化为一套标准的处理方法:取一个微小的增量,计算相应的差商,再让这一增量趋于零。费马的工作,可以视为这一方法较早的一次具体实践。 帕斯卡的研究,则主要集中在面积、体积以及曲线下方区域的累积计算——这一领域,后来发展为积分学的研究范畴。要计算曲线下方的面积,古希腊人所使用的方法是"穷竭法":用边数不断增加的多边形去逐步逼近曲线所围成的区域。这一方法虽然严谨,但过程较为繁琐、耗时较长。帕斯卡则试图寻找一种更为灵活、也更具操作性的方式,把这种"无穷逼近"的过程,转化为相对简便的计算表达。 他对圆锥曲线的研究,以及对无穷过程本身的深入思考,都为积分方法的发展做了必要的铺垫。更重要的是,他推动人们逐渐习惯于处理"无穷"这一概念:无穷不再被视为神秘而不可触及的领域,而逐渐成为一种可以被系统研究、加以驾驭的数学工具。此后,微积分将大量运用无穷级数、无穷小量与极限过程,这些方法的建立,都离不开这一阶段所积累的经验与信心。 帕斯卡与费马,一位主要探索瞬时变化的切线问题,一位主要探索累积总量的面积问题——二者的工作,恰似从两端同时推进的一项工程:一端通向微分,一端通向积分。虽然当时这两条路径尚未真正贯通,但已经能够看出,二者最终将汇合于同一套理论体系之中。 四、瓦里斯:把无穷转化为可计算的符号 在微积分正式建立之前,还有一批学者的工作,常常容易被后人忽略:他们的名声不及牛顿与莱布尼茨那样广为人知,但他们的工作,却为后续理论的建立提供了不可或缺的基础准备。 约翰·瓦里斯便是这一类学者的代表人物。他所关注的问题,是如何运用代数方法与无穷级数,来处理面积与体积的计算;如何把曲线下方的面积问题,转化为一系列可以计算的项。他与同时代的学者共同推动了一种趋势:把原本依靠图形直观理解的几何问题,逐步转化为可以通过代数运算处理的问题。曲线不再仅仅被视为一种图形,也可以被表示为数列、级数或展开式。这一思路,可以理解为:把连续变化的对象,分割为无穷多个微小的部分,再通过加法运算,把这些部分重新组合起来。 这正是积分思想较早的雏形:面积可以理解为无数条极细竖条面积之和,体积可以理解为无数个极薄切片体积之和。若不具备处理"无穷多个微小部分"这一思路的信心与相应的代数工具,便难以推进到这一步。瓦里斯等人的工作,正是在纸面上系统训练这种操作能力,使数学家们逐渐意识到:无穷本身并不构成障碍,真正的挑战在于建立起一套能够准确描述"无穷"的数学语言。 到了十七世纪中叶,数学领域出现了一个颇为有趣的局面:许多学者都在各自研究"无限小"“无限多"“趋近"“逼近"等相关问题,却尚未形成一套统一的理论体系,把这些分散的方法整合起来——有人运用这些方法求解切线问题,有人用以计算面积,有人用以解决极值问题,也有人用以展开级数。而微积分即将确立的一个重要标志,便是这些原本各自独立的方法,将逐渐被认识到,其实同属于一个更为统一的理论框架。 五、另一条并行的河流:概率论的萌芽 这一时期,还有一条与微积分的发展气质颇为相似的研究脉络在同步展开,那便是概率论的早期萌芽。二者的相似之处在于:都是把此前较为模糊、难以精确处理的"不确定性"与"连续变化”,纳入了系统化的数学计算之中。 概率论的起源,常常被追溯到与赌博相关的具体问题——例如,如何在赌局中途中断的情况下,公平地分配赌注。这类问题背后真正值得关注的,是帕斯卡与费马之间就此展开的严谨讨论。在此之前,人们讨论运气问题时,常常带有较强的宗教色彩,将其归于天意;讨论风险问题时,也容易滑向道德评判,例如将冒险归结为贪婪。而帕斯卡与费马,则把这一问题置于数学的框架之中来处理,如同讨论几何命题一般,运用枚举、组合、递推等方法,系统地分析比赛中断时应当如何公平分配赌注这一具体问题。 概率论的萌芽与微积分的发展,都涉及对"累积"过程的处理:不再只关注单次事件的具体结果,而是考察大量可能情形叠加所呈现出的整体规律;不再只关注某一瞬间的状态,而是着眼于长期的平均趋势。微积分需要处理的是"无穷小的变化"如何累积成"有限的总量”,概率论需要处理的则是"大量可能性"如何累积成"可以预期的规律”。这两条研究脉络在十七世纪同时兴起,也从一个侧面反映出,当时人们的思维方式正在发生转变:不再满足于单纯解释世界运行的原理,而希望借助系统化的计算方法,进一步把握与预测世界的规律。 值得一提的是,概率论此后也在一定程度上,反过来影响了微积分的发展方向。因为一旦需要认真处理随机现象与概率分布,便不可避免地要面对连续量、曲线与面积(概率密度所对应的面积即代表概率)等问题,也需要借助极限与逼近的方法。这两个研究领域,在此后的数学发展中,产生了越来越紧密的联系。但在当时,它们更像是从同一片土壤中萌发的两株幼苗——这片土壤,正是这一时期逐渐兴起的、对理性方法的信心。 结语:桥面即将合拢 微积分诞生之前的这段酝酿过程,并非仅仅依靠几位杰出学者各自孤立的思考,而是整个时代的现实需求,共同推动数学不断更新自身的表达方式与理论框架。 开普勒的研究表明:天体的运动并非匀速的圆周运动,而是不断变化的椭圆轨道,需要一套能够描述这种变化的方法。伽利略的研究表明:运动本身可以被精确测量,速度与加速度需要建立在明确的数学语言之上。笛卡尔提供了一套系统的表达方式:把曲线转化为方程,把几何问题转化为可以计算的代数问题。费马在研究切线与极值的过程中,初步触及了"瞬时变化率"这一核心概念。帕斯卡等学者,则在处理面积与级数问题的过程中,逐步积累了处理"无穷累积"的方法与经验。而概率论的萌芽,也从另一个角度表明:即便是运气与不确定性这类此前难以量化的现象,同样能够被纳入理性的计算框架之中。 到了十七世纪中叶,整个数学界弥漫着一种颇为紧张的预感:仿佛正站在两个领域的交界处——一边是传统的古典几何,另一边则是尚待建立的"变化的数学"。各方面的探索已经积累到相当的程度,只待一次系统性的整合,便能够开辟出一条全新的研究路径。 下一章将要讲述的,正是这一整合真正发生的过程——微积分的正式确立。届时,当人类第一次能够运用一套统一的方法,把握瞬时变化、累积总量、运动规律、曲线性质,以及天体与万物变化背后共同的数学脉络时,这场跨越数代人努力所积累的突破,才真正迎来它决定性的时刻。

July 6, 2026

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

“数学的本质,就在于它的自由。” —— 康托尔(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