Skip to Content
👋 欢迎来到考研学堂! 了解详情

二、不等式的证明

用微分学解这类题的常用方法如下:

f(x)f(x)g(x)g(x) 在区间 (a,b)(a,b) 内可导,欲证在 (a,b)(a,b)f(x)g(x) f(x) \geq g(x)(或 f(x)>g(x) f(x) > g(x)),
先令

φ(x)=f(x)g(x),\varphi(x) = f(x) - g(x),

然后可分别用下述方法之一或联合运用来证明:

单调性证明法

① 如果

limxa+φ(x)0\lim_{x \to a^+} \varphi(x) \geq 0,

且当 x(a,b)x \in (a,b)φ(x)0\varphi'(x) \geq 0
则在 (a,b)(a,b)φ(x)0\varphi(x) \geq 0
若存在 x=ax = a 的右侧一个小邻域有 φ(x)>0\varphi'(x) > 0,则结论中的不等式是严格的(即 φ(x)>0\varphi(x) > 0)。
若在 x=ax = aφ(x)\varphi(x) 右连续,则可用

φ(a)0\varphi(a) \geq 0

代替

limxa+φ(x)0\lim_{x \to a^+} \varphi(x) \geq 0。

② 如果

limxbφ(x)0\lim_{x \to b^-} \varphi(x) \geq 0,

且当 x(a,b)x \in (a,b)φ(x)0\varphi'(x) \leq 0
则在 (a,b)(a,b)φ(x)0\varphi(x) \geq 0
若存在 x=bx=b 的左侧一个小邻域有 φ(x)<0\varphi'(x) < 0,则结论中的不等式是严格的(即 φ(x)>0\varphi(x) > 0)。
若在 x=bx = bφ(x)\varphi(x) 左连续,则可用

φ(b)0\varphi(b) \geq 0

代替

limxbφ(x)0\lim_{x \to b^-} \varphi(x) \geq 0。

③ 如果区间 (a,b)(a,b) 可分成两个子区间,左边一个满足上述①,右边一个满足上述②,
则在 (a,b)(a,b)φ(x)0\varphi(x) \geq 0

内就有 φ(x)0\varphi(x) \geqslant 0。如果①②两个结论都是严格不等式,则就有 φ(x)>0\varphi(x) > 0

上面讲的区间 (a,b)(a, b) 可改为半开区间、闭区间、无穷区间、半无穷区间,结论仍成立。


最值证明法

如果在 (a,b)(a, b)f(x)f(x) 有最小值,且此最小值 >0> 0,则在 (a,b)(a, b)f(x)>0f(x) > 0。如果此最小值 =0= 0,则在 (a,b)(a, b) 内,除这些最小值点外,均有 f(x)>0f(x) > 0

类似可用 f(x)f(x) 的最大值证明 f(x)<0f(x) < 0


拉格朗日中值定理证明法

如果所给题为求证当 x(a,b)x \in (a, b) 时,有

f(b)f(a)>A(ba)f(b) - f(a) > A(b - a) (或 f(b)f(a)<A(ba)f(b) - f(a) < A(b - a)),

常想到用拉格朗日中值公式去证。在满足定理条件的前提下,由 f(b)f(a)=f(ξ)(ba)f(b) - f(a) = f'(\xi)(b - a),只要去证

f(ξ)>Af'(\xi) > A (或 f(ξ)<Af'(\xi) < A),当 ξ(a,b)\xi \in (a, b)


拉格朗日余项泰勒公式证明法

如果所给(或能推导出)条件 f(x)f''(x) 存在且 >0> 0(或 <0< 0),那么常想到用拉格朗日余项泰勒公式证,将 f(x)f(x) 在适当的 x=x0x = x_0 处展开,有

f(x)=f(x0)+11!f(x0)(xx0)+12!f(ξ)(xx0)2f(x) = f(x_0) + \frac{1}{1!} f'(x_0)(x - x_0) + \frac{1}{2!} f''(\xi)(x - x_0)^2.

证明的关键是 x0=?x_0 = ? 能达到目的。

也可能用两次拉格朗日中值定理去证。

如果所给(或能推导出)条件为更高阶导数存在且 >0> 0(或 <0< 0),那么想到将 f(x)f(x) 展至更高阶。但实考中未见这种题,难度也更大。

以上方法的可行性,在于相应的“如果”是否实现。


例 13

证明:xx+1<ln(1+x)<x\frac{x}{x + 1} < \ln(1 + x) < x (0<x0 < x).

【证】 方法一 先证 ln(1+x)<x\ln(1 + x) < x,令 f(x)=ln(1+x)xf(x) = \ln(1 + x) - x

f(x)=11+x1=x1+x<0f'(x) = \frac{1}{1 + x} - 1 = \frac{-x}{1 + x} < 0,有 f(x)f(x)[0,+)[0, +\infty) 上单调递减。

因而当 0<x0 < x 时,f(x)<f(0)=0f(x) < f(0) = 0,即 ln(1+x)<x\ln(1 + x) < x

再证 ln(1+x)>xx+1\ln(1 + x) > \frac{x}{x + 1},令 g(x)=ln(1+x)xx+1g(x) = \ln(1 + x) - \frac{x}{x + 1}

g(x)=11+x1(1+x)2=x(1+x)2>0g'(x) = \frac{1}{1 + x} - \frac{1}{(1 + x)^2} = \frac{x}{(1 + x)^2} > 0g(x)g(x)[0,+)[0, +\infty) 上单调递增。

因而当 0<x0 < x 时,g(x)>g(0)=0g(x) > g(0) = 0,即 xx+1<ln(1+x)\frac{x}{x + 1} < \ln(1 + x)

方法二 根据拉格朗日中值定理,存在 ξ(1,1+x)\xi \in (1, 1 + x),使得

ln(1+x)=ln(1+x)ln1=xξ,\ln(1 + x) = \ln(1 + x) - \ln 1 = \frac{x}{\xi},

1<ξ<1+x1 < \xi < 1 + x,则 x1+x<xξ<x\frac{x}{1 + x} < \frac{x}{\xi} < x,有 xx+1<ln(1+x)<x\frac{x}{x + 1} < \ln(1 + x) < x (0<x0 < x).


例 14

(1991,数三)利用导数证明:当 x>1x > 1 时,ln(1+x)lnx>xx+1\frac{\ln(1 + x)}{\ln x} > \frac{x}{x + 1}.

方法一

不等式变形为 (x+1)ln(1+x)xlnx>0(x+1)\ln(1+x) - x\ln x > 0.

f(x)=(x+1)ln(1+x)xlnxf(x) = (x+1)\ln(1+x) - x\ln x,则 f(x)=ln(1+x)lnx>0f'(x) = \ln(1+x) - \ln x > 0,当 x>1x > 1 时,f(x)>f(1)=2ln2>0f(x) > f(1) = 2\ln 2 > 0,即 (x+1)ln(1+x)xlnx>0(x+1)\ln(1+x) - x\ln x > 0,亦是 ln(1+x)lnx>xx+1\frac{\ln(1+x)}{\ln x} > \frac{x}{x+1}.

方法二 不等式变形为 (x+1)ln(1+x)xlnx>0(x+1)\ln(1+x) - x\ln x > 0,只需证明 f(x)=xlnxf(x) = x\ln xx>1x > 1 时单调递增,f(x)=lnx+1>0f'(x) = \ln x + 1 > 0,当 x>1x > 1f(x+1)>f(x)f(x+1) > f(x),即 (x+1)ln(1+x)xlnx>0(x+1)\ln(1+x) - x\ln x > 0,亦是 ln(1+x)lnx>xx+1\frac{\ln(1+x)}{\ln x} > \frac{x}{x+1}.

方法三 只需证明 (x+1)ln(1+x)xlnx>0(x+1)\ln(1+x) - x\ln x > 0,令 f(t)=tlntf(t) = t\ln t,其在区间 [x,x+1][x, x+1] 上用拉格朗日中值定理,存在 ξ(x,x+1)\xi \in (x, x+1),使得 (x+1)ln(1+x)xlnx=lnξ+1>0(x+1)\ln(1+x) - x\ln x = \ln \xi + 1 > 0,亦是 ln(1+x)lnx>xx+1\frac{\ln(1+x)}{\ln x} > \frac{x}{x+1}.


例 15

(2012,数一、二、三)证明 xln1+x1x+cosx1+x22x\ln\frac{1+x}{1-x} + \cos x \geq 1 + \frac{x^2}{2} (1<x<1-1 < x < 1).

方法一f(x)=xln1+x1x+cosx1x22f(x) = x\ln\frac{1+x}{1-x} + \cos x - 1 - \frac{x^2}{2},则

f(x)=ln1+x1x+2x1x2sinxx,f'(x) = \ln\frac{1+x}{1-x} + \frac{2x}{1-x^2} - \sin x - x, f(x)=21x2+2(1x2)2x(2x)(1x2)2cosx1=4(1x2)2cosx12,f''(x) = \frac{2}{1-x^2} + \frac{2(1-x^2) - 2x \cdot (-2x)}{(1-x^2)^2} - \cos x - 1 = \frac{4}{(1-x^2)^2} - \cos x - 1 \geq 2,

f(x)f'(x)(1,1)(-1, 1) 上单调递增,当 x(1,0)x \in (-1, 0) 时,f(x)<f(0)=0f'(x) < f'(0) = 0,当 x(0,1)x \in (0, 1) 时,f(x)>f(0)=0f'(x) > f'(0) = 0,因而 f(x)f(x)x=0x = 0 处取到最小值,为 f(0)=0f(0) = 0,即有 xln1+x1x+cosx1+x22x\ln\frac{1+x}{1-x} + \cos x \geq 1 + \frac{x^2}{2}.

方法二f(x)=xln1+x1x+cosx1x22f(x) = x\ln\frac{1+x}{1-x} + \cos x - 1 - \frac{x^2}{2}f(x)f(x) 为偶函数,只考虑 x>0x > 0 即可.

f(x)=ln1+x1x+2x1x2sinxx2xsinxx=xsinx0,f'(x) = \ln\frac{1+x}{1-x} + \frac{2x}{1-x^2} - \sin x - x \geq 2x - \sin x - x = x - \sin x \geq 0,

0x<10 \leq x < 1 时,f(x)f(x) 单调不减,f(x)f(0)=0f(x) \geq f(0) = 0,即 xln1+x1x+cosx1+x22x\ln\frac{1+x}{1-x} + \cos x \geq 1 + \frac{x^2}{2} (1<x<1-1 < x < 1).


例 160<a<b0 < a < b,求证:lnba>2(ba)a+b\ln\frac{b}{a} > \frac{2(b-a)}{a+b}.

方法一 考虑函数 f(x)=(x+1)lnx2(x1)f(x) = (x+1)\ln x - 2(x-1) (1<x1 < x),则

f(x)=1x+lnx1,f(x)=1x(11x),f'(x) = \frac{1}{x} + \ln x - 1, \quad f''(x) = \frac{1}{x}\left(1 - \frac{1}{x}\right),

x>1x > 1 时,f(x)>0f''(x) > 0,所以 f(x)f'(x) 严格单增,所以 f(x)>f(1)=0f'(x) > f'(1) = 0 (x>1x > 1),从而 f(x)f(x)[1,+)[1, +\infty) 上严格单增,f(x)>f(1)=0f(x) > f(1) = 0 (x>1x > 1).

x=bax = \frac{b}{a},得

(ba+1)lnba2(ba1)>0, 即 lnba>2(ba)a+b.\left( \frac{b}{a} + 1 \right) \ln \frac{b}{a} - 2 \left( \frac{b}{a} - 1 \right) > 0, \text{ 即 } \ln \frac{b}{a} > \frac{2(b-a)}{a+b}.

方法二 考虑函数 f(x)=(lnxlna)(x+a)2(xa)(x>a)f(x) = (\ln x - \ln a)(x + a) - 2(x - a)(x > a),则

f(x)=x+ax+lnxlna2=ax+lnxlna1,f(x)=xax2>0,f'(x) = \frac{x + a}{x} + \ln x - \ln a - 2 = \frac{a}{x} + \ln x - \ln a - 1, \quad f''(x) = \frac{x - a}{x^2} > 0,

x>ax > a 时,f(x)>0f''(x) > 0f(x)f'(x) 严格单增,所以 f(x)>f(a)=0,x>af'(x) > f'(a) = 0, x > a

从而 f(x)f(x)[a,+)[a, +\infty) 上严格单增,f(x)>f(a)=0,x>af(x) > f(a) = 0, x > a

x=bx = b,得

(lnblna)(b+a)2(ba)>0, 即 lnba>2(ba)a+b.(\ln b - \ln a)(b + a) - 2(b - a) > 0, \text{ 即 } \ln \frac{b}{a} > \frac{2(b-a)}{a+b}.

评注 同方法二可令 f(x)=(lnblnx)(b+x)2(bx)(0<x<b)f(x) = (\ln b - \ln x)(b + x) - 2(b - x)(0 < x < b)

Last updated on