[论文解读] Areas of spherical and hyperbolic triangles in terms of their midpoints

Gijs M. Tuynman|arXiv (Cornell University)|Jul 9, 2013

Mathematics and Applications参考文献 1被引用 5

一句话总结

本文推导出在2-球面 𝕊² 和双曲平面 ℍ² 上测地三角形的定向面积 Ω 的显式公式，公式以各边中点 α, β, γ 表示。通过使用中点的三维行列式及标量积（𝕊² 上为欧几里得型，ℍ² 上为洛伦兹型），本文证明 sin(Ω/2) 等于中点三角形行列式的绝对值，从而在非欧几何中提供了一种直接的几何不变量来表征三角形面积。

ABSTRACT

Let $M$ be either the 2-sphere $\SS^2 \subset\RR^3$ or the hyperbolic plane $\HH^2 \subset \RR^3$. If $Δ(abc)$ is a geodesic triangle on $M$ with corners at $a,b,c\in M$, we denote by $α, β, γ\in M$ the midpoints of their sides. If $Ω$ denotes the oriented area of this triangle on $M$, it satisfies the relations: $$ \sin(Ω/2) = \frac{\Det_3(abc)}{\sqrt{2(1 + \scalar{a}b)(1 + \scalar{b}c)(1 + \scalar{c}a)}} = \Det_3(αβγ) \, $$ where $\scalar{\}{\}$ denotes the Euclidean scalar product for $M=\SS^2$ and the Lorentzian scalar product for $M=\HH^2$. On the hyperbolic plane one should always take the solution with $\modu{Ω/2}

研究动机与目标

• 通过仅使用三角形各边中点，建立曲面上测地三角形定向面积的闭式表达式。
• 通过单一解析框架，统一处理2-球面与双曲平面上的三角形面积问题。
• 提供一种计算上易于实现的方法，无需直接依赖顶点坐标来确定三角形面积。
• 通过定义域约束，在球面上解决面积符号歧义问题，并在双曲情形中确保一致性。

提出的方法

• 在 M ∈ {𝕊², ℍ²} 上定义测地三角形 Δ(abc)，其顶点为 a, b, c，各边中点为 α, β, γ。
• 利用三维行列式 Det₃(abc) 及标量积（𝕊² 上为欧几里得型，ℍ² 上为洛伦兹型）表达面积关系。
• 推导恒等式 sin(Ω/2) = |Det₃(αβγ)|，其中 Ω 为三角形的定向面积。
• 通过分母 √[2(1 + ⟨a|b⟩)(1 + ⟨b|c⟩)(1 + ⟨c|a⟩)] 进行归一化，以确保在坐标选择下保持不变。
• 对于 ℍ²，选择满足 |Ω/2| < π/2 的解以消除歧义；对于 𝕊²，采用基于情形的选择规则以确定正确符号。
• 利用内在几何不变量，避免依赖顶点角或边长，聚焦于中点的构型。

实验结果

研究问题

• RQ1 能否仅用三角形各边中点来表达2-球面或双曲平面上测地三角形的面积？
• RQ2 在非欧几何中，三角形的定向面积与其中点三角形行列式之间存在何种函数关系？
• RQ3 在存在奇点或对称性的情况下，如何仅从中点数据确定面积的符号与正确分支？
• RQ4 是否存在一个统一的公式，适用于球面与双曲三角形，并使用相同的代数结构？
• RQ5 标量积（欧几里得型或洛伦兹型）在保持不同几何中不变性与一致性方面起到何种作用？

主要发现

• 在 𝕊² 或 ℍ² 上，测地三角形的定向面积 Ω 满足 sin(Ω/2) = |Det₃(αβγ)|，其中 α, β, γ 为三角形各边的中点。
• 该公式在等距变换下保持不变，且仅依赖于中点三角形的构型及底层度量（欧几里得型或洛伦兹型）。
• 在双曲平面上，选择满足 |Ω/2| < π/2 的解以确保唯一性与一致性。
• 在2-球面上，通过一个直接的程序解决符号歧义问题，排除奇异情形。
• 表达式 sin(Ω/2) 等于中点三角形三维行列式的绝对值，从而将面积与一个纯粹代数不变量联系起来。
• 分母 √[2(1 + ⟨a|b⟩)(1 + ⟨b|c⟩)(1 + ⟨c|a⟩)] 确保了在各种构型下归一化与几何一致性。