ラマヌジャンの円周率公式を解剖する

465

はじめに

　この記事ではラマヌジャンの円周率公式
$\frac{1}{π} = \frac{2 \sqrt{2}}{99^{2}} \sum_{n = 0}^{\infty} \frac{(4 n)!}{(n!)^{4}} \frac{26390 n + 1103}{396^{4 n}}$
を形作っている理論の概要について解説していきます。
　私はこれまでにもこの公式に関して多くの記事を書いており、 Borwein (1987)による証明についてもまとめたことがあります。しかしそれらの記事の説明が難しくて読めないと言われたことがあったり、その後にラマヌジャン・佐藤級数という一般論に触れて初めて判明したことも多くあり、もう一回ラマヌジャンの円周率公式のお気持ちをまとめ直す必要があると思いこの記事を書くに至りました。

ラマヌジャンの円周率公式とは

　稀代の数学者ラマヌジャンが残した数式の一つである
$\frac{1}{π} = \frac{2 \sqrt{2}}{99^{2}} \sum_{n = 0}^{\infty} \frac{(4 n)!}{(n!)^{4}} \frac{26390 n + 1103}{396^{4 n}}$
はその見た目のインパクトもさることながら、驚くべきはその収束の速さにあります。例えば $n = 0$ だけでも
${(\frac{2 \sqrt{2}}{99^{2}} \cdot 1103)}^{- 1} = \frac{9801 \sqrt{2}}{4412} = 3.141592 73 \dots$
と円周率 $π = 3.141592653 \dots$ の小数第6位まで一致しますし、 $n = 1, 2$ まで計算すると
$\begin{aligned} {(\frac{2 \sqrt{2}}{99^{2}} (1103 + 24 \cdot \frac{27493}{396^{4}}))}^{- 1} & = 3.141592653589793 877998905826 \dots \\ {(\frac{2 \sqrt{2}}{99^{2}} (1103 + 24 \cdot \frac{27493}{396^{4}} + \frac{8!}{2^{4}} \frac{53883}{396^{8}}))}^{- 1} & = 3.14159265358979323846264 9065 \dots \\ π & = 3.141592653589793238462643383 \dots \end{aligned}$
と小数第15位、23位まで一致します。実際スターリングの公式
$n! \sim \sqrt{2 π n} {(\frac{n}{e})}^{n}$
を使うと
$\frac{(4 n)!}{(n!)^{4}} \sim \frac{1}{\sqrt{2 π^{3} n^{3}}} 4^{4 n}, \frac{4^{4 n}}{396^{4 n}} = \frac{1}{99^{4 n}} ≒ \frac{1}{10^{8 n}}$
と評価できるので項数を一つ増やすごとに約8桁ずつ精度が上がっていくことがわかります。
　Ramanujanの円周率公式はその収束速度の速さから一時期はコンピューターによる円周率の計算においてよく利用され、Gosper (1985)により最大で約1700万桁まで計算されましたが、後により収束の速いChudnovskyの公式
$\frac{1}{π} = 12 \sum_{n = 0}^{\infty} (- 1)^{n} \frac{(6 n)!}{(3 n)! (n!)^{3}} \frac{545140134 n + 13591409}{640320^{3 n + \frac{3}{2}}}$
が発見されてからはこの公式に取って代わることとなりました。ちなみにこの公式は一項ごとに約14桁ずつ精度が上がっていきます。
$\frac{(6 n)!}{(3 n)! (n!)^{3}} \frac{1}{640320^{3 n}} \sim \frac{12^{3 n}}{640320^{3 n}} = \frac{1}{53360^{3 n}} ≒ \frac{1}{(1.5 \times 10^{14})^{n}}$

例のアレ

　なおラマヌジャンの円周率公式は「例の如く女神が教えてくれたんだろう？」と思われがちだと思いますが、流石のラマヌジャンも全くの $0$ からこのような公式を思い付いたのではないのだということをこの記事で考察したことがあります。よければこちらも読んでみてください。

階乗から超幾何へ

　ではラマヌジャンの円周率公式
$\frac{1}{π} = \frac{2 \sqrt{2}}{99^{2}} \sum_{n = 0}^{\infty} \frac{(4 n)!}{(n!)^{4}} \frac{26390 n + 1103}{396^{4 n}}$
を解剖していくこととしましょう。
　まずこのままの形では扱いづらいのでポッホハマー記号
$(x)_{n} = x (x + 1) \dots (x + n - 1)$
というものを用いてこれを変形しておきましょう。
　ラマヌジャンは上の公式の他にも
$\begin{aligned} \frac{1}{π} & = \sum_{n = 0}^{\infty} \frac{((2 n)!)^{3}}{(n!)^{6}} \frac{A n + B}{C^{n}} \\ \frac{1}{π} & = \sum_{n = 0}^{\infty} \frac{(2 n)! (3 n)!}{(n!)^{5}} \frac{A n + B}{C^{n}} \\ \frac{1}{π} & = \sum_{n = 0}^{\infty} \frac{(4 n)!}{(n!)^{4}} \frac{A n + B}{C^{n}} \\ \frac{1}{π} & = \sum_{n = 0}^{\infty} \frac{(6 n)!}{(3 n)! (n!)^{3}} \frac{A n + B}{C^{n}} \end{aligned}$
という形の円周率公式を編み出していました。これらはポッホハマー記号を用いて次のように変形できます。
$\frac{1}{π} = \sum_{n = 0}^{\infty} \frac{(\frac{1}{2})_{n} (\frac{1}{s})_{n} (1 - \frac{1}{s})_{n}}{(1)_{n}^{3}} \frac{A n + B}{C^{n}} (s = 2, 3, 4, 6)$
このポッホハマー記号による表示は以下のようにして示せます。

$\begin{aligned} {(\frac{1}{m})}_{n} {(\frac{2}{m})}_{n} \dots (\frac{m}{m})_{n} \\ = & (\frac{1}{m} \cdot \frac{2}{m} \dots \frac{m}{m}) \cdot (\frac{m + 1}{m} \cdot \frac{m + 2}{m} \dots \frac{2 m}{m}) \dots \\ = & \frac{(m n)!}{m^{m n}} \end{aligned}$
から
$\begin{aligned} (1)_{n} & = n! \\ {(\frac{1}{2})}_{n} & = \frac{(\frac{1}{2})_{n} (\frac{2}{2})_{n}}{(1)_{n}} & = \frac{(2 n)!}{2^{2 n} n!} \\ {(\frac{1}{3})}_{n} {(\frac{2}{3})}_{n} & = \frac{(\frac{1}{3})_{n} (\frac{2}{3})_{n} (\frac{3}{3})_{n}}{(1)_{n}} & = \frac{(3 n)!}{3^{3 n} n!} \\ {(\frac{1}{2})}_{n} {(\frac{1}{4})}_{n} {(\frac{3}{4})}_{n} & = \frac{(\frac{1}{4})_{n} (\frac{2}{4})_{n} (\frac{3}{4})_{n} (\frac{4}{4})_{n}}{(1)_{n}} & = \frac{(4 n)!}{4^{4 n} n!} \\ {(\frac{1}{2})}_{n} {(\frac{1}{6})}_{n} {(\frac{5}{6})}_{n} & = \frac{(\frac{1}{6})_{n} (\frac{2}{6})_{n} (\frac{3}{6})_{n} (\frac{4}{6})_{n} (\frac{5}{6})_{n} (\frac{6}{6})_{n}}{(\frac{1}{3})_{n} (\frac{2}{3})_{n} (\frac{3}{3})_{n}} & = \frac{(6 n)!}{12^{3 n} (3 n)!} \end{aligned}$
と表せることに注意するとわかる。

　ちなみに階乗による表記は分かりやすさのためか後世の人々が勝手に変形したものであり、ラマヌジャン自身は元より
$\frac{1}{2 π \sqrt{2}} = \frac{1103}{99^{2}} + \frac{27493}{99^{6}} \frac{1}{2} \frac{1 \cdot 3}{4^{2}} + \frac{53883}{99^{10}} \frac{1 \cdot 3}{2 \cdot 4} \frac{1 \cdot 3 \cdot 5 \cdot 7}{4^{2} \cdot 8^{2}} + \dots$
にように書いていました( $396 = 4 \cdot 99$ に注意する)。

Clausenの公式

　こうして現れた級数
$\sum_{n = 0}^{\infty} \frac{(\frac{1}{2})_{n} (\frac{1}{s})_{n} (1 - \frac{1}{s})_{n}}{(1)_{n}^{3}} z^{n}$
には非常に重要な理論が数多く潜んでいます。一般に
$\begin{aligned} _{2} F_{1} (\begin{array}{c} a, b \\ c \end{array}; z) & = \sum_{n = 0}^{\infty} \frac{(a)_{n} (b)_{n}}{(c)_{n} (1)_{n}} z^{n} \\ _{3} F_{2} (\begin{array}{c} a, b, c \\ d, e \end{array}; z) & = \sum_{n = 0}^{\infty} \frac{(a)_{n} (b)_{n} (c)_{n}}{(d)_{n} (e)_{n} (1)_{n}} z^{n} \end{aligned}$
のように定義される関数のことを超幾何関数と言います。
　まず重要になってくるのは超幾何関数の変換、ないしは微分方程式の変換の理論にあります。
　超幾何関数は超幾何微分方程式と言う“たいへん質のいい”微分方程式を満たすことが知られています。例えば $F =_{2} F_{1}$ は
$z (1 - z) \frac{d^{2} F}{d z^{2}} + (c - (a + b + 1) z) \frac{d F}{d z} - a b F = 0$
という微分方程式を満たします。このような微分方程式は適当な変換を施しても再び“たいへん質のいい”微分方程式を満たすことが知られており、それにより例えば次のような変換公式が得られることになります。

Clausenの公式

$_{2} F_{1} {(\begin{matrix} a, b \\ a + b + \frac{1}{2} \end{matrix}; z)}^{2} =_{3} F_{2} (\begin{matrix} 2 a, 2 b, a + b \\ 2 a + 2 b, a + b + \frac{1}{2} \end{matrix}; z)$

　これを用いると件の級数は
$\begin{aligned} \sum_{n = 0}^{\infty} \frac{(\frac{1}{2})_{n} (\frac{1}{s})_{n} (1 - \frac{1}{s})_{n}}{(1)_{n}^{3}} (4 z (1 - z))^{n} \\ =_{3} F_{2} (\begin{array}{c} \frac{1}{2}, \frac{1}{s}, 1 - \frac{1}{s} \\ 1, 1 \end{array}; z) \\ =_{2} F_{1} {(\begin{array}{c} \frac{1}{2 s}, \frac{1}{2} (1 - \frac{1}{s}) \\ 1 \end{array}; z)}^{2} \end{aligned}$
と変形できます。
　ここで重要なのは $_{3} F_{2}$ が満たす微分方程式は三階であるのに対し $_{2} F_{1}$ の満たす微分方程式は二階と階数が下がっていることにあります。

超幾何関数とモジュラー形式

　次に重要になってくるのは微分方程式とモジュラー形式の理論にあります。
　モジュラー形式とは二次正方行列からなる(乗法について群をなす)ある集合 $Γ$ に対して
$f (\frac{a τ + b}{c τ + d}) = (c τ + d)^{k} f (τ) ((\begin{matrix} a & b \\ c & d \end{matrix}) \in Γ)$
という対称性を持つ関数のことを言います。この $k$ を $f$ の重さと言い、特に重さ $0$ のモジュラー形式のことをモジュラー関数と言います。
　実は“たいへん質のいい”微分方程式
$\frac{d^{2} u}{d z^{2}} + p (z) \frac{d u}{d z} + q (z) u = 0$
の中でも特に優れた性質を持つものに対して、そのある線形独立な解 $u = u_{0}, u_{1}$ を取り
$τ = \frac{u_{1} (z)}{u_{0} (z)}$
とおくと、 $z = z (τ), u_{0} = u_{0} (z (τ))$ はそれぞれ $τ$ についてのモジュラー関数、重さ $1$ のモジュラー形式となることが知られています。

小難しい説明

　このことは微分方程式のモノドロミー群というものによって記述することができます。
　微分方程式の解がなす $C$ -線形空間を $V$ とおきます。このときモノドロミー表現とは「 $C$ 内の閉曲線」に対し「 $V$ の元をそれに沿って解析接続する写像」を対応させる写像のことを言い、モノドロミー群とはその像として定まる $V$ の線形自己同型からなる群 $G$ のことを言います。
　いま
$τ = \frac{u_{1} (z)}{u_{0} (z)}$
は $g \in G$ の作用によって
$g τ = \frac{a u_{1} + b u_{0}}{c u_{1} + d u_{0}} = \frac{a τ + b}{c τ + d}$
のように変換されるので、 $τ = τ (z)$ の逆関数として定まる関数 $z = z (τ)$ はこの変換に対する対称性を持つことがわかるわけです。細かいことに関してはこちらの記事などを参照してください。

　また $z = z (τ)$ を $τ$ について微分すると
$\frac{d z}{d τ} = \frac{u_{0}^{2}}{u_{0} u_{1}^{'} - u_{0}^{'} u_{1}}$
となり、この分母に現れる式はロンスキアンと言い、微分方程式の係数を用いて
$u_{0} u_{1}^{'} - u_{0}^{'} u_{1} = \exp (- \int p (z) d z)$
のように求められることが知られています。つまり
$\frac{d z}{d τ} = u_{0}^{2} \exp (\int p (z) d z)$
が成り立ちます。
　それらの最たる例として次のような公式があります。

モジュラー

λ

関数

　テータ関数
$θ_{2} (τ) = \sum_{n = - \infty}^{\infty} q^{(n + \frac{1}{2})^{2}}, θ_{3} (τ) = \sum_{n = - \infty}^{\infty} q^{n^{2}}, θ_{4} (τ) = \sum_{n = - \infty}^{\infty} (- 1)^{n} q^{n^{2}}$
(ただし $q = e^{π i τ}$ とおいた)を用いて
$λ (τ) = \frac{θ_{2} (τ)^{4}}{θ_{3} (τ)^{4}}$
と定められる関数をモジュラー $λ$ 関数と言う。

　超幾何微分方程式
$z (1 - z) \frac{d^{2} u}{d z^{2}} + (1 - 2 z) \frac{d u}{d z} - \frac{1}{4} u = 0$
の基本解として
$F (z) =_{2} F_{1} (\begin{matrix} \frac{1}{2}, \frac{1}{2} \\ 1 \end{matrix}; z)$
および $F (1 - z)$ を取り
$τ = i \frac{F (1 - z)}{F (z)}$
とおくと
$\begin{aligned} z & = λ (τ) \\ F (z) & = θ_{3} (τ)^{2} \\ \frac{1}{π i} \frac{d λ}{d τ} & = λ (1 - λ) θ_{3} (τ)^{4} \end{aligned}$
が成り立つ。

　見てください。これがどれだけヤバいこと言っているかわかります？めちゃめちゃ非自明でしょ？
　実のところ、この公式こそがラマヌジャン系の円周率公式の本質であると言っても過言ではないと私は思っています。

超幾何関数の変換公式

　上と同様にすることで
$F (τ) =_{2} F_{1} (\begin{matrix} \frac{1}{2 s}, \frac{1}{2} (1 - \frac{1}{s}) \\ 1 \end{matrix}; z (τ))$
なるモジュラー形式 $F (τ), z (τ)$ を構成することも可能ではありますが、実は超幾何関数の変換公式を用いることでこれらは
$θ_{3} (τ)^{2} =_{2} F_{1} (\begin{matrix} \frac{1}{2}, \frac{1}{2} \\ 1 \end{matrix}; λ (τ))$
の例に帰着させることができます。
　上でも触れたように超幾何微分方程式には豊富な変換公式が眠っており、例えば
$\begin{aligned} _{2} F_{1} (\begin{array}{c} a, b \\ \frac{a + b + 1}{2} \end{array}; z) & =_{2} F_{1} (\begin{array}{c} \frac{a}{2}, \frac{b}{2} \\ \frac{a + b + 1}{2} \end{array}; 4 z (1 - z)) \\ _{2} F_{1} (\begin{array}{c} 4 a, 2 a + \frac{1}{4} \\ 2 a + \frac{3}{4} \end{array}; z) & = (1 + z)^{- 4 a}_{2} F_{1} (\begin{array}{c} a, a + \frac{1}{4} \\ 2 a + \frac{3}{4} \end{array}; \frac{16 z (1 - z)^{2}}{(1 + z)^{4}}) \\ _{2} F_{1} (\begin{array}{c} 6 a, 2 a + \frac{1}{3} \\ 4 a + \frac{2}{3} \end{array}; z) & = {(1 - z + z^{2})}^{- 3 a}_{2} F_{1} (\begin{array}{c} a, a + \frac{1}{3} \\ 2 a + \frac{5}{6} \end{array}; \frac{27 z^{2} (1 - z)^{2}}{4 (z^{2} - z + 1)^{3}}) \\ _{2} F_{1} (\begin{array}{c} 4 a, 4 a + \frac{1}{3} \\ 2 a + \frac{5}{6} \end{array}; z) & = (1 + 8 z)^{- 3 a}_{2} F_{1} (\begin{array}{c} a, a + \frac{1}{3} \\ 2 a + \frac{5}{6} \end{array}; \frac{64 z (1 - z)^{3}}{(1 + 8 z)^{3}}) \end{aligned}$
といったものがあります。これを用いると次の変換公式が得られます。

$\begin{aligned} _{2} F_{1} (\begin{array}{c} \frac{1}{2}, \frac{1}{2} \\ 1 \end{array}; z) & =_{2} F_{1} (\begin{array}{c} \frac{1}{4}, \frac{1}{4} \\ 1 \end{array}; 4 z (1 - z)) \\ = \frac{1}{\sqrt{1 + z}}_{2} F_{1} (\begin{array}{c} \frac{1}{8}, \frac{3}{8} \\ 1 \end{array}; \frac{16 z (1 - z)^{2}}{(1 + z)^{4}}) \\ = \frac{1}{\sqrt[4]{1 - z + z^{2}}}_{2} F_{1} (\begin{array}{c} \frac{1}{12}, \frac{5}{12} \\ 1 \end{array}; \frac{27 z^{2} (1 - z)^{2}}{4 (z^{2} - z + 1)^{3}}) \\ _{2} F_{1} (\begin{array}{c} \frac{1}{12}, \frac{5}{12} \\ 1 \end{array}; \frac{64 z (1 - z)^{3}}{(1 + 8 z)^{3}}) & = \sqrt[4]{1 + 8 z}_{2} F_{1} (\begin{array}{c} \frac{1}{6}, \frac{2}{6} \\ 1 \end{array}; 4 z (1 - z)) \end{aligned}$

　明示的には書きませんが、なにはともあれこれにより $s = 2, 3, 4, 6$ に対して
$F (τ) =_{2} F_{1} (\begin{matrix} \frac{1}{2 s}, \frac{1}{2} (1 - \frac{1}{s}) \\ 1 \end{matrix}; z (τ))$
なるモジュラー形式 $F (τ), z (τ)$ が構成できたことになります。ここでこれらは
$z (1 - z) \frac{d^{2} F}{d z^{2}} + (1 - \frac{3}{2} z) \frac{d F}{d z} - \frac{1}{4 s} (1 - \frac{1}{s}) F = 0$
という微分方程式を満たすので、そのロンスキアンから
$\frac{1}{π i} \frac{d z}{d τ} = z \sqrt{1 - z} F^{2}$
が成り立つことに注意しましょう。

Chan-Chan-Liuの公式

　さて上では
$\begin{aligned} Z (τ) & = \sum_{n = 0}^{\infty} A_{n} X (τ)^{n} \\ \frac{1}{π i} \frac{d X}{d τ} & = U X Z (U = U (X)) \end{aligned}$
なる関係を持つモジュラー形式 $Z (τ), X (τ)$ を構成してきましたが、実はこれだけの情報で
$\frac{1}{π} = \sum_{n = 0}^{\infty} A_{n} (a n + b) X^{n}$
という形の円周率公式を構成することができます。
　簡単のため以下 $q = e^{π i τ}$ とおき
$\frac{1}{π i} \frac{d}{d τ} = q \frac{d}{d q}$
と書き換えておきます。
　ここで次のような関数を考えましょう
$S (τ) = \frac{1}{Z (τ)} (q \frac{d}{d q} \log Z - \frac{1}{π Im (τ)})$
すると以下の公式が得られます。

$\frac{1}{π Im (τ)} = \sum_{n = 0}^{\infty} A_{n} (U n - S) X^{n}$

$q \frac{d X}{d q} = U X Z$
であったことに注意すると
$\begin{aligned} \frac{1}{π Im (τ)} & = q \frac{d}{d q} \log Z - S Z \\ = \frac{1}{Z} \cdot q \frac{d X}{d q} \sum_{n = 0}^{\infty} A_{n} n X^{n - 1} - S \sum_{n = 0}^{\infty} A_{n} X^{n} \\ = \sum_{n = 0}^{\infty} A_{n} (U n - S) X^{n} \end{aligned}$
を得る。

　そしてこれこそが我々の求めていた円周率公式となります。
　ってオイオイオイ！ $S (τ)$ の定義に $\frac{1}{π}$ が入っとるやないかい！どうなっとんねん！こんなんが円周率公式と言えるわけあるか！と思うかもしれません。しかし、それでいて $S (τ)$ は超越的にならないという事実こそが円周率公式を円周率公式たらしめる要因となっています。

モジュラー方程式

　円周率公式を構成するために必要なピースは残り $X (τ), S (τ)$ の特殊値を求めることだけとなりました( $U = U (X)$ は $X$ の値から勝手に求まることに注意しましょう)。
　ここでモジュラー関数という概念の強みが効いてきます。モジュラー関数はある集合 $Γ$ に属する変換に対する対称性
$X (\frac{a τ + b}{c τ + d}) = X (τ)$
を持っていましたが、 $Γ$ に属していない変換に対しても次のような関係を持つことが知られています。

　ある多項式 $F (X, Y), F_{N} (X, Y)$ が存在して $F (X (τ), X (- 1 / τ)) = 0$ および $F_{N} (X (τ), X (τ / N)) = 0$ が成り立つ。

　この方程式 $F_{N} (X, Y) = 0$ のことをモジュラー方程式と言います。
　いま $F$ や $F_{N}$ を整数係数とできる場合 $- 1 / τ = τ / N$ 、つまり $τ = \sqrt{- N}$ において方程式
$F (X, Y) = F_{N} (X, Y) = 0$
を解くことで $X = X (\sqrt{- N})$ が代数的数として求まることがわかります。
　また
$E (τ) = q \frac{d}{d q} \log Z$
とおいたとき、モジュラー方程式を微分したりなんだりすることで
$R_{N} (τ) = \frac{N E (τ) - E (τ / N)}{\sqrt{Z (τ) Z (τ / N)}}$
は $X (τ), X (τ / N)$ についての代数関数として表せることがわかり、 $Z, E$ の持つ
$Z (- \frac{1}{τ}) = \pm τ^{2} Z (τ), E (- \frac{1}{τ}) = τ^{2} (E (τ) + \frac{2}{π i τ})$
といった対称性に注意して $τ = \sqrt{- N}$ とすることで
$S (\sqrt{- N}) = \frac{1}{Z (\sqrt{- N})} (E (\sqrt{- N}) - \frac{1}{π \sqrt{N}})$
の値が代数的数として求まることがわかるわけです。

ラマヌジャンの円周率公式

　まあそんなこんなで $X$ や $S$ の特殊値を求めることで
$\frac{1}{π Im (τ)} = \sum_{n = 0}^{\infty} A_{n} (U n - S) X^{n}$
という円周率公式が得られることとなります。
　特にラマヌジャン型のものは $U = \sqrt{1 - X}$ が成り立っていたので
$\frac{1}{π Im (τ)} = \sqrt{1 - \frac{1}{C}} \sum_{n = 0}^{\infty} \frac{(\frac{1}{2})_{n} (\frac{1}{s})_{n} (1 - \frac{1}{s})_{n}}{(1)_{n}^{3}} \frac{n + λ}{C^{n}}$
と言った形の円周率公式が得られることとなります。
　実際ラマヌジャンの円周率公式は $τ = \sqrt{- 58}, C = 99^{4}$ の場合なので
$\sqrt{58 (1 - \frac{1}{99^{4}})} = \frac{2 \sqrt{2}}{99^{2}} \cdot 26390$
という値が現れ、また別途 $λ = 1103 / 26390$ と求まることから
$\frac{1}{π} = \frac{2 \sqrt{2}}{99^{2}} \sum_{n = 0}^{\infty} \frac{(\frac{1}{2})_{n} (\frac{1}{4})_{n} (\frac{3}{4})_{n}}{(1)_{n}^{3}} \frac{26390 n + 1103}{99^{4 n}}$
が得られることとなります。 $26390$ という数字がこのようにして得られるというのは面白い事実ではないでしょうか。
　ちなみにChudnovskyの公式
$\frac{1}{π} = 12 \sum_{n = 0}^{\infty} (- 1)^{n} \frac{(6 n)!}{(3 n)! (n!)^{3}} \frac{545140134 n + 13591409}{640320^{3 n + \frac{3}{2}}}$
も全く同様の議論で導出することができ、その係数は
$\sqrt{163 \cdot (640320^{3} + 12^{3})} = 12 \cdot 545140134$
という関係によって求まるものとなっています。

おわりに

　以上がラマヌジャンの円周率公式、あるいはラマヌジャン・佐藤級数を構成する理論の概説となります。
　個人的に重要だと思った点をまとめたつもりですが、やはり高度な理論が数多く関わっているだけに中々簡潔にまとめられないものですね。またこれまで似たような話を何度も書いてきたこともあって端々の議論が雑になっている気もしますが、こんな記事でも何かの役に立っていれば幸いです。
　ちなみにラマヌジャンの円周率公式にはこの記事で紹介したことの他にも楕円積分や虚二次体などの興味深い理論がまだまだ数多く関わっているので、より詳しい話に興味があれば私の記事一覧の円周率公式編に分類されている記事などを読んでみてはいかがでしょうか。
　とりあえず今回の記事はこんなところで。では。

投稿日：2023年12月31日

更新日：2023年12月31日