■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)
===================================