Wallis公式推导全解析：从三角函数积分到双阶乘的奇妙之旅

原创

于 2026-03-11 06:16:21 发布 · 473 阅读

Wallis公式：从三角积分到双阶乘的数学美学与实战推导

在微积分与数学分析的殿堂里，有些公式以其简洁的形式和深刻的背景，成为连接不同数学领域的桥梁。Wallis公式，或称“点火公式”，无疑是其中一颗璀璨的明珠。它优雅地将一个看似复杂的三角函数幂次积分，转化为一个仅由双阶乘构成的简洁表达式。对于许多数学爱好者和理工科学生而言，第一次见到这个公式时，往往会被其结果的整齐与美妙所震撼，但随之而来的疑问是：这种奇妙的联系究竟是如何建立的？从正弦或余弦的n次幂积分，到涉及双阶乘的比值，这中间经历了怎样的数学思想跳跃？

本文将带你进行一次完整的推导之旅。我们不会满足于仅仅展示最终的公式，而是会深入每一步的数学内核，拆解背后的技巧与逻辑。无论是分部积分法的巧妙应用，递推关系的建立与求解，还是最终如何将离散的双阶乘与连续的积分联系起来，我们都将一一剖析。这个过程不仅是为了得到一个有用的计算工具，更是为了领略数学推导本身所蕴含的简洁、对称与力量之美。无论你是正在备战高等数学考试的学生，还是对数学原理有浓厚兴趣的爱好者，相信这次从具体积分到抽象形式的探索，都能让你对分析学有更深刻的理解。

1. 问题起源与核心递推关系的建立

我们首先明确要攻克的目标：计算定积分 ( I_n = \int_0^{\frac{\pi}{2}} \sin^n x , dx )，其中 ( n ) 是非负整数。由于 ( \sin x ) 和 ( \cos x ) 在区间 ([0, \frac{\pi}{2}]) 上通过简单的变量代换 ( x \to \frac{\pi}{2} - x ) 可以相互转换，因此公式对 ( \cos^n x ) 的积分同样成立。这个积分本身在概率论（如贝塔函数）、物理学的振动分析以及数值分析中都有出现，其简洁的闭式解显得尤为珍贵。

直接对 ( \sin^n x ) 求原函数是困难的，尤其是当n较大时。数学家的智慧在于，将复杂问题转化为已知的简单问题。这里的关键技巧是使用分部积分法，并建立相邻下标积分 ( I_n ) 与 ( I_{n-2} ) 之间的关系。

让我们从 ( I_n ) 的定义出发，并尝试将其与低次幂的积分联系起来。考虑 ( n \geq 2 ) 的情况，我们可以将 ( \sin^n x ) 写作 ( \sin^{n-1} x \cdot \sin x )。进行分部积分：

令 [ u = \sin^{n-1} x, \quad dv = \sin x , dx. ] 则 [ du = (n-1) \sin^{n-2} x \cos x , dx, \quad v = -\cos x. ]

根据分部积分公式 ( \int u , dv = uv - \int v , du )，我们有： [ \begin{aligned} I_n &= \int_0^{\frac{\pi}{2}} \sin^{n-1} x \cdot \sin x , dx \ &= \left[ -\sin^{n-1} x \cos x \right]_0^{\frac{\pi}{2}} - \int_0^{\frac{\pi}{2}} (-\cos x) \cdot (n-1) \sin^{n-2} x \cos x , dx \ &= 0 + (n-1) \int_0^{\frac{\pi}{2}} \sin^{n-2} x \cos^2 x , dx. \end{aligned} ] 这里，第一项在上下限处都为零（因为 ( \cos(\frac{\pi}{2}) = 0 )， ( \sin(0) = 0 )）。

接下来，利用三角恒等式 ( \cos^2 x = 1 - \sin^2 x ) 来化简被积函数： [ \begin{aligned} I_n &= (n-1) \int_0^{\frac{\pi}{2}} \sin^{n-2} x (1 - \sin^2 x) , dx \ &= (n-1) \int_0^{\frac{\pi}{2}} \sin^{n-2} x , dx - (n-1) \int_0^{\frac{\pi}{2}} \sin^n x , dx \ &= (n-1) I_{n-2} - (n-1) I_n. \end{aligned} ]

现在，将包含 ( I_n ) 的项移到等式左边： [ I_n + (n-1)I_n = (n-1) I_{n-2}. ] 即 [ n I_n = (n-1) I_{n-2}. ]

于是，我们得到了Wallis公式推导中最核心的递推关系： [ \boxed{I_n = \frac{n-1}{n} I_{n-2}}, \quad \text{对于 } n \geq 2. ]