logo

ウォリス積 📂関数

ウォリス積

定理

n=14n24n21=limn221344352n2n(2n1)(2n+1)=π2 \prod_{n=1}^{\infty} {{4n^2} \over {4n^2 - 1}} = \lim_{n \to \infty} {{2 \cdot 2 } \over { 1 \cdot 3 } } \cdot {{4 \cdot 4 } \over { 3 \cdot 5 } } \cdot \cdots \cdot {{2n \cdot 2n } \over { (2n-1) \cdot (2n+1) } } = {{ \pi } \over {2}}

説明

級数だけではなく、積で円周率を求められるというのは、言うまでもなく興味深く、役立つ事実だ。本来の証明は、これよりも難しく、実質的にはシンク関数のオイラー表現を証明する過程に含まれていると言える。

証明

シンク関数のオイラー表現: sinxx=n=1(1x2π2n2){{\sin x} \over {x}} = \prod_{n=1}^{\infty} \left( 1 - {{x^2} \over { \pi^2 n^2}} \right)

x=π2\displaystyle x = {{ \pi } \over {2}} を代入すると 2π=n=1(114n2) {{2} \over {\pi}} = \prod_{n=1}^{\infty} \left( 1 - { {1} \over { 4 n^2} } \right) 両辺に逆数を取ると、求めていた式を得る。