已知f(x)=xlnx−kx的两个零点为x1,x2,记f(x)的导函数为f′(x),求证:f′(x1+x22)≠0.
分析 这是包含对数函数的极值点偏移问题,可以考虑用齐次化,对称化以及构造函数.
齐次化方法 根据已知,有x21lnx1=x22lnx2=k,设x1x2=t,t>1,则x21=k(1−t2)lnt,x22=k(1−t2)t2lnt,k<0.由于f′(x)=1+lnx+kx2,于是f′(x1+x22)=1+lnx1+x22+k(x1+x22)2>1+ln(t+1)x22+kx1x2,将x21,x22代入(其中lnx2=kx22),得f′(x1+x22)>1+lnt+12+t2lnt1−t2−tlntt2−1=1+lnt+12+tlnt1−t.接下来用分析法证明∀t>1,1+lnt+12+tlnt1−t>0,即∀t>1,t−1+(t−1)lnt+12−tlnt>0.设φ(t)=t−1+(t−1)lnt+12−tlnt(t>1),则其导函数φ′(t)=t−1t+1+lnt+12t>t−1t+1+(1−2tt+1)=0,其中用到了不等式lnx⩾1−1x(等号当且仅当x=1时取得).因此φ(t)在t>1时单调递增,从而当t>1时,φ(t)>φ(1)=0,命题成立.
综上所述,有f′(x1+x22)>0,因此原命题得证.
思考与总结 齐次化方法的总的思路是将问题转化为单变量的函数问题.
对称化方法 利用方程k=x2lnx研究函数的零点,由(x2lnx)′x=x(1+2lnx),可得k∈(−12e,0).函数f(x)的导函数f′(x)=1+lnx+kx2.由于k<0,因此f′(x)单调递增,设其唯一零点为x0,则1+lnx0+kx20=0,只需要证明x1+x2≠2x0即可.构造函数g(x)=f(x)−f(2x0−x),x∈(0,x0],则其导函数g′(x)=f′(x)+f′(2x0−x)=ln[x(2x0−x)]+k[1x2+1(2x0−x)2]+2<ln[x+(2x0−x)2]2+k⋅(1+1)3[x+(2x0−x)]2+2=2(lnx0+kx20+1)=2f′(x0)=0,因此在(0,x0)上有g(x)单调递减,从而g(x)>g(x0)=0,不妨设x1<x2,于是f(x2)=f(x1)>f(2x0−x1),而f(x)在(x0,+∞)上单调递增,于是x2>2x0−x1,从而x1+x2>2x0,命题得证.
思考与总结 注意代数式结构以及取等条件大胆进行放缩.
构造函数方法 将问题转化为证明x1+x2≠2x0后,考虑到f″构造函数h(x)=f(x)-\left[\dfrac 12f''(x_0)(x-x_0)^2+f(x_0)\right],则其二阶导函数h''(x)=f''(x)-f''(x_0)=\dfrac 1x-\dfrac{2k}{x^3}-\dfrac{1}{x_0}+\dfrac{2k}{x_0^3}=\dfrac{(x-x_0)\left[2k(x^2+x_0x+x_0^2)-x_0^2x^2\right]}{x^3x_0^3}.考虑到k<0,于是2k(x^2+x_0x+x_0^2)-x_0^2x^2<0,因此在(0,x_0)上h''(x)>0,在(x_0,+\infty)上h''(x)<0,结合h''(x_0)=0可得在(0,+\infty)上h'(x)\leqslant 0,又h(x_0)=0,因此在(0,x_0)上h(x)>0,在(x_0,+\infty)上h(x)<0,如图.这样就有f(x)的两个零点x_1,x_2(x_1<x_2)和二次函数y=\dfrac 12f''(x_0)(x-x_0)^2+f(x_0)的两个零点x_3,x_4(x_3<x_4)满足x_3<x_1<x_4<x_2,进而x_1+x_2>x_3+x_4=2x_0,原命题得证.
思考与总结 通过构造二次函数的方法处理极值点偏移问题可以有效减少运算量.
最后那种做法具有一般性嘛
只能处理一部分这类问题
请教一下,最后一种方法的二次函数的系数是如何想到的?
两阶导相等或泰勒展开
也就是利用泰勒公式构造多项式来逼近函数?