因为
(a-b)^2=a^2+b^2-2ab>=0
所以a^2+b^2>=2ab (1)
同理a^2+c^2>=2ac (2)
c^2+b^2>=2cb (3)
三式相加得
2(a^2+b^2+c^2)>=2ab+2ac+2bc
所以a^2+b^2+c^2>=ab+ac+bc