| 标题 | 一个分式不等式的联想 |
| 范文 | 有名辉 浙江省杭州市安吉路实验学校 (310006) 瓦西列夫不等式［1］叙述如下： 设a,b,c>0,a+b+c=1，则有a2+bb+c+b2+cc+a+c2+aa+b≥2.(1) 将此不等式进行联想类比，并推广到多元情形，得到 结论1 设x1,x2,…，x璶>0,n∈N,n≥2，则∑x12+x22+…+x2﹏-1獂2+x3+…+x璶≤x1+x2+…+x璶.(2) 其中记号“∑”表示循环和. 证明：x12+x22+…+x2﹏-1獂2+x3+…+x璶= x12x2+x3+…+x璶+x2+x3+…+x璶(n-1)2+x22x2+x3+…+x璶+x2+x3+…+x璶(n-1)2+…+x2﹏-1獂2+x3+…+x璶+x2+x3+…+x璶(n-1)2-x2+x3+…+x璶n-1≥x1+x2+…+x﹏-1猲-1-x1+x2+…+x璶n-1. 采用同样的方法处理(2)式左边的其他项，可得 ∑x21+x22+…+x2﹏-1獂2+x3+…+x璶≥ 2∑x1+x2+…+x﹏-1猲-1-∑x2+x3+…+x璶n-1=x1+x2+…+x璶.当且仅当x1=x2=…=x璶时上式等号成立.类似结论1的证明，还可以得到 结论2 设x1,x2,…，x璶>0,n∈N,n≥2，1≤i≤n，且当n+i-2>n时，取x﹏+1=x1,…，x﹏+i-2=x﹊-2，则 ∑x2璱+x2﹊+1+…+x2﹏+i-2獂2+x3+…+x璶≥x1+x2+…+x璶. 结论1和结论2中，不等式左边每一项的分母和分子的“缺项”都是一项，现作进一步推广. 结论3 x1,x2,…,x璶>0,n∈N,n≥2,i,j,k∈N,0≤i,j,k≤n-1；且当i+n-j-1>n时，取x﹏+1=x1,…,x﹊+n-j-1=x﹊-j-1，则∑x2﹊+1+x2﹊+2+…+x2﹊+n-j獂﹌+1+x﹌+2+…+x璶≥n-jn-k(x1+x2+…+x璶),(3)，当且仅当x1=x2=…=x璶时上式等号成立. 证明：类似结论1，也可参照以下结论4的证明，在此略去过程. 结论4 设x1,x2,…,x璶>0,n,m∈N,n≥2,m≥2,i,j,k∈N,0≤i,j,k≤n-1，且当i+n-j>n时，取x﹏+1=x1,…,x﹊+n-j=x﹊-j,则∑x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥n-jn-k?∑ni=1x﹎-1璱.(4) 证明：由于x琺﹊+1獂﹌+1+x﹌+2+…+x璶=(m-1)x琺﹊+1(m-1)(x﹌+1+x﹌+2+…+x璶)+ (x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺- (x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺≥ mmx﹎(m-1)﹊+1(m-1)琺(n-k)琺- (x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺=mx﹎-1﹊+1(m-1)(n-k)-(x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺. 类似的处理可得 x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥ m(x﹎-1﹊+1+x﹎-1﹊+2+…+x﹎-1﹊+n-j)(m-1)(n-k)- (n-j)(x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺,所以 ∑x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥ ∑m(x﹎-1﹊+1+x﹎-1﹊+2+…+x﹎-1﹊+n-j)(m-1)(n-k)- ∑(n-j)(x﹌+1+x﹌+2+…+x璶)﹎-1(m-1)(n-k)琺= m(n-j)∑ni=1x﹎-1璱(m-1)(n-k)-(n-j)(m-1)(n-k)琺∑(x﹌+1+x﹌+2+…+x璶)﹎-1.(5) 当m≥2时，f(x)=x﹎-1是一个下凸函数，由下凸函数的獼enson不等式［2］可得(x﹌+1+x﹌+2+…+x璶)﹎-1≤(n-k)﹎-2(x﹎-1﹌+1+x﹎-1﹌+2+…+x﹎-1璶).(6) 把(6)式代入(5)式，可得 ∑x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥ m(n-j)∑ni=1x﹎-1璱(m-1)(n-k)-(n-j)(m-1)(n-k)2∑(x﹎-1﹌+1+x﹎-1﹌+2+…+x﹎-1璶)=m(n-j)∑ni=1x﹎-1璱(m-1)(n-k)-(n-j)∑ni=1x﹎-1璱(m-1)(n-k)=n-jn-k∑ni=1x﹎-1璱.结论3证毕. 在(4)式中，对∑ni=1x﹎-1璱再用一次下凸函数的獼enson不等式，可得 ∑x琺﹊+1+x琺﹊+2+…+x琺﹊+n-j獂﹌+1+x﹌+2+…+x璶≥n-jn-k(∑ni=1x璱)﹎-1猲﹎-2,(7) 此即为文［3］中定理1的一个推广. 结论4中，赋予m,n,j,k不同的值时，可以得到很多形式对称的不等式.其中有很多在一些文献或竞赛试题出现过.例如 取j=k=n-1,i=n-2,m=2，则结论4化为∑x21x2≥x1+x2+…+x璶，此为1984年全国高中数学竞赛题. 取j=n-1,k=1,i=0,m=2，并记x1+x2+…+x璶=s，则结论4化为∑ni=1x2璱s-x璱≥sn-1,此为《数学通报》1994年第11期数学问题第925题.特别地，若s=1，即为《数学通报》1993年第7期数学问题第845题. 取j=n-1,k=i=n-2，m=2，则结论4化为∑x21x1+x2≥12∑ni=1x璱，此为1991年亚太地区数学竞赛试题，也是第24届全苏数学奥林匹克试题.特别地，取n=3，则为《数学通报》1995年第4期数学问题第946题. 取j=n-1.k=1,i=0,m=2，则结论4化为∑x31x2+x3+…+x璶≥x21+x22+…+x2璶n-1.即为《数学教学》1996年第5期问题第405题.特别地，此式中取n=4,则 ∑x31x2+x3+x4≥x21+x22+x23+x243≥ x1x2+x2x3+x3x4+x4x13,即为第31届IMO预选题. (7)式中，取j=n-1,k=1,i=0,m=3，并记x1+x2+…+x璶=s，则∑ni=1x3璱s-x璱≥s2n(n-1),这是《数学通报》2007年第2期问题第1660题的推广. 取j=k=i=n-3,m=3，则结论4化为∑x31+x32+x33x1+x2+x3≥∑ni=1x2璱.此为文［4］所得结论.类似的特例在其它一些数学杂志和数学竞赛中还有很多，限于篇幅，在此不再赘述.除此之外，结论4对一些命题的证明也会带来方便.如 例1［5］ 设α是锐角，求证玞os3α玸inα+玸in3α玞osα≥1. 证明：由结论4，可得玞os3α玸inα+玸in3α玞osα≥玸in2α+玞os2α=1.同理可证《数学通报》1994年第9期问题第912题： 例2 设α，β，γ是锐角，玸in2α+玸in2β+玸in2γ=1,求证玸in3α玸inβ+玸in3β玸inγ+玸in3γ玸inα≥1. 参考文献 ［1］李学军(戎松魁译).一组优美的不等式.数学通讯，2006，21. ［2］T?M.菲赫金哥尔茨.微积分学教程.北京：人民教育出版社，1957. ［3］季明银.一类不等式的推广.数学通报，2008.1 ［4］杨银福，杨志丹.一个不等式的变形及推广.数学通讯，2000.6. ［5］曾思江，刘中华.用基本不等式解题的思维过程浅析.湖南数学通讯，1996，2. |
| 随便看 |
|
科学优质学术资源、百科知识分享平台，免费提供知识科普、生活经验分享、中外学术论文、各类范文、学术文献、教学资料、学术期刊、会议、报纸、杂志、工具书等各类资源检索、在线阅读和软件app下载服务。