Русская Википедия:Совершенное число
Соверше́нное число́ (Шаблон:Lang-grc) — натуральное число, равное сумме всех своих собственных делителей (то есть всех положительных делителей, отличных от самого́ числа). Например, число 6 равно сумме своих собственных делителей 1 + 2 + 3. Это понятие было введено пифагорейцами в VI веке Шаблон:Донэ; согласно их нумерологической мистике, совпадение числа с суммой своих делителей свидетельствовало об особом совершенстве такого числа[1].
Если суммировать все делители числа (то есть добавить само число) <math> \sigma(N) - N = N</math> или <math> \sigma(N) = 2N,</math> получим другое эквивалентное определение: Совершенные числа — это числа, у которых сумма всех делителей в 2 раза больше самого числа.
По мере того как натуральные числа возрастают, совершенные числа встречаются всё реже. Неизвестно, бесконечно ли множество всех совершенных чисел. Неизвестно также, есть ли среди них нечётные.
Совершенные числа образуют Шаблон:OEIS:
- Шаблон:Num1: <math>\ 2^{2-1}(2^2-1)</math> = 2 • 3,
- Шаблон:Num1: <math>\ 2^{3-1}(2^3-1)</math> = 4 • 7,
- Шаблон:Num1: <math>\ 2^{5-1}(2^5-1)</math> = 16 • 31,
- Шаблон:Num1: <math>\ 2^{7-1}(2^7-1)</math> = 64 • 127,
- Шаблон:Num1: <math>\ 2^{13-1}(2^{13}-1)</math> = 4096 • 8191,
- Шаблон:Num1: <math>\ 2^{17-1}(2^{17}-1)</math> = Шаблон:Число • Шаблон:Число,
- Шаблон:Num1: <math>\ 2^{19-1}(2^{19}-1)</math> = Шаблон:Число • Шаблон:Число,
- Шаблон:Число: <math>\ 2^{89-1}(2^{89}-1)</math>,
- Шаблон:Число: <math>\ 2^{107-1}(2^{107}-1)</math>,
- Шаблон:Число : <math>\ 2^{127-1}(2^{127}-1)</math>,
- …
Примеры
- 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 книге Начал Евклида, где было доказано, что число <math>\ 2^{p-1}(2^p-1)</math> является совершенным, если число <math>\ 2^p-1</math> является простым (т. н. простые числа Мерсенна)[2]. Впоследствии Леонард Эйлер доказал, что все чётные совершенные числа имеют вид, указанный Евклидом.
В античные времена были известны только первые четыре совершенных числа (соответствующие Шаблон:Math = 2, 3, 5 и 7), они приведены в Арифметике Никомаха Геразского.
Пятое совершенное число Шаблон:Num, соответствующее Шаблон:Math = 13, нашёл в 1536 году голландский математик Худалрик Perиус (Шаблон:Lang-la) в трактате «Utriusque Arithmetices» (1536 год)[3]. Позднее это число было также обнаружено историками в неопубликованной рукописи Региомонтана 1461 года[4].
В 1603 году итальянский математик Катальди обнаружил и опубликовал шестое и седьмое совершенные числа: Шаблон:Num и Шаблон:Num. Они соответствуют Шаблон:Math = 17 и Шаблон:Math = 19.. Заодно он опроверг гипотезу Никомаха, согласно которой в последних цифрах членов последовательности совершенных чисел чередуются цифры 6 и 8[4].
В начале XX века были найдены ещё три совершенных числа (для Шаблон:Math = 89, 107 и 127). В дальнейшем поиск затормозился вплоть до середины XX века, когда с появлением компьютеров стали возможными вычисления, превосходящие человеческие возможности.
На 2019 год известно 51 совершенное число, вытекающее из простых чисел Мерсенна, поиском которых занимается проект распределённых вычислений GIMPS.
Нечётные совершенные числа
Нечётных совершенных чисел до сих пор не обнаружено, однако не доказано и то, что их не существует. Неизвестно также, конечно ли множество нечётных совершенных чисел, если они существуют.
Доказано, что нечётное совершенное число, если оно существует, превышает 101500; при этом число простых делителей такого числа с учётом кратности не меньше 101[5]. Поиском нечётных совершенных чисел занимается проект распределённых вычислений OddPerfect.org.
Свойства
- Все чётные совершенные числа (кроме 6) являются суммой кубов последовательных нечётных натуральных чисел
- <math>1^3+3^3+5^3+\ldots+(2n-1)^3 = n^2(2n^2 - 1)</math>
- Все чётные совершенные числа являются треугольными и одновременно шестиугольными числами, то есть, могут быть представлены в виде <math>n ( {2n - 1} )</math> для некоторого натурального числа <math>n</math>.
- Сумма всех чисел, обратных делителям совершенного числа (включая само число), равна 2. Это прямое следствие определения и того факта, что сумма делителей при делении на само число дает сумму чисел, обратных делителям.
- Все совершенные числа являются числами Оре.
- Все чётные совершенные числа, кроме 6 и 496, заканчиваются в десятичной записи на 16, 28, 36, 56 или 76.
- Все чётные совершенные числа в двоичной записи содержат сначала <math>p</math> единиц, за которыми следует <math>p-1</math> нулей (следствие из их общего представления).
- Если сложить все цифры чётного совершенного числа (кроме 6), затем сложить все цифры полученного числа и так повторять, пока не получится однозначное число[6], то это число будет равно 1 Шаблон:S Эквивалентная формулировка: остаток от деления чётного совершенного числа, отличного от 6, на 9 равен 1.
В религии
Особенный («совершенный») характер чисел 6 и 28 был признан в культурах, имеющих основание в авраамических религиях, утверждающих, что Бог сотворил мир за 6 дней и обративших внимание на то, что Луна совершает оборот вокруг Земли примерно за 28 дней.
Джеймс А. Эшельман в книге «Еврейские иерархические имена Брии»[7] пишет, что в соответствии с гематрией: Шаблон:Начало цитаты Не менее важна идея, выраженная числом 496. Это «теософское расширение» числа 31 (то есть сумма всех целых чисел от 1 до 31). Помимо всего прочего, это сумма слова малхут (царство). Таким образом, Царство, полное проявление первичной идеи Бога, предстает в гематрии как естественное дополнение или проявление числа 31, которое является числом имени 78. Шаблон:Конец цитаты
Шаблон:Начало цитаты «Левиафан» (букв. «извивающийся») — один из четырёх Князей Тьмы, воплощённый в форме змея. Поэтому удерживать Левиафана — значит контролировать энергии Нефеш, ассоциируемые со сфирой йесод. Во-вторых, «змей изгибающийся» может означать и «свернувшийся кольцами змей», то есть Кундалини. В-третьих, гематрия слова «Левиафан» — 496, так же как и слова «Малхут» (Царство); представление о том, что архангел Йесод сдерживает природу Малхут, даёт богатую пищу для размышлений. В-четвёртых, число 496 — это сумма чисел от 1 до 31, то есть полное расширение, или проявление, имени «Эль», божественного имени трёх высших сфирот в Брии (в том числе и сфиры Кетер, ангелом которой является Йехоэль). Шаблон:Конец цитаты
В сочинении «Град Божий» святой Августин писал[8]: Шаблон:Начало цитаты Число 6 совершенно само по себе, а не потому, что Господь сотворил всё сущее за 6 дней; скорее наоборот, Бог сотворил всё сущее за 6 дней потому, что это число совершенно. И оно оставалось бы совершенным, даже если бы не было сотворения за 6 дней. Шаблон:Конец цитаты
Вариации и обобщения
Античные математики различали три типа натуральных чисел, в зависимости от суммы их собственных делителей:
- избыточные числа, для которых сумма собственных делителей больше, чем само число;
- недостаточные числа, для которых сумма собственных делителей меньше, чем само число;
- совершенные числа, для которых сумма собственных делителей равна самому числу.
Современные исследования показали, что наиболее распространены недостаточные числа, их примерно 75 %. Избыточных чисел немногим менее 25 %. Доля совершенных чисел на интервале от 1 до <math>N</math> с ростом <math>N</math> стремится к нулю[9].
Натуральное число, сумма всех делителей которого кратна самому числу, называется Шаблон:Iw[10].
См. также
- Дружественные числа
- Магические числа (физика)
- Открытые математические проблемы
- Полусовершенные числа
- Слегка избыточные числа (квазисовершенные числа)
- Слегка недостаточные числа
- Суперсовершенные числа
Примечания
Ссылки
Шаблон:Выбор языка Шаблон:Числа по характеристикам делимости
