Хаим Шапира - Восемь этюдов о бесконечности

относительно попыток найти ответ на заданный выше вопрос (действительно ли из любого числа можно получить 1?) и рассказывает, что эта задача известна под названием «гипотеза Коллатца» (напомню на всякий случай, что «гипотеза» значит «догадка» или, точнее, «предложение возможной новой теоремы, которую еще нужно доказать»). Она утверждает, что, с какого бы числа мы ни начали описанный выше процесс, он рано или поздно приведет к 1. Эта гипотеза названа в честь немецкого математика Лотара Коллатца (1910–1990), впервые описавшего ее в 1937 г. Тем не менее у нее есть и другие названия: в частности, ее называют гипотезой Улама (по имени польского математика Станислава Улама) или задачей Какутани (по имени японского математика Сидзуо Какутани). Иногда говорят просто о гипотезе 3n + 1, что вполне логично.

Когда я впервые узнал о гипотезе 3n + 1, я был слишком молод, чтобы осознать, насколько сложна и глубока эта задача. Я предполагал, что мне понадобится всего несколько дней, чтобы придумать критерий, определяющий, для каких чисел эта процедура дает на последнем шаге 1. Мне казалось даже, что я сумею доказать истинность гипотезы – что любое число в конце концов приводит к 1. Возможно, занимаясь этим, я даже смогу открыть распределение числа шагов, необходимого для каждого конкретного числа (например, когда мы подставили число 15, количество шагов оказалось равным 17). Я не мог понять только одного: как так получилось, что никто до сих пор не сумел решить эту задачу.

Во всяком случае, так я думал…

По-видимому, существует веская причина, по которой эта задача все еще считается «открытой проблемой».

Хотя успеха я не добился, это меня не слишком расстроило. Я нахожу трудные вопросы очень привлекательными. Они заставляют размышлять. На самом деле я даже больше люблю задачи, которые не могу решить (или по меньшей мере не могу решить без труда), чем те, которые решаются в момент и без особых интеллектуальных усилий. Разумеется, это не значит, что я оказываюсь на вершине блаженства, когда не могу справиться с какой-нибудь проблемой – несомненно, решение непростой задачи, доставшееся ценой большого труда, доставляет гораздо больше удовольствия.

Вернемся, однако, к нашей гипотезе. Посмотрите, что тут происходит. Мы столкнулись с математической задачей, в которой используются только базовые арифметические операции – сложение, умножение и деление, – и тем не менее никто на свете не знает, как ее решить!

Как такое может быть? Можно было бы предположить, что задача, которую можно сформулировать таким простым образом, должна иметь простое решение. Не тут-то было! На простой вопрос не всегда есть простой ответ. В математике есть множество вопросов, которые можно задать маленькому ребенку, и он легко поймет, в чем состоит задача, но ответов на них до сих пор не нашли даже самые гениальные взрослые.

Если рассмотреть достаточное количество примеров задачи Коллатца, можно заметить одно обстоятельство: последние числа, появляющиеся в этом процессе представляют собой последовательно уменьшающиеся степени 2. Например, если начать с 15, то последние пять чисел последовательности – это 16, 8, 4, 2 и, наконец, 1.

Это явление можно сформулировать в виде правила, сказав, что если процесс доходит до числа вида 2ⁿ, то он гарантированно сойдется к 1 в точности через n делений на 2. Это наблюдение позволяет перефразировать гипотезу 3n + 1 следующим образом: приходит ли на каком-то этапе процесс, начатый с любого произвольного числа, к степени 2?

Принцип замены исходной задачи на другую называется приведением или упрощением. Этот метод – полезный математический инструмент; в некотором смысле он открывает более естественный путь к решению математических задач. Еще одна, похожая, стратегия решения задач – это рассуждения в обратном порядке (от конца к началу). Этот прием, возможно, знаком вам по лабиринтам. Когда разрабатываешь маршрут по лабиринту, иногда бывает удобнее начать от выхода и прокладывать путь к исходной точке. В некотором глубоком смысле можно сказать, что в том же состоит и метод приведения математической задачи.

Венгерский математик Пал Эрдёш (1913–1996) любил предлагать денежные призы за успешное решение интересовавших его открытых математических проблем. Призы эти начинались с 25 долларов, а доказательство гипотезы Коллатца стоило в его прейскуранте целых 500 долларов – то есть попадало --">