[论文解读] Heron's Formula, Descartes Circles, and Pythagorean Triangles

Frank R. Bernhart, H. Lee Price|ArXiv.org|Jan 22, 2007

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

一句话总结

本文通過展示直角三角形的內切圓半徑與旁切圓半徑對應於四個相互內切圓的曲率，建立了海倫公式、笛沙格圓方程與畢達哥拉斯三元組之間的深度幾何與代數聯繫。本文證明每組本原畢達哥拉斯三元組均可透過笛沙格四元組生成一個整數的阿波羅尼亞包裝，並提出一種基於半角正切值導出的類斐波那契序列的新構造方法，用以建立巴寧-霍爾樹。

ABSTRACT

This article highlights interactions of diverse areas: the Heron formula for the area of a triangle, the Descartes circle equation, and right triangles with integer or rational sides. New and old results are synthesized. We show that every primitive Pythagorean triple (PPT), furnishes a Descartes quadruple of tangent circles with integral curvatures, and so generates an integral Apollonian packing (IAP) containing a rectangle of centers. Thus Pythagorean triples serve to generate a large number of in-equivalent integral packings.

研究动机与目标

• 透過幾何圓配置統一海倫公式、笛沙格圓方程與畢達哥拉斯三元組。
• 證明每組本原畢達哥拉斯三元組均可生成具有整數曲率的整數阿波羅尼亞包裝。
• 提出一種新穎且自然的巴寧-霍爾三元樹構造方法，其基於源自內切圓半徑與旁切圓半徑的類斐波那契序列。
• 展示直角三角形中四個相切圓的圓心構成矩形，揭示對偶性與鏡像對稱性。

提出的方法

• 使用三個互相內切的圓，其半徑分別為 r₁、r₂、r₃，並以第四個圓的半徑 r₄ = r₁ + r₂ + r₃，形成對稱配置。
• 應用笛沙格圓方程（DCE）：(k₁ + k₂ + k₃ + k₄)² = 3(k₁² + k₂² + k₃² + k₄²)，其中曲率 kᵢ = 1/rᵢ。
• 推導徑向方程 2r₁² = (r₂ − r₁)(r₃ − r₁)，其等價於迪克森恆等式：½(a + b + c)² = (c − b)(c − a)。
• 以 r₁/r₂ 與 r₁/r₃ 為半角正切值，生成符合斐波那契規則的序列 P，進而產生所有本原畢達哥拉斯三元組及其倍數。
• 應用 D-反射將任意笛沙格四元組簡化為根四元組，識別出唯一的整數阿波羅尼亞包裝（IAP）。
• 證明將畢達哥拉斯三元組以 1/G 進行縮放（其中 G 為面積）可產生具有整數曲率的笛沙格四元組，進而形成包含圓心矩形的 IAP。

实验结果

研究问题

• RQ1 如何透過三角形內四個相互內切的圓，幾何化地詮釋海倫公式？
• RQ2 畢達哥拉斯三元組與笛沙格圓方程之間的代數與幾何聯繫為何？
• RQ3 能否利用源自內切圓半徑與旁切圓半徑的類斐波那契序列，重構巴寧-霍爾本原畢達哥拉斯三元組樹？
• RQ4 直角三角形中四個相切圓的圓心如何構成矩形？此現象暗示何種對稱性？
• RQ5 何種條件可確保笛沙格四元組對應至整數阿波羅尼亞包裝？此類包裝又如何系統性地生成？

主要发现

• 在三角形中，四個半徑 r₁、r₂、r₃、r₄ 的乘積等於面積 G 的平方，即 G² = r₁r₂r₃r₄，從而為海倫公式提供圓形詮釋。
• 對於兩直角邊分別為 2 = r₁ + r₂ 與 4 = r₁ + r₃ 的直角三角形，曲率 [√5 − 3, √5 − 1, √5 + 1, √5 + 3] 滿足笛沙格圓方程。
• 由比率 r₁/r₂ 與 r₁/r₃ 所形成的序列 P 產生類斐波那契的進展，可生成所有本原畢達哥拉斯三元組及其倍數。
• 序列 P 中四項的乘積等於三角形的面積 G，從而為面積提供新的幾何詮釋。
• 每組本原畢達哥拉斯三元組，若以 1/G 進行縮放，可產生具有整數曲率的笛沙格四元組，進而形成包含圓心矩形的整數阿波羅尼亞包裝。
• 透過 D-反射簡化可得到每組 IAP 的唯一根四元組，本文識別出一組參數族的根四元組，例如 [-m, m+2, n, n+4]，其中 m = 2(2k−1)，n = 2k² + 2k − 1。