1. 引言
沃利斯公式(Wallis formula)是圆周率π的有理数极限表达式,它是第一个用容易计算的有理数列的极限表示无理数
(实质上是超越数)的重要公式,在理论上有重大意义。这个公式最早由英国数学家沃利斯(J. Wallis)得到,并发表于1655年。
2. 基础知识
微积分学中给出的沃利斯公式如下:
沃利斯公式 形如
的公式称为沃利斯公式。
B函数 对任意实数
,都有
,
则称该公式为B函数,或贝塔函数,Beta函数,第一欧拉积分。
B函数
,当
且
时,是以
为瑕点的瑕积分;当
且
时,是以
为瑕点的瑕积分;当
且
时,是以
和
均为瑕点的瑕积分;当
且
时,是定积分。应用柯西判别法可证得当
时,
均收敛。
B函数具有很多重要的性质,现给出下文要用到的递推公式,即
,
和
.
在B函数的表达式中,若令
,则得到B函数的三角函数积分形式:
.
Γ函数 在实数域上的Γ函数定义为 [1]
.
也称为欧拉第二积分。
Γ函数具有很多重要的性质,现给出下文要用到的递推公式,即
.
由递推公式可得,对任何正整数n,有
.
B函数和Γ函数在分析学、概率统计、偏微分方程和组合数学等其他应用学科中有着重要的应用。两者之间存在着如下的关系:
.
3. 应用B函数证明沃利斯公式
引理
。
证明 在B函数的表达式
中,作变量替换
,则
,
将
代入上式,得
,
引理得证。
设
,由引理知,
,
由B函数的递推公式
,有
,
从而
.
得到积分数列
的递推公式。
由积分数列
的递推公式
可得
又
,
。因此
.
即
当
时,
;
当
时,
。
定理 对数列
,有
。
证明 用单调有界准则证明数列
的收敛性。因为
,
故数列
单调递减。又有
时,
,故
.
即数列
有下界。
综上,数列
单调递减且有下界。由单调有界准则,数列
收敛。
又由数列
收敛,所以
。
定理得证。
由上述定理可知,
,即
变形得
,
沃利斯公式得证。
4. 应用B函数和Γ函数证明沃利斯公式
应用B函数和Γ函数证明沃利斯公式的思路是将下列积分转化为由B函数和Γ函数表示,即
因
,故
,
从而
.
在文献 [2] 中可得
,
因此
由Γ函数的递推公式,上式变为
.
上式极限为数列极限,将之分为奇数项所构成的子数列和偶数项所构成的子数列两个数列来考察极限。
1) 若n为偶数,设
,则
,
因为
,且
从而得到
,
两边取倒数,再乘以
,变形得
化简得
.
即当n为偶数时,沃利斯公式得证。
2) 若n为奇数,设
,则
,
因为
从而得到
变形得
.
即当n为奇数时,沃利斯公式得证。
综合(1) (2)可知,奇数项所构成的子数列和偶数项所构成的子数列均收敛于
,故数列极限为
,
沃利斯公式得证。