[论文解读] Wasan geometry with the division by 0

Hiroshi Okumura|arXiv (Cornell University)|Nov 19, 2017

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

一句话总结

本文引入了一种一致的除零定义（a/0 = 0），将和算几何——传统日本数学——扩展至圆退化为直线或点的退化情形。通过将直线的半径重新定义为零，并将此规则应用于圆的切线方程，作者表明即使当 a = 0 时，经典关系式 c = b²/(4a) 依然成立，从而在所有构型下（包括 α 为点或直线，γ 退化为点或直线）保持了几何一致性。

ABSTRACT

Results in Wasan geometry of tangents circles can still be considered in a singular case by the division by 0.

研究动机与目标

• 将和算几何扩展至圆退化为直线或点的退化情形，这些情形在标准除法下为奇异情况。
• 解决当半径趋近于零或无穷大时经典切线定理中的不一致问题。
• 证明即使当 a = 0 时，几何关系式 c = b²/(4a) 依然有效，方法是采用一致的除零定义。
• 在不依赖极限的前提下，为和算几何中的圆与直线切线关系提供统一框架。

提出的方法

• 引入广义函数 F(a,b) = a/b（当 b ≠ 0 时），并定义 F(a,0) = 0，以代数方式一致地扩展除法至零。
• 将定义 a/0 = 0 应用于一般圆方程 S(x,y) = a(x² + y²) + 2gx + 2fy + c = 0，重新定义半径为 R = √(g² + f² - ac)/|a|，当 a = 0 时该式给出 R = 0。
• 使用解析几何推导圆 α、β 和 γ 的方程，然后应用除零规则分析 a → 0 时的退化极限。
• 在 a = 0 的条件下分析所得方程，表明 α 变为原点、y 轴或直线 t，γ 变为 x 轴、y 轴或点 (0, 2b)。
• 通过直接代入与代数化简，证明切线条件与关系式 c = b²/(4a) 在所有退化情形下均保持不变。
• 利用引理 1 将正交性与切线关系等价化，通过 tan(π/2) = 0 支持新定义下的几何一致性。

实验结果

研究问题

• RQ1 经典和算切线关系式 c = b²/(4a) 是否可扩展至 α 为点或直线（即 a = 0）的情形？
• RQ2 当 α 的半径 a 趋近于零时，圆 α、β 和 γ 的几何构型如何变化？
• RQ3 定义 a/0 = 0 是否允许在不使用极限的情况下，对和算几何中的退化圆（直线与点）进行一致处理？
• RQ4 当 α 变为 y 轴或原点，γ 变为直线或点时，β 与 α、γ 之间的切线条件是否仍保持有效？
• RQ5 新的除零定义如何影响圆几何中斜率与正交性的解释？

主要发现

• 当 a = 0 时，圆 α 的方程简化为 x² + y² = 0，该方程描述原点，与 α 为点的情形一致。
• 当 a → 0 时，α 的方程变为 x = 0，表示 y 轴，该情形被解释为半径为零的退化圆。
• 当 a = 0 时，γ 的方程简化为 x² + (y - 2b)² = 0，描述点 (0, 2b)，表明 γ 在此极限下退化为一个点。
• 当 α 为 y 轴时，γ 变为 x 轴，且在对称情形下，α 与 γ 均与 y 轴重合，所有情形均与 c = 0 一致。
• 即使当 a = 0 时，关系式 c = b²/(4a) 依然有效，因为根据 a/0 = 0 的定义，c = 0 满足该方程。
• 所有退化情形下的几何构型保持一致，切线与正交性关系均被保留，支持了除零定义的实用性。