A Proof of the Continued Fraction Identity $-\pi/4 = {\rm K}_{n=1}^{\infty}\bigl((n-1)^2\,/\,{-(2n-1)}\bigr)$

本文通过结合高斯反正切连分数在$z=-1$处的绝对收敛性证明与特定的等价变换，给出了一个自洽的解析证明，确立了该连分数等于$-\pi/4$的恒等式，并展示了其相对于格雷戈里 - 莱布尼茨级数的超指数加速特性。

要点

这篇文章其实是在讲一个关于数字 $\pi$（圆周率）的有趣数学谜题，作者不仅找到了这个谜题的答案，还解释了为什么这个答案是对的。

为了让你更容易理解，我们可以把这篇论文想象成**“侦探破案”或者“翻译密码”**的故事。

1. 故事背景：两个不同的“地图”

在数学世界里，$\pi$（圆周率）是一个非常重要的数字。数学家们喜欢用不同的方式把它写出来，就像给同一个地方画不同的地图。

• 旧地图（格雷戈里 - 莱布尼茨级数）： 这是一个很老的方法，用来计算 $\pi$。它就像是在爬一座很陡的山，每走一步（加一项），你离山顶（准确的 $\pi$ 值）只有一点点近。如果你想要算得很准，你得走好几亿步，非常慢。
• 新地图（拉马努金机器发现的猜想）： 最近，一个叫“拉马努金机器”的 AI 项目发现了一个奇怪的公式（也就是论文里的公式 2）。这个公式长得像一座奇怪的塔：
  $$-\frac{\pi}{4} = \frac{1}{-1 + \frac{1^2}{-3 + \frac{2^2}{-5 + \frac{3^2}{-7 + \dots}}}}$$
  这个公式里的数字很有规律：分母是 $-1, -3, -5, -7...$（越来越小的负奇数），分子是 $1^2, 2^2, 3^2...$（平方数）。
  问题是： 这个奇怪的塔真的等于 $-\pi/4$ 吗？以前没人能证明，大家只能猜（Conjecture）。

2. 侦探的线索：高斯的“经典老路”

作者（王超）发现，这个新公式其实并不陌生。它其实是数学大师**高斯（Gauss）**早就研究过的一个经典公式的“变体”。

• 高斯的经典公式： 高斯早就发现了一个计算 $\arctan$（反正切函数，和 $\pi$ 关系密切）的公式。那个公式长得很像新公式，但分母是正数：$1, 3, 5, 7...$。
• 关键联系： 作者发现，如果你把高斯公式里的分母全部**“翻个身”**（乘以 $-1$，把正数变成负数），神奇的事情就发生了：高斯的公式瞬间就变成了那个奇怪的“新公式”。

3. 破案过程：简单的“翻译”

这篇论文的核心工作，就是做了一次**“等价变换”**（Equivalence Transformation）。

你可以把这想象成翻译语言：

• 高斯的公式是**“英语”**。
• 那个奇怪的公式是**“法语”**。
• 作者发现，只需要做一个非常简单的动作（把每个分母都乘以 $-1$），就能把“英语”完美翻译成“法语”，而且意思完全不变。

因为高斯的公式早就被证明是绝对正确的（它算出来就是 $\pi/4$），所以经过这个简单的“翻译”后，那个奇怪的公式算出来的结果自然也是 $-\pi/4$。

这就好比： 大家都知道“苹果”是红色的。现在有人拿了一个苹果，给它涂了一层黑色的漆，问你：“这个黑色的东西还是苹果吗？”作者说：“是的，只要把漆洗掉（或者承认这只是涂了漆），它本质上还是那个红色的苹果。”

4. 为什么这个新公式很厉害？（速度对比）

论文最后还做了一个**“赛车测试”**。

• 旧方法（格雷戈里 - 莱布尼茨）： 就像一只蜗牛。如果你想算出小数点后 10 位，它可能需要走几百万步。
• 新方法（这个新公式）： 就像一辆超音速火箭。
  • 论文里的表格显示，当计算到第 20 步时，新方法已经精确到了计算机能处理的极限（小数点后 16 位）。
  • 而旧方法走了 20 步，连小数点后 2 位都没算准。

比喻： 如果旧方法是走楼梯去二楼，新方法就是按电梯按钮，瞬间直达。

5. 总结：这篇论文说了什么？

1. 确认身份： 那个由 AI 发现的奇怪公式，确实等于 $-\pi/4$。
2. 揭示本质： 它其实就是高斯那个经典公式的“负数版本”，两者是“同父异母”的兄弟，长得像但符号相反。
3. 证明简单： 不需要发明什么高深的新数学，只需要用老派的“翻译技巧”（等价变换）就能证明它是对的。
4. 性能强大： 这个公式计算 $\pi$ 的速度比传统方法快得离谱，是超级加速器。

一句话总结：
作者像一位聪明的翻译官，指出那个看起来像外星密码的 $\pi$ 公式，其实就是经典公式穿了件“负号”的外套。脱掉外套一看，它依然是那个正确的 $\pi$，而且跑得比谁都快！

技术摘要

以下是关于论文《A PROOF OF THE CONTINUED FRACTION IDENTITY》（一个连分数恒等式的证明）的详细技术总结：

1. 研究问题 (Problem)

本文旨在证明一个由 Ramanujan Machine 项目提出的关于 $\pi$ 的连分数恒等式猜想（Conjecture 1.1）。该恒等式如下：
$$-\frac{\pi}{4} = \cfrac{1}{-1 + \cfrac{1^2}{-3 + \cfrac{2^2}{-5 + \cfrac{3^2}{-7 + \ddots}}}}$$
其中，部分商（partial quotients）定义为：

• 分子 $a_n = (n-1)^2$ （对于 $n \ge 2$，且 $a_1=1$）；
• 分母 $b_n = -(2n-1)$。

该连分数的结构特征是：分母呈线性增长（绝对值），分子呈二次方增长。虽然该式在数值上收敛于 $-\pi/4$，但此前缺乏严格的解析证明。

2. 方法论 (Methodology)

作者采用了一种自包含的解析证明方法，主要依赖于经典的超几何函数理论和连分数等价变换理论。证明过程分为两个核心步骤：

第一步：高斯连分数与超几何函数评估

• 理论基础：利用高斯（Gauss）关于超几何函数 ${}_2F_1$ 的连分数展开式。
• 具体应用：回顾反正切函数 $\arctan(z)$ 的高斯连分数形式：
  $$\arctan(z) = \cfrac{z}{1 + \cfrac{1^2 z^2}{3 + \cfrac{2^2 z^2}{5 + \cfrac{3^2 z^2}{7 + \ddots}}}}$$
• 参数代入：将 $z = -1$ 代入上述公式。
• 收敛性保证：通过高斯 - 库默尔（Gauss-Kummer）定理，验证超几何级数 ${}_2F_1(\frac{1}{2}, 1; \frac{3}{2}; -1)$ 在边界点 $z=-1$ 处的绝对收敛性（因为 $\text{Re}(c-a-b) = 0 > -1$）。
• 结果：得到 $\arctan(-1) = -\frac{\pi}{4}$ 的连分数表达形式，其分母为正奇数序列 $(2n-1)$。

第二步：等价变换 (Equivalence Transformation)

• 定义：利用连分数的等价变换理论（Definition 3.1）。若存在非零标量序列 $\{r_n\}$，使得变换后的连分数与原连分数具有相同的值。
• 构造变换：作者构造了一个常数序列 $r_n = -1$（对所有 $n \ge 1$）。
• 变换过程：
  • 原分母 $b_n = 2n-1$ 变换为 $\tilde{b}_n = r_n b_n = -(2n-1)$。
  • 原分子 $a_n$ 变换为 $\tilde{a}_n = r_n r_{n-1} a_n = (-1)(-1)a_n = a_n$。
  • 首项分子 $a_1 = -1$ 变换为 $\tilde{a}_1 = r_1 a_1 = (-1)(-1) = 1$。
• 结论：该变换将高斯形式的连分数（分母为正）精确地映射为目标恒等式（分母为负），且保持了数值不变。

3. 关键贡献 (Key Contributions)

1. 严格证明：首次为 Ramanujan Machine 发现的该特定连分数恒等式提供了严谨的数学证明，确认了其收敛性及极限值 $-\pi/4$。
2. 结构解析：揭示了该恒等式与经典高斯连分数之间的深层联系。证明表明，该恒等式仅仅是高斯形式在分母符号上的统一取反（通过简单的等价变换 $r_n=-1$ 实现），而非全新的数学结构。
3. 收敛性分析：详细讨论了收敛速率。指出该连分数的收敛性源于底层超几何级数的绝对收敛性，并分析了其收敛参数 $\rho_n$ 的极限行为（趋向于 $1/4$），解释了其收敛速度极快的原因。

4. 结果 (Results)

• 理论结果：定理 3.3 确认了恒等式 (2) 收敛且值为 $-\pi/4$。
• 数值对比：论文第 5 节通过数值实验对比了该连分数的收敛项 $F_n$ 与格雷戈里 - 莱布尼茨（Gregory-Leibniz）级数 $S_n$ 的误差。
  • 格雷戈里 - 莱布尼茨级数：误差衰减速度为 $O(n^{-1})$（线性收敛），计算到 $n=20$ 时精度仅为约 2 位有效数字。
  • 目标连分数：表现出超指数级加速（super-exponential acceleration）。在 $n=20$ 时，误差已达到双精度浮点数的机器精度极限（约 $10^{-16}$），即 16 位有效数字。
  • 结论：该连分数在计算 $\pi$ 的近似值时，效率远超传统的莱布尼茨级数。

5. 意义 (Significance)

• 算法验证：为 Ramanujan Machine 等自动化数学发现工具生成的猜想提供了理论支撑，增强了此类算法发现数学结构的可靠性。
• 理论统一：展示了看似非标准（分母为负）的连分数形式实际上可以通过简单的等价变换回归到经典的 Gauss 形式，体现了连分数理论的内在统一性。
• 计算效率：证明了该连分数是计算 $\pi$ 的高效工具，其收敛速度远超传统级数，具有潜在的数值计算应用价值。
• 方法论示范：展示了如何结合超几何函数理论与连分数等价变换来解决现代数学猜想，为处理类似结构提供了清晰的范式。

总结：Chao Wang 的这篇论文通过经典的解析工具，简洁而有力地证明了 Ramanujan Machine 提出的一个关于 $-\pi/4$ 的连分数猜想，揭示了其与高斯连分数的本质联系，并展示了其卓越的数值收敛性能。