| |
定义.$\;\small\;0.a_1a_2\ldots=0.\overline{a_1\ldots a_m}\in(0,1)\,$叫纯循环小数$\,\scriptsize(m\mid (p-q)\implies a_p=a_q)$.9>7
$\qquad$有限序列$\,a_1,\ldots,a_m\,$叫作所论循环小数的循环节$,\,m\,$是循环节长.nIeG
©Elinkage数学论坛 -- Elinkage极酷超级论坛 qPgTZk,8~K
注记：通常泛称形如$\;\;c_n\ldots c_0.b_1\ldots b_k\,\overline{a_1\ldots a}_m\,$的实数为循环小数.ra~A.6
$\qquad$为简化讨论，仅需考虑纯循环小数.若无特别声明,下述循环小数f9V?
$\qquad$均为十进制纯循环小数.OR\yM
©Elinkage数学论坛 -- Elinkage极酷超级论坛 :Q`<J
引理：若$\,m_1,m_2\,$是$\,\alpha=0.a_1a_2\ldots\,$的二循环节长,则$\,m=\gcd(m_1,m_2)$-jwd-
$\qquad$也是$\,\alpha\,$的一个循环节长.-;p1\i"'
证：不妨设$\underset{\,}{\,}m+a_1m_1=a_2m_2\,(a_1,a_2\in\mathbb{N}).\,$于是对$\,q,k\in\mathbb{N},k>0\,$有iqaV^4w
$\qquad a_{(qm+k)}=a_{(qm+k+qa_1m_1)}=a_{(k+qa_2m_2)}=a_k$V$.5&
©Elinkage数学论坛 -- Elinkage极酷超级论坛 4=?v~T^l:%[
定理：对任意纯循环小数$\,\alpha = 0.a_1a_2\ldots,\,$存在最小$\,m\in\mathbb{N}^+$使mT-"#T1
$\qquad\alpha=0.\overline{a_1\ldots a}_m.\;\;\alpha\,$的任何循环节长均为$\,m\,$的倍数.fiAWH<x
©Elinkage数学论坛 -- Elinkage极酷超级论坛 dE6R[LG**
定理：考虑正整数比$\,\alpha=\frac{m}{n}\,\small(\gcd(m,n)=1\le m< n).$A`.yw/
$\underset{\,}(1)\quad\alpha\,$是有限小数当且仅当$\,\exists s\in\mathbb{N}\,(n\mid 10^s)$.J&hXkl~,
$\underset{\,}(2)\quad\alpha\,$是纯循环小数当且仅当$\,\exists s\in\mathbb{N}\,(n\mid 10^s-1)$.ZRw
| | |
|
|
|
顶端 
加到"个人收藏夹"
主题管理：
总固顶 
取消总固顶 
消息
查看
搜索
好友
引用
回复
只看我
2018/05/19 07:47am 
IP: 已设置保密
