高一数学03:单调性定义法六步模板,定号是唯一的难点

　　月考卷上最稳定的一道大题：“用定义证明 f(x) 在某区间上的单调性，并求……”六分送分题，得分率却常年不过半。丢分的姿势高度一致——作差之后不会分解、定号时说不清理由、结论只写“所以是增函数”。

　　定义法看起来笨，实际是函数章节里唯一一个不需要任何新知识、纯靠四则运算就能拿满分的方法。它只要求你把六个步骤走完，每一步都写在纸上。今天把六步模板拆开，配上三个高频翻车点：区间不能并、分段要衔接、抽象函数靠赋值。

◆ ◆ ◆

📐 六步模板：从“任取”到“结论”的完整闭环

　　以最典型的分式函数为例——

证明：f(x) = x/(x+1) 在 [0, +∞) 上单调递增。

Step 1任取设差

在 [0, +∞) 上任取 x₁，x₂，设 x₁ ＜ x₂。注意“任取”二字：证明对一切取值成立，不许挑特殊值代入演算。

Step 2作差

f(x₁) − f(x₂) = x₁x₁ + 1 − x₂x₂ + 1

Step 3通分

= x₁(x₂ + 1) − x₂(x₁ + 1)(x₁ + 1)(x₂ + 1)

　　展开分子：x₁x₂ + x₁ − x₁x₂ − x₂ = x₁ − x₂，交叉项恰好抵消——这就是这道题“友好”的地方：

f(x₁) − f(x₂) = x₁ − x₂(x₁ + 1)(x₂ + 1)

Step 4定号

两个因子分别看：① x₁ ＜ x₂ ⟹ x₁ − x₂ ＜ 0；② x₁，x₂ ∈ [0, +∞) ⟹ x₁ + 1 ≥ 1 ＞ 0，x₂ + 1 ＞ 0 ⟹ 分母 ＞ 0。负 ÷ 正 ＝ 负，所以 f(x₁) − f(x₂) ＜ 0。

Step 5下结论

f(x₁) ＜ f(x₂)，由定义，f(x) 在 [0, +∞) 上单调递增。□

💡 黄金句：六步里真正“难”的只有定号——而定号的全部技巧，就是把差式强行分解成“含 (x₁−x₂) 的因子 × 若干符号已定的因子”。前者提供方向，后者提供确定。

▲ 左：x + 1/x 的差式符号决定单调方向，最低点 x = 1 两侧色带分界；右：定义法六步模板——任取、作差、分解、定号、结论，一步不缺

◆ ◆ ◆

⚠️ 陷阱一：单调区间不能“并”

求 f(x) = 1/x 的单调区间。

　　先老老实实走一遍作差：

f(x₁) − f(x₂) = 1x₁ − 1x₂ = x₂ − x₁x₁x₂

　　分子 x₂ − x₁ ＞ 0 没有悬念，命运全押在分母 x₁x₂ 上：

　　第三行就是全部秘密：一旦 x₁、x₂ 跑到两支里，分母变号，递减立刻失效。

📌 红金句：写“∪”的那一刻，等于向阅卷人宣布——你没有检查异号取值。单调区间只能分开写，永远不能并。

◆ ◆ ◆

🔗 复合函数：同增异减的两行推导

　　先推为什么，再背口诀。设 u = g(x) 在区间 I 上递增，y = f(u) 在对应值域上递增，任取 x₁ ＜ x₂ ∈ I：

x₁ ＜ x₂　⟹　u₁ = g(x₁) ＜ g(x₂) = u₂　　（内层增）u₁ ＜ u₂　⟹　f(u₁) ＜ f(u₂)　　（外层增）⟹　f(g(x₁)) ＜ f(g(x₂))　　复合后仍增

　　若把外层换成递减，第二行的不等号反向，复合就变减——增增得增，增减得减，减减得增：负负得正。这就是“同增异减”的全部内容。真正容易丢的不是口诀，是用之前忘了先写定义域。

求 y = 1/(x + 2) 的单调减区间。

　　定义域 x ≠ −2，先把数轴劈成两段，每段各自走：

x ＞ −2 时：u = x + 2 ＞ 0 递增，y = 1u 在 (0, +∞) 递减　⟹　复合在 (−2, +∞) 递减x ＜ −2 时：u = x + 2 ＜ 0 递增，y = 1u 在 (−∞, 0) 递减　⟹　复合在 (−∞, −2) 递减

　　两段都是减——但答案必须写成“(−∞, −2) 和 (−2, +∞)”，不能画并集符号：取 x₁ = −3 ＜ x₂ = 0，f(−3) = −1 ＜ f(0) = 12，函数值在“并区间”上不降反升。复合函数的断点，和 1/x 的断点，是同一道陷阱换了件衣服。

◆ ◆ ◆

🪜 分段函数：断点衔接的那一个不等式

已知 f(x) = x²（x ＜ 1），f(x) = ax + b（x ≥ 1）在 R 上单调递增，求 a、b 满足的条件。

　　在 R 上增，意味着任意 x₁ ＜ x₂都有 f(x₁) ＜ f(x₂)。三种位置关系逐一处理：

① 同在左段：x² 在 (−∞, 1) 递增，天然成立② 同在右段：a ＞ 0 时 ax + b 递增，成立③ x₁ 在左、x₂ 在右：需要 f(x₁) ＜ f(x₂) 对一切组合成立

　　第三种情形的最坏组合是：x₁ 无限逼近 1（左段最高点），x₂ = 1（右段最低点）。于是条件收缩成一个不等式——

lim（x→1⁻）　x² = 1　≤　f(1) = a + b

　　反过来验证这个条件是充分的：任取 x₁ ＜ 1 ≤ x₂，

f(x₁) = x₁² ＜ 1 ≤ a + b ≤ ax₂ + b = f(x₂)

　　链条每一环都成立，所以a ＞ 0 且 a + b ≥ 1。取等可以吗？令 a = 1，b = 0：f(x) = x²（x ＜ 1），f(x) = x（x ≥ 1），f(0.99) ≈ 0.98 ＜ 1 = f(1)，衔接恰好无缝——取等合法。

📌 红金句：分段函数在 R 上单调，参数要满足两个条件——每段各自单调（a ＞ 0），加上断点不等式（左段上确界 ≤ 右段起点）。漏掉第二个，参数范围直接错一半。

▲ 左：y = (x−1)² 的复合结构——外层 u² 在 u ≥ 0 增，内层同段增减决定复合方向；右：分段函数断点陷阱——x² 与 x−1 在 x = 1 处跳变，整段单调性崩塌

◆ ◆ ◆

🎩 抽象函数：赋值链的三个固定桩

已知 f(x) 对任意实数 x，y 满足 f(x + y) = f(x) + f(y)，且当 x ＞ 0 时 f(x) ＜ 0。证明：f(x) 在 R 上单调递减。

　　没有解析式，六步模板的“作差”还照样能走——差式 f(x₁) − f(x₂) 要化成可判断符号的形状，全靠条件里那一条恒等式。三个赋值桩，一个都不能少：

Step 1第一桩：令 x = y = 0

f(0 + 0) = f(0) + f(0) ⟹ f(0) = 0。原点值先钉死，它是不动点，也是后面变形的支点。

Step 2第二桩：令 y = −x

f(x + (−x)) = f(x) + f(−x) ⟹ f(0) = f(x) + f(−x)，所以 f(−x) = −f(x)——这个函数还是奇函数，负号可以自由搬过等号。

Step 3第三桩：构造差式

对任意 x₁ ＜ x₂，则 x₂ − x₁ ＞ 0，由条件 f(x₂ − x₁) ＜ 0。于是：

f(x₂) − f(x₁) = f(x₂) + f(−x₁)　　（第二桩：f(−x₁) = −f(x₁)）= f(x₂ + (−x₁))　　（第一桩：恒等式合并）= f(x₂ − x₁) ＜ 0　　（条件：自变量为正时函数值为负）

　　三行拼完，f(x₂) ＜ f(x₁)，函数在 R 上递减。注意这里的六步模板一个都没少：任取（x₁ ＜ x₂）、作差、化简（三桩拼装）、定号（条件给出负号）、结论。变的只是“化简”这步的武器——从通分因式分解，换成了赋值变形。

💡 黄金句：抽象函数不抽象——它把“因式分解”换成了“赋值拼装”，六步模板原地复用。f(0)、f(−x)、f(x₂−x₁)，三个桩打完，剩下的就是拼图。

◆ ◆ ◆

🧭 四类局面，一张决策表

　　最后回到那个六分大题：阅卷人手里有一张步骤分表——任取 1 分、作差通分 2 分、定号 2 分、结论 1 分。六步模板走完，分数是踩着点给的；跳步合并，丢的就是整段推导的印象分。而复合与分段两个陷阱，则决定了你在这道题之外的选择填空里还能不能再拿一轮分。

　　单调性管的是“函数往哪走”，但走的路线图缺了另一半：图象关于原点、关于 y 轴的对称性——奇偶性。它把定义域一劈两半，让你只算一半就能知道全部。那才是把工作量真正砍半的工具。

◆ ◆ ◆

　　本篇用到的每一条结论都在机器上验证过：x/(x+1) 的差式分解、1/x 异号反例、分段断点不等式 a+b ≥ 1 的取等、抽象函数三桩拼装。模板是死的，但每一行推导都是活的。