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

この論文は、ガウスの連分数表示と等価変換を用いて、$-\pi/4$ を表す特定の連分数の恒等式を解析的に証明し、その収束速度がグレゴリー・ライプニッツ級数よりも超指数関数的に速いことを示しています。

要約

この論文は、数学の「円周率（$\pi$）」という神秘的な数値を、ある特別な「分数のつらなり（連分数）」を使って表す新しい公式の証明について書かれています。

専門用語を排し、日常の比喩を使ってわかりやすく解説しますね。

1. 物語の舞台：円周率の「隠された顔」

皆さんは円周率 $\pi$ を $3.14159\dots$ と覚えていると思いますが、数学者は「この数を、もっと面白い方法で表せないか？」と常に探しています。

これまで知られていた有名な方法（グレゴリー・ライプニッツ級数）は、**「足し算と引き算を延々と繰り返す」**という、非常にゆっくりとした方法でした。

「1 から 1/3 を引いて、1/5 を足して、1/7 を引いて…」
これを何万回もやらないと、正確な値に近づきません。まるで、遠くにある山頂にたどり着くために、一歩ずつゆっくりと登っていくようなものです。

しかし、この論文で証明された新しい公式は、「階段を登る」ような方法です。
$$-\frac{\pi}{4} = \frac{1}{-1 + \frac{1^2}{-3 + \frac{2^2}{-5 + \frac{3^2}{-7 + \dots}}}}$$
この式は、分母に「$-1, -3, -5\dots$」という数字が並び、分子に「$1^2, 2^2, 3^2\dots$」という数字が乗っています。
この「階段」を少し登るだけで、先ほどの「ゆっくり歩き」よりも圧倒的に速く、山頂（正確な円周率）に到達できるのです。

2. この論文がやったこと：「古い地図」の「書き換え」

この論文の著者（チャオ・ワン氏）は、この新しい公式をゼロから作り出したわけではありません。彼は**「すでに存在する有名な地図（ガウスの公式）」を、少しだけ書き換えて、新しい地図に変身させた**のです。

• 元の地図（ガウスの公式）：
  昔から知られている、円周率を計算する「黄金の公式」があります。これは非常に信頼性が高く、数学の教科書に載っているようなものです。
• 新しい地図（今回の公式）：
  最近、コンピュータが自動的に発見した「不思議な公式」がありました。しかし、それが本当に正しいのか、誰も証明できていませんでした。

著者の発見は、**「この新しい公式は、古い公式の『分母の符号（プラス・マイナス）』をすべて逆転させただけのものだ！」**ということでした。

3. 比喩：鏡像の魔法

イメージしてみてください。

• 古い公式は、右向きに進む階段です。
• 新しい公式は、その階段を鏡に映したような、左向きに進む階段です。

著者は、「鏡に映せば、階段の形（数字の並び）は少し変わりますが、頂上（円周率の値）は全く同じです」と証明しました。
具体的には、すべての段の「足場（分母）」の向きを逆にする（$-1$ を $1$に、$-3$を$3$ にする、あるいはその逆）という、非常にシンプルで美しい変換（同値変換）を使っただけなのです。

4. なぜこれがすごいのか？「超高速」の魔法

論文の最後には、実際の計算結果の比較が載っています。

• 古い方法（ゆっくり歩き）：
  100 歩進んでも、まだ 0.01 くらいしか正確になりません。
• 新しい方法（階段登り）：
  たった 20 段登るだけで、コンピュータが扱える限界の「16 桁」もの正確さになります。

これは、「徒歩で山登りするのと、ヘリコプターで着陸する」ほどの速度差です。
この公式は、円周率を計算する際、驚異的なスピードで正確な値に近づける「超加速装置」として機能することが証明されました。

まとめ

この論文は、以下のようなことを伝えています。

1. 発見された不思議な公式（円周率を表す新しい連分数）は、実は**「昔からある有名な公式」の兄弟**だった。
2. 両者の違いは、「分母のプラス・マイナスの向き」を逆にするだけという、驚くほどシンプルな関係だった。
3. この関係性を証明することで、その公式が**「間違いなく正しい」**ことが確定した。
4. さらに、この公式は**「計算速度が圧倒的に速い」**という実用的なメリットもあることがわかった。

つまり、これは「新しい宝の地図」が、実は「古くからある地図」の裏返しだったという、数学的な「正体明かし」の物語なのです。

技術概要

以下は、Chao Wang 氏による論文「A PROOF OF THE CONTINUED FRACTION IDENTITY（連分数恒等式の証明）」の技術的サマリーです。

1. 問題の背景と目的

本論文は、$\pi$ の値に関連する特定の連分数恒等式の厳密な証明を目的としています。
具体的には、Ramanujan Machine プロジェクト [5] によって発見された以下の恒等式（予想 1.1）の正当性を示すことです。

$$-\frac{\pi}{4} = \cfrac{1}{-1 + \cfrac{1^2}{-3 + \cfrac{2^2}{-5 + \cfrac{3^2}{-7 + \ddots}}}}$$

ここで、部分商（partial quotients）は以下の通り定義されます：

• 分母 $b_n = -(2n - 1)$ （$n \ge 1$）
• 分子 $a_n = (n-1)^2$ （$n \ge 2$、$a_1=1$ とする）

この連分数は、分母が線形に増加し、分子が二次的に増加する構造を持ち、従来のグレゴリー・ライプニッツ級数（$\pi/4 = 1 - 1/3 + 1/5 - \dots$）とは異なる収束特性を示すことが期待されています。

2. 手法と証明の概要

著者は、新しい数学的技術の導入ではなく、既存の古典的な理論を組み合わせることで、この恒等式を「自己完結的（self-contained）」に証明しています。証明は以下の 2 つの主要なステップで構成されます。

ステップ 1: ガウスの連分数と超幾何関数の評価

まず、ガウス（Gauss）による反正切関数 $\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$ を代入し、超幾何関数 ${}_2F_1(\frac{1}{2}, 1; \frac{3}{2}; -1)$ の積分表示および収束性（Gauss-Kummer 定理）を用いることで、この連分数が $-\pi/4$ に収束することを示します。
$$-\frac{\pi}{4} = \cfrac{-1}{1 + \cfrac{1^2}{3 + \cfrac{2^2}{5 + \cfrac{3^2}{7 + \ddots}}}}$$

ステップ 2: 等価変換（Equivalence Transformation）

次に、上記のガウス形式の連分数と、証明対象の連分数（式 2）が「等価（equivalent）」であることを示します。
連分数の等価変換の定義（$r_n$ によるスカラー倍）を用い、定数列 $r_n = -1$ （すべての $n$ に対して）を適用します。

• 分母 $b_n$ に $r_n$ を掛けることで、符号が反転し $-(2n-1)$ となります。
• 分子 $a_n$ に $r_n r_{n-1}$ を掛けることで、$(-1)(-1)=1$ となり、元の分子 $(n-1)^2$ が維持されます。
• 最初の項も同様に計算され、$1$ となります。

この変換により、ガウス形式の連分数が完全に目標の連分数に変換され、かつその値（$-\pi/4$）が保存されることが証明されます。

3. 主要な貢献

• 予想の厳密な証明: Ramanujan Machine によって発見されたアルゴリズム的な予想に対し、超幾何関数論と連分数の等価変換理論を用いた厳密な解析的証明を提供しました。
• 構造の解明: この恒等式が、ガウスの連分数における分母の符号を一貫して反転させたものに過ぎないことを明らかにしました。これは、アルゴリズム的に発見された非標準的な形式が、実は古典的な理論の単純な変形であることを示しています。
• 収束性の確認: 超幾何級数の絶対収束性（$z=-1$ における）とガウス連分数の一般理論に基づき、この連分数が $-\pi/4$ に絶対収束することを論理的に裏付けました。

4. 結果と数値的検証

• 収束速度: 第 5 節で提示された数値比較（Table 1）によると、この連分数の近似値は、$\pi/4$ の近似に用いられるグレゴリー・ライプニッツ級数に比べて**超指数関数的（super-exponential）**に速く収束します。
  • 例えば、$n=20$ の段階で、連分数の誤差は $10^{-16}$程度（倍精度浮動小数点の限界）に達しますが、ライプニッツ級数は$10^{-2}$ 程度の誤差しかありません。
• 数値的安定性: 連分数の収束率パラメータ $\rho_n$ が $1/4$ に単調減少して収束することから、この連分数が収束する条件を満たしていることが確認されています。

5. 意義

本論文は、Ramanujan Machine などのアルゴリズム的発見が、古典的な解析学（ガウスの連分数や超幾何関数）の枠組み内で正当化可能であることを示す好例です。
特に、複雑に見える新しい恒等式が、既存の理論に対して「分母の符号を一貫して反転させる」という極めて単純な変換（等価変換）によって導かれることを明らかにした点は、数学的構造の理解を深める上で重要です。また、この連分数が $\pi$ の計算において極めて高い効率（超指数収束）を持つことを示したことは、数値計算の文脈でも意義があります。

要約すれば、本論文は「アルゴリズム的発見」と「古典的解析」を橋渡しし、特定の連分数恒等式の存在と収束性を、高度な新技術なしに厳密に証明したものです。