设a,b,c是实数,求证a^2+b^2+c^2>=ab+ac+bc