=8(2a^2+2b^2+2c^2-2ab-2ac-2bc)
=8[(a-b)^2+(a-c)^2+(b-c)^2]
所以……≥0