Математика, которая мне нравится

Эта проблема названа в честь Лотара Коллатца, предложившего ее впервые в 1937 году. Она имеет много других названий, в частности, числа-градины, сиракузская последовательность, проблема

   

и др.). Задача эта имеет очень простую и доступную формулировку, однако до сих пор считается нерешенной.

Пол Эрдёш сказал по поводу гипотезы Коллатца: “Математика еще не готова к таким задачам’’. Он предложил также 500 долларов за ее решение.

В 2006 году Куртц и Симон, основываясь на работах Конвея 1970-х годов, доказали неразрешимость обобщенной гипотезы Коллатца, однако из этого не следует, что сама гипотеза недоказуема.

Совсем недавно (в июне текущего года) появились сообщения о том, что гипотеза Коллатца доказана Герхартом Опфером из Гамбургского университета. Однако его работа пока еще не опубликована, она находится на рецензии в журнале Mathematics of Computation.

Итак, вот в чем состоит проблема.

Возьмем произвольное натуральное число

   

и построим последовательность по следующему правилу:

если

   

четно, то поделим его на

   

и получим

   

;
если

   

нечетно, то домножим его на

   

и прибавим

   

, получим

   

.

Затем берем

   

как новое стартовое число и повторяем процесс.

Пример. Если возьмем

   

, получим последовательность

   

При

   

получаем

   

Так вот, гипотеза Коллатца состоит в том, что для любого стартового числа

   

через конечное число шагов всега получится последовательность

   

Название “числа-градины’’ связано с тем, что графики получаемых последовательностей (см. рис.) похожи на движение в атмосфере градин.

Гипотеза проверялась на компьютере для всех начальных значений до

   

. Во всех этих случаях она заканчивалась повторяющимся циклом

   

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

http://en.wikipedia.org/wiki/Collatz_conjecture
http://plus.maths.org/content/mathematical-mysteries-hailstone-sequences (здесь вы можете также ввести начальный член последовательности и получить ее члены).