九章格数学 PhiloMath · 数学家的故事绘本 · 第七辑

陶哲轩 · 拆开难题的人

第 70 册 · 数学家的故事 · 第七辑 · 1975— · 澳大利亚/美国 · 明线:调和分析 · 加法组合 · 素数间隔 · 最年轻的菲尔兹奖得主之一 · 暗线:把难题拆开——拆成小块,众人轮流看,答案自己浮出来
明线 · 一个神童 · 一种拆法 · 一串素数暗线 · 拆难题的人1975— · 澳大利亚/美国全龄通识 · 三层可读
题解这一册怎么读p.2

陶哲轩(1975— ),生于澳大利亚南部的阿德莱德,父母是来自香港的移民。十三岁拿下国际数学奥林匹克历史上最年轻的一枚金牌;三十一岁获菲尔兹奖。但他一生真正的看家手艺只有一件:把难到没人下得去手的难题,拆成一小块一小块不吓人的碎块——自己拆,也教众人拆。这道拆法拆过波、拆过素数、拆过悬了八十三年的老账,最后拆出了数学这一行全新的工作方式。

他做了三件事。第一件是一门拆的学问:调和分析——把复杂的信号拆成简单的波;从竞赛少年到普林斯顿的博士,他先把这门拆法练到指尖。第二件是一次拆成两半:素数里藏着多长的等差数列——他与格林把这道悬题拆成「一半管稠密、一半管伪装」的两小半,各击破后合拢,成为二十一世纪初数论最响亮的结果。第三件是一套拆给众人的法子:博客、公开问题清单、数百人接力拧旋钮——难题拆得够细,答案自己浮出来。

明线四样:一个动作(拆波:复杂信号等于简单波之和)、一道悬题(素数中的等差数列)、一串旋钮(素数间隔:从七千万拧到二百四十六)、一笔老账(差异问题:八十三年悬赏的收官)。

暗线一句:把难题拆开——拆成小块,众人轮流看,答案自己浮出来。他童年靠它赢竞赛,青年靠它打通素数,中年靠它改写同行的方式;拆开的东西不会丢,碎块留在公共的账本上,等下一双手来捡。这是本册暗线的全部含义。

五幕:第一幕讲阿德莱德的孩子与拆波的手艺(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),每一步都从头数起;注疏层给出原始论文、版本与研究文献,逐页可查。

引子一个把大题拆成小步的孩子p.3

一九七五年七月十七日,他生在澳大利亚南部的阿德莱德。父亲是儿科医生,母亲是数学与物理出身、教过中学数学的人。这个家庭的特别之处不在出了个早慧的孩子,而在面对早慧孩子时的态度:访遍教育学者之后,父母定下一条家规——可以单科走读,不许整级跳。数学可以到高中去上,其余照旧回小学的同学堆里玩。多年后他说起父母,最感激的不是提供了难题,而是替他挡住了「快」。

幼年的传说不少,挑一件最普通的讲。两岁多,他拽着幼儿园邻座一个五岁孩子的手,一笔一笔教人认字算数——老师报告家长,家长的第一反应不是惊喜,是商量:让小的当小老师可以,别让大的觉得难堪。这个细节后来被反复讲起,因为它像是他一生工作方式的第一张底片:学问是拿来分给人的,分的时候还要顾着对方的体面。把难题拆开、拆到对方拿得住——这动作的胚胎,两岁时就有了。

按家规的长法,他的课表长成了奇特的形状。七岁起每天去一两所中学,只上数学课,上完回小学;九岁起到弗林德斯大学旁听大学数学,下课照旧回家写小学的作文。别人眼里的「跳级」,在他们家叫「走读」:一门功课快进,其余照常——像一个工人一次只拿一块砖,绝不一次搬一堵墙。多年后回头看,这份克制护住的不是童年,是拆题的习惯:一次只拿一块。

下一页看他这一套长法交出的第一份成绩单:十岁、十一岁、十三岁,三届国际数学奥林匹克,三种颜色的奖牌。

引子三块奖牌:铜、银、金p.4

一九八六年,十岁的他第一次坐进国际数学奥林匹克的考场。这是全世界中学生数学竞赛的最高舞台,每国至多六人、每年一届、一题四小时半——十岁坐进去,是这项赛事此前从未有过的年龄。那一届他拿的是铜牌。次年会华盛顿,银牌;又次年,一九八八年,十三岁,金牌——竞赛史最年轻金牌的纪录从那一年立起,直到今天还没有人撼动。

三块奖牌的顺序本身值得细看。铜、银、金——一年进一阶。竞赛圈里不缺十一二岁就金榜题名的人间奇迹,缺的恰恰是这种「一年进一阶」的慢:他每届都在、每届都升一级,像把一道大题拆成三小步走完。后来有人问起竞赛生涯,他说竞赛教会他的不是难题本身,是把一道四个半小时的大题,切成一个个十来分钟能推进的小步——先在草稿上把「能确定的」全部确定下来,再回头看剩下的墙。这套考场上的拆法,后来原样搬进了他的研究。

竞赛之外还有一条更安静的线。九岁到十六岁,他一半的时间在弗林德斯大学的课堂里:微积分、线性代数、再到更深的课程——十六岁便以本科与硕士的成绩毕业。这条线的要害不在「快」,在「每一步都真正走完」:大学课程的作业一样做、考试一样考,没有免检。多年后他对学生的建议里反复出现同一句话——把基础打透,比抢进度值钱得多;这句话的出处,就是那段一边念小学、一边把大学功课门门做实的时间。

三块奖牌与一条课表摆在一起,正好是三种「练」。竞赛练拆题(大题切小步),走读练节奏(一次一块砖),大学练扎实(每步免检)。三种练法在他身上拧成一股:不抢、不跳、不虚——先拆小,再走实。这一册后面所有的故事,都是这股劲的放大。下一页把这一册要讲的三样东西摆出来。

引子三样东西:拆波、悬题、接力p.5

这本册子要处理三样东西。三样都不是「一道题」:一门拆的学问、一道悬了几十年的题、一套拆给众人的法子——它们的共同点是都要先把大东西弄小。拆波把信号弄小,拆题把难题弄小,接力把难题摊到许多双手上。这正是本册的读法:先看拆法,再看拆题,最后看拆给众人。

第一样是一门拆的学问:调和分析。一段复杂的声波,可以拆成许多条简单的正弦波之和——拆完,原来听不清的东西就看得清了。这套语法是一百多年前就立好的老手艺;但在「拆得开吗、拆到多细、拆完怎么拼回去」的边界上,难题至今没拆完。第一幕从一段钟声讲起,把这门拆法从头搭一遍,顺手看两道拆到底的硬骨头。

第二样是一道悬题:素数里的等差数列。等差数列是每隔固定距离取一个数排成的队伍——素数这样一只看起来东一只西一只的队伍里,能排出多长的整齐队伍——这道问句几百年没人答得全。稠密的集合早有定理保证;素数偏偏是最稀薄的一类。他与格林把这道题拆成两半,各击破,二〇〇四年合拢——第四幕前后,本册把它拆开讲:队伍怎么数(第二幕)、稀薄怎么补(第二幕后半)、悬赏怎么收官(第四幕)。

第三样是一套法子:把难题拆给众人。开博客、挂问题、办数百人接力——他做的事说出来平常:把「只许成品出厂」的数学,改成「过程也摊开给众人看」。素数间隔的旋钮被数百人从七千万拧到二百四十六,一笔悬了八十三年的老账靠集体留下的碎块收尾——第三、四幕各演一遍。下一幕从阿德莱德的童年讲起。

三样东西有一个共同点。都把「难」翻译成「多」:一道难题变成许多小块,一块一块都不难。数学史上多的是硬啃的人;把啃的动作先拆开的人少得多。下一幕从南半球那座花园城市讲起。

第一幕 · 故事一九九一年,普林斯顿p.6

一九九一年,十六岁的他拖着行李到普林斯顿读博士。论文还没开头,先要选定行当——导师是斯坦,当时全世界调和分析这一门的掌门人。行当的名字听着陌生,做的事却简单得可以一句话说完:把复杂的东西拆成简单的。十六岁的人挑中这门手艺,不是因为它难,是因为它像家:竞赛考场上那套「先拆小再走实」的劲,在这里找到了学科的学名。

这门行当的门户要交代一句。调和分析的老祖是傅里叶——两百多年前的法国人,他立下的一条信念沿用至今:任何一段复杂的信号,都能拆成许多条简单的波之和。拆开之后,原先糊在一起的信息一条一条摆开,看不清的看得清了。这门手艺养活了大半个现代世界:电话里的声音、照片里的像素、医院里的影像,背后全是拆波。可这门手艺自己的账,也有几笔两百多年没算清的。

斯坦给学生的第一课,值得单说。他不给题目,先教「手的感觉」:一条波拆开再拼回去,误差有多少、误差躲在哪里——这种手感没有公式可背,只能在几百道具体的题里养。斯坦的门下出过一整代分析学家,门风是一条:先在具体的例子里把器械摸热,再上一般的理论。对从小把大题拆小步的孩子,这份师门功课正对口——手感就是小步,每一步都得自己走。

第一幕的后几页,把这门拆法的三样底牌一样样摆出来。先看拆波怎么拆(p.7),再看拆开之后拼不拼得回去(p.8),最后看一根针尖怎么会变成两百年的墙(p.9)。拆的学问立稳了,第二幕才有地方使:素数那只乱糟糟的队伍,也要靠「拆」才能排整齐。

第一幕 · 数学拆波:复杂的东西是简单的东西摞起来的p.7

调和分析的第一课是拆一段声音。敲一口钟,空气里传来一段弯弯绕绕的波,看着杂乱;拆开来听,里头摞着几条规规矩矩的波——一条最低的「主音」,加一串成倍数的「泛音」。摞在一起,是钟声;一条一条单独听,是纯音。复杂的东西是简单的东西摞起来的——这句信念,就是这门学问的第一定律。

「拆」在数学里有一套精确的算法。每条简单的波由两样东西决定:多快地起伏(快慢,学名叫频率)、起伏多高(高低,学名叫振幅)。把一段信号拆开,就是数清它含哪些快慢、各占多高——拆完得到的清单,学名叫频谱。有条不紊的信号,频谱只在一两格有份量;杂乱无章的信号,频谱摊得到处都是。信号的性子,全写在频谱这张清单上。

拆的妙处在分工。许多在原信号里缠成一团的问题,拆开以后按快慢分开处理:想磨平毛刺,就削掉快的;想看清轮廓,就留下慢的。这一手在生活里到处都是:声音去噪是削掉快波,照片压缩是丢掉人眼不在意的格。数学里给这套动作起了个大名字——分析,原义就是「拆开」。

拆法的边界也在这里露头。拆得开吗——什么样的信号都能拆、拆开拼回去准不准——听着像抠字眼,实际是两百多年的硬账:有的信号拆开拼回去分毫不差,有的就差一块。差在哪里——下一页把这条账算开。第一幕的另外两件底牌都从这条缝里长出来。

信号=许多条简单波之和(第一定律)
每条波由快慢(频率)与高低(振幅)决定
拆出的清单叫频谱:性子写在频谱上
去噪削快波、压缩丢闲波——拆开再分工

第一幕 · 数学拼回去:差一块的地方叫硬点p.8

拆开容易,拼回去难——先把「难」落成看得见的样子。取一条处处光滑的波,拆开再拼回去:傅里叶断言,拼回来的就是原来那条。可若在波的正中央折出一个尖角——处处都好,就这一处带棱——拆开再拼回去,奇妙的事发生了:拼出来的曲线在尖角两旁多出一圈「过冲」,怎么加波也削不平。拆得开,拼回去偏差一口气的,就是带棱角的地方。

带棱的地方有个名字:硬点。光滑的信号好拼,硬点多的信号难拼。精确的版本是:信号越光滑,拆出来的清单越「瘦」(份量集中在少数几格);硬点越多,清单越「胖」(份量摊得到处都是)。清单一胖,拼回去动用的波就多,误差的账就难算。所以「拼回去准不准」归结为一件事:数清单的胖瘦。

数胖瘦的账,两百多年里几代人都摸过。十九世纪算出:足够光滑的信号拼回去分毫不差;也造出了反例——有的信号处处连续、却怎么拼都对不上(一八七六年即有此例)。二十世纪更发现,连「平均意义上对不对」都要分好几种口径,口径不同,答案不同——每个口径对应一种真实的「在什么意义下听得清」。

现代要算的新账,正是数胖瘦。老问题问「拆完拼回去还等不等于原来」,新问题问「拆完只留一部分,剩下的有多大动静」——压缩、去噪、重建,全在数这一笔。这笔账里有几道硬骨头,其中一根与一根针有关:把一根针掉头,最少要占多大的地——下一页把这根针立起来。

光滑信号:频谱瘦,拼回去分毫不差
带硬点(棱角)的信号:频谱胖,拼回去有过冲
信号越光滑 ⇒ 频谱越瘦;硬点越多 ⇒ 频谱越胖
新账:拆完只留一部分,剩下的动静有多大

第一幕 · 数学针尖问题:一根针占地可以多小p.9

取一根针平放在桌上。要让它原地掉个头——针尖从朝东转到朝西,怎么挪都不许离开桌面。掉头时针扫过桌面一些地方;扫过之地占多大一片——直觉说:针多长,扫出的圈至少有几分针的规模。一九一七年前后,一位俄国数学家掀翻了直觉:只要挪得足够巧,针扫过的地可以任意小——比一根头发丝盖住的面积还小。

掀翻直觉的办法,恰好是「拆」。把掉头拆成许多小段:平移、旋转、再平移——每段单独看都「占地」;可交错着走,痕迹就能互相抵消。分得越细、段数越多,抵消得越干净,总占地越小。这结果当年只被当成趣题,叫「针尖问题」。谁也没想到,它守着调和分析一座最深的矿。

矿在哪里。数频谱胖瘦的许多硬账,最后都撞在同一堵墙上:墙上写着「针尖集」——塞得下掉头之针、占地却极小的点集。最要紧的一问至今未解:这样的点集,维数到底是多少。占地可以任意小,可「维数」是另一把尺子——一把说它小得没有边,一把量它够不够一根针转身。两把尺子打架,打了一百年。

为什么说这是底牌。拆波、数胖瘦、针尖集——三件事排成一条线:拆开信号是为了数账,数到深处撞上针尖。第一幕讲拆的学问与边界;后面几幕,这套拆法要离开波的世界,去拆素数的队伍。先记下针尖问题——本册「三个没做完的问题」的头一个(p.43)。

针尖问题:一根针掉头,扫过之地可以任意小(1917)
办法:把掉头拆成许多小段,交错走、互相抵消
深矿:许多频谱硬账都撞在「针尖集」这堵墙上
未解之问:针尖集的维数——两把尺子打架一百年

第一幕 · 暗线拆小步的人p.10

回到竞赛考场那个习惯。四个半小时的大题,别人先跟整题对峙,他先在草稿上把「此刻能确定的」全确定下来——可能是题目的一个特例、一种边角情形、一小步估算。这些小步单独看都不成气候,可小步铺满了,墙往往自己露出缝。本册暗线「把难题拆开」的第一个音符,就是这声「拆小步」——拆法之先,是不慌。

拆小步与天赋,常被当成两回事。俗见里,早慧的孩子靠的是快:看一眼就会,会了就跳。他家的家规偏偏反着来:可以单科走读,不许整级跳;竞赛一年进一阶,铜银金各占一年。回头看,正是这份「不快」护住了拆题的手感——快的人靠一击,拆的人靠一百步;一击的天赋没法教,一百步的手感人人可以练。他自己后来说得直白:数学不是比谁聪明,是比谁把题拆得更细、走得更有耐心。

这跟第一幕的数学严丝合缝。拆波、收敛、针尖——三件底牌其实是一件手艺的三个名字:把大的拆成小的。傅里叶拆信号,是拆小步的学科版;针尖构造把掉头拆成许多小段互相抵消,是拆小步的极致版。第一幕从头到尾演示的正是暗线的命题:难题之所以难,常常只是因为还没拆小。第二幕看他把这套拆法架到数论最难看的一段风景上。

记一条与暗线相配的事实。少年时代最被讲坏的段落是「神童」,他自己后来反复纠正这个叙事的重心:他运气好的地方不在快,在于每一步都没有虚过——走读的课门门做实,竞赛的题步步铺草稿。第七辑走到这一册,暗线又换了主角:不是散步,不是语法,是拆法——把难题拆成众人拿得动的碎块,该浮出来的自然会浮出来。

第一幕 · 交汇拆小步的耐心遇上两百年的墙p.11

第一幕给了两件底牌:一套拆的手艺(拆波、数胖瘦),一堵两百年的墙(针尖与硬点之账)。现在看它们怎样合流。手艺一侧:拆的学问已立——大信号拆成小波,各办各的;墙的一侧:频谱数到深处,全是「胖瘦失控」的死角。两线合流处站着一代人的难题——胖瘦失控的地方,账还有没有办法数。

他这一门(斯坦的门风)给的答案,恰好还是拆。胖瘦失控,是因为信号里有「太尖」的成分;对付尖的东西,老手艺是把测量分档:尖的用尖的尺子量,钝的用钝的尺子量——这不是一个新定理,是一整套改了标尺的算法。二十世纪七十年代,这套分档算法(所谓实变手法)把一批老账一次算清;到他要接手的时候,剩下的都是最硬的死角——针尖集守着的那几间。

把难度说得更清楚一点。针尖集难在「两把尺子打架」:面积的尺子说它小到没有,维数的尺子说它必须占满——中间隔着一片无人区,谁也说不清落到哪边。要越这道墙,得把「占地小」与「占满」两头的账同时算细,一寸一寸逼近。二十世纪九十年代末,他把两头的账各推进了一大截(与卡茨合作);完整的答案至今还开着门。缺的从来不是勇气,是更细的拆法。

第二幕的议程由此排定。离开波的世界,去数素数的队伍——队伍的账(p.14)、稀薄的麻烦(p.15)、拆成两半的打法(p.16)。拆的学问是公共的,用在哪一片风景是个人的。

第一幕 · 小结从阿德莱德到普林斯顿教会的事p.12

第一幕讲完,把要点收一收。一条成长线:阿德莱德走读的孩子,三块奖牌一年一阶,十六岁入普林斯顿斯坦门下。一门功课:调和分析——拆的学问;三件器械到手:频谱清单(拆出快慢与高低)、胖瘦定律(光滑瘦、硬点胖)、针尖集(占地可以任意小的反直觉点集)。

三件事值得记住。第一,复杂是简单的摞:拆波的第一定律——频谱这张清单,是信号的体检表。第二,硬点决定胖瘦:拼回去差的那一口气,全藏在带棱角的地方——数账先找硬点。第三,反直觉的拆法能掀翻直觉:针尖占地可以任意小——把动作拆得足够细,抵消就发生了。

还有一个方法论的收获。「拆小步」本身是一门可以练的手艺:竞赛的草稿、走读的课表、分档的尺子——拆得越细,难题越短。这不是修辞——第二幕的硬仗,赢就赢在把一道悬题拆成两小半。那个一次只拿一块砖的孩子,正是这样长成了拆难题的人。

最后记一个人物细节。他十岁进考场那年,年纪小到须由家长签专项声明;三届三种奖牌走完,他后来说竞赛生涯最大的收获是草稿纸上的那些小步。环境的宽松与家规的紧,原来不矛盾——紧的那一条,恰好是拆小步。

下一幕走进加州的讲台:一道关于素数队伍的老题,与一次拆成两半的打法。先看那道老题长什么样。

第二幕 · 故事二〇〇四年,一道关于队伍的老题p.13

二〇〇四年春天,他收到一封来自剑桥的邮件。写信的人叫本·格林,比他小两岁的英国同行,刚拿到博士不久。信里是一道老题:素数的队伍里,能不能找出任意长的等差数列——比如三个素数 3、5、7,间隔都一样;四个的也有:5、11、17、23;五个的:7、37、67、97、127。那么,六个、七个、一百个、任意多个——队伍能排到多长——这道题挂在数论里几十年,谁都相信答案是「任意长」,谁都拿不出证明。

题的难处一眼可见。素数是数里最不听话的一群:除一和自身外没有别的因数,在长线上东一个西一个地散落,看着像随手撒的豆子。要在一把撒开的豆子里找出间隔整齐的队伍,先得知道豆子撒得有多匀——而素数的匀与不匀,正是数论几百年里最难下嘴的一口。顺带一句:连「素数在前一亿个数里大约有多少个」这样的总账,都要动用最重的器械才数得清。

但两人手里各有一张好牌。格林那张牌:三年前他刚证明「任何足够稠密的集合里必有任意长的等差队伍」的前半场——稠密的集合队伍齐整,这不是碰巧,是必然。他那张牌:一整套从波的房间里带来的器械——数频谱、量胖瘦、分档测量的尺子。一个懂队伍,一个懂拆账;两人把牌摊在桌上,发现缺的恰好是中间那座桥:把「队伍定理」从稠密的世界搬到素数这个稀薄的世界。

第二幕的后几页,把这座桥从桥墩搭起。先看队伍定理说了什么(p.14),再看素数为什么「不够稠密」、定理为何使不上劲(p.15),最后看那记漂亮的拆法:一道题拆成两半,各击破后合拢(p.16)。先把队伍这件事本身说清。

第二幕 · 数学队伍与密度:稠密的集合必出长队p.14

先把「队伍」定准。等差数列就是间隔一样的队伍:从第一个数出发,每次迈同样大的步子。1、4、7、10 是一支(步长 3);3、5、7 是一支(步长 2)。一道题随之而来:随便给一大把数——不必是素数——里面能找出多长的队伍。直觉说要看「数给得多密」:数越密,队伍越长。直觉是对的,而且可以算准。

「密」也有精确的尺子。一把集合在前一万个数里占三成,密度就是零点三——密度是「占多少地盘」的账。一九七五年,塞迈雷迪证明了一条重话:只要密度不是零——哪怕只占百分之一——这把数里就必然藏着任意长的等差队伍。注意:不要求数多,只要求密度不是零——队伍就注定要出。

这条定理证明的思路,恰好也是拆。直接在长长的数线上找队伍没有下手处;塞迈雷迪的招法是抬高一层——把「找队伍」变成「算一种平均」:一支队伍藏在集合里,等价于某种「数数用的平均量」超出一个门槛。于是找队伍的题变成了估平均的题,而估平均有一整套器械可用。把明处的题翻成暗处的题,这一翻,后来成了整行当的通用打法。

第二幕的关键接榫在这里。格林三年前的工作,正是把这套「翻成平均」的打法又打磨了一层。素数的队伍该有着落了——且慢:塞迈雷迪的条件是「密度不是零」,素数的密度恰恰是零(下一页算这笔账)。牌子好使,却不通用。缺的那座桥,就从这条缝里架起来。

等差数列:间隔一样的队伍(3、5、7;步长 2)
密度:前 N 个数里占的份量(占三成即密度 0.3)
塞迈雷迪定理(1975):密度非零 ⇒ 必有任意长的队伍
打法:把「找队伍」翻成「算平均」,用器械估平均

第二幕 · 数学素数太稀:密度是零的麻烦p.15

现在算素数的密度账。一百以内有二十五个素数,占两成半,还不算稀。一千以内一百六十八个,一万以内一千二百二十九个。数越大,素数越稀。稀得多快,有公式:前一万个占一成二,前十万个占百分之九——比例一路下滑,永不回头。把数线拉到无穷,素数的密度恰好是零。

这条「密度是零」的账,本身就是一桩百年成果。「素数稀得多快」,欧拉、高斯都摸过;一八九六年,阿达马与瓦莱普桑各自独立算清了总账——素数定理:前一百万个数里素数约有一百万除以其对数那么多。精确、深刻、来之不易。可对找队伍这件事是坏消息:塞迈雷迪定理要密度非零,素数的密度是零——条件根本不满足。牌子在手,使不上劲。

麻烦的实质值得看清。不是「队伍不存在」——三支五支的队伍明明摆着;是「没有现成的定理担保队伍存在」。稠密世界里那台机器,输入密度非零的集合就吐队伍;素数喂进去,机器不认。两条出路:造一台对稀薄集合也认的机器——太远;或者让素数「装成」稠密——听着荒唐,却恰是那记拆法的入口。

「装成稠密」的讲法分两步。第一步,证明素数在一层「加权的外衣」下,处处像个足尺的稠密集合(伪随机控制);第二步,证明队伍定理认得这件外衣——集合被足够好的外衣罩着,队伍定理照样成立。素数本身既不稠密也不随机,可「素数加外衣」两样都占。先把整套打法摆开。

素数密度:100 以内 25 个;100 万以内约 7.8%(渐趋于 0)
素数定理(1896):素数个数约 N/log N——密度是零
麻烦:塞迈雷迪条件「密度非零」对素数失效
出路:让「素数+外衣」装成稠密——伪随机控制

第二幕 · 数学拆成两半:外衣与传递p.16

那记拆法把题拆成两半。原题在素数这具「病体」上无从下手。拆开后——半道题管外衣:把素数罩进「加权的外衣」,证明穿外衣的素数从队伍角度看与稠密集合无异(伪随机控制);另半道题管传递:证明塞迈雷迪的机器不挑集合出身——外衣够好,机器对「外衣之下」照转不误(传递原理)。两半干净,原题在合拢处冒出来。

前一半:量外衣。外衣不是随便一件衣服,要紧的检验一条:随便抽多长的队伍称量,素数穿这件外衣称出的份量,与真正的稠密外衣几乎没有偏差——对任何长度都成立。证明这条检验,动用的是数素数的重器械:素数在「平均」意义下分布得极匀(十九世纪总账的现代加强版)。百年老账在此换了岗位:从数素数到量外衣。

后一半:递原理。塞迈雷迪的机器原有一条隐含假设:称量用的尺子最朴素(人人的份量一样重)。传递原理说:把朴素尺子换成任何够格的外衣,机器照转不误——平均量该超门槛还是超门槛。这半道题没有素数什么事,是纯粹的组合与平均的账。两半分工之妙在此:管外衣的用数论,管传递的用组合。

合拢只一步。外衣合格+机器认外衣 ⇒ 素数穿好外衣过机器 ⇒ 机器吐出任意长的队伍。二〇〇四年春,两半在合拢处接上——格林—陶定理成立。这套「外衣加传递」后来被整个行当通用:稀薄世界里凡是「稠密版已有定理」的题都可一试。先看暗线妙在哪里。

原题拆两半:半题管外衣(数论),半题管传递(组合)
外衣检验:素数加权称量 ≈ 稠密集合称量(任何队长)
传递原理:塞迈雷迪机器对「好外衣之下」照转不误
合拢:外衣+机器 ⇒ 素数必有任意长的等差队伍

第二幕 · 暗线把一道题拆成两半p.17

看清楚那道裂缝的位置。原题「素数里有队伍」病在两头:素数既是数论里最硬的对象,队伍又是组合里最软的形状——硬对象配软形状,谁的工具都使不全。拆开之后,硬的一半归数论(量外衣),软的一半归组合(递原理):每半道题都只用自家顺手的工具,每一半都不再是原来那道题。难题拆成两半,难的浓度就稀释了——这是本册暗线的第二个音符:拆,不光是变小,还是归口。

归口之后还有一道工序:合。两半各自成立不等于原题成立——中间那道「合拢」照样要证:外衣的偏差要小到机器吃得起,机器的脾气要宽到外衣罩得住。两人合写的那篇论文,篇幅大头恰恰花在合拢的接缝上:一边把外衣的检验做到「任何长度都过关」,一边把传递原理的「够格」门槛压到最低。拆的时候痛快,合的时候见真章——拆法不是把题变简单,是把复杂度挪到接缝上一次付清。

这跟第二幕的数学严丝合缝。外衣一半动用素数分布的百年老账(硬手艺),传递一半动用平均量的新器械(软手艺)——格林与陶恰好一人握一门。合作十来个星期,两半分别成形,接缝处合拢。第二幕从头到尾演示的正是暗线的命题:正面硬啃使不上劲的题,拆开归口之后各半都通。第三幕看他把「拆」从两人之间推广到众人之间。

记一条与暗线相配的事实。论文发表后有人问:这道题挂了几十年,为什么前人没有拆开试试。答话的意思后来广为流传:不是没想过,是「外衣」这件工具——素数可以加权到近乎均匀——当时的数论刚刚攒够本钱。拆法是自由定理:什么时候拆得动,要看工具箱什么时候满。第三幕讲工具箱怎么变成大家的。

第二幕 · 交汇两半合流:从队伍到奖章p.18

第二幕给了两件底牌:一道拆成两半的悬题(外衣与传递),一次漂亮的合流(格林—陶定理)。现在看世界怎样回礼。二〇〇六年夏天,马德里,国际数学家大会四年一度的授奖台——菲尔兹奖章授予他,时年三十一岁。授奖词里列举的贡献横跨四个领域:偏微分方程、组合数学、调和分析、加法数论——第二幕的队伍定理,正是第四格上的那件代表作。

四个领域并排列出,值得停一停。寻常数学家的名字通常只挂一两个领域;授奖词一次列四个,说的是同一件事:拆法横跨多域。调和分析是拆波的学问(第一幕),加法数论是拆队伍的学问(第二幕),偏微分方程是拆「变化」的学问,组合数学是拆「结构」的学问——四个领域在他手里共享同一套手艺:把大东西拆成小的,把生的地方拆成熟的地方。奖章表扬的不是四件事,是一件手艺在四处开的花。

与上一代人的对照也清楚。队伍定理的祖宗塞迈雷迪用组合硬功砌了四十年;高尔斯一九九八年的奖章表扬的是把那套硬功提速。到格林与陶这一代,速度的来源换了:不只是算得快,是会拆——把素数伪装成稠密、把定理搬到稀薄世界。工具的代际更替,恰好落在「拆」这个字上:上一代人砌墙,这一代人拆门。

第三幕的议程由此排定。奖章是个人成绩单;他随后做的另一件事没有奖章,影响却不小——把「拆」从一个动作变成一套众人共用的法子:开博客、挂问题、办接力。先把这套法子长什么样摆出来。

第二幕 · 小结从老题到定理教会的事p.19

第二幕讲完,把要点收一收。一道老题:素数的队伍能排多长——东一只西一只的数里找间隔整齐的一队。一座麻烦:素数密度是零,稠密世界的队伍定理使不上劲。一记拆法:拆成「外衣」与「传递」两半,数论与组合各管一半,接缝处合拢——素数里有任意长的等差队伍,二〇〇四年定理落成,二〇〇六年奖章到手。

三件事值得记住。第一,密度是队伍的通行证:塞迈雷迪定理说密度非零必有任意长的队——素数偏偏密度是零,所以这道题才有戏。第二,硬工具各有归口:量外衣用数论,递原理用组合——拆开归口,每半都用上最顺手的家伙。第三,接缝是复杂度的新家:拆开不难,合拢见真章——外衣要过关,机器要够宽。

还有一个方法论的收获。「拆」是把复杂度搬家:原题的复杂度无从下手,拆开之后复杂度集中到接缝上,一次付清。这不是修辞——第三、四幕的接力与老账,全在沿用这套搬家的手法。竞赛草稿上的小步、外衣与传递的两半,是同一件事的童年版与成年版。

最后记一个人物细节。论文落成那年,格林还不到三十,他二十九;两人在两地各自推进自己那一半,靠邮件对接合拢——那几年他在加州的讲台上同时开着三门课。奖章之后有人问他最自豪的时刻,他说的不是马德里,是两半接上的那个晚上。个人的一半加众人的一半,合起来才是全部——这话第三幕要兑现。

下一幕走进他的博客:把学问拆给众人看,把难题拆给众人做。先看博客长什么样。

第三幕 · 故事二〇〇七年,开一扇窗口p.20

二〇〇七年二月,他在加州的家里开了一个网页。名字起得朴素:新事。头几篇是讲义、杂记和几条没做完的思考。学界起初没当回事——大教授开网页,跟名人开信箱一样平常。可看下去味道就不对了:这上面什么都发——写成一半的证明、绕了弯路的草稿、给学生出的问题、读别人论文的笔记。行里的老话是「论文只发成品」,他偏把车间也敞开了:成品后面那间叮当作响的车间,第一次有了对外的窗。

敞开车间,先要过自己这关。行当里有个心照不宣的顾虑:把没做完的东西摆出去,错处人人看得见——脸往哪搁。他的做法是把顾虑直接翻过来:错处人人看得见,所以错处人人都帮得上。一篇草稿发出去,几小时内常有同行指出漏洞,比审稿周期快上百倍;他自己说,公开草稿不是胆子大,是算过账——纠错的成本摊到众人头上,速度就不是一个人能有的速度。博客开了近二十年,越开越像一间不关门的研讨会。

窗口很快长出第二层用处。他不只发自己的东西,还常年挂着一份「开放问题」的清单:题目从别处借来或自己攒下,标明难度、注明已知的界限,谁都可以取走。给学生的建议也放在上面——怎么读论文、怎么做笔记、怎么挑题。一个二十多岁就站上讲台的人,把讲台从一间教室扩到了所有亮着屏幕的地方;后来有人统计,靠这扇窗入门然后入行的研究者,一届接一届,从来没断过。

第三幕的后几页,看这扇窗怎么兑现。先看素数间隔——一道由另一双手接生的难题,怎么在他的窗前变成数百人的接力(p.21—p.23);再看暗线这一手妙在哪里:把思考摊开,等于把难题拆给众人看(p.24);最后看独行与众手怎么各安其位(p.25)。先把那道难题接进来。

第三幕 · 数学素数间隔:一道别人接生的难题p.21

第三幕的数学从一道题接起。素数排成一列,相邻两个的间隔——素数间隔——忽大忽小:有的挨得极近,差二而已(3 与 5、5 与 7,这样的对子人称孪生素数);有的隔得老远,中间一大段全是合数。一道挂了一百多年的老猜想问:差二的素数对是不是有无穷多对——孪生素数猜想——问句简单到孩子能懂,证明却难到整行当束手。

束手束在哪里,值得说透。要证「无穷多对差二」,直接数对子数不动——对子藏在无穷深处,手里的器械只够管「平均情形」:总账算得清,单点的精细账一概失灵。这失灵是结构性的:平均器械对「恰好差二」这样的精确要求,天然粗了一号。百年之间,行里的共识:先退一步,问器械够得着的版本。

退一步的版本是这样的。不问「有没有无穷多对差二」,问「有没有一个固定的数 C——不管多大——使差不超过 C 的素数对有无穷多对」。这在数学上叫「有界间隔」:不要求恰好二,只要封顶。封顶的猜想百年里同样无人能证——直到二〇一三年五月,默默无闻的研究者张益唐投出一篇论文:C 存在,还给出第一个具体数字——七千万。七千万离「二」远得像隔着一片海,可这不是量的问题:海一但有岸,量的仗就有得打。

张益唐的论文里藏着一件与暗线相配的东西。那七千万不是终点,是起点:证明的框架是活的——里面留着一排「旋钮」,每拧紧一格,数字就小一截。而旋钮,天生适合拆给众人拧。下一页把框架摊开。

孪生素数猜想:差二的素数对有无穷多(百年未决)
退一步:差不超过某个固定 C 的对有无穷多(封顶版)
张益唐(2013):C 存在,首个数字 70,000,000
框架里留着一排旋钮:每拧一格,C 小一截

第三幕 · 数学一排旋钮:七千万的解剖p.22

把框架摊开看。骨架是一套筛法——数素数的老工具:真素数抓不准,就先把「看着像素数的」成批捞出,再慢慢筛。骨架上竖着几个环节,各有一个参数:捞多宽、信几分、封多大。七千万,就是所有参数按当年最紧取值一算的产物。要害在于:每个环节独立——旋钮各自可拧,不必同时动。

最大的那枚旋钮,是「信几分」。筛法要动用一笔「平均账」:素数在不同余数的家里分布匀不匀。一九七〇年代有老定理担保:四分之一的地盘以内,分布是匀的(邦别里—维诺格拉多夫定理)。张益唐的框架吃得动这四分之一——已是当时最好的存货。可四分之一之外:再推一格,数字就跳着往下掉。这枚旋钮的把手,恰好停在所有人器械够不着的地方。

另一排小旋钮,是「捞多宽、封多大」。这两枚不带根本性——器械现成,纯粹力气活:权重调一调、界收紧一档,数字就往下一截。正因为不带根本性,它们天生适合众人分头拧:不必懂全局,只须守住自己那一格的账。七千万公布后不出一个月,行里就有人先动了手:数字掉进几千万量级,一路往下。

所以局面是这样。一大一小两排旋钮:大的卡在四分之一,单人器械动不了;小的那排人人可拧,但一颗颗拧到死也只是涓流。要出大效果,得有个地方把所有拧螺丝的手拢到一起——进度、分工、验证全摊开,数百人同时上手。那样的地方,p.20 已经开张:那扇叫「新事」的窗口。下一页看接力怎么跑。

骨架:筛法框架,环节独立、旋钮各自可拧
大旋钮:分布之「信几分」——门槛四分之一(老定理封顶)
小旋钮:捞多宽、封多大——力气活,人人可拧
一个月内:两排齐动,七千万开始往下掉

第三幕 · 数学拧到二百四十六p.23

二〇一三年六月,接力在他的窗前发令。他把张益唐的框架整个搬到「新事」上:旋钮排列、已知界限、待拧之处、谁在拧哪一格——全部公开。响应比预想快:数周内数十人上手,数月内数百人次参与;七个多月里,七千万一路下探,年底拧进十万以内。每格的账都公开可查。

接力中途出了一件大事。二〇一三年十一月,加拿大的年轻研究者梅纳德宣布了一个新框架:不用那四分之一的老门槛,改用「多捞几枚一起算」的路数,一步把数字拧到六百。窗口当即并线:众手转入新框架,把梅纳德的旋钮再拧满。二〇一四年初,合力的数字定格:二百四十六。从七千万到二百四十六,七个月。

二百四十六之后呢。接力没有停,只是慢了:剩下的旋钮里,最大那枚又卡回老地方——分布的均匀性,器械的墙还在。所以今天的局面:封顶的「有界间隔」已证(二百四十六),孪生素数猜想(封到二)仍未决,等着下一件根本性的新器械。一百多年里,这道题从「完全无解」走到「封顶已证、精确未决」。

留给暗线的问题只有一个。同样的数学,为什么在窗口上跑出百倍的速度。答案拆开只有三条:进度公开、分工可拆、验证即时。三条没有一条是新数学——全是把「拆」从个人习惯变成公共设施的装修活。第四幕把这套设施推到极限。

2013 年 6 月接力开跑;7 个月:70,000,000 → 246
并线:梅纳德新框架(2013 年 11 月,600)合力拧满
现状:有界间隔已证(246);孪生素数(封到 2)未决
提速三件套:进度公开、分工可拆、验证即时

第三幕 · 暗线众人轮流看p.24

把接力拆开看,真正新的东西不是速度。数学几百年都有合作:两人合写、师徒联署、书信往来——格林与陶那一半一半,也只是合作的老形式。接力新在「轮流看」:草稿一挂上去,几百双眼睛同时过目;一格拧错了,当天就有人挑出来;一步通了,全世界当晚就接着走。本册暗线的第三个音符在这里:拆给众人看——拆开的不只是难题,还有「看」这件事本身:从前一个人看一星期的错,现在一屋子人看一小时。

「轮流看」反过来也改写了「看的人」。行里过去有个隐形的门槛:入行要熬年头——跟对人、进对门,才有资格碰真问题。窗口把门槛削平了:接力名单里有成名教授,也有研究生、外行、乃至只会在纸上算算的高中生(那几个月的参与者记录里都查得到)。拆到「一人一格」的题,格与格之间不问资历——守得住账就能上手。一桩行当的民主化,起点竟是拆得够细。

这跟第三幕的数学严丝合缝。张益唐的框架之所以能拆给众人,恰恰因为它被拆到了位:旋钮独立、门槛清楚、验证可分——一道题拆得越细,能上手的人越多,走完的速度越快。第三幕从头到尾演示的正是暗线的命题:拆是众人之母。第四幕把这手推到极限——一道题众人拆了五年没拆动,最后收官的那一步,却要靠一个人把碎块重新拼起来。

记一条与暗线相配的事实。接力收尾那年,有记者问他:数百人一起做,个人的功劳还剩多少。他的答话后来常被引用:功劳的账算不清,不如算进度的账——把进度摊开,每人多走一小步,加起来就是没人能单独走完的一大步。这话的份量,第四幕里还有一次兑现。

第三幕 · 交汇独行与众手p.25

把第三幕的两条线并排摆好。一条是张益唐的路:十几年冷板凳,孤军把框架砌出来——没有他,旋钮根本不存在;一条是接力的路:数百人七个月把七千万拧到二百四十六——没有他们,旋钮永远停在七千万。两条路一前一后,缺哪条都不成。这道交汇处有一笔值得细算的账:众手拧得出已有的突破,拧不出还没有的突破——种子仍要有人在安静处种,众手是田地,不是种子。

田地与种子的分工,恰好对应「拆」的两个方向。把难题拆细(旋钮化),是给众手腾地方——没有拆,接力无从下手;把拆开的碎块重新看成一个整体(种框架),是独行的本分——碎块之间哪一格藏着根本性的门,几百双分头看的眼睛反而看不见。两种手艺一人一始:种框架的那一夜,张益唐身边没有旁人;拧旋钮的那七个月,窗口前没有昼夜。一拆一合,众一独一——这道配伍,才是完整的暗线。

有人因此担心一件事:接力会不会把独行挤没了。他对此的答话很稳:接力擅长的是「最后一公里」——框架已在,把参数拧满;框架本身的长出来,至今没有别的法子,只有一个人对着问题坐十年。所以窗口从来不造题,只接题——题从哪儿来、种子往哪儿种,那是另一门手艺,而且是更稀缺的手艺。两种模式不争地盘,争的是同一个方向的两种进度。

第四幕的议程由此排定。一笔一九三二年挂出的老账、一笔八十三年没人破得了的悬赏、一场五年没拆动的接力——以及最后一个人捡起碎块的那一步。先看那笔老账长什么样。

第三幕 · 小结从窗口到接力教会的事p.26

第三幕讲完,把要点收一收。一扇窗:博客「新事」——成品与车间一起敞开,开放问题常年挂着。一道题:素数间隔——张益唐二〇一三年给出七千万与一具带旋钮的框架。一场接力:数百人七个月,七千万拧到二百四十六,梅纳德的六百中途并线。一门手艺:把「拆」从个人习惯装修成公共设施。

三件事值得记住。第一,拆到位才接得上:旋钮独立、门槛清楚、验证可分——拆得越细,上手的人越多。第二,看本身就是生产力:几百双眼睛同时过目,错的快死、对的快活——「轮流看」把纠错从瓶颈变成了流水线。第三,众手与独行各安其位:田地拧不出生长的种子,种子也用不着自己收满一仓粮——两者是同一件事的两半。

还有一个方法论的收获。数学的速度,一半在数学里,一半在数学外:公式没变、定理没少,只把「谁看、谁拧、谁验」摊开,七个月走完从前几十年的路。这不是修辞——第四幕的收官之战,胜负手恰恰不在公式里,而在「碎块留没留下来」这件事上。

最后记一个人物细节。接力开跑那个月,他自己的研究照常推进,两不相误;有人问他累不累,他说窗口上那点活,比起当年竞赛考场上一个人盯着四个半小时的大题,轻省多了——一个人拆小步最难,众人拆小步,其实是把难的那一半分掉了。这话听着轻巧,做起来要有窗才行。

下一幕回到八十三年前:一笔由一位流浪的数学家挂出的悬赏。先看他长什么样。

第四幕 · 故事一九三二年,一笔老账p.27

一九三二年,一位十九岁的匈牙利大学生在一份刊物上提了一个问题。问题小得不能再小:往一长条纸上,一格一格地写加号或减号——写到无穷长;然后任取一个步长,从纸上某处起,每隔这个步长取一个记号,把取到的加号减号加加减减求个和。这样取出的「一段账」,和可以有多大。他的猜想:无论怎么写,只要写得够长——或者干脆写无穷长——总能找到一个步长、一段取法,让这段账的绝对值冲过任何指定的高度。这位学生叫埃尔德什,日后是二十世纪最多产、也最爱出题的数学家。

这题乍看不像难题。写加写减是自己做主,想压住和的大小,似乎多写几个减号就抵消了。妙处恰在这里:猜想说「无论怎么写」——写的人再精明,也躲不开某一种取法。取法的数目不受限制:步长随便选、起点随便选、段长随便选——写的人只守一排格子,取的人握着无穷多把尺子。一守一攻之间,八十三年过去,双方谁也没赢。

埃尔德什的出题方式也自成一格。他一生习惯悬赏出题——按难度给一笔奖金,谁证出来归谁;这题他标了一千美元,是他悬赏里的最高档之一。一九九六年他去世,奖金由老友格雷厄姆代管,老友转述过他的原话大意:这道题他知道重要,自己试过,没成——所以要留着最贵的赏格等后人。赏格一挂八十三年,中间多少好手掂量过,都空手而归。

第四幕的后几页,看这笔老账怎么收官。先把账本的定义数清(p.28),再看一场五个月没拆动的接力留下了什么(p.29),最后看收官那一步——一笔数论的老账,最后是用拆波的语法算完的(p.30)。先把账本摊开。

第四幕 · 数学差异:一笔最小又最刁的账p.28

把账本的定义数清。一条由加一减一组成的数列——每个格子里要么加一、要么减一。取一个步长 d,从某一格起每过 d 格取一个数,连取 m 个,加起来得一个和。取法任取——这些和的绝对值最大能到多少,就叫这条数列的差异。差异问题只问一句:一条无穷长的加减一数列,差异是不是必然无界。

写的人有多精明,看两个小例。最老实的写法:加一减一相间。取「步长二」就露馅——每隔二格取一个,取到的全是加一,十个的段落和就是十:账被步长二攻破。聪明的写法在步长一与步长二两头设防:防住这步长,那步长又漏。两头、三头兼顾的写法都存在——可步长的尺子有无穷多把,每多守一把,活路就窄一分。问题变成:活路会不会在某把尺子底下彻底走绝。

猜想说:会走绝——而且可以数出多快走绝。埃尔德什的原猜想只说「必有某段账冲过任何高度」;后来大家更想知道走绝的速度:写满 N 格,差异至少长到多大——这一问接到了当代最硬的地带,与数素数、量波形的器械共用一套地基。靠计算机搜索,写出一千一百二十四格而差异仍是二的写法是找得到的;再往上,二就守不住了。

攻守两边的兵器,本册都已见过。攻方的兵器是数论:素数那种「平均够匀、单点难查」的货色正适合当步长;守方的兵器是组合:塞迈雷迪式的「翻成平均」正好把差异翻出来估。八十三年双方僵住,因为攻方差最后一件——一个能把「找大账」自动做完的机器。先看那场不成功的接力缺在哪。

差异:任取步长 d、段长 m,取段求和的最大绝对值
相间写法败于步长二(全取到加一,和=段长)
计算机搜索:1,124 格仍可守差异 2(2010)
猜想:无穷长数列的差异必然无界

第四幕 · 数学一场没赢的接力留下了什么p.29

二〇一〇年初,这道老账被搬上了接力场。差异问题是早期几场大接力之一:数百人报名,五个月轮番上阵——计算机搜索把差异二的写法推到一千一百二十四格,好几条中间定理被证出,攻方的兵器清单越列越长。五个月后收场:没赢,谁也没能冲过那道墙。

但收场时留下的东西,五年后看全是宝。第一件是数据:一千一百二十四格的差异二写法不是随手写的——格子按古怪的节律排布,像藏着暗号的信号。第二件是批中间结果:哪类写法必败、哪类步长先失守、守方最好的写法「长得像什么」——条条有证明,凑成一张「通缉画像」。第三件最不起眼:试过、失败过的路子清单——它把八十三年的蛮干划掉了大半。

五年后,二〇一五年九月,他把这三件遗产摊开重看。那张「通缉画像」撞进眼里:守方最好的写法不是乱写——一千一百二十四格的古怪节律,处处透着「按固定规矩翻转」的味道;而按固定规矩翻转的写法,恰好是波形书里的老熟人。一道悬了八十三年的数论账,守方的极限形状竟是一段波。第一幕拆波的手艺,在这里认出了自己的影子。

收官路线就此铺开。分两步:先证「守得住的写法必然有波形」(守方画像的精确版),再证「有波形的写法必被某把尺子攻破」(攻方的收网)。第一步用五年的接力遗产与熵的账法,第二步用第一幕的拆波语法——下一页走完两步。这一页只须记住:失败的接力没有白打,碎块都留在公共的账本上。

2010 接力五个月未破——留下数据、画像、禁区清单
数据:1,124 格差异 2 的写法,格子按古怪节律排布
画像:守得住的写法「按固定规矩翻转」——像一段波
2015 年 9 月:两步收官的路线就此铺开

第四幕 · 数学收官:画像与收网p.30

第一步:画像。要证「守得住的写法必然像波」。账法是熵——把写法看成一串信息,逐块量「剩多少新奇」:处处新奇守不住;哪块不新奇,那段就在「抄旧账」——格子按固定节律翻转。论证沿数列一段段切下去,节律被钉牢一分:切到底,整条数列的节律浮出水面——守得住的写法,是按完全固定的规矩翻转的。

第二步:收网。规矩一旦完全固定,写法就成了波形书里的老熟人——「按某个倍数关系翻转」的那类:正负号由隐藏的乘法规矩统一调度。对这类写法,攻方有现成手艺:取一串特定步长——倍数关系自己站到账本对立面——沿它取段,账只涨不跌,冲过任何高度。画像加收网,两步一夹:无论怎么写,差异必然无界——八十三年的悬赏就此落定。

回头看这收官的手艺,妙处有一处要特意点出。攻守两步用的器械没有一样是新的:熵的账法是信息论老件,收网是数论老件,「守方像波」的直觉是第一幕拆波的手艺。八十三年的悬案,收官用三门旧手艺拼装,图纸来自五年前失败接力留下的数据——新题能解,常常因为旧件攒齐了。

收个尾。差异与素数队伍遥遥相对:一道靠伪装与传递绕过,一道靠画像与收网夹死。两题的解法里都有同一记拆法——把对手可取的路数拆成「必须如此」与「如此必败」,各段各破。先看暗线收在哪个音上。

画像:守得住 ⇒ 逐段抄旧账 ⇒ 固定节律浮出(熵账法)
收网:固定节律 ⇒ 乘法规矩调度 ⇒ 特定步长只涨不跌
器械全是旧件:熵账法+数论收网+拆波直觉
2015 年 9 月收官:差异必然无界(83 年悬赏落定)

第四幕 · 暗线拆开的东西不会丢p.31

把第四幕的账本倒回去翻。二〇一〇年那场接力,账面上是败的:五个月、数百人、无一纸定理收官。可五年后真收官的那天,用到的每一块砖——一千一百二十四格的数据、守方的画像、试错的禁区——全是那五个月拆下来存住的。本册暗线的第四个音符在这里:拆开的东西不会丢。难题拆碎之后,碎块不会蒸发;它们落在公共的账本上,等一双认得出它们的手。

「等」字的份量值得称一称。碎块落账的当年,没有任何人知道它们会怎么用——一千一百二十四格的古怪节律,在二〇一〇年只是一条有趣的搜索结果。碎块的价值要等到五年后一双眼睛把它认出来:那不是乱码,是波形书里的老熟人。所以拆开东西不丢,还差半个条件——得有个地方让碎块放着、让人翻着:窗口之所以要开,一半为现时的接力,一半为未来的重逢。账本不关,碎块就有利息。

这跟第四幕的数学严丝合缝。收官那两步没有一步是凭空造的:画像那步的每一段论证,都能在五年的接力记录里找到前身;收网那步的三门旧件,全是攒了几十年的家底。第四幕从头到尾演示的正是暗线的命题:答案自己浮出来——浮出来的那一下,靠的是碎块足够多、账本足够开。第五幕看暗线的最后一个音符:把拆法传下去。

记一条与暗线相配的事实。收官论文的写法本身就是个注脚:文末特设一节,把接力期间贡献过碎块者的名字与网页地址一条条列清——一份公开的谢账。行里的惯例是论文只谢合作者与审稿人;他偏把几百个名字列上去,包括那些只贡献过一条搜索结果的。碎块的账,他当真记着。

第四幕 · 交汇三股线合流:悬赏落定p.32

第四幕给了三股线:八十三年的悬赏(老账)、五个月没赢的接力(碎块)、九月的两步收官(画像与收网)。现在看它们怎样合流。二〇一五年九月十七日,收官的长文挂上窗口;不出一周,各地同行的验算一条条跟上;十月里论文定稿。格雷厄姆——埃尔德什悬赏的代管人——依约兑现那笔一千美元的赏金;老人已故去十九年,账面上的字迹仍算数。

这一笔账上,三股线各占几分,值得摆正。埃尔德什出了一道好题——好题是种子,五十三年后他自己没能等到花开;接力拆出了碎块——没有那一千一百二十四格,守方的形状至今是猜;他认出了碎块并拼完两步——没有这一步,碎块再放十年也只是数据。谁也替不了谁:出题的手、拆账的手、收官的手,一只都缺不得。数学最诚实的一面在这里:荣誉可以争论,链条上的每一环都省不掉。

与第三幕的对照也清楚。素数间隔那场接力是「众手拧满已有的框架」;差异这场是「碎块等到一个人的重逢」——接力在前者在明,在后者藏着。两种合流摆在一起,恰好把公共账本的两种用法演全:一种像工地的分工,一种像旧货铺的重逢。窗口的价值两头都占:它既是分工的场,也是重逢的场。

第五幕的议程由此排定。奖章之外他给自己的另一种签名:出题、挂题、把难题拆给学生——埃尔德什那笔悬赏的传统,在他手里变成了常态化的营业。先把这份签名长什么样摆出来。

第四幕 · 小结从悬赏到收官教会的事p.33

第四幕讲完,把要点收一收。一笔老账:一九三二年挂出、悬赏一千美元——无穷长的加减一数列,差异必然无界。一场接力:二〇一〇年五个月没赢,留下数据、画像、禁区。一次收官:二〇一五年两步走完——守得住的写法必是固定节律的波,固定节律的波必被特定步长攻破。八十三年,账清。

三件事值得记住。第一,差异是最小又最刁的账:规矩只有一条(格子写加减一),尺子却有无穷多把(步长任取)——守方再精明,活路一分一分地窄。第二,失败的接力是存货:碎块落在公共账本上,账本不关,碎块就有利息。第三,收官拼的是旧件:熵账法、数论收网、拆波的直觉——新题解开的时常不是新器械,是旧件攒齐了。

还有一个方法论的收获。「等」也是研究的一部分:碎块存着、账本开着、眼睛翻着——重逢在哪一天,谁也定不了,但重逢要用的条件可以一样一样备齐。这不是修辞——第一幕拆波的手艺隔了三幕才认出影子,第四幕的收官正是那次重逢。

最后记一个人物细节。悬赏兑现的消息传开,有人问那笔钱怎么用;他的处理轻描淡写,倒是对论文末尾那份几百人的谢账多说了一句:名单比奖金值钱——奖金是给收官者的,名单是给全部碎块的。一句话把八十三年的账分得清清楚楚。

下一幕回到他的书桌:奖章之外的另一种签名——把难题拆开、挂出去、传下去。先看这份签名长什么样。

第五幕 · 故事另一种签名p.34

把他的荣誉摊开数一遍。萨勒姆奖,二〇〇〇年,二十五岁;博歇奖,二〇〇二年,史上最年轻的得主;菲尔兹奖章,二〇〇六年;数学突破奖首届,二〇一四年,奖金三百万美元——他至今保持的纪录还有一批,不逐个数了。报章给他起过一个响亮的名号,说他是数学界的莫扎特;他自己从不接这个比喻——访谈里说得直白:天赋被讲得太重,努力被讲得太轻;他那行里比他「快」的人见过不少,走到底的不多。

不接名号的人,得有自己的署名方式。他的签名不是一枚奖章,是一份清单——窗口上常年挂着的开放问题:从哪儿借的、难到什么程度、已知推到哪里、下一格该拧哪儿,一条条注明。问题清单之外还有一份给学生的话:怎么读第一篇论文、怎么记笔记、怎么面对卡住的一个月——写得不摆架子,像一份份工作手册。十年下来,靠这两份东西入行的研究者数不过来;有人开玩笑说,他带的学生不止在加州,凡亮着屏幕的都在。

这份签名有一条清楚的祖师。埃尔德什——那位流浪的出题人——一生悬赏出题、四处分题,把「问题」当货币用了一辈子;他一九九六年去世,行里一度担心这种传统会断。窗口证明这条传统没断,只是换了形态:悬赏变成标注(难度、界限、下一步),题主变成场地(谁都能挂、都能取),单线书信变成数百人的接力。第八十三年收官的那笔赏金,像是老一代对新一代的一次验收:传统还在,且更旺。

第五幕的后几页,把这份签名拆开看。先看好问题长什么样、怎么标价(p.35);再看「数学像拼图」这套给学生的心法(p.36);然后算一笔问题流转的账——一道题从出题人手里到收官人手里,中间要经过多少双手(p.37)。先按住,看暗线最后一个音符。

第五幕 · 数学好问题长什么样p.35

把他的问题清单摊开看几条。一条标着:素数间隔,已知二百四十六,下一格在哪儿——注明用梅纳德框架再拧需要什么新界;一条标着:卡克亚维数,平面近乎关死,高维还开着——注明关键推进在哪几年;还有一条小到像习题:把某个不等式的常数改进一倍——注明「适合头一回做研究的人」。大题、中题、入门题,同在一页,各有各的标价。

「标价」这两个字值得展开。一道好问题摆出去,得让人接得住:难到什么程度——决定谁来接;已知推到哪儿——决定从哪儿下手;卡在什么器械上——决定该借哪家的工具。这三样注明白,问题就从「一座雾里的山」变成「一张有海拔标高的地图」。清单上每一条都这么标——这本身就是拆法的延续:第一刀先拆「难在哪里、卡在谁手上」。雾散了,山还是山,但能爬的人一下子多起来。

问题清单还有一个反直觉的用处:它替人省力气。行里每年生成的新问题海量,绝大多数躺在论文最后一节里无人问津——不是不好,是没人标价:难度不明,界限不明,接的人无从估成本。他挂出来的每一条都替接题者省了「侦查」这道工序;接力能跑起来,一半靠数学,一半靠省下的侦查——素数间隔那场接力里,进度条人人可看,正因起点处把旋钮标得清清楚楚。

给这一页的数学收个尾。标价这件事,说到底是把「未知」拆成「已知的边界」加「边界外的格子」:前者写明,后者圈出。这跟本册前几幕一脉相承——外衣与传递是拆难题,旋钮是拆框架,标价是拆「难」。先按住,看这份心法怎么落进课堂。

好问题三标价:难度、已知界限、卡在什么器械
大中小题同页各有标价——入门题也值得挂
标价=把「未知」拆成「已知边界」+「边界外格子」
接力能跑:一半靠数学,一半靠省下的侦查

第五幕 · 数学拼图心法:教学生的账p.36

他给学生讲得最多的一套心法,用拼图作比。一道大题像一盒几千块的拼图:没有谁一眼能看出全貌;能做的只有三件事——先拼边框(把确定的部分先固定),再按颜色分堆(把相关的小块拢成组),最后填空(一块一块咬上去)。竞赛场上那套「先确定能确定的」,换成研究生的语言,就是这套拼图心法。这套话不是漂亮话——每道题都是这么走过来的,包括那道八十三年的老账。

拼图心法里有一层深意:块与块之间不许糊。几千块的拼图,任何两块要么咬合、要么不咬合,没有「差不多咬上」——研究的账也一样:每一步要么证明了、要么没证明,含糊的步骤留到下一步必然塌方。他对学生最常挑的毛病不是「走不快」,是「咬合不严」:引理没证干净就盖楼,楼迟早拆了重砌。拆小步是快的手艺,咬合严是稳的手艺——缺一样,拼图都拼不完。

这套心法落在带学生的日常里,样子很平常。他的组每周碰一次,规矩三条:上周推进了什么、卡在哪儿、这周拆成哪几小步——不谈全貌,只谈格子。学生说他从不动手替人拼,只在格子咬不上时递一块样例。接力场上他也不拧别人手上的螺丝,只管把旋钮排清楚——格子划明白,咬合守住,剩下的交给一双双手。

给这一页的数学收个尾。拼图心法其实是本册全套数学的课堂版:边框是外衣与传递的合拢线,分堆是旋钮的归口,填空是接力的一人一格——「把难题拆开」从一个动作长成一门教法。先按住,看这份教法往上接哪一笔传统。

拼图三步:拼边框(固定已知)→ 分堆(归口)→ 填空(一人一格)
咬合不许糊:要么证明、要么没证明,含糊必塌
带组三问:推进了什么、卡在哪儿、拆成哪几小步
不动手替拼,只递样例——格子划清,咬合守住

第五幕 · 数学一道题的一生:流转的账p.37

把一道题的一生当成一笔账来算。出生:一九三二年,一个十九岁的学生把它写在刊物上;流转:八十三年里,几十位好手掂量过、试错过、添过中间结果;存块:二〇一〇年,几百人接力五个月,把数据与画像存进公共账本;收官:二〇一五年,一双眼睛认出碎块的形状,两步走完。一道题的一生经过这么多双手——每一双手都在别人的碎块上干活。这一页把这笔账算到底。

先算出题人的那份。埃尔德什一辈子出了几百道悬赏题,大多未能亲见答案;他毫不在意——名言大意:题挂在世上,比锁在抽屉里活得长。差异问题挂了八十三年,比他多活十九年,终于开花——「出题的功劳」今天在每一篇引这道题的论文开头,一列就是几十年。好题是复利:出题人存一笔,后人年年取息。

再算接题人的那份。接力里拧旋钮的几百人,多数在总结论文里只占一行署名;可拧掉的每一格都是实打实的定理——没有那些中间格,二百四十六不会来,梅纳德框架要拧满也没有参照。收官者那份最亮,但账要摊开看:收官用的每件器械都是旧件,旧件是几十年同行攒的;碎块是接力存的,接力是窗口接的,窗口是博客开的——奖金发下来,链条上每一环都递得过。

给这一页的数学收个尾。流转的账算到底,答案只有一句:数学是接力赛——题从一手传到另一手,碎块从一代传到另一代;出题、拆账、收官,是同一件事的三个工位。这也是本册放在第七辑收尾的原因:前面的册子讲各人怎么解题,这一册讲题怎么在众人手里活起来。先按住,看暗线最后一个音符。

一道题的一生:出生 → 流转 → 存块 → 收官
出题是复利:存一笔,后人年年取息(83 年后开花)
接题的账摊开看:中间格全是定理,链条环环递得过
数学是接力赛:出题、拆账、收官,三个工位一件活

第五幕 · 暗线答案自己浮出来p.38

本册暗线的五个音符至此凑齐,先排成一列听一遍。拆小步——竞赛考场上,把大题切成小步;拆成两半——外衣与传递,各归各口;拆给众人看——窗口一开,几百双眼睛同时过目;拆开不会丢——碎块落在公共账本上等重逢;答案浮出来——画像认出波、收网走完账。五个音符串成一句话:把难题拆开——拆成小块,众人轮流看,答案自己浮出来。拆到极处,难题不是被攻克,是被消化。

第七辑走到第十册,十条暗线在此合龙。高木的耐心——数论的理想先于工具几十年;康威的把玩——游戏里长出正经定理;汤普森的笨功夫——分类是一格一格啃出来的;米尔诺的直觉——怪球的边界靠手摸出来;曼德尔布罗特的粗糙——被嫌弃的形状里藏着次序;乌伦贝克的气泡——分析替几何兜住了裂缝;米尔扎哈尼的涂画——曲面在纸上被一笔一笔想明白;张益唐的寂寞——十年冷板凳种出一颗种子;塞尔的语言——语法造好,风景显形;陶哲轩的拆解——难题拆给众人,答案自己浮上来。十册十种手艺,一条暗线贯穿:数学的难,各有各的破法。

十条手艺里,拆解的位置值得单独说。它不是第十种手艺,是十种手艺的通行货币:耐心是把自己的一生拆成几十年;把玩是把一道题拆成几十个变体;笨功夫是把庞大的分类拆成一格一格;语言是把混沌拆成一条条语法——连寂寞也是一种拆法:把漫长的等待拆成一天一天。这一册把这层意思挑明:第七辑的每位主角,其实都在拆各自那一类难题;本册只是把「拆」本身立成了主角。

记一条与暗线相配的事实。被问及哪一道题是他解得最开心的,他的答话绕开了所有大定理:是给一个学生的一个小问题——那学生卡了两个月,最后自己把题拆开走通了;他说那一刻比菲尔兹奖章实在。拆法的终点不是奖章,是下一个会拆的人。全书收束前,还剩一页要看:拆与造的合流。

第五幕 · 交汇拆与造:一页之隔的两代p.39

上一册的主角与这一册的主角,恰好是两种相反的手艺。那位法国人造语言:先立语法,再等风景显形——一辈子把混沌排成次序;这一位拆难题:先拆小块,再等答案浮出——一辈子把庞然大物拆成碎块。一个把东西越做越大(一套语言管起半个数学),一个把东西越做越小(一道题拆成数百人的接力)。两种手艺隔着九页书,像一座搭起的架与一块拆开的砖。

相反而相成——这两门手艺互为对方的粮食。拆要拆得动,靠的是语言:旋钮标得清,因为框架的语言立得住;碎块认得出,因为波形书的语法先在。造要造得对,靠的是难题:语言好不好使,要用最难啃的题试锋——上一册的猜想一挂三十年,试出的正是那门语言的成色。所以两代人的手艺不是两条路,是一条路的两半:造语言的人给拆题的人递语法,拆题的人给造语言的人回真题。

两代人的年纪账也顺。那位法国人二〇二二年谢世,九十六岁;这一位正当盛年,接力还开在路上。两代人没有师承,却在同一条街上干活:一个把语法砌到二十世纪末,一个把接力开到二十一世纪。数学这门行当的传承,靠的常不是师徒,是工具箱的交接。

第五幕的议程至此只剩收官。下一页把全册收一收:一种拆法、一道悬题、一场接力、一笔老账——以及那句收束整套第七辑的话。

第五幕 · 小结从签名到合龙教会的事p.40

第五幕讲完,把要点收一收。一份清单:开放问题各有标价——难度、界限、卡点注明白,雾里的山变成有海拔的地图。一套心法:数学像拼图——拼边框、分堆、填空,咬合不许糊。一笔流转的账:题从一手传到另一手,出题、拆账、收官三个工位一件活。一次合龙:第七辑十条暗线在拆解这个音上收束。

三件事值得记住。第一,标价是拆法对「未知」下的第一刀:难在哪里、卡在谁手上——写明白,能爬的人多起来。第二,拼图心法是拆法的课堂版:把确定的固定住,把相关的拢起来,把含糊的清出去。第三,接力赛没有孤岛:收官者的器械是旧件攒的,旧件是同行攒的,攒家底的手艺是一代代传的。

还有一个方法论的收获。「答案自己浮出来」不是玄学:碎块足够多、账本足够开、眼睛足够勤——浮出就成了大概率事件。个人能做的是把条件备齐:拆得细一点、存得全一点、窗口开得久一点。这不是修辞——第四幕的八十三年,前八十年都在备条件。

最后记一个人物细节。他的书桌上常年摊着几个题目的草稿轮换着想;有人问他怎么挑题,他的答话后来常被引用:一道题值不值得想,看它拆开以后能不能养活几个人。出题人一辈子给行当存粮,他说自己只是在还账——还他十几岁时从公共账本里取走的那一份。

下一页进入收束:把这一册摊平成三级台阶,再看三种读法。全书七辑至此只欠最后几页。

收束回望:五十一年的三级台阶p.41

把这一册的时间摊平,只见三级台阶。一九七五至九六年,阿德莱德到普林斯顿——拆小步的童年、三块奖牌、一门拆波的手艺,第一级收尾;二〇〇四年至六年,外衣与传递合拢、素数队伍定理落成、奖章到手,第二级收尾;二〇〇七年至今,窗口开张、数百人接力、八十三年老账收官、问题清单常年挂着,第三级还在续。三级台阶,一级比一级开阔,一级比一级人多。

第一级台阶是「把功夫拆实」。走读的课门门做实,竞赛的题步步铺草稿——他不比同代人快,比同代人虚步少。选行当先选手艺:调和分析恰是一门「拆」的学问,个人习惯与学科手艺在一门里会合。第一级教的功课:手感是练出来的,不是省出来的——每一步真正走完,比抢三年进度值钱。

第二级台阶是「把难题拆对」。素数队伍那道题,正面啃了几十年啃不动;拆成外衣与传递两半,硬的归数论、软的归组合,接缝处一次付清复杂度。拆得对不对,看两条:拆完的每一半是不是只剩一种手艺能办;接缝是不是窄到一次能焊。第二级教的功课:拆不是变小,是归口——复杂度搬家,搬到一次付得清的地方。

第三级台阶是「把拆法拆给众人」。窗口、旋钮、接力、清单——他把个人的拆法装修成公共的设施,几百双陌生人的手开始替数学干活。下一页把这一册压成三样东西。

收束三种读法:拆小步、拆成两半、拆给众人p.42

这一册可以只用三个动作记住。拆小步:大题切成能确定的小步——竞赛的草稿、走读的课表、分档的尺子;拆成两半:硬的归一门口、软的归另一门口——外衣与传递各用各的长技;拆给众人:格子划清、旋钮排明、窗口常开——几百双手替一道题干活。三个动作一个比一个开阔,一个比一个不依赖天分。

三个动作互相扣住。不会拆小步,大题根本下不了手——拆成两半是拆小步的放大;拆了不合,两半白拆——接缝与咬合是拆小步的严字诀;拆给众人是前两个动作的公共版:格子划清是拆小步,旋钮排明是拆成两半,窗口是接力场。三层动作是同一门手艺的三级放大镜:从草稿纸放大到一门行当。

这也是数学工作的一般形状。遇到庞然大物,先拆:拆小、拆对、拆开——三步之间没有固定顺序,本册从考场草稿一路拆到行当设施;旁的行当可能反着走。顺序可换,三步缺一不可。至于天分——本册从头到尾想说的恰是:三步里没有一步以天分为前提;有前提的只有耐心。

给读者的建议只有一条。不必记住素数与差异的细节;记住那个动作——遇到大到无从下手的事,先问一句「能拆吗」:能切成小步的切成小步,能归口的归口,能摊开的摊开。生活里庞然大物无处不在;先拆再走的人,从来不会在难题面前空手。

下一页是这一册里唯一不谈成就的一页:三个没做完的问题。它们至今还开着。

收束三个没做完的问题p.43

第一个问题:那根针。针尖集的维数之问悬了一百年——占地可以任意小的点集,维数到底够不够一根针转身;平面情形已近乎关死,三维往上的每一步都还在用最重的器械寸挪。他与同行在九十年代末推进的那一大截,今天仍是这条线上被反复引用的一块踏脚石。针尖不倒,拆波的许多硬账就数不到底:这是第一幕留给后人的开口。

第二个问题:那道缝。素数间隔封顶在二百四十六,孪生素数猜想封到二——中间隔着的根本器械至今没人造出来。接力把能拧的旋钮全拧满了,剩下那枚大旋钮卡在分布均匀性的老墙上:墙后的地基要换,谁的工地上还不开工。前册那颗种子破土的那一年,谁也没想到七个月内能拧到二百四十六;下一件根本器械出现时,速度大概同样没人敢猜。

第三个问题:那笔账的下一步。差异问题收官了,但它只是一族问题里最老的一个:更高阶的取法(隔几步取一段的平均)、别的格子里写别的数——那一族里的多数账还开着。收官用的熵账法刚证明了自己能拆这一类题;这套新器械往左右各推一格,够后人干一代人。碎块还在落账,账本还开着门。

三个问题的共同点:都是「方向已见、定理未到」。第一个差一场寸挪的耐心;第二个差一件根本器械;第三个差几步器械的横向推广。拆法给出方向,证明给出真假——三条门缝里的光,都在等下一双手。

下一页换一种语气:给愿意动手的人准备两件小事。第一件亲手找一找素数里的队伍,第二件亲手做一次差异实验。

动手做亲手找:素数里的队伍p.44

第一件:数素数有多稀。把一百以内的素数全找出来(共二十五个:从 2 到 97),数一数密度——两成半;再把一千以内的数一数(一百六十八个,可查表)——一成七。数越大越稀,公式在前一百七十个格子上就开始显灵。p.15 说的「密度是零」,这里亲手兑现。

第二件:在素数里找队伍。翻一百以内的素数表找等差队伍:长三的有的是——3、5、7(步长 2);13、23、33 不行(33 不是素数),13、23、43 则可以:43 在一百以内、是素数,这支步长 10 的队伍成立。长四的也有:5、11、17、23(步长 6)。长五的在一百以内找不到——本册引的那支要到一百二十七:7、37、67、97、127(步长 30)。亲手找过一遍,才懂「任意长」这三个字的份量。

第三件:做一回守方。拿加减一号写一条十六格的数列,目标:任何等差段(任取步长、任取段长)求和,绝对值不超过二。步长一与步长二先设防,再三、四……十六格是够写的——试到满意为止;再挑战二十格。二〇一〇年那场接力把差异二的写法推到一千一百二十四格——亲手写的这几十格,正是那个大工程的头几步。

把三件并在一起看。数密度是看攻方的地盘(素数太稀),找队伍是看定理的实惠(队伍确实在),写数列是尝守方的难处(守几十格已费思量)。三件都不花器械:一张纸、一支笔。下一页把「守方极限」也亲手掂一遍。

100 以内素数 25 个(密度 0.25);1000 以内 168 个(约 0.17)
队伍:3、5、7(步长 2);5、11、17、23(步长 6);7、37、67、97、127(步长 30)
守方实验:16 格内守差异 2 可行;挑战 20 格
接力纪录:差异 2 最长 1,124 格(搜索);1,161 格起必出 3(已验证)

动手做亲手掂:一次差异实验p.45

用 p.28 的定义做一次真实的攻防。第一局,先当守方:写一条加减一号数列,尽力让所有等差段的和的绝对值都小。写出第一版后逐格自查:步长一查一遍(相邻段的和),步长二查一遍,步长三查一遍……每查出一个超标的段,回去改几个格子,再全查。十六格的版本守到差异二是办得到的——亲自验证一遍 p.44 的说法。

第二局,换攻方。守方最怕哪把尺子,动手试:相间写法(加一减一一路交替)拿步长二一攻就破——每隔二格取号,取到的全是加一;两步长设防的写法拿步长一与二的组合再攻……每一局都记下「哪把尺子先破的防」。试过几局会看到一个规律:防住前几把尺子的写法,格子间的节律越来越不自由——这就是 p.30 说的「守得住的写法必按固定节律翻转」,亲手摸到了画像的一角。

第三笔:把「拼图」也演习一遍。回看 p.36 的三步:拼边框——先把步长一、二这样最要紧的尺子守住(它们决定全局骨架);分堆——把剩下的尺子按步长大小分组,一组一组设防;填空——最后攻剩下的死角。这道十六格的小题用不着三步,但一百格、一千格的版本就非用不可:二〇一〇年的接力正是这么分工的。小题里演习的章法,就是大工程里的章法。

把三局并排。守方实验(尝到难处)、攻方实验(摸到画像)、拼图演习(用上章法)——本册数学层的全部骨架,一张纸一支笔演完。算完这三局,注疏层的出处都在 p.28—p.30、p.44 等着对号。

守方:16 格守差异 2 可行(逐段自查、改格再查)
攻方:相间写法败于步长 2;设防越多,节律越固定
拼图:边框(要紧尺子先守)→ 分堆 → 填空
节律固定 ⇔ p.30 的画像:守得住的写法像固定规矩的波

小典术语十二条p.46

调和分析:把复杂信号拆成简单波之和的学问,「拆」的学科名(p.7)。频谱:信号里各频率各占多高的清单(p.7)。硬点:信号带棱角之处,拼回去出偏差的地方(p.8)。针尖集:含各方向单位线段而占地可任意小的点集,维数之问未决(p.9)。等差数列:间隔一样的队伍,队伍定理的主角(p.14)。密度:集合在前若干个数里占的份量,队伍的通行证(p.14—p.15)。

塞迈雷迪定理:密度非零的集合必有任意长的等差队伍(p.14)。伪随机控制(外衣):素数加权称量下近乎稠密的性质(p.16)。传递原理:队伍机器对好外衣之下的集合照转不误(p.16)。素数间隔:相邻素数之距;有界间隔已证至二百四十六(p.21—p.23)。接力:数百人公开分格协作解题之方式(p.23)。

差异:加减一数列上任取等差段求和之最大绝对值;无穷数列差异无界已证(p.28、p.30)。附一条以事件指路的说法:熵减法——沿数列分块逐段取平均、逼出固定节律的收官账法(p.30)。

小典人物十位p.47

傅里叶(1768—1830):拆波信念的创立人,调和分析的祖师(p.7)。狄利克雷(1805—1859):收敛账的第一批清算人,拆波严格化的开山(p.8)。贝西科维奇(1891—1970):针尖占地可任意小的发现者(p.9)。埃尔德什(1913—1996):差异问题的提出者与悬赏出题传统的化身(p.27、p.37)。

斯坦(1931—2018):调和分析一代宗师、传主的博士导师,实变手艺的整理者(p.6、p.11)。塞迈雷迪(1940— ):队伍定理的证明人,加法组合的奠基者之一(p.14)。高尔斯(1963— ):队伍定理提速人、接力方式的首倡者(p.14、p.20)。

格林(1977— ):外衣半边的执刀人、传主的合作者(p.13、p.16)。张益唐(1955— ):素数间隔破冰人与旋钮框架的搭建者(p.21—p.22)。梅纳德(1977— ):新框架的独立建造人、六百纪录的原主(p.23)。

延伸一份拆开之后的地图p.48

拆法落成之后,道路逐年开阔。第一条岔路是加法组合的成形:外衣与传递成了标准器械,队伍定理的种种加强版逐年落地——素数之外,平方数、幂次数里的队伍一个个被证出;一门原本散装的组合数论,就此立起了通用的语法。第二条岔路是拆波的深水:针尖、限制、收敛诸问题在九十年代后连成一气,新的界一年一推——第一幕那堵墙,如今挂着一张进度表。

第三条岔路通向行当的形态。接力从一场试验长成一种常态:此后十几年里,几十场接力先后开跑,行内行外的人同场拧旋钮;开放问题清单被更多同行效仿,问题标价从个人习惯变成风气。第三幕那扇窗开的时候,没人料到它改的是行当的组织形态——一件数学之外的事,回头加速了数学之内的事。

三条岔路的共同点值得看清。都从「把大的拆成小的」这个动作出发——拆的老语法。竞赛草稿上的小步是它,外衣与传递是它,接力的一人一格还是它——一个动作用了三十年而年年出新,这在当代数学里屈指可数。

给继续走这条路的读者指三个入口。入口一:调和分析——从频谱与收敛读起,一本讲义即可起步,p.7—p.8 是预习;入口二:加法组合——从密度与队伍读到外衣与传递,p.14—p.16 是预习;入口三:数学协作——从接力记录与开放问题清单读到行当的新形态,p.20—p.25 是预习。三个入口的文献在 p.49 对号。

延伸一张可以自己算的小表p.49

本册出现过的公式与数字,归成一张可以自己验算的小表。第一行是「密度」行:一百以内素数二十五、一千以内一百六十八、十万以内九千五百九十二——比例一路下滑,公式说到底趋于零;验算即 p.44 的数表。第二行是「队伍」行:长三 3、5、7;长四 5、11、17、23;长五 7、37、67、97、127——三支队伍的步长与素性都可亲手验。第三行是「差异」行:守方极限一千一百六十格(差异二),一千一百六十一格起必出三;无穷长必无界(已证)。

表上每一格都能自己动手验。密度行:拿素数表数两列,比例自己除;队伍行:每支队伍的公差一减便知、素性一个个验;差异行:p.45 的守方实验从头做一遍,十六格守二是摸得着的起点。三行共用同一个底层思想:散的东西里藏着齐的账——数不动的,拆开了数。

表的功能不止复习。三行表恰好是本册三层语法:对象(密度)、形状(队伍)、极限(差异)——「数素数」这门语言的三个词性。读者若肯把九个格全部亲手算一遍,本册的数学层就真正归了自己;注疏层(各页注文)则负责把每个格送回原始文献。

表会继续生长。密度行往下还有更精细的分布账;队伍行的下一格属于孪生素数——步长二的那支无穷队伍;差异行空着的下一格,属于高阶平均的那族账。一张小表是空地图;空着的地方,属于拿着纸笔的人。

密度行:100→25 个;1000→168 个;100000→9592 个(比例趋于 0)
队伍行:3,5,7(步长 2);5,11,17,23(步长 6);7,37,67,97,127(步长 30)
差异行:差异 2 最长 1,160 格;1,161 起必出 3;无穷长必无界(已证)
底层思想:散里藏齐;数不动的,拆开了数

家长导读怎样陪孩子读这一册p.50

这一册的入口是「动手找」。故事从素数队伍开始——那就先动手:照 p.44 把一百以内的素数圈出来,圈完数一遍;再在圈好的数里找等差队伍,长三的先找,找齐了再攻长四。先玩后读,p.14 的字句会自己立起来。高年级读者可直接进 p.15—p.16 的密度账与外衣传递。

三个亲子问题可以带着读。问题一(对应 p.14):一列队伍间隔都一样——让孩子用台阶或楼梯摆一支「等差队伍」,数一数步长怎么定。问题二(对应 p.28):加一减一交替写一行,拿「每隔两个取一个」攻一遍,看和怎么变大——攻破防的那一刻孩子自己会笑。问题三(对应 p.24):一道难题几百人一起做、每人只做一小格——问他在班里做值日或小组作业时,什么事像这场景。这是整册最深的一问,不必求答案,求共鸣即可。

三层读法照旧分工。故事层(各幕第一页与暗线页)无需预备知识,小学高年级可独立读;数学层(p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37)只用加减乘除与数数列的耐心,每步从头数;注疏层给需要查证的大人——所有文献逐页可对。

两条提醒。其一,本册的主角是「拆法」而非「神童」——给孩子讲时把重点放在「先拆小、再走实」,不要讲成「天才故事」;三块奖牌背后是门门做实的走读课与一年一阶的慢。其二,孩子若问「几百人一起做题,各人功劳怎么算」——这正是 p.25、p.37 要回答的:种子与田地各算各的账,链条上每一环都省不掉;不过更好的回答是先陪他找一遍素数队伍:分工的问题,拆过的人自己会懂。

家长导读五个常见误区p.51

误区一:「神童靠天生,普通孩子学不来」。正解:本册的主角手艺「拆小步」恰是天分之外的手艺——竞赛的草稿、走读的课表、拼图的章法,一步步都能练(p.10、p.36)。天赋决定上限,拆法决定下限;下限人人够得着。

误区二:「竞赛拿奖就是数学好」。正解:竞赛是拆题手艺的热身场(p.4、p.10),不是终点站;他自己后来说竞赛最大的收获是草稿纸上的习惯。把奖牌讲成习惯的证明,而不是目的本身,孩子才不会被名次绑架。

误区三:「真本事都是一个人关起门来的」。正解:接力那一幕是反证——几百人七个月拧了七千万到二百四十六(p.23);但独行那一幕也是证词——种子仍要有人在安静处种(p.25)。教孩子两种都会:会自己拆,也会把格子交出去。

误区四:「拆开做等于把题目变简单了」。正解:拆是把复杂度搬家,接缝处一次付清(p.17)——外衣与传递两半各自干净,合拢照样见真章。让孩子知道「拆了就不会错」是误解:拆完的每一步仍要咬合严(p.36)。

误区五:「这种学问离生活太远」。正解:「拆小步」是日常手艺(做大扫除先分房间、考试先做会做的题),接力是日常经验(小组作业一人一格)。学会「先拆再走」的人,在任何行当都不吃亏——这是本册最想留下的东西。

版权与编目版权页p.52

《数学家的故事》第七辑 · 第 70 册:陶哲轩 · 拆开难题的人。本册明线为陶哲轩的学术传记:从阿德莱德的走读课到普林斯顿的拱廊、从拆波的手艺到素数里的队伍、从数百人的接力到八十三年老账的收官;暗线为「把难题拆开——拆成小块,众人轮流看,答案自己浮出来」。全册五十二页、插图四十幅、五幕加收束。

体例与分工。三层结构:故事层面向所有读者,数学层只用加减乘除与数数列的耐心且每步从头数起,注疏层逐页给出原始文献与研究出处。页码分工:p.2 题解、p.3—p.5 引子、p.6—p.40 五幕正文、p.41—p.43 收束、p.44—p.45 动手做、p.46—p.47 小典、p.48—p.49 延伸、p.50—p.51 家长导读、p.52 版权页。

史料口径。生年、任职、奖项依《麦克图托数学史档案》、加州大学洛杉矶分校教职档案与国际数学奥林匹克、菲尔兹奖官方记录;核心文献的卷期页码逐条对过原刊信息;凡涉及传主自述者均以「大意」标明,不作逐字引语;凡学界尚无定论者(如针尖维数与孪生素数之现状),注文标明「概括」或「未完」;传主在世,本册所述荣誉与纪录以编定之年为口径。

第七辑至此收卷。十册十人:从高木贞治到陶哲轩,从数论的理想到素数的接力——七辑七十册的《数学家的故事》至此暂告一段落。故事讲完了,数学还在继续:三条门缝里的光(p.43)都在等下一双手,也等着翻开这套册子的每一位读者。