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

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