■フェルマーの小定理と剰余の計算(その63)
[Q](2^n-1)/nが整数となるnをすべて決定せよ
[1]pを奇素数,qを素数とする
2^q=1 (modp)ならば,p=1 (modq)である
すなわち,メルセンヌ数2^n−1が合成数であるならば,因数はあるkに対してkn+1である.
このとき
(2^n-1)/(kn+1)は整数となるが、kn+1はnの倍数とはならない。
n=1のとき(2^1-1)/1=1
が唯一解と思われる。
===================================