设序法在不等式证明中应用.pdfVIP

数学通讯一2013年第1期(下半月)·课外园地·

≤0，

S的最大值是，现证明之．

故f(yz)≤0，原不等式得证．

设关于组合变量yz的线性函数：

注本题后面的(3z一1)与原不等式当=Y

f(yz)—+(卜3x)yz一去．

=z告时等式成立有关，用54x。一27x+1除以

INf(0)=X--．7C2-1=一x-1)≤0

(3z一1)即9一6z+1易得6+1．，

例9(2006年匈牙利一以色列数学竞赛)设Y-f[]=z--X2q-(1-3

，Y，≥0，且+Y+z=1，求S=．27(+z)+Y

(z+z)+z(+Y)的最大值．1-3x3+3z2-x—3(z一)十号]

4—4—4

解S=z(1一z)+y2(1一Y)+Z2(1一z)

≤0，

=z2+Y2+z2一lz3一Y3一3

f(yz)：s一1≤0

=z2+(Y+)2—2yz—3一(Y+z)3+3yz(y+z)，也即s的最大值是丢．

=+(1一z)一2yz—一(1一)。+3yz(1一)不等式的证法多种多样，简单的线性函数加以

挖掘利用，也能用于证明不等式，拓宽解证不等式的

=32一z+(1—3x)yz．

思路．能用线性函数解证的不等式题不少，线性函

因0≤≤=，而当=0

数在解证不等式方面的作用不可忽棚．．

时，s=37--．272=1一(z一吉)≤1，故可初步判别

(收稿日期：2012—10一l3)

“设序法”证明不等式

(华中师范大学数学与统计学学院，430079)

在对称不等式和轮换对称不等式中，由于各个证明由于要证不等式是关于a，b，C的对称

变量之间具有一定的对称关系，故可人为地给变量

不等式，故可设口≥6≥c0，则≥6≥2，≥

设定一定的顺序而不失