Дружественные числа

Дру́жественные чи́сла — два различных натуральных числа, для которых сумма всех собственных делителей первого числа равна второму числу и наоборот, сумма всех собственных делителей второго числа равна первому числу. То есть, пару натуральных чисел $M,N$ называют дружественной, если:

m_{1}+m_{2}+\ldots +m_{k}=N,

n_{1}+n_{2}+\ldots +n_{l}=M,

где $m_{1},m_{2},...m_{k}$ — делители числа $M$ , $n_{1},n_{2},...n_{l}$ — делители числа $N$ .

Большой важности для теории чисел эти пары не представляют, но являются любопытным элементом занимательной математики.

Иногда частным случаем дружественных чисел считаются совершенные числа: каждое совершенное число дружественно себе.

Если учитывать все делители, получим: $\sigma (M)-M=N$ или $\sigma (M)=M+N=\sigma (N)$ другое определение дружественных чисел, эквивалентное данному. Два числа называются дружественной парой, если они имеют одинаковую сумму всех своих делителей, которая равна сумме этих чисел.

Аналогично, три числа образуют дружественную тройку, если они имеют одинаковую сумму всех своих делителей, которая равна сумме этих чисел. $\sigma (M)=\sigma (N)=\sigma (K)=M+N+K$ .

История

Дружественные числа были открыты последователями Пифагора; правда, им удалось найти только одну пару дружественных чисел — 220 и 284.

Список делителей для 220: 1, 2, 4, 5, 10, 11, 20, 22, 44, 55 и 110, — их сумма равна 284.
Список делителей для 284: 1, 2, 4, 71 и 142, — и сумма равна 220.

Примерно в 850 году арабский астроном и математик Сабит ибн Курра предложил формулу для нахождения некоторых пар дружественных чисел. Его формула позволила найти две новые пары дружественных чисел:

17 296 и 18 416;
9 363 584 и 9 437 056.

В XVIII веке Эйлер нашёл достаточный критерий построения пар дружественных чисел, и в его списке было уже 90 пар. Правда, этот критерий охватывает не все пары: например, пару (1184, 1210) Эйлер не заметил — её обнаружили уже в XIX веке. В XX веке компьютеры помогли найти десятки миллионов пар. Но эффективного общего способа нахождения всех таких пар нет до сих пор.

Первые пары

Пары дружественных чисел образуют последовательность A063990 в OEIS, причём числа, которые в своей дружественной паре паре являются меньшими, собраны в последовательность A002025, а бо́льшие - A002046. Суммы чисел в каждой паре образуют последовательность A180164. Примечательно, что все такие суммы, слагаемые где чётны, вплоть до $1362660800=2^{6}\cdot 5^{2}\cdot 31\cdot 83\cdot 331$ (сумма $666030256$ и $696630544$ ) делятся на $9$ . Суммы, не делящиеся на $9$ , находятся в A291550.

220 и 284 (Пифагор, около 500 до н. э.)
1184 и 1210 (Паганини, 1866)
2620 и 2924 (Эйлер, 1747)
5020 и 5564 (Эйлер, 1747)
6232 и 6368 (Эйлер, 1750)
10 744 и 10 856 (Эйлер, 1747)
12 285 и 14 595 (Браун, 1939)
17 296 и 18 416 (Ибн ал-Банна, около 1300; Фариси, около 1300; Ферма, 1636)
63 020 и 76 084 (Эйлер, 1747)
66 928 и 66 992 (Эйлер, 1750)
67 095 и 71 145 (Эйлер, 1747)
69 615 и 87 633 (Эйлер, 1747)
79 750 и 88 730 (Рольф (Rolf), 1964)
100 485 и 124 155
122 265 и 139 815
122 368 и 123 152
141 664 и 153 176
142 310 и 168 730
171 856 и 176 336
176 272 и 180 848
185 368 и 203 432
196 724 и 202 444
280 540 и 365 084
308 620 и 389 924
319 550 и 430 402
356 408 и 399 592
437 456 и 455 344
469 028 и 486 178
503 056 и 514 736
522 405 и 525 915
600 392 и 669 688
609 928 и 686 072
624 184 и 691 256
635 624 и 712 216
643 336 и 652 664
667 964 и 783 556
726 104 и 796 696
802 725 и 863 835
879 712 и 901 424
898 216 и 980 984
947 835 и 1 125 765
998 104 и 1 043 096
и т. д.

Способы построения

Формула Сабита ибн Курры

Если для натурального числа $n>1$ все три числа:

p=3\times 2^{n-1}-1

,

q=3\times 2^{n}-1

,

r=9\times 2^{2n-1}-1

,

являются простыми, то числа $2^{n}pq$ и $2^{n}r$ образуют пару дружественных чисел.

Эта формула даёт пары (220, 284), (17 296, 18 416) и (9 363 584, 9 437 056) соответственно для $n=2,\;4,\;7$ , но больше никаких пар дружественных чисел, которые могли бы быть получены по этой формуле для $n<20~000,$ не существует.

Метод Вальтера Боро

Если для пары дружественных чисел вида $A=au$ и $B=as$ числа $s$ и $p=u+s+1$ являются простыми, причём $a$ не делится на $p$ , то при всех натуральных $n$ , при которых оба числа $q_{1}=(u+1)p^{n+1}-1$ и $q_{2}=(u+1)(s+1)p^{n}-1$ просты, числа $B_{1}=Ap^{n}q_{1}$ и $B_{2}=ap^{n}q_{2}$ — дружественные.

Открытые проблемы

Неизвестно, конечно ли или бесконечно количество пар дружественных чисел. На апрель 2016 года известно более 1 000 000 000 пар дружественных чисел[1]. Все они состоят из чисел одинаковой чётности.

Неизвестно, существует ли чётно-нечётная пара дружественных чисел.

Также неизвестно, существуют ли взаимно простые дружественные числа, но если такая пара дружественных чисел существует, то их произведение должно быть больше 10⁶⁷.

Интересные факты

Пару дружественных чисел 1184 и 1210 обнаружил в 1866 г. итальянский школьник — Никколо Паганини — полный тёзка известного виртуоза и композитора. Любопытно, что эту пару не обнаружили другие великие математики.

Сначала количество известных дружественных чисел с n знаками преимущественно растёт, достигая максимума при n = 111 (известно 19 790 790 пар дружественных чисел с 111 десятичными цифрами), но далее преимущественно падает, достигая нуля при n = 917(нет известных 917-значных пар дружественных чисел). Здесь под количеством цифр пары понимается количество цифр меньшего из чисел пары.

Проект BOINC

30 января 2017 года запущен проект распределённых вычислений на платформе BOINC — Amicable Numbers[2]. Поиск дружественных чисел осуществляется как с помощью расчётов на процессоре так и на видеокарте.

См. также

Примечания

Sergei Chernykh Amicable Pairs list
Публичный запуск 30 января 2017

Ссылки

M. García, J. M. Pedersen, H. J. J. te Riele. Amicable pairs, a survey (неопр.) // Report MAS-R0307. — 2003. Архивировано 29 ноября 2006 года. Архивная копия от 29 ноября 2006 на Wayback Machine
Weisstein, Eric W. Amicable Pair (англ.) на сайте Wolfram MathWorld.
Weisstein, Eric W. Thâbit ibn Kurrah Rule (англ.) на сайте Wolfram MathWorld.
Weisstein, Eric W. Euler's Rule (англ.) на сайте Wolfram MathWorld.
Amicable Numbers — BOINC проект по поиску дружественных чисел.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Sergei Chernykh Amicable Pairs list

[2] Публичный запуск 30 января 2017

Числа по характеристикам делимости
Общие сведения	Факторизация целых чисел Делимость Унитарный делитель Функция делителей Простое число Основная теорема арифметики Арифметическое число
Факторизационные формы	Простое число Составное число Полупростое число Прямоугольное число Сфеническое число Бесквадратное число Полнократное число Совершенная степень Ахиллесово число Гладкое число Регулярное число Грубое число Необычное число
С ограниченными делителями	Совершенное число Слегка недостаточные числа Слегка избыточные числа Мультисовершенное число Гемисовершенные числа Гиперсовершенное число Суперсовершенное число Унитарное простое Полусовершенное число Параритмическое число Число Эрдёша-Николя
Числа с многими делителями	Избыточные числа Примитивные избыточные числа Высокоизбыточные числа Суперизбыточные числа Колоссально избыточные числа Сверхсоставное число Весьма суперсоставное число Странное число
Связанные с аликвотными последовательностями	Неприкосновенное число Дружественные числа Общественные числа Квазидружественные числа
Другое	Недостаточные числа Приятельские числа Сублимированные числа Числа Оре Скромное число Равноцифровые числа Экстравагантное число