すべての偶数の完全数は

　　２^p-1（２^p－１）

で表されます（ユークリッド）．

　ただし，ｐおよび２^p－１が素数（メルセンス素数）でなければなりません．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　２^n×２^n－１＝４^n－１＝（４－１）（４^n-1＋４^n-2＋・・・＋１）であるから，２^n×２^n－１は３で割り切れる．

　　２^n×２^n＝１　　（ｍｏｄ３）

　　２^n＝＋１，２^n-1＝－１　　（ｍｏｄ３）

　　２^n＝－１，２^n-1＝＋１　　（ｍｏｄ３）

　２^n－１は素数であるから，

　　２^n－１＝－２＝１，２^n-1＝＋１　　（ｍｏｄ３）

　したがって，６を除く偶数の完全数を９で割ると１あまる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［Q］完全数の末尾の数は６または８

［Q］ｐ＝（２^n－１）の末尾の数は最初の6と２８を除くと１または７

ｎは奇素数、ｎー１は偶数

２^n-1の末尾の数　　　２^n－１の末尾の数

　　　４　　　　　　　　　　　７

　　　６　　　　　　　　　　　１

以上により、完全数の末尾の数は６または８

以上により、ｐ＝（２^n－１）の末尾の数は最初の6と２８を除くと１または７

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝