a^2+b^2+c^2-ab-ac-bc这个多项式需要记一下的,其实它等于
（1/2）*（（a-b）^2+(a-c)^2+(b-c)^2）