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

  28=1^3+3^3

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

  6を除く偶数の完全数を9で割ると1余る.

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

 2^n×2^n−1=4^n−1=(4−1)(4^n-1+4^n-2+・・・+1)であるから,2^n×2^n−1は3で割り切れる.

  2^n×2^n=1  (mod3)

  2^n=+1,2^n-1=−1  (mod3)

  2^n=−1,2^n-1=+1  (mod3)

 2^n−1は素数であるから,

  2^n−1=−2=1,2^n-1=+1  (mod3)

 したがって,6を除く偶数の完全数を9で割ると1あまる.

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