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

切比雪夫 · 不求恰好

第 45 册 · 数学家的故事 · 第五辑 · 1821—1894 · 俄国莫斯科 · 彼得堡 · 明线:铰链机构 · 最优多项式 · 素数逼近 · 概率不等式 · 暗线:不求恰好,但求够近
明线 · 机构 · 多项式 · 素数 · 概率暗线 · 不求恰好,但求够近1821—1894 · 莫斯科 · 彼得堡全龄通识 · 三层可读
题解这一册怎么读p.2

帕夫努季·利沃维奇·切比雪夫(1821—1894),生在卡卢加省的庄园,长在莫斯科与彼得堡的讲堂。他一条腿不便,走路微跛,却让整门数学迈出了新步子。他的学问从蒸汽机里长出来:为了用铰链描出一条直线,他立起一套压误差的算法;为了数清素数的贫富,他立起一条夹逼的界;为了在不知分布时也敢下断言,他立起一条不等式——每一件,都不求恰好,只求够近。

他一生做了三件事。第一件立逼近:把「描不准的直线」变成「偏差最小的多项式」,切比雪夫多项式从此成为逼近论的姓。第二件立夹逼:证明了 n 与 2n 之间必有素数,又把素数计数函数夹进一条上下界里——素数定理的证明,用的正是他的工具箱。第三件立不等式:方差一有界,什么分布都逃不出它的掌心——大数定律的条件,被他放宽到人人能用。

明线四样:铰链机构(画不直的直线)、最优多项式(压到最小的误差)、素数逼近(夹在带里的计数)、概率不等式(不知分布的断言)。

暗线一句:不求恰好,但求够近。十九世纪以前,数学的最爱是「恰好」——恰好相等、恰好成立、恰好可解。切比雪夫把这门偏好倒过来:先问误差能压到多小,再问代价付得起多大。本册五幕,都在写这一行新规矩——不求恰好,但求够近,而且要把「够近」写成可以竞赛、可以证明的账。

五幕:第一幕讲莫斯科的少年与画不直的线(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

先看出生地。1821 年 5 月,帕夫努季·切比雪夫生在卡卢加省波罗夫斯克县的奥卡托沃村——一座地主庄园,家里九个孩子,他排行第九。庄园远离学堂:他和兄弟姊妹的开蒙都在家里,法文、算术各有家教师——这门法文,几十年后成了他把论文写给全欧读的语言。

再看那条腿。通行传记记着一件小事:他一只脚生来不便,走路微跛。这份不便堵住了一条路——庄园子弟的寻常出路是军职;少年把心思收回来,押给了另一条路:读书。往后一辈子,他走路的步幅不大,做学问的步子却越迈越远。

这份家业的起点没有名师在侧。1832 年前后,全家迁往莫斯科,为孩子们聘师备考;1837 年,十六岁的切比雪夫考进莫斯科大学,入物理数学系。大学里他遇上的时代题目,一半在讲堂,一半在工厂——蒸汽机正轰鸣,几何学家们正为一个工程问题伤脑筋。

本册的题目就从这两半里长出来。讲堂那一半给了他概率与数论;工厂那一半给了他机构与逼近——铰链能不能描出一条直线的老问题,把他变成了「误差」这门学问的立法人。

下一页,先看工厂那一半:一台蒸汽机留下的画线难题。

引子蒸汽机留下的画线难题p.4

工业时代有一个朴素到极点、又难到极点的愿望:让一根杆子笔直地来回走。蒸汽机的活塞要直行,滑阀要直行,切金属的刀也要直行——可旋转的轮子只会转圆圈。把「转」变成「直走」,靠的是一套铰接的杆件:转轮带动曲柄,曲柄牵连杆,连杆拽着推杆走。这套杆件人称连杆机构,俗称铰链。

十八世纪末,瓦特给蒸汽机配出了他的名笔:「平行运动」连杆——让活塞杆的某一点走出一条近似的直线。工程上大获成功,几何上却留了根刺:这条线不是真的直线,只是「直得很像」。恰好直的线,铰链机构画不画得出来?——全欧的几何学家都拿这个问题没辙。数学家能证「圆规加直尺」画不出什么;对「铰链加铰钉」画得出什么,账还是空白。

问题传到莫斯科大学的学生耳朵里,落进了一个合适的人心里。切比雪夫在学生时代就惦记这类题;1840 年代末他到彼得堡执教,把「画线机构」正式立成研究课题——1849—1853 年,他连发数文,把这门题目从工匠的手艺,立成了数学的分科。他立起的纲领只有一句话:恰好画不出,就把偏差压到最小。

这句话分量在哪,要把三样东西摆上桌。它一头连着工程(少一根杆、省一分误差),一头连出一门新数学(最优逼近),最后还悄悄改写了数论与概率——这是本册五幕要走的全程。

下一页,把这门学问的三样东西摆上桌面。

引子三样东西:一根杆、一张表、一条带p.5

这本册子要处理三样东西。三样看起来毫不相干:一副画不直的四杆、一张压误差的表、一条夹住素数的带。

第一样,杆。四根杆铰接成的机构,让某一点走出「很直」的线——偏差只有杆长的百分之几。切比雪夫把「很直」写成一张误差的账:选哪个点、配哪组杆长,最大偏差最小。这门「挑最省」的学问,后来有了自己的名字:最优一致逼近。

第二样,表。把曲线换成多项式,把直线换成低次多项式:在一段区间上,用最简单的式子逼近复杂的式子,把最大的那处误差压到最小。切比雪夫多项式就是这张表的行名——它在滤波器里、在工程计算的节点表里,天天上工。

第三样,带。素数数到多大都数不完,公式找不到,谁也不知道下一个素数在哪。切比雪夫证出两条硬账:n 与 2n 之间必有素数;素数的总数与 x 除以 ln x 的商,被夹在一条窄带里。公式没有,界先立住——「够近」的头一仗,打在数论最硬的地方。

三样东西有一个共同点。它们都不追求恰好:线不求恰好直,式子不求恰好相等,素数不求恰好可数——只把误差或范围压到能证明的最小。本册给这份工作方式的概括,一句话:不求恰好,但求够近。

先看第一幕:那个走路微跛的少年,怎样在讲堂与工厂之间立起这门学问。

第一幕 · 故事彼得堡的年轻讲师与连杆课题p.6

1847 年,二十六岁的切比雪夫北上彼得堡,站上大学讲席。履历不长,分量不轻:莫斯科大学的银质奖章,一篇概率论的硕士论文,一篇用对数积分的博士级论文。彼得堡科学院的院士们看了稿,把他留在了首都。此后几十年,他的讲台在这里,他的实验室也在这里——一间摆着各种连杆模型的「数学工房」。

这个讲师有点特别:他做数学不只用纸笔,还用木杆与铰钉。桌上、柜里、墙上挂着的,是一副一副的连杆机构——曲柄、摇杆、连杆,接成能动的骨架。别的数学家桌上是算稿,他桌上是一台一台能转的小机器。这不是癖好,是方法:机器里的误差摸得着,纸上的误差算得清——两本账要合起来记。

他心里装着的题还是少年那道:铰链能不能描出恰好直的线?1849 到 1853 年,他把这道题一篇一篇写下去:先给「直得很像」定一个能比的尺——最大偏差;再把「哪副机构最像」变成一张可以竞赛的表。工匠们凭手感挑机构,他要用数学替手感立法。

这一幕先立题。下一页从瓦特的名笔讲起:那条「直得很像」的线,误差记在谁的账上。

第一幕 · 数学瓦特的账:近似直线的代价p.7

先把连杆机构的骨架立清楚。最常见的一副叫四杆机构:机架(不动的底座)、曲柄(转圈的短杆)、摇杆(摆动的长杆)、连杆(牵着两头的长杆)——四根杆四个铰点,动起来像一副骨架。连杆上每一点都描出自己的曲线;瓦特的巧思,是挑中连杆上某一处,让那一点描出的曲线有一段「很直」。

「很直」怎么记账?把那一段曲线放大了看:它总在一条理想直线的两边微微起伏。取这段曲线上每一点到理想直线的距离,全取绝对值,挑最大的那个——这个数就是最大偏差。瓦特的机构,最大偏差是杆长的百分之一上下量级:肉眼看着笔直,机器上却处处差着一丝。

工程师能接受,几何学家不能罢休。工程账:偏差百分之一,蒸汽机照样转,够用。几何账:两个问题悬着——其一,「恰好直线」铰链画不画得出来?没人证得出、也没人证不出。其二,「近似」里谁最好?每一家机构都说自己最直,可是没有公共的尺,比无可比。两问合起来,就是「直得很像」这五个字里藏着的全部数学。

切比雪夫的路线是把两问拆开、各答一半:「恰好」那一问,他给出三杆情形的否定结论并立下怀疑(详见第五幕 p.36——后来有人另辟蹊径画出了恰好直线,此是后话);「近似」那一问,他立起公共的尺,让全世界的机构上同一张表赛跑。下一页看这把尺怎么立。

第一幕 · 数学立尺:从杆到多项式p.8

「哪副机构最像直线」要能开赛,先得把题目写成纯数学。切比雪夫的做法:把「连杆上一点的偏差」翻译成「函数的偏差」。杆件的运动学公式把点的位置写成角度的函数;要它像直线,就是问——用一个最简单的式子(一次多项式),去逼近一个由机构定出的复杂式子,误差的「最大值」能压到多小。机构题目,从此变成逼近题目。

这把尺有两条规矩,缺一不可。规矩一:量的是最大偏差——不是平均像不像,是最差的地方差多少;一条线哪怕九十九处笔直,最差一处歪了,账上就记歪的那处。规矩二:比的是同一张赛场——把曲线归一化到同一段区间(本册取正负一之间),谁的机构都在这张赛场里量,胜负才有公论。「最差处最小」,人称 minimax——最小化最大值。

用最小的例子把尺试一遍。在正负一之间,用常数 c 去逼近函数 x 的平方:x2 与 c 的偏差处处是 |x2 − c|,挑最大处。c 取零,最大偏差 1(在两端);c 取一,最大偏差 1(在中间);c 取二分之一,x2 与二分之一的偏差在两端与中间都是二分之一——最大偏差 0.5,谁也比不过它。常数中最好的一个,就站在 0.5 上:这张赛场的冠军没有争议,因为尺是公共的。

尺立好了,真正的赛事在后头。低次逼近高次:用一次式子逼近 x3、用低次逼近 xn,最大偏差最小能到几?这道题的答案,就是本册第二幕的主角——一张以切比雪夫命名的表。下一页,先把这段履历的账记完。

第一幕 · 数学履历:从莫斯科到彼得堡p.9

把切比雪夫前半生的台阶排成账。家教师开蒙,莫斯科大学收口,彼得堡讲席落脚——每一步都踩得实:

1837 入莫斯科大学物理数学系(年十六)
1841 毕业;银质奖章(方程求根文);同年家产因歉岁受损
1846 硕士(概率论方向论文)
1847 北上彼得堡,以对数积分论文任职任教
1849 博士(《同余论》);获杰米多夫奖
1850s 副教授、教授;院士系列台阶逐年上抬

这份履历有两处要读出门道。其一,1841 年毕业那年正逢歉岁,家里接济不上——他靠家教的收入撑过毕业前后:贵族子弟做家教不常见,这份窘迫磨出的节省脾性,几十年后看得分明:他的数学处处「省杆、省误差、省假设」,与那份家境未必无关(此为本册的读法,特此注明是读法)。其二,硕士做概率、博士做数论、成名做机构——三张面孔在同一个人身上,从第一幕起就要并行记账。

机构账之外,另两本也要开页。数论那本,他二十几岁就在读素数表——素数的分布没有公式,前人只留下一堆猜测;概率那本,他的硕士论文就是概率论,往后还要回来写一条名震后世的不等式。三本账将在第二、三、四幕各自开张。

下一页,立起全册暗线:这位最会「省」的数学家,怎样把「恰好」请下神坛。

第一幕 · 暗线第一笔:把「恰好」请下神坛p.10

在切比雪夫之前,数学对「近似」的态度是屈就:恰好解不出来,退而求其次,近似是无奈的下策——用近似,心里总记着亏欠。他把这个态度整个翻了过来:近似不是下策,是一门有公尺、有冠军、有纪律的正业。差别在哪?在「最优」两个字——近似可以,但必须是最优的近似;退而求其次,也要退到退无可退的那一步。

这就是本册暗线的第一笔:不求恰好,但求够近——把「恰好」从必需品降级为奢侈品。恰好直线有没有?可能有(后来还真有);但若付七根杆的代价只买一段恰好,而四根杆的够近已经处处在用,「恰好」就不是理性的选择。数学第一次为「次优」正名:不是差一步的遗憾,是算清账后的最优解。

这笔暗线往后几幕的落点,先挂号在此:第二幕把「够近」写成多项式的冠军表(p.13—p.19);第三幕把素数的「够近」写成上下界(p.20—p.26);第四幕把「不知分布」下的「够近」写成不等式(p.27—p.33);第五幕机构的工房与身后的学科,把这笔账对到今天(p.34—p.40)。每一步都是同一个动作:恰好付不起,就证明现在的这个够近,而且证明没有更好的。

第一幕 · 交汇巴黎的同行与两国的账p.11

切比雪夫的数学,一半写给自己人,一半写给巴黎。十九世纪的俄国数学正在立门户:彼得堡的讲席是新起的,学统要靠人扛。切比雪夫 1852 年起多次西行——巴黎、柏林、伦敦,听讲座、访同行、看工厂。他与法国数学家比安内梅结下一生的交情:两人的通信与合作为后来的概率不等式铺了路(第四幕有正戏);他发表论文明明是俄国人,却偏爱法文——不为时髦,为让全欧读得懂。

工厂那一头也没落下。西行的路上他专看机器:蒸汽机的连杆、纺织机的凸轮、兵工厂的刀具。同行访学看的是论文预印本,他看的是车间——后来他的一句口头禅式的立场可以概括这份偏爱:数学要与应用握手。这句话在他的账上是实打实的:机构论文直接回应工程,逼近论文直接来自机构,连概率论文的结语都写着「于误差理论有用」。

两条线头合出一个格局:俄国的讲台立门户,巴黎的刊物通声气,车间的机器出题目——三处供一台水磨,磨出来的就是第二幕那张冠军表。下一幕,看误差怎样被压到数学允许的最小。

第一幕 · 小结尺已立,赛场已开p.12

一、机构看清了。四杆机构让连杆上一点描出「很直」的线;误差记作最大偏差——「直得很像」从此有尺可比(p.7)。瓦特的账,从手感变成了数字。

二、题目翻译成了数学。机构偏差变函数偏差,赛场归一到同一段区间,规则定成「最大偏差最小」——常数逼 x2 的最小例已赛出 0.5(p.8)。逼近,从手艺变成学问。

三、履历立住了。莫斯科开蒙、彼得堡落脚,硕士概率、博士数论、成名机构——三本账并行(p.9)。第二、三、四幕各开一本。

四、暗线立了纲。近似从下策升为正业,恰好从必需品降为奢侈品——暗线「不求恰好,但求够近」的第一笔:为次优正名(p.10)。

下一幕,第二本账开张。把逼近的赛场从常数推到多项式:一张以他的名字命名的表,把最大偏差压到理论的最小——冠军的姓,从此写在表头。

第二幕 · 故事1854 年:从工房到论文p.13

1854 年,切比雪夫把工房里的账搬上了论文:〈论已知机构(所谓平行四边形机构)的理论〉。文章从瓦特式机构讲起,讲了几个长度的配方,讲到一半,忽然跳出一样东西:一组多项式——连杆的偏差账,被它一页翻成了纯数学。机构是引子,多项式是正文;工程里的「直得很像」,在纸面上长成了「偏差最小的多项式」。

这篇论文的写法,今天读仍觉新鲜。它不以定义开头,以机器开头:先摆机构,再算偏差,最后才把多项式请出来收账——数学与应用握手,是它通篇的姿态。往后几年他把这套工具一路补全:1857、1859 两篇续作,把「哪一组多项式偏差最小」做成了完整理论。这些多项式后来以他的名字命名:切比雪夫多项式——一张表的表头,从此姓了切。

本幕按纸面的顺序走:先立题(p.14),再请出多项式家族(p.15),最后把表的用场摆开(p.16)。第二幕干的是全册最干净的一件事:把「够近」三个字,做成一张有冠军、有纪录、可以代代刷新的表。

第二幕 · 数学试赛:一次式逼 x3p.14

把第一幕的尺开赛。题目:在正负一之间,用最简单的一次式 y = a·x 去逼近 y = x3,配多大的 a,最大偏差最小?x3 与 a·x 的差在中间弯、在两头翘——先用笨办法:一组一组试 a,每组把最大偏差算出来(x3 − a·x 在两端的值是 1 − a,在中腰拐点的值可以配方求出,下表全为实算):

a = 0.5:最大偏差 0.50
a = 0.6:最大偏差 0.40
a = 0.7:最大偏差 0.30
a = 0.75:最大偏差 0.25
a = 0.8:最大偏差 0.28
a = 0.9:最大偏差 0.33

读表:a 从小往大推,偏差先降后升,谷底落在 a = 0.75——最大偏差 0.25,两头与拐点同时达到,谁也不多占。妙处就在「同时」:换任何一个 a,一处降下去,另一处必抬起来;恰好平衡的那一点,就是冠军所在。这张表是笨功试出来的,下一页给出冠军的户口:它不是碰巧,是一个多项式家族的必然。

先把冠军的名字报出来。那次式就是 0.75·x,即四分之三 x;它逼近 x3 的最大偏差四分之一——这个数,本页的表已亲手量出;p.16 的表会证明它是全场最小、永远无人打破。

第二幕 · 数学冠军表:切比雪夫多项式p.15

冠军家族的户口,要用一把圆规登记。在单位圆上取角,x 记作角的余弦;把角翻 n 倍再取余弦,得到一族式子:Tn(x) = cos(n·arccos x)。头几行是:T1 = x;T2 = 2x2 − 1;T3 = 4x3 − 3x;T4 = 8x4 − 8x2 + 1。别看登记简单,脾气极硬:这族曲线在正负一之间来回摆动,峰与谷一个不多一个不少,而且摆幅一律——端点、峰、谷,把区间分得像琴品的格子。

冠军定理一句说尽:把 Tn 除以最高次项的系数,得到最高次项系数为一的 n 次多项式;在所有这类多项式里,它的最大偏差最小,恰为二的负幂:n 次逼近的极限误差是 21−n。上一页试赛出的 0.25,正是 n = 3 的 2−2——试赛表与冠军表分毫不差(x3 − 0.75x = T3/4,偏差 |T3|/4 上限恰为 1/4)。把极限误差排成表:

次数 1:极限偏差 1/2
次数 2:极限偏差 1/4
次数 3:极限偏差 1/8
次数 4:极限偏差 1/16

读表看两处。其一,每升一次,误差折半——「够近」是一格一格买得起的,明码标价。其二,为何是这族式子夺冠?凭那身均匀的摆动:误差若想在某处更小,别处必然鼓包,总账反升;摆得最匀的那一个,最大值最低——「最省」的数学定义,就是「匀」。

表已立。下一页看它上工:摆节点、降次数——今天工程计算里的老岗哨。

第二幕 · 数学表上工:节点与降次p.16

冠军表的第一份工:摆节点。给曲线打点取样,点摆在哪儿,样就准在哪儿。老办法是均匀摆——切比雪夫说:摆在 Tn 的根上。这些根不是匀的:往两端挤。四次的根排在:

−0.9239 −0.3827 0.3827 0.9239

看这四个数:中间两点距 0.77,边点离端点只有 0.08——两端密、中间疏。道理藏在冠军表里:曲线在两端最不老实(多项式跑得最凶),节点就往两端多派岗;中间平缓处少摆点。同样四个点,按切比雪夫的摆法,最坏处的误差小得多——这套「余弦节点」今天仍是插值计算的标配摆法。

第二份工:降次数。复杂的式子算得慢,能不能换成低次的近似式?把式子按 Tn 展开,砍掉最高那一项,换成的正是「极限误差 21−n」的最优近似——p.14 的 a = 0.75 就是这套流程的最小例:x3 砍成 0.75x,最大误差四分之一。次数一降,计算变快,误差的上限写在账上——「够近」从定性词变成了标价签。

两份工合出一句话:这张表是给误差定价的价目册。第二幕至此把「够近」的数学立住了;下一页把这笔立账记进暗线。

第二幕 · 暗线第二笔:把「够近」写成冠军表p.17

第一笔把「恰好」请下神坛(p.10),第二笔做的是接班工程:神坛空出来,位置不能也空着——得立新账。切比雪夫立的是一张冠军表:谁偏差最小,谁上榜;上榜要有户口(Tn 的定义),纪录要有数字(21−n),破纪录要有规则(同次首一,区间同一)。「够近」两个字,从口头语变成了制度。

这项制度替数学改了脾气。从前问「解出来没有」,现在加一问「解不出来时,最优的近似是谁、误差几许」——两问并立,账册厚了一倍,天没塌。第二幕的三页里,试赛表(p.14)、冠军表(p.15)、价目表(p.16)各司一职:试赛证明冠军存在,冠军证明试赛没白做,价目让每个用户按需取货。近似至此有了完整的产业链。

这笔暗线往后的落点先挂号:第三幕把它搬进数论——素数的公式没有,先上「够近」的界(p.20—p.26);第四幕把它搬进概率——分布不知,先上「够稳」的不等式(p.27—p.33)。两处都会看到同一招:把「求不出恰好」改写成「证得出够近」。

第二幕 · 交汇表的后世:从工房到芯片p.18

冠军表没停在十九世纪。二十世纪它换了三个岗位上班。第一个岗位在信号:滤波器要「该过的过、该挡的挡」,挡得越平越好——按切比雪夫多项式设计的滤波器,把「最坏处最平」直接写进电路与数字算法,工程手册里至今有一族以他命名的型号。第二个岗位在计算:函数求值要快,p.16 的降次法一脉相承,从手摇计算到现代处理器上的数学函数库,都在用多项式表压次数。第三个岗位在学科:逼近论自成一门数学,冠军表是它的第一章。

三个岗位共享同一个骨架:资源有限、误差要标价、最优要可证。十九世纪的连杆是木头的,二十世纪的滤波器是电的,今天的函数库是硅的——骨架没换过。这套骨架往深里走,还有一整片新天地(p.43 挂号);本页先记一句:表的工资,一百七十年没停过。

下一幕换一本账:素数的贫富——那里没有冠军表,只有一条谁都没想到的窄带。

第二幕 · 小结误差有了价目p.19

一、试赛跑出了冠军。一次式逼 x3,笨表扫出 a = 0.75、偏差 0.25,两头与拐点同时到位(p.14)。谷底不是碰巧,是结构的必然。

二、冠军报了户口。Tn = cos(n·arccos x) 摆幅最匀,同次首一之中最大偏差最小,极限误差 21−n——每升一次折半(p.15)。「够近」明码标价。

三、表上了工。余弦节点两端密、中间疏;降次法砍次数不破上限——插值与函数库到今天还在领这份工钱(p.16、p.18)。表的工资一百七十年没停。

四、暗线添了第二笔。神坛空出、新账立起——暗线「不求恰好,但求够近」的第二笔:把够近写成可竞赛的冠军表(p.17)。

下一幕,第三本账开张。素数——数论里最倔的一族:没有公式,没有节奏,切比雪夫偏要在它们身上立一条带。

第三幕 · 故事素数表前的第四本账p.20

机构论文间隙,切比雪夫在读另一本册子:素数表。素数——只能被一和自身整除的数:二、三、五、七、十一……它们是整数的地基砖,可砖的摆法毫无节奏:有时两个挨着(十一与十三),有时隔得老远。十八世纪末,少年高斯与勒让德各自数过素数表,留下一句著名的猜测:不大多于一百万时,素数大约有 x 除以 ln x 那么多个——猜测是猜测,谁也证不出。

猜了半个世纪,全欧数学家的状态是:信这句猜测的人越来越多(素数表越编越大,都对得上),能动手证明的人一个没有。原因看得见:素数的定义太简单(整除而已),分布却没有公式——连「下一个素数在哪」都答不出,遑论「总数恰是多少」。这道题像极了铰链直线:恰好(公式)付不起,那「够近」(界)付得起吗?

1840 年代末,年轻的切比雪夫把第四本账翻开了。他的运气在于三本账互相通款:机构的账教过他「求不出恰好就立界」,概率的账教过他「估计要有上下限」——两门手艺全数搬进数论。1849—1850 年,他把素数分布立成两条硬账:一条关于「带里必有余粮」(下一页),一条关于「总数夹在窄带里」(再下一页)。素数定理的七十年长跑,从这两条账起跑。

下一页,先跑第一棒:n 与 2n 之间必有素数。

第三幕 · 数学带里必有余粮:伯特朗公设p.21

1845 年,法国数学家伯特朗核对素数表,立了一条惊人的猜测:任何一个大于一的数 n,与它的两倍之间,必有素数。素数不是均匀撒的,却保证任何一段「翻倍区间」里至少埋着一颗——这等于说:素数再稀,也稀不出断层。伯特朗自己核到六百万都对,证明拿不出来。

1852 年,切比雪夫把证明交了出来——而且用的全是初等工具。这条结论今天在教科书里叫「伯特朗公设」,史笔的账面则常常写作「伯特朗—切比雪夫定理」:提出归伯特朗,证明归切比雪夫。把这条带亲自验一段(区间内素数个数,实算):

n = 10,区间 (10, 20):素数 4 颗(11、13、17、19)
n = 100,区间 (100, 200):素数 21 颗
n = 1000,区间 (1000, 2000):素数 135 颗
n = 10000,区间 (10000, 20000):素数 1033 颗

读表:带里的余粮越翻越多,而且从不落空——「必有」经得起任何一段的抽查。这条定理的用处也实在:它保证「想要多大就有多大」的素数永远有货——今天造密码钥匙要现找大素数,用的正是「翻倍区间不断粮」这一口保底(p.43 再挂一笔)。

带里必有余粮证完了。下一页证第二桩:总数夹在窄带里。

第三幕 · 数学窄带:0.92 与 1.11 之间p.22

总数那一账,切比雪夫的写法是夹逼。记 π(x) 为不超过 x 的素数个数——它无公式,但可数。高斯与勒让德猜它约等于 x 除以 ln x;切比雪夫证的是:对足够大的 x,商 π(x)·ln x ÷ x 被夹在两条界之间——下界 0.92129,上界 1.10555,带宽不足两成。素数的总数从此有了带:不多于带顶,不少于带底。

把商的实际读数排开(素数个数按通行素数表,比值为实算):

x = 1 000:π(x) = 168,商 1.161
x = 1 000 000:π(x) = 78 498,商 1.084
x = 1 000 000 000:π(x) = 50 847 534,商 1.054

读表看两处。其一,读数全落在带内,且一路向一走:x 每加三个零,商就近一分——「x/ln x 是对的方向」由猜测升格为有证明的接近。其二,要紧的是带本身:有了带,「素数大约有多少」从一个无凭的猜测,变成一条两头钉死的定理——误差上限白纸黑字,宁滥勿缺的估算从此有法可依。

这条带还留着一扇没关的门:带宽是常数两成,不是零——「最终贴合」还差最后一步。这一步要等他的工具再滚四十六年(p.25)。下一页先拆开他的工具箱。

第三幕 · 数学工具箱:一枚二项式当筛子p.23

夹逼的带不是变出来的,是筛出来的。切比雪夫的筛子,是一枚初中就认识的数:组合数——从 2n 个物件里取 n 个的取法数。这枚数有个隐藏的用途:它把区间 (n, 2n) 里的每颗素数都记了账。组合数能被区间里的素数整除(数论里可以证);把组合数按素数分解,每颗素数的「势力」全数摊在账面上——区间里的素数是多是少,直接决定这枚数的大小。

于是两头夹逼:组合数自己有一个干净的上下界(它小于四的 n 次方,又大于二的 n 次方一档的数);而它按素数分解后的账面,又不得不用区间素数的「势力」凑出来。素数太少,账面凑不够;素数太多,账面要爆——两头一夹,素数的势力被钉死在带里。整个证明没有一行超出初等数论,工具的巧全在「借数记账」。

他还把这套账铸成了两件标准工具:以他姓氏命名的两个函数,把「素数的势力」按对数口径加总——一件记素数本身,一件记素数的各次幂。此后数论里凡算素数分布,先摸这两件工具,成了行规(p.25 的兑现用的正是它们)。

筛有了,带有了,工具有了。下一页把第三笔暗线记上账。

第三幕 · 暗线第三笔:从求公式到证夹逼p.24

第三幕的方法账,摊开只有一行:素数的恰好公式,两百年无人求出——切比雪夫不接着求,改问「够近」:总数至少不少于带底、至多不过带顶;翻倍区间至少埋一颗。两个「至少」听起来寒酸,效果却是翻天:素数分布从「谁也说不清」变成「两头有钉子」——钉子一立,后来的每一步改进都有处落脚。

这就是暗线的第三笔:不求恰好,但求够近——第三笔的不同处,在它敢于对「最硬」的对象下手。多项式是人造的,条件松紧随人;素数是天然的,一个也添不去、减不掉。在天然对象上立界,才见这门方法的真章:不是回避困难,是把困难拆成「能证的一半」与「留给后人的另一半」。切比雪夫把能证的一半证完,把另一半留给四十六年后(p.25)。

这半步之差的账面也要记清。夹逼带不是素数定理:带宽两成,贴合还差一步。学术界有人因此低估他——「差一口气」;也有人后来才看明白:没有这口气,谁也不知道往哪里吸。下一页,看那一步怎样跨出。

第三幕 · 交汇四十六年后的兑现:贴合p.25

1896 年,巴黎与布鲁塞尔的两支笔,几乎同时落款:阿达马与德拉瓦莱—普桑各自证明了素数定理——当 x 走向无穷,素数的总数与 x 除以 ln x 之比贴向一。p.22 的窄带由此收到极限:带宽从两成一路收到零,「大约有这么多」变成「最终恰是这么多」。七十年悬案,结案。

结案文书上要记清案由的来历。两支笔用的核心工具,正是切比雪夫的函数 θ 与 ψ(p.23 铸的那两件)——把素数的势力按对数加总的账本,四十六年后原样上桌,只差添一味新刀(复分析的一件工具)磨开最后一层。史笔因此分账:素数定理的证明归 1896 年两支笔;通向证明的主路,1840—1850 年代已由切比雪夫修通大半。数论史的通行写法:他是素数定理的奠基人之一——「之一」二字,账上不亏。

这一页也是明线的合龙处。「素数逼近」四个字至此读全:伯特朗公设保供货(p.21),窄带定方向(p.22),工具交后人(p.23),贴合收极限(本页)——不求恰好,但求够近;而够近最终量出了恰好。下一页收账。

第三幕 · 小结钉子立住了p.26

一、翻倍带里必有余粮。(10, 20) 四颗、(100, 200) 二十一颗——伯特朗公设 1852 年得证,素数从此保底供货(p.21)。「必有」经得起任何抽查。

二、总数被夹进窄带。商值上下界 0.92129 与 1.10555;实际读数 1.161 → 1.084 → 1.054 一路向一(p.22)。猜测升格为两头钉死的定理。

三、筛子与工具铸成了。组合数当筛、θ 与 ψ 两件函数入行规(p.23)。初等工具拆动最硬的对象。

四、暗线添了第三笔。不求恰好公式,先证够近的界——暗线「不求恰好,但求够近」的第三笔:在天然对象上立界(p.24);四十六年后贴合收账(p.25)。

下一幕,第四本账开张。骰子与测量——分布不知道,断言照样下:一条不等式的天下。

第四幕 · 故事起家的题,翻身的账p.27

机构与素数之外,切比雪夫还有一本起家的账:概率。他的硕士论文写的就是概率论(1846);1866—1867 年,他重回这本账,交出一篇短短的文章——文中只立了一条不等式,却把概率论往后的地基换了砖。这篇文章法文刊于巴黎,与老友比安内梅早年的工作遥相握手——那条不等式今天两个名字并列:比安内梅—切比雪夫不等式,通行叫法以后者居多。

概率论当时有个尴尬:会算的多,敢断言的少。掷硬币、掷骰子的账,前人算得头头是道——前提是把每面的机会写得清清楚楚。可真实世界里,机会的清单常常写不出:一门炮的落点、一条河的水位、一回测量的误差,分布长什么样,没人开得出清单。清单开不出,结论就下不了——概率论被自己的前提锁住了。

那条不等式开的就是这把锁。它的口气是:清单不给我也行,只要一样东西——「散得开不开」的一个数(后人称方差)——在,我就能下断言:无论清单长什么样,落点偏出这个数之外的分量,不超过一个明算的份额。分布不知,断言照下——概率论从「清单数学」迈出一步,走向「条件数学」。

下一页先立不等式:把「不超过」三个字算出实数。

第四幕 · 数学不等式:一掌按住所有分布p.28

不等式的正文一句话:不管什么分布,只要方差有界,落点偏出 k 倍标准差之外的份额,不超过 k 平方分之一。写成比例表,一读就懂(实算):

偏出 2 倍标准差之外:份额不超过 1/4 = 25%
偏出 3 倍标准差之外:份额不超过 1/9 ≈ 11.1%
偏出 4 倍标准差之外:份额不超过 1/16 ≈ 6.3%

这张表的妙处,要在对比里看。换一个具体分布——比如掷两枚骰子的点数——落点偏出三倍标准差的份额,可以精确算出,比 11.1% 小得多。不等式给的是粗界:它把千万种分布一掌按住,给的全是同一个上限。粗,但万能:正的偏的、单峰的双峰、清单开得出的开不出的,一律适用。粗界是保底,精算靠各家的清单——分工清楚,两不相欠。

证的入手也配得上「初等」二字:把「偏出之外」的每一份,按它偏出倍数的平方记重账(偏得越远,记账越重);这份加权账不可能超过全体的方差——一比,不等式就出来了。没有一行超出初等数学,罩住的范围却无远弗届(p.23 的「借数记账」,在概率里又用了一次)。

下一页,看这条粗界能接多大的梁:大数定律的条件放宽。

第四幕 · 数学条件放宽:大数定律的新地基p.29

这条粗界最重的用场,是把一门老定理的地基放宽。「多测几次取平均,平均会稳住」——这一信念前人早已立过定理:伯努利在十八世纪初证出大数定律,让频率靠住概率;但他的证明要求各次试验同一副面孔:同一种硬币、同一张清单。清单一换,定理沉默。真实世界偏偏尽是「不同面孔」的重复:每次测量的仪器略异、每个个体的脾气略异——老地基罩不住。

切比雪夫用不等式把地基放宽到几乎不挑客:只要各次测量互相独立、各自的方差有界——面孔可以一张一张不同——平均值的方差就按次数摊薄:n 次平均的方差是单次的 n 分之一。摊薄之后不等式一罩,断言立刻出来(单次方差取一,实算):

测 4 次取平均:偏出 0.5 之外的份额不超过 1(尚无约束力)
测 25 次取平均:偏出 0.5 之外不超过 16%
测 100 次取平均:偏出 0.5 之外不超过 4%

读表诚实一点:四次的界是「不超过一」——等于什么也没说;二十五次开始有用,一百次已有相当的约束。粗界要吃的次数多,但它什么都吃:硬币、骰子、测量误差、人群身高——一副药方,百病照治。大数定律从「同一副面孔的特权」变成了「独立加有界的大路货」——概率论的地基,从此铺进了真实世界(本册只立此放宽,点数分配的旧案不再重算——那是另一位主角的账,见 p.2 注的书目线)。

下一页,把这套账搬到误差理论的车间里。

第四幕 · 数学车间账:测量的底气p.30

误差理论是这条放宽地基的第一户人家。测量一件东西,单次总带误差;老规矩是多测几次取平均。为什么平均更可信?p.29 的摊薄账就是原理:单次方差 σ2,n 次平均的方差 σ2/n——平均的「散开程度」按次数的平方根收窄。切比雪夫不等式把这层可信度变成白纸黑字的份额:单次标准差为一、偏出限度取 0.5 时,测一百次取平均,偏出份额不超过百分之四——这份保单,不问误差的分布长什么样,只问「散得开不开」有界。

对一页看精算与保底的分工。若误差分布已知(比如某类仪器误差呈钟形),按分布精算,偏出 0.5 的份额远小于 4%——精算给的更紧。可现场的问题常常是:新仪器、新工况,分布未及标定。此刻切比雪夫的界是唯一拿得出手的保单:先按粗界开工,分布标定后再换精算——工程界的通行做法,数学上就是这两本账并行。

这一页也顺手立了一条使用须知:粗界的效力随「偏出限度与标准差之比」走——限度卡得越死(k 越小),界越松,直到 k = 2 以下几乎没有约束力。用粗界先问一句:k 够不够大?——「工具的边界」也写进工具说明书,这正是切比雪夫式数学的脾气:连自己的粗,都标着价。

第四幕 · 暗线第四笔:不知分布,也敢下断言p.31

第四笔暗线,是四笔里最不像数学的一笔,也最像数学。前三笔的「够近」都有实价:直线差多少、多项式差多少、素数带多宽——对象在场,量得出。第四笔的对象根本不在场:分布是黑的,清单开不出。他给出的答案是一类新东西:黑箱保单——不拆箱,只验一个数(方差有界),保单生效,份额白纸黑字。「不求恰好」到这里走到了尽头处:连「对象长什么样」都可以不求,只要抓住那根撬动全局的杠杆。

这一步改的是「断言」的定义。从前的断言是「清单在此,故如何如何」;他立的新断言是「无论清单如何,必有如何如何」——对一切可能的黑箱同时生效。数学里这类「对一切」的口气古已有之(定理本来就是「对一切」的),但罩住一整个未知的对象族、还带量化份额的,这是头一批。统计学往后的骨架——置信、保险、抽样——吃的都是这一批账户的利息(p.43 挂号)。

这笔暗线在下一幕有收尾:他把黑箱保单连同机构、素数、多项式三本账一起,交给了一整个学派。下一页,看彼得堡的接力。

第四幕 · 交汇彼得堡学派:账交给下一代p.32

切比雪夫在彼得堡大学执教三十五年,教出的学生撑起了半部俄国数学史。最出名的两位:马尔可夫——把老师的概率账接着往前推,后来立起了以自己命名的链条(一步一变的随机过程);李雅普诺夫——把「平均会稳住」的定理推到更精细的口径。老师立粗界、开地基,学生精算、盖楼——彼得堡数学学派的门风,就是在这一递一接里立起来的:题从应用里来,账往严格里做,工具传给下一手。

学派的账房里,三本旧账都在续写。机构的账,学生在做运动学;素数的账,欧陆在接力(p.25);概率的账,马尔可夫与李雅普诺夫各自往深处推——粗界之后有精算,精算之后还有更深的严格化。切比雪夫留下的不是一个结果,是一套「出题—立界—交棒」的循环;这个循环本身,比任何一条定理都长寿。

他的教风也值得一记。通行传记说他讲课不爱照本宣科:讲义常是刚写的,题目常是刚想的,算到卡壳就当堂挂起——学生看见的不是圣旨,是思考的现场。往后的学派能接得住棒,与这份「现场感」不无关系。

下一幕,最后一本账:机器、荣誉与身后的门庭。

第四幕 · 小结黑箱上的保单p.33

一、不等式立住了。偏出 k 倍标准差的份额不超过 k 平方分之一:25%、11.1%、6.3%——任意分布一掌按住(p.28)。粗,但万能。

二、地基放宽了。同一副面孔的特权改为「独立加方差有界」的大路货;均值方差按 n 摊薄,份额表 1 → 16% → 4%(p.29)。概率论铺进真实世界。

三、车间用上了。测量平均的保单不问分布、只验方差;精算与保底两本账并行,连工具的粗都标着价(p.30)。新仪器、新工况,先按粗界开工。

四、暗线添了第四笔。不知分布也敢下断言——暗线「不求恰好,但求够近」的第四笔:黑箱保单,对一切可能同时生效(p.31);账交彼得堡学派接力(p.32)。

下一幕,收官。行走机走上博览会的展台,讲台换成身后的一整片学科。

第五幕 · 故事博览会的展台:会走路的机器p.34

1878 年,巴黎万国博览会。俄国展台上一件展品引来围观:一部铁架机器,四条腿——不是轮子,是腿——一步一步向前挪。设计者是切比雪夫;机器的步子出自他的连杆账:每一只脚的落点、抬起、迈出,全是铰链机构按「近似轨迹」走出来的。人们给它起了个绰号,大意是「一步一步走的机器」——用今天的话说,最早的一台步行机构。若干年后芝加哥的万国博览会上,他的展品又去了美洲:会走路的机器,外加一台他设计的手摇计算机。

这两件展品摆的是同一条宣言。他的数学从车间里来(第一幕),如今回车间里去:连杆账不只在纸上成立,在铁上成立。数学家用论文说话,他用论文加实物说话——展台上那副一步一步走的骨架,是「够近」哲学的实体广告:没有一条腿走的是恰好轨迹,四条腿合起来,走得又稳又远。

收官这一幕的顺序:先看行走机的连杆账(p.35),再访两扇门——恰好与够近的正面相逢(p.36),然后记荣誉与讲台的最后一笔(p.37),把暗线五笔清点(p.38),最后是身后的门庭与名字(p.39)。机器起步,学科收尾。

第五幕 · 数学行走机的连杆账p.35

行走机的心脏,是一副四杆机构。他的直线机构杆长有一副著名的配方:两根曲柄各取一,机架跨距取二,连杆取二点五——连杆中点描出的那一段,近似直线(p.7 的最大偏差账,在这一副上量出来极小)。行走机把这条近似直线当「脚的轨道」用:脚沿直线段落步、抬起,几副机构错开相位装在铁架上——一副走一步,四副轮流着走,机器就挪了起来。

账面上要看清一处:脚的轨迹不是恰好直线——起抬与落步的两端各有小小的弯头。弯头碍事吗?恰恰相反:直线段管「承重行走」,弯头管「抬脚过障」——近似直线的「不直之处」,被设计者拿去当了功能。这是「够近」哲学最漂亮的一次现场演出:误差不再是缺点,是配好的岗位(p.17 的价目思想,在铁架上兑现)。

机构的家族还要再提两位。他配过的杆长方案不止一副:有的走直线,有的走出鼓形与叶形的闭合轨迹——后来的人拿这套「轨迹图集」当词典用。二十世纪的机构学教材里,以他命名的机构占了专节;今天的机械臂、步态机器人的骨架,仍是同一副四杆的老词根(p.43 挂号)。

下一页,正面相逢:恰好直线到底画不画得出来?

第五幕 · 数学两扇门:恰好与够近相逢p.36

「铰链画不出恰好直线」——切比雪夫 suspicion 了半辈子。1864 年,答案从一扇没人料到的门里进来:法国海军军官皮奥西利耶造出一副七杆机构,名叫反演器:七根杆、一个铰接的菱形,加一条固定臂。它的妙处是把「圆的反演」变成实物的运动——反演是一种把圆变换成直线的几何手术;皮奥西利耶用杆件把这场手术搭了出来。结果是:连杆上一点,走出数学意义上的恰好直线。切比雪夫的怀疑错了;恰好直线,七根杆付得起。

这笔账怎么记?两面都记。记他错的一页:三杆与四杆画不出恰好直线,他没有证到「任何杆数都画不出」,怀疑越了界——学界后来把这一页如实记下。记他对的一页:皮奥西利耶的七杆,杆数多、间隙多、行程短,工程上反不如四杆的够近好使——恰恰证明了「不求恰好」的另一半:恰好存在,不等于恰好划算。两扇门都开着,选择走哪扇,凭的是账。

把两扇门并排挂上价签:左门「恰好」:七杆、行程有限、间隙敏感——数学上的完美,工程上的奢侈品。右门「够近」:四杆、偏差按表标价(p.35)、批量好造——近似直线的性价比冠军。切比雪夫的机构统治了实践,皮奥西利耶的机构统治了几何教材——两扇门各自收租,谁也没挤走谁。这一页是全册暗线最好的注脚:不求恰好,不是否认恰好,是把恰好也放上秤。

第五幕 · 数学荣誉与讲台的最后一笔p.37

把荣誉的台阶补全。科学院的账:1853 年副院士,1856 年特任院士,1859 年正院士——四十岁不到登顶。欧陆的账:英国皇家学会 1877 年选他外籍会员;巴黎、柏林、布鲁塞尔、罗马诸家学院的名额陆续到手。全欧的几何学家都读他的法文论文——那门开蒙时学的语言,最后成了他站在欧洲讲台上的嗓门。

讲台的账同时结清。1847 年入职,1882 年退休——三十五年讲席,教出的学生撑起新学派(p.32)。退休后他没有歇笔:七十多岁还在改机构图纸、算素数表。1894 年冬,切比雪夫在彼得堡去世,年七十三。通行传记记下他最后的日子仍在谈数——那本从庄园开蒙时翻开的账,结在了纸笔旁边。

身后名要按学科分账,下一页点。本页先落一句总评:他一生没写过大部头——论著散在杂志里,一本专著也没有;可逼近论、概率论、数论三门的门梁上,都嵌着他的构件。散是散的,梁是真的。下一页把五笔暗线清点。

第五幕 · 暗线暗线结账:够近的五笔p.38

把五笔暗线一次清点。第一笔(p.10):为次优正名——把「恰好」从必需品降级为奢侈品。第二笔(p.17):立冠军表——「够近」有户口、有纪录、有赛规。第三笔(p.24):在天然对象上立界——素数的公式求不出,钉子钉得进。第四笔(p.31):黑箱保单——分布不知,断言照下。第五笔:两扇门各收各租(p.36)、学科各开各枝(p.39)——够近的哲学,连「恰好存在」四个字也消化了。五笔连起来,是一句话的五种写法:把「付不起的恰好」换成「证得出的够近」。

五笔之外,还有一笔可以记在他自己身上。他把「够近」做成了可传承的手艺:出题从应用里来,账往严格里做,工具传给下一手——学生接棒(p.32),学科接棒(p.39)。暗线的利息不止在定理里,更在「怎么立账」这门手艺里:此后凡是「恰好付不起」的地方,数学家都会先问一句——界在哪里、价是多少。这句话,就是切比雪夫式的第一反应。

暗线至此收束。下一页,把名与实的账清完。

第五幕 · 交汇身后的门庭:一个名字,几门学科p.39

他身后接下的门庭,按学科点一遍。逼近论:他立的冠军表成为学科第一章,学生与后继把「最优逼近」推成一门完整的数学。概率论:不等式与放宽后的地基(p.28—p.29),经学生两代接棒(p.32),长成二十世纪概率的骨架之一。数论:素数定理的证明(p.25)写着他的工具箱;以他命名的两个函数至今是解析数论的常备家什。机构学:直线机构与步行机进了教材与专利的族谱。

名字的账也清一清。多项式、不等式、节点、函数、机构、滤波器——以「切比雪夫」冠名的名目排成长单,拼法在不同语言里有好几种写法(俄文姓氏的法文转写各有流派),教科书里常见的拉丁拼法不止一种,指的都同一个人。天上还有一枚:月球背面一座环形山以他命名。一个走路微跛的人,名字走得最远。

最后一句留给他的方法。今天打开任何一门工程手册,凡有「误差界」三字的地方,都有他立的规矩在值岗;凡写「对一切分布成立」的地方,都吃着他那份黑箱保单的利息。不求恰好,但求够近——这句话他没写在任何一页纸上;它写在所有这些纸页的背面。

第五幕 · 小结机器走了,学科站住了p.40

一、机器上了展台。四杆的近似直线当轨道,四副错相位轮流走——步行机构与手摇计算机两赴万国博览会(p.34—p.35)。误差当了岗位,不直之处派上了用场。

二、两扇门各收各租。皮奥西利耶的七杆画出恰好直线,切比雪夫的四杆统治了工程——恰好存在,不等于恰好划算(p.36)。把恰好也放上秤,是「够近」哲学的最后一块拼图。

三、讲台与荣誉两讫。四十岁登顶科学院,欧陆诸家名额与皇家学会会籍到手,三十五年讲席带出一个学派(p.37)。散是散的,梁是真的。

四、暗线五笔结清。为次优正名、立冠军表、天然对象立界、黑箱保单、两扇门并立——暗线「不求恰好,但求够近」收束:把付不起的恰好,换成证得出的够近(p.38);名字的门庭清点完毕(p.39)。

全册收束在后面三页:先把一生的节点排成年表,再按三层读法各取所需——最后,留三个没有答案的问题给合上册子的时刻。

收束回望:七十三年p.41

把一生的节点排成一行。

1821 5 月生于卡卢加省奥卡托沃庄园(家中九个孩子,排行第九)
1832 全家迁居莫斯科,聘师备考
1837 入莫斯科大学物理数学系(年十六)
1841 毕业;方程求根文获银质奖章
1846 硕士(概率论方向)
1847 北上彼得堡任职任教(对数积分论文)
1849 博士《同余论》;获杰米多夫奖

七行之外,补著作与身后:

1850s 〈素数论〉——素数上下界与函数 θ、ψ;1852 年证伯特朗公设
1853 / 1856 / 1859 科学院副院士 / 特任院士 / 正院士
1854 〈平行四边形机构的理论〉——切比雪夫多项式出生
1867 〈一个一般命题的初等证明〉——切比雪夫不等式
1877 英国皇家学会外籍会员
1878 巴黎万国博览会:步行机构与手摇计算机
1882 退休(执掌彼得堡讲席三十五年)
1894 12 月 8 日(公历)卒于彼得堡(年七十三)

再补身后两行:

1896 素数定理两支笔证毕——主路是他修的(p.25)
二十世纪 逼近论、概率论成科;滤波器与机构谱系冠其名;月球环形山命名

寿数七十三岁。生前十四个节点,散在庄园、讲堂与展台三张桌案;身后一百多年,四门学科各自挂出了以他命名的招牌——「够近」的账,复利至今。

收束三种读法:那副杆、那张表、那条带p.42

小读者的读法:一副杆与一条线。记住两件事就够——四根杆能让一个点走出「很直」的线(p.7 讲过);亲手摆一副就知道(p.45 图钉纸条,二十分钟出活)。玩一遍 p.44 的「误差找谷底」,亲眼看见「换一个数,误差先降后升」。

中学生的读法:两张实算表。抓两张表:一次式逼 x3 的试赛表(p.14 的 0.50 → 0.30 → 0.25 → 0.28)与不等式的份额表(p.28 的 25%、11.1%、6.3%)。它们只用加减乘除与开方,各亲手推一遍,胜过读十篇介绍;p.30 的测量保单(一百次取平均、偏出份额 4%)则是「粗界上岗」的第一课。

成年读者的读法:一条哲学与四本账。一个人把「近似」从下策立成正业:机构立尺(p.7—p.8),多项式定价(p.15—p.16),素数钉界(p.21—p.22),概率开保单(p.28—p.29)——总纲一句「不求恰好,但求够近」。p.36 的两扇门(恰好与够近并立)是全册的点睛处,值得单独读一遍。

三层可以叠读。杆是引信,表是弹药,带是射程——任何一层读顺了,另外两层会自己跟上来。

收束三个未完的问题p.43

一、素数的带还能收多窄?素数定理把带宽收到零(p.25),可「收得多快」另是一道悬案:误差项越小,素数分布的账越细——这道悬案牵着一整片当代数论,与一条以他人命名的著名猜想同气连枝。切比雪夫的两件函数仍是主战场:带是 1850 年代立的,收带的仗打到今天。

二、连杆的门庭能开多远?四杆的老词根如今长在机械臂上、步行机器人上、乃至分子的机器里——「按表标价的近似轨迹」成了设计学的日常(p.35、p.39)。杆数、自由度与偏差的三角账还在翻新:够近的机构,明天要在什么尺度上工作——微米?纳米?账本留了空行。

三、黑箱保单还能开多严?切比雪夫不等式是「对一切分布」的粗界;后世有更紧的界(把粗界收到指数级的口径),也有反过来问「最坏分布是谁」的对手戏(p.28 的「一掌按住」,深挖下去正是一门学科)。保单的边界往哪推——约束最少的断言能强到几分——这道题至今没有终账。

三个问题共享一个出身:都诞生于「不求恰好,但求够近」之后——先有够近的账,后有追上来的答案。切比雪夫留下遗产的方式与他做机构的方式如出一辙:把每一步的偏差都标上价,让接棒的人知道还差几成。

动手做亲手跑一次误差谷底p.44

器材:方格纸、铅笔、计算器。目标:亲手复现 p.14 的试赛表,找到 a 的谷底。

任务一:算一遍冠军的账。对 a = 0.75,在 x = −1、−0.6、0、0.6、1 五处算 |x3 − 0.75x|:两端各 0.25,x = 0.6 处 0.234,x = 0 处 0——最大偏差 0.25,落在两端(拐点 x = ±0.5 处也是 0.25,方格纸上多取两格可验)。冠军表的极限误差 2−2,亲手量出来了。

任务二:扫一遍 a 的账。把 a 依次取 0.5、0.6、0.7、0.75、0.8、0.9,每个 a 只需算两处:|1 − a| 与 (2a/3)·√(a/3),取大者。两列数字交叉而下,谷底在 0.75——与 p.14 的表一格不差。看看 0.8 的一列:一处降了(0.20),另一处抬了(0.28)——「按下葫芦浮起瓢」,minimax 的道理当场眼见。

任务三(挑战):换一个赛场。把逼近对象换成 x 的五次方、逼近式换成 (a·x3 + b·x):老老实实试几组 a、b,看最大偏差能不能压到 16 分之一附近(p.15 的表说:五次对三次的极限是 2−4 = 1/16)。压到了吗?谷底的两三处是否「同时到位」?——交错的老脾气,第三次见面。

做完三题,最优逼近的第一课就体验完了:近似不是随便找一个像的,是找到「再也压不下去」的那一个——而「压不下去」三个字,可以亲手验。

动手做亲手摆一副四杆p.45

器材:四条硬纸带(按比例 1 : 2 : 2.5 : 2 剪——两短一长一中)、四枚图钉、一块软木板或纸箱板、铅笔。目标:亲手摆出切比雪夫的直线机构,描出那条「很直」的线。

任务一:铰出骨架。把机架(长 2)用图钉固定在板上,两端各钉一根短杆(长 1),短杆另一端铰上长连杆(长 2.5)——四杆一环,转一转,确认活动自如。这副骨架的杆长比,就是 p.35 的配方。

任务二:描轨迹。在连杆中点戳出笔尖,缓缓推动骨架走满一圈,看笔尖画出的线:一段近似的直线!两头各带一个小小的弯头——「直线段加弯头」,正是行走机的轨道(p.35:直线段承重,弯头抬脚)。再用铅笔沿最直的一段画一条理想直线,量一量偏差:几毫米量级——「直得很像」四个字,尺子见分晓。

任务三(挑战):挪中点,看轨迹变脸。把笔尖从连杆中点挪到偏侧的位置,再描一圈:轨迹变了脸——直线段短了、弯头大了,甚至整个圈成了一片鼓形。同副骨架,选点就是选岗位:p.16 的节点账、p.35 的轨迹图集,讲的原来是同一件事——在机构上,位置就是功能。

做完三题,机构逼近的第一课就体验完了:「很直」不是玄学,是杆长与选点的算术——十九世纪车间里的问题,一副纸条骨架就能收账。

小典术语十条p.46

连杆机构 杆件铰接成的传动机架;四杆为其基本形(p.7)。

最大偏差 曲线对理想直线(或逼近式对目标式)偏差的峰值;近似的公共尺(p.7—p.8)。

最优一致逼近(minimax) 让最大偏差最小的近似;「最差处最小」的赛规(p.8)。

切比雪夫多项式 Tn(x) = cos(n·arccos x);摆幅最匀的冠军族(p.15)。

切比雪夫节点 Tn 的根;两端密、中间疏的取样点摆法(p.16)。

降次 按 Tn 展开砍次数、误差按 21−n 标价的技法(p.16)。

伯特朗公设 n 与 2n 之间必有素数;1852 年切比雪夫证明(p.21)。

切比雪夫函数(θ、ψ) 素数(幂)势力的对数加总;解析数论的常备工具(p.23)。

切比雪夫不等式 偏出 k 倍标准差的份额不超过 k 平方分之一;对任意分布成立(p.28)。

反演器 皮奥西利耶的七杆机构;把圆的反演变成实物运动,画出恰好直线(p.36)。

小典人物十位p.47

切比雪夫(1821—1894) 本册主角;逼近、素数界与概率不等式的立账人(p.2 起)。

瓦特(1736—1819) 「平行运动」连杆的发明人;近似直线的第一笔工程账(p.4、p.7)。

伯特朗(1822—1900) 翻倍区间猜测的提出者;核到六百万,证明留给切比雪夫(p.21)。

比安内梅(1796—1878) 法国同行;不等式的特例先行者与终生笔友(p.11、p.27)。

皮奥西利耶(1832—1913) 七杆反演器的缔造者;恰好直线的开门人(p.36)。

利普金(1834—1875) 反演器的独立复得者;机构史与之并名(p.36 注)。

马尔可夫(1856—1922) 彼得堡学派的接棒人;随机过程链条以其命名(p.32)。

李雅普诺夫(1857—1918) 接棒人之二;概率极限定理的精化者(p.32)。

阿达马(1865—1963) 素数定理 1896 年的两支笔之一(p.25)。

德拉瓦莱—普桑(1866—1962) 两支笔之二;贴合同岁到账(p.25)。

延伸名与实:三桩归属的官司p.48

第一桩:「必有素数」的定理该姓谁?通行叫法把两人并列:伯特朗公设、伯特朗—切比雪夫定理——提出归核对素数表的伯特朗(1845),证明归立起初等方法的切比雪夫(1852)。名称各处不一,账目只有一套:猜是猜,证是证,两个名字各领各的工。

第二桩:那条不等式姓什么?比安内梅 1853 年先行给出特例,切比雪夫 1867 年一般化并接通应用——通行文献里「比安内梅—切比雪夫不等式」与单用后者的叫法并存。史笔的处理照旧:名从通行,实从档案——特例的年份与一般化的年份,各记各栏。

第三桩:「平均会稳住」该记谁的名字?雅各布·伯努利立了同一副面孔的版本(十八世纪初);切比雪夫立了放宽版(独立加方差有界);学生的精化还在后面。教科书里「大数定律」一个名目底下,躺着好几代地基——史笔的办法是加定语:伯努利的大数定律、切比雪夫的大数定律,各是各的楼,一层也不冒领。

三桩合出一套规矩:名从通行,实从史笔——特例与一般化、猜测与证明、窄域与放宽,分栏记账。切比雪夫生前最讲究这套:他的论文每逢借用前人,必注明页码与版本;身后旁人为他记账,也按这规矩来——规矩自己会传家。

延伸误差的价目册:五张实算表p.49

全册的账都从「误差定价」出发,这里把价目补全。第一张:minimax 极限误差(首一 n 次多项式逼近零的最大偏差)= 21−n:次数 1、2、3、4、5,依次 1/2、1/4、1/8、1/16、1/32——每升一次折半(p.15)。

第二张:多项式家族头四行:T1 = x、T2 = 2x2 − 1、T3 = 4x3 − 3x、T4 = 8x4 − 8x2 + 1;第三张:四次节点 ±0.9239、±0.3827(余弦摆点,p.16)。

第四张:素数的带。π(x) 与 x/ln x 之商:x = 1 000 时 168/144.8 = 1.161;x = 106 时 78 498/72 382 = 1.084;x = 109 时 50 847 534/48 254 947 = 1.054——切比雪夫的界 0.92129 与 1.10555 从外头罩住大头的读数(p.22)。

第五张:概率的保单。偏出 k 倍标准差的份额上界 1/k2:k = 2、3、4、5,依次 25%、11.1%、6.3%、4%;测量平均的摊薄:单次标准差一、n = 4/25/100 次平均的标准差 0.5/0.2/0.1(按 1/√n 实算)——份额随次数走平方根的台阶(p.29—p.30)。

这页也照例挂一笔本行:五张表同出一根线——最大偏差定尺,尺定价,价成界,界成保单。一张表从 p.8 一路通到误差理论的车间。下一页留给家长:怎样陪孩子读完这一册。

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

本册的三层各有入口。小学低年级:只读故事页,配 p.45 的纸条四杆——一把剪刀四枚图钉就能玩,「歪杆描直线」的体感一玩就懂;p.44 的找谷底当游戏做,「按下葫芦浮起瓢」会是最兴奋的一刻。

小学高年级到初中:加读 p.14 与 p.28 的实算。试赛表只用乘除与开方,家长可以陪孩子一行一行扫;p.28 的份额表(25%、11.1%)与 p.30 的测量保单相互印证——「数字上的保底」与「生活里的平均」对上号,粗界就算进门了。

高中及以上:全册可读。p.15—p.16 的冠军表与节点、p.21—p.23 的素数界、p.29 的大数定律放宽,是大学逼近论、数论、概率论三门课的完整预告;注疏层的文献路径(p.2 注起)可供检索。

三处提示给家长。其一,「粗界」不必当缺点讲:本册的立场恰恰是「粗而万能」胜过「精而无用」(p.28)——孩子若问「这个界这么松有什么用」,最好的回答是 p.30:新仪器开工时,粗界是唯一的保单。其二,p.36 的两扇门值得多聊两句:恰好与够近都存在时,选哪个是经济学问题——这是全册最实用的一课。其三,本册主角与前一册(几何那位)同样寂寞,但处境不同:他有学派、有学生、有展台——陪孩子对比两位的「冷」与「暖」,是很好的复述练习。

读完这一册,值得留下一句话给孩子:够用不是将就——把误差标上价、把上限写成证明的人,才配说「这样够了」。

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

一、「切比雪夫证明了素数定理。」没有。他证出的是上下界与「翻倍带必有素数」;贴合(带宽收零)是四十六年后两支笔的证明——主路他修、终点另到(p.22、p.25、p.48)。把奠基与证毕混为一谈,两头都记错了账。

二、「铰链机构画不出直线。」三杆画不出是能证的;四杆画不出「很直的那条」更不成立(近似直线处处在用);七杆反演器甚至画得出恰好直线(p.36)。全称断言最怕反例——这句话要改成「恰好直线需要七杆,工程常用的是四杆的够近」。

三、「不等式给的 11% 是实际比例。」它是上限不是读数:具体分布的实际比例往往小得多;而且 k 小于 2 时界松到没有约束力(p.28—p.30)。保单的用法先看 k 够不够大——把上限当读数用,是把保险合同当天气预报。

四、「切比雪夫多项式是凑出来的技巧。」它有系统的户口:cos(n·arccos x) 的展开、均匀摆动的结构、n + 1 个交错点——「凑」是读表人的错觉,「匀」才是它夺冠的原因(p.15)。把冠军当巧合,会错过整个赛场。

五、「近似数学是二等数学。」本册四本账试过同一句话:近似可以,但必须最优、必须可证、必须标价——误差有价目、界有证明、保单有适用域(p.10、p.17、p.31)。这不是二等数学,是把「二等」两个字驱逐出数学的那场运动。

五条误区有一致的解药:把「听说」换回「在哪一页、依据什么」。这本册子每一处重要断言都留了页码与文献——这正是那位最会省的数学家立身的规矩:每一分误差,都要见票。

版权与编目版权页p.52

《数学家的故事》第五辑 第 45 册
切比雪夫 · 不求恰好

体例:五幕 · 52 页 · 三层可读(故事/数学/注疏)
插画:40 幅(留白线体)
数值:全册关键数值实算复核

本册为「格物致知」系列数学通识读物之一,面向全龄读者。
故事层无需预备知识;数学层对应高中至大学初年级;注疏层供检索与延伸。

格式 · 格物致知 · JUST FOR FUN