导数专题:多元变量恒成立问题的处理 | 841c7797

导数专题:多元变量恒成立问题的处理 | 841c7797

girl

思路

  1. 分离(全分离 / 半分离)
  2. 分类讨论(利用特殊点缩小范围)
  3. 特殊值 \rightarrow 必要性 \rightarrow 充分性
  4. 用放缩 \rightarrow 充分性 \rightarrow 必要性(反证法)

好题

设函数 f(x)=ex1xax2f(x)=e^x-1-x-ax^2
(Ⅰ)若 a=0a=0,求 f(x)f(x) 的单调区间

(,0)(-\infty,0) 单调递减,(0,+)(0,+\infty) 单调递增,过程略

(Ⅱ)若当 x0x\ge 0f(x)0f(x)\ge 0,求 aa 的取值范围

(一)

f(x)0f(x)\ge 0ex1xax2e^x-1-x\ge ax^2

(1)x=0x=0,成立

(2)x>0x\gt 0aexx1x2a\le\frac{e^x-x-1}{x^2}

g(x)=exx1x2g(x)=\frac{e^x-x-1}{x^2},则 g(x)=(x2)ex+x+2x3g'(x)=\frac{(x-2)e^x+x+2}{x^3}

t(x)=(x2)ex+x+2t(x)=(x-2)e^x+x+2,则 t(x)=(x1)ex+1t'(x)=(x-1)e^x+1t(x)=xext''(x)=xe^x

t(x)=xex>0\because t''(x)=xe^x\gt 0
t(x)\therefore t'(x) 单调递增,t(x)>t(0)=0t'(x)\gt t'(0)=0
t(x)\therefore t(x) 单调递增,t(x)>t(0)=0t(x)\gt t(0)=0g(x)>0g'(x)\gt 0
g(x)>limx0g(x)\therefore g(x)\gt\lim_{x\to 0}g(x)

limx0g(x)=limx0exx1x2 \lim_{x\to 0}g(x)=\lim_{x\to 0}\frac{e^x-x-1}{x^2}

洛必达法则 ᴮᵃᶜᵏᵘᵖ

=limx0ex12x =\lim_{x\to 0}\frac{e^x-1}{2x}
=limx0ex2 =\lim_{x\to 0}\frac{e^x}2
=12 =\frac 1 2
a12 \therefore a\le\frac 1 2

(二)

泰勒展开(背景)

想法

ex=1+x+x22!+x33!+... \because e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+...
ex1+x+ax2a12 \therefore e^x\ge 1+x+ax^2\Rightarrow a\le \frac 1 2

实现

可证 ex1+x+12x2e^x\ge 1+x+\frac 1 2 x^2,充分性显然,必要性难以说明

(三)

导数

想法

f(x)f(0)=0f(x)\ge f(0)=0,直观感受是 f(x)f'(x)x=0x=0 附近应该大于等于 00

f(x)=ex2ax1f'(x)=e^x-2ax-1f(0)=0f'(0)=0,则 f(x)f''(x)x=0x=0 附近应该大于等于 00

f(x)=ex2af''(x)=e^x-2a,则有 f(0)0f''(0)\ge 0,即 a12a\le\frac 1 2(必要)

实现

假设 a>12a\gt\frac 1 2,则 f(0)<0f''(0)\lt 0,则 f(x)f''(x)x=0x=0 附近存在小于 00 的一段区间,设为 [0,x0)[0,x_0)

f(x)<0,x[0,x0)\because f''(x)\lt 0,x\in[0,x_0)
f(x)\therefore f'(x)x(0),x0)x\in(0),x_0) 单调递减,则 f(x0)<f(0)=0f'(x_0)\lt f'(0)=0,且 f(x)<0,x(0,x0)f'(x)\lt 0,x\in(0,x_0)
f(x)<0,x(0,x0)\because f'(x)\lt 0,x\in(0,x_0)
f(x)\therefore f(x)x[0,x0)x\in[0,x_0) 单调递减,则 f(x0)<f(0)=0f(x_0)\lt f(0)=0,与题目要求不符,矛盾
a12\therefore a\le\frac 1 2(必要)

将(二)和(三)结合起来,可证充要

(四)

0

讲义

热门博文