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

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

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

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

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

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

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

пенсионер

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


Abstract:
The paper presents a simple proof of the claim that there are no loop sequences in the Collatz algorithm, based on the properties of multiplication and division of decimal fractions.The mechanism of the algorithm is revealed, as a result of which the number changes the direction of its movement, explaining why the number will never go to infinity, but from the very beginning of its movement rushes towards one, and ultimately reaches it, no matter how long and thorny the path may be.


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

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.

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

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


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


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

Таблица 1

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

Формула 1

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

Формула 2

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

Формула 3

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

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


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

К слову сказать, так называемый цикл 4-2-1, часто упоминаемый в связи с гипотезой Коллатца, по определению не является кольцом. Алгоритм «3X+1», или «3n+1» – гипотеза: есть сокращённое название гипотезы Коллатца, сокращённая запись алгоритма, а полный алгоритм перехода из одного состояния в другое, от одного нечётного к другому нечётному, включает ещё и деление на два, сформулирован в самом определении: с какого бы числа мы не начали, двигаясь, в случае нечётного по формуле 3X+1, а в случае чётного следуя формуле X/2, мы в итоге придём к единице. Является ли такая формулировка гипотезы точной, максимально приближенной к формулировке, какую изложил в 1932 году сам Лотар Коллатц, уточнял ли он её позднее – это нам достоверно не известно. Утверждается, что эта простая формулировка понятна практически всем здравомыслящим людям. После того, как мы пришли к единице алгоритм завершается, точка. Кольцом может называться последовательность, состоящая из нескольких нечётных. Фраза “С какого бы числа мы не начали…” - между строк содержит смысл, в котором имеется в виду, что несомненно, это число должно быть натуральное и оно должно быть больше единицы и больше известного проверенного. С этого - только начинается ГИПОТЕЗА.
Но, мы работаем с разными натуральными числами, маленькими, большими. Если гипотеза верна, она верна для любого натурального.

 

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

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

Рисунок 1

 

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

Формула 4

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

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

Формула 6

Аналогично с шагом 1, переход от X1=107 к X2=161 можно выразить через коэффициент K2

Формула 7

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

Формула 8

Переход от X2 =161 к X3=121 можно выразить через коэффициент K3 

Формула 9

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

Формула 10

Переход от X3 =121 к X4=91 можно выразить через коэффициент K4

Формула 11

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

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

Формула 12

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

 Формула 13

Формула 14

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

Вывод: 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

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

Формула 15

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

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

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

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

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

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

Формула 16

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

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

Формула 17

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

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

Формула 18

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

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

Формула 19

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

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

Формула 20

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

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

Таблица 2

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

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

   Обозначение:
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 … Mn, а числа с чётным номером 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 и какую чётность имеет его порядковый номер. Для этого достаточно воспользоваться формулой (16). Прибавим к числу единицу и разделим результат на четыре, если делится без остатка, значит принадлежит. Если после деления на четыре  делится без остатка на два, значит чётное.

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

Рисунок 14

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

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

Мы убедились в том, что у числа нет возможности, попав однажды в первое множество пребывать там неограниченно долго. Тем не менее остаётся теоретическая возможность чередования множеств M1 и M2 , периодически покидая одно, снова возвращаться и двигаться далее вперёд. Закономерный переход из одного множества в другое этому не противоречит. Чередование множеств M1 и M2 обеспечивает числу  неуклонное продвижение вперёд. Какова вероятность бесконечного чередование множеств M1 и M2. Проблема такого сценария для числа устремлённого в бесконечность заключается в существовании  закономерной возможности проявиться  всё тому же закону перехода количественных изменений в качественные, в любой момент  перейти в другое множество, и таким образом прервать бесконечный процесс такого чередования, как впрочем любого другого. 

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

Рисунок 15


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

Формула 21

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

Формула 22

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

Формула 23

Алгоритм, воздействуя на формулу числа M1 изменил значение коэффициента при номере n числа. Было 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, всегда один: сначала закономерное движение к нечётному, а затем переход в другое множество.


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

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

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

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

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

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

 

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

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

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

Рисунок 16


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

Рисунок 17

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

Формула 24

где 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, и оно описывается формулой:

Формула 25


Рисунок 19

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

Формула 26

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

Формула 27

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

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

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

Рисунок 20


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

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

Рисунок 21


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

Рисунок 22-1

Рисунок 22-2

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

Рисунок 23


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

Рисунок 24


Рисунок 25


Рисунок 26

Рисунок 27


Рисунок 28


Рисунок 29

Рисунок 30

Число продвигается не только вперёд и назад, и переходит из одного множества в другое, но ещё и переходит  из одного параллельного ряда групп в другой параллельный. И здесь в параллельных рядах становится ещё более очевидным стремление числа сворачиваться в единицу. Траектории движения исходного 77031 в пределах разных рядов групп являются наглядной демонстрацией действия алгоритма по отношению к любому натуральному в пределах ряда  натуральных чисел. У каждой последовательности свой максимум, при достижении которого происходит смена направления и затем неуклонное движение к числу ниже исходного. Максимум в любой последовательности принадлежит одному из множеств  M3, M4, M5 … Mm. Конкретно, в рассматриваемой последовательности с исходным 77031 максимальным оказалось число 7 311 005, принадлежащее M3. Следующим шагом оно уменьшилось до 2 741 627. Если бы число 7 311 005 принадлежало любому другому из множеств  M4, M5 … Mm, оно бы уменьшилось ещё более существенно, так как делить на два пришлось бы большее количество раз. Подобные возвращения числа на несколько шагов назад запускают механизм простого перебора на пути к успешному решению. Каждое из множеств  M3, M4, M5 … Mm,  не одно, так другое, становится непреодолимой преградой числу продвигаться дальше, в сторону увеличения.

Если очередное число в алгоритме Коллатца отличается от предыдущего  в kn раз, где коэффициент kn = (3Xn-1+1)/2m, а m - степень двух в знаменателе алгоритма, соответствующая текущему шагу, то очередное число одного из закономерных параллельных рядов отличается от предыдущего этом ряду в число раз, определяемым произведением всех промежуточных коэффициентов (Рис24,  Рис25… Рис.30). На этих приведённых рисунках значение коэффициента kn представлено в упрощенном виде 3/2m. Этого достаточно, чтобы сопоставить произведение всех промежуточных коэффициентов с единицей.  Если произведение всех промежуточных коэффициентов между очередным и предыдущим больше единицы – число растет, если меньше – уменьшается. Мы имеем только  два сценария для числа: или увеличиваться, или уменьшаться. Не существует причин доминирования одного сценария над другим. Сколько будет и тех и других для произвольного исходного натурального не так важно. Рисунки Рис.24 – Рис.30 показывают, что будут иметь место оба сценария.  Но, с увеличением их общего количества, становится актуальным – закон перехода количественных изменений в качественные.  Увеличение общего количества шагов неизбежно ведёт к увеличению разнообразия коэффициентов. Факт, который становится в итоге определяющим в закономерной общей тенденции движения числа.

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


Формула 28

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

Формула 29

Производительность числа напрямую зависит от делителя, входящего в формулу алгоритма. Сравнивая делители разных множеств, мы косвенно, сравниваем их производительности. Производительность W2 оказалась меньше  W1, несмотря на то, что делитель 4∈M2 больше делителя 2∈M1. Продвижение назад никогда не бывает тождественно по совершаемой работе продвижению вперёд. Формула неравенства (29) наглядный пример проявления асимметричности алгоритма. Такая асимметричность алгоритма только способствует  обретению статистического разнообразия  делителей. Единственная возможность для числа увеличиваться существует в условиях, описываемых формулой:

Формула 30

Здесь: a, b, c, d … z – такое количественное соотношение множителей в последовательности или в отдельном фрагменте последовательности, которое приводит к результату, большему единицы.
Но, стремление последовательности в бесконечность  сопровождается обретением коэффициентов с большим значением делителей, которые возвращают нас на несколько шагов назад. Помимо увеличения общего количества множителей в интервале, ограниченном максимальным числом последовательности, их состав обогащается разнообразием делителей.  И тогда закономерным результатом произведения всех промежуточных коэффициентов между очередным и предыдущим становится уже значение, меньшее единицы, потому что в пределе формула (30) трансформируется в (31).

Формула 31


Произведение всех промежуточных коэффициентов меньшее единицы переводит число ниже исходного. В формуле (31) число “n” является максимальным числом последовательности, в пределах  которого осуществляется алгоритм.  Для каждого, ограниченного числом “n”, натурального ряда существует ограниченное количество всех входящих коэффициентов. Последовательность по алгоритму Коллатца может как угодно долго продолжать увеличивать своё максимальное значение “n”, но значение, меньшее единицы,  в формуле (31) остаётся неизменным. Если мы удвоим ряд чисел до “2n”, то в отдельно взятой второй части произведение всех  промежуточных коэффициентов окажется меньше, чем в первой, потому что при их одинаковом количестве, во второй части ряда появятся коэффициенты с ещё большим значением делителей.  
Каждое натуральное продвигаясь по алгоритму Коллатца накапливает необходимое количество множителей с максимальным разнообразием делителей для того, чтобы осуществилась формула (31). Так мы приходим к неожиданному выводу: становится очевидным, что именно формула (31) является решением алгоритма Коллатца, его конечной целью.  А завершение последовательности в единице для любого натурального есть уже её неизбежное следствие. Формулу (31) упростим:

Формула 32


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

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

Не существует таких, которые бы уходили в бесконечность, потому что существует закономерный переход из одного множества в другое, из одного параллельного ряда групп в другой параллельный. Закономерный переход из одного множества в другое является математическим описанием известного закона перехода количественных изменений в качественные. Из чего следует другой, не менее важный, вывод - переход из одного множества в другое, свидетельствует о его качественных изменениях, которые достигаются делением числа пополам. Следствием перехода из одного множества в другое является обретение новых промежуточных коэффициентов в формуле (31) или (32);

Не существует предпосылок, указывающих на какую либо иную возможность числу, принадлежащему М1 преодолеть преграду нечётных из M2, M3, M4 … Mm
А непрерывное продвижение числа вперёд в чётных последовательностях множества М1, c чётными порядковыми номерами входящих в них чисел, ограничено количеством шагов алгоритма, до тех пор, пока порядковый номер последовательности делится пополам. Деление пополам в алгоритме Коллатца и здесь оказалось главным действием, определяющим дальнейшую судьбу натурального;

Не существует таких, которые бы уходили в бесконечность, потому что на своих маршрутах, какими бы сложными и длинными они не были, последовательности неизбежно накапливают, обогащают себя необходимым количеством разнообразных коэффициентов до тех пор, пока их произведение не станет меньше единицы для того, чтобы в конечном итоге, осуществилась формула (31). Формула (31) открывает прямой путь к единице. На этом алгоритм завершается. Значит абсолютно все последовательности, с любым натуральным в качестве исходного стремятся к единице.

Таким образом, в совокупности приведенных выше аргументов, утверждение 2 доказано: не существует последовательностей уходящих в бесконечность.

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

ГИПОТЕЗА КОЛЛАТЦА ДОКАЗАНА.

 

РЕЗУЛЬТАТЫ: В процессе доказательства гипотезы Коллатца были обнаружены прежде неизвестные закономерности натурального ряда. Множества нечётных Коллатца очевидно являются не единственными. Другие алгоритмы также могут уточнить его структуру.

В процессе работы над доказательством гипотезы введены новые понятия:

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

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

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



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

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 Цорин Борис Иосифович
Отзыв: Ошибки, указанные мной неделю назад, никуда не делись. Несмотря на многократное редактирование, научная ценность статьи по-прежнему отсутствует.


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


 
 

Вверх