再谈0.循环9等于1

最新推荐文章于 2023-10-31 23:22:26 发布

原创最新推荐文章于 2023-10-31 23:22:26 发布 · 6.6k 阅读

5 ·

CC 4.0 BY-SA版权

文章标签：

#极限 #循环9 #实数

谈天说地专栏收录该内容

20 篇文章

订阅专栏

本文通过实数的稠密性质证明了0.循环9等于1，并解释了背后的原因在于两者无限接近，不存在差值。同时介绍了极限的概念。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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

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

关于0.循环9

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

\sum n = 1 \infty 9 10 n

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

没有错，这是一个级数。

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

如何证明相等呢

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

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

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

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

证明过程

假设
$\sum n = 1 \infty 9 10 n \neq 1$ $\sum_{n=1}^{\infty} \frac{9} {10^{n}} \ne 1$
很明显，左边不可能大于右边，所以两者只能是小于关系，即
$\sum n = 1 \infty 9 10 n < 1$ $\sum_{n=1}^{\infty} \frac{9} {10^{n}} \lt 1$
根据实数的稠密性，一定存在一个实数介于两者之者，即
$\sum n = 1 \infty 9 10 n < x < 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 < 1 - 1 10 m$ $x \lt 1 - \frac{1}{10^{m}}$
于是有
$\sum n = 1 \infty 9 10 n < 1 - 1 10 m < 1$ $\sum_{n=1}^{\infty} \frac{9} {10^{n}} \lt 1 - \frac{1}{10^{m}} \lt 1$
接下只关心不等式的左边两项，即
$\sum n = 1 \infty 9 10 n < 1 - 1 10 m$ $\sum_{n=1}^{\infty} \frac{9} {10^{n}} \lt 1 - \frac{1}{10^{m}}$

等价移项

$\sum n = 1 \infty 9 10 n + 1 10 m < 1$ $\sum_{n=1}^{\infty} \frac{9} {10^{n}} + \frac{1}{10^{m}} \lt 1$
接下来，要对级数做拆分
$\sum n = 1 m 9 10 n + 1 10 m + \sum n = m + 1 \infty 9 10 n < 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 9 10 n < 1$ $1 + \sum_{n=m+1}^{\infty} \frac{9} {10^{n}} \lt 1$
上述不等式明显是矛盾，所以题设不成立，故证毕
$\sum n = 1 \infty 9 10 n = 1$ $\sum_{n=1}^{\infty} \frac{9} {10^{n}} = 1$

证明背后的朴素道理

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

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

\sum n = 1 \infty 9 10 n > S

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