Компанейские числа
Компанейские числа — это числа, чьи аликвотные суммы формируют циклические последовательности, которые начинаются и заканчиваются одним и тем же числом. Являются обобщением совершенных чисел и дружественных чисел. Первые две компанейские последовательности или компанейские цепи были обнаружены и названы бельгийским математиком Полом Пуле в 1918 году. В компанейской последовательности каждое число является суммой собственных делителей предыдущего числа, то есть эта сумма исключает само предыдущее число.
Период последовательности или порядок множества компанейских чисел(также каждого числа из этого множества) — это количество чисел в этом цикле.
Если период последовательности равен 1, то число является компанейским числом порядка 1 или совершенным числом, например, собственные делители 6 равны 1, 2 и 3, их сумма равна 6. Пара дружественных чисел — это множество компанейских чисел порядка 2, состоящее, соответственно из двух элементов. Нет известных компанейских чисел порядка 3.
У всех ли чисел аликвотные последовательности рано или поздно замыкаются на компанейском числе конечного порядка, либо попадают на простое (и, следовательно, замыкаются на 1), или, что то же самое, существуют ли числа, аликвотная последовательность которых никогда не заканчивается и, следовательно, растет неограниченно, — это открытый вопрос математики.
Пример
Пример с периодом 4:
- Сумма собственных делителей [math]\displaystyle{ 1264460 }[/math] ([math]\displaystyle{ =2^2\cdot5\cdot17\cdot3719 }[/math]) это:
- 1 + 2 + 4 + 5 + 10 + 17 + 20 + 34 + 68 + 85 + 170 + 340 + 3719 + 7438 + 14876 + 18595 + 37190 + 63223 + 74380 + 126446 + 252892 + 316115 + 632230 = 1547860
- Сумма собственных делителей [math]\displaystyle{ 1547860 }[/math] ([math]\displaystyle{ =2^2\cdot5\cdot193\cdot401 }[/math]) это:
- 1 + 2 + 4 + 5 + 10 + 20 + 193 + 386 + 401 + 772 + 802 + 965 + 1604 + 1930 + 2005 + 3860 + 4010 + 8020 + 77393 + 154786 + 309572 + 386965 + 773930 = 1727636
- Сумма собственных делителей [math]\displaystyle{ 1727636 }[/math] ([math]\displaystyle{ =2^2\cdot521\cdot829 }[/math]) это:
- 1 + 2 + 4 + 521 + 829 + 1042 + 1658 + 2084 + 3316 + 431909 + 863818 = 1305184
- Сумма собственных делителей [math]\displaystyle{ 1305184 }[/math] ([math]\displaystyle{ =2^5\cdot40787 }[/math]) это:
- 1 + 2 + 4 + 8 + 16 + 32 + 40787 + 81574 + 163148 + 326296 + 652592 = 1264460.
- Таким образом аликвотная последовательность числа 1264460 — это 1547860, 1727636, 1305184, 1264460, 1547860…
Количества циклов из известных компанейских чисел
Классификация всех известных компанейских чисел по состоянию на 2022 год по длине соответствующей аликвотной последовательности:
| Длина последовательности | Количество последовательностей |
|---|---|
| 1 | 51[1] |
| 2 | 1 227 816 395[2] |
| 4 | 5398 |
| 5 | 1 (порождается числом 12496[3]) |
| 6 | 5 |
| 8 | 4 |
| 9 | 1 (порождается числом 805984760) |
| 28 | 1 (порождается числом 14316[3]) |
Единственный известный цикл длины 5: 12496, 14288, 15472, 14536, 14264.
Поиск компанейских чисел с помощью теории графов
Аликвотная последовательность может быть представлена в виде ориентированного графа [math]\displaystyle{ G_{n,s} }[/math], для заданного [math]\displaystyle{ n }[/math], где [math]\displaystyle{ s(k) }[/math] — сумма собственных делителей [math]\displaystyle{ k }[/math].[4] Цикл в [math]\displaystyle{ G_{n,s} }[/math] представляет собой компанейские числа в интервале [math]\displaystyle{ [1,n] }[/math]. Два особых случая — это петли, представляющие собой совершенные числа и циклы длиной два, представляющие дружественные пары.
Примечания
- ↑ Числа Мерсенна Архивная копия от 7 июня 2020 на Wayback Machine // GIMPS
- ↑ Sergei Chernykh Amicable pairs list Архивная копия от 16 августа 2017 на Wayback Machine
- ↑ 3,0 3,1 Richard K. Guy and J. L. Selfridge. What Drives an Aliquot Sequence? (англ.) // Mathematics of Computation[англ.] : journal. — 1975. — Vol. 29, no. 129. — P. 101—107.
- ↑ Rocha, Rodrigo Caetano & Thatte, Bhalchandra (2015), Distributed cycle detection in large-scale sparse graphs, Simpósio Brasileiro de Pesquisa Operacional (SBPO), <http://dx.doi.org/10.13140/RG.2.1.1233.8640>
- P. Poulet, #4865, L'Intermédiaire des Mathématiciens 25 (1918), pp. 100—101.
- H. Cohen, On amicable and sociable numbers, Math. Comp. 24 (1970), pp. 423—429
Литература
- R. K. Guy, Unsolved Problems Number Theory, B7.
- P. Poulet, Parfaits, amiables et extensions, Editions Stevens, Bruxelles, 1918.
- D. Wells, The Penguin Dictionary of Curious and Interesting Numbers, pp. 174 Penguin Books 1987.
Ссылки
- Список известных компанейских чисел
- Обширные таблицы совершенных, дружественных и компанейских чисел
- Weisstein, Eric W. Sociable numbers (англ.) на сайте Wolfram MathWorld.
- A003416 (наименьшие компанейские числа для каждого цикла) and A122726 (all sociable numbers) in OEIS
