“代数与几何分离时,它们的发展都是缓慢的;当两者结合时,它们便互相赋予新的生命力,并以迅猛的步伐共同迈向完善。”
—— 拉格朗日(Joseph-Louis Lagrange)
微积分一旦诞生,便迅速在整个欧洲学界流传开来——有人用它探究天体的运行,有人用它处理曲线的性质,有人用它研究水流与钟摆的规律;也有人围绕着"发明权"与"名誉归属"争执不休,门内门外为此吵作一团。但争议归争议,这套工具本身的实用价值,并不会因此而消失:它依然能够转动此前难以撬开的锁芯,让许多此前悬而未决的问题,重新有了突破的可能。
牛顿式的微积分,更接近一件深藏于研究者个人笔记之中的工具,锋利、沉重,带着浓厚的物理学气息;莱布尼茨式的微积分,则更接近一套面向公众的新语言,轻便、易于书写、便于教学,也便于在不同学者之间交流。到了十八世纪,第一批投身于这一领域的数学家,并未把微积分仅仅视为"哲学家书斋中的思辨对象",而是把它当作一种能够切实解决实际问题、赢得学术声誉的有力工具。
这一章所要讲述的数学家,并非微积分的发明者,却是使这门学问真正"活跃起来"的一批人:他们把一项属于个别天才的创造,逐渐转化为整个时代共享的知识财富。一门新学问能否真正改变世界,往往取决于"第二批人"——那些愿意系统地传播它、讲授它、改进它,并把最初的成果推向更广泛人群的人。
一、巴黎的课桌与巴塞尔的挑战:洛必达与伯努利家族
微积分真正成为"欧洲共同语言",很大一部分功劳并不在于开创者本人,而在于此后从事教学与整理工作的学者。洛必达出身法国贵族,是一位对这门新兴学问抱有浓厚兴趣的爱好者。他所追求的,并非"独自发明某种全新成果"这样的荣誉,而是一个相对朴素的目标:把这门新学问系统地学会、清楚地写出来,并教授给更多的人。
洛必达在数学史上最重要的身份,几乎可以用一个词来概括:教科书的编写者。在一门新学问刚刚诞生的阶段,一部系统的教科书往往具有特殊的意义——它意味着这门学问开始从"少数人所掌握的秘技",转变为"多数人能够学习的技艺"。天才或许能够独自开辟出一条道路,但教科书能够把这条道路加以整理、标注清晰的路标,使普通的学习者也能够沿着这条路走下去,甚至走得更远。
洛必达的著作之所以重要,并非因为他在理论深度上超越了牛顿,也并非因为他的研究早于莱布尼茨,而是因为他把此前分散的各类技巧,系统整理成了一套可供训练的固定程序。他把微分的具体操作、曲线切线的求法、极值问题的处理方法,以及若干常见的疑难问题,依照一定的逻辑顺序加以排列,使学习者能够依循这一顺序,逐步掌握相应的方法。而在他的著作背后,实际上还站着一个更接近"数学工坊"性质的家族——伯努利家族。
如果说牛顿与莱布尼茨是这一领域的两座高峰,那么伯努利家族便是山脚下最为勤勉的一支开拓队伍。这个家族的成员,彼此之间既相互竞争,又相互扶持、相互激励:雅各布与约翰这对兄弟,此后又加入了更为年轻的丹尼尔。他们共同的特质,是极强的好胜心、敏捷的思维,以及对疑难问题近乎痴迷的热情。
微积分刚刚兴起之时,伯努利家族做了一件颇具推动作用的事情:他们不断提出各类难题,公开向欧洲学界发起挑战,邀请各方学者前来应战。微积分正是在这样持续的挑战与应战之中迅速走向成熟——因为一项工具往往只有在实际应用之中,才能真正显现出它的局限与潜力所在。
其中最为著名的一次挑战,是"最速降线问题"。这一问题的表述相当直观:一颗小球在重力作用下,从一点滑向另一点,沿着哪一条轨迹滑行所需的时间最短?若单凭直觉,人们往往会认为直线距离最短,因而耗时也最短;但事实上,直线未必是耗时最短的路径。若考虑到"起始阶段陡一些有助于加速"这一因素,又该如何确定曲线的具体弯曲程度?
这一问题的独特之处在于,它促使数学不再仅仅关注"形状本身",而开始处理"最优选择"这一全新的问题类型:在无数条可能的曲线之中,究竟哪一条才是最优的?这已经超出了传统几何学所擅长的范畴,而更接近一种带有工程学色彩的判断——在无限多种可能性之中,寻求最优的具体方案。这正是此后被称为"变分法"这一研究方向的最初雏形。
伯努利把这一问题公开提出之后,欧洲学界最为杰出的一批学者纷纷应战:有人借助几何学上的巧妙构思,有人则运用新兴的微分方法。其中最富戏剧性的一幕,与牛顿有关:据说他在处理繁忙的公务之余收到这一题目,仅用一夜的时间便完成了求解,次日以匿名的方式将解答寄出——这一举动似乎在表明:他虽已不再主动参与这类学术竞赛,却依然具备赢得比赛的实力。这类轶事的具体细节未必完全可靠,但它确实说明了一点:微积分此时已然成为一处颇具竞技色彩的学术领域,而牛顿即便置身场外,仍被公认为其中最具分量的一位参与者。
对伯努利家族而言,这场竞赛更接近一次系统性的训练过程。他们不仅致力于求解具体的难题,还进一步把求解的过程,整理成可以被反复运用的方法,促使微积分逐渐能够处理更为复杂的问题:变化本身的变化,曲线本身的曲率,以及"最优"与"极值"之间那种颇为微妙的临界状态。
而身处巴黎的洛必达,则把这些分散的研究成果加以系统整理,编写成条理清晰的教材。历史上还留下了一段颇具争议的插曲:洛必达与约翰·伯努利之间曾订立过一项私下协议——由伯努利提供最新的研究成果与相关讲解,洛必达则支付相应的报酬,并获得使用这些成果的权利。这一安排此后引发了关于"成果归属"的争议:某些以洛必达之名流传的著名法则,其原始的研究成果,究竟应当归功于谁?由此可见,微积分这门学问,似乎从诞生之初,便伴随着某种"归属之争"的特质:从牛顿与莱布尼茨之间的争执,到教材与手稿之间的权属问题,学术声誉如同影子一般,始终伴随着这些研究成果。
不过,从文明发展的角度来看,这类争议的出现,恰恰说明微积分已经真正进入了现实社会的知识交换体系之中——它不再仅仅是某一瞬间的灵感闪现,而已经成为一种可以被公开讨论、被广泛应用的知识资产。人们围绕它所展开的种种争夺,恰恰印证了它自身所具备的重要价值。
二、把无限写成可控的近似:泰勒与"展开的思想"
在微积分不断扩张的过程中,除了公开的学术竞争与系统的教材编写之外,还存在着一种更为安静、却同样深刻的推动力量:把复杂的对象转化为可以逐步逼近、可以具体计算的形式。这一方向的代表人物之一,便是布鲁克·泰勒。
此前提到,牛顿所创立的微积分体系,带有一种较为质朴的气质:它坚实可靠,却在符号表达上略显繁重;它思想深邃,却在具体形式上不够灵活便捷。牛顿更倾向于使用"流数"与"流率"这类术语,其思考方式更接近一位专注于观察自然运行规律的哲人,而非一位擅长在符号之间灵活推演的技术专家。这种表达方式,在思想层面固然极具分量,但在具体运算的形式上,却显得较为繁琐。
然而,即便在这一表达方式尚显保守的学术背景之下,仍有敏锐的学者能够洞察出隐藏于既有符号体系背后的更深层规律。泰勒正是这样一位值得关注的学者。
泰勒并非那种以宏大理论体系震动整个学界的革命性人物,而更接近一位耐心细致的研究者。他在牛顿所留下的研究工具基础上,深入钻研,最终发现了一条具有普遍意义的重要规律:任何足够光滑的函数,都可以在某一点的附近,展开为一个无穷级数。这一发现,此后被称为"泰勒展开"或"泰勒级数"。
这看似只是一项技术性的成果,却在无形中深刻地改变了数学的表达方式。它把曲线转化为多项式的形式,把复杂的问题转化为相对简单的问题,把持续的变化过程,拆解为一层层可以逐步计算、逐步逼近的结构。它向人们表明:即便面对的对象无限复杂,依然可以在某一局部找到理解与把握这一对象的切入点。这为此后的数学家提供了极为重要的启示:当面对一个难以直接完整处理的复杂对象时,不必强行把握其整体,而可以在某一具体的点附近,把这一对象拆解为一系列层层递进的近似:先把握住其中最为主要的部分,再逐步添加相应的修正项,进而添加更为精细的修正——如同绘制一幅肖像画:先用较粗的笔触勾勒出整体轮廓,再用中等的笔触添加明暗层次,最后用极细的笔触刻画出神态细节。
这种思路虽然听起来接近艺术创作的方式,实际上却成为近代科学得以运转的重要基础。因为现实世界中充满了各类复杂的现象:天体运行中的摄动问题,弹簧的振动,流体所受到的阻力,热量的传播方式……若一味要求一次性得出"完全精确"的结果,往往会耗费极为漫长的时间,难以取得实际的进展。但若能够采用逐层逼近的方式,便能够把复杂的问题,转化为"可以计算到所需精度"的具体任务。这一思路,在工程实践与天文观测领域,具有极为重要的实用价值:不必追求绝对完美的认知,只需具备足够精确的近似结果,便足以支撑桥梁的建造、航海的导航,以及钟表的校准等各类实际工作。
泰勒所提出的这种展开方法,也在一定程度上改变了微积分本身的性质:它使微积分不再仅仅是一门"求解瞬时变化与累积总量"的学问,而进一步成为一门"把未知转化为可控误差"的学问。数学家们由此逐渐学会了这样一种表述方式:眼下所给出的,或许只是一个较为粗略的答案,但已经掌握了系统改进这一答案的具体方法;误差本身,并非某种令人羞于承认的缺陷,而是一项可以被合理管理、可以被主动控制的"预算"。
这一转变具有相当重要的意义,因为它使微积分真正融入了此后逐渐兴起的计算文化之中:一套理论方法,不仅需要在逻辑层面成立,还需要在具体的数值计算中真正可用。此后,欧洲的数学家们,愈发倾向于以一种接近工程师的态度来处理问题:只要相应的误差能够被合理压缩、能够被准确估计、能够被反复验证,他们便愿意接受结果中所包含的一定误差。
值得关注的是,这一时期还呈现出一个更为宏观的发展趋势:牛顿时代的微积分,更多依靠个别天才的直觉与洞察;而泰勒之后的微积分,则愈发接近一套经过系统训练的、可以被广泛掌握的技术方法。它逐渐形成了固定的思路、明确的步骤,以及可供反复练习的标准方法,从而能够在课堂教学中被大量地传授与复制。文明的进步,在很多情况下,正是通过这样一种方式实现的:把原本仅属于少数人的灵感,转化为多数人皆可掌握的实际技能。
三、逻辑的诘问:贝克莱的质疑与严密化的先声
就在微积分以相当迅猛的速度不断扩张应用范围之时,有一位学者站在这一发展进程的旁侧,提出了颇为尖锐的质疑。贝克莱本身是一位主教兼哲学家,并非数学领域中擅长具体解题的专家,但他所提出的问题,却精准地触及了当时微积分体系中最为敏感、也最为薄弱的一处环节:这套方法所依赖的"无穷小",在运算过程中,有时被当作一个非零的量来参与除法运算,有时却又在得出结果之后,被当作可以忽略不计的部分直接舍去——这种处理方式,究竟能否被称为严格的推理?所谓的"无穷小",究竟是一种真实存在的对象,还是仅仅是一种用后即弃的权宜说法?
这一质疑之所以颇具分量,是因为它并非来自数学领域内部的竞争对手,而是来自逻辑学与宗教信仰领域的重要人物。在当时,数学家们时常以"神学家的论证同样并不严密"这类说法,来回应外界对宗教教义的质疑;而贝克莱则反过来,以同样的逻辑标准,对数学家的推理方式提出诘问,追问这些推理是否真正配得上他们所自诩的清晰性与确定性。
他最为尖锐、也最常被后人引用的一句评论,是把"无穷小"比作"消逝量的幽灵":数学家们前一刻还让这一概念在推理过程中发挥实际作用,转过身却又将其从结果中彻底剔除,宣称"它已不复存在"——这样的处理方式,究竟属于严谨的科学方法,还是某种巧妙的障眼法?
贝克莱恰好站在了一个颇具意义的历史节点之上:此时的微积分,虽已强大到足以解释诸多自然现象,却尚未能够把自身的理论基础完全阐述清楚。这如同一座建造速度极快的建筑:楼上已然住满了人,但楼下的产权文件却尚未完全办妥。贝克莱的质疑,并非意在推倒这座建筑,而更接近一种提醒:无论这座建筑建得多高,其地基,同样需要得到应有的补充与巩固。
这一质疑,并未使当时的数学家们立即改变自己既有的研究方式——毕竟他们对这套工具的实际需求过于迫切,难以轻易放弃。但贝克莱所提出的疑问,如同一粒落入齿轮之中的细沙:数学研究依然能够照常推进,但学界也逐渐意识到,这套方法确实有必要经过更为精细的打磨。从心理层面而言,微积分此后走向理论严密化的历程,确实需要这样一种来自外部的持续压力:有人明确指出,“你们此前所取得的胜利,或许来得过于轻易,理应把这笔账目重新核算清楚。”
四、欧拉:像巨轮一样贯通整个时代
若要为这一时期的微积分寻找一个恰当的比喻,欧拉近似于一台巨大的水车:无论水流来自哪一条河道——微分方程、无穷级数、曲线理论、力学、天文学、数论——这台水车都能借助水流的力量持续转动,再把这股动力,源源不断地分发到无数座磨坊之中。伯努利家族此前为微积分的发展提供了持续的挑战与燃料,而欧拉,则近似于把这些分散的燃料,汇聚成一台运转不息的发动机:微积分自此不再仅仅是两三位大师私下掌握的精深技艺,而逐渐成为一整套能够持续、大规模产出研究成果的完整体系,欧拉正是这台体系之中,转动得最为响亮的那根主轴。
欧拉一生的具体经历与全部贡献,分量极重,值得用专门的篇幅细致展开,本书此后将另辟一章,专门讲述这位数学史上极为重要的人物,此处暂且按下不表。此刻,不妨把目光转向另外两位同样值得关注的人物——达朗贝尔与拉格朗日。他们代表着微积分扩张进程中的另一种成熟形态:从具体解题,走向系统结构;从零散技巧,走向普遍原则。
五、达朗贝尔:把运动写成"可论证的秩序"
达朗贝尔是法国启蒙时代颇具代表性的一位学者:他相信理性能够梳理这个世界,相信数学方程能够驯服自然界的复杂现象,也相信科学研究,需要更为清晰的表达方式与更为严格的论证过程。他所处的时代,学会、沙龙与百科全书式的知识整理工作正蓬勃发展——知识不仅需要在内容上准确无误,还需要能够被系统地写入公共的知识体系,融入整个社会对理性的普遍信心之中。
在微积分不断扩张的历史进程中,达朗贝尔的角色,近似于一位致力于把此前杂乱的研究成果加以系统整理的学者。伯努利家族擅长提出难题、并致力于解决难题;而达朗贝尔则更为关注:能否把这些难题背后所蕴含的内在机制,阐述得更加清晰?能否把某一类运动、某一类振动、某一类力学问题,纳入一套统一的理论结构之中加以表达?
在他的研究中,微积分逐渐呈现出一种类似"自然规律语法"的性质,这一点在振动与波动这类问题的研究中体现得尤为明显:当一根琴弦被拨动之后,它的形态将如何随时间发生变化?声音的高低究竟由何决定?振动又是通过怎样的方式向外传播?若仅仅依靠几何直觉来处理这类问题,往往会被瞬间的局部变化与整体的形态变化所困扰;而微积分则如同一支得力的笔,能够把"每一瞬间所发生的局部变化",系统地连接为"整体随时间推移而呈现的完整演化过程"。达朗贝尔把这一类演化过程,阐述得更接近一条严谨的自然定律,而不仅仅停留在具体的解题技巧层面。
同样值得关注的是,达朗贝尔在治学的整体气质上,已经颇为接近此后数学"严密化"进程的先声。他对级数的收敛性、对极限概念,以及对推理链条的严谨程度,表现出了相当敏锐的关注,这也预示着分析学此后将逐渐从"实际有效",进一步走向"能够清楚说明为何有效"这一更高的要求。这并不意味着他本人已经完成了这一严密化的历史任务(这一使命此后主要由柯西、魏尔斯特拉斯等学者完成),但他的研究,已经使人们隐隐感受到:微积分这把此前锐利的工具,在应用范围不断扩大的同时,也愈发需要对其刀背与刀柄部分进行细致的打磨——否则,这把工具本身,也可能因逻辑上的疏漏而带来新的风险。
六、拉格朗日:把微积分从图形中解放出来
如果说达朗贝尔使微积分更接近一种系统的秩序,那么拉格朗日,则使微积分进一步接近一台纯粹的分析机器。
拉格朗日的重要贡献,在于他把微积分进一步从具体的图形与直观的几何形象中抽离出来,推向一种更为抽象、更具普遍性、也更接近符号逻辑的理论结构。他治学的态度,近似于一位极为严谨的语言学家:不满足于含糊不清的表述,也不容忍逻辑上的例外情形,力求使一切论证,都能够在同一套严密的表达体系中得以呈现。在他看来,几何图形固然直观、易于理解,但图形本身也容易使人产生某种思维上的松懈:仅仅因为"看起来"符合某种规律,便误以为这一规律已经得到了严格的证明;仅仅因为图形绘制得较为逼真,便误以为相关的结论必然正确。拉格朗日更倾向于借助纯粹的分析方法,把全部的论证都严格限定在符号推演的层面:不能依靠直观的图形蒙混过关,而必须依靠系统的推导、严谨的结构,一步一步地把结论真正推导出来。
这一转变,带来了一项颇具历史意义的后果:微积分从此不再仅仅被视为"处理曲线问题的一系列技巧",而更接近"处理各类数量关系的通用引擎"。研究者不必事先绘制出具体的曲线图形,只需明确写出相应的数量关系,微积分便能够依循既定的规则,完成后续的运算与推导。自然现象由此被转化为具体的数量关系,数量关系又被进一步转化为变化的规律,而变化的规律,则被转化为可以直接操作的运算程序——微积分最终发展成为支撑现代科学运转的一套基础性方法体系。
这一转向在力学研究领域,体现得尤为明显。牛顿时代的力学研究,主要处理的是"可以直观感知的力":对物体施加推力或拉力,物体便随之产生相应的运动;只要把作用力明确写出,物体的运动轨迹便可依此确定。而到了拉格朗日的时代,力学研究,则更多地转向"系统结构层面的力":不必逐一关注系统中每一根绳索、每一处铰链的具体状态,而可以在更高的层面上,描述整个系统所受到的约束条件与所具备的能量关系,进而借助系统的分析方法,推导出该系统的运动规律。由此,一个原本极为复杂的机械系统,其运动规律,便得以从"难以逐一想象的具体细节",提升为"可以统一处理的一般形式"。这不仅是数学研究方法上的一次重要突破,也体现出工程思维的一次深刻转变:从关注局部具体的零件,转向关注系统整体的结构。
此外,拉格朗日同样是推动微积分走向理论严密化的重要人物之一。他曾尝试借助级数展开等分析方法,为微积分构建更为坚实的理论基础,试图以一种更接近算术运算的方式,替代此前较为含糊的"无穷小"直觉。虽然从后世更为严格的标准来看,这一尝试,并未能够彻底解决微积分理论基础中存在的全部逻辑问题,但它确实体现出一个重要的发展方向:微积分不再满足于仅仅作为一种实用的计算工具存在,而开始追求成为一套具有法律般严谨性的理论体系;不再满足于"能够得出正确的计算结果",而进一步追求"能够清楚地证明为何这样计算是正确的"。
七、微积分:一种"文明的共同肌肉"
微积分诞生之初,近似于一场天才思想的骤然迸发:牛顿与莱布尼茨各自在相对独立的研究环境中,几乎同时把握住了这一深刻的理论突破。那一时刻,无疑是孤独的、充满思想张力的,也带有某种极具开创性的历史意味。然而,这样的思想突破,若缺乏后续的持续传播,其影响范围终究有限,如同一道闪电,虽足以照亮短暂的瞬间,却难以持续照亮整座城市。真正使这份思想成果,得以广泛流传、持续发挥作用的,正是此后一批学者的共同努力。
洛必达把这门新兴的学问系统整理成教材,使其得以被广泛学习与传播;伯努利家族通过持续提出难题、展开公开的学术竞争,推动这一工具不断得到检验与改进,并由此催生出"最优化"这一全新的研究方向;泰勒把它发展为逐层逼近的系统技艺,使复杂的现实问题能够被计算到所需要的精度;贝克莱则指出了"无穷小幽灵"背后所隐藏的逻辑漏洞,为此后理论层面的严密化敲响了最初的警钟;欧拉几乎贯通了当时数学的各个分支,证明这一工具已经具备了大规模、系统化产出研究成果的能力;达朗贝尔使微积分更接近于对自然规律的一种系统表达;拉格朗日则使它进一步摆脱对具体图形的依赖,发展成为一套更具普遍适用性的抽象分析工具。
微积分由此从少数天才思想的产物,逐渐演变为一场深刻的社会化建设工程:它从两位开创者的书桌,走入千百位学者的课堂、学会、书信与论著之中,最终成为现代世界中一种极为自然的思维方式。一旦掌握了这套方法,人们便会不自觉地借助它来观察这个世界——观察增长的趋势,观察衰减的过程,观察波动的规律,观察最优的选择,观察误差的控制,观察逐步逼近的过程。它不再仅仅是两位开创者个人的思想财富,而成为整个文明共同拥有、共同锻炼的一种思维能力。每一代学者对它的运用,都是对这套方法的一次锻炼;每一个具体问题借助它得到解决,都是对其应用边界的一次拓展。
而随着这一过程的持续推进,贝克莱当年那番质疑的意义,也愈发清晰地显现出来:一套工具的能力越是强大,其自身合法性的问题,便愈发显得紧迫。一把普通的锤子若不慎钉错了位置,至多损坏一块木板;但一套已经深刻渗透进物理学、工程学、经济学乃至哲学各个领域的数学工具,若其内在的逻辑基础尚不牢固,那么建立于其上的诸多理论成果,都可能因此而面临潜在的风险。数学界不能仅仅满足于陶醉在这套工具所展现出的强大威力之中,还必须认真回应关于这套工具自身合法性的追问——这并非不必要的苛求,而正是一个成熟的知识体系,对自身保持诚实态度的重要体现。
此后微积分理论走向严密化的历程,恰如为这座已然建成的宏伟建筑,补齐地基的产权文件、消防安全规范,以及必要的结构验证。柯西与魏尔斯特拉斯等学者,将借助更为严谨的极限定义,把贝克莱当年所提出的"幽灵"问题彻底化解,把极限这一核心概念,阐述得如同法律条文一般严密而清晰。这将是另一段值得讲述的历史,也是数学发展史上又一次艰难而必要的自我修订。但在这一历程真正展开之前,回望这座历经百余年时间才逐步建成的数学大厦,看到它高耸的飞檐与穹顶,也看到其中曾经存在的裂缝与尚待巩固的地基,便不难体会到这样一个道理:伟大的理论成就,从来不是一蹴而就的产物,而是历经数个世纪、由一代又一代学者接续努力所共同铸就的。每一位参与其中的学者,都使这一理论体系,走得更远,也变得更为稳固。