来源 | Quanta Magazine
编译 | 张二七
审校 | 吴非
“老妈，我裤子上破了几个洞，帮我缝一下吧!”
“没问题，多大的洞啊?”
“洞的形状都挺怪的，不过任意两点的距离都不超过1厘米。”
妈妈翻出了一些碎布头，形状都是直径1厘米的圆形，她认为这样应该就足够补上各种形状的洞了。不过真的是这样吗?想要盖住形状各异，但最宽不超过1厘米的破洞，直径1厘米的圆形补丁真的够用吗?
圆形的“补丁”
让我们假设你的裤子上破了一个三角形的洞，这是一个边长1厘米的等边三角形——因此三角形中任意两点间的距离都不会超过1厘米，符合我们在开头对洞的要求。但是你会发现，直径1厘米的圆形补丁并不能完全盖住这个洞。
直径1厘米的圆形并不能完全覆盖边长为1厘米的等边三角形。(若无特殊标注，本文图片均来自Quanta Magazine)
经过简单的计算，你就能理解这个道理。圆的半径是0.5厘米，但等边三角形中心到顶点的距离是√3/3 ≈0.58厘米——大于圆的半径，这个圆当然就无法覆盖到三角形的顶角了。
当然了，最保险的方法就是准备一大块布，这样什么洞都能补上了，就是有些浪费。那么问题来了：能不能找到面积最小的一块布，让它能够补上任意形状的，宽不超过1厘米的洞呢?
万有覆盖问题
在数学中，这被称为“万有覆盖问题”(universal covering problem)。这个问题是亨利·勒贝格(Henri Lebesgue)在1914年写给另一位数学家朱利叶斯·帕尔(Julius Pál)的一封信中提出的。这个问题的说法有很多种，但它们的核心都是宽度为1，也就是在平面上有一个图形，图形中任意两点间的距离都不超过1。勒贝格的万有覆盖问题，就是要求找到一个面积最小的图形，使其能够“覆盖”所有宽度为1的图形。
这个看似简单的问题其实已经困扰了数学家们一百多年，甚至到了现在，他们依然没有找到最终答案。如果只要求能够覆盖所有宽度为1的洞，那么我们有很多的选择，但要找出面积最小的那个就很困难了。
为了讨论这个问题，让我们先假想出任意一个宽度为1的形状R，虽然不知道它长什么样子，但其中一定存在相距1单位长度的两个点，我们称之为A点和B点。
那么现在想象形状R中的第三个点C，C可能存在于哪些区域呢?首先，C点到A点的距离一定不能超过1。也就是说，我们以A为圆心，1单位长度为半径画一个圆A，C点一定在这个圆内(或圆周上)。
同样的，C点到B点的距离也不能超过1单位长度，那么我们以B点为圆心，1为半径作圆B的话，C点也应该在这个圆的范围内。
由于C点应该既在圆A中，也在圆B中，那么C点就应该落于两圆的重合区，也就是下图这个“橄榄球”形状中。
不止C点，形状R中的其他点也需要满足相同的条件，因此形状R中的所有点都应落在上图的“橄榄球”中。换句话说，这个形状能够覆盖所有可能的形状R，那么它就是一个“万有覆盖”图形。
不过这块“橄榄球”布料还是太大了，让我们试着剪掉一部分。
首先，添加两条与线段AB平行的直线(如下图)，使其与AB的距离均为1/2，因此这两条直线间的距离就是1单位长度。
现在我们得到了这样的两块红色区域Ⅰ和Ⅱ，它们之间的最短距离为1。或者说，Ⅰ中的任意一点，与Ⅱ中的任意一点的距离一定大于1。
想象一下，如果形状R包含了Ⅰ区域中的某些点，那么这些点到Ⅱ区域中任意一点的距离一定会大于1，这就违背了我们对形状R的要求。也就是说，此时的形状R一定不能与Ⅱ区域重叠。因此，在Ⅰ和Ⅱ区域中，我们就可以剪掉一个了。这样得到的“美妆蛋”一样的形状，依然是一个万有覆盖图形。
在裁剪之前，我们用到的“布料”面积是2π/3-√3/2≈ 1.228，而剪完后，“布料”的面积变成了π/2-1/2 ≈ 1.071。请记住我们得到这个“美妆蛋”的过程——从最容易想到的图形出发，通过不断裁剪多余的部分，我们就能获得面积更小的万有覆盖图形。
这也正是数学家们探索面积最小的万有覆盖图形的方法，不过他们是从六边形开始的。
“帕尔六边形”
还记得勒贝格的那位数学家朋友帕尔吗?在收到勒贝格的来信后不久，帕尔就利用等宽曲线的性质证明，对边相距为1的正六边形就能做到万有覆盖(等宽曲线是指曲线上任何一对平行切线的距离都相等的曲线，圆就是最常见的一种等宽曲线)。
“帕尔六边形”的面积比我们的“美妆蛋“更小了，其面积为√3/2≈0.866。不过，帕尔并不满足于此，他发现这个六边形还能再剪掉几个角。
我们知道，正六边形的旋转对称角是60°。那么将另一个六边形绕中心旋转30°，再叠在原先的六边形上，我们就能给原先的六边形切出六个角，对应下图中的红色区域。
还记得我们是如何将“橄榄球”剪掉一个角，变成“美妆蛋”的吗?接下来的步骤和我们之前的裁剪过程非常相似。
首先，每一组相对的小三角间的距离都是1单位长度，因此每一对红色三角中都有一个可以被裁去。我们当然希望能够剪掉三个——也就是每对中的一个。然而，如果真的剪掉三个角的话，这个图形就无法满足万有覆盖条件了。
根据六边形的对称性，如果某个图形占据了六个小三角中的三个时，它可能会出现两种情况：连续的三个角(左图)，或是相间的三个角(右图)。我们在图里用蓝色和红色来表示这两种情况。
如果我们的形状R占用了左图中的三个蓝色三角区域，那么我们就无法在剪掉右侧图形中的三个红色三角的情况下，将其覆盖。反之也是一样，如果我们剪掉了左侧图形中的三个红色三角，那么当形状R占据了右图中蓝色区域的三个三角时，新的图形也无法将R覆盖了。
不过就算不能同时修剪掉三个角，我们至少可以裁掉两个。如果我们剪掉既不相邻也不相对的两个红色三角形区域的话，就不会出现上述的问题了，而这就是帕尔所做的。
帕尔剪掉了六边形的两个角，这样得到的新图形仍然能够覆盖所有宽度为1的形状。这个新图形的面积是2-2√3/3≈0.8453，比帕尔六边形的面积减少了约0.0207。
不断地修剪
接下来的修剪工作就愈发艰难了。在帕尔的工作基础上，1936年，数学家罗兰·斯普拉格(Roland Sprague)移除了面积为0.001的一块小碎片。随后，在1992年，H·C·汉森(H。 C。 Hansen)从右下角和左下角裁去了0.00000000004个平方单位的面积(小数点后10个0，不用数了)。
2014年，一位本职是软件工程师的业余数学家(虽然说是业余，但是人家也有数学的博士学位)菲利普·吉布斯(PhilipGibbs)选择了一种简单粗暴的解答思路——先看答案，再想过程。他用计算机随机生成了200个宽度为1的图形，把他们叠到一起，然后以其覆盖的形状为线索，找出了对过去万有覆盖图形的顶部的修整方法。他的证明于2015年发表，该论文将此前的万有覆盖图形再次缩小了0.0000224平方单位。
菲利普·吉布斯与帕尔六边形(图片来源：Philip Gibbs)
这项成果给了吉布斯很大的信心，在他2018年发表的另一篇文章中，他又剪掉了“一大块”区域，使万有覆盖面积从0.8441153降到了0.84409359平方单位。
灰色的部分是吉布斯裁剪的角(图片来源：Philip Gibbs)
从1914年至今，数学家们一直在寻找最小的万有覆盖图形，他们能走多远呢?2005年，彼得·布拉斯(Peter Brass)和梅尔博德·沙里夫(Mehrbod Sharifi)证明，万有覆盖面积不能小于0.832平方单位。因此我们知道，留给数学家裁剪的区域已经不多了。
不过大家也可以试着提出一种新技术，又或是裁剪的新起点，或许你也能像那位业余数学家一样，更加逼近最小的万有覆盖图形。
