[論文レビュー] Coincidences of simplex centers and related facial structures

Allan L. Edmonds, Mowaffaq Hajja+1 more|ArXiv.org|Nov 4, 2004

Mathematics and Applications参考文献 25被引用数 24

ひとこと要約

本稿は、d次元ユークリッド空間における複数の古典的単体中心（重心、外心、内心、モンジュ点、フェルマー＝トリコリ・点）が一致する幾何的条件を調査する。バーチャル座標、線形代数、顔構造解析を用いて、d ≥ 4 の場合、外心が単体の外部にある場合でさえも、外心を通る中線の長さが等しい非正則単体が存在することを証明する。主たる貢献は、対称的 facet 体積分布とベクトルバランス条件を用いたこのような単体の特徴付けである。

ABSTRACT

We investigate the geometric properties of simplices in Euclidean d-dimensional space for which two or more of the analogues of the classical triangle centers (including the centroid, circumcenter, incenter, orthocenter or Monge point, and the Fermat-Torricelli point) coincide. We also investigate the geometric significance of the cevian line segments through a given center having the same length. We give a unified presentation, including known results for d=2 and d=3.

研究の動機と目的

• d次元ユークリッド空間における古典的単体中心（重心、外心、内心、モンジュ点、フェルマー＝トリコリ・点）の一致に関する既知の結果を統合・拡張すること。
• 特に高次元（d ≥ 4）において、これらの中心のうち2つ以上が一致する幾何的条件を特徴付けること。
• 複数の中心が一致する、または特定の中心を通る中線の長さが等しい単体の明示的例を構成すること。
• V. デヴィデが提起した中心の一致に関する未解決問題を解き、独立した証明を与えること。
• 特に外心に注目し、特定の中心を通る中線の長さが等しい単体の顔構造を検討すること。

提案手法

• 内心は facet 体積に比例し、外心は頂点からの等距離条件によって定義されるバーチャル座標を用いて、単体中心を代数的に表現する。
• グラム行列とコレスキー分解を含む線形代数的手法を用いて、単体構成の幾何的制約を分析する。
• 直交部分空間における単位ベクトルを用いたベクトルバランスを用いて、頂点和に関する対称的条件を満たす単体を構成する。
• 対称的 facet 体積分布とベクトル方程式を用いて、外心を通る中線が等長であるための必要十分条件を導出する。
• 直交補空間における正則 (d−1)-単体を用いて、等傾き単位ベクトルを生成し、構成に用いる。
• パラメータ r, b, c を用いた背理法と構成的存在証明により、アフィン独立性および対称性制約を満たす存在定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 d ≥ 4 の場合、d単体の複数の古典的中心が一致する幾何的条件は何か？
• RQ2 外心が単体の外部にある場合でさえも、外心を通る中線の長さが等しい非正則単体は存在するか？
• RQ3 高次元における facet 体積分布と外心中線長の等長性の関係は何か？
• RQ4 顔構造と対称的ベクトル配置は、このような単体の存在をどのように制約するか？
• RQ5 d ≥ 4 における中心の一致は、正則性や等面積性を示さずに、どの程度特徴付けられるか？

主な発見

• d ≥ 4 の場合、外心が単体の外部にある場合でさえも、外心を通る中線の長さが等しい非正則 d単体が存在する。
• d単体が外心を通る中線を等長に持つための必要十分条件は、facet 体積が対称的分布することである： sa₁ = … = sar = s(2d−2r+1)/(d+1−2r) および sar+1 = … = sad+1 = s(1−2r)/(d+1−2r) （ある r に対して 2 ≤ r < (d+1)/2 を満たす）。
• 外心中線長の等長性の条件は、ベクトル方程式 (2d−2r+1)(A₁+…+Ar) − (2r−1)(Ar+1+…+Ad+1) = 0 と同値である。
• このような単体が存在するのは d ≥ 4 の場合に限る。d = 2, 3 の場合の背理法によりこれが示される。
• 構成は、アフィン独立な単位ベクトルが対称的ベクトル和条件を満たす存在に依存しており、直交分解と等傾き単位ベクトルを用いて証明される。
• 本稿はデヴィデの未解決問題を、例の構成と対称的単体構成における等長中線の存在定理の証明により解決した。