有了这个性质之后 只需要考虑 有没有非平凡解即可. 这个很容易就.. 略了.
后来发现一个很强的 Carmichael 定理 可以直接秒这道题. 定理的内容是: 对每个 必定包含一个没有在之前的 Fibonacci 序列中出现的因子.
在翻 Matrix67 的思考的乐趣的时候 看到集合论那里 依次证明了有理数 代数数 可计算数 可定义数的可数性 甚舒畅. 然后用经典的 Cantor's Diagonal Argument 证了实数的不可数性 并说明了此方法对有理数不可用 因为对角线生成的新数未必是有理数.