В теории чисел k -гиперсовершенное число — это натуральное число n , для которого выполняется равенство , где σ ( n ) — функция делителей (т. е. сумма всех положительных делителей n ). Гиперсовершенное число — это k -гиперсовершенное число для некоторого целого числа k . Гиперсовершенные числа обобщают совершенные числа , которые являются 1-гиперсовершенными. [1]
Первые несколько чисел в последовательности k -гиперсовершенных чисел - это 6, 21, 28, 301, 325, 496, 697, ... (последовательность A034897 в OEIS ), с соответствующими значениями k - 1, 2, 1, 6, 3, 1, 12, ... (последовательность A034898 в OEIS ). Первые несколько k -гиперсовершенных чисел, которые не являются совершенными, - это 21, 301, 325, 697, 1333, ... (последовательность A007592 в OEIS ).
В следующей таблице перечислены первые несколько k -гиперсовершенных чисел для некоторых значений k , а также порядковый номер в Онлайновой энциклопедии целочисленных последовательностей (OEIS) последовательности k -гиперсовершенных чисел:
к | k -гиперсовершенные числа | ОЭИС |
---|---|---|
1 | 6, 28, 496, 8128, 33550336, ... | OEIS : A000396 |
2 | 21, 2133, 19521, 176661, 129127041, ... | OEIS : A007593 |
3 | 325, ... | |
4 | 1950625, 1220640625, ... | |
6 | 301, 16513, 60110701, 1977225901, ... | OEIS : A028499 |
10 | 159841, ... | |
11 | 10693, ... | |
12 | 697, 2041, 1570153, 62722153, 10604156641, 13544168521, ... | OEIS : A028500 |
18 | 1333, 1909, 2469601, 893748277, ... | OEIS : A028501 |
19 | 51301, ... | |
30 | 3901, 28600321, ... | |
31 | 214273, ... | |
35 | 306181, ... | |
40 | 115788961, ... | |
48 | 26977, 9560844577, ... | |
59 | 1433701, ... | |
60 | 24601, ... | |
66 | 296341, ... | |
75 | 2924101, ... | |
78 | 486877, ... | |
91 | 5199013, ... | |
100 | 10509080401, ... | |
108 | 275833, ... | |
126 | 12161963773, ... | |
132 | 96361, 130153, 495529, ... | |
136 | 156276648817, ... | |
138 | 46727970517, 51886178401, ... | |
140 | 1118457481, ... | |
168 | 250321, ... | |
174 | 7744461466717, ... | |
180 | 12211188308281, ... | |
190 | 1167773821, ... | |
192 | 163201, 137008036993, ... | |
198 | 1564317613, ... | |
206 | 626946794653, 54114833564509, ... | |
222 | 348231627849277, ... | |
228 | 391854937, 102744892633, 3710434289467, ... | |
252 | 389593, 1218260233, ... | |
276 | 72315968283289, ... | |
282 | 8898807853477, ... | |
296 | 444574821937, ... | |
342 | 542413, 26199602893, ... | |
348 | 66239465233897, ... | |
350 | 140460782701, ... | |
360 | 23911458481, ... | |
366 | 808861, ... | |
372 | 2469439417, ... | |
396 | 8432772615433, ... | |
402 | 8942902453, 813535908179653, ... | |
408 | 1238906223697, ... | |
414 | 8062678298557, ... | |
430 | 124528653669661, ... | |
438 | 6287557453, ... | |
480 | 1324790832961, ... | |
522 | 723378252872773, 106049331638192773, ... | |
546 | 211125067071829, ... | |
570 | 1345711391461, 5810517340434661, ... | |
660 | 13786783637881, ... | |
672 | 142718568339485377, ... | |
684 | 154643791177, ... | |
774 | 8695993590900027, ... | |
810 | 5646270598021, ... | |
814 | 31571188513, ... | |
816 | 31571188513, ... | |
820 | 1119337766869561, ... | |
968 | 52335185632753, ... | |
972 | 289085338292617, ... | |
978 | 60246544949557, ... | |
1050 | 64169172901, ... | |
1410 | 80293806421, ... | |
2772 | 95295817, 124035913, ... | OEIS : A028502 |
3918 | 61442077, 217033693, 12059549149, 60174845917, ... | |
9222 | 404458477, 3426618541, 8983131757, 13027827181, ... | |
9828 | 432373033, 2797540201, 3777981481, 13197765673, ... | |
14280 | 848374801, 2324355601, 4390957201, 16498569361, ... | |
23730 | 2288948341, 3102982261, 6861054901, 30897836341, ... | |
31752 | 4660241041, 7220722321, 12994506001, 52929885457, 60771359377, ... | OEIS : A034916 |
55848 | 15166641361, 44783952721, 67623550801, ... | |
67782 | 18407557741, 18444431149, 34939858669, ... | |
92568 | 50611924273, 64781493169, 84213367729, ... | |
100932 | 50969246953, 53192980777, 82145123113, ... |
Можно показать, что если k > 1 — нечётное целое число , а и — простые числа , то является k -гиперсовершенным; Джадсон С. МакКрейни в 2000 году предположил, что все k -гиперсовершенные числа для нечётного k > 1 имеют такую форму, но эта гипотеза до сих пор не доказана. Более того, можно доказать, что если p ≠ q — нечётные простые числа, а k — целое число, такое, что тогда pq является k -гиперсовершенным.
Также можно показать, что если k > 0 и является простым числом, то для всех i > 1, таких что является простым числом, является k -гиперсовершенным. В следующей таблице перечислены известные значения k и соответствующие значения i , для которых n является k -гиперсовершенным:
к | Значения i | ОЭИС |
---|---|---|
16 | 11, 21, 127, 149, 469, ... | OEIS : A034922 |
22 | 17, 61, 445, ... | |
28 | 33, 89, 101, ... | |
36 | 67, 95, 341, ... | |
42 | 4, 6, 42, 64, 65, ... | OEIS : A034923 |
46 | 5, 11, 13, 53, 115, ... | OEIS : A034924 |
52 | 21, 173, ... | |
58 | 11, 117, ... | |
72 | 21, 49, ... | |
88 | 9, 41, 51, 109, 483, ... | OEIS : A034925 |
96 | 6, 11, 34, ... | |
100 | 3, 7, 9, 19, 29, 99, 145, ... | OEIS : A034926 |
Существуют некоторые четные числа, которые являются гиперсовершенными для нечетных множителей, то есть k * (сумма нечетных множителей, кроме 1 и самого себя) + 1 = число. Например, первые 5 чисел включают 1300, 271872, 304640, 953344 и 1027584 для k = 3, 349, 353, 837 и 353. Все нечетные гиперсовершенные числа являются гиперсовершенными числами для нечетных множителей, поскольку у них есть только нечетные множители и нет четных множителей.
1300 имеет множители = 1, 2, 4, 5, 10, 13, 20, 25, 26, 50, 52, 65, 100, 130, 260, 325, 650, 1300
Имеет нечетные множители, кроме 1 и самого себя = 5, 13, 25, 65, 325
Сумма нечетных множителей, за исключением 1 и самого себя = 5 + 13 + 25 + 65 + 325 = 433
1300 - 1 = 1299 и 1299/433 = 3, целое число [ требуется ссылка ] [ требуется пояснение ]
Недавно введенное математическое понятие гипердефицита связано с гиперсовершенными числами .
Определение (Minoli 2010): Для любого целого числа n и для целого числа k > 0 определим k -гипердефицит (или просто гипердефицит) для числа n как
Число n называется k -гипердефицитным, если
Обратите внимание, что при k = 1 получаем что является стандартным традиционным определением дефицита .
Лемма: Число n является k -гиперсовершенным (включая k = 1 ) тогда и только тогда, когда k -гипердефицит числа n ,
Лемма: Число n является k -гиперсовершенным (включая k = 1 ) тогда и только тогда, когда для некоторого k , по крайней мере для одного j > 0 .