1. 高阶导数归纳法的定位：它到底在解决什么问题

带过几轮微积分辅导和工程数值课后，我碰到一个特别稳定的现象：一提到高阶导数，多数人第一反应是“求两阶找规律”，然后在“规律看着像那么回事，但不敢往下写”这一步卡住。高阶导数归纳法解决的正是这个卡点——它不是让你多算几道题，而是给你一条可复现的路径：先算低阶把骨架摸出来，再猜通项，最后用数学归纳法把猜想钉死。学会这套流程，你面对的不再是“这题有没有技巧”，而是“这题按流程走到第几步”。

这套方法在几个场景里都吃香。备考场景里，它是求 $n$ 阶导数通项的标准解法；教学场景里，它是把“找规律”从直觉变成严谨推理的关键训练；工程场景里，符号计算、泰勒近似、数值微分误差分析都会反复用到高阶导数的表达式。前置门槛也不高，会求一阶导数、知道链式法则和乘积法则，就能跟着走完全程。

我先把结论摆在前面：高阶导数求法的核心不是记忆力，而是结构化。你把函数按类型归档，每类配上固定的拆解动作，剩下的就是熟练度问题。下面按这条主线一层层展开。

1.1 三个层次：会求低阶、能猜通项、敢写证明

很多人把“求高阶导数”当成一件事，其实它至少分三层。第一层是机械层：给定函数，能连续求出一阶、二阶、三阶导数，并且算得对。这一层靠的是基本功，链式法则、商法则、乘积法则不能出错。第二层是识别层：从这几个低阶结果里看出结构——符号是不是在交替、阶乘长什么样、分母的幂次怎么走、三角函数的相位有没有平移。第三层是证明层：把看出来的结构写成命题，用数学归纳法完成“假设 $n=k$ 成立，推出 $n=k+1$ 成立”的闭环。

这三层的难度是断崖式上升的。第一层靠练，第二层靠对比和整理，第三层靠书写规范。我在辅导时见过不少同学，前两层都过了，第三层写出来却漏洞百出：归纳假设没写全、求导时把 $n$ 当变量一起求了、起点验证直接跳过。这些问题不是不会，是没人告诉他们“证明段有固定写法”。

打个生活化的比方。第一层像是你会开车，第二层是你认得出前面那条路通向哪里，第三层是你能写出一份别人照着走也不会迷路的路书。高阶导数归纳法训练的，就是写路书的能力。

所以别把目标定成“这题我会做”，要定成“这类题我能写出完整过程，并且能自己检查”。这两种目标对应的训练方式完全不同。

1.2 归纳法不是“找规律”的同义词：观察链和证明链的区别

这里要澄清一个特别容易混淆的点。“找规律”是观察行为，“数学归纳法”是证明行为，两者中间隔着一道必须跨过去的坎。

举一个数列的例子你就明白了。考虑两个数列：$a_n = n^2$；$b_n = n^2 + (n-1)(n-2)(n-3)$。你把前三个数代进去，$a_1=1,a_2=4,a_3=9$；$b_1=1,b_2=4,b_3=9$，完全一样。但第四项开始分道扬镳，$a_4=16$，$b_4=16+6=22$。前三项相同，推不出第四项相同。

高阶导数也是这个道理。你算了 $n=1,2,3$ 三阶，看到形式像 $(-1)^n n!/(x+a)^{n+1}$，这只是“观察”。凭什么相信 $n=10$ 还对？凭的是归纳证明：假设 $n=k$ 时公式成立，对 $f^{(k)}(x)$ 再求一次导，验证结果恰好等于把公式里的 $k$ 换成 $k+1$。这一步做完，整条链才闭合。

注意：归纳证明里最容易翻车的地方是“求导时把 $n$ 当成变量”。归纳假设中 $n=k$ 是一个固定的正整数，对它求导时 $k$ 是常数，只有 $x$ 是变量。很多错误答案就是在这里对 $k$ 也用了链式法则。

这个区分带来的实操差异很直接：观察只需要算三阶，证明需要多算一阶并核对形式。多出来的这一阶，恰恰是保证不出错的那道保险。

1.3 什么时候该换路：四类不适配归纳法的情形

归纳法不是万能的，硬套会浪费时间。我的经验是，遇到下面四类情形要果断换路径。

第一类，目标只是某一点的导数值，比如求 $f^{(10)}(0)$。这时候麦克劳林展开的系数法往往更快：$f(x)=\sum a_n x^n$，则 $f^{(n)}(0)=n!,a_n$。你只需要把函数展开到 $x^{10}$ 项，系数一读就出来了，根本不用求通项。

第二类，乘积项多、阶数高。莱布尼茨公式展开项数是 $n+1$ 项，当 $n$ 很大且每一项都不为零时，计算量爆炸。这时候要么找递推关系，要么用生成函数，要么老老实实承认这题不适合手算。

第三类，函数是隐函数或参数方程形式。$F(x,y)=0$ 确定 $y=y(x)$，求 $y^{(n)}$ 需要先求一阶、二阶，找出递推结构，再归纳。直接显式化往往做不到。

第四类，分母含不可约二次因式且在实数范围内不拆。比如 $1/(x^2+1)$，你可以拆成复数域上的两个一次因式，也可以直接用 $\arctan$ 的递推，看你熟悉哪条路。

这四类的共同特征是：通项形式不直观，或者展开项数不可控。判断标准很简单——如果你算了四阶还看不出骨架，别再硬猜了，换方法。时间是最贵的成本。

2. 归纳法求n阶导数的标准动作分解

流程化的价值在于降低认知负担。我把整套动作拆成四步，每一步都有明确的输入输出，你照着走就行。这套动作我在不同基础的同学身上试过，效果稳定：基础弱的能走完流程拿到分，基础好的能压缩时间。

2.1 起手式：先把1到3阶导数完整写出来

第一步只有一句话：把 $f'(x)$、$f''(x)$、$f'''(x)$ 完整算出来，并且统一形式。注意“统一形式”四个字，这是关键。很多人算完三阶就急着看规律，结果三个式子的写法各不相同，根本没法对比。

举个例子，$f(x)=\dfrac{1}{x+2}$。逐阶求：

$$f'(x)=-\frac{1}{(x+2)^2},\quad f''(x)=\frac{2}{(x+2)^3},\quad f'''(x)=-\frac{6}{(x+2)^4}$$

这时候别急着下结论，先把它们改写成同一骨架：

$$f^{(1)}=(-1)^1\cdot 1!\cdot\frac{1}{(x+2)^{2}},\quad f^{(2)}=(-1)^2\cdot 2!\cdot\frac{1}{(x+2)^{3}},\quad f^{(3)}=(-1)^3\cdot 3!\cdot\frac{1}{(x+2)^{4}}$$

骨架一目了然：$(-1)^n,n!,(x+2)^{-(n+1)}$。如果我不做统一改写，直接看 $-1/(x+2)^2$、$2/(x+2)^3$、$-6/(x+2)^4$，也能看出点东西，但容易在符号和阶乘上出错。

再举一个对数函数，$f(x)=\ln(1+x)$：

$$f'=\frac{1}{1+x},\quad f''=-\frac{1}{(1+x)^2},\quad f'''=\frac{2}{(1+x)^3},\quad f^{(4)}=-\frac{6}{(1+x)^4}$$

改写后是 $(-1)^{n-1}(n-1)!/(1+x)^n$。注意这里符号是 $(-1)^{n-1}$，阶乘是 $(n-1)!$，和上一个例子的 $(-1)^n n!$ 不一样。这正是归纳法要训练的分辨力：同样是“交替符号 + 阶乘 + 幂函数”，位置差一位，公式就完全不同。

我的建议是至少算到三阶，遇到三角函数或含参指数函数算到四阶。多算一阶的成本很低，但能显著降低猜错的概率。

2.2 猜通项：盯住系数、符号、阶乘三个位置

低阶结果摆出来之后，猜通项就是填空题。我把要盯的位置固定成三个：系数、符号、阶乘，另外加一个幂次或相位。

先看系数。$f(x)=e^{2x}$，逐阶是 $2e^{2x}$、$4e^{2x}$、$8e^{2x}$，系数是 $2^n$。$f(x)=\sin 2x$，逐阶是 $2\cos 2x$、$-4\sin 2x$、$-8\cos 2x$，幅度系数也是 $2^n$。这个位置最好认，出错率最低。

再看符号。符号有两种常见模式：$(-1)^n$ 和 $(-1)^{n-1}$。判断方法很简单，代 $n=1$ 看符号对不对。如果一阶导数是负的，用 $(-1)^n$；如果一阶导数是正的，用 $(-1)^{n-1}$。这个检查动作只花三秒，但能拦下大量低级错误。

然后是阶乘。阶乘的出现通常来自分母幂次的连续求导。$1/(x+a)$ 每求一次导，分子多一个因子，累积起来就是 $n!$。$1/(x+a)^m$ 则累积成 $(n+m-1)!/(m-1)!$，这个形式后面会详细推。

最后是幂次或相位。幂函数型看分母指数，$1/(x+a)$ 求 $n$ 阶后分母是 $(x+a)^{n+1}$，指数比阶数多一。三角函数型看相位，$(\sin x)^{(n)}=\sin(x+n\pi/2)$，每求一阶相位前进 $\pi/2$。

把这四个位置分别定下来，通项就拼出来了。拼完先别写证明，代 $n=1$ 和 $n=2$ 回验一遍，两次都对再往下走。

2.3 证明段怎么写才算闭环

证明段有固定模板，我按顺序列出来，你照着填就行。

第一句写命题：对任意正整数 $n$，有 $f^{(n)}(x)=\text{（通项）}$。

第二句写基础步骤：当 $n=1$ 时，左边是 $f'(x)$，右边代入 $n=1$ 得某式，两者相等，命题成立。

第三句写归纳假设：假设当 $n=k$（$k\ge 1$）时命题成立，即 $f^{(k)}(x)=\text{（把通项里的 }n\text{ 换成 }k\text{）}$。

第四句写递推：当 $n=k+1$ 时，

$$f^{(k+1)}(x)=\left(f^{(k)}(x)\right)'=\left(\text{归纳假设的右端}\right)'$$

然后对右端求导，整理，目标是把结果写成“通项里 $n$ 换成 $k+1$”的形式。

第五句写结论：由数学归纳法，命题对一切正整数 $n$ 成立。

这个模板看起来笨，但它保证了两件事：逻辑链完整，阅卷人一眼能看懂。我见过太多答案，思路是对的，但中间跳步，最后被判“归纳假设未使用”或者“未验证基础情形”。

注意：基础步骤不一定从 $n=1$ 开始。如果公式对 $n=0$ 也成立，从 $n=0$ 起步更省事；如果函数在 $n=0$ 处没定义（比如 $\ln x$ 在含 0 的区间），就必须从 $n=1$ 起步并在命题里写清 $n\ge 1$。

还有一个细节：求导那一步要写清楚“对 $x$ 求导，$k$ 视为常数”。这不是废话，是防止自己手滑。

2.4 起点与定义域：容易被扣分的两个细节

起点问题刚才提了一句，这里展开说。以 $f(x)=1/x$ 为例，公式 $f^{(n)}(x)=(-1)^n n!/x^{n+1}$ 对 $n\ge 0$ 都成立（$n=0$ 时右边是 $1/x$，正好是原函数）。这种情形从 $n=0$ 起步最干净。但 $f(x)=\ln x$ 的公式 $f^{(n)}(x)=(-1)^{n-1}(n-1)!/x^n$ 在 $n=0$ 时出现 $(-1)!$，没有意义，所以命题必须写“对 $n\ge 1$”。

定义域问题同样重要。所有求导公式都要求在某个开区间内成立，而这个区间不能包含函数的奇点。$1/(x-1)$ 的 $n$ 阶导数公式在 $x=1$ 处无意义，所以结论要写“在 $x\ne 1$ 的区间上”。考试里这一步经常被省略，但严谨的推导必须写。

再补一个容易忽略的点：高阶导数存在的前提是低阶导数存在且可导。对于分段函数或者含绝对值的函数，先确认在目标区间内足够光滑，再谈通项。我见过用归纳法处理 $|x|$ 的高阶导数，结果在 $x=0$ 处反复出错，根源就是把“存在”当成了默认。

3. 五类高频函数的核心套路与完整演算

函数类型决定拆解策略。这一节按类型给出完整演算，每一类都包含“为什么这样拆”和“算到哪一步可以停”。这五类覆盖了绝大多数课堂和考试场景，剩下的变体基本是它们的组合。

3.1 有理分式：部分分式拆分是唯一入口

有理分式的处理路径非常固定：先做多项式除法把假分式变成真分式，再因式分解分母，然后拆部分分式，最后逐项套公式。为什么必须拆？因为 $\dfrac{P(x)}{Q(x)}$ 整体求高阶导数没有通用公式，拆成若干个 $\dfrac{A}{(x-a)^m}$ 之后，每一项都有现成公式。

先给一次项情形的公式。对 $m\ge 1$，

$$\left(\frac{1}{(x-a)^m}\right)^{(n)}=(-1)^n\frac{(n+m-1)!}{(m-1)!}\cdot\frac{1}{(x-a)^{n+m}}$$

这个公式的推导思路是：$m=1$ 时就是 $(-1)^n n!/(x-a)^{n+1}$，每多一重根，分子阶乘的上限就往上抬一位，分母指数也多一。你可以用 $m=2,n=1$ 验一下：右边是 $(-1)\cdot 2!/1!\cdot 1/(x-a)^3=-2/(x-a)^3$，而 $1/(x-a)^2$ 求一阶导确实是 $-2/(x-a)^3$，对得上。

来看一个完整的例子。$f(x)=\dfrac{1}{x^2-3x+2}$。分母分解为 $(x-1)(x-2)$，拆部分分式：

$$\frac{1}{(x-1)(x-2)}=\frac{A}{x-1}+\frac{B}{x-2}$$

通分得 $1=A(x-2)+B(x-1)$。代 $x=1$ 得 $1=-A$，$A=-1$；代 $x=2$ 得 $1=B$。所以

$$f(x)=\frac{1}{x-2}-\frac{1}{x-1}$$

逐项套公式：

$$f^{(n)}(x)=(-1)^n n!\left[\frac{1}{(x-2)^{n+1}}-\frac{1}{(x-1)^{n+1}}\right]$$

代 $n=1$ 验证：右边是 $-1\left[\frac{1}{(x-2)^2}-\frac{1}{(x-1)^2}\right]$，而直接对 $f$ 求导得 $-\frac{1}{(x-2)^2}+\frac{1}{(x-1)^2}$，完全一致。

再看假分式和重根的组合。$f(x)=\dfrac{x^3+1}{x^2-3x+2}$。先做除法：

$$x^3+1=(x^2-3x+2)(x+3)+(7x-5)$$

所以 $f(x)=x+3+\dfrac{7x-5}{(x-1)(x-2)}$。拆后面的真分式，$\dfrac{7x-5}{(x-1)(x-2)}=\dfrac{A}{x-1}+\dfrac{B}{x-2}$，用留数法：$A=\dfrac{7\cdot 1-5}{1-2}=-2$，$B=\dfrac{7\cdot 2-5}{2-1}=9$。于是

$$f(x)=x+3-\frac{2}{x-1}+\frac{9}{x-2}$$

这里有个必须注意的分界点：当 $n\ge 2$ 时，$(x+3)^{(n)}=0$，多项式部分消失，公式为

$$f^{(n)}(x)=(-1)^n n!\left[\frac{9}{(x-2)^{n+1}}-\frac{2}{(x-1)^{n+1}}\right]$$

但当 $n=1$ 时，多项式部分的导数是 1，必须单独加上。这是有理分式题最常见的扣分点，很多人直接套 $n\ge 2$ 的公式，把一阶导数算错。

注意：拆完部分分式后，先标出“多项式部分的消失阶数”。如果多项式是 $m$ 次，那么 $n\ge m+1$ 时它才彻底消失，$n\le m$ 时必须单独处理或者写出完整表达式。

重根情形再补一例：$f(x)=\dfrac{1}{(x-1)^2(x-2)}$。拆成 $\dfrac{A}{(x-1)^2}+\dfrac{B}{x-1}+\dfrac{C}{x-2}$。用留数法，$A=\left.\dfrac{1}{x-2}\right|{x=1}=-1$，$C=\left.\dfrac{1}{(x-1)^2}\right|{x=2}=1$，$B=\left.\dfrac{d}{dx}\dfrac{1}{x-2}\right|{x=1}=\left.-\dfrac{1}{(x-2)^2}\right|{x=1}=-1$。所以

$$f(x)=-\frac{1}{(x-1)^2}-\frac{1}{x-1}+\frac{1}{x-2}$$

套重根公式，三项分别得到 $(-1)^{n+1}(n+1)!/(x-1)^{n+2}$、$(-1)^{n+1}n!/(x-1)^{n+1}$、$(-1)^n n!/(x-2)^{n+1}$。到这里通项就完整了，不需要再合并。

3.2 幂函数与指数函数：组合型的莱布尼茨打法

遇到 $x^m e^{ax}$、$x^m\sin ax$、$x^m\ln x$ 这类乘积，莱布尼茨公式是主力：

$$(uv)^{(n)}=\sum_{k=0}^{n}\binom{n}{k}u^{(k)}v^{(n-k)}$$

用它的关键在选谁当 $u$。我的原则是：选求导若干次后归零的那个因子当 $u$，这样求和上限从 $n$ 降到有限项。$x^m$ 求 $m+1$ 次导就是零，所以 $u=x^m$，$v$ 取另一个因子。

看 $f(x)=x^2e^{2x}$。取 $u=x^2$，则 $u'=2x$，$u''=2$，$u'''=0$。莱布尼茨展开只剩三项：

$$f^{(n)}=\binom{n}{0}x^2(2^ne^{2x})+\binom{n}{1}(2x)(2^{n-1}e^{2x})+\binom{n}{2}(2)(2^{n-2}e^{2x})$$

整理：

$$f^{(n)}=2^ne^{2x}\left[x^2+nx+\frac{n(n-1)}{4}\right]$$

代 $n=1$：$2e^{2x}\left[x^2+x\right]$，直接求导 $f'=2xe^{2x}+2x^2e^{2x}=2e^{2x}(x^2+x)$，一致。代 $n=2$：$4e^{2x}\left[x^2+2x+\frac{2\cdot 1}{4}\right]=4e^{2x}(x^2+2x+0.5)$，而直接二阶求导是 $2e^{2x}(x^2+x)+2e^{2x}(2x+1)=2e^{2x}(x^2+3x+1)$，即 $4e^{2x}(0.5x^2+1.5x+0.5)$，等等，这里对不上。

我重新核对。$f'=2e^{2x}(x^2+x)$。再求导：

$$f''=4e^{2x}(x^2+x)+2e^{2x}(2x+1)=e^{2x}(4x^2+4x+4x+2)=e^{2x}(4x^2+8x+2)=4e^{2x}\left(x^2+2x+\frac{1}{2}\right)$$

和我用公式算的 $4e^{2x}(x^2+2x+0.5)$ 一致。刚才我写“$2e^{2x}(x^2+3x+1)$”是自己算错了，正确是 $4e^{2x}(x^2+2x+0.5)$。这个插曲恰好说明一件事：验算要拿原始函数直接求导，不能凭感觉。

再看 $f(x)=x^3\ln x$，取 $u=x^3$，$u^{(k)}$ 在 $k=0,1,2,3$ 时非零。$(\ln x)^{(m)}=(-1)^{m-1}(m-1)!/x^m$。于是 $n\ge 4$ 时

$$f^{(n)}=\sum_{k=0}^{3}\binom{n}{k}\frac{3!}{(3-k)!}x^{3-k}\cdot(-1)^{n-k-1}\frac{(n-k-1)!}{x^{n-k}}$$

项数固定为四项，虽然长，但每一项都能算。这类题的关键不是化简到最漂亮，而是项数可控、每项可算。

注意：莱布尼茨公式里 $\binom{n}{k}$ 在 $k>n$ 时按 0 处理，但求和本来就是到 $n$ 为止。真正要小心的是 $u^{(k)}$ 归零的那一项，别漏掉 $k=0$ 项——很多人从 $k=1$ 开始写，把“不求导”的那一项丢了。

3.3 三角与指数混合：旋转视角和欧拉公式

三角函数的高阶导数有一个非常漂亮的相位规律：

$$(\sin ax)^{(n)}=a^n\sin\left(ax+\frac{n\pi}{2}\right),\qquad (\cos ax)^{(n)}=a^n\cos\left(ax+\frac{n\pi}{2}\right)$$

为什么每求一阶导相位前进 $\pi/2$？因为 $\sin'=\cos$，$\cos'=-\sin$，在单位圆上这正好是逆时针转 90 度，转四次回到原点。幅度每次乘 $a$，是因为链式法则贡献了一个 $a$。这个几何解释比死记公式可靠得多，忘了就画个圆。

含平方或立方的三角要先降次。$f(x)=\sin^2x$，用半角公式 $f=\dfrac{1-\cos 2x}{2}$，于是

$$f^{(n)}=\frac{1}{2}\cdot 2^n\cos\left(2x+\frac{n\pi}{2}\right)\cdot(-1)$$

注意 $\cos$ 前面有负号，且 $n\ge 1$ 时常数项的导数为零。整理得 $f^{(n)}=-2^{n-1}\cos\left(2x+\dfrac{n\pi}{2}\right)$。代 $n=1$：$-2^0\cos(2x+\pi/2)=\sin 2x$，而 $f'=2\sin x\cos x=\sin 2x$，一致。

指数乘三角的混合型，最省力的工具是欧拉公式。$f(x)=e^{2x}\sin x$，把 $\sin x$ 写成 $\mathrm{Im}(e^{ix})$，则

$$f=\mathrm{Im}\left(e^{(2+i)x}\right)$$

而 $e^{(2+i)x}$ 的 $n$ 阶导数是 $(2+i)^n e^{(2+i)x}$。把 $2+i$ 写成极坐标形式：模长 $r=\sqrt{5}$，辐角 $\varphi=\arctan\frac{1}{2}$。于是

$$(2+i)^n e^{(2+i)x}=5^{n/2}e^{2x}e^{i(x+n\varphi)}$$

取虚部：

$$f^{(n)}=5^{n/2}e^{2x}\sin\left(x+n\arctan\frac{1}{2}\right)$$

代 $n=1$：$\sqrt5 e^{2x}\sin(x+\varphi)$，展开得 $\sqrt5 e^{2x}\left(\sin x\cos\varphi+\cos x\sin\varphi\right)$，其中 $\cos\varphi=2/\sqrt5$，$\sin\varphi=1/\sqrt5$，结果是 $e^{2x}(2\sin x+\cos x)$。直接求导：$2e^{2x}\sin x+e^{2x}\cos x$，一致。

这套方法的通用形式是：$e^{ax}\sin bx$ 的 $n$ 阶导数为 $(a^2+b^2)^{n/2}e^{ax}\sin\left(bx+n\varphi\right)$，其中 $\tan\varphi=b/a$；余弦情形把 $\sin$ 换成 $\cos$。记住这一个结构，比分别背四个公式省事。

3.4 对数、反三角：先求一阶，再回收递推

对数函数直接有公式：$(\ln x)^{(n)}=(-1)^{n-1}\dfrac{(n-1)!}{x^n}$，$n\ge 1$。更一般地，$(\ln(ax+b))^{(n)}=(-1)^{n-1}\dfrac{a^n(n-1)!}{(ax+b)^n}$。这个公式的验证很简单，算三阶就能看出骨架。

反三角函数没有这么直接的闭式，标准做法是：先求一阶导，把反三角转化成有理函数，再对一阶导的等式两边反复求导，得到递推关系。

以 $y=\arctan x$ 为例。$y'=\dfrac{1}{1+x^2}$，即 $(1+x^2)y'=1$。两边对 $x$ 求导：

$$(1+x^2)y''+2xy'=0$$

对这个等式再求 $n-1$ 阶导，用莱布尼茨公式。左边第一项：

$$\left((1+x^2)y''\right)^{(n-1)}=(1+x^2)y^{(n+1)}+2(n-1)xy^{(n)}+(n-1)(n-2)y^{(n-1)}$$

第二项：

$$\left(2xy'\right)^{(n-1)}=2xy^{(n)}+2(n-1)y^{(n-1)}$$

合并并令其为零：

$$(1+x^2)y^{(n+1)}+2nxy^{(n)}+n(n-1)y^{(n-1)}=0$$

在 $x=0$ 处取值，得 $y^{(n+1)}(0)=-n(n-1)y^{(n-1)}(0)$。配合初值 $y(0)=0$、$y'(0)=1$，就能一路推下去：$y''(0)=0$，$y'''(0)=-2$，$y^{(4)}(0)=0$，$y^{(5)}(0)=24$。这和 $\arctan x=x-\dfrac{x^3}{3}+\dfrac{x^5}{5}-\cdots$ 的泰勒系数完全吻合。

$\arcsin x$ 走同一条路。$y'=(1-x^2)^{-1/2}$，两边平方整理得 $(1-x^2)(y')^2=1$，求导得 $(1-x^2)y''-xy'=0$。再求 $n-1$ 阶导：

$$(1-x^2)y^{(n+1)}-(2n-1)xy^{(n)}-(n-1)^2y^{(n-1)}=0$$

在 $x=0$ 处得 $y^{(n+1)}(0)=(n-1)^2y^{(n-1)}(0)$。由 $y(0)=0$、$y'(0)=1$，推出奇数阶非零、偶数阶为零，$y^{(3)}(0)=1$、$y^{(5)}(0)=9$，与 $\arcsin x=x+\dfrac{x^3}{6}+\dfrac{3x^5}{40}+\cdots$ 一致（$5!\cdot 3/40=9$）。

这类递推的价值在于：你不必求出 $y^{(n)}(x)$ 的通项，也能拿到任意一点的导数值或任意阶的系数。很多题只问 $x=0$ 处的值，这时候递推就是最短路径。

3.5 递推型：不求出通项也能拿到目标值

递推思路值得单独强调，因为它把“求通项”这个高难度目标降级成了“找相邻阶关系”这个低难度目标。

做法是：想办法构造一个关于 $y$ 及其各阶导数的线性等式，等式的系数是多项式，然后对这个等式求 $n$ 阶导，用莱布尼茨展开，得到 $y^{(n+1)}$、$y^{(n)}$、$y^{(n-1)}$ 之间的关系。

除了上面两个反三角的例子，经典场景还有 $y=e^{ax}\cos bx$ 和 $y=\dfrac{1}{1+x^2}$。后者其实就是 $\arctan$ 的导数，递推关系可以复用。

注意：递推式里的 $n$ 通常从某个值开始才有意义（比如 $n\ge 1$），推导时要把 $n=0$ 或 $n=1$ 的边界情形单独检查。我见过递推式本身没错，但初值取错，导致后面全错的情况。

4. 参数计算与结果校验：把“看起来对”变成“确实对”

会算不等于算对。这一节讲的是校验，它是整套流程里最容易被跳过、但收益最高的环节。我的习惯是：每写一个通项，至少做两项独立校验，两项都过才继续往下写。

4.1 系数的三个核对维度

第一个维度是符号。把 $n=1$ 代进通项，看结果的符号和直接求导是否一致。这一步能拦住绝大多数 $(-1)^n$ 与 $(-1)^{n-1}$ 的混淆。

第二个维度是阶乘。看分子阶乘的形式是否与分母幂次匹配。$1/(x-a)$ 型，分母指数是 $n+1$，分子是 $n!$；$1/(x-a)^2$ 型，分母指数是 $n+2$，分子是 $(n+1)!$。如果分母指数和阶乘对不上，基本可以判定写错了。

第三个维度是量纲或次数。对有理函数，分子分母的总次数差应该保持稳定；对 $e^{ax}$ 型，系数的 $a$ 的幂次应该等于求导阶数。$e^{