爱德华·华林（Edward Waring）

华林问题的提出者与 18 世纪英国最深刻的分析学家之一——他的定理与猜想喂养了希尔伯特、哈代—李特尔伍德、维诺格拉多夫一整条数论血脉，但其著作的晦涩与排版混乱，让他在生前几乎无人读懂。

一、生平与时代背景

爱德华·华林确切的出生日期已不可考；现代数学史界（MacTutor、Strick 传记）据各源推断最可能生于 1736 年，但亦有 1734（《大英百科全书》）与约 1735（《牛津国家人物传记大辞典》DNB）之说，出生年份存疑。他生于英格兰什罗普郡（Shropshire）的古希思（Old Heath，近什鲁斯伯里），父亲约翰·华林（John Waring）是富裕的农场主，家族数代居住在什罗普郡的米顿（Mytton）；母亲伊丽莎白（Elizabeth）。华林在什鲁斯伯里学校（Shrewsbury School）受早期教育。

1753 年 3 月 24 日他进入剑桥抹大拉学院（Magdalene College），获米尔布里奇奖学金，以"减费生"（sizar，即减免学费但需做仆役补偿）身份入学。他的数学才能很快令老师刮目相看，1757 年以甲等第一名（senior wrangler）获文学士学位。1758 年 4 月 24 日当选抹大拉学院研究员。此后数年他撰写最重要的著作《分析杂论：关于代数方程与曲线性质》（Miscellanea analytica de aequationibus algebraicis et curvarum proprietatibus），把第一章提交给皇家学会，却石沉大海两年。

1759 年，华林被提名角逐剑桥的卢卡斯数学教授席位（Lucasian Chair of Mathematics）——这是牛顿曾担任的席位。为证明自己虽年轻却够格，他把《分析杂论》的稿子散发出去。圣约翰学院的威廉·鲍威尔（William Powell）另有心仪人选，发表小册子《观察》（Observations）攻击华林、质疑其数学能力。华林于 1760 年 1 月 25 日以《对〈观察〉的答复》回应，鲍威尔随即回以《为〈观察〉辩护》；此时华林的学生约翰·威尔逊（John Wilson）写了一封《信》声援老师，事态就此平息，华林于 1760 年 1 月 28 日以 23 岁之龄确认出任卢卡斯教授。

1762 年，完整的《分析杂论》出版，华林却称其为"第二版"并改题《代数沉思录》（Meditationes Algebraicae）——这个奇怪的处理让版本关系长期混乱。1763 年 6 月 2 日他当选皇家学会会员。1764 年，拉朗德（Lalande）在《孔多塞传》中断言英国没有一流分析学家，华林立即致信皇家天文学家内维尔·马斯基林（Nevil Maskelyne）反驳，指出达朗贝尔、欧拉、拉格朗日都曾称赞他 1762 年的工作，并称书中给出了"三四百条各种新命题，远超任何其他英国作家"；但他也坦承在剑桥之外几乎找不到读者，原因既在内容艰深，也在他"不善表达、代数记号拙劣、字迹几不可读"。

令人意外的是，这位卢卡斯数学教授却去读了医学，1767 年获医学博士学位，并短暂在伦敦的医院、剑桥的阿登布鲁克医院（Addenbrooke's）及亨廷登郡圣艾夫斯的一家医院行医，但因高度近视与性格羞怯，至迟到 1770 年便放弃行医。他作为卢卡斯教授从未讲过课——有人说是其思想太深奥无法课堂传授，但更可能的原因是表达能力差、字迹难辨。1776 年他与玛丽·奥斯韦尔（Mary Oswell）结婚，先住什鲁斯伯里，后迁居其在彭特思伯里（Pontesbury）普莱利（Plealey）的庄园。

华林著作等身：以 1762 年的《分析杂论》为基础，衍生出《代数曲线的性质》（Proprietates algebraicarum curvarum，1772）、扩充版《代数沉思录》（1770，1782 再扩）、《分析沉思录》（Meditationes analyticae，1776，1785 扩）。1784 年获皇家学会科普利奖章（Copley Medal）——学会最高荣誉；但 1795 年他竟以贫困为由从皇家学会辞职（实情存疑，可能与其晚年的精神状态有关）。他还当选哥廷根皇家学会与博洛尼亚皇家学会会员。晚年据说陷入"近乎疯狂的深度宗教忧郁"，1798 年 8 月 15 日卒于什罗普郡彭特思伯里。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 华林问题：把整数表为 k 次幂之和（1770）

问题背景：费马曾断言每个正整数是至多 $n$ 个 $n$ 角形数之和（多边形数定理）；1770 年拉格朗日证明了四平方和定理（每个正整数是 4 个平方数之和）。华林则把这一思想推广到任意次幂。

关键思想：在《代数沉思录》（1770）中，华林不加证明地陈述了今称"华林定理"的命题：

每个整数都可表为不超过 9 个立方数之和；每个整数都可表为不超过 19 个四次幂之和；如此等等。

精确表述：对每个正整数 $k$，存在最小的正整数 $g(k)$，使得每个正整数都能表示为至多 $g(k)$ 个非负整数的 $k$ 次幂之和。华林断言 $g(3)\le 9$、$g(4)\le 19$（即立方需 9 个、四次幂需 19 个）。这就是华林问题（Waring's problem）。

与前人关系：平方情形 $g(2)=4$ 即拉格朗日四平方和定理，恰在同一年（1770）被拉格朗日证明；华林把它推广到一般 $k$，是对费马多边形数思想的代数深化。

后续发展：1909 年希尔伯特证明了 $g(k)$ 的存在性（对任意 $k$，这样的上界存在），是一项重大突破；哈代与李特尔伍德发明圆法（circle method，1918 起），维诺格拉多夫进一步改进，给出 $g(k)$ 的渐近公式。如今已知的精确值包括：$g(2)=4$（拉格朗日）、$g(3)=9$（Wieferich 1909 证明每个自然数是 9 个立方和；仅有 23 和 239 需满 9 个）、$g(4)=19$（Balasubramanian、Deshouillers、Dress，1986）、$g(5)=37$ 等；对"充分大的整数"所需的最少个数记为 $G(k)$，是更难的问题（如 $G(4)=16$ 由达文波特 1939 年证明）。

局限性：华林只给出了猜想，未证明存在性；其"如此等等"的一般断言要等一个多世纪才由希尔伯特证实。

2. 威尔逊定理的陈述（1770）

问题背景：如何用一个简洁的充要条件判别素数？

关键思想：在《代数沉思录》（1770）中，华林陈述了（并归功于其学生约翰·威尔逊）今称威尔逊定理的命题。

精确表述：对正整数 $n>1$，

$$n\text{ 是素数} \iff (n-1)! \equiv -1 \pmod{n}.$$

即当且仅当 $n$ 为素数时，$(n-1)!+1$ 被 $n$ 整除。例如 $n=5$：$4!=24\equiv -1\pmod{5}$，5 是素数；$n=4$：$3!=6\equiv 2\not\equiv -1\pmod{4}$，4 不是素数。

与前人关系：华林只是陈述并归名于威尔逊，第一个给出证明的是拉格朗日（1771）；莱布尼茨此前已知道该结论但未发表。故定理以威尔逊命名（华林命名），证明归拉格朗日。

局限性：威尔逊定理虽优美，但作为素性判别法效率极低（需计算 $(n-1)!$），不如现代概率性判别法；它更多具有理论意义（是模 $p$ 非零元乘法群为循环群的直接推论）。

3. 哥德巴赫猜想的首个刊本（1770）

问题背景：偶数与奇素数之和的结构。

关键思想：华林在《代数沉思录》中陈述：每个偶数可表为两个素数之和，每个奇数要么是素数，要么是三个素数之和。这是哥德巴赫猜想最早的公开发表版本。

精确表述： - （强/二元哥德巴赫猜想）每个大于 2 的偶数是两个素数之和。 - （弱/三元哥德巴赫猜想）每个大于 5 的奇数是三个素数之和。

与前人关系：哥德巴赫（Christian Goldbach）早在 1742 年致欧拉的信中已提出等价猜想（私人间通信，未发表），故优先权归哥德巴赫；但华林 1770 年的版本是该猜想首次见诸印刷，因此更广为人知。

后续发展：三元哥德巴赫猜想由维诺格拉多夫 1937 年对"充分大的奇数"证明，埃尔夫戈特（H. A. Helfgott）2013 年完成对所有奇数的证明；二元猜想至今未解决，是数论中最著名的开放问题之一。

4. 对称函数与预解式：伽罗瓦理论的远祖（1762—1770）

问题背景：如何理解代数方程根与系数的关系？为何四次以上方程似乎无法用根式求解？

关键思想：在《代数沉思录》中，华林证明了所有有理对称函数（即根的任意有理对称表达式）都可表示为系数的有理函数；他给出了表示对称多项式的方法，并研究了分圆方程 $x^n-1=0$。

精确表述：更具前瞻性的是他对预解式（resolvent）的处理——以四次方程为例，他揭示了四次方程的根与其预解三次方程（resolvent cubic）的根之间的对称关系。Weeks（翻译《代数沉思录》的学者）指出：华林对该例的处理"本质上是对称函数理论中超越基本构件的第一个结果"，预示了后来由拉格朗日、高斯系统发展的对称函数理论，并最终通向置换群理论（伽罗瓦、若尔当等）。此外他给出的"$k$ 个 $k$ 元方程可消元为一个一元方程，且所得方程次数等于原方程次数之积"即广义贝祖定理（Generalised Theorem of Bézout）。

与前人关系：牛顿恒等式（1707）已能把幂和表为初等对称函数，华林的贡献在于系统化并走向预解式与根的置换结构；他因此被视为伽罗瓦理论的最早贡献者之一。

局限性：华林未能抽象出"群"的概念，也未触及根式可解性的一般判别；他的记号混乱、证明晦涩，使其工作被同代与后人长期忽视。

5. 代数曲线的分类（1772）

问题背景：牛顿已对三次曲线做了分类（72 种），高次曲线如何系统分类？

关键思想：在《代数曲线的性质》（Proprietates algebraicarum curvarum，1772）中，华林试图对四次平面代数曲线做系统分类。

精确表述：他把四次曲线分为 12 个主类，下含 84551 个子类——这一庞大数字反映了其分类的精细（也反映了其方法的繁复）。

与前人关系：继承牛顿（1704《三次曲线枚举》）的曲线分类传统，把它推向四次。

局限性：分类过于庞杂且缺乏清晰的不变量原则，影响力有限；现代代数曲线分类以亏格等不变量为核心，与此路径不同。

四、代表著作与文献

• 《分析杂论：关于代数方程与曲线性质》（Miscellanea analytica de aequationibus algebraicis et curvarum proprietatibus，1762）：成名作，出版时改称《代数沉思录》"第二版"。
• 《代数沉思录》（Meditationes Algebraicae，1770；1782 扩充版）：核心著作，含华林问题、威尔逊定理陈述、哥德巴赫猜想首个刊本、对称函数与预解式研究。有 Dennis Weeks 1991 年英译本。
• 《代数曲线的性质》（Proprietates algebraicarum curvarum，1772）：四次曲线分类。
• 《分析沉思录》（Meditationes analyticae，1776；1785 扩充版）。

五、师承、学派与同时代交往

• 师承：在剑桥抹大拉学院受教，数学主要靠自学；其学生中约翰·威尔逊（John Wilson，威尔逊定理得名者）较知名。华林无显赫的数学师承，是英国 18 世纪分析传统的孤峰。
• 学派归属：18 世纪英国分析学派（牛顿之后的英国数学传统），与欧洲大陆的欧拉、拉格朗日传统相对隔绝。
• 同时代交往：
• 约翰·威尔逊：学生，华林将素数判别定理归名于他。
• 威廉·鲍威尔：对手，1760 年小册子论战阻止其任卢卡斯教授。
• 达朗贝尔、欧拉、拉格朗日：据华林自述，三人都曾称赞其 1762 年著作；但他与大陆学界联系有限，著作未被广泛阅读。
• 内维尔·马斯基林：皇家天文学家，华林 1764 年致信反驳拉朗德时的收信人。
• 拉朗德：法国天文学家，断言英国无一流分析学家，触发华林的公开回应。
• 同时代学者：牛顿（曲线分类传统的源头）、贝祖（广义贝祖定理相关）。

六、争议、公案与历史评价

• 出生年份存疑：1734（《大英百科》）、约 1735（DNB）、1736（MacTutor，主流）三说并存，确切日期不可考。
• 版本混乱：1762 年把新作《分析杂论》称为"第二版"并改题《代数沉思录》，令版本关系长期费解，也增加了阅读难度。
• "英国无一流分析学家"之争：拉朗德的断言与华林的公开反驳，折射出 18 世纪后半叶英国数学相对大陆的衰落与孤立——华林本人正是这一孤立的牺牲品：他的成就配得上欧陆同侪，却几乎无人阅读。
• 表达能力的批评：时人评价他"虚荣与谦逊的奇异混合，而虚荣占主导"；托马斯·汤姆森（Thomas Thomson）的定评是："18 世纪最深刻的数学家之一，但其著述的粗陋与晦涩，使他未能获得应得的声誉。"有人把他与约 150 年后命运相似的鲁菲尼（Ruffini）相比：皆因表达晦涩而贡献被埋没。
• 晚年精神状态：晚年"陷入近乎疯狂的深度宗教忧郁"，1795 年以贫困为由从皇家学会辞职——其真实原因（经济 vs 精神）学界推测，存疑。
• 历史评价：华林是 18 世纪英国最深刻的数学家，但其影响主要是"延迟的"——华林问题在 19–20 世纪成为数论的核心驱动力之一，喂养了希尔伯特、哈代—李特尔伍德圆法与维诺格拉多夫的工作；其对称函数与预解式研究是伽罗瓦理论的远祖。斯特里克（Heinz Klaus Strick）等现代史家正为重估其地位而努力。

七、身后影响与学术谱系

• 对华林问题与解析数论：华林问题催生了希尔伯特的存在性证明（1909）、哈代—李特尔伍德的圆法（1918—）、维诺格拉多夫的改进，是 20 世纪解析数论的三大支柱问题之一；圆法后来还用于哥德巴赫猜想的推进。
• 对代数与伽罗瓦理论：其对称函数与预解式研究，经拉格朗日、高斯，最终通向伽罗瓦的置换群与根式可解性理论。
• 对哥德巴赫猜想：首个刊本让该猜想广为流传，成为数论中最著名的开放问题。
• 命名遗存：华林问题（Waring's problem）、华林素数猜想（Waring–Goldbach problem，素数版华林问题，由华罗庚等研究）、华林定理等；月球上有华林环形山。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Edward Waring：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Waring (PDF, MacTutor 托管)：科学史权威传记条目（Scott 撰）。
• Wikipedia: Edward Waring：生平与著作交叉核对。
• Wikipedia: Waring's problem：华林问题的陈述、已知结果与历史。
• Wikipedia: Wilson's theorem：威尔逊定理的陈述与证明归属。
• Wikipedia: Goldbach's conjecture：哥德巴赫猜想的历史与进展。
• MacTutor: Recent progress in Waring's Problem：华林问题的现代进展。
• Strick biography: Edward Waring (PDF, MacTutor 托管)：详细评传。