В теории чисел обильное число или избыточное число — это целое положительное число, у которого сумма собственных делителей больше этого числа. Целое число 12 — первое обильное число. Его собственные делители — 1, 2, 3, 4 и 6, всего 16. Количество, на которое сумма превышает число, — это изобилие . Например, число 12 имеет изобилие 4.
Определение
Обильное число — это натуральное число n , для которого сумма делителей σ ( n ) удовлетворяет σ ( n ) > 2 n , или, что то же самое, сумма собственных делителей (или аликвотная сумма ) s ( n ) удовлетворяет s ( n ) > н .
Обилием натурального числа является целое число σ ( n ) − 2n (эквивалентно s ( n ) − n ).
Например, правильные делители числа 24 — это 1, 2, 3, 4, 6, 8 и 12, сумма которых равна 36. Поскольку 36 больше 24, число 24 является избыточным. Его численность составляет 36 − 24 = 12.
Характеристики
Наименьшее нечетное обильное число — 945.
Наименьшее распространенное число, не делящееся на 2 или на 3, — это 5391411025, чьи отдельные простые делители — 5, 7, 11, 13, 17, 19, 23 и 29 (последовательность A047802 в OEIS ). Алгоритм, предложенный Яннуччи в 2005 году, показывает, как найти наименьшее обильное число, не делящееся на первые k простых чисел . [1] Если представляет собой наименьшее обильное число, не делящееся на первые k простых чисел, то для всех мы имеем
для достаточно большого k .
Любое кратное совершенному числу (за исключением самого совершенного числа) является избыточным. [2] Например, каждое число, кратное 6 и превышающее 6, является избыточным, потому что
Каждое число, кратное избыточному числу, является избыточным. [2] Например, каждое число, кратное 20 (включая само число 20), является избыточным, потому что
Следовательно, существует бесконечно много четных и нечетных обильных чисел.
Пусть число обильных чисел не превышает . График для (с логарифмическим масштабированием)
Более того, множество обильных чисел имеет ненулевую естественную плотность . [3] Марк Делеглиз показал в 1998 году, что естественная плотность множества обильных и совершенных чисел находится между 0,2474 и 0,2480. [4]
Обильное число, которое не кратно обильному числу или совершенному числу (т. е. все его собственные делители недостаточны), называется примитивным обильным числом.
Обильное число, численность которого больше, чем любое меньшее число, называется очень обильным числом, а число, относительное обилие которого (т. е. s(n)/n ) больше, чем любое меньшее число, называется сверхизобильным числом.
Каждое целое число больше 20161 можно записать как сумму двух множественных чисел. Самое большое четное число, не являющееся суммой двух обильных чисел, — 46. [5]
Числа, сумма правильных множителей которых равна самому числу (например, 6 и 28), называются совершенными числами , а числа, сумма правильных множителей которых меньше самого числа, называются неполноценными числами . Первая известная классификация чисел на недостающие, совершенные и обильные была сделана Никомахом в его «Введении в арифметику» (около 100 г. н.э.), в котором многочисленные числа описывались как деформированные животные со слишком большим количеством конечностей.
Индекс изобилия n — это отношение σ ( n )/ n . [7] Различные числа n 1 , n 2 , ... (неважно, многочисленны они или нет) с одинаковым индексом изобилия называются дружественными числами .
Последовательность ( a k ) наименьших чисел n таких, что σ ( n ) > kn , в которой a 2 = 12 соответствует первому обильному числу, растет очень быстро (последовательность A134716 в OEIS ).
Если p = ( p 1 , ..., p n ) — список простых чисел, то p называется обильным, если некоторое целое число, состоящее только из простых чисел из p, является обильным. Необходимым и достаточным условием для этого является то, чтобы произведение p i /( p i − 1) было > 2. [9]
^ О наименьшем нечетном целом k с индексом изобилия, превышающим n , см. Sloane, NJA (ред.). «Последовательность A119240 (наименьшее нечетное число k такое, что сигма (k)/k >= n.)». Электронная энциклопедия целочисленных последовательностей . Фонд ОЭИС.
^ Фридман, Чарльз Н. (1993). «Суммы делителей и египетские дроби». Журнал теории чисел . 44 (3): 328–339. дои : 10.1006/jnth.1993.1057 . МР 1233293. Збл 0781.11015.