■概完全数? (その7)
[3]σ(N)=2N→完全数
σ(N)=2N−1→概完全数
σ(N)=2N+1→疑似完全数
2のベキは概完全数になるが、このほかに概完全数が存在するかどうかはわかっていない。
概完全数は2のベキに限るというのが概完全数であるが、現代数学でも解決できない難問として有名である。
飯高茂先生は
σ(N)=2N−m→平行移動mの完全数
と呼んでおられる。
m=0として得られた解はN=2^eq、q=2^e-1(メルセンヌ素数)と書ける。
m=2として得られた解はN=2^eq、q=2^e-1+2(フェルマー素数)と書ける。
さらに、mを完全数のマイナス2倍、m=-2k=-12,-56,-992,-16256,・・・とした場合を宇宙完全数と呼んでおられるようだ。
===================================
q=2^(e+1)-1が素数(メルセンヌ素数)のとき、σ(N)=2Nを満たす。
q=2^(e+1)-1+mが素数のとき、N=2^eqはσ(N)=2N-mを満たすことから完全数の一般化と考えることができるというわけである。
===================================