|
本帖最后由 elim 于 2021-8-18 03:46 编辑
对 \(a\in (0,1]\) 令 \(a_1=\max\{k\in\mathbb{N}: 0< a-{\large\frac{k}{10}}\le 10^{-1}\}\). 假定
\(a_1,\ldots a_n\small\in\{0,1,\ldots,9\}\) 已取定, 使 \(\small\displaystyle 0< a-\sum_{m=1}^n \frac{a_m}{10^m} \le\frac{1}{10^n}\),
取\(\small\,a_{n+1}=\max\{k\in\mathbb{N}:\displaystyle 0< a-\sum_{m=1}^{n} \frac{a_m}{10^m}\scriptsize-\frac{k}{10^{n+1}} \le\frac{1}{10^{n+1}}\}\),
则\(\small a_{n+1}\le 9\) 故由归纳法原理, 存在唯一的自然数序列\(\small\{a_n\}\;(a_n\in [0,9])\)
使\(\,0.a_1a_2a_3\ldots = \small\displaystyle\sum_{m=1}^{\infty} \frac{a_m}{10^m}=a\). 由此可知一切非零实数都可唯一地表
为十进制无尽小数。
其一般形式是\(\pm a_{-m}\ldots a_0.a_1a_2\ldots a_n\ldots=\small\pm\displaystyle\sum_{k=-m}^{\infty}\frac{a_k}{10^k}\;\;(a_{-m}\ne 0)\) |
|