论文部分内容阅读
笔者在专著《数学奥林匹克不等式研究》(哈尔滨工业大学出版社,2009年8月第一版)第一章“等价变换法证明不等式”中给出了以下例题设x、y、z、w∈R,记s1=x+y+z+w,s2=xy+xz+xw+yz+yw+zw,s3=yzw+xzw+xyw+xyz,s4=xyzw,求证(i)s1^4-5s1^2s2+6s2^2+9s4≥0①(ii)4s1^4-20s1^2s2+21s2^2+9s1s3≥0②首先我们由s2^2-3s1·s3+12s4=1/2[(x-y)^2(z-w)^2+(x-z)^2(y-