Warning！篇幅真的很长，注意你的用脑程度！\color{yellow}{Warning！篇幅真的很长，注意你的用脑程度！}Warning！篇幅真的很长，注意你的用脑程度！
话接上回，我们聊完了极限，那么这次我们就来讲讲极限的应用之一——导数
本次我们将围绕以下话题展开：
· 导数的定义
· 导数的线性性和运算法则
· 幂函数求导（基础版本）
1. 什么是导数
什么是导数？你现在不必要考虑这个问题，而是想想一辆正在笔直的公路上行驶的汽车它的速度的变化。
1.1. 匀速直线运动的汽车（理想模型）
假设现在有一辆汽车在笔直的公路上作匀速直线运动，已知它行驶的路程以及行驶的时间，求他每时每刻的 瞬时速度。
你一定会认为这道题很简单：设行驶的路程为 sss，时间为 ttt，速度为 vvv，则：
v=stv=\dfrac{s}{t} v=ts
没错，这很简单。但可惜的是上述计算依赖于匀速直线运动的特性，生活中并没有这样子的理想模型。
1.2. 更一般的情况 - 速度求解
为什么匀速直线运动像是在开玩笑？因为你无法保证小车在相等时间内通过的路程永远相等。
举个例子，已知小车在 1s1s1s 内行驶了 3m3m3m，这个小车的平均速度必然是 3m/s3m/s3m/s，但是你无法保证它每时每刻的速度都是 3m/s3m/s3m/s，有可能它前 0.5s0.5s0.5s 行驶了 2m2m2m，此时平均速度是 4m/s4m/s4m/s，但是后 0.5s0.5s0.5s 只行驶了 1m1m1m，此时平均速度是 2m/s2m/s2m/s。
那么我告诉你它在某一个 0.01s0.01s0.01s 的时间内行驶了 0.4m0.4m0.4m 呢？也不行，它不一定是匀速直线运动，有可能它前 0.005s0.005s0.005s 行驶了 0.32m0.32m0.32m，但是后 0.005s0.005s0.005s 只行驶了 0.08m0.08m0.08m。你只要这个时间足够长，就能够继续分成更细小的时间长。
换言之，你无法保证小车上的驾驶员每个 时刻 所看到的仪表盘上的数都相等，在更小的时长内汽车都可能发生速度上的变化。你所要求的就是每时每刻仪表盘上所显示的数。
1.3. 如何求解
想要求解实际上也不是很难，只需要用路程 sss 除以时间 ttt，得到的 瞬时速度 即可。
因为我们要求瞬时速度，所以我们必须保证选择的 ttt 是一个很小的量，它十分靠近 000，但是依然不等于 000。用数学语言来说就是 t→ϵt\to\epsilont→ϵ 无穷小，记作 Δt\Delta tΔt。此时你会发现 sss 的变化也很小，我们称之为 位移，表示物体移动的距离长，它也趋向于 000，记作 Δs\Delta sΔs。我们所需要的 vvv 其实就是 ΔsΔt\dfrac{\Delta s}{\Delta t}ΔtΔs 。
你可能会问：为什么这里可以直接用位移比上时间得到速度？这很明显不是匀速直线运动。
但是，别忘了这里取得是极限，当位移和时间越来越趋向于 000 的时候，我们得到的是 s−ts-ts−t 图像上的一条割线，甚至于切线，而这就是取极限后的运动，根据匀速直线运动 s−ts-ts−t 图像是一条倾斜的直线知此处可以近似地看成是匀速直线运动，故可以这样计算。
1.4. 导数的真正定义
现在通过这辆小车，我们已经感受过了导数的含义了。来看看导数的正式定义：
令 yyy 表示小车的位移，xxx 表示小车的运动时间，kkk 表示瞬时速度，则：
k=ΔyΔxk=\dfrac{\Delta y}{\Delta x} k=ΔxΔy
这就是导数的莱布尼茨表示法。
注意：这里的 Δy\Delta yΔy 以及 Δx\Delta xΔx 表示微元，可以参与运算（检测到体育老师魏尔斯特拉斯已经被作者气死），也可以写成 dydydy 和 dxdxdx。
当然，根据小车的说法，我们取极限的时候将它的运动近似成了匀速直线运动，而匀速直线运动的图像是一条过函数图像上某一个点的 切线（割线的话继续取极限也可以变成切线），则可以将导数看做是函数图像上的某一点的切线的斜率。
你可能会更习惯于另一种写法：对于函数 f(x)f(x)f(x) 而言，其导数为：
f′(x)=limh→0f(x+h)−f(x)hf'(x)=\displaystyle\lim_{h\to0}\dfrac{f(x+h)-f(x)}{h} f′(x)=h→0lim hf(x+h)−f(x)
注意到我们这里写作了 f′(x)f'(x)f′(x)，可以知道导数也是一个关于 xxx 的函数！
一个函数在一点上的 可导性 是指这个函数是否存在唯一的过当前点的切线。根据连续性的定义，我们知道：可导函数必然连续，但连续函数不一定可导。
最简单的例子：
f(x)=∣x∣={x,x≥0−x,x≤0\begin{equation*} f(x)=|x|= \begin{cases} x,&x\geq0\\ -x,&x\leq0 \end{cases} \end{equation*}f(x)=∣x∣={x,−x, x≥0x≤0
可以计算出：
f′(x)={1,x≥0−1,x≤0\begin{equation*} f'(x)= \begin{cases} 1,&x\geq0\\ -1,&x\leq0 \end{cases} \end{equation*}f′(x)={1,−1, x≥0x≤0
此时你会发现，f′(0)f'(0)f′(0) 既是 111 又是 −1-1−1，很明显违反了函数的定义，因此 f(x)f(x)f(x) 在 x=0x=0x=0 处不可导
1.5. 匀加速直线运动的汽车（理想模型）
还是那辆汽车，假设它现在作匀加速直线运动，求它瞬时加速度 aaa 的结果。
一样的，在匀加速运动中，带入公式可以得到：
a=vta=\dfrac{v}{t} a=tv
这也很简单，但是这也只不过是理想模型罢了。
1.6. 导函数的导函数 - 加速度求解
跟上面一样，我们所知道的只不过是匀加速运动中的情况而已，那么我们也可以通过极限思想求出任意时刻的加速度 aaa（跟上面过程相同，在此不多赘述）：
a=ΔvΔta=\dfrac{\Delta v}{\Delta t} a=ΔtΔv
很明显，这里的 vvv 在只知道 sss 以及 ttt 的情况下也是需要求导才知道的，因此我们可以写成这个形式：
a=Δ(ΔsΔt)Δt=Δ2sΔt2a=\dfrac{\Delta(\dfrac{\Delta s}{\Delta t})}{\Delta t}=\dfrac{\Delta^2s}{\Delta t^2} a=ΔtΔ(ΔtΔs ) =Δt2Δ2s
写成函数形式：
f′′(x)=limh→0f′(x+h)−f′(x)hf''(x)=\displaystyle\lim_{h\to0}\dfrac{f'(x+h)-f'(x)}{h} f′′(x)=h→0lim hf′(x+h)−f′(x)
注意到我们这里给 fff 右上角带了两撇，代表它是 二阶导，对于 aaa 的表达式的分子中的 Δ\DeltaΔ 符号的幂数一样，含义也一样。
1.7. 高阶导数
我们已经知道了什么是导数——你可以理解成是微小的变化率。那么，关于函数 f(x)f(x)f(x) 求导一次就得到了导函数 f′(x)f'(x)f′(x)，其定义在上面已经展示过。
那如果再对导函数 f′(x)f'(x)f′(x) 求导呢？就得到了二阶导 f′′(x)f''(x)f′′(x)。
类似的，继续对二阶导求导，就得到了三阶导 f′′′(x)f'''(x)f′′′(x) ——等一会儿？你确定这里要写三撇吗？岂不是一百阶导你要写 100100100 个撇？实际上完全没有必要，你可以写成 f(3)(x)f^{(3)}(x)f(3)(x) 表示函数 f(x)f(x)f(x) 的三阶导数。同样的道理，我们知道 f(n)(x)f^{(n)}(x)f(n)(x) 就表示函数 f(x)f(x)f(x) 的 nnn 阶导数，这样你就不用写那么多撇了。
换种写法：如果用导数的莱布尼茨表示法，关于 xxx 的表达式 yyy 对 xxx 进行 nnn 阶求导，得到的结果记作 ΔnyΔxn\dfrac{\Delta^ny}{\Delta x^n}ΔxnΔny 。
注意：你不可以写作 ΔynΔxn\dfrac{\Delta y^n}{\Delta x^n}ΔxnΔyn ，这个式子表示导函数的 nnn 次方而非 nnn 阶导。
2. 导数的线性性
2.1. 函数的加减法
考虑函数 h(x)=f(x)+g(x)h(x)=f(x)+g(x)h(x)=f(x)+g(x)，是否满足 h′(x)=f′(x)+g′(x)h'(x)=f'(x)+g'(x)h′(x)=f′(x)+g′(x) 呢？
简单证明一下：
h′(x)=limΔx→0h(x+Δx)−h(x)Δx=limΔx→0f(x+Δx)+g(x+Δx)−f(x)−g(x)Δx=limΔx→0f(x+Δx)−f(x)Δx+g(x+Δx)−g(x)Δx=limΔx→0f(x+Δx)−f(x)Δx+limΔx→0g(x+Δx)−g(x)Δx=f′(x)+g′(x)\displaystyle\,\,\,\,\,\,\,h'(x)\\ =\lim_{\Delta x\to0}\cfrac{h(x+\Delta x)-h(x)}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{f(x+\Delta
x)+g(x+\Delta x)-f(x)-g(x)}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{f(x+\Delta x)-f(x)}{\Delta x}+\cfrac{g(x+\Delta x)-g(x)}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{f(x+\Delta x)-f(x)}{\Delta x}+\lim_{\Delta x\to0}\cfrac{g(x+\Delta x)-g(x)}{\Delta x}\\ =f'(x)+g'(x)h′(x)=Δx→0lim Δxh(x+Δx)−h(x) =Δx→0lim
Δxf(x+Δx)+g(x+Δx)−f(x)−g(x) =Δx→0lim Δxf(x+Δx)−f(x) +Δxg(x+Δx)−g(x) =Δx→0lim Δxf(x+Δx)−f(x) +Δx→0lim Δxg(x+Δx)−g(x) =f′(x)+g′(x)
于是我们证明了原命题为真。
我们也可以用同样的方式得到 h(x)=f(x)−g(x)h(x)=f(x)-g(x)h(x)=f(x)−g(x)，则 h′(x)=f′(x)−g′(x)h'(x)=f'(x)-g'(x)h′(x)=f′(x)−g′(x)，就留给屏幕前的你来证明吧。
2.2. 函数的常数倍
考虑函数 h(x)=c⋅f(x)h(x)=c\cdot f(x)h(x)=c⋅f(x)，且 ccc 为常数，是否满足 h′(x)=c⋅f′(x)h'(x)=c\cdot f'(x)h′(x)=c⋅f′(x) 呢？直觉告诉你这是成立的。
依旧进行简单的证明：
h′(x)=limΔx→0h(x+Δx)−h(x)Δx=limΔx→0c⋅f(x+Δx)−c⋅f(x)Δx=limΔx→0c⋅f(x+Δx)−f(x)Δx=c⋅limΔx→0f(x+Δx)−f(x)Δx=c⋅f′(x)\displaystyle\,\,\,\,\,\,\,h'(x)\\ =\lim_{\Delta x\to0}\cfrac{h(x+\Delta x)-h(x)}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{c\cdot f(x+\Delta x)-c\cdot f(x)}{\Delta x}\\ =\lim_{\Delta
x\to0}c\cdot\cfrac{f(x+\Delta x)-f(x)}{\Delta x}\\ =c\cdot\lim_{\Delta x\to0}\cfrac{f(x+\Delta x)-f(x)}{\Delta x}\\ =c\cdot f'(x)h′(x)=Δx→0lim Δxh(x+Δx)−h(x) =Δx→0lim Δxc⋅f(x+Δx)−c⋅f(x) =Δx→0lim c⋅Δxf(x+Δx)−f(x) =c⋅Δx→0lim Δxf(x+Δx)−f(x) =c⋅f′(x)
得证，联合上面函数的加减法，可知导数具有线性性。
3. 函数的乘法、除法、复合
注意这里开始有一点烧脑！如果对证明不感兴趣的朋友可以直接跳过。\COLOR{RED}{注意这里开始有一点烧脑！如果对证明不感兴趣的朋友可以直接跳过。}注意这里开始有一点烧脑！如果对证明不感兴趣的朋友可以直接跳过。
3.1. 乘积法则
考虑函数 h(x)=f(x)⋅g(x)h(x)=f(x)\cdot g(x)h(x)=f(x)⋅g(x)，求 h′(x)h'(x)h′(x)。你可能会天真的以为 h′(x)=f′(x)⋅g′(x)h'(x)=f'(x)\cdot g'(x)h′(x)=f′(x)⋅g′(x)，但是这是错误的，正确的方式应当是用乘积法则：
h′(x)=f(x)⋅g′(x)+g(x)⋅f′(x)h'(x)=f(x)\cdot g'(x)+g(x)\cdot f'(x) h′(x)=f(x)⋅g′(x)+g(x)⋅f′(x)
即：左函乘右导 加 右函乘左导。
用莱布尼茨表示法：若 y=f(x)=u⋅vy=f(x)=u\cdot vy=f(x)=u⋅v 且 uuu 和 vvv 都是关于 xxx 的表达式，则：
ΔyΔx=uΔvΔx+vΔuΔx\dfrac{\Delta y}{\Delta x}=u\dfrac{\Delta v}{\Delta x}+v\dfrac{\Delta u}{\Delta x} ΔxΔy =uΔxΔv +vΔxΔu
我们可以略作证明：
h′(x)=limΔx→0h(x+Δx)−h(x)Δx=limΔx→0f(x+Δx)⋅g(x+Δx)−f(x)⋅g(x)Δx=limΔx→0f(x+Δx)⋅g(x+Δx)−f(x+Δx)⋅g(x)+f(x+Δx)⋅g(x)−f(x)⋅g(x)Δx=limΔx→0f(x+Δx)⋅g(x+Δx)−f(x+Δx)⋅g(x)Δx+limΔx→0f(x+Δx)⋅g(x)−f(x)⋅g(x)Δx=limΔx→0f(x+Δx)⋅g(x+Δx)−g(x)Δx+limΔx→0g(x)⋅f(x+Δx)−f(x)Δx=limΔx→0f(x)⋅g(x+Δx)−g(x)Δx+limΔx→0g(x)⋅f(x+Δx)−f(x)Δx=f(x)⋅g′(x)+g(x)⋅f′(x)\displaystyle\,\,\,\,\,\,\,h'(x)\\
=\lim_{\Delta x\to0}\cfrac{h(x+\Delta x)-h(x)}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{f(x+\Delta x)\cdot g(x+\Delta x)-f(x)\cdot g(x)}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{f(x+\Delta x)\cdot g(x+\Delta x)-f(x+\Delta x)\cdot g(x)+f(x+\Delta x)\cdot g(x)-f(x)\cdot g(x)}{\Delta x}\\ =\lim_{\Delta
x\to0}\cfrac{f(x+\Delta x)\cdot g(x+\Delta x)-f(x+\Delta x)\cdot g(x)}{\Delta x}+\lim_{\Delta x\to0}\cfrac{f(x+\Delta x)\cdot g(x)-f(x)\cdot g(x)}{\Delta x}\\ =\lim_{\Delta x\to0}f(x+\Delta x)\cdot\cfrac{g(x+\Delta x)-g(x)}{\Delta x}+\lim_{\Delta x\to0}g(x)\cdot\cfrac{f(x+\Delta x)-f(x)}{\Delta x}\\
=\lim_{\Delta x\to0}f(x)\cdot\cfrac{g(x+\Delta x)-g(x)}{\Delta x}+\lim_{\Delta x\to0}g(x)\cdot\cfrac{f(x+\Delta x)-f(x)}{\Delta x}\\ =f(x)\cdot g'(x)+g(x)\cdot f'(x)h′(x)=Δx→0lim Δxh(x+Δx)−h(x) =Δx→0lim Δxf(x+Δx)⋅g(x+Δx)−f(x)⋅g(x) =Δx→0lim Δxf(x+Δx)⋅g(x+Δx)−f(x+Δx)⋅g(x)+f(x+Δx)⋅g(x)−f(x)⋅g(x)
=Δx→0lim Δxf(x+Δx)⋅g(x+Δx)−f(x+Δx)⋅g(x) +Δx→0lim Δxf(x+Δx)⋅g(x)−f(x)⋅g(x) =Δx→0lim f(x+Δx)⋅Δxg(x+Δx)−g(x) +Δx→0lim g(x)⋅Δxf(x+Δx)−f(x) =Δx→0lim f(x)⋅Δxg(x+Δx)−g(x) +Δx→0lim g(x)⋅Δxf(x+Δx)−f(x) =f(x)⋅g′(x)+g(x)⋅f′(x)
在整个过程中，我们利用了拆添项的方法，进行配凑，最终化简了该式子，完成了证明。
当然，你也可以将这个表达式扩展到三元甚至更多元。此处以三元为例：
若 y=f(x)=uvwy=f(x)=uvwy=f(x)=uvw 且 uuu、vvv、www 都是关于 xxx 的表达式，则：
ΔyΔx=uvΔwΔx+vwΔuΔx+wuΔvΔx\dfrac{\Delta y}{\Delta x}=uv\dfrac{\Delta w}{\Delta x}+vw\dfrac{\Delta u}{\Delta x}+wu\dfrac{\Delta v}{\Delta x} ΔxΔy =uvΔxΔw +vwΔxΔu +wuΔxΔv
3.2. 商法则
考虑函数 h(x)=f(x)g(x)h(x)=\dfrac{f(x)}{g(x)}h(x)=g(x)f(x) ，求 h′(x)h'(x)h′(x)。和上面一样，正确的求解方式应当使用商法则：
h′(x)=g(x)f′(x)−f(x)g′(x)g2(x)h'(x)=\dfrac{g(x)f'(x)-f(x)g'(x)}{g^2(x)} h′(x)=g2(x)g(x)f′(x)−f(x)g′(x)
用莱布尼茨表示法：若 y=f(x)=u⋅vy=f(x)=u\cdot vy=f(x)=u⋅v 且 uuu 和 vvv 都是关于 xxx 的表达式，则：
ΔyΔx=vΔuΔx−uΔvΔxv2\dfrac{\Delta y}{\Delta x}=\dfrac{v\dfrac{\Delta u}{\Delta x}-u\dfrac{\Delta v}{\Delta x}}{v^2} ΔxΔy =v2vΔxΔu −uΔxΔv
我们也可以证明：
h′(x)=limΔx→0h(x+Δx)−h(x)Δx=limΔx→0f(x+Δx)g(x+Δx)−f(x)g(x)Δx=limΔx→0f(x+Δx)g(x+Δx)−f(x+Δx)g(x)+f(x+Δx)g(x)−f(x)g(x)Δx=limΔx→0f(x+Δx)g(x+Δx)−f(x+Δx)g(x)Δx+limΔx→0f(x+Δx)g(x)−f(x)g(x)Δx=limΔx→0f(x+Δx)⋅1g(x+Δx)−1g(x)Δx+limΔx→01g(x)⋅f(x+Δx)−f(x)Δx=limΔx→0f(x)⋅g(x)−g(x+Δx)Δxg2(x)+limΔx→01g(x)⋅f(x+Δx)−f(x)Δx=−f(x)g′(x)g2(x)+f′(x)g(x)=g(x)f′(x)−f(x)g′(x)g2(x)\displaystyle\,\,\,\,\,\,\,h'(x)\\
=\lim_{\Delta x\to0}\cfrac{h(x+\Delta x)-h(x)}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{\cfrac{f(x+\Delta x)}{g(x+\Delta x)}-\cfrac{f(x)}{g(x)}}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{\cfrac{f(x+\Delta x)}{g(x+\Delta x)}-\cfrac{f(x+\Delta x)}{g(x)}+\cfrac{f(x+\Delta
x)}{g(x)}-\cfrac{f(x)}{g(x)}}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{\cfrac{f(x+\Delta x)}{g(x+\Delta x)}-\cfrac{f(x+\Delta x)}{g(x)}}{\Delta x}+\lim_{\Delta x\to0}\cfrac{\cfrac{f(x+\Delta x)}{g(x)}-\cfrac{f(x)}{g(x)}}{\Delta x}\\ =\lim_{\Delta x\to0}f(x+\Delta x)\cdot\cfrac{\cfrac{1}{g(x+\Delta
x)}-\cfrac{1}{g(x)}}{\Delta x}+\lim_{\Delta x\to0}\cfrac{1}{g(x)}\cdot\cfrac{f(x+\Delta x)-f(x)}{\Delta x}\\ =\lim_{\Delta x\to0}f(x)\cdot\cfrac{\cfrac{g(x)-g(x+\Delta x)}{\Delta x}}{g^2(x)}+\lim_{\Delta x\to 0}\cfrac{1}{g(x)}\cdot\cfrac{f(x+\Delta x)-f(x)}{\Delta x}\\
=\cfrac{-f(x)g'(x)}{g^2(x)}+\cfrac{f'(x)}{g(x)}\\ =\cfrac{g(x)f'(x)-f(x)g'(x)}{g^2(x)}h′(x)=Δx→0lim Δxh(x+Δx)−h(x) =Δx→0lim Δxg(x+Δx)f(x+Δx) −g(x)f(x) =Δx→0lim Δxg(x+Δx)f(x+Δx) −g(x)f(x+Δx) +g(x)f(x+Δx) −g(x)f(x) =Δx→0lim Δxg(x+Δx)f(x+Δx) −g(x)f(x+Δx) +Δx→0lim Δxg(x)f(x+Δx) −g(x)f(x) =Δx→0lim
f(x+Δx)⋅Δxg(x+Δx)1 −g(x)1 +Δx→0lim g(x)1 ⋅Δxf(x+Δx)−f(x) =Δx→0lim f(x)⋅g2(x)Δxg(x)−g(x+Δx) +Δx→0lim g(x)1 ⋅Δxf(x+Δx)−f(x) =g2(x)−f(x)g′(x) +g(x)f′(x) =g2(x)g(x)f′(x)−f(x)g′(x)
在整个过程中，我们依旧用拆添项进行配凑，最终化简该式，完成了证明，和乘积法则的证明有异曲同工之妙；当然，你也可以先证明下面的链式求导法则，再把 g(x)g(x)g(x) 看做是 1G(x)\cfrac{1}{G(x)}G(x)1 去套用乘积法则，来证明商法则（可以试试看！）。
3.3. 链式求导法则
假设函数 h(x)=f(g(x))h(x)=f(g(x))h(x)=f(g(x))，求解 h′(x)h'(x)h′(x)，即函数复合的情况下求导，它将会得到一个漂亮的式子：
h′(x)=f′(g(x))g′(x)h'(x)=f'(g(x))g'(x) h′(x)=f′(g(x))g′(x)
为什么说它漂亮？换成莱布尼茨表示法，假设 y=f(u)y=f(u)y=f(u) 且 u=g(x)u=g(x)u=g(x)，则我们有：
ΔyΔx=ΔyΔuΔuΔx\dfrac{\Delta y}{\Delta x}=\dfrac{\Delta y}{\Delta u}\dfrac{\Delta u}{\Delta x} ΔxΔy =ΔuΔy ΔxΔu
一个实用且有效的记忆办法是记住莱布尼茨表示法下的链式求导法则。
因为 Δy\Delta yΔy、Δu\Delta uΔu、Δx\Delta xΔx 三者都是可以参与计算的微元，所以可以理解成：
ab=accb\dfrac{a}{b}=\dfrac{a}{c}\dfrac{c}{b} ba =ca bc
再代入：
{a=Δyb=Δxc=Δu\begin{cases} a=\Delta y\\ b=\Delta x\\ c=\Delta u \end{cases}⎩⎨⎧ a=Δyb=Δxc=Δu
就得到了莱布尼茨表示法下的链式求导法则。（检测到体育老师魏尔斯特拉斯已经再次被作者气死）
但是这样子是有缺陷的——万一 Δu=0\Delta u=0Δu=0 该怎么办？所以证明的时候我们还是采用函数表示法：
h′(x)=limΔx→0h(x+Δx)−h(x)Δx=limΔx→0f(g(x+Δx))−f(g(x))Δx=limΔx→0f(g(x+Δx))−f(g(x))g(x+Δx)−g(x)⋅g(x+Δx)−g(x)Δx=limΔx→0f(g(x+Δx))−f(g(x))g(x+Δx)−g(x)⋅g′(x)\displaystyle\,\,\,\,\,\,\,h'(x)\\ =\lim_{\Delta x\to0}\cfrac{h(x+\Delta x)-h(x)}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{f(g(x+\Delta
x))-f(g(x))}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{f(g(x+\Delta x))-f(g(x))}{g(x+\Delta x)-g(x)}\cdot\cfrac{g(x+\Delta x)-g(x)}{\Delta x}\\ =\lim_{\Delta x\to0}\cfrac{f(g(x+\Delta x))-f(g(x))}{g(x+\Delta x)-g(x)}\cdot g'(x)h′(x)=Δx→0lim Δxh(x+Δx)−h(x) =Δx→0lim Δxf(g(x+Δx))−f(g(x)) =Δx→0lim
g(x+Δx)−g(x)f(g(x+Δx))−f(g(x)) ⋅Δxg(x+Δx)−g(x) =Δx→0lim g(x+Δx)−g(x)f(g(x+Δx))−f(g(x)) ⋅g′(x)
此时，我们令 t=g(x)t=g(x)t=g(x)
因为 Δx→0\Delta x\to0Δx→0，又因为函数 g(x)g(x)g(x) 可导
所以在微小范围内函数 g(x)g(x)g(x) 连续
则 limΔx→0g(x+Δx)=g(x)\displaystyle\lim_{\Delta x\to0}g(x+\Delta x)=g(x)Δx→0lim g(x+Δx)=g(x)，
因此，令 limΔx→0g(x+Δx)−g(x)=ϵ\displaystyle\lim_{\Delta x\to0}g(x+\Delta x)-g(x)=\epsilonΔx→0lim g(x+Δx)−g(x)=ϵ，
则 ϵ→0\epsilon\to0ϵ→0。
将等式进行恒等变换，则limϵ→0g(x)+ϵ=g(x+Δx)\displaystyle\lim_{\epsilon\to0}g(x)+\epsilon=g(x+\Delta x)ϵ→0lim g(x)+ϵ=g(x+Δx)
带入原式：
h′(x)=g′(x)limΔx→0f(g(x+Δx))−f(g(x))Δx=g′(x)limϵ→0f(t+ϵ)−f(t)ϵ=f′(t)g′(x)=f′(g(x))g′(x)\displaystyle\,\,\,\,\,\,\,h'(x)\\ =g'(x)\lim_{\Delta x\to0}\cfrac{f(g(x+\Delta x))-f(g(x))}{\Delta x}\\ =g'(x)\lim_{\epsilon\to0}\cfrac{f(t+\epsilon)-f(t)}{\epsilon}\\ =f'(t)g'(x)\\
=f'(g(x))g'(x)h′(x)=g′(x)Δx→0lim Δxf(g(x+Δx))−f(g(x)) =g′(x)ϵ→0lim ϵf(t+ϵ)−f(t) =f′(t)g′(x)=f′(g(x))g′(x)
依然是熟悉的拆添项和配凑，依然证明求导法则，你会发现链式求导法则好记但难证，思维难度大大提升。
对于多元链式求导法则（以后简称链求导）我们可以写出：
f′(x)=f1′(f2(f3(⋯(fn(x))⋯ )))⋅f2′(f3(⋯(fn(x))⋯ ))⋅f3′(⋯(fn(x))⋯ )⋯fn′(x)f'(x)=f_1'(f_2(f_3(\cdots(f_n(x))\cdots)))\cdot f_2'(f_3(\cdots(f_n(x))\cdots))\cdot f_3'(\cdots(f_n(x))\cdots)\cdots f_n'(x) f′(x)=f1′ (f2 (f3 (⋯(fn (x))⋯)))⋅f2′ (f3 (⋯(fn (x))⋯))⋅f3′ (⋯(fn (x))⋯)⋯fn′ (x)
或者：
ΔyΔx=ΔyΔa1Δa1Δa2⋯ΔanΔx\dfrac{\Delta y}{\Delta x}=\dfrac{\Delta y}{\Delta a_1}\dfrac{\Delta a_1}{\Delta a_2}\cdots\dfrac{\Delta a_n}{\Delta x} ΔxΔy =Δa1 Δy Δa2 Δa1 ⋯ΔxΔan
嗯，还是第二个式子长得好看一些，也更好记。
4. 幂函数求导
幂函数求导结果严格的证明需要用到更深的方法，本帖子暂时不做介绍，留给下次的帖子。
我们现在就看一下对于幂函数 f(x)=xnf(x)=x^nf(x)=xn 关于 xxx 求导的结果，其中 nnn 是 自然数。
4.1. 当 N=0N=0N=0 时的情况
f(x)=x0=1f(x)=x^0=1f(x)=x0=1，这是毋庸置疑的。我们套用导函数的定义：
f′(x)=limh→0f(x+h)−f(x)h=limh→01−1h=0f'(x)=\displaystyle\lim_{h\to0}\dfrac{f(x+h)-f(x)}{h}=\lim_{h\to0}\dfrac{1-1}{h}=0 f′(x)=h→0lim hf(x+h)−f(x) =h→0lim h1−1 =0
4.2. 当 N>0N>0N>0 时的情况
我们在“详解函数”系列的第一篇帖子中提到过二项式定理，即：
(a+b)n=∑i=0nCni⋅aibn−1\displaystyle(a+b)^n=\sum_{i=0}^{n}C_n^i\cdot a^{i}b^{n-1} (a+b)n=i=0∑n Cni ⋅aibn−1
同理，我们可以带入导函数的定义：
f′(x)=limh→0f(x+h)−f(x)h=limh→0(x+h)n−xnh\displaystyle\,\,\,\,\,\,\,f'(x)\\ =\lim_{h\to0}\cfrac{f(x+h)-f(x)}{h}\\ =\lim_{h\to0}\cfrac{(x+h)^n-x^n}{h}f′(x)=h→0lim hf(x+h)−f(x) =h→0lim h(x+h)n−xn
此处可以利用二项式定理进行展开：
f′(x)=limh→0xn+nhxn−1+Cn2h2xn−2+⋯+hn−xnh=limh→0nhxn−1+Cn2h2xn−2+⋯+hnh=limh→0nxn−1+h(Cn2hxn−2+⋯+hn−1)=nxn−1\displaystyle\,\,\,\,\,\,\,f'(x)\\ =\lim_{h\to0}\cfrac{x^n+nhx^{n-1}+C_n^2h^2x^{n-2}+\cdots+h^n-x^n}{h}\\ =\lim_{h\to0}\cfrac{nhx^{n-1}+C_n^2h^2x^{n-2}+\cdots+h^n}{h}\\
=\lim_{h\to0}nx^{n-1}+h(C_n^2hx^{n-2}+\cdots+h^{n-1})\\ =nx^{n-1}f′(x)=h→0lim hxn+nhxn−1+Cn2 h2xn−2+⋯+hn−xn =h→0lim hnhxn−1+Cn2 h2xn−2+⋯+hn =h→0lim nxn−1+h(Cn2 hxn−2+⋯+hn−1)=nxn−1
虽然利用二项式定理中间有许多项需要考虑，不过好在除以 hhh 以后只有一项不含有 hhh，其余含有 hhh 的项代入 h=0h=0h=0 即可消除，因此，f′(x)=nxn−1f'(x)=nx^{n-1}f′(x)=nxn−1
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
往期话题：
详解函数#1 幂函数、指数函数和对数函数
详解函数#2 三角函数
详解函数#3 极限
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
参考文献：《普林斯顿微积分》
