内接矩形、Möbius 带与正方形问题

Grant Sanderson 介绍内接正方形问题：每条平面简单闭连续曲线上，是否都有四个不同的点构成正方形？Otto Toeplitz 于 1911 年提出这一问题，一般情形仍未解决。

课程转而讲解 Herbert Vaughan 对较容易的内接矩形问题的证明。拓扑在这里是解决问题的工具，并自然引出 Möbius 带和 Klein 瓶。

Sanderson 将此与把拓扑仅仅描述成奇特曲面或橡皮膜几何的通俗说法作对比。他希望展示连续映射与不可能性结论如何支持逻辑推理。

矩形的两条对角线具有相同中点和长度。反过来，两条不同的线段若中点相同且具有相等的非零长度，其端点构成矩形。这样便把寻找四个顶点改写为寻找两对点。

对曲线上每一对点，记录中点坐标 (x, y) 和两点距离 d。这三个数在三维空间中确定一个点 (x, y, d)。

这个映射是连续的：稍微移动两个输入点，中点与距离也只会稍微变化。若两对不同的无序点映射到同一输出，它们便具有相同中点与距离，从而得到所求矩形。

所有输出共同构成原平面上方的一个曲面。对于图示中的典型曲线，曲面自交代表不同点对共享同一个输出。

对于圆，映射的像看起来像一个圆顶。许多不同直径点对都映射到顶端，因为它们拥有相同中点和长度。映射碰撞在视觉上不一定表现为两张曲面穿过彼此。

当一对点彼此靠近时，其映射接近原曲线：距离趋近于零，中点趋近曲线。相同点构成的点对 (x, x) 直接映射到平面中的曲线上。

为了理解映射的定义域，用 0 到 1 的坐标参数化这条简单闭曲线，并将两个端点视为同一点。有序点对便由一个正方形中的点表示。

由于 0 和 1 代表曲线上的同一点，正方形的相对边表示相同的有序点对。将两对相对边粘合得到环面，连续表示所有有序点对。

对于一条对角线，顺序并不重要：(a, b) 和 (b, a) 描述同一线段。如果把它们当作不同点对，只会得到平凡碰撞，而非非退化矩形。

将正方形坐标 (x, y) 与 (y, x) 视为同一点，相当于沿对角线折叠。追踪其余边的粘合关系与方向后，无序点对构成的空间是 Möbius 带。

Möbius 带的边界由重复点对 (x, x) 构成。经过中点与距离映射，边界落在平面中的原曲线上，而不同点构成的点对都映射到平面严格上方。

一个诱人的说法是：Möbius 带无法在三维空间中嵌入，同时让边界落在一个平面内。Sanderson 提醒，这个说法本身是错的：Dan Asimov 构造了边界为圆的嵌入，但其内部跨越平面的上下两侧。

缺少的条件至关重要。在矩形构造中，内部必须严格位于平面的一侧；加上这个限制后，就不可能在没有碰撞的情况下嵌入。

将假设中嵌入的 Möbius 带沿平面反射，再沿共同边界把两条带粘合。以这种方式粘合两个 Möbius 带，会得到 Klein 瓶。

Klein 瓶是闭合的不可定向曲面，无法在普通三维空间中无自交地嵌入。因此，假设中的单侧嵌入不可能存在。

这一矛盾迫使两对不同的无序点共享中点和距离，从而得到内接矩形。该论证说明构型空间的拓扑如何约束一个几何问题。

对于正方形，仅有等长对角线和共同中点还不够：两条对角线还必须垂直。追踪线段方向会增加信息，并引向更高维的构造。

Sanderson 引用 Joshua Green 和 Andrew Lobb 对光滑曲线的研究：他们证明在该情形下存在任意长宽比的内接矩形。这并未解决所有简单连续曲线的内接正方形问题。

当两点合并时，光滑性提供受控的切线方向。对于某些分形等粗糙曲线，方向的极限可能不存在，使一般问题更难。

更广泛的启示是，Möbius 带并非某一个特定纸模型：不同曲面以及闭曲线上无序点对的抽象空间，都可以拥有相同拓扑。连续关系及其限制让这些对象能用于证明。