ax+by+c=0的判断式