例题 01 同一个严格增函数消去复杂表达式
题目
已知,设函数,若在上恒成立,则的取值范围是( )
A. B. C. D.
答案与解析
解析
保证 ,可合并对数。原不等式等价于
设 ,,,所以原式当且仅当 ,即 。求导
在 前负后正,故全域最小值 。 时每个点成立; 在 失败。最终须与题给 求交,选D。
本题结论
D,。
约 3204 字大约 11 分钟
先读量词,再选最值,最后检查界值能否取得。同一个不等号,放在“任意”与“存在”之后,承担的是不同的证明任务。
“存在一个参数,使所有变量都满足”要求同一个参数管住全部合法输入,不是每个输入另选参数。定义域 D 非空时:
| 目标 | 要求覆盖的实际函数值 | 若相应最值可达 |
|---|---|---|
| 对所有 x,a≥G(x) | 全部值的上界 | a≥maxG |
| 存在 x,a≥G(x) | 至少碰到一个较小值 | a≥minG |
| 对所有 x,a≤G(x) | 全部值的下界 | a≤minG |
| 存在 x,a≤G(x) | 至少碰到一个较大值 | a≤maxG |
全称要求看最不利位置,存在要求看最有利位置。“有解”不必是函数等于0,负值也可能满足非严格不等式。
以下最紧上界 M、最紧下界 m 均为有限实数。这些界又称上确界、下确界,是拓展术语,不保证实际取得。
| 条件 | 界能取到 | 界不能取到 |
|---|---|---|
| 所有 x 有 a>G(x) | a>M | a≥M |
| 存在 x 有 a≥G(x) | a≥m | a>m |
| 存在 x 有 a>G(x) | a>m | a>m |
第一行:若每个实际值都小于 M,取 a=M 仍严格大于它们;若 a<M,由最紧性总有实际值超过 a。第二行:下界未取得时 a=m 没有见证点;a>m 则有实际值小于 a。其他方向可整体乘 −1 后使用同一逻辑,不能只凭不等号套口号。
若 G 无上界,全称 a≥G 无实数解;若 G 无下界,每个实数 a 都能找到点使 a≥G。不把无穷当成实数参数。开区间也可能在内部取得最值,端点开闭不是唯一判断依据。
先核变量和参数定义域。除法之前查零支,非零支再判正负:方程除非零负数仍是等式,不等式除负数须反号。参数为0能否取、对数真数是否正,都必须保留。
G(U)≥G(V) 与 U≥V 双向等价,需要 U,V 均属 G 的定义域且 G 严格递增。仅非严格递增可能有平段,不能取消 G 得到必要条件。倒数或对数参数变换还须按它的单调方向还原范围。
固定根与零参数的完整例题见分段函数零点及指数参数分类。先登记0,再在 x<0 除 x,才不会漏根。
题目
已知a>0,设函数f(x)=e2x+(2−a)x−lnx−lna,若f(x)≥0在(0,+∞)上恒成立,则a的取值范围是( )
A.(0,e1] B.(0,1] C.(0,e] D.(0,2e]
解析
a>0,x>0 保证 ax>0,可合并对数。原不等式等价于
e2x+ln(e2x)≥ax+ln(ax).
设 G(u)=u+lnu,u>0,G′=1+1/u>0,所以原式当且仅当 e2x≥ax,即 a≤H(x)=e2x/x。求导
H′(x)=x2e2x(2x−1).
在 1/2 前负后正,故全域最小值 H(1/2)=2e。0<a≤2e 时每个点成立;a>2e 在 x=1/2 失败。最终须与题给 a>0 求交,选D。
本题结论
D,a∈(0,2e]。
先求最有利值并核取得点合法;范围内直接给一个点回代原式,范围外证明所有点均不可能。若只有未取得的界,按实际值域判断,不能虚构一个取得点。严格目标不能使用等号见证。
题目
已知函数f(x)=xlnx,若存在x∈(0,+∞),使得f(x)≤2−x2+mx−3成立,则实数m的最小值是( )
A.−2 B.−1 C.21 D.4
解析
x>0,原式等价于 mx≥2xlnx+x2+3,再除正数 x 得
m≥G(x)=2lnx+x+3/x,G′(x)=x2(x+3)(x−1).
在1前负后正,故最小值 G(1)=4。m<4 没有任何合法点;m≥4 直接选 x=1,原不等式成为 0≤(m−4)/2,确实成立。因此最小 m=4,选D。
本题结论
D,最小值4。
题目
已知函数f(x)=ax−lnx,a∈R.
(1)讨论f(x)在区间[1,2]上的单调性;
(2)若x∈(0,e]时,不等式f(x)≤3有解,求a的取值范围.
解析
(1)f′(x)=a−1/x。在 [1,2],1/x∈[1/2,1]:
| 参数 | 单调性 |
|---|---|
| a≤1/2 | 在 [1,2] 严格递减 |
| 1/2<a<1 | 在 [1,1/a] 减,在 [1/a,2] 增 |
| a≥1 | 在 [1,2] 严格递增 |
边界参数仅在一个端点导数0,不出现平段,仍严格。
(2)x∈(0,e],除正数 x 得 a≤G(x)=(3+lnx)/x。导数
G′(x)=−x22+lnx
在 e−2 前正后负,最大值 G(e−2)=e2。此内点合法,a≤e2 时选它,原式成为 ae−2+2≤3;a>e2 时全体 G(x)<a,无解。
本题结论
(1)见分类表;(2)a∈(−∞,e2]。
先判两个变量是独立可选,还是由同一极值点、零点关系耦合。独立时两个最不利位置可以同时出现;耦合时要先用原关系消元并还原可行域。参数边界代回原变量,或构造靠近界值的合法点,不由“严格号”机械决定开闭。
题目
已知x1,x2是函数f(x)=21ax2−2x+lnx的两个极值点,若不等式m>f(x1)+f(x2)+x1x2恒成立,则实数m的取值范围是( )
A.(−3,+∞) B.[−2,+∞) C.(2,+∞) D.[e,+∞)
解析
定义域 x>0,f′(x)=(ax2−2x+1)/x。a=0 只有一个驻点,先排除。两个极值点必须是两个不同正根,判别式与和积条件给
4−4a>0,x1+x2=2/a>0,x1x2=1/a>0,
即 0<a<1。反过来这时两正根不同,分子在根外正、根间负,两根确实给出极大、极小,条件充分。
每根满足 axi2=2xi−1,于是目标右侧化为
−(x1+x2)−1+ln(x1x2)+x1x2=lnt−t−1=G(t),t=1/a>1.
每个 t>1 都对应合法 a=1/t,没有扩大可行域。G′=1/t−1<0,故 G(t)<−2,且 t→1+ 时趋向 −2。t=1 对应重合驻点,不合法。因此 m=−2 仍严格大于每个实际值;m<−2 时,足够接近1的合法 t 使 G(t)>m,不恒成立。选B。
本题结论
B,m∈[−2,+∞)。
题目
已知函数f(x)=2kx2−4lnx,g(x)=lnkx,其中x∈(0,e],k>0.
(1)若y=f(x)+932x在x=1处取得极值,求k的值;
(2)讨论函数f(x)的单调性:
(3)若对任意x1,x2∈(0,e],当k>1时,不等式f(x1)>g(x2)+4恒成立,求k的取值范围.
解析
(1)令 T(x)=f(x)+32x/9,T′(1)=4k−4+32/9=0,得 k=1/9。回代
T′(x)=9x4(x−1)(x+9).
在 (0,1) 负、(1,e] 正,所以是 T 在1取得极小值,不是 f 在3取得极值;3还不在题给范围内。这一验证保持所求函数与切换点一致。
(2)f′=4(kx2−1)/x,驻点 1/k。当 0<k≤e−2,整个 (0,e] 严格递减;等号时导数仅在右端为0。当 k>e−2,在 (0,1/k] 减、[1/k,e] 增。
(3)现有 k>1,最小点 1/k 合法,fmin=2+2lnk。g=lnx−lnk 严格增,在闭端 e 取得最大值 1−lnk。两变量独立,两个位置可以同时选,所以全称严格比较等价于
2+2lnk>1−lnk+4⟺k>e.
k>e 时任意一对都有 f(x1)≥fmin>gmax+4≥g(x2)+4;1<k≤e 时选最小点与最大点即失败。特别 k=e,取 x1=e−1/2,x2=e 两边相等,严格号排除此边界。
本题结论
(1)k=1/9;(2)见分类;(3)k∈(e,+∞)。
全称问题范围外只需一个反例;存在问题范围外须所有点都不行。用一个点成立证明全称,或要求存在参数压住全部函数值,都是颠倒量词。最有利点合法时也应回代原不等式,避免变形中丢失条件。
关键是界值的可达性:两极值点和的上界 −2 不可达,因此严格比较允许 m=−2;独立双变量在 k=e 可同时取等,必须排除。另一个可达最小值1导致参数严格 a<1,完整双问及二次构造证明见辅助函数例题。
对 aU+V=0,U=V=0 是固定根,U=0,V=0 从不是根,只有非零支才可除。对不等式先判所除量正负;不明符号不能把全域偷换成正半轴。参数本来要求正、倒数排除0、对数真数正,这些都应随变形一路保留。