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

Число является совершенным, если оно равно сумме всех его собственных делителей (т. е. чисел, на которые оно делится без остатка, включая единицу, но исключая само число). Примеры таких чисел:

6 = 1 + 2 + 3,

28 = 1 + 2 + 4 + 7 + 14.

Евклид доказал, что если число 2ⁿ − 1 простое, то число 2ⁿ⁻¹(2ⁿ − 1) совершенно. Приведенные выше примеры соответствуют n = 2, 3. Простые числа такого вида называются простыми Мерсенна, их известно 47 штук, и самое большое из них 2^43 112 609 − 1 (кроме того, это самое большое известное простое число). Эйлер доказал, что все четные совершенные числа должны иметь такой вид, но никому еще не удалось отыскать хотя бы одно нечетное совершенное число или доказать, что их не существует. Померанс предложил нестрогое рассуждение, которое вроде бы указывает, что таких чисел действительно нет. Любое нечетное совершенное число должно удовлетворять нескольким жестким условиям. По величине оно должно быть не меньше 10³⁰⁰, должно иметь простой делитель больше чем 10⁸, его второй по величине простой делитель должен быть по крайней мере 10⁴; кроме того, у него должно быть по крайней мере 75 простых делителей и по крайней мере 12 различных простых делителей.

Гипотеза Коллатца

Возьмем целое число. Если оно четное, разделим на 2. Если нечетное, домножим на 3 и прибавим 1. Повторим эту операцию бесконечное число раз. Что произойдет?

К примеру, можно начать с числа 12. Получим следующую последовательность:

12 → 6 → 3 → 10 → 5 → 16 → 8 → 4 → 2 → 1,

после чего последовательность 4 → 2 → 1 → 4 → 2 → 1 будет повторяться бесконечно. Гипотеза Коллатца утверждает, что конечный результат будет одним и тем же, с какого бы числа мы ни начали. Гипотеза названа в честь Лотара Коллатца, предложившего ее в 1937 г., но имеет и множество других названий: гипотеза 3n + 1, гипотеза градины, гипотеза Улама, проблема Какутани, гипотеза Туэйтса, алгоритм Хассе или сиракузская проблема.

Что делает эту задачу такой сложной, так это то, что нередко числа буквально взрываются. Так, если начать с 27, последовательность поднимется до 9232, но при этом все равно через 111 шагов сойдется к 1. Компьютерное моделирование подтверждает гипотезу для всех первоначальных чисел вплоть до 5,764 × 10¹⁸. Доказано, что не существует циклов, за исключением 4 → 2 → 1, в которых было бы меньше 35 400 шагов. Возможность того, что некоторое начальное число дает последовательность, содержащую все более крупные числа, разделенные более мелкими, не исключена. Илья Красиков и Джеффри Лагариас доказали, что для начальных величин вплоть до n по крайней мере n0,84 из них со временем сходится к 1. Так что исключения, если они существуют, встречаются редко.

Существование правильного кубоида

Здесь в качестве начального пункта берется существование пифагоровых троек и формула для них, а затем вся проблема переводится в третье измерение. Эйлеров параллелепипед — это кубоид (блок в форме кирпича) с целыми ребрами, все грани которого имеют целые диагонали. Самый маленький параллелепипед Эйлера открыл в 1719 г. Пауль Хальке. Его ребра составляют 240, 117 и 4; диагонали граней равны 267, 244 и 125. Эйлер нашел формулы для таких прямоугольных параллелепипедов, аналогичные формуле для пифагоровых троек, но они выдают не все возможные решения.