「循環小数」の版間の差分
ja>つもり (→素数の逆数) |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 17:38時点における最新版
循環小数(じゅんかんしょうすう、recurring decimal, repeating decimal)とは、ある桁から先で同じ数字の列が無限に繰り返される小数のことである。繰り返される数字の列を循環節という。また、小数第一位から循環がはじまるものを純循環小数(pure recurring decimal)、第二位以降から始まるものを混合循環小数(mixed recurring decimal)といい、混合循環小数は冒頭の有限小数とそれ以降の循環小数の2つに分離される[1]。
Contents
循環節
例えば、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.2234, 2.2234 や 2.2(234) といった表記である。
循環節は整数部にかかってはならない。つまり、100⁄11 = 9.09090… = 9.09 を 9.0 としたり、1000⁄11 = 90.9090… = 90.90 を 90 としてはならない。
分数表現との関係
無限小数の厳密な意味は、極限の概念を用いて定義される。特に、循環小数が表す数は無限等比級数、すなわち等比数列の和の極限と見なすことができ、ゆえに有理数である。例えば、
- [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)の方法という[1]。
やや厳密さに欠ける説明として、以下のようなものがある。
- x = 2.423423423…
とおき、両辺を1000倍した式
- 1000x = 2423.423423…
と辺々引くと「循環部分が打ち消しあって」
- 999x = 2421
となる。よって、x = 269⁄111 が分かる。循環部分が打ち消しあうという部分が曖昧であるが、無限等比級数の値の計算と同等であることからこの計算は正当化される。
循環節の長さ
素数の逆数
2 と 5[2](一般には、基数の約数たる素数)以外の素数 p の逆数の循環節の長さは、p - 1 の約数である。有限小数の循環節の長さを1とするなら、2 と 5(基数の約数たる素数)もこの条件を満たす。
このことは、1⁄p の循環節の長さが k であることと、10k ≡ 1 (mod p) が同値であることから、初等的な群論より導かれる。
これがちょうど p - 1 となるような素数 p は、小さな順より(2 を別にすると)
- 7, 17, 19, 23, 29, 47, 59, 61, 97, …(オンライン整数列大辞典の数列 A1913)
である。このような p に対する 1⁄p の循環節は、巡回数となる。例えば、1⁄7 の循環節 142857 や、1⁄17 の循環節 0588235294117647 は巡回数である。
素数を、逆数の循環節の長さが奇数のものと偶数のものに分けると、2⁄3 が偶数、1⁄3 が奇数である(より厳密な表現では、N 以下の素数について数え上げた場合の N → ∞ への極限がその比率となる)。
一般の有理数
10 と(一般には基数と)互いに素な自然数 n の逆数の循環節の長さは、カーマイケルの定理のλ関数を用いた場合、たかだか λ(n) 桁である。また有理数を整数倍したり、分母 n に対して基数に含まれる素因数を掛けた場合、循環節の長さが増すことはない。
循環節の求め方
定義に則った方法
最も素朴には、十分な桁数の小数表記を求め、その繰返し周期を見つける。
ただし、同じ数字の並びが表れてもより長い周期の一部かもしれない(たとえば 1212123⁄9999999 = 0.1212123 の循環節を 12 と求めてしまうかもしれない)ので、循環節の長さの上限を事前に知っておかなければならず、それだけの桁数まで求めて初めて、循環節を求められる。上限としては#一般の有理数にて挙げたものがあるほか、素因数分解の手間をかけたくなければ「分母 - 1」が使える。
筆算
割り算を筆算で求めれば、余りに同じ数が現れた時点で、繰り返しに入ったことがわかる。例えば、1⁄7 を小数表示する場合、次のような計算を行う。
0.142857 7 ) 1.000000 7 30 28 20 14 60 56 40 35 50 49 1
これ以降は同じ計算の繰り返しとなるので、1⁄7 = 0.(142857) であることが分かる。この例では、整数を 7 で割った商と余りを計算することを繰り返している。一般に、a を b で割る筆算では、ある整数を b で割った商と余りを計算することを繰り返すが、b で割った余りは 0 から b - 1 の b 通りしかないため、余りが 0 になって計算が終わるのでなければ、必ずどこかで同じ余りが出現して同じ計算の繰り返しとなる。ゆえに、有理数を小数表示すると循環小数になる。この方法では循環節の長さの上限を事前に知っておく必要はないが、「分母 - 1」以下であることがこれによりわかる。
素数の逆数の場合
基数に素因数として含まれない素数 p の逆数に対しては、循環節を m 桁とすると 10m - 1 は p で割り切れ、商が循環節となるので、p - 1 の約数それぞれに対し 10m - 1 が p で割り切れるかを試せばよい。m が小さい順に試せば、計算量を節約できる(たとえば 1⁄3 = 0.333… に対しては 3 (m = 1) も 33 (m = 2) もこれを満たすので、小さい順でなければならない)。
参考文献
- ↑ 1.0 1.1 吉田武 『新装版オイラーの贈物』 東海大学出版会、2010年、14頁。ISBN 978-4-486-01863-6。
- ↑ 循環節 県立松戸高等学校 広川久晴
関連項目
外部リンク
- Weisstein, Eric W. “Repeating Decimal”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- Weisstein, Eric W. “Full Reptend Prime”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- Weisstein, Eric W. “Cyclic Number”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。