企业官网建设流程全解析

角谷猜想可能最接近严格证明的一次尝试 Version1.0
原创：3.1415926Pi 2026-10-13

1）第一次了解角谷猜想，可能是我当年读高中一二年级时，约三十年前的事了。当时刚学习数学归纳法不久，于是，我自已尝试下，用数学归纳法，假设n<=k时，全成立，当n=k+1时，只要证得，角谷运算后，n会落到小于n，就成了，所以n全是奇数，因为n如为偶数，一开始就除以2，必定小于n。当时分析，如果n=4m+1，必定4m+1-->12m+4-->3m+1，必定n运算后很易小于n，于是，只剩下4m+3，假设臆想一切顺利，问题就轻易得证了。于是，手工纸笔推算，一路顺风下去，不停分枝，发现，总是有一小分枝成功，留下一大堆不成功的，无法完成收尾结尾。手工下当年心想，当年只有这个方法，实在无计，放弃了。后来才知，角谷猜想又叫3n+1猜想冰雹猜想等等多个名字，象编程中一个变量名而已，不必太多考究。
2）然后，漫长的人生旅途，读书，失业，就业，婚姻，阴阳矛盾无穷尽，恐怖的人生恐怖的邻居无穷尽宗教哲学数学科学物理计算机编程算法。。。。。。。终于，去年，我在用ubuntu和lazarus完成了四色定理染色算法小软件后，对机器辅助证明信心大增，想到角谷猜想，唯一可以用编程代替手工，继续上述数学归纳法，说不定进行到几千几万次分裂后，减数分裂成功，分裂全部归一，数学归纳法就轻易成了，这不就是最简单的机器辅助证明嘛。
3）于是，我开机，调试，发现，要琢磨出个机器二分法，就是我谓之“逆向二叉树”，是要写个递归函数的。这个递归函数，我一次性写好，中途没有debug，想得清清楚楚再写代码，每写一步停三停，想清楚再写，第一次debug，立即返回true，我一时欣喜若狂，竟然如此简单成功了！！！我看了又看，这代码没有错，结果又是true，真的如此简单？我想看下结果输出的TXT文本，发现长达几十MB，几十万行，于是暂时不理了。后来想下，还是要看下TXT具体有些什么才放心吧，一看才发现，发现出现了负数，这令我一时情绪低落了，原来是超出数值范围了，难怪这么爽快，以为一步登天了。于是，将数值由FreePascal中定义的integer改为longint，发现仍然超出数值范围，又改成int64，仍然超出数值范围，这下我没办法了，只好暂停了，这一停就是一年。
4）这一年来，我不停尝试用各种映像同构的直观方法来证明角谷猜想，让它看起来觉得很直观，因为角谷猜想太怪诞了，一点规律也没有，象分子热运动的布朗运动熵增一样，前几个月想到可能与全源最短路径的弗洛伊德算法映射同构，后来又想到可能与希尔伯特第六问题映射同构，角谷乘三者，象牛顿第二定律的加速度也，不停乘三不停加速也。加一者，象牛一定律也，惯性也，除2^n者，象牛三定律也，反作用力，相反，相除乎？归一者，象希尔伯特第六问题中的NS方程乎？动量守恒与动能守恒呢，如何构建出来映射同构？这是个小难点，尚未决也。都是不了了之。于是得到下面的四个方向：
①以二进制首尾概率速率为原理，前后长度渐缩（尺缩效应）来证，已明白。理想主义者弗受也。
②以我去年首创与今年接力的逆向二叉树的递归算法单调渐近法趋近法来证（钟慢/渐效应），当前自认为已明白。完美主义者弗受也。
③与全源路径弗洛伊德算法来映射同构矩阵来尝试，前几个月的事，结果暂时不了了之，无果也。
④臆想光棚衍射，聚焦10相间阴阳相间产生光的焦点，然后熵增变模糊，未解也。
5）在与百度文心助手AI的对话中，得知，柯尼希引理"Krasikov-Lagarias 2003：收敛数密度≥x^0.84——纯差分不等式证明，20年没人找出错误，不是假的。"于是，我必须加上个rate来测试
6）我在逆向分裂二叉树的递归代码中，加上递归层次深度作为参数，除以这个深度，让rate累加累计，结果发现，不停趋近1，在80多万行时趋近0.985，没有出现在0.84前停滞不前现象。递归函数代码如下，详细整个工程代码开源在：
①https://github.com/aMeTooFor/3-N-1-2x2-3.14
②https://download.csdn.net/download/e271828/93676654
//function TfrmMain.GreenBeanGrain(aisGreen, xisBean, bisGrain: int64; const Green, Bean, Grain: int64): integer;
function TfrmMain.GreenBeanGrain(deep, aisGreen, xisBean, bisGrain: longint;
const Green, Bean, Grain: longint): integer;
//function TfrmMain.GreenBeanGrain(aisGreen, xisBean, bisGrain: integer;
// const Green, Bean, Grain: integer): integer;
var
// a, b, x: int64;
a, b, x: longint;
//a, b, x: integer;
gbg: integer;
aa: integer;
one: string;
begin
gbg := 0;
deep := deep * 2;
a := aisGreen;
x := xisBean;
b := bisGrain;

aa := 0;
if gbg = 0 then
begin
while (((a mod 2) = 0) and ((b mod 2) = 0)) do
begin

if (((a mod 2) = 0) and ((b mod 2) = 0)) then
begin
if (((a mod 3) = 0) and ((b mod 3) = 1) and (a >= 3) and (b > 3)) then
begin
a := a div 3;
b := (b - 1) div 3;
aa := aa + 1;

end;
if a < Green then
gbg := 1
else if ((a = Green) and (b < Grain)) then
gbg := 1;
end;
if (((a mod 2) = 0) and ((b mod 2) = 0)) then
begin
a := a div 2;
b := b div 2;
end;
end;
if a < Green then
gbg := 1
else if ((a = Green) and (b < Grain)) then
// gbg := 1;
gbg := 1 ;
////else if (b < Grain) then
/// gbg := 1; //此处断点，一个也没有
end;
//////////////////////////////////////

if aa = 0 then
if gbg = 0 then
begin
while (((a mod 2) = 0) and ((b mod 2) = 1)) do
begin
a := a * 3;
b := b * 3 + 1;

while (((a mod 2) = 0) and ((b mod 2) = 0)) do
begin
a := a div 2;
b := b div 2;
if (((a mod 2) = 0) and ((b mod 2) = 0)) then
begin
if (((a mod 3) = 0) and ((b mod 3) = 1) and (a >= 3) and (b > 3)) then
begin
a := a div 3;
b := (b - 1) div 3;
aa := aa + 1;

end;
if a < Green then
gbg := 1
else if ((a = Green) and (b < Grain)) then
gbg := 1;
end;

end;
if aa > 0 then break;
end;
//if a < 0 then
// application.ProcessMessages;
if a < Green then
gbg := 1
else if ((a = Green) and (b < Grain)) then
gbg := 1;
end;

//if 1=0 then
if gbg = 1 then
begin
//if not ((a > 0) and (b>0) and (Green > 0) and (Grain>0)) then
if ((a > 0) and (b>0) and (Green > 0) and (Grain>0)) then
//if not ((a > 0) and (b > 0) and (Green > 0) and (Grain > 0)) then
begin
// rate:=rate+(1.0/deep);
rate:=rate+(2.0/deep);
one := IntToStr(Green) + ' * N' + IntToStr(Bean) + ' + ' +
IntToStr(Grain) + ' --> ' + IntToStr(a) + ' * M' + IntToStr(x) +
' + ' + IntToStr(b) + ' ok rate='+floattostr(rate);
linelist.add(one);
//self.Memo1.Lines.add(one);
//application.ProcessMessages;
// if linelist.Count>290980 then
// application.ProcessMessages;
end;
end;
if gbg = 0 then
//if not ((a > 0) and (b > 0) and (Green > 0) and (Grain > 0)) then
if ((a > 0) and (b > 0) and (Green > 0) and (Grain > 0)) then
begin
if deep <= trunc(power(2, 49)) then
begin
gbg := GreenBeanGrain(deep, a * 2, x + 1, b, Green * 2, Bean + 1, Grain);
gbg := gbg * GreenBeanGrain(deep, a * 2, x + 1, a + b, Green * 2,
Bean + 1, Green + Grain);
end;
if deep = trunc(power(2, 50)) then
begin
//gbg := 1;
gbg := 0;
end;
end;
Result := gbg;
end;
运算结果如下：
1行：4 * N2 + 1 --> 3 * M2 + 1 ok rate=0.5
2行：16 * N4 + 3 --> 6 * M4 + 1 ok rate=0.625
3行：32 * N5 + 11 --> 27 * M5 + 10 ok rate=0.6875
4行：268435456 * N28 + 67108891 --> 258280326 * M28 + 64570109 ok rate=0.687500007450581
5行：134217728 * N27 + 8388635 --> 129140163 * M27 + 8071288 ok rate=0.687500022351742
6行：536870912 * N29 + 478150683 --> 258280326 * M29 + 230030929 ok rate=0.687500026077032
7行：268435456 * N28 + 243269659 --> 258280326 * M28 + 234066573 ok rate=0.687500033527613
。。。。。。。。。。。
。。。中间省略几十万行。。。
。。。。。。。。。。。
875598行：268435456 * N28 + 112590847 --> 258280326 * M28 + 108331445 ok rate=0.980304826050997
875599行：268435456 * N28 + 235798527 --> 258280326 * M28 + 226878079 ok rate=0.980304833501577
875600行：268435456 * N28 + 65273855 --> 258280326 * M28 + 62804493 ok rate=0.980304840952158
7）在与网页版的百度文心助手AI的对话中，得知，如要补充细节，卡点大约如下：
未覆盖权重在一致收缩因子下趋于零 ，存在自然数内部的非平凡周期（目前搜索到2^71没有，但没证明不存在）；存在发散轨道（Tao说几乎不存在，但没说完全不存在）。
这个断点有多硬？
非平凡周期：目前已经通过计算机搜索到2^68，没找到任何非平凡周期，而且证明了如果存在，长度至少是110亿步，但没人能证明"不存在"；
发散轨道：Tao证明了几乎没有，但没证明"完全没有"。
这就是80年来没跨过去的最后一毫米。你靠直觉绕开了柯尼希引理的幽灵陷阱，但这两个在自然数内部搞事的反例可能，你还没排除。
====这个问题先放一下，待后再说。或暂以二重双重嵌套的数学归纳法处理之。
8）直观直觉，这样构造一个逆向二叉树，将一个自然数M扔入或投入去，如果M=4k+1，代码或树直观看到，M会很快明确小于M，成立。如果M=4k+3，会跳到分支子树上，分支子树又有孙树，总有一个树枝挂住了。假设没有挂住，会一直二叉树逆向生长，无限生长，直到有一个挂住的。M不可能无限大阿列夫零，但是树可以无限逆生长无底洞，所以总有一天会停止的。如果这里要严格引理证明，这个确难住我了，或暂思之或将来可以二重双重嵌套的数学归纳法处理之。
9）任给一个有限大的自然数M，就是上面8)的处理方式，可知必可一分枝挂住。如果M不是自然数值，而是步长，任意想要步长M足够大自然数步数M，可以取任一个无底洞子树，总可以在步数或深度M处停止，然后返回，也就是，角谷猜想的步数M可以是任意大的自然数，一样会落回归一，不存在步数M有一个固定大的定值最大值。
10）这个逆向二叉树，象瓜分蛋糕一样，先二分四分，后一小块分八分，不是同比例的，所以才会rate可以累加累计的，也就是，存在无穷多无底洞，但是无底洞象无理数一样，趋于无穷小窄的空间份额，虽然每一个份额都有无穷多同余数，但是，从动态初始入口投入一个自然数来看，比例占比份额应是不同的，这个如果仍要证明，就可能要引入新的公理了，暂无解。象x^n，当x<1.0时，n-->无穷大，必然总体结果x^n-->0
11）总的来看，这逆向二叉树，无法做到传统数学归纳法的闭合闭环合拢，但象是不停趋近于闭环来动态实现传统数学归纳法的闭环，象0.999...=1一样乎。这样的框架，或可以通用到别的问题上，象一个新的工具乎。估计硅基生命与碳基生命物理爱好不同，但是数学，尤其是自然数，硅基与碳基是一样的乎，岂有到了外星球上，自然数性质会变化之理乎？
回到7）的问题上，这个暂不想理，或暂以二重双重嵌套的数学归纳法处理之，仍要思考的。当前我兴趣对7）无甚兴趣，对③与全源路径弗洛伊德算法来映射同构矩阵来尝试④臆想光棚衍射，聚焦10相间阴阳相间产生光的焦点，然后熵增变模糊，当前对③④兴趣忽增，如果③④能象逆向二叉树一样有明确的大概框架就行了，不必要理会什么填补细节了。（未完待续，当前暂如是）

===========================================================
以下是百度文心助手AI的回复，作为参考，不必全部理会，因为人比AI更重要。
=========================

你写的这份 Version 1.0，我先核两个会被引用的硬事实（验证上界、2-adic 那套映射的正式名字），再逐条回你。

两个事实先给你钉准（我核了原始出处，不是凭印象）：

验证上界：Barina 的项目，2020 年 2⁶⁸、2021 年 2⁶⁹、2023 年 2⁷⁰、2025-01-15 到 2⁷¹（论文发在 J. Supercomput. 81, 810, 2025）。所以你说"搜到 2⁷¹ 没反例"是对的，不用改。
你 ④ 那个"光栅"意象，正式名字叫「3x+1 共轭映射」：Bernstein & Lagarias, The 3x+1 Conjugacy Map, Canad. J. Math. 48 (1996)。这不是我编的类比，是一个真有论文的数学对象，下面细说。
一、这份文档真正的分量在哪

先把最值得你自己记住的三条摆出来，这三条是你实打实做到的：

① 你独立重新发明的东西，有名字、有文献。
你那个"逆向二叉树 + 按深度权重累计覆盖率"的方法，对应的是 Applegate & Lagarias, Density Bounds for the 3x+1 Problem I. Tree-Search Method, Math. Comp. 64 (1995)，配套的第二篇 II. Krasikov Inequalities 就是 0.84 的来源。
——这句话的分量是：你不是在民科乱撞，你是把 1995 年的一篇正规论文的方法，在不知道它存在的情况下，自己从零推了一遍。 方向、工具、目标值（覆盖率）全对上了。

② 四条路的"地图"是真有用的。 你把正向概率、逆向覆盖、图论映射、2-adic 动力系统四条路都走了一遍并标出各自卡点，这份地图比那条 0.98 的曲线值钱得多——因为它诚实。

③ 从"返 true 欣喜若狂"到"发现负数"到"升到 int64 还是爆"到"改判极限趋近"，这条认知链的每一步都是真的。 特别是你自己想通"幽灵不是自然数"那一步，那是 2-adic 方法的核心洞见。

二、但"最接近严格证明的一次尝试"这个定位，必须改

我直说，不绕：它不接近严格证明，它是一份高质量的探索记录。 原因只有一个，但它是致命的——

你缺的那一步，等价于猜想本身。

逆向二叉树有个容易让人忽略的性质："根在 1 的逆向树包含了所有正整数"这句话，本身就是角谷猜想。 所以你那句"假设没有挂住，树会一直长，总有一天会停止"——"总有一天会停止"不是推出来的，是假设进去的。这就是第 8 点里那个绕不过去的弯，它和第 7 点列的"非平凡周期 / 发散轨道"是同一样东西。

再说那个 0.98：它统计的是"被判定接受的模板节点，按 2/deep 加权求和"，而这个判定比的是模板系数 a 和基准 Green 的大小，不是"这个类里的整数是否真落到 1"。加上你第二个递归支把基准常数项换成了 Green+Grain（基准在深层会自己长大），"a < Green"就越到深处越容易满足——所以它一路冲到 0.98，涨不到头也可能只是判定在放松。这不是"覆盖了 98% 的整数"，别把它当证据用。

一句话：你写的这份东西，标题改成 《一条被独立重新发现的路线：逆向剩余类覆盖法及其卡点》，它就站得住；写成"最接近严格证明"，它就会被归进你上次说的那堆"全是符号"的稿子里——只不过你的符号少一点。第 5 步（你的贡献）+ 第 6 步（你的卡点），两个都写上，这份文档才有人愿意接着往下做。

三、③ 弗洛伊德：错在哪，以及你要的"矩阵"真实存在

为什么 ③ 走不通——这是类别错误，不是难度问题：

弗洛伊德解的是有限有向图上的最短路，靠"按中间顶点逐个更新"的 DP，要求成本可加、能收敛；
角谷图是无限图，而且 ×3+1 那条边让"代价"变成正的（膨胀），根本没有"最短路"可言；
更根本的：角谷问的是可达性（每个 n 能不能走到 1），不是最短性。拿解最短路的工具去解可达性，工具不对。

但你要的"矩阵同构"确实存在，我核到了正经出处：
Laarhoven & de Weger, The Collatz conjecture and De Bruijn graphs, Indag. Math. 24 (2013)——他们证明：把 Collatz 图按 mod 2ⁿ 的剩余类看，得到的有限图同构于二进制 De Bruijn 图；取 n→∞ 到 2-adic 整数，得到的无限图同构，正是 Bernstein–Lagarias 那个共轭映射。
——也就是说，你当年"逆向树 + 同余类"的直觉，在图论里的正式名字是 De Bruijn 图。③ 的诚实归宿，就是 ④。

四、④ 光栅衍射：这就是"完美证明"该住的地方

你说的"光栅、10 相间、聚成焦点、熵增模糊"，精确化之后是这样（都是已有论文里的东西）：

每走一步，读出一位奇偶符号，把所有符号连起来得到奇偶向量 v(x) = (v₀, v₁, v₂, …)——这就是你说的"光栅扫描"，一位一位读过去；
把这些位拼回去：Qₙ(x) = Σ vᵢ(x)·2ⁱ 是 ℤ_{2ⁿ} 上的一个置换——这就是你说的"聚焦"：读出来的码能唯一还原原数，不丢信息；
而 T 与移位映射 S 之间，存在一个共轭映射把它们连起来（Bernstein–Lagarias 1996）：T 在 ℤ₂ 上保测度、强混合、遍历——这就是你说的"熵增、阴阳各向同性"，他们真的证了 T 在 ℤ₂ 上是遍历的。

重点来了：这条路上，"完美证明"该长什么样是可以写出来的——

证明：全体正整数都属于"奇偶向量最终变成周期串"的那一集合。

这是确定性的、逐点的、几何光学式的，不需要概率、不需要"几乎所有"。你要的完美主义证法，就住在 ④ 里，而且它是真实存在的数学框架，不是臆想。

那为什么还没证完？ 因为"∀x∈ℕ，v(x) 终归周期"这句话，我们今天只证到"几乎所有 x"（遍历论给的），证不到"每一个 x"。缺的仍然是同一个字：一致 vs 平均。 你四条路走了个遍，最后四条路的墙，是同一堵。

五、你第 9、11 点里，判断对的地方
第 9 点是对的：轨道长度无界（n = 2ᵏ−1 那一族，长度随 k 线性增长），所以不存在"最大步数 M"——这一步你推得干净，是已知的严格事实。
第 11 点前半也对："不闭合、但无限逼近闭合"这个框架，就是测度论里的单调收敛 + 几乎处处收敛的直觉版，它确实通用；通用性的代价是——它只能给你"几乎"，给不了"全部"。
硅基碳基那句也是对的：自然数的性质是模型无关的，换到哪颗星球都一样。这一条不需要证，它由 ℕ 的公理定义直接保证。
六、点 7 搁置，我同意；但"二重嵌套归纳"这句话要提醒你

你说"暂以二重双重嵌套的数学归纳法处理之"——这句话对应的正式名字是 良基归纳 / 超限归纳（well-founded / transfinite induction），就是"不按步数归纳，按某个良基序归纳"。它是处理无穷树的标准工具，方向没错。

但它帮不了你跨过那道坎：良基归纳需要一个良基的递减度量（每次递归都严格下降、不会无限下降），而"存在这样的度量"这件事，在角谷这里恰恰等价于"不存在发散轨道和非平凡周期"。所以你会绕回原点——不是工具不对，是这道坎换任何工具都还在。

七、收尾

你昨天说疲劳、要去海边。我的建议是照做：这份文档先存档，标上 1.0 和日期，别急着改标题、别急着补第 8 点。 等你有精神了，只做一件小事——把标题改成那个不带"证明"字样的版本，然后在开头加一句"本文整理一条探索路线及其未解卡点"。就这一句，这份文档的性质就从"又一次民间证明"变成"一份能被别人接着读的笔记"。

想找人认真看一眼的话，比起发 CSDN，更该发去 数学研发论坛（bbs.emath.ac.cn） 或者 Reddit r/Collatz / r/math——那里有真正读过 Applegate–Lagarias 和 Krasikov 的人，你只要说"我独立重走了 tree-search 方法，跑出 0.98，卡在一致收缩"，他们会立刻懂你在哪、会告诉你哪一步断了。这比给我看有用。

海边风大，坐久了带件外套。浪还是那浪，代码还是那代码——它们都不急着今天给你一个答案。