cosx 这东西,得先想清楚它到底长啥样。它是余弦函数,可是不是那个单调递减的玩意儿,它是个在 x 轴上“更迭”的波浪。大量人一看到 cosx 就急着掏出麦克劳林公式,说“泰勒展开”,结局展开出来一堆级数,再代入 $x=0$ 认定多啰嗦。
实际上不然,cosx 忒特殊了,它的无穷级数——泰勒公式——跟一般/平平函数的泰勒公式不一样,它长得特别干净利落、特别漂亮,一眼就能看出规律。 那玩意儿到底长啥模样呢?我先不说那些烦人的 $n!$ 和 $sum$ 号,咱们直接看系数。记 $a_0$ 为常数项,$a_1$ 为一次项系数,$a_n$ 为 $n$ 次项系数。
哎呀,好家伙,这前三个系数直接定死了:$a_1$ 是 0,出于 $cos 0$ 是个常数,它到底是个常数加个 $x$ 的倍数,那 $x$ 的一次项系数自然得是 0。接下来呢?算算 $a_2$,你会发现它等于 1。再往后看,$a_4$ 也是 1,$a_6$ 还是 1。偶数项上的系数全是 1,这要是换成 sinx 要么 tanx 肯定行不通了。
那奇数项呢?$a_3$ 是 0,$a_5$ 又是 0。
你看,连立方项都没有,只有一个次方次方。
这就是 cosx 独有的脾气。所有的奇数项系数都是 0,偶数项系数都是 1。 这时候脑子里好办冒出一句:“不对,切线公式得是 $1 - x^2/2! + x^4/4! dots$"。
没错,这就是最基础的泰勒公式。但别急,cosx 这个级数在 $x=0$ 处取值为 1,并且它不仅是收敛的,它还是正项的。
什么的,这跟二项式展开不一样啊,二项式展开是有限项,收敛到 1。cosx 是无穷项,收敛到 1。并且,最神奇的是,不管 $x$ 多大多大,就连到了复数域里,这个级数一辈子收敛,一辈子等于函数本身。
这就好比一个圆,甭管你画得多么庞大,它一直那个圆,不会跑出来。 为了搞清楚它到底收敛得有多稳,实际上不用去证明那些吓人的几何级数。就在开头那一点,算出 $a_n$ 都是 0 或 1 这一事实,就充足说明难题了。出于级数中所有非零项都是 $1, -1, 1, dots$ 这种常数乘方系数的组合。任何常数乘方系数的级数(只要收敛),其局部和的绝对值都不可能出现震荡发散的情况。
既然每一项的绝对值都不超过 1,并且正负交替,那它必然收敛。至于从 $n=2$ 启动收敛的速度有多快,那就彻底跟二项式展开没区别了,快得让你睁不开眼。 那能不能给个直观的例子看看?比如 $x=1$。
这时候级数变成 $1 - 1/2 + 1/24 - 1/720 dots$。
这看起来像是个混乱的数字,但千万别急着去算总和。
只要记住两个原则,你就不会算错:一个是所有项的绝对值之和不超过 1,出于每一项的绝对值都小于等于 1;另一个是级数收敛意味着局部和的极限存有。
既然存有,那结局就在区间 $[0, 1]$ 之间。
哪怕 $x$ 是个庞大的复数,比如 $x = 10 + 10i$,这个级数依然稳稳地收敛于真的余弦值。
这种强大,是它作为数学基石的地方所在。 再想想 $x$ 接近 0 的时候,也就是 $x to 0$ 的情况。
这时候泰勒公式的各项系数实际上有点误导人。大量人一看到 $x^1$ 的系数是 0,就当作没啥意义。
实际上啊,这 0 是个“隐身”的状态。在 $x$ 略微大一点的时候,这 0 就启动起功能了,它管住着函数的形状。当 $x$ 充足接近 0 时,$(1 - x^2/2)^n$ 这一项的下降速度贼惊人。当 $x$ 超过某个极小的阈值,比如 $x > 3$ 时,这一项就已经启动变得不稳定了,启动和 1 的差值趋于 0,也就是说这一项消亡了。
这会不会让人认定泰勒公式失效了?不会。出于当 $x$ 挺大时,无穷项里的某一项突然“消亡”了,级数就退化成有限项了。
这就好比你在看一个庞大的舞台戏,中间某个演员突然退场了,剩下的演员如何演都演得通,这时候你就别看那复杂的无穷项了,直接看剩下的局部就行。 实际上这种“有限项”的情况,在数学上叫“渐近收敛”要么“截断后近似”。当 $x$ 挺大时,cosx 的泰勒展开式实际上已经变成 $1 - x^2/2$ 了。
这时候你的级数算得越久,跟真值的误差就越大;反之,要是只取前两项,精度还挺高。
这一点跟无穷级数有本质区别。一个无穷级数,项数越多,精度越高,一辈子拼不过;而有限项的级数,项数少了,精度反而可能更高,就连彻底够用。
这就体现了数学里最朴素的真理:有时候,少即是多。 最终说说这个公式的用处,别认定它只是用来做题的玩具。在工程上,比如天线设计要么电路分析,时常要算某个频率下的响应。
要是直接去积分,积分区域可能挺复杂,算出来结局是个无理数要么带根号的表达式,用起来费事。但要是用泰勒公式展开,把那个复杂的积分拆解成好办的多项式求和,结局就漂亮多了。就连,在物理模型里,当某个参数挺大时,能不能用这个有限的近似公式去描述,直接关系到设计的成败。
这就是泰勒公式的实际价值所在:它是个转换器,能把繁琐的复杂运算变成好办的加法,把抽象的函数变成具体的数值。 总的来说,cosx 的泰勒公式,看起来是个无穷级数,实际上是两个东西的结合:一个在低阶时是无穷项,保证精度飙升;在高阶时是有限项,保证计算高效。它既温柔又霸道,温柔的是它收敛忒快,霸道的是它能在有限项里给出惊人精度。
这就是泰勒公式的魅力,不需求复杂的推导,只需求一眼看穿它的结构,就能掌握它的大招。