Appearance
已知函数 f(x)=x−lnx,g(x)=4x3−3x2−6x2lnx−1
(1)若 f(x)⩾ax+1 恒成立,求实数 a 的取值范围
(2)若 且12<x1<x2<32,且g(x1)+g(x2)=0,试比较 f(x1) 与 f(x2) 的大小,并说明理由。
x−lnx⩾ax+1,x>0
a⩽1−lnxx−1x
令 h(x)=1−lnxx−1x
h′(x)=−(1−lnxx2)+1x2
=lnxx2
(0,1),h′(x)<0,h(x)↓
(1,+∞),h′(x)>0,h(x)↑
h(x)min=h(1)=0
∴a⩽h(x)min=0
a⩽0
g′′=12(x−1−lnx)+12x(1−1x)
=12(2x−2−lnx)
∵g′(x)=12x2−6x−6(2xlnx+x)
=12x2−6x−12xlnx−6x
=12x(x−1−lnx)⩾0
g(x1)+g(x2)=0
所以 12<x1<1<x2<32
拐点为 1.
先假设 x1+x2>2
证明假设,
x1>2−x2
−g(x2)=g(x1)>g(2−x2)
令 G(x)=g(x)+g(2−x)
G′(x)=g′(x)−g′(2−x)
G′′=g′′(x)+g′′(2−x)
=−12lnx(2−x)>0
所以 G′(x)↑,G′(1)=0
∴G′(x)>0,G(x)↑,G(1)=0
G(x)>0
∴−g(x)<g(2−x1)
假设不成立,所以 x1+x2<2
由图易知,f(x1)>f(x2)
证明 f(x1)>f(x2)
即证 x1−lnx1>x2−lnx2
lnx2−lnx1>x2−x1
1>x2−x1lnx2x1
因为 1>x1+x22>x2−x1lnx2x1(接下来证明对数均值不等式即可,一定成立)
∴ f(x1)>f(x2)