Wallis公式以其简洁的形式将离散与连续、有限与穷、代数与几何编织在一起，展现了数学的统一性。它不仅是17世纪微积分发展的里程碑，更是至今仍在科学研究中闪耀光芒的经典成果。
Wallis公式具体指的是什么？
Wallis公式是什么？
在数学分析的殿堂中，Wallis公式以其独特的形式和深刻的内涵占据着重要地位。它是连接三角函数积分与圆周率π的桥梁，也是穷乘积理论的经典范例。这一公式由17世纪英国数学家约翰·沃利斯John Wallis在其著作《穷算术》中首次提出，至今仍是微积分、概率论等领域的基础工具。
Wallis公式的核心形式
Wallis公式最简洁的表达是一个穷乘积与π的关系，其标准形式为：
[
lim_{ntoinfty} left( frac{2}{1} cdot frac{2}{3} cdot frac{4}{3} cdot frac{4}{5} cdot cdots cdot frac{2n}{2n-1} cdot frac{2n}{2n+1} right) = frac{pi}{2}
]
也可写作连乘形式：
[
frac{pi}{2} = prod_{k=1}^{infty} frac{4k^2}{4k^2 - 1}
]
这一公式揭示了π可以通过偶数与奇数的乘积比的极限来表示，将离散的整数运算与连续的圆周率紧密联系。
从积分推导Wallis公式
Wallis公式的推导源于对三角函数积分的研究。考虑积分 ( I_n = int_0^{frac{pi}{2}} sin^n x , dx )或等价的 ( int_0^{frac{pi}{2}} cos^n x , dx )，通过分部积分法可得到递推关系：
[
I_n = frac{n-1}{n} I_{n-2}
]
当n为偶数时设n=2m，递推结果为：
[
I_{2m} = frac{(2m-1)!!}{(2m)!!} cdot frac{pi}{2}
]
当n为奇数时设n=2m+1，递推结果为：
[
I_{2m+1} = frac{(2m)!!}{(2m+1)!!}
]
其中“!!”表示双阶乘如( (2m)!! = 2 cdot 4 cdot cdots cdot 2m )。由于 ( I_n ) 随n增大单调递减且收敛，通过夹逼定理取极限，即可得到Wallis公式的穷乘积形式。
Wallis公式的意义与应用
Wallis公式的价值不仅在于数学美感，更在于其广泛的实用场景。在分析学中，它是推导斯特林公式阶乘近似公式的关键工具；在概率论中，可用于计算正态分布的归一化常数；在数值计算中，为π的近似提供了简洁的迭代方法。例如，取n=10时，按公式计算可得π≈3.0418，已接近实际值；随着n增大，精度迅速提升。