循環小数のソースを表示

[[File:Seventh perspective.png|thumb|300px|{{分数|1|7}}=0.142857142857…]]
'''循環小数'''（じゅんかんしょうすう、recurring decimal, repeating decimal）とは、ある桁から先で同じ数字の列が無限に繰り返される[[小数]]のことである。繰り返される数字の列を'''循環節'''という。また、小数第一位から循環がはじまるものを'''純循環小数'''（pure recurring decimal）、第二位以降から始まるものを'''混合循環小数'''（mixed recurring decimal）といい、混合循環小数は冒頭の有限小数とそれ以降の循環小数の2つに分離される<ref name="オイラーの贈物">吉田武　『[http://www.press.tokai.ac.jp/bookdetail.jsp?isbn_code=ISBN978-4-486-01863-6　新装版オイラーの贈物]』　東海大学出版会、2010年、14頁。ISBN 978-4-486-01863-6。</ref>。

==循環節==
例えば、[[1/3|{{分数|1|3}}]] = 0.33333… は小数点以下「3」が無限に続くので、循環小数であり、この循環節は 3 である。この小数は「33」（あるいは「333」等）の繰り返しでもあるが、これを循環節とはせず、最短のものを循環節とする。

もう少し複雑な例としては、{{分数|1234|555}} = 2.2234234… は小数点第3位以下、「234」を無限に繰り返すので、循環節が 234 の循環小数である。

有限小数も循環小数のひとつであり(後述)、例えば1/2=0.500000…と「0」を無限に繰り返す循環小数である(但し循環節が0の場合は特に明記する必要はない)。

==基数==
小数の表示としては[[十進法]]が用いられることが多いが、他の[[位取り記数法|記数法]]も用いることができる。例えば、{{分数|2|3}} を[[二進法]]の小数で表すと、0.101010… であり、循環節が 10 の循環小数である。

==他の小数との比較==
===有限小数===
割り切れる[[有限小数]]も、循環小数として表すことができる。その循環節は、0（0桁ではなく、1桁の「0」）または 9 である。例えば、{{分数|1|2}} は通常 0.5 と表すが、これは 0.5000… ということであり、循環節が 0 の循環小数である(つまり有限小数は循環小数(無限小数)の特別な場合と見ることもできる)。一方、0.4999… と表すこともでき、これは循環節が 9 の循環小数である。一般に正の[[実数]]について、有限小数は2種類の循環小数で表せ、逆に、2通りに小数表示できるのはその一方が有限小数である場合に限る。

有理数が有限小数表示を持つのは、分母の[[素因数]]が 2, 5（一般には、[[進数|基数]]の約数たる素数）のみである[[必要十分条件|ときで、またそのときに限る]]。

===無理数===
循環小数でない小数は、[[円周率]]や[[2の平方根]]のような[[無理数]]である。[[有理数]]は循環小数に表示でき、逆に、循環小数に表示できる実数は有理数に限る。

== 表記法 ==
2.2234234… のような表記では、循環節がどの部分であるのか一見して分かりにくいため、循環節を明示する表記法がいくつかある。例えば、循環節の始まりと終わりを点で示し、
:<math>0.\dot{3},\quad 2.2\dot{2}3\dot{4}</math>
などと書く。前者の例では 3 が繰り返されることを意味し、後者の例では 234 が繰り返されることを意味する。他に、循環節を上線または下線で指定したり、括弧ではさんで指定する方法もある。例えば、2.2<span style="text-decoration: overline;">234</span>, 2.2<span style="text-decoration: underline;">234</span> や 2.2(234) といった表記である。

循環節は整数部にかかってはならない。つまり、{{分数|100|11}} = 9.09090… = 9.<u>09</u> を <u>9.0</u> としたり、{{分数|1000|11}} = 90.9090… = 90.<u>90</u> を <u>90</u> としてはならない。

== 分数表現との関係<ref>小林昭七　『[http://www.shokabo.co.jp/mybooks/ISBN978-4-7853-1521-4.htm　微分積分読本 −１変数− Calculus −One Variable−]』　裳華房、2000年、5頁。ISBN 978-4-7853-1521-4</ref> ==
無限小数の厳密な意味は、[[極限]]の概念を用いて定義される。特に、循環小数が表す数は無限等比級数、すなわち[[等比数列]]の和の極限と見なすことができ、ゆえに有理数である。例えば、
:<math>2.\dot{4}2\dot{3}=2+\frac{423}{10^3}+\frac{423}{10^6}+\frac{423}{10^9}+\cdots=2+\frac{423}{10^3-1}=\frac{2421}{999}=\frac{269}{111}</math>
である。より一般的には、冒頭のループしていない有限小数部分を分離しaとおき、ループ部分すなわち循環節の小数表記をb、節の長さ（桁数、0.370370...ならば0.37のループであるから3）をnとすれば

:<math>a+b\left(1+\frac{1}{10^n}+\frac{1}{10^{2n}}+\frac{1}{10^{3n}}+\cdots\right)</math>

となる。ところで、級数部分の総和は

:<math>\frac{1}{1-\frac{1}{10^n}}=\frac{10^n}{10^{n}-1}</math>
であるから
:<math>a+b\left(\frac{10^n}{10^{n}-1}\right)</math>
とかけることがわかる。この方法をロバートソン(J.Robertson,1712-1776）の方法という<ref name="オイラーの贈物" />。

やや厳密さに欠ける説明として、以下のようなものがある。
:''x'' = 2.423423423…
とおき、両辺を1000倍した式
:1000''x'' = 2423.423423…
と辺々引くと「循環部分が打ち消しあって」
:999''x'' = 2421
となる。よって、''x'' = {{分数|269|111}} が分かる。循環部分が打ち消しあうという部分が曖昧であるが、無限等比級数の値の計算と同等であることからこの計算は正当化される。

==循環節の長さ==
=== 素数の逆数 ===
2 と 5（一般には、[[進数|基数]]の約数たる素数）以外の素数 ''p'' の逆数の循環節の長さは、''p'' － 1 の[[約数]]である。有限小数の循環節の長さを1とするなら、2 と 5（基数の約数たる素数）もこの条件を満たす。

このことは、{{分数|1|''p''}} の循環節の長さが ''k'' であることと、10<sup>''k''</sup> &equiv; 1 (mod ''p'') が[[同値]]であることから、初等的な[[群 (数学)|群論]]より導かれる。

これがちょうど ''p'' － 1 となるような素数 ''p'' は、小さな順より（2 を別にすると）
:7, 17, 19, 23, 29, 47, 59, 61, 97, …（{{OEIS|A1913}}）
である。このような ''p'' に対する {{分数|1|''p''}} の循環節は、[[ダイヤル数]]となる。例えば、{{分数|1|7}} の循環節 [[142857]] や、{{分数|1|17}} の循環節 0588235294117647 はダイヤル数である。

素数を、逆数の循環節の長さが[[奇数]]のものと[[偶数]]のものに分けると、{{分数|2|3}} が偶数、{{分数|1|3}} が奇数である（より厳密な表現では、''N'' 以下の素数について数え上げた場合の ''N'' → ∞ への[[極限]]がその比率となる）。

=== 一般の有理数 ===
自然数 ''n'' の逆数の循環節の長さは、''n'' の最大の[[素因数]]を ''p'' とすると、たかだか ''p'' － 1 桁である。

有理数を整数倍しても、その循環節の長さが増すことはない。つまり、有理数 {{分数|''m''|''n''}}（[[互いに素|約分]]不要）の逆数の循環節の長さは、''n'' の最大の素因数を ''p'' とすると、たかだか ''p'' － 1 桁である。

== 循環節の求め方 ==
===定義に則った方法===
最も素朴には、十分な桁数の小数表記を求め、その繰返し周期を見つける。

ただし、同じ数字の並びが表れてもより長い周期の一部かもしれない（たとえば {{分数|1212123|9999999}} = 0.<u>1212123</u> の循環節を 12 と求めてしまうかもしれない）ので、循環節の長さの上限を事前に知っておかなければならず、それだけの桁数まで求めて初めて、循環節を求められる。上限としては、先に挙げた「分母の最大の素因数 － 1」、あるいは、[[素因数分解]]の手間をかけたくなければ「分母 － 1」が使える。

===筆算===
割り算を[[筆算]]で求めれば、余りに同じ数が現れた時点で、繰り返しに入ったことがわかる。例えば、{{分数|1|7}} を小数表示する場合、次のような計算を行う。

      <u>  0.142857</u>
    7 ) 1.000000
          <u>7</u>
          30
          <u>28</u>
           20
           <u>14</u>
            60
            <u>56</u>
             40
             <u>35</u>
              50
              <u>49</u>
               1

これ以降は同じ計算の繰り返しとなるので、{{分数|1|7}} = 0.(142857) であることが分かる。この例では、整数を 7 で割った商と余りを計算することを繰り返している。一般に、''a'' を ''b'' で割る筆算では、ある整数を ''b'' で割った商と余りを計算することを繰り返すが、''b'' で割った余りは 0 から ''b'' － 1 の ''b'' 通りしかないため、余りが 0 になって計算が終わるのでなければ、必ずどこかで同じ余りが出現して同じ計算の繰り返しとなる。ゆえに、有理数を小数表示すると循環小数になる。この方法では循環節の長さの上限を事前に知っておく必要はないが、「分母 － 1」以下であることがこれによりわかる。

===素数の逆数の場合===
素数 ''p'' の逆数に対しては、循環節が[[ダイヤル数]]であることから、循環節を ''m'' 桁とすると 10{{sup|''m''}} － 1 は ''p'' で割り切れ、商が循環節となるので、''p'' － 1 の約数それぞれに対し 10{{sup|''m''}} － 1 が ''p'' で割り切れるかを試せばよい。''m'' が小さい順に試せば、計算量を節約できる（たとえば {{分数|3}} = 0.333… に対しては 3 (''m'' = 1) も 33 (''m'' = 2) もこれを満たすので、小さい順でなければならない）。

== 参考文献 ==
<references />

== 関連項目 ==
* [[0.999...]]

== 外部リンク ==
* {{MathWorld|urlname=RepeatingDecimal|title=Repeating Decimal}}
* {{MathWorld|urlname=FullReptendPrime|title=Full Reptend Prime}}
* {{MathWorld|urlname=CyclicNumber|title=Cyclic Number}}

{{DEFAULTSORT:しゆんかんしようすう}}
[[Category:数の表現]]
[[Category:有理数]]
[[Category:初等数学]]
[[Category:数学に関する記事]]