Русская Википедия:Сверхсоставное число
Сверхсоставное число — натуральное число с бо́льшим числом делителей, чем любое меньшее натуральное число.
История
Термин был предложен Рамануджаном в 1915 году. Однако Шаблон:Iw рассматривал их раньше, и, возможно, они были известны уже Платону, который описал число 5040 как идеальное количество граждан города, так как 5040 имеет больше делителей, чем любое меньшее число.[1]
Примеры
В таблице представлены первые 38 сверхсоставных числа (Шаблон:OEIS).
номер | Сверхсоставное | разложение на простые |
число делителей |
разложение на |
---|---|---|---|---|
1 | 1 | 1 | ||
2 | 2 | <math>2</math> | 2 | <math>2</math> |
3 | 4 | <math>2^2</math> | 3 | <math>2^2</math> |
4 | 6 | <math>2\cdot 3</math> | 4 | <math>6</math> |
5 | 12 | <math>2^2\cdot 3</math> | 6 | <math>2\cdot 6</math> |
6 | 24 | <math>2^3\cdot 3</math> | 8 | <math>2^2\cdot 6</math> |
7 | 36 | <math>2^2\cdot 3^2</math> | 9 | <math>6^2</math> |
8 | 48 | <math>2^4\cdot 3</math> | 10 | <math>2^3\cdot 6</math> |
9 | 60 | <math>2^2\cdot 3\cdot 5</math> | 12 | <math>2\cdot 30</math> |
10 | 120 | <math>2^3\cdot 3\cdot 5</math> | 16 | <math>2^2\cdot 30</math> |
11 | 180 | <math>2^2\cdot 3^2\cdot 5</math> | 18 | <math>6\cdot 30</math> |
12 | 240 | <math>2^4\cdot 3\cdot 5</math> | 20 | <math>2^3\cdot 30</math> |
13 | 360 | <math>2^3\cdot 3^2\cdot 5</math> | 24 | <math>2\cdot 6\cdot 30</math> |
14 | 720 | <math>2^4\cdot 3^2\cdot 5</math> | 30 | <math>2^2\cdot 6\cdot 30</math> |
15 | 840 | <math>2^3\cdot 3\cdot 5\cdot 7</math> | 32 | <math>2^2\cdot 210</math> |
16 | 1260 | <math>2^2\cdot 3^2\cdot 5\cdot 7</math> | 36 | <math>6\cdot 210</math> |
17 | 1680 | <math>2^4\cdot 3\cdot 5\cdot 7</math> | 40 | <math>2^3\cdot 210</math> |
18 | 2520 | <math>2^3\cdot 3^2\cdot 5\cdot 7</math> | 48 | <math>2\cdot 6\cdot 210</math> |
19 | 5040 | <math>2^4\cdot 3^2\cdot 5\cdot 7</math> | 60 | <math>2^2\cdot 6\cdot 210</math> |
20 | 7560 | <math>2^3\cdot 3^3\cdot 5\cdot 7</math> | 64 | <math>6^2\cdot 210</math> |
21 | 10080 | <math>2^5\cdot 3^2\cdot 5\cdot 7</math> | 72 | <math>2^3\cdot 6\cdot 210</math> |
22 | 15120 | <math>2^4\cdot 3^3\cdot 5\cdot 7</math> | 80 | <math>2\cdot 6^2\cdot 210</math> |
23 | 20160 | <math>2^6\cdot 3^2\cdot 5\cdot 7</math> | 84 | <math>2^4\cdot 6\cdot 210</math> |
24 | 25200 | <math>2^4\cdot 3^2\cdot 5^2\cdot 7</math> | 90 | <math>2^2\cdot 30\cdot 210</math> |
25 | 27720 | <math>2^3\cdot 3^2\cdot 5\cdot 7\cdot 11</math> | 96 | <math>2\cdot 6\cdot 2310</math> |
26 | 45360 | <math>2^4\cdot 3^4\cdot 5\cdot 7</math> | 100 | <math>6^3\cdot 210</math> |
27 | 50400 | <math>2^5\cdot 3^2\cdot 5^2\cdot 7</math> | 108 | <math>2^3\cdot 30\cdot 210</math> |
28 | 55440 | <math>2^4\cdot 3^2\cdot 5\cdot 7\cdot 11</math> | 120 | <math>2^2\cdot 6\cdot 2310</math> |
29 | 83160 | <math>2^3\cdot 3^3\cdot 5\cdot 7\cdot 11</math> | 128 | <math>6^2\cdot 2310</math> |
30 | 110880 | <math>2^5\cdot 3^2\cdot 5\cdot 7\cdot 11</math> | 144 | <math>2^3\cdot 6\cdot 2310</math> |
31 | 166320 | <math>2^4\cdot 3^3\cdot 5\cdot 7\cdot 11</math> | 160 | <math>2\cdot 6^2\cdot 2310</math> |
32 | 221760 | <math>2^6\cdot 3^2\cdot 5\cdot 7\cdot 11</math> | 168 | <math>2^4\cdot 6\cdot 2310</math> |
33 | 277200 | <math>2^4\cdot 3^2\cdot 5^2\cdot 7\cdot 11</math> | 180 | <math>2^2\cdot 30\cdot 2310</math> |
34 | 332640 | <math>2^5\cdot 3^3\cdot 5\cdot 7\cdot 11</math> | 192 | <math>2^2\cdot 6^2\cdot 2310</math> |
35 | 498960 | <math>2^4\cdot 3^4\cdot 5\cdot 7\cdot 11</math> | 200 | <math>6^3\cdot 2310</math> |
36 | 554400 | <math>2^5\cdot 3^2\cdot 5^2\cdot 7\cdot 11</math> | 216 | <math>2^3\cdot 30\cdot 2310</math> |
37 | 665280 | <math>2^6\cdot 3^3\cdot 5\cdot 7\cdot 11</math> | 224 | <math>2^3\cdot 6^2\cdot 2310</math> |
38 | 720720 | <math>2^4\cdot 3^2\cdot 5\cdot 7\cdot 11\cdot 13</math> | 240 | <math>2^2\cdot 6\cdot 30030</math> |
Разложение на простые
В разложении сверхсоставных чисел участвуют самые маленькие простые множители, и при этом не слишком много одних и тех же.
По основной теореме арифметики каждое натуральное число <math>n</math> имеет единственное разложение на простые:
- <math>n = p_1^{c_1} \times p_2^{c_2} \times \cdots \times p_k^{c_k}\qquad (1)</math>
где <math>p_1 < p_2 < \cdots < p_k</math> простые, и степени <math>c_i</math> положительные целые числа. Число делителей <math>d(n)</math> числа <math>n</math> можно выразить следующим образом:
- <math>d(n) = (c_1 + 1) \times (c_2 + 1) \times \cdots \times (c_k + 1).\qquad (2)</math>
Таким образом, для сверхсоставного числа <math>n</math> выполняется следующее
- Числа <math>p_1, p_2, \dots, p_k</math> являются первыми <math>k</math> простыми числами.
- Последовательность степеней должна быть невозрастающей, то есть <math>c_1 \geq c_2 \geq \cdots \geq c_k</math>.
- Это свойство равносильно тому, что сверхсоставное число является произведением праймориалов.
- За исключением двух особых случаев n = 4 И N = 36, последняя степень <math>c_k</math> равна единице.
В частности 1, 4 и 36 являются единственными сверхсоставными квадратами.
Хотя описанные выше условия являются необходимыми, они не являются достаточными. Например, 96 = 25 × 3 удовлетворяет всем вышеперечисленным условиям и имеет 12 делителей, но не является сверхсоставным, поскольку существует меньшее число 60, которое имеет то же число делителей.
Асимптотический рост и плотность
Существуют постоянные a и b, обе больше чем 1, такие, что
- <math>\ln(x)^a \le Q(x) \le \ln(x)^b,</math>
Где <math>Q(x)</math> обозначает число сверхсоставных чисел меньше либо равных <math>x</math>.
Первая часть неравенства была доказана Палом Эрдёшем в 1944 году; вторую доказал Шаблон:Iw в 1988 году.
Известно также, что
- <math>1{,}13862 < \liminf \frac{\log Q(x)}{\log\log x} \le 1{,}44</math>
и
- <math>\limsup \frac{\log Q(x)}{\log\log x} \le 1{,}71.</math>
Свойства
- Все сверхсоставные числа, большие 6, являются избыточными.
- Не все сверхсоставные числа являются числами харшад по основанию 10;
- первый контрпример это Шаблон:Num, это число имеет сумму цифр 27, но на 27 не делится.
См. также
Примечания
Литература
- Шаблон:Статья (online Шаблон:Wayback)
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья Annotated and with a foreword by Jean-Louis Nicolas and Guy Robin.
- Шаблон:Книга
Ссылки
- Алгоритм вычисления высшей степени составных чисел
- Первые 10000 высшей степени составных чисел в качестве факторов
- Flammenkamp ахим, первый 779674 ГКН с Сигма,Тау, факторы
- Онлайн Сильно Составные Числа Калькулятор
Шаблон:Числа по характеристикам делимости