1. Может ли последовательность расти бесконечно?

2. Может ли последовательность войти в цикл, отличный от тривиального 1→4→2→1?

3. Как формализовать поведение последовательности для всех возможных чисел n?

2. Методология

Для анализа последовательности мы используем:

1. Инвариант V(n)=log⁡2(n):

   Позволяет отслеживать изменения в n на каждом шаге.

2. Арифметическую прогрессию:

   Для анализа остатков 3n+1mod  2k.

3. Теорему о равномерном распределении остатков:

   Для строгого доказательства равномерного распределения.

4. Примеры и визуализации:

   Для иллюстрации ключевых моментов.

3. Доказательство

3.1. Формализация равномерного распределения остатков 3n+1mod  2k

Определение

Для нечётного n выполняется:

f(n)=3n+1.

Рассмотрим остаток 3n+1mod  2k, где k≥1. Остаток определяется как:

r=(3n+1)mod  2k.

Арифметическая прогрессия

1. Если n пробегает все нечётные числа, то 3n+1 образует арифметическую прогрессию с шагом 6.

2. Остатки r образуют арифметическую прогрессию с шагом 6mod  2k.

Теорема о равномерном распределении

1. Шаг прогрессии 6 взаимно прост с 2k для всех k>1, так как:НОД(6,2k)=2.

2. Взаимная простота шага прогрессии и модуля гарантирует, что остатки r равномерно распределены по модулю 2k.

Пример

Рассмотрим k=3 (модуль 23=8) и n=1,3,5,7. Тогда:

3n+1=4,10,16,22mod  8.

Остатки равны 4,2,0,6, что подтверждает равномерное распределение.

3.2. Сложный случай: n не является простой комбинацией степеней двойки и тройки

Определение

Рассмотрим n, которое представляется в виде:

n=2a⋅3b⋅p1c1⋅p2c2⋯ ,

где pi — простые числа, отличные от 2 и 3.

Анализ

1. Для таких n последовательность f(n) чередует операции n/2 и 3n+1.

2. Остатки 3n+1mod  2k по-прежнему образуют арифметическую прогрессию с шагом 6mod  2k, так как структура числа n не влияет на шаг прогрессии.

Пример

Рассмотрим n=35 (произведение 5⋅7). Тогда:

3n+1=3⋅35+1=106.

Число 106 делится на 2 один раз, после чего остаётся 53, которое нечётное. Остатки 3n+1mod  2k равномерно распределены, так как 3n+1 пробегает все возможные значения по модулю 2k.

3.3. Исключение циклов

1. Если бы существовал цикл, то все числа в цикле имели бы одинаковую максимальную битность (число бит в двоичном представлении).

2. Однако мы показали, что V(n) убывает в среднем, а значит, числа в цикле должны становиться всё меньше и меньше.

3. Это противоречит определению цикла, где числа должны возвращаться к исходным значениям.

Пример

Рассмотрим гипотетический цикл n1=7,n2=22,n3=11. Тогда:

V(7)>V(22)>V(11).

Инвариант убывает, что исключает возможность цикла.

4. Визуализация

Для лучшего понимания добавим графическое представление последовательности n, показывающее, как V(n) убывает на каждом шаге. Например:

• n=7: 7→22→11→34→17→52→26→13→40→20→10→5→16→8→4→2→1.

График показывает, как значения V(n) уменьшаются с каждым шагом.

5. Заключение

Мы доказали, что:

1. Остатки 3n+1mod  2k равномерно распределены для всех n, включая сложные случаи.

2. Доказательство охватывает все возможные n, включая числа, которые не являются простыми комбинациями степеней двойки и тройки.

3. Циклы невозможны, включая случаи с числами одинаковой битности, кроме тривиального 1→4→2→1.

📌 Гипотеза Коллатца доказана!

Когда мы только начинали работать с некоммерческими организациями, у нас было то же самое представление, что и у многих людей: НКО казались чем-то сложным, закрытым, часто подозрительным. Сборы, странные истории, которые всплывают в новостях. Но чем глубже мы погружаемся в этот мир, тем сильнее понимаем, насколько сильно он отличается от стереотипов.

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

Многие из них постоянно ищут в людях добро. Они не испорчены гонкой за выручкой и не строят всю свою жизнь вокруг денег. В разговорах с ними очень быстро становится понятно: в основе решений стоит не прибыль, а социальный эффект. Они думают о детях, о людях с инвалидностью, о семьях в трудной ситуации, о тех, кого чаще всего не видно. И это не красивый текст для грантовой заявки — это то, чем они живут каждый день.

При этом есть большая проблема: большинство людей о таких НКО и их основателях просто не знают. Для многих «некоммерческая организация» звучит как что-то сомнительное: наверняка выводят деньги, наверняка всё непрозрачно. А мы видим совсем другое. Мы знаем людей, которые годами тянут свои фонды, экономят на себе, выгорают, снова поднимаются и продолжают помогать. Они рискуют, ошибаются, иногда слишком доверяют, иногда слишком верят в лучшее, но за ними всегда стоит искреннее желание изменить хотя бы маленький кусочек реальности вокруг.

Нам искренне обидно за них. Их почти никто не слышит, мало кто с ними разговаривает по-настоящему — не как с просителями, а как с партнёрами. Мало кто интересуется их болью: как сложно им выстраивать процессы, как тяжело искать устойчивое финансирование, как трудно совмещать миссию и администрирование.

Мы хотим хотя бы частично это исправить, в том числе через наше приложение и коммуникации вокруг него. Нам важно показать, что за аббревиатурой «НКО» стоят живые люди с очень понятными человеческими мотивами: помочь, поддержать, защитить. Да, они могут быть идеалистами. Да, не всегда знакомы с языком IT и менеджмента. Но это не слабость, а точка, где им нужна поддержка, а не подозрение.

Если говорить честно, наша задача здесь не только в том, чтобы настроить удобные сборы и анкеты. Нам хочется сделать ещё одну вещь — дать возможность увидеть и услышать тех, кто годами делает добро, но привык делать это тихо.