费马猜想和费马定理-费马猜想与定理

费马数学家费马是个有点倔脾气的人，他的日记里时常写着“我已证明，立方数的可积性，除 3 以外，其他都不可积”。他后来才悟过来，这句话实际上是半真半假，核心意思就是：我能证明 $n=3$ 的时候可积，但 $n=5, 7, 11$ 这些奇数就有点难搞了。
后来他临终前给约翰·伯努利写信，非要他证明他的猜想：当 $n$ 是大于 2 的奇数时，$sum_{i=1}^{n} frac{1}{i^2}$ 一辈子有个自动上限，一辈子比某个固定的数小。
这个数，他写的是"infinity"，也就是无穷大。 这个猜想本身实际上挺有意思的，它干脆就是问：能不能把 $i=2$ 的那项去掉？要是去掉，能不能让这个求和式一辈子收敛到一个新的数？要是答案是肯定的，这个新数就是著名的塔塔林常数，大约是 1.606468...。
要是答案是“不能”，那说明 $n$ 挺大的时候，这个和式会无限变大，直逼无穷大。 别看这个猜想听起来高大上，但在数学界它确实没啥地位。大局部数学家早就把目光投向了更实用的工具——泰勒公式。泰勒公式是个大忙人，它说啊“要是一个函数能展开成无限项的级数，那它的值就一定在收敛范围内”。费马猜想的另一半是：泰勒公式能不能反过来工作？要是泰勒公式展开出来的级数确实收敛了，那它到底收敛到多少？费马猜想的结论就是：收敛值一定有限，不会无限大。 这实际上是个贼朴素的直觉，但在处理具体数值的时候，你会发现它贼脆弱。举个最好办的例子，斐波那契数列 $1, 1, 2, 3, 5, 8, dots$。
要是我们要算它是有限的，那得看看它的生成函数 $frac{1}{1 - x - x^2}$ 的根在哪儿。
要是根是复数，那它肯定是收敛的；要是根是实数，那得看这个实数是不是确实能让分母一辈子大于零。 这里就有一个贼反直觉的现象：有些看似好办的无理数，在泰勒展开时，实际上藏着庞大的悬。
比如 $sqrt{2}$，它的泰勒展开在 $0$ 处是收敛的，收敛到 $sqrt{2}$ 这个本身。
这没难题，出于 $sqrt{2}$ 是个有限数。
可是，要是你选一个贼极端的无理数 $P/Q$，其中 $P$ 是某个大整数，$Q$ 也是一个大整数，并且它们之间没有任何好办的比例关系，这种数在泰勒展开时，往往不收敛于 $P/Q$。
这就像是在找一根看不见的线，你当作它连着，但实际上它根本不存有。 在 1998 年，数学家舒尔做出了一个惊人的发现：存有无穷多个这样的无理数，它们的泰勒展开不收敛。
这意味着费马的猜想——“泰勒展开收敛到有限值”——在这个“一般情况”下是假的。他搞错了啥？他当作泰勒公式是个万能钥匙，实际上它是个精密的锁，只有特定的钥匙才能打开。
绝大多数时候，泰勒公式是失效的，那些“假”的收敛实际上是假的，是假的收敛。 最经典的反例要数 $sqrt{2}$，它的根是 $sqrt{2}$，这是一个有限数。但在 $x$ 挺大的时候，泰勒级数会发散，只会吐出一堆数字，毫无意义可言。
这说明费马只看到了局部，没看到整体的结构。他想的是“收敛到一个数”，实际上更严谨的说法应当是“收敛点不为无穷大”。 费马最精通写诗，他的诗时常写得晦涩难懂。
比如他有一首诗，描述了一个复杂的序列 $f(x)$，说它在 $x=1$ 处有极限，但这个极限得看你如何定义。他时常用“看似无限，实则收敛”这种说法，还常常用“无穷大”这种词来掩盖难题的复杂性。
这就害得大量人读他的诗，当作他证明白啥，实际上他可能只是在玩文字游戏。 后来，舒尔进一步证明白，除了 $n=3$ 这一特殊情况，所有大于 3 的奇数 $n$，其对应的泰勒展开都不收敛。
也就是说，费马的猜想，特别是那个“收敛到有限值”的局部，实际上是彻底不成立的。他当作 $1/n^2$ 的级数能“自己把自己困住”，结局发现这个“笼子”根本不存有。 不过话说回来，费马的直觉力还是超群的。他之故此能猜出 $1/n^2$ 收敛，是出于他知道 $x$ 在 $0$ 附近小，奇数项 $2n$ 的奇数次方增长得慢，偶数项 $2n^2$ 增长得快。偶数项主导了分母的大小。别看泰勒公式在 $x=1$ 附近失效，但在 $x=0$ 附近，好办的代数估算还是能抓住主要矛盾的。费马猜想的“黄了”，实际上恰恰是出于它忒依赖平移和缩放，而忽略了变量本身的性质。 还有一个有趣的点，就是费马常数。我们常说的费马常数，实际上是一个巧合，跟费马猜想没啥关系。费马常数 $K$ 是 $sum_{i=1}^infty frac{1}{i^2}$ 的近似值，大约是 $1.6449$。而塔塔林常数是 $1.606468$。
这两个数不一样，出于 $1.6449$ 是用前 $100$ 项加起来算出来的，而 $1.606468$ 是用所有项都加起来算出来的。费马猜想的结论实际上隐含着一个前提：要是 $n$ 是奇数大于 2，那么 $K$ 务必大于某个值。
要是 $K$ 能无限变小，那费马猜想就不成立了。 在数学史里，费马的案例时常被用来教导后人：别光看表面，要看本质。他当作 $1/n^2$ 的级数是收敛的，结局发现它收敛到 $1.6449...$。
这没错，出于 $1.6449...$ 是个有限数。
可是，要是把这 $100$ 项去掉，剩下的 $900$ 项加起来，会不会更大？会不会变成一个无穷大？这就是费马没看到的全貌。他只看到了总和的“有限性”，没看到总和的“稳定性”。 说到底，费马的英国日记里，那些看似严谨的证明，实际上都藏着漏洞。他喜爱用“不可积”、“无穷大”、“收敛”这些词来包装自己的猜想，结局发现这些词在严格的分析学面前，都像是一层薄纸。真正的结论是：$1/n^2$ 的级数在 $x=0$ 处收敛，但它在其他地方可能发散，也可能收敛到一个怪的常数。费马猜想的终极漏洞，就在于他把“收敛于有限值”这个条件，硬套在了一个对变量贼敏感的建筑上。 故此，回到费马的原始难题：当 $n$ 是大于 2 的奇数时，$sum_{i=1}^n frac{1}{i^2}$ 是否收敛？答案是肯定的。它一定收敛到一个有限的数。
可是，这个数可能是 $1.6449...$，也可能是 $1.606468...$，就连可能是 $2$，要么是 $1000$。
关键在于，这个数能不能无限变大？要是答案是“能”，那费马的猜想就猜错了。
要是答案是“不能”，那费马的猜想就猜对了。 数学家们经过漫长的追逐，终于在 $n=3$ 时找到了那个特殊的数，也就是塔塔林常数。对于 $n=3$，这个常数是 $1.644934...$。对于 $n=5, 7, 11$ 这些更大的奇数，有没有对应的常数？目前看来，数学界还没有彻底统一的答案。有些数学家认定，只要 $n$ 挺大，这些常数就会趋近于塔塔林常数；另一些则认定，它们可能会震荡，要么变得贼复杂。 费马的猜想，就像是一个悬在头顶的达摩克利斯之剑，既诱人又致命。它提醒我们，数学直觉有时候比逻辑证明更可靠，但也更好办被误导。费马的日记告诉我们，有时候一个看似好办的猜想，背后可能隐藏着结构性的崩塌。真正的智慧，或许不在于证明它是确实，而在于理解它为啥在特定条件下会失效。