ウォリス積

平方根を取ることよりウォリス積分より得られる極限の式に帰着されるが、別の観点として、複素関数としての三角関数の無限乗積展開

${\displaystyle {\frac {\pi z}{\sin \pi z}}=\prod _{n=1}^{\infty }{\frac {n^{2}}{n^{2}-z^{2}}}}$

から自然に導出される。この式に z = 1/2 を代入すると

${\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]、実用的ではない。

• ジョン・ウォリス
• ウォリス積分
• スターリングの近似

1. Wolfram Mathworld: Wallis Formula
2. ベックマン 2006, pp. 213–214, 339.

• ペートル・ベックマン『πの歴史』田尾陽一・清水韶光訳、筑摩書房〈ちくま学芸文庫〉、2006年4月。ISBN 4-480-08985-3。http://www.chikumashobo.co.jp/product/9784480089854/。