[論文レビュー] 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の他のすべてのnに対しては、そのような点は存在しない。主な結果は、面積の代数的構造と、それを有理数の平方根の線形結合として表現できないことによる矛盾である。

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≥5の範囲で、長年の未解決問題である、単位正方形（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群である）ことを示す。
• n=5 または n≥7 かつ n∉{8,12,24} のとき、$\mathbb{Q}(\cot\frac{\pi}{n})$ は平坦でないことを示し、そのガロア群に非2群因子（例えば3次または4次巡回群）を含むことにより、矛盾を導く。
• 補題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 正単位五角形の平面上に、すべての5つの頂点から有理距離にある点が存在するか？
• 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 の場合、そのような点は存在する：重心はすべての6つの頂点から距離1の位置にあり、有理距離条件を満たす。
• n≥7の範囲で唯一の可能性のある例外はn=8, 12, 24であり、これらは $\mathbb{Q}(\cot\frac{\pi}{n})$ がまだ平坦である可能性がある唯一の値である。
• n=5 または n≥7 かつ n∉{8,12,24} のとき、恒等式 $\frac{n}{4}\cot\frac{\pi}{n} = \sum \pm \sqrt{r_i}$ は、不適合なガロア群構造のため成立しない。
• この論文は一般の代数的障害を提示する：$\mathbb{Q}(\cot\frac{\pi}{n})$ が平坦でない（つまり、2群でないガロア群を含む）ならば、そのような点は存在できない。