y=-(a/b)x+(-c/b)
过第一、二、四象限
则向下倾斜,-(a/b)<0,a/b>0,所以ab>0
截距大于0,-c/b>0,c/b<0,所以bc<0
因为ab>0,bc<0
异号,所以相乘小于0
ab*bc<0
ac*b^2<0
此处显然b不等于0
所以b^2>0
所以ac<0