■1001(その18)

[1]2,5を素因数としてもたないレプユニット数

  Rn=(10^n−1)/9

の約数となることが知られている.すなわち,2,5を素因数としてもたないすべての自然数nは,ある自然数lについて10^k−1の約数となる.

[2]pを2,5以外の素数とするとき,pが

  Ln=R2n/Rn=(10^2n−1)/(10^n−1)

  Lk=10^k+1

の素因数となるようなLkが存在することと,1/pの循環桁数が偶数であることは同値であることが知られている.たとえば,41の循環桁数は奇数→41は10^k+1の素因数とはなりえない.

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

 pがLnの素因数ならば

  10^n=−1  (modp)

なので,

  10^2n=1  (modp)

が成り立たなければならない.

  L(p)が奇数ならば

  10^n=1  (modp)

となって矛盾.したがって,L(p)は偶数でなければならない.

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

 なお,フェルマーの小定理により

  10^(p-1)=1  (modp)

より,pが2,5以外の素数のとき,L(p)はp−1の約数であることがいえる.→(その13)

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