3
a=2^(n-1)(2^n -1)、n>1、2^n -1は素数
ならばaは完全数であることを証明せよ。また偶数の完全数はこの形に限ることを証明せよ。
以下を参照せよ。

nの約数の和S(n)は
S(n)>2n、S(n)=2n、S(n)<2nのどれかになるが、S(n)=2nとなるとき、nを完全数という。
6の約数は1、2、3、6
28の約数は1、2、4、7、14、28
であるから完全数である。