数理史上的绝妙证明：六角密堆积证明及其它

来源：返朴

六角密堆积是平面上最有效堆积方式的证明乃是人类历史上最天才的数学证明之一。

数学家图

阿克塞尔·图 （Axel Thue， 1863-1922） 是一位挪威数学家 （图1），毕业于奥斯陆大学数学系，曾受数学名家索菲斯·李的指点，以丢番图方程、数论和组合方面的研究而闻名 （比如证明了方程 y3 - 2x2 = 1 不可能有无穷多组整数解），被誉为思想与成就皆超前于时代的人。笔者以为，其1910年关于六角密堆积是平面上最有效堆积方式的证明乃是人类历史上最天才的数学证明之一，也是促成笔者撰写这本小册子的原因。这个证明不仅简洁、天才、惊艳，最重要的是该证明的哲学、技巧以及相关联的思考具有深刻的启发性意义。

图1。 挪威数学家图

圆的密堆积

在桌面上摆放一把相同的圆形硬币，这会把我们引入平面上圆如何铺排 （tessellation） 的有趣问题。容易看到，一个硬币可以被六个硬币紧密环绕。所谓紧密的意思是，相邻三个硬币两两相接，形成一个正三角形；外围的六个硬币相互间是有接触的，没留下空隙（如图2）。把外围六个圆之间的接触点用直线段连起来，就得到一个围住中心圆的正六边形。如果我们只看这七个圆的圆心，它们的排列如图3中的七粒莲子所示（记住，大自然遵从数学和物理的规则！从前研究生物的人懂数学、物理、哲学和艺术，那时候统称博物学家），中间一个点，其余六个点在以其为中心的正六边形的六个顶点 （vertex） 上。图2中的圆在平面上的排列方式称为六角密堆积 （hexagonal close packing）。容易计算，圆铺排的面积占比，用圆的面积除以相邻四个圆中心所张成的、边长为圆的直径而夹角为60°/120°的菱形的面积，为

。这样的排列方式，是最致密的。那么，如何证明呢？

图2。 平面上圆的六角密堆积