(完整版)极值点偏移问题专题——对数平均不等式.docx

PAGE PAGE #/ 6 0 0． PAGE PAGE #/ 6 极值点偏移——对数平均不等式（本质回归） 笔者曾在王挽澜先生的著作《建立不等式的方法》中看到这样一个不等式链： b1a ln b 2ab e aba b a ln a ab b ba e 1 a b ba b a ln b a ba b a 1ba 不曾想，其中一部分竟可用来解极值点偏移问题． 对数平均不等式：对于正数 a， b ，且 a b， 定义 b 为 a ， b 的对数平均值，且 ln a ln b a b a b 有 ab ，即几何平均数＜对数平均数＜算术平均数，简记为 ln a ln b 2 G a,b L a,b A a,b ． 先给出对数平均不等式的多种证法． ab 证法 1 （对称化构造） 设 R a b 0 ln a lnb 则 klna klnb b， kln a a klnb b ，构造函数 f x kln x x ， ．由 f k 0 ，且 f 在 0,k 上 Z ，在 k, 上 ] ，x k 为 f x 的极大值点． 对数平 均不等式即 ab ab 2 a b 2k ，等价于 aab bk22k ，这是两个常规的极值点偏移问题， 留给 读者尝试． 证法 2比值代换）ba 1，ababln a lnbbtln t证法 证法 2 比值代换） ba 1， ab abln a lnb bt ln t 证法 3 12 lnt 2 t1 lnt 1 ，构造函数可证． 主元法） 不妨设 a b ， ab lnaa blnblnalnb a bbalna lnb a bfa证法 4lna lnbba，ab,，则12 abb2a ab22a ab0，b,上 ] ，有b 0 ab lnaa blnb lna lnb a b ba lna lnb a b fa 证法 4 lna lnb ba，a b, ，则 1 2 ab b 2a a b2 2a ab 0， b, 上 ] ，有 b 0 ，左边得证， 右边同理可证． 积分形式的柯西不等式） 不妨设 a b， 则由 lna exdx lnb ln a x e lnb dx lna 12dx 得 b lnb b2 ln a lnb ， ab ln a lnb b； ； a1 由 dx bx b x12 dx 12dx 得 ln a ln b ab a ln a ln b 证法 5 （几何图示法）过f1 上点 ax2a作切线，由曲边梯形面积，大于直角梯形面积，可得 ab 证法 5 （几何图示法） 过f 1 上点 a x 2a 作切线， 由曲边梯形面积，大于直 角梯形面积，可得 a bab a1 dx ln a bx lnb ，即 a b a b ； ln a lnb 2 如上右图，由直角梯形面积大于曲边梯形面积， 可得 1 ba1xdx ln a b a b a ，即 ab ab ln a ln b 由对数平均不等式的证法 1、 2 即可看出，它与极值点偏移问题间千丝万缕的联系，下面 就用对数平均不等式再解前面举过的例题． ln x1 ln x2再解例 1： f x1 f x2 即 x1e x1 x2e x2 ，ln x1 x1 ln x2 x2，则 ln x1 ln x2 x1 x2 2 ． 再解例 2 ： f x x 2 x e a x 2 1 0 即 2 x x e a 2 x 1 0 ；由 0得 2 x1 x1 e 1 a x1 2 1 两式相减得 f x1 f x2 x2 x2 e 2 2， 2 a x2 1 2 x1 ex1 2 x2 e x2 a x1 x2 x1 x2 2 下面用反证法证明 x1 x2 2． 若 x1 x2 2 ，则 2 x1 ex1 2 x2 ex2 0， 2 x1 ex1 2 x2 ex2 ，取对数得 ln 2 x1 x1 ln 2 x2 x2 ，则 ln 2 x2 x1 1． x1 ln 2 x2 正数 x1， x2的对数平均数为 1），于是1 正数 x1， x2的对数平均数为 1），于是 1 x1 2x2 ，得 x1x2 1，且 x2 x1 ln 2 x1 ln 2 x2 2 x1 2 x2 ln 2 x1 ln 2 x2 2 x1 2 x2 1， 矛盾． 再解例 3：由 再解例 3：由 x1ln x1 x2 ln x2 m 得 x1 ， x2 ln x1 ln x2 mm x1 x2 ln x1 lnx2 m ln x1 lnx2 ln x1 ln x2 ln x1 lnx2 m m m ln x1 ln x2 x1 x2 ln x1 ln x2 ln x1 lnx2 由对数平均不等式得m ln x1 ln x2m ln x1 l