一个不等式的证明思路.docxVIP

一个不等式的证明思路 邓超（福建省福州市第十八中学 350001） 笔者在读《解决问题的策略》 （2005年1月上海教育出版社出版）一书时，遇见一道不等式 证明题：对正实数a、b、c，a b —2c b c — 2a ^_a 选_。，立刻就对它产生了兴趣。 b +c c + a a +b 这个不等式，分子与分母都是多项式，如果将三个分式通分的话，势必导致导致复杂的运算。 为了减少运算量，应该考虑采用换元法，把三个分式的分母各看作一个变量。即令 x=b，c, y=c，a,z=a，b。显然在x、y、z这三个数是正数， 且满足任意两个数之和大于第 三个数，亦即x、y、z可以看成某个三角形的三边，后面可以看到这个条件很重要。 a=_（y+z_x） 2 解关于a,b,c的三元一次方程1 解关于a,b,c的三元一次方程 得b （x ■ y - z）。初中已经学过这个特殊的 2 c (x y「z) 2 三元一次方程，它有个巧妙的解法。 现在将a,b,c代入原来的不等式就可以得到新的不等式 .^-^^ 0， xyz 这样不等式的分母就得到了简化，后续的处理就容易了，再将其进一步化简后可得 (1)2—*3址八 (1) y z x xyz 因为x、y、z是正数，可将不等式左右两边同时乘以 xyz，于是要证原不等式只要证: 2 2 2 2 2 2 2x z 2y x 2z y - 3xyz y z z x x y， 2 2 2 我们现在可以观察到不等式的左边 x z、y x、z y各出现两次，不等式的右边 xyz出现3 次，y2z、z2x、x2y各出现一次。于是我们可以把不等式（ 2）整理成不等式 2x2z 2y2x 2z2y -(3xyz y2z z2x x2y) 一 0,再进一步转化成以下的形式: （x2z y2x _xyz _x2y） （y2x z2y -xyz「y2z） （z2y x2z _xyz _z2x） _ 0 （3） 这就利用了我们观察到的结果，不等式（ 3）的每个括号中，不等式（2 ）的左边的项出现 两次，右边的xyz出现一次，右边的 y2z、z2x、x2y在每个括号里各出现了一次。 三个括号里的多项式因式分解后，可以得到不等式： x(y —z)(y —x) y(z—x)(z 一 y) z(x 一 y)(x 一z) 一 0 容易观察到不等式(4)具有轮换对称性，亦即 把所有字母任意轮换一次，式子保持不变。 比如将字母x换成y,字母y换成z,字母x换成x后，得到的不等式与原来的不等式相同。 故不妨设 x _ y _ z，如果 x( y 一 z)( y 一 x) _ 0，y(z _x)(z 一 y) _ 0，z(x 一 y)(x 一 z) _ 0 均成立，那么把他们都相加就可以了。 但可惜的是，想法虽好，确实此路不通。因为若 x_y_z，贝U x(y - z)(y-x)岂0。看来， 我们又得另想主意了。 什么主意呢，注意到x、y、z这三个数是正数，且满足任意两个数之和大 于第三个数，于是x、y、z可以作为三角形的三条边，当我们解题时，遇到这样的条件，我们又 可以用一种特殊的换元方法，即令 x =1 ? m, y = m ? n, z = n ?丨 (5) 现在说明丨、m、n是正数。 TOC \o 1-5 \h \z 1 1 1 由(5)得：丨 (x ? z - y), m (x ? y - z), n (y ? z - x)。因为 x、y、z满足任意 2 2 2 两个数之和大于第三个数，所以有 x z y, x y z, y z x，于是I、m n是正数。 这样换元的好处是现在可以不需要 “ x、y、z是某个三角形的三边”这个麻烦的条件了， 取 而代之的是“ I、m、n是正数”这个简单的条件。 现在将(5)代人(4)得： (I m)(m -l)( n -1) (m n)(n - m)(l -m) (n I )(l - n)(m -n)丄 0 (6) 故要证(4)只要证(6)。 事实上：(I m)(m「I)(n -I) (m n)(n「m)(l「m) (n l)(l -n)(m「n) 二(m2 -l2)(n -1) (n2 -m2)(l -m) (I2 - n2)(m - n) 二(m2n -Im2 -12n I3) (In2 _mn2 - Im2 m3) (l2m-l2n _mn2 n3) 3 . 2 2 3 . 2 2 3 2 2. =(I In -2I n) (m I m -2lm ) (n m n -2mn ) 2 2 2 2 2 2 =l (I -2In n ) m(m -2lm I ) n(n -2mn m ) 2 2 2 = l(l _n) m(m_l) n(n_m) 一 0 故原不等式成立。 在这个不等式