【导数术】14.凹凸反转

文章目录

    • 14.凹凸反转
      • (1)核心原理
      • (2)练习
        • P r a . 14.1 Pra.14.1 Pra.14.1
        • P r a . 14.2 Pra.14.2 Pra.14.2
        • P r a . 14.3 Pra.14.3 Pra.14.3

14.凹凸反转

(1)核心原理

所谓凹凸反转,是将一个待证明的不等式转化为两个凹凸性相反的函数,证明凹函数的最小值都大于凸函数的最大值,从而完成原不等式的证明。

必须熟悉的函数:

函数 最值
x ln ⁡ x x\ln x xlnx 最小值 − e − 1 -e^{-1} e1
x − ln ⁡ x x-\ln x xlnx 最小值 1 1 1
x e x xe^x xex 最小值 − e -e e
x e x \frac x {e^x} exx 最大值 e − 1 e^{-1} e1
e x x \frac {e^x}{x} xex 最小值 e e e

关于凹凸性的判断:

二阶导数 凹凸性与开口
f ′ ′ ( x ) ≥ 0 f''(x)\geq0 f′′(x)0 凹函数,开口向上
f ′ ′ ( x ) ≤ 0 f''(x)\leq 0 f′′(x)0 凸函数,开口向下

(2)练习

P r a . 14.1 Pra.14.1 Pra.14.1

求证: x > 0 x>0 x>0时,
ln ⁡ x > 1 e x − 2 e x \ln x>\frac 1{e^x}-\frac{2}{ex} lnx>ex1ex2

  • S o l u t i o n Solution Solution:转化为:

x ln ⁡ x > x e x − 2 e x\ln x>\frac x{e^x}-\frac 2 e xlnx>exxe2

左侧:
( x ln ⁡ x ) min ⁡ = − 1 e , w h e n   x = 1 e (x\ln x)_{\min}=-\frac {1}{e},when~x=\frac1{e} (xlnx)min=e1,when x=e1
右侧:
( x e x − 2 e ) max ⁡ = 1 e , w h e n   x = 1 (\frac{x}{e^x}-\frac 2 e)_{\max}=\frac 1 e, when ~x=1 (exxe2)max=e1,when x=1
而取等条件不同,于是原不等式得证。

P r a . 14.2 Pra.14.2 Pra.14.2

x ∈ [ 1 , 2 ] x\in[1,2] x[1,2],求证:
x − ln ⁡ x + 3 x + 1 x 2 − 2 x 3 − 2 5 > 0 x-\ln x+\frac 3 x+\frac 1 {x^2}-\frac{2}{x^3}-\frac 2 5>0 xlnx+x3+x21x3252>0

  • S o l u t i o n Solution Solution:等价证明:

( x − ln ⁡ x ) min ⁡ > ( 2 x 3 − 1 x 2 − 3 x + 5 2 ) max ⁡ (x-\ln x)_{\min}>(\frac 2 {x^3}-\frac 1{x^2}-\frac 3x+\frac 5 2)_{\max} (xlnx)min>(x32x21x3+25)max

左侧最小值为 1 1 1,右侧换元法转化为三次函数,证明最大值为 1 1 1即可。

P r a . 14.3 Pra.14.3 Pra.14.3

x > 0 x>0 x>0,求证:
( x 2 + x ) 1 x − ln ⁡ x − 1 e x < 1 + e − 2 (x^2+x)\frac{\frac 1x-\ln x-1}{e^x}<1+e^{-2} (x2+x)exx1lnx1<1+e2

  • S o l u t i o n Solution Solution:同除以 ( x + 1 ) (x+1) (x+1)转化为:

1 − x ln ⁡ x + x < ( 1 + e − 2 ) e x x + 1 1-x\ln x+x<(1+e^{-2})\frac{e^x}{x+1} 1xlnx+x<(1+e2)x+1ex

有: ( 1 − x ln ⁡ x + x ) max ⁡ = 1 + e − 2 (1-x\ln x+x)_{\max}=1+e^{-2} (1xlnx+x)max=1+e2

e x > x + 1 ( x > 0 ) e^x>x+1(x>0) ex>x+1(x>0),所以右侧必然 > ( 1 + e − 2 ) >(1+e^{-2}) >(1+e2)

证毕。

你可能感兴趣的:(《导数术》,抽象代数)