阿基米德 · 撬动地球

先把「掺假」翻译成数学。同样是一磅重，金子和银子占的地方不一样大：银子「松」，体积大；金子「紧」，体积小。每一种材料，重量与体积之间都有一根固定的比例——后人管这个比例叫密度：密度 ＝ 重量 ÷ 体积。

于是疑案有了清晰的算式。设王冠里纯金占一部分体积、纯银占另一部分体积，两块体积加起来，应当等于王冠的总体积。而王冠的总重量，也等于两块的重量之和。两条账同时成立——里面有没有银子、掺了多少，就藏在这两条账的缝隙里。

麻烦在于：算式的每个字母都要「读出数」来才管用。重量好办，一秤就有；体积却是空白——王冠的形状没法用公式算。整桩案子卡在一个字上：量。量不出体积，两条账就是一句空话。

再退一步想：其实不用知道体积的绝对数值，只要能比较——拿一样东西和王冠比，比出「谁占的地方大」就够了。这样一想，天地宽了：比体积，何必要公式？

浴缸里的那一声喊，喊的正是这个转弯。下一页，把那声喊翻译成一条定律。

坐进浴缸，水就往上涨；涨上去的水，得有地方去——沿着缸沿漫出来。漫出来多少？正好是身体浸在水里那部分「占的地方」。这就是阿基米德在浴缸里看清的事：水是不会说谎的量具。任何东西沉进水里，它挤开的水，恰好等于它自己的体积。

把这句话立成定律，就是后人所称的阿基米德原理：物体浸在流体中所受的浮力，等于它排开的流体的重量。物体压水，水还之以力；挤开多少水，就还多少力。

对金冠案来说，要用的只是原理的前一半：排开的水的体积＝物体的体积。这一步的意义怎么估都不为过：王冠千奇百怪的形状，从此不再是障碍——形状算不出的体积，交给水来量。而水量的体积，可以接进一只碗、一只杯、一杆秤。

于是案子通了。两条账的缺口——那个量不出的体积——被水填上了。剩下的只是按部就班的操作：称一称，浸一浸，比一比。

传说阿基米德当场跳出浴缸，光着身子冲上街，一路喊着希腊语「尤里卡！」——我找到了。这句话从此成了「顿悟」的代名词。但数学史要替他说句公道：那不是天上掉下来的灵感，是一桩悬案逼了几天的成果。

维特鲁威记下的操作方案，一共三步。第一步：取一块和王冠同样重的纯金。第二步：取两只盛满水至盆沿的盆，把王冠轻轻沉进第一盆，溢出的水接在杯里——这是王冠的体积；把金块沉进第二盆，同样接水——这是金块的体积。第三步：比较两杯水。若金杯的水多，说明王冠占的地方大——里头一定掺了占地方更大的银。

算一个具体的账。设王冠重 1000 克，纯金的密度约为 19.3 克每立方厘米，则纯金王冠的体积约为 1000÷19.3，约 52 立方厘米；银的密度约 10.5，若工匠掺了三成体积的银，王冠体积约为 36.4＋0.3×1000÷10.5×1.0 的量级——总之，掺银越多，排水越多。两杯水一比，工匠的账本就摊在桌上了。

维特鲁威记的结局是：查出掺银，工匠被抓个正着。后世的注家还补过一个更利落的变体：王冠、等重的金块、银块三者分别挂上秤浸入水中——谁在水中「变轻」得多，谁的体积就大——浮力把排水量直接折成了重量。

这就是第一幕的解法：不熔王冠、不开王冠，让水替王冠开口。内部的事，从外部读出来。

跷跷板人人坐过：轻的那头要坐得远些，重的这头坐得近些，板才平。把这个日常经验写成一条精确的定律，就是杠杆原理：平衡时，两端的重量之比，等于两端的臂长之反比。左边挂 2 的重物，右边挂 1，那么右边的臂长要是左边的两倍。

写成一行：左重乘左臂 ＝ 右重乘右臂。这行式子妙在两点。其一，它把「力气」的较量变成了「乘法」的比较——重量和臂长各管一个因子，可以此消彼长：想用 1 份力气撬 100 的重量，臂就放长 100 倍。「撬动地球」的豪言，不过是这条乘法表推到尽头的一句话。

其二，它和天平说的是同一件事。天平是等臂的杠杆——两端一样长，所以平衡就是「两边一样重」；跷跷板是不等臂的天平——臂长把重量「折算」了。换言之，杠杆是一杆可以改变刻度的秤。

阿基米德的天才不在于发现跷跷板——那人人都会——而在于他做了一件此前无人做过的事：把这条手艺写成欧几里得式的书。公理、定义、命题、证明，一步不漏。《论平面图形的平衡》第一卷，从他立下的七条公理出发，一路证出杠杆原理。

从此，物理规律第一次拥有了数学的身份：不是经验，是定理。

杠杆原理里藏着一个新名词：重量「挂在」哪一点？一块石头是连续的一整块，它的重量分布在整个身体上——可挂在绳上时，它表现得像整个重量都集中在某一点。这一点，阿基米德给它立了法：重心。

重心不是玄想，它能「算」。《论平面图形的平衡》第二卷算了一串图形的重心：平行四边形的重心在对角线交点；三角形的重心在三条中线的交点——三条线恰好在同一点相遇，这件事本身也要证明。抛物线弓形的重心，他后来也算了出来——那正是《方法》里杠杆配平戏法的主角之一。

为什么重心是杠杆的钥匙？因为有了它，任何形状的东西在杠杆上都可以「简化」：一整块板，当作挂在它重心上的一个点。千奇百怪的形状——王冠的难题又来了——再一次被一个「读数」代表。

细看这个概念的脾气：一块板的每一寸材料都真实存在，可「重心」这个点常常落在物体外面（比如圆环的重心在环中央的空洞里，那里什么都没有）。它不是「一块特别重的材料」，它是全体重量的一次合并记账。

本册已经见过两次这种手法了：密度把一堆材料并成一个比例，重心把一整块板并成一个点。阿基米德的算盘，总是把「许多」并成「一个」。

抛物线，是一条曲线。它的「弓形」——曲线与一条弦之间围出的那片月牙形——面积是多少？ curve 不是直线，面积没法用底乘高。阿基米德的答案漂亮之极：弓形面积，恰好是那个内接三角形的 4/3 倍——三角形取弦的两端与曲线的顶点。一个整数比，管住了一条曲线。

他是怎么找到这个答案的？《方法》——那封写给埃拉托色尼的长信——留了现场。他的做法堪称脑洞：把弓形竖起来，切成极窄的竖条；每个窄条都被看作挂在杠杆一头的微小重量；另一头挂上相应拼起来的三角形与圆柱切片。杠杆原理一上场，两边配平——一称，答案就出来了：4/3。

注意这手法的胆量：他把面积当重量称，把曲线图形当成无数薄片的叠合。这两步在几何上都是「犯规」的——面积没有重量，薄片有没有穷多层。阿基米德心知肚明。他在信里亲口叮嘱：这只是「发现问题」的门径，不是「证明成立」的道路；公布答案之前，他会再用穷竭法把每一步焊死。

发现归直觉，证明归严谨——两条腿走路，缺一不可。这封信在古代辗转抄写，后来失传一千多年；一九〇六年它在一本刮掉旧字的祈祷书底下重见天日。这是本册最大的支线故事，第四幕与延伸篇细讲。

下一页，先看这双手艺的另一面：他给攻城的机器，又是怎么想的。

夹住圆的两张网，从最规整的六边形开始。在圆周上均分六点，连成内接正六边形——它的六个顶点都站在圆上，整条边都缩在圆里：内接形的周长，一定小于圆的周长。再把六边形向外「撑」：让六条边各与圆相切一点，撑成外切正六边形——它把圆整个罩住：外切形的周长，一定大于圆的周长。

于是一上来就有一笔夹逼的账：圆周长，比内接六边形的周长长、比外切六边形的周长短。六边形太粗，缝太宽——内接六边形周长只有圆的三倍直径（3d），离 π≈3.14 还差得远。

缩缝的办法只有一个字：加。每条边对着的圆弧一分为二，六边形翻成十二边形；再分一次，二十四；再四十八、九十六……每翻一倍，内接形就往上「鼓」一点，外切形就往里「压」一点，两张网一寸寸向圆收缩。缝越来越窄，圆被夹得越来越紧。

到九十六边形，阿基米德停了手。这时内接形的周长已经贴到圆的 3.1408 倍直径以下，外切形已经压到 3.1429 倍以上——π 被夹在 223/71 与 22/7 之间，动弹不得。

九十六不是拍脑袋选的数：每翻一倍，计算量翻几番，而全靠手工的算术——下一页一笔笔算来。

倍增一次，要做多少算术？拿内接形说：已知边数与每条边，求翻倍后的新边长。这要添一条辅助线（半边与圆心连出直角三角形），用勾股定理算出新边的「半长」，再把根号算到底。每翻一倍，根号套着根号，分数越叠越厚——而那时候没有小数点，没有计算器，只有希腊人的一套分数记法与惊人的耐心。

阿基米德算到 96 边，中途要反复与 √3 打交道。他的对策还是老手艺——夹：不直接算 √3（算不尽），而是用两个分数把它夹住，取 265/153 作下界、1351/780 作上界。凡是要用 √3 的地方，他就用「偏小的」或「偏大的」那个代替，保证误差永远只往一个方向偏。

这个细节值得停一停。他不知道每个中间量的准确值，他只知道方向——这个值比真值大还是小。靠着对方向的把握，几十步计算层层累积，误差却始终被摁在同侧，最后一步一读数：上界 22/7，下界 223/71。

这正是穷竭法的真味：不追求每一步精确，只保证每一步的偏差方向清楚、且能被下一层夹住。四轮倍增下来，两张网收得又紧又稳。

本册不逐行复算九十六边形（那是大学古典数学课的功课），但要点全在上面了：勾股、分数、方向、夹逼——四样工具，一副耐心。

「边数一直翻倍，多边形最终变成圆」——这个说法听着痛快，古希腊人却不肯写进证明里。无穷个步骤永远做不完，「最终」两个字在他们的逻辑里无处落脚。穷竭法的严谨，恰恰在于从不真正走到无穷。

它的证明骨架是「两步夹住、归谬封口」。第一步，立界：无论圆多大，总能选出一张足够密的网，使内接多边形与圆的差、外切多边形与圆的差，都小于任意指定的缝隙——这一步要有一条「穷竭原理」作保证（缝隙可以任意地小）。第二步，归谬：假设圆面积比三角形大出一个缝隙 ε，那就把网加密到缝隙小于 ε——内接多边形比圆小，却比三角形大，而它又是三角形多出来的零头拼出来的——两头夹死，矛盾；假设比三角形小，同样归谬。两头都矛盾，剩下的结论只有一个：恰等于三角形。

注意这套做法的脾气：它不宣称「无穷步之后等于」，它只说「任何缝隙都塞不进去」——面积差被挤进一个可以任意小、又必须为零的角落。严谨到今天：这份证明拿现代标准检查，一字不用改。

十七世纪发明积分时，人们重新用的正是「切片、求和、取极限」这套思路——只是胆子更大，敢把无穷当运算写。微积分的严格化，又要再等两百年，等出一位把「缝隙」写成 ε 的柯西——那是第 16 册的故事。

把三件同门同户的立体排成一排：等底等高的圆柱、圆球、圆锥——圆柱的高与底面直径恰好是球的两倍尺寸关系（球的直径＝圆柱底径＝柱高的一半）。三者之间，藏着两个干净的整数比。

先说圆锥。圆锥的体积，是等底等高圆柱的三分之一。这个结果阿基米德的前辈已经拿到：德谟克利特最早「看出」，欧多克索斯用穷竭法证死。它是穷竭法的第一件战利品。

再看球。阿基米德的球：体积＝(4/3)πr³；而那只外接圆柱（底半径 r、高 2r）体积＝2πr³。两下一除：恰是 2/3。表面积同样：球面 4πr²，圆柱全面积 6πr²，又是 2/3。

换个更亲切的记法：球的体积，恰好等于圆锥与圆柱之和的算术游戏——圆柱是三份，球占两份，圆锥占一份。三件套从此被一条「2 比 3」的绳拴牢。

这些公式今天写在初中课本里，像从来如此。可要知道：π 本身是个算不尽的无理数，r³ 是一个弯曲立体的三次方——两者相乘还能得出一个严格证明的、与任何实测无关的精确关系，这在人类史上是头一遭。下一页看证明的门道。

球是个「处处弯」的立体，圆柱是「处处直」的——直的怎么框住弯的？阿基米德的路子，是把球切片：用一叠平行平面把球切成薄薄的书页。每一页都近似一个小圆柱：厚度一样，半径不同——中间的页胖，两头的页扁。

每一页的面积都可以算出来：它是个圆片，半径可由勾股定理从「离球心多远」推得。于是整只球变成了一列会算的圆片：从极到极，从零半径鼓到最大再缩回零。同样的刀切下去，圆柱的页是清一色的胖，圆锥的页是匀匀地瘦——三列圆片，一列弯、两列直，摆在同一杆天平上。

《方法》里那封信干的就是这个：把球与圆锥的每一页切片挂上杠杆，与圆柱的对应切片配平。整杆天平一稳，总账一结：球加圆锥恰等于圆柱的四倍——移项，球的体积，正是圆柱的 2/3。

而后穷竭法上场，把「切片」的语言翻译回希腊几何的严谨：把切片改成有限层的厚板，误差挤进任意小的缝隙，归谬封口。直觉找到了答案，证明锁死了答案。

一列会算的薄片——一千九百年后，这列薄片有了新名字：积分。阿基米德翻完了他的那一册，后人的那一册更厚。

圆的面积公式，其实是一条「一维拐弯」的胜利：把圆周这条曲线的长度，折成「半周乘半径」。球的公式难一层：体积是三维的量，表面积是一片完全弯曲的曲面——连一条直边都没有。球面积＝4πr²，意味着那片无限光滑的曲面，可以精确折叠成四个半径圆盘。

阿基米德证明这组定理的路数，还有一层深意值得说：他不是「测」出来的，是推出来的。测量永远有误差——π 的小数位永远排不完；可 2/3 这个比，一个百分点都不差。弯曲的世界里居然住着整数比——这比数字本身更让人震动：曲与直之间，横着一座精确的桥。

还有一层：这组定理是成套的。体积、表面积、外接圆柱、比例 2:3——四件事在书里互相咬合，前一件为后一件铺路，逻辑链条一路可回溯到最初的公理。这是希腊数学「演绎金字塔」的完美示范：底座极小（几条公理），塔尖极重（球的全部秘密）。

也难怪他要它上墓碑。一个人一生的品味，会浓缩成他最得意的那件作品：阿基米德的品味，是「曲被直框住、无穷被整数收编」。墓碑上那组线条，就是他的墓志铭。

城下的战鼓已经擂响了。下一页，回到被围的叙拉古。

阿基米德的记法，思路是「以万万为台阶」。第一阶：从 1 到万万（一万万，即 10⁸）——这是旧记数法的全部地盘。第二阶：以「万万」为新的单位，再数到万万倍——地盘扩大成 10¹⁶。第三阶再翻一番，10²⁴……每一阶都是前一阶的万万倍，阶上有阶，永无尽头。

用今天的指数记号看：第 n 阶的地盘是 10⁸ⁿ。他给这些阶起了名字——「第一阶数、第二阶数」，还顺手给更大的结构留了扩展位。这套记法在精神上，与今天科学计数法的指数世界只隔一层纸：都是「用乘方压缩庞大的量」。

数沙的账单可以演一段。一个罂粟籽里能塞下一万个沙粒（他取的偏大值）；一指宽排四十粒沙，那么一指宽能排多少罂粟籽——一粒籽占多大地方——如此一层层折算上去：一粒沙的「地盘」有多小、一个体育场能装多少沙、一座岛能装多少沙、地球能装多少沙，每一行都是一个具体的数。

最后是宇宙：以太阳为中心、扩展到「恒星天」的球体（按当时最大的估计，宁大勿小），装满沙——8 后面跟 63 个零。这个数，今天用科学计数法写作 8×10⁶³。

拿这套记法，他说，全宇宙的沙不但数得清，连写在纸上都占不满一页。

数宇宙的沙，得先量宇宙的大小；量宇宙，得从量太阳开始。《数沙者》里，阿基米德顺手做了一项精细的天文测量：太阳的视角。太阳看着多大？他用一具长杆瞄准器（类似尺子加小孔）反复量测，得到的结论是：太阳的视角小于圆周的 1/164，大于 1/200——换算成今天的说法，约在半度上下。

数字本身平平无奇，讲究在做法。直视太阳会伤眼（他信里明说了），所以他用小孔与瞄准杆把测量做成「可重复的几何」：量的是角，不是亮度；记录的是上下界，不是单值——「夹」的手艺，第三次出场。同一封信里他还批评了前人的数据：阿里斯塔克给的地日距离，被他判定「太小」，宁可取大——量宇宙的尺子，宁长勿短。

这一页的深意，与数沙的主线相同：宇宙大到无法想象？那就一层层折算——沙粒对罂粟籽，籽对手指，手指对人，人对地球，地球对太阳轨道，轨道对恒星天。每一层都给出明确的倍数，层层相乘，宇宙的「直径」就落在一个具体的数上。

这是历史上第一次有人把「宇宙的尺寸」当成一道算术题来做。答案当然过时了（今天知道宇宙比那大得多得多），但做法永不过时：太大的东西，用比例去够。

阿基米德造的这套记法，最值得琢磨的不是那个 63 位数，而是造它的原理：数词不够用，就造「进位的原理」——把已经到顶的计数单位打包成新的单位，打包可以无限做下去。希腊字母记数法的词库里没有词了，他造的不是新词，是造词的机器。

对比一下当时的世界。希腊人用字母表记数：α 是 1，β 是 2，十个字母记十位，再借九个字母记百位——词汇量到「万」封顶。巴比伦人有位值制的雏形（六十进制），却缺一个表示「空位」的符号。真正的十进制位值制连同「零」，要等到印度数学家手里才长成，再经阿拉伯世界传入欧洲。

阿基米德踩在这两样中间：他有位值的灵魂（阶与阶之间恰恰是「满万万进一位」），却把它做成了「级」的塔——一个可以无限长高的记数塔。今天我们写 8×10⁶³，用的指数记法正是这座塔的现代版：10 的幂一阶阶上去，永无尽头。

数沙这件事的意义也在此收口：表面上他数的是沙，实际他展示的是——任何大的东西，都敌不过一套会自己生长的记法。数学的对象第一次超出了「世界有多大」：数的世界，比世界大。

下一页回到城墙——那座城，等不到沙数完了。