不等式证明的方法技巧(三元型)
- 格式: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可以唯一地表示为