■完全数の約数の積(その4)
どの完全数も、各位の数字の和は9で割って1余る。
28=1^3+3^3
496=1^3+3^3+5^3+7^3
8128=1^3+3^3+・・・+15^3
===================================
pが奇素数ならば2^(p-1)-1は3で割り切れる。したがって、2^(p-1)=3k+1と書ける。
2^p-1=6k+1と書ける
2^(p-1)(2^p-1)=(3k+1)(6k+1)=9(2k^2+k)+1と書ける
===================================