根号下（a^2+ab+b^2）+跟号下(b^2+bc+c^2) >
根号下（a^2+ab+b^2/4）+跟号下(b^2/4+bc+c^2)
= 根号下（a+b/2）^2 + 跟号下(b/2+c)^2
=a + b/2 + b/2 + c
=a+b+c
证毕