方程有无解的判定条件