1
大学数学基礎解説
文献あり

不足数(σ(n) < 2n)の十分条件

221
0

σを約数関数,すなわちσ(n):=nの約数の総和として,σ(n)<2nとなる自然数nのことを不足数と言います.
本記事では こちら の論文によって示された不足数の十分条件について,証明がとても鮮やかで巧みだったため,ご紹介したいと思います .

有限個の自然数からなる集合S={a1,a2,...,aN}について,Sの空でない部分集合の和は全て異なる.
このとき,i=1N1ai<2となる.特に,自然数nの約数の集合をD:={d1,d2,...,dN}としたとき,
σ(n)n=i=1N1diより,Dの空でない部分集合の和が全て異なるならば,nは不足数となる.

例えば,2Nの約数は1,2,22,...,2Nで,二進数の性質から,どのように組み合わせても和が異なります.そして実際,1+2+22+...+2N=2N+11<22Nより,不足数であることが分かります.

それでは定理1を証明していきましょう.

x(0,1)とする.
多項式i=1N(1+xai)xnの係数は,Sの空でない部分集合で,和がnとなるものの個数を表す.
今,Sの空でない部分集合の和は全て異なるため,xnの係数は1以下となる.よって,
i=1N(1+xai)<n=0xn=11x,となる.両辺自然対数を取り,

i=1Nlog(1+xai)<log(1x).
さらに両辺xで割り,(0,1)区間で積分すると,
i=1N01log(1+xai)x dx<01log(1x)x dx.
左辺の各項について,xai=yとおけば,
i=1N1ai01log(1+y)y dy<01log(1x)x dx.
01log(1+y)y dy=π212, 01log(1x)x dx=π26より,

i=1N1ai<2,となる.

参考文献

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

この記事を高評価した人

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

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

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

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

投稿者

Mathお
Mathお
44
6120

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中