关于《撕掉数学书》这本数学科普书的笔记01。
这里的机器就是函数,加乘机器指的是多项式。
这一章真心不错,求出了sinx与cosx的关于x=0泰勒展开式。先是做一个大胆的假设(因为我们怀念加乘机器),所有的机器都可以写成加乘机器的形式。
我们前面学的多项式(加乘机器)的形式
读者发现当x等于0时,M(0)=#₀,作者发现我们利用一阶导数的式子(我们自己写一下,我就不放图片了),再设x=0,可以求出#₁,以此类推,我们将M这个加乘机器的所有系数#ₙ都变成与与M的各阶导数有关的数,即M⁽ⁿ⁾(0)/n!。
这里我们只是发明了阶乘符合,但是有一个难题是0的阶乘如何定义,因为我们希望
M⁽⁰⁾(x)为M本身,所以0!就为1。
然后利用已知的sinx与cosx的条件,sin(0)=0,cos(π/2)=1,sin'x=cosx,cos'x=-sinx,是的,我们知道sinx与cosx在x=0处各阶导的值,求出展开式。
这里真的体现出数学的美丽,用我们只知道的一点点
sin(0)=0,cos(π/2)=1,sin'x=cosx,cos'x=-sinx
再加上大胆的推测,sinx和cosx可以写成加乘机器的形式。
再加上严密的推理,将加乘机器的系数写成与其各阶导数有关的形式。
最后得出sinx与cosx的全貌!
太美丽了,就像之前说的,数学比我们聪明,在冥冥之中,他已经规定好了一切…
这里再加上我的一点补充(来自3B1B的一个生动的可视化视频),我们心中有一个cosx的图像,我们要制造一个加乘机器M来无限接近它。
我们这样想:左边是我们想要展开的机器f(x),右边是机器M。
我们在x₀处展开,首先要满足右边x=x₀时 也为f(x₀) 。那么第一项就先取x₀,这时候后边展开式就是一条横线即y=f(x₀)
不过这样也太粗糙了,不够近似。我们想,如果两边同时求导,并且在x₀处导数也相同呢,或者在几何意义上来说,x₀处斜率相同,于是我们就有第二项f'(x₀)(x-x₀),而且我们满足了第一点,即x取x₀时,函数值为f(x₀)。
可是我们还想,斜率相同还不够,斜率在x₀处,斜率的变化率也相同才好,也就是左右两边在x₀处同时求二阶导相等才好。这时候就有第三项了
(1/2)f"(x₀)(x-x₀)²。
以此类推……第n+1项有(x-x₀)的n次方,求n阶导为了是其导数为fⁿ(x₀),需要先乘以fⁿ(x₀),然后除以n的阶乘!
以cosx在x₀=0处的泰勒展开式为例:
第一项,等于cos0本身,也就是1,
第二项,为cosx 在0处的一阶导数,也就是零,当然我们知道,cox导数的规律是-sinx,-cosx,sinx,cosx以此循环,而在x=0处的各阶导数,就是0,-1,0,1以此循环,
故写出cosx=1-x²/2+x⁴/4!-x⁶/6!+…
同理你也可以写出sinx和eˣ的展开式