把所求证的式子变形,即证明b^2<3a^2+ac
把c=-a-b代入并化简,即证明2a^2-ab-b^2>0,即证明(a-b)(2a+b)>0
由于a>b>c
所以a-b>0,2a+b=a+(a+b)=a+(-c)=a-c>0
所以得证.