Доказал теорему Коллатца. Как опубликовать, если я любитель

[lek]

[Yadryara]

Фундаментальная единица Прикольно. Только порАждающая бросается в глаза.

[Rak so dna]

(Оффтоп)

Yadryara спасибо, исправил.

[Artem Collatz]

Ну я пишу все простыми словами, терминологии давно забыл. Хотя мне преподавали на хорошем уровне.

[Artem Collatz]

Случай 6n+1:
(6n+1)3+1=6*3n+3+1=6*3n+1=6k+4, где k=3n.
т.е. группа 6n+1 переходит в группу 6k+4, при четном n, k - четное, при нечет n, k - нечет.

Случай 6n+3:
(6n+3)3+1=6*3n+9+1=6*3n+10=6*3n+6+4=6(3n+1)+4=6k+4, где k=3n+1
т.е. группа 6n+3 переходит в группу 6k+4, при четном n, k - нечет, при нечет n, k - чет


Случай для 6n+5:
(6n+5)3+1=6*3n+15+1=6*3n+16=6*3n+12+4=6(3n+2)+4=6k+4, где k=3n+2
т.е. группа 6n+5 переходит в группу 6k+4, при четном n, k - чет, при нечет n, k - нечет

Случай для 6n
При четных n: 6n/2=6k, где k=n/2, где k либо чет либо нечет
При нечетных n: 6n/2=(6(2k+1))/2=(6*2k+6)/2= 6k+3, где k=(n-1)/2, где k либо чет, либо нечет

Случай 6n+2
При четном n, (6n+2)/2=6n/2+1=6k+1, где k=n/2, где k либо чет, либо нечет
При нечетных n: (6n+2)/2=(6(2k+1))/2=6k+4, где (k=n-1)/2, где k либо чет, либо нечет


Случай 6n+4
При четном n, (6n+4)/2=(6*2k+4)/2=6k+2, где k=n/2, где k либо чет, либо нечет
При нечетных n: (6n+4)/2=(6*(2k+1)+4)/2=6k+5, где k=(n-1)/2, где k либо чет, либо нечет

-- 13.04.2026, 19:15 --

Получаем вот такие вот возможные переходы:
6n+1 (чет) - 6k+4 (чет)
6n+1 (нечет) - 6k+4 (нечет)
6n+3 (чет) - 6k+4 (нечет)
6n+3 (нечет) - 6k+4 (чет)
6n+5 (чет) - 6k+4 (чет)
6n+5 (нечет) - 6k+4 (нечет)
6n (чет) - 6k (чет) либо 6k (нечет)
6n (нечет) - 6k+3 (чет) либо 6k+3 (нечет)
6n+2 (чет) - 6k+1 (чет) либо 6k+1 (нечет)
6n+2 (нечет) - 6k+4 (чет) либо 6k+4 (нечет)
6n+4 (чет) - 6k+2 (чет) либо 6k+2 (нечет)
6n+4 (нечет) - 6k+5 (чет) либо 6k+5 (нечет)

-- 13.04.2026, 19:17 --

Далее начинаем рисовать древо переходов начиная с любого 6n+Z

[yesterday]

Я думаю, что вам надо ваше сообщение от 12.04.26 18:47 и ваше последнее сообщение переписать в Тех, объединить их и опубликовать в ПРР(М).

[Mihr]

На самом деле, числа кратные 3 стоило бы вообще исключить из рассмотрения. Дело в том, что преобразование $f(n)=\dfrac{n}{2}$ сохраняет делимость на 3 (число кратное 3, остаётся кратным 3, а число не кратное 3 остаётся не кратным 3), ну, а преобразование $g(n)=3n+1$ уничтожает делимость на 3: всякое натуральное число оно превращает в число, не кратное 3. Поэтому, если "маршрут" начался из класса чисел вида $6n+3$ либо вида $6n$, то он, соответственно, либо на первом же шаге либо через конечное число шагов покидает каждый из этих классов и уже никогда ни в один из них не возвращается. В противном случае требовалось бы пользоваться только преобразованием $f(n)=\dfrac{n}{2}$, что, очевидно, невозможно, так как бесконечной убывающей последовательности натуральных чисел не существует.

Artem Collatz в сообщении #1722237 писал(а):

Получаем вот такие вот возможные переходы

Пока я не смог понять, какая от всего этого радость.

Artem Collatz в сообщении #1722237 писал(а):

Далее начинаем рисовать древо переходов начиная с любого 6n+Z

Начните. Если и впрямь хотите показать свой результат.

[Artem Collatz]

***
↑
6n+4(Ч) *** ***
↑ ↑ ↑
6n+2(Ч) 6n(Н) 6n+4(H) ***
↑ ↑ ↑ ↑ ***
6n+1(Ч) 6n+3(Н) 6n+5(Ч) 6n+2(Н) ↑
↑ ↑ ↑ ↑ 6n(Ч)
└ ─ ─ ─ ┐ ↑
6n+4(Ч) 6n(Ч) ***
↑ ↑ ↑
6n+2(Ч) 6n(H) 6n+4(H) ***
↑ ↑ ↑ ↑
6n+1(H) 6n+3(Ч) 6n+5(H) 6n+2(H)
└ └ ┬ ┘ ┘
↑
6n+4(H)
↑
6n+2(H)
Нарисовал как смог, если ничего не напутал..

-- 13.04.2026, 20:09 --

Все сползло.............

-- 13.04.2026, 20:10 --

Как картинку загрузить?

[wrest]

Artem Collatz в сообщении #1722247 писал(а):

Как картинку загрузить?

См. «Про то, как вставлять картинки»
Загрузку именно файлов с картинками форум не поддерживает, так что через тег [img] можно "вставить" внешнюю картинку.
Я пользуюсь хостингом https://imgbb.com/

[Artem Collatz]

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

[george66]

Выложил статью на https://zenodo.org/ и послал в свежесозданный журнал Annals of Formalized Math, куда берут только статьи, проверенные пруфчекером (ссылку на статью я на форуме уже давал, на моём гитхубе George66). Артём, вот учитесь, как гадости делать, у меня выдающийся опыт шарлатанства. Раньше, чтобы застолбить приоритет, математики выкладывали статьи на arxiv.org (рекомендация была нужна от знакомого математика, мне дал Верещагин). Затем, помимо проникающих шарлатанов и общего замусоривания, начался плагиат. Кто-то выложил чужое доказательство как своё, обкраденный пообещал подать в суд. А удалить там, по замыслу, ничего нельзя, потому что блокчейн (на самом деле можно, если попросит Сирожа Яковенко). Тогда стали требовать affiliation. И вот новый журнал принимает статьи с zenodo! Играет, так сказать, в демократию. Так вот вам 1600 строк Coq. Давайте, требуйте affiliation, чтоб кто попало не писал. И статьи чтоб только про гомотоп.

[Artem Collatz]

Георг, я не совсем понял. я не проф математик

[wrest]

Artem Collatz в сообщении #1722256 писал(а):

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

Можете потренироваться тут: testirovanie-f20.html