Pure Mathematics
Vol.
11
No.
07
(
2021
), Article ID:
44076
,
7
pages
10.12677/PM.2021.117161
应用Beta函数证明沃利斯公式的两种新证法
裴红梅,张美丽,商洁琳
海军大连舰艇学院基础部,辽宁 大连
![](//html.hanspub.org/file/22-1251359x1_hanspub.png?20210723084428887)
收稿日期:2021年6月13日;录用日期:2021年7月15日;发布日期:2021年7月22日
![](//html.hanspub.org/file/22-1251359x2_hanspub.png?20210723084428887)
摘要
沃利斯公式(Wallis Formula)是微积分中的一个重要的公式,是圆周率π的有理数极限表达式,其证明方法较多,一般都是利用积分
证明的。本文利用B函数以及B函数与Γ函数之间的关系,给出了沃利斯公式的两种新的证明方法。
关键词
沃利斯公式,B函数,Γ函数
![](//html.hanspub.org/file/22-1251359x4_hanspub.png?20210723084428887)
Two New Methods of Proving Wallis Formula by Using Beta Function
Hongmei Pei, Meili Zhang, Jielin Shang
Department of Basic, Dalian Naval Academy, Dalian Liaoning
![](//html.hanspub.org/file/22-1251359x5_hanspub.png?20210723084428887)
Received: Jun. 13th, 2021; accepted: Jul. 15th, 2021; published: Jul. 22nd, 2021
![](//html.hanspub.org/file/22-1251359x6_hanspub.png?20210723084428887)
ABSTRACT
Wallis Formula is an important formula in calculus, which is the rational limit expression of PI. There are many methods to prove it, which are generally proved by integral
. In this paper, two new methods of proving Wallis Formula are given by using Beta Function and the relationship between Beta Function and Gamma Function.
Keywords:Wallis Formula, Beta Function, Gamma Function
![](//html.hanspub.org/file/22-1251359x8_hanspub.png?20210723084428887)
Copyright © 2021 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
![](//html.hanspub.org/file/22-1251359x10_hanspub.png?20210723084428887)
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)可知,奇数项所构成的子数列和偶数项所构成的子数列均收敛于
,故数列极限为
,
沃利斯公式得证。
文章引用
裴红梅,张美丽,商洁琳. 应用Beta函数证明沃利斯公式的两种新证法
Two New Methods of Proving Wallis Formula by Using Beta Function[J]. 理论数学, 2021, 11(07): 1434-1440. https://doi.org/10.12677/PM.2021.117161
参考文献
- 1. 同济大学数学系. 高等数学(上册) [M]. 第7版. 北京: 高等教育出版社, 2014: 268-269.
- 2. 曹雪强. 沃利斯公式的两种新证法[J]. 贺州学院学报, 2008, 24(3): 127-128; 234-235.