[论文解读] On some classical constructions extended to hyperbolic geometry

Arseniy Akopyan|arXiv (Cornell University)|May 11, 2011

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

一句话总结

本文通过引入伪中线、伪高线及基于反演的构造等关键概念的类比，将经典欧几里得几何定理（如费尔巴哈定理、欧拉线、蒙日定理）推广至双曲几何。证明了双曲几何中的九点圆类比（即欧拉圆）与内切圆及旁切圆相切，并确立了通过四点共线构成的双曲欧拉线：外心、类重心点、欧拉圆心以及塞瓦线交点。

ABSTRACT

We consider some constructions in hyperbolic geometry that are analogous to classical constructions in Euclidean geometry. We show that both Monge's theorem and the theorem on the concurrence of the common chords of three circles also hold in absolute geometry. We proffer analogues of the Euler line and the Euler nine-point circle and also extend Feuerbach's famous theorem.

研究动机与目标

• 将经典欧几里得几何定理（尤其是费尔巴哈定理与欧拉线）推广至双曲几何。
• 通过面积平分塞瓦线定义并证明双曲几何中九点圆类比（即欧拉圆）的存在性。
• 通过证明外心、类重心点、欧拉圆心与塞瓦线交点共线，建立双曲欧拉线。
• 为支持证明，推广反演、点的幂与位似变换在双曲几何中的应用。
• 证明蒙日定理及欧拉圆与内切圆/旁切圆相切的性质在绝对几何与双曲几何中均成立。

提出的方法

• 在双曲几何中引入伪中线（即平分三角形面积的塞瓦线），类比欧氏几何中的中线。
• 通过有符号角差定义伪高线，并利用双曲三角形构型中的连续性论证保证其存在性。
• 在庞加莱圆盘模型中应用反演与位似变换的类比，利用关于绝对圆的反演以保持几何性质。
• 使用解析延拓与一般位置论证，避免对退化构型（如极限圆、等距曲线）进行详尽的分类讨论。
• 运用几何变换与对称性——特别是关于绝对圆的反演与关于球心的反射——证明勒克西勒定理及其双曲类比。
• 在非欧几何背景下应用线段定理与卡西的定理，推导欧拉圆与内切圆/旁切圆的相切结果。

实验结果

研究问题

• RQ1 费尔巴哈定理（即九点圆与内切圆/旁切圆相切）在双曲几何中是否成立？
• RQ2 能否定义双曲几何中的欧拉线类比？外心、类重心点、欧拉圆心与塞瓦线交点是否共线？
• RQ3 经典概念如反演、点的幂与位似变换应如何适配于双曲几何，以支持几何证明？
• RQ4 蒙日定理（关于三个圆的公共弦共点）在双曲几何与绝对几何中是否成立？
• RQ5 勒克西勒定理（关于三角形面积为定值的点的轨迹）的双曲类比是什么？

主要发现

• 双曲几何中的欧拉圆（定义为面积平分塞瓦线与三角形三边交点所确定的圆）与内切圆及三个旁切圆相切，证实了比比科夫的猜想。
• 四点——外心、面积平分塞瓦线的交点、欧拉圆心以及其余欧拉圆边交点的交点——共线，构成双曲欧拉线。
• 伪中线（面积平分塞瓦线）与伪高线（通过有符号角差定义）存在，并为非欧几何三角形几何提供了统一框架。
• 蒙日定理中三个圆的公共弦共点性质在绝对几何（包括双曲几何）中成立。
• 建立了勒克西勒定理的双曲类比：满足面积(ABX)为常数的点X的轨迹位于通过A与B在球面上对径点的圆上。
• 在庞加莱圆盘模型中定义的反演（即关于绝对圆的反演）保持关键几何性质，使非欧几何时经典定理的类比得以证明。