В математике кратно совершенное число ( также называемое мультисовершенным числом или плюсквамперфектным числом ) является обобщением совершенного числа .
Для данного натурального числа k число n называется k -совершенным (или k -кратно совершенным), если сумма всех положительных делителей n ( функция делителей , σ ( n )) равна kn ; таким образом, число является совершенным тогда и только тогда, когда оно является 2-совершенным . Число, которое является k -совершенным для определенного k, называется кратно совершенным числом. По состоянию на 2014 год известны k -совершенные числа для каждого значения k до 11. [1]
Неизвестно, существуют ли какие-либо нечетные кратно совершенные числа, отличные от 1. Первые несколько кратно совершенных чисел:
Сумма делителей числа 120 равна
что равно 3 × 120. Следовательно, 120 — это 3-совершенное число.
В следующей таблице представлен обзор наименьших известных k -совершенных чисел для k ≤ 11 (последовательность A007539 в OEIS ):
к | Наименьшее k -совершенное число | Факторы | Найдено |
---|---|---|---|
1 | 1 | древний | |
2 | 6 | 2 × 3 | древний |
3 | 120 | 2 3 × 3 × 5 | древний |
4 | 30240 | 2 5 × 3 3 × 5 × 7 | Рене Декарт , около 1638 г. |
5 | 14182439040 | 2 7 × 3 4 × 5 × 7 × 11 2 × 17 × 19 | Рене Декарт, около 1638 г. |
6 | 154345556085770649600 (21 цифра) | 2 15 × 3 5 × 5 2 × 7 2 × 11 × 13 × 17 × 19 × 31 × 43 × 257 | Роберт Дэниел Кармайкл , 1907 г. |
7 | 141310897947438348259849...523264343544818565120000 (57 цифр) | 2 32 × 3 11 × 5 4 × 7 5 × 11 2 × 13 2 × 17 × 19 3 × 23 × 31 × 37 × 43 × 61 × 71 × 73 × 89 × 181 × 2141 × 599479 | Т. Э. Мейсон, 1911 г. |
8 | 826809968707776137289924...057256213348352000000000 (133 цифры) | 2 62 × 3 15 × 5 9 × 7 7 × 11 3 × 13 3 × 17 2 × 19 × 23 × 29 × 31 2 × 37 × 41 × 43 × 53 × 61 2 × 71 2 × 73 × 83 × 89 × 97 2 × 127 × 193 × 283 × 307 × 317 × 331 × 337 × 487 × 521 2 × 601 × 1201 × 1279 × 2557 × 3169 × 5113 × 92737 × 649657 | Стивен Ф. Греттон, 1990 [1] |
9 | 561308081837371589999987...415685343739904000000000 (287 цифр) | 2 104 × 3 43 × 5 9 × 7 12 × 11 6 × 13 4 × 17 × 19 4 × 23 2 × 29 × 31 4 × 37 3 × 41 2 × 43 2 × 47 2 × 53 × 59 × 61 × 67 × 71 3 × 73 × 79 2 × 83 × 89 × 97 × 103 2 × 107 × 127 × 131 2 × 137 2 × 151 2 × 191 × 211 × 241 × 331 × 337 × 431 × 521 × 547 × 631 × 661 × 683 × 709 × 911 × 1093 × 1301 × 1723 × 2521 × 3067 × 3571 × 3851 × 5501 × 6829 × 6911 × 8647 × 17293 × 17351 × 29191 × 30941 × 45319 × 106681 × 110563 × 122921 × 152041 × 570461 × 16148168401 | Фред Хелениус, 1995 [1] |
10 | 448565429898310924320164...00000000000000000000000000 (639 цифр) | 2 175 × 3 69 × 5 29 × 7 18 × 11 19 × 13 8 × 17 9 × 19 7 × 23 9 × 29 3 × 31 8 × 37 2 × 41 4 × 43 4 × 47 4 × 53 3 × 59 × 61 5 × 67 4 × 71 4 × 73 2 × 79 × 83 × 89 × 97 × 101 3 × 103 2 × 107 2 × 109 × 113 × 127 2 × 131 2 × 139 × 149 × 151 × 163 × 179 × 181 2 × 191 × 197 × 199 × 211 3 × 223 × 239 × 257 × 271 × 281 × 307 × 331 × 337 × 353 2 × 367 × 373 × 397 × 419 × 421 × 521 × 523 × 547 2 × 613 × 683 × 761 × 827 × 971 × 991 × 1093 × 1741 × 1801 × 2113 × 2221 × 2237 × 2437 × 2551 × 2851 × 3221 × 3571 × 3637 × 3833 × 4339 × 5101 × 5419 × 6577 × 6709 × 7621 × 7699 × 8 269 × 8647 × 11093 × 13421 × 13441 × 14621 × 17293 × 26417 × 26881 × 31723 × 44371 × 81343 × 88741 × 114577 × 160967 × 189799 × 229153 × 292561 × 579281 × 581173 × 583367 × 1609669 × 3500201 × 119782433 × 2 12601841 × 2664097031 × 2931542417 × 43872038849 × 374857981681 × 4534166740403 | Джордж Уолтман , 2013 [1] |
11 | 251850413483992918774837...00000000000000000000000000 (1907 цифр) | 2 468 × 3 140 × 5 66 × 7 49 × 11 40 × 13 31 × 17 11 × 19 12 × 23 9 × 29 7 × 31 11 × 37 8 × 41 5 × 43 3 × 47 3 × 53 4 × 59 3 × 61 2 × 67 4 × 71 4 × 73 3 × 79 × 83 2 × 89 × 97 4 × 101 4 × 103 3 × 109 3 × 113 2 × 127 3 × 131 3 × 137 2 × 139 2 × 149 2 × 151 × 157 2 × 163 × 167 × 173 × 181 × 191 × 193 2 × 197 × 199 × 211 3 × 223 × 227 × 229 2 × 239 × 251 × 257 × 263 × 269 3 × 271 × 281 2 × 293 × 307 3 × 313 × 317 × 331 × 347 × 349 × 367 × 373 × 397 × 401 × 419 × 421 × 431 × 443 2 × 449 × 457 × 461 × 467 × 491 × 499 2× 541 × 547 × 569 × 571 × 599 × 607 × 613 × 647 × 691 × 701 × 719 × 727 × 761 × 827 × 853 × 937 × 967 × 991 × 997 × 1013 × 1061 × 1087 × 1171 × 12 13 × 1223 × 1231 × 1279 × 1381 × 1399 × 1433 × 1609 × 1613 × 1619 × 1723 × 1741 × 1783 × 1873 × 1933 × 1979 × 2081 × 2089 × 2221 × 2357 × 2551 × 2657 × 2671 × 2749 × 2791 × 2801 × 2803 × 3331 × 3433 × 40 51 × 4177 × 4231 × 5581 × 5653 × 5839 × 6661 × 7237 × 7699 × 8081 × 8101 × 8269 × 8581 × 8941 × 10501 × 11833 × 12583 × 12941 × 13441 × 14281 × 15053 × 17929 × 19181 × 20809 × 21997 × 23063 × 23971 × 26399 × 26881 × 27061 × 28099 × 29251 × 32051 × 32059 × 32323 × 33347 × 33637 × 36373 × 38197 × 41617 × 51853 × 62011 × 67927 × 73547 × 77081 × 83233 × 92251 × 93253 × 124021 × 133387 × 141311 × 175433 × 248041 × 256471 × 2623 21 × 292561 × 338753 × 353641 × 441281 × 449653 × 509221 × 511801 × 540079 × 639083 × 696607 × 746023 × 922561 × 1095551 × 1401943 × 1412753 × 1428127 × 1984327 × 2556331 × 5112661 × 5714803 × 7450297 × 8334721 × 10715147 × 14091139 × 14092193 × 18739907 × 19270249 × 29866451 × 96656723 × 133338869 × 193707721 × 283763713 × 407865361 × 700116563 × 795217607 × 3035864933 × 3336809191 × 35061928679 × 143881112839 × 161969595577 × 2 87762225677 × 761838257287 × 840139875599 × 2031161085853 × 2454335007529 × 2765759031089 × 31280679788951 × 75364676329903 × 901563572369231 × 2169378653672701 × 4764764439424783 × 70321958644800017 × 79787519018560501 × 702022478271339803 × 1839633098314450447 × 165301473942399079669 × 604088623657497125653141 × 160014034995323841360748039 × 25922273669242462300441182317 × 15428152323948966909689390436420781 × 4203912947972759518621323 67930818883361 × 23735410086474640244277823338130677687887 × 628683935022908831926019116410056880219316806841500141982334538232031397827230330241 | Джордж Уолтман, 2001 [1] |
Можно доказать , что:
Неизвестно, существуют ли нечетные кратно совершенные числа, отличные от 1. Однако если существует нечетное k -совершенное число n , где k > 2, то оно должно удовлетворять следующим условиям: [2]
В нотации с маленькой буквой «о» число кратно совершенных чисел, меньших x , равно для всех ε > 0. [2]
Число k -совершенных чисел n для n ≤ x меньше, чем , где c и c' — константы, не зависящие от k . [2]
При предположении гипотезы Римана для всех k -совершенных чисел n , где k > 3, справедливо следующее неравенство :
где — постоянная Эйлера . Это можно доказать с помощью теоремы Робина .
Число делителей τ( n ) k -совершенного числа n удовлетворяет неравенству [3]
Число различных простых множителей ω( n ) числа n удовлетворяет [4]
Если различные простые множители числа n равны , то: [4]
Число n с σ( n ) = 2 n является совершенным .
Число n с σ( n ) = 3 n является триперфектным . Существует всего шесть известных триперфектных чисел, и считается, что они включают в себя все такие числа:
Если существует нечетное совершенное число m (знаменитая открытая проблема ), то 2 m будет 3-совершенным , поскольку σ(2 m ) = σ(2) σ( m ) = 3×2 m . Нечетное триперфектное число должно быть квадратом, превышающим 10 70 , и иметь не менее 12 различных простых множителей, наибольший из которых превышает 10 5 . [5]
Аналогичное расширение можно сделать для унитарных совершенных чисел . Положительное целое число n называется унитарным мульти k - совершенным числом , если σ * ( n ) = kn , где σ * ( n ) - сумма его унитарных делителей . (Делитель d числа n является унитарным делителем, если d и n/d не имеют общих множителей .).
Унитарное кратно совершенное число — это просто унитарное мульти k -совершенное число для некоторого положительного целого числа k . Эквивалентно, унитарные кратно совершенные числа — это те n , для которых n делит σ * ( n ). Унитарное мульти 2-совершенное число естественным образом называется унитарным совершенным числом . В случае k > 2 пока не известно ни одного примера унитарного мульти k -совершенного числа. Известно, что если такое число существует, оно должно быть четным и больше 10 102 и должно иметь более сорока четырех нечетных простых множителей. Эту проблему, вероятно, очень трудно решить. Концепция унитарного делителя первоначально была предложена Р. Вайдьянатхасвами (1931), который назвал такой делитель блочным множителем. Настоящая терминология принадлежит Э. Коэну (1960).
Первые несколько унитарных кратно совершенных чисел:
Положительное целое число n называется биунитарным мульти k - совершенным числом , если σ ** ( n ) = kn , где σ ** ( n ) - сумма его биунитарных делителей . Эта концепция принадлежит Питеру Хагису (1987). Биунитарное кратно совершенное число - это просто биунитарное мульти k -совершенное число для некоторого положительного целого числа k . Эквивалентно, биунитарные кратно совершенные числа - это те n , для которых n делит σ ** ( n ). Биунитарное мульти 2-совершенное число естественным образом называется биунитарным совершенным числом , а биунитарное мульти 3-совершенное число называется биунитарным три-совершенным числом .
Делитель d положительного целого числа n называется биунитарным делителем n , если наибольший общий унитарный делитель (НОУД) d и n / d равен 1. Эта концепция принадлежит Д. Суринараяне (1972). Сумма (положительных) биунитарных делителей n обозначается σ ** ( n ).
Питер Хагис (1987) доказал, что не существует нечетных биунитарных мультисовершенных чисел, отличных от 1. Хаукканен и Ситарамайя (2020) нашли все биунитарные триперфектные числа вида 2 a u , где 1 ≤ a ≤ 6 и u нечетно, [6] [7] [8] и частично случай, когда a = 7. [9] [10] Кроме того, они полностью исправили случай a = 8. [11]
Первые несколько биунитарных кратно совершенных чисел: