🐝 蜜蜂根本不会算六边形，但它们的巢是 2000 年前就存在的最优解

目录

• 1712 年，一台给星星用的仪器，量出了蜂房的角度
• 为什么偏偏是六边形：一场关于「省料」的军备竞赛
• 蜂窝不只是六边形：那个 109°28' 的菱形屋顶
• 两千年接力：数学家们怎么一步步追上蜜蜂
• 反杀：蜜蜂的「完美」其实差了 0.035%
• 国内对照：中华蜜蜂，和它同样标准的六边形
• 我自己算了一笔账：3.7224，恰好是理论下限

1712 年，一台给星星用的仪器，量出了蜂房的角度

1712 年，一位法意混血的 astronomer（天文学家）Giacomo Maraldi 做了件奇怪的事：他拿一台用来给星星定位的天文仪器，对着一个蜂巢，量角度。

他量的是蜂巢底部菱形的角度，得到两个数：109°28' 和 70°32'。

Maraldi 当时大概只是好奇。他不知道这个数字会在接下来的 31 年里，让三位数学家轮番上阵，其中一位还算错了一次——错的不是思路，是查对数表时手滑。

这件事最妙的地方在于：蜜蜂自己从不量角度，也从不计算。 它们只是凭本能把蜡涂成一个个几乎完美的六边形格子，然后人类用了两千年，还没完全追上。

为什么偏偏是六边形：一场关于「省料」的军备竞赛

先问一个朴素的问题：如果要你用最少的墙，把一块平面分成面积相等的小房间，你会选什么形状？

• 正六边形，每单元周长 3.7224
• 正方形，每单元周长 4.0000
• 等边三角形，每单元周长 4.5590

六边形比正方形省 6.94% 的墙，比三角形省 18.35%。

这个问题的完整证明，是人类拖到 1999 年才由 Thomas Hales 完成的——这就是著名的蜂窝猜想（Honeycomb Conjecture）：在所有等面积分块中，正六边形网格的边界总长最短。证明给出的理论下限是 2·⁴√12 ≈ 3.7224。

对蜜蜂来说，省墙 = 省蜡 = 省蜂蜜。蜂蜜是它们冬天活命的食物，蜡是要用蜂蜜换的（下文有账本）。在生存压力面前，「最优解」不是聪明，是刚需。

蜂窝不只是六边形：那个 109°28' 的菱形屋顶

如果你只看蜂巢侧面，会以为它是简单的六棱柱。但蜂房是三维的——每个格子的底部不是平的，而是由三个菱形拼成的「尖屋顶」，两个背靠背的格子共享这个屋顶。

这个三菱形底的几何，是蜂窝最精妙的部分：

• 菱形面的夹角 120°（表面张力最小化）
• 三面交会的顶点角 109°28'16" = arccos(-1/3)

这就是 Maraldi 1712 年量到的那个数。而它为什么是这个值？因为这是「给定容积下表面积最小」的解——又是省料。

两千年接力：数学家们怎么一步步追上蜜蜂

这条时间线值得单独说：

时间	人物	事件
公元前 36 年	Varro	记载希腊几何学家已讨论六边形省料
约 300 年	Pappus	提出六边形铺满平面最省边（但没证明）
1712 年	Maraldi	用天文仪器量出蜂房角 109°28'
1739 年	König	首次从第一性原理计算，得 109°26'（差了 2 分！）
1743 年	Maclaurin	用微积分算出 109°28'16"，发现 König 错在查对数表误差
1943 年	Fejes Tóth	证明凸多边形特例
1965 年	Fejes Tóth	反杀：蜜蜂的三菱形底其实不是最优
1999 年	Hales	证明完整蜂窝定理：下限 = 2·⁴√12

故事的高潮在 1739-1743 年：König 算出 109°26'，比 Maraldi 量的 109°28' 差了 2 个角分——数学家们一度以为「蜜蜂比微积分更准」。直到 Maclaurin 用严谨的微积分算出 109°28'16"，才揭开真相：König 没错在数学，错在查对数表时出了误差。 蜜蜂是对的，数学也是对的，是中间那个人的手滑了。

反杀：蜜蜂的「完美」其实差了 0.035%

1965 年，Fejes Tóth 又给这个故事加了个反转：蜜蜂用的三菱形底面，其实不是理论上最优的三维几何。

他证明：一种「两个六边形 + 两个小菱形」的底面组合，实际上比三菱形省 0.035%（约 1/2850）的材料。这个差异小到什么程度？——在真实蜂巢的天然误差（个体细胞偏差几个百分点）面前，0.035% 完全无法测量，也完全不影响蜂群经济。

换句话说：蜜蜂不是「完美」，只是「够好到不需要更好」。 进化不追求最优，只淘汰不够好。

国内对照：中华蜜蜂，和它同样标准的六边形

中国本土的蜜蜂是中华蜜蜂（Apis cerana）——西方蜜蜂（Apis mellifera）的姊妹种，独立演化了几百万年。

有意思的是，中蜂同样筑出几乎标准的六边形巢脾。这说明六边形不是某种蜜蜂的「发明」，而是所有 Apis 属蜜蜂共享的、在各自演化树上独立收敛的答案——因为「等面积最小周长」这个物理约束，对谁都是一样的。

中国的养蜂业也把六边形用到了极致：从传统木桶蜂巢到活框蜂箱（Langstroth 式），都在顺着蜜蜂自己的几何来设计。人类没有发明六边形，只是学会了顺着它。

我自己算了一笔账：3.7224，恰好是理论下限

写这篇文章时，我把所有数字亲手算了一遍——不是查来的，是 Python 算的。

① 等面积单元周长对比（A=1）：

正六边形  P = 3.7224
正方形    P = 4.0000
等边三角  P = 4.5590
圆(参照)  P = 3.5449

然后我算了黑尔斯定理的下限：2·⁴√12 = 3.7224。

六边形周长 = 理论下限，差异 0.0000%。这不是巧合——Hales 证明的就是「六边形达到这个下限」，我算的是验证它。

② 109°28'16" 的来历：

arccos(-1/3) = 109.471221° = 109° 28' 16.4"

和 Maraldi 1712 年量的、Maclaurin 1743 年算的，分毫不差。

③ 蜜蜂的账本（蜡 = 蜜）：

• 产 1 lb 蜡，要吃掉 8.4 lb 蜂蜜（维基核实）
• 一个蜂房格的蜡 ≈ 15.5 mg，相当于 130 mg 蜜的代价
• 一箱蜂年产约 60 lb（27 kg）蜜 → 分泌约 3.2 kg 蜡

六边形比正方形省 6.94% 的壁料——对一箱蜂来说，这 6.94% 就是几百克蜡，几千克蜜。蜜蜂不知道黑尔斯定理，它只是付不起「浪费」的代价。

尾声：数学追了两千年，追上的是一群不认字的建筑工人

Maraldi 用天文仪器量蜂巢的那个下午，大概没想到自己开启了一场持续 31 年的数学接力；König 大概也没想到，自己错在一个对数表的小数点上。

人类用了两千年、至少五代数学家、外加发明微积分，才证明六边形是最优的。而蜜蜂用本能就做到了——不是因为它聪明，是因为它付不起错误的代价。

进化不是数学家，但它比数学家更有耐心：它用几百万次「不够好就被淘汰」的试错，收敛出了一个 0.0000% 误差的最优解，然后把这个解写进了每个工蜂的基因里。

所以我们看到蜂巢时该惊叹的，不是「蜜蜂会数学」，而是：在这个星球上，最优解往往不是被算出来的，是被活出来的。