超完全数のソースを表示
←
超完全数
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
'''超完全数''' (ちょうかんぜんすう、{{Lang-en-short|Superperfect number}}）とは[[完全数]]を発展させた数で、次の式を満たす整数 ''n'' のことである。 :<math>\sigma^2(n)=\sigma(\sigma(n))=2n\, </math> ただしσ は[[約数関数]]、超完全数は Suryanarayana (1969) によって定義された。 具体的には :[[2]], [[4]], [[16]], [[64]], [[4096]], [[65536]], 262144,… ({{OEIS|A019279}}) である。もし ''n'' が偶数の超完全数ならば 2<sup>''k''+1</sup>−1 が[[メルセンヌ素数]]であるような 2<sup>''k''</sup> でなければならない。<ref name=Guy99/><ref name=mathworld>{{MathWorld|urlname=SuperperfectNumber |title=Superperfect Number }}</ref> 奇数の超完全数はまだ知られていない。 奇数の超完全数 ''n'' が存在するなら、その数は ''n'' または σ(''n'') が少なくとも3つの異なる素因数からできる平方数でなければならないことは知られている。<ref name=mathworld /> 奇数の超完全数は 7 x 10<sup>24</sup> までの数では存在しない。<ref name=Guy99>Guy (2004) p.99</ref> == 概要 == 以下の約数関数 σ を用いた数式において ''m'' = 1 のとき完全数、''m'' = 2 のとき超完全数、そして ''m'' ≥ 3 のとき ''m''-超完全数は存在しない。<ref name=Guy99/> :<math>\sigma^m(n)=2n </math> これより''m''-超完全数とは以下の数式を満たす ''n'' で(''m'' , ''k'')-完全数という。 <ref>Cohen & te Riele (1996)</ref> :<math>\sigma^m(n)=kn </math> (''m'' , ''k'')-完全数の表記において, [[完全数]]は(1 , 2)-完全数、[[倍積完全数]]は(1 , ''k'')-完全数、超完全数は(2 , 2)-完全数となる。 ''m''-超完全数とは(''m'' , 2)-完全数のことである。<ref>Guy (2007) p.79</ref> 以下に(''m'' , ''k'')-完全数の例を示す。 :{| class="wikitable" |- ! ''m'' ! ''k'' ! (''m'' , ''k'')-完全数 ! [[OEIS]] |- | <center>2</center> | <center>2</center> | [[2]], [[4]], [[16]], [[64]], [[4096]], [[65536]], 262144,… | {{OEIS2C|A019279}} |- | <center>2</center> | <center>3</center> | [[8]], [[21]], [[512]] | {{OEIS2C|A019281}} |- | <center>2</center> | <center>4</center> | [[15]], 1023, 29127, 355744082763 | {{OEIS2C|A019282}} |- | <center>2</center> | <center>6</center> | [[42]], [[84]], [[160]], [[336]], 1344, 86016, 550095, 1376256, 5505024,… | {{OEIS2C|A019283}} |- | <center>2</center> | <center>7</center> | [[24]], 1536, 47360, 343976 | {{OEIS2C|A019284}} |- | <center>2</center> | <center>8</center> | [[60]], [[240]], 960, 4092, 16368, 58254, 61440, 65472, 116508, 466032, 710400, 983040, 1864128, 3932160, 4190208, 67043328, 119304192, 268173312, 1908867072,… | {{OEIS2C|A019285}} |- | <center>2</center> | <center>9</center> | [[168]], 10752, 331520, 691200, 1556480, 1612800, 106151936,… | {{OEIS2C|A019286}} |- | <center>2</center> | <center>10</center> | [[480]], [[504]], 13824, 32256, 32736, 1980342, 1396617984, 3258775296,… | {{OEIS2C|A019287}} |- | <center>2</center> | <center>11</center> | 4404480, 57669920, 238608384 | {{OEIS2C|A019288}} |- | <center>2</center> | <center>12</center> | 2200380, 8801520, 14913024, 35206080, 140896000, 459818240, 775898880, 2253189120,… | {{OEIS2C|A019289}} |- | <center>2</center> | <center>13</center> | 57120, 932064, 3932040, 251650560 | {{OEIS2C|A019290}} |- | <center>2</center> | <center>14</center> | 217728, 1278720, 2983680, 5621760, 14008320, 298721280, 955367424, 1874780160, 4874428416 | {{OEIS2C|A019291}} |- | <center>3</center> | | [[1]], [[12]], [[14]], [[24]], [[52]], [[98]], [[156]], [[294]], 684, 910, 1368, 1440, 4480, 4788, 5460, 5840, ... | {{OEIS2C|A019292}} |- | <center>4</center> | | [[1]], [[2]], [[3]], [[4]], [[6]], [[8]], [[10]], [[12]], [[15]], [[18]], [[21]], [[24]], [[26]], [[32]], [[39]], [[42]], [[60]], [[65]], [[72]], [[84]], [[96]], [[160]], [[182]], ... | {{OEIS2C|A019293}} |} * 上の表で(2 , ''k'')-完全数の一覧は{{OEIS|A019278}}を参照。 * (''m'', ''k'')-完全数を考えたときそれぞれの数の最小回数で整数倍になる ''m'' の値は 1, 2, 4, 2, 5, 1, 5, 2, 7, 4, 15, 3, 13,…である。({{OEIS|A019294}}) **整数倍になる ''k'' の値は 1, 2, 5, 2, 24, 2, 24, 3, 168, 12, 1834560, 10,…である。({{OEIS|A019295}}) **それ未満のどの数よりも整数倍になる回数が多くなる数は [[1]], [[2]], [[3]], [[5]], [[9]], [[11]], [[23]], [[25]], [[29]], [[59]], [[67]], [[101]],…である。({{OEIS|A019276}}) * 奇数の(2, ''k'')-完全数は [[1]], [[15]], [[21]], 1023, 29127, 550095, 355744082763 である。({{OEIS|A205597}}) * (''m'', ''k'')-完全数で元の数 ''n'' と ''m'' が ''n'' < ''m'' の関係を満たすものは [[3]], [[11]], [[29]], [[53]], [[58]], [[59]], [[67]], [[101]], [[109]],…である。({{OEIS|A111227}}) このときの ''m'' は{{OEIS|A111726}}を、''k'' は{{OEIS|A111727}}を参照。 == 脚注 == {{reflist}} == 参考文献 == {{refbegin}} *{{PlanetMath |urlname=SuperperfectNumber |title=Superperfect Number}} *{{cite journal |first1=G. L. |last1=Cohen |first2=H. J. J. |last2=te Riele |title=Iterating the sum-of-divisors function |journal=[[Experimental Mathematics (journal)|Experimental Mathematics]] |volume=5 |year=1996 |pages=93–100 |zbl=0866.11003 |doi=10.1080/10586458.1996.10504580}} * {{cite book |last=Guy |first=Richard K. |authorlink=Richard K. Guy |title=Unsolved problems in number theory |publisher=[[Springer-Verlag]] |edition=3rd | year=2004 |isbn=978-0-387-20860-2 |zbl=1058.11001 |at=B9}} * {{cite book | editor1-last=Sándor | editor1-first=József | editor2-last=Mitrinović | editor2-first=Dragoslav S. | editor3-last=Crstici |editor3-first=Borislav | title=Handbook of number theory I | location=Dordrecht | publisher=[[Springer-Verlag]] | year=2006 | isbn=1-4020-4215-9 | zbl=1151.11300 }} * {{cite journal |zbl=0165.36001 |last=Suryanarayana |first=D. |title=Super perfect numbers |journal=Elem. Math. |volume=24 |pages=16–17 |year=1969}} {{refend}} == 関連項目 == * [[完全数]] {{Divisor classes}} {{デフォルトソート:ちようかんせんすう}} [[Category:数論]] [[Category:整数の類]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Cite book
(
ソースを閲覧
)
テンプレート:Cite journal
(
ソースを閲覧
)
テンプレート:Divisor classes
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:MathWorld
(
ソースを閲覧
)
テンプレート:OEIS
(
ソースを閲覧
)
テンプレート:OEIS2C
(
ソースを閲覧
)
テンプレート:PlanetMath
(
ソースを閲覧
)
テンプレート:Refbegin
(
ソースを閲覧
)
テンプレート:Refend
(
ソースを閲覧
)
テンプレート:Reflist
(
ソースを閲覧
)
超完全数
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報