Публикация научных статей.
Вход на сайт
E-mail:
Пароль:
Запомнить
Регистрация/
Забыли пароль?

Научные направления

Поделиться:
Разделы: Математика
Размещена 28.03.2025. Последняя правка: 07.07.2025.
Просмотров - 1467

Доказательство гипотезы Коллатца

Трушников Владимир Владимирович

образование: инженер-электрик

не работающий

пенсионер

Аннотация:
Статья ещё редактируется, но основные дополнения в неё уже внесены. В статье представлено простое доказательство утверждения, что в алгоритме Коллатца не существует последовательностей закольцованных, основанное на свойствах умножения и деления десятичных дробей. Доказано, что не существует бесконечных последовательностей. Раскрыт механизм действия алгоритма, в результате которого число изменяет направление своего движения. Выведена формула, которая показывает общую тенденцию изменения числа по алгоритму Коллатца.


Abstract:
The paper presents a proof of the assertion that there are no loop sequences in the Collatz algorithm, based on the properties of multiplication and division of decimal fractions. It has been proven that there are no infinite sequences. The mechanism of the algorithm, as a result of which the number changes the direction of its movement, is revealed. A formula has been derived that shows the general trend of change in the number using the Collatz algorithm.


Ключевые слова:
Алгоритм; натуральное число; Гипотеза Коллатца; сиракузская последовательность.

Keywords:
Аlgorithm; natural number; Collatz conjecture; Syracuse sequence.



УДК 511.12     УДК 511.13  

Актуальность: Гипотеза находится в списке нерешённых проблем математики.

Цель: Доказать гипотезу простыми средствами.

Научная новизна: 
Использование свойств умножения и деления десятичных дробей в доказательстве алгоритма с натуральными числами;
Введены новые понятия: множество нечётных Коллатца, производительность, работа числа в гипотезе Коллатца, ряды групп множества M1 нечётных Коллатца, и др.;
Претендует на новизну утверждение: в алгоритме Коллатца не существует последовательностей закольцованных;
Раскрыт механизм действия алгоритма, в результате которого число изменяет направление своего движения;
Найдено решение алгоритма Коллатца в виде общей формулы, которое сворачивает все последовательности в единицу.

ВВЕДЕНИЕ: Гипотеза Коллатца, известная также как «3X+1»-гипотеза или как сиракузская последовательность, относится к алгоритмам управления натуральными числами, утверждает, что с какого бы числа, целого и положительного, мы не начали, двигаясь, в случае нечётного по формуле 3X+1, а в случае чётного следуя формуле X/2, мы в итоге придём к единице.
Какой интерес был у Коллатца заниматься вообще алгоритмами, подобными  «3X+1». Вероятно были и другие, но именно алгоритм «3X+1» стал проблемой. При этом, с начальными числами из натурального ряда такими, как 1, 2, 3 … 1 000 ... 1 000 000 …  и т.д., очевидно проблем не было. Они были проверены простым перебором. Нет сомнений в том, что Коллатц исследуя простые алгоритмы, искал ответы на волнующие его вопросы далеко за пределами чистой математики. Возможно, даже не так, Коллатц исследуя простые алгоритмы, за пределами обычной, искал чистую математику, в которой символические действия с числами могут быть тождественны взаимоотношениям Сознания и Материии, если алгоритм уподобить сознательному действию, а натуральное число предмету, явлению физического мира. 
Удивительная по своей простоте формулировки гипотеза привлекает к себе внимание. Существует множество попыток её доказательства от простых до невероятно сложных, но пока не признанных математическим сообществом. Исследователи всегда отмечают одну особенность в доказательстве гипотезы; добившись определённых результатов, сделав очередной шаг в доказательстве они сталкиваются с новой проблемой. Доказательство постоянно ускользает. Создаётся иллюзия недосягаемости доказательства. В 2019 появилось сообщение, отмеченное в [1], что Теренс Тао с помощью теории вероятностей доказал, что почти все орбиты Коллатца ограничены любой функцией, уходящей в бесконечность. В рецензии на эту работу, журнал Quanta Magazine написал, что «это один из самых значительных результатов по гипотезе Коллатца, достигнутых за последние десятилетия». Но, автору представленной здесь статьи хотелось бы отметить ещё одну работу, а именно видеоролик: [2], по теме, как важный вклад в поиске пути решения гипотезы. Видеоролик, длительностью около 20 минут, на первый взгляд является развлекательным научно-популярным контентом канала Vert Dider, размещённый на площадке Yutube, но представленная в нём информация, да ещё в великолепном изложении ведущего Дерека Мюллера, подтолкнула к ответу, на один из важных вопросов в доказательстве гипотезы, о чём, в том числе, будет далее. С большим Уважением и огромной благодарностью к несравненному Дереку Мюллеру. 

Во всех известных, но непризнанных доказательствах гипотезы Коллатца, остаются нерешёнными два принципиальных вопроса:

1) Не доказано и не опровергнуто существование последовательностей, замкнутых в кольцо.

2) Не доказано и не опровергнуто существование последовательностей, уходящих в бесконечность;

Из этих нерешённых вопросов выделим два утверждения, те, которые подтверждают гипотезу. Если они будут доказаны: доказывать какое-либо другое уже не имеет смысла. Выводы построенные на других утверждениях всегда будут вызывать сомнения, если не будут доказаны эти.

УТВЕРЖДЕНИЕ 1: в алгоритме Коллатца не существует последовательностей закольцованных.

УТВЕРЖДЕНИЕ 2: не существует последовательностей, уходящих в бесконечность.

 

ЧАСТЬ1.

ДОКАЗАТЕЛЬСТВО УТВЕРЖДЕНИЯ 1:

 в алгоритме Коллатца не существует последовательностей закольцованных.


1.1 УСПЕШНЫЕ РЕШЕНИЯ АЛГОРИТМА КОЛЛАТЦА


В алгоритме Коллатца конечной целью является единица, но перед тем как к ней прийти мы обязательно выйдем на одно из значений из ряда 2n. Для ряда 2n выполним действия обратные алгоритму «3X+1», тем самым выясним, при достижении каких значени 2n алгоритм сворачивается в 1. Оказывается не при всех, а только с чётным показателем степени. Результаты сведены в таблицу обратных преобразований ряда 22n по алгоритму Коллатца (Таблица 1)

Таблица1

Существует бесконечное количество значений натурального ряда, определяемое формулой:

Формула 1

которые в итоге приводят к значению 22n и сворачиванию числа в 1. Будем называть эти значения, и маршруты к ним приводящие, успешными решениями алгоритма. Можно показать, что делитель 3 в приведённой формуле не является помехой для нашего вывода, т.е. число 22n-1 при всех n≥1 кратно 3. Решения для соседних чисел различаются между собой значением:

Формула 2

Это значит, зная решение для предыдущего числа n, решение для следующего n+1 можно определить по формуле:

Формула 3

      И так далее, до бесконечности. Куда бы мы не двигались, вперёд-назад, мы всегда будем находиться между двух, тех или иных, успешных решений алгоритма. И хотя нам, для доказательства гипотезы, уже достаточно утверждения, что количество успешных решений бесконечное множество, мы всегда можем его усилить. Например, каждое значение натурального ряда, определяемое (1) можно дополнительно умножить на 2n. Например, число 5 умножить на 2n число 7 умножить на 2n. Каждое число, из уже известных, ранее пройденных и завершённых единицей маршрутов, умножить на 2n. Тогда мы должны удивляться уже не тому, что каждое число по алгоритму Коллатца завершается единицей, а почему вообще существуют числа с большими маршрутами. Оказавшись в значении успешного решения, число должно немедленно свернуться в единицу. Ответ находим простой. Во первых: множество чисел сворачивается действительно быстро, во вторых: каждый длинный маршрут составлен из уже известных, ранее пройденных и завершённых единицей маршрутов.
     Предположим, между успешными решениями всё же существуют значения, не относящиеся к успешным. Сколько их. Определённо, должно быть ограниченное количество, значит мы простым перебором неизбежно их преодолеем. Каждое новое число на пути алгоритма есть очередной шаг к цели. Успешное решение алгоритма - это просто один из очередных шагов. Как только мы окажемся на одном из ранее пройденных и завершённых единицей маршрутов, можно считать завершённым и текущий. Формула (3X+1)/2 производит движение вперёд, в сторону увеличения текущего числа, а формула (3X+1)/2n, где n˃1, назад, в сторону его уменьшения. Действие +1 в алгоритме «3X+1» гарантирует его непрерывность, способствует непрерывности процесса движения числа к успешному решению. Для того, чтобы этот процесс не прерывался необходимо чтобы каждое очередное число последовательности отличалось от любого из предыдущих. Иначе будет образовано так называемое кольцо – бесконечное чередование одного и того же фрагмента последовательности.

     Мы должны доказать, что алгоритм «3X+1» исключает повторения, каждое очередное число последовательности отличается от любого из предыдущих.


1.2 ПРИМЕЧАНИЕ К УТВЕРЖДЕНИЮ 1:

К слову сказать, так называемый цикл 4-2-1, часто упоминаемый  в связи с гипотезой Коллатца, по определению не является кольцом. Алгоритм «3X+1», или «3n+1» – гипотеза: есть сокращённое название гипотезы Коллатца, сокращённая запись алгоритма, а полный алгоритм перехода из одного состояния в другое, от одного нечётного к другому нечётному, включает ещё и деление на два,  в общем виде выражается формулой (4):

Формула 4

Здесь: Xn- исходное (или предыдущее) нечётное, Xn+1 - очередное нечётное, m – количество делений на два до очередного нечётного. Запись алгоритма в виде формулы (4) предполагает начинать именно с нечётного.

C какого бы числа, целого и положительного, мы не начали, двигаясь, в случае нечётного по формуле 3X+1, а в случае чётного следуя формуле X/2, мы в итоге придём к единице.

Известны и другие формулировки гипотезы, не меняющие её сути. Например такая:

Берём любое натуральное число; Если оно чётное, разделим его на два, а если нечётное, то умножаем на три и прибавляем единицу; Над полученным числом выполняем те же действия, и так далее. Какое бы начальное число мы ни взяли, рано или поздно мы получим единицу. Утверждается, что эта простая формулировка понятна практически всем здравомыслящим людям. После того, как мы пришли к единице алгоритм завершается, точка.

Кольцом может называться последовательность, состоящая из нескольких нечётных. Фраза “С какого бы числа, целого и положительного, мы не начали…” - между строк содержит смысл, в котором имеется в виду, что несомненно, это число должно быть натуральное и оно должно быть больше единицы и больше известного проверенного. С этого - только начинается ГИПОТЕЗА.

Но, мы работаем с разными натуральными числами, маленькими, большими. Если гипотеза верна, она верна для любого натурального.

 

1.3 ДОКАЗАТЕЛЬСТВО УТВЕРЖДЕНИЯ 1

Пусть X0 = 107  число произвольной последовательности.  Предположим оно является исходным числом закольцованного фрагмента. Отследим маршрут исходного числа этого предположительно закольцованного фрагмента.

Рис.1

 

Шаг 1 (вперёд): 

Формула 5

С другой стороны переход от X0=107 к числу X1=161 можно выразить через коэффициент K1
 
Формула 6

Шаг 2 (назад):

Формула 7

Шаг 3 (назад):                                   

Формула 8

Шаг 4
(вперёд): 

Формула 9

Шаг 5
(назад):                                   

Формула 10

В приведённых примерах, а также в любом шаге любой последовательности мы всегда имеем дробный переходный коэффициент от одного нечётного к другому нечётному. При этом, в шаге (вперёд), когда делитель равен 2 переходный коэффициент больше единицы. Представленный в десятичном виде он имеет более одного количество знаков после запятой. В шаге (назад), когда делитель равен 2n, где n>1 переходный коэффициент всегда меньше единицы. Представленный в десятичном виде он также имеет более одного количество знаков после запятой.

Если представленный на рис.1 фрагмент последовательности является закольцованным, значит одно из его очередных чисел равно исходному. Переход от исходного к этому очередному можно выразить через произведение промежуточных коэффициентов (11).

Формула 11

Для того, чтобы  соблюдалось условие закольцованности Xn = Х0, необходимо, чтобы коэффициент K был равен единице, 

Формула 12

Формула 13


Произведение всех промежуточных коэффициентов в любом их сочетании между очередным и любым из предыдущих может принимать только два значения: или больше единицы, или меньше единицы, и никогда равным ей. Потому что в этом произведении абсолютно все промежуточные коэффициенты являются нечётными десятичными дробями. При умножении двух нечётных дробных чисел, представленных в десятичном виде, количество знаков после запятой в произведении равно сумме знаков после запятой, которые имели множители. Это есть одно из известных свойств умножения десятичных дробей. Результатом произведения всех промежуточных коэффициентов в любом их сочетании всегда является десятичная дробь с количеством знаков после запятой больше одного, т.е. число, отличающееся от единицы. Значит очередное никогда не станет равным ни одному из предыдущих. Что и требовалось доказать.

Вывод: C какого бы числа мы не начали, двигаясь, в случае нечётного по формуле 3X+1, а в случае чётного следуя формуле X/2, вперёд-назад, увеличиваясь или уменьшаясь, в процессе своего движения алгоритм исключает повторения. Применяя алгоритм к единице можно убедиться, что единица остаётся на своём месте. Единица не передвигается ни вперёд, ни назад, не увеличивается и не уменьшается. Работа, совершённая алгоритмом по отношению к единице равна нулю.

В алгоритме Коллатца не существует последовательностей закольцованных. УТВЕРЖДЕНИЕ 1 ДОКАЗАНО.



 

ЧАСТЬ 2 


ДОКАЗАТЕЛЬСТВО УТВЕРЖДЕНИЯ 2:


Из всех натуральных, с какого бы числа мы не начали, двигаясь, в случае нечётного по формуле 3X+1, а в случае чётного следуя формуле X/2, не существует таких, которые бы уходили в бесконечность.

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

2.1
 МНОЖЕСТВО НЕЧЁТНЫХ КОЛЛАТЦА

Перед нами бесконечный ряд нечётных (Рис.2):

Рис.2

Представим путь нечётного числа к следующему нечётному. Умножаем на 3, прибавляем 1: получаем чётное (Рис.3):

Рис.3

В половине случаев деление на 2 нас тут же вернёт к нечётному (Рис.4):

Рис.4

Но каждое 4-е число, делить придётся дважды т.е. на 4. 

Рис.5

Каждое 8-е число, делить придётся  на 8, чтобы получить следующее:  

Рис.6

Каждое 16-е  на 16, и т.д

Рис.7

Взяв среднее геометрическое:

Формула 14

мы увидим, что в среднем, чтобы добраться от одного нечётного числа к другому, нужно умножить его примерно на 3/4, что меньше единицы. При больших значениях нечётного единицей в алгоритме можно пренебречь. Выходит, чисто статистически, последовательности «3X+1» уменьшаются чаще, чем растут. Ведущий видеоролика [2] в своих рассуждениях использовал идею такого наглядного представления структуры натурального ряда для вывода статистической формулы (14), а получив её, переключился развивать мысль в другом направлении.

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

Введем новые понятия:
 
* Множество нечётных Коллатца;
* Производительность числа в алгоритме Коллатца;
* Работа числа выполненная по алгоритму Коллатца.

*
МНОЖЕСТВО НЕЧЁТНЫХ КОЛЛАТЦА

Обозначение:
 Mm

Определение: 
Назовём ряд нечётных {3, 7, 11, 15 …} - первым множеством Коллатца, далее по тексту просто первым множеством или M1 или М1. Первым оно называется по признаку, того, что в результате действия алгоритма «3X+1», числа этого ряда становятся сначала четными, а затем после деления на два сразу нечётными. В результате выполнен только один полный шаг алгоритма. Позиции нечётного числа в М1 продвигают очередное всегда вперёд, в сторону его увеличения, в бесконечность. Каждое очередное число 1-го множества отличается от предыдущего на 4 и описывается формулой(15): 

Формула 15

Где: n =1,2,3… и т.д. – порядковый номер числа принадлежащего М1;

Назовём ряд нечётных {1, 9, 17, 25 …} - вторым множеством Коллатца, обозначим его М2 . Вторым оно называется по признаку, того, что чётные полученные в результате действия алгоритма «3X+1» приходится делить 2 раза на 2, чтобы получить очередное нечётное. Позиции нечётного числа в М2 продвигают число в сторону его уменьшения. Каждое очередное число 2-го множества отличается от предыдущего уже на 8 и описывается формулой (16):

Формула 16

 Где n =1,2,3… и т.д. – порядковый номер числа принадлежащего М2.

Назовём ряд нечётных {13, 29, 45, 61 …} - третьим множеством Коллатца. По аналогии с первым и вторым множеством, обозначим его M3. Каждое очередное число 3-го множества отличается от предыдущего на 16. Позиции нечётного числа в М3 продвигают число также в сторону его уменьшения.  Каждое очередное число 3-го множества отличается от предыдущего на 16 и описывается формулой (17):

Формула 17

где n =1,2,3… и т.д. – порядковый номер числа принадлежащего М3.

И так далее. У каждого множества своя формула числа, которая в общем виде выглядит, как (18):

Формула 18

Где: m =1,2,3… и т.д. – порядковый номер множества;

       n =1,2,3… и т.д. – порядковый номер числа принадлежащего множеству;
*     2m+1 - первая константа множества Коллатца;
*     Сm - вторая константа множества Коллатца.

Формула 19

Где: Y0∈Mm - начальное число множества Mm.

Формула (18) имеет ограниченное применение, т.к. ей можно воспользоваться только когда известно начальное число Y0∈Mm. В таблице 2 приведен вариант определения числа  Yn∈Mm с использованием предыдущего, уже известного, значения Cm-2.Так мы последовательно можем легко составить таблицу формул для всех множеств от M1 до Mm.

Таблица 2

Подводя итог описаниям основных характеристик множеств, отметим следующий факт: первое множество, единственное из всех, следующим ходом увеличивает значение числа, все остальные Mm-множества  его уменьшают.

* ПРОИЗВОДИТЕЛЬНОСТЬ ЧИСЛА В АЛГОРИТМЕ КОЛЛАТЦА

   Обозначение:
W

   Определение:
Производительностью числа в алгоритме Коллатца называется количество единиц пройденных нечётным при исполнении алгоритма «3X+1» за один полный шаг. В последовательности Коллатца не существует времени. Единицей отсчёта событий является шаг алгоритма. Значение производительности определяется модулем разности между очередным нечётным и предыдущим.

* РАБОТА ЧИСЛА В АЛГОРИТМЕ КОЛЛАТЦА

   Обозначение:
A

   Определение:
Работа числа выполненная по алгоритму Коллатца есть количество единиц пройденных нечётным при исполнении алгоритма «3X+1» за несколько последовательных шагов в пределах одного множества, в пределах интервала последовательности, или всей последовательности.


2.2  ОПИСАНИЕ МЕХАНИЗМА ПЕРЕХОДА ЧИСЛА ИЗ ОДНОГО МНОЖЕСТВА В ДРУГОЕ 

Возьмём число 7. В результате исполнения алгоритма (3X+1)/2, число 7 увеличилось примерно в 3/2 раза, переместилось в позицию числа 11. На маленьких числах, таких как 7 и 11, неочевидно, но на больших: значением +1 в формуле алгоритма можно пренебречь, и тогда действительно, в результате действия (3X+1)/2, число увеличивается примерно в 3/2 раза. С другой стороны очередное число 11 стало больше исходного на значение 11-7=4. Числа 7 и 11, отличающиеся на 4, принадлежат одному и тому же множеству M1. Числа множества M1 занимают позиции в натуральном ряду, которые продвигают очередное число всегда вперёд, в сторону его увеличения, в бесконечность.
Каковы шансы теперь уже у исходного числа 11 следующим шагом остаться в этом же множестве. Шансы ещё есть. Та же самая формула увеличивает исходное число примерно в те же 3/2 раза (3 · 11+1) / 2 =17, но теперь уже разница между очередным и исходным не 4, а 17-11=6. Потому что, действие умножения мы провели для большего числа, а 11 больше 7. С ещё большими числами будет ещё больше разница. Так число 11 переходит из первого множества в другое, потому, что очередное число 17 принадлежит уже другому множеству, если конкретно, то второму. Но большее число окажется в любом другом, потому что разница будет ещё больше. Очевидных предпосылок остаться в исходном множестве следующим шагом, тем более последовательно несколько раз, у числа 11 нет. Нет таких же предпосылок по тем же причинам и у любого другого числа принадлежащего первому множеству. Нет таких же предпосылок остаться в исходном множестве по тем же причинам и у любого другого числа принадлежащего вообще любому множеству. Механизм перехода из одного множества в  другое является математическим описанием известного закона перехода количественных изменений в качественный.  Число в новом множестве обретает возможность изменяться алгоритмом уже с другим делителем, поэтому переход числа в другое множество всегда является качественным переходом.

Алгоритм «3X+1»  имеет закономерный  механизм перехода из одного множества нечетных в другое. Алгоритму не важно в какую сторону будет изменяться очередное число. Он просто совершает свою работу. Каждая вторая позиция числа в натуральном ряду принадлежит первому множеству. Вероятность попадания очередного числа в первое множество равна 50 на 50. Такая же вероятность попадания очередного числа в любое из множеств M2, M3, M4 … Mₘ, ведь они также занимают каждую вторую позицию. Один очередной шаг, следующий и т.д. В какую бы сторону мы не направились, мы можем оказаться вообще в любом множестве, в любой момент сменить направление. 

Теперь, когда мы знаем, механизм перехода числа из одного множества в другое, каждый шаг алгоритма можно легко просчитать. Значит, абсолютно все последовательности Коллатца закономерны.

Рассмотрим первые 32 числа из множества нечётных Коллатца M1 (Рисунок 8):

Рис.8

Для наглядности, числа первого множества будем различать по цветовым признакам, в зависимости от чётности их порядкового номера, как на Рис 9:

Рис.9

Числа, принадлежащие множествам M2, M3, M4 … Mn обозначим одинаково, в виде (Рис.10): 
 
Рис.10

Вычислим очередное значение каждого числа из M1 (Рис.11). 

Рис.11

После первого хода все числа множества M1, с нечётным номером Y1, Y3, Y5 ... перешли в одно из множеств M2, M3, M4 … Mm, а числа с чётным номером Y2, Y4 , Y6 … остались в M1. Но, каждое второе чётное, т.е. ровно половина от их общего числа, осталось в M1 чётным. Вторая половина чётных в M1 перешла в разряд нечётных. Как видим из Рис.11 - такое поведение чисел M1, в результате действия на них алгоритма Коллатца является закономерным.

Выполним очередной шаг алгоритма.

Рис.12

Очередное число в каждой пятой последовательности из M1 стало меньше исходного. Эти последовательности мы больше рассматривать не будем. Они абсолютно точно устремляются к единице.Число меньше исходного, является числом уже проверенным, и относится к уже известным, ранее пройденным и завершённых единицей маршрутам. Для наглядности изображение такого числа сделаем чуть увеличенным, и будем считать, что последовательности с увеличенным изображением завершены.
Количество чётных последовательностей только с чётными номерами входящих в них чисел, сократилось вдвое: было восемь: Y4, Y8, Y12, Y16, Y20, Y24, Y28, Y32, стало четыре: Y8,  Y16,  Y24,  Y32

Выполним очередной шаг алгоритма.

Рис.13

Из оставшихся - третья часть стала меньше исходного. Эти последовательности мы также больше рассматривать не будем. Количество чётных последовательностей только с чётными номерами входящих в них чисел опять сократилось вдвое, было четыре: Y8,  Y16,  Y24, Y32, стало две:Y16, Y32

Мы всегда можем легко определить, является ли очередное число принадлежащим M1 и какую чётность имеет его порядковый номер. Для этого достаточно воспользоваться формулой (15). Прибавим к числу единицу и разделим результат на четыре, если делится без остатка, значит принадлежит. Если после деления на четыре  делится без остатка на два, значит чётное.

Выполним очередной шаг алгоритма.

Рис.14

Количество последовательностей только с чётными номерами входящих в неё чисел опять сократилось вдвое, было две: Y16, Y32, осталась одна : Y32. Следующим шагом исчезнет и эта. Но, далее в натуральном ряду, ещё остаются Y64, Y128, … и т.д.
В бесконечном натуральном ряду существует бесконечное количество последовательностей, принадлежащих M1, состоящих только из чисел с чётными порядковыми номерами отстоящих друг от друга на дистанции 2n, до тех пор пока очередным n+1- ходом не исчезнут и они. Но, здесь мы сталкиваемся с дилеммой. Дело в том, что существует следующее число с чётным порядковым номером, отстоящим на дистанции 2n, а затем следующее и т.д. до бесконечности. Подобные дилеммы не имеют одного решения. Разрешением дилеммы может стать формулировка гипотезы: “С какого бы числа мы не начали, двигаясь … и т.д.”. В формулировке гипотезы указывается на какое угодное, но всё же конкретное число, а не абстрактное бесконечное. Последовательность начинается с конкретного числа. А пребывание конкретного, какого угодно большого числа с чётным порядковым номером во множестве M1 ограничено. Можно предположить, что все длинные последовательности начинаются с нечётного числа с чётным порядковым номером в М1. Самая длинная последовательность имеет исходное из М1 с порядковым номером 2ⁿ, при n→∞. 

Проведём дополнительную работу по изучении структуры множества M1.
Символом {Yn}∈Mm будем обозначать порядковые номера чисел, принадлежащих M1, M2, M3 … Mm, где m=1, 2, 3, … - порядковый номер множества.
Рассмотрим фрагмент произвольной последовательности:

Рис.15


Обратим внимание на одну закономерность, касающуюся первой последовательности. В результате действия алгоритма число принадлежащее M1 увеличивается приблизительно в 1,5 раза, в соответствии с полной формулой алгоритма (20),: 

Формула 20

а порядковый номер очередного числа увеличивается ровно в 1,5 раза (21):

Формула 21

Почему так происходит, становится ясно, после того как применим алгоритм к формуле (15) числа, принадлежащего M1:

Формула 22

Алгоритм, воздействуя на формулу числа M1 изменил значение коэффициента при номере n числа в (22). Было 4n-1 стало 6n-1, а 6/4=1,5.
Увеличение чётного в 1,5 раза, последовательно несколько раз, в конечном итоге приводит к нечётному. Движение чётного к нечётному через умножение на 1,5 равносильно делению чётного пополам, значит движение чётного к нечётному в M1 для любого чётного закономерно. Другой закономерностью множества M1 является неизбежность перехода числа с нечётным порядковым номером следующим ходом в одно из множеств M2, M3, M4 … и т.д. Это видно из Рис. 15. Например, при умножении нечётного номера {405}∈M1 числа 1619 на 1,5 очередное число 2429 должно было получить порядковый номер {607,5}∈M1, но число 607,5 не является натуральным, значит номером чего либо оно не может быть. Оно занимает промежуточное положение между двумя рядом стоящими номерами {607}∈ M1 и {608}∈M1. Так число 2429 оказалось в M3, но уже с натуральным порядковым номером {152}∈M3. Следующим ходом число 2429 вернулось в M1, но уже в другой линии последовательности чётных. Между отдельными последовательностями чётных в M1 не существует возможности перехода из одной в другую не покидая M1. Сценарий движения числа с чётным порядковым номером в M1, всегда один: сначала закономерное движение к нечётному, а затем переход в другое множество. Коэффициент 1,5 является простым и удобным инструментом распознавания группы нечётных в M1, следующих один за другим по алгоритму Коллатца.


Введём новые понятия:

* группа нечётных первого множества с чётным  порядковым номером;

*
Лидер группы первого множества нечётных Коллатца;

*
Члены группы первого множества нечётных Коллатца;

Замыкающее группу первого множества нечётных Коллатца;

Группа нечётных M1 - последовательность нечётных M1, в которой порядковый номер очередного больше предыдущего ровно в 1,5. Количество членов в группе нечётных может быть любым, в том числе состоящей из одного, с нечётным порядковым номером. Если группа состоит из нескольких нечётных, то её возглавляет нечётное-лидер с чётным порядковым номером, а замыкает группу  замыкающее с нечётным порядковым номером.

 

2.3 РЯДЫ ГРУПП МНОЖЕСТВА M1 НЕЧЁТНЫХ КОЛЛАТЦА

*
Множество одиночных (1)∈M1
* Множество двух (2)∈M1
* Множество трёх (3)∈M1
* и т.д.

 Для того чтобы выявить структуру множества M1, воспользуемся Рисунком 14, предварительно избавившись от информации непосредственно не относящейся к M1 (Рис.16). 

Рис.16

В математике при решении уравнений часто применяют метод приведения подобных. Одним из этапов которого является перестановка слагаемых, таким образом, чтобы подобные слагаемые оказались рядом. Нечто подобное выполним и мы для множества групп принадлежащих M1. Разделим множество групп Рис.16 по признаку количества находящихся в них членов:

Рис.17

Очередное число ряда нечётных одиночных отличается от предыдущего на одно то же значение 8, и оно описывается формулой (23):

Формула 23

где n = 1, 2 , 3 … - порядковый номер, который имеет число из натурального ряда Xn , но теперь уже в ряду нечётных одиночных (1)n , принадлежащих M1.
Например числом с порядковым номером n=14 из ряда (1) ∈ M1 является: (1)14∈M1 = 8 ·14–5    ⇒    (1)14∈M1 = 107.
Если требуется определить какое положение будет занимать число из натурального ряда X107=107 в ряде (1)∈M1: X107∈(1) = (107+5)/8 ⇒ X107∈(1) = 14

Рис.18

Очередное число-лидер ряда нечётных двух отличается от предыдущего на одно то же значение 16, и оно описывается формулой (24):

Формула 24


Рис.19

Очередное число-лидер ряда нечётных трёх отличается от предыдущего на одно то же значение 32, и оно описывается формулой (25):

Формула 25

И так далее. Каждый следующий ряд, содержащий большее количество членов в группе описывается формулой общего вида (26):

Формула 26

Где N-номер ряда, с количеством членов в группе равным N.

n - порядковый номер числа в ряде N

Таким образом, каждое нечётное, принадлежащее M1  анатомически проявляет себя, как минимум, в трёх измерениях. Каждый закономерный ряд групп нечётных множества М1, при необходимости можно поделить ещё на два закономерных ряда по признаку чётности-нечётности их порядковых номеров. И это будет ещё одно измерение. В каждом из этих измерений оно имеет свой порядковый номер. Совокупность всех признаков числа определяет его положение в структуре множества нечётных  M1.  На Рис.20 в сокращённом виде (без указания порядкового номера “n” числа в ряде групп (N)n∈M1) представлена анатомия нечётного числа, принадлежащего множеству M1:

Рис.20


2.4  ДОКАЗАТЕЛЬСТВО УТВЕРЖДЕНИЯ 2: не существует последовательностей, уходящих в бесконечность.

Рассмотрим для натурального нечётного, следующему по алгоритму Коллатца, теоретическую возможность существования какого либо закономерного сценария неуклонного продвижения вперёд. Самым очевидным таким сценарием является чередование нечётных принадлежащих множествам M1 и M2. Любые другие чередования с привлечением множеств M3, M4, M5 … Mm возвращают число к исходному и ниже исходного. Из Рис.15 мы знаем, переход из множества M1 в M2 и в любое другое множество всегда осуществляется из позиции чисел с нечётным порядковым номером, т.е. из ряда одиночных групп нечётных (Рис.17).
Из ряда одиночных групп нечётных M1 сделаем первый шаг по алгоритму Коллатца к очередному нечётному (Рис.21):

Рис.21

Каждое число ряда одиночных является исходным для своей отдельной последовательности. После первого шага все числа ряда одиночных с чётным порядковым номером (1)2, (1)4, (1)6 … (1)n, перешли в M2, а числа с нечётным порядковым номером (1)3, (1)5, (1)7 … (1)n, перешли в одно из множеств M3, M4, M5 … Mm. Любое из множеств M3, M4, M5 … Mm следующим шагом возвращает число ниже исходного, поэтому сценарии представленные этими линиями последовательности далее не рассматриваем. Но, зафиксируем факт: каждая вторая последовательность, т.е. ровно половина из всего бесконечного ряда одиночных пошла по сценарию уменьшения числа. Сделаем выборку чисел ряда одиночных с чётным порядковым номером (1)2, (1)4, (1)6 … (1)n. Эта выборка - оставшаяся половина ряда одиночных, а из общего количества всех нечётных множества M1 это 1/4 часть.

Рис.22

Выполним очередной шаг алгоритма для каждой отдельной последовательности, с исходным из ряда одиночных групп нечётных М1 с чётным порядковым номером. 

Рис.23

В итоге получили несколько различающихся сценариев дальнейшего изменения числа по алгоритму Коллатца. Очередным шагом каждое четвёртое число осталось в М2, каждое четвёртое перешло в М1 в один из рядов групп нечётных: одиночных, двух, трёх, четырёх и т.д., каждое четвёртое перешло в одно из множеств M3, M4, M5 … Mm, но, каждая вторая последовательность (1)2, (1)6, (1)10, (1)14 … (1)n, в действительности, опять пошла по сценарию уменьшения числа.

Из Рис.23 выделим последовательности (1)8, (1)16, (1)24, (1)32 … (1)n, следующие по сценарию (1)n∈M1⇒M2⇒((1)n∈M1⇒M2). Выражение, содержащееся в скобках ((1)n∈M1⇒M2) есть повторяющийся фрагмент. Для краткости обозначим такой сценарий последовательностей как Fk{(1)n, M2)}, где индекс k при Fk показывает порядковый номер очередной выборки такого сценария из ряда одиночных.

Рис.24

Каждое исходное число очередной последовательности в этом сценарии 59, 123, 187, … и т.д., отличается от исходного предыдущей на 64. Таким образом исходные образуют закономерный ряд, описываемый формулой (27):

Формула 27

Выполним два следующих шага

Рис.25

Из 32 представленных последовательностей осталось четыре (1)64, (1)128, (1)192, (1)256 в которых соблюдается чередование (1)n∈M1 ⇒ M2 ⇒ (1)n∈M1

Сформируем из них новый бесконечный ряд последовательностей, с исходными из ряда одиночных.

Рис.26

Каждое исходное число очередной последовательности в этом сценарии отличается от исходного предыдущей на 512. Таким образом исходные образуют закономерный ряд, описываемый формулой (28):

Формула 28

Выполним два следующих шага

Рис.27

Из 32 представленных последовательностей опять осталось четыре (1)512 , (1)1024, (1)1536, (1)2048 в которых соблюдается чередование чисел ряда одиночных с чётным порядковым номером и чисел из множества М2.

После того, как мы сформируем из них новый бесконечный ряд последовательностей - каждое исходное число очередной последовательности в этом сценарии будет отличаться от исходного предыдущей уже на 4096, поэтому очередной новый ряд будет описываться формулой (29):

Формула 29

Так можно продолжать бесконечно. Для сценария (1)n∈M1 ⇒ M2 ⇒ (1)n∈M1 существует бесконечное количество последовательностей, описываемых формулой (30) 

Формула 30

Где k-количество повторений сценария (1)n∈M1 ⇒ M2 ⇒ (1)n∈M1, по завершению которого нечётное переходит в другой сценарий. 

Рассмотрим другой сценарий неуклонного продвижения нечётного вперёд, в котором число из  M2 следующим шагом по алгоритму Коллатца оказывается в одном из рядов групп, состоящих из нечётных с чётным порядковым номером, например (2)n∈M1. Представленный далее Рис.28, в качестве исходного, является копией Рис 23: 

Рис.28

Из Рис.28 выделим последовательности (1)12, (1)28, (1)44 , (1)66  ...   (1)n, следующие  по одному и тому же сценарию (1)n∈M1 ⇒ M2 ⇒ ((2)n∈M1 ⇒ M2).  Содержащееся в скобках ((2)n∈M1 ⇒ M2) есть повторяющийся фрагмент. Для краткости обозначим такой сценарий последовательностей как Fk{(1)n, M2,((2)n, M2)}, где индекс k при Fk показывает порядковый номер очередной выборки из ряда двух. 

Рис.29

Каждое исходное число очередной последовательности в этом сценарии 91, 219, 347, 475 … и т.д., отличается от исходного предыдущей на 128. Таким образом исходные образуют закономерный ряд, описываемый формулой (31):

Формула 31

Для того, чтобы увидеть повторения сценария необходимо выполнить уже три очередных шага

Рис.30

Из 32 представленных последовательностей осталось две (1)140 , (1)396, в которых соблюдается чередование (2)n∈M1 ⇒ M2. Сформируем из них новый бесконечный ряд последовательностей, с исходными из ряда одиночных (Рис.31).

Рис.31

Каждое исходное число очередной последовательности в этом сценарии 1115, 3163, 5211,7259 … и т.д., отличается от исходного предыдущей на 2048. Таким образом исходные образуют закономерный ряд, описываемый формулой (32):

Формула 32

Выполним три очередных шага (Рис.32)

Рис.32

Из 32 представленных последовательностей осталось опять две (1)140, (1)7820, в которых соблюдается чередование (2)n∈M1 ⇒ M2. Можно из них сформировать новый бесконечный ряд последовательностей, и так продолжать бесконечно. Но, самое главное, что мы должны вынести из этих преобразований: каждая отдельно взятая последовательность, с исходным из ряда одиночных, принадлежащих множеству M1 – конечна, и имеет свой максимум. При этом, максимум в очередной последовательности увеличивается вместе с ростом исходного.

Существует бесконечное количество других сценариев (1)n∈M1⇒M2⇒((N)n∈M1⇒M2), или (1)n∈M1⇒M2⇒((N)n∈M1⇒Mm ⇒ ...), т.е., любых других сценариев, чередование которых обеспечивает продвижение вперёд. Проделав подобные преобразования с ними, мы убедимся, что каждая отдельно взятая последовательность, состоящая из чередования этих сценариев также конечна. Причина одна и та же – переход количественных изменений в качественные, которые происходят с очередным числом в результате действия алгоритма.

Количественные изменения характеризуются тем, что число изменяется одинаково пропорционально в пределах одного и того же множества, а качественные переходом в другое множество, в котором коэффициент пропорциональности становится уже качественно другим.

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

Аналогично, можно утверждать, что каждый очередной шаг алгоритма делит общее количество сценариев НАЗАД также пополам, при этом ровно половина из них встанет опять на путь сценария продвижения ВПЕРЁД, но уже с меньших стартовых позиций. Из этого следует два вывода:

Вывод 1: не существует количественного доминирования одного сценария над другим.

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

Из всех натуральных мы сделали выборку таких, которые обеспечивают продвижение вперёд. И получили результат: каждая отдельно взятая последовательность, состоящая из чередования абсолютно любых сценариев, чередование которых обеспечивает продвижение вперёд – конечна и имеет свой максимум. У любой известной последовательности, фрагмента последовательности с известным исходным и известным максимумом найдётся впереди бесконечное количество таких же фрагментов, но уже с другим максимумом, и если каждая из них – конечна, значит, из всех натуральных, с какого бы числа мы не начали, двигаясь, в случае нечётного по формуле 3X+1, а в случае чётного следуя формуле X/2, не существует таких, которые бы уходили в бесконечность. Утверждение 2 ДОКАЗАНО.

Проведём структурный анализ произвольной последовательности по алгоритму Коллатца, и попробуем выяснить, как долго будет выполняться алгоритм, и что определяет его длительность.

ЧАСТЬ 3.  Структурный анализ произвольной последовательности 77031 по алгоритму Коллатца

Рассмотрим произвольную последовательность Коллатца с исходным X₀=77 031:

Рис.33

Определим, к какому множеству Коллатца принадлежит каждое число последовательности 

Рис.34


Определим положение позиций, которые исходное число проходит при выполнении алгоритма Коллатца в  рядах групп, принадлежащих M1. Используем следующие правила: Для определения Yn используем формулу (15); При определении порядкового номера ряда групп, различающихся по количеству членов группы, находим лидера. Маршрут исходного числа иногда лидера обходит стороной, поэтому, для целостности картины, необходимо его добавить; Лидера всегда находим через коэффициент равный 1,5. Номера Yn всех членов группы  делятся без остатка на 1,5, а число-лидер не делится; Далее, по номеру ряда можно определить порядковый номер числа в этом ряде по соответствующим формулам (23), (24) ... (26). Замыкающее делится без остатка на 1,5, но при умножении становится дробным.

Рис.35_1

Рис.35-2

Упростим выражение последовательности Коллатца с исходным натуральным 77031 следующим образом:

Рис.36


Исходное, в результате выполнения алгоритма даже в пределах множества M1, проходит путь через  разные ряды этого множества.  Возвращаясь очередным ходом в M1 оно может оказаться, в равной степени, как в старшем по статусу ряде, так и в младшем. Но, нас интересует возвращение числа в один и тот же ряд, и траектория движения числа в пределах этого ряда. Разделим один общий маршрут исходного Xn= 77031 на отдельные маршруты в пределах каждого закономерного ряда, и приведём подобные:
Рис.37


Рис.38

Рис.39

Рис.40

Рис.41

Рис.42

Рис.43

Структурный анализ последовательности показывает, что движение числа по алгоритму Коллатца не является хаотичным, как это кажется на первый взгляд, при первом знакомстве с алгоритмом, и завершение алгоритма в единице также не случайно. Число продвигается не только вперёд и назад, и переходит из одного множества в другое, но ещё переходит из одного параллельного ряда групп в другой параллельный. 





ПРИМЕЧАНИЕ:  Структурный анализ последовательности ссодержит отдельные признаки двух параллельных сценариев, ВПЕРЁД - НАЗАД, но их недостаточно для демонстрации одной общей закономерности стремления к единице. Последовательность с исходным 77031, к сожалению, оказалась для этой цели короткой. Поэтому готовится материал для анализа на основе другой последовательности.

ПРОДОЛЖЕНИЕ СЛЕДУЕТ ...
















ЧАСТЬ 4: Выводы, заключение, результаты

ВЫВОДЫ:

 




 

 

 

Библиографический список:

1. Тао, Теренс. [Электронный ресурс] // URL: https://ru.wikipedia.org/wiki/Тао,_Теренс (дата обращения: 21.03.2025).
2. Derek Muller. Самая простая нерешённая задача – гипотеза Колатца [Veritasium]. [Электронный ресурс] // Студия Vert Dider: сайт. - URL: https://youtu.be/QgzBDZwanWA?si=QW5HRHFjov1Y5F5l (дата обращения: 21.03.2025).




Рецензии:

29.03.2025, 23:37 Кузнецов Вячеслав Алексеевич
Рецензия: Рецензия на статью "Доказательство гипотезы Коллатца" Трушникова Владимира Владимировича Статья Трушникова Владимира Владимировича представляет собой попытку доказать гипотезу Коллатца с использованием свойств умножения и деления десятичных дробей. Хотя работа имеет свои положительные стороны, есть несколько аспектов, которые требуют внимания и доработки. Актуальность и новизна: Автор правильно отмечает актуальность гипотезы Коллатца как одной из нерешённых проблем математики. Однако научная новизна представленного доказательства не совсем ясна. Простота доказательства — это, безусловно, важная цель, но требуется более детальное обоснование, почему именно предложенный подход является новым и отличным от существующих попыток. Структура и ясность изложения: Введение в тему достаточно информативно, однако само доказательство требует большей структурированности. Ясность изложения может быть улучшена, если автор будет использовать больше подзаголовков и четко выделит ключевые моменты. Например, лучше разделить доказательство на логические части, чтобы читатели могли легче следить за ходом мысли. Формулировки и математическая строгость: В тексте присутствует множество формул, однако их объяснение иногда не хватает. Важно не только представить формулы, но и пояснить, как они соотносятся друг с другом и с общей идеей доказательства. Также стоит обратить внимание на точность формулировок, чтобы избежать недопонимания. Примеры и иллюстрации: Включение примеров, таких как маршрут числа 47, является хорошей идеей, но их описание можно сделать более наглядным. Возможно, стоит добавить графические иллюстрации или таблицы, чтобы визуально отобразить процесс применения алгоритма. Заключение и выводы: Заключение статьи формулируется достаточно резко, без должного обоснования всех шагов, приведших к выводу о доказанности гипотезы. Рекомендуется более подробно изложить, почему предложенный алгоритм действительно приводит к единице для всех натуральных чисел. В целом, работа содержит интересные идеи, но требует значительных доработок, чтобы повысить ясность, точность и научную ценность. Рекомендую автору пересмотреть структуру статьи и уделить больше внимания объяснению ключевых моментов, что сделает её более доступной и понятной для читателей.

31.03.2025 15:15 Ответ на рецензию автора Трушников Владимир Владимирович:
Вячеслав Алексеевич, Вы безусловно правы в том, что статья выложенная на всеобщее обозрение, должна быть хорошо структурирована для удобного восприятия, и да, наверное ясность изложения может быть улучшена, правда, пока не знаю как, будем работать. Выделить ключевые моменты. Мне над этим надо подумать. Дело в том, что в своём изложении я как раз старался избавиться от лишнего наполнения и оставить только ключевые моменты. Тем более, учитывая, что тема статьи достаточно известная, и переливать информацию из пустого в порожнее, особого желания нет. Я ценю и своё и Ваше время. Простота доказательства важная, но, безусловно, не главная цель. Мне неизвестно более простого доказательства, и никакого другого, признанного математическим сообществом, поэтому утверждать о простоте как научной новизне видимо преждевременно. Поэтому, соглашусь с Вами, этот пункт можно будет удалить в ближайшей редакции. Почему именно предложенный подход является новым и отличным от существующих попыток. У меня нет возможности доказать, но, все известные мне попытки доказать гипотезу строятся в основном на поверхностном анализе алгоритма, на визуальных эффектах траекторий движения натуральных чисел по алгоритму Коллатца, на теории вероятностей, на свойствах простых чисел и др.. Со своей стороны высказываю предположение, что доказательство гипотезы Коллатца, и не только её, но и других алгоритмов с натуральными числами, основанное на свойствах умножения и деления десятичных дробей: простым подсчётом количества знаков после запятой является научной новизной. “В тексте присутствует множество формул, однако их объяснение иногда не хватает.”: Насчёт “множества” – не соглашусь. Формул очень мало. В действительности, можно было бы обойтись вообще одной формулой (4). Пояснить формулу (4), как она появилась действительно можно, в ближайшей редакции выполним. Я почему-то, предполагал, что это очевидно. Спасибо за замечание. Сократить количество формул также можно, достаточно обойтись двумя шагами для любого исходного числа, один шаг вперёд, другой назад. Но, тогда модераторы, даже не вникая в суть, могли застопорить статью, по причине несоответствия установленным требованиям, одно из которых объем статьи должен быть не менее 3 страниц. С другой стороны алгоритм, представленный 7 шагами выглядит предпочтительней, нагляднее. Тем не менее, обсуждается. “Точность формулировок?”. Я конечно не мастер точных формулировок. Как говорится, в меру сил. Тем более, учитывая, что это вообще первая статья, выложенная с моей стороны на всеобщее обозрение, да ещё в научный журнал, да ещё по известной математической проблеме. Но, согласитесь, нам не избежать того факта, что некоторые формулировки, касающиеся конкретной области знания, могут быть не восприняты в полном объеме, людьми, погруженными в другие области. Может быть, им это и не нужно. Вы считаете, что заключение статьи формулируется достаточно резко, без должного обоснования всех шагов. Неожиданно, попробую поискать “незамыленным” взглядом пробелы в своих рассуждениях. Возможно не хватает тех аргументов, которые я изложил уже в ответе на комментарий Цорина Бориса Иосифовича. Пожалуйста, познакомьтесь с ними. Сделать более наглядным маршрут числа 47, мне трудно представить. Так как работа в этом направлении уже была проведена, достаточно основательно. Могу добавить информацию в каждом шаге, в виде формул, по которым число меняется, или сделать изображение цветным. Формат электронного журнала это позволяет. Посмотрим вместе, что из этого получится. Но, согласитесь, к доказательству дизайн представленной информации виде изображений или формул не имеет никакого отножения. Заключение и выводы: Почему алгоритм Коллатца действительно приводит к единице для всех натуральных чисел: cчитаю, без лишнего пафоса, что представленная статья, со всеми изложенными в ней аргументами отвечает абсолютно точно на этот вопрос. Вячеслав Алексеевич, спасибо за ваше внимание, и замечания.

31.03.2025, 23:06 Кузнецов Вячеслав Алексеевич
Рецензия: Уважаемый Владимир Владимирович, Благодарю вас за обстоятельный ответ на рецензию. Я ценю вашу готовность к обсуждению и желание улучшить статью. Вы правы, структурированность и ясность изложения играют важную роль в восприятии материала. Я рад, что вы готовы работать над выделением ключевых моментов и улучшением ясности изложения. Это действительно поможет читателям лучше понять вашу позицию и аргументы. Что касается простоты доказательства, я понимаю вашу точку зрения. Действительно, если нет других признанных математическим сообществом доказательств, то утверждать о новизне может быть преждевременно. Я согласен, что стоит удалить этот пункт в следующей редакции, чтобы избежать недоразумений. Ваше предположение о новом подходе к доказательству гипотезы Коллатца, основанное на свойствах умножения и деления десятичных дробей, звучит интересно. Я думаю, что это может быть достойным дополнением к вашей работе, и было бы полезно подробнее рассмотреть это в статье. Что касается формул, я понимаю вашу позицию. Если вы считаете, что их достаточно, чтобы донести суть, это важно. Однако, пояснение формулы (4) действительно может быть полезным для читателей, и я рад, что вы готовы это сделать. Относительно точности формулировок, я понимаю, что это может быть сложно, особенно в первой статье. Возможно, стоит рассмотреть возможность привлечения соавторов или коллег для дополнительной проверки формулировок. Что касается заключения статьи, я надеюсь, что вы сможете найти баланс между четкостью и обоснованностью ваших выводов. Это поможет избежать резкости в формулировках и сделает вашу работу более убедительной. Я с нетерпением жду дальнейших улучшений вашей статьи и готов помочь, если потребуется. Спасибо за ваше внимание к замечаниям и за интересный диалог. С уважением, Кузнецов Вячеслав Алексеевич
12.04.2025 19:19 Ответ на рецензию автора Трушников Владимир Владимирович:
Уважаемый Вячеслав Алексеевич, уведомляю Вас, корректировка статьи завершена.



Комментарии пользователей:

28.03.2025, 11:17 Харт Алекс
Отзыв: Владимир Владимирович, Вы опоздали. Эту гипотезу уже "доказал" Соловьёв Виктор Григорьевич, см. ниже по списку статьи. Хотя вынужден признать, что Ваше "доказательство" короче "доказательства" выше приведенного автора.


28.03.2025, 12:34 Трушников Владимир Владимирович
Отзыв: Да я в общем наперегонки и не состязался. Мне показалась гипотеза интересной. Я прежде всего для себя её доказал. Ну а коль результат достигнут. Поделился с Вами. При всём уважении к Вам и всем кто пытался её доказать.


28.03.2025, 23:10 Цорин Борис Иосифович
Отзыв: Статья, увы, не доказывает ничего и не несет не грана ценной информации, статью можно удалять. Подробнее: {1} "Куда бы мы не двигались, вперёд-назад, мы всегда будем находиться между двух, тех или иных, успешных решений алгоритма. Между успешными решениями ограниченное количество шагов, значит мы неизбежно их преодолеем. Каждое новое число на пути алгоритма есть очередной шаг к цели" - во-первых, рассуждения следует оформлять как математические, а не как философские. Во-вторых, после "движения вперёд-назад" мы можем оказаться уже между другими "успешными решениями", а это превращает "ограниченное количество шагов" в неограниченное. {2} "...количество знаков после запятой в значении коэффициента k очередного числа всегда больше предыдущего, значит совпадения чисел при исполнении алгоритма для любого натурального числа исключены" - умозаключение ошибочно. 2*0.25+0.5=2*0.125+0.75, хотя количество знаков после запятой в дробных операндах и отличается.


31.03.2025, 10:45 Трушников Владимир Владимирович
Отзыв: Уважаемый Борис Иосифович, спасибо за совет, на счёт удалять. Статью удалять пока не буду. Допускаю, что будут и другие мнения, не совпадающие с Вашим. Рассуждения, приведённые в статье не философские, а вполне логичные. Мы всегда будем находиться между двух, тех или иных, успешных решений алгоритма. Пояснение в этой фразе: тех или иных – означает, что вполне возможно, будут переходы из одного ограниченного интервала в другой. Не важно сколько будет таких переходов. Суть в том, что мы всегда будем возвращаться назад, чтобы отметить очередной шаг к цели. Не топтаться условно на месте, и снова вперёд, а именно возвращаться назад, по той простой причине, что при движении вперёд число увеличивается в полтора раза, а назад в два. Математика не состоит из одних только математических формул, требуются ещё пояснения. Существуют аксиомы, леммы и другие утверждения. Ограниченное количество шагов - вполне логичное утверждение. При перемножении двух дробных чисел меньших единицы, записанных в десятичной форме, количество знаков после запятой всегда увеличивается. При делении нечётных чисел меньших единицы на два, количество знаков после запятой также увеличивается. Каждый раз это отражается на структуре коэффициента K, при дробной части числа. Не важно, в какую сторону ведёт нас алгоритм, вперёд-назад, количество знаков после запятой в значении коэффициента k очередного числа всегда больше предыдущего, значит совпадения чисел при исполнении алгоритма для любого натурального числа исключены. Уважаемый Борис Иосифович, в каком месте Вы нашли ошибку этого умозаключения.


31.03.2025, 14:54 Усов Геннадий Григорьевич
Отзыв: Уважаемый Владимир Владимирович! Ошибка в (5). Если Х = 5, то надо делить не на 2, а на 4. И тогда надо делить Х на 2!!! То есть, все формулы с (4) по (11) обыгрывают вариант с 47. А если будут другие варианты?


31.03.2025, 14:57 Усов Геннадий Григорьевич
Отзыв: И ешё. Вы сделали шаг 7. А почему не сделали шаг 8, где красиво написано 2^(2n)? Ведь по Вашему должно быть красивое целое число!


31.03.2025, 15:01 Усов Геннадий Григорьевич
Отзыв: У Вас "Не важно, в какую сторону ведёт нас алгоритм, вперёд-назад, количество знаков после запятой в значении коэффициента k очередного числа всегда больше предыдущего, значит совпадения чисел при исполнении алгоритма для любого натурального числа исключены. Что и требовалось доказать." - это напоминает формулировку гипотезы Коллатца: как бы мы не умножали .... и делили..., мы всегда придём к 1. Нового ничего.


31.03.2025, 15:06 Усов Геннадий Григорьевич
Отзыв: Вот Вы пишите " количество знаков после запятой в значении коэффициента k очередного числа всегда больше предыдущего" - о каких дробных вообще идёт речь, если на выходе каждой формулы получается целое число!!! Что с чем сравнивается? Часть числа с частью другого числа? Что-то новое в математике....


31.03.2025, 16:36 Цорин Борис Иосифович
Отзыв: "по той простой причине, что при движении вперёд число увеличивается в полтора раза, а назад в два" - на этом основывается простое доказательство, что если гипотеза Коллатца и нарушается для каких-то чисел, то их количество ничтожно мало. Однако это не доказывает саму гипотезу. "количество знаков после запятой в значении коэффициента k очередного числа всегда больше предыдущего, значит совпадения чисел при исполнении алгоритма для любого натурального числа исключены" - я Вам рривел контрпример к Вашему умозаключению.


31.03.2025, 17:47 Трушников Владимир Владимирович
Отзыв: Уважаемый Геннадий Григорьевич, судя по всему Вы поторопились со своими комментариями. Недостаточно осмыслили материал. Моей вины в этом нет, уж не обессудьте. Вы можете легко повторить все математические действия представленные в статье. Самостоятельно вывести формулу (4). Уверяю Вас, это также легко сделать. Ошибки в нет (5) нет. Значения коэффициентов в формулах 5,6...11 определены для конкретного исходного числа 47. Для другого исходного и маршрут будет другой, и коэффициенты будут также другие. После 7-го будет ещё много шагов, прежде, чем мы придем к 2^(2n). Сколько именно не знаю, не проверял. Фиксировать на них внимание нет смысла. Важно было показать общую закономерность, которая наблюдается при исполнении алгоритма для любого натурального числа. Для этого достаточно даже двух шагов: один шаг вперёд, другой назад. Но для большей наглядности я сделал их 7. Откуда взялись дробные: из общей формулы (4), там же, в формуле (4) присутствуют и вещественные остатки от дробного числа, превращающие его в целое. Подставьте исходное число в одно из уравнений 5,6...11 и убедитесь в этом. Я не знаю, какой жизненный опыт напоминает Вам формулировку гипотезы Коллатца, это же Ваш опыт. С уважением, Владимир.


31.03.2025, 18:06 Архипов Вячеслав Георгиевич
Отзыв: Уважаемый Владимир Владимирович! Еще один контрпример. x=-17. Логика Ваших рассуждений из-за отрицательного числа не меняется, но цикл образуется.


31.03.2025, 19:28 Трушников Владимир Владимирович
Отзыв: Уважаемый Вячеслав Георгиевич, в гипотезе Коллатца речь идет о натуральных числах.


31.03.2025, 19:40 Трушников Владимир Владимирович
Отзыв: Уважаемый Борис Иосифович, в предложении "по той простой причине, что при движении вперёд число увеличивается в полтора раза, а назад в два", пропущено одно слово. Надеюсь вы догадались, что оно пропущено нечаянно, и даже знаете какое. Могли бы его просто восстановить, кода привели предложение в качестве аргумента. Если вы не догадались, привожу его как должно быть: "по той простой причине, что при движении вперёд число увеличивается в полтора раза, а назад уменьшается в два", утверждается, что число не будет условно топтаться на месте, и затем снова устремляться вперёд, а будет обязательно возвращаться назад, в те интервалы между успешными решениями, где уже были ранее, отметить очередной шаг, простым перебором. Но здесь, я должен перед Вами извиниться, и признать, что обсуждаемое предложение сформулировано мною не совсем корректно, попробую уточнить, переформулировать, потом обязательно отвечу. С уважением, Владимир.


31.03.2025, 20:11 Цорин Борис Иосифович
Отзыв: "а будет обязательно возвращаться назад" - не "обязательно", а "в подавляющем большинстве случаев".


31.03.2025, 20:19 Трушников Владимир Владимирович
Отзыв: Уважаемый Геннадий Григорьевич, в дополнение к предыдущему комментарию на Ваш отзыв, хочу добавить. Формула (4) предназначена не для того, чтобы определять очередное число. Формула (4) показывает структуру очередного числа. Мы должны результат вычисления по алгоритму привести к такому виду.


31.03.2025, 20:24 Цорин Борис Иосифович
Отзыв: Я Вам дам простой алгоритм, как для большинства "простых доказательств" проверять, что это не доказательства. Даже для таких, как Вы, людей, не знающих и не понимающих математику, есть простой способ убеждаться, что Вы в очередной раз не доказали гипотезу Коллатца. Просто пробегитесь глазами по своим рассуждениям и проверьте, изменится ли в них что-нибудь, если вместо шага 3n+1 всегда делать шаг 3n-1. Ничего не изменилось, кроме некоторых знаков, результат получен аналогичный? Отлично, Вы ничего не доказали. Потому что для 3n-1 циклы есть.


31.03.2025, 20:26 Трушников Владимир Владимирович
Отзыв: "а будет обязательно возвращаться назад" - не "обязательно", а "в подавляющем большинстве случаев". Да, именно это я и имел в виду, когда написал, что предложение сформулировано мною не совсем корректно.


31.03.2025, 21:11 Трушников Владимир Владимирович
Отзыв: Борис Иосифович, Вы претендуете на человека образованного, абсолютно понимающего математику? Зачем Вы ввязались в обсуждение гипотезы, если не знаете её формулировки. Для чего вместо шага 3n+1 всегда делать шаг 3n-1. Пожалуйста, будьте конструктивнее.


1.04.2025, 4:18 Усов Геннадий Григорьевич
Отзыв: Уважаемый Владимир Владимирович! Чувствуется, что Вы не знаете, что делать с формулами, и поэтому привели непонятные выводы. По порядку... "При перемножении двух дробных чисел меньших единицы, записанных в десятичной форме, количество знаков после запятой всегда увеличивается." - покажите отдельно на примере, не заставлйте рецензента "бегать" по формулам. "При делении нечётных чисел меньших единицы на два, количество знаков после запятой также увеличивается." - покажите на примере. "Каждый раз это отражается на структуре коэффициента k, при дробной части числа." - покажите на примере. "Не важно, в какую сторону ведёт нас алгоритм, вперёд-назад, количество знаков после запятой в значении коэффициента k очередного числа всегда больше предыдущего," - покажите на примере. "значит совпадения чисел при исполнении алгоритма для любого натурального числа исключены." - какие числа сравниваются, покажите на примере. "Что и требовалось доказать." - что Вы доказываете, с учётом предыдущего примера?


1.04.2025, 6:39 Трушников Владимир Владимирович
Отзыв: Геннадий Григорьевич, что делать с формулами я знаю, я был уверен, что они не вызовут у читающих особых затруднений. Рецензент Кузнецов Вячеслав Алексеевич также отметил этот момент как недоработку. Может быть более в мягкой форме, но суть та же. Если это действительно необходимо – я исправлю. Посему я должен пока откланяться. Постоянно реагировать на отзывы, какими бы полезными они не были, отвлекает от главного. Отредактирую статью, по всем его, и Вашим замечаниям. Выложу в новой редакции, в надежде, что будет меньше вопросов.


1.04.2025, 8:51 Цорин Борис Иосифович
Отзыв: "Зачем Вы ввязались в обсуждение гипотезы, если не знаете её формулировки. Для чего вместо шага 3n+1 всегда делать шаг 3n-1. Пожалуйста, будьте конструктивнее." - ну тут два варианта... Либо Вы не прочитали мое предыдущее сообщение целиком, либо с нами еще один Ремизов.


1.04.2025, 11:13 Усов Геннадий Григорьевич
Отзыв: Владимир Владимирович! Главная Ваша ошибка в том, что Вы не знаете про доказательство в математике. В формулах должны быть не конкретные числа, а переменные, которые подходят для любых натуральных чисел. А так у Вас частный случай для числа 47.


1.04.2025, 13:30 Цорин Борис Иосифович
Отзыв: Интересный факт: по "доказательству" Трушникова получается, что при стартовом числе 47 не могут совпасть Х40 и Х42.


4.04.2025, 16:41 Харт Алекс
Отзыв: Владимир Владимирович, Вам надо не рецензенту отвечать, а удалять уже свою статью. Вы хотите, чтобы Вашу статью опубликовали? Будет же хуже, если опубликуют. Сами подумайте, есть два варианта. Опубликовали ошибочную статью «Метод опорных делителей для доказательства Великой теоремы Ферма при простых числах n». Можно сказать, что позор автора зафиксировался навсегда. А была еще одна статья, где автор утверждал, что доказал Великую теорему Ферма тем же простым методом, что и сам Ферма. Но автор удалил потом свою статью, поняв ошибки. Можно сказать, что он вовремя соскочил с этого поезда позора. И теперь уже не все помнят про эту статью и того автора. Вам какой вариант позора ближе? Вам надо сначала разобраться с ошибками в статье, а не отвечать рецензенту, который даже в ошибочных статьях находит много интересного. Или Вы думаете, что если статью опубликуют, значит она уже точно правильная?


4.04.2025, 17:29 Цорин Борис Иосифович
Отзыв: "Но автор удалил потом свою статью, поняв ошибки" - наивный Вы человек. Ремизов - да понял ошибки? Не раньше, чем Вы поймете, что "религия матери мира" не имеет отношения к математике, как к науке. Он удалил статью, потому что обиделся, что тут ее не публикуют, а почему-то критикуют. Если еще жив, то ходит и рассказывает знакомым, какой он непонятый гений.


7.04.2025, 13:06 Харт Алекс
Отзыв: «Ремизов - да понял ошибки?» - Ремизов не утверждал, что он доказал ВТФ тем же методом, что и сам Ферма. Напротив. Он утверждал, что в отличие от других математиков, он первый кто использовал мат. анализ для доказательства ВТФ, и поэтому у него и получилось, а у других нет. Речь шла о работе автора Архипов Вячеслав Георгиевич. Вот он именно и утверждал, что доказал ВТФ тем же методом, что и сам Ферма. «Не раньше, чем Вы поймете, что "религия матери мира" не имеет отношения к математике, как к науке.» - Если есть желание подискутировать на тему упоминаемой Вами статьи, то велком на ту статью. Но у Вас нет аргументов. Но если все же захотите начать такую дискуссию, то было бы не лишним, если бы Вы начали со своего мнения относительно рецензий на эту статью Ашрапова Улугбека Товфиковича. По всей видимости, он живет по принципу: «Если наука противоречит его религии, тем хуже для науки». Но ничего. Он рецензент этого журнала. И никто даже не высказал своего несогласия с его мнением. «Он удалил статью, потому что обиделся, что тут ее не публикуют, а почему-то критикуют. Если еще жив, то ходит и рассказывает знакомым, какой он непонятый гений.» - Возвращаясь к Ремизову, я конечно могу ошибаться, но мне кажется он все-таки понял ошибочность своего доказательства. Вспомним, чем закончилась дискуссия. Его спросили: «откуда он взял такую чушь?». Он ответил: «придумал сам, поэтому у меня и получилось доказательство». Но ему ответили, что «в математике надо доказывать утверждения». И после этого последовало удаление статьи. Видимо он понял, что доказательства его утверждению про разрывы функции и экстремумы (я уже не очень помню, как там формулировалось у него) у него нет. Но может быть он через какое-то время и найдет «доказательство» своего утверждения и опубликует улучшенный вариант своей статьи.


9.04.2025, 9:04 Цорин Борис Иосифович
Отзыв: "Не важно, в какую сторону ведёт нас алгоритм, вперёд-назад, количество знаков после запятой в значении коэффициента k очередного числа всегда больше предыдущего, значит совпадения чисел при исполнении алгоритма для любого натурального числа исключены" - я гляжу, после редактирования статьи ключевая ошибка осталась. Таки статью можно удалять.


11.04.2025, 10:35 Цорин Борис Иосифович
Отзыв: При доказательстве "утверждения 1" ошибочное умозаключение: "количество знаков после запятой в значении коэффициента k очередного числа всегда больше предыдущего, значит совпадения чисел при исполнении алгоритма для любого натурального, большего единицы, числа исключены". Контрпример к этому умозаключению я приводил в отзыве от 28.03. В доказательстве "утверждения 2" попытка доказательства отсутствует в принципе, использование выражений вида "всеобъемлющий и закономерный" и "алгоритм есть ЗАКОН" не несет доказательной силы. Статистическое объяснение, почему для случайно взятого числа вероятность по алгоритму Коллатца дать единицу стремится к единице, не является доказательством отсутствия исключений, а также не является чем-то новым и/или нетривиальным. В текущей версии статьи научная ценность по-прежнему отсутствует.


18.04.2025, 21:58 Цорин Борис Иосифович
Отзыв: Ошибки, указанные мной неделю назад, никуда не делись. Несмотря на многократное редактирование, научная ценность статьи по-прежнему отсутствует.


Оставить комментарий


 
 

Вверх