■ほとんど完全数(その26)

 6を除く偶数の完全数は1^3+3^3+5^3+7^3+9^3+・・・の部分和となる.

  28=1^3+3^3

  496=1^3+3^3+5^3+7^3

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

  1^3+3^3+5^3+7^3+9^3+・・・

=1^3+3^3+5^3+・・・+(2n+1)^3−2^3{1^3+2^3+3^3+・・・+n^3}

={{2n+1)(2n+2)/2}^2−2^3{n(n+1)/2}^2

={(n+1)(2n+1)}^2−2{n(n+1)}^2

=(n+1)^2(2n^2+4n+1)

 n=1のとき,28

 n=3のとき,496

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

  (n+1)^2(2n^2+4n+1)

=(n^2+2n+1)(2n^2+4n+1)

(n^2+2n+1)=2^k-1

(2n^2+4n+1)=2^k−1

 この観点からいえば,完全数の問題は

[1](2n^2+4n+1)=2(n+1)^2−1

[2]2(n+1)^2−1=2^k−1→n+1=2^(k-1)/2

型の素数を見つける問題となる.

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