已知a,b,c是三角形ABC的三条边的长,求证:(a^2+b^2-c^2)^2-4a^2b^2