要证:a^2+b^2+c^2>=ab+bc+ac
即:2(a^2+b^2+c^2)>=2(ab+bc+ac)
a^2-2ab+b^2+b^2-2bc+c^2+a^2-2ac+c^2>=0
即:(a-b)^2+(b-c)^2+(a-c)^2>=0
而此式恒成立,故原命题得证.