最终的答案
但事情还远远没结束。
1925年美国数学家G. D．伯克霍夫特别在著作中提到挂谷问题。后来，长度为 1 的线段可在点集中转过180°，那这样的点集被称为挂谷集。这样就把挂谷问题转化为了求面积最小的挂谷集。
1920 年前苏联数学家贝西科维奇（A．S．Besicovitch）在自己的研究领域提出一个类似的问题:是否存在一个面积（若尔当测度）为 0 的平面点集，它在每一方向上都有长度1的线度？ 1928 年别西科维奇解决了自己的问题，即构造出面积任意小的平面点集(贝西科维奇集)，在每一方向上都有长度 1 的线段。
贝西科维奇用了一种构造性的证明方法。想象一个高为1的等边三角形，把它平分，再把两个直角三角形稍微叠在一起，如图。这个新图形面积比三角形小，但是在其中，属于 [-120°,-60°] 的每个角都能找出边长 ≥1 的线段。
现在重新开始，把三角形平均分为 8 个，把它们两两叠在一起，再两两叠在一起，这种图形就叫做 Perron树。如果我们重复这个步骤，把三角形分为 16 个、32 个、……、 2 n 个，显然整个图形的面积可以越来越小，并且可以证明图形面积无限趋近于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 的圆弧转过，扫过的面积不能任意小。此外，将线段改为宽度很小的长方形这类问题也开始有人研究。
不过，回到最初那个问题上来，死理性派相信，如果哪个武士真不幸被堵在厕所里，恐怕就不是能否拨出武士刀、挥不挥得动的问题，而是他自己拔刀之前会不会已经头晕了的问题……
没想到数学家上个厕所也能搞出这么大的名堂。不过话说我当年也是在上厕所的时候，才对二次函数产生了浓厚的兴趣。
本文转载自 Exp618:My Blog 。有改动。