两式子相减再乘以2,得到
2（a^2+b^2+c^2）-2（ab+bc+ac）
化简得(a-b)^2+(a-c)^2+(b-c)^2>=0
所以a2+b2+c2>=ab+bc+ac