完全数（かんぜんすう、）とは、自分自身を除く正の約数の和が自分自身に等しくなる自然数のことである。完全数は素数ではあり得ず、合成数に限られる。完全数の最初の4個は 、、、 である。

「完全数」は「万物は数なり」と考えたピタゴラスが名付けた数の一つであることに由来するが、彼がなぜ「完全」と考えたのかについては何も書き残されていないようである。紀元1世紀ごろは、全ての数は過剰数と不足数と完全数の3種類に分けられて、道徳的な意味付けが真剣に考えられた。中世の『聖書』の研究者は、「 は『神が世界を創造した（天地創造）6日間』、 は『月の公転周期』で、これら2つの数は地上と天界における神の完全性を象徴している」と考えたとされる。古代ギリシアの数学者は他にもあと2つの完全数 () を知っていた。以来、完全数はどれだけあるのかの探求が2500年以上のちの現在まで続けられている。

完全数の定義は、正の約数の総和が自分自身の2倍に等しいことと同値である。すなわち、 が完全数であるとは、約数関数 に対して が成り立つことであると表現できる。また、正の約数の逆数和が であると表現することもできる。

 歴史 
完全数に関する数学上の最初の成果は紀元前3世紀ごろのユークリッドによってもたらされた。彼は『原論』（第9巻、命題36）で、「 が素数ならば、 は完全数である」ということを証明した。 で表される数をメルセンヌ数といい、それが素数である場合をメルセンヌ素数という。

古代から、6、28、496、8128の4つの数が完全数であることは知られており、ゲラサのニコマコスの『算術入門』には4つの完全数に関する記述が存在する。

ユークリッドの公式は2以上の に対して偶数の完全数しか生成しない（1のときは唯一の1倍完全数である1になる）が、逆に偶数の完全数が全て の形で書けるかどうかは18世紀までは未解決であった。レオンハルト・オイラーは偶数の完全数がこの形に限ることを証明した。

メルセンヌ素数の探索は、エドゥアール・リュカとによってメルセンヌ数が素数であるかどうかの効率的な判定法が考案され、1950年代からコンピュータが使われるようになる。現在では分散コンピューティング GIMPS による探求が行われていて、で判明している最大のメルセンヌ素数は4102万4320桁の数である。発見されている完全数はメルセンヌ素数と同じく52個である。紀元前より考察されている対象であるにもかかわらず、「偶数の完全数は無数に存在するか？」「奇数の完全数は存在するか？」という問題は未解決である。

 概要 
完全数は、小さい順に
（）
である。

各完全数の正の約数の総和は
（）
隣り合う完全数の差は
（）
完全数の総和の列は
（）
である。

 と がなぜ「完全」であるかは中世の学者の議論の対象になり、 は神が創造した1週間（日曜日は神が天地創造を終えて休んだ安息日で、キリスト教ではこれを除外する）、 は「月の公転周期」とされた。聖アウグスティヌス（? - 604年）はこれとは一線を画し、「 はそれ自体完全な数である。神が万物を6日間で創造したから が完全なのでなく、むしろ逆が真である」としている。

偶数の完全数 は 番目の三角数であり、 番目の六角数でもある。

 完全数の分類 

 偶数の完全数 
偶数の完全数は、 が素数のときの に限る（ユークリッド、オイラー）。

 ユークリッドの証明 
 が完全数であることの証明：

 オイラーの証明 
偶数の完全数は の形に限ることの証明：

 偶数の完全数の性質 
偶数の完全数を （ は素数）とする。
 の正の約数の個数は である（ は約数の個数を表す約数関数）。このうち半数は の累乗であり、残り半数はこれにメルセンヌ素数を乗じた数である。
 の正の約数の調和平均は 、ゆえに は調和数である。
 以外の偶数の完全数は、 から連続する正の奇数の立方和で表せる。式で表すと

例：

 から連続する正の奇数の立方和で表せる数の列は
（）
（ は自然数）の列は
（）
この数列で完全数にならない数の数列は を参照
 は のとき偶数の完全数になる。ただし は約数関数である。この数列は
（）
偶数の完全数は、 からメルセンヌ素数まで連続する正の整数の和で表せる。式で表すと

例：
言い換えると、 は 番目の三角数である。偶数の三角数の列は
（）
偶数の完全数は全て奇数番目の三角数でもあるので、知られている完全数は全て六角数でもある。

例：
言い換えると、 は 番目の六角数である。
六角数の列は 
（）
知られている完全数は全て 4n − 1 番目の三角数でもあるので偶数の六角数であり、偶数番目の六角数である。 番目の六角数は なので、偶数の六角数は で表される。偶数の六角数の列は
（）
 以外の完全数は中心つき九角数に含まれる。この数の列は
（）
 を十進法表示したとき、一の位は または である。

 偶数の完全数の未解決問題 
偶数の完全数は無数に存在するか、つまり が素数となる素数 は無数に存在するかどうかは未解決である。

 奇数の完全数 
奇数の完全数が存在するか否かは未解決であるが、約数関数は乗法的 () であることから、二平方数の和であることが古くから知られていた。もし奇数の完全数 が存在すれば、 は以下の各条件を満たさなければならないことが知られている。

 の素因数分解は の形である。ここで は相異なる素数で を満たす。
 である。
 である。また のとき である。
 ではない。
 ではない.
 とすると、 は ではない。さらに である。
 または である。
 である。
 これは1991年に示されたを約20年ぶりに改良したものである。
 は少なくとも10個の相異なる素因数を持つ。
これは2015年に発表されたものであるが、「9個以上」を示した2006年の結果を改良したものである。「7個」の場合は1972年までにカール・ポメランスによって示され、「8個」の場合は1980年ごろに Cheinと Hagisによってほぼ同時に示されており、その後多くの数学者の努力にもかかわらず、26年もの間「9個」の場合は示されなかった。
 が で割り切れない場合は、少なくとも12個の素因数を持つ。 でも でも割り切れない場合は15個以上の、 でも でも でも割り切れない場合は27個以上の相異なる素因数を持つ。
 は重複も数えて少なくとも101個の素因数を持つ。
 は より大きい素因数を持つ。
これは2006年に発表されたものであるが、より古い下界としては2003年の や、1998年の などがある。
 の2番目に大きな素因数は より大きい。
 の3番目に大きな素因数は より大きい。
 は より大きい素数冪因数を持つ。
（の約数の和） は単偶数の3倍完全数となる（未発見。倍積完全数を参照。）。

 その他の性質 
完全数は、正の約数の個数が偶数、正の約数の逆数和が なので、調和数である。この数の列は
（）

完全数は素数ではないが、約数の和が自分自身（の1倍）に等しい唯一の数である との関係において、2個の約数を持つ素数が1個の約数を持つ唯一の数である に対するのと似た関係を持つ。

 関連する数 
約数の和や積を考えることで特徴付けられる数の種類には他にも次のようなものがある。完全数と併せて、これらの名称には古代ギリシアの数秘学の影響が見られる。

 完全数の拡張 
 倍積完全数 (multiperfect number)
正の約数の和が自分自身の倍数である自然数を倍積完全数という。特に、それが倍に等しいものを倍完全数という。は唯一の倍完全数であり、完全数とは倍完全数のことである。
（）
 ハイパー完全数 (hyperperfect number)
 が -ハイパー完全数であるとは、
（ただし は自然数）（ は約数関数）
を満たすことと定義される。完全数は -ハイパー完全数である。
 -ハイパー完全数の列は
（）
 超完全数 (superperfect number)
 が -完全数であるとは、
（ただし は自然数）（ は約数関数）
を満たすときと定義される。完全数は -完全数、倍積完全数は -完全数、超完全数は -完全数である。
 擬似完全数 (semiperfect number)
自分自身を除くいくつかの約数の総和が元の数に等しい自然数を擬似完全数という。

 不完全数 
完全数でない自然数を不完全数 (imperfect number) という。
 不足数 (deficient number)
自分自身以外の正の約数の和より大きい自然数
 過剰数 (abundant number)
自分自身以外の正の約数の和より小さい自然数。過剰数であって擬似完全数でない数を不思議数という。
 友愛数 (amicable pair)
自分自身以外の正の約数の和が互いに他方に等しい2つの自然数の組。
 社交数 (sociable numbers)
友愛数と同様の関係が成立する3個以上の自然数の組。
 (quasiperfect number)
 が準完全数であるとは、正の約数の和が に等しいことと定義される。過剰数の一種。そのような数はいまだに見つかっていないが、存在するならばそれは奇数の平方数で より大きく、少なくとも7つの約数を持つということが示されている。
 (almost perfect number)
 が概完全数であるとは、正の約数の和が に等しいことと定義される。不足数の一種。 の形の自然数はこの条件を満たしているが、この形の自然数以外の概完全数が存在するのかどうかは知られていない。