[论文解读] 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...均无周期性平方根。

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)²必须在小数点后稳定为2，但对某些m，(d|m)²在小数点后存在非零数字，与极限行为矛盾。
• 通过证明若存在解，则[d]² = [2]，而这是不可能的，表明x² = 1.999...在最终周期性小数中无解。
• 利用1.999...与2在十进制模型中被识别为同一对象的事实，但代数结构因数字约束而阻止x² = 2或x² = 1.999...存在周期解。

实验结果

研究问题

• RQ1 能否仅使用无限小数展开和十进制算术证明√2的无理性，而不涉及分数或有理数表示？
• RQ2 现有基于小数的无理证明中存在哪些基础性问题，特别是关于1.999... = 2的恒等性以及十进制算术中分配律的失效？
• RQ3 能否通过形式极限定义无限小数的一致算术？该模型是否支持在不引用柯西序列或戴德金分割的情况下构造实数？
• RQ4 为何标准十进制证明在假设(1.999...)² = 2时会失败，而未考虑十进制模型中(1.999...)² = 1.999...的另一种可能？
• RQ5 十进制实数模型是否允许通过证明2和1.999...均无周期性平方根，从而实现对√2无理性的完整且一致的证明？

主要发现

• 在最终周期性小数集合中，方程x² = 2无解，形式极限模型中的反证法表明：若d² = 2，则(d|n)²必须稳定为2，但对某些m，(d|m)²在小数点后存在非零数字，与极限行为矛盾。
• 在最终周期性小数集合中，方程x² = 1.999...无解，因为这将意味着在十进制模型中[d]² = [2]，而这是不可能的。
• 通过证明不存在任何周期性小数能平方得到2或1.999...，仅依赖逐位收敛和形式极限，确立了√2的无理性，且完全不使用分数。
• 该模型通过表明尽管1.999...与2在十进制模型中被识别为同一对象，但代数结构阻止了x² = 2的周期解，从而解决了1.999... = 2的模糊性。
• 本文证明：若d为有理数，则终止小数d的(d|m)²的最后一个非零数字不能是2、3、7或8，这阻碍了x² = 2的周期解。
• 形式极限模型确保(d|n)²对2的逐位收敛意味着所有某一点之后的数字必须为零，这与d²早期截断中存在非零数字的事实相矛盾。