证明：假设x，y，z都小于0，
∵x=a²-bc，y=b²-ca，z=c²-ab，
∴2（x+y+z）=2a²-2bc+2b²-2ca+2c²-2ab=（a²-2ab+b²）+（b²-2bc+c²）+（a²-2ca+c²）=（a-b）²+（b-c）²+（c-a）²＜0，
∴这与（a-b）²+（b-c）²+（c-a）²≥0矛盾，
故假设不成立，
∴x，y，z中至少有一个大于零．