Гипотеза Коллатца: простая задача, которую никто не может решить
Возьми любое число, играй с ним по двум детским правилам — и рано или поздно скатишься к единице. Звучит как фокус, но доказать, что так бывает всегда, не смогли лучшие математики планеты за восемьдесят лет.
Правила, которые поймёт второклассник: чётное — дели пополам, нечётное — умножай на три и прибавь единицу. Повторяй. И каждый раз, с любого числа, ты в итоге упираешься в единицу. Почему так происходит? Никто не знает. Это и есть гипотеза Коллатца — задача, выглядящая до смешного простой, об которую восемьдесят лет ломают зубы лучшие математики мира.
Возьми число и поиграй
Давай прямо сейчас. Загадай любое натуральное число. Пусть будет 7. Теперь два правила:
- если число чётное — раздели его пополам;
- если нечётное — умножь на 3 и прибавь 1.
Поехали от семёрки: 7 нечётное, значит 7·3+1 = 22. Теперь 22 чётное — делим: 11. Снова нечётное: 34. Делим: 17, потом 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1. Дошли до единицы за 16 шагов. А дальше? 1 нечётное, 1·3+1 = 4, потом 2, потом 1 — и мы застряли в петле 4 → 2 → 1 навсегда.
Гипотеза Коллатца утверждает простую вещь: с какого бы числа ты ни начал, ты всегда рано или поздно попадёшь в единицу. Не существует числа, которое улетело бы в бесконечность или закружилось бы в каком-то другом цикле. По крайней мере, никто такого числа не нашёл.
Почему это так бесит математиков
Сама задача звучит как детская считалка. Немецкий математик Лотар Коллатц придумал её ещё в 1937 году. С тех пор у неё накопилась куча имён: задача 3n+1, гипотеза Сиракуз, проблема Улама. Великий математик Пол Эрдёш сказал про неё знаменитую фразу:
Математика ещё не созрела для таких задач.
И даже назначил за решение награду — но деньги так никто и не забрал. В 2019 году за неё взялся Теренс Тао, один из самых сильных живущих математиков, обладатель Филдсовской медали. Он сумел доказать кое-что близкое: что почти все числа в итоге опускаются очень близко к единице. Но это всё ещё не полное доказательство — «почти все» это не «все». Та самая последняя ступенька так и не взята.
Вся подлость в том, что последовательность ведёт себя непредсказуемо. Маленькое число 27, например, не скатывается к единице тихо и быстро. Оно сначала взлетает аж до 9232, петляет, ныряет, снова подскакивает — и только через 111 шагов добирается до единицы. Ты не можешь, глядя на число, заранее сказать, куда оно полетит и насколько высоко подпрыгнет.
Представь себе горный серпантин
Вот хорошая картинка. Вообрази, что ты катишься на санках по склону огромной горы, изрезанной серпантином. Деление пополам — это спуск вниз. Умножение на три — это рывок вверх по склону. Иногда тебя подбрасывает так высоко, что кажется: ну всё, сейчас улетишь за горизонт и больше не вернёшься.
Но каждый раз гора почему-то спускает тебя обратно, и ты докатываешься до самого подножия — до единицы. Вопрос гипотезы Коллатца звучит так: а существует ли вообще такой склон, с которого санки улетят в небо насовсем? Или такой, где они зациклятся, наматывая вечные круги на одной высоте? Здравый смысл говорит «нет». Но здравый смысл — это не доказательство.
А компьютеры что говорят?
Раз доказать не получается, математики пошли другим путём: давайте просто проверим как можно больше чисел руками компьютера. И проверили. Все числа примерно до 2,95 · 10²⁰ (это почти 300 квинтиллионов) уже прогнали через правила Коллатца — и каждое послушно скатилось к единице. Ни одного исключения.
Казалось бы, дело закрыто? А вот и нет. И тут кроется самый коварный урок этой задачи.
- Компьютер проверяет числа по одному, а натуральных чисел бесконечно много.
- Сколько бы триллионов чисел мы ни проверили, всегда остаётся бесконечный «хвост» непроверенных.
- В математике гипотезы рушились и на куда больших числах — известны случаи, где первый контрпример находился только после числа из десятков знаков.
Поэтому проверка миллиардов случаев — это не доказательство, а только очень сильное подозрение, что гипотеза верна. Доказательство должно одним ударом накрыть сразу все числа, включая те, до которых не дотянется ни один суперкомпьютер за всю историю Вселенной.
Чему это нас учит
Гипотеза Коллатца — отличное напоминание о том, что в математике «просто понять» и «легко решить» — это совершенно разные вещи. Условие задачи объяснишь за минуту любому школьнику. А решения нет до сих пор, и неизвестно, появится ли оно при нашей жизни.
Самое классное: тебе не нужно быть профессором, чтобы с ней поиграть. Открой любой редактор кода, напиши пару строчек — проверь чётность, подели или умножь, повтори в цикле — и ты сам увидишь, как числа прыгают по серпантину и сваливаются в единицу. А где-то там, может быть, прячется то самое число-бунтарь, которое сломает гипотезу. Его не нашли за восемьдесят лет. Но ведь кто-то однажды его либо найдёт, либо докажет, что искать бесполезно. И это можешь быть ты.