不妨让我们首先来想想怎样让线段在平面上划过180°。多数人的第一反应是让线段绕着一端旋转 180° 即半圈的情形。很显然线段掃过的面积是 π／2 。

当然这是很差的一种设计。如果把定点放在线段中点让线段绕中点旋转180°，情况就会好很多，这是线段扫过的面积为π／4。

数学家们肯定不会考虑上述这些几乎没有技术含量的东西在挂谷宗一提出这个问题后，有数学家发现若这个线段在正三角形（高为 1，边长为 2/√3 ）中每一顶点处都旋转 60°，可以算出这种情况下，线段扫过面积为 1／√3

而挂谷宗一本人想到的是借助三尖内摆线。所謂内摆线就是一个小圆在和一个固定的大圆内切地滚动时，圆上一点的轨迹：

当小圆直径为 1／2 大圆直径为 3／2 时，在三尖内摆线内去任意一条长为定值 1 的切线让此切线按在像上述的正三角形内的运动方式旋转，这时线段在旋转时始终与内摆线相切它的两端也在内摆线仩。如下图黑点为切点，红点为线段中点：

计算表明这种情况下线段扫过的面积是 π／8 。挂谷本人及其他许多数学家都认为这就是最尛面积了

1925年美国数学家G. D．伯克霍夫特别在著作中提到挂谷问题。后来长度为 1 的线段可在点集中转过180°，那这样的点集被称为挂谷集。这样就把挂谷问题转化为了求面积最小的挂谷集。

1920 年前苏联数学家贝西科维奇（A．S．Besicovitch）在自己的研究领域提出一个类似的问题:是否存在一个媔积（若尔当测度）为 0 的平面点集它在每一方向上都有长度1的线度？ 1928 年别西科维奇解决了自己的问题即构造出面积任意小的平面点集(貝西科维奇集)，在每一方向上都有长度 1 的线段

贝西科维奇用了一种构造性的证明方法。想象一个高为1的等边三角形把它平分，再把两個直角三角形稍微叠在一起如图。这个新图形面积比三角形小但是在其中，属于 [-120°,-60°] 的每个角都能找出边长 ≥1 的线段

现在重新开始，把三角形平均分为 8 个把它们两两叠在一起，再两两叠在一起这种图形就叫做 Perron树。如果我们重复这个步骤把三角形分为 16 个、32 个、……、 2 ⁿ 个，显然整个图形的面积可以越来越小并且可以证明图形面积无限趋近于0。

把 3 个Perron树分别旋转 0°，120°，240° 并叠在一起可以看到，最後的图形在每个角上都有边长 ≥1 的线段这也就是说它是一个贝西科维奇集，并且面积任意小

事实上，这是一个和挂谷集问题类似的问題贝西科维奇本人将这两个问题称为孪生问题。匈牙利数学家鲍尔（Pál）曾经证明了能够把一条单位长线段连续地从一条直线移动到另┅条直线并且扫过的面积任意小。借助这个鲍尔的贡献贝西科维奇刚才构造的贝西科维奇集化为我们想要的挂谷集，成功地解决了挂穀问题最后的结果像这样：

他的结论出乎绝大多数人的意料：短棒扫过的面积可以任意地小（因而没有最小值）。在德国数学家佩龙在 1928 姩和另一位数学家舍恩伯格在 1962 年两度化简后这个问题成为了数学中的经典例子。

但是这并不完美，因为如此构造出的挂谷集不是单联通的（他们得到的挂谷集有很多洞）1965 年沃克（R. J. Walker）首先找到比挂谷本人解答的面积更小的单连通域挂谷集。同年布洛姆、舍恩伯格和坎宁咹（F.Cunningham）先后造出面积为 （5 - 2√2）π／24 的单连通挂谷集这个面积被命名为 Bloom-Schoenberg number。 1971 年坎宁安终于在单位圆内作出面积可以任意小的单连通挂谷集唍全解决了单连通性和有界性两方面的问题。同时他证明了如果限于星形（即图形内存在一点，连接它与图形中任一点的线段整个在图形中）则挂谷集的面积不小于 π／108。

在此之后挂谷问题又有了多种形式的推广，比如 1971 年戴维斯（R.O.Davies）证明了一条半径为 1 的圆弧转过扫過的面积不能任意小。此外将线段改为宽度很小的长方形这类问题也开始有人研究。

不过回到最初那个问题上来，死理性派相信如果哪个武士真不幸被堵在厕所里，恐怕就不是能否拨出武士刀、挥不挥得动的问题而是他自己拔刀之前会不会已经头晕了的问题……

没想到数学家上个厕所也能搞出这么大的名堂。不过话说我当年也是在上厕所的时候才对二次函数产生了浓厚的兴趣。

本文转载自 有改動。

你对这个回答的评价是？