韓 誠 劉丹丹
(鹽城師范學(xué)院 數(shù)學(xué)科學(xué)學(xué)院,江蘇 鹽城 224002)
Wallis公式
它是關(guān)于圓周率的無窮乘積的公式,公式中只有階乘運算,形式十分簡單,但它是有理數(shù)過渡到無理數(shù)的一個非常重要的橋梁。而對于Wallis公式的證明,一般情況下,都用積分證明方法[3],證明過程比較復(fù)雜,本文利用Stirling公式證明Wallis公式,使其證明過程簡單明了。
Wallis公式的證明:
定理1:對任意x>0存在θ(x)∈(0,1)使得
(1)
兩邊取對數(shù)得
(2)
因此只要證明公式(2)就可以了。
下面通過四個引理來證明公式(2)。
引理2:對任意x>0,滿足不等式
引理3:對任意的自然數(shù)n,有
現(xiàn)在來證明(2)式。
(3)
又(3)式左端第一項當(dāng)n→∞時的極限是lgΓ(x),在(3)式的兩邊讓n→∞,即得
(4)
這即是要證明的(2)式,從而定理得證。
在微積分中,經(jīng)常會遇到含有n!的數(shù)列計算,并且有些數(shù)列計算是比較難的,因此可以借助Stirling公式來簡化計算過程。
由Stirling公式得
這樣,就可以得到二項分布的概率近似值。
下表表示對一些二項分布的概率利用階乘近似所得計算結(jié)果與按定義計算(或查表所得)值的比較[4]。
若干二項分布概率近似值
這種方法比較簡單,并且計算結(jié)果精度較高。另外,計算者可以自行調(diào)整精度值,以滿足實際問題的需要。
[1]劉會成.Stirling公式在一個乘積不等式中的應(yīng)用[J].數(shù)學(xué)通報,2002,(10):46.
[2]江旭光.兩類極限的求法[J].安徽教育學(xué)院學(xué)報,2000,(3):60.
[3]華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析(上冊):第3版[M].北京:高等教育出版社,2006:227.
[4]彭求實.Stirling公式的改進及二項分布概率的近似計算[J].哈爾濱商業(yè)大學(xué)學(xué)報:自然科學(xué)版,2006,(4):102~103.