Восемь этюдов о бесконечности. Математическое приключение - стр. 3

Теперь сделаем вот что: если это число четное, разделим его на 2. Если оно нечетное, умножим его на 3 и прибавим 1. Будем повторять эту процедуру снова и снова, пока не получим (если получим) число 1. Посмотрим, как это работает:

Поскольку 15 – число нечетное, умножим его на 3 и прибавим 1.

15 × 3 + 1 дает 46.

46 – число четное: разделим его на 2 и получим 23. Поскольку это число нечетное, умножим его на 3 и прибавим 1.

23 × 3 + 1 = 70

Продолжим этот процесс:

70/2 = 35;

35 × 3 + 1 = 106;

106/2 = 53;

53 × 3 + 1 = 160;

160/2 = 80;

80/2 = 40;

40/2 = 20;

20/2 = 10;

10/2 = 5;

5 × 3 + 1 = 16;

16/2 = 8;

8/2 = 4;

4/2 = 2, и наконец 2/2 = 1.

Процесс дошел до конца.

Спрашивается, правда ли, что эта процедура рано или поздно приводит к 1 для любого исходного числа?

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

Хофштадтер предложил Ахиллесу попробовать число 27. Вы можете последовать его примеру. Я дам вам пару минут… или, может быть, часов.

Сдаетесь? Если начать с 27, кажется, что процесс все продолжается и продолжается и дает нескончаемую цепочку вычислений. В какой-то момент вы можете решить, что она и впрямь никогда не закончится. На самом деле требуемое в этом случае число шагов равно 111.

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

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