导数 · 从变化率到极值与不等式
「第 1 秒末有多快」这个问题问的不是任何一段时间上的平均速度。把观察的时间段不断缩短,平均速度会稳定到一个数上,这个数就是瞬时变化率。导数是它的精确说法:区间长度趋于零时平均变化率的极限。同一个极限在几何上是割线转向切线的极限位置,于是「变化的快慢」与「曲线的陡缓」成了同一件事的两种读法。
本系列的前半是工具。基本初等函数的导数各有闭式,四则法则与链式法则把复合出来的函数化归到这些闭式上;切线方程随导数值一并写出,而「在某点处的切线」与「过某点的切线」是两类不同的问题——后者切点未知,条数不一定是一条。后半是这套工具的用场:导数的符号给出单调区间,符号的变化给出极值,端点与驻点一并比较给出闭区间上的最值;把待证的不等式作差成一个函数,再证它的最小值不小于零,超越函数的不等式因此也能算。e^x ≥ x + 1 与 ln x ≤ x − 1 是这条路线上最常用的两条结论,它们各自就是一条切线。再往上一阶,二阶导数的符号给出曲线的弯曲方向,变号处即拐点;把定义域、奇偶性、零点、极值、凹凸与渐近线凑齐,图象的形状就是算出来的。最后一站是建模:把「用料最省」「利润最大」「用时最短」写成一个一元目标函数,定出定义域,再把驻点与可取的端点一并比较。光的折射定律就是这样从「用时最短」求导得来的。
从平均变化率到瞬时变化率,从割线到切线:导数是一个极限,它同时是切线的斜率。求导法则把这个极限的计算收敛成几条可反复套用的规则——基本初等函数的导数表,加上和 / 积 / 商 / 复合四条法则。
平均变化率与导数的定义
平均变化率是两点连线的斜率,它依赖区间长度。令区间长度趋于零,割线斜率的极限即函数在该点的瞬时变化率,记作 f′(x₀);把每个点的导数值再看成函数,得到导函数。
导数的几何意义与切线方程
切线是割线的极限位置,斜率即该点的导数值,切线方程由点斜式写出。「在某点处的切线」切点已知,「过某点的切线」切点是未知数,需先解出切点,条数不一定是一条。
基本求导公式与运算法则
基本初等函数的导数各有闭式,四则法则与链式法则把复杂函数的求导化归成这些闭式。积与商的导数都不是各自导数的同类运算,复合求导须乘上内层的导数。
切线的定义换过一次
y = x³ 在 x = 1 处的切线 y = 3x − 2 与曲线还交于 x = −2,而在 x = 0 处的切线 y = 0 干脆穿过切点。微积分改用极限定义切线——过切点与邻近点作割线,割线的极限位置即切线。新定义只约束切点附近的局部行为,对曲线在远处如何走向不作任何断言,这也是它能推广到任意可导函数的原因。导数的符号决定函数的升降,符号的变化处产生极值,而闭区间上的最值还要把端点算进候选。同一套办法用到不等式上:作差构造函数,用导数定出它的最小值,再看这个最小值是否不小于零。二阶导数的符号再给出曲线的弯曲方向,它的变号处是拐点;连同渐近线,函数的图象可以算出来而不必描点去猜,实际问题里的「用料最省」「用时最短」也化归到同一套比较上。
导数的符号与函数的单调性
区间上 f′ > 0 则函数递增,f′ < 0 则递减。求单调区间的步骤是先定定义域、再解导数不等式;孤立的零点不把单调区间断开,f′ ≥ 0 才是递增的等价条件。
极值与闭区间上的最值
极值是局部性质,可导函数的极值点必为驻点,反之不然。闭区间上的最值只在两类点上产生:区间内部的驻点与两个端点,逐个比较函数值即可定出。
凹凸性、拐点与函数作图
二阶导数的符号给出曲线的弯曲方向,它的变号处是拐点。定义域、奇偶性、零点、极值、凹凸与渐近线六项信息定出图象的形状,描点只用来确认。
用导数证明不等式
证 f(x) ≥ g(x) 的通用路线是作差构造 h = f − g,用导数定出 h 的单调性,再证它的最小值不小于零。e^x ≥ x + 1 与 ln x ≤ x − 1 是两条最常用的切线不等式。
极值、最值与端点
x³ − 3x 在 x = −1 处的极大值是 2,而它在 x = 3 处的函数值是 18:一个极大值可以远小于同一函数在别处的值。端点更是两头不靠——它不是极值点(只有一侧有函数值,谈不上邻域内比较),却完全可以是最值点:x³ − 3x 于 [−3, 0.5] 上的最小值 −18 就落在左端点。闭区间上求最值因此只需一张短清单:内部驻点的函数值,加上两个端点的函数值,逐个比较。优化建模:从实际约束到最值
实际问题化为一元函数的最值问题,要经设变量、写目标、定定义域、求导比较、回到实际验算五步。定义域端点必须与驻点一并算进候选,而理论最优与实物不符时,该改的往往是目标函数。
理论最优与实物的差距
相关链接
概念与几何意义
- Derivative — Wikipedia en.wikipedia.org 导数的定义、记号体系与几何意义。
- Difference quotient — Wikipedia en.wikipedia.org 差商的形式,以及它与导数的关系。
- Tangent — Wikipedia en.wikipedia.org 切线的极限定义,与「只有一个公共点」这一旧说法的分别。
- Numerical differentiation — Wikipedia en.wikipedia.org 前向差商与中心差商的误差量级,以及步长的最优取值。
求导法则
- Differentiation rules — Wikipedia en.wikipedia.org 基本导数表与四则法则的完整清单。
- Product rule — Wikipedia en.wikipedia.org 积法则的证明与常见误用。
- Quotient rule — Wikipedia en.wikipedia.org 商法则的推导,以及由积法则加链式法则重新得到它的路径。
- Chain rule — Wikipedia en.wikipedia.org 链式法则的表述、莱布尼茨记号的写法与多层复合。
单调性、极值与不等式
- Monotonic function — Wikipedia en.wikipedia.org 单调性的定义与可导函数的单调性判定。
- Mean value theorem — Wikipedia en.wikipedia.org 拉格朗日中值定理,「导数为正则递增」的证明依据。
- Maximum and minimum — Wikipedia en.wikipedia.org 极值与最值的定义,局部与整体的分别。
- Extreme value theorem — Wikipedia en.wikipedia.org 闭区间上的连续函数必取到最大值与最小值。
-
Bernoulli's inequality — Wikipedia
en.wikipedia.org
与
e^x ≥ x + 1同源的一族放缩不等式。
凹凸性、拐点与优化
- Convex function — Wikipedia en.wikipedia.org 凸性的多种等价定义,含二阶导数判据;中文「凹 / 凸」两套约定的来源。
-
Inflection point — Wikipedia
en.wikipedia.org
拐点的定义与必要条件,以及
y = x⁴这类二阶导为零却不变号的反例。 - Asymptote — Wikipedia en.wikipedia.org 竖直 / 水平 / 斜三类渐近线的定义,斜渐近线的两次极限求法。
- Fermat's principle — Wikipedia en.wikipedia.org 费马原理,以及由「用时最短」求导得出折射定律的那一步。
- Snell's law — Wikipedia en.wikipedia.org 折射定律的几条独立推导路径。
数值实现
-
Loss of significance — Wikipedia
en.wikipedia.org
相近数相减丢失有效数字,以及
expm1/log1p这类补偿函数。 -
Math.expm1() — MDN
developer.mozilla.org
直接算
e^x − 1的内建函数,小 x 处的精度即由它保住。 - Bisection method — Wikipedia en.wikipedia.org 二分法,导函数零点的求法之一。
- Multiplicity (mathematics) — Wikipedia en.wikipedia.org 重根的定义,以及相切与二重根的对应。