极值点偏移问题专题——对数平均不等式.docx

极值点偏移——对数平均不等式（本质回来） 笔者曾在王挽澜先生的著作《建立不等式的方法》中看到这样一个不等式链： lnb1 1 ln b bb a a b a b 2ab e ab a ab b a e 1 b a b ， |精. |品. a b ba b a ln b a 2 a |可. |编. |辑. |学. |习. |资. |料. 不曾想，其中一部分竟可用来解极值点偏移问题． a b 对数平均不等式：对于正数 a ， b ，且 a b ，定义 为 a ， b 的对数平均值，且 * | * a b a b ln a ln b 有*| ab 有 * | * | ln a ln b ，即几何平均数＜对数平均数＜算术平均数，简记为 2 |欢. |迎. |下. |载. G a,b L a,b A a,b ． 先给出对数平均不等式的多种证法． 证法 1 （对称化构造） 设 R a b 0 ， 就 k ln a k ln b a b ， ln a ln b k ln a a k ln b b ，构造函数 f x k ln x x ，就 f a f b k ．由 f x 1 得x f k 0 ，且 f x 在 0, k 上 Z ，在 k, 上 ] ， x k 为 f x 的极大值点． 对数平 均不等式即 ab k a b ，等价于 2 a b 2k ab k2  ，这是两个常规的极值点偏移问题， 留给 读者尝试． 证法 2 （比值代换） 令 t  a 1，就b ab a b a b b t 1 b t b t 1 ln a ln b 2 ln t 2 t t 1 t 1 2 t 1 ln t t 1 ，构造函数可证． ln t 2 t 1 t 证法 3 （主元法） 不妨设  a b， ab a b ln a ln b a b ln a ln b a b 0 ． ln a ln b b a b a 记 f a ln a ln b b ， a b, ，就 a f a 1 1 b 2 a b 0 ，得  f a 在 b,  上] ，有 a 2 ab 2a a 2a ab |精. |品. |可. f a f b 0 ，左边得证，右边同理可证． |编. |辑. |学. |习. |资. 证法 4 （积分形式的柯西不等式） 不妨设 b ，就由 |料. ln a 2 ln a 2 ln a 2 * x x 2 1 2 2 | * ln b | * | e dx e ln b dx 1 dx 得 ln b a a b 2 ln a ln b ， * | |欢. a b a b ； |迎. |下. |载. ln a 由 ln b 2 a 1 dx b x 2 a 1 b x2 dx  a 12dx b  得 ln a  ln b 2 1 1 a b ， b a ab a b ． ln a ln b  1 a b 2 证法 5 （几何图示法） 过 f x 上点 x 1 a 1 , 2 a b 作切线，由曲边梯形面积，大于直 a b a b 角梯形面积，可得 a b a b 2 dx ln a b x ln b ，即 ln a ； ln b 2 如上右图，由直角梯形面积大于曲边梯形面积，可得 1 1 a 1 a b a b dx ln a b a b ，即 ab ． b x 2 ln a ln b 由对数平均不等式的证法 1 、2 即可看出，它与极值点偏移问题间千丝万缕的联系，下面就用对数平均不等式再解前面举过的例题． 再解例 1 ：  x x f x f x 即 x e 1 x e 2 ， ln x x ln x x ，就 x1 x2 1 1 2 1 2 1 1 2 2 ln x1 ln x2 （正数 x1 ， x2 的对数平均数为 1 ），于是 x1x2 1 x1 x2 ，得 2 x1x2 1，且 x1 x2 2 ． 再解例 2 ：  f x x 2 ex  2 a x 1 0 即 2 x ex  2 a x 1 0 ；由 2 x ex1 2 a x 1 f x1 f x2 0 得 1 1 x 2 ，两式相减得 2 x e 2 a x 1 2 2 2 x ex1 2 x ex2 a x x x x 2 ， |精. |品. |可. |编. |辑. |学. |习. |资. 1 2 1 2 1 2 下面用反证法证明 x1 x2 2 ． x x x x |料. 如 x1 x2 2 ，就 2 x e 1 2 x e 2 0 ， 2 x e 1