[论文解读] A Simple Proof of Thue's Theorem on Circle Packing

Hai-Chau Chang, Lih-Chung Wang|arXiv (Cornell University)|Sep 22, 2010

Computational Geometry and Mesh Generation参考文献 3被引用 85

一句话总结

本文提出了一种简洁的几何证明，证明正六边形密铺在平面上实现了最大可能的密度 π/√12 ≈ 0.9069。通过利用Delaunay三角剖分分析饱和圆配置，并证明剖分中的每个三角形的密度 ≤ π/√12，且仅当三角形为边长为2的正三角形时取等，作者在不依赖高级分析的前提下建立了六边形晶格的最优性。

ABSTRACT

A simple proof of Thue theorem on Circle Packing is given. The proof is only based on density analysis of Delaunay triangulation for the set of points that are centers of circles in a saturated circle configuration.

研究动机与目标

• 提供Thue定理的自包含、初等证明，证明平面上六边形圆密铺的最优性。
• 证明任何饱和圆配置的密度不可能超过 π/√12。
• 确立正六边形密铺是唯一达到该最大密度的配置。
• 避免依赖复分析或晶格假设，为早期证明提供一种几何替代方法。

提出的方法

• 分析饱和圆配置，即在不重叠的前提下无法再添加任何新圆的配置。
• 对圆心应用Delaunay三角剖分，确保任意点都不在任一三角形的外接圆内部。
• 证明任一Delaunay三角形的最大内角 θ 满足 π/3 ≤ θ < 2π/3，从而阻止新圆心的插入。
• 利用正弦定理和外接圆半径约束，以最大角和边长表示三角形面积。
• 证明每个三角形的密度为 π/2 除以面积，且当三角形为边长为2的正三角形时该密度达到最大。
• 得出结论：该配置的整体密度被 π/√12 上限所限制，且仅当为正六边形时取等。

实验结果

研究问题

• RQ1 在不假设晶格结构的前提下，欧氏平面上圆密铺的最大可能密度是多少？
• RQ2 能否仅通过Delaunay三角剖分上的几何与组合论证来证明六边形密铺的最优性？
• RQ3 在饱和圆配置的Delaunay三角剖分中，何种条件下三角形能达到最大密度？
• RQ4 正六边形密铺是否是唯一达到密度 π/√12 的配置？
• RQ5 能否通过局部三角形分析，将饱和圆配置的密度上界确定为 π/√12？

主要发现

• 在任意饱和圆配置的Delaunay三角形中，最大内角严格小于 2π/3，从而阻止新圆心的插入。
• 在任意饱和配置中，Delaunay三角形的面积至少为 √3，且仅当三角形为边长为2的正三角形时取等。
• 每个Delaunay三角形的密度被 π/√12 上限所限制，且仅当三角形为边长为2的正三角形时取等。
• 饱和圆配置的整体密度是三角形密度的加权平均，因此不可能超过 π/√12。
• 正六边形密铺是唯一达到密度 π/√12 的配置，从而确认了Thue定理。
• 该证明仅使用初等几何与Delaunay三角剖分，无需高级分析或晶格假设，即确立了六边形密铺的最优性。