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