ログインしてさらにmixiを楽しもう

コメントを投稿して情報交換!
更新通知を受け取って、最新情報をゲット!

アマチュア数学会コミュの完全数の神秘

  • mixiチェック
  • このエントリーをはてなブックマークに追加

もし 2^k-1が素数でN=2^(k-1)(2^k -1)のとき、Nは完全数である
証明
p=2^k-1を題意にあるような素数としよう
Nの真の約数の和
=1+2+4+....+2^k-1 +p+ 2p+ 4p+....+2^k-2p
=(2^k-1) + p(2^k-1 -1) = p +p 2^k-1 -p
=p2^k-1=N

ここで(2^k-1)のカタチの素数(メルセンヌ素数)が無限に存在すれば
完全数Nは無限に存在することになるが、メルセンヌ素数が無限に存在
するかどうかは未だにわかっていない
kが大きくなると(2^k-1)が素数であるか否か判定するのは難しい
1998年に 2^3021377 -1 がメルセンヌ素数であることが発表された
したがって 2^3021376(2^3021377 -1)は完全数であることがわかる
これにより完全数として知られているものはこれで37個(たったこれだけ!!)になった

またNの式を見る限りNは偶数だが奇数の完全数の存在するかということは
とても難しい −オイラー 1747 (200年以上前!!)
奇数の完全数の存在は未解決である

コメント(0)

mixiユーザー
ログインしてコメントしよう!

アマチュア数学会 更新情報

アマチュア数学会のメンバーはこんなコミュニティにも参加しています

星印の数は、共通して参加しているメンバーが多いほど増えます。

人気コミュニティランキング