筑见实验室

科学学习

导数不是突然出现的一条公式：平均变化率怎样逼近瞬时变化率

从割线斜率的真实读数出发，解释平均变化率如何通过极限成为瞬时变化率，并用尖点反例说明导数存在的条件。

筑见实验室

很多人第一次学导数，是从这个公式开始的：

f′(x)=lim⁡h→0f(x+h)−f(x)hf'(x)=\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}

公式不难抄，难的是理解：两个点之间的平均变化率，为什么能用来描述一个点附近的瞬时变化率？

这篇文章只追这个问题。我们先算割线斜率，再把两个点慢慢拉近，看看极限在其中做了什么。

ArchSight Science v1.6.0 已正式发布。本文数据来自数学实验 M0902（导数与局部变化率）的真实运行记录。

图 1 M0902 中的函数、割线、切线与误差读数
图 1 M0902 中的函数、割线、切线与误差读数

平均变化率先来自两个点

在函数 y=f(x)y=f(x) 上选定 x0x_0，再取一个邻近点 x0+hx_0+h。横坐标变化了 hh，函数值变化了：

f(x0+h)−f(x0)f(x_0+h)-f(x_0)

两者相除，得到这段区间上的平均变化率：

f(x0+h)−f(x0)h\frac{f(x_0+h)-f(x_0)}{h}

在图像上，它就是连接两个点的割线斜率。这一步描述的是一段区间，而不是一个点：从 x0x_0 走到 x0+hx_0+h，函数值平均每横向变化一个单位，会改变多少。

图 2 两个点之间的平均变化率对应割线斜率
图 2 两个点之间的平均变化率对应割线斜率

如果我们只关心 x0x_0 附近，就要把第二个点拉近，也就是缩小 ∣h∣|h|。

把第二个点一步步拉近

在 M0902 中，固定 f(x)=x2f(x)=x^2 和 x0=1x_0=1，只改变 hh。四次运行得到：

hh 割线斜率 切线斜率 绝对误差
1.00 3.0000 2.0000 1.0000
0.50 2.5000 2.0000 0.5000
0.20 2.2000 2.0000 0.2000
0.05 2.0500 2.0000 0.0500
图 3 固定观察点并缩小 h 时，割线逐步靠近切线
图 3 固定观察点并缩小 h 时，割线逐步靠近切线

这里不是只凭图形判断“两条线看起来重合了”。对这个函数，差商可以直接化简：

(1+h)2−1h=2+h(h≠0)\frac{(1+h)^2-1}{h}=2+h \qquad (h\neq0)

因此割线斜率与目标值 2 的误差正好是 ∣h∣|h|。图像、运行读数和代数关系给出了同一个趋势。

但这些有限步长的读数仍然只是数值证据。它们帮助我们看见逼近过程，不能单独代替极限证明。

h 趋近 0，不是 h 等于 0

只要 h≠0h\neq0，差商计算的仍是两个不同点之间的平均变化率。若直接令 h=0h=0，分母也会变成 0：

f(x0)−f(x0)0\frac{f(x_0)-f(x_0)}{0}

这个式子没有意义。

极限没有把 hh 偷换成 0。它问的是：当非零的 hh 可以任意接近 0 时，这些平均变化率是否趋向同一个稳定值 LL。如果答案是肯定的，我们才定义：

f′(x0)=lim⁡h→0f(x0+h)−f(x0)h=Lf'(x_0)=\lim_{h\to0}\frac{f(x_0+h)-f(x_0)}{h}=L

所以，导数不是某一次“小步长计算”的结果，而是整个逼近过程的极限。

还要从左边看

第二个点既可以从右边靠近，也可以从左边靠近。在同一个实验里取负的 hh：

  • h=−0.50h=-0.50 时，割线斜率为 1.5000；
  • h=−0.05h=-0.05 时，割线斜率为 1.9500。

它们从 2 的另一侧靠近。对于定义域内部的点，普通意义下的导数要求左右两边趋向同一个值：

lim⁡h→0−f(x0+h)−f(x0)h=lim⁡h→0+f(x0+h)−f(x0)h\lim_{h\to0^-}\frac{f(x_0+h)-f(x_0)}{h} = \lim_{h\to0^+}\frac{f(x_0+h)-f(x_0)}{h}

反例能让这个条件更清楚。对 f(x)=∣x∣f(x)=|x|，在 x=0x=0 处，右侧差商趋向 1，左侧差商趋向 -1。两边没有共同极限，因此这个点不可导。

图 4 平滑点的左右斜率汇合，尖点的左右斜率不一致
图 4 平滑点的左右斜率汇合，尖点的左右斜率不一致

只展示一次成功逼近，很容易让人误以为把 hh 调小就一定能得到导数。尖点说明：定义检查的不是“线画得够不够近”，而是两边是否真的趋向同一个值。

数学极限、数值近似和真实测量不是一回事

这三个层次需要分开：

  • 数学极限讨论的是非零 hh 任意接近 0 时，差商是否存在确定趋势。
  • 软件只能计算有限步长，并受浮点精度和允许输入范围影响。M0902 当前允许的最小 ∣h∣|h| 是 0.05。
  • 真实测量还要面对采样频率、噪声和传感器精度，步长也不是越小越准确。

M0902 适合把差商、割线和局部变化率放到同一画面中，帮助学习者形成直觉；它不把有限次运行包装成对数学定义的证明。

自己做一次，留下四项证据

如果正在学导数，可以先用一个平滑函数完成四步：

  1. 预测：缩小 ∣h∣|h| 前，先判断割线会怎样变化。
  2. 记录：保留至少四组 hh、割线斜率和误差。
  3. 比较：从左右两边分别逼近，看结果是否汇合。
  4. 反例：换到尖点，说明逼近为什么失败。

最后只需要回答三个问题：我改变了什么？什么量正在稳定？什么情况下它不会稳定？

能把这三件事说明白，导数就不再是一条突然出现、只能先背下来的公式。

参考资料

以下资料均可按标题检索查阅：

  1. Stewart, J. (2015). Calculus: Early Transcendentals (8th ed.). Cengage Learning.（第 2 章：极限、切线与导数）
  2. Spivak, M. (2008). Calculus (4th ed.). Publish or Perish.（差商极限与单侧导数）
  3. 华东师范大学数学系. (2019). 数学分析（上册）（第 5 版）. 高等教育出版社.（导数概念与局部变化率）
  4. ArchSight Science 文档库. (2026). M0902 导数：从平均变化率到局部变化率讲义与计算规范.

关注我们

筑见实验室（ArchSight Labs）关注科学学习、建筑工程、软件架构与 AI 实践，持续用内容、开源和产品实验，把复杂问题转化为可理解、可验证、可复用的能力。

筑见实验室关注入口二维码
筑见实验室关注入口二维码