📑 查看全课大纲(第 16 / 93 节)
- 1.概论和集合的定义
- 2.逼疯康托的实数集理论
- 3.常用不等式与映射
- 4.函数及特殊函数
- 5.序列极限的定义
- 6.序列极限的性质与夹逼定理
- 7.重要极限
- 8.无穷小量,无穷大量和一组重要的阶的比较关系
- 9.聚点原理
- 10.函数极限及其性质
- 11.重要极限与等价无穷小
- 12.连续函数
- 13.导数的概念(那些年,扛起牛顿的胡克)
- 14.定义法求导
- 15.函数四则运算的导数与反函数求导法则
- 16.复合函数,隐函数,参数式求导
- 17.不定式求导之“洛必达与伯努利的师生情”
- 18.一阶微分
- 19.高阶导数
- 20.高阶微分
- 21.罗尔中值定理与拉格朗日中值定理
- 22.柯西空降科学院遭排挤
- 23.泰勒公式与泰勒的克妻属性
- 24.利用泰勒展开唯一性定理计算泰勒展开
- 25.泰勒公式的余项估计
- 26.极值问题与导数
- 27.函数凹凸性
- 28.无卵用的渐近线与函数作图
- 29.不定积分的定义
- 30.第一换元法
- 31.第二换元法
- 32.分部积分法
- 33.有理式积分
- 34.三角替换
- 35.定积分的概念
- 36.定积分的性质与积分中值定理
- 37.变上限定积分
- 38.微积分基本定理之“高斯教你如何优雅地装逼”
- 39.定积分的换元法
- 40.奇偶函数与周期函数的定积分
- 41.曲线求长与不可求长曲线(海岸线居然算不出长度?)
- 42.旋转体体积
- 43.旋转体侧面积
- 44.极坐标下图形的面积(数学系常用表白曲线)
- 45.欧式空间
- 46.点列极限,开集与闭集
- 47.多元函数的定义
- 48.多元函数的极限
- 49.多元连续函数
- 50.一阶偏导数
- 51.高阶偏导数
- 52.全微分
- 53.方向导数与梯度
- 54.链式法则
- 55.一阶全微分形式的不变性与高阶微分
- 56.多元函数的泰勒公式
- 57.隐函数存在定理与逆映射存在定理
- 58.多元函数的极值
- 59.矩阵基础知识
- 60.行列式的定义与特殊矩阵的行列式
- 61.行列式的性质
- 62.行列式按k行展开
- 63.线性方程组初步与高斯消元法
- 64.齐次线性方程组与Cramer法则
- 65.线性空间
- 66.线性相关与线性无关
- 67.向量组的秩
- 68.矩阵的秩与线性方程组有解的充要条件
- 69.齐次线性方程组的解集结构
- 70.非齐次线性方程组解集结构
- 71.基与维数
- 72.矩阵的乘法
- 73.特殊矩阵
- 74.矩阵乘积的秩与行列式
- 75.矩阵的逆
- 76.正交矩阵
- 77.矩阵对角化与特征值特征向量
- 78.实对称矩阵对角化
- 79.二次型与正定矩阵
- 80.LU分解
- 81.Cholesky分解
- 82.SVD分解
- 83.线搜索
- 84.步长
- 85.最速下降法和牛顿法
- 86.共轭梯度法
- 87.拟牛顿法
- 88.无约束优化
- 89.若干知识点补充(一)
- 90.若干知识点补充(二)
- 91.凸优化问题
- 92.对偶问题(一)
- 93.对偶问题(二)
复合函数,隐函数,参数式求导
约 28 分钟
复合函数、隐函数与参数式求导
小象实战讲义 · 人工智能数学基础
在掌握了基本初等函数的导数后,我们面对更复杂的函数时,常常需要将它们分解为基本函数的组合。本节将学习三大核心求导法则:链式法则、隐函数求导与参数式求导。它们是处理神经网络反向传播、优化问题中梯度计算以及几何曲线分析的基础工具。学完本节,你将能够对绝大多数由初等函数复合、隐式定义或参数化表达的复杂函数进行求导。
💡 核心导读
本节将构建一套处理复杂函数求导的系统方法:
- 链式法则:复合函数求导的核心,理解导数如何通过中间变量“链接”传递。
- 隐函数求导:当函数关系由方程 隐式给定时,如何不显式解出 而直接求导。
- 对数求导法:处理幂指函数或连乘形式的实用技巧,本质是链式法则与隐函数求导的结合。
- 参数式求导:当变量 均由另一参数 表示时,如何计算 ,广泛应用于几何与物理中轨迹的分析。
- 极坐标求导:作为参数式求导的一个特例,处理极坐标曲线 的切线斜率问题。
链式法则:复合函数求导
定理与直观理解
设有函数 在 处可导,函数 在 处可导,且 。则复合函数 在 处可导,且其导数为: {x=x_0} = \frac{dy}{du} \bigg|{u=u_0} \cdot \frac{du}{dx} \bigg|_{x=x_0} 或简记为:
直观解释(莱布尼兹记号之美): 将导数视为“微商”,链式法则变得非常直观: 形式上, 可以“约去”,这清晰地展示了导数如何通过中间变量 从 传递到 ,如同链条一样一环扣一环,故称“链式法则”。
应用示例
例1:求 的导数。 解:识别复合结构:。
- 外层导数:。
- 内层导数:。
- 链式相乘:。
例2:求 的导数。 解:识别复合结构:。
- 外层导数:。
- 内层导数:。
- 链式相乘:。
两个例子虽然最终表达式都是 和 ,但复合顺序不同,求导过程也不同,关键在于正确识别函数的复合层次。
链式法则看反函数求导
设 可导且 ,其反函数为 。将 代入反函数得恒等式: 两边对 求导,应用链式法则: 即: 因此,反函数的导数公式为: 这可以从链式法则自然推导,无需死记。
import sympy as sp
# 示例:使用sympy验证链式法则
x = sp.symbols('x')
# 例1: y = sin(x^2)
y1 = sp.sin(x**2)
dy1_dx = sp.diff(y1, x)
print(f"y = sin(x^2) 的导数: {dy1_dx}")
# 手动链式法则验证:令 u = x^2(用独立符号 u 对 sin(u) 求导,再代回 u = x^2)
u = sp.Symbol('u')
dy_du = sp.diff(sp.sin(u), u).subs(u, x**2) # cos(x^2)
du_dx = sp.diff(x**2, x) # 2*x
print(f"链式法则计算: dy/du * du/dx = {dy_du * du_dx}")
print(f"两者是否相等: {sp.simplify(dy1_dx - dy_du*du_dx) == 0}\n")
# 例2: y = (sin x)^2
y2 = (sp.sin(x))**2
dy2_dx = sp.diff(y2, x)
print(f"y = (sin x)^2 的导数: {dy2_dx}")
print(f"化简形式: {sp.simplify(dy2_dx)}")隐函数求导
概念与方法
若变量 和 之间的函数关系由一个方程 所确定,则称 是 的隐函数。例如 定义了单位圆上的两个函数(上半圆和下半圆)。
隐函数求导法:将方程 中的 视为 的函数 ,然后对方程两边关于 求导,再利用链式法则,最后解出 。
应用示例
例3:求由方程 所确定的隐函数 的导数。 解:
- 两边对 求导,将 视为 的函数:
- 应用链式法则求 :
- 解出 : 结果中允许保留 ,这正体现了隐函数求导的特点:无需(有时也无法)显式解出 。
例4(开普勒方程):求由方程 ( 为常数)确定的隐函数的导数。 解:
- 两边对 求导:
- 合并含有 的项:
- 解出导数:
对数求导法
方法与应用场景
当函数形如 (幂指函数)或由多个因式连乘、除、乘方、开方构成时,直接求导繁琐。对数求导法是解决这类问题的利器:
- 对函数等式两边取自然对数,利用对数性质化简(化乘为加,化幂为乘)。
- 将得到的等式视为隐函数关系,两边对 求导(即隐函数求导)。
- 解出 。
本质:是“取对数”+“隐函数求导”的组合技巧。
应用示例
例5:求 ()的导数。 解:
- 两边取自然对数:
- 两边对 求导,左边应用链式法则:
- 计算右边导数(乘积法则):
- 解出 并代回 :
import sympy as sp
# 示例:验证隐函数求导和对数求导
x, y, eps = sp.symbols('x y epsilon')
# 隐函数求导示例:x^2 + y^2 = 1
# 方法1: 使用sympy的idiff函数进行隐函数求导
expr_implicit = x**2 + y**2 - 1
dydx_implicit = sp.idiff(expr_implicit, y, x)
print(f"由 x^2 + y^2 = 1 确定的隐函数导数: dy/dx = {dydx_implicit}\n")
# 对数求导法示例:y = x^(exp(x))
y_func = x**(sp.exp(x))
# 直接求导
dy_direct = sp.diff(y_func, x)
print(f"y = x^(e^x) 直接求导结果:\n{dy_direct}\n")
# 手动对数求导过程验证
ln_y = sp.log(y)
# 构建方程 ln(y) = e^x * ln(x)
eq_log = sp.Eq(ln_y, sp.exp(x) * sp.log(x))
# 隐式求导
dydx_from_log = sp.idiff(eq_log.lhs - eq_log.rhs, y, x)
# idiff 直接返回 dy/dx 的表达式,代入 y = x^(e^x)
dydx_solved = dydx_from_log.subs(y, y_func)
print(f"通过对数求导法得到的结果:\n{dydx_solved}\n")
print(f"两种方法结果是否一致: {sp.simplify(dy_direct - dydx_solved) == 0}")参数式与极坐标求导
参数式求导
若曲线由参数方程 给出,且 可导,,则曲线在对应点的切线斜率为: 推导:视 为 的函数 (由 反函数得到),则 是 的复合函数。由链式法则和反函数求导法则:
例6:求椭圆 在点 处的切线方程。 解:
- 椭圆的参数方程为:,设对应参数为 。
- 参数式求导得斜率: 或由隐函数求导直接得 。
- 切线方程(点斜式): 可整理为 ,形式对称易记。
极坐标求导
极坐标曲线 与直角坐标的转换关系为: 这本质上是参数方程为 的参数式。因此,曲线在点 处的切线斜率为: 此公式可作为参数式求导的特例,无需死记,用时依参数式求导法则推导即可。
📝 动手练一练
复合函数求导:设 ,求 。 参考答案: 令 ,则 。 。
隐函数求导:已知方程 确定了 是 的函数,求 在点 处的值。 参考答案: 两边对 求导:。 代入 :,即 。 所以 。
本章小结
本节系统学习了三大类复杂函数的求导法则,它们是微积分工具箱中的重要组件:
- 链式法则:处理复合函数,核心是“由外到内,逐层求导,依次相乘”。
- 隐函数求导:处理由方程定义的函数,关键是“将 视为 的函数,两边对 求导”。
- 对数求导法:处理幂指函数或复杂乘积商,步骤是“取对数、隐函数求导、解出导数”。
- 参数式求导:处理参数方程,公式为 ,极坐标求导是其特例。
行动清单
- 练习分解:面对复杂函数,花30秒识别其结构(是复合、隐式、参数式还是幂指?),选择正确的求导路径。
- 代码验证:使用 SymPy 等工具对至少3道手工求导的结果进行验证,确保计算无误,并理解工具输出的每一步。
- 联系几何:选取一个参数方程(如摆线、星形线),编程绘制其曲线,并计算、绘制某点处的切线,直观理解导数 的几何意义。
— 小象教研组
- 第4章讲义:导数(PDF · 3.6MB)下载
领取《小象 11GB VIP 课件资料包与大厂真题手册》
包含全套实战 Jupyter 源码、清洗后数据集、大厂高频面试真题与专属学员答疑交流群。
- ✔完整 Python / 数据分析 Jupyter 实战源码
- ✔大厂真实业务数据集与练习题
- ✔微信扫码添加课程顾问,免费获取网盘下载链接
微信扫码添加顾问