函数的分析工具与发展历史
研究函数就像研究一台精密仪器——我们需要工具来拆解、分析和理解它。本课介绍分析函数的核心工具，并回顾函数概念从诞生到成熟的发展历程。
一、相关名词解释
1.1 作差比较法
作差比较法
通过计算两个数的差来判断它们大小关系的方法。核心依据：a − b > 0 ⇔ a > b；a − b = 0 ⇔ a = b；a − b < 0 ⇔ a < b。
1.2 单调性
单调递增
对任意 x1 < x2，都有 f(x1) < f(x2)。图像从左到右上升。
单调递减
对任意 x1 < x2，都有 f(x1) > f(x2)。图像从左到右下降。
严格单调
上述不等号不含等号的情况，即真正的"越来越大"或"越来越小"。
1.3 奇偶性
奇函数
满足 f(−x) = −f(x) 对所有定义域内的 x 成立。图像关于原点对称。
偶函数
满足 f(−x) = f(x) 对所有定义域内的 x 成立。图像关于 y 轴对称。
非奇非偶
既不满足 f(−x) = f(x)，也不满足 f(−x) = −f(x)。
1.4 零点与二分法
零点
使 f(x) = 0 的 x 的值。注意：零点是数（x 的值），不是点 (x, 0)。
零点存在性定理
若 f(x) 在 [a, b] 上连续且 f(a) · f(b) < 0，则至少存在一个 c ∈ (a, b) 使得 f(c) = 0。
二分法
通过不断将区间一分为二，逐步逼近零点近似值的方法。每次取中点判断符号，缩小零点所在区间。
描点作图
通过列表、描点、连线的步骤，在坐标系中绘制函数图像的方法。
二、符号说明
| 符号 | 含义 | 读法 / 备注 |
|---|---|---|
| f(x) | 函数 f 在 x 处的值 | 读作"f of x" |
| a − b > 0 | a 大于 b | 作差比较法的基本形式 |
| x1 < x2 | 自变量的大小关系 | 定义单调性的前提 |
| f(x1) < f(x2) | 函数值递增 | 单调递增的判定 |
| f(−x) = ±f(x) | 奇偶性判定条件 | 正号为偶，负号为奇 |
| Δx | 自变量的改变量 | Δx = x2 − x1 |
| ∈ | 属于 | 元素与集合的关系 |
| ∀ | 任意 | 读作"对于任意" |
| ∃ | 存在 | 读作"存在" |
| [a, b] | 闭区间 | 包含端点 a 和 b |
| (a, b) | 开区间 | 不包含端点 a 和 b |
三、分析工具的用途
作差比较法
比较两个实数大小的通用方法。适用于任何两个实数，是证明不等式、判断大小关系的基础工具。
定义法证明单调性
从单调性的原始定义出发，通过"任取 → 作差 → 定号"的流程，严格证明函数在某个区间上的单调性。
定义法判断奇偶性
通过检验 f(−x) 与 f(x) 的关系，判断函数的奇偶性。需要注意定义域是否关于原点对称是前提条件。
描点作图
通过"列表 → 描点 → 连线"三步，将函数的代数表达转化为直观的几何图像，是理解函数性质的重要手段。
数轴与坐标系
用数轴表示实数，用平面直角坐标系表示有序实数对。坐标系是连接"数"与"形"的桥梁，是函数图像的载体。
二分法求近似解
利用零点存在性定理，通过反复取中点缩小搜索区间，逐步逼近方程 f(x) = 0 的近似解。是数值计算的重要思想。
四、分析工具详解
4.1 作差比较法
基本原理：
a − b > 0 ⇔ a > b
a − b = 0 ⇔ a = b
a − b < 0 ⇔ a < b
等式性质与不等式性质的类比：
等式性质
a = b ⇒ a + c = b + c
a = b ⇒ ac = bc (c ≠ 0)
a = b ⇔ b = a（对称性）
不等式性质
a > b ⇒ a + c > b + c
a > b, c > 0 ⇒ ac > bc
a > b ⇔ b < a（反向对称）
注意区别：不等式两边乘除负数时，不等号方向会反转——这是等式与不等式最重要的区别。
4.2 定义法证明单调性
判断单调性的一般步骤：
- 任取：在定义域区间内任取 x1 < x2
- 作差：计算 f(x2) − f(x1)
- 变形：因式分解、通分、有理化、配方等，化成易于判断符号的形式
- 定号：判断 f(x2) − f(x1) 的正负
- 结论：若差值 > 0，则单调递增；若差值 < 0，则单调递减
4.3 定义法判断奇偶性
判断奇偶性的一般步骤：
- 检查定义域：定义域必须关于原点对称（若是，继续；若否，直接判定为非奇非偶）
- 计算 f(−x)：将 −x 代入函数表达式
- 比较：判断 f(−x) 与 f(x) 的关系
- 结论：f(−x) = f(x) ⇒ 偶函数；f(−x) = −f(x) ⇒ 奇函数；否则非奇非偶
4.4 描点作图
描点法画函数图像的完整步骤：
- 列表：选取定义域内若干有代表性的 x 值，计算对应的 f(x) 值
- 描点：在坐标系中描出每组 (x, f(x)) 对应的点
- 连线：用光滑曲线依次连接各点，得到函数图像
4.5 数轴与坐标系
核心思想：实数与数轴上的点一一对应，有序实数对 (x, y) 与平面上的点一一对应。
数轴是 1 维的坐标系，平面直角坐标系是 2 维的坐标系。
坐标系的作用：将代数问题转化为几何问题，利用图形的直观性来理解函数的性质。例如，单调性对应图像的升降，奇偶性对应图像的对称性。
4.6 二分法求近似解
零点存在性定理：若 f(x) 在 [a, b] 上连续，且 f(a) · f(b) < 0，则存在 c ∈ (a, b) 使得 f(c) = 0。
二分法的步骤：
- 取区间 [a, b] 的中点 c = (a + b) / 2
- 计算 f(c)，判断零点所在区间：若 f(a) · f(c) < 0，则零点在 (a, c) 内；否则零点在 (c, b) 内
- 重复上述过程，每次将区间长度缩小一半，直到达到所需的精度
五、发展历史线索
函数的概念从诞生到成熟，经历了近 300 年的演变。以下是关键的历史节点：
- 17 世纪 莱布尼茨 ——首次使用 "function" 一词，指曲线上变化的几何量（如切线长度、法线长度等）。函数的概念处于萌芽阶段。
- 18 世纪 欧拉 ——在《无穷小分析引论》中定义函数为"由变量和常数构成的解析表达式"。认为函数必须能用一个数学式子写出来。
- 1837 年 狄利克雷 ——给出更广泛的定义："对于某个区间上的每个 x 值，如果有一个唯一的 y 值与之对应，则 y 称为 x 的函数。"这个定义不再要求函数能用公式表达。
- 20 世纪 布尔巴基学派 ——以集合论为基础，用"映射"观点重新定义函数：函数是一种从定义域到值域的对应关系。这是现代数学中函数的严格定义。
| 时期 | 关键进展 | 代表人物 | 核心观点 |
|---|---|---|---|
| 17 世纪 | "函数"一词诞生 | 莱布尼茨 | 曲线上变化的几何量 |
| 18 世纪 | 系统化定义 | 欧拉 | 函数 = 解析表达式 |
| 19 世纪 | 现代定义确立 | 狄利克雷 | 任意对应关系，不必有公式 |
| 20 世纪 | 集合论基础 | 布尔巴基 | 映射观点，集合论语言 |
六、历史小故事
狄利克雷函数——"最不像函数的函数"
1837 年，狄利克雷提出了一个让当时数学家们非常困惑的函数：
这个函数无法用任何公式表达，甚至无法画出图像——因为有理数和无理数密密麻麻地交织在一起。但它完全符合函数的定义：每个 x 都有唯一确定的 y。
狄利克雷函数向世人证明：函数的本质是"对应规则"，而不是"公式"。这极大地拓展了数学家的视野。
欧拉的"偷懒"与创新
18 世纪，欧拉在研究振动弦问题时，需要用多个不同频率的正弦波叠加来描述弦的形状。当时主流观点认为函数必须是一个统一的解析式，但欧拉大胆地使用了分段函数——不同区间用不同的表达式。
这种做法在当时引起了激烈争论。最终，欧拉的结果被实验证实是正确的，这也推动了函数定义的扩展。这个故事告诉我们：数学的进步往往来自于对既有规则的突破。
从"函数"到"映射"——布尔巴基的贡献
20 世纪 30 年代，一群法国数学家以"布尔巴基"为笔名，开始编写一套全新的数学教材。他们的目标是：用集合论的语言，统一整个数学。
在他们的体系中，函数被定义为一种特殊的"关系"：对于定义域中的每个元素，值域中有且仅有一个元素与之对应。这种"映射"的观点清晰、精确、普适，成为今天全世界通用的函数定义。
布尔巴基学派对数学教育的另一个重要影响是：强调"结构"——函数不再是一个孤立的工具，而是整个数学结构中的一环。
七、例题
例 1（作差比较法）
比较 (x2 + 1) 与 2x 的大小，其中 x ∈ R。
分析：要比较两个代数式的大小，考虑作差法。
解：(x2 + 1) − 2x = x2 − 2x + 1 = (x − 1)2
因为 (x − 1)2 ≥ 0 恒成立，所以 (x2 + 1) − 2x ≥ 0
所以 x2 + 1 ≥ 2x，当且仅当 x = 1 时取等号。
技巧：作差后通过配方判断符号是最常用的方法之一。
例 2（定义法证明单调性）
用定义法证明：函数 f(x) = x2 在区间 [0, +∞) 上单调递增。
证明：任取 x1, x2 ∈ [0, +∞)，且 x1 < x2
作差：f(x2) − f(x1) = x22 − x12 = (x2 − x1)(x2 + x1)
因为 x1 < x2，所以 x2 − x1 > 0
因为 x1, x2 ≥ 0，所以 x2 + x1 ≥ 0
所以 f(x2) − f(x1) > 0，即 f(x2) > f(x1)
因此 f(x) = x2 在 [0, +∞) 上单调递增。
例 3（奇偶性 + 单调性综合）
判断函数 f(x) = x3 的奇偶性，并证明其在 R 上的单调性。
奇偶性判断：定义域为 R，关于原点对称。
f(−x) = (−x)3 = −x3 = −f(x)
所以 f(x) = x3 是奇函数。
单调性证明：任取 x1 < x2
f(x2) − f(x1) = x23 − x13 = (x2 − x1)(x22 + x1x2 + x12)
因为 x2 − x1 > 0，且 x22 + x1x2 + x12 ≥ 0（仅当 x1 = x2 = 0 时取等，但 x1 ≠ x2），所以该式 > 0
因此 f(x) = x3 在 R 上单调递增。
例 4（二分法求近似解）
已知函数 f(x) = x3 + x − 1，判断零点所在区间，并用二分法求零点的一个近似值（精确到 0.25）。
分析：先判断零点的大致范围，再用二分法逐步逼近。
f(0) = −1 < 0，f(1) = 1 > 0，所以零点在 (0, 1) 内。
取中点 c1 = 0.5，f(0.5) = 0.125 + 0.5 − 1 = −0.375 < 0，所以零点在 (0.5, 1) 内。
取中点 c2 = 0.75，f(0.75) = 0.422 + 0.75 − 1 = 0.172 > 0，所以零点在 (0.5, 0.75) 内。
此时区间长度为 0.25，达到精度要求。
所以零点的一个近似值为 0.625（取区间中点）。
例 5（作差法 + 不等式综合）
已知 a > 0, b > 0，比较 (a + b)/2 与 √(ab) 的大小。
分析：比较算术平均与几何平均的大小，作差后判断符号。
解：(a + b)/2 − √(ab) = (a + b − 2√(ab))/2 = (√a − √b)2/2
因为 (√a − √b)2 ≥ 0 恒成立，且 a, b > 0，所以该式 ≥ 0
所以 (a + b)/2 ≥ √(ab)，当且仅当 a = b 时取等号。这就是基本不等式。
八、练习
点击选项提交答案，系统自动判分。先完成全部题目再查看解析。