判别式=(b^2+a^2-c^2)^2-4a^2b^2
=(b^2+a^2-c^2+2ab)(b^2+a^2-c^2-2ab)
=[(a+b)^2-c^2][(a-b)^2-c^2]
=(a+b+c)(a+b-c)(a-b+c)(a-b-c)
三角形边长大于0
所以a+b+c>0
三角形两边之和大于第三边
所以a+b-c>0
a-b+c>0
a-b-c=a-(b+c)