泰勒公式的展开细节解析

分享一下我老师大神的人工智能教程！零基础，通俗易懂！http://blog.csdn.net/jiangjunshow

也欢迎大家转载本篇文章。分享知识，造福人民，实现我们中华民族伟大复兴！

                       

上周写完了《《三体》读后思考-泰勒展开/维度打击/黑暗森林》后收到一些邮件，进一步思考了关于泰勒展开的意义。也许我掌握的那些网络技术比如Linux Netfilter，NAT之类，太过底层太过小众，所以大家几乎都是没有感兴趣的，倒是这种科普性质的文章和那些吐槽类的文章，会引发一系列的互动，这对我来讲是好事，因为我喜欢跟人交流技术和思想。

声明

本来这篇文章应该添加在《三体》读后感后的“补遗”一节呢，后来觉得太长了，有点喧宾夺主的意思，就单独写了一篇文章。
  其实吧，这篇文章已经跟《三体》小说没有太大的关系了，这纯粹是一篇关于数学的文章，但是由于本文要涉及大量关于“趋势的趋势的趋势”，“走势的走势的走势的走势”，“导数的导数的导数的导数的导数…”，为了保持一致性，我将本文的题目写成了“《三体》读后感的读后感…”，可能后面还有，未完待续！

第一部分.泰勒展开解释

很多人对我解释的泰勒展开提出了自己的疑问，这些疑问大致都是对下面的问题表示不解：
为什么可以从一个单独的点不断求导就可以画出整个函数的曲线？即“一点是如何蕴含整个世界”的。
诚然，这个问题其实在数学上是及其容易证明的，在定量的角度，随便找出一本讲微积分或者数学分析的书都可以得到令人满意的回答，我在文章《《三体》读后思考-泰勒展开/维度打击/黑暗森林》中也给出了一个简易的推导。然而，在满足了逻辑上的自洽后，我们很多人对一件逻辑上合情合理的事情便有了探索其实际意义的欲望，比如我们会问，它的物理意义是什么，它的几何意义是什么，甚至更基本的，它的意义是什么？就这么问着问着，便似乎有了一点哲学探索的味道，在我看来，这便是最精彩的！
    很多人都看过双截棍表演，但现如今很少有人了解鞭术了，其实你可以把鞭子看成是N趋近于无穷大时的N截棍，玩起来更难。其实我也不是很懂，就是为了解释这个泰勒展开才稍微看了一点关于鞭术的东西，具体来讲，执鞭人手执鞭子在原地只是上下左右按照一定的规则甩鞭，一条很长的鞭子就会整体展现成各种漂亮的曲线，他是怎么做到的？
    当然，从物理上讲，这当然是若干列波从执鞭处向鞭子的另一端传播，传播的过程在不同的点产生了定向的效果，然而似乎不是一个很好的足以让人满意的解释，我们的问题是，那个执鞭人的手需要怎么个动作，才能让鞭子整体上看来是那种效果？
  这个问题我是回答不了，因为我不懂鞭术，身边也没有懂的人，但是这个问题似乎和本文一开始的那个问题讲的是同一回事，即从一个点来蕴含整体的行为。
…
  我的观点是：既然走势可以让人预测曲线上邻接的下一点的大致位置，那么走势的走势便可以相对精确地预测邻接下一点的具体位置，紧接着，走势的走势的走势便可以告诉人们这种趋势可以延续到什么时候，再继续…这似乎超出了人们的想象力…我们还是用简单的数学来表示吧。我们先从1阶导数，2阶导数，3阶导数的几何意义说起。
  先看1阶导数，我们知道，它是经过曲线上某点的切线的斜率：

我们来看这个1阶导数可以预测到多远处呢？如果我们仅仅知道该点的坐标以及有这么一个该点的1阶导数的值，我们几乎什么都预测不了，除了知道在该点处有沿着切线向上的趋势之外，这没能为我们画出这个曲线带来帮助，似乎下面的曲线都能满足，然而真正正确的只有一个：

换句话说，1阶导数只能将邻接的下面的点定位到两个范围中的一个：

so，我们需要进一步的信息，我们继续求2阶导数，看看能挖掘出什么新玩意儿。
  2阶导数是1阶导数的导数，换句话说，它代表了检测点切线的变化趋势，有了这个趋势，我们是不是可以相对精确地预测邻接的点的位置了呢？我们先看2阶导数的几何意义为何。学过数学的都知道，2阶导数表示了曲线的凸凹，对于凸函数，2阶导数是负数，它表示切线的斜率会越来越小，而对于凹函数，2阶导数是正数，它表示切线的斜率越来越大：

因此，有了2阶导数，我们对接下来的曲线走势定位就更加精确了，我们可以进一步缩小邻接的点的取值范围：

具体的坐标由2阶导数的具体值来约束。
  到了这一步，进一步将曲线往前延伸似乎是无望的，因为：

 

1.首先，我们不知道代表检测点凸凹性的2阶导数的值在将来会不会逆转，即我们不知道曲线会不会由凸变凹或者由凹变凸；
  2.其次，即便假设函数的凸凹性不变，我们也不知道接下来曲线是越来越凸/凹呢？还是反过来呢？

毕竟，我们只求得了检测点的1阶和2阶导数，注意，它们都只是一个数字，而不是一个带有自变量的新的函数，所以我们通过1阶导数和2阶导数，得到仅仅是2个值，仅此而已，如果我们能得到关于曲线任意一点的2阶导数的函数表达式，那么我们当然可以预测曲线2阶函数的走势，但在本文中，我不会那么做，我就假设，我们没有这个函数表达式，只有一个检测点的2阶导数的值！怎么办？
  我们继续看3阶导数。在此之前，我必须要澄清一个我的观点。
  我在知乎上查过相关资料，另外还特意请教过一些搞数学的老师或者朋友，得到的解答可能都是从哪个地方看到的一致性解答，说3阶，4阶，5阶…导数这些没有几何意义和物理意义，数学只追求逻辑上的完整，自包容，而不是去追求什么几何意义，物理意义。我并不赞成这个说法，以霍金为例，它的虚时间模型虽然只是数学上的技巧，但是最终的目标却是为他的有限无界的宇宙几何模型服务，这说明，完成逻辑完整性证明和寻找其意义同等重要，可能后者还会更重要，我没有看到哪一个伟大的物理学发现背后仅仅是纯粹的思辨性的数学，不管是牛顿的引力场，还是爱因斯坦的引力场，还是霍金的量子引力，在逻辑严谨性支撑的前脸，都有一个漂亮得体的几何模型作为表象。
…
  3阶导数不难求，继续对2阶导数表达式求导，然后代入检测点的x值即可，然而3阶导数的意义是什么？其实仔细想想，并不难理解，这正如2阶导数主导1阶导数的变化从而把1阶导数自认为正确的“以直代曲”的直线模拟拉成弯曲的或者凸或者凹的曲线一样，3阶导数同样主导2阶导数的变化，它可以表示“曲线是继续凸下去或者继续凹下去，还是会在某一个x值后逆转，由凸变凹或者由凹变凸”。用语言表示比较苍白难以理解，于是我画个图示：

好了，有了3阶导数，我们似乎进一步将曲线向前推进了，至少是预测出了一种趋势，然而这个趋势是必然的吗？考虑到一种情况，比如当前检测点的2阶导数值为1，表示曲线在检测点是凹的，而同时3阶导数的值为-1，这表示可能接下来邻接点的2阶导数会比1小一点，最终会变成0甚至负数，这意味着曲线会由凹变凸，即经历一个拐点，但这种预测一定会发生吗？
  不一定！But why？
  虽然当前检测点的3阶导数值为-1，但这并不意味着它会一直保持-1，如果它一直保持-1，那么我们的预测正确，但是如果曲线的3阶导数在该检测点是递增的呢？这意味着会发生下面的情况：
在曲线从检测点x0这些函数的奇点在哪里？这些函数的奇点在无穷远处。这意味着，在任意一个展开点，函数曲线本身都已经积累的无穷的能量(即信息)，这说明泰勒公式可以将其完全展开到无穷。
  离奇点越近，各种趋势越不易表现出来，奇点附近刚开始积累趋势，趋势尚未表现，这就是能量和运动的观点，我就是这样避开了那些收敛圆，收敛半径这些概念的。

C.到底什么是数学

如果你觉得数学纯思辨性的类似哲学的东西，那么你可以忽略我下面的所述，如果不是，请看完它，哪怕是心里压着邪火，保持着愤怒。
  只有在古希腊数学才是纯思辨哲学的分支，从罗马帝国的地中海世界开始，一直到今天，数学都只是工具，解题工具。当然这里说的解题并非我们考试中的解题，而是实实在在的处理数据时必须要解决的难题。
  不要把炼丹术和占星术看作是迷信这种不可救药的东西，它们和数学的关系源远流长。首先指出，现代数学和古希腊数学完全不是一个概念，甚至几乎没有什么关联，所以在理解现代数学本质的概念的时候，千万不要去想什么毕达哥拉斯学派什么的。炼丹术和占星术是现代化学和天文学的先祖，当它们无法用咒语欺骗国王的时候，它们就必须拿出证据来保住自己的饭碗，这无形中将它们推向了现代科学的“深渊”。千万不要将哥白尼，伽利略，牛顿…他们看成是拥有现代科学品质的明事理的人，在他们的年代，他们无一例外都披着神学的外衣，只是他们在处理一些棘手问题的时候，偶然间发现了一些所谓的真相，要让这些真相在逻辑上变得合理，他们必须处理大量的数据从而期望导出一些隐藏在这些数据背后的关系。在处理数据的时候，他们无一例外地被数据和关系的复杂性困扰，于是乎他们搞出一些处理技巧，这些技巧就是现代数学的前身，因此可以说炼丹术和占星术引导了现代物理，现代物理激发了现代数学，这其中一脉相承的就是神学和哲学的不断渗透和对抗。
  明白了这些之后，你会发现现在中学大学里的数学课程的教法是多么没有意义。这些课程看似很深邃，然而都是毫无意义的。我记得我上大学的时候(当时还是本科，后来才“进修到大专”)，老师给我们讲梯度散度旋度，最后的输出就是背诵了一大堆的定理和公式，我问老师这些有什么用，老师说这些期末考试是必考点，以后考研也会考…后来我退学后跑到了女朋友(小小的妈妈)学校外面的村子里租了个房子，刚过去时，正逢她们班要期末考试了，也要考高等数学，什么洛必达法则，牛顿/莱布尼兹公式…爆炸，她们是日语教育专业啊！考这玩意儿毛用啊！
  然而抱怨是苍白的，我依然要拖着疲惫的身躯去给她们讲高等数学，对了，还包括她的同班男生，反正就是我女朋友全班…讲着讲着我就上瘾了(其实也没讲多久)，当有人问我学这些有什么用的时候，我总是微笑着回答，这些都是必考点，以后你们考研也会考，说这话时我特别自豪，微笑里带着些许嘲讽和洒脱，因为我TMD再也不用考试和考研了！我不知道当时这样回答我的老师是不是也是这么想的。
….
在以后的学习生涯中，我彻底摒弃了学校里的那一套，因为我再也不用考试了，而且也不会再参加任何形式的考试。所以我变得天马行空，我从马鞍面导出了Linux Netfilter的设计模型，最终确认作者也是这么想的，然后我想仅仅是精通iptables的配置或者看完conntrack的代码是多么Low啊，于是便更进一步探索了Cisco和Netfilter在设计上的差异，最终实现了基于Netfilter的Cisco模型…在我学习最小二乘法的时候，我试图理解平方的深意，后来我看了牛顿的《原理》之后，发现了平方律和立方律简直就是构成我们世界的基本元素啊！
  王姐姐说牛顿是外星人，我表示赞同。然而牛顿是怎么思考的？！
  1905年，爱因斯坦的奇迹年，主角是一位不修边幅，收入不高的专利局小职员，有点像《三体》小说作者刘慈欣，在火电站工作，不好好上班天天上班时间写小说…然而就是这个爱因斯坦道出了现代数学的本质，它只是工具！爱因斯坦从来没有系统学习过现代数学，他只是在用到的时候去请教身边的数学专家，他真的就是把数学当扳手使的。我不晓得其它的人怎么想，我只知道，狄拉克的算符，费曼的积分，霍金的虚时间轴，这些都是数学上的技巧，你要是问有什么物理意义，我觉得他们本人都说不出，只是这么处理很方便，仅此而已吧。
  那么，既然现代数学只是个工具，岂不是很Low？！No！每一个数学上的突破，均代表了一系列的总结，最终会引领新的突破，这方面，数学已经替代了哲学。在我工作的计算机领域，任何一个想法，如果你不能用数学表示出来，那便是不可处理的，请问不可处理的东西能完成KPI吗？于是便有了数学建模。然而模型的建立谈何容易。
【外出买菜，未完待续】
(TODO)

           

给我老师的人工智能教程打call！http://blog.csdn.net/jiangjunshow