← 返回知识卡片总目录

DS1号 · 自学教材系列 | 高等数学

第 6 章 求导法则

上一章我们用定义「手算」出了 x² 的导数。但如果每个函数都这样从零算,微积分根本走不远。这一章,我们建立一整套「求导的规则」——加减乘除、复合、隐函数、参数方程,让你像套公式一样又快又准地求导。

🎯 本章学习目标

  1. 背下基本导数表,并理解每一条从哪来。
  2. 掌握四则运算的求导法则(尤其乘法、除法的顺序)。
  3. 理解并会用链式法则——复合函数求导的核心。
  4. 会求隐函数和参数方程的导数。
  5. 能综合运用多套法则拿下多层复合、混合运算的复杂函数,求导后还能自行核验结果。

6.1基本导数表:你的「乘法口诀」

就像乘法有九九表,求导也有一张「基本导数表」。这是你后续所有计算的起点,值得花时间记熟。每一行都可以用上一章「差商取极限」的方法推出来(这里给出结论,理解其来源即可)。

基本导数表
函数 f(x)导数 f′(x)一句话理解
常数 c0不变的东西,变化率为 0
xⁿn·xⁿ⁻¹指数搬下来,指数减 1
sin xcos x正弦的导数是余弦
cos x−sin x余弦的导数是负正弦
eˣeˣ自己导自己
aˣaˣ·ln a比 eˣ 多一个 ln a
ln x1/x对数的导数是倒数
tan x1/cos²x正切的导数(= sec²x)

这张表里最值得「想明白」的一条是 (xⁿ)′ = n·xⁿ⁻¹。为什么指数 n 会「搬下来」,然后指数减 1?用二项式展开 (x + Δx)ⁿ,首项 xⁿ 被减掉后,第二项是 n·xⁿ⁻¹·Δx,除以 Δx 后剩下 n·xⁿ⁻¹,其余项都含 Δx 的高次幂,取极限后全部消失。所以结果就是 n·xⁿ⁻¹。

把上面这段话展开成完整的账目,看得更清楚。在任意固定点 x0 处写差商(对正整数 n 用二项式定理):

(x0+Δx)n − x0n = Cn1x0n−1Δx + Cn2x0n−2(Δx)² + … + Cnn−1x0(Δx)n−1 + (Δx)n

两边除以 Δx:

差商 = n·x0n−1 + Cn2x0n−2Δx + … + (Δx)n−1

当 Δx→0 时,等号右边只有第一项不含 Δx,其余每一项都至少带着一个 Δx,全部归零。极限就是 n·x0n−1。用一个具体数字核对:n = 5、x0 = 2 时,差商展开为 80 + 80Δx + 40(Δx)² + 10(Δx)³ + (Δx)⁴,取极限得 80,而口诀给出 5×2⁴ = 80——账目完全吻合。这个「留下一次项系数、高次项归零」的模式,正是「用线性项近似」思想的第一次亮相,本章 6.3 讲链式法则的严格证明时还会再用到它。

⚠️ 根式与负指数:先变形成标准幂,再套公式 公式 (xⁿ)′ = n·xⁿ⁻¹ 对任意实数指数 n 都成立,但前提是先把函数写成「x 的若干次幂」的标准形状:
① √x = x1/2,故 (√x)′ = (1/2)x−1/2 = 1/(2√x);
② 1/x = x−1,故 (1/x)′ = −x−2 = −1/x²;
③ 1/x³ = x−3,故 (1/x³)′ = −3x−4;
④ ³√x² = x2/3,故 (³√x²)′ = (2/3)x−1/3。
负号、分数指数都不是「另加的规则」,全部来自「指数搬下来、指数减一」这同一条公式。最常见的翻车,是拿到 1/x² 时忘了它是 x−2,把导数写成 +2/x³——符号错、方向就全反了。

📐 例题 1 根式的导数与切线斜率

求 y = √x 的导数,并计算曲线在 x = 4 处切线的斜率。

思路:先把根式改写成分数指数幂,套幂函数公式求出导函数,最后把 x = 4 代入导函数。
解:y = x1/2,故 y′ = (1/2)·x(1/2)−1 = (1/2)·x−1/2 = 1/(2√x)。代入 x = 4:y′(4) = 1/(2√4) = 1/(2×2) = 1/4 = 0.25。

答:y′ = 1/(2√x),在 x = 4 处切线斜率为 0.25。 ⚠ 易错点:指数运算 1/2 − 1 = −1/2,别算成 −3/2;另外 (√x)′ 只对 x > 0 成立,在 x = 0 处导数为 +∞(切线竖直,上一章例题 6 讲过),查表时留意定义边界。

表中公式几乎都是「在定义区间内部处处可导」的函数,但边界处要单独检查:√x 在 x = 0 只有单侧无穷导数,1/x 与 ln x 在 x = 0 根本没有定义,tan x 在 cos x = 0 处「导数趋于无穷」且函数本身也间断。所以养成一个习惯:查表之前,先扫一眼这个点在不在函数的定义域里、函数在这一点是否连续——上一章的连续性检查,是本章一切求导操作的前置关卡。

工程视角:这张表就是各种计算软件里「符号求导」的底层字典。你在仿真工具或表格软件里输入一个公式,软件的第一步就是把它解析成基本函数的组合,然后逐条查这张表、再按接下来几节的法则组装。手工求导练的不只是算术,更是「把复杂表达式拆成基本件」的建模眼光——这正是读懂软件输出、并在软件出错时人工兜底的能力。

怎么背这张表:两两成对、彼此校验

孤立地背九条公式容易背串,按「结构对」来记反而更牢:幂一对(xⁿ 与它的对偶 ln x)、指数一对(eˣ 与它的对偶 sin/cos)、三角一对(sin 与 cos 互相转化)。每背完一对,立刻用一两个具体数字自查:如 (eˣ)′ 在 x = 1 处还是 e(约 2.718)——「自己导自己」当场兑现;(ln x)′ = 1/x 在 x = 2 处是 0.5——「倒数」当场兑现。数字自查花不了十秒,却能把「背错的公式」在入脑前拦下来。

还有一条更深的观察:表里每一行导数,都比原函数「降一阶复杂」。幂函数求导指数减一,多项式每求一次导次数掉一级,最终退化为常数;而 sin/cos、eˣ 这类函数求导后「原地转圈」(sin→cos→−sin→−cos,四阶一循环;eˣ 恒不变)。「越求越简单」与「求导不变」两类行为,正是第 8 章级数展开、第 10 章微分方程里反复出现的两种基本模式。现在记表时多看一眼「导完变成谁」,比死记「导数是谁」更有后劲。

表中 tan x 的导数 1/cos²x 是唯一「现推比死记划算」的一条:tan x = sin x / cos x,用下一节的除法法则,(tan x)′ = [cos x·cos x − sin x·(−sin x)]/cos²x = (cos²x + sin²x)/cos²x = 1/cos²x——分子被勾股定理收干净。先背结论,等学完除法法则后亲手推一遍,这条就从「记忆负担」变成「验证案例」。

🧠 一句话记忆 指数搬下来、指数减一;(xⁿ)′ = n xⁿ⁻¹。这是全表最重要的一条。

6.2四则运算的求导法则

函数能加减乘除,导数也能。设 u、v 都是 x 的函数,有四条法则:

四则运算求导法则
运算法则记忆点
加减(u ± v)′ = u′ ± v′各自求导,再加减
数乘(c·u)′ = c·u′常数提出来
乘法(u·v)′ = u′·v + u·v′「前导后不导 + 前不导后导」
除法(u/v)′ = (u′·v − u·v′)/v²「上导下不导 − 上不导下导,除以下方」

前两条「加减」和「数乘」非常直观:变化率可以拆开、可以提常数。但乘法和除法要特别小心,因为它们不能简单地「各自求导再相乘」。

「直观」的加减法则其实也有账可查。按定义写差商:[(u+v)(x+Δx) − (u+v)(x)]/Δx = [u(x+Δx) − u(x)]/Δx + [v(x+Δx) − v(x)]/Δx,分子上下结构一致,可直接拆成两个差商之和;令 Δx→0,用上一章「极限的四则运算法则」(和的极限等于极限之和),两项分别收敛到 u′、v′,法则得证。整个证明只用到一个前提:u′、v′ 都存在。这个「拆成两份、分别取极限」的小动作虽不起眼,却是一切「分而治之」求导策略的原型——后面的法则无非是同样的动作换了花样。

为什么乘法法则是 u′v + uv′?可以这样直觉理解:两个都在变的量相乘,乘积的变化来自两处——u 变了(u′)而 v 没动,加上 v 变了(v′)而 u 没动。两部分贡献加起来,就是 u′v + uv′。

乘法法则的直觉 想象一块矩形,长是 u、宽是 v,面积 = uv。如果长和宽同时都稍微增大一点,面积的增量就由两块「长条」组成:一块是「宽不变、长增长」(贡献 u′v),另一块是「长不变、宽增长」(贡献 uv′)。所以 (uv)′ = u′v + uv′。这个「面积增量」的图景,是理解乘法法则的最佳方式。

乘法法则的面积直觉 一个长 u 宽 v 的矩形,边长各增大后,面积增量由两个长条组成。 u·v u′·v u·v′ Δu·Δv 宽 v 长 u
图 6-1面积增量 = u′v + uv′(左下角那块 Δu·Δv 是「高阶小量」,取极限时消失)。

把这张「面积图」翻译成代数,就是乘法法则的严格证明。设自变量从 x 变到 x + Δx,则乘积的增量为:

Δ(uv) = (u + Δu)(v + Δv) − u·v = Δu·v + u·Δv + Δu·Δv

两边除以 Δx:

Δ(uv)/Δx = (Δu/Δx)·v + u·(Δv/Δx) + Δu·(Δv/Δx)

令 Δx→0:第一项的 Δu/Δx → u′(v 不动),第二项的 Δv/Δx → v′(u 不动),第三项是两个无穷小量之积——比单独一个无穷小更高阶的小,图 6-1 右下角那块小方块就是它,取极限后归零。于是 (uv)′ = u′v + uv′。这个「高阶小量扔掉」的手法,与 6.1 节二项式展开里扔掉 (Δx)² 以上各项是同一招,后面链式法则还要第三次用到它——微分学的核心手艺,就是把增量中「一次以上的部分」合法地丢掉。

除法法则不必另起炉灶,可以从乘法法则「逆向」得到,思路是:把 u/v 写成 u·v−1,对 v−1 用「幂函数公式 + 链式法则」(把 v 当作中间变量,注意 v−1 对 v 求导得 −v−2,再补乘 v′):这样 (u/v)′ = u′·v−1 + u·(−v−2·v′),通分整理就得到 (u′v − uv′)/v²。符号口诀「分子导乘分母,减去分子乘分母导」之所以顺序固定,是因为这两项相减不能交换——把顺序记反,符号就全错。另外分母必须是 v² 而不是 v,这不是笔误:通分时两个 v−1、v−2 要归到同一个分母,自然出现平方。

📐 例题 2 乘法法则:乘积在具体点的导数

求 y = x²·sin x 的导数,并计算 y′ 在 x = π/2 处的值。

思路:两个因子 x² 与 sin x 都在变,用乘法法则「前导后不导 + 前不导后导」,求出导函数后再代入具体点。
解:(x²)′ = 2x,(sin x)′ = cos x,于是
y′ = (x²)′·sin x + x²·(sin x)′ = 2x·sin x + x²·cos x。
代入 x = π/2:sin(π/2) = 1,cos(π/2) = 0,所以
y′(π/2) = 2·(π/2)·1 + (π/2)²·0 = π ≈ 3.1416。

答:y′ = 2x sin x + x² cos x;y′(π/2) = π。 ⚠ 易错点:②代入点时 cos(π/2) = 0 正好把第二项清零,别因此养成「第二项可有可无」的错觉——换一个点(如 x = π/3)它就会回来;②不要写成 (x²)′·(sin x)′ = 2x·cos x 这种「各导各的再相乘」,乘法没有这条捷径。

📐 例题 3 除法法则:商的导数与符号分析

求 y = x/(x² + 1) 的导数,并计算 y′ 在 x = 0 与 x = 2 处的值。

思路:分子 u = x、分母 v = x² + 1,套除法法则 (u′v − uv′)/v²。
解:u′ = 1,v′ = 2x,于是
y′ = [1·(x² + 1) − x·(2x)] / (x² + 1)² = (x² + 1 − 2x²) / (x² + 1)² = (1 − x²) / (x² + 1)²。
代入 x = 0:y′(0) = 1/1 = 1;
代入 x = 2:y′(2) = (1 − 4)/25 = −3/25 = −0.12。

答:y′ = (1 − x²)/(x² + 1)²;y′(0) = 1,y′(2) = −0.12。 ⚠ 易错点:①分子是「u′v − uv′」,两项相减不能颠倒,写成 uv′ − u′v 会全错;②分母是 v² = (x²+1)²,不是 v = x²+1;③化简到 (1 − x²)/(x²+1)² 后可以看出导数在 |x| = 1 处变号——x = 0 处 +1、x = 2 处 −0.12,符号翻转,这为下一章「单调性与极值」埋下伏笔。

乘法法则可以推广到三个因子:(uvw)′ = u′vw + uv′w + uvw′。证法就是「轮流当主角」:每个因子各当一次「变化者」,其余因子原地不动,三项相加。数学上可以对 (uv)w 反复套两因子法则验证;直觉上还是面积图的三维版——长方体体积 uvw 的增量,来自三条棱各自伸长贡献的三个「薄板」,而两棱同时伸长的角块是高阶小量。因子再多也一样:四因子四项、五因子五项,每项恰有一个因子在求导。

检验推广公式的办法很朴素——代数字:取 u = x、v = x²、w = x³,则 uvw = x⁶,直接求导得 6x⁵;用推广公式得 1·x²·x³ + x·2x·x³ + x·x²·3x² = x⁵ + 2x⁵ + 3x⁵ = 6x⁵。吻合。用简单幂函数当「试金石」来验证刚学的法则,是自学者应该养成的习惯——成本低、说服力强。

法则的「适用前提」 四条法则都要求 u、v 在所论点各自可导。若其中一方不可导(尖角、竖直切线、间断),法则结论不一定成立。例如 u = |x|、v = 1,在 x = 0 处 u 不可导,则 u·v = |x| 也不可导——法则没有失效,而是前提先破了。工程上把含绝对值、分段拼接的表达式求导前,先按上一章方法把不可导点逐个排查,再分段套法则。

📖 积和差的「记账传统」

乘法法则 u′v + uv′ 在历史上被称作「积的导数法则」,它与莱布尼茨创立的微分记号 d(uv) = v du + u dv 几乎同时定型(17 世纪 80 年代)。莱布尼茨本人的手稿里,这条法则紧挨着乘积的差分公式出现——他关心的正是「两个都在变的东西相乘,变化怎么记账」。有趣的是,概率论里「期望的线性分解」、误差传播公式里「方差相加」,追根溯源都是这条法则的亲戚:凡「乘积的扰动」,都要按「每个因子各扰一次」来分账。工程里你以后遇到「多因素灵敏度分析」——每个输入单独抖动一点、看输出怎么动——本质上就是把乘法法则的各项分开测量。

🧠 一句话记忆 乘法:前导后不导,加上前不导后导。除法:上导下不导,减上不导下导,底下平方。

6.3链式法则:复合函数求导

这是求导法则里最重要、最常用的一条。先看什么是复合函数:

比如 y = sin(x²)。这可以看成「两件事先后发生」:先把 x 平方得到 x²,再对 x² 取正弦。也就是 y = sin(u),其中 u = x²。这就是复合函数——函数套函数。

怎么求它的导数?答案是链式法则:

链式法则 若 y = f(u),u = g(x),则复合函数 y = f(g(x)) 的导数为:
dy/dx = (dy/du) · (du/dx)
即 「外层导数 × 内层导数」,像链条一样一环扣一环。

用莱布尼茨记号看,链式法则几乎是「显而易见」的:dy/dx = (dy/du)·(du/dx),右边两个 du 好像「约掉」了,就剩 dy/dx。虽然这只是记法上的巧合,但它完美传达了「变化率逐层传递」的思想。

拿 y = sin(x²) 实操一遍:

  1. 外层是 sin,内层是 u = x²。
  2. 外层导数:d(sin u)/du = cos u。
  3. 内层导数:du/dx = 2x。
  4. 相乘:dy/dx = cos u · 2x = cos(x²) · 2x。

链式法则的直觉:「变化」是一层层传下去的。x 变一点,内层 u 跟着变(速度 du/dx);u 一变,外层 y 也跟着变(速度 dy/du)。总的变化率,就是两层「传递速度」的乘积。

链式法则:变化逐层传递 x 变化引起 u 变化,再引起 y 变化,总变化率是两层速率的乘积。 x u = g(x) y = f(u) du/dx dy/du dy/dx = dy/du × du/dx
图 6-2链式法则:变化率从 x 传到 u,再传到 y,总变化率是两层速率的乘积。

「直觉版」的链式法则为什么不严谨?写出来看看:从 Δy/Δx = (Δy/Δu)·(Δu/Δx) 出发,令 Δx→0,想让右边变成 (dy/du)·(du/dx)。这里藏着一个裂缝——Δu 有可能等于 0:一旦 Δu = 0,因子 Δy/Δu 就没有意义,不能写在分母上。「约分」式推导默认了 Δu 恒不为零,而内层函数完全可能在 x 变动的过程中反复折返,使 Δu 时不时归零。

严格的处理办法是回到「线性近似」:既然 f 在 u 处可导,把增量写成「一次项 + 高阶小量」的形式:

Δy = f′(u)·Δu + α·Δu (其中当 Δu→0 时 α→0)

两边除以 Δx:Δy/Δx = f′(u)·(Δu/Δx) + α·(Δu/Δx)。令 Δx→0:由 u = g(x) 可导得 Δu→0 且 Δu/Δx → g′(x);而 α → 0,于是第二项 α·(Δu/Δx) → 0·g′(x) = 0,干净利落地消失——整个式子里根本没有出现过 Δu 作分母,Δu 等不等于 0 都不影响。第一项收敛到 f′(u)·g′(x),链式法则成立。

这个证明是本章「含金量」最高的一段:它展示了「先写成一次项加高阶小量,再取极限让小量消失」的标准动作——6.1 节二项式展开用的是它,6.2 节乘法法则用的是它,这里第三次用到它。读懂了这一招,微积分里大量「显然」的公式都能自己补出严格账目。

链式法则对多层复合照样适用:y 套 u,u 套 v,v 套 x,就连续乘三次。求导口诀「从外往里剥洋葱」说的就是这个流程——最外层先求导,把内层整体当作「现在的变量」;剥完一层,再对下一层求导,一路乘到最里层:

y = f(g(h(x))) ⟹ dy/dx = f′(g(h(x))) · g′(h(x)) · h′(x)

三层复合的剥洋葱求导流程 从外层到内层逐层求导、逐层相乘的流程图。 第一层:y = f(u) → f′(u) 第二层:u = g(v) → g′(v) 第三层:v = h(x) → h′(x) 外层先导,内层整体当变量 剥到第二层,方法相同 剥到最里层,只剩基本函数 三段相乘 ↓ dy/dx = f′(u) × g′(v) × h′(x) 每层导完后回填下层表达式
图 6-3「剥洋葱」流程:从外到内逐层求导、逐层相乘;每剥一层,内层整体暂时视为一个变量。

📐 例题 4 两层复合:先求导、后代入

求 y = esin 2x 的导数,并计算 y′ 在 x = 0 处的值。

思路:这是「指数套正弦套一次式」的复合结构。设 u = sin 2x,则 y = eu。外层 eu 对 u 求导仍是 eu;内层 sin 2x 本身又是复合(sin 套 2x),它的导数是 cos 2x · 2。两层相乘。
解:y′ = esin 2x · (sin 2x)′ = esin 2x · cos 2x · 2 = 2·cos 2x·esin 2x。
代入 x = 0:e⁰ = 1,cos 0 = 1,所以 y′(0) = 2×1×1 = 2。

答:y′ = 2 cos 2x · esin 2x;y′(0) = 2。 ⚠ 易错点:①漏乘内层的 2(把 sin 2x 当成 sin x 求导),复合求导最常见的丢分点;②忘了回填——外层求导后要写 esin 2x 而不是 eu,「剥完必须把内层原样放回去」;③代入时 esin 0 = e⁰ = 1,不要写成 e¹。

📐 例题 5 工程情境:指数衰减的变化率

某容腔内油压按 p(t) = 8·e−t/40(单位:MPa,t 单位:秒)衰减。求压力的变化率 p′(t),计算 t = 0 时的变化率,并求 t = 40 s 时的压力值。

思路:p(t) 是「常数 8 × 复合函数 e−t/40」。数乘法则把 8 提出来;对 e−t/40 用链式法则:外层 eu 导数仍是 eu,内层 u = −t/40 的导数是 −1/40。
解:p′(t) = 8 · e−t/40 · (−1/40) = −(1/5)·e−t/40(单位:MPa/s)。
代入 t = 0:e⁰ = 1,p′(0) = −0.2 MPa/s,即起始时刻压力以每秒 0.2 MPa 的速度下降。
代入 t = 40:p(40) = 8·e−1 ≈ 8 × 0.36788 ≈ 2.943 MPa。

答:p′(t) = −(1/5)e−t/40 MPa/s;p′(0) = −0.2 MPa/s;p(40) ≈ 2.943 MPa。 ⚠ 易错点:①负号来自内层指数 −t/40 的斜率,内层斜率为负时,复合导数必带负号,丢掉它会把「降压」算成「升压」;②「时间常数」40 s 的物理含义在此清晰可见:每过 40 秒压力衰减为原来的 1/e ≈ 36.8%,8 → 2.943 正是这个比例;③变化率也随时间指数衰减:p′(40) = −0.2 × e⁻¹ ≈ −0.0736 MPa/s,越到后面降得越慢。

顺带回答一个常见的疑问:为什么工程公式里到处都是 e 的指数?从本例能看得很直白——指数函数是唯一「变化率与当前值成正比」的函数((eˣ)′ = eˣ,导数是自己的翻版)。压力衰减「剩下的越多降得越快」、电容放电「电压越高漏得越快」、放射性衰变「存量越大衰变得越多」,凡属这类「按存量比例消退或增长」的过程,数学上的唯一解就是指数函数。所以看到 e−t/40,不需要背它,要读出它背后的物理含义:这是一个「变化率正比于当前值」的衰减过程,时间常数 40 秒。

相关变化率:链式法则的工程延伸 链式法则不只是「求导技巧」,它还回答一类高频工程问题:两个都随时间变的量,知道其中一个的变化率,求另一个。例如气球充气,体积 V = (4/3)πr³,若半径以 dr/dt = 0.5 cm/s 匀速增长、此刻 r = 2 cm,求体积增长速度:dV/dt = (dV/dr)·(dr/dt) = 4πr²·(dr/dt) = 4π×4×0.5 = 8π ≈ 25.13 cm³/s。体积增长速度取决于「当前半径平方」,所以气球越大,同半径增速对应的充气流量越大——这正是链式法则「逐层传递」的现场演示。

工程直觉:链式法则是「多级传动的转速关系」。想象一串啮合的齿轮:主动轮转速 du/dx 带动中间轮,中间轮再以 dy/du 带动末端轮,末端轮的最终转速就是两级传动比的乘积 (dy/du)·(du/dx)。「每一级只管自己那对啮合」——这就是为什么求多层复合导数时不必整体硬啃,逐层算传动比再连乘即可。反过来,它也解释了误差为什么会逐级放大:某一级的传动比(局部导数)越大,输入端的一点抖动在输出端就被放得越厉害。读传感器链路、信号链路时,「这条链上哪一级导数最大」就是「误差在哪儿被放大」的答案。

一阶微分形式不变性(进阶小窗):把链式法则改写成微分形式:不管 u 是自变量还是中间变量,dy = f′(u)du 的形状永远成立。对比一下:导数记号 f′(u) 明确要求「u 是当前的自变量」,换一层就要换字母;而微分记号把「谁是变量」这个问题模糊掉了——d 后面跟谁就是谁的微分。正因为如此,工程单位制里大量的「每米多少」「每秒多少」直接用 dA/dB 书写并像分数一样参与运算(如 6.5 节的 (dy/dt)/(dx/dt)),靠的就是这层不变性。它是莱布尼茨记号历经三百多年不衰的真正原因。

🧠 一句话记忆 先导外层,再导内层,两样相乘。「从外往里剥,层层相乘」。

6.4隐函数求导

之前见到的函数都是「显式」的:y = f(x),y 单独在左边。但有时关系是「混在一起」的,比如圆的方程:

x² + y² = 1

这里 y 没有单独解出来,x 和 y 纠缠在一起,这种关系叫隐函数。怎么求 y 对 x 的导数 dy/dx?

思路是:把方程两边同时对 x 求导,把 y 看成 x 的函数(用链式法则处理含 y 的项),然后解出 dy/dx。

对 x² + y² = 1 两边求导:

所以:2x + 2y·(dy/dx) = 0,解出:

dy/dx = −x/y

这个结果很漂亮:圆上任意一点的切线斜率是 −x/y。这也解释了「圆的半径和切线互相垂直」这一几何事实(斜率互为负倒数)。

为什么非要绕「隐函数」这道弯,而不先把 y 解出来变成显式函数?两个原因。其一,很多时候解不出来或解出来更难算:圆的方程解出 y = ±√(1 − x²),带 ± 号、带根式,求导繁琐还得分上下半圆两支处理;而像 y⁵ + y − x = 0 这类方程,五次多项式没有一般的根式解,显式化根本不可能,隐函数求导却是三行就完。其二,隐函数求导保留了几何原貌:斜率表达式中同时含 x 与 y,直接告诉你「在这条曲线的这个点」切线如何,无需关心 y 属于哪一支。

需要注意一点:隐函数求导的合法性依赖于「y 确实是 x 的某个函数」,而且在这一点的邻域内这条隐曲线可以局部地当作函数图像(不出现竖直方向的重叠)。这套「隐函数存在条件」的严格表述超出本章范围,先记一个工程判据:只要曲线在所论点切线不竖直、且 dy/dx 解出来分母不为零,结果就是可靠的。

📐 例题 6 隐函数求导:椭圆上一点的切线

椭圆 x²/25 + y²/16 = 1(长半轴 5、短半轴 4)上有一点 (3, 3.2)。求曲线在该点的切线斜率,并写出切线方程。

思路:方程两边同时对 x 求导,含 y 的项用链式法则补乘 dy/dx,然后解出 dy/dx,最后代入点的坐标。
解:先验算点在椭圆上:3²/25 + 3.2²/16 = 9/25 + 10.24/16 = 0.36 + 0.64 = 1 ✓。
对 x 求导:(x²/25)′ = 2x/25;(y²/16)′ = (2y/16)·(dy/dx) = (y/8)·(dy/dx);右边 1 的导数为 0。于是
2x/25 + (y/8)·(dy/dx) = 0 ⟹ dy/dx = −(2x/25)·(8/y) = −16x/(25y)。
代入 (3, 3.2):dy/dx = −16×3 / (25×3.2) = −48/80 = −0.6。
切线方程:y − 3.2 = −0.6·(x − 3),即 y = −0.6x + 5。

答:切线斜率 −0.6;切线方程 y = −0.6x + 5。 ⚠ 易错点:①(y²/16)′ 对 y 求导得 y/8 之后,必须补乘 dy/dx,这是隐函数求导的灵魂步骤,漏乘是最常见错误;②算完可以回代验算——把 y = −0.6x + 5 代入椭圆方程,整理后恰好得到 25(X − 3)² = 0,即切线与椭圆只在 x = 3 处相切(重根相切),斜率正确;③点不在曲线上一切免谈,先验算 0.36 + 0.64 = 1。

椭圆与切线:隐函数求导的几何意义 椭圆 x²/25 + y²/16 = 1 在点 (3, 3.2) 处的切线 y = −0.6x + 5,切线与椭圆相切。 x y (3, 3.2) x = 3 y = 3.2 切线 y = −0.6x + 5(斜率 −0.6) x²/25 + y²/16 = 1 斜率 −16x/(25y) = −48/80 = −0.6
图 6-4椭圆在点 (3, 3.2) 处的切线:隐函数求导给出斜率 −0.6,切线与椭圆恰好相切(代入后 25(X−3)² = 0)。

隐函数求导的步骤 ① 方程两边同时对 x 求导;② 遇到含 y 的项,用链式法则乘一个 dy/dx(把 y 当 x 的函数);③ 把含 dy/dx 的项移到一边,解出 dy/dx。记住:对 y 求导后,永远要补乘 dy/dx。

工程视角:装配约束、等势线、载荷包线等大量工程关系都以「方程」而非「显函数」的形式出现:两个量被一个几何或物理条件锁在一起。隐函数求导让你不解方程也能拿到变化率——比如上例中,想知道椭圆某点处坡度多陡,直接代入 −16x/(25y) 即可,管它 y 是哪一支。

顺带收获一个漂亮的推论——反函数导数。把 x 看成 y 的函数,对方程两边求导(这次对 y 求导,含 x 的项补乘 dx/dy),对圆就得到 dx/dy = −y/x。与 dy/dx = −x/y 相乘,乘积恰好是 (+1):dy/dx 与 dx/dy 互为倒数。这并非圆的巧合,而是普遍规律:同一曲线,正着爬与倒着爬,坡度互为倒数(爬升 2:1 的坡倒着下变成 1:2)。6.5 节参数方程公式 (dy/dt)/(dx/dt) 的「除法结构」,本质上也是这条倒数关系在起作用。

🧠 一句话记忆 隐函数求导:两边同导,y 后补乘 dy/dx,再解出 dy/dx。

6.5参数方程求导

有时曲线不是「y 关于 x」,而是 x、y 各自关于第三个变量 t(常代表时间)变化:

x = φ(t), y = ψ(t)

这叫做参数方程。它特别适合描述运动轨迹:t 是时间,x(t)、y(t) 是某时刻的位置坐标。

那么 y 对 x 的导数(即曲线切线斜率)怎么求?用链式法则可以巧妙地推出:

参数方程求导公式 dy/dx = (dy/dt) / (dx/dt) = ψ′(t) / φ′(t)。
也就是「y 对 t 的导数,除以 x 对 t 的导数」。

为什么?因为 dy/dx = (dy/dt)·(dt/dx),而 dt/dx 是 dx/dt 的倒数,所以 dy/dx = (dy/dt)/(dx/dt)。

例:圆的参数方程 x = cos t,y = sin t(t 是角度)。那么:

看,结果和上一节隐函数求导完全一致——同一个圆,两种算法,殊途同归。这说明不同求导方法是相通的。

这里还有一个使用前提值得强调:分母 dx/dt 不能为零。若某时刻 dx/dt = 0,意味着运动在该点的水平速度为零——轨迹在这里的切线是竖直的,斜率不存在(或说趋于无穷),公式在该点失效不是公式错了,而是「斜率」本身不存在。这和上一章「立方根在原点的竖直切线」是同一个现象。

📐 例题 7 参数方程:运动轨迹的爬升角与速度

一质点沿参数方程 x = 80t,y = 2t²(x、y 单位:米,t 单位:秒)运动。求 t = 10 s 时轨迹的切线斜率与爬升角,并求该时刻的速度大小。

思路:先分别求 dx/dt 与 dy/dt,相除得斜率(这是几何量),相合(勾股)得速度大小(这是物理量)。
解:dx/dt = 80(常量),dy/dt = 4t。
切线斜率:dy/dx = (dy/dt)/(dx/dt) = 4t/80 = t/20。代入 t = 10:斜率 = 10/20 = 0.5。
爬升角 θ = arctan(0.5) ≈ 26.57°(轨迹向上倾斜约 26.6°)。
速度大小:|v| = √[(dx/dt)² + (dy/dt)²] = √(80² + 40²) = √8000 ≈ 89.44 m/s。
此时位置:x = 800 m,y = 200 m。

答:t = 10 s 时切线斜率 0.5,爬升角约 26.57°,速度大小约 89.44 m/s。 ⚠ 易错点:①别把 dy/dt(= 40)当成斜率——那是「竖直方向的速度」;斜率是竖直速度除以水平速度 40/80 = 0.5;②速度大小是两个分速度的勾股合成,不是相除;③斜率表达式 t/20 说明轨迹越走越陡,t 每增加 20 s 斜率加 1——参数方程同时给出了「哪里」(位置)和「怎么走」(速度、方向),这正是它描述运动的优势。

两个「导数」的物理分工 在参数方程里,dx/dt 与 dy/dt 是分速度(物理量,描述运动的快慢与方向分解);dy/dx 是斜率(几何量,描述轨迹的陡峭)。二者通过「相除」联系,但绝不能混用:想求「此刻往哪冲」,看速度合成;想求「这条路在这里有多陡」,看斜率。工程读图时,把轨迹图(x–y 平面)和速度–时间图分开画,就是在物理上遵守这个分工。

工程视角:航迹规划、机械臂末端轨迹、翼型外形曲线,工程世界里大量曲线天然就是「按参数走」的:翼型上下表面常以弦向位置为参数给出纵坐标,机械臂末端的作业路径以时间为参数给出 x 与 y(或更多坐标)。参数方程求导因此不只是考题技巧,而是从「按步走」的数据反推「路面坡度」的标准动作。例题 7 里那种「水平匀速、竖直加速」的组合(x = 80t、y = 2t²)正是抛物线 y = x²/3200 的参数化身——同一轨迹,两套描述,求导法则负责在两套语言之间互译。

🧠 一句话记忆 参数方程求导:dy/dx = (dy/dt) ÷ (dx/dt),y 的速度除以 x 的速度。

法则在手,用武之地在哪:本章到第 7、9、13 章的接力 本章把第 5 章「按定义硬算」的求导工业化:基本导数表是零件库,四则、链式、隐函数、参数四套法则把零件装成流水线。往第 7 章看,单调性判据、极值判据、凹凸性与拐点全部以「先算出 f′(或 f″)再定号」为标准动作,第 7 章一半的功夫其实在考本章法则的熟练度。往第 9 章看,积分表是导数表的倒读——记住 (xⁿ)′ = n·xⁿ⁻¹,反着用就是 ∫xⁿ dx;eˣ、sin x 那些「求导后形态不变或循环」的性质,正是第 8 章级数与第 13 章微分方程里它们反复当主角的原因。再补一条辨析:法则管「怎么算」,定义管「合不合法」——遇到 |x|、分段拼接点这类边界情形,法则可能失灵,唯一可靠的裁判仍是差商极限。会查表、会套规则,还知道每条规则背后的前提,才算把工具箱真正背走了。

本章小结

  1. 基本导数表是求导的起点,最重要的是 (xⁿ)′ = n xⁿ⁻¹。
  2. 四则运算法则:加减逐项、数乘提常数、乘法 (uv)′=u′v+uv′、除法 (u/v)′=(u′v−uv′)/v²。
  3. 链式法则:复合函数求导,dy/dx = (dy/du)(du/dx),外层导乘内层导。
  4. 隐函数:两边同导、y 项补乘 dy/dx、解出 dy/dx。
  5. 参数方程:dy/dx = (dy/dt)/(dx/dt)。
  6. 贯穿全章的「一次性手艺」:把增量写成「一次项 + 高阶小量」,取极限后小量消失——幂函数公式、乘法法则、链式法则的严格推导,用的是同一招。
  7. 混合套路:复杂函数求导先「拆结构」——四则运算拆成因子、复合拆成层次、隐式拆成方程两边,再按各层法则逐个击破。

读完本章,你应该能……

思考题

1. 用乘法法则求 y = x·sin x 的导数。

提示:(x·sin x)′ = 1·sin x + x·cos x = sin x + x cos x。

2. 用链式法则求 y = e^(2x) 的导数。

提示:外层 e^u 导数为 e^u,内层 2x 导数为 2,相乘得 2e^(2x)。

3. 为什么链式法则在莱布尼茨记号下「看起来像约分」?这说明了什么?

提示:dy/dx=(dy/du)(du/dx) 中 du 看似约掉;它传达「变化率逐层传递」的思想,而非真正约分。

4. 乘法法则为什么不能写成 (uv)′ = u′v′?用面积增量解释。

提示:面积增量由两块长条组成(u′v 和 uv′),不是两个增量相乘;u′v′ 是「高阶小量」。

5. 求 y = 1/x³ 的导数,并说明负号是从哪一步冒出来的。

提示:1/x³ = x⁻³,(x⁻³)′ = −3x⁻⁴ = −3/x⁴。负号来自「指数搬下来」——搬下来的指数本身就是 −3,不是先按 +3 求导再补负号。

6. 求 y = ln(cos x) 的导数,并指出它的定义域限制。

提示:外层 ln u 导数 1/u = 1/cos x,内层 cos x 导数 −sin x,相乘得 −sin x/cos x = −tan x。定义域要求 cos x > 0(ln 的真数为正),所以只在 cos x 为正的区间上成立。

7. 「Δy/Δx = (Δy/Δu)·(Δu/Δx) 然后取极限」这个推导哪里不严谨?标准修补办法是什么?

提示:Δu 可能等于 0,使 Δy/Δu 无意义。修补:把 Δy 写成 f′(u)·Δu + α·Δu(α→0),除以 Δx 后第二项 α·(Δu/Δx) → 0,全程不需要 Δu 作分母。

8. 椭圆 x²/25 + y²/16 = 1 在点 (3, 3.2) 处的切线是什么?如何验算「确实相切」?

提示:隐函数求导得 dy/dx = −16x/(25y),代入得 −0.6,切线 y = −0.6x + 5。验算:把切线代入椭圆方程,整理得 25(X−3)² = 0,恰好只有一个解(重根),说明相切而非相交。

9. 参数方程 x = 80t、y = 2t²,t = 10 s 时的切线斜率、爬升角、速度大小各是多少?三者分别回答什么问题?

提示:斜率 = (4t)/80 = 0.5,回答「轨迹在这里有多陡」;爬升角 = arctan(0.5) ≈ 26.57°,回答「朝哪个方向走」;速度 = √(80² + 40²) ≈ 89.44 m/s,回答「走得多快」。斜率是几何量、速度是物理量,分工不同。

10. 链式法则的「严格依据」中,为什么要写成 Δy = f′(u)·Δu + α·Δu 而不是直接除以 Δu?

提示:避开 Δu = 0 的裂缝;α·Δu 是「比 Δu 更高阶的小量」,除以 Δx 后连同 α→0 一起消失。这一招与二项式展开丢高次项、乘法法则丢 Δu·Δv 同源。

11. y = sin(x²) 在 x = 1 处的导数是多少?请「链式求导」与「数值差商」各算一遍,互相对账。

提示:链式——外层 sin u 对 u 求导得 cos u,内层 u = x² 求导得 2x,故 y′(1) = cos(1)×2 ≈ 1.0806。对账——Δx = 0.001 时差商 [sin(1.001²) − sin(1)]/0.001 = [sin(1.002002) − sin(1)]/0.001 ≈ 1.0795,与 1.0806 相差约 0.1%,且 Δx 越小越贴合。两种算法互为校验,是处理复合函数时防「漏乘内层导数」的标准保险——漏乘内层的答案会差出一大截,数值对账一秒现形。再补一刀:Δx = 0.0001 时差商 ≈ 1.0804,已贴近链式答案 1.0806,收敛肉眼可见;反过来若漏乘内层导数,只会得到 cos(1) ≈ 0.5403,差出近一倍,这种量级的出入看一眼单位就能识破。