套路

差商读成割线斜率

题目给的是「f(x2)−f(x1)f(x_{2})-f(x_{1}) 与 x2−x1x_{2}-x_{1} 之间的大小关系」时,整条式子同除以 x2−x1x_{2}-x_{1},中间那一坨就是过两点的割线斜率——抽象条件当场变成一句看得见的几何话。

解题套路

题面里出现「对任意 x1<x2x_{1}<x_{2},有 …f(x2)−f(x1)…x2−x1…\dots f(x_{2})-f(x_{1})\dots x_{2}-x_{1}\dots」这种形状时:

  1. 先定符号:x2>x1x_{2}>x_{1} 保证 x2−x1>0x_{2}-x_{1}>0,同除不改变不等号方向。这一步必须写出来——除以一个可能为负的量,整条式子就翻过来了。
  2. 同除:把式子两边(含中间那一项)统统除以 x2−x1x_{2}-x_{1}。
  3. 认出来:f(x2)−f(x1)x2−x1\dfrac{f(x_{2})-f(x_{1})}{x_{2}-x_{1}} 就是图象上 (x1,f(x1))\left(x_{1},f(x_{1})\right) 与 (x2,f(x2))\left(x_{2},f(x_{2})\right) 两点连线的斜率。给它一个名字(如 kk),后面全程只跟这个数打交道。
−α(x2−x1)<f(x2)−f(x1)<α(x2−x1)→ ÷(x2−x1)>0 −α<k<α.-\alpha\left(x_{2}-x_{1}\right)<f(x_{2})-f(x_{1})<\alpha\left(x_{2}-x_{1}\right) \quad\xrightarrow{\ \div\left(x_{2}-x_{1}\right)>0\ }\quad -\alpha<k<\alpha .

为什么好用

  • 抽象条件变成图:「所有割线的斜率都落在 (−α,α)(-\alpha,\alpha) 里」等于说「从图象上任何一点看出去,整条图象都夹在以它为顶点、斜率 ±α\pm\alpha 的那个喇叭里」。看得见,就不容易想歪。
  • 一次函数成了现成的例子库:px+upx+u 的割线斜率恒等于 pp(与取哪两点无关),于是「px+upx+u 满不满足条件」只剩一句 ∣p∣|p| 与 α\alpha 比大小。要造例子、要造反例,都从这里取。
  • 运算的性质一眼分层:割线斜率对 f↦f+gf\mapsto f+g 是线性的(kf+g=kf+kgk_{f+g}=k_{f}+k_{g}),对 f↦fgf\mapsto fg、f↦f/gf\mapsto f/g 则不是。于是「加减法的界只会相加、乘除法的界接不上」这件事不必逐个试,从这一层就看出来了。

注意

  • 同除之后条件是「对每一对 x1<x2x_{1}<x_{2} 都成立」,不是「存在某一对」。验证时要覆盖所有两点,造反例时只需找到一对。
  • 别把差商和导数混作一谈:差商说的是两点之间的平均变化,导数是一点处的瞬时变化。差商的条件比导数的条件强——它连不可导的函数也管得住。

共 1 道题考到本条。