从图像读函数

图像不是一张照片，是一份流水账。函数每收到一个输入 x，就吐出一个输出 f(x)；你把这一对数当成一个点的横纵坐标钉在平面上，把所有这样的点钉完，就是图像。所以看图只有一个核心问题要问：横坐标是输入，纵坐标是输出。

把这句话捏紧，四个常见的坑就自动填上了：

坑一：把图当成路线图。 速度-时间图上曲线往下走，不代表车往山下开，只代表速度这个输出在变小。图上的「上下」永远是函数值的上下，不是物体的上下；图上的「左右」是输入在走，通常是时间在走。图像里没有任何一根线是物体真的走过的路。

坑二：把 x 轴交点当成 y 截距。 图像穿过 x 轴，说明这里的输出是 0——这是零点，它记在横坐标上，写成点 (x₀, 0)。图像穿过 y 轴，说明这里的输入是 0，读到的是 f(0)——这是 y 截距，点 (0, f(0))。两者都会给你一个数字，但一个是「在哪儿」，一个是「多少」。等会儿的例子里，数字 3 会同时以这两种身份出现，专门用来练这一刀。

坑三：把陡当成大。 陡峭说的是「x 走一步，y 跟着跳多远」，是变化的快慢；函数值说的是「现在站得多高」。它们量的是两件事，可以任意搭配：一段曲线可以又低又陡（深谷的侧壁），也可以又高又平（高原）。等会儿你会看到全图最平的那一点，恰好是最低的那一点。

坑四：把画出来的窗口当成定义域。 纸只有那么大，画图的人截了一段来画。窗口外面没有曲线，不代表那里没有函数值——只代表没人画。定义域是式子（或题目）说了算的，不是取景框说了算的。想知道 x = 10 处有没有值，别去纸上找，回式子里代。

把上面的话逐字翻译成记号。

设函数 f 的定义域为 D。它的图像是平面上的点集

G(f) = { (x, f(x)) : x ∈ D }。

这里 x 取遍 D 中每个允许的输入，f(x) 是 f 在 x 处吐出的那个唯一的数，(x, f(x)) 是把这对数当作 (横坐标, 纵坐标) 得到的点。因为一个 x 只对应一个 f(x)，任何一条竖直线最多和图像交于一点——这就是竖线检验。

在这套记号下：

- 函数值：从图上读 f(a)，就是在横轴 a 处竖着找到图像上那一点，量它的高度。
- 零点：满足 f(x₀) = 0 的输入 x₀。它在图上是点 (x₀, 0)，落在 x 轴上。零点是一个输入。
- y 截距：点 (0, f(0))，落在 y 轴上，前提是 0 ∈ D。它记录的是一个输出。
- 递增 / 递减：在区间 I 上，若对任意 a < b（a, b ∈ I）都有 f(a) < f(b)，称 f 在 I 上递增；不等号反过来就是递减。注意这是关于所有数对说的，不是看图上某一小段的手感。
- 最小值点：若存在 c ∈ D 使得对任意 x ∈ D 都有 f(c) ≤ f(x)，则 f(c) 是最小值，c 是取到它的位置，图上对应最低点 (c, f(c))。c 回答「在哪」，f(c) 回答「多少」，两个数字不要混。
- 平均变化率：在 [a, b] 上定义为

( f(b) − f(a) ) / ( b − a )，

它等于连接 (a, f(a)) 与 (b, f(b)) 这条割线的斜率，单位是「y 每单位 x 的变化量」。它由两个函数值的差决定，和这两个函数值本身有多大完全无关——这就是坑三在记号层面的解释。

最后，画图窗口是你自选的一个矩形 [x_min, x_max] × [y_min, y_max]，它和 D 没有任何逻辑关系。