简介

若已知 $f(x)>0$，则构造函数 $F(x)$，使 $F^{\prime }(x)=\text{某正数}\times f(x)$，利用 $F(x)\uparrow$ 解题。$f(x)<0$ 同理。

例 1

已知 $f(x)+f^{\prime }(x)>0$，$f(0)=1$，求证当 $x\in [0,+\mathrm{\infty })$ 时 $f(x)\ge {\displaystyle \frac{1}{e^x}}$。

证明

构造 $g(x)=e^{x}f(x)$，则

$$g^{\prime }(x)=e^{x}f(x)+e^x{f}^{\prime }(x)=e^x[f(x)+f^{\prime }(x)]>0$$

$\therefore x\in [0,+\mathrm{\infty })$ 时，$g(x)\uparrow$，$g(x)\ge g(0)$，即 $e^{x}f(x)\ge e^{0}f(0)=1$。

$\therefore f(x)\ge {\displaystyle \frac{1}{e^x}}$。

基本构造

和差构造

• $f^{\prime }+g^{\prime }>0\Rightarrow F=f+g$
• $f^{\prime }-g^{\prime }>0\Rightarrow F=f-g$

积商构造

• $f^{\prime }g+f{g}^{\prime }>0\Rightarrow F=fg$
• $f^{\prime }g-f{g}^{\prime }>0\Rightarrow F={\displaystyle \frac{f}{g}}(g\ne 0)$

变形

含 $x$ 形构造

• $x{f}^{\prime }(x)+nf(x)>0\Rightarrow F(x)=x^{n}f(x)$
• $x{f}^{\prime }(x)-nf(x)>0\Rightarrow F(x)={\displaystyle \frac{f(x)}{x^n}}(x\ne 0)$

含 $e$ 形构造

• $f^{\prime }(x)+nf(x)>0\Rightarrow F(x)=e^{nx}f(x)$
• $f^{\prime }(x)-nf(x)>0\Rightarrow F(x)={\displaystyle \frac{f(x)}{e^{nx}}}$

三角构造

• $f(x)+f^{\prime }(x)\tan x>0\Rightarrow F(x)=\sin xf(x)$

• $f(x)-f^{\prime }(x)\tan x>0\Rightarrow F(x)={\displaystyle \frac{f(x)}{\sin x}}(\sin x\ne 0)$

• $f(x)\tan x+f^{\prime }(x)>0\Rightarrow F(x)={\displaystyle \frac{f(x)}{\cos x}}(\cos x\ne 0)$

• $f(x)\tan x-f^{\prime }(x)>0\Rightarrow F(x)=\cos xf(x)$

对数形构造

• $f^{\prime }(x)+\ln af(x)>0\Rightarrow F(x)=a^{x}f(x)$
• $f^{\prime }(x)-\ln af(x)>0\Rightarrow F(x)={\displaystyle \frac{f(x)}{a^x}}$