哈代 · 无用之美
戈弗雷·哈罗德·哈代（1877—1947），生在英国萨里郡的克兰利，长在剑桥的讲堂。他把毕生的心思给了两样旁人看来最没用的东西：素数，与证明。他一生最响亮的一句话，是为一门「无用」的学问辩护——数学不必有用，美与严本身就是价值。
他一生做了三件事。第一件立严格：在他手里，英国数学从考试场上的快笔，变回了欧洲水准的严格分析——一本《纯数学教程》，把欧陆的证明方式搬进了英语世界。第二件立合作：与李特尔伍德同行三十五年，与拉马努金并肩五年，联手写下解析数论的新一页。第三件立辩护：1940 年写下《一个数学家的辩白》，把「无用」二字，讲成了数学最体面的自白。
明线四样：素数定理（夹带工具的下一程）、临界线定理（ζ 函数零点的位置）、分拆数（与拉马努金联手立起的渐近式）、哈代-温伯格平衡（一页代数的意外用途）。
暗线一句：为无用辩护。他坚持数学的第一考验是美，不是用；他给数论与相对论开出「无用」的证明，把它们护在战火与功利之外。本册五幕都在写这一行信念——以及它身后的回声：他护过的素数，如今守着世人的密码。
五幕：第一幕讲克兰利的少年与考试机器（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），每一步都从头算起；注疏层给出原文、版本与研究文献，逐页可查。
先看出生地。1877 年 2 月，戈弗雷·哈罗德·哈代生在萨里郡的克兰利——一座小镇，他家的屋子就挨着学校：父亲是克兰利学校的教师兼账房，母亲主持着镇上的女子学校。这孩子是在校舍的走廊里长大的，粉笔灰是他的家常。
再看那份早熟。通行传记记着一件小事：两岁的他被抱进教堂做礼拜，坐不住，便低头去数赞美诗的编号，一路数下去，数到千万级还嫌不够。数字对这孩子不是功课，是玩具。
这份天分没有名师在侧。少年在克兰利与邻近的学校里一路跳级，数学奖拿到手软——可他日后回忆，当时英国学校里的数学，教的不是数学，是解题的速度。真正的学问，要等他自己去撞见。
本册的题目就从这层错位里长出来。一个把数当玩具的少年，掉进了一架把数学当技能的机器——少年如何走出这架机器，又如何把它走过的路，改写成另一条路，是第一幕要讲的全程。
下一页，先看那架机器长什么样。
十九世纪的剑桥有一件人人挂在嘴边的东西：数学荣誉考试（Mathematical Tripos）。它不是一场考试那么简单，是一套流水线：入学前请私人教练（coach）带训数年，天天演题、限时抢分；考完放榜，名次从「一级优胜者」（Senior Wrangler）排下去，全榜公示。名次直接通向教职与前程——一家人的指望、一间学院的荣誉，都压在这张榜上。
这套机器练出了惊人的技艺，也留下了惊人的评价。考第一的那个上午，往往是这学生一生数学的顶点——这是当时剑桥人自己开的玩笑。速度、记忆、套路，考场上样样值钱；可数学创造要的深想与慢功，机器一样也不练。
1889 年，十二岁的哈代以奖学金进了温切斯特公学——为这份进项，他日后坦言，代价是把童年交给了应考。1896 年，他进剑桥三一学院；1898 年放榜，他排在第四名。对一台机器来说，这是好成绩；对一个把数当玩具的人来说，这是三年苦役的账单。
哈代对这架机器的态度，往后越拧越紧：他考得越好，越不肯让下一辈再这样考。这个疙瘩，正是他后来一切主张的起点——数学不是技能，是学问；不看快，看深。
下一页，把少年时代的三样东西摆上桌：一架机器、一场翻身、一本教科书。
本册要处理三样东西。三样看起来毫不相干：一封从马德拉斯寄来的信、一条悬着无数零点的线、一页种群簿记的代数。
第一样，信。1913 年 1 月，一位剑桥教授收到一封陌生来信，随信两页定理清单——没有证明。写信人是马德拉斯的一名会计小职员。哈代读完的判断，成了数学史上著名的相遇：这清单里是真金。后来五年，这封信带出的合作改写了数论。
第二样，线。ζ 函数的零点散布在一块复平面上；猜想全体零点落在同一条线上，悬了一百多年没人啃得动。哈代在 1914 年立下第一根硬桩：这条线上，零点有无穷多个。猜想仍未解决，但地基从此打进了那片看不见的平原。
第三样，代数。1908 年，有人问了一个遗传学的疑问，哈代用半页代数答了：种群里的基因比例，若不搅扰，代代不变。他自称这不过是「简单的数学」——谁料这半页纸，日后成了一门学科的基石。为无用辩护的人，自己先领了无用之用。
三样东西有一个共同点。它们都从「没用」的地方长出来：信里的定理不中吃不中穿，临界线摸不着，半页代数是别人的闲题——可后来，一个进了教科书，一个撑着猜想的前沿，一个立起了一门学问的地基。本册给这份工作方式的概括，一句话：为无用辩护。
先看第一幕：那架考试机器里的少年，怎样转身走向严格。
1896 年秋，十九岁的哈代进了剑桥三一学院。这座学院出过牛顿，此刻还握着全英国最响的一块招牌：数学荣誉考试。少年进门的身份是「温切斯特奖学金得主」，出门的指望是「名次榜上的高位」。从入学那天起，他的日程就不是听课，是备赛——私人教练、限时演题、真题海战术，与温切斯特的少年营一脉相承。
这个学生有点特别：他解题快得让教练满意，心里却越来越空。多年后他把这层别扭讲得干脆：那几年练出来的本事，是「在规定时间内识破出题人的套路」——与数学本身，关系不大。机器要把他练成一台得分器，他却在这台机器里，第一次认真想清楚了一件事：要的不是快，是深。
他心里还留着少年那本玩具账：两岁数赞美诗编号的孩子，喜欢的从来是数本身的模样——素数为什么散布无章、连分数为何层层逼近、一条曲线凭什么说它「处处光滑」。这些题目不考，也不换前程。可正是这些「不考的题」，把他从考场里一步步拽了出来。
这一幕先立题。下一页从考场里的一道典型题讲起：那架机器到底练什么，练出的技艺又值多少。
先摆一道十九世纪考场里的典型题：用连分数逼近根号二。做法是反复「取整、倒过来、再取整」：根号二在 1 与 2 之间，取走整数 1，剩下的零头求倒，再取整——一层套一层，得到一个永远写不完的塔：1 加 2 的连分塔。把塔一层层截断，得到一串分数：3/2、7/5、17/12、41/29、99/70……考场要的是快：几分钟内截出指定层，答案入账。
这串分数有一本好算的账。每一层的分子分母，由前两层相乘相加而来：下一层的分子＝2×前层分子＋再前层分子，分母同理。逐层递推：1/1、3/2、7/5、17/12、41/29、99/70——顺着这条递推，任一层都笔笔可查。
截断点越深，分数越贴根号二。拿真值 1.414214 来对：3/2 偏大 0.086；7/5 偏小 0.014；17/12 偏大 0.002；41/29 偏小 0.0004；99/70 偏大 0.00007——偏差一层比一层小，左右交替，像潮水一层层退。
考场把这题当技巧考。可这串分数背后藏着一门真学问：它们是分母在某个数目以下时，最贴近根号二的分数——技巧的塔里，住着「最佳逼近」的定理。这个区别，正是少年哈代越考越疑的地方：机器只考塔的搭法，不问塔里住着谁。
下一页，把误差的账算成一张表：看看「最佳」两个字，怎么在数字里显形。
把上一页的五笔账排成一张表。真值根号二＝1.414214。第一行 3/2＝1.5，偏大 0.0858；第二行 7/5＝1.4，偏小 0.0142；第三行 17/12＝1.416667，偏大 0.0025；第四行 41/29＝1.413793，偏小 0.0004；第五行 99/70＝1.414286，偏大 0.00007。偏差一路缩小，符号一路翻转——大、小、大、小、大。
这张表里还藏着两条规矩。规矩一：每次截断，偏差至少缩小一半不止——实际上大约缩到六分之一上下，塔每深一层，就贴一层。规矩二：左右两侧轮流占——奇数层全偏大，偶数层全偏小，谁也不单调地一头偏。
为什么说这些分数「最佳」？拿 41/29 做个对照：分母不超过 29 的分数里，还有没有一个比它更贴根号二？逐个试验太慢，数学家的账这样记：若有一个分数 a/b 比 41/29 更近，则根号二与它之差要小于 1/(29×29)——可 29 以内的分数做不到这么近。一步一步推下去，是「最佳逼近」定理的雏形：考场技巧的塔里，住着的正是它。
少年把这类题演得飞快，也把这类问题记得很牢。多年后他这样给数学下品味判词：好的数学是一见便知其必然的模式——连分数的塔就是这样的模式。机器只把它当题目，他把塔当成了风景。这门眼光，第二幕要派上大用场。
下一页，看少年怎样从考场里翻出身来。
翻身的头一步在考场上。1898 年，他列第四名——按机器的标准是「失手」；两年后的 1900 年，第二部分考试（Part II）放榜，他列第一名。这张第一，他自己看得清楚：它不是数学的胜利，是技艺的终点。同年他当选三一学院的研究员（fellowship），从此有了书桌、薪俸与自由——他把这份自由，整个押给了「不考的题」。
第二步在教学上。1908 年，三十一岁的哈代出版《纯数学教程》。这本教科书做了一件英国数学界等了几十年的事：把欧陆的严格标准搬进英语世界——从实数与极限的定义起笔，每一步都给证明，不靠图形，不靠直觉的「显然」。书里极限、级数、连分数一笔一笔算清，恰是本册 p.7—p.8 那张账的写法。这本书印行半个多世纪，改了一代英语读者的「数学该长什么样」。
两步背后是同一个转向。考场数学问「多快做出来」，欧陆数学问「凭什么成立」。哈代把后者立成了自己的标准：一个命题，从定义到结论，链条上不许有一环靠「看图就懂」蒙混。这份标准日后成了他与李特尔伍德、拉马努金合作的底色——再天才的公式，也要过证明这一关（p.22）。
本幕的账清了：机器练出技艺，少年看破技艺，教科书立起严格。接下来，该轮到那门最「没用」也最硬的学问上场了——素数。
下一页，暗线第一笔：越考越好，越考越疑。
暗线第一笔，落在这个疙瘩上。哈代考得越好，越疑这架机器。他日后把这笔账算得明白：备考把「解题的快」练到极处，却把「学问的深」搁在一边；名次榜的荣誉是别人的账本，不是数学的。他甚至说过重话——那套训练消耗了英国最好的头脑，换来的技艺，与创造无关。
这层怀疑，是「为无用辩护」的种子。考场是功利的极端：一切为了名次，名次就是「用」。少年在这架机器里待了十年，把「用」的成色看得透透的——快是真的，值钱是真的，可它离数学远，也是真的。一个把「用」看破的人，日后替「无用」说话，才说得出底气。
于是这条线在第一幕就立好了方向：下一幕，他从考场走进分析——去看严格本身有多少「用」，再看它值多少「美」。
下一页，第二幕开张：素数定理的阴影。
十九世纪末的数学有两副面孔，少年哈代恰好各撞上一面。一副在英国：Tripos 的考场——快笔、套路、限时抢分；一副在欧洲大陆：一代分析学家立下的规矩——定义先行、逐环证明、不许「显然」。两副面孔摆在一起，高下不在快慢，在根基：一边的真理靠名次背书，一边的真理靠链条背书。
哈代选了链条那一侧，而且不止自己走。《纯数学教程》把欧陆的链条搬进英语课本；《不等式》与波利亚、李特尔伍德合著，把证明的规矩写成一门学问。英国的数学传统，从「练出快笔」转向「立起链条」——这一转，他是经手人之一。
两条路并非势不两立。考场练出的快，他自己一生受用——与李特尔伍德往来的信稿里，那些又快又准的估算，正是少年功底的余泽。他的清醒在于次序：快是工具，深是目的；工具越利，越要认得目的在哪。
这一幕的交错，就这样交出了一份底色：一个看破机器的人，带着机器练出的快笔，走向了链条的一侧。下一幕，他把这份底色押给一门最「没用」的学问——素数，而素数的背后，正立着一个全数学最大的悬案。
下一页，第一幕小结。
一、机器看清了。Tripos 是一套教练—名次—前程的流水线，练的是限时快笔；1898 年第四名、1900 年 Part II 第一，账面光鲜，账底是疑（p.7）。技艺与学问，头一回被掰开来看。
二、塔里认出了风景。连分数求根号二的考场题，背后住着「最佳逼近」的定理：误差左右交替、逐层缩小，41/29 与 99/70 的账笔笔可查（p.8）。考场技巧与真学问，同塔异床。
三、标准立住了。1900 年研究员，1908 年《纯数学教程》把欧陆严格搬进英语世界——定义先行、逐环证明（p.9）。这份标准，是后两幕全部合作的底色。
四、暗线立了纲。越考越好，越考越疑——「用」的成色被看破，「无用」的种子落地（p.10）。暗线「为无用辩护」的第一笔：先看破用（p.10）。
下一幕，第二本账开张。素数定理被欧陆用复分析攻下，哈代把目光投向它背后那道更深的影子——ζ 函数的零点，与那条悬了一百年的线。
1896 年，哈代还是剑桥的学生，欧陆传来一条大消息：素数定理被证明了。法国的阿达马与比利时的德拉瓦莱普桑，各自独立给出证明——素数的总数逼近 x 除以 ln x，这道悬了两千年、十九世纪被切比雪夫等人围攻过的难题，终于落定。两位证明人用的武器是同一件：复分析。消息传到英国，年轻的哈代把它记在了心里。
这条消息在新世纪发了酵。剑桥的课堂换了空气：老一代练名次的余音未散，新一代读欧陆证明的脚步已至。哈代自己站上了讲台——他讲分析，按欧陆的规矩讲；他带学生，按链条的标准带。一九〇〇年代的剑桥，慢慢有了另一副面孔。
而那道被攻下的难题，留下一道更深的影子。素数定理证完了，可它背后的机器——ζ 函数——还敞着一片看不见的地窖：那些决定素数分布的零点，散落在复平面上，位置没有完全的账。德国数学家黎曼在 1859 年的八页短文里写下一个猜想：全体零点都排在同一条直线上。这个猜想，成了新世纪数论的心病。
这一幕先立题。下一页从欧拉的老机器讲起：ζ 函数怎样把素数装进一个乘积。
十八世纪，欧拉立过一台奇妙的机器：把全体自然数的倒数平方加起来：1 + 1/4 + 1/9 + 1/16 + ……这个和收敛到 π2/6 ≈ 1.6449。欧拉发现，这个和还能用另一种方式写——用素数写。每个素数贡献一个因子 1/(1 − 1/p2)，全体素数的因子乘起来，恰等于那个和。加法的一笔账，与乘法的一笔账，在无穷远处对上了。
这笔对账可以真算。逐个素数乘下去：只乘 2，得 4/3 ≈ 1.3333；再乘 3，得 3/2 ＝ 1.5；再乘 5，得 1.5625；再乘 7，得 1.5951；乘到 11，得 1.6083；乘到 29，得 1.6331；乘到 97，得 1.6420——离 π2/6 ＝ 1.6449 还差不到千分之二，剩下的素数慢慢补齐。加法与乘法，在每一小步都贴得上。
欧拉的机器妙在哪？等式左边只认自然数，右边只认素数——一座桥，把「全体整数」与「全体素数」接在了一起。谁若想知道素数的总数，就不必一个个数：问一问这座桥另一头的 ζ 函数怎样弯曲，素数的账就跟着出来。黎曼的整套攻法，从这座桥上过。
这台机器还有一个更深的读法。ζ 函数的加法账在 s＝1 处恰好发散（调和级数），而乘法账里散布着素数——两本账怎么弯、在哪里断，决定了素数怎样分布。第二幕剩下的账，都记在这台机器的地窖里。
下一页，把素数的实数账摆上桌：数出来的 π(x) 与估算的 li(x) 对照。
素数的账有两种记法。一种老实：一个一个数。不超过 100 的素数有 25 个；不超过 10 000 的有 1 229 个；不超过 1 000 000 的有 78 498 个。另一种聪明：用一条光滑曲线去估。数论里常用的尺子叫对数积分 li(x)——把 1 除以 ln t 从 0 一路积到 x。这条曲线摸不到素数，却贴着素数的账走。
两本账对一对。x＝100：实数 25，估算约 30.1，偏多五分之一；x＝10 000：实数 1 229，估算约 1 246，偏多百分之一点四；x＝1 000 000：实数 78 498，估算约 78 627，偏多千分之一点六——账越对越贴，差距的份额始终压不住精确。
更有趣的是两边的高低。三处对照里，估算都偏多：li(x) 一路压着 π(x) 的头顶。照这张表，谁都会猜：估算永远在上。高斯当年就是这样记的账；十九世纪的大部分算术，也当它是定局。纸面之外，这条小缝里埋着一个大反例——但它要等到数学家把 li(x) 推到天文数字那么远，才肯露头（p.48）。
素数定理说的正是这份贴近：x 除以 ln x（或更精的 li(x)）与素数总数之比，随 x 增大而趋于 1。数出来的账粗糙，估出来的账光滑，两账之比归一——这就是 1896 年被攻下的那条定理。
下一页，看那场攻防用了什么武器，又给哈代留了什么。
1896 年的两份证明，武器出奇一致：把 ζ 函数当成复变函数用。实数世界里的加法账弯不过来，就把它请进复平面——ζ 函数在那里可以延拓、可以分解、可以把零点一一点名。黎曼八页短文里画下的路线图，走了三十七年，被阿达马与德拉瓦莱普桑走通：素数分布的账，归根结底记在零点的位置上。
这场胜利立了一条方法论：难题卡住，常常不是力气不够，是工具不对。切比雪夫一代用实数的夹逼，把素数压进一条带子；复分析一来，带子收成了等式。数学史上一次又一次：换工具，比拼命更管用。
年轻的哈代从这场胜利里读出了两条。第一条：数论虽「无用」，它的难题却是一块试金石——什么工具过硬，先在素数上见分晓。第二条：素数定理证完，更大的悬案还开着——零点只知散在一条带子里，黎曼说它们该排成一线。第一条把他引进数论，第二条把他引进了地窖深处。
剑桥这边，还需要最后一块拼图：一个与他节奏相合的搭档。第二幕的最后一页，先记严格本身的一笔账。
下一页，暗线第二笔：严格本身，有什么用。
暗线第二笔，落在「严格」这两个字上。把一条定理证严，能换来什么实惠？多数时候，什么实惠也不换。把调和级数发散证严，粮价不跌；把根号二无理证严，桥也照塌。严格不直接生产面包——它是数学里的账房规矩：每一分断言，都要有来处。
哈代偏偏把这份「没用」当成了价值的证据。他的账是这样的：一门学问若能立刻换成面包，就立刻被利益牵着走；唯有换不成面包的学问，才由好奇与美本身说了算。严格的证明不为讨好任何主顾——它只对真实负责。这门「无用」，恰是数学最体面的自由。
这份自由还有一层实用的注脚，他不讳言：无用也无害。能立刻造枪炮的学问，迟早被征去造枪炮；纯数学在 1940 年的世界上，还没学会杀人。第四幕的《辩白》会把这个论点讲全——此处先立一笔：严格的无用，是他全部辩护的地基。
下一页，第二幕的交错页：两位搭档，三十五年的双名式。
1911 年起，剑桥的论文榜上出现了一个奇景：两个人的名字从此排在一起——哈代与李特尔伍德。此后三十五年，两人联名发表论文近百篇，多到有人开玩笑说，「哈代-李特尔伍德」是当时英国最活跃的数学家，只是凑巧由两个人组成。两人同一座学院，却常隔着几条街各自算题、信稿往来定稿——联名，是账实的合作，不是同屋的方便。
两人的分式各有分工。李特尔伍德机器般的算力冠绝同代，硬仗交给他冲；哈代执笔的品味与结构感，负责把胜局写成范式。素数定理被攻下后的余局——li(x) 与 π(x) 谁在上、零点落在哪条线——两人联手，接连立桩。1914 年起，「哈代-李特尔伍德」六个字，成了数论地图上最密的地名。
这份双名式里藏着一条合作的哲学，哈代自己讲过：数学上的合作，要的不是两人相同，是两人互补而标准一致。快笔与硬算、品味与算力，缺一样，账都成不了双名式。这个道理，两年后遇上来信，还要再应验一次（p.22）。
下一页，第二幕小结：一根打进地窖的桩。
一、老机器立住了。欧拉乘积把全体整数与全体素数接在一座桥上：倒数平方和 π2/6，逐素数乘到 97 得 1.6420，两账贴到千分之二（p.14）。素数的总账，从此记在 ζ 函数名下。
二、实账与估值对上了。π(x) 与 li(x) 三档对照：25/30.1、1 229/1 246、78 498/78 627，两账之比趋 1——素数定理的内容（p.15）。表面恒高的小缝里，埋着日后的天文数字反例。
三、武器换代看清了。1896 年复分析攻下素数定理；「换工具胜过拼命」成了哈代读出的方法论（p.16）。先行者的夹逼旧账，本册只引不述。
四、双名式开张。1911 年起与李特尔伍德三十五年、近百篇联名——互补而标准一致（p.18）。合作的哲学，第三幕再应验。
五、暗线第二笔落定。严格无用，故自由——「无用」从怀疑变成了立场（p.17）。
本幕的个人成果，是一根桩：1914 年，哈代证明 ζ 函数的非平凡零点有无穷多个恰在临界线上——黎曼猜想的直线上，第一次有了无穷多颗实钉。下一幕开张：一封从马德拉斯寄来的信。
1913 年 1 月 16 日，剑桥的哈代收到一封薄薄的信。寄信人二十三岁，署名拉马努金，职业栏是马德拉斯港务信托的会计文书。信的开头拘谨：他没有受过大学正规教育，却斗胆陈述定理；随后附上的两页纸，密密排着几十条公式——没有一条带证明。
这样的信，教授们收过不少。自命天才的信件常年塞满名家信箱，绝大多数是误解了数学的呓语。哈代起初也这样分类；那晚他把信搁下，照常生活。可半夜又爬起来，把信再看了一遍——再看第三遍。多年后他对合作者承认：这封信，是他一生在数学上最浪漫的时刻。
信里的公式不是呓语。有些是欧拉、高斯时代就有的老定理——写信人不知其名，独立重新发现了它们；另一些，是从未见过的全新公式：无穷级数、连分数、整数分拆，陌生而整齐。哈代把它拿给挚交李特尔伍德看，两人读到深夜，结论一致：这不是呓语，是金子。
这一幕讲这封信的来龙去脉。下一页，先看信里到底写了什么，哈代又凭什么断定它是真的。
信里的几十条公式，可以分成三类。第一类是旧金子：若干欧拉与高斯时代已知的结果，写信人无书无师，独自重新发现——这证明他读过多少，是天赋而不是学问。第二类是新金子：连分数的无穷族、分拆数的估计、θ 函数的恒等式，公式陌生却高度整齐。第三类只有一条，是裂缝：一条关于素数计数的断言，声称得到了精确表达式。
那条裂缝，反而是最关键的证据。素数计数有精确公式，与哈代已掌握的素数账直接冲突——查素数表即可核对，对不上。若写信人是从书里抄的，不会抄进一条与通行表冲突的断言；他只能是「按自己的方法推出来的」，推过头了。这一错，证明清单的其余部分出自真实的、独立的推导——哈代的原话大意：这些定理必然为真，因为若它们不真，没有人有足够的想象力去编造它们。
断真之后，紧跟的是行动。哈代回信要证明——写信人回寄的推导，有些写得天衣无缝，有些「薄得吓人」：答案对，理由却在半空。哈代的严格标准（p.9）此刻成了尺子：天才的答案，也要补全链条。回信、再回信；1914 年春，靠马德拉斯方面给的奖学金，拉马努金抵达剑桥。
下一页，看两人合写的那本最漂亮的账：整数能拆成几份。
哈代回信索要证明，拉马努金寄回的推导有厚有薄。厚的那一类，链条一环不缺；薄的这一类，答案对、理由悬空。要把薄处补上，需要一个双方都信的支点——它早已备好：欧拉在十八世纪立下的分拆数递推。信里的直觉，由这条老递推接进严格的地基。
递推的账可以真算。用两个「五边形数」1、2、5、7、12、15……作台阶，把 p(n) 写成更小的 p 之和与差，符号两两交替：p(n)＝p(n−1)＋p(n−2)−p(n−5)−p(n−7)＋p(n−12)＋…。从 p(0)＝1 出发，逐层算上去。
几笔明细验一验。p(5)＝p(4)＋p(3)−p(0)＝5＋3−1＝7；p(8)＝p(7)＋p(6)−p(3)−p(1)＝15＋11−3−1＝22；p(10)＝p(9)＋p(8)−p(5)−p(3)＝30＋22−7−3＝42。一路算到十，1、2、3、5、7、11、15、22、30、42——与手数的表（p.23）逐项对上。
这条递推正是合作的缩影。信里的答案快得惊人，链条却要一环一环补；补链的工具，是欧拉一百年前留下的遗产。哈代与李特尔伍德在剑桥做的，正是这种「接驳」：把天才的结论，接到证明的地基上——接稳之后，再一起向更远处推进（p.25 的渐近式，就是接稳之后的新大陆）。
下一页，看被接驳的账本本身：分拆数的第一张表。
把一个整数拆成几个整数之和，问有几种拆法——这数目叫分拆数，记作 p(n)。定两条规矩：加数不论次序；不许拆出零。拿 4 来数：4 一份；3＋1；2＋2；2＋1＋1；1＋1＋1＋1——共五种，所以 p(4)＝5。拿 5 再数：5；4＋1；3＋2；3＋1＋1；2＋2＋1；2＋1＋1＋1；1 五连——七种，p(5)＝7。
一张小表摆出来。p(1)＝1，p(2)＝2，p(3)＝3，p(4)＝5，p(5)＝7，p(6)＝11，p(7)＝15，p(8)＝22，p(9)＝30，p(10)＝42。十个数，看不出公式，也看不出尽头——但涨得越来越快，是明摆着的。
涨得多快，正是难题。数到 10 还能手数；数到 100，手数法先要数出 190 569 292 种拆法——一笔一笔排完，纸都不够。欧拉有生成函数的老办法，能算却费工。问题摆在那里两百年：能不能不数，直接估出 p(n) 的量级？拉马努金的信里，恰好塞着几条这样的估计。
这道题在信里只是几行，在剑桥变成了五年的主战场之一。下一页，暗线第三笔：正是这些「没用」的数，把最讲严格的两个人拴在了一张书桌上。
暗线第三笔，落在这封信的门票上。信里的公式没有一条有用：分拆数不记账目，连分数不量土地，θ 函数不发热发光。按功利的账，这封两页纸一文不值。可正是这张「无用」的清单，敲开了剑桥最严格的书斋——哈代的严格，只问真假与美，不问销路。
哈代后来的话把这笔账说透：拉马努金的公式给他第一眼的感受，是「美」——公式之间的整齐与必然，一眼便知不是编的。用他自己的品味判词：好的数学是必然的模式（p.8）。一个以美与严立身的人，被一张无用的清单打动——这不是巧合，是同一根尺子量出来的。
相遇之后，无用依旧。五年合作写下的论文，没有一篇能立刻换成钱；拉马努金一生最深的执念，是「一个公式若对我毫无用处，我为何要写下它」——他的用处，从来是公式本身的美。这条暗线走到这里，把两个人拴在了一起：一个为无用辩护，一个为美而活。
下一页，第三幕的交错页：五年，三十七篇，一个公式打天下。
1914 到 1918 年，两人在剑桥合写论文三十七篇。分量最重的一篇，落在了分拆数上：1918 年前后，哈代与拉马努金（李特尔伍德亦有关键一步）立起渐近公式——p(n) 的量级由一条确定的式子给出：以 4n√3 为分母、以 e 的 π 乘根号(2n/3) 次方为分子。不需要数拆法，一代入，答案就出。
公式对一对账。真值 p(100)＝190 569 292；渐近式代入得约 1.993 亿——高估约百分之四点六。再往上：p(200)＝3 972 999 029 388（近四万亿）；渐近式得约 4.1 万亿——高估百分之三点二。n 越大，相对偏差越小，两账之比趋于 1——这就是「渐近」的含义：不逐个命中，但越远越贴。
这笔账的分量，要看它的做法。拉马努金先从信里带来直觉式的估计；哈代与李特尔伍德把它接到复分析的地基上——零点的账又出场了：分拆数的渐近式，正比于某个生成函数在圆周上的贡献之和。第一幕的严格、第二幕的工具，在这篇论文里合流。后来这条思路长成一整门方法，圆法，至今是数论的常备武器。
下一页，第三幕小结：一个数与一场告别。
一、信看清了。1913 年 1 月 16 日的两页清单：旧金子、新金子与一条裂缝；裂缝反证了真——哈代的判断成了数学史上著名的相遇（p.20—p.21）。尺子还是那把：真、严、美。
二、分拆数立住了。p(4)＝5、p(5)＝7、p(10)＝42 手数可查；p(100) 近两亿——难题摆上桌（p.23）。两百年的估计难题，撞上了信里的直觉。
三、渐近式打赢了。五年三十七篇；p(n) 渐近公式在 100 与 200 处高估 4.6% 与 3.2%，越远越贴（p.25）。圆法从此入列。
四、暗线第三笔落定。无用的清单敲开最严的门——美与严同尺（p.24）。
这一幕还有一笔后账，收束时补记：1919 年春，拉马努金抱病回印度；1920 年 4 月辞世，年三十二。他留给哈代的一本笔记，此后喂养了数学几十年——那笔账，第五幕再算。此处只记一个病房里的下午，与一个后来家喻户晓的数。
那个数是 1729。探望时哈代说，来的出租车牌号 1729 怕是个无趣的数；拉马努金立刻答：不，它是能用两种方式写成两立方之和的最小正数——123＋13＝103＋93＝1729。病榻上脱口而出的，正是第一幕那句判词的活例：好的数学，是一见便知其必然的模式（p.8）。
1940 年，欧洲的战火已经烧到英吉利海峡对岸。六十三岁的哈代坐在剑桥的书房里，写下一本小册子的草稿。头衔只有一个：《一个数学家的辩白》。这是一位数学家为自己的一生辩护——辩的对象不是某项指控，而是一个大问题：一门不造枪炮、不赚面包的学问，凭什么值得一个人押上一生。
写它的人，处境并不轻松。这几年他心脏病屡次发作，工作大不如前；挚友兼对手李特尔伍德远在别处；他自认数学上的好日子已经过去。辩白里有一句他的原话，大意是：年轻时的数学是青春的志业，年过花甲，再谈创造已近侈谈。这不是牢骚，是账本的诚实——他只把最真的一行写给自己。
可这本小册子没有写成哀歌。四十多页的篇幅里，哈代把数学的价值从头到尾理了一遍：什么算好数学、美是不是第一考验、无用是不是耻辱。这些论断，一半是他四十年的信条（p.10、p.17、p.24 各笔此刻合流），一半是战时处境逼出的诚实。小册子私下印行，此后传遍世界，成了数学散文里被引用最多的作品之一。
这一幕读这本辩白。下一页，先看他立的第一条标准：美。
辩白立的第一条标准是美。哈代写道（大意）：数学家的模式，与画家、诗人的模式一样，必须是美的；思想的色彩与匀称，先于任何用途。美怎么认？他给过两条可查的记号：一是必然——模式一见便知不得不然，像连分数的塔层层咬合（p.8）；二是意外——结论超出套路，让人停下来再看一眼。
但光美不够，他还立了第二条：严肃。棋类的模式也可以美，可他不算它们是数学——因为不严肃。严肃的记号也有两条：一能推广，同一个模式牵起一大片结果；二能深联，把看似无关的东西接在一起。他举的正面例子里，就有素数定理：一条关于素数总数的定理，牵起了整座复分析的桥（p.14—p.16）。
两条合起来，是他的秤。美的、严肃的，就是好数学——哪怕它此刻无用。他自己在辩白里列的「无用而美」清单，正是素数定理与连分数这两样：一件在 1940 年仍是纯然的清谈，一件是考场老题——可第一幕到第二幕的账都记过，两样东西的地窖里，各住着一门大学问。
这套秤放回他的履历上处处合榫：他做哈代空间、做不等式、做数论，按同一把秤挑题；他办《纯数学教程》、带拉马努金，按同一把秤立法。下一页看辩白最响的一段：无用，甚至是他引以为荣的。
辩白最著名的段落，是他亲手开出的「无用清单」。头一名就是他自己的数论——素数、分拆、连分数，1940 年的世界上没有任何一项直接用场。第二名他让给了相对论：时空弯曲的理论，当时的工程里同样一处用不上。清单不长，却把全数学里最响亮的两门，都归进了「无用」的栏下——而且他写得意气扬扬，像在颁奖。
清单背后是一层战时的算计。1940 年的世界，学问的价值全按「能造什么」来称。哈代的账反过来记：能立刻造枪炮的学问，迟早被征去造枪炮；数学至今不能，所以至今清白。无用，故无害；无害，故体面——这是辩白里最沉的一笔，也是一个和平主义者能给出的最硬的辩护。
这份清白，他自己做到了账实相符。大战期间他留在剑桥教书、写书；他一生公开的反战立场、对军备竞赛的厌恶，与他「数学无害」的论断互为表里。辩白不是书斋的清谈，是一个人在世界烧起来的时候，为文明里「无用」的那一半，立的一纸文书。
可历史开了一个反方向的玩笑。他开进「无用」栏的两样东西，后来一样被物理学家请去量天，一样被工程师请去锁密——下一页先看他自己的半页代数怎样先「叛变」了。
1908 年，一位研究遗传的学者尤尔抛出一个疑问：若某种性状由显性基因携带，那这种性状该一代比一代多，直到占满整个种群——可实际的种群从来不是这样，显性与隐性总是稳稳地并存。问题传到哈代耳朵里。他用半页代数答了，答得干脆利落。
半页纸的算法如下。设某基因有两种形态，占比为 p 与 q（p＋q＝1）。随机婚配一代后，三种组合的份额恰按乘法展开：两种都是显性的占 p2，杂合的占 2pq，两种都是隐性的占 q2。拿 p＝0.6、q＝0.4 算：0.36、0.48、0.16，三数之和恰为 1。下一代再配，基因占比仍是 p 与 q——比例不动了。
结论一句话：不搅扰，就平衡。显性不会自动占满种群——因为它藏在杂合子里，按 2pq 的份额稳稳地传下去。这份平衡，后来在教科书里以两位发现者的姓并排命名：哈代-温伯格平衡，是群体遗传学的第一块基石。温伯格当年独立发表了同样的结果；哈代的一页登在科学周刊上，他自嘲只用了「简单的数学」。
这本账妙就妙在身份。它出自一位把「无用」当荣耀的纯数学家之手，却是他名下应用最广的成果——下一页，暗线第四笔：为无用辩护的人，自己先领了无用之用。
暗线第四笔，是一笔反讽的账。哈代为无用辩护最有力的时候，历史在暗处记账：他护过的「无用」，正在排队领功。先动的是他自己的半页代数——哈代-温伯格平衡成了群体遗传学的地基，育种、医学、种群调查全踩在它上面；为他赢得这桩功名的，恰是「不问用处」的自由演算。
反讽不是打脸，是验货。无用之用有一条铁的次序：先有人不为用处地算，后有旁人在新大陆认出它的用。哈代自己把这道次序讲得最透——数学的真实用处，常常要在它诞生几十年后才现形；若当年就按用处立项，这些账根本不会有人记。「无用」不是价值的反证，是价值还没到场的空档。
所以辩白与平衡律并不打架。辩白说的是：不能拿「此刻有用与否」当秤；平衡律示范的是：不按秤记的账，后来秤上也过得了关。两笔账合成一条暗线的中间站——下一页，看清单上头一名，怎样在身后三十七年彻底「叛变」。
下一页，第四幕交错页：素数上岗，守起了全世界的秘密。
1977 年，三位年轻的研究者把一篇方案寄给同行：通信的密码，可以用两个大素数立起来。乘法立锁：两个几百位的素数相乘，一瞬算完；除法验钥：想把这个乘积重新拆回两个素数，全世界的算力排起来也够不上。锁与钥分开，公开的是锁，收着的才是钥。这套方案以三人姓氏首字母得名 RSA——哈代清单上「无用」的头一名，自此上了岗，守起了全世界的秘密。
它的根，全在两百年间「无用」的素数账里。素数有多少、怎么分布、乘积为何难拆——这些哈代们追问了半个世纪的问题，在 1977 年一并变成了工程参数。拿最小的示意账：61×53＝3233，乘起来一步；反过来问 3233 由哪两个素数相乘，就得逐个试——数字一大，试的路长成天文。素数定理与相关的分布账，正是估算「路有多长」的尺。
消息传回来，最有意思的是想象中哈代的反应。斯诺记得，哈代晚年最得意的一句，是数论「清洁而无用」。若他看到自己的素数守着银行、医院与信箱，会皱眉还是大笑，谁也说不准——但有一点账实清楚：他从未说过无用是终点。他说的是：用不该是出发点。1977 年的一切，恰恰顺着他立的次序走的。
下一页，第四幕小结：辩白的遗产。
一、两把秤立住了。美（必然、意外）与严肃（推广、深联）——好数学的标准不问销路（p.28）。素数定理与连分数，是他亲列的「无用而美」清单。
二、无用的清单开了。数论与相对论归入「无用」栏；无用故无害——战时最沉的一笔（p.29）。这是辩护，不是撤退。
三、半页代数先叛变了。p＋q＝1 展开成 p2＋2pq＋q2，比例不搅扰就不动——哈代-温伯格平衡成了群体遗传学的第一块基石（p.30）。辩护人自己领了无用之用（p.31）。
四、清单头一名上了岗。1977 年 RSA：两个大素数相乘立锁，拆积验钥难于登天——素数从清谈场走进了保险库（p.32）。用的迟到，不是无用的反证。
五、暗线第四笔落定。无用之处的先功——为无用辩护的历史，自己写出了最好的注脚（p.31）。
下一幕，最后一本账。荣誉怎么记、晚年怎么过、身后留下什么——五幕的账，在书桌与板球场上收尾。
1931 年，哈代从牛津回到剑桥，接任萨德里安数学教席——这是他学科里最老的讲席之一，也意味着他又回到了三一学院的书桌。此后的十六年，他的日程简单得像定理：上午在书桌前工作几个小时，午后若是夏天，多半在看板球——这项英国的古老球戏，是他除数学外一生的爱好。朋友们回忆，他能对着一场比赛坐满一下午，像对着一个漂亮的证明。
书桌上的产出没有停。《不等式》1934 年出版；与赖特合著的《数论导引》1938 年问世——后一本把素数、连分数、分拆数一路写成了大学课本，本册 p.7—p.8 的那张连分数账，就在它的第一章附近。两本书到今天还在印。晚年他常说自己最好的工作已经做完了；可书桌上的每一页，仍在给后半个世纪的人递工具。
他也有他的固执。他谢绝过勋衔，不肯让荣誉插进他与学问之间；他把友谊记在账上——与李特尔伍德隔街合作三十五年，与拉马努金的五年写在《拉马努金十二讲》的每一页里；他对考试机器的厌恶至死未改。这一切在 1940 年的小册子里汇成一句自况：他的 mathématiques——他用美与严立起的那杆秤——从未为他换取任何东西，也从未让他后悔。
这一幕收最后的账。下一页，先记荣誉这本账：他领了什么，又退回了什么。
荣誉这本账，哈代记得很清。1910 年，三十三岁的他当选皇家学会会士——英国科学界的最高席位，他领了。此后几十年，名国籍册上他的位置一页页翻过：三一学院、萨维尔讲席、萨德里安讲席、各国科学院的外籍席位。这些他照单全收，因为它们是同行的认账，不是王冠的赏赐。
有一类他退了回去。他谢绝过大英帝国勋章一类的封赏。他的理由记在朋友们的回忆里，大意是：勋章由政与利发放，而数学的账不由政与利记——领了它，仿佛自己一生的账要由另一本册子来核。朋友劝他说这只是形式，他答：形式也是立场。
最后一年，账上来了最重的一笔。1947 年，皇家学会把科普利奖章——它最古老的最高荣誉——授予哈代。奖章送达时他已重病；同年 12 月 1 日，他在剑桥辞世，年七十。一辈子把「无用」说满嘴的人，被全英国最严肃的科学机构，用最高的一枚章追认：他做的事，是头等的科学。
这本账记完，可以算一笔总账了。领的、退的、追授的，条目分明；而条目背后是同一条原则：荣誉归荣誉，学问归学问。下一页，先把身后的研究账摆一摆——他留下的那本笔记，养活了几代人。
拉马努金身后留下几本笔记：满页的公式，几乎没有证明。哈代晚年花了好几年，把笔记里的结果逐条整理、逐条补证——成果就是 1940 年的《拉马努金十二讲》。他在书里说过一句极谦也极准的话（大意）：拉马努金的天才是他自己的，哈代能做的，不过是给他一段可以安心算题的年月。这句话成了评价师友关系的名段。
笔记里的金子，几十年里陆续被认领。其中有一粒特殊的：拉马努金 1916 年定义的一个数列 τ(n)——由一块模形式的展开逐项给出，头几项是 1、−24、252……他顺手写下一条关于它大小的猜想。这条猜想悬了五十八年，1974 年被德利涅证明——用的正是哈代们立下的方法传统；这份工作在几年后为德利涅赢得数学界的最高青年荣誉。一门由剑桥书桌立起的传统，最后在巴黎结了果。
哈代自己名下的遗产也在生长。他早年关于一套函数空间的工作，在他身后被整编成一门分支，以他的姓命名——哈代空间，至今是分析课的常备章节；他与李特尔伍德合作的方法被写进各国的教科书。1947 年辞世的人，账目在半个世纪里一直有人接着记。
身后账里还有一笔没有结。他 1914 年打进地窖的那根桩——临界线上无穷多个零点——之后几十年又被推远了几步；可黎曼猜想本身，至今仍是猜想。下一页，暗线第五笔：无用之用的时代注脚，全部落定。
把 1914 年那根桩的账续上。哈代证明：ζ 函数的非平凡零点，有无穷多个恰在实部一半的那条临界线上。七年后他与李特尔伍德加强：临界线上零点的密度也给出了下界——桩不但立了，还排成了一片。这是从黎曼 1859 年到今天，关于这条线最硬的一族结果，全部出自剑桥那张书桌。
数值那边也在推进。计算机时代，人们把零点一个一个往临界线上对：先是一千多个，后来是几百万、几万亿——到本世纪，已验证的非平凡零点超过十万亿个，无一偏离那条线。数值是「对」的坚实注脚；但哈代一代人就明白：十万亿个例子推不出一个无穷。猜想要靠证明，而证明还没有。
这道悬案今天仍是数论的峰顶。一百六十多年里，它逼出了复分析的新方法、随机矩阵的意外联想、素数分布的一次次精化——哈代说过（大意）：黎曼猜想若是真的，当然值得证明；即便它不真，为证它而造出的机器，也已值回票价。这句预言应验了一半：机器造了一屋子，猜想还站着。
第二幕埋的线，到此收到最远处。下一页，暗线第五笔：为无用辩护的账，在身后全部合龙。
暗线第五笔，是身后时代替他合上的注脚。他为「无用」开出的清单，条条有了下文：半页代数立起群体遗传（p.30—p.31）；素数在身后三十七年上岗守密（p.32）；连他护了半生的「无用本身」，也借着那本小册子，成了几代读者认识数学的第一扇窗——无用之用，从反讽变成了通例。
这条线的三段，各有各的日期。1908 年的平衡律先到；1977 年的 RSA 随后；而《辩白》从 1940 年一路被引用到今天——数学散文里被读得最多的文本之一。三段日期排在一起，恰是一条暗线从立论到应验的全程：他先看破「用」（p.10），再立「无用故自由」（p.17），再被「无用的清单」领进门（p.24），先领无用之用（p.31），身后看着无用全线「叛变」（p.38）——五笔合龙。
可合龙不是翻案。哈代的秤始终立着：用不该是出发点。1977 年的工程师没有亏欠他——他们用的每一条素数账，都是按他的秤记出来的：不为用处、只求真实的那五十年。这条暗线到此走完；它留下的不是结论，是一杆秤。
下一页，第五幕交错页：三条线在身后相遇。
身后有两条线，在时间里追上了他。第一条是合作的线：李特尔伍德又独自工作了三十年，把两人共同的账一页页续写；他晚年回忆哈代，最重的评语是那句「数学上最浪漫的时刻」——评的是那封信，也是他们共有的年代。第二条是笔记的线：拉马努金的公式被一代代数学家翻检、补证、开花——τ 函数的猜想五十八年后在巴黎落定（p.36）；「遗失的笔记」直到二十世纪七十年代才被重新发现，又喂饱了一整代新问题。
第三条线还在走，就是那道悬案。临界线的桩从 1914 年起生根（p.37），数值验证一路数到十万亿；而黎曼猜想仍立在峰顶。哈代留下的不是答案，是方法与标准：复分析的桥、圆法的道路、以及那句「机器已值回票价」的预言。今天数论里每一件新工具，多少都从他那张书桌上借过力。
三条线相遇在同一处：一门「无用」的学问，成了方法最多、后人最稠、工具最硬的一门。这一幕的交错，恰好叠回第一幕的开场——那个从考场里走出来的少年，身后留下的是一场再也回不去的胜利：考试机器早已改掉名次榜，而他立的秤还立着。
下一页，第五幕小结与全书收束。
一、荣誉的账清了。1910 年会士照领，勋衔照退，1947 年科普利奖章与 12 月 1 日辞世同年——条目背后是同一条原则：荣誉归荣誉，学问归学问（p.35）。晚年书桌与板球场两不误（p.34）。
二、身后的账在长。拉马努金笔记喂养了几代人：十二讲、τ 函数猜想的五十八年之约、遗失笔记的再发现；哈代空间以他的姓进课本（p.36）。1947 年辞世的人，账目一直有人接着记。
三、悬案的账立住了。1914 年临界线的桩、1921 年的密度加强、十万亿零点无一离线——黎曼猜想仍未证，机器已值回票价（p.37）。这是第二幕埋线收到的最远处。
四、暗线五笔合龙。看破用（p.10）→无用故自由（p.17）→无用清单敲门（p.24）→无用之用先功（p.31）→时代注脚（p.38）。一条暗线，从立论走到应验。
五、三条线在身后相遇。合作的线、笔记的线、悬案的线，汇成同一句评语：一门「无用」的学问，成了方法与后人最稠的学问（p.39）。秤还立着——用不该是出发点。
全书五幕到此收束。收束页（p.41—p.43）把年表、主线与一句话各归各位；p.44—p.45 动手做，p.46—p.47 小典，p.48—p.49 延伸，p.50—p.51 家长导读，p.52 编目。
把一生的节点排成一行。
1877 2 月 7 日生于萨里郡克兰利（父为克兰利学校教师兼财务）
1889 入温切斯特公学（奖学金）
1896 入剑桥三一学院
1898 数学荣誉考试榜列第四
1900 第二部分考试列第一；当选三一学院研究员
1906 起任三一学院讲师
1908 《纯数学教程》初版；哈代-温伯格平衡短札刊于《科学》
七行之外，补合作与晚年：
1910 当选皇家学会会士
1911 与李特尔伍德开始三十五年合作
1913 1 月 16 日收到拉马努金来信
1914 拉马努金抵英；临界线定理（ζ 零点无穷多在临界线上）
1918 与拉马努金发表分拆渐近公式（圆法）
1919 赴牛津任萨维尔几何教授
1920 拉马努金于印度辞世（年三十二）
1931 回剑桥任萨德里安数学教授
1934 《不等式》（与李特尔伍德、波利亚）
1938 《数论导引》（与赖特）
1940 《一个数学家的辩白》；《拉马努金十二讲》
1947 获科普利奖章；12 月 1 日于剑桥辞世（年七十）
四样明线，各有一页压舱。第一样，素数定理的下一程（p.14—p.16）：欧拉乘积把素数装进 ζ 函数，π(x) 与 li(x) 两账之比归一，1896 年复分析收下难题——哈代从这里进场，把目光投向零点的位置。
第二样，临界线定理（p.19、p.37）：1914 年证明 ζ 的非平凡零点有无穷多个恰在实部一半的线上，1921 年与李特尔伍德加强密度——黎曼猜想的地窖里，第一根无穷多颗的实钉。
第三样，分拆数（p.23、p.25）：从 p(4)＝5 的手数，到 p(100)＝190 569 292 的天量；与拉马努金联手立起渐近公式，高估从 4.6% 收向零——圆法自此入列。
第四样，哈代-温伯格平衡（p.30）：p2＋2pq＋q2 的半页代数，比例不搅扰就不动——群体遗传学的第一块基石，出自最不问用处的人之手。
三段合作，是本册的另一半。与李特尔伍德三十五年、联名近百篇——互补而标准一致（p.18）；与拉马努金五年、三十七篇——严格的尺量天才的答案（p.21—p.25）；与波利亚合著《不等式》——把证明的规矩立成学问（p.11）。
一句话收束：本册讲的不是一个人做了多少「有用」的事，而是一个人怎样把「无用」做成了标准、做成了方法、做成了身后仍在生长的传统。
五幕合起来，是这样一句账：一个把数当玩具的少年，在把数学当技能的机器里长大；他从机器里翻出身来，立起了「凭证明说话」的标准；他用这套标准接待了一封无证明的来信，把一个马德拉斯小职员的直觉锻成了定理；他用同一套标准写下一纸辩白，宣布无用不是耻辱而是自由；身后，他护过的「无用」一一上岗，而他立的秤还立着。
这句话里藏着本册的写法。五幕各有一笔暗线：先看破用（p.10）、无用故自由（p.17）、无用清单敲门（p.24）、无用之用先功（p.31）、时代合上注脚（p.38）——五笔连起来，恰是「为无用辩护」从立论到应验的全程。明线在纸面上算账，暗线在纸面下立秤：两线合一，就是哈代的一生。
给读者留一句话。数学在哈代那里，不问「能换什么」，只问「是否真实、是否美」。这杆秤不专属于数学家——任何一门学问、任何一件手艺，都有一条「用之外的价」等人类认领。辩白的一句结语，大意是：他做过的那些事，不值一文钱；但它们是美的，而美，就是留存的理由。
器材：纸、笔、几枚硬币或豆子。目标：亲手复现 p.23 的分拆表，摸到「分拆数怎么涨」的手感。
任务一：把 4 拆干净。按加数从大到小排，一种一种列：4；3＋1；2＋2；2＋1＋1；1＋1＋1＋1——共五种，p(4)＝5。关键在「不重不漏」：固定「后一个加数不超过前一个」，列出的每行自动不同。
任务二：把 5 拆干净。同样口诀：5；4＋1；3＋2；3＋1＋1；2＋2＋1；2＋1＋1＋1；1 五连——七种，p(5)＝7。用硬币摆一摆，「加数不论次序」的规矩一摸就懂。
任务三：把 6 拆干净，验证 11。口诀照旧，按最大加数分组：最大 6（1 种）；5（1）；4（2：4＋2、4＋1＋1）；3（3：3＋3、3＋2＋1、3＋1×3）；2（4：2＋2＋2、2＋2＋1＋1、2＋1×4 加 2＋2＋1＋1 之外的树状共 4 种）；1（1）——合计 11 种，p(6)＝11。若数出别的数目，回查「后一个不超过前一个」有没有破例。
收尾一笔账。把 p(1) 到 p(6) 排成一行：1、2、3、5、7、11——相邻差是 1、1、2、2、4，涨速本身在涨。拉马努金与哈代要对付的，正是这条越涨越快的曲线：数到 100，就是近两亿种（p.25）。
器材：纸、笔、计算器（小数两位够用）。目标：亲手复现 p.30 的平衡律，看「不搅扰就不动」怎样从乘法展开里掉出来。
任务一：展开一次。取 p＝0.6、q＝0.4，算三项：两种显性 p2＝0.36；杂合 2pq＝0.48；两种隐性 q2＝0.16。三数相加：0.36＋0.48＋0.16＝1.00——「全部个体」恰好一整份。
任务二：配下一代。关键的账只有一行：下一代基因占比仍由上一代种群整体给出——显性基因的份额＝p2＋(1/2)·2pq＝p2＋pq＝p(p＋q)＝p。代入 0.6 验算：0.36＋0.24＝0.60。比例一分未动——这就是「平衡」的全部机关。
任务三：换个起点再试。取 p＝0.5（0.25、0.50、0.25）与 p＝0.8（0.64、0.32、0.04）各算一遍，再各验一次「下一代仍为 p」：p(p＋q) 恒等于 p，与起点无关。三档算完，结论在手：随机配对之下，比例不动；会动比例的是搅扰——迁移、变异与选择，而那正是进化论的入口（p.30 注）。
连分数 层层取整倒置写出的分数塔；截断得一串渐近分数（p.7）。
渐近分数 连分数的截断值；分母一定时的最佳逼近（p.7—p.8）。
严格分析 定义先行、逐环证明的分析写法；ε-δ 为其记号（p.9）。
ζ 函数 Σn−s（s > 1）；欧拉乘积把它与全体素数接通（p.14）。
素数计数函数 π(x) 不超过 x 的素数个数；数出来的实账（p.15）。
对数积分 li(x) 1/ln t 的积分；贴着素数实账走的估值尺（p.15）。
素数定理 π(x)/(x/ln x) → 1；1896 年以复分析证得（p.15—p.16）。
临界线 复平面上实部为一半的竖线；黎曼猜想称全部非平凡零点在其上（p.19、p.37）。
分拆数 p(n) 把 n 写成几个整数之和的种数；渐近式见 p.25。
圆法 由生成函数在圆周上的贡献之和取渐近的方法；分拆数是其首胜（p.25）。
哈代-温伯格平衡 随机配对下基因比例不变：(p＋q)2 的展开律（p.30）。
RSA 以两大素数乘积立锁、以分解难题验钥的公钥密码（p.32、p.48）。
李特尔伍德（1885—1977） 剑桥三一学院数学教授；1911 年起与哈代联名发表论文约百篇，算力冠绝同代；两人关于 li(x)−π(x) 符号翻转与临界线密度的联名成果为解析数论的里程碑（p.18、p.48）。
拉马努金（1887—1920） 生于马德拉斯管区，未受正规大学教育，1913 年致信哈代，1914 年抵英，1918 年当选皇家学会会士并入选三一学院；1920 年于印度辞世。身后笔记持续喂养数论：分拆渐近式、τ 函数猜想、θ 函数恒等式均出其间（p.20—p.26、p.36）。
阿达马（1865—1963）与德拉瓦莱普桑（1866—1962） 1896 年各自独立证明素数定理；复分析进数论的立碑人（p.16）。
温伯格（1862—1937） 德国医生、遗传学家；1908 年与哈代各自独立发表平衡律，姓氏与哈代并排命名该定律（p.30）。
德利涅（1944— ） 比利时数学家；1974 年证明韦伊猜想最后一环，顺带落定拉马努金 τ 函数猜想；1978 年获菲尔兹奖（p.36）。
基本文献 哈代《纯数学教程》（1908）、《不等式》（1934）、《数论导引》（1938，与赖特）、《一个数学家的辩白》（1940；1967 年斯诺导言重印本）、《拉马努金十二讲》（1940）；哈代与拉马努金〈组合分析中的渐近公式〉（1918）。中译本与研究文献见注疏层（p.2 注）。
RSA 的机关，可以拿两个小素数演一遍。取 61 与 53（都是素数），相乘得 3233——这步「立锁」一瞬间。反过来，把 3233 拆回两个素数，就得从小素数一路试：试到 53 才中。两个两位素数尚且要试十来步；几百位的大数相乘易如反掌、拆开难于登天——锁与钥的不对称，全在这条路上。
再走一步验钥的账。锁上还配两把数字：取 17 作公开的加密钥；收信人手里另有一把 2753 作解密钥——两者的乘积 17×2753＝46 801，恰比素数乘积的「账面常数」60×52＝3 120 的 15 倍多 1（46 801＝15×3 120＋1）。就凭这条「余一」的性质，锁与钥各自转动之后，原文分毫归位。这笔账的全部原料——素数、余数、乘法逆——都是两百年「无用」数论的存货。
本册的正文到此可以接回一条旧线：p.15 那条 li(x) 恒在 π(x) 上方的「小缝」，在 1914 年被哈代与李特尔伍德证明终有翻转的一天——首个可能翻转的位置大到惊人，量级约为 10 的 10 的 10 次方的 34 次方（1933 年在黎曼猜想假设下给出上界，Skewes 数）。数字大到没有算盘能摆；而 RSA 要估「拆锁有多难」，用的正是同一族分布账。素数的两桩身后事，一根藤上（p.32）。
哈代空间。哈代 1915 年前后研究的一类解析函数——在圆盘内平均增长有界的函数族——身后被整编成泛函分析与调和分析的标准分支，以他的姓命名为哈代空间（Hp 空间）。它与信号处理、控制理论中的算子有直接通道：一条「无用」的函数论清谈，成了工程数学的常备工具（p.36）。
佩尔方程的回声。p.7 的连分数塔还留了一粒彩蛋：渐近分数 41/29 满足 412 − 2×292＝−1，99/70 满足 992 − 2×702＝＋1——连分数是佩尔方程 x2 − Ny2＝±1 的解法机，这条线从十八世纪通到今天的算法数论（p.7 注）。
τ 函数。拉马努金 1916 年由模形式 Δ 的展开 Στ(n)qn 定义数列 τ(n)，首项 1、−24、252；他写下关于 τ(p)（p 为素数）大小的猜想。1974 年德利涅以代数几何证明韦伊猜想，猜想随之落定——哈代-拉马努金圆法所从出的传统，在这份证明里仍在场（p.36）。
「无用清单」的后续账。相对论在工程中落地（卫星定位的时间修正）、素数在密码中上岗（p.32、p.48）、哈代空间进工程数学——清单条条有了下文，而无用之用的次序（先有不为用处的算，后有认出用处的眼）未变（p.31）。
本册的三层各有入口。小学低年级：只读故事页，配 p.44 的分拆游戏——几枚硬币就能玩，「把 4 拆成几堆、有几种拆法」一上手就是一道趣题；1729 的故事（p.26）可以当魔术讲：听完让孩子自己验 123＋13 与 103＋93。
小学高年级到初中：加读 p.7—p.8 与 p.23 的实算。连分数只用除法与比大小，家长可以陪孩子一层一层截；分拆表配 p.44 的任务一与任务二，数到 p(6)＝11 时孩子通常会自己发现「后一个不超过前一个」的防重口诀——那是全册最亮的手感时刻。p.30 的 0.36、0.48、0.16 也只用乘法。
高中及以上：全册可读。p.14—p.16 的 ζ 乘积与素数对照、p.25 的渐近公式、p.37 的临界线、p.32 与 p.48 的 RSA，是大学数论、分析与密码学三门课的完整预告；注疏层的文献路径（p.2 注起）可供检索。
三处提示给家长。其一，「无用」是本册的主角，孩子若问「学这个有什么用」，最好的回答不是举出 RSA——那是身后的事——而是 p.28 的秤：先问真实与美，用处自会迟到但常到。其二，p.36 的「天才与师友」值得多聊两句：拉马努金的天才是自己的，哈代的功劳是给他年月——天赋与环境，两边都真。其三，本册与前一册（数学与概率那位）气质相反：切比雪夫求「够近」，哈代求「恰好为真」——两册对读，「逼近」与「证明」是数学的两条腿。
误区一：「哈代证明了素数定理。」证明属于 1896 年的阿达马与德拉瓦莱普桑，那年哈代十九岁（p.16）。他名下的是素数定理之后的一段：符号翻转（1914，与李特尔伍德）与临界线上的零点（p.37、p.48）。把「定理的证明」与「定理的地基」分开记账，是读数论史的基本功。
误区二：「哈代-温伯格平衡说明哈代是应用数学家。」恰恰相反：那是他名下应用最广的成果，却是半页「简单数学」的副产品——他自己也没当回事（p.30）。它示范的不是哈代的应用能力，而是纯数学的溢出效应（p.31）。
误区三：「拉马努金全靠哈代。」信里的定理在抵英之前已写出（p.20—p.21）；哈代自己的评价是谦辞——他给的是年月、训练与严格（p.36）。天才与伯乐，两边都真，不可偏废。
误区四：「《辩白》说数学无用，所以数学没价值。」方向恰好读反：辩白的论点是「无用不妨碍价值，美与严即是价值」——它为数学辩护，不是贬它（p.27—p.29）。
误区五：「零点验证了十万亿个，黎曼猜想算证明了。」十万亿是有限数，猜想的断言是无穷——有限个例子无论多大都推不出无穷（p.37）。这正是哈代那杆秤的用场：猜想归猜想，证明归证明；数值给信心，链条给真理。
《数学家的故事》第五辑 第 46 册
哈代 · 无用之美
体例：五幕 · 52 页 · 三层可读（故事／数学／注疏）
插画：40 幅（留白线体）
数值：全册关键数值实算复核
本册为「格物致知」系列数学通识读物之一，面向全龄读者。
故事层无需预备知识；数学层对应高中至大学初年级；注疏层供检索与延伸。
格式 · 格物致知 · JUST FOR FUN