[論文レビュー] Real numbers as infinite decimals and irrationality of $\sqrt{2}$

Martin Klazar|ArXiv.org|Oct 30, 2009

Mathematical and Theoretical Analysis参考文献 17被引用数 3

ひとこと要約

この論文は、分数に依存せずに、無限小数と形式的極限を用いた厳密な十進数モデルを構築し、√2の無理数性を分数を用いずに証明する。無限小数としての√2は、最終的に周期的にならないことを示し、十進数の演算のみを用いて無理数性を確立する。主な結果として、2 も 1.999... も十進数モデルにおいて周期的平方根を持たないことが示され、それによって√2の無理数性が裏付けられる。

ABSTRACT

In order to prove irrationality of \sqrt{2} by using only decimal expansions (and not fractions), we develop in detail a model of real numbers based on infinite decimals and arithmetic operations with them.

研究の動機と目的

• 分数や有理数表現に依存せずに、無限小数に基づく完全な実数のモデルを構築すること。
• 分数や有理数表現を一切用いずに、無限小数展開と算術演算のみを用いて√2の無理数性を純粋に数値的に証明すること。
• 既存の十進数に基づく証明における基礎的問題、たとえば (1.999... = 2) の曖昧さや、十進数算術における分配法則の不成立を解消すること。
• 2 も 1.999... も、最終的に周期的となる小数の平方とはなり得ないことを確立し、十進数モデル内での√2の無理数性を証明すること。

提案手法

• 形式的極限収束に基づく無限小数の同値類として実数の十進数モデルを構築し、切り捨てと桁の安定化を用いて加法と乗法を定義する。
• 無限小数における算術演算を定義するために形式的極限（flim）を導入し、各桁での収束を保証する。
• ハイブリッド極限モデル（命題3.1）と形式的極限モデル（命題3.3）を用いて、最終的に周期的となる小数における x² = 2 および x² = 1.999... の可解性を分析する。
• 桁ごとの解析を用いて、d² = 2 ならば (d|n)² が小数点以下でゼロの桁に安定化しなければならないが、ある m に対して (d|m)² が非ゼロの末尾桁を持つことから、極限の振る舞いと矛盾することを示す。
• このような解が最終的に周期的となる小数に存在しないことから、x² = 1.999... が解を持たないことを示す。これは [d]² = [2] を意味するが、これは不可能である。
• 1.999... と 2 が十進数モデルで同一視される一方で、代数的構造が x² = 2 や x² = 1.999... の周期的解の存在を阻止するため、桁の制約が働く。

実験結果

リサーチクエスチョン

• RQ1 分数や有理数表現を一切用いずに、無限小数展開と十進数算術のみを用いて√2の無理数性を証明できるか？
• RQ2 既存の十進数に基づく証明における基礎的問題、特に 1.999... = 2 の同一視と十進数算術における分配法則の不成立とは何か？
• RQ3 形式的極限を用いて、無限小数のための一貫性のある算術を定義できるか。また、このモデルはコーシー列やデデキント切断に依存せずに実数の構成を可能にするか？
• RQ4 標準的な十進数証明が、(1.999...)² = 2 を仮定するが、十進数モデルにおいては (1.999...)² = 1.999... の可能性も考慮しないまま、なぜ失敗するのか？
• RQ5 十進数モデル R は、2 も 1.999... も周期的平方根を持たないことを示すことで、√2の無理数性を完全かつ一貫して証明可能か？

主な発見

• 形式的極限モデルにおいて背理法を用いて、x² = 2 は最終的に周期的となる小数の集合に解を持たない。d² = 2 ならば (d|n)² は2に収束しなければならないが、ある m に対して (d|m)² が小数点以下に非ゼロの桁を持つことから、極限の振る舞いと矛盾する。
• x² = 1.999... は最終的に周期的となる小数の集合に解を持たない。これは [d]² = [2] を意味するが、これは不可能である。
• 分数を一切用いずに、√2の無理数性が証明された。2 も 1.999... も周期的小数の平方とはなり得ないことを示し、桁ごとの収束と形式的極限にのみ依存する。
• 1.999... = 2 の曖昧さは、十進数モデルで 1.999... と 2 が同一視されるが、代数的構造が x² = 2 の周期的解の存在を阻止するため、解消された。
• 有理数 d に対して、d が終結小数であるとき、(d|m)² の最後の非ゼロ桁が 2, 3, 7, 8 になり得ないことが示され、これにより x² = 2 の周期的解がブロックされる。
• 形式的極限モデルにより、(d|n)² が2に桁ごとに収束することは、ある点以降のすべての桁がゼロでなければならないことを意味するが、これは初期の切り捨て (d|m)² に非ゼロ桁が存在することと矛盾する。