第54课 — 隐函数求导
对由方程 F(x, y) = 0 隐式定义的 y 进行求导。链式法则、隐曲线的切线、隐函数二阶导数。
Used in: 日本高中数学3级(隐函数+反函数) · 德国11年级LK班(隐曲线导数) · 新加坡H2数学(曲线导数)
Rigorous notation, full derivation, hypotheses
定义与隐函数定理
动机
一条平面曲线可以用方程 表示,而无需将 明确地求解出来。圆 和笛卡尔叶形线 是典型例子。隐函数求导绕过了这一障碍。
正式方法
设 是在点 附近将 定义为 的函数的方程。
典型例子:圆
求导得:,因此 (在 时有效)。
经典曲线表
| 曲线 | 方程 | |
|---|---|---|
| 圆 | ||
| 椭圆 | ||
| 双曲线 | ||
| 笛卡尔叶形线 |
"如果关联 和 的方程无法显式求解 ,我们仍可以通过隐式求导来找到 。" — OpenStax Calculus Volume 1, §3.8
隐函数定理(一维版本)
何时失效。 如果 ,曲线在该点可能有竖直切线,或可能不局部定义一个函数。例子:圆在点 处——。
二阶隐函数求导
对 再应用 ,使用商法则并记住 依赖于 。
已解决的例子
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 54.1Application
对于圆 ,求 。
- Ex. 54.2Application
对于椭圆 ,计算 。
- Ex. 54.3Application
对于 ,通过隐函数求导计算 。验证它与显式求 的导数一致。
- Ex. 54.4Application
对于双曲线 ,计算 。
- Ex. 54.5Application
对于 ,计算 。
- Ex. 54.6Application
对于 ,计算 。
- Ex. 54.7ApplicationAnswer key
对于 ,计算 。
- Ex. 54.8Application
对于 ,计算 。将结果解释为 的导数。
- Ex. 54.9ApplicationAnswer key
对于 ,计算 。
- Ex. 54.10Application
对于 ,计算 。
- Ex. 54.11ApplicationAnswer key
对于 ,计算 并在点 处评估。
- Ex. 54.12ApplicationAnswer key
对于 ,计算 。
- Ex. 54.13Application
对于 ,计算 。
- Ex. 54.14Application
对于 ,计算 并讨论导数是否在所有点存在。
- Ex. 54.15ApplicationAnswer key
求圆 在点 处的切线。
- Ex. 54.16Application
对于椭圆 ,求在点 处的切线。
- Ex. 54.17Application
对于 ,求在 处的切线。
- Ex. 54.18ApplicationAnswer key
对于 ,求在 处的切线。
- Ex. 54.19Application
对于 ,计算 。
- Ex. 54.20Application
对于圆 ,确定所有水平和竖直切线的点。
- Ex. 54.21Application
对于笛卡尔叶形线 ,计算 并确定水平切线的点。
- Ex. 54.22Application
对于笛卡尔叶形线 ,求在点 处的切线。
- Ex. 54.23Modeling
理想气体定律说 。保持 常数,使用隐函数求导来求 。
- Ex. 54.24ModelingAnswer key
对于曲线 ,确定是否存在水平或竖直切线的点。
- Ex. 54.25Modeling
在微观经济学中,无差异曲线 描述了使消费者无差异的两种商品的组合。使用隐函数求导,求 —— 边际替代率。
- Ex. 54.26Modeling
对于柠檬形曲线 ,在点 处计算 。
- Ex. 54.27Modeling
如果 (),使用对数导数求 。
- Ex. 54.28Modeling
如果 (),使用对数导数求 。在 处评估。
- Ex. 54.29Modeling
对于 ,用 、 和 表示 。解释对 的 的符号。
- Ex. 54.30Modeling
对于椭圆 ,计算 和 。
- Ex. 54.31Understanding
为什么条件 对应用隐函数定理是必要的?
- Ex. 54.32UnderstandingAnswer key
隐函数求导相比分离 再显式求导的主要优势是什么?
- Ex. 54.33Understanding
使用隐函数求导证明圆 的切线总是在切线点处垂直于半径。
- Ex. 54.34Understanding
对于曲线 ,解释在什么条件下切线存在、可能竖直,以及何时点是奇异的。
- Ex. 54.35Understanding
验证隐式对 求导给出与显式对 求导相同的结果。
- Ex. 54.36UnderstandingAnswer key
对 隐式地关于 求导时, 是什么?为什么不仅仅是 ?
- Ex. 54.37Challenge
对于曲线 ,找到所有水平和竖直切线的点。
- Ex. 54.38Challenge
对于椭圆 ,隐式计算 并使用椭圆方程简化。(Resp: .)
- Ex. 54.39ChallengeAnswer key
对于 ,在 计算 。解释为什么该点对直接公式是奇异的。
- Ex. 54.40Proof
证明。 证明对任意 (),,使用 和链式法则。解释为什么证明涵盖 为无理数的情况。
来源
- Active Calculus 2.0 — Boelkins · 2024 · §2.7 (Derivatives of Functions Given Implicitly). 主要来源。 许可证 CC-BY-NC-SA 4.0。
- OpenStax Calculus Volume 1 — OpenStax · 2016 · §3.8 (Implicit Differentiation). 许可证 CC-BY-NC-SA 4.0。
- APEX Calculus — Hartman et al. · 2024 · v5 · §2.6 (Implicit Differentiation). 许可证 CC-BY-NC 4.0。