BOOK NOTES

Infinite Powers

Steven Strogatz

微信读书看原书 ↗

《Infinite Powers:How Calculus Reveals the Secrets of the Universe》出版于 2019 年,作者 Steven Strogatz 是康奈尔大学应用数学教授。他给普通读者写的这本书,把微积分的历史、核心思想与它在科学和技术中的用途连成一条线。全书反复使用一个他自己提出的概念——无穷原则(Infinity Principle):任何连续的形状、物体、运动或过程,都可以重新想象成无限多个更简单的部分,分析这些部分,再把结果加回去还原整体。

书的中心论点是,宇宙的规律以微分方程写成,微积分既是一套描述自然的语言,也是一台推理机器。Strogatz 把微积分的发展讲成一个跨越两千五百年的故事:阿基米德用无穷逼近曲线,牛顿与莱布尼茨建立系统化的微积分,傅里叶、柯瓦列夫斯卡娅以及当代医学与工程里的偏微分方程,依次出场。他把这些故事组织在三个谜题周围:曲线的谜题、运动的谜题、变化的谜题。

全书共十一章,另有序言和结论。序言用物理学家费曼对作家沃克(Herman Wouk)说的话开场——"那是上帝讲的语言"——并交代本书的写法:用图、比喻和轶事解释微积分,读者不需要先学会计算微积分。下面的提炼按章节顺序整理原书的论证、概念、人物与案例,并在需要处标出作者主张与证据的区别。

无穷:微积分的地基

第一章先交代微积分从哪里起步。作者从记数讲起:牧人点数羊群、农民称量谷物、税吏清点牲口,这些实际需求产生了数字;古埃及人每年在尼罗河洪水后重新丈量田界,几何(geometry,来自希腊语的"大地"与"测量")由此得名。早期几何对象多为直线与平面构成的多边形,圆是唯一始终吸引人的曲线,它出现在车轮、戒指、涟漪和日月之中。

圆面积公式是全书第一个用无穷解决问题的例子,作者把它讲成一个"披萨证明":把圆想象成理想的披萨,切成许多扇形后交错拼合,切片越多,拼出的形状越接近矩形。在切到无穷多片的极限处,拼合形状成为矩形,宽为半径 r,长为半个周长 C/2,面积即 A = rC/2。阿基米德在《圆的度量》中首先用类似但更严格的论证证明了这个结果。

极限是本章反复使用的概念。作者用"墙之谜"打比方:每次走完剩余距离的一半,永远到不了墙,但可以无限接近墙。同样,0.333… 既可以按"完成的无穷"理解为一串写不完的 3,也可以按"潜在的无穷"理解为长除法产生的一串越来越接近 1/3 的有限小数。作者引用亚里士多德的区分:只有"潜在的无穷"在逻辑上安全,"完成的无穷"会带来麻烦——比如把圆想象成无限多边形,边长为零,那么"无穷乘零"既可以等于某个周长,也可以等于它的两倍,自相矛盾。除以零的禁忌也来自同一根源:除数越接近零,商越接近无穷,因此零乘无穷可以得到任何结果。

芝诺悖论占据本章后半。二分法悖论说,迈出一步前先要走完一半,走完一半前又要走完四分之一,因此无法起步;阿喀琉斯与乌龟悖论说,快者永远追不上有先手的慢者。作者用无穷级数回应后者:若乌龟领先 10 米而阿喀琉斯快十倍,追赶时间构成级数 1 + 0.1 + 0.01 + … = 1.111… 秒,即 10/9 秒,说明在有限时间内完成无穷多个步骤并不矛盾。箭矢悖论针对"空间时间离散"的假设,作者认为在这个假设下运动确实会像芝诺说的那样逐帧出现,但电影和数字屏幕表明,只要切得足够细,离散可以近似替代连续。

本章末尾把无穷原则带到量子尺度。电子由概率波描述,其演化由薛定谔方程(1925 年由奥地利物理学家薛定谔提出)控制;量子隧穿——电子有概率穿过看似不可穿透的势垒——可由微积分算出速率,实验也证实了预测,阿尔法粒子从铀核中隧穿出来即放射性。作者指出,微积分假定空间和时间连续,这一假定贯穿牛顿、麦克斯韦、爱因斯坦和薛定谔的理论;而在普朗克长度(约 10⁻³⁵ 米)以下,空间时间可能失去连续性,这给"能切多细"设了界限。他据此提出一个观点:真实数(如 0.333…、π)需要无限多位小数来定位,所以按当代物理对现实的理解,它们与真实世界的对象不同;但微积分离不开它们,因为连续性和极限建立在它们之上。

阿基米德:驾驭无穷的人

阿基米德(前287—前212)是书中第一位把无穷变成计算工具的人。作者先讲围绕他的传说:普鲁塔克说他沉浸在几何中会忘记饮食,有人不得不"用暴力把他拖去洗澡";维特鲁威记载他洗澡时受启发,裸身跑上街高喊"尤里卡"。传说还把他写成叙拉古保卫战中的武器制造者,用滑轮和杠杆造出能掀翻罗马战船的机械。作者同时提醒,这些故事大多来自后世记述,未必可靠。阿基米德确切的贡献包括浮力原理和杠杆定律,二者至今应用广泛。

阿基米德计算圆周率的过程是本章最详细的案例。他从圆内接正六边形出发——六边形周长为 6r,因此 π > 3——然后不断把边数翻倍,十二、二十四、四十八、九十六边形,边长的计算越来越繁,需要反复用勾股定理手工开方。他用圆内接与外切两个九十六边形把 π 夹在 3 + 10/71 与 3 + 10/70 之间,后者化简为 22/7。这种"挤压"方法称为穷竭法,源于欧多克索斯。作者还注意到,π 不出现在欧几里得的《几何原本》里,说明测量曲线已超出当时几何的边界。

关于 π 的"道",作者用它解释希腊数学的思维差异。希腊人区分"数"(离散的整数及其比)与"量"(连续的长度、面积、体积),发现正方形的对角线与其边不可通约(即无理数)之后,他们更不信任数字,转而以几何与比例为基础。因此阿基米德把 π 写成比例而非数字,他给出的圆面积公式 A = rC/2 中根本没有 π。今天 π 被当成一个无限小数,已算出二十二万亿位,但作者强调它的数字存在于某种柏拉图式的领域,并不在物质世界中。

《抛物线求积》展示了阿基米德的"立体主义"方法。他把抛物线段重新想象成无限多个三角形碎片,按大小层级排列:一个大三角形、两个更小的、四个更小的,依次类推。他证明每个新三角形面积是上一级的八分之一,因此总面积是级数 1 + 1/4 + 1/16 + 1/64 + …,用几何级数求和得到 4/3。阿基米德本人没有使用无穷,他用双重重归谬证明面积既不能小于也不能大于 4/3。作者用"三人分四片奶酪"的比喻解释这一论证:把剩余奶酪不断四等分,每个人得到的份额加起来趋于 4/3。

《方法》是本章最富个人色彩的部分。阿基米德在给亚历山大图书馆馆长埃拉托斯特尼的信中承认,《方法》"不能提供正式的证明",但能帮他先知道什么是真的,他说"先通过方法获得关于问题的某些知识,再补充证明,比没有任何先验知识要容易"。他的做法是把抛物线段想象成物质薄片,放在想象的天平上,用已知的三角形去平衡它,从而称出面积。这需要把两个图形都看作"由无数平行直线组成"——在希腊数学中这是禁忌,阿基米德因此把它降格为启发式。作者评论说,这是"从多到一"(e pluribus unum):无穷多条线最终由一个点的质量代表。

《方法》的文本在十三世纪被刮去重写成祈祷书,成为羊皮纸重写本;1998 年它在佳士得拍卖会上以 220 万美元卖给匿名买家,现存于巴尔的摩的沃尔特斯艺术博物馆,是《方法》唯一存世的抄本。阿基米德最珍爱的结果是球与圆柱的关系:内切于圆柱盒的球体积和表面积都占盒子的 2/3,他要求把这个结果刻在墓碑上。

本章后半讲阿基米德方法的现代回响。电脑动画用三角形逼近光滑表面:Pixar 的《玩具总动员》花了八十万小时机时,梦工厂给史莱克的身体用了数万个多边形,某战斗场面单帧超过四千五百万个多边形;《阿凡达》在潘多拉星球的每株植物上用了约一百万个多边形。2006 年,德国应用数学家 Deuflhard、Weiser 与 Zachow 用 25 万个三角形和 65 万个四面体建立面部手术的计算机模型,预测术后软组织的位置,在大约三十个病例中,七成的面部皮肤位置预测误差在一毫米以内。作者把这些都归于阿基米德开创的"用直线小片逼近曲线"思路。

伽利略与开普勒:运动的规律

第三章转向运动。作者说阿基米德死后约一千八百年,意大利的伽利略(1564—1642)接过了研究。伽利略出生在比萨,父亲希望他学医,他自己转向数学,靠自学成为帕多瓦大学数学教授。他与年轻的 Marina Gamba 育有三个孩子却未结婚,两个女儿被送进修道院,长女 Virginia(修女名 Maria Celeste)是他的挚爱。1633 年他因支持日心说被宗教裁判所审判,判处终身软禁;女儿随即病逝,年仅三十三岁。他后来把毕生关于运动的研究写成《两种新科学的对话》,1638 年在荷兰出版。

伽利略的贡献以"奇数定律"开始。亚里士多德主张重物下落更快,伽利略认为这需要量化检验。因为自由落体太快无法直接计时,他让圆球沿缓坡滚下,用水钟计时,发现相等时间间隔内经过的距离依次为 1、3、5、7… 倍——这就是奇数定律。把这些奇数相加得到平方数(1、4、9…),即下落距离与时间平方成正比。他还提出速度随时间成正比。作者指出,这里已经隐含"瞬时速度"这个微积分概念,当时伽利略无法严格表述,但直觉是对的。伽利略实验的成功部分来自他刻意简化条件:用"笔直、光滑、抛光的沟槽"和"坚硬、光滑、很圆的青铜球",把摩擦和空气阻力的干扰降到最低;亚里士多德正因为过度关注空气阻力,得出重物更快下落的错误结论。伽利略还发现抛射体的轨迹是抛物线,这是阿基米德研究过的抽象曲线第一次出现在现实世界。

钟摆是另一条线索。传说伽利略少年时在比萨大教堂看到吊灯摆动,用脉搏计时发现摆幅大小不影响周期。作者说明这个传说来自他的传记作者维万尼,可能经过美化,但伽利略 1602 年确实做过钟摆实验,并在 1638 年的书中讨论过。严格说周期与摆幅有关,只有摆角小于约 20 度时"等时性"才近似成立。他未能从理论上推出周期与摆长的关系,这要等牛顿的微分方程。钟摆是振荡现象的模板:同一组方程稍加改写,就同时描述交流发电机、约瑟夫森结(1962 年约瑟夫森预言,超导电子对能穿过绝缘势垒隧穿振荡)等系统。作者由此讲到计时与经度问题:精确的钟能让人把出发港的时间带出海,对比当地正午确定经度;哈里森在十八世纪中叶造出的 H4 经线仪在海上测试中把经度误差控制在十英里以内,赢得英国议会的两万英镑奖金。今天的 GPS 用铯原子钟(每秒振荡 9,192,631,770 次)计时,靠至少四颗卫星做三角定位,而无线通信、原子钟原理和相对论修正都依赖微积分。

开普勒是第三章另一位主角。他出身窘迫,幼年患天花留下手眼残疾,父亲是雇佣兵,母亲"脾气坏"。他在图宾根学习数学与哥白尼天文学,本来要当路德会牧师,却被派去格拉茨教数学。1596 年他宣称发现宇宙的秘密:五个柏拉图立体与六个行星的轨道球壳嵌套吻合,写成《宇宙的神秘》。这个理论其实与数据不完全吻合(尤其是水星和木星),作者后来指出它不可能成立,因为行星不止六个。开普勒随后成为第谷·布拉赫的助手,第谷是望远镜发明前最好的观测者,角分辨率达到两角分;1601 年第谷死后,开普勒继承了他关于火星等行星的数据。经过反复试错,他先得到第一定律——行星沿椭圆轨道运动,太阳位于一个焦点;第二定律——行星与太阳的连线在相等时间扫过相等面积,作者解释这等于说行星离太阳越近跑得越快。十年后他得到第三定律:公转周期的平方与平均距离的立方成正比,即 T² = a³(用地球年为单位的简化形式)。1619 年他在《世界的和谐》序言中写下"我纵情于神圣的狂热"。作者用科斯特勒的话总结开普勒:在"幻想的根基"上,"用同样不牢靠的推理方法,建起了现代天文学的坚实大厦"。

作者在章末比较伽利略与开普勒:伽利略是阿基米德的继承者,理性、重视力学;开普勒是毕达哥拉斯的继承者,神秘、痴迷几何模式。两人从没见过面,但通过信件交流。开普勒没有回答的深层问题——太阳为什么占据椭圆的焦点、是什么力在起作用——成为下一章和牛顿时代的伏笔。

微分学的黎明:代数与几何相遇

第四章讲微分学为何比积分学晚出现近两千年。作者的解释是:微分学从代数里长出来,而代数用了好几个世纪才成熟。代数(algebra)一词来自阿拉伯语 al-jabr,意为"复原"或"把破碎的部分重新接合";它发源于中国、印度和伊斯兰世界,最初完全是文字化的。作者提醒,所谓"古希腊"覆盖的地域远超雅典与斯巴达,毕达哥拉斯来自萨摩斯岛,阿基米德住在西西里的叙拉古,欧几里得在埃及的亚历山大工作。罗马征服后,希腊著作被译成阿拉伯语,巴格达和君士坦丁堡的学者保存并推进了这些知识。伊斯兰世界也延续了曲线几何:约 250 年中国的刘徽改进了阿基米德求 π 的方法,两百多年后祖冲之用 24576 边形把 π 夹在 3.1415926 与 3.1415927 之间;约 965 年生于巴士拉的伊本·海赛姆(Alhazen)算出了阿基米德没有处理过的体积。与此同时,代数与算术进步迅速:印度数学家发明了零与十进制位值记法;花拉子米(c. 780—850)的教科书给出了解方程的分步配方,他的姓氏演变成"算法"(algorithm)一词。

代数与几何的合流

代数传入欧洲后逐渐符号化。1591 年法国人韦达用元音字母表示未知量、辅音字母表示常量;约五十年后笛卡尔改用 x、y、z 表示未知量,a、b、c 表示常量。荷兰的斯蒂文把十进制推广到小数部分,摧毁了亚里士多德时代"数"与"量"的区分。约 1630 年,费马与笛卡尔独立把代数与几何连接起来,创立解析几何:方程 y = 200x 的图像是一条直线,二次方程则产生抛物线、椭圆、双曲线或圆这四类曲线。作者用自己吃肉桂葡萄干面包的玩笑例子说明 xy 平面如何让数字、关系与形状三个领域交汇,这在古代希腊人看来是双重亵渎——他们坚持"数"与"量"的区别,也不允许把不相同的量放在一起比较。

费马与笛卡尔的竞争

两人性格迥异,矛盾公开化。笛卡尔(1596—1650)雄心勃勃、蔑视权威,写《方法论》时宣称要推倒重建人类知识,名言是"我思故我在"。费马(1601—1665)是图卢兹的法官和律师,白天工作,晚上做数学,从不发表,通过梅森(Marin Mersenne)这个"社会联络人"与外界通信。梅森爱传播私人信件和未发表手稿,把费马的消息捅给笛卡尔,笛卡尔视之为"某个乡下无名之辈"的攻击,设法贬低费马的名声。笛卡尔 1637 年在《几何学》里宣布自己发明了求切线的一般方法,并夸口这是"最有用的几何问题";他不知道费马大约十年前就解出了。1638 年笛卡尔细读费马的方法,挑剔其逻辑不严谨,还故意拿三次曲线 x³ + y³ = 3axy 考他,费马轻松解出。

费马的方法在今天叫最优化。作者用"头顶行李舱"问题说明:设计一个方形横截面的盒子,宽度加深度加高度不超过 45 英寸,问多大边长使体积最大。费马没有导数的概念,他观察到一个性质:最大值下方的一条水平线与曲线相交于两点,把水平线向上移动,两个交点会靠拢、在最大值处合并成"二重点"。他据此建立方程,并用他称为"适等性"(adequality)的模糊概念让两个交点"近似相等"地合并,最终得到边长 15 英寸。作者说费马的方法与今天的导数等价,只是顺序相反。

最优化与数据压缩

FBI 指纹压缩是费马最优化思想的现代应用。作者先讲曲线拟合:纽约 2018 年的日照长度数据近似一条正弦波,用周期、平均、振幅、相位四个参数就能概括二十七个月度采样点,压缩比约 9;最佳拟合由最小二乘法确定——把每个数据点与拟合曲线的误差平方后求和,再调整参数使总误差最小。这种压缩依赖数据有模式,随机数据无法压缩。正弦波适合周期模式,但难以表达局部特征(鼻翼边缘、美人痣),为此研究者发明了小波(wavelet)——集中在一小段时间或空间内振荡、随即关断的波。1990 年代中期,FBI 有约两亿张指纹卡,占了一英亩办公室空间;洛杉矶阿拉莫斯国家实验室的数学家与 FBI 合作,用小波把 10 兆字节的单张指纹卡压缩到 500 千字节(压缩超过二十倍),且通过了自动识别系统的检验。

最短时间原理

费马对物理的唯一贡献是"最短时间原理"。1637 年巴黎数学家请他对笛卡尔的光学理论提意见,费马天真地批评了笛卡尔关于折射的机械解释(笛卡尔假设光在较密介质中更快,这是错的)。笛卡尔视为冒犯。1657 年,已故笛卡尔的同事 Cureau de la Chambre 请费马重提折射问题。费马猜想光走"最快路径",1662 年他咬牙完成了计算,结果恰好是斯涅尔定律——折射时 sin a/sin b 为常数。费马称这是"最不寻常、最出乎意料、最幸运"的计算。他第一次用微积分雏形从一条自然规律推出另一条,开了"用最优化原理解释物理"的先河,后人把它推广为最小作用量原理。

费马还求出了 y = xⁿ 曲线下的面积(对任意正整数 n),之前的九个特例已有人解出但无人找到通法。作者认为费马离微积分只差一步:他创造了切线与最值方法,却没有认出"导数"这个更一般的概念。

十字路口:函数与增长

第五章是过渡章,它把前四章的曲线问题与后面的运动、变化问题衔接起来,引入函数作为基本工具。作者用 x 与 y 之间的依赖关系定义函数:每个 x 对应唯一一个 y。伽利略测距离随时间变化,开普勒研究公转周期随平均距离变化,都是函数的例子。不同函数适合不同增长方式:幂函数(如 x、x²)描述温和增长,指数函数(如 2ˣ、10ˣ)描述自我强化的爆炸式增长——细菌每 20 分钟翻倍、银行复利、麦克风啸叫、核链式反应都属于指数增长;指数衰减对应半衰期概念(如铀原子核、HIV 病毒载量)。

十进制幂(powers of ten)是本章的实用工具。作者提醒它的危险性:它能把相差悬殊的数字压缩得看起来相近,百万秒约两周,十亿秒约三十二年,把"百万富翁"与"亿万富翁"相提并论会误导人。pH 值、里氏震级、分贝都建立在幂的对数刻度上。对数(logarithm)把乘法变成加法,1614 年纳皮尔出版《奇妙的对数规则描述》,开普勒用它编制天文表,对数在当时相当于"超级计算机"。

自然底数 e 的定义来自连续复利:年利率 100% 的存款,若每年复利 n 次,年末余额为 100×(1+1/n)ⁿ,n 趋于无穷时的极限定义为 e ≈ 2.71828。e 的特殊性在于 eˣ 的增长率等于它本身——在微积分语言里 eˣ 是自己的导数。自然对数 ln 是对应 e 的逆函数,用于碳定年、艺术作品真伪鉴定(范·米杰伦假画案即通过放射性铅和镭同位素衰变分析揭穿)。本章还提到,自然对数最早出现在对曲线 y = 1/x 下方的面积的研究中,这是微积分要面对的两大挑战之一。

变化的词汇:导数

第六章系统介绍导数。作者定义变化率为 Δy/Δx(或 Δy/Δt),例子包括车速、加速度(雪佛兰 Camaro SS 的 0 到 60 英里加速)、斜坡斜率(美国法律要求轮椅坡道坡度小于 1/12)。导数是把变化率变成函数的概念:当变化率本身不断变化时,用 dy/dx 表示无穷小变化之比。作者提出微积分的三个核心问题——他称之为正问题(给曲线求斜率)、逆问题(给斜率求曲线)、面积问题(给曲线求曲线下方面积)。

对线性函数,变化率是常数(女儿打工每小时 10 美元、汽车 60 英里每小时、坡道 1/12),但作者强调即使如此变化率仍是函数,只是常数函数。对非线性函数,如抛物线 y = x²,变化率处处不同。他用"显微放大"的思想实验解释导数:不断放大抛物线上某一点,曲线片段越来越直,无限放大时趋于一条直线——切线,其斜率即该点的导数。在 x = 1/2 处放大得到的斜率是 1,一般地 y = x² 的导数是 2x。作者给出两个警示:曲线有尖角(如 V 形)时该点没有切线也没有导数;导数只在曲线光滑时存在。现实中的突变(如合上开关瞬间电流从零跳变)可以建模为不连续,此时导数不存在。

作者用两组真实数据让导数落地。纽约 2018 年的日照时长:春分(3 月 20 日)日照增加最快,每天多 2.72 分钟;冬至附近日照最短且变化率几乎为零。日照时长的波与它的变化率波相差四分之一周期,这对应正弦波的性质——正弦波的导数仍是正弦波,只是提前四分之一周期。这个自再生性质只有正弦波具备,根子在正弦波与匀速圆周运动的联系:点在圆周最东处时,它的运动方向(可看作变化率)朝南,即偏转 90 度。同样的四分之一周期错位也出现在钟摆和捕食者—被捕食者模型里(鲨鱼与鱼、加拿大山兔与猞猁的年度波动,后者实际解释更复杂)。

第二组数据是 2008 年北京奥运会百米决赛的博尔特。他以 9.69 秒破世界纪录,平均速度 10.32 米每秒,最快的十米分段(50—80 米)平均 12.2 米每秒,最后十米放慢到 11.1。瞬时速度的定义是越来越短时间间隔内平均速度的极限——这正是两千年前让芝诺困惑的概念。作者说明这需要假设他的位置随时间平滑变化;数据是离散采样,要插值出一条平滑曲线,多数拟合方法给出类似结果:博尔特在约四分之三程处达到约 12.3 米每秒的峰值,冲线时降到 10.1。2009 年柏林世锦赛他跑出 9.58 秒,激光测速仪每秒采样一百次,结果在平滑趋势上叠加了着地制动、腾空推进造成的微小波动;研究者把波动滤掉才看清趋势。作者把这段当成一个寓言:测量分辨率过高会看到平滑性的崩溃(分子尺度上运动是抖动的),建模的艺术在于分辨信号与噪声、趋势与波动。

秘密的源泉:基本定理

第七章的主题是基本定理,即把面积问题与斜率问题连接起来的结果,以及把它整理成体系的牛顿。作者先追溯背景:求曲线下方面积(古典称"求积")困惑了数学家两千年,笛卡尔甚至认为曲线的弧长超出人类理解。牛顿与莱布尼茨独立证明的基本定理把面积与斜率、积分与导数连接起来,使求积从个案技巧变成系统方法。牛顿曾在一封信里声称"没有一条由方程表达的曲线……我不能在不到一刻钟的时间里判断它是否可求积",并说这听起来大胆,但"对我来说,我从中汲取的源泉是明白的"——这个"秘密源泉"就是基本定理。

作者先用匀速运动直观解释基本定理。汽车以 60 英里每小时行驶,距离—时间图是斜率为 60 的直线;速度—时间图是高度为 60 的水平线,其下方面积等于走过的距离。牛顿的洞见是把面积看作流动的量:灰色矩形随时间向右伸展,就像躺倒的活塞吸进液体。这个"面积等于距离"的关系对任意变速运动都成立,这是基本定理的一个版本。恒定加速的情形给出 y = ½at²——距离与时间平方成正比,正是伽利略的奇数定律;中世纪学者海特斯伯里(约 1335)和奥雷姆(约 1350)已经知道这个答案,只是他们的工作被遗忘。

"油漆滚筒"证明把基本定理几何化。想象一个魔法滚筒边滚边涂,滚筒长度始终等于曲线高度 y(x),那么面积积累的速率 dA/dx = y。也就是说,面积函数 A(x) 的导数是给定的曲线 y(x)。作者强调这没有直接给出面积,而是把面积问题变成了逆问题——"我在想一个面积函数,它的导数是 12x + x¹⁰ − sin x,它是哪个函数?"解决这个逆问题是积分学的"圣杯",因为它的解能一次性解决面积、弧长、旋转体体积等一大串问题。作者用"局部与整体"区分微积分的两半:微分是局部的(像显微镜,只看一点附近),积分是整体的(像望远镜或水晶球,需要把每一步都算进去)。回到博尔特的例子:求某时刻速度只需看那几百分之一秒的数据,而重建整场比赛的位置需要从起点一步步推。逆问题的解相当于一个"时间虫洞",把整体问题变成局部问题,这就是它如此重要的原因。

本章后半是牛顿的传记。牛顿生于 1642 年圣诞节,早产、丧父,三岁时母亲改嫁把他留给外祖父母,他怨恨继父,十九岁前记下的罪过清单里有"威胁要烧死父母史密斯"的条目。他上过语法学校,十六岁被母亲拉回去种田,他讨厌农活,最后回校并于 1661 年进入剑桥三一学院当工读生(sizar),靠侍候富学生挣钱。1664 年他获得奖学金,开始认真学数学,尤其受笛卡尔(解析几何与切线)和沃利斯(无穷与求积)影响。1664—65 年冬读沃利斯的《无穷算术》时,他发现了幂级数方法:把曲线写成一个符号 x 的幂的无限和。他用圆面积问题演练——把半径为 1 的圆写成 y = √(1−x²) = (1−x²)^½,先解整数幂再猜测半幂的答案——得到圆的一段面积 A(x) = x − x³/6 − x⁵/40 − x⁷/112 − 5x⁹/1152 − …。他又对双曲线 1/(1+x) 得到级数,并由此算出自然对数 ln(1+x) 的级数,手工把它算到五十位数字(最初算错,只对到二十八位)。作者在注记中说明,早在牛顿两百五十年前,印度喀拉拉学派的马德哈瓦(约 1350—约 1425)已发现正弦、余弦、反正切的幂级数。牛顿把幂级数比作"万能工具":他能做积分、求方程根、算非代数函数的值。作者总结,牛顿在无意识中当了"混搭艺术家"——从阿基米德继承无穷原则,从费马学切线,从印度得十进制,从阿拉伯代数得变量,从笛卡尔得解析几何,从沃利斯得大胆实验精神。

1665 年夏天瘟疫把牛顿送回林肯郡的农庄,两年里他成了世界上最好的数学家,还发现了万有引力的平方反比定律(应用于月球)、发明了反射望远镜、证明白光由彩虹的七色组成。1671 年他把微积分各部件整合成体系,但除了三一学院的圈子,外界对他一无所知,他自己也刻意保密——他怕批评,也自知工作只是"分析"而非"综合",还因为用了代数与无穷(沃利斯就被霍布斯骂作"符号的痂"和"糟糕的书")。1668 年梅卡托出版了一本含相同对数级数的书,牛顿被抢先的震惊促使他 1669 年写了《分析》(De Analysi)私下传阅,1671 年扩成《流数法与无穷级数论》(De Methodis),两者生前都未出版(分别到 1711 年和 1736 年才问世)。他留下的未发表数学手稿有五千页。

心灵的虚构:莱布尼茨与微分

第八章的主角是莱布尼茨。作者先说他的信息渠道:牛顿的发现通过巴罗送给柯林斯、再经柯林斯泄露出去。莱布尼茨是外交官、逻辑学家、语言学家和哲学家,跟惠更斯学数学,只学了三年就超过欧洲大陆所有人。1676 年他给牛顿写信套取信息,牛顿回信先是恭维,随即用带刺的讽刺说"我早已知道三种得出这类级数的方法",最后用一段加密文字炫耀自己的优先权。莱布尼茨其实已独立发现基本定理——他在 1672 到 1676 年间建立自己的微积分,说他能"眨眼之间"导出当时几乎所有的求积与切线定理。作者给出莱布尼茨被算作共同发明者的理由:他先发表,发明了至今沿用的优雅记号(dy/dx、∫),还吸引了弟子传播。

微分(infinitesimal/differential)是莱布尼茨方案的核心。作者把无穷小定义为"比一切都小但比零大"的虚构对象,莱布尼茨自己说"我在哲学上并不比相信无限大更相信无限小,我把两者都看作方便说话的心灵的虚构"。作者用"2 附近的立方"说明微分的用处:(2 + 0.001)³ = 8 + 0.012006001,展开后是 x³ + 3x²Δx + 3x(Δx)² + (Δx)³,各项按大小分级:小的、超小的、超超小的。规则是只保留含 dx 一次幂的项,丢掉其余——如果 Δx 真是无穷小,这样做的误差为零。由此得到 y = x³ 的导数 dy/dx = 3x²,一般地 y = xⁿ 的导数是 nxⁿ⁻¹。莱布尼茨用微分轻松重新推出斯涅尔折射定律,还让基本定理变得透明:面积变化 dA 等于高 y、底 dx 的薄条面积 y dx,所以 dA/dx = y。那个长长的 S 形符号 ∫ 是"求和"的记号,莱布尼茨 1677 年在一份手稿中引入,1686 年发表。

惠更斯给莱布尼茨出的练习题把求和引向基本定理:求级数 1/(1·2) + 1/(2·3) + 1/(3·4) + …。莱布尼茨的技巧是把每一项写成相邻单位分数之差(1/(1·2) = 1/1 − 1/2,等等),于是整个和"望远镜式"地消项,只剩下首尾两项,有限项和为 1 − 1/(N+1),无穷和趋于 1。作者用"高度计"比喻:爬一段不规则楼梯,总上升等于顶部高度减底部高度,不必逐级相加。这个"差结构"思想推广后,就是给定一个级数去找另一个"其差与给定级数各项一致"的函数——即求原函数,基本定理的莱布尼茨版本。

本章最后的案例是微分在医学中的支援。1980 年代 AIDS 肆虐,研究者确认元凶是逆转录病毒,它感染辅助 T 细胞并劫持其机制复制自身。1994 年蛋白酶抑制剂出现后,David Ho(加州理工物理学出身)与理论免疫学家 Alan Perelson 合作,把蛋白酶抑制剂当作探针而非治疗,追踪了免疫系统与病毒的动态。他们的模型是 dV/V = −c dt(或 dV/dt = −cV),其中 V(t) 是血液中病毒浓度,c 是清除率。用基本定理积分得到 V(t) = V₀e^(−ct),拟合数据估计出清除率,进而从平衡条件 P = cV₀(产生率等于清除率)算出免疫系统每天清除约十亿个病毒颗粒——无症状期表面平静,实际是每时每刻的激烈战斗。1996 年的后续研究把采样加密,得到更惊人的数字:每天产生并清除一百亿个病毒颗粒,感染 T 细胞的寿命只有约两天。Perelson 的数学还表明,HIV 每天在每个碱基位点上都可能产生全部突变,单药必然耐药,双药组合也有相当比例的双突变逃逸,而三联组合需要同时发生三个突变,几率约一千万分之一。Ho 的三药临床试验中,两周内病毒载量下降约百倍,一个月内降至检测不到。作者明确限定:这没有治愈 HIV——病毒能藏在药物难以到达的"庇护所"和潜伏感染细胞里,停药会反弹,因此患者需要持续服药;但对能获得治疗的人来说,艾滋病从近乎必死变成了可控的慢性病。1996 年 Ho 当选《时代》年度人物,2017 年 Perelson 获理论免疫学奖项,他后来把模型用于丙型肝炎,2014 年据此开发的每日一次口服药几乎治愈所有患者。

逻辑的宇宙:牛顿与微分方程

第九章把微积分放到更广阔的舞台上。作者用"寒武纪大爆发"作比:微积分出现后,数学的许多分支(微分几何、积分方程、解析数论)如物种般繁衍。而微分方程最早的胜利改变了西方文化:1687 年牛顿出版《自然哲学的数学原理》(《原理》),用几条定律——运动定律与万有引力——解释了伽利略和开普勒发现的种种规律,抹平了天上与地下的区分。

牛顿的体系

牛顿的中心方程是 F = ma:力等于质量乘加速度,加速度是速度的导数。作者说明它的"神谕"性质——知道力就能一步步预测物体将来的位置;F = 0 时速度不变,即伽利略的惯性定律,它是 F = ma 的逻辑推论,而亚里士多德认为需要力才能维持运动(这在摩擦主导的情况下是对的,但对行星和落体可以忽略摩擦)。

牛顿从开普勒第三定律推断引力随距离减弱,若月球轨道是一种持续的坠落,引力必须随距离平方反比减弱。他估算月球的向心加速度(月球距地球约 60 个地球半径,周期约 27 天),与伽利略测的地面落体加速度比较,两者相差约 3600 倍,等于 60²,正符合平方反比。作者提醒这里有可疑假设(瞬时超距作用),牛顿自己也承认无法解释引力的本性。哈雷问牛顿:若太阳以平方反比引力吸引,行星如何运动?牛顿答"椭圆",哈雷问"你怎么知道",牛顿说"我算过",随后写成《原理》。他证明开普勒三定律、惯性定律、钟摆等时性、奇数定律、抛物线弹道都是 F = ma 与平方反比定律的逻辑推论。这种演绎推理让信奉经验主义的同代人不安。二体问题需要把无穷多局部步骤积分成整条轨道,牛顿靠基本定理"跳步"预测任意远的未来;他还用三重积分证明可以把太阳和地球的球体质量集中到中心而无误差。作者同时列出牛顿的近似:忽略其他行星的引力、继续假设瞬时作用,他把《原理》写成欧几里得式的公理—命题—证明结构,其实是"穿着几何外衣的微积分"。

后续故事:1846 年海王星——天王星轨道异常暗示外行星的存在,微积分预言了它的位置,天文学家按图索骥找到它。二十世纪中叶,凯瑟琳·约翰逊(《隐藏人物》的主角)把二体问题用于航天器与地球,加入地球非正球体(赤道隆起、两极扁平)等牛顿略去的细节;1962 年 2 月 20 日约翰·格伦完成三圈绕地后靠她的计算安全返航,他坚持要约翰逊亲自核对最后的计算才肯起飞。2015 年约翰逊获总统自由勋章,NASA 以她命名一座大楼。

启蒙与政治影响

《原理》的影响超出科学。1817 年一场晚宴上,华兹华斯与济慈等人举杯"为牛顿的健康,向数学致乱"。启蒙思想家伏尔泰、休谟、洛克则欣赏他的因果钟表宇宙。作者把《独立宣言》当作牛顿式的论证结构:杰斐逊从"我们认为这些真理不言自明"的"公理"出发,用逻辑推出殖民地有权脱离英国;"自然法则与自然之神"中"神"排在法则之后,带有牛顿之后的自然神论色彩。杰斐逊崇拜牛顿(保存了他的死亡面具),退休后给亚当斯写信说"我拿报纸换了塔西佗、修昔底德、牛顿和欧几里得,发现自己快乐得多"。他还把最优化用于农业,设计了犁的犁壁(moldboard)形状,1798 年报告"五年的经验使我说,它在实践上与理论许诺一致"。

偏微分方程与波音787

牛顿处理的多是一两个物体。三个以上相互引力的物体让他的头疼,他说同时考虑这么多运动原因"超出人的智慧之力"。但把粒子数推到无穷、组成连续介质,微分方程反而可解。作者由此引入普通微分方程与偏微分方程的区别:前者只有一个自变量(如时间),适合点状粒子的离散系统;后者有多个自变量(空间坐标与时间),适合连续介质(冷却的汤、吊床、湖中污染物、机翼上的气流)。偏微分方程极难解,却至关重要——波音 787 是案例:设计 767 时公司造了七十七个原型机翼做风洞测试,二十五年后靠超级计算机模拟 787 机翼,只造了七个。波音用几十万个立方体、棱柱、四面体逼近机翼,用弹性理论预测弯曲与扭振,并计算气动弹性颤振——一种正反馈式的有害振动,曾损坏 F-117 隐形战机。燃烧室建模则要同时处理化学(几百个反应)、热流与湍流流体,用有限元分析加超算完成。作者列举偏微分方程的普遍性:麦克斯韦方程组、弹性、声学、热流、流体、Black-Scholes 期权定价、Hodgkin-Huxley 神经模型都是;爱因斯坦的广义相对论与量子力学的薛定谔方程也以偏微分方程为核心。

制造波动:傅里叶与偏微分方程

第十章的主人公是傅里叶。作者介绍他的怪癖:十岁成为孤儿,体弱多病的他相信热对健康至关重要,房间烧得过热,夏天也裹着厚大衣。他最早提出全球变暖的概念,并第一个解释温室效应如何调节地球平均温度。

热方程

傅里叶的热方程来自一个具体的物理设定。一根有热冷斑点的细长铁杆外面有绝热套,热只能沿杆扩散,任一点的温度变化率正比于该点与两侧邻居温度平均值的差——这就是热方程,一个关于时间 t 和位置 x 两个自变量的偏微分方程。1807 年傅里叶用微积分解开了这个热流之谜。

他的解法是把任意初始温度分布改写成无穷多个正弦波之和。正弦波是他的"积木":如果初始温度就是正弦模式,冷却时它会保持这种模式(只随时间衰减),因此每种正弦波衰减多快可以单独算出——波峰越多(热冷斑挤得越近)衰减越快。算出每个积木的衰减后,把结果加回来就是原问题的解。这种"用无穷和表示任意曲线(包括有尖角、有跳变的曲线)"的胆大主张引发争议,数学家花了一个世纪才厘清严谨性问题,但今天它支撑着语音合成器和 MRI。

弦、正弦波与音乐

正弦波在音乐里是弦的自然振动模式。作者推导:把弦理想化为连续排列的无穷多粒子,相邻粒子以弹性力相连,每个粒子服从 F = ma,得到的偏微分方程叫波动方程,它预测弦的典型运动是波。固定两端时正弦波不传播、原地振动(驻波),频率不变。18 世纪的羽管键琴用羽管拨弦,弦被拉成三角形再释放——三角形波有尖角,却能用无限多个光滑正弦波逼近。傅里叶给出三角形波的级数:sin x − (1/9)sin 3x + (1/25)sin 5x − (1/49)sin 7x + …,只含奇频,振幅是奇数的倒数平方、符号交替。傅里叶的思想是音乐合成器的基础:一个音(如 A,440 赫兹)的音色由泛音决定,小提琴和钢琴都有各自的泛音组合;"任何乐器的声音都能用无限多个音叉合成",只需按正确的强度与时机敲击。作者回忆 1970 年代高中电子音乐课,正弦波像长笛,方波刺耳像火警,三角波有铜管味。

为什么偏偏是正弦波?因为正弦波与导数配合极好:正弦波的导数还是正弦波,只提前四分之一周期(这又回到匀速圆周运动)。连续取两次导数,正弦波整体翻转,即 d/dx(d/dx sin x) = −sin x——两次微分变成乘 −1,微积分被"剥掉"成中学算术。而加速度正是距离的二阶导数,所以 F = ma、热方程、波动方程都含二阶导数,这正是正弦波适合解这些方程的原因。物理学家视角则强调驻波:正弦波在原地振荡、不传播、频率单一,是"纯净"的波(普通波是多种频率的混合,像白光由彩虹色组成)。

克拉尼图形与热尔曼

1787 年德国物理学家克拉尼用弓拉金属薄板,让板振动并唱歌,撒在板上的细沙被振动弹开、聚集在不振动的节线上,形成克拉尼图形。他给拿破仑演示,拿破仑设立竞赛悬赏解释这些图形。拉格朗日认为无人能解,只有苏菲·热尔曼应战。热尔曼幼年自学微积分,父母曾没收蜡烛和睡衣,她裹着被子用偷来的蜡烛照明;作为女性她不能上大学,冒用已离校学生勒布朗的名义提交作业,被拉格朗日发现真身后受他提携。她早年在数论上有贡献(费马大定理),与高斯通信三年;1806 年拿破仑军队占领高斯家乡布伦瑞克时,她通过军中熟人保护了高斯。她为克拉尼问题创立了二维薄板弹性理论,前两次尝试都有缺陷,第三次获奖,成为巴黎科学院首位获此荣誉的女性。作者评价,克拉尼图形让人直观看到二维驻波。

微波炉与雷达灶

微波炉是三维驻波的应用。作者给出一个家庭实验:取出转盘,把一层奶酪(或巧克力、小棉花糖)放在盘上加热约三十秒,熔化处是驻波的反节点,相邻熔化点距离约六厘米——这是半波长,全波长约十二厘米,即 2.45 GHz 微波的波长;频率乘波长可得光速约 29.4 亿厘米每秒,接近真值 30 亿。作者讲了微波炉的历史:二战后雷声公司找磁控管的新用途,工程师珀西·斯宾塞发现口袋里花生糖被微波熔化,又用微波炸了鸡蛋、爆了爆米花,最早的微波炉因此叫"雷达灶"(radar range),起初近两米高、价格相当于今天数万美元,到 1960 年代末才成规模,如今发达国家至少 90% 的家庭拥有。

CT扫描

CT 扫描是傅里叶方法的医学应用。传统 X 光片对软组织密度差异不敏感,CT 则用 X 光从多个角度穿过人体切片,重建各组织对 X 光的吸收图。这个重建问题的数学工作围绕积分展开:沿每条路径把无数无穷小步长的衰减加起来。单条路径的净衰减不足以确定沿路的点对点模式(类比:和为 6 可以由 1+5、2+4、3+3 等多种组合得出),但沿"一圈直线"(所有方向)测量后,用傅里叶级数可以把二维重建问题化成一维问题再解。南非物理学家艾伦·科马克 1950 年代末完成了这个数学理论;英国电气工程师豪斯菲尔德 1970 年代初独立发明扫描仪,起初放射科医生认为他是疯子,拒绝见他,最后一位医生递给他一罐含肿瘤的人脑标本让他成像,他很快拍出同时显示肿瘤和内部出血的图像。1972 年他发表首批计算机断层图像,震惊医学界。1979 年两人共获诺贝尔生理学或医学奖。豪斯菲尔德在 EMI(Electric and Musical Industries)公司工作,这家公司签下披头士后利润翻倍、有资本支持他的"异想"——作者点出,从音乐到 CT,这条线索呼应了波动理论起于音乐的历史。纯数学家拉东比科马克早四十年就解决过同一问题,当时并无应用意图;科马克在诺奖演讲中说,他和同事推广到三维、四维,"有什么用?我不知道……我们研究它们,是因为它们作为数学问题本身就很有趣。"

微积分的未来

第十一章讨论微积分的发展前景。作者先澄清一个常见说法——有人以为微积分"已经结束了",1800 年代数学家清理完无穷与无穷小、夯实了基础。他认为这是误解:微积分由其信条定义(把连续问题切碎再拼回),这个信条在阿基米德那里已经出现,今天仍然有效。他承认自己在此是"少数派中的少数派",同事们不会把所有旁支都叫微积分,否则要开"微积分 4 到 38"课程;他写这本书正是为了展示各部分属于同一整体。

未来趋势作者列了七条,并只挑其中几条展开:社会科学、音乐、艺术与人文学科的新应用;医学与生物学的持续应用;应对金融、经济与天气的随机性;大数据服务微积分及反之;非线性、混沌与复杂系统的持续挑战;微积分与计算机(含人工智能)的联姻;量子领域的边界。

DNA的缠绕数

DNA 的缠绕数是"曲线谜题"的新生命。人体每个细胞约含两米 DNA,而细胞核直径约五百万分之一米,压缩比相当于把二十英里线绳塞进网球。真核生物用组蛋白(histone)作线轴缠绕 DNA,而更早的单细胞生物没有染色体和线轴,靠超螺旋(supercoiling)压缩——像拉紧橡皮筋再扭转,积累的扭转超过阈值就弯成三维缠结。1970 年代初美国数学家布罗克·富勒给出了这种缠结的第一个数学描述,定义了 DNA 的缠绕数并证明相关定理。作者说明这是用微积分处理离散对象(原子)的连续近似,是"唯一可用的游戏";拓扑异构酶(topoisomerase)能切断并重新连接 DNA 链,是细胞分裂所必需的,也是癌症化疗药物的靶点——药物抑制拓扑异构酶,可选择性损伤癌细胞 DNA,使其"细胞自杀"。

确定性、非线性与混沌

确定性及其限度引出柯瓦列夫斯卡娅。拉普拉斯设想的"拉普拉斯妖"若能掌握宇宙全部原子的位置与力,就能"让未来如同过去一样呈现在眼前"。柯瓦列夫斯卡娅(生于 1850 年)十一岁时卧室墙上糊着她父亲年轻时微积分课的笔记,她对着"神秘的墙"度过许多小时,后来成为史上第一位数学女博士,在魏尔斯特拉斯指导下获学位,在斯德哥尔摩大学任教,四十一岁死于流感。她在刚体(如陀螺)动力学上做出两个结果:找出一个此前未知的、可完全求解的"可积陀螺";并证明不再有别的此类陀螺——这类公式不存在,不是因为聪明程度不够,而是数学上不可能。她用这个结果给微积分的能力划了边界:如果连陀螺都能挫败拉普拉斯妖,就根本谈不上为宇宙的命运找公式。这与她研究的方程是非线性有关:非线性系统里,整体不等于各部分之和,原因与结果不成比例(两人同秤重等于各自重量之和,但同时听两首最爱歌曲得不到双倍快乐;酒精与药物同服可能致命)。非线性使方程极难分析,数学家一直避开它。

混沌是本章的重要概念。庞加莱以为自己解出了三体问题,改正错误后虽然没解出,却发现了混沌:初始条件的微小差别被指数放大,误差雪崩,长期无法预测。混沌系统不是随机的——它们在短期内确定可预测,有"可预测地平线";整个太阳系的这一时标约为四百万年。庞加莱发展出定性方法,用矢量场图代替公式:钟摆的角度与速度构成二维状态空间,箭头指示下一刻往哪里走,图上能看出伽利略和牛顿没考虑过的"绕顶旋转"运动。作者引用莉特尔伍德与卡特赖特的战时工作:1938 年英国政府请伦敦数学学会帮忙解决雷达放大器中的异常振荡,卡特赖特和莉特尔伍德发现放大器是非线性的,被过强过快驱动时会混沌响应——"是方程本身的过程"。弗里曼·戴森回忆,雷达的整个二战发展都依赖大功率放大器,"是生死攸关的事",制造者受了冤枉。

计算机与人工智能

战争需求催生了计算机。差分分析仪(Differential Analyzer)用来算炮兵射表,ENIAC("电子数值积分计算机",integrator 即积分器)1945 年完成,还评估了氢弹的可行性。和平用途随之而来:1950 年代霍奇金与赫胥黎研究鱿鱼巨大轴突上钠、钾离子流如何产生神经脉冲,必须解一个非线性偏微分方程;赫胥黎用手摇机械计算器算了三周。1963 年两人获诺贝尔奖。作者说数学生物学是"非线性微分方程的无限制练习",正在逼近心律、流行病、免疫、基因调控、癌症等问题。

庞加莱方法的局限在于人脑只能想象三维以下的空间。抽象状态空间可以任意高维:三体问题有 18 维(每个物体 3 个位置坐标加 3 个速度,乘 3),现代 Hodgkin-Huxley 方程可有数百个变量、数百维。数学家有在任意维做代数运算的系统,但无法"看见"高维,这给庞加莱的视觉方法设了障碍。细胞生物学、经济、社会这类复杂系统恰恰需要高维,而柯瓦列夫斯卡娅证明无法用公式、人脑又无法想象图形,所以作者认为复杂非线性系统的数学"令人气馁",许多领域(经济、社会)还停留在"前伽利略、前开普勒"阶段——连模式都还没找到。

计算机与 AI 能带来洞见吗?1997 年深蓝击败卡斯帕罗夫,靠的是每秒评估两亿个局面,没有洞见;2017 年 12 月谷歌 DeepMind 的 AlphaZero 自学下棋几小时成为史上最强棋手,对 Stockfish 一百盘取得 28 胜 72 平,一盘未输,作者说它"表现出洞见"——进攻风格、冒险、下出大师和程序都想不到的棋。他把假想中的 AlphaInfinity 用于免疫学、癌症、意识等难题:若这些现象存在伽利略—开普勒式的模式而人类无法发现,超级智能或许能找到,我们只能坐在它脚边听它讲,理解不了它的推理。作者指出"洞见的黄昏"已经来临:四色地图定理 1977 年由计算机证明,无人能检查全部步骤,数学家"已经相信它是真的,想要的是理解它为什么真";开普勒球堆积猜想 1998 年由黑尔斯与弗格森用 18 万行代码验证。作者引用埃尔德什的说法,设想 AI 将来给出"来自天书"(the Book)的证明——"揭示定理为何为真"的最美证明。

结论

结论部分用三个例子说明微积分的"怪异的效力"。第一个是量子电动力学(QED):费曼是其主要设计者之一,这个理论把麦克斯韦电磁理论与海森堡、薛定谔的量子论及爱因斯坦的狭义相对论合并,它"满坑满谷"都是幂级数、积分和微分方程。通过费曼图求和的预测与实验一致到小数点后八位——优于一亿分之一。作者换算:一亿秒约 3.17 年,相当于计划精确地在三年后弹响手指、不看钟表也不设闹钟地卡到一秒。他借此反驳"科学与信仰无异"的说法:任何对到一亿分之一的理论,都不只是意见;它不必对到八位小数,许多理论错了,这一个还没有。

第二个是正电子。1928 年狄拉克为调和狭义相对论与量子力学,凭审美(美的理论更可能正确)选出一组约束,解他的方程时预言了反物质——与电子等价但带正电荷的粒子,质量约为质子两千分之一。1931 年他发表论文预测这种粒子与电子碰撞会湮灭,"我们会有理由惊讶,如果大自然没有利用这一点"。1932 年安德森在云室看到一条像电子但反向弯曲的径迹,编辑建议命名为"正电子"(positron)。狄拉克次年获诺贝尔奖,安德森 1936 年获奖。正电子今天用于 PET 扫描(正电子发射断层成像),能无创定位脑肿瘤和阿尔茨海默病相关的淀粉样斑块。

第三个是爱因斯坦与广义相对论。爱因斯坦把引力从瞬时超距的力改写为时空的曲率:"物质告诉时空如何弯曲,曲率告诉物质如何运动",这使方程非线性。他预言星光掠过太阳会弯曲,1919 年日食观测证实,他因此成为国际名人;理论还预言引力场改变时间流速——GPS 卫星在高处引力较弱、钟走得更快,若不修正每天会快约 45 微秒(45000 纳秒),而 GPS 需要纳秒级精度,误差会以每天约十公里累积。广义相对论还预言宇宙膨胀与黑洞,2017 年诺贝尔物理学奖颁给引力波的探测——2015 年 9 月 14 日探测器捕捉到比质子直径还小一千倍的时空震颤。作者以冬夜观星的场景收尾:人类在黑洞碰撞前就预知了那个波应有的声音,"因为我们听着,因为我们懂得微积分,我们听懂了那轻声细语的含义"。

资料来源与边界

作者在书末给出致谢、插图说明、注释、参考文献和索引。注释按章节标注了引文出处与延伸阅读,例如沃克《上帝讲的语言》、内茨与诺埃尔《阿基米德手稿》、格莱克《牛顿传》、谢特利《隐藏人物》等。书中引用的直接引语(伽利略、开普勒、牛顿、费曼、狄拉克等人的原话)大多有注释对应的文献页码。作者在序言中说明自己是应用数学家,写的是"按微积分来看的世界",并承认数学史家或纯粹数学家会讲不同的版本;他在第 4 章注明解析几何的优先权归属有争议(作者赞同西蒙斯的判断,费马先于笛卡尔),在第 8 章注明莱布尼茨求和的原始问题略有不同。历史人物轶事(如伽利略的吊灯、牛顿的苹果)作者都标出了可信度存疑,数字型案例(博尔特的瞬时速度、HIV 的病毒载量、波音机翼数量)来自论文或官方数据并给出参考文献。读者若想核对某句话或某个数字,可以从对应章节的注释进入原始来源。

文件末尾的"From Fish to Infinity"样章出自作者的《欢乐的X》,是出版社放置的原 EPUB 后置材料,与本书正文无关,上述提炼未采用其内容。