关于所有非快乐数最终必进入以4为起点的循环序列的证明方法咨询

嗨，我来聊聊这个问题！首先先明确下快乐数的定义：

快乐数是指将该数替换为各位数字的平方和后，最终能得到1的数。比如13就是快乐数：1²+3²=10，接着1²+0²=1。

而那些非快乐数，根据观察都会陷入一个以4开头的循环，比如你举的例子：
534867最终进入循环，还有199的完整路径：
199 -> 163 -> 46 -> 52 -> 29 -> 85 -> 89 -> 145 -> 42 -> 20 -> 4 -> 16 -> 37 -> 58 -> 89 -> 145 -> 42 -> 20 -> 4
之后就一直在这个循环里打转了。你甚至用大质数测试，发现也符合这个规律。

现在你想知道，除了观察验证之外，有没有严谨的数学证明能说明所有非快乐数最终都会进入这个以4为起点的循环？

其实是有的，我们可以从数的范围限制+穷尽所有可能路径这个角度来严谨证明：

• 第一步：把大数“压缩”到两位数范围
  对于一个n位数（n≥3），它的最大值是10ⁿ - 1，各位数字平方和的最大值是n*9²=81n。当n≥3时，81n < 10ⁿ - 1（比如n=3时，813=243 < 999；n=4时，814=324 < 9999，这个差距随着n增大只会越来越大）。这意味着任何三位数及以上的数，经过一次平方和计算后都会变成更小的数，反复计算下去，最终一定会落到两位数的范围内。

• 第二步：穷尽所有两位数的路径走向
  既然所有数最终都会降到两位数，那我们只需要遍历所有两位数的平方和路径，就能看清所有可能的走向：

  • 所有快乐数的路径最终都会抵达1；
  • 所有非快乐数的路径，最终都会进入以4开头的那个循环。比如：
    • 两位数的4：直接进入循环；
    • 16的路径：1²+6²=37 → 3²+7²=58 → 5²+8²=89，之后就进入循环；
    • 20的路径：2²+0²=4，直接进入循环；
    • 再比如99：9²+9²=162 → 1²+6²+2²=41 → 4²+1²=17 → 1²+7²=50 → 5²+0²=25 → 2²+5²=29，接着就到89进入循环了。

因为所有数最终都会被压缩到两位数范围，而所有两位数的非快乐数路径都指向这个以4为起点的循环，所以我们可以严谨地得出结论：所有非快乐数最终都会进入这个循环，而不只是观察得到的结果。

备注：内容来源于stack exchange，提问作者QualityDiscussions