a2+b2+c2-(ab+ac+bc)-3
=1/2（2a2+2b2+2c2-2ab-2ac-2bc）-3
=1/2[(a-b)2+(b-c)2+(c-a)2]-3代入abc的数值
上式可得：1/2[（-1）2+（-1）2+4]-3=0