[論文レビュー] Hyperbolic trigonometry in two-dimensional space-time geometry

Francesco Catoni, Roberto Cannata+2 more|arXiv (Cornell University)|Aug 3, 2005

Algebraic and Geometric Analysis参考文献 3被引用数 6

ひとこと要約

本稿では、双曲数（z = x + hy, h² = 1）を用いた2次元時空幾何学の双曲的三角法枠組みを提示する。これは、ユークリッド幾何学における複素数の役割に類似している。ローレンツ群の不変性を活用することで、スカラーおよび面積の不変量を用いて双曲的三角関数を定義し、特殊相対性理論と整合する自己一貫性のある公理的形式化を可能にした。この形式化により、デカルト座標表現と初等的な代数的技法を用いて、ユークリッド三角法に類似した擬似ユークリッド三角法が構築される。

ABSTRACT

By analogy with complex numbers, a system of hyperbolic numbers can be introduced in the same way: z=x+h*y with h*h=1 and x,y real numbers. As complex numbers are linked to the Euclidean geometry, so this system of numbers is linked to the pseudo-Euclidean plane geometry (space-time geometry). In this paper we will show how this system of numbers allows, by means of a Cartesian representation, an operative definition of hyperbolic functions using the invariance respect to special relativity Lorentz group. From this definition, by using elementary mathematics and an Euclidean approach, it is straightforward to formalize the pseudo-Euclidean trigonometry in the Cartesian plane with the same coherence as the Euclidean trigonometry.

研究の動機と目的

• 2次元時空（擬似ユークリッド幾何学）の幾何的枠組みを、ユークリッド幾何学における複素数の役割に類似させる。
• ローレンツ群の不変量を用いて双曲的三角関数を定義し、特殊相対性理論と整合するように保証する。
• デカルト平面における代数的および幾何的技法を用いて、直感的な視覚的認識に依存しない擬似ユークリッド三角法を形式化する。
• ユークリッド三角法に類似した体系的で公理的・演繹的な手法を用いて、双曲的三角形の問題を解く。
• 双曲的三角形の問題の解が、デカルト幾何学と代数的システムを用いて導出可能であり、明確な幾何的解釈が可能であることを示す。

提案手法

• z = x + hy（h² = 1）として双曲的数を導入し、双曲的共役 z̃ = x - hy を定義する。
• ローレンツ不変量としての二乗ノルム |z|² = z z̃ = x² - y² を用いる。これはユークリッドノルムに類似している。
• 双曲的三角関数（coshₑθ, sinhₑθ, tanhₑθ）を、ローレンツ変換の不変性を用いて定義し、クライン群と符号規則（k = ±1 または ±h）を用いる。
• スカラー積および面積の不変量（ベクトル積の大きさ）を用いて、双曲平面上の角および辺の関係を定義する。
• デカルト座標系を用いて双曲的三角形の問題を解く：頂点を (0,0), (±d₃,0), または (0,±d₃) に配置し、線形および双曲的方程式の連立系を解く。
• 解析幾何学を用いて、直線（例：y = tanhₑθ₁ x）と双曲線（例：(x - d₃)² - y² = D₁）の交点を求め、三角形の頂点を特定する。得られる解は三角法の法則と整合的である。

実験結果

リサーチクエスチョン

• RQ1 双曲的数を用いて、2次元時空幾何学における一貫性のある三角法をどのように定義できるか？
• RQ2 ローレンツ群の下で不変な量は何か？ それが双曲的三角関数を定義する基盤としてどのように機能するか？
• RQ3 双曲幾何における余弦および正弦の法則は、ユークリッドのそれと比較して解の重複度や幾何的解釈においてどのように異なるか？
• RQ4 デカルト表現と代数的技法は、擬似ユークリッド三角法において直感的な幾何的推論を完全に置き換えられるか？
• RQ5 双曲的三角形の問題が解を0個、1個、2個持つ条件は何か？ これらは代数的にどのように導出可能か？

主な発見

• 双曲的三角関数 coshₑθ, sinhₑθ, tanhₑθ は、ローレンツ群の不変性を用いて定義され、符号規則（k = ±1 または ±h）により、sinhₑθ および coshₑθ の大きさに応じて関数の種別が決定される。
• 2辺とその対角が与えられた三角形において、辺 d₂ の解は、coshₑθ₁ > sinhₑθ₁ のとき d₂ = d₃ coshₑθ₁ ± √(d₃² sinhₑ²θ₁ + D₁) で与えられ、coshₑθ₁ < sinhₑθ₁ のときは d₂ = -d₃ coshₑθ₁ ± √(d₃² sinhₑ²θ₁ - D₁) となる。解の存在は判別式に依存する。
• D₁ > 0 かつ d₁ > d₃ のとき、2つの解が存在する。sinhₑθ₁ = d₁/d₃ のとき、1つの解が存在する。sinhₑθ₁ > d₁/d₃ のとき、2つの解が存在し、直線と双曲線の交点として幾何的解釈が可能である。
• 2つの角とその間の辺が与えられた場合、頂点 P₃ の座標は、直線 y = tanhₑθ₁ x および y = -tanhₑθ₂ (x - x₂) の連立系を解くことで得られ、P₃ ≡ (x₂ tanhₑθ₂ / (tanhₑθ₁ + tanhₑθ₂), x₂ tanhₑθ₁ tanhₑθ₂ / (tanhₑθ₁ + tanhₑθ₂)) となる。
• D₃ < 0 の場合、y軸配置と方程式 x = tanhₑθ₁ y および y - y₂ = -tanhₑθ₂ x を用いてシステムを再定式化し、P₃ ≡ (y₂ tanhₑθ₁ tanhₑθ₂ / (tanhₑθ₁ + tanhₑθ₂), y₂ tanhₑθ₂ / (tanhₑθ₁ + tanhₑθ₂)) が得られる。
• 正弦定理により d₂ = d₃ sinhₑθ₂ / sinhₑθ₃ が得られ、ここで θ₃ = -(θ₁ + θ₂) である。sinhₑθ₃ の符号はクライン群のインデックス k₃ に依存し、sinhₑθ₃ = sinh|θ₁ + θ₂| または cosh(θ₁ + θ₂) のどちらになるかを決定する。