不等式证明的方法技巧(三元型)

  • 格式:docx
  • 大小:173.23 KB
  • 文档页数:6

关于三元不等式的一点总结

在自主招生乃至数学竞赛中,我们往往会见到许多三元不等式,形式例如“abc,

,abcabbcac”的不等式不胜枚举,所以本节就专门来谈谈关于这类不等式的处理手段。由恒等式()()()()()abcabbcacabacbcabc,再结合下面这个不

等式:3333abcabbcacabcabcabbcac,可推出

()()()()()abacbcabcabbcacabc

1()()()()9abcabbcacabcabacbc

8()()9abcabacbc (*)

即产生不等式9()()()8()()abbcacabcabacbc ①

由(*)可进一步推:

(*)83()()9abbcacabbcac

所以又产生不等式39()()()8()abbcacabacbc,亦可写成:

33()()()2abbcacabbcac ②

从恒等式()()()()()abacbcabcabbcacabc中我们又发现:

()()()()()abacbcabcabbcacabc

33338abcabbcacabcabc

即有不等式()()()8abcabacbc ③

结合① ② ③容易发现,()()()abacbc既可以与abc和abbcac单独建立不等关系,又能和abc、abbcac混合建立不等式。进一步,我们若联系熟悉的不等式

2)3()abbcacabcabc((证明交给读者自己)和舒尔不等式的下列4个变形:

变形1 333222222()30xyzxyxyxzxzyzyzxyz

我们把它简记为32()30cyccycxxyzxyz

变形2 2()4()()9xyz0xyzxyzxyxzyz 我们把它简记为3()490cyccyccycxxxyxyz

变形3 ()()(yzx)xyzxyzxzy

我们把它简记为()cycxyzxyz

变形4 222()()z()3xyzxyxzyxyzxyz

我们把它简记为2()3cycxyzxxyz

则又可以产生一大批新的三元不等式,形成有力的证明桥梁!

下面再介绍一种解决三元齐次轮换对称式的强有力工具-----舒尔分拆法!

定理1(舒尔不等式的推广)

,,0,1()()()0(2)()()()0(3)()()()()0kcyckcyckcycxyzkyzxyxzxyzxyxzyzyzxyxz设为非负实数,则有如下成立:()

证明:(1)()()()(xyz)()()0kkkcyccycyzxyxzxxyxz

(2)12()()()2(yz)()()kkcyccycxyzxyxzxxyxz

11222()()()kcycxyzxxyxz

0

(3)由(1)(2)易知也成立。

定理2 三元齐三次轮换多项式(,,)fxyz可以唯一地表示为

123(,,)fxyzagbgcg

其中,1()()cycgxxyxz,2()()(cycgyzxyxz),3gxyz。

并且当,,0xyz时,,,c0(,,)0abfxyz。

此定理的证明涉及到线性代数的知识,这里就不证明了。

为了快速计算出待定系数,只要记住(1,1,0)(1,0,0),,(1,1,1)2fafbcf。

定理3三元齐四次轮换多项式(,,)fxyz可以唯一地表示为