陈舞雩聊到自然数全加和，绕不开那个让无数人争论的等式：1+2+3+…=-1/12。这个系列写到第六篇，标题里的“6”正好撞上欧拉伽马常数0.57721…的开头数字，干脆就把这两个话题放在一起聊。
自然数全加和，从普通算术课的角度看，绝对不可能等于一个负数。级数明明是发散的，项越来越大，凭什么收敛到-1/12？但物理系、数学系、工程系的人看到这个式子，反应往往完全不同。这篇不是来站队说“对”或“错”的，而是想把这些年我自己在复现推导、看文献、算物理题时踩过的坑和梳理清楚的东西，一次性写透。顺带把欧拉伽马常数γ为什么总在这个话题周边神秘出没，也说清楚。
如果你刚接触这类问题，看到的是“1+2+3+…=-1/12”的奇观；如果你已经学过一些复分析和量子场论，看到的是“正则化”与“解析延拓”的设定。无论你在哪个阶段，这篇都适合读。它不要求你懂太多前置知识，只要会等比级数、会求导，就能跟着推导走完全程。
1. 从自然数全加和说起
1.1 一个让无数人争论不休的等式
自然数全加和，原封不动写出来就是：
1 + 2 + 3 + 4 + …
在严格数学意义下，部分和 S_N = 1+2+…+N = N(N+1)/2，当 N→+∞，这个量趋向无穷。所以在“极限定义”的级数求和框架里，这个级数发散，没有和。这是无可争辩的事实。
但为什么还会产生“1+2+3+…=-1/12”的说法？原因是，19世纪末到20世纪，数学家和物理学家开始认真研究“发散级数的扩展求和法”。欧拉在18世纪就写过这类结果，拉马努金在给哈代的信里也出现过类似公式。他们做的事情，不是算“普通和”，而是给级数赋予一个有条件的“有限部分”。
这个话说起来有点绕。打个比方：普通求和就像上秤称东西，东西太重，秤爆了，于是告诉你没有读数。扩展求和法更像是用吊车、弹簧、液压传感器组合起来重新设计一套测量系统，虽然读数不是原来那个“秤上数值”的意义，但在特定框架下，它能给出一个稳定、可复现的值。
-1/12就是这样来的。
这个结果之所以争议大，是因为许多人把它拿到普通算术语境里传播，直接说“所有正整数加起来等于负数”，在直觉上确实很荒谬。但只要加上限定词——“在黎曼ζ函数解析延拓意义下”或“在拉马努金求和意义下”——争议就小很多。就像不能说“0的0次方等于1”，但在组合数学的约定下，它就是1，前提说清楚就行。
1.2 为什么还要“再论”：可和法的前提
既然普通意义下级数发散，那扩展求和法又凭什么定义结果？答案在于，我们人为约定了一组“合理性质”，比如线性、稳定性、正则性。
- 线性：如果两个级数分别可和到A和B，那么它们的线性组合可和到组合的线性结果。
- 稳定性：给级数前面添一项或删一项，和的变化要符合直觉。比如 Σ a_n = a_1 + Σ a_{n+1}。
- 正则性：对真正收敛的级数，扩展求和法必须和普通求和结果一致。
满足这些条件的求和方法有很多种，而且它们对同一个发散级数可能给出不同结果。比如1-1+1-1+…在切萨罗求和意义下是1/2，在阿贝尔求和意义下也是1/2；但另外一些级数，不同方法可能结果不一致。
所以“再论”的核心不是争论1+2+3+…是不是-1/12，而是搞清楚：我们在哪个规则体系下说话，体系是怎么构造出来的，它的边界在哪里。这个问题没搞清楚，后面所有公式都容易变成“玄学”。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 欧拉伽马常数：引而不发的隐藏角色
2.1 γ的定义和它的“身世”
欧拉伽马常数，通常记作γ，定义是：
γ = lim_{n→∞} (1 + 1/2 + 1/3 + … + 1/n - ln n)
这个极限存在，数值约等于0.5772156649。它不像π和e那样有简单的初等表达式，也不清楚它是不是无理数、是不是超越数。学界主流猜测它是无理数，但至今没有证明。
从定义能看出，γ描述的是调和级数发散速度与自然对数发散速度之间的“差距”。调和级数1+1/2+1/3+…是发散的，ln n也是发散的，两者都趋于无穷，但它们的差却趋于一个稳定常数。这个常数就是γ。
γ还会以非常自然的方式出现在好几个重要公式里。比如欧拉-麦克劳林求和公式，在把离散和转成积分时，截断边界项会飘出γ；又比如黎曼ζ函数在s=1处有极点，洛朗展开为：
ζ(s) = 1/(s-1) + γ + O(s-1)
换句话说，γ是ζ(s)在极点位置减掉主项之后的常数项。正是因为γ和ζ函数、欧拉-麦克劳林公式关系密切，它才经常出现在“发散级数有限部分”的相关推导里。
2.2 γ与自然数全加和的隐藏联系
很多人误以为，既然自然数全加和得到-1/12，那γ也一定藏在某个求和步骤里。严格说，-1/12本身不含γ，但γ和它属于同一个“家族”：都是发散级数正则化过程中的边界常数。
举一个具体例子。对调和级数做“有限部分”截断：
H_N = 1 + 1/2 + … + 1/N = ln N + γ + 1/(2N) - 1/(12N^2) + 1/(120N^4) - …
去掉发散项ln N和后续衰减到0的项，剩下的常数项是γ。
而对自然数全加和，如果使用指数光滑截断：
S(ε) = Σ_{n=1}^∞ n e^
当ε→0⁺时，S(ε) = 1/ε^2 - 1/12 + O(ε^2)。去掉发散项1/ε^2，常数项是-1/12。
两个过程看起来很像：都是先把发散级数“软化”，再剥离主发散项，最后留下常数项。但一个留下0.5772，一个留下-1/12，数值完全不同。原因是它们对应的“发散骨架”不同：一个是调和级数的对数发散，一个是自然数全加和的二次发散。γ和-1/12不是同一个量，不要混为一谈。
不过，在数学物理的某些正式计算中，γ和-1/12确实会同时出现。比如用维数正规化处理费曼积分时，中间步骤常常出现1/ε项、γ项、以及ζ(-1)或ζ(-3)这类值。它们经过组合抵消后，物理量才变得干净。所以标题把“自然数全加和”和“欧拉伽马常数”放在一起，一点都不奇怪。它们是发散级数正则化这棵大树上的两根枝桠。
3. 从发散到有限：两种能算出-1/12的方法
3.1 方法一：黎曼ζ函数的解析延拓
最常见的正规做法是先定义黎曼ζ函数：
ζ(s) = Σ_{n=1}^∞ 1/n^s
这个级数在Re(s)>1时收敛。右侧的半平面之外，级数不收敛。但ζ(s)可以解析延拓到整个复平面（除了s=1的极点）。解析延拓的核心思想是，用一个在更大区域有定义的解析函数，去“合理地”继承原来函数在收敛区域的值。
想算出ζ(-1)，最优雅的路径是用函数方程。黎曼证明了：
π^{-s/2} Γ(s/2) ζ(s) = π^{-(1-s)/2} Γ((1-s)/2) ζ(1-s)
这里Γ是伽马函数。把s=-1代入：
左边 = π^{1/2} Γ(-1/2) ζ(-1)
我们需要知道Γ(-1/2) = -2√π，以及右边：
右边 = π^{-1} Γ(1) ζ(2)
Γ(1)=1，ζ(2)=π²/6，所以右边=π/6。
于是：
√π × (-2√π) × ζ(-1) = π/6
-2π × ζ(-1) = π/6
ζ(-1) = -1/12
再把“ζ(-1)”翻译回原来的级数形式，理论上对应的是1^1 + 2^1 + 3^1 + …，也就是自然数全加和，所以“在解析延拓意义下”，自然数全加和等于-1/12。
这一步推导的关键点在于，函数方程本身是严格成立的，Γ(-1/2)也有确定值。所以ζ(-1)=-1/12这个结果本身没有争议，有争议的是“能不能把它说成1+2+3+…=-1/12”。严格说，ζ(s)在s=-1处的值，不是原级数在s=-1处的“和”，而是解析延拓后的函数值。你可以把解析延拓看成把原有函数光滑地“延伸”到原本定义域之外，延伸后的值有数学意义，但它已经不属于原级数的常规收敛意义。
3.2 方法二：指数光滑截断的实际操作
第二类方法是引入光滑因子，让级数变得可求和，然后讨论ε→0时的展开。这种做法不仅数学上直观，物理上也经常用来做正规化。
考虑：
S(ε) = Σ_{n=1}^∞ n e^
当ε>0时，等比级数收敛，因为e^{-ε}<1。先回忆：
Σ_{n=1}^∞ e^{-nε} = 1/(e^ε - 1)
两边对ε求导，再取负号：
Σ_{n=1}^∞ n e^{-nε} = e^ε/(e^ε - 1)²
现在需要把右边的式子按ε展开。我习惯的做法是写成双曲函数：
e^ε/(e^ε - 1)² = 1/(4 sinh²(ε/2))
用csch²的展开：
csch²u = 1/u² - 1/3 + u²/15 - …
代入u=ε/2：
S(ε) = 1/ε² - 1/12 + ε²/240 - …
于是当ε→0⁺时，第一项1/ε²发散，第二项就是有限常数-1/12，后面的项都趋于0。如果我们把“发散级数的和”定义为“去掉发散主项后剩下的有限常数”，那就得到：
1+2+3+… = -1/12
这个方法和ζ解析延拓殊途同归。它还有一个优势：你能清楚地看到“发散部分”长什么样——1/ε²——以及它是怎么被剥离的。拉马努金求和、黎曼ζ正则化、指数光滑截断，在自然数全加和问题上都指向同一个-1/12，这给了这个结果很强的“鲁棒性”。
3.3 绕不开的疑问：为什么硬截断得不到-1/12
你可能要问，如果不做光滑截断，而是直接取前N项，会怎样？
显然S_N = N(N+1)/2 = N²/2 + N/2，当N→∞，发散。硬截断没有留下任何有限常数。有人试图把N²/2和N/2当成“发散项”丢到后，剩下的常数项是0，不是-1/12。这说明“有限部分”并不是级数本身固有的，它依赖你选择的截断方式。
那为什么物理里选择ζ正则化或指数光滑截断，而不是硬截断？核心原因是，很多物理理论要求保持洛伦兹对称性、规范对称性。硬截断会破坏这些对称性，而ζ正则化、维数正规化这类方法能保留对称性，得到的有限部分才有物理意义。换句话说，-1/12不是算术的必然，而是特定规则体系下的必然。
三种方法的比较：
| 方法 | 操作方式 | 有限部分 | 适用范围 |
|---|---|---|---|
| 硬截断 | 直接取前N项，再让N→∞ | 无固定有限值 | 数学上最“朴素”，但破坏对称性 |
| 指数光滑截断 | 乘e^{-nε}，展开后去掉1/ε² | -1/12 | 直观，适用面广，容易算 |
| ζ解析延拓 | 延拓ζ(s)到s=-1 | -1/12 | 理论最严谨，和物理正规化紧密相关 |
所以以后再看到“1+2+3+…=-1/12”，你可以自信地追问一句：用的是哪种求和法？不加说明直接说“等于”，会在严肃讨论里显得很不严谨。
4. 这些结论真的能用吗：物理意义与边界
4.1 卡西米尔效应中的-1/12
很多人问：一个发散级数算出来的有限值，现实世界会认账吗？答案是，在特定物理场景中，这类有限部分确实对应可测量的效应。最著名的例子是卡西米尔效应。
考虑两块无限大平行金属板，相距很小。真空中的量子场在板间只允许驻波模式，模式频率是离散的。计算真空零点能时，需要对所有模式求和，结果自然是发散的。但物理学家会做一个差分：把“两板存在时的能量”减去“没有板时的自由空间能量”，发散部分大概率被抵消，剩下一个有限的、与板间距相关的能量。这个能量对间距求导，就得到板之间的吸引力，即卡西米尔力。
在这类计算中，ζ函数正则化和-1/12、-1/120这类值会频繁出现。比如在一维理想化模型中，零点能求和形式直接对应ζ(-1)；在三维模型中，可能对应ζ(-3)=-1/120。这些值本身不“等于”实际能量，而是计算过程中的重要参数。实验上，卡西米尔效应已经被多次验证，力的数量级和理论预测吻合得很好。
这说明，-1/12不只是数学游戏，它背后有物理支撑。但物理支撑成立的前提，是“整个计算方案是自洽的”：你用某种正规化方法，计算同一个物理量时，始终保持方法一致。最怕的就是，发散级数的第一部分用ζ正则化取-1/12，第二部分用硬截断取0，最后得到一个毫无意义的数值。这种错误在初学者论文里非常常见。
4.2 常见误区：别把“某个和”与“解析延拓”混淆
我在社区里看过无数争论，两边各执一词，其实都是概念没对齐。
- 数学家说：1+2+3+…是发散的，没有和。
- 物理学家说：在量子场论里，1+2+3+…取-1/12才有物理意义。
- 科普博主说：你猜怎么着，所有正整数加起来等于负十二分之一。
这三句话其实在说三件事。第一句说的是“普通级数求和意义”，第二句说的是“正则化后的有限部分”，第三句是压缩了语境、省略了前提的传播版。如果只看第三句，就很容易得出“数学是错的”这种结论。
我的建议是：正式写东西时，不要写“1+2+3+…=-1/12”，而是写“在黎曼ζ函数解析延拓意义下，ζ(-1)=-1/12”。这样既严谨，又能避免不必要的争吵。
还有一个常见误区是以为解析延拓是“强行规定”。实际上解析延拓有很强的唯一性：如果一个函数在某个区域上解析，并且等于原级数和函数，那么它在更大连通区域上的解析延拓是唯一的。换句话说，ζ(-1)的值不是数学家拍脑袋定的，而是由ζ(s)在Re(s)>1区域的取值唯一决定的。它并不随意。
5. 实操手记与避坑清单
5.1 复现推导时最容易踩的三个坑
第一，符号搞反。用指数光滑截断展开S(ε)时，常数项很容算错。很多人把e^ε/(e^ε-1)²直接展开，得到+1/12，然后到处问为什么对不上。建议验算时用极限：
lim_{ε→0} [S(ε) - 1/ε²] = -1/12
或者用数值模拟试几个小ε，比如ε=0.1、0.01，代入前几千项，看到结果确实趋于-1/12，就会放心很多。
第二，把γ硬塞进-1/12的推导里。我在很多博客里看到一种说法：因为调和级数和自然数级数有关系，所以γ也参与了全加和，最终得出-1/12。这个说法不严谨。γ常出现在调和级数、欧拉-麦克劳林展开和ζ(s)极点附近的展开里，但自然数全加和的正则化结果不含γ。你可以把这两个常数分开记忆，它们只是“邻居”，不是“同一人”。
第三，混淆“发散级数的和”和“部分和的极限”。在莱布尼茨、柯西之前，级数“和”的概念比较朴素；但现代数学定义里，级数收敛必须有部分和极限。所以每当你看到推广求和法，一定要先确定它拓展了哪条公理、限定了哪些条件。没有这个意识，看再多资料都会觉得每篇文章都在互相打脸。
5.2 我的一点个人体会
我自己最早是被“1+2+3+…=-1/12”这个式子拉进这个坑的。当时第一反应是“这不可能”，然后跟着视频推导，又觉得“天呐，数学真神奇”。后来学了复分析，才明白当初觉得“神奇”的地方，其实是概念偷换。真正让我受益匪浅的，不是记住这个结果，而是顺着这条线去理解了欧拉-麦克劳林公式、ζ函数解析延拓、正则化这些大杀器。它们每一个都比-1/12本身更有用。
如果让我给刚入坑的朋友一个建议，我会说：不要急着去网上争论“数学是错了还是对了”，先自己动手算一遍。把指数光滑截断的展开一步步写出来，把ζ函数延拓的函数方程代入一遍，再用数值计算验证一下。走完这三步，你对发散级数的理解会超过90%的争论者。
这个系列后续如果继续写，我会重点聊聊拉马努金求和到底是怎么定义的，以及欧拉当年用“非严格”方法算1-2+3-4+…的完整过程。那些内容比单一结果更有趣。最后再分享一个小技巧：遇到任何发散的“和”，别急着找答案，先问一句“用什么规则求和”，这句话能帮你避开绝大多数认识误区。