3

完全数が面白い

128
0

完全数ってなに?

完全数の定義は「その数字自身を除く約数の和がその数字自身に等しい自然数」と定義されています。例えば、1番目の完全数である6を例に取ると、6の約数(1,2,3,6)のうち6を除いた(1,2,3)の和は6になっています。28、496、8128なんかも完全数です。

未解決問題

こんなに美しい完全数ですが、無数にあることや奇数の完全数が存在することの証明がなされていません。現時点(2024.12)では52個しか見つけられておらず、未解決問題の一つです。
そういえば最近52番目のメルセンヌ素数が発見されたって聞いたような...
(メルセンヌ素数とは:2n-1 で表されるような数のうち、素数であるような数のことです。)

完全数とメルセンヌ素数

実は、メルセンヌ素数と偶数の完全数は1対1に対応していると言われています。
先に式を紹介します。

2n-1が素数であるようなnについて、
(2n1)(2n-1) が偶数の完全数になります。

なぜこのようになるのか、解説していきます。

自然数aとbの約数を、
a=p1k1p2k2p3k3...piki
b=q1t1q2t2q3t3...qiti
とすると、
ab=p1k1p2k2p3k3...pikiq1t1q2t2q3t3...qiti
と表すことができます。

ここで、約数の総和の公式を使います。

σ(ab)=(1+...p1k1)...(1+piki)(1+...q1t1)...(1+qiti)=σ(a)σ(b)

2n1 が素数であるとき、
σ(a)=σ(2n1)σ(2n1)
=(1+...2n1)(1+...2n1)
=(2n1)2n
=2a
が成り立つので、aは完全数であると証明されます。

おわりに

とても綺麗な完全数ですが、使い道は特になさそうです。
ここでは説明しませんでしたが、超完全数なるものもあるそうなので調べてみても面白いかもしれませんね

参考文献

等比数列. (2022). Wkmath.org. https://wkmath.org/geo-seq-f.html#q-mer-perf

投稿日:2024122
更新日:2024122
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Nosuke
Nosuke
3
128
中3です。 ドーナツでコーヒーを飲みたい

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 完全数ってなに?
  2. 未解決問題
  3. 完全数とメルセンヌ素数
  4. おわりに
  5. 参考文献