[论文解读] The Descartes circles theorem and division by zero calculus

Hiroshi Okumura, Saburou Saitoh|arXiv (Cornell University)|Nov 14, 2017

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

一句话总结

本文应用零除法微积分——其中 0/0 = 1/0 = z/0 = 0——将笛卡尔圆定理推广至涉及直线和点圆的退化情形。通过将曲率重新解释为 1/r，并在奇点处使用零除法微积分，作者表明该定理在极限情况下依然成立，从而揭示了新的几何洞见，例如 Bankoff 圆，以及对直线（r = ∞ → 曲率 0）和点（r = 0 → 曲率 0）的一致曲率解释。

ABSTRACT

From the viewpoint of the division by zero $(0/0=1/0=z/0=0)$ and the division by zero calculus, we will show that in the very beautiful theorem by Descartes on three touching circles is valid for lines and points for circles except for one case. However, for the exceptional case, we can obtain interesting results from the division by zero calculus.

研究动机与目标

• 将笛卡尔圆定理推广至经典上被排除的涉及直线和点圆的退化情形。
• 证明零除法微积分（0/0 = 1/0 = z/0 = 0）为分析圆几何中奇异极限提供了一致且有意义的框架。
• 通过应用零除法微积分，解决当 r₃ = 0（点圆）或 r₃ = ∞（直线）时笛卡尔公式看似失效的问题。
• 表明通过该微积分自然恢复的几何构型——如 Bankoff 圆和与阿贝尔多斯相关的圆——是极限情况下的结果。
• 确立零除法微积分为直线和点提供了自然统一的曲率解释，与几何直觉一致。

提出的方法

• 通过洛朗级数展开应用零除法微积分，即使在孤立奇点（包括 r = 0 和 r = ∞）处也定义 f(a) = C₀。
• 使用参数化表示与两个给定圆 C₁ 和 C₂ 相切的圆，参数为 z，并取 z → ∞ 的极限（等价于 r₃ → 0）。
• 将零除法微积分应用于参数 w = 1/z 的结果方程，在 w = 0 处评估常数项、一次项和二次项，以提取极限几何对象。
• 将曲率重新解释为 1/r，其中 r = 0（点圆）和 r = ∞（直线）均给出曲率 0，与零除法微积分一致。
• 利用恒等式 tan(π/2) = 0 来解释涉及正交或极限圆的几何构型。
• 将广义逆（Moore-Penrose）应用于方程 ax = b，当 a = 0 且 b ≠ 0 时解释为 x = 0，表示不可能性或理想点。

实验结果

研究问题

• RQ1 笛卡尔圆定理能否在某个或多个圆退化为直线或点圆的情况下被有意义地推广？
• RQ2 当使用零除法微积分将笛卡尔公式应用于退化情形时，会产生哪些几何构型？
• RQ3 零除法微积分如何解决当 r₃ = 0 或 r₃ = ∞ 时笛卡尔公式中的奇点问题？
• RQ4 Bankoff 圆及其他已知的阿贝尔多斯几何中的特殊圆能否作为该微积分下笛卡尔公式的极限情况推导得出？
• RQ5 在零除法微积分框架下，直线和点圆的曲率具有何种几何解释？

主要发现

• 当一个直线与两个圆相切时，笛卡尔公式简化为已知结果：1/√r₄ = 1/√r₁ + 1/√r₂（内切圆）或 1/√r₄ = 1/√r₂ - 1/√r₁（另一内切圆），其中 r₃ = 0。
• 当通过极限趋近于点圆（r₃ = 0）时，零除法微积分产生非平凡解：1/r₄ = 1/r₁ + 1/r₂，对应于半径为 r₁r₂/(r₁ + r₂) 的 Bankoff 圆。
• 零除法微积分产生第二个极限圆，其半径为 r₁r₂(r₁ + r₂)/(r₁² + r₁r₂ + r₂²)，该圆与 C₁、C₂ 及阿贝尔多斯的外接圆相切。
• 当三个点圆（r₁ = r₂ = r₃ = 0）时，公式给出 r₄ = 0，解释为相切圆本身也为点的退化情形，与定理一致。
• 当三个直线（r₁ = r₂ = r₃ = ∞）时，曲率为 0，公式给出 r₄ = 0，表明不存在非退化的相切圆，与几何不可能性一致。
• 该微积分通过为第四圆的曲率和半径赋予有限且有意义的值，解决了笛卡尔公式在 r₃ = 0 处的奇点问题，揭示了如 Bankoff 圆等新几何对象。