易错点

当且仅当只证一半

「当且仅当」是双向的:区间内要成立,区间外要不成立;只证恒成立那一半,求出的参数范围会偏大。

题目说「f(x)>mf(x)>m 当且仅当 x∈(p,q)x\in(p,q)」,意思是两句话:

  • 充分性:x∈(p,q)⇒f(x)>mx\in(p,q)\Rightarrow f(x)>m(区间内恒成立);
  • 必要性:x∉(p,q)⇒f(x)≤mx\notin(p,q)\Rightarrow f(x)\le m(区间外一个点都不能满足)。

只做第一句,得到的是「(p,q)(p,q) 是解集的子集」,而题目要的是「解集恰好是 (p,q)(p,q)」。于是范围会偏大——多出来的那些参数值让解集比 (p,q)(p,q) 更宽,照样满足第一句,但不满足题意。

三件几乎总能白拿的事

  1. 端点处取等:若 pp 在定义域内部,由连续性 f(p)=mf(p)=m。这一条通常直接定出一个参数,是整道题的第一块砖。
  2. 对称性可以省掉一半:若曲线关于 (p,m)\bigl(p,m\bigr) 中心对称(或关于 x=px=p 轴对称),那么「右边 f>mf>m」与「左边 f<mf<m」是同一件事的两种说法,证一半即得另一半。遇到「证明曲线是中心对称图形」的小问,八成就是为这一步铺路。
  3. 单调性一次收尾:若能证 ff 在整个定义域上单调递增且 f(p)=mf(p)=m,那么 f(x)>m  ⟺  x>pf(x)>m\iff x>p,两个方向一次到手,不必分别讨论。

怎么落笔

  • 求出参数范围后,回代一个边界值验一遍:解集真的是 (p,q)(p,q),不是更宽的区间。
  • 分类讨论时,被舍掉的那一档要说清楚它错在哪个方向(是区间内不成立,还是区间外也成立),而不是只写「不合题意」。

学它之前先会

共 1 条前置、最深 1 层。

共 3 道题考到本条。