分数何时是有限小数

（$\Leftarrow$）设 $b=2^m5^n$。令 $k=\max(m,n)$。分子分母同乘 $2^{k-n}5^{k-m}$(由于 $k$ 是最大值,两个指数都 $\ge0$):$\dfrac{a}{b}=\dfrac{a\cdot2^{k-n}5^{k-m}}{2^m5^n\cdot2^{k-n}5^{k-m}}=\dfrac{a\cdot2^{k-n}5^{k-m}}{2^k5^k}=\dfrac{N}{10^k}$,其中 $N=a\cdot2^{k-n}5^{k-m}$ 为整数。把 $N$ 写成普通数字,并在从右数第 $k$ 位处点上小数点(若 $N$ 位数不足 $k$ 位则在前面补零),得到的恰是 $\frac{a}{b}$ 的小数展开,且最多 $k$ 位后就结束:它是有限小数。

（$\Rightarrow$）设 $\frac{a}{b}$ 在 $k$ 位小数后终止,即对某个整数 $N$ 有 $\dfrac{a}{b}=\dfrac{N}{10^k}$。交叉相乘(上面的定理1):$a\cdot10^k = b\cdot N$,故 $b$ 整除 $a\cdot10^k$。由于 $\frac{a}{b}$ 是最简分数,$\gcd(a,b)=1$,即 $b$ 与 $a$ 没有公共质因数;因此 $b$ 的任何质因数 $p$ 都不能整除 $a$,而 $p$ 整除 $a\cdot10^k$,故它必须整除 $10^k$。但 $10^k=2^k5^k$,其质因数只有 $2$ 和 $5$。所以 $b$ 的每个质因数都是 $2$ 或 $5$,即存在 $m,n\ge0$ 使得 $b=2^m5^n$。