■完全数の一般化(その10)

メルセンヌ素数Mpはそれに対応した完全数=Mp2^(p-1)をもっている。

M2=2^2-1=3→P=6=1+2+3+6

M3=2^3-1=7→P=28=1+2+4+7+14

Mp→1+2+・・・+2^p-1+Mp(1+2+・・・+2^p-1)=2P

ユークリッドは、偶数の完全数はすべてこの形をしていることを示した(オイラーが証明)

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

完全数の約数の逆数の和は常に2になる。

1/1+1/2+1/3+1/6=2

1/1+1/2+1/4+1/7+1/14+1/28=2

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