单项式求导法则的从头推导过程演示

作为一个热衷于从基础定义出发推导各类数学结论的人，我尝试从头推导单项式 $f(x) = cx^n$ 的求导法则，全程基于导数的极限定义展开，过程如下：

首先写出导数的极限定义式：
$$f'(x) = \lim_{h \to 0} \frac{f(x+h)-f(x)}{h}$$

将 $f(x) = cx^n$ 代入定义式：
$$f'(x) = \lim_{h \to 0} \frac{c \cdot (x+h)^n-cxn}{h}$$

利用极限的数乘法则，把常数 $c$ 提取到极限运算之外：
$$f'(x) = c \cdot \lim_{h \to 0} \frac{\left(\sum_{k=0}^{n} \binom{n}{k}x^kh{n-k}\right)-x^n}{h}$$

注意到 $x^n$ 等价于二项展开式中 $k=n$ 的项（此时 $\binom{n}{n}=1$，$h^{n-n}=h0=1$），因此可以将 $x^n$ 替换为 $\binom{n}{n}x^n h^{n-n}$：
$$f'(x) = c \cdot \lim_{h \to 0} \frac{\left(\sum_{k=0}^{n} \binom{n}{k}x^kh{n-k}\right)- \binom{n}{n} x^nh{n-n}}{h}$$

此时展开式中 $k=n$ 的项被抵消，求和范围可以调整为 $k=0$ 到 $k=n-1$：
$$f'(x) = c \cdot \lim_{h \to 0} \frac{\sum_{k=0}^{n-1} \binom{n}{k}x^k h^{n-k}}{h}$$

观察求和式中的每一项，都含有因子 $h$，我们可以把 $h$ 提取出来并与分母的 $h$ 约掉：
$$f'(x) = c \cdot \lim_{h \to 0} \frac{h \cdot \sum_{k=0}^{n-1} \binom{n}{k}x^k h^{n-k-1}}{h}$$
$$f'(x) = c \cdot \lim_{h \to 0} \sum_{k=0}^{n-1} \binom{n}{k}x^k h^{n-k-1}$$

接下来分析当 $h \to 0$ 时的极限情况：对于求和式中 $k < n-1$ 的项，$n-k-1 > 0$，因此这些项会随着 $h$ 趋近于0而变为0；只有当 $k = n-1$ 时，$n-k-1 = 0$，$h^0=1$，该项保留下来。

而 $\binom{n}{n-1} = n$，代入后得到：
$$f'(x) = c \cdot n x^{n-1}$$

至此，我们就从最基础的导数定义出发，完整推导出了单项式 $f(x) = cx^n$ 的求导法则。

内容的提问来源于stack exchange，提问作者user525966