华里士公式
关于圆周率的无穷乘积的公式
Wallis（华里士）公式是关于圆周率的无穷乘积的公式，但Wallis公式中只有乘除运算，连开方都不需要，形式上十分简单。虽然Wallis公式对π的近似计算没有直接影响，但是在导出Stirling公式中起到了重要作用。
1/3
基本信息
- 中文名
华里士公式
- 外文名
Wallis Formula
- 提出者
wallis
- 提出时间
1655年
- 适用领域
数学
- 应用学科
数学
- 别名
点火公式、华里士公式
基础定义
公式内容
Wallis公式是关于圆周率的无穷乘积的公式，公式内容如下：
其中
开方后还可以写成：
演绎过程
对这一公式的证明采用对在的积分完成：
令
用分部积分法
令
