有理数的小数表示如果是无限的，则是无限循环的.
证明:对于任意给定的正有理数$\frac{a}{b},a,b\in\mathbf{N}^{+}$.我们考察小学中的长除法的本质.比如，7除以12.因为$7<12$,所以我们先把7乘以10,变成70，然后70除以12.
\begin{equation}
70=5\times 12+10
\end{equation}
因为10小于12,所以我们把10乘以10，变成100，然后100除以12.
\begin{equation}
100=8\times 12+4
\end{equation}
因为4小于12，所以我们把4乘以10，变成40，然后40除以12.
\begin{equation}
40=3\times 12+4
\end{equation}
又是4.所以以后都循环了.
我们再考察一个特例.5除以70.因为$5<70$,所以把5乘以100，变成500,然后500除以70:
\begin{equation}
500=7\times 70+10
\end{equation}
$r_1=10$小于70，因此把10乘以10，变成100，然后把100除以70:
\begin{equation}
100=1\times 70 +30
\end{equation}
$r_2=30$小于70，因此把30乘以10，得到300，然后300除以70，可得
\begin{equation}
300=4\times 70+20
\end{equation}
$r_3=20$小于70，因此把20乘以10，得到200，然后200除以70，可得
\begin{equation}
200=2\times 70+60
\end{equation}
$r_4=60$小于70，因此把60乘以10，得到600，然后600除以70，可得
\begin{equation}
600=8\times 70+40
\end{equation}
$r_5=40$小于70，因此把40乘以10，得到400，然后400除以70，可得
\begin{equation}
400=5\times 70+50
\end{equation}
$r_6=50$小于70，因此把50乘以10，得到500，然后500除以70，可得
\begin{equation}
500=7\times 70+10
\end{equation}
$r_7=10=r_1$，因此接下来的所有步骤都是循环的.从这些特例里，我们可以窥见一般的端倪.我们看5除以70这个例子.我们发现无限数列$r_1,r_2,r_3,r_4,\cdots$中的每一项都是非负整数，且小于70.这是带余除法所决定了的.因此该无限数列必为循环数列(为什么?).这个特例可以推广至一般，这就解释了有理数可以表现为无限循环小数这个现象.