Слегка избыточные числа

Слегка́ избы́точное число́, или квазисовершенное число — избыточное число, сумма собственных делителей которого на единицу больше самого числа.

До настоящего времени не было найдено ни одного слегка избыточного числа. Но со времён Пифагора, впервые попытавшегося решить эту проблему, математики не могут доказать, что слегка избыточных чисел не существует. Известно лишь, что (если слегка избыточные числа существуют) они должны быть больше 10³⁵ и иметь не менее 7 различных простых делителей.

Необходимое условие

Сумму собственных делителей $~S(x)$ натурального числа $~ x$ можно найти отняв от суммы всех делителей исходное число.

$~ S(x) = \sigma (x) - x$.

По определению для слегка избыточных чисел $~ S(x) = x+1$. Тогда $~\sigma (x) = 2x+1$ — нечётное. Значит в произведении

$~ \sigma (x) = (1+p_1+p_1^2+ \ldots + p_1^{k_1})(1+p_2+p_2^2+ \ldots + p_2^{k_2}) \ldots (1+p_n+p_n^2+ \ldots + p_n^{k_n})$, где $~ x= p_1^{k_1} p_2^{k_2} \ldots p_n^{k_n}$ все множители нечётные.

Для нечётного $~ p_i$ cумма $1+p_i+p_i^2+ \ldots + p_i^{k_i}$ будет нечётной только при чётном $~ k_i$.

Единственное чётное простое число это 2. Соответствующая ей сумма $1+2+2^2+\ldots+2^k$ всегда нечётна.

Слегка избыточное число $~x$ является либо полным квадратом числа, либо удвоенным квадратом числа.

См. также

• Избыточные числа
• Недостаточные числа
• Слегка недостаточные числа
• Совершенные числа