[论文解读] On the hyperbolic triangle centers

Ákos G. Horváth|arXiv (Cornell University)|Oct 24, 2014

Mathematics and Applications参考文献 3被引用 8

一句话总结

本文使用Vörös的模型无关方法，将欧几里得三角形中心概念（如垂心、等角共轭点、对称中线点及欧拉线）推广至双曲几何。推导出经典三角形中心性质的双曲类比，包括通过梅涅劳斯定理定义的伪重心，以及涉及双曲边长和角度半值的正弦与余弦的新三角恒等式，建立了一个超越欧几里得直觉的、一致的双曲三角形中心框架。

ABSTRACT

Using the method of C. Vörös, we establish results on hyperbolic plane geometry, related to triangles. In this note we investigate the orthocenter, the concept of isogonal conjugate and some further center as of the symmedian of a triangle. We also investigate the role of the "Euler line" and the pseudo-centers of a triangle.

研究动机与目标

• 将经典的欧几里得三角形中心概念——垂心、等角共轭点、对称中线点及欧拉线——推广至双曲几何。
• 通过三角方法建立一个一致的、与模型无关的框架，用于在双曲平面上定义和分析三角形中心。
• 通过梅涅劳斯定理和线段比例恒等式，研究双曲伪重心的存在性及其性质。
• 推导欧几里得定理的双曲类比，特别关注涉及半边长和半角的三角恒等式。
• 探讨理想点和无穷远点在双曲几何中定义线段长度和三角形构型时的作用。

提出的方法

• 采用C. Vörös的方法，通过实数的复扩展（包括无穷远点和理想点）来定义双曲平面上的距离和线段长度。
• 使用双曲三角恒等式（如正弦定律、余弦定律及面积公式，例如 $ \tan(T/4) = \text{product of } \tanh(s/2) $ 项）来推广欧几里得结果。
• 应用梅涅劳斯定理，通过分析双曲正弦和余弦函数在半线段上的比值，证明伪重心的存在性。
• 推导关键恒等式，如 $ \frac{\text{sinh}(AN_C/2)}{\text{sinh}(N_C B/2)} = \frac{\text{sinh}(a/2)\text{sin}\beta}{\text{sinh}(b/2)\text{sin}\beta} = \frac{\text{cosh}(b/2)}{\text{cosh}(a/2)} $，将边长与角度通过双曲三角学联系起来。
• 引入使用 $ \bar{\bbC} = \bbR \bigcup \big\{\pm\infty\big\} \bigcup i\bbR $ 的复线段长度形式化体系，包含对无穷大和双曲函数的操作规则。
• 利用兰伯特定理四边形恒等式，关联双曲构型中的边长与角度度量，从而推导线段长度的比值。

实验结果

研究问题

• RQ1 如何通过三角与射影方法将垂心的概念推广至双曲几何？
• RQ2 等角共轭点的双曲类比是什么？它与三角形对称性及角平分线有何关系？
• RQ3 能否在双曲平面上通过三角恒等式一致地定义并推导对称中线点及其性质？
• RQ4 双曲欧拉线是否存在？它满足哪些几何性质？
• RQ5 如何通过梅涅劳斯定理在双曲三角形几何中定义并证明伪重心的存在性？

主要发现

• 本文证明了双曲三角形中心满足恒等式 $ \frac{\text{sinh}(AN_C/2)}{\text{sinh}(N_C B/2)} = \frac{\text{cosh}(b/2)}{\text{cosh}(a/2)} $，通过双曲三角学将边长与角度联系起来。
• 双曲三角形中存在伪重心，其存在性通过将梅涅劳斯定理应用于半线段双曲正弦比值得以证明。
• 推导出恒等式 $ \text{sinh}(AN_C)\text{sinh}(BN_A)\text{sinh}(CN_B) = \text{sinh}(N_C B)\text{sinh}(N_A C)\text{sinh}(N_B A) $，揭示了线段乘积的对称性。
• 通过等面积三角形比较，建立了恒等式 $ \text{tanh}(AN_C/2)\text{tanh}(BN_A/2)\text{tanh}(CN_B/2) = \text{tanh}(N_B C/2)\text{tanh}(N_C B/2)\text{tanh}(N_A C/2) $。
• 推导出公式 $ \text{coth}(AN_C/2) = \frac{\text{cosh}(b/2)\text{cosh}(c/2) + \text{cosh}(a/2)}{\text{sinh}(c/2)\text{cosh}(b/2)} $，为从边长和角度数据计算半线段长度提供了闭式表达式。
• 证明了归一化线段长度比值 $ n_A(N):n_B(N) $ 与 $ \frac{1}{\text{cosh}^2(b/2)\text{cosh}^2(c/2) + \text{cosh}(a/2)\text{cosh}(b/2)\text{cosh}(c/2)} $ 成正比，从而可显式计算伪重心坐标。