再谈0.循环9等于1

在开始之前先跟大家介绍一位数学爱好者卞爱华写的博客万物皆数，里面涉及大量的数学知识，有兴趣的朋友可以移步过去领略数学之美。

时间过得真快，我在六年前这个时间点，写过一篇数学方面的文章1等于0.循环9吗？。前段时间找到万物皆数之后，我又翻阅了一些有理数与实数的理论，加上大家对这个话题也很感兴趣，于是趁有时间，重写一下这个话题。

关于0.循环9

0.循环9是小学的表达方式，它的真实身份是

∑n=1∞910n

$$\sum_{n=1}^{\infty} \frac{9} {10^{n}}$$

没有错，这是一个级数。

那么它的值与1是否相等呢？直觉看来，它明显是加不到1的，所以它比1小。但真的是这样吗？

如何证明相等呢

我们知道实数是具有稠密性质，也即两个不相等的实数x和y之间，一定存在着一个中间实数z。用数学语言表达就是:

对于任何实数x和y，假定

$$x \lt y$$
那么一定存在实数z，满足
$$x \lt z \lt y$$

下面利用这一性质来证明。

证明过程

假设

$$\sum_{n=1}^{\infty} \frac{9} {10^{n}} \ne 1$$
很明显，左边不可能大于右边，所以两者只能是小于关系，即
$$\sum_{n=1}^{\infty} \frac{9} {10^{n}} \lt 1$$
根据实数的稠密性，一定存在一个实数介于两者之者，即
$$\sum_{n=1}^{\infty} \frac{9} {10^{n}} \lt x \lt 1$$

由$x < 1$，则有$1-x <1$，根据阿基米德公理，一定可以找到一个m，使得$10^m(1-x)>1$，那么有：

$$x \lt 1 - \frac{1}{10^{m}}$$
于是有
$$\sum_{n=1}^{\infty} \frac{9} {10^{n}} \lt 1 - \frac{1}{10^{m}} \lt 1$$
接下只关心不等式的左边两项，即
$$\sum_{n=1}^{\infty} \frac{9} {10^{n}} \lt 1 - \frac{1}{10^{m}}$$

等价移项

$$\sum_{n=1}^{\infty} \frac{9} {10^{n}} + \frac{1}{10^{m}} \lt 1$$
接下来，要对级数做拆分
$$\sum_{n=1}^{m} \frac{9} {10^{n}} + \frac{1}{10^{m}} + \sum_{n=m+1}^{\infty} \frac{9} {10^{n}} \lt 1$$
左边前两项加起来刚好等于1，则有
$$1 + \sum_{n=m+1}^{\infty} \frac{9} {10^{n}} \lt 1$$
上述不等式明显是矛盾，所以题设不成立， 故证毕
$$\sum_{n=1}^{\infty} \frac{9} {10^{n}} = 1$$

证明背后的朴素道理

为什么两者是相等的呢？ 那么因为这两个数是无限接近，以致于永远找不到两者之间的空隙（也即两数的差值为0）。

不管你找一个多么接近1的值S，但只要比1小，那总是能证明

$$\sum_{n=1}^{\infty} \frac{9} {10^{n}} \gt S$$

其实这就是极限的定义了，如果设数列$a_{n}$的极限为S，那就是意味着，无论你找多么接近S，但小于S的数值m，那么$a_{n}$总有一个项是比它大的，也即就是当$n\to\infty$时，$a_{n}$跟S 是没有空隙的。

用优美的数学语言来表达就是：

如果

$$\lim_{n \to \infty }{a_{n}} = S$$
那么对于任意正数 $\varepsilon$ （不论它多么小），总存在正整数N，使得当n>N时，均有以下不等式成立
$$\vert a_{n} - S\vert \lt \varepsilon$$

这里的$\varepsilon$ 是任意正数都是成立的，也即无论你取多么小的$\varepsilon$ 数，总能找到一个N，使得数列第N项之后的所有项，均是与A距离比$\varepsilon$ 小。换句话说，$a_{n}$在$n \to \infty$，它与S是无限接近的。