■ほとんど完全数(その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あまる.
===================================