[论文解读] Cyclic polygons in classical geometry

Ren Guo, Nilgün Sönmez|arXiv (Cornell University)|Sep 15, 2010

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

一句话总结

本文提出一个统一框架，用于描述欧氏、双曲与球面几何中圆内接多边形的边长、对角线长度与外接圆半径之间的公式。通过引入一个统一函数 s(x)，该函数依据几何类型分别替换为 x/2（欧氏）、sinh(x/2)（双曲）或 sin(x/2)（球面），作者证明了欧氏几何中的多项式关系可直接转化为非欧几何中的等价形式，从而统一并推广了经典定理（如托勒密定理与富尔曼定理）。

ABSTRACT

Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.

研究动机与目标

• 统一欧氏、双曲与球面几何中圆内接多边形的经典公式。
• 证明欧氏几何中边长、对角线与外接圆半径之间的多项式关系，在非欧几何中存在直接类比。
• 提供一种系统化方法，从已知的欧氏结果推导双曲与球面几何中的定理。
• 形式化说明：将边长 l/2 替换为 sinh(l/2) 或 sin(l/2) 分别适用于双曲或球面几何时，可得到有效的公式。

提出的方法

• 引入统一函数 s(x)，其值依几何类型分别取 x/2（欧氏）、sinh(x/2)（双曲）或 sin(x/2)（球面）。
• 定义多项式集合 E_n、H_n 与 S_n，分别表示欧氏、双曲与球面几何中的有效关系。
• 利用立体投影及双曲与椭圆三角恒等式，建立欧氏平面上的构型与双曲平面上及球面上构型之间的联系。
• 通过一系列几何与代数映射，证明 E_n、H_n 与 S_n 三者相等，表明任意欧氏多项式关系均可提升至其他几何中。
• 利用欧氏、双曲与球面三角形中的正弦定律，推导不同模型间几何量之间的缩放因子。
• 应用引理 4 表明，多项式恒等式在乘以公共因子缩放下保持不变，从而实现不同几何间关系的传递。

实验结果

研究问题

• RQ1 欧氏几何中圆内接多边形的经典公式能否系统性地推广至双曲与球面几何？
• RQ2 是否存在一个单一函数形式，可统一描述三种几何中边长、对角线与外接圆半径的表达式？
• RQ3 将 l/2 替换为 sinh(l/2) 或 sin(l/2) 的原则是否能保持圆内接多边形关系中多项式恒等式的成立？
• RQ4 如何在不同曲率模型之间，形式化证明 E_n、H_n 与 S_n 中多项式关系的等价性？
• RQ5 利用此统一框架，托勒密定理与富尔曼定理等已知定理在非欧几何中可被推广到何种程度？

主要发现

• 函数 s(x) 实现了表达式的统一：在欧氏几何中 s(x) = x/2，在双曲几何中 s(x) = sinh(x/2)，在球面几何中 s(x) = sin(x/2)。
• 对于任意圆内接多边形，当以 s(a)、s(b) 等表示时，三种几何中外接圆半径的公式具有相同的代数形式。
• 双曲几何中的托勒密定理为 s(e)s(f) = s(a)s(c) + s(b)s(d)，其结构与欧氏几何中的形式完全一致。
• 球面几何中的富尔曼定理为 s(e)s(f)s(g) = s(a)s(a')s(e) + s(b)s(b')s(f) + s(c)s(c')s(g) + s(a)s(b)s(c) + s(a')s(b')s(c')，其形式与欧氏几何中的表达式一致。
• 已证明有效多项式关系集合 E_n、H_n 与 S_n 相等，从而在三种几何之间实现了完整的统一。
• 该方法可自动从已知的欧氏圆内接多边形恒等式生成双曲与球面几何中的定理。