(a+b)^2-4c^2*(1/4)=(a+b)^2-c^2
三角形中 两边之和大于第三边（a+b）>c
所以 (a+b)^2-c^2>0
方程有各个互异实根