Совершенное число

Соверше́нное число́ (Шаблон:Lang-grc) — натуральное число, равное сумме всех своих собственных делителей (то есть всех положительных делителей, отличных от самого́ числа). Например, число 6 равно сумме своих собственных делителей Шаблон:Nobr. Это понятие было введено пифагорейцами в VI веке Шаблон:Донэ; согласно их нумерологической мистике, совпадение числа с суммой своих делителей свидетельствовало об особом совершенстве такого числа.

Если суммировать все делители числа (то есть добавить само число) $\sigma (N)-N=N$ или $\sigma (N)=2N,$ получим другое эквивалентное определение: Совершенные числа — это числа, у которых сумма всех делителей в 2 раза больше самого числа.

По мере того как натуральные числа возрастают, совершенные числа встречаются всё реже. Неизвестно, бесконечно ли множество всех совершенных чисел. Неизвестно также, есть ли среди них нечётные.

Первые совершенные числа:

1. Шаблон:Num1: $2^{2-1}(2^2-1)$ = 2 · 3,
2. Шаблон:Num1: $2^{3-1}(2^3-1)$ = 4 · 7,
3. Шаблон:Число: $2^{5-1}(2^5-1)$ = 16 · 31,
4. Шаблон:Число: $2^{7-1}(2^7-1)$ = 64 · 127,
5. Шаблон:Число: $2^{13-1}(2^{13}-1)$ = 4096 · 8191,
6. Шаблон:Число: $2^{17-1}(2^{17}-1)$ = Шаблон:Число · Шаблон:Число,
7. Шаблон:Число: $2^{19-1}(2^{19}-1)$ = Шаблон:Число · Шаблон:Число,
8. Шаблон:Число: $2^{31-1}(2^{31}-1)$ = 1 073 741 824 · 2 147 483 647,
9. Шаблон:Число: $2^{61-1}(2^{61}-1)$ = 1 152 921 504 606 846 976 · 2 305 843 009 213 693 951,
10. Шаблон:Число : $2^{89-1}(2^{89}-1)$ = 309 485 009 821 345 068 724 781 056 · 618 970 019 642 690 137 449 562 111,
11. 131 640 364 585 696 … 728 128: $2^{107-1}(2^{107}-1)$
12. 144 740 111 546 645 … 199 152 128: $2^{127-1}(2^{127}-1)$
13. 235 627 234 572 673 … 555 646 976: $2^{521-1}(2^{521}-1)$
14. 141 053 783 706 712 … 537 328 128: $2^{607-1}(2^{607}-1)$
15. 541 625 262 843 658 … 984 291 328: $2^{1279-1}(2^{1279}-1)$

…

Примеры

• 1-е совершенное число — 6 имеет следующие собственные делители: 1, 2, 3; их сумма равна 6.
• 2-е совершенное число — 28 имеет следующие собственные делители: 1, 2, 4, 7, 14; их сумма равна 28.
• 3-е совершенное число — 496 имеет следующие собственные делители: 1, 2, 4, 8, 16, 31, 62, 124, 248; их сумма равна 496.
• 4-е совершенное число — 8128 имеет следующие собственные делители: 1, 2, 4, 8, 16, 32, 64, 127, 254, 508, 1016, 2032, 4064; их сумма равна 8128.

История изучения

Чётные совершенные числа

Алгоритм построения чётных совершенных чисел описан в IX книге «Начал» Евклида, где было доказано, что число $2^{p-1}(2^p-1)$ является совершенным, если число $2^p-1$ является простым (т. н. простые числа Мерсенна). Впоследствии Леонард Эйлер доказал, что все чётные совершенные числа имеют вид, указанный Евклидом.

В античные времена были известны только первые четыре совершенных числа (соответствующие Шаблон:Math = 2, 3, 5 и 7), они приведены в «Арифметике» Никомаха Геразского.

Пятое, шестое и седьмое совершенные числа обнаружил в XIII веке арабский математик Шаблон:Нп5, однако в Европе эти числа оставались неизвестны ещё несколько сотен лет.

Пятое совершенное число Шаблон:Num, соответствующее Шаблон:Math = 13, нашёл в 1536 году голландский математик Худалрик Peгиус (Шаблон:Lang-la) в трактате «Utriusque Arithmetices» (1536 год). Позднее это число было также обнаружено историками в неопубликованной рукописи Региомонтана 1461 года.

В 1603 году итальянский математик Катальди обнаружил и опубликовал шестое и седьмое совершенные числа: Шаблон:Num и Шаблон:Num. Они соответствуют Шаблон:Math = 17 и Шаблон:Math = 19. Заодно он опроверг гипотезу Никомаха, согласно которой в последних цифрах членов последовательности совершенных чисел чередуются цифры 6 и 8.

Восьмое совершенное число $2^{31-1}(2^{31}-1)$ в 1772 году открыл Леонард Эйлер, а также доказал, что любое чётное совершенное число должно иметь вид $2^{n-1}(2^n-1)$, причём $2^n-1$ должно быть простым.

Девятое совершенное число $2^{61-1}(2^{61}-1)$ в 1883 году открыл Иван Михеевич Первушин — священник Русской православной церкви из Шадринского уезда Пермской губернии.

В начале XX века были найдены ещё три совершенных числа (для Шаблон:Math = 89, 107 и 127). В дальнейшем поиск затормозился вплоть до середины XX века, когда с появлением компьютеров стали возможными вычисления, превосходящие человеческие возможности.

На 2024 год известно 52 совершенных числа, вытекающих из простых чисел Мерсенна, поиском которых занимается проект добровольных вычислений GIMPS.

52-е совершенное число обнаружил 36-летний Люк Дюрант из Калифорнии, США. Оно равно $2^{136279841-1}(2^{136279841}-1)$.

Нечётные совершенные числа

Нечётных совершенных чисел до сих пор не обнаружено, однако не доказано и то, что их не существует. Неизвестно также, конечно ли множество нечётных совершенных чисел, если они существуют.

Доказано, что нечётное совершенное число, если оно существует, превышает 10²²⁰⁰; при этом число простых делителей такого числа с учётом кратности не меньше 101. Поиском нечётных совершенных чисел занимается проект добровольных вычислений OddPerfect.org.

Свойства

Все чётные совершенные числа (кроме 6) являются суммой кубов последовательных нечётных натуральных чисел:

$1^3+3^3+5^3+\dots +(2n-1{)}^3=n^2(2n^2-1)$.

Все чётные совершенные числа являются треугольными и одновременно шестиугольными числами, то есть могут быть представлены в виде $n(2n-1)$ для некоторого натурального числа $n$.

Сумма всех чисел, обратных делителям совершенного числа (включая само число), равна 2. Это прямое следствие определения и того факта, что сумма делителей при делении на само число дает сумму чисел, обратных делителям.

Все совершенные числа являются числами Оре.

Все чётные совершенные числа, кроме 6 и 496, заканчиваются в десятичной записи на 16, 28, 36, 56 или 76.

Если сложить все цифры чётного совершенного числа (кроме 6), затем сложить все цифры полученного числа и так повторять, пока не получится однозначное число, то это число будет равно 1 Шаблон:S Эквивалентная формулировка: остаток от деления чётного совершенного числа, отличного от 6, на 9 равен 1.

Благодаря своей форме $2^{p-1}(2^p-1)$ каждое чётное совершенное число представлено в двоичной форме в виде последовательности $p$ единиц, за которыми следует $p-1$ нолей, например: $6_{10}=110_2,28_{10}=11100_2,496_{10}=111110000_2,8128_{10}=1111111000000_2$ (Шаблон:OEIS).

В религии

Особенный («совершенный») характер чисел 6 и 28 был признан в культурах, имеющих основание в авраамических религиях, утверждающих, что Бог сотворил мир за 6 дней и обративших внимание на то, что Луна совершает оборот вокруг Земли примерно за 28 дней.

Джеймс Эшельман в книге «Еврейские иерархические имена Брии» пишет, что в соответствии с гематрией: Шаблон:Начало цитаты Не менее важна идея, выраженная числом 496. Это «теософское расширение» числа 31 (то есть сумма всех целых чисел от 1 до 31). Помимо всего прочего, это сумма слова малхут (царство). Таким образом, Царство, полное проявление первичной идеи Бога, предстает в гематрии как естественное дополнение или проявление числа 31, которое является числом имени 78. Шаблон:Конец цитаты

Шаблон:Начало цитаты «Левиафан» (букв. «извивающийся») — один из четырёх Князей Тьмы, воплощённый в форме змея. Поэтому удерживать Левиафана — значит контролировать энергии Нефеш, ассоциируемые со сфирой йесод. Во-вторых, «змей изгибающийся» может означать и «свернувшийся кольцами змей», то есть Кундалини. В-третьих, гематрия слова «Левиафан» — 496, так же как и слова «Малхут» (Царство); представление о том, что архангел Йесод сдерживает природу Малхут, даёт богатую пищу для размышлений. В-четвёртых, число 496 — это сумма чисел от 1 до 31, то есть полное расширение, или проявление, имени «Эль», божественного имени трёх высших сфирот в Брии (в том числе и сфиры Кетер, ангелом которой является Йехоэль). Шаблон:Конец цитаты

В Евангелии от Иоанна число 496 связывает воедино Пролог и Эпилог. В Прологе 496 слогов, а в Эпилоге (более пространном) 496 слов.

В сочинении «О граде Божьем» святой Августин писал: Шаблон:Начало цитаты Число 6 совершенно само по себе, а не потому, что Господь сотворил всё сущее за 6 дней; скорее наоборот, Бог сотворил всё сущее за 6 дней потому, что это число совершенно. И оно оставалось бы совершенным, даже если бы не было сотворения за 6 дней. Шаблон:Конец цитаты

Вариации и обобщения

Античные математики различали три типа натуральных чисел, в зависимости от суммы их собственных делителей:

• избыточные числа, для которых сумма собственных делителей больше, чем само число;
• недостаточные числа, для которых сумма собственных делителей меньше, чем само число;
• совершенные числа, для которых сумма собственных делителей равна самому числу.

Современные исследования показали, что наиболее распространены недостаточные числа, их примерно 75 %. Избыточных чисел немногим менее 25 %. Доля совершенных чисел на интервале от 1 до $N$ с ростом $N$ стремится к нулю.

Натуральное число, сумма всех делителей которого кратна самому числу, называется Шаблон:Iw.

Ссылки

• Шаблон:Статья
• Шаблон:Cite web