◆東京都の会社員 DUMMYさんからの解答。
0.初期設定
循環小数は、循環部分が必ずしも小数点第一位からはじまるとは限りません。例えば、
| 1 ―― 6 | =0.166666… |
このような状況をふまえて、循環の一部ではない箇所の桁数をm桁とおき、値をaとします。
また、循環部分の桁数は偶数であるので、桁数を2n桁とし、前半n桁の値をb、後半n桁の値をcとします。
例えば、循環小数が次のような場合、
m,n,a,b,cは次のようになります。
m=3
n=3
a=123
b=456
c=789
当然のことながら、m,n,a,b,cは正の整数となります。
(ただし、n以外は0を含む)
また、b≠cとなります。
b=cでは循環部分がbだけになってしまい、最初の設定にあわなくなるからです。
さて、ここまで準備をしたところで、循環小数を分数にして表してみると、
| a ――― 10m | + | 10n・b+c ―――――――――― 10m・(102n−1) |
| 1 ――― p | = | a ――― 10m | + | 10n・b+c ―――――――――― 10m・(102n−1) | … (1) |
| 10m・(102n−1) ―――――――――― p | =(102n−1)・a+10n・b+c… (2) |
ところで、pは素数であるので、
10m、10n+1、10n−1のうちの少なくともどれか一つがpを約数に持つことになります。
まず、10mがpを約数に持つと仮定してみます。
であり、pは素数なので、pが10mの約数となるためには、2または5でなければなりません。しかし、pが2でも5でも、1/pは循環小数にならないので、pは2でも5でもないことになります。
したがって、pは10mの約数ではないことが分かります。
次に、10n−1がpを約数に持つと仮定してみましょう。
10n−1をpで割ったときの商をdとすれば、
となります。ところでe、fを正の整数(ただしpより小さい)とすれば、
e・10n=b・p+f … (4)
f・10n=c・p+e … (5)
となります。(3)の両辺をe倍すると、
となるのですが、eはpより小さいので、この式は、e・10nをpで割ったときの関係式となります。
また、(4)も同じくe・10nをpで割ったときの関係式を表す式なので、それぞれの余りにあたるので、
f=e
となります。このことを(4)(5)に代入すると、
e・10n=c・p+e
となり、この2式から
b=c
となります。しかし、b≠cなので矛盾が生じます。したがって、
10n−1はpで割り切れないことになります。
10mも10n−1も、pを約数に持たないことが判明したので、この結果
10n+1がpを約数にもつことになります。つまり、
10n+1はpで割り切れる … (6)
ことになります。
| 2. | 10m・(10n+1) ――――――――― p | が(10n+1)・a+b+1であることの証明 |
| 10m・10n ――――――― p | =10n・a+b+ | b+10n・c ―――――――― 102n−1 | … (7) |
| 0< | b+10n・c ――――――― 102n−1 | <1 |
| 各辺に10n・a+b+ | 10m ―――― p |
| 10n・a+b+ | 10m ―――― p |
< | 10m・(10n+1) ――――――――― p |
<10n・a+b+1+ | 10m ―――― p |
| a< | 10m ――――― p | <a+1 |
| (10n+1)・a+b< | 10m・(10n+1) ―――――――― p | <(10n+1)・a+b+2 |
| 10m・(10n+1) ――――――――― p | =(10n+1)・a+b+1 … (9) |
【コメント】
すばらしい証明をありがとうございます。
完全に確認した自信はないのですが、証明されていると思います。
宮崎隆行さんにもさっそく知らせてあげようと思います。
どうもありがとうございました。