■50781 / ResNo.1) |
Re[1]: 約数
|
□投稿者/ らすかる 付き人(50回)-(2021/05/13(Thu) 14:50:51)
| ↓こちらのページによると ja.wikipedia.org/wiki/%E9%81%8E%E5%89%B0%E6%95%B0 「20161より大きい整数は2つの過剰数の和で表すことができる。」 とのことですから、nの最大値は20161ですね。 この証明を書くには 「20161より大きい整数は2つの過剰数の和で表すことができる。」 と 「20161を2数の和で表したとき、2数のうち少なくとも一つは過剰数でない」 を証明しなければなりませんね。
前者は例えば n=6k のとき n=12+(6k-12) (※12以上の6の倍数は過剰数) n=6k+2 のとき n=20+(6k-18) (※20は過剰数) n=6k+3 のとき n=945+(6k-942) (※945は過剰数) n=6k+4 のとき n=40+(6k-36) (※40は過剰数) n=6k+1のうち n=60k+25 のとき n=945+(60k-920) (※20の倍数は過剰数) n=60k+55 のとき n=1575+(60k-1520) (※1575は過剰数) ・・・ のように絞っていけば、おそらく証明できると思います。
後者は20161未満のすべての過剰数を考えて 20161を2数の和で表すと片方が奇数で片方が偶数 20161未満の奇数の過剰数はすべて15の倍数で 20161≡1(mod15)だから、偶数の方はm≡16(mod30) よって 20161未満の奇数の過剰数 945,1575,2205,2835,3465,4095,4725,5355,5775,5985,6435,6615,6825, 7245,7425,7875,8085,8415,8505,8925,9135,9555,9765,10395,11025, 11655,12285,12705,12915,13545,14175,14805,15015,15435,16065,16695, 17325,17955,18585,19215,19305,19635,19845 と 20161未満で30で割って16余る過剰数 196,636,1036,1236,1696,1896,2176,2316,3016,3156,3496,3576,4216, 4416,4816,5076,5656,5796,6016,6096,6256,6516,6976,7236,7696, 7776,8056,8196,8536,8616,9196,9276,9856,10296,10696,10836,11176, 11556,11956,12396,12796,13176,13456,13656,13816,13956,14416,14496, 15136,15336,15496,15636,16156,16476,16996,17076,17416,17556,17836, 18276,18616,18696,19456,19536 のどれを足しても20161にならないことを示せば証明できますが、 そもそも上記の過剰数を列挙するだけでも大変ですね。
|
|