[論文レビュー] Heron's Formula, Descartes Circles, and Pythagorean Triangles

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

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

ひとこと要約

この論文は、直角三角形の内接円半径および外接円半径が、4つの互いに接する円の曲率に対応することを示すことにより、ヘロンの公式、デカルトの円方程式、ピタゴラス数の間の深い幾何学的・代数的関係を確立する。すべての原始的ピタゴラス数が、デカルト四重組の形式で整数的アポロニウス包摂を生成することを示し、半角正接から導かれるフィボナッチ型数列を用いたバーニング＝ホール木の新たな自然な構成法を提示する。

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.

研究の動機と目的

• 幾何的円配置を通じて、ヘロンの公式、デカルトの円方程式、ピタゴラス数を統一すること。
• すべての原始的ピタゴラス数が、整数曲率を持つ整数的アポロニウス包摂を生成することを示すこと。
• 内接円半径および外接円半径から導かれる半角正接に基づくフィボナッチ型数列を用いた、バーニング＝ホール三進木の新たな自然な構成法を提供すること。
• 直角三角形における4つの接する円の中心が長方形をなすことの幾何的対称性と反射対称性を明らかにすること。

提案手法

• 半径 r₁, r₂, r₃ の3つの互いに接する円と、r₄ = r₁ + r₂ + r₃ である第4の円を用い、対称的な配置を形成する。
• デカルトの円方程式（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 三角形内の4つの互いに接する円を通じて、ヘロンの公式を幾何学的にどのように解釈できるか？
• RQ2 ピタゴラス数とデカルトの円方程式との間の代数的・幾何的関係は何か？
• RQ3 内接円半径および外接円半径から導かれるフィボナッチ型数列を用いて、バーニング＝ホール木の原始的ピタゴラス数を再構成できるか？
• RQ4 直角三角形における4つの接する円の中心が長方形をなす仕組みは何か？この配置が示す対称性は何か？
• RQ5 どのような条件下でデカルト四重組が整数的アポロニウス包摂に対応するか？このような包摂はどのように体系的に生成できるか？

主な発見

• 三角形内の4つの半径 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 の4項の積は、三角形の面積 G に等しくなる。これは面積の新たな幾何的解釈を提供する。
• すべての原始的ピタゴラス数を 1/G でスケーリングすると、整数曲率を持つデカルト四重組が得られ、中心の長方形を含む整数的アポロニウス包摂（IAP）が生成される。
• D-反転による還元により、各 IAP に対して一意な根四重組が得られ、本論文では、たとえば m = 2(2k−1), n = 2k² + 2k − 1 の形の [-m, m+2, n, n+4] のような1パラメータ族の根四重組を特定している。