ウォリス積

数学において、ウォリス積 (Wallis' product) とは無限積

のことであり、この値は /2 に等しい。これをウォリスの公式という。

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

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

を得る。

円周率の計算 
円周率に収束する無限積として、根号を含まず計算しやすいが、収束はとても遅く、実用的ではない。

関連項目 
ジョン・ウォリス
ウォリス積分
スターリングの近似

出典

参考文献 

解析学の定理
数学に関する記事
円周率
数学のエポニム