[论文解读] The discrete square peg problem

Igor Pak|ArXiv.org|Apr 4, 2008

graph theory and CDMA systems参考文献 23被引用 16

一句话总结

本文提供了离散平方钉问题的两个直接、初等的证明，证明了平面上任意简单分段线性多边形中均存在四个顶点构成一个内接正方形。证明基于对点对的环面参数化，运用了拓扑与几何论证，结合奇偶性与连续性，证明存在对应于内接等腰直角三角形的非可缩环路，从而推出完整内接正方形的存在性。

ABSTRACT

The square peg problem asks whether every Jordan curve in the plane has four points which form a square. The problem has been resolved (positively) for various classes of curves, but remains open in full generality. We present two new direct proofs for the case of piecewise linear curves.

研究动机与目标

• 为任意简单分段线性多边形中内接正方形的存在性提供直接且初等的证明，填补以往证明依赖复杂拓扑或分析方法的文献空白。
• 仅通过几何与拓扑推理，解决分段线性曲线的离散平方钉问题，使更广泛的受众能够理解。
• 证明此类多边形中内接正方形的存在性，可通过点对环面空间上的构造性与组合性论证来确立。
• 通过通用性假设与形变论证，推广并简化早期方法（尤其是Jerrard及其他人的方法），避免退化情况。
• 为将该方法推广至相关问题（如内接等腰梯形问题）奠定基础，尽管该问题目前仍为开放问题。

提出的方法

• 将多边形 X 上点对 (y, z) 参数化为环面 T = X × X 上的点，代表正方形的潜在顶点。
• 在 T 上定义子集 U 和 V，分别对应于第三和第四正方形顶点（u 和 v）位于 X 上的配置。
• 使用几何旋转：对固定的 y，将多边形绕 y 旋转 π/2 得到新多边形 X′，并将 z 识别为 X 与 X′ 的交点。
• 利用通用运动下交点成对出现与消失的性质，证明 U 和 V 是由不相交的简单多边形组成的分段线性集合。
• 应用奇偶性论证：对通用 y，此类 z 点的数量为奇数，意味着 U 的至少一个分支在环面上不可缩。
• 利用 U 的不可缩性，推导出存在一个连续的内接等腰直角三角形族，从而在 V 中生成对应族；其交点意味着完整内接正方形的存在。

实验结果

研究问题

• RQ1 是否能仅通过初等几何与拓扑论证，证明简单分段线性多边形中内接正方形的存在性？
• RQ2 配置空间（即环面 T）的哪些拓扑性质可用于保证离散平方钉问题解的存在性？
• RQ3 如何利用通用性假设（如无正交边、无等腰直角三角形）避免退化情况，并确保奇偶性与连续性论证的正确性？
• RQ4 用于分段线性曲线的方法是否可被调整，以证明此类多边形中内接矩形或其他四边形的存在性？
• RQ5 极限论证——即取光滑曲线的分段线性逼近——在将离散结果推广至连续情形方面，其适用程度如何？

主要发现

• 平面上任意简单分段线性多边形中至少存在一个内接正方形，从而解决了该类曲线的离散平方钉问题。
• 在环面 T 上，满足 [zyuv] 的正方形中 u 位于多边形上的点对 (y, z) 的集合 U，是若干不相交的简单多边形的不交并。
• U 的至少一个分支在环面上不可缩，这由通用 y 下 z 点数为奇数推出。
• U 的不可缩性意味着存在一个连续的内接等腰直角三角形族，从而在 V 中生成对应族。
• U 与 V 在环面上的交点对应于一个完整的内接正方形，从而证明了主要结论。
• 该证明通过在通用性假设下依赖初等几何、连续性与奇偶性论证，避免了技术性分析或拓扑工具。