圆山中庸从π的无穷乘积到三角积分：华里士公式的前世今生与一个有趣的几何解释
1655年，英国数学家约翰·华里士（John Wallis）在《无穷算术》中首次提出了一个令人惊奇的表达式：圆周率π竟然可以表示为一系列分数的无限乘积。这个看似简单的公式背后，隐藏着数学史上最优雅的桥梁之一——它连接了离散的阶乘运算与连续的几何图形，最终演变成解决三角积分问题的"点火公式"。让我们沿着历史的轨迹，探索这个公式如何从π的计算工具蜕变为积分计算的利器，并尝试用几何直观揭开它的神秘面纱。
1. 华里士的数学冒险：π的无穷乘积诞生记
17世纪的欧洲正处于数学革命的浪潮中。当华里士开始研究圆周率时，人们已经知道π是一个无限不循环小数，但如何用优雅的数学形式表达它仍是未解之谜。华里士采用了一种大胆的插值方法，在整数阶乘之间寻找模式。
他观察到以下规律：
- 对于偶数：
(2n)!! = 2×4×6×...×(2n) = 2^n × n! - 对于奇数：
(2n-1)!! = 1×3×5×...×(2n-1) = (2n)!/(2^n × n!)
通过巧妙的极限构造，华里士得到了这个开创性的表达式：
code复制lim(n→∞) [ (2n)!! / (2n-1)!! ]² × 1/(2n+1) = π/2
这个公式的惊人之处在于：
- 左边完全是整数运算
- 右边却出现了超越数π
- 收敛速度虽然不快，但形式极其对称美观
华里士当时无法严格证明这个公式，他依靠数学直觉和大量计算验证其正确性。这种"实验数学"的方法在微积分诞生前非常典型。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 从乘积到积分：点火公式的华丽蜕变
18世纪，随着微积分的发展，数学家们发现华里士公式与三角函数的积分有着深刻联系。考虑以下两种情形：
2.1 正弦幂次积分模式
计算∫sinⁿx dx从0到π/2时，会出现惊人的规律：
| n的奇偶性 | 积分结果形式 | 具体展开式 |
|---|---|---|
| 偶数 | (n-1)!!/n!! × π/2 | (n-1)/n × (n-3)/(n |