不等式两边平方，等价于a^2+b^2+2ab<=4c^2 ①。由余弦定理c^2=a^2+b^2-2abcosC=a^2+b^2-ab ②，将②代入①有0<=3×（a-b）^2。不等式成立