拓扑为什么重要：内接矩形的论证

在这一 2016 年版拓扑课程中，Grant Sanderson 用内接矩形问题说明拓扑中的形状为什么有助于解决具体问题。视频简介链接了更新版本。

内接正方形问题问：每条平面简单闭曲线上是否都有四点构成正方形。Sanderson 在视频中称这一问题当时尚未解决；他转而讲解较弱的矩形结论。

矩形的两条对角线中点相同、长度相等。反过来，两组不同的点如果有共同中点、且距离相等并大于零，就确定了一个矩形的顶点。

对曲线上的每一组无序点，在平面中取其中点，并用两点距离作为高度。如果两组不同的点映射到同一个位置，就得到构成矩形所需的等长对角线。

当两点相互靠近时，距离趋于零，绘制的点也接近曲线。重合的点对恰好映射到平面中的原曲线上。

为了理解所有点对，先考虑有序点对。把闭曲线在一点剪开得到区间，参数对形成一个正方形；把对应的对边粘合后得到环面。

对于无序点对，交换两个点没有区别。将 (x, y) 与 (y, x) 视为同一点，相当于沿对角线折叠正方形；再完成剩余边的粘合，得到的参数空间是莫比乌斯带。

莫比乌斯带的边界表示两个点重合的点对。在中点和距离构成的映射下，这条边界对应平面中的原曲线。

Sanderson 借用一个拓扑事实：边界嵌入平面的莫比乌斯带无法在平面同一侧保持不自交的嵌入。因此映射后的曲面必须让不同的内部点重合，从而得到所需的矩形。

他指出，要严格证明这一拓扑步骤，不能仅凭这里展示的视觉直觉。环面和莫比乌斯带是从点对的结构中自然出现的，并非装饰性的例子。