原式=1/2(2a^+2b^+2c^-2ab-2ac-2bc)
=1/2[(a-b)^+(b-c)^+(a-c)^]
(a-b)^≥0
(b-c)^≥0
(a-c)^≥0
所以原式≥0,是个非负数.