5.8 自然对数为何自然 · 从直觉到证明

一步一步建立直观

先预测，再点“演示本步”核对右图。每一步都重设到指定情形，随后可以自由修改参数。

01相对变化给出自然的局部单位

若存量为 $a>0$ ，很小的绝对增加 $h$ 对应相对增加约 $h/a$ 。自然对数把这种相对增量变成输出增量，所以局部斜率是 $1/a$ 。右图在 $a=1$ 附近的切线斜率为一，正好给出一套没有额外比例常数的刻度。

02不是每个函数都测量相对变化

切换到平方函数，比较同样的观察位置与步长。它的斜率是 $2a$ ，随存量增大而增大，与对数恰好相反。这一步用于突出自然对数的特殊尺度；右图切换函数后的读数属于新函数，不能把它继续解释成对数导数。

03从导数回到积累的解释

回到对数曲线，试着解释从一增长到 $x$ 的对数值：它等于沿途累计 $1/t$ 的面积。因为每段按当前存量归一化，同样的比例增长产生相同的对数增量。将起点与终点保持为正，面积解释便与对数的乘法规律互相支持。

5.8.1 一种对相同比例变化给相同读数的刻度¶

从一百增加到一百零一，与从一千增加到一千零一，绝对变化相同，但相对变化不同。自然对数在局部测量的是 $dx/x$ ，因此更接近按比例的变化尺度。相同百分比增幅产生相同对数增量。

因为 $\ln$ 与指数互逆，对 $\mathrm e^{\ln x}=x$ 求导，得到 $x(\ln x)'=1$ ，所以导数为 $1/x$ 。定义域要求 $x>0$ ，分母也说明不能在零点套用这个推导。

5.8.2 用面积把乘法法则重新看一遍¶

曲线 $1/t$ 从一到 $x$ 的有向面积等于 $\ln x$ 。区间同比例缩放时，高度相应反比例变化，面积保持；这为乘法转换成加法提供了另一种几何解释。

当 $x$ 从一百变为一百零一，对数增量为 $\ln(1.01)$ ，一阶近似是 $0.01$ 。但若从一变为二，直接把对数增量当一就不准确，因为变化已不够小。局部相对变化近似不能当成全局等式。

读对数图时也要区分“增长量下降”和“相对增长率下降”。指数曲线在对数坐标中成为直线，因为它每单位时间增加相同的对数值。这个表示很适合检查比例增长假设，但图形近似直线仍不足以证明具体机制。

与本图相连的定义与证明：2.2 · 平方函数的差商与误差。本节的具体条件与形式化范围见下文。

数学表述 5.8.1¶

$\ln$ 把相对变化变成加性变化：若 $x$ 小幅增加 $dx$ ，则 $d\ln x\approx dx/x$ 。这让相同比例的增长具有相同对数增量。

对 $x>0$ ， $(\ln x)'=1/x$ ，且 $\ln x=\int_1^x dt/t$ 。与 $\mathrm{e}^x$ 互逆给出 $\ln(\mathrm{e}^x)=x$ 。

例 5.8.1 把概念用于具体计算

$x$ 从 $100$ 增为 $101$ ，对数增量 $\ln1.01\approx0.00995$ ，一阶估计为 $0.01$ 。

练习 5.8.1¶

$\ln(x^2)$ 在 $x>0$ 时的导数？

展开解答与检查

$2/x$ ；也可先写成 $2\ln x$ 。

Lean 对照 5.8.1 命题、证明与适用边界

完整验证正实数处的自然对数导数，写明 $x>0$ 避免除零和实定义域误解。

Lockdown.natural_log_derivative

theorem natural_log_derivative (x : ℝ) (hx : 0<x) :
    HasDerivAt Real.log (1/x) x := by
  simpa [one_div] using Real.hasDerivAt_log (ne_of_gt hx)

-- Necessary fixed-point equation conditional on convergence, not a convergence proof.

查看完整定义与上下文 ↗ · 全书证明范围

原课对照观课问题、视频与图示

比较相同绝对增长与相同比例增长，用倒数面积解释对数尺度。

官方课程与图示 ↗ · 原视频 ↗

点击后连接 YouTube；播放器不可用时可通过上方原链接观看。