■フェルマーの小定理と剰余の計算(その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となる.

===================================