3 例谈用减元法证明一类双零点不等式.pdfVIP

例谈用减元法证明一类双零点不等式   我们知道，若函数f x 在x  x 时取到极值，则称 为函数x f x 的极值点.比如二次 0 0 b 函数 2 的极值点为x  ，作直线yk与曲线yf (x)交于 f (x)ax bxc(a 0) 0 2a 两点A(x ,k),B(x ,k)，可得x x  2x (如图1所示). 1 2 1 2 0 图1 但对于其他的曲线yf (x)，它可能也有唯一的极值点(设为 )，作直线x yk与曲线 0 yf (x)交于两点A(x ,k),B(x ,k)，但不一定有x x  2x 成立(如图2,3所示). 1 2 1 2 0 图2 图3 但在图2，图3中如何证明相应的不等式x x 2x x x 2x, 成立呢？本文将用 1 2 0 1 2 0 减元法谈谈其证法. x x x 题1 (2010年高考天津卷理科第21题)已知函数f (x)xe (xR).如果 ，且 1 2 若f (x)f (x )，求证：x x 2. 1 2 1 2 分析 由题设可知， , 是无法直接求出的，但我们可用减元法，将双元不等式转化 x x 1 2 为单元不等式，充分利用函数的单调性来给出其证明. 欲证的结论x x 2 x 2-x ，直接比较 与x 2x 的大小不方便，但可先比较 1 2 1 2 1 2 与 的大小. f (x ) f (2x ) 1 2 又因为f (x ) f (x )，所以只需比较f (x )与f (2x ) 的大小关系，再构造辅助函 1 2 2 2 数F(x)f (x)f (2x)，结合函数F(x)的单调性便可完成本题的证明. 证法1 可得f (x)(1x)e x ，进而可得f (x)在(,1),(1,)上分别是增函数、减