1. 引言
伯努利数（Bernoulli numbers）是数学分析、数论与组合数学中一类重要的有理数序列。它最早出现在雅各布·伯努利（Jacob Bernoulli）对自然数幂和问题的研究中，随后在级数展开、黎曼 zeta 函数、欧拉-麦克劳林求和公式等领域反复出现。本文从定义出发，介绍伯努利数的递推公式、生成函数、基本性质以及若干典型应用。
2. 定义与递推公式
伯努利数通常记为 Bn，其中 n 为非负整数。最常见的定义方式之一是通过如下递推关系：
B_0 = 1， 且对任意 n ≥ 1，有 n Σ C(n+1, k) · B_k = 0 k=0 其中 C(n+1, k) 为组合数。由上式可依次算出：
- B0 = 1
- B1 = -1/2
- B2 = 1/6
- B3 = 0
- B4 = -1/30
- B5 = 0
- B6 = 1/42
可以看到，当 n 为大于 1 的奇数时，Bn = 0。这一性质在后续讨论中会反复用到。
3. 生成函数
伯努利数最优雅的刻画来自指数型生成函数：
x ∞ B_n · x^n -------- = Σ ---------- e^x - 1 n=0 n!这一生成函数是推导伯努利数诸多性质的起点。例如，将上式与 ex 的展开式结合，可以重新得到第二节中的递推公式；而利用生成函数的奇偶性，也能直接解释奇数下标（除 1 以外）伯努利数为零的事实。
4. 自然数幂和
伯努利数最初正是为解决自然数幂和问题而引入的。对正整数 m 与 n，有著名的公式：
n Σ k^m = 1/(m+1) · Σ C(m+1, j) · B_j · n^(m+1-j) k=1 j=0例如当 m = 1 时，上式给出 1 + 2 + … + n = n(n+1)/2；当 m = 2 时，给出 1² + 2² + … + n² = n(n+1)(2n+1)/6。伯努利数在这里充当了幂和多项式中的关键系数。
5. 与黎曼 zeta 函数的联系
伯努利数与黎曼 zeta 函数在偶数点处的取值有深刻联系。对正整数 k，有：
ζ(2k) = (-1)^(k+1) · (2π)^(2k) · B_(2k) / (2 · (2k)!)由此可以得到 ζ(2) = π²/6、ζ(4) = π⁴/90 等经典结果。这一关系也揭示了伯努利数在解析数论中的核心地位。
6. 欧拉-麦克劳林求和公式
欧拉-麦克劳林求和公式将离散求和与连续积分联系起来，其中伯努利数出现在误差项的系数中：
n Σ f(k) = ∫ f(x) dx + (f(n)+f(1))/2 k=1 1 m + Σ B_(2j)/(2j)! · (f^(2j-1)(n) - f^(2j-1)(1)) + R j=1该公式在数值积分、级数加速求和以及渐近展开中都有广泛应用。
7. 渐近性质
伯努利数的绝对值随下标增长得很快。对较大的偶数下标 2k，有渐近估计：
|B_(2k)| ～ 2 · (2k)! / (2π)^(2k)这一增长速率解释了为什么包含伯努利数的级数往往只在渐近意义下收敛，也说明了在数值计算中直接使用大下标伯努利数时需要格外小心。
8. 总结
伯努利数虽然定义简单，却贯穿了幂和、生成函数、zeta 函数与渐近分析等多个数学分支。掌握它的递推定义与生成函数，是进一步学习欧拉-麦克劳林公式、数论与特殊函数的重要基础。
