△=b^2-4ac
>(a+c)^2-4ac=a^2+2ac+c^2-4ac=a^2-2ac+c^2=(a-c)^2
≥0
即：△>0
方程ax^2+bx+c=0必有两个不相等的实数根