2(x+y+z)=a^2-2an+b^2+a^2-2ac+c^2+b^2-2bc+c^2=(a-b)^2+(a-c)^2+(b-c)^2>0说明x,y,z至少有一个正值。
解:假设x,y,z都小于零,则 b²−ac+c²−ab+a²−bc<0, 2b²−2ac+2c²−2ab+2a²−2bc<0, (a−b)²+(a−c)²+(b−c)²<0, 这与偶次方的非负性相矛盾, ∴假设不成立, ∴x,y,z至少有一个大于零.