请问各位大侠,在解可分离变量的微分方程时,对于分离变量的一步,需不需要考虑除数为零的情况,如果需要考虑,该怎么验解?比如