
约瑟夫—路易·拉格朗日(1736—1813),生在意大利都灵,祖上是法国人。他十九岁当上大学几何讲师,二十五岁立起一门新学问,五十岁写完一部全书没有一张图的力学大书;拿破仑说他是一座高耸的金字塔。他一生没有拜过名师,自述运气来自一笔亏空的家产——「若继承了大笔财产,多半不会与数学结缘」。
他一生做了三件事。第一件立方法:把「从一族曲线里挑出最好的一条」做成统一的算法,人称变分法——此前每个极值问题都要一处巧劲,此后一个问题一套程序。第二件立框架:把整部力学改写成一张能量账,《分析力学》全书零图,方程自己吐出方程。第三件立语言:振动的弦拆成一串互不干扰的形状,曲线只认自己的弧长与弯度——模式群与内蕴写法,今天的工程与物理天天在用。
明线四样:变分法(挑最优的机器)、解析力学(无图之书)、模式群(振动的字母表)、内蕴方程(不挑坐标的几何)。
暗线一句:让计算代替图形。图形时代,一道题一副巧劲;拉格朗日要把巧劲一次性存进方法,往后每道题照章办事。本册五幕,都长在这句断言上——同时也如实记下这句话的边界:图形没有被消灭,只是从「每次都要」降到了「需要时再请」。
五幕:第一幕讲一封信与一门学会(p.6—p.12);第二幕讲变分法的出生(p.13—p.19);第三幕讲柏林二十年与那部无图之书(p.20—p.26);第四幕讲一串振动的弦(p.27—p.33);第五幕讲巴黎岁月与身后回声(p.34—p.40)。
三层读法照旧:故事层无需预备知识;数学层只用到加、减、乘、除、开方与几张小表(p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37),每一步都从头算起;注疏层给出原文、版本与研究文献,逐页可查。
先看出生地。1736 年 1 月 25 日,约瑟夫—路易·拉格朗日生在都灵——阿尔卑斯山南麓的都城,撒丁王国的旧京。祖父是法国来的军官,家在都灵落地两代;他生时长的是意大利名字,成名后用的是法文写法,一个名字两套写法,恰是这座边城的脾气。
再看那笔家产。父亲在都灵的公共工程与要塞司库处任职,家境原本殷实,替长子铺的路是学法律、接家业。可父亲做了一笔糟糕的投资,家产亏空殆尽——长子从「继承人」变成了「没有退路的人」。
这件事在当事人那里另有记法。晚年有人问起,拉格朗日说:那笔亏空是他一生最大的幸运——若继承了大笔财产,多半不会与数学结缘。这话常被当作趣谈,本册当账读:一张被拿走的书桌,逼出另一张真正的书桌。
这份家业的起点没有名师。都灵没有像样的数学传统,少年拉格朗日在学校里学的是修辞与古典;数学这门课,他几乎是独自走进去的。十八岁之前,他对这门学问的认识薄得可怜——转折发生在一份旧论文上。
而这位没有退路的少年,后来给整部力学换了一种写法。岔口就在那份论文上。本册的故事,从这座山城、这笔亏空、这份论文讲起。
转折是一份六十多年前的旧论文。十七岁前后,拉格朗日读到英国天文学家哈雷 1694 年刊出的一篇短文:用新学算解一道几何题,从头到尾干净利落。少年看得入了迷——原来这门学问不靠灵感,靠一套人人可循的算法。他把文章逐行啃完,又嫌不够,转而去啃更早的源头著作。
自学期的进度条很陡。两年之间,他从初等数学直接推进到当时的前沿;1754 年 7 月 28 日,十八岁的拉格朗日给欧洲公认的几何学第一人、在柏林供职的欧拉写去第一封信——报告自己对一类古老极值问题(等周问题)的新想法。信里没有客套,只有方法与算式。
老泰斗没有冷落少年。欧拉回了信,指出其中一处早有前人做过,又留了一句关键的话:信里的整体思路,是前人没有走过的路。通信就此接上——这一接,接了四十年,横跨都灵与柏林两座城。
一年之后,都灵的皇家炮兵学校开出几何讲师的职位。1755 年 8 月,十九岁的拉格朗日受聘上任——台下坐着的是比他年长的军官学员。白天他讲弹道与测图,夜里他做自己的题目;同年,他向柏林寄出第二封信:等周问题的一般方法已经成形。一门新学问的地基,就打在这封信里。
一份旧论文点火,一封信定线,一个讲席落脚——下一页,把这三样东西摆上桌面。
这本册子要处理三样东西。三样看起来毫不相干:一部全书没有一张图的大书、一段抖起来会分成一节一节的弦、五处悬在天上的稳定停车点。
第一样,书。《分析力学》,拉格朗日写了两辈人的功夫:柏林二十年写成,巴黎刊行。序言开宗明义——全书没有一张图。两千年来的力学都靠画图讲道理,他偏要用一张能量账讲完:约束、摆、流体、天体,一律照章出方程。这部书成了后世理论物理的样板间。
第二样,弦。两端固定的弦抖起来,会站成一节、两节、三节……固定的形状,频率恰好是简单整数比。达朗贝尔、欧拉、丹尼尔为「弦上到底能站什么」争了半世纪;拉格朗日把答案做成了通用语言:任何振动的系统,都能拆成这样一串标准形状——模式群。桥梁抗震、乐器调音、分子光谱,用的都是这张字母表。
第三样,五个停车点。两大天体彼此绕转,第三颗小天体插在旁边,居然有五处能长期安身——五个特解,史称拉格朗日点。拉格朗日 1772 年给出全部解法;今天太阳观测台住在一号点、空间望远镜住在二号点,木星轨道上还停着上千颗特洛伊小行星。纸上算出的位置,天上真的有空位。
三样东西有一个共同点。它们都不靠画图立论:书靠程序立论,弦靠解出形状,停车点靠三体账算出位置。先立程序,再谈巧劲——这是本册给拉格朗日工作方式的概括,一句话:让计算代替图形。
先算一道最小的题:定长的绳子围地,怎样围得最多?下一幕从一封信讲起。
1755 年秋,都灵皇家炮兵学校。几何课上来了位新讲师,十九岁,个子不高,说话轻;台下坐着的是军官学员,年纪普遍比他大。这所学校教的是弹道、测图与筑垒——一整套靠几何吃饭的学问。没人知道,这位讲师夜里正在给欧洲几何学的第一人写一种新东西。
新东西的名字要到几年后才定下来,种子已经发芽。前一年的 7 月,他给柏林的欧拉寄出第一封信,报告等周问题的新想法;欧拉回信既指错,也指路。1755 年的第二封信里,少年把「对一族曲线挑最好的一条」这件事写成了一套统一的做法——这正是后来变分法的雏形。
这门雏形学问对付的是哪类题?极值题:绳子定长,怎样围出最大面积;两点定死,走哪条路最短;滑道两处固定,怎样最快到底——凡是要在无穷多条可能里挑一条最好的,都算。这类题古老而有名,但从前的解法一题一巧:巧劲用完,下一题从头再来。
拉格朗日的念头是一劳永逸的:能不能把「挑最好」这件事本身也变成算法——先把所有候选摆进一张统一的账,再让账自己开口:最好的那条在哪里?1755 年他十九岁;到 1760 年,这套算法已经写成了完整的论文。
下一页先算这类题里最古老的一道:定长的绳子,围地怎样最划算。
先立题。一根绳子长 8 米,围成一个矩形地块,长宽各取多少,围出的面积最大?这道题今天初中生也会做,两千年前就有人问过——本册拿它当变分法的第一块试金石,因为它小到能一格格数完。
列一张候选表(长 + 宽 = 4):
1 × 3:面积 3 0.5 × 3.5:面积 1.75
2 × 2:面积 4 0.1 × 3.9:面积 0.39
表自己开了口:越接近正方形,面积越大;拉得越细长,面积越小。四边形的候选里,2 × 2 正方形夺冠——面积 4。
可候选不止四边形。把绳子围成圆:半径 = 8 ÷ (2π) ≈ 1.2732 米,面积 = π × 1.27322 ≈ 5.09——正方形输了,圆才是冠军。这一步是整道题的分水岭:候选从「有限几个」变成了「无穷多族形状」,一格格数的办法,到头了。
到这里,把问题重新说一遍:无穷多条闭合曲线,周长都定成 8,问哪一条圈的地最大。这是等周问题——两千年前希腊人提的老题。老的难处在于候选无穷多:每条曲线一个形状,没有统一的「下一步」。
拉格朗日要的正是这个「统一的下一步」。他的做法不是把每条曲线都试一遍,而是站在任意一条候选上问一句:从这里出发,一切可能的改动,有没有一条共同的金科玉律?下一页,先把「改动」这件事本身算清楚。
微积分里有一手现成的刀:给变量挪一小步,看函数变多少——导数就是「挪一步、量一量」的学问。可绳子围地的问题里,动的不只是一个数,而是整条曲线:从矩形挪到平行四边形,从圆挪到椭圆——「形状」怎么挪?拉格朗日的第一步,就是把「挪」本身也变成一个数。
先在最小的候选族里演练。把候选限制在矩形:长 + 宽 = 4。取长为 2 + h、宽为 2 − h(周长不动),面积算出来是一个干净的式子:
面积 = (2 + h)(2 − h) = 4 − h2
h = 0.1:面积 3.99 h = 0.01:面积 3.9999
h = −0.1:面积 3.99 h = −0.01:面积 3.9999
读这张表:往哪边挪,面积都变小;挪得越小,变得越少;h = 0 处,一阶的改动全部消失——这就是「最大」在账面上的样子。往后,把这类「形状的小挪动」记作 δ:δ 长度、δ 形状、δ 面积,一视同仁地入账。
金科玉律已经露头:最好的那条曲线,站在「任何 δ 都不产生一阶变化」的位置——就像天平的平衡点:往哪边加一粒米,都会朝反方向回头。此刻它还是一句比喻;1760 年,它将被写成一条人人可用的方程。
刀已开刃。下一页看这门新学问怎样长出学会、刊物与国际名声——都灵不再只有一位少年在算题。
少年的名声不是从大学来的,是从学会来的。1757 年,拉格朗日与都灵的几位同好(一位医化学家、一位解剖学家)办起一个私人学会——都灵没有科学院,他们自己造一个。学会 1759 年改组为都灵科学院,并创办会刊《都灵论丛》:创刊号上,二十三岁的拉格朗日一口气交出论声音传播与论弦振动的两篇重头文章。
这两篇文章的分量要说清。弦振动是当时欧洲的一桩悬案:弦上到底能站住什么形状,达朗贝尔、欧拉、丹尼尔·伯努利各执一词——那场官司本书第四幕专讲。这里先记一笔:一个二十三岁的外省青年,第一篇公开论文就踩进了全欧洲最吵的战场,而且是带着自己的解法进去的。
柏林的回声来得很快。1756 年,经欧拉与莫佩尔蒂联名推荐,二十岁的拉格朗日当选普鲁士科学院院士——都灵炮兵学校的小讲师,名字挂进了欧洲学术的最高花名册。此后他年年向《都灵论丛》供货:力学、概率、积分法,一篇接一篇。
把这段履历排成一行:1754 年信欧拉,1755 年执教并立新法雏形,1756 年当院士,1757 年办学会,1759 年创刊并参战。七年之内,从自学少年到国际学圈的正式成员——没有名校,没有名师,靠的是刊物、书信与自己算出的文章。
但立方法这件事还差最后一步:雏形虽成,真正的诞生文未出。下一幕,看 1760 年那份论文怎样把「挑最好」写成一门学问。
回到那句自述:亏空的家产是最大的幸运。这话有一层容易听漏的意思——财产要人照料,家业要人接班;那个年代的继承人,时间从来不是自己的。账册搬走之后,都灵少年的书桌上只剩纸笔:没有要接的班,没有要守的业,每一天都可以整块地押给题目。
但光有整块的时间,成不了拉格朗日。同代人里闲着的聪明人不少,多数在等一道配得上自己的难题。这位少年的过人处是反着来的:他不等难题,他嫌「难题」这个格局本身太贵——每道题都要一副新巧劲,巧劲这东西没有利息,用过一次就作废。
这就是本册暗线的第一笔:让计算代替图形——更准确地说,让方法代替巧劲。围地的题、最短线的题、最快的滑道,题目千姿百态;「从一族候选里挑最好」这个格局却只有一副骨架。把骨架抽出来,写成算法,往后每一道极值题都只是例行公事。巧劲从「每次现想」变成了「一次存入,终身取息」。
后面几幕会反复看到这笔暗线:变分法把「挑曲线」存进方法(第二幕);解析力学把「画受力图」存进方法(第三幕);模式群把「看振动猜形状」存进方法(第四幕);内蕴写法把「量长短」存进方法(第五幕)。每一步都是同一个动作:把直觉里的金科玉律,翻译成人人可循的账目。
把第一幕放回十八世纪中叶的欧洲。那个靠邮车与书信运转的学术圈已经运转了几十年:一份刊物、一封信、一位肯抄副本的朋友,就是全部的传播网。到拉格朗日入场时,这张网正在换一代人——老一辈的巨擘还在线上,新一代的名字正一封一封地寄进来。
第一棒是书信的直通车。从前,外省少年要见世面,得先挤进本地的学会,再一梯一梯往上递。都灵少年跳过了梯子:第一封信直接寄给欧拉,而欧拉回了。泰斗与少年隔着一千公里对改算稿,这是通信共和国最慷慨的规矩——只认算得对不对,不认出身。
第二棒是推荐信。1756 年的院士席位,出自欧拉与莫佩尔蒂的联名推荐——两人都只读过这位少年的文章。第三棒是会刊:《都灵论丛》从创刊起就设在欧洲学术的电路上,达朗贝尔在巴黎读到它,柏林的同行订阅它——一座南方小城的学会,借刊物站在了学圈的正中央。
回头看这条链:刊物登文,书信改稿,荐书挂名——少年与共和国互相成全。而这个共和国里最动人的一段交接,即将发生在变分法上:一位泰斗亲手把自己的成名课题,连同命名权,让给了一位二十出头的年轻人。下一幕,就是这场交接。
一、极值题立了案。定长绳子围地,四边形里正方形夺冠、诸形状中圆封王——候选从有限到无穷多族,一格格数到头了(p.7)。「统一的下一步」成了当务之急。
二、改动量成了数。(2 + h)(2 − h) = 4 − h2:往哪边挪都变小,一阶改动在顶点处消失——δ 的语言就此立账(p.8)。天平的比喻,等着变成方程。
三、学会与刊物立了门。私人学会长成科学院,《都灵论丛》创刊,二十岁挂柏林院士——通信共和国的第二代入场(p.9、p.11)。这条电路后来把他的文章送到全欧洲。
四、暗线立了纲。亏空的家产腾空了书桌,少年把目标从「解一道题」换成「造一副方法」——暗线「让计算代替图形」的第一笔:让方法代替巧劲(p.10)。
下一幕,一门新学问领出生证。出面命名的不是别人,正是被让出这门学问头把交椅的欧拉本人——那一幕,是十八世纪学术史上最体面的一次交接。
1760 年,都灵。《都灵论丛》第二卷的稿子送到印刷所:拉格朗日的〈论确定不定积分公式极大与极小的新方法〉。这篇论文里,「从一族曲线里挑最好的一条」第一次有了自己的名字——变分法,以及自己的核心工具:δ。学界今天把这篇文字当作变分法的出生文,把 1755 年那封给欧拉的信当作受孕记录。
这门学问的家世值得交代。等周问题是两千年的老题;十七世纪末,伯努利兄弟与同代人又添上捷线、悬链一类「挑最优曲线」的新题——每道题都解得漂亮,但每道题都各用各的巧劲。欧拉 1744 年出了一部书《寻求具有某种极大或极小性质的曲线的技巧》,把已知解法收拢成半统一的框架:书名里的「技巧」二字,说出了旧格局的天花板——它还是一捆技巧,不是一门方法。
拉格朗日做的正是最后一步:把「技巧」升格为「算法」。他的入口朴素得出奇:别再一条一条地试曲线,先把任何一条候选曲线的「邻座」摆出来——形状挪一点点,目标量变多少?把这一步写成通式,则「最好的曲线」立刻翻译成一句可验的话:一切邻座处,一阶改动都归零。1788 年他回顾这段来路时说得干脆:这个方法是他二十岁上下想出来的,比发表的年份早了五年。
论文刊出,欧拉的第一反应成为学林佳话——那句话本章稍后引述。先把新算法的引擎拆开看:它凭什么「一法千题」?下一页用最短的一道题开刀。
算法的第一课,拿最短的题开刀:平面上两个定点,连线走直线最短。这道题看着无聊,用处极大——它是检验「算法是否真的通用」的标尺:连它都解得干净利落,别的题才轮得到同一把刀。
先按老办法搭台。把连接两点的候选路径都摆上桌,给每条路径记一笔账:路径的长度。于是「挑最好」变成「找长度最小的那条」。再按新办法拆招:取一条候选,让它的中点挪高一小步 h,看长度变多少:
中点抬高 0.1:长度 1.0198(变长 0.0198)
中点抬高 0.01:长度 1.0002(变长 0.0002)
中点抬高 0.001:长度 1.000002(变长 0.000002)
读这张表:抬高变长,压低也变长(把 h 换成负数,账面一模一样);挪得越小,变得越少;原地不动处,一阶改动归零。表只算了中点一处,通式对路径上每一点都成立——直线这条候选,处处过「平衡关」。
换一条候选马上见分晓。取一条向上弓的弧:中点挪低一点,长度反而缩短——一阶改动不为零,账面立刻亮红灯。一笔一笔记下去,算法自动把不合格的候选一条条筛掉,最后剩下的那条,就是答案。
这就是「一法千题」的机关:老办法里,每条候选都要从头比试;新算法里,每条候选只过一道统一的关卡——「任何小挪动都不占便宜」。关卡是同一道,题目随便换。下一页把这道关卡的名字立起来。
给那道统一的关卡立名目。「任何小挪动都不占便宜」——这句话在力学里早就有一个现成的亲戚:平衡。天平平了,是两边等重;重心放到最低,是每一侧的挪动都抬高重心。拉格朗日做的事,是把这条「平衡金律」从「挪动一个个砝码」推广到「挪动整条曲线」——曲线的平衡,就是一阶改动处处归零。
对照一桩人尽皆知的旧案最清楚:一条两端固定的链子自然下垂,垂成什么形状?两千年来的答案是一场误会(说它像抛物线),直到十七世纪末才算清——判据只有一句:整条链的重心放得最低。凡是有一处挪动能把重心再压低,链子就继续滑;滑到任何小挪动都只抬高重心为止。悬链的形状,是「一阶不动」的形状。
同一个判据,管链子,也管一切最优曲线。上一页的直线、本册开篇的围地绳圈、更难的悬索与滑道——候选曲线的「最优」两字,账面上全是同一行字:一阶改动处处为零。变分法把这行字写成通式(后世尊称欧拉—拉格朗日条件),从此「挑曲线」有了人人可循的验关手续。
这里要把账算诚实:「一阶不动」是必要的验关,不总是 sufficient 的终审——山顶与山腰都满足「四面八方都不更低」,山顶是最高点,山腰只是平台。变分法给了通用的筛子;筛出的候选,个别场合还要再过一道二阶的关。这门手艺的精细处,本册点到为止。
下一页收一笔大账:用新算法重解两千年的等周问题——看它怎样一步一步把圆逼出来。
回到 p.7 的老题:周长定成 2,哪条闭合曲线圈的地最大?两千年的老题,新算法收账。候选族取「正多边形」这一支,周长全部压成 2,面积一格格算:
正方形:0.2500 正六边形:0.2887
正八边形:0.3018 正十二边形:0.3110
正二十四边形:0.3165 圆:0.3183
读表:边数每加一档,面积涨一点,涨幅却一路收窄;边数加到无穷,正多边形磨成了圆——0.3183。把候选族从正多边形放宽到一切闭合曲线,算法的判据照样工作:任何「不圆」的形状,都存在一个往圆方向的小挪动,能一阶地增大面积——红灯亮起,逐个出局。全场唯一的绿灯,是圆。
这道题答了两千年,新算法一步到位——但真正的战利品不是答案,是「答案的来路」变了:旧解法要为等周问题单独请一位天才;新算法里,等周问题只是「挑曲线」格局下的又一笔例行账。同一台机器,昨天筛直线,今天筛圆,明天接着筛滑道与悬索。
这门新学问的政治影响也随之而来:欧拉读完论文,随即放下自己手头同一课题的稿子,改用年轻人的记号重写自己的框架,并给这门新学问起下正式的名字——变分法。这场交接的细账,下一页单开。
把第二幕的账折到暗线上。图形时代的极值题是一道题一副巧劲:围地的题要有围地的巧,滑道的题要有滑道的巧;巧劲再高明,也是一次性的——题换了,巧劲作废。变分法把这盘散沙拧成了一台机器:所有「挑曲线」的题共用一台筛机,筛机的操作规程只有一条——摆候选、算改动、验一阶。千题一法,法不挑题。
这就是暗线第二笔:让计算代替图形,落到「方法」这一层,是把聪明从「每次现想」改成「一次存入」。拉格朗日十九岁存入的那笔本金(对一族候选问共同的金科玉律),此后二百五十年一直在生息:从最短线到广义相对论里的场方程,凡「在无穷多可能里挑最好」的场合,账目都照这台机器记。
同时要把边界画直。「代替」不等于「消灭」。拉格朗日自己从不否认图的价值——他反对的是把图当唯一的中介:每一步推理都要先画出来才敢信。计算立起来之后,图形降了级:从「每题必需」降到「需要时再请」——这恰恰是机器的长处:它能先算出结果,再决定要不要画一张图来核对。
第三幕会看到这笔暗线的加倍版本:连「画受力图」这件力学两千年的家常事,也被他降了级——那部全书无图的大书,就是证据。
变分法有一份独一无二的出生文书:它的命名,出自被让位者的手笔。欧拉研究极值曲线二十余年,1744 年的那部《技巧》是他半生心血;1755 年收到都灵少年的信,他一眼认出对方踩的是同一条路,而且走得更快。他没有护短,反而连写数信催年轻人把方法整理出来,并在 1759 年的信里给出那句日后传遍学圈的评语——这位年轻人把极值理论推到了至高的完善:变分法的接生婆,亲笔写下了荐书。
交接是成套的。其一,欧拉搁下自己同一课题的写作计划,把阵地让给后辈;其二,他放弃自己原有的记号,改用拉格朗日的 δ——一门学问的记号权,交到了发明人手里;其三,他给这门学问起下沿用至今的名字:变分法。老泰斗三步退让,步步干净。事后看,这也是最划算的一笔:这门学问以拉格朗日的格式长成,比以任何人的格式长成都要快。
这场交接不是孤例,是那个共和国的通行规矩。书信圈里,文章的归属跟着时戳走:1755 年的信、1760 年的论文,一封一篇,先后分明。欧拉在信里与论文里反复引用都灵少年的名字,等于亲手把新人抬进花名册。两年后,柏林的聘书上门——那是下一幕的事。
回头看这条线:一份旧论文点亮少年,一封信接通泰斗,一篇论文立起学问,一次让位完成命名——变分法的出生,是方法、人品与制度的共同作品。带着这门新学问,二十三岁的拉格朗日要动身了:去柏林,去写那部无图之书。
一、出生文立了法。1760—1761 年的都灵论文把「挑曲线」写成统一算法:摆候选、算 δ、验一阶——「一阶不动」成了通用关卡(p.13、p.14)。最短线的题,只是这台机器的第一件试制品。
二、判据认了亲。「一阶不动」与力学里的平衡是同一条金律:链子垂成悬链,靠的是重心最低、再无一处可压——曲线的最优与系统的平衡同账同管(p.15)。必要与充分的分寸也照实记了。
三、老题收了账。周长定 2 的等周问题,正多边形一路涨到圆:0.2887 → 0.3018 → 0.3110 → 0.3183——两千年的老题成了新机器的例行公事(p.16)。战利品是来路,不是答案。
四、交接立了范。欧拉搁笔、改用 δ 记号、命名变分法——记号权与命名权一并交到发明人手里(p.18)。「推到至高的完善」:接生婆的评语,成了这门学问的第一份荐书。
下一幕,镜头转向柏林。一位国王开出一句天下闻名的话,一位青年接下一副全欧洲最重的担子——还有一部要写二十年的书,全书一个图都没有。
1766 年,柏林。欧拉决定离开:普鲁士与圣彼得堡之间的账没谈拢,这位欧洲几何学的第一人要回彼得堡去。普鲁士国王腓特烈二世要找人接这个位子——全欧洲最能坐上这把椅子的人是谁,国王心里有数。聘书发往都灵,随信附了一句日后传遍欧洲的话:欧洲最伟大的几何学家,理应住在欧洲最伟大的国王身边。
这话半是恭维半是注脚。拉格朗日接的位子,正是欧拉坐了二十余年的数学部主任;柏林科学院那时的数学,是全欧洲的塔尖。三十岁的都灵人在这里一坐二十年——从 1766 年到 1786 年,是他一生最多产的岁月:变分法在此成形出书,天体力学在此连夺大奖,那部无图之书也在此一卷一卷地长。
柏林的规矩对这位客人很合适。国王要的是名声与讲席的体面,不派政务;科学院要的是论文,不管写法。拉格朗日的生活两点一线:科学院的会与自家的书桌。他后来对朋友说,自己的性情受不了喧闹——一辈子最深的愿望,是安静地生活,安静地算题。柏林二十年,两头都给了他。
成家也在柏林。1767 年他与一位都灵同乡的表亲完婚;妻子 1783 年病逝,没有留下子嗣。家事的账本很薄,书桌的账本很厚——厚到什么程度,看下一页:力学两千年的一笔总账,他要用一张能量账重记一遍。
力学两千年是怎么做题的?一句话:画受力图。每道题先认出每一个力——绳的张力、斜面的支承、万有引力——再把它们逐个分解到方向上,一步一步推。这套手艺养活了两千年的工程师,但代价也摆在明面上:题一复杂,图就成网,力一多,思路就断。拉格朗日在柏林做的事,是把整门手艺换成另一本账:不画力,只记账。
用最小的题验收新账法。单摆:一根线吊一只锤,锤来回摆动。旧账法要分解重力与张力两个方向的分量;新账法只问一件东西——能量。锤在最高处存的是「位置的钱」(势能),在最低处把位置的钱全部换成「速度的钱」(动能),两笔钱的总额从头到尾不变。摆多快、摆多远,全从这一句账里吐出来。
先吐一个最出名的结论:小摆动的周期只看摆长。摆长一米的单摆,来回一趟约 2.0 秒;摆长加四倍,周期加倍。列一张表(小摆动口径):
摆长 0.25 米:周期 1.00 秒
摆长 1 米:周期 2.01 秒
摆长 4 米:周期 4.01 秒
摆长 9 米:周期 6.02 秒
读表:摆长乘四,周期乘二——周期贴住摆长的平方根。这条规律旧账法也能推,但要分解两次力;新账法只走能量一步。一块钱的事情,何必换三种面额去数——这是新账法的口气。下一页把新账法最锋利的那一面亮出来:约束。
旧账法最头疼的一类题:被拴住的物体。锤被拴在摆线上,珠被压在弯曲的滑槽里——每一条「拴」与「压」都是一道额外的力,力里还分「做功的」与「不做功的」,账越记越厚。拉格朗日的解法釜底抽薪:约束在账里根本不该出现——开头就把坐标选对,让物体只能动自由的那几个方向,约束自动消化。
拿滑槽里的圆珠验收。珠子被约束在竖直平面的一个圆环上,环半径一米。旧账法:珠子有两个方向可动,约束再扣掉一个方向,力多一支、图多一张。新账法:一开始只给珠子一个数——它此刻的角度。一个数,就是全部的自由度;圆环本身,从头到尾没有进过账。
新账法照样吐出所有数字。问:珠子从不同的高度松手,滑到最低点时跑多快?能量账一句答完:位置的钱全部换成速度的钱。列一张表(环半径一米):
松手处离最低点的高度差 0.134 米:最低点速度 1.62 米/秒
高度差 0.5 米:最低点速度 3.13 米/秒
高度差 1.0 米(环顶松手):最低点速度 4.43 米/秒
读表:速度贴住高度差的平方根——一格一格,照章吐数。旧账法在这道题里要跟「环给珠子的力」纠缠到底;新账法从头到尾没见过这支力。约束越多的机器,新账法占的便宜越大——这条原则写在 1788 年那部大书的第一页。下一页,验收那部大书本身。
1788 年,巴黎。一部大书刊行:《分析力学》。开本寻常,装帧寻常,翻开却吓人——通篇方程,从头到尾,一张图都没有。序言里作者把话说在前面:书里找不到图;他提出的办法,能让力学的全部推理都照着一套统一的演算走到底。两千年来靠画图讲道理的学问,第一次把图请出了大门。
这部书的结构列出来是一张极短的验收单:全书两大部——第一部讲静(平衡的账),第二部讲动(运动的账);每部先立统一原理,再把自伽利略以来的力学成果一道一道重演一遍:单摆、复摆、流体、行星,题换了千般,账法只有一套。第二版两卷 1811 年起刊行,作者晚年亲手重订,改到去世前几个月——这本书他改了整整一辈子。
「零图」不是姿态,是指标。零图意味着:书里每一步推理都必须由演算自己撑住——没有「如图所示」可以退守,没有「看图即知」可以跳步。这笔账逼出了真金:约束的处理、坐标的选法、能量账的通式,全是在「不许画图」的死规矩下逼出来的。可以说,正是「无图」这条军令,把分析力学的家底一件一件逼上了纸面。
后世给这部书的评语,最出名的一句来自三百年后的同行:它是一首科学诗。用诗来评一部满是方程的书——说的是同一件事:全书的道理都在纸上,纸上的道理自成一曲。下一页,把这笔暗线记进总账。
无图之书的真正主张,藏在「无图」后面:力学的道理应当像一台机器——投进去一道题,吐出来的就是方程。从前的力学更像一门手艺:师傅看图识力,巧劲在手上,题目一换手艺重学。拉格朗日把手艺改成了机器:能量账的立式、坐标的选法、约束的消化,全部写进操作规程;此后每一道题,从单摆到行星,只是往机器里投的新料。
这就是暗线第三笔,也是最重的一笔:让计算代替图形,落到「框架」这一层——两千年的力学被一次性存进了方法。存入的凭证,是 p.21 与 p.22 的两张表:单摆的周期、圆珠的速度,机器照章吐数,中途没有请过一张图。存入的利息,是此后二百年的理论物理:后来的分析力学、统计力学、直到今天教科书里的标准立式,骨架全是这一台机器。
还要记一笔公道的账。机器不是他一人造的:牛顿给了力与质量的底盘,欧拉与达朗贝尔给了中程的零件;拉格朗日的功勋是总装——把零件接成一台「投题吐方程」的整机,再把图纸(那部无图之书)公之于世。站在整机前面,后人看到的是一部连贯的账法,而不是一打天才的巧劲。
第四幕,这台机器将转向最缠人的一类题目:抖动的弦。那里的账已经不是一根摆线一个数,而是一族形状一起动——看机器怎样把它们拆成一串整齐的字母表。
柏林二十年,拉格朗日不是只在书斋里立框架——巴黎科学院每逢悬赏,他几乎场场到场。月球的「天平动」(月面为何微微点头)、木星四颗卫星的步调、三体的摄动:巴黎的竞赛题一道道发,他的答案一篇篇中——1764、1766、1772、1774、1778,五届头奖记在他名下。天上的账最难算,他偏把天上的账算成了新机器的样板间。
五届里最重的一届是 1772 年的三个天体问题。两大天体彼此绕转,第三颗小天体要找安稳的落脚处——这道题牛顿之后百年无人收账。拉格朗日交出的答案后来刻成了天文学的常备常识:连线的直线上有落脚处,连线的两侧还各有一处与两大天体成等边三角形的落脚处——五处特解里的三角形两处,是这张答卷的名笔(特解的全账见 p.37)。
柏林学圈也不是没有摩擦。与国王的关系后期转淡:腓特烈嫌这位几何学家寡言,他嫌宫廷太吵;1786 年国王去世,新局面对客人冷淡,各国随即递来邀约——巴黎、圣彼得堡、都灵都在抢。1787 年,他选定巴黎。离开前他把二十年的手稿整理成箱:那部写了二十年的书,等着在法国付印。
回头看柏林:五届头奖、一部大书、一门立式——这座宫廷收留了欧洲最安静的客人,这位客人还给宫廷一段最沉的黄金时代。下一幕回到巴黎,从一桩吵了半世纪的弦案讲起。
一、账法换了本。受力图换成能量账:单摆的周期贴住摆长的平方根(0.25 米 → 1.00 秒,4 米 → 4.01 秒)——力学推理从「看图分解」改成「照账吐数」(p.21)。一块钱的事情,不换三种面额。
二、约束出了账。坐标选对,约束自动消化:圆环上的珠子全程只用一个角度记账,最低点速度照平方根吐出(1.62 → 3.13 → 4.43 米/秒)(p.22)。约束越多的机器,新账法占的便宜越大。
三、无图立了标。1788 年《分析力学》两大部、零图、通式一套:静与动、摆与行星同账同管;二版改到身后(p.23)。「不许画图」的军令,把分析力学的家底一件件逼上纸面。
四、暗线记了总。「投题吐方程」的机器总装完毕:底盘是牛顿的,零件是欧拉与达朗贝尔的,总装与图纸出自柏林的书桌——暗线「让计算代替图形」最重的一笔:两千年的力学,一次存入(p.24)。
下一幕,机器转向弦与振动。一场吵了半世纪的官司还开着庭:弦上到底能站住什么形状?——旁听席上坐着全欧洲的几何学家,出庭作证的是一位二十三岁的都灵青年。
1747 年,巴黎。达朗贝尔刊出一篇论文:把弦的抖动写成了一道新式方程——数学史上第一道「波动方程」。弦上每一点怎么动,方程说了算。看起来案子该结了,恰恰相反:案子才开庭。方程给出的解里含一样当时没人说得清的东西——「任意的曲线」:弦的初始形状到底可以随便到什么份上?。
官司立刻变成三方混战。欧拉站出来说:初始形状当然可以千奇百怪,弹拨出来的弦从来不是规整曲线。丹尼尔·伯努利站出来说:不管初始形状多怪,弦上的动静终归能拆成一串整整齐齐的「简单抖动」的叠加——像一根白光过棱镜分成七色。达朗贝尔摇头:拆不出那么齐。三个人都有道理,三个人互不相让——这一吵,吵了半个世纪。
1759 年,二十三岁的拉格朗日带着都灵的论文入场。他没有站队,而是重起炉灶:把弦当作一连串小珠子排成的队列,先算有限多颗珠子的账,再让珠子的数目一步步加多。这个「先离散、后取极限」的路子,绕开了三方的死结,给出了自己的答案——弦的动静确实能拆成一串标准抖动,每串标准抖动自己动自己的,互不串扰。
那一串「标准抖动」,后来得了正式的名字:模式。弦案到了十九世纪才彻底结清,结案文书又牵出下一场革命——热的传播与级数展开。本幕不赶后半场的戏,先把「模式」本身算明白。下一页:数一数弦上到底能站几种抖动。
弦抖起来,最有面子的动作是「站住」:波形不跑,只在原地起伏——这叫驻立的样子。两端固定的弦,能站住的样子不是随便哪种:两端必须是「不动点」,这一条硬规矩把候选一筛,剩下的形状出奇地齐整——恰好是一节、两节、三节……的波浪。
每一节波浪配一个频率,频率排成一张整齐的表。取一根长 0.7 米的弦,抖动传出去的速度按 280 米/秒计(依弦的松紧与粗细而定),两端固定,则一节波的来回恰好占整根弦——频率全在账里:
一节波:200 次/秒 两节波:400 次/秒
三节波:600 次/秒 四节波:800 次/秒
五节波:1,000 次/秒 六节波:1,200 次/秒
读表:频率恰好是一、二、三、四、五、六——整数比,一格不多。一根弦天生带一张自己的音阶表:一节波是基音,两节波是第一个泛音,往后逐级排。乐器的音色为什么各不相同?同一根弦的各节波配比不同——配比是配方,频率是字母表。
这张表还有一层更深的齐整:每一种驻立的样子,都是弦「自己动自己」的独立小世界——一节波只按 200 次每秒起伏,两节波只按 400 次每秒起伏,互不串扰、互不拖拽。这些互不串扰的独立成员,就是本册说的模式群。下一页,给模式群量一量「节」与「腹」的位置。
模式群里每一位成员,都有自己的岗位表。拿两节波量一遍:把弦从左端到右端分成八格,量各处起伏的相对幅度——起伏最大的地方叫腹,完全不动的地方叫节:
位置 0:幅度 0(节) 位置 1/8:0.71
位置 1/4:1.00(腹) 位置 3/8:0.71
位置 1/2:0(节) 位置 5/8:−0.71
位置 3/4:−1.00(腹) 位置 7/8:−0.71
位置 1:0(节)
读表有三层。其一,节在中点:两节波的正中央纹丝不动——手指轻按弦的中点,两节波照样活,一节波当场哑:琴上的泛音奏法,按的就是这张表。其二,左右两腹一上一下、幅度对称(+1.00 对 −1.00)。其三,腹的幅度 1.00 对 0.71 对 0 的落差,正是波浪的坡度——数字替眼睛把形状量清。
每位成员的岗位表互不干扰。把一节波与两节波同时放上同一根弦,弦上每一点的动静就是两者按表叠加;中点的「节」上,两节波永远交白卷,一节波照常起伏——成员独立,叠加自由。这条「叠加法」是模式群最要紧的性质:队伍成员各管各的频率与岗位,全队合起来演出任何初始形状。
于是弦案的核心账清了:弦的任何动静 = 一张模式群名单 + 各成员的出场强度。剩下的悬念只有一条:这套「拆成名单」的手艺,除了弦还管不管别的?下一页,答案会大得吓人。
弦案收尾时,拉格朗日把这手艺写进了那部无图之书:不限于弦——任何在平衡位置附近小幅度振动的系统,无论是一串珠、一根梁、一座桥,都能拆出一串属于它自己的模式群:每个模式独立起伏,频率排成一张表,叠加自由。弦只是模式群最小的一个样本。
用一笔最小的账验通用性。两颗珠子用弹簧串在两壁之间,左右对称——系统有两个自由度。猜一猜它有几个模式?账答:两个,不多不少——一个模式两珠同向同速(像一根扁担平移),一个模式两珠反向对撞。自由度几个,模式几个:这条「人数对齐」的规矩,从两颗珠子一直数到一整座建筑。
这张名单在两百年间越开越长。桥梁工程量出桥的模式群,避开与风步调一致的成员(坍塌的大桥教训后来写进了每一本工程手册);地震工程让楼房照自己的模式群验身;化学家量分子的模式群辨认物质;物理学家把这套语言原样搬进了原子的世界——同一张字母表,从琴弦写到量子。本册对这些后话只挂号不展开。
回头看这笔账的分量:达朗贝尔给出方程,欧拉给出自由,丹尼尔给出直觉,拉格朗日给出框架——「任何小振动都拆模式」从此是一台机器的产出,不再是某个天才的灵感。暗线在此又收一利:模式群是「让计算代替图形」的第四样兑现——连「看见振动」这件事,也交给了账本。
暗线在本幕的样子:「算出来的形状」对「看见的形状」。从前的振动是一件事一件事地看:弦这样抖、鼓面那样颤——形状靠眼睛确认。模式群把顺序倒了过来:先立账,后见形——频率表与岗位表算在先,具体的形状反而是账的产物。看见的会骗人(弦案吵了半世纪,就是各方「看见」的东西不一样),算出来的不会。
但本册要把另一面也记足:弦案并没有在 1759 年结案——拉格朗日的路子绕开了死结,死结本身还立在那里:达朗贝尔与欧拉争执的那句「任意的曲线」,到底指什么?「函数」这个词在当时还没有规矩:什么样的对应配叫一条曲线、一条曲线配不配到处有算式——三方吵到停战,靠的不是裁决,是各方都退到了含糊地带。拉格朗日晚年干脆主张:函数就该用一串算式表达,别提什么「任意画出的线」——他的主张后来也证明偏窄。
这场没结的官司,是暗线的一笔诚实的注脚:「让计算代替图形」在方法层大获全胜,可「计算的地基」(函数、极限、连续——这些词的精确定义)要到十九世纪才逐层打牢。拉格朗日造了机器,机器的地基却要后人再灌一版。天才与时代的分工,从来如此。
下一页看官司的下一站:一桩关于「热的传导」的新案,将把「拆成一串」的手艺推向更远处——也把地基问题正式摆上桌面。
弦案停战半个世纪后,下一场官司开庭。1807 年,巴黎,一位退伍的行政长官傅里叶宣读论文:热的传导也能拆——一段初始的温度分布,可以写成无穷多档正弦波浪的叠加。这一步把丹尼尔当年的直觉推到了极限:连「一冷一热毫无规律」的分布,也是一串齐整波浪的和。审稿人里就有拉格朗日——他当面质疑:毫无规律的分布,凭什么拆得成齐整的波浪?。
这场新官司的结局,回头替弦案作了判。傅里叶的拆法在数学上立住了:那套「拆成一串」的手艺从此有了独立的名字——级数展开。弦、热、声音、电——凡「叠加自由」的场合,级数展开一律接管。今天叫「频谱」的那张表,源头就是这一场接力:丹尼尔的直觉、拉格朗日的框架、傅里叶的推广——三方在半个世纪里各递了一棒。
地基问题也在这场官司里被逼上了台面。「毫无规律的分布」到底算不算一个函数?级数逐项相加到底合法到哪一步?——十九世纪的严格化把这些问题逐一收账:极限有了定义,连续有了检验,积分有了细则。拉格朗日那台机器的电源,至此才算接稳。
回头看第四幕:一桩弦案,牵出一张频率表、一串模式群、一场函数官司、一次级数革命——一根琴弦上,站着半部近代分析。下一幕回到巴黎:老年的拉格朗日,正把毕生的方法搬进新学校的课堂。
一、官司开了庭。达朗贝尔的方程、欧拉的自由、丹尼尔的直觉,三方各执一端——1759 年拉格朗日携「先离散、后极限」的路子入场,绕开死结立起框架(p.27)。案子本身,要到下一世纪才结。
二、字母表立了账。两端固定的弦,驻立的样子恰是一、二、三、四节波,频率贴住整数比(200 → 400 → 600 次/秒)——基音与泛音,是弦天生的音阶(p.28)。配方是配比,频率是字母表。
三、岗位表量了岗。两节波的表:节在中点、腹在两侧、+1.00 对 −1.00——成员独立,叠加自由;任何初始动静 = 一张模式名单 + 各自的出场强度(p.29)。轻按中点奏泛音,按的就是这张表。
四、手艺通了万类。小振动皆拆模式,模式数与自由度对齐——从两颗珠子到一座桥;暗线的第四样兑现:连「看见振动」也交给了账本(p.30—p.31)。官司的下一站是热与级数,地基的账留给十九世纪(p.32)。
下一幕,镜头转回巴黎。大革命改了年号也改了学堂;一位六旬的老人站上新式学校的讲台——他要教的不是题目,是他一辈子攒下的那台机器。
1787 年,拉格朗日迁居巴黎。路易十六给他年金,巴黎科学院给他席位;那部写了二十年的大书,转年就在这里付印。他五十一岁,是欧洲请不动名单上最后几位之一——柏林二十年,巴黎是下一站,也是最后一站。
arriving 之后没过几年,天翻地覆。1789 年大革命起:科学院解散,旧学堂关门。可革命政权办新学比谁都急——为打仗与建设,急需一批受过新式数学训练的工程师。1794 年前后,高等师范学院与工艺学院相继开办:全法国最好的数学家被一一点将上讲台。名单的头一名,是拉格朗日。
还有一件更贴身的差事:度量衡委员会。旧制度留下的度量衡一片混乱,革命政府要造一套「不属于任何君主、人人可用」的度量——米的定义、克的定义,出自这个委员会。委员会由拉格朗日主持:一位毕生把混乱收进统一账法的学者,晚年的公务是给全世界的尺子统一账法——米制从此立。
讲台上的老人成了传奇。学员回忆:这位教授讲课不用讲稿,声音极轻,一条线推到底;每逢难题,他停一下,说「再算一步」——再算一步,答案自己站了出来。一代法国数学家在他膝下开蒙:那批学员里,走出了此后半个世纪法国数学的主力阵容。
「内蕴」这个词听着玄,主意很朴素:一条曲线,什么性质是它自己的,什么性质是看图的角度附加给它的?平放在桌上的曲线与斜挂在墙上的同一条曲线,长度不变、弯处不变——长度与弯度是曲线自带的;横平竖直的坐标,是画图人选的。内蕴的写法,就是把坐标请下台,只让曲线自带的东西上台。
第一样自带的东西:弧长。曲线从起点走到某处,走过的真实长度记作 s——它不挑坐标:图转了,s 不变。拉格朗日的诀窍是把 s 当作曲线的新「横轴」:形状不按横向位置记录,按「走到多远」记录。给一道实算(曲线取抛物线的一支,高度是横向距离的一半):
走到横向 0.5 处:弧长 0.520
走到横向 1.0 处:弧长 1.148
走到横向 2.0 处:弧长 2.958(直线距离只有 2.828)
读表:弧长比直线距离长——曲线弯了,路就多走;弯得越狠,多走得越多。这一笔账看着平淡,用场极大:后两页的「弯度」就要用 s 当尺来量。一根以 s 为轴的曲线,等于一张「只记自带信息」的简历。
坐标下了台,还剩什么?剩三样:长短(弧长 s)、方向(转了多少角度 θ)、弯度(方向转得多快)。三样都不要坐标——下一页,用它们把「弯」定义清楚。
「弯」也能变成一个数吗?能,而且只用到上页那两样自带的家什。定义干净利落:弯度 = 方向角 θ 随弧长 s 转得有多快。笔直的路,方向从不变,弯度是零;急转弯处,方向盘一拧到底,弯度顶格。这个数不挑坐标——把图转斜,θ 与 s 一起转,两者之比纹丝不动。
先用圆验货。圆是处处同弯的曲线:半径越大越平缓。定义给出:圆的弯度恰是半径的倒数——一算便知:
半径 0.5 米:弯度 2.0 半径 1 米:弯度 1.0
半径 2 米:弯度 0.5 半径 4 米:弯度 0.25
读表:半径翻倍,弯度减半——「越平越直」从此有了刻度:直线是弯度恒为零的圆(半径推到无穷)。再用这个数给抛物线量一遍:顶点处弯度 1.00,走到横向 1 处降到 0.35,走到横向 2 处只剩 0.09——同一条曲线,弯度沿途渐稀:数字替眼睛把「越走越直」量了出来。
这就是内蕴写法的全貌:弧长当轴,方向与弯度当账——曲线的全部形状信息,装进三个不要坐标的数。后世把这种「只记自带信息」的几何推进成一门大学问:一段曲面、一片空间,不用站在外面看,只凭内部量得的账,形状自明——那是后话(p.43 有挂号)。下一页,看内蕴写法的当代名气最大的一笔:天上五个停车点。
1772 年那篇获奖答卷(p.25),管的是这样一道题:两大天体彼此绕转——太阳与地球、地球与月亮——第三颗小天体想长期安身,哪里有位子?一般的三体问题搅成一锅粥,拉格朗日找的是特解:把五大天平动点一道道算了出来。五处位子各有名号,账目如下:
一号点:两大天体连线之间——日地系统在距地球约 150 万公里处
二号点:连线外侧——与一号点等距的镜像位
三号点:连线另一端——大天体背后的对面位
四号点、五号点:与两大天体撑成等边三角形——各占一角
纸上算出的位子,天上真的有人住。四号、五号点的账最漂亮:与太阳、木星撑成等边三角形的两个位置上,停着上千颗小行星——1906 年发现第一颗时,人们才想起拉格朗日 134 年前的答卷。一号点与二号点如今是观测台的黄金车位:太阳观测台驻一号点(1995 年入位),空间望远镜驻二号点(2021 年发射、转年初入位)——都是为了「背对干扰、面向目标」的停泊几何。
这笔账是「让计算代替图形」的收官之笔:没有任何仪器到过那里,纸上先有了位子;两百多年后,探测器按图索骥,一一入位。计算跑在望远镜前面——这一程,拉格朗日提前两百年出发。
第五幕的账还剩两笔:暗线的总收束,与身后。先收暗线。
把一生折回那条暗线,四个阶段各存一笔本金。都灵七年,存入「方法」:极值题从此走统一关卡(第二幕)。柏林二十年,存入「框架」:力学从此投题吐方程(第三幕)。弦案前后,存入「语言」:振动从此拆模式、形状从此记自带(第四幕)。巴黎晚年,存入「课堂」:机器连同用法,交给了下一代(本幕)。四笔本金,一句总纲——让计算代替图形。
总纲的利息清单也该公示。变分法今天活在从最优路径到现代工程的每一处「挑最好」里;解析力学的立式是理论物理教科书的通用骨架;模式群从桥梁走进原子的世界;内蕴写法长成了曲面与空间的大学问;五个停车点上,探测器正替人类值班。一句十九岁书桌上的念头,两百五十年后仍在按月付息。
总收束前,照例把边界记足。「代替」两字要读得准确:拉格朗日没有宣布图形无用——他自己的著述也并非从无一笔直观;他宣布的是依赖的解除:道理必须由演算自己撑住,图形从「必需品」降为「助手」。解除依赖这一步,才是方法对巧劲的真正胜利:巧劲的天才是稀有的,程序是人人可学的——他毕生偏向后一端。
下一页,把家事与身后合上一页总账:两段婚姻、一份评语、一座铁塔——以及一个连名字都是借来的姓氏。
家事的账本极薄,要如实记。两段婚姻,没有子嗣:1767 年娶都灵的表亲维多利亚,相守十六年,她 1783 年病逝;1792 年续娶巴黎天文家的女儿勒莫尼耶——新娘比他小近四十岁,却成了晚年最稳的照应。拉格朗日留给家庭的遗产薄,留给学术的遗产厚——两本账都照实入册。
身后事一桩桩排开。1813 年 4 月 10 日,他在巴黎去世,享年七十七岁;政权几度更迭,礼遇始终未断——帝国封他伯爵,身后葬仪极尽哀荣。拿破仑当面对他的评价流传最广:拉格朗日是数学科学一座高耸的金字塔。半个多世纪后,巴黎造起一座三百米的高塔,塔身刻着七十二位法国贤人的名字——拉格朗日名列其中:一位生在都灵的学者,成了法兰西的名片。
还有一份迟到的名声:天上的那五个点。他生前,五点只是答卷上的特解;身后百年,特洛伊群入位,探测器逐个泊进一号点与二号点——「拉格朗日点」六个字成了天文学与航天的日常用语。一个数学家的名字,从纸面走进了太阳系。
连姓氏都有一段身世值得交代:他生时登记的是意大利文拼法,成名后行世的法文写法沿用至今——两个拼法指同一个人。这份「双拼」恰似他的一生:意大利的出生,法国的身后,欧洲的学问——国籍几处,账本一本。
一、讲台立了教。新学堂点将,头一名是他:不携讲稿、声轻、一条线推到底——一代法国数学家在这张讲台开蒙(p.34)。机器连同用法,交给了下一代。
二、内蕴立了尺。弧长当轴(0.520 → 1.148 → 2.958),弯度当账(顶点 1.00 → 0.35 → 0.09)——形状的全部自带信息,装进三个不要坐标的数(p.35—p.36)。坐标下台,曲线自带上台。
三、天上有位。五处天平动点纸上算成;身后百年,特洛伊群入位,观测台与望远镜泊进一号点与二号点——计算跑在望远镜前面两百年(p.37)。
四、暗线收了总。方法、框架、语言、课堂,四笔本金一句总纲——利息清单从教科书开到太阳系;边界也照实记足:「代替」是解除依赖,不是消灭图形(p.38)。
五幕合账。一位没有名师的少年,把「巧劲」这种最难传家的东西,变成了一台人人可学的机器;机器的总纲只有一句:让计算代替图形。身后的评语各有千秋,本册取最短的那句——一座金字塔。下一页起,收束全书。
把一生的节点排成一行。
1736 1 月 25 日生于都灵(撒丁王国);家产此后因投资亏空
1753—54 读哈雷旧文自学微积分;1754 年 7 月致欧拉首信
1755 任都灵皇家炮兵学校几何讲师(年十九);再函欧拉报一般方法
1756 经欧拉、莫佩尔蒂推荐当选柏林科学院院士(年二十)
1757 与同好创办都灵私人学会
1759 《都灵论丛》创刊;论声音与弦——入场弦振动之争
1760—61 变分法论文刊于《都灵论丛》第二卷;欧拉采用 δ 记号并命名
1766 应腓特烈二世之聘赴柏林,接欧拉之位
1767 与表亲维多利亚完婚
1772 〈三体问题论〉获巴黎科学院头奖(三角形两特解)
1786—87 腓特烈二世去世;迁居巴黎(受路易十六年金)
1788 《分析力学》第一版刊行(全书无图)
十二行之外,补四行身后:
1790s 主持度量衡委员会(米制);1794—95 年新学堂开讲(分析学讲席)
1810—15 《分析力学》第二版两卷(第二卷身后刊行)
1813 4 月 10 日卒于巴黎(年七十七);「数学科学高耸的金字塔」
1889 / 1906 / 1995 / 2021 铁塔镌名;特洛伊群入位;一号点与二号点泊船
寿数七十七岁。生前十二个节点,散在都灵、柏林与巴黎的三张书桌;身后两百多年,方法活在教科书里,名字挂在铁塔上,五个停车点正替探测器值班——方法与名声的两本账,都还按他的格式记着。
小读者的读法:一根绳与一根弦。记住两件事就够——定长的绳子围地,围成圆最划算(p.7 亲手数过);弦抖起来会站成一节一节的波浪(p.28 亲耳听过)。玩一遍 p.44 的围绳记账,玩一遍 p.45 的抖绳找节,亲眼看见「变化里藏着不变」。
中学生的读法:两张实算表。抓两张表:围地的候选表(p.7 的 3、1.75、4、5.09)与弦的频率表(p.28 的 200、400、600 次/秒)。它们只用加减乘除与开方,各自亲手推一遍,胜过读十篇介绍;p.36 的弯度表(1.00 → 0.35 → 0.09)则是「用数字看形状」的第一课。
成年读者的读法:一台机器。一个人把巧劲换成方法:变分法筛候选,解析力学吐方程,模式群拆振动,内蕴写法记形状——四笔本金一句总纲「让计算代替图形」。今天从工程手册到航天的车位表,利息还在按月支付。
三层可以叠读。方法是底,力学是梁,天上是顶——任何一层读顺了,另外两层会自己跟上来。
一、「挑最好」能走多远?变分法管的是「在无穷多候选里挑最优」:这条路从最短线出发,经最小作用量走进二十世纪——凡可以「每一步都取最省」来陈述的规律,都能挂进这台机器。新战场还在开:从最省燃料的航线到高效的学习路径,「挑最好」的账法仍在改版。
二、「函数」的地基还剩多少没打完?弦案的那场官司(p.31)由十九世纪的严格化接手:极限、连续、积分逐层立了法;可「什么样的对应配叫函数」随着集合论的深入又翻出新层——地基的施工至今没有封顶。拉格朗日的机器每换一版地基,就多跑一代题。
三、模式群与内蕴几何还能接到哪里?模式群从琴弦走到分子与原子的世界(p.30 挂了号);内蕴写法经曲面与空间的推广,长成了「不用站在外面看、只凭内部账目自知形状」的大学问——从绘图到相对论,凡「自带信息」四个字适用之处,这门几何都在加班。
三个问题共享一个出身:都诞生于「把巧劲存进方法」之后——先有问题,后有答案;而答案站住之后,问题又往前挪了一步。拉格朗日留下遗产的方式与他留下讲台的方式如出一辙:把规矩立到任何人都能接着立的地方——自己只求「安静地生活,安静地算题」。
器材:一段棉线(约五十厘米)、方格纸、铅笔。目标:亲手验收 p.7 的账——「定长的绳子,围成圆最划算」。
任务一:围矩形。把线摆成矩形,四个角按在方格纸上,数格子算面积;挪动边长,每挪一次记一笔(长、宽、面积)。账会自己开口:越接近正方形面积越大——与 p.7 的表一格不差。顺手验一句 p.8 的暗账:长宽各挪一小步(一至两格),面积的变化越来越小。
任务二:请出圆。把线尾相接圈成一个尽量圆的圈,用方格纸数它罩住的格子(半格按半格计,数两遍取平均)。同样的线,圆的格子数明显多于矩形——p.7 那笔 4 对 5.09 的账,当场见货。
任务三(挑战):数一数「多出几成」。把圆的面积除以正方形的面积,记下倍数;换长短不同的线再做一遍。倍数应当稳定在同一个数附近——线长换没换,比例不动:这就是「等周比例」的脾气。多出多少?p.7 的账面给的是 5.09 对 4.00——多出约两成七。
做完三题,变分法的第一课就体验完了:候选摆出来,账面见高下——「挑最好」不必等天才,数格子就行。两千年的老题,一根棉线就收了账。
器材:一根跳绳(或两三米软绳)、两位动手的人(一端可绑在门把上)。目标:亲手找到 p.29 的「节」——绳上那个纹丝不动的点。
任务一:甩出一节波。一端固定,另一端缓缓上下抖,调频率直到绳上站出一个大鼓包(一节波)。鼓包正中是「腹」,两端是「节」——p.28 表里的第一名成员,站在眼前。
任务二:加速,甩出两节波。频率加快,绳会自己分成两个鼓包、中间一个静点。静点就是「节」:用铅笔尖轻轻碰它——两侧照常起伏,指尖处纹丝不动。p.29 的表落了地:节在中点,幅度为零。
任务三(挑战):数一数频率翻了几倍。让一位同伴用手打拍子,分别给一节波与两节波记拍。两节波的拍子大约是一节波的两倍——p.28 的整数比(200 对 400 次/秒),拍子里听得见。手稳的还能甩出三节波:拍子三倍,节在三分之一与三分之二处。
做完三题,模式群就体验完了:每位成员一个频率、一张岗位表;频率排成整数比,节与腹各就各位。一根跳绳,把 p.28—p.29 的账全部跑了一遍——弦案半个世纪的官司,绳上三分钟结案。
等周问题 周长定长时圈地最大的闭合曲线问题;答案是圆(p.7、p.16)。
变分法 在无穷多条候选曲线里挑最优的统一算法;诞生文 1760—1761 年(p.13)。
δ(改动量) 曲线的「小挪动」记号;由拉格朗日定型、欧拉采用(p.8、p.18)。
欧拉—拉格朗日条件 最优曲线「一阶改动处处为零」的通式名目(p.15)。
广义坐标 开头就按自由度选定的记账坐标;约束因此不入账(p.22)。
解析力学 《分析力学》立起的力学写法:投题吐方程,全书无图(p.23、p.24)。
模式群 振动系统拆出的一串独立标准形状;成员频率成整数比(弦的情形)(p.28—p.30)。
节与腹 驻立波形中不动的点与起伏最大的点;岗位表的行名(p.29)。
内蕴写法 只记曲线自带信息(弧长、方向、弯度)的几何记法(p.35—p.36)。
拉格朗日点 两大天体绕转时第三天体的五处特解位;四、五号点与两星成等边三角形(p.37)。
拉格朗日(1736—1813) 本册主角;变分法、解析力学、模式群框架与五个天平动点的立账人(p.2 起)。
欧拉(1707—1783) 通信四十年的泰斗;变分法的命名人与让位者(p.4、p.18)。
达朗贝尔(1717—1783) 弦案的主将;波动方程的首篇作者(p.27)。
丹尼尔·伯努利(1700—1782) 「拆成一串」直觉的提出者;弦案第三方(p.27、p.32)。
莫佩尔蒂(1698—1759) 柏林科学院院长;1756 年的联名推荐人(p.9、p.11)。
腓特烈二世(1712—1786) 普鲁士国王;「最伟大的几何学家」聘语的出处(p.20)。
哈雷(1656—1742) 天文学家;点亮少年自学的旧文作者(p.4)。
傅里叶(1768—1830) 热与级数一棒的第二棒;弦案的下一位当事人(p.32)。
哈密顿(1805—1865) 「一首科学诗」评语的作者;解析力学的后世读者(p.23)。
拿破仑(1769—1821) 封爵与评语:数学科学高耸的金字塔(p.39)。
第一桩:五个点该姓谁?天平动点今天通称「拉格朗日点」,史笔却要分两截记:连线上的三个特解,欧拉 1767 年先行算出;与两星撑成等边三角形的两个特解,才是拉格朗日 1772 年答卷的名笔。后人把五处一并挂上他的名字——名从 famoso,实有先来后到。通行史笔的处理:名字照叫,归属照记。
第二桩:变分法姓什么?方法的核心思路出自拉格朗日十九岁上下的信与 1760 年的论文;但「变分法」这个名字、这套 δ 记号的通行化,出自欧拉之手——他命名了他没有发明的学问。与 p.18 的让位故事合读:命名权交给发明人,名目却由命名者传世——一门学问的两半姓名。
第三桩最小,也最家常:米制该记谁?度量衡委员会成贤云集,米与千克的定义是集体工程;委员会主席由拉格朗日担任,史书给了他「主持」二字,没有给「发明」。一把尺子的归属都如此讲究——集体成果不冒领,主持之名不抹杀。
三桩合出一套规矩:名从通行,实从史笔——通行的名字方便今天的人说话,史笔的账目方便明天的人查证。拉格朗日本人对这类事的态度可以作结:他连自家的姓氏都随行随易,唯独账目,一笔一笔落在纸上。
模式群最贴身的现场工,在乐器上。按住弦的某一格再拨弦,发声的只剩被按住的那段弦——弦短了,基音就高:频率与弦长成反比(p.28 的账)。乐器顺着这条账造出一排格子,每格把弦长按同一比例缩短一点。列一张表(标准音为基):
按第 5 格:弦长 0.749,频率 1.335 倍——贴近纯四度 4/3 ≈ 1.333
按第 7 格:弦长 0.667,频率 1.498 倍——贴近纯五度 3/2 = 1.500
按第 12 格:弦长 0.500,频率 2.000 倍——恰是高八度
读表有三层。其一,十二格恰把弦长砍半、频率翻倍——八度是弦的账里最硬的一格。其二,各格的比例一档一档相乘,拼出全套音阶——这套「均分」的调音法,把「好听的比例」摊进了每一格。其三,均分是小账,整数比是大账:1.335 对 1.333、1.498 对 1.500——每一格都贴着一个好听的比例,差上那么一丝;乐耳听的是整数比,乐器按的是均分格,两账之差,正是调音师三百年的功课。
这页也照例挂一笔本行:弦的频率表、岗位表与调音的账,同属模式群的字母表——一根琴弦从 p.28 一路通到乐器铺。下一页留给家长:怎样陪孩子读完这一册。
本册的三层各有入口。小学低年级:只读故事页,配 p.44 的围绳记账——一根棉线就能玩,「定长的绳子围成圆最划算」的体感一玩就懂;p.45 的抖绳当游戏做,找到「纹丝不动的点」会是最兴奋的一刻。
小学高年级到初中:加读 p.7 与 p.28 的实算。围地表只用乘法,家长可以陪孩子一格一格数;p.28 的频率表(200、400、600)与 p.45 的打拍任务相互印证——「数字上的整数比」与「绳子上的节」对上号,模式群就算进门了。
高中及以上:全册可读。p.14—p.16 的变分法三课、p.21—p.23 的能量账、p.35—p.36 的内蕴写法,是大学力学与几何课程的完整预告;注疏层的文献路径(p.2 注起)可供检索。
三处提示给家长。其一,「没有图的书」不必劝退:p.23 的验收单说明零图是纪律不是门槛,配 p.21—p.22 的小题动手验一遍,孩子能体会「账自己会说话」。其二,p.48 的归属官司值得多聊两句:「名字叫谁」与「活是谁干的」分开记——这是全册最实用的一课。其三,本册主角一生顺遂少波澜, p.3 的亏空家产与 p.20 的聘语是仅有的两处戏剧点,别硬加戏:安静而高产,正是这位主角的本色。
读完这一册,值得留下一句话给孩子:聪明人人都有,方法不是——把巧劲存进方法的人,聪明才不会过期。
一、「没有图就学不了力学。」零图是纪律,不是门槛:书里每一步都由演算自己撑住,读者反而少受「看图看岔」的累(p.23)。入门阶段照旧画图无妨——先靠图形走,再学让账自己走,两步不冲突。
二、「变分法就是求最大最小。」求极值人人会,变分法管的是「在无穷多条曲线里挑最优」——候选是整条曲线而非几个数,这才是它的专属格局(p.6、p.13)。把它说成普通应用题,等于把机器说成了算盘。
三、「五个拉格朗日点都是他一个人算的。」直线上的三点,欧拉 1767 年先行;三角形两点才出自 1772 年的答卷——通称归他,史笔分账(p.37、p.48)。把五点全记在一个人名下,恰好错过了这场漂亮的接力。
四、「模式群只属于弦。」弦只是最小的样本:凡平衡位置附近的小振动——桥、楼、分子、原子——都能拆出自己的模式群,模式数与自由度对齐(p.30)。弦案只是这门通用语言的第一次亮相。
五、「解析力学取代了牛顿力学。」不是取代,是改写:同一部力学,一种从受力图走,一种从能量账走,答案分毫不差(p.21 的周期表两法皆通)。说「两门力学」是错的,说「两本账法」才对——机器换了传动,车还是那辆车。
五条误区有一致的解药:把「听说」换回「在哪一页、依据什么」。这本册子每一处重要断言都留了页码与文献——这正是那台机器自己立身的规矩:账目落在纸上。
《数学家的故事》第五辑 第 43 册
拉格朗日 · 无图之书
体例:五幕 · 52 页 · 三层可读(故事/数学/注疏)
插画:40 幅(留白线体)
数值:全册关键数值实算复核
本册为「格物致知」系列数学通识读物之一,面向全龄读者。
故事层无需预备知识;数学层对应高中至大学初年级;注疏层供检索与延伸。
格式 · 格物致知 · JUST FOR FUN