题库网
#26df283e-d64e-4db3-a21a-44939f9d3ba2中上解答题函数的单调性函数

2022高考函数恒成立/参数讨论/函数性质综合(解答)

已知函数 f(x)=exax2x1f(x) = e^x - ax^2 - x - 1,其中 aRa \in \mathbb{R}。 (1)当 a=0a = 0 时,讨论 f(x)f(x) 的单调性; (2)当 x0x \geq 0 时,f(x)0f(x) \geq 0 恒成立,求实数 aa 的取值范围; (3)设 g(x)=ex1xg(x) = \frac{e^x - 1}{x}x>0x > 0),证明:g(x)>1+x2x26g(x) > 1 + \frac{x}{2} - \frac{x^2}{6}

解析
(1)当 a=0a = 0 时,f(x)=exx1f(x) = e^x - x - 1,则 f(x)=ex1f'(x) = e^x - 1。 令 f(x)=0f'(x) = 0,得 x=0x = 0; 当 x<0x < 0 时,ex<1e^x < 1,故 f(x)<0f'(x) < 0f(x)f(x) 单调递减; 当 x>0x > 0 时,ex>1e^x > 1,故 f(x)>0f'(x) > 0f(x)f(x) 单调递增。 因此,f(x)f(x)(,0)(-\infty, 0) 上单调递减,在 (0,+)(0, +\infty) 上单调递增。 (2)要求:对任意 x0x \geq 0,恒有 f(x)=exax2x10f(x) = e^x - ax^2 - x - 1 \geq 0。 注意到 f(0)=e0001=0f(0) = e^0 - 0 - 0 - 1 = 0,故 x=0x = 0 是边界零点。为使 f(x)0f(x) \geq 0[0,+)[0, +\infty) 恒成立,需保证 f(x)f(x)x=0x=0 处不‘下穿’,即 f(x)f'(x)00 附近非负,且整体无负值。 计算导数:f(x)=ex2ax1f'(x) = e^x - 2ax - 1f(x)=ex2af''(x) = e^x - 2af(x)=ex>0f'''(x) = e^x > 0,故 f(x)f''(x) 严格递增。 先分析必要条件:由 f(0)=0f(0)=0,若 f(x)0f(x) \geq 0[0,δ)[0,\delta) 成立,则必有 f(0)0f'(0) \geq 0(否则在右侧立即下降)。而 f(0)=e001=0f'(0) = e^0 - 0 - 1 = 0,故一阶导为0,需考察二阶导:f(0)=12af''(0) = 1 - 2a。若 f(0)<0f''(0) < 0,即 a>12a > \frac{1}{2},则存在 δ>0\delta > 0 使得 f(x)<0f''(x) < 0[0,δ)[0,\delta),从而 f(x)f'(x) 在该区间递减,又 f(0)=0f'(0)=0,故 f(x)<0f'(x) < 0,进而 f(x)f(x) 递减,导致 f(x)<0f(x) < 0x>0x>0 小量),矛盾。因此必要条件为 a12a \leq \frac{1}{2}。 下证充分性:当 a12a \leq \frac{1}{2} 时,f(x)0f(x) \geq 0 对所有 x0x \geq 0 成立。 考虑固定 a12a \leq \frac{1}{2},定义 h(x)=f(x)=exax2x1h(x) = f(x) = e^x - ax^2 - x - 1。 由于 f(x)=ex>0f'''(x) = e^x > 0f(x)f''(x) 严格递增,且 f(0)=12a0f''(0) = 1 - 2a \geq 0,故 f(x)>0f''(x) > 0 对所有 x>0x > 0 成立 ⇒ f(x)f'(x) 严格递增。 又 f(0)=0f'(0) = 0,故 f(x)>0f'(x) > 0 对所有 x>0x > 0 成立 ⇒ f(x)f(x)(0,+)(0,+\infty) 严格递增,而 f(0)=0f(0)=0,因此 f(x)>0f(x) > 0 对所有 x>0x > 0 成立,即 f(x)0f(x) \geq 0[0,+)[0,+\infty) 恒成立。 综上,aa 的取值范围为 (,12](-\infty, \frac{1}{2}]。 (3)要证:对 x>0x > 0,有 g(x)=ex1x>1+x2x26g(x) = \frac{e^x - 1}{x} > 1 + \frac{x}{2} - \frac{x^2}{6}。 等价于证:ex1>x(1+x2x26)=x+x22x36e^x - 1 > x\left(1 + \frac{x}{2} - \frac{x^2}{6}\right) = x + \frac{x^2}{2} - \frac{x^3}{6}, 即证:ex>1+x+x22x36e^x > 1 + x + \frac{x^2}{2} - \frac{x^3}{6}x>0\forall x > 0。 构造辅助函数 φ(x)=ex(1+x+x22x36)\varphi(x) = e^x - \left(1 + x + \frac{x^2}{2} - \frac{x^3}{6}\right),则 φ(0)=1(1+0+00)=0\varphi(0) = 1 - (1 + 0 + 0 - 0) = 0φ(x)=ex(1+xx22)\varphi'(x) = e^x - \left(1 + x - \frac{x^2}{2}\right)φ(x)=ex(1x)=ex+x1\varphi''(x) = e^x - (1 - x) = e^x + x - 1φ(x)=ex+1>0\varphi'''(x) = e^x + 1 > 0,故 φ(x)\varphi''(x) 严格递增。 又 φ(0)=1+01=0\varphi''(0) = 1 + 0 - 1 = 0,所以 φ(x)>0\varphi''(x) > 0x>0x > 0 成立 ⇒ φ(x)\varphi'(x) 严格递增。 而 φ(0)=1(1+00)=0\varphi'(0) = 1 - (1 + 0 - 0) = 0,故 φ(x)>0\varphi'(x) > 0x>0x > 0 成立 ⇒ φ(x)\varphi(x) 严格递增,又 φ(0)=0\varphi(0) = 0,所以 φ(x)>0\varphi(x) > 0x>0x > 0 成立。 因此原不等式成立,即 g(x)>1+x2x26g(x) > 1 + \frac{x}{2} - \frac{x^2}{6}x>0\forall x > 0