0.99......为什么等于1?
初学者的月经问题,已经有很多答主在很多回答下面通过数分知识证明过了。
卓里奇的《数学分析》第二章:实数,描述了实数公理以及实数所具有的各种性质、计数法、实数的模型。更为关键的是,它给出了我们通常所使用的
![equation?tex=q+](https://i-blog.csdnimg.cn/blog_migrate/00b02ac357dfcd5856c1a4d62e1f43ff.png)
![equation?tex=q](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png)
在这个计数系统的构造过程中我发现,
![equation?tex=0.999%5Ccdots%3D1](https://i-blog.csdnimg.cn/blog_migrate/59178be9e7afddaff2c543a1530bcea7.png)
在真正进行构造计数系统之前,首先复习一下这一章的基本知识。
- 实数公理
加法公理 确定了一个映射(加法运算)![]()
使得对于
中的任意二元
的有序对
,有某元
与之对应,称
为
之和,同时该映射满足以下条件:
存在中性元
(叫做加法零元),使得对于任何的
,
![]()
每个元
都有元
,叫做
的负元,使得
![]()
运算
是结合的,即
中的任何
满足条件
![]()
运算
是交换的,即
中的任何
满足
加法公理说明了
是阿贝尔群。
乘法公理 确定了一个映射(乘法运算)![]()
使得对于
中的任何二元
的有序对
,有某元
与之对应,称为
之积,同时该映射满足一下条件:
存在中性元
,使得对于任何的
,
![]()
每个元
都有对应的元
,使得
![]()
运算
是结合的,即
中的任何
都有
![]()
运算
是交换的,即
中的任何
都有
乘法公理说明了
关于乘法是一个群。
加法与乘法的联系 乘法对加法具有分配性,即对于![]()
,
满足以上公理的任何集合是一个代数域,可想而知
就是一个代数域。
序公理![]()
的元素之间有关系
,即对于
中的任意元素
满足
,或者不满足。同时应满足以下条件:
![]()
这表示中的任意两个元素之间能够比较大小,因这种性质我们称
线性序集。为
中的加法与序关系之间的联系 如果![]()
是
中的元素,那么,
![]()
中的序关系与乘法之间的联系 如果![]()
是
的元素,那么,
完备(连续)公理 如果![]()
与
是
的非空子集,且具有性质:对于任何
,有
,那么,存在
,使得对于任何的
有
![]()
到此为止便是实数公理的所有内容,我们可以说满足以上公理的任何集合都被称之为实数集。
2.上确界引理
定义1.1:集合的上界中的最小者,叫做
上确界,记作的
或者
.形式化的定义为:
![]()
定义1.2:集合下确界定义为:的
上确界引理:实数集的任何非空有上界的子集有唯一的上确界。也即:![]()
![]()
对于下确界也有相似的定理:![]()
证明从略。
3.自然数集的定义
归纳集 如果对于集合的每一个数
,同时有
,就称
自然数集 包含数1的最小归纳集,即含有数1的一切归纳集之交,叫做自然数集。为一个归纳集。任意个归纳集之交也是归纳集。
值得注意的一点,在集合论中自然数集一般是从
![equation?tex=0](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png)
![equation?tex=1](https://i-blog.csdnimg.cn/blog_migrate/227e8e885aa645310c5e4bbc05c50091.png)
![equation?tex=0%5Cnotin%5Cmathbb%7BN%7D.](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png%5Cnotin%5Cmathbb%7BN%7D.)
4.数学归纳原理
数学归纳原理 如果是自然数集
的子集,
,并且当
时,
,那么
.
5.算数基本定理
算数基本定理:每个自然数能够唯一的表示成乘积的形式(不计因数的顺序区别):其中
都是素数。
6.阿基米德原理
阿基米德原理 如果是任意一个固定的正数,那么对于任意实数
整数必能找到唯一的
,使得
![]()
关于阿基米德原理我是这么理解的:对应任何实数都能包含于一个由一固定正数
和唯一整数
所形成的区间
定位于一个长度内。也就是说,所有实数都可以这样被
的区间内。
实数在公理化体系下可以有很多种实现方式,这些方式统一叫作实数的模型,数轴就是实数最常用的几何模型,数轴上的所有点的集合便是满足以上实数公理的一个集合。
同样的,用有理数序列逼近数也是最常见的一种实数模型。因为原则上来说,如果我们有能力以任意精度进行测量的话,我们就可以认为在一次次测量中得到的更加精确的有理数序列就是我们所需要的值。
这种观点就是把一个数与他的经测量得到的越来越精确的近似值系列看成是同一的。实际上,若是测量的序列号,而
是测量的结果,那么对应
按序列来定义,不过是自然数变量的一个函数
(在所给的情况是数列)。
为了测量,首先需要一个标准尺度,我们称标准尺度的与整个标准尺度可公度的部分称为标准尺度的有理部分。所以任意测量都是与标准尺度,或者与标准尺度的有理部分进行的有限次比较。这样,从原则上就能够用有理数序列来描述整个实数集。
接下来我们便可以运用以上知识来构建数的
![equation?tex=q](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png)
引理 如果固定数,那么,对于任何正数
,必有唯一的整数
,使得
![]()
首先证明形如
的数没有上界。如若不然,它就有上确界
,从而,根据上确界的定义,能够求出自然数
,使得
这样
,因而
就不是我们这个集的上确界了。
由于,得知当
,且
时,有
,因此,我们一并证明了对于任意实数
,能够找到自然数
,使得对于任何自然数
,必有
![]()
由此推知,对于任何,能够求得
,使得对于任何自然数
,必有
![]()
这是因为,比如当时,令
,那么根据上一条结论,有
,由于
,
,根据
,可以在不等式两边同时乘以
而不会改变不等号,这就得到了
![]()
于是,对于,满足不等式
整数的
的集合有下界。这是因为,上面分析的两条结论给出了证明,这里
为整数很重要。实际上,当
时,结论
说明了满足
的
集是有下界的;当
时,结论
说明了满足
的
集是有上界的,由上确界引理可知,这个集合一定有唯一的上确界,这同样说明了满足
的
的集合是有下界的。
也就是说,这个集合有最小元,
同样也是集合的下确界。显然,这个
就是所求的整数,因为由下确界的定义可以得知,对于它有
成立。
我们同时还需要证明的唯一性,如果存在两个同时满足以上等式的整数
,比如
,那么就一定有
,这样
![]()
而由于以及
可知,至少有
成立,也即
成立。如果
的话,与上面的陈述必会产生矛盾。所以必定只有
这也就证明了
的唯一性。
![]()
将上面定理的内容抄写如下:
固定一个
![equation?tex=q%3E1](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%3E1)
![equation?tex=x%5Cin+%5Cmathbb%7BR%7D%5E%2B](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png%5Cin+%5Cmathbb%7BR%7D%5E%2B)
![equation?tex=p%5Cin%5Cmathbb%7BZ%7D](https://i-blog.csdnimg.cn/blog_migrate/3f7f6d95ebff2c3a1a2c6d45c2a6e153.png)
![equation?tex=q%5Ep%5Cleq+x%3Cq%5E%7Bp%2B1%7D.%5Ctag%7B3%7D](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%5Ep%5Cleq+x%3Cq%5E%7Bp%2B1%7D.%5Ctag%7B3%7D)
定义1.3 满足关系
![equation?tex=%283%29](https://i-blog.csdnimg.cn/blog_migrate/0637f99ce25fe03a0f972f24bf627d51.png)
![equation?tex=p](https://i-blog.csdnimg.cn/blog_migrate/1dcb592d2a749230dc8b6235f16a51b2.png)
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
![equation?tex=q](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png)
![equation?tex=q](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png)
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
根据阿基米德原理,存在唯一的自然数
![equation?tex=%5Calpha_p%5Cin%5Cmathbb%7BN%7D](https://i-blog.csdnimg.cn/blog_migrate/2246237534764fc9c2ed901064e514b0.png)
![equation?tex=%5C%5C+%5Calpha_pq%5Ep%5Cleq+x%3C%28%5Calpha_p%2B1%29q%5Ep.%5Ctag%7B4%7D](https://i-blog.csdnimg.cn/blog_migrate/e219853747345e4b29f26adfc6c8d3bb.png)
注意到
![equation?tex=%283%29](https://i-blog.csdnimg.cn/blog_migrate/0637f99ce25fe03a0f972f24bf627d51.png)
![equation?tex=%5Calpha_p%5Cin+%5C%7B1%2C%5Ccdots%2Cq-1%5C%7D.](https://i-blog.csdnimg.cn/blog_migrate/1a968d39bac5c87e615f42c213ca536e.png)
![equation?tex=q%5Ep%3E0](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%5Ep%3E0)
![equation?tex=%5Calpha_p%5Cneq+0.](https://i-blog.csdnimg.cn/blog_migrate/a29fa64f1db5f1e0abbf70230965e60f.png)
上述两步做法的原理是,引理为我们确定了正数
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
![equation?tex=q%3D10](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%3D10)
![equation?tex=1](https://i-blog.csdnimg.cn/blog_migrate/227e8e885aa645310c5e4bbc05c50091.png)
![equation?tex=9](https://i-blog.csdnimg.cn/blog_migrate/b9131f52ff49333d3ece48788ab8d7e7.png)
![equation?tex=0](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png)
![equation?tex=1](https://i-blog.csdnimg.cn/blog_migrate/227e8e885aa645310c5e4bbc05c50091.png)
![equation?tex=q%5Ep](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%5Ep)
![equation?tex=q%5E%7Bp%2B1%7D](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%5E%7Bp%2B1%7D)
![equation?tex=q%5Ep](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%5Ep)
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
![equation?tex=q%5Ep](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%5Ep)
拿一个十进制数作为例子便能够很好的理解。比如数
![equation?tex=p%3D1](https://i-blog.csdnimg.cn/blog_migrate/1dcb592d2a749230dc8b6235f16a51b2.png%3D1)
![equation?tex=q%3D10](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%3D10)
![equation?tex=1%5Ctimes10%5E1%5Cleq15%3C2%5Ctimes10%5E1](https://i-blog.csdnimg.cn/blog_migrate/227e8e885aa645310c5e4bbc05c50091.png%5Ctimes10%5E1%5Cleq15%3C2%5Ctimes10%5E1)
![equation?tex=%5Calpha_p%3D1](https://i-blog.csdnimg.cn/blog_migrate/e0d1a6016bb944b9c5c2f050211184cc.png)
在接下来的构造中,后继的每一步,都是重复马上进行的从
![equation?tex=%284%29](https://i-blog.csdnimg.cn/blog_migrate/af7ae4210823df54feb2cbc59c36f20d.png)
由关系式
![equation?tex=%284%29](https://i-blog.csdnimg.cn/blog_migrate/af7ae4210823df54feb2cbc59c36f20d.png)
![equation?tex=%5Calpha_%7Bp-1%7D%5Cin%5C%7B0%2C1%2C%5Ccdots%2Cq-1%5C%7D](https://i-blog.csdnimg.cn/blog_migrate/a6e77082df49c23c1abdae350127702b.png)
![equation?tex=%5C%5C+%5Calpha_p+q%5Ep%2B%5Calpha_%7Bp-1%7Dq%5E%7Bp-1%7D%5Cleq+x%3C%5Calpha_p+q%5Ep%2B%5Calpha_%7Bp-1%7Dq%5E%7Bp-1%7D%2Bq%5E%7Bp-1%7D.+%5Ctag%7B5%7D](https://i-blog.csdnimg.cn/blog_migrate/c0e136b1cefe0938e667d206be99b713.png)
事实上,由
![equation?tex=%284%29](https://i-blog.csdnimg.cn/blog_migrate/af7ae4210823df54feb2cbc59c36f20d.png)
![equation?tex=0%5Cleq+x-%5Calpha_p+q%5Ep%3Cq%5Ep](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png%5Cleq+x-%5Calpha_p+q%5Ep%3Cq%5Ep)
![equation?tex=h%3Dq%5E%7Bp-1%7D](https://i-blog.csdnimg.cn/blog_migrate/aaaa0c45ab419d3843f670e3128a981c.png%3Dq%5E%7Bp-1%7D)
![equation?tex=%5Calpha_%7Bp-1%7D%5Cin%5C%7B0%2C1%2C%5Ccdots%2Cq-1%5C%7D](https://i-blog.csdnimg.cn/blog_migrate/a6e77082df49c23c1abdae350127702b.png)
![equation?tex=%5C%5C+%5Calpha_%7Bp-1%7Dq%5E%7Bp-1%7D%5Cleq+x-%5Calpha_p+q%5Ep%3C%5Calpha_%7Bp-1%7Dq%5E%7Bp-1%7D%2Bq%5E%7Bp-1%7D](https://i-blog.csdnimg.cn/blog_migrate/ae32864b3c2320b346dbe6c4399958ab.png)
![equation?tex=%285%29](https://i-blog.csdnimg.cn/blog_migrate/df8376f1c37e671ec36830e67dc72d7d.png)
假如已经做完了
![equation?tex=n](https://i-blog.csdnimg.cn/blog_migrate/ce59f55893efd960f1dbdfcd5c192a96.png)
![equation?tex=%5C%5C+%5Calpha_%7Bp%7Dq%5Ep%2B%5Calpha_%7Bp-1%7Dq%5E%7Bp-1%7D%2B%5Ccdots%2B%5Calpha_%7Bp-n%7Dq%5E%7Bp-n%7D%5Cleq+x%3C%5Calpha_%7Bp%7Dq%5Ep%2B%5C%5C+%5Calpha_%7Bp-1%7Dq%5E%7Bp-1%7D%2B%5Ccdots%2B%5Calpha_%7Bp-n%7Dq%5E%7Bp-n%7D%2Bq%5E%7Bp-n%7D](https://i-blog.csdnimg.cn/blog_migrate/a65ffb9af7e78abe31d7c76158e7b15f.png)
那么,根据阿基米德原理就能够求得唯一的数
![equation?tex=%5Calpha_%7Bp-n-1%7D%5Cin%5C%7B0%2C1%2C%5Ccdots%2Cq-1%5C%7D](https://i-blog.csdnimg.cn/blog_migrate/dcc7f14d830da082ea907f3a526b10e2.png)
![equation?tex=%5Calpha_%7Bp%7Dq%5Ep%2B%5Ccdots%2B%5Calpha_%7Bp-n%7Dq%5E%7Bp-n%7D%2B%5Calpha_%7Bp-n-1%7Dq%5E%7Bp-n-1%7D%5Cleq+x+%3C%5Calpha_p+q%5Ep%2B%5Ccdots%5C%5C%2B%5Calpha_%7Bp-n%7Dq%5E%7Bp-n%7D%2B%5Calpha_%7Bp-n-1%7Dq%5E%7Bp-n-1%7D%2Bq%5E%7Bp-n-1%7D.](https://i-blog.csdnimg.cn/blog_migrate/83b633249e4801f8d1b65993a4ff8117.png)
于是制定了一个算法,使得每一个正数
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
![equation?tex=%5Calpha_p%2C%5Calpha_%7Bp-1%7D%2C%5Ccdots%2C%5Calpha_%7Bp-n%7D%2C%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/12894aca750ca53b0efa2a1d139bfd47.png)
![equation?tex=%5Calpha_p%5Cin%5C%7B1%2C2%2C%5Ccdots%2Cq-1%5C%7D](https://i-blog.csdnimg.cn/blog_migrate/8178ceedf84fde372ceab37b4a88b805.png)
![equation?tex=%5Calpha_j](https://i-blog.csdnimg.cn/blog_migrate/1089ddccc9f34553ce0254ad9d966afa.png)
![equation?tex=%5C%7B0%2C1%2C2%2C%5Ccdots%2Cq-1%5C%7D](https://i-blog.csdnimg.cn/blog_migrate/cbd61f5046ce8a7ffe8d92639cff40b6.png)
换句话说,每一个正数
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
![equation?tex=%5C%5Cr_n%3D%5Calpha_p+q%5Ep%2B%5Ccdots%2B%5Calpha_%7Bp-n%7Dq%5E%7Bp-n%7D%5Ctag%7B6%7D](https://i-blog.csdnimg.cn/blog_migrate/7514528ef653d96229fa8c77a6bbb7b7.png)
![equation?tex=r_n%5Cleq+x%3Cr_n%2B%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D.%5Ctag%7B7%7D](https://i-blog.csdnimg.cn/blog_migrate/ce6a6a52d9c6fb0997e8c222a4700eb9.png)
也就是说,我们用特殊的有理数序列,建立了
的越来越好的不足近似值和过剩近似值。符号
是整个序列
的密码,为了能够根据这个密码恢复序列
,必须指出
的阶数
。
我们约定,当
![equation?tex=p%5Cgeq+0](https://i-blog.csdnimg.cn/blog_migrate/1dcb592d2a749230dc8b6235f16a51b2.png%5Cgeq+0)
![equation?tex=%5Calpha_0](https://i-blog.csdnimg.cn/blog_migrate/daf51e83c28c0e61872376158dd4f20c.png)
![equation?tex=p%3C0](https://i-blog.csdnimg.cn/blog_migrate/1dcb592d2a749230dc8b6235f16a51b2.png%3C0)
![equation?tex=%5Calpha_p](https://i-blog.csdnimg.cn/blog_migrate/3fc5ff219655f759e27b700b08a9426c.png)
![equation?tex=%7Cp%7C](https://i-blog.csdnimg.cn/blog_migrate/9b47d75ffeba422d9a552580fafafe62.png)
因此,符号
![equation?tex=%5Calpha_p%2C%5Ccdots%2C%5Calpha_%7Bp-1%7D%2C%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/3fc5ff219655f759e27b700b08a9426c.png%2C%5Ccdots%2C%5Calpha_%7Bp-1%7D%2C%5Ccdots)
在做了这些约定之后,就可以从符号
![equation?tex=%5Calpha_p%2C%5Ccdots%2C%5Calpha_0%2C%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/3fc5ff219655f759e27b700b08a9426c.png%2C%5Ccdots%2C%5Calpha_0%2C%5Ccdots)
由
![equation?tex=%287%29](https://i-blog.csdnimg.cn/blog_migrate/6bcdc0d12583f1932c9ea567949cc13d.png)
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
![equation?tex=x%27](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png%27)
![equation?tex=%5Calpha_p%2C%5Ccdots%2C%5Calpha_0%2C%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/3fc5ff219655f759e27b700b08a9426c.png%2C%5Ccdots%2C%5Calpha_0%2C%5Ccdots)
![equation?tex=%5Calpha%27_p%2C%5Ccdots%2C%5Calpha%27_0%2C%5Ccdots.](https://i-blog.csdnimg.cn/blog_migrate/3cc32975e66ca0635abe53123792eba0.png)
现在问,是否形如与
![equation?tex=%5Calpha_p%2C%2C%5Ccdots%2C%5Calpha_0%2C%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/3fc5ff219655f759e27b700b08a9426c.png%2C%2C%5Ccdots%2C%5Calpha_0%2C%5Ccdots)
答案是否定的。
请注意,根据上述逐次得到
![equation?tex=%5Calpha_%7Bp-n%7D%5Cin%5C%7B0%2C1%2C%5Ccdots%2Cq-1%5C%7D](https://i-blog.csdnimg.cn/blog_migrate/34f34051b7424933e0552ddf55674a8a.png)
![equation?tex=%5Calpha_%7Bp-n%7D](https://i-blog.csdnimg.cn/blog_migrate/c8832944c618ca43bb4bc9850acc6d6f.png)
![equation?tex=q-1](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png-1)
事实上,如果当
![equation?tex=n%3Ek](https://i-blog.csdnimg.cn/blog_migrate/ce59f55893efd960f1dbdfcd5c192a96.png%3Ek)
![equation?tex=%5C%5C+r_n%3D%5Calpha_p+q%5Ep%2B%5Ccdots%2B%5Calpha_%7Bp-k%7Dq%5E%7Bp-k%7D%2B%28q-1%29q%5E%7Bp-%28k%2B1%29%7D%2B%28q-1%29q%5E%7Bp-%28k%2B2%29%7D%5Ccdots%2B%28q-1%29q%5E%7Bp-n%7D%2C](https://i-blog.csdnimg.cn/blog_migrate/9d7ea42b74b160bc49d7e234bbc0a889.png)
![equation?tex=%5C%5C+r_n%3Dr_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D%2C%5Ctag%7B8%7D](https://i-blog.csdnimg.cn/blog_migrate/fdae4a899daf9a7993cf52946b1937af.png)
![equation?tex=%287%29](https://i-blog.csdnimg.cn/blog_migrate/6bcdc0d12583f1932c9ea567949cc13d.png)
![equation?tex=%5C%5C+r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%5Cleq+x%3Cr_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D%2C](https://i-blog.csdnimg.cn/blog_migrate/b7372a0adf0c2ef2d1a95ad14bdc5a45.png)
![equation?tex=n%3Ek](https://i-blog.csdnimg.cn/blog_migrate/ce59f55893efd960f1dbdfcd5c192a96.png%3Ek)
![equation?tex=0%5Cleq+r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-x%3C%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%5Ctag%7B9%7D](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png%5Cleq+r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-x%3C%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%5Ctag%7B9%7D)
这是因为,对于正数
![equation?tex=r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-x](https://i-blog.csdnimg.cn/blog_migrate/c5deb3d3fc5cb0d7f10d1d151dd9c8d8.png)
![equation?tex=r%5Cin%5Cmathbb%7BZ%7D](https://i-blog.csdnimg.cn/blog_migrate/dfe83ca957d134867f26cb7d796f3f87.png)
![equation?tex=q%5E%7Br-1%7D%5Cleq+r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-x%3Cq%5Er](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png%5E%7Br-1%7D%5Cleq+r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-x%3Cq%5Er)
![equation?tex=%289%29](https://i-blog.csdnimg.cn/blog_migrate/a8433772cc998e6ff25b97c350d930b0.png)
![equation?tex=N%3Ek](https://i-blog.csdnimg.cn/blog_migrate/480acf256deebd4172a4808d252a3ada.png)
![equation?tex=n%3EN](https://i-blog.csdnimg.cn/blog_migrate/ce59f55893efd960f1dbdfcd5c192a96.png%3EN)
![equation?tex=r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-x%3C+%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%3Cq%5E%7Br-1%7D.](https://i-blog.csdnimg.cn/blog_migrate/c5deb3d3fc5cb0d7f10d1d151dd9c8d8.png%3C+%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%3Cq%5E%7Br-1%7D.)
![equation?tex=n](https://i-blog.csdnimg.cn/blog_migrate/ce59f55893efd960f1dbdfcd5c192a96.png)
![equation?tex=r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-x](https://i-blog.csdnimg.cn/blog_migrate/c5deb3d3fc5cb0d7f10d1d151dd9c8d8.png)
还应注意,如果在
![equation?tex=%5Calpha_%7Bp-k-1%7D%2C%5Ccdots%2C%5Calpha_%7Bp-n%7D](https://i-blog.csdnimg.cn/blog_migrate/75e82a7b3a413f0146e9e9b0cf4d188b.png)
![equation?tex=q-1](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png-1)
![equation?tex=%288%29](https://i-blog.csdnimg.cn/blog_migrate/a409c7144f45de6e466c61ee2c02928d.png)
![equation?tex=%5C%5C+r_n%3Cr_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%2C](https://i-blog.csdnimg.cn/blog_migrate/351b24fe407f866ce7f023a6734f4d58.png)
![equation?tex=%5C%5C+r_n%2B%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%3Cr_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D.%5Ctag%7B10%7D](https://i-blog.csdnimg.cn/blog_migrate/5a3e185cda09d6b9da68bbcceea228cc.png)
![equation?tex=%5Calpha_k%5Cin%5C%7B0%2C1%2C%5Ccdots%2Cq-1%5C%7D](https://i-blog.csdnimg.cn/blog_migrate/5191ce8158354e6236ed64feaa68bd0f.png)
![equation?tex=%5Calpha_p%2C%5Ccdots%2C%5Calpha_0%2C%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/3fc5ff219655f759e27b700b08a9426c.png%2C%5Ccdots%2C%5Calpha_0%2C%5Ccdots)
![equation?tex=q-1](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png-1)
![equation?tex=x%3E0](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png%3E0)
事实上,根据记号
![equation?tex=%5Calpha_p%2C%5Ccdots%2C%5Calpha_%7Bp-n%7D%2C%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/913e2a6d8a5e8fdd8d9a3048d0e91fe0.png)
![equation?tex=%286%29](https://i-blog.csdnimg.cn/blog_migrate/c4046e390ae50aa93bdf54fc4d0ceb56.png)
![equation?tex=%5C%7Bx_n%5C%7D](https://i-blog.csdnimg.cn/blog_migrate/ff542909678aa0f8770db1638db208a0.png)
![equation?tex=r_0%5Cleq+r_1%5Cleq+%5Ccdots%5Cleq+r_n%5Cleq%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/deaed3c23be018278a4bf6fbb5173892.png)
![equation?tex=%288%29](https://i-blog.csdnimg.cn/blog_migrate/a409c7144f45de6e466c61ee2c02928d.png)
![equation?tex=%2810%29](https://i-blog.csdnimg.cn/blog_migrate/27d9a7eabc3b20e487b9e8c4dc27b58e.png)
![equation?tex=%5C%5C+r_0%5Cleq+r_1%5Cleq%5Ccdots%5Cleq%5Ccdots%3C%5Ccdots%5Cleq+r_n%2B%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%5Cleq%5Ccdots%5Cleq+r_1%2B%5Cfrac%7B1%7D%7Bq%5E%7B1-p%7D%7D%5Cleq+r_0%2B%5Cfrac%7B1%7D%7Bq%5E%7B-p%7D%7D.%5Ctag%7B11%7D](https://i-blog.csdnimg.cn/blog_migrate/352df7fe9e6aeb5f54c21a6c7d217208.png)
![equation?tex=%2810%29](https://i-blog.csdnimg.cn/blog_migrate/27d9a7eabc3b20e487b9e8c4dc27b58e.png)
![equation?tex=r_n](https://i-blog.csdnimg.cn/blog_migrate/f3553186eadd4ef090a64909b2b0e166.png)
![equation?tex=r_n%2B%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D](https://i-blog.csdnimg.cn/blog_migrate/f3553186eadd4ef090a64909b2b0e166.png%2B%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D)
![equation?tex=%288%29%2C%2810%29](https://i-blog.csdnimg.cn/blog_migrate/a409c7144f45de6e466c61ee2c02928d.png%2C%2810%29)
![equation?tex=r_n%2B%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%5Cleq+r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D](https://i-blog.csdnimg.cn/blog_migrate/f3553186eadd4ef090a64909b2b0e166.png%2B%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%5Cleq+r_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D)
![equation?tex=k%3Cn](https://i-blog.csdnimg.cn/blog_migrate/9d4a1163d2eb1bb72228d1279049c2d8.png%3Cn)
![equation?tex=%3C](https://i-blog.csdnimg.cn/blog_migrate/f37040f31e2c6d10c4ec91320d32f940.png)
如果取
![equation?tex=%5C%5C+x%3D%5Csup_%7Bn%5Cin%5Cmathbb%7BN%7D%7Dr_n%5Cbigg%28%3D%5Cinf_%7Bn%5Cin%5Cmathbb%7BN%7D%7D%5Cbig%28r_n%2B%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D%5Cbig%29%5Cbigg%29%2C](https://i-blog.csdnimg.cn/blog_migrate/d30bce055a58ab36c987718cd60c5ca0.png)
![equation?tex=r_n](https://i-blog.csdnimg.cn/blog_migrate/f3553186eadd4ef090a64909b2b0e166.png)
![equation?tex=%286%29](https://i-blog.csdnimg.cn/blog_migrate/c4046e390ae50aa93bdf54fc4d0ceb56.png)
![equation?tex=%287%29](https://i-blog.csdnimg.cn/blog_migrate/6bcdc0d12583f1932c9ea567949cc13d.png)
![equation?tex=%5Calpha_p%2C%5Ccdots%2C%5Calpha_%7Bn-p%7D%2C%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/3fc5ff219655f759e27b700b08a9426c.png%2C%5Ccdots%2C%5Calpha_%7Bn-p%7D%2C%5Ccdots)
![equation?tex=x%5Cin%5Cmathbb%7BR%7D%5E%2B](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png%5Cin%5Cmathbb%7BR%7D%5E%2B)
因此,我们把正数一一地对应于这样的记号:当
时,对应到
;当
时,对应到
,它叫做
的
进位计数法。记号中所用到的数字叫做 数码,数码相对于小数点的位置叫做数码的 位。![]()
我们约定,数
![equation?tex=x%3C0](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png%3C0)
![equation?tex=-x](https://i-blog.csdnimg.cn/blog_migrate/3dc40e31d209ba154fe39d27689cad00.png)
![equation?tex=0](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png)
![equation?tex=0.0%5Ccdots0%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png.0%5Ccdots0%5Ccdots)
这样就建成了实数的
![equation?tex=q](https://i-blog.csdnimg.cn/blog_migrate/45c95dc0526e5d302c45be407166eb1d.png)
回到我们一开始就提出的问题,为什么
![equation?tex=0.999%5Ccdots%3D1+](https://i-blog.csdnimg.cn/blog_migrate/59178be9e7afddaff2c543a1530bcea7.png+)
公式
![equation?tex=%288%29%2C%289%29](https://i-blog.csdnimg.cn/blog_migrate/a409c7144f45de6e466c61ee2c02928d.png%2C%289%29)
![equation?tex=9](https://i-blog.csdnimg.cn/blog_migrate/b9131f52ff49333d3ece48788ab8d7e7.png)
![equation?tex=0.999%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png.999%5Ccdots)
![equation?tex=9.999%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/b9131f52ff49333d3ece48788ab8d7e7.png.999%5Ccdots)
![equation?tex=0.%5Cunderbrace%7B0%5Ccdots0%7D_%7B%E6%9C%89%E9%99%90%E4%B8%AA0%7D999%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png.%5Cunderbrace%7B0%5Ccdots0%7D_%7B%E6%9C%89%E9%99%90%E4%B8%AA0%7D999%5Ccdots)
![equation?tex=0.999%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png.999%5Ccdots)
![equation?tex=1.000%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/227e8e885aa645310c5e4bbc05c50091.png.000%5Ccdots)
![equation?tex=1](https://i-blog.csdnimg.cn/blog_migrate/227e8e885aa645310c5e4bbc05c50091.png)
![equation?tex=%289%29](https://i-blog.csdnimg.cn/blog_migrate/a8433772cc998e6ff25b97c350d930b0.png)
![equation?tex=%5C%5C0%3Cr_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D-x%3C%5Cfrac%7B1%7D%7Bq%5E%7Bn-p%7D%7D](https://i-blog.csdnimg.cn/blog_migrate/0bcfc1d4007c16b3a038ec6fb3d0960d.png)
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
![equation?tex=0.999%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/b0002d5deeecc7acffc2335d8b8c7927.png.999%5Ccdots)
![equation?tex=%5C%5Cr_k%2B%5Cfrac%7B1%7D%7Bq%5E%7Bk-p%7D%7D%3Dr_0%2B%5Cfrac%7B1%7D%7B10%5E%7B0-%28-1%29%7D%7D%3D0.9%2B0.1%3D1](https://i-blog.csdnimg.cn/blog_migrate/d3dc8342a720fdf01d22d0caec4b77c7.png)
![equation?tex=1%5Cneq0.999%5Ccdots](https://i-blog.csdnimg.cn/blog_migrate/227e8e885aa645310c5e4bbc05c50091.png%5Cneq0.999%5Ccdots)
![equation?tex=0.999%5Ccdots%3D1](https://i-blog.csdnimg.cn/blog_migrate/59178be9e7afddaff2c543a1530bcea7.png)