通俗易懂地讲解开普勒猜想！〜如何将西瓜装得最满〜
大家好，我是 kenji！
今天我想尽可能通俗易懂地为大家解释一个名字听起来有点难的数学话题——“开普勒猜想”。
乍一看，这是一个非常硬核的话题，但实际上它也是一个与我们息息相关的问题：“如何将西瓜紧紧地装进箱子里？”。它不仅与便利店的冰箱有关，也与货物的堆叠方式有关。
而且，在数学界，这是一个 400多年来都无法被证明 的充满浪漫色彩的故事。
那么，我们开始吧！
开普勒到底是谁？
首先，“开普勒猜想”中的“开普勒”是谁呢？
他是德国天文学家、数学家 约翰内斯·开普勒（Johannes Kepler）。
这个人非常了不起。 例如，发现行星轨道是椭圆形的就是他。这在今天已经是常识，但在当时（1600年左右），连日心说都还没有被完全相信。
- 伽利略 ＝ 观测天才
- 开普勒 ＝ 用数学公式解释宇宙的天才
- 牛顿 ＝ 将其理论总结为物理定律的超级天才
大致是这样的定位，开普勒可以说是“用数学公式讲述宇宙”的先驱。
然后，有一天他提出了这样一个问题。
什么是开普勒猜想？
“开普勒猜想”简单来说，就是这样一个问题。
当将同样大小的球（西瓜或橙子）装进箱子时，哪种排列方式能装得最满？
就是这样一个问题。
开普勒在1600年代的猜想是：
像蔬果店里摆放橙子那样，堆成类似三角形的方式是不是效率最高？
就是这样。
用数学的话来说，这被称为“最密堆积问题（Sphere Packing Problem）”，即寻找将球体最密集地填满空间的方法。
开普勒猜测，一种被称为“面心立方结构（FCC）”的排列方式（就像把西瓜堆成三角形那样）是效率最高的。
对于这个猜测，大家都觉得“确实看起来是这样～”，但在数学上要证明“绝对是这个最好！”却极其困难。
证明花了400年！？！
那么，它实际上是什么时候被证明的呢……
竟然是在 1998年到2005年左右。 也就是说，近400年里没有一个人能证明。太不可思议了。
而且，证明它的是美国数学家 托马斯·黑尔斯（Thomas Hales）。
他认为仅靠手工计算是不可能的，于是 使用计算机进行了证明。 但是，由于那个证明过于复杂，导致了人类无法完全检查！这样的问题发生了。
因此，在数学界也引发了“那么，用计算机证明的真的可以相信吗？”的巨大争议。
最终，包含计算机在内的“经过了严格验证哦！”的证明（正式名称为“形式化证明”）在 2014年 才宣告完成。
也就是说，从开普勒的直觉到被 证明是正确的，花了400多年的时间。太浪漫了。
在现实生活中也有极其广泛的应用
你可能会以为“如何排列球体”只是数学宅男的话题，但其实它非常实用。
- 在便利店的冰箱里高效地摆放饮料
- 将罐头堆放在运输托盘上时
- 也应用于通信（如数字信号压缩等）
- 还用于3D打印机和晶体结构的设计
等等，这实际上是一个在我们生活背后被大量使用的理论。
总结：人类的直觉真厉害
那么，总结一下。
- 开普勒猜想 ＝ 如何将球装得最满？的问题
- 开普勒先生 ＝ 发现行星轨道的数学家、天文学家
- 提出猜想是在1600年代！但被证明是在2000年代！
- 在现实生活中也有非常多的应用！
最有趣的一点是， “蔬果店老板凭感觉堆叠的方式，在数学上也是最强的”。
也就是说，人类的直觉真厉害。 而且，证明这一点有时需要花上400年，这真是一个非常浪漫的故事对吧。
感兴趣的朋友，请务必去搜索一下“托马斯·黑尔斯”、“形式化证明”、“Sphere Packing”。深入了解会发现非常有趣。
那么，下次见！
[PR]
