专栏名称: 悦智网

悦智网依托国内外独享的科技咨询资源，分享最新的行业技术评论，实时发布国内外最新研究成果，打造技术成果的专业交易平台，促进科技成果的需求转化。

数学家们纠结一百多年的难题：这条裤子该怎么补？

悦智网 · 公众号 · · 2020-01-20 15:30

正文

“老妈，我裤子上破了几个洞，帮我缝一下吧！”

“没问题，多大的洞啊？”

“洞的形状都挺怪的，不过任意两点的距离都不超过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年，一位本职是软件工程师的业余数学家（虽然说是业余，但是人家也有数学的博士学位）菲利普·吉布斯（Philip Gibbs）选择了一种简单粗暴的解答思路—— 先看答案，再想过程 。他用计算机随机生成了200个宽度为1的图形，把他们叠到一起，然后以其覆盖的形状为线索，找出了对过去万有覆盖图形的顶部的修整方法。他的证明于2015年发表，该论文将此前的万有覆盖图形 再次缩小了0.0000224平方单位 。

菲利普·吉布斯与帕尔六边形（图片来源：Philip Gibbs）

这项成果给了吉布斯很大的信心，在他2018年发表的另一篇文章中，他又剪掉了“一大块”区域，使万有覆盖面积从0.8441153降到了 0.84409359平方单位 。

灰色的部分是吉布斯裁剪的角（图片来源：Philip Gibbs）

数学家们纠结一百多年的难题：这条裤子该怎么补？

正文

请到「今天看啥」查看全文