泰勒定理的证明-泰勒定理证法

泰勒定理这东西，仿佛是我们赶明儿想算个复杂积分要么解微分方程时，总能在心里默念几句然后直接背出来的魔法公式。
不过说实话，我只是把那个长袖多袖手的红衣先生给画过几分贝，然后凑近观察了一下他的脸，发现他有时候挺圆滑，有时候也挺沧桑。别慌，今天咱们就把这个“红衣先生”是如何从一个彻底不认识的点，走到目前能算出三个数值的奇迹路上，心里得有数。 起初，你得有个概念，它就是说：要是某个函数 $f$ 在定义域里略微有点“整”，并且 $f(0)=0$，那只要 $x$ 从小一点点往右移动，$f$ 的值大致就是那个函数在那点附近那个曲线的切线方程做出来的事儿。自然，这话听着挺虚的，网上好多书都如此写，但我个人认定，这更像是一种直觉上的“大约”，咱们得给它找点实打实的证据。 为了看得更清楚，我得先看看这个“红衣先生”到底长啥样。以 $sqrt{t^2 - 1}$ 为例，这是个好函数，出于它在 $t=1$ 左边的地方是有意义的，并且那个切线斜率是负的。再拿 $e^{-t}$ 来说，那简直是完美的抛物线，它从无穷远启动下降，最终停在零轴上，整个过程没有半点抖动，也没有突然的跳跃。
这两种情况，都是函数知足“牛顿第二定律”的典型代表。 那这个红衣先生是如何一步步走到今天的呢？第一步，你得承认它是个曲线。
这个函数本身在 $[a, b]$ 区间上要是连续，不跳变，那它就是连续的曲线。连续这个词听起来挺枯燥，实际上就是指：你沿着这条线走，哪怕走多远，你一辈子不会突然从 10 突然跳到 -10，中间务必得有个过渡。
比如我们刚刚说的 $sqrt{t^2-1}$，从 $-infty$ 到 $1$，它一直是平滑下降的，中间没出现过那种“断崖”要么“跳板”。 第二步，是它要有“初始动能”要么说是“初始速度”。
也就是说，函数自身要在起点务必是 0。
这一点在 $sqrt{t^2-1}$ 里挺明显，出于在 $t=1$ 这一瞬间，它才刚刚从负无穷变成正值，而它的初始速度（也就是斜率）是无穷大，正无穷。在 $e^{-t}$ 的例子里，它在 $t=0$ 时刻的斜率是 -1，也没难题。
只要知足这个条件，函数就有了“动起来”的本事。 第三步，就是最关键的一步：曲线不能忒“折”。
要是曲线在某个地方弯得忒了得，比如像 $x^2$ 在 0 附近那样，那么当你从 0 往右走一点点的时候，那个曲线的切线方程会跟你脑子里想的那个公式彻底对不上。
这时候，那个“红衣先生”就会启动露出它真的面目，不再那么完美。 这里有个小插曲。我之前拿 $x^2$ 做例子，说它的值等于 $x^2$。但后来我琢磨了一下，这个 $x^2$ 实际上是个关于原点的偶函数，也就是说，要是 $t$ 是正的，$-t$ 就是负的，但它们的函数值是一样的。
故此，在 $t=0$ 附近，这个函数实际上是在“左右对称”的。但它有个致命的缺陷：它在原点 $(0,0)$ 处的导数根本不存有。出于从左边看，切线是 $y=0$，从右边看，切线也是 $y=0$，但在 $t<0$ 的时候，曲线是从上下来，到了 $t>0$ 的时候，曲线是往右去，中间那个“折角”就是不可导的。 这就意味着，当你试图用 $f(x)=c_1x + c_2$ 这个最好办的线性公式去拟合 $x^2$ 在 $x>0$ 的局部时，你会发现，那个 $c_1$ 和 $c_2$ 得让 $x^2$ 在 $x=0$ 左右“滑”那会儿。结局就是，$x^2$ 在那个小圈子里，彻底不服从那个好办的线性公式了。它启动显得复杂，出于它不再是一条直线，而是变成了个抛物线。 那有人会说：“哎呀，这跟泰勒展开没关系啊，泰勒展开是专门针对光滑函数的。” 这话没错。
要是函数忒“糙”，比如 $x^2$ 这样在 0 点不可导的，要么是分段函数，那它自然就没有泰勒展开式了。
可是，要是函数是光滑的，比如我们之前说的 $sqrt{t^2-1}$ 要么 $e^{-t}$，那它们就在 0 点（要么任何一点）都能展开成无穷多项。 这时候，那个红衣先生就显得特别精通操纵信息了。它会在你问它“在 $x$ 处的值是多少”这个难题时，告诉你：“不用算全了，只要在我那个小圈圈（比如 $|x|这些系数 $a_0, a_1, a_2, dots$ 的绝对值都是有界的。
也就是说，这些系数不会无限大，它们一般是有限的，只是数量级可能大一点。 特别是对于 $sqrt{t^2-1}$ 这种函数，它在原点附近的二阶导数实际上是正的，故此 $a_2$ 是个正数。我彻底能够构造一个函数，让 $a_2$ 变得特别大，比如 $100$ 要么 $1000$。
只要 $x$ 够小，这些大项加起来，就能把函数值拉平，跟那个复杂的曲线无限接近。
这就是为啥泰勒展开能给大家供给“近似”，就像那个红衣先生给了你一个贼接近真相但还带点误差的模型一样。 自然，这也不是全能的。
要是你给那个红衣先生发个指令：“请预测未来 100 年的发展”，它可能就会出于数据不足要么模型本身不够“光鲜”，而说不出个准数来。
要么，要是你给它发个指令：“请算个积分”，它可能出于积分区域忒复杂，就懒得展开那些项，直接说：“这个我还没算出来，你算吧。” 最终，我想总结一下。泰勒定理实际上就是个“数据压缩”的魔法。它告诉我们，只要函数够好（光滑、连续、在原点值为 0），那它就在原点附近的行为，彻底能够被一个好办的多项式——一个由无数个系数组成的“红色代码”——给描述出来。
那些系数，别看看着复杂，但它们的数值是有规律的，并且只要 $x$ 小 enough，这些复杂的红色代码，就能把那个原本难懂的现实世界，变成一段好办的线性关系。 故此，别看泰勒公式写得那么严谨，充满了符号和定理证明，实际上它背后就是一个红衣先生在工作。他看着一堆复杂的函数，拍板用一种叫做“展开”的方式，把它们拆解成一个个好办的线性项。
哪怕他展开后的式子看起来特别长，充满了各种 $a_n$ 和 $x^n$，但只要 $x$ 充足小，这段描述就能充足准，充足帮我们要么求导要么积分。 这就是泰勒定理，一个在数学世界里，那个最会“忽悠”人的红衣先生。他让你当作这公式挺难，实际上说白了，就是告诉你要用最好办的直线条去描述最复杂的曲线，只要尺度管住得当。