华罗庚 · 柜台上的数学家

华罗庚成名的那篇文章，纠正的是一个具体的错误，但它背后的问题值得讲清楚：为什么五次方程没有根式解。

二次方程有求根公式；三次、四次也有，公式长一些。五次呢？十九世纪前很多数学家相信，只是公式还没找对。一八二四年，挪威人阿贝尔证明了：五次方程的一般根式解不存在——不是没找到，是没有。稍后伽罗瓦更进一步，给出了判别法：能不能解，取决于方程的「对称结构」。

所以一九三〇年的任何一篇「五次方程根式解法」，都必然有错。华罗庚做的事是找出错在哪一步：苏家驹的论证需要引入一个辅助方程，并假设它有某种形式的根；华验算了这一步，指出这个假设与原方程不相容——后面几页纸全是精确的演算，可错只在源头的一行。

顺带学一个有用的检验：整系数多项式的有理根如果写成 p/q（最简分数），那么 p 必整除常数项，q 必整除首项系数。拿它验 x⁵−2＝0：候选根只有 ±1, ±2，代入得 −1, −31, 1, 30，都不是零——此方程根本没有有理根。一页纸的检验，胜过十页纸的声明。

数论研究整数，最核心的对象是素数：大于 1、只能被 1 和自己整除的数。它有个著名的麻烦：素数在数轴上的分布看似随机，没有公式能直接给出第 n 个素数。

能做的是「数」：π(x) 记不超过 x 的素数个数。数一数：π(100)＝25，π(1000)＝168，π(10000)＝1229。素数越来越稀，但稀得有规律——这正是十九世纪数论的主题。

数论的另一条线是堆垒：不问一个数怎么分解，反问它能不能由几块「材料」加出来。华林一七七〇年断言：每个正整数都是不超过某个固定数目 g(k) 的 k 次幂之和。拿立方数试一下：23＝8＋8＋1＋1＋1＋1＋1＋1＋1，九个立方数；而 23 减去 0、1、2 个 8，剩 23、15、7，都不是立方数——九个还不够少，九个恰好够。今日已知 g(3)＝9，g(4)＝19。

这就是「堆垒素数论」名字的来历：把素数当材料，问「几个素数相加能盖住多大的范围」。华罗庚一生的第一项大工程，就在这条线上。

他自学的做法，他自己晚年总结成三条，这里照录并配上可见的账。

第一条：书要「由薄到厚，再由厚到薄」。先把每个定义配上十个自己造的例子，书就厚了；等全部打通，再用三句话把一本书讲完，书又薄了。他后来要求学生每读完一章，必须能不看书写出全章的逻辑骨架。

第二条：先算后证。拿到定理先代数算例子——素的、合的、大的、小的——算出「感觉」，再回头读证明。他批评过一种读法：跳过例子直接背证明，「背下来的是别人的，算出来的才是自己的」。

第三条：慢就是快。金坛五年他只啃了三本书，但每本书的习题全部做绝。对比他在清华的速度——两三年补完大学与研究生课程——并不矛盾：地基阶段慢，正是为了后面可以快。

这套方法今天看平常，放在一九二〇年代的中国，知道的人极少。他把这些话反复讲了一辈子，晚年整理成《从华罗庚谈到自学》等小册子。

圆法的思路听起来绕，其实朴素：把「计数」翻译成「取平均」。想数「有多少对素数相加等于 N」，就造一个多项式 S(t)＝∑e(t p)（p 跑遍素数，e(x)＝e^{2πi x}），然后算 S(t)²·e(−tN) 在 t 从 0 到 1 的平均——这个平均恰好把符合条件的那些对子挑出来。

为什么？因为 ∑e(t(p＋q−N)) 对不合条件的项正负抵消，只有 p＋q＝N 的项贡献 1。积分就是把「筛选」做成了「抵消」。

难点在估计：积分区间 [0,1] 上，S(t) 在少数「主弧」上很大、在漫长的「劣弧」上很小。哈代—李特伍德分出主弧劣弧，维诺格拉多夫用「三角和」的精细估计把劣弧压到底——三素数定理（每个充分大的奇数是三个素数之和）就是这条链的终点（维诺格拉多夫 1937）。

华罗庚的贡献在于把这套机器搬到一般堆垒问题上：他证明，对华林问题、哥德巴赫型问题的一大批变体，同样的方法给出同样的精度。后来这些都写进了《堆垒素数论》。

《堆垒素数论》一九四〇年前后在昆明完稿，一九四七年出版俄译本，后来又有德文与匈牙利文版。这本书记录了到当时为止堆垒素数论的全部主要方法，半个世纪里被当作这一行的标准参考书。

书名的意思可以落到实处。设 r_k(N) 是「把 N 写成 k 个素数之和」的方法数。堆垒素数论的目标是给出下界估计：证明当 N 大时 r_k(N) 不为零、而且比零大得多。三素数定理就是 k＝3 的答案；哥德巴赫猜想是 k＝2 的情形，至今未决。

书里还有他自己的一项名作：对「殆素数」的处理。所谓殆素数，是素因子个数不超过固定值的数。用「几乎素数」替代「素数」，许多原来够不着的结论就够得着了——这条折中路线后来被他的学生一代走到极致（陈景润的「1＋2」，p.35）。

这本书给他带来一九四一年教育部首届学术奖一等奖。评审的评语今天看仍准确：「其对素数论之贡献，足与维诺格拉多夫相颉颃。」

剑桥两年他不止做数论。他旁听了分析一代的课程，注意到一个此后跟了他四十年的方向：多复变函数——同时依赖多个复变量的函数。它的困难一语可道：单复变有完整的理论（积分、展开、零点都有漂亮公式），多复变处处出例外，两个变量就足够让许多定理失效。

他后来选择的具体切入口是「典型域」：几类有高度对称性的区域，上面的多复变函数论可以算到底。这类区域与矩阵群、与李群的结构纠缠在一起——他数论里练出的矩阵功夫正好用上。

这里先立一个账，第五幕之前要回来结：他的学术版图是三块——数论（剑桥至昆明）、多复变与代数（昆明至美国）、应用数学（一九五〇年之后）。三块共用一套底层习惯：把对象换成矩阵、把矩阵换成群、把群算到底。

顺带交代一个时代背景：一九四〇年代的昆明，西南联大的教授们住得极挤、薪水极薄，警报一响全体往城外跑。《堆垒素数论》就是在这样的条件下写成的——这个事实没有数学内容，但理解他后来的一切选择，这段是必要的底色。

单复变里最基本的问题是：圆盘上的解析函数长什么样？答案干净——幂级数，一切都写得出来。多复变没有这么幸运：多个变量的「圆盘」有好几种形状，而且形状不同，函数论的性质就不同。

华罗庚挑了四类形状最对称的区域——「典型域」——把它们上面的函数论完整地算了一遍：从对称性出发，写出群的作用，再算出不变的积分核、正交基、调和函数。整个构造像一场大计算，但每一步都是群论。

这项工作后来有三个去向。其一，它与表示论接上：典型域上的函数空间正是某些群的表示空间。其二，它与多复变的现代理论（积分表示、伯格曼核）相通，1960 年代起成了教科书的一章。其三，他由此顺手解决了几个代数问题——「典型域」与「矩阵几何」互相成就。

一九五六年，这项工作获首届国家自然科学一等奖。一等奖当年只发了三项，另两项分别属于力学与物理学。

与王元合作的数论网格法，要解决的是一件实际的事：高维积分怎么算得又快又准。工程上无数问题最后都化成积分；维数一高，均匀布点就失效——一百个点在十维空间里等于没有点。

他们的想法：用数论挑一组「最会填空」的格点。二维的情形最漂亮：取斐波那契相邻两数 (N,K)，取点 (i/N, {Ki/N})，i＝1,…,N——这些点自动分布得像黄昏的星星，没有成行成列的浪费。

实际算一次。要近似 ∫₀¹∫₀¹ x²y² dxdy（真值 1/9≈0.1111）：取 N＝13 的斐波那契格，13 个点算得 0.0937，误差 0.0175；同样的 4×4 均匀网格（16 个点）误差 0.1086——点更少，准了六倍。

这套方法写成《数论在近似分析中的应用》（与王元，1978 年出版），后来被称作「华—王方法」，在高维数值积分与试验设计里用到今天。

统筹法他最爱举的例子是泡茶。五件工序：洗水壶 1 分钟，烧水 15 分钟，洗茶壶茶杯 2 分钟，拿茶叶 1 分钟，泡茶 1 分钟。

串行做：一件做完再做下一件，1＋15＋2＋1＋1＝20 分钟。按统筹做：先洗水壶（1 分钟），点上火（15 分钟），烧水的同时洗茶壶、拿茶叶——这两件事不占火，与人手不冲突——水开了就泡（1 分钟）。总计 1＋15＋1＝17 分钟，省 3 分钟。

三分钟微不足道？把规模换掉就行。一项工程几百道工序、几十台机器并行，串行与统筹的差距就是几个月与几周。泡茶例子的全部要点只有一条：找出「谁在等谁」——烧水等洗壶，泡茶等烧水、等茶叶；洗杯不等任何人，就把它塞进等待的缝隙里。

把这些「等谁」画成一张网络图，最长的链条叫关键路径：它决定总工期；图上其他缝隙都是可利用的富余。第四幕要把这个工具真的用到工厂去。

问题这样立：一个指标（比如糖水的甜度）随一个量（糖的克数）变化，在允许范围 [5, 25] 克里有唯一的最优点。每做一次试验代价很高，怎么用最少的试验逼近最优点？

0.618 法的步骤：第一次在区间的 0.618 处做——5＋0.618×20＝17.36 克；再在它的对称点 12.64 克做一次。两个结果比一比，留下好的那一点所在的一半区间，把另一半扔掉；留下的那一点恰好又是新区间的 0.618（或 0.382）处，于是只需补做对称的一点。如此往复。

假设真实最优在 12 克（试验者不知道），本册实算八步：

[5, 25]→[5, 17.36]→[9.72, 17.36]→[9.72, 14.44]→[9.72, 12.64]→[10.84, 12.64]→[11.52, 12.64]→[11.52, 12.21]→[11.78, 12.21]。

八次试验后，区间从 20 克缩到 0.43 克——只剩原来的 2.15%。道理在乘法：每一步缩到 0.618，n 步后剩 0.618ⁿ；要缩到百分之一，0.618¹⁰≈0.0081，十次就够。0.618 这个数的妙处只有一条：每次比较后，留下的点自动落在新一轮的正确位置上，一次试验都不浪费。

把泡茶的例子换成一台机器的大修，账就大了。设工序与耗时如下（分钟）：拆机 30；拆完分两路——换轴承 60 与 修电路 40；两路都完成后总装 30，最后试机 20。

画成网络，有两条链：拆→换轴承→总装→试机＝30＋60＋30＋20＝140 分钟；拆→修电路→总装→试机＝30＋40＋30＋20＝120 分钟。总工期由较长的那条决定：140 分钟——这就是关键路径。

关键路径的用处全在「往哪里使劲」：把修电路从 40 分钟压到 25，总工期一分不减（那条链本来就短）；把换轴承从 60 压到 50，总工期立刻省 10 分钟。力气只该花在关键路径上——这是统筹法最重要的一句话。

泡茶例里的「洗杯、拿茶叶」不在这条链上，所以提前做完没有额外收益；它们唯一的用处是把最后那 1 分钟的「泡茶」不被卡住。工程越大，这个判断越值钱。

两条方法经常要一起用。设一条生产线要调试一个工艺参数（温度），同时大修一台风机。风机大修是工序链上的一环（关键路径 140 分钟，见 p.29）；温度调试不占工序时间，但每试一次要停半条线 8 分钟。

预算：调试只允许 4 次试验。用 0.618 法在 [1000, 2000]（度）上找最优温度：四次后区间宽缩到 1000×0.618⁴≈146 度——剩下的不确定范围只有原区间的 15%，够决定下个月的生产参数。

再把停机的 4×8＝32 分钟塞进哪里？看网络：风机大修的「总装」工序开始前，前段工序（拆机、换轴承）都未完成，停线损失最小——把 32 分钟的试验安排在总装窗口，等于从关键路径的缝隙里抽时间。两项合计：温度找到，工期一延不改。

这个例子是合成的，但结构是真实的：双法小分队的多数成功案例，拆开都是这两件小事的组合——0.618 找参数，网络图排时序。数学在这里没有新的定理，只有把旧定理放在正确的位置上。

他带回北京的学生里，最有名的是陈景润。一九五六年前后，华罗庚读到厦门大学一名图书资料员关于堆垒素数论的文章，指出自己书里的一处笔误——学生挑老师的错，他做的第一件事是请人来北京。陈景润进了数学研究所，后来的故事写进了教科书。

那道题是哥德巴赫猜想：每个大于 2 的偶数都是两个素数之和。直接证不动，数论家退一步按「逼近程度」计分：把「素数」放宽为「至多 k 个素因子之积的数」，能证到多小算多小。「1＋2」的意思是：每个充分大的偶数，等于一个素数加一个至多两个素因子之积的数。

陈景润一九六六年宣布、一九七三年完整发表的正是「1＋2」——用维诺格拉多夫的筛法与他自己改进的估计，推到这条路线的尽头。五十多年过去，这条路线没有再往前挪过：1＋1（两个素数）仍未解决，1＋2 仍是最好成绩。

这条师承线的起点常被讲成佳话，值得多说一句的是它的方法：学生指出错误，老师当众感谢——这是华罗庚在清华对助教做过、后来要求学生互相做的事。他一生的学术圈子里，指出错误不是冒犯。

他直接指导与影响的学生，分布在至少五个方向：解析数论（王元、陈景润、潘承洞——哥德巴赫与筛法一线）；多复变与调和分析（陆启铿、龚昇）；代数（万哲先——典型群与编码）；数值分析（华—王方法的延伸）；应用数学（双法的讲学梯队）。

谱系里还有一层组织上的遗产。数学研究所、中国科学技术大学的应用数学系、后来的应用数学研究所——这些机构都是他推动或亲手创办的。「把应用数学当成一门学科来建」在中国，从他开始。

学生的谱系反过来也解释了他的时间分配：一九五〇年代多带数论，一九六〇年代多跑应用——不是兴趣转移，是「哪一块缺人就补哪一块」。这在世界级数学家里是罕见的分工方式。

第五幕的账到此只剩两笔：一本教材与一套方法如何留存（p.37），以及「柜台上的数学家」这个称呼到底意味着什么（p.39）。

他留下的三样东西各管一摊。《数论导引》（1957）至今是解析数论研究生的参考书：从整除一路讲到圆法与三角和，习题极多，承袭了他「先算后证」的习惯。《典型域的调和分析》（1965）是多复变的经典；《数论在近似分析中的应用》（与王元，1978）开了一个数值分析的方向。

方法一层的留存更广：优选法与统筹法进了中学课本与工人教材，「关键路径」「0.618 法」从此成为汉语里的常用词。一项数学工具能进入日常语言，这在中文世界是极少数的例子。

实物一层的留存不多：他的手稿、书信与那几本写满的笔记，分存于中国科学院与家属处；家乡金坛建了纪念设施，中学里挂着他少年时的照片。没有宏大的纪念馆——与他一生「把东西留给别人用」的方式相称。

本册至此收束。p.41 有一条完整的时间线，p.43 留了三个还没有答案的问题。