[论文解读] Polygons in hyperbolic geometry 2: Maximality of area

Rolf Walter|arXiv (Cornell University)|Aug 23, 2010

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

一句话总结

该论文证明，在所有边长固定的双曲多边形中，存在面积最大的多边形，其要么为定向凸且共圆（顶点位于圆周、直线或极限圆上），要么共线。共圆的定向凸多边形面积为正，共线多边形面积为零，且在双曲运动下唯一。该结果通过距离几何方法与基于凯利-克莱因模型的有向面积公式，将欧氏面积最大性结果推广至双曲几何。

ABSTRACT

This second part on polygons in the hyperbolic plane is based on the first part which deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The topic here is the maximum question for the area of these polygons. It is shown that the maximal copies must be cocyclic and oriented-convex or have a special collinear shape. The maximal copies are unique up to rigid hyperbolic motions. The cocyclicity means that the vertices are situated on a distance circle, a distance line or a horocycle, the three types of cycles in the hyperbolic plane. The phenomenon of different circle types stands in salient contrast to the Euclidean case and pays for various difficulties in the hyperbolic discussion.

研究动机与目标

• 确定边长固定的双曲多边形是否能实现面积最大。
• 刻画双曲平面上此类最大面积多边形的几何构型。
• 确立最大面积为正或零的条件，以及此类最大面积多边形是否唯一。
• 将欧氏几何中面积最大性的结果推广至双曲几何，其中由于相似性缺失及角度与面积关系的非欧几里得性质，需引入新现象。

提出的方法

• 利用1-形式ω定义的有向面积泛函计算双曲平面上多边形的面积，其中面积 = ∫_K ω，K为定向边界。
• 通过显式公式（即“降落伞公式”）以归一化点向量和伪欧几里得模型中的三重标量积 [a,b,c] 表达n边形的有向面积。
• 采用凯利-克莱因模型，其中测地线为单位圆盘的弦，度量通过包含 (1−ξ²−η²) 的共形因子定义。
• 分析依赖于面积公式对原点Z的选择无关性，确保不同三角剖分间的一致性。
• 证明使用数学归纳法与约化引理，表明面积最大的共圆多边形必为定向凸。
• 通过在紧致构型上对连续面积泛函应用一般最大值原理，确立最大面积多边形的存在性。

实验结果

研究问题

• RQ1 边长固定的双曲多边形是否总是能实现最大面积？
• RQ2 在所有此类多边形中，何种几何构型使面积最大？
• RQ3 在何种条件下最大面积为正，何时为零？
• RQ4 最大面积多边形是否在双曲运动下唯一？
• RQ5 双曲几何中，顶点共圆性与面积最大性有何关系？

主要发现

• 在所有边长为正的双曲多边形中，总存在至少一个面积最大的多边形。
• 最大面积多边形要么为定向凸且共圆（顶点位于圆周、直线或极限圆上），要么共线且单调排列。
• 对于共圆的定向凸情形，最大面积为正；对于共线情形，面积为零。
• 最大面积多边形在双曲运动下唯一确定。
• 最大面积为正当且仅当每条边长小于其余所有边长之和。
• 该结果将欧氏面积最大性定理推广至双曲几何，其中由于相似性缺失及非欧几里得角度-面积关系，必须采用距离几何方法。