1、FullSimplify[x^2+y^2+z^2>=x y+y z+z x]直接化简表达式，没效果。
3、用Mathematica对x^2+y^2+z^2-x y-y z-z x进行配方，捂执涡扔使之等于(b*x+c*y+a*z)^2+(c*x+a*y+b*z)^2+(a*x+b*y+c*z)^2只要求出锾攒揉敫a、b、c的值来，就行了。f[x_,y_,z_]:=(({a,b,c}.#&/@Table[RotateLeft[{x,y,z},n],{n,0,2}])^2//Total)-(x^2+y^2+z^2-x y-y z-z x)sol=Solve[f[0,0,1]==0&&f[1,0,0]==0&&f[0,1,0]==0&&f[1,1,1]==0&&f[1,2,3]==0,{a,b,c}]
5、由于水瑞侮瑜b、c都是用a来表示的，只有2-3 a^2≥0，才能保证b和c都是实数。所以a^2≤2/3。代入一个合适的数字a=0，恰好得到本文开始的那个式子。(({a,b,c}.#&/@Table[RotateLeft[{x,y,z},n],{n,0,2}])^2/.sol[[1]]//Total)/.a->0
