メインメニューを開く

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

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

目次

ウォリスの公式の証明編集

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

 

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

 

を得る。

円周率の計算編集

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

関連項目編集

出典編集

参考文献編集

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