なぜこんなことを考えたのか？僕の友達が考えた問題だが、約数の和が 2n + 1 に等しい数 n を準完全数と呼ぶことにする。このとき、準完全数は存在しない。という問題を出してきた。友達は200までやって、なかったらしい。ああ！何としても見つけたい！(｀･ω…

まず、ユークリッドの補題とは…。素数\(p\)が\(ab\)を割り切るなら，\(p\)は\(a\)か\(b\)のいずれか一方を割り切る。という、当たり前だろ！？( ・Д・)という定理。しかしこれ、証明がかなり回りくどい…。なかなか完全な証明を書いていないところが多かった…