循環小数のソースを表示

{{注意|本項では[[十進法]]でない[[位取り記数法|記数法]]を使用します（底は必要に応じて明記します）。}}
[[File:Seventh perspective.png|thumb|300px|{{math|1={{sfrac|1|7}}}} の小数表示（ {{math|0.142857…}}）。{{math|7}} は基数 {{math|10}} の[[約数]]には含まれないため、{{math|1={{sfrac|1|7}}}} は十進法で循環小数となる。]]

{{読み仮名_ruby不使用|'''循環小数'''|じゅんかんしょうすう|{{lang-en-short|recurring decimal}}、{{lang|en|repeating decimal}}}}とは、[[小数点]]以下のある桁から先で同じ[[数字]]の列が無限に繰り返される[[小数]]のことである。繰り返される数字の列を'''循環節'''という。

循環小数の循環節は上線（{{math|0.1{{overline|23}}}}）や下線（{{math|0.1{{underline|23}}}}）
などを用いて示される（[[#表記法]]を参照）。

循環小数は、[[基数]]と共通でない[[約数|因数]]を含む[[分母]]を持つ[[整数]]の[[分数]]に対応する。例えば基数を {{math|1=10 (= 2 × 5)}} とした場合、{{math|1={{sfrac|1|5}} (= 0.2)}}, {{math|1={{sfrac|7|125}} (= 0.056)}} などは循環小数にならないが、{{math|1={{sfrac|1|7}} (= 0.142857...)}}, {{math|1={{sfrac|1|35}} (= 0.0285714...)}} は循環小数となる。

また循環小数は、対応する分数の分母と基数が[[互いに素 (整数論)|互いに素]]かどうかで分類でき、分母と基数が互いに素なものを'''純循環小数'''{{efn2|{{lang-en-short|pure recurring decimal}}}}、それ以外のものを'''混合循環小数'''{{efn2|{{lang-en-short|mixed recurring decimal}}}}と呼ぶ{{sfn|Hardy|1929|p=784}}。また整数分数の分母が基数の素因数の積となる場合、それは循環小数とならず[[有限小数]]で表される{{sfn|Hardy|1929|p=784}}。

ある循環小数の循環節が小数第一位から始まる場合、それは純循環小数となり、循環節が小数第二位以降で始まる場合、それは混合循環小数となる。混合循環小数は冒頭の循環していない[[有限小数]]部分とそれ以降の循環小数の二つに分離して考えることができる{{sfn|吉田|2010|p=14}}。

== 循環節 ==
循環小数の'''循環節'''とは、小数部分の周期的な数列の中で最小の長さものである。例えば {{math|1={{sfrac|1|3}} = 0.3333…}} は、数列 33 や数列 333 が連続して現れる小数と見なせるが、循環節は最小の数列 3 となる。

循環節の末尾は 0 になり得る。例えば、 {{sfrac|2{{sup|6}}|3{{sup|3}}}} = {{sfrac|64|27}} = 2.370370… の循環節は 370 となる。

循環節の先頭は小数第二位以降に現れ得る。例えば、十進法の {{sfrac|5|108}} = 0.04629629… の循環節は、小数第三位からの 629 となる。

ある数が有限小数で表せるかは基数に依存し、既約分数の分母が基数の[[冪]]を割り切れる場合のみ、その数は有限小数として表され得る。したがって、ある既約分数が循環小数で表示されるかもまた基数に依存している。例えば {{sfrac|1|5}} は、十進法では有限小数 0.2 で表されるが、[[二進法]]では循環小数 0.00110011… で表される。

また有限小数は、末尾の桁の後ろに 0 を無限に並ぶと見なせば、形式的に循環小数と見なせる。同様に、[[0.999...]] などの数列を用いて、有限小数を循環小数に書き換えることもできる。

== 他の小数との比較 ==
=== 有限小数 ===
循環小数（無限小数）の循環節が「0」もしくは「9」の場合は、どちらも実質的には有限小数となる。一般に、正の[[実数]]について、有限小数は二種類の循環小数で表せ、逆に、二通りに小数表示できるのはその一方が有限小数である場合に限る。

一つには、循環節は 0（0桁という意味でなく、繰り返し単位が「0」）と考えることができる。もう一つは、有限小数の（0 でない）末尾を 1 減らし、それよりあとの位を全て「基数 &minus; 1」にするというものである。

例えば、1 は 1.0000… と表せ、これは循環節が 0 の循環小数である。一方、末尾の 1 を 1 減らして 0 にし、それよりあとを全て 9 にした [[0.999...]] に等しいとも考えられる。これは循環節が [[9]] の循環小数となる。

0.9999… = 1 は以下のように証明できる。
:{{math2|1=''x'' = 0.9999…}}とする。
:{{math2|1=10''x'' = 9.9999…}}
:{{math2|1=10''x'' &minus; ''x'' = 9.9999… &minus; 0.9999…}}
:{{math2|1=9''x'' = 9}}
:{{Math|''x'' {{=}} 1}}

同じく、[[十二進法]]の {{sfrac|1|3}} は小数表示が 0.4 であるが、これは 0.4000… ということであり、循環節が 0 の循環小数である。一方、0.3BBB… とも考えられ、これは循環節が [[B]]（[[11|十一]]）の循環小数となる。

同様に、[[二十進法]]の {{sfrac|1|5}} も通常 0.4 と表すが、これは 0.4000… ということであり、循環節が 0 の循環小数である。一方、0.3JJJ… とも考えられ、これは循環節が [[J]]（[[19|十九]]）の循環小数となる。

有理数が有限小数表示を持つのは、[[十進法]]表示なら、分母の素因数が [[2]], [[5]] のみであるとき[[同値#必要十分条件|に限る]]。一般の [[位取り記数法|{{mvar|N}}進法]]表示では、分母の素因数が {{mvar|N}} の素因数になっていることである。例えば、十八進法なら分母の素因数が [[2]], [[3]] のみであるときである。

=== 無理数 ===
循環小数によって表される数は、整数の分数としても表すことができ、[[有理数]]に含まれる。他方、有限でない非循環小数で表される数が存在し、これらは有理数に含まれない。[[実数]]のうち有理数に含まれない数を[[無理数]]という{{Sfn|小平|2003|pp=14-15}}。無理数の例には[[2の平方根]]や[[円周率]]が挙げられる。[[#有限小数|前述の通り]]有限小数も循環小数で表すことができ、[[有理数]]はすべて循環小数で表せるが、反対に循環小数で表せる実数は有理数に限る{{Sfn|小平|2003|p=5}}。

== 表記法 ==
循環節を示す方法として以下の方法がしばしば用いられる：
* 循環節の先頭と末尾の数に点をつける（例：{{math|0.12{{dot|3}}4{{dot|5}}}}）
* 循環節全体に[[オーバーライン|上線]]をつける（例：{{math|0.12{{overline|345}}}}）
* 循環節全体に[[下線]]をつける（例：{{math|0.12{{underline|345}}}}）
* 循環節全体を[[括弧]]でくくる（例：{{math|0.12(345)}}）

規約として、循環節は小数部から始まるようにする。例えば {{math|1=123.{{overline|123}}}} を {{math|1={{overline|123}}}} とは書かない。

== 分数表現との関係 ==
<!-- 見出しの中で脚注をつけない <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}=2+\frac{47}{111}=\frac{269}{111}</math>
である。

一般には、冒頭の循環していない有限小数部分を分離し {{mvar|a}} とおき、循環部分の循環節の部分だけ取り出した小数部分を {{mvar|b}}、循環節の長さを {{mvar|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) の方法という{{sfn|吉田|2010|p=14}}。

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

== 循環節の長さ ==

自然数の逆数の循環節の長さについて、ある長さとなるような最小の自然数を、循環節の長さを0から小さい順に並べると

1, 3, 11, 27, 101, 41, 7, 239, 73, 81, 451, 21649, 707, 53, 2629, 31, 17, 2071723, 19, 1111111111111111111, 3541, 43, 23, 11111111111111111111111, 511, 21401, 583, 243, 29, 3191, 211, 2791, 353, 67, 103, 71, 1919, 2028119, 909090909090909091, …

である({{OEIS|A003060}})。

=== 素数の逆数 ===
2 と 5<ref>[http://math.sakura.ne.jp/?action=common_download_main&upload_id=1377 循環節 県立松戸高等学校 広川久晴]</ref>（一般には、[[位取り記数法#概要|基数]]の約数たる素数）以外の素数 {{mvar|p}} の逆数の循環節の長さは、{{math2|''p'' &minus; 1}} の[[約数]]である。有限小数の循環節の長さを1とするなら、2 と 5（基数の約数たる素数）もこの条件を満たす。

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

これがちょうど {{math|''p'' &minus; 1}} となるような素数 {{mvar|p}} は、小さな順より（2 と 5 を除いて）
:7, 17, 19, 23, 29, 47, 59, 61, 97, …
である({{OEIS|A1913}})。このような {{mvar|p}} に対する {{math|{{sfrac|1|''p''}}}} の循環節は、[[巡回数]]となる。
例えば、{{math|{{sfrac|1|7}}}} の循環節 [[142857]] や、{{math|{{sfrac|1|17}}}} の循環節 0588235294117647 は巡回数である。素数を、分母とする数の循環節が[[奇数]]のものと[[偶数]]のものに分けると、{{math|{{sfrac|2|3}}}} が偶数、{{math|{{sfrac|1|3}}}} が奇数である。

=== 一般の有理数 ===
[[位取り記数法|{{mvar|N}}進法]]表示においてq桁の、[[レピュニット]]111...と999...(一般にはN<sup>q</sup>-1)の逆数の形の循環節の長さはq桁である。また有理数を整数倍したり、分母の数に対して基数に含まれる[[素因数]]を掛けた場合、循環節の長さが増すことはない。

=== N進法による差異 ===
;必ず循環小数になる例
N進法表示において、{{math|{{sfrac|1|''N'' &minus; 1}}}} の小数は必ず 0.<u>1</u>111… になる。[[九進法]]の場合 [[1/8|{{sfrac|1|8}}]] が 0.<u>1</u>111… になり、[[十進法]]の場合 [[1/9|{{sfrac|1|9}}]] が 0.<u>1</u>111… になる。
* 乗算表の最後に来る (10-1){{sup|2}} の[[逆数]]は、整数第二位に来る数が抜けて、(10-1)桁の循環小数になる。例えば、[[六進法]]の場合「五五・[[25|四六一]]」なので 5{{sup|2}} の逆数は {{sfrac|1|41}} = 0.<u>01235</u>… となり、4が抜けて循環節は5桁になる。九進法の場合「八八・[[64|七九一]]」なので 8{{sup|2}} の逆数は {{sfrac|1|71}} = 0.<u>01234568</u>… となり、7が抜けて循環節は8桁になる。
* 複数桁で一の位が1の数を逆数にすると、循環小数になる。例えば、[[十二進法]]の場合 {{sfrac|1|[[37|31]]}} = 0.<u>03A85232B</u>… になり、[[十六進法]]の場合 {{sfrac|1|[[33|21]]}} = 0.<u>07C1F</u>… になる。

;循環節が短くなる例
循環節の短さは、10 &minus;1 ならびに 10{{sup|''n''}} &minus; 1 を[[素因数分解]]した時にどんな数が来るかによって決まる。
* [[2の冪|2{{sup|&minus;''n''}}]] では九進法 (10 &minus; 1 = 8 = '''2'''{{sup|3}}) が、[[3の冪|3{{sup|&minus;''n''}}]] では十進法（10 &minus; 1 = 9 = '''3'''{{sup|2}}）が、5{{sup|&minus;''n''}} では六進法 (10 &minus; 1 = '''5''') が、それぞれ循環節が最も短くなる。
* [[十八進法]]では、100 &minus; 1 = HH = '''[[17|H]]'''×'''[[19|11]]'''、1000-1 = HHH = '''[[7]]'''{{sup|3}}×H、10000 &minus; 1 = HHHH = '''[[5]]'''{{sup|2}}×'''[[13|D]]'''×H×11 となる。従って、5 は2乗までが4桁、7 は3乗までが3桁、D も4桁となり、12 (= 4×5) までの素数のうち、[[11|B]] が十桁になる以外は全て循環節が4桁以下になる。

== 循環節の求め方 ==
=== 定義に則った方法 ===
最も素朴には、充分な桁数の小数表記を求め、その周期を見つける。同様に、有限小数の桁数も、素因数分解した時の大きい方の冪指数によって決まる。

ただし、同じ数字の並びが現れてもより長い周期の一部かもしれない（たとえば {{sfrac|1212123|9999999}} = 0.<u>1212123</u> の循環節を 12 と求めてしまうかもしれない）ので、循環節の長さの上限を事前に知っておかなければならず、それだけの桁数まで求めて初めて、循環節を求められる。上限としては[[#一般の有理数]]にて挙げたものがあるほか、「分母 &minus; 1」が使える。

;例1
:十進数の {{sfrac|1|3456}} の循環節は、素因数分解すると3456 = 2{{sup|7}}×3{{sup|3}} なので、7桁の後に3桁の循環節が来る。よって、{{sfrac|1|3456}} = 0.0002893<u>518</u>… となる。
:一方で、十進数の 3456 は六進数の場合 24000 だが、素因数分解すると 24000 = 2{{sup|11}}×3{{sup|3}} となるので、分子が 3{{sup|4}}で、11{{sub|6}}桁 = 7桁の有限小数になる。よって、{{sfrac|1|24000}} = 0.0000213 となる。

;例2
:十進数の {{sfrac|1|891}} の循環節は、891 = 3{{sup|4}}×11 なので、3{{sup|-4}} と {{sfrac|1|11}} の循環節の長さを掛けたものになる。十進数では 3{{sup|-4}} は 3{{sup|2}} 桁、{{sfrac|1|11}} は2桁の循環節なので、3{{sup|2}}×2 = 18{{sub|10}}桁の循環小数になる。よって {{sfrac|1|891}} = 0.<u>001122334455667789</u>… となる。
:一方で、十進数の 891 は十八進数の場合 2D9 で、素因数分解は 2D9 = 3{{sup|4}}×B となる。10 = 2×3{{sup|2}} なので、{{sfrac|1|B}} の循環節は 10{{sub|10}}桁に対して、3{{sup|&minus;4}} は 4桁ではなく2桁に縮まり、2桁の後に 10{{sub|10}}桁の循環節が来る。よって、{{sfrac|1|2D9}} = 0.00<u>69ED1B834G</u>… となる。

=== 筆算 ===
[[除算|割り算]]を[[筆算]]で求めれば、余りに同じ数が現れた時点で、繰り返しに入ったことがわかる。例えば、[[十進法]]の {{sfrac|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'''

これ以降は同じ計算の繰り返しとなるので、{{sfrac|1|7}} = 0.<u>142857</u> であることが分かる。この例では、1 を 7 で割った商と余りを計算することを繰り返している。

別の[[位取り記数法|N進法]]でも、筆算によって循環小数が現れる。[[六進法]]の {{sfrac|1|41}}（= [[5]]{{sup|-2}} = 十進法の {{sfrac|1|[[25]]}}）を筆算で小数表示する場合、次のような計算を行う。

      <u>  0.01235</u>
   41 ) 1.00000
          <u>41</u>
          150
          <u>122</u>
           240
           <u>203</u>
            330
            <u>325</u>
              '''1'''

これ以降は同じ計算の繰り返しとなるので、{{sfrac|1|41}} = 0.<u>01235</u> であることが分かる。この例では、整数を 41 で割った商と余りを計算することを繰り返している。

被除数が1以外の場合も、同じように筆算で循環小数が現れる。割り切れる例も併載する。例として、被除数を 2{{sup|8}}、除数を 3{{sup|3}}とする。

[[十六進法]]の 100 ÷ 1B（2{{sup|8}} ÷ 3{{sup|3}}、十進法の場合 [[256]] ÷ [[27]]）

        <u>    9.7B425ED097B</u>
     1B ) 100.00000000000
           <u>F3</u>
            D 0
            <u>B D</u>
            1 30
            <u>1 29</u>
              70
              <u>6C</u>
               40
               <u>36</u>
                A0
                <u>87</u>
                190
                <u>17A</u>
                 160
                 <u>15F</u>
                   '''100'''
                    <u>F3</u>
                     D0
                     <u>BD</u>
                     130
                     <u>129</u>
                       7

被除数が除数より大きい例だが、整数部分を含めて「97B」が2回現れているので、これ以降は同じ計算の繰り返しとなり、100÷1B = 9.<u>7B425ED09</u> となり、小数部分は9桁の「7B425ED09」が繰り返されることが分かる。この割り切れない「0.7B425ED09」を分数化すると、十六進法で {{sfrac|D|1B}}、十進法で {{sfrac|13|27}} となる。

六進法の 1104 ÷ 43（六進冪指数の場合 2{{sup|12}} ÷ 3{{sup|3}}、十進法の場合 256 ÷ 27）

       <u>    13.252</u>
    43 ) 1104.000
          <u>43</u>
          234
          <u>213</u>
           21 0
           <u>13 0</u>
            4 00
            <u>3 43</u>
              130
              <u>130</u>
                0

小数部分が3桁の「252」で終わって、1104÷43 = 13.252 となる。割り切れる小数「0.252」に相当する六進分数 {{sfrac|252|1000}} は、十六進法で {{sfrac|68|D8}}、十進法で {{sfrac|[[104]]|[[216]]}} となり、既約分数にすると六進法で {{sfrac|21|43}}、十六進法で {{sfrac|D|1B}}、十進法で {{sfrac|13|27}} となる。

一般に、''a'' を ''b'' で割る筆算では、ある整数を ''b'' で割った商と余りを計算することを繰り返すが、''b'' で割った余りは 0 から ''b'' &minus; 1 の ''b'' 通りしかないため、余りが 0 になって計算が終わるのでなければ、必ずどこかで同じ余りが出現して同じ計算の繰り返しとなる。ゆえに、有理数を小数表示すると循環小数になる。この方法では循環節の長さの上限を事前に知っておく必要はないが、「分母 &minus; 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) もこれを満たすので、小さい順でなければならない）。

== 注釈 ==
{{Notelist2}}

== 出典 ==
{{Reflist}}

== 参考文献 ==
* {{Cite book|和書
|last=小平
|first=邦彦
|author1-link=小平邦彦
|date=2003-04-22
|title=軽装版 解析入門Ⅰ
|publisher=[[岩波書店]]
|isbn=4-00-005192-X
|ref=harv
}}
* {{cite book|和書
|last=吉田
|first=武
|author1-link=吉田武
|title=新装版 オイラーの贈物
|publisher=東海大学出版会
|date=2010
|isbn=978-4-486-01863-6
|ref=harv
}}
* {{cite journal
|first=G. H. 
|last=Hardy
|journal= Bulletin of the American Mathematical Society
|title=An introduction to the theory of numbers
|volume=35
|year=1929
|publisher=American Mathematical Society
|pages=778-818
|doi=10.1090/S0002-9904-1929-04793-1
|issn=1088-9485
|ref=harv
}}

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

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

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