[论文解读] Geometry of pentagons: from Gauss to Robbins

Dragutin Svrtan, Darko Veljan+1 more|ArXiv.org|Mar 29, 2004

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

一句话总结

本文提出并证明了高斯鲜为人知的五边形面积公式，该公式仅通过五边形顶点三角形（由三个连续顶点构成）的面积来计算凸五边形的面积。通过证明高斯公式、蒙日公式与托勒密定理之间的等价性，并利用结式推导出圆内接五边形面积的新有理表达式，作者建立了一个完整的五边形几何代数框架，将经典结果从海伦与婆罗摩笈多的公式进一步拓展。

ABSTRACT

An almost forgotten gem of Gauss tells us how to compute the area of a pentagon by just going around it and measuring areas of each vertex triangles (i.e. triangles whose vertices are three consecutive vertices of the pentagon). We give several proofs and extensions of this beautiful formula to hexagon etc. and consider special cases of affine--regular polygons. The Gauss pentagon formula is, in fact, equivalent to the Monge formula which is equivalent to the Ptolemy formula. On the other hand, we give a new proof of the Robbins formula for the area of a cyclic pentagon in terms of the side lengths, and this is a consequence of the Ptolemy formula. The main tool is simple: just eliminate from algebraic equations, via resultants. By combining Gauss and Robbins formulas we get an explicit rational expression for the area of any cyclic pentagon. So, after centuries of geometry of triangles and quadrilaterals, we arrive to the nontrivial geometry of pentagons.

研究动机与目标

• 提出并证明高斯几乎被遗忘的五边形面积计算公式，该公式仅使用其顶点三角形的面积来计算凸五边形的面积。
• 建立高斯五边形公式、蒙日公式与圆内接四边形托勒密定理之间的等价性。
• 通过代数消去法，从托勒密恒等式推导出圆内接五边形面积的新显式有理公式，从而扩展经典面积公式的序列。
• 通过结合高斯公式与罗宾斯关于圆内接五边形的公式，统一并推广多边形几何中的结果。

提出的方法

• 使用坐标几何与符号计算，通过蒙日公式证明高斯五边形面积公式。
• 应用涉及角度正弦的三角恒等式，验证蒙日公式作为代数恒等式的正确性。
• 运用结式消除代数方程中的变量，从而推导出圆内接五边形的罗宾斯公式。
• 证明高斯公式与蒙日公式等价，并通过三角恒等式进一步证明其与托勒密定理的等价性。
• 使用循环对称函数 $ c_1 $ 和 $ c_2 $（分别定义为顶点三角形面积的和与积），通过二次方程 $ A^2 - c_1A + c_2 = 0 $ 表达五边形面积。
• 通过三角恒等式与代数运算，证明高斯公式、蒙日公式与托勒密公式之间的等价性。

实验结果

研究问题

• RQ1 如何在不进行三角剖分的情况下，仅利用顶点三角形的面积来计算凸五边形的面积？
• RQ2 高斯五边形公式、蒙日公式与圆内接四边形托勒密定理之间存在何种代数关系？
• RQ3 能否通过代数消去法，从托勒密恒等式推导出圆内接五边形面积的有理公式？
• RQ4 五边形在何种条件下为仿射正五边形？这与顶点三角形面积相等有何关联？
• RQ5 圆内接五边形面积的显式表达式如何用其边长表示？该公式如何推广海伦与婆罗摩笈多的公式？

主要发现

• 高斯五边形公式指出，凸五边形的面积 $ A $ 满足方程 $ A^2 - c_1A + c_2 = 0 $，其中 $ c_1 $ 和 $ c_2 $ 分别为五个顶点三角形面积的初等对称和。
• 该公式与蒙日公式 $ (012)(034) + (014)(023) = (013)(024) $ 等价，而后者本身又与圆内接四边形的托勒密定理等价。
• 对于边长为 $ a $ 的正五边形，其面积为 $ \frac{a^2}{4}\sqrt{25 + 10\sqrt{5}} \approx 1.72a^2 $，与已知结果一致。
• 仿射正五边形的特征是所有顶点三角形面积相等，其面积为 $ A = \sqrt{5}\varphi k \approx 3.62k $，其中 $ k $ 为每个顶点三角形的公共面积。
• 通过结合高斯公式与罗宾斯公式，利用结式推导出任意圆内接五边形面积的显式有理表达式。
• 本文建立了一个完整的圆内接五边形面积计算代数框架，将经典公式序列从：海伦（1世纪）→ 婆罗摩笈多（7世纪）→ 罗宾斯（1995年）进一步拓展。