Калькулятор гипотезы Коллатца

Добро пожаловать в Калькулятор гипотезы Коллатца — интерактивный инструмент для изучения одной из самых захватывающих нерешенных задач в математике. Введите любое положительное целое число и наблюдайте, как разворачивается сиракузская последовательность через серию простых правил, пока она неизбежно не достигнет цикла 4 → 2 → 1. Интерактивный график траектории, пошаговый разбор и подробная статистика помогут вам визуализировать и понять удивительное поведение последовательности Коллатца.

Что такое гипотеза Коллатца?

Гипотеза Коллатца, также известная как проблема 3n+1, сиракузская проблема или проблема градин, является одной из самых известных нерешенных математических задач. Впервые она была предложена немецким математиком Лотаром Коллатцем в 1937 году.

Гипотеза гласит: Возьмите любое положительное целое число n. Если n четное, разделите его на 2. Если n нечетное, умножьте на 3 и прибавьте 1. Повторите этот процесс. Гипотеза утверждает, что какое бы начальное число вы ни выбрали, последовательность всегда в конечном итоге достигнет 1.

Правила Коллатца

Начиная с любого положительного целого числа \(n\), многократное применение \(f\) порождает ряд чисел, называемый последовательностью градин (или последовательностью Коллатца). Гипотеза утверждает, что эта последовательность всегда достигает 1, после чего входит в цикл 1 → 4 → 2 → 1.

Почему ее называют последовательностью градин?

Ее называют последовательностью градин (hailstone sequence), потому что значения беспорядочно растут и падают, подобно градине, которую подбрасывает вверх и вниз внутри грозового облака, прежде чем она окончательно упадет на землю. Когда нечетное число утраивается и увеличивается на единицу, значение резко взлетает; когда четные числа делятся пополам, значение падает. В конце концов «градина» достигает земли — числа 1.

Как пользоваться этим калькулятором

1. Введите начальное число: Введите любое положительное целое число в поле ввода. Попробуйте быстрые примеры для известных значений, таких как 27 или 871.
2. Сгенерируйте последовательность: Нажмите «Сгенерировать последовательность», чтобы вычислить полную траекторию.
3. Изучите траекторию: Интерактивный график показывает значение на каждом шаге. Переключайтесь между линейным и логарифмическим масштабом для лучшей визуализации экстремальных пиков.
4. Просмотрите статистику: Проверьте время остановки, пиковое значение, коэффициент роста и количество четных/нечетных шагов.
5. Изучите пошагово: Подробная таблица показывает каждую операцию, примененную на каждом шаге, с цветовой кодировкой для четных (n/2) и нечетных (3n+1) шагов.

Понимание результатов

Ключевая статистика

• Время остановки: Общее количество шагов до достижения 1. Также называется полным временем остановки.
• Пиковое значение: Самое большое число, достигнутое в ходе последовательности. Может быть удивительно большим даже для малых начальных значений.
• Коэффициент роста: Отношение пикового значения к начальному. Показывает, насколько сильно «вырастает» последовательность перед спуском.
• Четные шаги: Сколько раз применялось n/2 (значения, которые были четными).
• Нечетные шаги: Сколько раз применялось 3n+1 (значения, которые были нечетными).

График траектории последовательности

Интерактивный график визуализирует последовательность с тремя выделенными точками:

• Зеленая точка — Начальное значение
• Красная точка — Пиковое значение (высшая точка)
• Золотая точка — Конечное значение (1)

Для последовательностей с очень большими пиками переключитесь на логарифмический масштаб, чтобы четче увидеть общую форму.

Знаменитые примеры

Число 27

Число 27, пожалуй, самое известное начальное значение в исследованиях гипотезы Коллатца. Несмотря на то, что это небольшое число, оно порождает последовательность из 111 шагов и достигает пика 9 232 — это более чем в 341 раз превышает его начальное значение. Такое резкое поведение делает его классическим примером непредсказуемости гипотезы.

Рекордсмены по длине последовательностей

Математические свойства

Соотношение четных и нечетных шагов

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

Цикл 4-2-1

Каждая последовательность Коллатца, достигающая 1, затем входит в цикл: 1 → 4 → 2 → 1. Гипотезу можно эквивалентно сформулировать так: «Другого цикла не существует», что означает, что ни одно начальное число не входит в цикл, не содержащий 1, и ни одна последовательность не уходит в бесконечность.

Вычислительная проверка

Гипотеза Коллатца была проверена с помощью вычислений для всех начальных значений до \(2,95 \times 10^{20}\) (по состоянию на 2020 год). Хотя это является убедительным доказательством, это не является формальным математическим доказательством.

История и значимые исследования

• 1937: Лотар Коллатц впервые сформулировал гипотезу во время учебы в Гамбургском университете.
• 1970-е: Проблема привлекла широкое внимание математического сообщества и получила множество названий (Сиракузская, проблема Улама, проблема Какутани).
• 1985: Джеффри Лагариас опубликовал всесторонний обзор и показал связь с теорией чисел и динамическими системами.
• 2019: Теренс Тао доказал, что «почти все» орбиты Коллатца достигают почти ограниченных значений — это самый сильный частичный результат по гипотезе на сегодняшний день.

Пал Эрдёш однажды сказал о гипотезе Коллатца: «Математика еще не готова для таких задач».

Часто задаваемые вопросы

Что такое гипотеза Коллатца?

Гипотеза Коллатца (также известная как проблема 3n+1) утверждает, что для любого положительного целого числа, если вы неоднократно применяете правило «если четное, разделите на 2; если нечетное, умножьте на 3 и прибавьте 1», последовательность всегда в конечном итоге достигнет 1. Несмотря на простые правила, эта гипотеза остается недоказанной с 1937 года.

Что такое сиракузская последовательность?

Сиракузская последовательность (или последовательность Коллатца) — это ряд чисел, полученный путем многократного применения правил Коллатца к начальному числу до достижения 1. Ее часто называют последовательностью «градин», так как значения то растут, то падают, прежде чем «приземлиться» на единицу.

Что такое время остановки в гипотезе Коллатца?

Время остановки — это количество шагов, необходимых начальному числу для достижения 1. Например, для 27 это 111 шагов. Оно сильно варьируется и не имеет простой формулы для предсказания.

Почему число 27 так знаменито?

Число 27 знаменито тем, что, будучи небольшим, оно выдает очень длинную последовательность (111 шагов) и достигает высокого пика (9 232), наглядно демонстрируя сложность задачи.

Доказана ли гипотеза Коллатца?

Нет, по состоянию на 2024 год гипотеза остается недоказанной. Хотя она проверена для колоссального количества чисел, общего математического доказательства пока нет.

Какая самая длинная последовательность для малых чисел?

Для чисел до 1 000 рекорд принадлежит числу 871 (178 шагов). До 10 000 — числу 6 171 (261 шаг). До миллиона рекордсменом является 837 799 (524 шага).

Дополнительные ресурсы

• Гипотеза Коллатца — Википедия
• Сиракузская последовательность — Wikipedia (Eng)