易错点

两个范围相减界要相加

已知 ∣x∣<a|x|<a、∣y∣<b|y|<b,则 x−yx-y 的界是 a+ba+b 而不是 a−ba-b——取相反数不会把范围变窄,减法和加法给出的是同一个界。

错在哪

看到 x+yx+y 的界是 a+ba+b,很容易顺手写出「那 x−yx-y 的界就是 a−ba-b」。这一步把运算和界当成了同一件事。

界是对「最坏情况」的估计,而减法的最坏情况恰恰是两个量朝相反方向跑满:

∣x∣<a,∣y∣<b ⟹ −b<−y<b ⟹ −(a+b)<x−y<a+b.|x|<a,\quad |y|<b \ \Longrightarrow\ -b<-y<b \ \Longrightarrow\ -(a+b)<x-y<a+b .

关键在中间那一步:∣y∣<b|y|<b 说的是 yy 落在关于原点对称的区间 (−b,b)(-b,b) 里,取相反数之后它还是 (−b,b)(-b,b),一点没变窄。所以 x−yx-y 与 x+yx+y 的界完全一样,都是 a+ba+b。

而且 a+ba+b 这个界是取得到的(只要 xx、yy 各自能跑到接近 ±a\pm a、∓b\mp b):取 xx 接近 aa、yy 接近 −b-b,x−yx-y 就接近 a+ba+b。所以它不是放松,是准确的那一个。

翻车现场

2009 年浙江卷(理)第 10 题的 D 选项正是这个错:已知两个函数的割线斜率分别满足 ∣kf∣<α1|k_{f}|<\alpha_{1}、∣kg∣<α2|k_{g}|<\alpha_{2},且 α1>α2\alpha_{1}>\alpha_{2},它断言 f−gf-g 的割线斜率会被压进 (−(α1−α2), α1−α2)\left(-(\alpha_{1}-\alpha_{2}),\ \alpha_{1}-\alpha_{2}\right)。

一个反例就够:取 f(x)=2xf(x)=2x(割线斜率恒为 22,故 f∈M3f\in M_{3})、g(x)=0g(x)=0(割线斜率恒为 00,故 g∈M2g\in M_{2}),α1=3>2=α2\alpha_{1}=3>2=\alpha_{2} 全部满足。而 f−g=2xf-g=2x 的割线斜率是 22,α1−α2=1\alpha_{1}-\alpha_{2}=1 根本框不住它。

减掉一个恒为 00 的函数,ff 一点没变;许诺的界却从 33 缩到了 11——错就错在这里。

怎么防

  • 口诀:加减同界,都是相加。 只要两个范围都关于原点对称,x+yx+y 与 x−yx-y 的界一模一样。
  • 拿不准就把减法写成加法:x−y=x+(−y)x-y=x+(-y),再看 −y-y 的范围(对称区间取相反数不变),照加法那条走。
  • 「α1>α2\alpha_{1}>\alpha_{2}」这类附加条件是钩子,不是证据。题目把它摆在那里,往往正是为了让 α1−α2>0\alpha_{1}-\alpha_{2}>0 看上去像个合法的界。合法不等于成立。
  • 收口检查:让其中一个函数取最平凡的那个(恒为 00、恒为 11、或者就是 ff 自己)。若运算之后什么都没变而许诺的界却变窄了,那个结论当场就倒。

共 1 道题考到本条。