■フェルマーの小定理と剰余の計算(その24)
なぜ1/7は長さ6の周期をもつのだろうか?
10^k=1 (mod7)
となる最小のkを探して、k=7−1であることを示すことになるが、pが大きいとき、k=1,2,3,・・・と順に探すのは大変である。
===================================
2、5でない素数pに対して、
n=Πpi^ni
の10進展開は、各piに関する10の位数の最小公倍数に等しい周期をもつ。
すなわち、ki=ordpi^ni(10)をもちいて、周期T=[k1,k2,・・・]
nが2、5を含む場合、10進小数は非循環頭部をもつことになる。
===================================
1/119=1/7・1/17の場合、T=[6,16]=48
1/2737=1/7・1/17・1/23の場合、T=[6,16,22]=528
===================================
[Q]1/983を小数展開したとき,循環節の長さが982桁になることを証明せよ.
なお、ordp(10)はp-1か、p-1の約数である。
p-1となるのが10がpの原始根であるときで、10は
p=7,17,19,23,29,47,59,61,97などの原始根である。
p=11,13,・・・はordp(10)はp-1か、p-1の約数である。
したがって、以下のようになる。
===================================
[A]982=2・491であるが,まず,2^491=?(mod983)を定める
491=1+2+2^3+2^5+2^6+2^7+2^8
2^2=4,2^2^2=16,2^2^2^3=16^2=256,
2^2^2^4=256^2=−325,
2^2^2^5=325^2=444,
2^2^2^6=444^2=−447,
2^2^2^7=447^2=260,
2^2^2^8=260^2=−227 (mod983)
2^491=2・4・256・444・(−447)・260・(−227)=1 (mod983)
2 (mod983)の位数は491
同様に
5^2=25,5^2^2=125=−358
5^2^2^3=358^2=374,
5^2^2^4=374^2=290,
5^2^2^5=290^2=545,
5^2^2^6=545^2=159,
5^2^2^7=159^2=−277,
5^2^2^8=277^2=55 (mod983)
5^491=5・25・374・545・159・(−277)・55=−1 (mod983)
5 (mod983)の位数は982となり原始根である.
以上より
10^491=−1 (mod983)となり,原始根である.→1/983を小数展開したとき,循環節の長さが982桁になる.
参考までに,3 (mod983)の位数も491となる.
===================================