[論文レビュー] Wasan geometry with the division by 0

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

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

ひとこと要約

本稿では、円が直線や点に退化する場合の特異な状況にまで拡張される和算幾何（Wasan geometry）への一貫性のある除算 by zero（a/0 = 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.

研究の動機と目的

• 円が直線や点に退化する場合の和算幾何を、標準的な除算では特異となる状況にまで拡張すること。
• 半径が0または無限大に近づく場合に生じる古典的接線定理の不整合を解消すること。
• 除算 by zero の一貫性のある定義を用いて、a = 0 の場合でさえも幾何的関係式 c = b²/(4a) が成立することを示すこと。
• 極限を用いずに、円と直線の接線を統一的に扱えるフレームワークを提供すること。

提案手法

• b ≠ 0 の場合の一般化関数 F(a,b) = a/b を導入し、F(a,0) = 0 として定義することで、代数的に一貫性を持たせて除算を0にまで拡張する。
• 一般円の方程式 S(x,y) = a(x² + y²) + 2gx + 2fy + c = 0 に、a/0 = 0 の定義を適用し、半径を R = √(g² + f² - ac)/|a| として再定義する。a = 0 のとき R = 0 となる。
• 座標幾何を用いて円 α, β, γ の方程式を導出し、a → 0 の退化極限に除算 by zero の規則を適用する。
• a = 0 の場合の結果方程式を分析し、α が原点、y軸、または直線 t に、γ がx軸、y軸、または点 (0, 2b) にそれぞれ退化することを示す。
• 直接代入と代数的簡略化により、接線条件および関係式 c = b²/(4a) がすべての退化状況で保持されることを示す。
• 補足事項1を用いて、tan(π/2) = 0 により直交性と接線性を同等視することで、新しい定義のもとでも幾何的整合性が保たれることを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 α が点または直線（つまり a = 0）となる場合に、古典的な和算接線関係式 c = b²/(4a) を拡張できるか。
• RQ2 α の半径 a が0に近づくとき、円 α, β, γ の幾何的配置はどのように変化するか。
• RQ3 定義 a/0 = 0 を用いることで、極限を用いずに退化円（直線や点）を一貫して取り扱えるか。
• RQ4 α が y軸または原点に、γ が直線または点に退化する場合に、β と α および γ の間の接線条件が維持されるか。
• RQ5 除算 by zero の新しい定義は、円幾何における傾きおよび直交性の解釈にどのように影響を与えるか。

主な発見

• a = 0 のとき、円 α の方程式は x² + y² = 0 に簡略化され、これは原点を表し、α が点であることに整合的である。
• a → 0 のとき、α の方程式は x = 0 に近づき、これは y軸を表し、半径が0の退化円と解釈できる。
• a = 0 のとき、γ の方程式は x² + (y - 2b)² = 0 に簡略化され、点 (0, 2b) を表し、γ がこの極限で点に退化することを示している。
• α が y軸である場合、γ は x軸に、対称的な状況では α と γ が両方とも y軸に一致するが、すべて c = 0 と整合的である。
• a = 0 の場合でも、c = 0 が定義 a/0 = 0 の下で方程式を満たすため、関係式 c = b²/(4a) は依然として有効である。
• すべての退化状況において幾何的配置が一貫しており、接線性および直交性が保たれていることから、除算 by zero の定義の有用性が裏付けられている。