方程式が解を持つ条件