1+2+3+4+5+6+7+.... = -1/12 ？
撰文 pineislet
惊人的等式
Youtube频道Numberphile的两期节目传到国内后很是火了一阵，缘由无非是这两个视频给出了两个看似匪夷所思的等式：
第一期告诉我们“1+1-1+1-1+...”等于1/2。
&img src=&https://pic1.zhimg.com/06e807c3a5f4742ccca673e212b74f34_b.jpg& data-rawwidth=&118& data-rawheight=&58& class=&content_image& width=&118&&第二期的结论似乎更惊悚，全体自然数之和等于-1/12！
第二期的结论似乎更惊悚，全体自然数之和等于-1/12！
&img src=&https://pic1.zhimg.com/3b8eabdff80e4cb11ca3a713ffbd1ca8_b.jpg& data-rawwidth=&106& data-rawheight=&58& class=&content_image& width=&106&&
怎么可能？That is impossible！相信这是大多数人的第一反应。
然而视频中甚至拿出了Joseph Polchinski（编者：他给《环球科学》写的文章收入了新上市的中）所著的STRING THEORY一书为证，用来告诉我们这个式子的结论着实广泛应用于物理相关领域。虽然我不懂物理，但这本书看上去不太像是一个民间科学家自己在家倒腾然后所著的，那么姑且可以把我们的态度从不屑一顾上升到将信将疑吧~
现在，不妨从头梳理一遍，让我们看一看，这期间究竟隐藏着怎样的数学内幕。
看似简洁易懂的推导
姑且先把两个结论正确与否的讨论放下，我们先来看看视频里是怎样让我们相信这两个等式是正确的。
首先是格兰迪级数S1：
&img src=&https://pic3.zhimg.com/28b958f525b995a293982bceb8c32f92_b.jpg& data-rawwidth=&538& data-rawheight=&160& class=&origin_image zh-lightbox-thumb& width=&538& data-original=&https://pic3.zhimg.com/28b958f525b995a293982bceb8c32f92_r.jpg&&
过程一目了然。接下来是全体自然数之和，可能稍微麻烦一点：
证明分为两个步骤，第一步先求了一个中间级数S2的值
&img src=&https://pic4.zhimg.com/f17d8eda3de1d1ba3fe143_b.jpg& data-rawwidth=&410& data-rawheight=&232& class=&content_image& width=&410&&
第二步便是我们需要的结果
&img src=&https://pic1.zhimg.com/e3e2cba9d288ed371cd6473c_b.jpg& data-rawwidth=&515& data-rawheight=&232& class=&origin_image zh-lightbox-thumb& width=&515& data-original=&https://pic1.zhimg.com/e3e2cba9d288ed371cd6473c_r.jpg&&
看上去轻松愉快的证明，小学生都能看懂。简直是无懈可击……吗？
非民科们的抨击
没错，这是一个小学生都能看得懂的证明，不过我相信一个中学文化水平的人就已经能察觉到充斥在证明过程中的别扭感了。当然，如果你是一个大学生，并且在微积分的课堂上还算听过课，那么一定能一针见血地指出视频中这些证明的一个巨大的bug：
在无穷级数中，只有绝对收敛的无穷级数才可以重新排列各项而不改变收敛值。也就是说，对于非绝对收敛的无穷级数，不能任意更改求和次序！这也就是黎曼(Riemann)级数定理，也叫黎曼重排定理。
可以说，视频中的证明过程充斥着民科的味道。从S1=1/2的证明开始，无时不刻不在肆意改变着级数求和的次序，用一些看起来精巧的“移项变号”、“错位相减”的手法，得到了一个似乎正确的让人信服的结果。可惜的是，从严谨的数学角度上看，上面所有的证明过程，完全不成立。
确实，各种论坛里最常见的对待该问题的论调大致到此为止：格兰迪级数是一个发散的级数，不能求和，从S1=1/2开始，所有的论证都是错的，后面的没必要看了。
看上去好像是一群国外的深井冰在试图糊弄着愚笨的欧洲人民，可惜流传到中国，中国学生的数学底蕴远远超乎那群英国佬的想象，一眼看破真相。民科再一次被火眼金睛的我们所识破，一切都是一个笑话罢了。
然而，真的到此为止了吗？这群英国佬当真只是无聊深井冰？貌似视频里的那个Tony还是诺丁汉大学的物理学家。啊呀呀，这么大的来头只是为了开个大众玩笑么？如果是错的，为什么这个式子会在物理学上有着深刻的影响与应用？
我们应该更冷静的思考一下，这式子的背后究竟是什么。
我们在求什么
事实上，就像在中学时，老师为了向学生们说明为什么圆锥的体积是同底等高圆柱体积的三分之一时，只是用一个圆锥型容器装了三次水然后正好倒满一个同底等高的圆柱型容器一样。中学老师不会真正给你讲述重积分的计算，Tony也不会真正告诉你全体自然数求和的数学背景。这些看上去是充满漏洞，其实只是为了给你演示这个结论的存在，而非严格意义上的证明。
为了追根溯源，我们应当先理解一个本质上的问题：我们在求什么？
看上去又是一个咬文嚼字的问题，但如果只是玩文字游戏扣定义细节，那我也没有写这些的必要了。
没错，我们是在求“和”，这个***显而易见。然而，“和”的概念是怎样而来的呢？
对于有穷个数的相加，“和”的确定是无可争议的----加起来得到什么就是什么。
然而一旦被加数的项数变成了无穷大，我们就很难直接把我们要求的这个“和”给立马拎出来，而是需要用到极限的思想，去对我们的“和”进行一个逼近。
在大多数人接触到的传统的数学中，无穷级数的和是由这个级数前n项和来逼近的。
换句话说，对于一个级数 &img src=&https://pic3.zhimg.com/2db53dfeff699a_b.jpg& data-rawwidth=&260& data-rawheight=&58& class=&content_image& width=&260&&
我们对它的前n项进行求和，得到一个数列{An}，其中 &img src=&https://pic2.zhimg.com/580977ecd20078acd7a599bb705f2e1d_b.jpg& data-rawwidth=&96& data-rawheight=&58& class=&content_image& width=&96&&
是这个级数的前n项和，如果数列{An}收敛于A &img src=&https://pic3.zhimg.com/a3b0bdbb6_b.jpg& data-rawwidth=&207& data-rawheight=&58& class=&content_image& width=&207&&
则我们说该级数和为A。
以上，我们严格给出了一个级数求和的方式：用级数的前n项和去逼近其真实的值。按这种方式，我们得到的和是所谓的柯西(Cauchy)和。
我们有理由相信按照柯西和的方式求得的“和”是正确且严谨的，但是，我们有什么理由相信，就不存在其它的同样正确而严谨的途径，来求得无穷级数的“和”呢？
意大利数学家切萨罗(Cesàro)，就提出了另一种方式去让我们求得无穷级数的“和”，同样利用极限去逼近，但切萨罗却是利用前n项的部分和的平均来完成这件事。切萨罗定义了一个新的数列{Cn}，其中
&img src=&https://pic3.zhimg.com/6bdc5c2fd9a46dfe374eb35abf4db88e_b.jpg& data-rawwidth=&102& data-rawheight=&86& class=&content_image& width=&102&&
是这个级数的前n项部分和的平均，如果数列{Cn}收敛于C &img src=&https://pic4.zhimg.com/d16a7eb23e6fdd7e79abc29e1c26ac3f_b.jpg& data-rawwidth=&215& data-rawheight=&86& class=&content_image& width=&215&&
则我们说该级数的和为C。
可以证明，如果级数在柯西和下求得结果为α，那么在切萨罗和下结果与柯西保持一致，也为α。
关于切萨罗和与柯西和的比较，我们暂且绕开计算复杂度不表，仅仅从数学的严谨性上来看，我们完全找不到一个理由去说：柯西和优于切萨罗和。我们应该认为，这两种求和的方式，起码在数学地位上是平等的。
无独有偶，对于无穷级数“和”的定义，除了切萨罗和外，还有阿贝尔(Abel)和、拉玛努金(Ramanujan)和等等，切萨罗还对上述求和进行推广，给出了广义切萨罗求和的概念。我们不应该在我们仅仅了解柯西和的情况下去否认这些各式各样的“和”的正确性。
但似乎切萨罗这群数学家们在干一件费力不讨好的事情，柯西和的定义不仅直观而且便于计算，得到的结果也不算糟糕，那么，刚刚说到的这些人们，是不是只是在做无用功呢？
一二三四，再来一次
了解了我们在求什么，我们重新回到最开始的问题上。这次我们用理性的，科学的方式重新对刚刚那几个级数求一次和。
首先是格兰迪级数S1：
显然，柯西和似乎在这里并不适用了，格兰迪级数的前n项和An是在1、0之间摆动的一个数列，并没有收敛于某个数。如果我们手头只有柯西和这个工具，那么我们也只能对这个看似简单的级数束手无策，悻悻作罢。
这个时候，如果用切萨罗的方法求和又会怎样呢？
我们来分别计算一下{An}与{Cn}，看看能得到怎样的结果：
&img src=&https://pic2.zhimg.com/a2cfc91eaf3e0aef3cead_b.jpg& data-rawwidth=&406& data-rawheight=&198& class=&content_image& width=&406&&
可以看到，虽然柯西和不存在，但是切萨罗平均得到的数列却拥有极限1/2。所以，我们可以说，格兰迪级数具有切萨罗和为1/2。
我们发现，切萨罗求和比柯西和不仅是相容的（即柯西和若存在，则切萨罗和存在且与柯西和相同），而且在柯西和无法解决的发散级数中，切萨罗和也有着用武之地。
不仅仅是切萨罗和，前文提到的阿贝尔和、拉玛努金和等等求和，都可以处理格兰迪级数，并且得到一致的结果----1/2。
就好像无理数将有理数域扩充为实数域，虚数将实数域扩充为复数域。各式各样新的求和方式让我们对级数的本质有了更深刻的认识，对于发散级数那无穷个加号背后蕴含的东西，我们终于可以去进行理论计算，而非望洋兴叹。
现在，我们再来看看S2，这个呈增幅趋势正负摆动的级数是不是又像视频中所说，等于1/4呢？
如果你拿出纸笔计算一下，你会遗憾地发现，级数S2做切萨罗平均后得到的数列{Cn}并不收敛。我们似乎又碰到了麻烦。难道S2就真的无法求和了吗？
广义切萨罗求和再一次帮助我们解决了这个问题。这次我们是用前n项的部分和的平均的平均来逼近数列的和。
为了不使文章充斥太多的符号和计算过程而显得晦涩难懂，在这里就不进行具体的计算，有兴趣的同学可以在中看到相关的定义。
在二阶切萨罗平均数列的逼近下，我们的的确确的求得了一个极限----1/4，这个和正是视频中给出的***。同样，阿贝尔和、拉玛努金和也均一致得到这个正确的结论。
最后，就到了最让人不能接受的那个等式----自然数之和等于-1/12。
如果你动手算了，你会沮丧的发现，无论是柯西和、切萨罗和、广义切萨罗和（哪怕推广到无穷阶）还是阿贝尔和，对于全体自然数相加这个级数，居然都无能为力----似乎无论用什么办法去逼近这个和，得到的都是发散的结果。
然而拉玛努金和，却给出了这个正确的结果：-1/12。
求的拉玛努金和的具体过程，艰深而复杂。无法在文章中给出证明，但我们已经知道，-1/12这样一个数字，并不是靠一个简单的数学把戏凭空捏造的，这其中涉及到相当有趣且深奥的数学理论。
想更多一点
这篇小文章的最后，让我们再想多一点点。
在第一个视频中，视频的制作者留下了一个有趣的问题：假设房间里有一盏灯，一分钟之后将它打开，30秒后关上，15秒再打开，以后每次操作时间减半，那么2分钟时，灯处于什么状态？
忽略普朗克时间等因素不做讨论，我们从纯思维上的去考虑这个问题，就会发现，格兰迪级数的切萨罗和1/2反映的不正是反应了一个物理上的叠加态吗？
又如视频中所说，全体自然数之和等于-1/12，物理上确实已经有相应的实验从统计量角度验证了这个等式的成立，并且该结论被广泛应用于弦论当中。（好吧，我物理真的不好如果说错了求别打脸。）另外关于这个等式，还有很多种证明，其中最简明的应该是黎曼ζ函数在-1处的解得延拓。
说到物理，我想起昨天一位朋友说了这样一段话：“物理总是通过一些方法使数学尽量满足和服务于他，而数学应该是严谨的有理有据的吧。”我却不能赞同这样的说法。
我认为数学美于物理，不是因为数学比物理更严谨，而是数学比物理更清晰。数学建立于干净简明的公理体系之上，而物理建立于突兀生硬的宇宙物理常数之上。我相信物理的世界同样严谨而自洽。这就好像马赛克铺成的地板一样无缝，但我更喜欢整块的大理石瓷砖。
作者：pineislet
链接：https://www.zhihu.com/question//answer/
来源：知乎
本文经授权转载，转载请联系作者获得授权。
转载请先联系。
欢迎关注环球科学的微信公众号（ID: huanqiukexue），《环球科学》10月号已上市，点击文末阅读原文即可进入微店购买。
责任编辑：
声明：该文观点仅代表作者本人，搜狐号系信息发布平台，搜狐仅提供信息存储空间服务。
今日搜狐热点初中数学 COOCO.因你而专业 ！
你好！请或
使用次数：32
入库时间：
如图，直线y＝x＋b与直线y＝kx＋6交于点P(3，5)，则关于x的不等式x＋b＞kx＋6的解集是_____________．
【解析】由图象得到直线y＝x＋b与直线y＝kx＋6的交点P(3，5)，在点P(3，5)的右侧，直线y＝x＋b落在直线y＝kx＋6的上方，该部分对应的x的取值范围为x＞3,即不等式x＋b＞kx＋6的解集是x＞3．
【点拨】本题考查了一次函数与一元一次不等式的关系：从函数的角度看，就是寻求使一次函数y＝x＋b的值大于y＝kx＋6的自变量x的取值范围；从函数图象的角度看，就是确定直线y＝x＋b在直线y＝kx＋6的上方的部分所有的点的横坐标所构成的集合．
如果没有找到你要的试题***和解析，请尝试下下面的试题搜索功能。百万题库任你搜索。搜索成功率80%作者: meilin
许多人可能已经听说过保持omega-3和omega-6必需脂肪平衡对健康很重要。过量摄入包含omega-6脂肪酸加工食品的肥胖者通常难以维持这种平衡。实际上，许多超重者都远远高于正常比例，有时甚至高达1:22以上。而最理想的omega-3与6比例是1:4。
为了获得平衡，大多数人将会避免所有加工食品，并多吃富含omega-3的食物。尽管这种方式在刚开始时很有效。但如果因此而导致omega-6摄入不足同样会出现问题。因为这两种脂肪酸对人体功能都很重要。要记住1:4这个平衡比例，采取均衡饮食才能最有效实现永久性减肥目标。
Omega-3脂肪酸对心脏和脑健康的好处
Omega-3通过降低低密度脂蛋白和甘油三酸酯帮助预防冠状动脉疾病。对于减肥者来说，这种脂肪酸有助于肝脏新陈代谢和燃烧其他脂肪。此外，它还可以转变血液中负责凝血的血小板代谢，这也是涉及动脉阻塞的原因之一。每天吃少量鱼或鱼油就可以提供足够的Omega-3脂肪酸数量。
保持这两者脂肪酸的平衡很重要，否则在Omega-3水平过高的情况下容易导致出血。这也是做手术前建议病人停止服用这类营养品的原因所在。经常性出现瘀伤往往就是Omega-3脂肪酸过量的症状，需要补充更多omega-6 加以平衡。
最新研究发现Omega-3还有延缓大脑衰老的作用，并且有一定抗抑郁功效。其产生的快乐感有助于更好的减肥。含Omega-3丰富的食物包括肥鱼，亚麻籽，棕榈油和核桃等。
Omega-6脂肪酸的抗炎作用
在与Omega-3保持平衡的情况下，Omega-6脂肪酸在体内减轻炎症方面扮演着重要角色。由于亚麻酸在身体脂肪代谢方面很重要，而亚麻酸是一种重要的Omega-6，因此这种脂肪酸如果摄入不足，会直接影响减肥效果。除此之外，亚麻酸还对缓解关节炎炎症很有帮助。含Omega-6丰富的食物包括琉璃苣油，大麻油，大麻种子，鼠尾草种子和杏仁等。
相关文章：