「ウォリスの公式」はこの項目へ転送されています。ウォリス積分に対するウォリスの公式については「ウォリス積分」をご覧ください。
数学において、ウォリス積 (Wallis' product) とは無限積 ∏ n = 1 ∞ ( 2 n 2 n − 1 ⋅ 2 n 2 n + 1 ) = 2 ⋅ 2 1 ⋅ 3 ⋅ 4 ⋅ 4 3 ⋅ 5 ⋅ 6 ⋅ 6 5 ⋅ 7 ⋅ 8 ⋅ 8 7 ⋅ 9 ⋯ {\displaystyle \prod _{n=1}^{\infty }\left({\frac {2n}{2n-1}}\cdot {\frac {2n}{2n+1}}\right)={\frac {2\cdot 2}{1\cdot 3}}\cdot {\frac {4\cdot 4}{3\cdot 5}}\cdot {\frac {6\cdot 6}{5\cdot 7}}\cdot {\frac {8\cdot 8}{7\cdot 9}}\cdots }
のことであり、この値は π/2 に等しい。これをウォリスの公式という[1]。 平方根を取ることよりウォリス積分より得られる極限の式に帰着されるが、別の観点として、複素関数としての三角関数の無限乗積展開 π z sin π z = ∏ n = 1 ∞ n 2 n 2 − z 2 {\displaystyle {\frac {\pi z}{\sin \pi z}}=\prod _{n=1}^{\infty }{\frac {n^{2}}{n^{2}-z^{2}}}} から自然に導出される。この式に z = 1/2 を代入すると π 2 = ∏ n = 1 ∞ 4 n 2 4 n 2 − 1 = ∏ n = 1 ∞ ( 2 n ) 2 ( 2 n − 1 ) ( 2 n + 1 ) {\displaystyle {\frac {\pi }{2}}=\prod _{n=1}^{\infty }{\frac {4n^{2}}{4n^{2}-1}}=\prod _{n=1}^{\infty }{\frac {(2n)^{2}}{(2n-1)(2n+1)}}} を得る。 円周率に収束する無限積として、根号を含まず計算しやすいが、収束はとても遅く[2]、実用的ではない。「円周率の歴史#17世紀」も参照
ウォリスの公式の証明
円周率の計算
関連項目
ジョン・ウォリス
ウォリス積分
スターリングの近似
出典^ ⇒Wolfram Mathworld: Wallis Formula
^ ベックマン 2006, pp. 213–214, 339.
参考文献
ペートル・ベックマン『 ⇒πの歴史』田尾陽一