Wallis公式

Wallis公式是關於圓周率的無窮乘積的公式，但Wallis公式中只有乘除運算，連開方都不需要，形式上十分簡單。雖然Wallis公式對π的近似計算沒有直接影響，但是在導出Stirling公式中起到了重要作用。

基本介紹

• 中文名：華里士公式
• 外文名：Wallis Formula
• 提出者：wallis
• 提出時間：1655
• 套用學科：數學
• 適用領域範圍：數學
• 適用領域範圍：物理

公式內容

Wallis公式是關於圓周率的無窮乘積的公式，公式內容如下：

其中

，

開方後還可以寫成：

公式證明

對這一公式的證明採用對 在 的積分完成：

令

用分部積分法

令

由 的單調性推知

即為

變形後得到

由求極限的夾逼準則，得到

即為Wallis公式。

公式的變形

Wallis公式還有一些變形：

①

②

從①式可以看出Wallis公式的實質就是刻畫了雙階乘(2n)!!與(2n-1)!!之比的漸近性態。