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

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

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

Необходимое условиеПравить

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

$S(x)=\mathrm{\sigma <!--\; \sigma \; -->}(x)-<!--\; -\; -->x$$S(x)=\sigma (x)-x$ .

По определению для слегка избыточных чисел $S(x)=x+1$$S(x)=x+1$ . Тогда $\mathrm{\sigma <!--\; \sigma \; -->}(x)=2x+1$$\sigma (x)=2x+1$  — нечётное. Значит, в произведении

$\mathrm{\sigma <!--\; \sigma \; -->}(x)=(1+p_1+p_1^2+\dots <!--\; \dots \; -->+p_1^{k_1})(1+p_2+p_2^2+\dots <!--\; \dots \; -->+p_2^{k_2})\dots <!--\; \dots \; -->(1+p_n+p_n^2+\dots <!--\; \dots \; -->+p_n^{k_n}),$$\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}\dots <!--\; \dots \; -->p_n^{k_n},$$x=p_{1}^{k_{1}}p_{2}^{k_{2}}\ldots p_{n}^{k_{n}},$  все множители нечётные.

Для нечётного $p_i$$p_{i}$  сумма $1+p_i+p_i^2+\dots <!--\; \dots \; -->+p_i^{k_i}$$1+p_{i}+p_{i}^{2}+\ldots +p_{i}^{{k_{i}}}$  будет нечётной только при чётном $k_i$$k_{i}$ .

Единственное чётное простое число — это 2. Соответствующая сумма $1+2+2^2+\dots <!--\; \dots \; -->+2^k$$1+2+2^{2}+\ldots +2^{k}$  всегда нечётна.

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

См. такжеПравить

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