[论文解读] 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）的双曲三角学框架，用于二维时空几何，其形式与欧氏几何中复数的作用类似。通过利用洛伦兹群下的不变性，该框架基于标量和面积不变量定义双曲三角函数，从而实现一种自洽的、公理化的伪欧几里得三角学形式化，其方法与欧氏三角学通过笛卡尔表示和初等代数方法相平行。

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.

研究动机与目标

• 建立一个类似于复数在欧氏几何中所起作用的二维时空（伪欧几里得几何）几何框架。
• 通过洛伦兹群下的不变量定义双曲三角函数，确保与狭义相对论的一致性。
• 使用代数与几何方法在笛卡尔平面上形式化伪欧几里得三角学，避免依赖直观的几何可视化。
• 为求解双曲三角形提供系统化、公理化-演绎的方法，类似于欧氏三角学的处理方式。
• 证明双曲三角形问题的解可通过笛卡尔几何与代数方程组推导得出，并具有清晰的几何解释。

提出的方法

• 引入双曲数 z = x + hy（其中 h² = 1），并定义其双曲共轭为 z̃ = x - hy。
• 使用平方模 |z|² = z z̃ = x² - y² 作为洛伦兹不变量，类比于欧氏范数。
• 通过洛伦兹变换下的不变性，利用克莱因群及符号约定（k = ±1 或 ±h）定义双曲三角函数（coshₑθ, sinhₑθ, tanhₑθ）。
• 应用标量积与面积不变量（向量积的模）来定义双曲平面上的角度与边长关系。
• 通过笛卡尔坐标系求解双曲三角形问题：将顶点置于 (0,0)、(±d₃,0) 或 (0,±d₃)，并求解线性与双曲方程组。
• 运用解析几何方法，通过求直线（如 y = tanhₑθ₁ x）与双曲线（如 (x - d₃)² - y² = D₁）的交点来确定三角形顶点，所得解与三角恒等式一致。

实验结果

研究问题

• RQ1 双曲数如何用于在二维时空几何中定义一致的三角学？
• RQ2 洛伦兹群下哪些不变量可作为定义双曲三角函数的基础？
• RQ3 双曲几何中的余弦与正弦定律在解的多重性与几何解释方面，与欧氏对应定律有何异同？
• RQ4 笛卡尔表示与代数方法能否在伪欧几里得三角学中完全替代直观的几何推理？
• RQ5 双曲三角形问题存在零个、一个或两个解的条件是什么？这些条件如何通过代数方法推导？

主要发现

• 双曲三角函数 coshₑθ、sinhₑθ 与 tanhₑθ 通过洛伦兹群下的不变性定义，符号约定（k = ±1 或 ±h）根据 sinhₑθ 与 coshₑθ 的大小关系决定函数类型。
• 对于已知两边及其对角的三角形，当 coshₑθ₁ > sinhₑθ₁ 时，边 d₂ 的解为 d₂ = d₃ coshₑθ₁ ± √(d₃² sinhₑ²θ₁ + D₁)；当 coshₑθ₁ < sinhₑθ₁ 时，解为 d₂ = -d₃ coshₑθ₁ ± √(d₃² sinhₑ²θ₁ - D₁)，解的存在性取决于判别式。
• 当 D₁ > 0 且 d₁ > d₃ 时，存在两个解；当 sinhₑθ₁ = d₁/d₃ 时，存在一个解；当 sinhₑθ₁ > d₁/d₃ 时，存在两个解，其几何解释为直线与双曲线的交点。
• 对于已知两角及其夹边的情况，顶点 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(θ₁ + θ₂)。