ax^2+bx+c=0的解的个数由判别式决定
判别式△=b^2-4ac
因为ac0,且b^2≥0
那么△=b^2-4ac>0恒成立,所以方程一定有两个实数根