前言

从阿基米德拼图游戏谈起

如果把奥数和初等数学看成绵延不断的伟岸山脉，那么组合几何绝对是最高、最为险峻的巅峰之一，让人怦然心动，心向往之；然而这样的比喻也不尽恰当，因为它忽略了这门数学分支的广度。

正如单壿教授所言，数学在今天已是博大精深。即便是奥数和初等数学也远未穷尽。为什么说在奥数乃至初等数学的众多分支中，组合几何绝对称得上最困难、最有趣、联系最广泛的一支呢?这是因为，就横向来说，它一边是奇异的组合(其实也与代数、数论沾边)，一边是直观的几何；从纵向来说，它脚踏初等数学的基石(尤其在命题的叙述上往往连门外汉也听得懂)，头顶的却是高等数学的深奥(主要指方法)；还应加上一点，就是它既有严谨的数学逻辑，又异常美丽。这样的一个“三维结构”，赋予这门学科极为特殊的位置，难怪不少现代数学大师都为之倾倒。例如著名的西尔维斯特问题，如今已是数学竞赛的例题，解答不过区区几行。然而在当时，为了得到这样一个巧妙的证明，人们被困扰了数十年之久。这也说明，数学家在追求至高无上的思维之美方面是永无止境的。IMO设立特别奖，就是为了奖励学生找到竞赛委员会未曾提供的巧妙解法。

组合几何正式成为一门数学分支只有半个世纪历史，但是与组合几何有关的问题，却可追溯到遥远的历史深处，比如中国的七巧板、波斯的织毯等。通常人们认为，数学家关注的第一个有名的组合几何问题，是关于球的最密填装的“开普勒（Kepler）猜想”，该问题历时近400年，方于1998年利用计算机解决。

近年来这一观点似乎受到了挑战。借助现代科技手段，人们初步破译了2000多年前古希腊大数学家阿基米德的一篇论文，结论是这篇论文在研究一个组合几何问题。原文已不可见，副本手稿是写在羊皮纸上的，已有近1000年历史，而且遭到古代僧侣的覆盖书写和收藏者糟糕的保存方法的破坏。1998年，该副本在一次拍卖中现身。此时它身上已经布满蜡迹和霉菌，字迹更加模糊。一个匿名富翁以200多万美元的代价拥有了它，并将它陈列在美国巴尔的摩市的博物馆里，直到今天。

科学家尝试用不同的办法破译羊皮书。不同波长的光谱拍摄分析表明，阿基米德的论文和僧侣的祈祷文虽用同一种墨水书写，但相隔200年的墨迹对波长有不同感应。2005年5月，斯坦福同步辐射实验室用X射线读取论文，再现了174页书中的3页，而全书的破译至少需要三四年时间。斯坦福大学的内茨(R. Netz)认为，在阿基米德的众多作品中，这篇论文总被认为是不重要的、难以理解的而被忽略。现在只有论文导言的一部分被保存下来。这里面提到了孩子们玩的一个游戏——用很多纸带拼出不同的图形。但是像阿基米德这样天才的数学家，毫无来由地关心这种玩意儿是没道理的。实际上，阿基米德是在试图计算把14条不规则的纸带拼成正方形一共能有多少种不同的拼法。细心、系统地计算才能得出答案为17152。组合学专家迪亚科尼斯(P. Diaconis)、霍姆斯(S. Holmes)、葛立恒(R. Graham)和金芳蓉等认为“这非常困难”。来自芝加哥的计算机科学家库特勒(W. H. Cutler)编写了一个新的计算机程序，证明该答案是正确的。有一本书专门介绍了这个故事。中译本首先在中国台湾出版，很多人都推荐这本书，包括院士、教授，还有一个知名女艺人；大陆中译本《阿基米德羊皮书》由湖南科学技术出版社于2008年出版。

时过境迁，斗转星移。与文史哲不同，科学的发展可谓一日千里，生命科学和计算机科学几乎彻底改头换面。数学的情形则介乎两者之间，当然，古典数学与现代数学毕竟也不可同日而语。那么，今天的组合几何究竟在研究什么呢？

数学家在创造数学时，将研究客体做了很多取舍和分类，形成了数学的层状结构。最底层的是代数和数量关系，图论基本上也属于代数组合学范畴，因为它的点和线只表示关系，位置和形状等不考虑在内(图论中的一部分则开始涉及这一领域，如可平面图、拓扑图论等)。实数理论、拓扑学等就更高一些，与连续性关系尤大。再上面就是几何学，关心图形的形状和测度(长度、面积等)。即使在几何学中，还有很多分层，比如在仿射意义下，三点共线、交比等都是不变的，但线段长度、角度大小就改变了。几何学似乎代表着数学最复杂的研究对象。平面几何的内容还算丰富，但圆锥曲线、立体几何乃至高维几何中，就难以用纯几何研究下去。组合几何，就是研究与几何图形的位置、形状、计数、测度等有关的组合问题。它也涉及高维，但与拓扑学类似，具有“后现代”的一种杂合而不纯粹的风格，即不再(也无法)拘泥于精致优雅的传统平面几何之细节(如很少涉及外心、欧拉线、费尔巴哈点等深入的几何概念)，偏向于一种粗线条的、漫画式的“示性”研究，然而却能有力揭示问题的实质，同样能充分体现思维之奇美。

对待组合问题的基本方法，是把其转化成一个代数或分析问题(对应和估计)，这样一来，许多极端复杂的组合细节就可忽略。这种努力类似于笛卡儿对平面几何的解析处理(平面几何的代数化和分析化)。但从效果来说，两者都有问题:解析法处理平面几何可能会产生意想不到的复杂性，而多数组合几何问题根本不可能使用解析几何解决。作为两个要被代数化和分析化的“复杂度较高”的学科(几何与组合)的交叉，其困难程度可想而知。

高维的问题更得益于代数的力量。对自然科学家来说，三维空间已足够复杂(连晶体、病毒或细菌的种类都难以搞清楚)，而数学家却执意要研究高维(在组合几何中特别明显)。代数是全部数学乃至科学中最基本的学科，其重要性不言而喻。当然，这并不等于说所有问题都可以还原为代数问题，也不是说代数问题就是简单的。事实上，即使是只处理二、三维空间，也有许多极为棘手的奥数几何问题。更何况二维到三维经常会出现质的突变，为数学家带来新的思维和想象。此外，在有的时候，运用几何来解决代数问题是很有意思的，甚至可运用物理的思想方法来解决数学问题，这种反向思维方式的确耐人寻味(一般人们总认为数学比物理基本)，这在本书中也略有提及。

〖JP2〗组合几何在近代就有许多出名的工作，她曾引起开普勒、牛顿（I. Newton）、高斯（C. F. Gauss）、柯西(A. L. Cauchy)、希尔伯特(D. Hilbert)等超一流大师的注意；不过，除了闵可夫斯基(H. Minkowski)，其他人恐怕只是“蜻蜓点水”而已。〖JP〗这门学科的真正发展是在20世纪中叶以后。1964年，哈德维格(H. Hadwiger)等写了本薄薄的小册子《平面组合几何》，可算是这门学科的开山之作。在此前后，爱尔特希(P. Erds)、博苏克(K. Borsuk)、罗格斯(C. A. Rogers)、托特(L. F. Tth)、格林鲍姆(B. Grünbaum)等大大丰富了组合几何的内容，解决了大量猜想，同时也提出了更多的问题，以至于克罗夫特(H. Croft)、福尔克纳(K. Falconer)、盖伊(R. Guy)撰写了《几何中的未解决问题》，这里的几何指的正是组合几何。近年来，国内引进出版的有影印版的《离散几何中的研究问题》(布拉斯(P. Brass)、莫泽(W. Moser)、帕克(J. Pach)著)、《球垛、格点和群》(康韦(J. H. Conway)、斯隆(N. Sloane)编著)，翻译出版的《组合几何》（帕克、阿加瓦尔(P. Agarwal)著)。这些书中有不少内容是初等的，是奥数选手和教练可以、也值得了解的。在国内，这方面的专家是宗传明教授，他写有《球的填装》等几部有影响的英文专著，还有几本科普小册子如《离散几何欣赏》，极为引人入胜(因为工作关系，笔者与宗教授保持着良好关系)。另一位笔者熟悉并尊敬的教授是数论及奥数专家单壿。他的《组合几何》介于专著和竞赛辅导教材之间，书中既有历史名题，也有不少竞赛题，别具一格，思路奇特，对初等方法作了淋漓尽致的发挥，非常值得阅读和收藏。笔者的这本书与单教授的不同，是完全服务于奥林匹克数学竞赛的。专业点说，数学研究既是对个人，更是对人类智能的挑战；而奥林匹克数学竞赛更多的是个人智能的体现。

说到“初等方法”，20世纪有位数学家特别值得一提，他便是伟大的数学宣道士爱尔特希。组合几何也算他的“强项”。与很多热衷于抽象概念的现代数学家不同，他在不断开拓新的“初等问题”，无可辩驳地揭示老祖宗和他自己新发明的一些初等方法非但没有进入坟墓，而且在今天仍具有很强的生命力，值得继续挖掘(同时也展示了“初等数学”的超乎想象的复杂性)。其他几位数学家也正在利用不断抛出的新问题向世人证明，我们或许对一些初等数学基本原理的理解还不够深刻(怀尔斯证明费马大定理的最后一步用的是抽屉原理!)。这对数学竞赛亦有深远影响。与平面几何乃至组合数学相比，从研究范围、主要结论和思维方法方面来说，组合几何要年轻得多(这使它成为今天数学研究和IMO命题的一片“新水域”)。平面几何已有几千年历史，非常成熟；组合数学也有几百年历史，有很多定理和结果。但是组合几何的问题和方法却异常丰饶、五花八门，自然也更加难以捉摸。当然这三门学科也有共性，如果要用尽量少的文字来概括，那么一个是“美”，一个是“难”。在历届IMO的试题中，如果组合几何问题出现在第3或第6题，没有一点数学天赋的人就甭白费脑细胞了。

本书有数十个结果是笔者自己的工作，也有一部分是别人的命题、本人提供的解法。人生苦短，时不我待。我也曾充满幻想，如今总觉得过去浪费了不少时间。只有加倍努力地学习，从学习中得到乐趣、提高自己，才不会虚度一生。和体育一样，做数学要以兴趣为主，如有点成就感则更好。自从接到一些写书任务后，觉得自己明显比以前要勤快，虽然也平添了几根白发。忙碌而压力小，是我认为的理想生活方式，至少是年轻时的实践。

特别值得一提的是，书中不少问题选自苏联的竞赛试题。苏联的命题(特别是组合方面)水平极高(也并非都是超级难题)，他们有这个传统，深为笔者欣赏。苏联已成为过去时，而这些问题的巧思却永远存在。有人说，这个世界最经得起时间考验的，一个是科学，一个是艺术。我认为，所谓“经得起时间考验”有多种含义。美的东西若缺乏真理性，就只能(或迟早会)待在博物馆或故纸堆里；而丑陋的数学或科学则只能用来应付考试。真正能突破时代局限的，能为一代代人所学习、所津津乐道的，最好同时具备真理性和艺术美。伟大的科学工作肯定是美的，好的数学一定是思维的艺术。希望大家在读这本书时，不仅能得到技巧和方法上的训练，也能够欣赏其中的美。

笔者在搜集、整理这些问题上花费了相当的工夫，还算基本满意，但由于太忙，远称不上尽善尽美，这也是有点遗憾的。数学的疆域极广，即使是奥林匹克数学，恐怕也找不出一个人拍拍胸脯说全都掌握了。就笔者本人来说，平面几何是最熟悉的部分，不等式和数论也还能基本应付，但是对于组合来说，仍然存在大量“盲区”。所以写这本书也是一个不断发现、学习的过程。我认为，要掌握数学，学习和思考都极端重要，缺一不可。对于实在太不熟悉的领域，还应以学习为先，否则就如进入一座迷宫或森林，不知如何是好。思考带来的惊喜固然是学习所无法替代的，但更多的思考却是“山穷水尽”而非“柳暗花明”。像庞加莱(H. Poincaré)这么天才的数学家也说：“思想无非是漫漫长夜的一线闪光，但这闪光即是一切。”(作为一名中国古诗词爱好者，笔者模仿凑了首《观题有感》。整个探索过程犹如漫漫长夜之后见到阳光，确实辛苦异常，但心情并非痛苦或沉重，甚至还有些享受。)爱尔特希也感叹：“最好的证明其实写于天书之中，而数学家只不过有幸能瞥见那一页半纸。”时时念叨大师的肺腑之言——也因为自己的经历而有点感同身受——尽管无论在思考的深度还是强度上均不能与之相比。

在国外，数学竞赛这项活动一直非常健康地开展着。无论是学生、教练还是命题者，兴趣都远大于名利。奥数在那里真正成为了“奥妙的数学”。当我们欣赏那些原创性很强的数学艺术之际，无从得知这些奇思妙想究竟出自相隔万水千山的哪位高人之手；难道我们从未感受到那种超越时空的“切磋”所带来的震撼吗？其实，这本书并非由一个作者，而应该是由几十位作者共同写就的。在IMO50周年之际，向发起数学奥林匹克活动并将之发扬光大的(特别是罗马尼亚、俄罗斯等国的)数学工作者致敬。

最后，衷心感谢单壿教授，他仔细地审查原稿，个别题目甚至重新写过；同时还要感谢我的亲友与同事，没有他们热心帮助我这个半电脑盲，本书乃至其他作品的问世可能还要拖延一段时间。



田廷彦

2009年12月