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

が唯一解と思われる。

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