[論文レビュー] Cyclic polygons in classical geometry

Ren Guo, Nilgün Sönmez|arXiv (Cornell University)|Sep 15, 2010

Mathematics and Applications参考文献 9被引用数 5

ひとこと要約

この論文は、ユークリッド、双曲的、球面幾何における円周多角形の辺の長さ、対角線の長さ、外接半径に関する公式を統一する枠組みを確立する。関数 s(x) を導入し、幾何の種別に応じて x/2、sinh(x/2)、または sin(x/2) に置き換えることで、ユークリッド幾何における多項式関係が非ユークリッド幾何においても同様の形に直接対応することを示し、ピタゴラスの定理やフアーマンの定理といった古典的定理を統一的かつ一般化する。

ABSTRACT

Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.

研究の動機と目的

• ユークリッド、双曲的、球面幾何における円周多角形の古典的公式を統一すること。
• ユークリッド幾何における辺の長さ、対角線、外接半径の間の多項式関係が、非ユークリッド幾何においても直接類似形をとることを示すこと。
• 既知のユークリッドの結果から、双曲的および球面幾何における定理を体系的に生成するための方法を提供すること。
• 辺の長さ l/2 を双曲的幾何では sinh(l/2)、球面幾何では sin(l/2) に置き換える原則が、円周多角形の関係における多項式恒等式を保つことの形式的定式化。

提案手法

• 幾何の種別に応じて、x/2（ユークリッド）、sinh(x/2)（双曲的）、sin(x/2)（球面）にそれぞれ対応する統一関数 s(x) を導入すること。
• ユークリッド、双曲的、球面幾何における有効な関係をそれぞれ表す多項式集合 E_n、H_n、S_n を定義すること。
• ステレオグラフィック射影および双曲的・楕円的三角関数の恒等式を用いて、ユークリッド平面上の構成と双曲平面および球面上の構成との関係を確立すること。
• 幾何的および代数的写像の系列を用いて、E_n、H_n、S_n が等しいことを証明し、任意のユークリッド多項式関係が他の幾何に持ち上がることを示すこと。
• ユークリッド、双曲的、球面三角形における正弦定理を活用し、モデル間の幾何的量のスケーリング係数を導出すること。
• 補題4を適用して、共通の係数によるスケーリングにおいて多項式恒等式が保存されることを示し、幾何間での関係の移行を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド幾何における円周多角形の古典的公式を、体系的に双曲的および球面幾何に拡張できるか？
• RQ2 辺の長さ、対角線、外接半径の表現を、3つの幾何すべてで統一する1つの関数的形があるか？
• RQ3 l/2 を sinh(l/2) や sin(l/2) に置き換える原則が、円周多角形の関係における多項式恒等式を保つのか？
• RQ4 曲率モデルが異なる場合でも、E_n、H_n、S_n の多項式関係の同等性を形式的に証明する方法は何か？
• RQ5 この統一枠組みを用いて、ピタゴラスの定理やフアーマンの定理といった既知の定理を非ユークリッド幾何にどの程度一般化できるか？

主な発見

• 関数 s(x) は統一的表現を提供する：ユークリッドでは s(x) = x/2、双曲的では sinh(x/2)、球面では sin(x/2)。
• 任意の円周多角形において、s(a)、s(b) などの項を用いて表した場合、3つの幾何すべてで外接半径の公式が同じ代数的形をとる。
• 双曲的幾何におけるパイタゴラスの定理は、s(e)s(f) = s(a)s(c) + s(b)s(d) と表現され、ユークリッド幾何と同一の構造を持つ。
• 球面幾何におけるフアーマンの定理は、s(e)s(f)s(g) = s(a)s(a')s(e) + s(b)s(b')s(f) + s(c)s(c')s(g) + s(a)s(b)s(c) + s(a')s(b')s(c') と表現され、ユークリッドの形と一致する。
• 有効な多項式関係の集合 E_n、H_n、S_n が等しいことが証明され、3つの幾何の間で完全な統一が確立された。
• この手法により、既知のユークリッドの円周多角形の恒等式から、双曲的および球面幾何における定理を自動生成できる。