過剰数

過剰数（かじょうすう、）とは、その約数の総和が元の数の 2 倍より大きい自然数のことである。この過剰数の定義は「その数自身を除く約数の総和が元の数より大きくなるような自然数」と同値である。

概要 
例えば、 の約数の総和は  であるので（もしくは「 の自身を除く約数の総和は  であるので」） は過剰数である。約数関数を用いると  が過剰数である。過剰数は全て合成数で無数に存在し、そのうち最小の数は  である。奇数の過剰数のうち最小の数は  である（）。

過剰数を 12 から小さい順に列記すると
 
となる。

過剰数もしくは完全数の倍数は全て過剰数であり、したがって偶数の過剰数も奇数の過剰数も無数に存在する。また、全ての擬似完全数は完全数もしくは過剰数である。ほとんどの過剰数は擬似完全数でもあり、そうでない過剰数は不思議数と呼ばれる。

 を満たす  は過剰数であり、準完全数と呼ばれる。準完全数はいまだに見つかっておらず、もし存在するならば奇数の平方数で  より大きく、少なくとも 7 つの相異なる素因数を持つことが分かっている。

自然数のうち過剰数が占める割合は  から  の間であると証明されている。

 より大きい整数は 2 つの過剰数の和で表すことができる。

 が過剰数なので、その倍数つまり下 2 桁が  である数は全て過剰数となる。

関連する数 
過剰数の中で約数の和が元の数の3倍以上になる数は
 
であり、過剰数の中で約数の和が元の数の4倍以上になる数は
 
である。また k 倍以上になる最小の数は
 
である。これらの数については超過剰数を参照。

関連項目 
 完全数 - その数自身を除く約数の総和が元の数に等しい数
 不足数 - その数自身を除く約数の総和が元の数より小さい数
 擬似完全数 - その数自身を除くいくつかの約数の和が元の数に等しい数
 不思議数
 準完全数
高度過剰数
 超過剰数
巨大過剰数

脚注

外部リンク 
 

数論
整数の類
数学に関する記事