尼罗河的丈量

第 1 章 尼罗河的丈量：几何出生在泥地里

两千六百年前，希腊历史学家希罗多德坐船溯尼罗河而上，看到一个让他着迷的现象：每年夏天河水泛滥，把田界的土埂冲得干干净净，洪水退去之后，埃及人要重新丈量土地，按照重新量出的面积征收赋税。他在《历史》第二卷里写下了自己的判断：几何学就是因为这个才被发明的，然后传到了希腊。这个说法在两千多年里被无数教科书重复，也被越来越多的现代学者挑剔。这一章我想把这件事摊开来看：埃及人到底会什么，会到什么程度，他们留下的是不是可以叫几何学，以及为什么说现代数学真正的出生证明不在尼罗河谷，而在六百年后爱琴海对岸的希腊城邦。这是全书的第一站，也是我想贯穿全书的一个问题的起点：几何学不是一套从天上掉下来的定理，它是人类在不同的地方、出于不同的焦虑、一层一层攒出来的。

尼罗河的馈赠与泛滥的田野

先看地理。埃及是被沙漠夹住的一条绿带，尼罗河从南往北贯穿全境，每年六月到九月上游的季风降雨和埃塞俄比亚高原的融水让河水上涨，淹没河谷两岸的耕地。希罗多德在《历史》第二卷第九十七节描写过这幅景象：河水漫过田地，整个国家变成一片内海，城镇像海岛一样露出水面。洪水带来上游的沃土，这是埃及能养活庞大人口、能建金字塔的根本原因，但它同时是一场年度性的产权灾难。田埂没了，界碑埋了，今年这块地到底有多大，谁也说不清。埃及的政治机器建立在一个技术问题之上：丈量必须每年重来一遍。

希罗多德在第二卷第一百零九节讲得相当具体。他说埃及国王塞索斯特里斯把土地按矩形分给臣民，每年征收与面积相应的租税；洪水冲走一部分土地之后，国王就派人去重新丈量，按缩小后的面积调整税额。他接着写道：「依我看来，正是由于这件事，几何学才首先在埃及被发明，随后传入希腊。」这里要小心处理。希罗多德不是数学家，他是个爱听故事的旅行家，他给出的与其说是几何学的起源考据，不如说是希腊人自己的一种自我认知：我们公认这套学问是从埃及来的。有意思的是，他在同一节里还说，希腊人是从埃及人那里学会使用日晷和把一天分成十二小时的。把他整段话合起来看，他说的是埃及作为技术源头的整体形象，几何只是其中一项。

比亚里士多德更晚一点的记载从另一个角度补了一刀。《形而上学》第一卷里，亚里士多德说数学技艺之所以最先在埃及兴起，是因为那里的祭司阶层享有闲暇。这句话在希腊读者听来顺理成章，但把两段话放在一起读会露出矛盾：希罗多德说的是被税收逼出来的实用压力，亚里士多德说的是有闲阶级的静观。这个矛盾恰恰是理解几何学起源的钥匙。实用丈量确实发生在埃及，而且规模惊人；但把丈量经验提炼成不依赖具体田地的普遍命题，这件事是希腊人在闲暇和辩论的传统里完成的。两种起源叙事各对一半，而全书的任务就是看这一半和那一半是怎么接起来的。

后世作家还在给这个判断添注脚。公元前一世纪的地理学家斯特拉波在《地理学》里同样强调埃及的几何源于丈地，并且补充说尼罗河泛滥让土地测量成为年年要做的功课。老普林尼在《自然史》里则干脆把几何学的发明人写成埃及人，还认真排出了一个发明家谱。这些晚出的说法如今没人当信史看，但它们共同说明一件事：在整个古代地中海世界，几何学出生于尼罗河谷是各家的公论，没有人觉得需要辩护。真正的分歧出现在近代，十九世纪文献学家把埃及和巴比伦的数学文本陆续解读出来之后，人们才发现古代的公论需要重新校对，希腊人的叙述里有他们对东方的敬意，也有他们对自己独创的那部分的自豪，两样东西常常缠在同一句话里，拆开它们是近两百年数学史研究的主要功课。

还要说一句埃及数学的邻居。几乎同时期的巴比伦人在泥板上留下了远比埃及发达的计算传统，比如耶鲁大学收藏的泥板证明了他们能算出根号二的近似值精确到小数点后六位，普林顿三二二号泥板上排着一大张满足勾股关系的整数组。巴比伦是天文学家和账房的国家，埃及是土木工程和土地管理的国家，两种土壤里长出的数学口味不同。所以当我说几何学的童年时，我指的是一个地中海东部共享的实用数学世界，埃及是其中最响亮的名字，但不是唯一的源头。这个交代不是学究式的免责，它关系到我们怎么评价埃及人的真实水平。

拉绳者：河谷里最早的测量员

埃及有一类专职技术人员，希腊人管他们叫拉绳者，埃及语自称的写法大概是「绳的管家」。这批人就是尼罗河谷的测量员，洪水之后重新划定田界是他们的年度任务。公元前十四世纪底比斯贵族墓的墙壁上留着他们的工作画像：门纳墓和杰塞尔卡罗森内布墓的壁画里，一队人拿着打了结的绳子沿着田埂走，旁边站着拿调色板的书记官记录数字，监工拄着棍子。画面上方写着他们的对白，大意是干活加把劲，法老在等着收成。这些壁画常被数学史著作拿来当插图，因为它是我们能看到的最早的测量工作现场，比任何文献都直观：绳、木钉、眼睛，加上一套传下来的口诀。

拉绳者是全能的工程技术人员，除了量地还管放线定向。埃及人有一套自己的天文工具，一种叫梅尔赫特的铅垂瞄线器具，配一根称为贝的棕榈木条板，两人配合，一人持板瞄准北极星附近的恒星，一人守着铅垂线定中，就能在地面上放出精确的南北轴线。大金字塔那三分多到五分的定向误差，靠的就是这套看起来简陋的装备加无数次重复校核。工程史的经验是，精度从来不是仪器单方面给的，是仪器加程序加复核给的，埃及人深谙此道。二十世纪末德国考古研究所重新测量吉萨建筑群时发现，不仅单座金字塔定向精准，几座大金字塔还共同遵守一条统一的轴线安排，偏差同样控制在几分以内。这说明定向技术是标准化的行业技艺，不是一次性的好运气。

绳子是那个时代的全站仪。在绳上按固定距离打结，两人张紧，第三人定点，就能拉出指定长度的线段；把绳圈弯成三边，按特定的结距，就能得到一个可靠的直角。后人说埃及人用边长为三比四比五的绳圈摆直角，让金字塔的四角方正。这句话的后半段需要警惕，现存的埃及数学文献里找不到任何一处明确用三比四比五构造直角的记录，这个说法更多是从希腊作家的转述和后人的想象里长出来的。但前半段没有争议：绳确实是最重要的工具，拉绳者确实是专业工种，而且他们确实承担着为神庙和金字塔放线的任务。公元前五世纪原子论者德谟克利特写过一句流传甚广的自夸，说他游历各地，见过最多有学问的人，在画线证明这件事上，连埃及的拉绳者也超不过他。这句话被后来的教父作家抄录保存，它的价值不在自夸本身，而在一个希腊哲学家把埃及拉绳者当成了值得较量的对手，这恰恰说明在希腊人心目中，埃及代表着丈量技术的最高水准。

拉绳者的知识以口诀和范例的形式流传，这就是为什么我们今天考察埃及数学，靠的不是教科书而是纸草书，也就是写在莎草纸上的题集。他们没有定理，没有证明，没有一般性的陈述，他们的单位也不是十进制的简洁结构。埃及人记数用十进制但每一位有单独的符号，计算乘法靠倍加，分数几乎只用分子为一的单位分数，三分之二是个罕见的例外。这套算术笨重但可靠，足够支撑起一个庞大帝国的税收和工程。我的看法是，拉绳者的传统里最珍贵的遗产不是任何一条具体公式，而是一种职业态度：地是可以量的，量出来的数是可以算的，算出来的结果是可以在法庭上作数的。这种把空间数量化的默认立场，比任何单条定理都更接近几何学的精神内核。

莱因德纸草书：一部抄写员的数学手册

一八五八年，苏格兰律师兼古董商亚历山大·莱因德在底比斯购得一卷莎草纸文书，后来它以他的名字命名，藏于大英博物馆，编号五十六和五十八。这卷纸草书长约五米多，宽约三十二厘米，抄写于公元前一六五〇年前后，抄写者署名阿摩斯，更通行的希腊化读法是阿默斯。他在卷首写明，自己是照抄一份更古老的文献，原作写于第十二王朝阿蒙涅姆赫特三世在位时期，也就是公元前十九世纪。换句话说，我们手里的这份数学文献，本身就是近四千年前的复制件，它记录的数学至少有四千年历史。全卷现存八十四到八十五个问题，内容从面包的分配、啤酒的浓度、饲料的配比，到面积、体积、斜率，可以说是一部行政机关的数学题库。

它的算术面貌很特别。卷首是一张分数表，把分子为二、分母为奇数从三到一百零一的所有分数拆成单位分数之和，比如五分之二拆成三分之一加十五分之一。这张表占了全文近三分之一，是整部纸草书的引擎：埃及人处理任何分数运算都要先查表化成单位分数。今天的学生会觉得不可思议，一个能建金字塔的文明，算分数要靠背一张三米长的表。但不要急着嘲笑，这张表本身是高度优化的，很多拆法是同样限制下最短或最方便的，它背后有大量试错和筛选的智慧，只是这种智慧从不被写出来，它藏在表里，以结果的形式存在。

几何题集中在面积和体积部分。第五十一题给出三角形面积的算法：取底的一半乘高。第五十二题算梯形，取两底和的一半乘高。这两题的表述都是拿具体数字走一遍流程，没有一句解释为什么。第五十四到五十九题算的是土地分割。到了体积部分，第四十一题算圆柱形粮仓，用直径减去自己的九分之一再平方乘高，这实际上就是那个著名的圆面积法则。第四十三题同样的问题换了种等价算法。第六十题算一个可能是金字塔斜面的物体，给出了斜度的算法。特别值得停下来的是第五十六到六十题里的塞凯德，即水平每升高一肘，斜面后退多少掌，埃及的基本单位是一肘等于七掌。这是地道的工程语言，斜率不写成角度，写成每单位高度的水平偏移，直到今天的土木工程还在这么用。

关于斜率还有个值得记的事实。考古测量显示，吉萨几座金字塔的塞凯德取值相当一致，大金字塔的倾角五十一度五十分上下，对应的正是五掌又二指这个整洁的数，说明斜面的形状很可能不是靠角度定义的，是靠书吏熟悉的斜率定义的，而且存在全国通行的设计规范。至于皮特里本人，他在吉萨住的那几年条件艰苦到今天难以想象，为了防止游客干扰夜间观测，干脆把仪器架进金字塔里通宵守着，白天补觉。一九二五年他的同行用更新的方法复测了第二座金字塔，结果与他当年的数据基本吻合，这套数字从此成了讨论金字塔精度的国际基准。规范、常数、题库、检查，这四个词合起来是埃及几何的真实画像，把它们连起来看，你看到的已经是一个成熟的测量文明，只差最后一步，把为什么写出来。

把莱因德纸草书当成数学书来读，会失望；把它当成行政手册来读，会惊叹。它训练的是抄写员，抄写员的职责是执行程序，不是追问原理。全卷的题目几乎全是行政场景：第九题算的是九块面包按某种比例分给十个人，每人得多少；第七十到七十六题是一整套关于粮食储备的算术；第六十八题给一百个人分口粮。啤酒的浓度用普特计量，面包的配给按佩苏核算，这些题目让人看清一个事实：埃及数学的家不在神庙的星空下，在粮仓的账本上。书吏学校的孩子从抄这些题开始学徒生涯，伦敦大英博物馆里有一块训练用的石片，上面是学生抄写的单位分数表，抄错了擦掉重来，和今天的小学生没有区别。数学是一门首先服务于收税、配给和工程预算的文书技术，这个身份决定了它的文体，也决定了它的极限。

但我不同意那种把埃及数学贬成一堆经验规则的流行说法，理由在莫斯科纸草书那里。

一卷纸草的漂流：从盗墓到博物馆

莱因德纸草书本身的故事也值得讲，因为它是我们与古代数学之间那条细线的标本。一八五七年到一八五八年，莱因德在卢克索购得它，据信它出土于帝王谷附近拉美西斯神庙废墟里的一处藏匿点，很可能是盗墓者挖出后卖给古董市场的。它进入大英博物馆后并非完整：纸草书被切成两段，中间缺失的十几厘米碎块流落在外，一九二二年才在纽约布鲁克林博物馆的藏品堆里被辨认出来，那部分恰好包含几何题的若干段落。可以说，我们今天读到的第五十题，是被大西洋两岸两块残卷拼起来的。第一份完整研究是一八七七年德国人艾森洛尔出版的释义本，他第一次给出了全卷的转写和翻译。一九二三年英国埃及学家皮特出了校勘本，纠正了艾森洛尔不少误读。一九二七年起美国人蔡斯主持印行了照相摹真本加对照翻译，从此全世界的数学史课都能直接引用原图。这一百年的解读史提醒我们一件容易忘记的事：埃及数学不是一份自古摆在图书馆里的现成文献，它是被十九世纪的古文字学从废墟里一点点救回来的，而且救得并不完整。同样命运的可举例子还有卡洪纸草书和柏林纸草书，前者出土于法尤姆的卡洪城废墟，后者藏于柏林，里面有一道题用二次方程的思路解梯形分割，说明这类技巧并非孤例。我们对埃及数学的全部判断，都建立在这些幸存的几十卷文书上，样本小得可怜，下任何断语都该留三分余地。

莫斯科纸草书是另一部主要文献，由俄国埃及学家戈列尼谢夫一八九十年代在埃及购得，现存莫斯科普希金造型艺术博物馆，成书年代与莱因德纸草书相当或更早，只有二十五题，篇幅不到莱因德的三分之一。

圆的面积与最早的π

莱因德纸草书第五十题说：一块直径九肘的圆形田地，面积是多少？算法是：把直径减去自己的九分之一，得到八，八自乘得六十四，这就是面积。用现代话翻译，埃及人取圆面积为直径的九分之八再平方，相当于认为圆周率约为二五六比八一，算出来是三点一六〇五左右。这是人类历史上第一个明确的圆周率记录，误差不到百分之一。第五十题本身一行算法，什么解释也没有。但第四十八题给了一个惊人的暗示：那是一道把正八边形放进边长为九的正方形的题，图上八边形明显是被当作圆的近似来处理的，把正方形每边三等分，切掉四个角上的小正方形，剩下的八边形面积是八十一步，而圆面积按第五十题算是六十四步。八十一和六十四之间的关系正是九分之八的平方。学界主流的看法是，埃及人意识到了这个八边形近似，甚至可能就是从它出发凑出了九分之八这个系数。也就是说，第五十题的数字不是量出来的经验值，背后有一步真正的几何构造。

这件事我认为值得多说两句。从八边形近似推出化圆为方的系数，需要一种把图形关系转译成算术关系的能力，这种能力已经超出了纯粹的手艺，它在朝论证的方向探头。可惜纸草书的体裁是题解，不是论文，埃及人有没有进一步追问为什么八边形比正方形好，有没有人试过十六边形，我们永远不知道了。对比一下一千多年后的阿基米德，他用九十六边形把圆周率夹在三点一四〇八和三点一四二九之间，方法的核心同样是多边形逼近，但阿基米德写下了完整的证明和误差控制。从第四十八题到《圆的度量》，中间隔着的不是聪明程度，是文体的革命。

把三点一六〇五放进古代世界的坐标系里，更能看出它的分量。巴比伦人图省事，圆周率直接取三，《旧约·列王纪上》写所罗门铸造铜海，径十肘、围三十肘，用的正是这个三，可见取三是整个古代近东的通例。埃及人的二五六比八十一虽然高了不到百分之二，但方向对了，而且它有一个可检验的来源构造。这百分之二的误差在实践里完全够用，在思想上却意义重大：它说明埃及人已经在追问圆和方的换算，而这个追问的终点线，要到十八世纪人类证明π是超越数才画上。顺带说一句，莱因德纸草书里与圆有关的其他题也都用同一系数，四十一题的圆柱粮仓、第四十七题的分田，说明三点一六〇五是官方统一颁布的标准值，不是某个抄写员的私房数。标准化的常数是官僚数学的典型特征，好处是全帝国算出来的粮仓容量可以互相核对，代价是一旦这个值有误差，误差就会均匀地涂满整个账本。

莫斯科纸草书是另一部主要文献，由俄国埃及学家戈列尼谢夫购得，现存莫斯科普希金美术馆，成书年代与莱因德纸草书相当或更早，只有二十五题。它第十四题是全部埃及数学里最耀眼的成就：计算一个上下底为正方形的方棱台体积，给出的算法相当于底面积加上底乘顶再加上顶面积，三者之和乘以高的三分之一。用今天的记号就是标准公式。这个公式对那个时代来说是惊人的，因为方棱台不能拆成几个已知体积的块，它需要某种分割与重组或者极限式的论证，阿基米德后来在《方法》里说过，棱锥体积公式可以追溯到更早的德谟克利特，而德谟克利特正是那个与埃及拉绳者较劲的希腊人。一些数学史家据此猜想，埃及人手里有某种我们没见过的论证传统。我倾向于保守的立场：我们有把握说的是埃及人得到了正确的公式，至于他们怎么得到的，现有的证据不支持我们替他们写出证明。但即便如此，一个近四千年前就正确处理了方棱台体积的文明，无论如何配不上经验主义一脚踢开的轻蔑。

大金字塔：精度带来的争议

吉萨的大金字塔建于公元前二五六〇年前后，是胡夫法老的陵墓，原始高度一百四十六点六米，在林肯大教堂的尖顶建成之前，它当了三千八百多年世界最高的人造物。关于它的精度，最可信的数据来自英国考古学家弗林德斯·皮特里。他一八八〇年到一八八二年滞留在吉萨做测量，一八八三年出版《吉萨的金字塔与神庙》，用的是自己设计的仪器和通宵的观测。他的结果至今仍是标准参考：四条底边长度分别约二百三十点二五、二百三十点四、二百三十点三九和二百三十点三六米，最长与最短差不到二十厘米，相对误差约千分之一；四个基底角最接近直角的误差在几分以内；整个基底平面找平在两厘米多以内；四条边定向于正北的误差约为三分多到五分，也就是零点零六度左右。对一座两百多米见方、用两百三十万块石料堆起来的建筑，这个精度放在今天也是需要认真对待的工程成绩。

这些数字是怎么来的，是我们真正关心的问题。定向正北的误差只有几分，当时没有磁罗盘，最合理的解释是天文观测，对准北极附近的天体再修正。找平两厘米，靠的可能是在基坑四周挖水槽引水作水平基准。底角直角和等边长靠的正是拉绳者的绳。也就是说，大金字塔的精度不是奇迹，是系统性的测量纪律加上海量人力的结果，而支撑这套纪律的数学，就是我们在纸草书里看到的那种水平：够用的面积斜率算法，加上没有写下来的大量工匠经验。我认为这个结论比神秘主义的版本更有分量，因为它意味着公元前二十六世纪的人类，仅凭绳子、水和星星，就能把两百三十米的边长控制在千分之一的误差里，这本身就是对几何能力最好的证明，不需要外星人或失落的超级文明出场。

还有一个著名的数字巧合必须提。大金字塔底边周长与高度的比值，用皮特里的数据算出来约为六点二八三，与二乘圆周率六点二八三二惊人地接近，误差在千分之一量级。于是从十九世纪起就有人宣称埃及人把圆周率编码进了金字塔的设计。皮特里本人最初也被这类关系吸引，后来他公开承认当年的许多比例巧合站不住脚。今天更平实的解释是：这个比值可能是某个自然过程的副产品。一种流传较广的推测说，埃及人用滚轮法设计坡度，轮子滚一圈的长度对应高度上的某个固定比例，圆周率就会不请自来。这些解释都只是假说。我的判断是：金字塔的建造者没有留下任何表明他们知道精确圆周率的文献，莱因德纸草书的三点一六〇五才是他们官方认可的数值，把二π说成金字塔的设计密码，是把巧合当成了遗嘱。

工人的账本：二〇一三年的新证据

关于金字塔是怎么组织建造的，二十世纪的老说法是奴隶营，几十年间已经被彻底翻案。上世纪九十年代，考古学家莱纳尔在吉萨高地东南角挖出了一片工人村镇，有宿舍、面包房、啤酒坊、医疗站，骨骼分析显示工人吃肉、受伤后得到治疗，其中不少人就葬在金字塔脚下自家的墓里，墓志上写着专业小队的名字，比如「胡夫的朋友们」。这是拿工资或徭役配给的专业队伍，规模高峰期估计两万人上下，轮班作业。

真正的惊喜在二〇一三年。法国埃及学家塔莱特在西奈半岛对面的瓦迪贾尔夫海边洞穴里发现了一批纸草残卷，年代正是胡夫在位时期，是一个名叫梅雷的运石队长的日志。日志记着日期、任务和人员调度：他的小队负责从图拉采石场把上好的外套石灰岩运到吉萨，沿着开凿的运河，一船一船地记，经过胡夫的湖，把石头卸在金字塔工地。这些残卷是目前所知最古老的纸草文书之一，它把大金字塔从神迹的叙事里彻底拽回了人间：那是一个有日志、有调度、有问责的物流系统，背后站着的正是我们在莱因德纸草书里看到的那类书吏。有意思的是，日志里反复出现工程管理机构的名字，金字塔在那份账本里不叫奇迹，叫胡