第三章　进阶篇　不等式证明方法　进阶4　极值点偏移(二).docx

进阶4极值点偏移(二)

题型一换元构造辅助函数

例1已知函数f(x)=x2lnx，若方程f(x)=m有两个不相等的实根x1，x2，求证：x12+x2

思维升华在证明过程中出现的形式不符合和型结构时，通过换元构造新函数然后再进行证明.

跟踪训练1已知函数f(x)=x-lnx，若两个不相等的正实数x1，x2满足f(x1)=f(x2)，求证：f(x1)+f(x2)0.

题型二比值代换

例2已知函数f(x)=xe-x(x∈R).如果x1≠x2，且f(x1)=f(x2)，证明：

(1)x1+x22；

(2)x1x21.

思维升华比值代换法是指通过代数变形将所证的双变量不等式通过代换t=x1x

跟踪训练2设x1，x2为两个不相等的正数，且x2lnx1-x1lnx2=x1-x2，证明：1x1+1

答案精析

例1证明(换元法)

令a=x12，b=x22，则f(x1)=f

即x12lnx1=x22ln

所以x12lnx12=x

所以alna=blnb，

设函数g(x)=xlnx，

则g(a)=g(b)，

g(x)=lnx+1，

所以g(x)0?x1e

g(x)0?0x1e

所以g(x)在0，1e上单调递减，在1

求证x12+x222e，即证a

不妨设ab，则0a1eb

则2e-a1

令h(x)=g(x)-g2e

0x1e

由h(x)=g(x)+g2

=lnx+1+ln2e

=lnx2

=ln?x?

所以h(x)在0，1e上单调递减，h(x)h1

所以g(a)g2e

即g(b)g2e

又g(x)在1e

所以b2e-a，即a+b2

故x12+x22

跟踪训练1证明f(x1)=f(x2)即x1-lnx1=x2-lnx2，

令a=1x1，b=

则1a+lna=1b+ln

记函数g(x)=1x+lnx

则g(a)=g(b)，

g(x)=1x-1x2

所以g(x)0?x1，

g(x)0?0x1，

所以g(x)在(0，1)上单调递减，在(1，+∞)上单调递增，

所以g(x)min=g(1)=1，

则a，b为g(x)=k的两个不相等的实数根，其中k1，

不妨设ab，则0a1b，

则2-a1，

令h(x)=g(x)-g(2-x)，0x1，

则h(x)=g(x)+g(2-x)

=x?1x2+2?x

所以h(x)在(0，1)上单调递减，h(x)h(1)=0，

所以g(a)g(2-a)，

故g(b)g(2-a)，

又g(x)在(1，+∞)上单调递增，

所以b2-a，即a+b2，

故1x1+1x22，所以f(x1)+f(x2)=1-1

例2证明方法一(1)f(x)=(1-x)e-x，易知f(x)在(-∞，1)上单调递增，在(1，+∞)上单调递减，

所以f(x)max=f(1)=1e

又f(0)=0，当x→+∞时，f(x)→0，

不妨设x1x2，则必有0x11x2，

由f(x1)=f(x2)，得x1e?x1=x

即ex2?

即x2-x1=lnx2

令t=x2x1(

则x2-x1=lnt，①

又t=x2x1，即x2=tx

由①②得x1=lntt?1，x2

要证x1+x22，

即证lntt?1+

即证lnt2(t?1)t+1

由飘带不等式知该式成立.

所以x1+x22.

(2)由(1)知x1x2=t(ln

则x1x2

要证x1x21，即证x1x

令m=t1，即证2mln

即证lnm12m?1

由飘带不等式知该式成立，

故x1x21.

方法二(齐次消元)

f(x)=(1-x)e-x，易知f(x)在(-∞，1)上单调递增，在(1，+∞)上单调递减，

所以f(x)max=f(1)=1e

又f(0)=0，当x→+∞时，f(x)→0，

不妨设x1x2，则必有0x11x2，

由f(x1)=f(x2)，得x1e?x1=x

即ex2?

所以x2-x1=lnx2x1=lnx2-ln

即lnx2

(1)x1+x2=(x1+x2)·ln

=x2+x

=x2x1+1

令t=x2x1(

则由飘带不等式知lnt2(t

即t+1t?1·lnt2，即x1+x

(2)要证x1x21，即证x1x

x1x2=

=x1x2x2?x1·

令m=x2x1(

由飘带不等式知lnm12

即mm2?1·lnm

即x1x21，故x1x

跟踪训练2证明不妨设0x1x2，x2=tx1，

则t=x2x

由x2lnx1-x1lnx2=x1-x2得

tx1lnx1-x1ln(tx1)=x1-tx1，

即lnx1=lntt

要证1x1+1

只需证ex1x2x1+x2，

即证etx12x1(1+

即证etx11+t，

即证x11+t

即证lnx1ln1+t

即证lntt?1-1ln(1+t)-ln

即证lntt?1ln(1+t)-ln

即