自然数Ｎの正の約数の和をσ（Ｎ）で表すことにします．Ｎが素数ならば，　　σ（Ｎ）＝１＋Ｎ

完全数ならば

　　σ（Ｎ）＝２Ｎ

が成り立ちます．

　　σ（６）＝１＋２＋３＋６＝１２＝２・６

　　σ（２８）＝１＋２＋４＋７＋１４＋２８＝５６＝２・２８

　　σ（４９６）＝（１＋２＋２^2＋２^3＋２^4）（１＋３１）＝９９２＝２・４９６

　ユークリッドは「原論」の中で，２^n−１が素数ならば２^n-1（２^n−１）は完全数であることを示し，さらにオイラーは偶数の完全数はこの形に限ることを証明しました．

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

［Ｑ］偶数の完全数は三角数である．

［Ａ］２^n-1（２^n−１）＝２^n（２^n−１）／２

　これは最初の（２^n−１）個の自然数であるから，定義より三角数である．

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

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

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

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

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

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

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

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

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