[论文解读] Points at Rational Distance from the Vertices of a Unit Polygon

Roy Barbara|ArXiv.org|Dec 15, 2009

Mathematics and Applications参考文献 1被引用 3

一句话总结

本文研究了在正单位n边形所在平面上是否存在一个点，使其到所有顶点的距离均为有理数。利用代数数论和伽罗瓦群的性质，证明了仅当n=6（即形心）时存在这样的点，且可能在n=8、12、24时也存在；对于所有其他n≥5，这样的点均不存在。关键结果是：由面积表达式的代数结构与无法将其表示为平方根的有理线性组合之间的矛盾所导出。

ABSTRACT

In this paper, we investigate the existence of a point in the plane of a unit polygon, that is at rational distance from each vertex of the polygon. A negative answer is obtained in almost all cases.

研究动机与目标

• 确定在哪些正单位n边形中，平面上存在一个点，使其到所有顶点的距离均为有理数。
• 解决长期悬而未决的公开问题：对于单位正方形（n=4），是否存在这样的点，尽管重点在于n≥5的情况。
• 基于域扩张和伽罗瓦理论，建立一个一般性判别准则，以排除大多数n值下此类点的存在性。
• 识别出n=8、12、24这三种特殊情况，其存在性仍为开放问题。

提出的方法

• 推导正n边形面积为 $\frac{n}{4}\cot\frac{\pi}{n}$，该值必须等于由候选点与每条边构成的三角形面积的带符号和。
• 应用海伦公式，表明每个三角形面积的形式为 $\sqrt{r_i}$，其中 $r_i$ 为非负有理数，从而得出恒等式 $\frac{n}{4}\cot\frac{\pi}{n} = \sum \pm \sqrt{r_i}$。
• 使用域论证明域 $\mathbb{Q}(\sqrt{r_1} \pm \sqrt{r_2} \pm \cdots \pm \sqrt{r_n})$ 是‘平坦的’（即其在 $\mathbb{Q}$ 上的所有伽罗瓦群均为2-群）。
• 通过证明其伽罗瓦群包含非2-群因子（例如阶为3或4的循环群），证明当 $n=5$ 或 $n\geq 7$，且 $n\notin\{8,12,24\}$ 时，$\mathbb{Q}(\cot\frac{\pi}{n})$ 不是平坦域。
• 应用引理2.5，表明某些嵌套平方根可生成循环四次扩张，而这类扩张并非平坦，从而排除特定情况。
• 使用命题2.1，证明当 $d|n$ 时，子域如 $\mathbb{Q}(\cot\frac{\pi}{d})$ 和 $\mathbb{Q}(\cos\frac{2\pi}{d})$ 包含于 $\mathbb{Q}(\cot\frac{\pi}{n})$ 中，从而支持伽罗瓦结构的分析。

实验结果

研究问题

• RQ1 在正单位正五边形的平面上，是否存在一个点，使其到所有五个顶点的距离均为有理数？
• RQ2 对于哪些正单位n边形（n≥5），存在这样的点？
• RQ3 在n=6之外，是否存在其他例外情况，使得一般性非存在性结论不成立？
• RQ4 能否利用代数数论和伽罗瓦理论排除此类点的存在性？
• RQ5 可构造性与伽罗瓦群结构在决定此类点存在性方面起什么作用？

主要发现

• 当n=5时，不存在这样的点；由于伽罗瓦群障碍，恒等式 $\frac{5}{4}\cot\frac{\pi}{5} = \sum \pm \sqrt{r_i}$ 在代数上不可能成立。
• 对于所有n≥7且n∉{8,12,24}，不存在这样的点，因为 $\mathbb{Q}(\cot\frac{\pi}{n})$ 不是平坦域，与平方根之和的域结构矛盾。
• 当n=6时，这样的点存在：形心到所有六个顶点的距离均为1，满足有理距离条件。
• 对于n≥7，唯一可能的例外是n=8、12和24，因为这些是仅有的使得 $\mathbb{Q}(\cot\frac{\pi}{n})$ 仍可能为平坦域的值。
• 恒等式 $\frac{n}{4}\cot\frac{\pi}{n} = \sum \pm \sqrt{r_i}$ 对于n=5或n≥7且n∉{8,12,24}无法成立，因其伽罗瓦群结构不相容。
• 本文提供了一般性代数障碍：若 $\mathbb{Q}(\cot\frac{\pi}{n})$ 不是平坦域（即其伽罗瓦群不是2-群），则此类点不可能存在。